Entire function: Difference between revisions
imported>Dmitrii Kouznetsov No edit summary |
imported>Dmitrii Kouznetsov m (doubts in comments) |
||
Line 6: | Line 6: | ||
'''The entire function''' is [[finction(mathematics)|function]] that is [[holomorphic]] in the whole [[complex plane]]. | '''The entire function''' is [[finction(mathematics)|function]] that is [[holomorphic]] in the whole [[complex plane]]. | ||
==Examples | ==Examples== | ||
Examples of '''entire functions''' are the [[polynomial]]s and the [[exponential]]s. | Examples of '''entire functions''' are the [[polynomial]]s and the [[exponential]]s. | ||
All [[sum(mathematics)|sum]]s, [[product(mathematics)|product]]s and [[composition(,athematics)|composition]]s of these functions also are '''entire functions'''. | All [[sum(mathematics)|sum]]s, [[product(mathematics)|product]]s and [[composition(,athematics)|composition]]s of these functions also are '''entire functions'''. | ||
Line 24: | Line 24: | ||
<math>~c~</math> , | <math>~c~</math> , | ||
[[square root]], [[logarithm]], [[funciton Gamma]], [[tetration(mathematics)|tetration]]. | [[square root]], [[logarithm]], [[funciton Gamma]], [[tetration(mathematics)|tetration]]. | ||
==Properties== | |||
===Infinitness=== | |||
[[Liouville's theorem]] establishes an important property of entire functions — an entire function which is bounded must be constant. | |||
This property can be used for an elegant proof of the [[fundamental theorem of algebra]]. | |||
[[Picard theorem|Picard's little theorem]] is a considerable strengthening of Liouville's theorem: a non-constant entire function takes on every complex number as value, except possibly one. | |||
The latter exception is illustrated by the [[exponential function]], which never takes on the value 0. | |||
===Cauchi integral=== | |||
<!-- I am not sure if this section should be here. Perhaps, it also should be separted article !--> | |||
Entire function <math>~f~</math>, at any complex <math>~z~</math> and at any contour '''C ''' evolving point <math>z</math> | Entire function <math>~f~</math>, at any complex <math>~z~</math> and at any contour '''C ''' evolving point <math>z</math> | ||
Line 32: | Line 42: | ||
<!-- | <!-- | ||
For non-entire functions, the same formula holds, but the contour '''C''' should avoid singularities; in the case of entire funcitons, the user has no neer to worry about such rubbish things | |||
!--> | |||
<!-- | |||
I am not sure it these are clear sentences. May be it would be better to type the formulas? | I am not sure it these are clear sentences. May be it would be better to type the formulas? | ||
Revision as of 23:35, 16 May 2008
Definition
In the mathematical analysis and, in particular, in the theory of functions of complex variable, The entire function is function that is holomorphic in the whole complex plane.
Examples
Examples of entire functions are the polynomials and the exponentials. All sums, products and compositions of these functions also are entire functions.
All the derivatives and some of integrals of entired funcitons, for example erf, Si, , also are entired functions.
Every entire function can be represented as a power series or Tailor expansion which converges everywhere.
In general, neither series nor limit of a sequence of entire funcitons needs to be an entire function.
Inverse of an entire function has no need to be entire function.
Examples of non-entire functions: rational function at any complex , , , square root, logarithm, funciton Gamma, tetration.
Properties
Infinitness
Liouville's theorem establishes an important property of entire functions — an entire function which is bounded must be constant. This property can be used for an elegant proof of the fundamental theorem of algebra. Picard's little theorem is a considerable strengthening of Liouville's theorem: a non-constant entire function takes on every complex number as value, except possibly one. The latter exception is illustrated by the exponential function, which never takes on the value 0.
Cauchi integral
Entire function , at any complex and at any contour C evolving point just once, can be expressed with Cauchi theorem