Difference between revisions of "Complex analysis"
m (format and category) |
|||
| Line 1: | Line 1: | ||
| − | '''Complex analysis''' is the [[calculus]] of [[complex number]]s. One might think that the calculus of complex numbers would be quite similar to the calculus of [[real number]]s, but, amazingly, this turns out to be not the case. There are many pathological functions of a real variable that cannot occur in complex variables. Here are a few spectacular results in complex analysis | + | '''Complex analysis''' is the [[calculus]] of [[complex number]]s. One might think that the calculus of complex numbers would be quite similar to the calculus of [[real number]]s, but, amazingly, this turns out to be not the case. There are many pathological functions of a real variable that cannot occur in complex variables. Here are a few spectacular results in complex analysis. |
== Cauchy Integral Theorem == | == Cauchy Integral Theorem == | ||
| − | Let ''f'' be [[holomorphic]] on a [[simply connected]] [[domain]] ''D'', and let <math>\Gamma\subseteq D</math> be a [[simple closed Jordan curve]]. Then for any <math>z_0</math> in the interior of <math>\Gamma</math>, we have < | + | Let ''f'' be [[holomorphic]] on a [[simply connected]] [[domain]] ''D'', and let <math>\Gamma\subseteq D</math> be a [[simple closed Jordan curve]]. Then for any <math>z_0</math> in the interior of <math>\Gamma</math>, we have |
| + | <cmath> f^{(n)}(z_0)=\frac{n!}{2\pi i} \int_\Gamma \frac{f(z)\; dz}{(z-z_0)^{n+1}}. </cmath> | ||
| + | In particular, the value of a holomorphic function inside a region is determined uniquely by its values on the [[boundary]]! This is certainly not true of a real function, even a [[real analytic function]]. | ||
== Liouville's Theorem == | == Liouville's Theorem == | ||
| − | Let | + | Let <math>f</math> be an [[entire]] function (i.e. holomorphic on the whole complex plane). If <math>\lvert f(z)\rvert \le A</math> for all <math>z</math> for some real number <math>A</math>, then <math>f</math> is a [[constant]] function. |
== Picard's Little Theorem == | == Picard's Little Theorem == | ||
| − | This is a powerful generalization of Liouville's Theorem. If | + | This is a powerful generalization of Liouville's Theorem. If <math>f</math> is an entire function so that there exist two complex numbers <math>a</math> and <math>b</math> such that for every complex number, <math>f(z)\neq a</math> and <math>f(z)\neq b</math>, then <math>f</math> is a constant function. |
== See also == | == See also == | ||
* [[Real analysis]] | * [[Real analysis]] | ||
| + | [[Category:Complex analysis]] | ||
[[Category:Advanced Mathematics Topics]] | [[Category:Advanced Mathematics Topics]] | ||
Revision as of 23:50, 27 March 2009
Complex analysis is the calculus of complex numbers. One might think that the calculus of complex numbers would be quite similar to the calculus of real numbers, but, amazingly, this turns out to be not the case. There are many pathological functions of a real variable that cannot occur in complex variables. Here are a few spectacular results in complex analysis.
Cauchy Integral Theorem
Let f be holomorphic on a simply connected domain D, and let 
be a simple closed Jordan curve. Then for any 
in the interior of 
, we have
![\[f^{(n)}(z_0)=\frac{n!}{2\pi i} \int_\Gamma \frac{f(z)\; dz}{(z-z_0)^{n+1}}.\]](http://latex.artofproblemsolving.com/9/f/9/9f9046b07355887d24ebed4c5afa1358588c4a6b.png)
In particular, the value of a holomorphic function inside a region is determined uniquely by its values on the boundary! This is certainly not true of a real function, even a real analytic function.
Liouville's Theorem
Let 
be an entire function (i.e. holomorphic on the whole complex plane). If 
for all 
for some real number 
, then is a constant function.
Picard's Little Theorem
This is a powerful generalization of Liouville's Theorem. If is an entire function so that there exist two complex numbers 
and 
such that for every complex number, 
and 
, then is a constant function.
