View source for Functions of a complex variable, theory of

<!--
f0421201.png
$#A+1 = 73 n = 0
$#C+1 = 73 : ~/encyclopedia/old_files/data/F042/F.0402120 Functions of a complex variable, theory of
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

In the broad sense of the term, the theory of functions defined on some set of points  $  z $
in the complex plane  $  \mathbf C = \mathbf C  ^ {1} $(
functions of a single complex variable) or on a set of points  $  z = ( z _ {1} \dots z _ {n} ) $
of a complex Euclidean space  $  \mathbf C  ^ {n} $, 
$  n > 1 $(
functions of several complex variables). In the narrow sense of the term, the theory of function of a complex variable is the theory of analytic functions (cf. [[Analytic function|Analytic function]]) of one or several complex variables.

As an independent discipline, the theory of functions of a complex variable took shape in about the middle of the 19th century as the theory of analytic functions. The fundamental work here was that of A.L. Cauchy, K. Weierstrass and B. Riemann, who approached the development of the theory from various (different) points of view.

According to Weierstrass, a function  $  w = f ( z) $
is called analytic (or holomorphic) in a domain  $  D \subset  \mathbf C $
if it can be expanded in a power series in a neighbourhood of each point  $  z _ {0} \in D $:

$$ \tag{1 }
w  =  f ( z)  = \ 
\sum _ {k = 0 } ^  \infty  
c _ {k} ( z - z _ {0} )  ^ {k} ;
$$

in the case of several complex variables, when  $  D \subset  \mathbf C  ^ {n} $, 
$  n > 1 $, 
the series (1) is interpreted as a multiple power series. To define an analytic function it is even sufficient that the convergent series (1) be given in a neighbourhood of a single point  $  z _ {0} $, 
for its values at another point  $  z _ {1} $
and the corresponding series can be determined by the process of [[Analytic continuation|analytic continuation]] along various paths in the complex plane  $  \mathbf C $(
or in  $  \mathbf C  ^ {n} $, 
$  n > 1 $) 
joining  $  z _ {0} $
and  $  z _ {1} $.

In the course of analytic continuation one may come across singular points (cf. [[Singular point|Singular point]]), to which it is impossible to carry out analytic continuation along any path. These singular points determine the general behaviour of an analytic function in the sense that if two paths  $  L _ {1} $
and  $  L _ {2} $
joining the same fixed points  $  z _ {0} $
and  $  z _ {1} $
are not homotopic, that is, if it is impossible to deform  $  L _ {2} $
continuously into  $  L _ {1} $
without thereby passing through any singular point, then the values of the function  $  f ( z _ {1} ) $
obtained by analytic continuation along  $  L _ {1} $
and  $  L _ {2} $
may turn out to be different. Consequently, the [[Complete analytic function|complete analytic function]]  $  w = f ( z) $
obtained by analytic continuation of an initial element (1) along all possible paths may turn out to be multiple-valued in its natural domain of definition in  $  \mathbf C $(
or in  $  \mathbf C  ^ {n} $, 
$  n > 1 $). 
Examples of this are the functions  $  w = z  ^ {1/2} $
or  $  w =  \mathop{\rm ln}  z $. 
One can escape from this multiple-valuedness by forbidding analytic continuation along certain paths, by constructing so-called cuts in the complex plane, and by distinguishing single-valued branches of an analytic function (cf. [[Branch of an analytic function|Branch of an analytic function]]). But the most perfect method of converting a multiple-valued function into a single-valued one consists in regarding it not as a function of a point of the complex plane, but as a function of a point of a [[Riemann surface|Riemann surface]], consisting of several sheets that cover the complex plane, and joined to one another in a certain way. In the case of several variables, instead of a Riemann surface there arises a [[Riemannian domain|Riemannian domain]], a multiple-sheeted cover of  $  \mathbf C  ^ {n} $, 
$  n > 1 $.

