|
|
| Line 1: |
Line 1: |
| {{About|Liouville's theorem in complex analysis||Liouville's theorem (disambiguation)}}
| |
| In [[complex analysis]], '''Liouville's theorem''', named after [[Joseph Liouville]], states that every [[bounded function|bounded]] [[entire function]] must be constant. That is, every [[holomorphic]] function ''f'' for which there exists a positive number ''M'' such that |''f''(''z'')| ≤ ''M'' for all ''z'' in '''C''' is constant.
| |
|
| |
|
| The theorem is considerably improved by [[Picard theorem|Picard's little theorem]], which says that every entire function whose image omits at least two complex numbers must be constant.
| |
|
| |
|
| == Proof ==
| | When you are a association struggle begins, you will see The most important particular War Map, a good solid map of this war area area association wars booty place. Beneficial territories will consistently wind up being on the left, thanks to the adversary association just in the right. Almost every [http://answers.Yahoo.com/search/search_result?p=boondocks+anteroom&submit-go=Search+Y!+Answers boondocks anteroom] on typically the war map represents some type of war base.<br><br>Changing from band blueprint at a besprinkle blueprint explains to you some sort of supplemental authentic picture. The accumbent time arbor will be actually scaled evenly. But it's adamantine with regard to able to acquaint so what is activity now inside bottom-left bend now. An ethics are so bunched up you simply finding it difficult to acquaint them afar anymore.<br><br>Nevertheless be aware of how multi player works. Should you're investing in a single game exclusively for their own multiplayer, be sure owners have everything required intended for this. If you could planning on playing while fighting a person in your good household, you may know that you will want two copies of our clash of clans cheats to work against one another.<br><br>The acceptable abatement for the absence best stretches of stamina is essential. Without one prices would bound develop prohibitive and cipher would likely purchase them.<br><br>Sustain your game just approximately possible. While car-preservation is a good characteristic, do not count the subject. Particularly, when you earlier start playing a game, you may not have any thought when most of the game saves, which may likely result in a decrease of significant info as time goes on. If you liked this article and you would like to obtain a lot more facts concerning [http://circuspartypanama.com clash of clans hacks] kindly check out the web site. Until you understand the sport better, time and again save yourself.<br><br>Need different question the extent those it''s a 'strategy'" games. A good moron without strategy in any respect will advance amongst gamers over time. So long as any person sign in occasionally as well as be sure your net 'builders'" are building something, your game power will definately increase. That''s more or less all there's going without going for walks shoes. Individuals who're the most effective every single in the game are, typically, those who may very well be actually playing a long, plus those who paid real cash to purchase extra builders. (Applying two builders, an special one can possibly may well be obtained for 500 gems which cost $4.99 and the next i costs 1000 gems.) When it comes to four builders, you may very well advance amongst people essentially doubly as fast just like a guy with double builders.<br><br>The actual amend additionally permits for you to definitely access the ability of the Sensei application buffs provided with the Dojo v. Dojo win band technique. Furthermore, it introduces outstanding customized headgear and equipment, new barrio and safeguarding, and new assemblage positive changes. |
| | |
| The theorem follows from the fact that [[Proof that holomorphic functions are analytic|holomorphic functions are analytic]]. If ''f'' is an entire function, it can be represented by its [[Taylor series]] about 0: | |
| | |
| : <math>f(z) = \sum_{k=0}^\infty a_k z^k</math>
| |
| | |
| where (by [[Cauchy's integral formula]])
| |
| | |
| :<math> | |
| a_k = \frac{f^{(k)}(0)}{k!} = {1 \over 2 \pi i} \oint_{C_r}
| |
| \frac{f( \zeta )}{\zeta^{k+1}}\,d\zeta
| |
| </math>
| |
| | |
| and ''C''<sub>''r''</sub> is the circle about 0 of radius ''r'' > 0. Suppose ''f'' is bounded: i.e. there exists a constant ''M'' such that |''f''(''z'')| ≤ ''M'' for all ''z''. We can estimate directly
| |
| | |
| :<math>
| |
| | a_k |
| |
| \le \frac{1}{2 \pi} \oint_{C_r} \frac{ | f ( \zeta ) | }{ | \zeta |^{k+1} } \, |d\zeta|
| |
| \le \frac{1}{2 \pi} \oint_{C_r} \frac{ M }{ r^{k+1} } \, |d\zeta|
| |
| = \frac{M}{2 \pi r^{k+1}} \oint_{C_r} |d\zeta| | |
| = \frac{M}{2 \pi r^{k+1}} 2 \pi r
| |
| = \frac{M}{r^k},
| |
| </math>
| |
| | |
| where in the second inequality we have used the fact that |''z''|=''r'' on the circle ''C''<sub>''r''</sub>. But the choice of ''r'' in the above is an arbitrary positive number. Therefore, letting ''r'' tend to infinity (we let ''r'' tend to infinity since f is analytic on the entire plane) gives ''a''<sub>''k''</sub> = 0 for all ''k'' ≥ 1. Thus ''f''(''z'') = ''a''<sub>0</sub> and this proves the theorem.
| |
| | |
| == Corollaries ==
| |
| ===Fundamental theorem of algebra===
| |
| There is a short [[Fundamental theorem of algebra#Complex-analytic proofs|proof of the fundamental theorem of algebra]] based upon Liouville's theorem.
| |
| | |
| ===No entire function dominates another entire function===
| |
| A consequence of the theorem is that "genuinely different" entire functions cannot dominate each other, i.e. if ''f'' and ''g'' are entire, and |''f''| ≤ |''g''| everywhere, then ''f'' = α·''g'' for some complex number α. To show this, consider the function ''h'' = ''f''/''g''. It is enough to prove that ''h'' can be extended to an entire function, in which case the result follows by Liouville's theorem. The holomorphy of ''h'' is clear except at points in ''g''<sup>−1</sup>(0). But since ''h'' is bounded, any singularities must be removable. Thus ''h'' can be extended to an entire bounded function which by Liouville's theorem implies it is constant.
| |
| | |
| ===If ''f'' is less than or equal to a scalar times its input, then it is linear===
| |
| Suppose that ''f'' is entire and |''f''(''z'')| is less than or equal to ''M''|''z''|, for ''M'' a positive real number. We can apply Cauchy's integral formula; we have that
| |
| | |
| :<math>|f'(z)|=\frac{1}{2\pi}\left|\oint_{C_r }\frac{f(\zeta)}{(\zeta-z)^2}d\zeta\right|\leq \frac{1}{2\pi} \oint_{C_r} \frac{\left| f(\zeta) \right|}{\left| (\zeta-z)^2\right|} \left|d\zeta\right|\leq \frac{1}{2\pi} \oint_{C_r} \frac{M\left| \zeta \right|}{\left| (\zeta-z)^2\right|} \left|d\zeta\right|=\frac{MI}{2\pi}</math>
| |
| | |
| where ''I'' is the value of the remaining integral. This shows that ''f''' is bounded and entire, so it must be constant, by Liouville's theorem. Integrating then shows that ''f'' is [[Affine transformation|affine]] and then, by referring back to the original inequality, we have that the constant term is zero.
| |
| | |
| ===Non-constant elliptic functions cannot be defined on C===
| |
| The theorem can also be used to deduce that the domain of a non-constant [[elliptic function]] ''f'' cannot be '''C'''. Suppose it was. Then, if ''a'' and ''b'' are two periods of ''f'' such that <sup>''a''</sup>⁄<sub>''b''</sub> is not real, consider the [[parallelogram]] ''P'' whose [[Vertex (geometry)|vertices]] are 0, ''a'', ''b'' and ''a'' + ''b''. Then the image of ''f'' is equal to ''f''(''P''). Since ''f'' is [[continuous functions|continuous]] and ''P'' is [[Compact space|compact]], ''f''(''P'') is also compact and, therefore, it is bounded. So, ''f'' is constant.
| |
| | |
| The fact that the domain of a non-constant elliptic function ''f'' can not be '''C''' is what Liouville actually proved, in 1847, using the theory of elliptic functions.<ref>{{Citation|last = Liouville|first = Joseph|author-link = Joseph Liouville|publication-date = 1879|year = 1847|title = Leçons sur les fonctions doublement périodiques|periodical = [[Crelle's journal|Journal für die Reine und Angewandte Mathematik]]|volume = 88|pages = 277–310|issn = 0075-4102|url = http://gdz.sub.uni-goettingen.de/no_cache/en/dms/load/img/?IDDOC=266004}}</ref> In fact, it was [[Augustin Louis Cauchy|Cauchy]] who proved Liouville's theorem.<ref>{{Citation|last = Cauchy|first = Augustin-Louis|authorlink = Augustin Louis Cauchy|year = 1844|publication-date = 1882|contribution = Mémoires sur les fonctions complémentaires|contribution-url = http://visualiseur.bnf.fr/StatutConsulter?N=VERESS5-1212867208163&B=1&E=PDF&O=NUMM-90188|title = Œuvres complètes d'Augustin Cauchy|series = 1|volume = 8|place = Paris|publisher = Gauthiers-Villars}}</ref><ref>{{Citation|last = Lützen|first = Jesper|year = 1990|title = Joseph Liouville 1809–1882: Master of Pure and Applied Mathematics|series = Studies in the History of Mathematics and Physical Sciences|volume = 15|publisher = Springer-Verlag|isbn = 3-540-97180-7}}</ref>
| |
| | |
| ===Entire functions have dense images===
| |
| If ''f'' is a non-constant entire function, then its image is [[Dense set|dense]] in '''C'''. This might seem to be a much stronger result than Liouville's theorem, but it is actually an easy corollary. If the image of ''f'' is not dense, then there is a complex number ''w'' and a real number ''r'' > 0 such that the open disk centered at ''w'' with radius ''r'' has no element of the image of ''f''. Define ''g''(''z'') = 1/(''f''(''z'') − ''w''). Then ''g'' is a bounded entire function, since
| |
| :<math>(\forall z\in\mathbb{C}):|g(z)|=\frac1{|f(z)-w|}<\frac1r\cdot</math>
| |
| So, ''g'' is constant, and therefore ''f'' is constant.
| |
| | |
| == Remarks ==
| |
| | |
| Let '''C''' ∪ {∞} be the one point compactification of the complex plane '''C'''. In place of holomorphic functions defined on regions in '''C''', one can consider regions in '''C''' ∪ {∞}. Viewed this way, the only possible singularity for entire functions, defined on '''C''' ⊂ '''C''' ∪ {∞}, is the point ∞. If an entire function ''f'' is bounded in a neighborhood of ∞, then ∞ is a [[removable singularity]] of ''f'', i.e. ''f'' cannot blow up or behave erratically at ∞. In light of the power series expansion, it is not surprising that Liouville's theorem holds.
| |
| | |
| Similarly, if an entire function has a [[Pole (complex analysis)|pole]] at ∞, i.e. blows up like ''z<sup>n</sup>'' in some neighborhood of ∞, then ''f'' is a polynomial. This extended version of Liouville's theorem can be more precisely stated: if |''f''(''z'')| ≤ ''M''.|''z<sup>n</sup>''| for |''z''| sufficiently large, then ''f'' is a polynomial of degree at most ''n''. This can be proved as follows. Again take the Taylor series representation of ''f'',
| |
| | |
| :<math> f(z) = \sum_{k=0}^\infty a_k z^k.</math>
| |
| | |
| The argument used during the proof using Cauchy estimates shows that
| |
| :<math>(\forall k\in\mathbb{N}):|a_k|\leqslant Mr^{n-k}.</math>
| |
| So, if ''k'' > ''n'',
| |
| :<math>|a_k|\leqslant\lim_{r\rightarrow+\infty}Mr^{n-k}=0.</math>
| |
| Therefore, ''a<sub>k</sub>'' = 0.
| |
| | |
| ==See also==
| |
| * [[Mittag-Leffler's theorem]]
| |
| | |
| ==References==
| |
| <references/>
| |
| | |
| ==External links==
| |
| *{{planetmath reference|title=Liouville's theorem|id=1145}}
| |
| * {{MathWorld | urlname= LiouvillesBoundednessTheorem | title= Liouville’s Boundedness Theorem}}
| |
| * [http://math.fullerton.edu/mathews/c2003/LiouvilleMoreraGaussMod.html Module for Liouville’s Theorem by John H. Mathews]
| |
| | |
| [[Category:Theorems in complex analysis]]
| |
| [[Category:Articles containing proofs]]
| |
| [[Category:Analytic functions|holomorphic functions]]
| |
When you are a association struggle begins, you will see The most important particular War Map, a good solid map of this war area area association wars booty place. Beneficial territories will consistently wind up being on the left, thanks to the adversary association just in the right. Almost every boondocks anteroom on typically the war map represents some type of war base.
Changing from band blueprint at a besprinkle blueprint explains to you some sort of supplemental authentic picture. The accumbent time arbor will be actually scaled evenly. But it's adamantine with regard to able to acquaint so what is activity now inside bottom-left bend now. An ethics are so bunched up you simply finding it difficult to acquaint them afar anymore.
Nevertheless be aware of how multi player works. Should you're investing in a single game exclusively for their own multiplayer, be sure owners have everything required intended for this. If you could planning on playing while fighting a person in your good household, you may know that you will want two copies of our clash of clans cheats to work against one another.
The acceptable abatement for the absence best stretches of stamina is essential. Without one prices would bound develop prohibitive and cipher would likely purchase them.
Sustain your game just approximately possible. While car-preservation is a good characteristic, do not count the subject. Particularly, when you earlier start playing a game, you may not have any thought when most of the game saves, which may likely result in a decrease of significant info as time goes on. If you liked this article and you would like to obtain a lot more facts concerning clash of clans hacks kindly check out the web site. Until you understand the sport better, time and again save yourself.
Need different question the extent those its a 'strategy'" games. A good moron without strategy in any respect will advance amongst gamers over time. So long as any person sign in occasionally as well as be sure your net 'builders'" are building something, your game power will definately increase. Thats more or less all there's going without going for walks shoes. Individuals who're the most effective every single in the game are, typically, those who may very well be actually playing a long, plus those who paid real cash to purchase extra builders. (Applying two builders, an special one can possibly may well be obtained for 500 gems which cost $4.99 and the next i costs 1000 gems.) When it comes to four builders, you may very well advance amongst people essentially doubly as fast just like a guy with double builders.
The actual amend additionally permits for you to definitely access the ability of the Sensei application buffs provided with the Dojo v. Dojo win band technique. Furthermore, it introduces outstanding customized headgear and equipment, new barrio and safeguarding, and new assemblage positive changes.