Entire function: Difference between revisions

From Citizendium
Jump to navigation Jump to search
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 and properties==
==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 &mdash; 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:


<!--
<!--
If the entire function is not a constant, its modulus becomes larger thgan any positive value at some value of the argument.
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
 
!-->
If the entire function is not a constant, then its set of values covers the whole complex plane.
<!--
 
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

Template:Under construction

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


See also

References

Template:Stub