In his construction of the theory of analytic functions, Cauchy started from the concept of monogeneity. He called a function  $  w = f ( z) $, 
$  z \in D \subset  \mathbf C $, 
monogenic if it has a monodromic (that is, single-valued and continuous, except for poles) derivative everywhere in  $  D $. 
Extending this concept somewhat, by a monogenic function  $  w = f ( z) $
on a subset  $  E \subset  D $
one usually means a (single-valued) function for which there exists at all points  $  z _ {0} \in E $
a derivative with respect to  $  E $,

$$ \tag{2 }
f _ {E} ^ { \prime } ( z _ {0} )  = \ 
\lim\limits _ {\begin{array}{c}
z \rightarrow z _ {0} , \\
 z \in E 
\end{array}
 } \ 

\frac{f ( z) - f ( z _ {0} ) }{z - z _ {0} }
 .
$$

Monogeneity in the sense of Cauchy is the same as analyticity when  $  E = D $. 
Cauchy developed the theory of integration of analytic functions, proved the important theorem on residues (cf. [[Residue of an analytic function|Residue of an analytic function]]), the [[Cauchy integral theorem|Cauchy integral theorem]], and introduced the concept of the [[Cauchy integral|Cauchy integral]]:

$$ \tag{3 }
f ( z)  = \ 
{
\frac{1}{2 \pi i }
 }
\int\limits _  \Gamma 

\frac{f ( \zeta )  d \zeta }{\zeta - z }
 ,
$$

which expresses the value of an analytic function  $  f ( z) $
in terms of its values on any closed contour  $  \Gamma $
surrounding  $  z $
and not containing any singular points of  $  f ( z) $
inside or on  $  \Gamma $. 
As the simplest integral representation of analytic functions, the concept of the Cauchy integral can also be retained for functions of several variables.

If one introduces complex variables  $  z = x + iy $, 
$  \overline{z}\; = x - iy $, 
one can describe any function of two variables  $  x $
and  $  y $, 
$  w = f ( x, y) = u ( x, y) + iv ( x, y) $, 
as a function of  $  z $
and  $  \overline{z}\; $. 
The [[Cauchy-Riemann equations]], which pick out those among such functions that are analytic, demand that the functions  $  w = u ( x, y) + iv ( x, y) $
be differentiable with respect to both variables  $  ( x, y) $, 
while everywhere in  $  D $
the equation

$$ \tag{4 }

\frac{\partial  w }{\partial  \overline{z}\; }
  =  0
$$

must hold, or, in full,  $  u _ {x} = v _ {y} $, 
$  u _ {y} = - v _ {x} $.

The conditions (4) mean that the real and imaginary parts  $  u ( x, y) $
and  $  v ( x, y) $
of an analytic function must be [[Conjugate harmonic functions|conjugate harmonic functions]]. In the case of analytic functions of several complex variables, the conditions (4) must be satisfied with respect to all the variables  $  \overline{z}\; _  \nu  $, 
$  \nu = 1 \dots n $.

For Riemann, the most important thing was the circumstance that an analytic function  $  w = f ( z) $, 
as picked out by the conditions (4), effects, under certain conditions, a [[Conformal mapping|conformal mapping]] of  $  D $
onto some other domain in the plane of the complex variable  $  w $. 
The connection between analytic functions and conformal mappings opens a way to solving a number of problems in mathematical physics.

The subsequent development of the theory of functions of a complex variable has been and still is above all a deepening and extension of the theory of analytic functions (see, for example, [[Boundary value problems of analytic function theory|Boundary value problems of analytic function theory]]; [[Boundary properties of analytic functions|Boundary properties of analytic functions]]; [[Uniqueness properties of analytic functions|Uniqueness properties of analytic functions]]; [[Integral representation of an analytic function|Integral representation of an analytic function]]; [[Meromorphic function|Meromorphic function]]; [[Multivalent function|Multivalent function]]; [[Univalent function|Univalent function]]; [[Entire function|Entire function]]). Problems, related to analytic functions, of approximation and interpolation of functions have an important significance. In these it turns out that in the theory of analytic functions of several variables the specific nature and difficulty of the problems are such that they only yield a solution when one invokes the most modern methods of algebra, topology and analysis.

