Entire function: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Eric Kvaalen
More information about when an entire function is or isn't determined by its real part on a curve.
Line 1: Line 1:
In [[complex analysis]], an '''entire function''', also called an '''integral function,''' is a complex-valued [[Function (mathematics)|function]] that is [[holomorphic function|holomorphic]] over the whole [[complex plane]]. Typical examples of entire functions are the [[polynomial]]s and the [[exponential function]], and any sums, products and compositions of these, such as the [[trigonometric function]]s [[sine]] and [[cosine]] and their [[hyperbolic function|hyperbolic counterparts]] [[hyperbolic sine|sinh]] and [[hyperbolic cosine|cosh]], as well as [[derivative]]s and [[integral]]s of entire functions such as the [[error function]]. If an entire function ''f''(''z'') has a [[root of a function|root]] at ''w'', then ''f''(''z'')/(''z−w'') is an entire function. On the other hand, neither the [[natural logarithm]] nor the [[square root]] is an entire function, nor can they be [[analytic continuation|continued analytically]] to an entire function.
Are you usually having problems with the PC? Are we usually seeking techniques to increase PC performance? Then this is the article you're shopping for. Here we'll discuss some of the most asked questions whenever it comes to having you PC serve we well; how can I make my computer faster for free? How to make my computer run faster?<br><br>The PC registry begins to get mistakes and fragmented the more you use the computer because you enter more information each time, plus make changes inside our systems and setup. When the registry begins to get overloaded and full of mistakes, a computer will eventually crash. It can be done to fix it on your nevertheless surprisingly risky, incredibly should you have no extensive experience in doing this. Therefore, do NOT even attempt to do this oneself.<br><br>The error is basically a outcome of problem with Windows Installer package. The Windows Installer is a tool chosen to install, uninstall plus repair the most programs on a computer. Let us discuss a few factors that helped a lot of persons that facing the similar problem.<br><br>There may be many factors why a computer will lose speed. Normal computer utilize, such as surfing the Internet could receive your operating system inside a condition where it has no choice but to slow down. The constant entering and deleting of temporary files which occur whenever we surf the Web leave the registries with thousands of false indicators in our operating system's registry.<br><br>One other option when arresting the 1328 error is to wash out a PC's registry. The registry is important as it is where settings and files used by Windows for operating are stored. As it really is frequently chosen, breakdowns and situations of files getting corrupted are not uncommon. Also due to the method it is very configured, the "registry" gets saved inside the incorrect fashion regularly, which makes the program run slow, eventually causing a PC to suffer from a series of errors. The many effective method one will use inside cleaning out registries is to utilize a reliable [http://bestregistrycleanerfix.com/regzooka regzooka] program. A registry cleaner may seek out plus repair corrupted registry files and settings allowing one's computer to run normally again.<br><br>Active X controls are utilized over the whole spectrum of computer and web technologies. These controls are called the building blocks of the web and because the glue which puts it all together. It is a standard which is used by all developers to create the internet more useful plus interactive. Without these control practices there would basically be no public web.<br><br>The System File Checker (SFC) will aid inside resolving error 1721 as it, by its nature, scans the system files for corruption and replaces them with their original versions. This requires we to have the Windows Installation DVD ROM for continuing.<br><br>Another significant program you'll wish To get is a registry cleaner. The registry is a huge list of everything installed on your computer, plus Windows references it when it opens a program or utilizes a device attached to your computer. Whenever you delete a system, its registry entry could additionally be deleted, however, often it's not. A registry cleaner could do away with these old entries so Windows may look the registry quicker. It furthermore deletes or corrects any entries that viruses have corrupted.
 
A '''[[Transcendental function|transcendental]] entire function''' is an entire function that is not a polynomial.
 
==Properties==
Every entire function ''f''(''z'') can be represented as a [[power series]]
:<math>f(z)=\sum_{n=0}^\infty a_nz^n</math>
that converges everywhere in the complex plane, hence [[Compact convergence|uniformly on compact sets]]. The [[radius of convergence]] is infinite, which implies that
 
:<math>\lim_{n\to\infty} \left|a_n\right|^{\frac{1}{n}}=0</math>
or
:<math>\lim_{n\to\infty}\frac{\ln|a_n|}n=-\infty.</math>
 
Any power series satisfying this criterion will represent an entire function.
 
The [[Weierstrass factorization theorem]] asserts that any entire function can be represented by a product involving its [[zero (complex analysis)|zeroes]] (or "roots").
 
The entire functions on the complex plane form an [[integral domain]] (in fact a [[Prüfer domain]]). They also form a [[commutative]] [[unital]] [[associative algebra]] over the complex numbers.
 
[[Liouville's theorem (complex analysis)|Liouville's theorem]] states that any [[bounded function|bounded]] entire function must be constant.  Liouville's theorem may be used to elegantly prove the [[fundamental theorem of algebra]].
 
As a consequence of Liouville's theorem, any function that is entire on the whole [[Riemann sphere]] (complex plane ''and'' the point at infinity) is constant. Thus any non-constant entire function must have a [[mathematical singularity|singularity]] at the complex [[point at infinity]], either a [[pole (complex analysis)|pole]] for a polynomial or an [[essential singularity]] for a [[transcendental function|transcendental]] entire function. Specifically, by the [[Casorati–Weierstrass theorem]], for any transcendental entire function ''f'' and any complex ''w'' there is a [[sequence]] {{nowrap|(''z<sub>m</sub>'')<sub>''m''∈'''N'''</sub>}} with <math>\lim_{m\to\infty} |z_m| = \infty</math> and <math>\lim_{m\to\infty} f(z_m) = w\ </math>.
 
[[Picard theorem|Picard's little theorem]] is a much stronger result: any non-constant entire function takes on every complex number as value, possibly with a single exception. The latter exception is illustrated by the [[exponential function]], which never takes on the value 0. One can take a logarithm of an entire function that never hits 0, and this will also be an entire function (according to the [[Weierstrass factorization theorem]]). The logarithm hits every complex number except possibly one, which implies that the first function will hit any value other than 0 an infinite number of times. Similarly, an entire function that does not hit a particular value will hit every other value an infinite number of times.
 
Liouville's theorem is a special case of the following statement:
 
<blockquote>'''Theorem:''' Assume ''M, R'' are positive constants and that ''n'' is a non-negative integer. An entire function ''f'' satisfying the inequality <math>|f(z)| \le M |z|^n</math> for all ''z'' with <math>|z| \ge R</math>, is necessarily a polynomial, of [[degree of a polynomial|degree]] at most ''n''.<ref>The converse is also true as for any polynomial <math>\textstyle p(z) = \sum _{k=0}^na_k z^k</math> of degree ''n'' the inequality <math>\textstyle |p(z)| \le \left(\sum_{k=0}^n|a_k|\right) |z|^n</math> holds for any {{nowrap begin}}|''z''| ≥ 1{{nowrap end}}.</ref> Similarly, an entire function ''f'' satisfying the inequality <math>M |z|^n \le |f(z)|</math> for all ''z'' with <math>|z| \ge R</math>, is necessarily a polynomial, of degree at least ''n''.</blockquote>
 
If (and only if) the coefficients of the power series are all real then the function (obviously) takes real values for real arguments, and the value of the function at the [[complex conjugate]] of ''z'' will be the complex conjugate of the value at ''z''. Such functions are sometimes called self-conjugate (the conjugate function, <math>F^*(z)</math>, being given by <math>\bar F(\bar z)).</math>
 
==Growth==
 
Entire functions may grow as fast as any increasing function: for any increasing function ''g'' : [0,+∞)  → [0,+∞)  there exists an entire function ''f(z)'' such that ''f''(''x'') > ''g''( |''x''| ) for all real ''x''. Such a function ''f'' may be easily found of the form:
 
:<math>f(z)=c+\sum_{k=1}^{\infty}\left(\frac{z}{k}\right)^{n_k}</math>
 
for a constant ''c'' and a strictly increasing sequence of positive integers ''n<sub>k</sub>''. Any such sequence defines an entire function ''f''(''z''), and if the powers are chosen appropriately we may satisfy the inequality ''f''(''x'') > ''g''( |''x''| ) for all real ''x''. (For instance, it certainly holds if one chooses ''c'':=''g(''2'')'' and, for any integer ''k ≥ 1'', <math>n_k: = 2 \big\lceil k \ln g(k+2) \big\rceil \,</math> although this gives powers that may be about twice as high as needed.)
 
==<span id="order of an entire function"></span> Order and type ==
The '''order''' (at infinity) of an entire function ''f(z)'' is defined using the [[limit superior]] as:
 
:<math>\rho=\limsup_{r\rightarrow\infty}\frac{\ln(\ln\Vert f \Vert_{\infty, B_r}      )}{\ln\, r},</math>
 
where  ''B<sub>r</sub>'' is the disk of radius ''r'' and <math> \Vert f \Vert_{\infty,\,B_r}</math> denotes the [[supremum norm]] of ''f(z)'' on ''B<sub>r</sub>''. The order is a non-negative real number or infinity (except if ''f(z)''=0 for all ''z''). The order of ''f''(''z'') is the [[infimum]] of all ''m'' such that ''f(z)'' = O(exp(|''z''|<sup>''m''</sup>)) as ''z'' → ∞. (A function like <math>\exp(2z^2)</math> shows that this does not mean ''f(z)'' = O(exp(|''z''|<sup>''m''</sup>)) if ''f(z)'' is of order ''m''.)
 
If 0<ρ<∞, one can also define the '''''type''''':
 
:<math>\sigma=\limsup_{r\rightarrow\infty}\frac{\ln  \Vert f\Vert_{\infty,B_r}} {r^\rho}.</math>
 
If
 
:<math> f(z)=\sum_{n=0}^\infty a_n z^n,</math>
 
then the order and type can be found by the formulas
 
:<math> \rho=\limsup_{n\to\infty}\frac{n\ln n}{-\ln|a_n|},</math>
 
 
:<math> (e\rho\sigma)^{1/\rho} = \limsup_{n\to\infty} n^{1/\rho} |a_n|^{1/n}.</math>
 
If we denote the ''n''<sup>th</sup> derivative of a function ''f''() by ''f''<sup>(''n'')</sup>(), then we may restate these formulas in terms of the derivatives at any arbitrary point ''z''<sub>0</sub>:
 
:<math> \rho=\limsup_{n\to\infty}\frac{n\ln n}{n\ln n-\ln|f^{(n)}(z_0)|}=\left(1-\limsup_{n\to\infty}\frac{\ln|f^{(n)}(z_0)|}{n\ln n}\right)^{-1},</math>
 
 
:<math>(\rho\sigma)^{1/\rho} =e^{1-1/\rho} \limsup_{n\to\infty}\frac{|f^{(n)}(z_0)|^{1/n}}{n^{1-1/\rho}}.</math>
 
The type may be infinite, as in the case of the [[reciprocal gamma function]], or zero (see example below under [[#Order 1]]).
 
===Examples===
Here are some examples of functions of various orders:
====Order ρ====
For arbitrary positive numbers ρ and σ one can construct an example of an entire function of order ρ and type σ using:
:<math>f(z)=\sum_{n=1}^\infty (e\rho\sigma/n)^{n/\rho} z^n</math>
====Order 0====
*Polynomials (other than 0)
*<math>\sum_{n=0}^\infty 2^{-n^2} z^n</math>
====Order 1/4====
*<math>f(\sqrt[4]z)\text{ where }f(u)=\cos(u)+\cosh(u)</math>
====Order 1/3====
*<math>f(\sqrt[3]z)\text{ where }f(u)=e^u+e^{\omega u}+e^{\omega^2 u}=e^u+2e^{-u/2}\cos(\sqrt 3u/2),\text{with }\omega\text{ a complex cube root of 1}</math>
====Order 1/2====
*<math>\cos(a\sqrt z)</math> with ''a'' ≠ 0 (for which the type is given by σ = |''a''|)
====Order 1====
*exp(''az'') with ''a'' ≠ 0 (σ = |''a''|)
*sin(''z'')
*cosh(''z'')
*[[Bessel function]] ''J''<sub>0</sub>(''z'')
*the [[reciprocal gamma function]] 1/Γ(''z'') (σ is infinite)
*<math>\sum_{n=2}^\infty z^n/(n\ln n)^n.\ (\sigma=0)</math>
====Order 3/2====
* [[Airy function]] Ai(''z'')
====Order 2====
*exp(−''az''<sup>2</sup>) with ''a'' ≠ 0 (σ = |''a''|)
====Order infinity====
*exp(−''e<sup>z</sup>'')
==<span id="genus of an entire function"></span> Genus of an entire function  ==
Entire functions of finite order have [[Jacques Hadamard|Hadamard]]'s canonical representation:
 
:<math>f(z)=z^me^{P(z)}\prod_{n=1}^\infty\left(1-\frac{z}{z_n}\right)\exp\left(\frac{z}{z_n}+\ldots+\frac{1}{p}\left(\frac{z}{z_n}\right)^p\right),</math>
 
where ''z<sub>k</sub>'' are the non-zero [[zero (complex analysis)|roots]] of ''f'', ''P'' a polynomial (whose degree we shall call ''q''), and ''p'' is the smallest non-negative integer such that the series
 
:<math>\sum_{n=1}^\infty\frac{1}{|z_n|^{p+1}}</math>
 
converges. The non-negative integer ''g'' = max{''p'', ''q''} is called the genus of the entire function ''f''.
 
If the order ρ is not an integer, then ''g'' = [ρ] is the integer part of ρ. If the order is a positive integer, then there are two possibilities: ''g'' = [ρ] or ''g'' =[ρ]+1.
 
For example, ''sin'', ''cos'' and ''exp'' are entire functions of genus ''1''.
 
==Other examples==
According to [[J. E. Littlewood]], the [[Weierstrass sigma function]] is a 'typical' entire function. This statement can be made precise in the theory of random entire functions: the asymptotic behaviour of almost all entire functions is similar to that of the sigma function. Other examples include the [[Fresnel integral]]s, the [[Jacobi theta function]], and the [[reciprocal Gamma function]]. The exponential function and the error function are special cases of the [[Mittag-Leffler function]]. According to the fundamental theorem of Paley and Wiener, [[Fourier transform]]s of functions with bounded support are entire functions or order ''1'' and finite type.
 
Other examples are solutions of linear differential equations with polynomial coefficients. If the coefficient at the highest derivative is constant, then all solutions of such equations are entire functions. For example, the exponential function, sine, cosine, [[Airy function]]s and [[Parabolic cylinder function]]s arise in this way. The class of entire functions is closed with respect to compositions. This makes it possible to study [[holomorphic dynamics|dynamics of entire functions]].
 
An entire function of the square root of a complex number is entire if the original function is [[even function|even]], for example <math>\cos(\sqrt{z})</math>.
 
If a sequence of polynomials all of whose roots are real converges in a neighborhood of the origin to a limit which is not identically equal to zero, then this limit
is an entire function. Such entire functions form the [[Laguerre–Pólya class]], which can also be characterized in terms of the Hadamard product, namely, ''f'' belongs to this class if and only if in the Hadamard representation all ''z<sub>n</sub>'' are real, ''p'' ≤ 1, and ''P''(''z'') = ''a'' + ''bz'' + ''cz''<sup>2</sup>, where ''b'' and ''c'' are real, and ''c'' ≤ 0. For example, the sequence of polynomials <math>(1-(z-d)^2/n)^n</math> converges, as ''n'' increases, to exp(−(''z''−''d'')<sup>2</sup>). The polynomials <math>((1+iz/n)^n+(1-iz/n)^n)/2</math> have all real roots, and converge to cos(''z''). Interestingly, the polynomials <math> \prod_{m=1}^n \left(1-\frac{z^2}{((m-\frac{1}{2})\pi)^2}\right)</math> also converge to cos(''z''), showing the buildup of the Hadamard product for cosine.
 
==See also==
* [[Jensen's formula]]
* [[Carlson's theorem]]
* [[Exponential type]]
* [[Paley–Wiener theorem]]
 
==Notes==
<references/>
 
==References==
*{{cite book | author = Ralph P. Boas | authorlink = Ralph P. Boas, Jr. | title = Entire Functions | publisher = Academic Press | year = 1954 | id=OCLC [http://worldcat.org/oclc/847696 847696] }}
*{{cite book | author = B. Ya. Levin | title = Distribution of zeros of entire functions |
publisher = Amer. Math. Soc. |year = 1980}}
*{{cite book |author = B. Ya. Levin | title = Lectures on entire functions |
publisher = Amer. Math. Soc. |year = 1996}}
 
[[Category:Analytic functions]]
[[Category:Special functions]]

Revision as of 15:39, 23 February 2014

Are you usually having problems with the PC? Are we usually seeking techniques to increase PC performance? Then this is the article you're shopping for. Here we'll discuss some of the most asked questions whenever it comes to having you PC serve we well; how can I make my computer faster for free? How to make my computer run faster?

The PC registry begins to get mistakes and fragmented the more you use the computer because you enter more information each time, plus make changes inside our systems and setup. When the registry begins to get overloaded and full of mistakes, a computer will eventually crash. It can be done to fix it on your nevertheless surprisingly risky, incredibly should you have no extensive experience in doing this. Therefore, do NOT even attempt to do this oneself.

The error is basically a outcome of problem with Windows Installer package. The Windows Installer is a tool chosen to install, uninstall plus repair the most programs on a computer. Let us discuss a few factors that helped a lot of persons that facing the similar problem.

There may be many factors why a computer will lose speed. Normal computer utilize, such as surfing the Internet could receive your operating system inside a condition where it has no choice but to slow down. The constant entering and deleting of temporary files which occur whenever we surf the Web leave the registries with thousands of false indicators in our operating system's registry.

One other option when arresting the 1328 error is to wash out a PC's registry. The registry is important as it is where settings and files used by Windows for operating are stored. As it really is frequently chosen, breakdowns and situations of files getting corrupted are not uncommon. Also due to the method it is very configured, the "registry" gets saved inside the incorrect fashion regularly, which makes the program run slow, eventually causing a PC to suffer from a series of errors. The many effective method one will use inside cleaning out registries is to utilize a reliable regzooka program. A registry cleaner may seek out plus repair corrupted registry files and settings allowing one's computer to run normally again.

Active X controls are utilized over the whole spectrum of computer and web technologies. These controls are called the building blocks of the web and because the glue which puts it all together. It is a standard which is used by all developers to create the internet more useful plus interactive. Without these control practices there would basically be no public web.

The System File Checker (SFC) will aid inside resolving error 1721 as it, by its nature, scans the system files for corruption and replaces them with their original versions. This requires we to have the Windows Installation DVD ROM for continuing.

Another significant program you'll wish To get is a registry cleaner. The registry is a huge list of everything installed on your computer, plus Windows references it when it opens a program or utilizes a device attached to your computer. Whenever you delete a system, its registry entry could additionally be deleted, however, often it's not. A registry cleaner could do away with these old entries so Windows may look the registry quicker. It furthermore deletes or corrects any entries that viruses have corrupted.