# 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 is a differentiable complex function. That is, just as in the real case, is holomorphic at if exists. This is much stronger than in the real case since we must allow to approach zero from any direction in the complex plane.

## Cauchy-Riemann Equations

Let us break into its real and imaginary components by writing , where and are real functions. Then it turns out that is holomorphic at iff and have continuous partial derivatives and the following equations hold:

These equations are known as the Cauchy-Riemann Equations.

## Analytic Functions

A related notion to that of homolorphicity is that of analyticity. A function is said to be **analytic** at if has a convergent power series expansion on some neighborhood of . Amazingly, it turns out that a function is holomorphic at if and only if it is analytic at .