The boundary properties of holomorphic functions, in particular of the integral of Cauchy type (see [[Cauchy integral|Cauchy integral]]) obtained from (3) when the values of  $  f ( \zeta ) $
on the contour  $  \Gamma $
are given totally arbitrarily, are of great theoretical and practical significance, as are multi-dimensional analogues of this and other integral representations.

Generalized analytic functions (cf. [[Generalized analytic function|Generalized analytic function]]), which are important for applications, are obtained in their simplest form as solutions of an equation generalizing (4):

$$ 

\frac{\partial  w }{\partial  \overline{z}\; }
 +
A ( z) w + B ( z) \overline{w}\;  =  F ( z).
$$

Their main properties (in the case of a single variable) have been investigated in fair detail.

The study of quasi-conformal mappings (cf. [[Quasi-conformal mapping|Quasi-conformal mapping]]) is of great significance for the theory of analytic functions itself (in particular, for the theory of Riemann surfaces) and for its applications.

A theory of abstract analytic functions (cf. [[Abstract analytic function|Abstract analytic function]]) with values in various vector spaces has also been developed.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I.I. [I.I. Privalov] Priwalow,   "Einführung in die Funktionentheorie" , '''1–3''' , Teubner  (1958–1959)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.I. Markushevich,   "Theory of functions of a complex variable" , '''1–2''' , Chelsea  (1977)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  M.A. Lavrent'ev,   B.V. Shabat,   "Methoden der komplexen Funktionentheorie" , Deutsch. Verlag Wissenschaft.  (1967)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  V.S. Vladimirov,   "Methods of the theory of functions of several complex variables" , M.I.T.  (1966)  (Translated from Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  B.V. Shabat,   "Introduction of complex analysis" , '''1–2''' , Moscow  (1969)  (In Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  I.N. Vekua,   "Generalized analytic functions" , Pergamon  (1962)  (Translated from Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  A. Hurwitz,   R. Courant,   "Vorlesungen über allgemeine Funktionentheorie und elliptische Funktionen" , Springer  (1964)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  R.C. Gunning,   H. Rossi,   "Analytic functions of several complex variables" , Prentice-Hall  (1965)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  L. Hörmander,   "An introduction to complex analysis in several variables" , North-Holland  (1973)</TD></TR></table>

====Comments====

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  L.V. Ahlfors,   "Complex analysis" , McGraw-Hill  (1979)  pp. 24–26</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  C. Carathéodory,   "Theory of functions of a complex variable" , '''1–2''' , Chelsea, reprint  (1964)  (Translated from German)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  J.B. Garnett,   "Bounded analytic functions" , Acad. Press  (1981)  pp. 40</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  W. Rudin,   "Real and complex analysis" , McGraw-Hill  (1987)  pp. 24</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  S. Saks,   A. Zygmund,   "Analytic functions" , PWN  (1965)  (Translated from Polish)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J.B. Conway,   "Functions of a complex variable" , Springer  (1973)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  E. Hille,   "Analytic function theory" , '''1–2''' , Chelsea, reprint  (1974)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  S.G. Krantz,   "Function theory of several complex variables" , Wiley  (1982)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  R.M. Range,   "Holomorphic functions and integral representation in several complex variables" , Springer  (1986)  pp. Chapt. 6</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  R.P. Boas,   "Invitation to complex analysis" , Random House  (1987)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  R.B. Burckell,   "An introduction to classical complex analysis" , '''1''' , Acad. Press  (1979)</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  P. Henrici,   "Applied and computational complex analysis" , '''1–3''' , Wiley  (1974–1986)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  M. Heins,   "Complex function theory" , Acad. Press  (1968)</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  R. Narasimhan,   "Complex analysis in one variable" , Birkhäuser  (1985)</TD></TR></table>