|
|
| Line 1: |
Line 1: |
| In [[complex analysis]], a branch of mathematics, a [[complex number|complex]]-valued [[function (mathematics)|function]] ''ƒ'' of a complex variable ''z'':
| |
|
| |
|
| *is said to be [[holomorphic function|holomorphic]] at a point ''a'' if it is [[differentiable]] at every point within some [[open disk]] centered at ''a'', and
| |
|
| |
|
| * is said to be [[analytic function|analytic]] at ''a'' if in some open disk centered at ''a'' it can be expanded as a [[convergent]] [[power series]]
| | I'm a 45 years old, married and study at the college ([http://www.bbc.co.uk/search/?q=Occupational Occupational] Therapy).<br>In my free time I teach myself Norwegian. I have been twicethere and look forward to returning anytime soon. I love to read, preferably on my ipad. I like to watch NCIS and Supernatural as well as documentaries about nature. I like Badminton.<br><br>my web site ... Fifa 15 Coin Generator - [http://technicallyeasy.net/2011/03/10-strategies-getting-more-blog-comments/ Technicallyeasy.Net] - |
| | |
| ::<math>f(z)=\sum_{n=0}^\infty c_n(z-a)^n</math> | |
| | |
| :(this implies that the [[radius of convergence]] is positive).
| |
| | |
| One of the most important theorems of complex analysis is that '''holomorphic functions are analytic'''. Among the corollaries of this theorem are
| |
| | |
| * the [[identity theorem]] that two holomorphic functions that agree at every point of an infinite set with an [[accumulation point]] inside the intersection of their domains also agree everywhere in some open set, and
| |
| | |
| * the fact that, since power series are infinitely differentiable, so are holomorphic functions (this is in contrast to the case of real differentiable functions), and
| |
| | |
| * the fact that the radius of convergence is always the distance from the center ''a'' to the nearest [[mathematical singularity|singularity]]; if there are no singularities (i.e., if ''ƒ'' is an [[entire function]]), then the radius of convergence is infinite. Strictly speaking, this is not a corollary of the theorem but rather a by-product of the proof.
| |
| | |
| * no [[bump function]] on the complex plane can be entire. In particular, on any [[connected set|connected]] open subset of the complex plane, there can be no bump function defined on that set which is holomorphic on the set. This has important ramifications for the study of complex manifolds, as it precludes the use of [[partitions of unity]]. In contrast the partition of unity is a tool which can be used on any real manifold.
| |
| | |
| == Proof ==
| |
| | |
| The argument, first given by Cauchy, hinges on [[Cauchy's integral formula]] and the power series development of the expression
| |
| | |
| : <math>1 \over w-z </math>.
| |
| | |
| Suppose ''ƒ'' is differentiable everywhere within some open disk centered at ''a''. Let ''z'' be within that open disk. Let ''C'' be a positively oriented (i.e., counterclockwise) circle centered at ''a'', lying within that open disk but farther from ''a'' than ''z'' is. Starting with Cauchy's integral formula, we have
| |
| | |
| : <math>\begin{align}f(z) &{}= {1 \over 2\pi i}\int_C {f(w) \over w-z}\,\mathrm{d}w \\[10pt]
| |
| | |
| &{}= {1 \over 2\pi i}\int_C {f(w) \over (w-a)-(z-a)} \,\mathrm{d}w \\[10pt]
| |
| &{}={1 \over 2\pi i}\int_C {1 \over w-a}\cdot{1 \over 1-{z-a \over w-a}}f(w)\,\mathrm{d}w \\[10pt]
| |
| &{}={1 \over 2\pi i}\int_C {1 \over w-a}\cdot{\sum_{n=0}^\infty\left({z-a \over w-a}\right)^n} f(w)\,\mathrm{d}w \\[10pt]
| |
| &{}=\sum_{n=0}^\infty{1 \over 2\pi i}\int_C {(z-a)^n \over (w-a)^{n+1}} f(w)\,\mathrm{d}w.\end{align}</math>
| |
| | |
| To justify the interchange of the sum and the integral, one must notice that in the intersection of |(''z'' − ''a'')/(''w'' − ''a'')| ≤ ''r'' < 1 and some closed domain containing ''C'', ''ƒ''(''w'')/(''w'' − ''a'') is holomorphic and therefore bounded by some positive number ''M''. So we have
| |
| | |
| : <math>\left| {(z-a)^n \over (w-a)^{n+1} }f(w) \right| \le Mr^n.</math> | |
| | |
| The [[Weierstrass M-test]] says the series converges uniformly, and thus the interchange of the sum and the integral is justified.
| |
| | |
| Since the factor (''z'' − ''a'')<sup>''n''</sup> does not depend on the variable of integration ''w'', it can be pulled out:
| |
| | |
| : <math>f(z)=\sum_{n=0}^\infty (z-a)^n {1 \over 2\pi i}\int_C {f(w) \over (w-a)^{n+1}} \,\mathrm{d}w.</math>
| |
| | |
| And now the integral and the factor of 1/(2π''i'') do not depend on ''z'', i.e., as a function of ''z'', that whole expression is a ''constant'' ''c''<sub>''n''</sub>, so we can write:
| |
| | |
| : <math>f(z)=\sum_{n=0}^\infty c_n(z-a)^n</math>
| |
| | |
| and that is the desired power series.
| |
| | |
| == Remarks ==
| |
| * Since power series can be differentiated term-wise, applying the above argument in the reverse direction and the power series expression for
| |
| | |
| ::<math>1 \over (w-z)^{n+1}</math>
| |
| | |
| :gives
| |
| | |
| ::<math>f^{(n)}(a) = {n! \over 2\pi i} \int_C {f(w) \over (w-a)^{n+1}}\, dw.</math>
| |
| | |
| :This is a Cauchy integral formula for derivatives. Therefore the power series obtained above is the [[Taylor series]] of ''ƒ''.
| |
| | |
| * The argument works if ''z'' is any point that is closer to the center ''a'' than is any singularity of ''ƒ''. Therefore the radius of convergence of the Taylor series cannot be smaller than the distance from ''a'' to the nearest singularity (nor can it be larger, since power series have no singularities in the interiors of their circles of convergence).
| |
| | |
| * A special case of the [[identity theorem]] follows from the preceding remark. If two holomorphic functions agree on a (possibly quite small) open neighborhood ''U'' of ''a'', then they coincide on the open disk ''B<sub>d</sub>''(''a''), where ''d'' is the distance from ''a'' to the nearest singularity.
| |
| | |
| == External links ==
| |
| * {{planetmath reference|title=Existence of power series|id=3298}}
| |
| | |
| [[Category:Analytic functions|holomorphic functions]]
| |
| [[Category:Theorems in complex analysis]]
| |
| [[Category:Article proofs]]
| |
I'm a 45 years old, married and study at the college (Occupational Therapy).
In my free time I teach myself Norwegian. I have been twicethere and look forward to returning anytime soon. I love to read, preferably on my ipad. I like to watch NCIS and Supernatural as well as documentaries about nature. I like Badminton.
my web site ... Fifa 15 Coin Generator - Technicallyeasy.Net -