Difference between revisions of "Holomorphic function"

m (proofreading)
m (category)
Line 12: Line 12:
  
 
A related notion to that of homolorphicity is that of analyticity. A function <math>f:\mathbb{C}\to\mathbb{C}</math> is said to be '''analytic''' at <math>z</math> if <math>f</math> has a convergent [[power series]] expansion on some [[neighborhood]] of <math>z</math>. Amazingly, it turns out that a function is holomorphic at <math>z</math> if and only if it is analytic at <math>z</math>.
 
A related notion to that of homolorphicity is that of analyticity. A function <math>f:\mathbb{C}\to\mathbb{C}</math> is said to be '''analytic''' at <math>z</math> if <math>f</math> has a convergent [[power series]] expansion on some [[neighborhood]] of <math>z</math>. Amazingly, it turns out that a function is holomorphic at <math>z</math> if and only if it is analytic at <math>z</math>.
 +
 +
[[Category:Complex analysis]]

Revision as of 16:38, 28 March 2009

A holomorphic function $f: \mathbb{C} \to \mathbb{C}$ is a differentiable complex function. That is, just as in the real case, $f$ is holomorphic at $z$ if $\lim_{h\to 0} \frac{f(z+h)-f(z)}{h}$ exists. This is much stronger than in the real case since we must allow $h$ to approach zero from any direction in the complex plane.

Cauchy-Riemann Equations

Let us break $f$ into its real and imaginary components by writing $f(z)=u(x,y)+iv(x,y)$, where $u$ and $v$ are real functions. Then it turns out that $f$ is holomorphic at $z$ iff $u$ and $v$ have continuous partial derivatives and the following equations hold:

  • $\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}$
  • $\frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}$

These equations are known as the Cauchy-Riemann Equations.

Analytic Functions

A related notion to that of homolorphicity is that of analyticity. A function $f:\mathbb{C}\to\mathbb{C}$ is said to be analytic at $z$ if $f$ has a convergent power series expansion on some neighborhood of $z$. Amazingly, it turns out that a function is holomorphic at $z$ if and only if it is analytic at $z$.