View source for Method of boundary integration

''method of contour integration''

An important method in the geometric theory of functions of a complex variable, enabling one to obtain various inequalities which express extremal properties of univalent and multivalent functions, as well as identities between the mapping functions of a domain (fundamental domain functions) in the theory of conformal mapping. The method makes essential use of properties of functions conformally mapping a given domain onto various canonical domains. By means of such mappings one can construct domain functions possessing the following boundary property: On each boundary component of the domain, the values of the function differ by an additive constant from the complex conjugate values corresponding to another such function. The method of boundary integration consists basically of the following.

Some integral is considered, taken over the entire boundary of a given domain (the boundary can generally be taken to consist of a finite number of simple closed analytic curves). This integral is chosen so that the integrand contains factors with the boundary property indicated above and such that, after using this property, an integral is obtained that can be calculated by means of the residue theorem (cf. [[Contour integration, method of|Contour integration, method of]]; [[Cauchy integral theorem|Cauchy integral theorem]]). If from other considerations either the value of the original integral is known or its sign, then one obtains as a result some relation between the functions used or some inequality connecting them. Often the boundary integral to which the above method can be applied appears as the result of a transformation according to Green's formula of a non-negative double integral, namely, the integral of the square of the modulus of the derivative of some function that is regular in the given domain. Hence the connection between the method of boundary integration and the [[Area method|area method]]. By means of the method of boundary integration, results have been obtained concerning: [[Distortion theorems|distortion theorems]] for univalent conformal mappings between multiply-connected domains (see [[#References|[1]]], [[#References|[2]]]); necessary and sufficient conditions on the coefficients of univalent functions (see [[#References|[3]]]); and identities relating the fundamental domain functions in the theory of conformal mapping (see [[#References|[4]]]).

The method of boundary integration is also employed in the study of univalent functions in the following form. Suppose, for example, that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m0635701.png" /> is a domain in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m0635702.png" />-plane with boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m0635703.png" /> consisting of a finite number of simple closed analytic curves; suppose that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m0635704.png" /> is a function that is harmonic in the entire <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m0635705.png" />-plane except for a finite number of points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m0635706.png" />; and suppose that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m0635707.png" /> is a function with the following property: The difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m0635708.png" /> is harmonic in the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m0635709.png" />, continuous in the closed domain, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357010.png" />. Then

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357011.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357012.png" /> denotes differentiation along the outward normal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357013.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357015.png" /> are analytic functions for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357017.png" />, then the above inequality can be written in the form

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357018.png" /></td> </tr></table>

The integral in this inequality can be calculated by the residue theorem. By choosing various functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357019.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357020.png" /> that are suitably related to the functions under investigation, one can thus obtain various new inequalities for univalent functions (see [[#References|[5]]]–[[#References|[7]]]).

The method of boundary integration is also successfully employed in the study of non-univalent conformal mappings. Thus, there have been established by this method a number of new extremal properties of functions that are meromorphic in a multiply-connected domain and satisfy certain additional properties (see [[#References|[8]]]); and generalizations have been obtained for multiply-connected domains, for the case of several poles and for functions that are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357021.png" />-valent in an appropriate generalized sense, of Goluzin's area theorem for functions that are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m063/m063570/m06357022.png" />-valent in the disc (see [[#References|[9]]]). The domain functions referred to above are closely related to Bergman kernel functions (cf. [[Bergman kernel function|Bergman kernel function]]), and results obtained by the method of boundary integration are often expressed in terms of them. Hence there is also a connection between the method of boundary integration and the theory of orthonormal systems of analytic functions.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  H. Grunsky,   "Neue Abschätzungen zur konformen Abbildung ein- und mehrfachzusammenhängender Bereiche"  ''Schriften Math. Sem. Inst. Angew. Math. Univ. Berlin''  (1932)  pp. 95–140</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  G.M. Goluzin,   "On distortion theorems for conformal mappings of multiply-connected domains"  ''Mat. Sb.'' , '''2''' :  1  (1937)  pp. 37–63  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  H. Grunsky,   "Koeffizientenbedingungen für schlicht abbildende meromorphe Funktionen"  ''Math. Z.'' , '''45'''  (1939)  pp. 29–61</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  P.R. Garabedian,   M. Schiffer,   "Identities in the theory of conformal mapping"  ''Trans. Amer. Math. Soc.'' , '''65''' :  2  (1949)  pp. 187–238</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  Z. Nehari,   "Some inequalities in the theory of functions"  ''Trans. Amer. Math. Soc.'' , '''75''' :  2  (1953)  pp. 256–286</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  Yu.E. Alenitsyn,   "On univalent functions in multiply-connected domains"  ''Mat. Sb.'' , '''39''' :  3  (1956)  (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  Yu.E. [Yu.E. Alenitsyn] Alenicyn,   "Univalent functions without common values in a multiply connected domain"  ''Proc. Steklov Inst. Math.'' , '''94'''  (1968)  pp. 1–18  ''Trudy Mat. Inst. Steklov.'' , '''94'''  (1968)  pp. 4–18</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  H. Meschkowski,   "Beiträge zur Theorie der Orthonomalsysteme"  ''Mat. Ann.'' , '''127'''  (1954)  pp. 107–129</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  Yu.E. [Yu.E. Alenitsyn] Alenicyn,   "Area theorems for functions analytic in a finitely connected domain"  ''Math. USSR Izv.'' , '''7''' :  5  (1973)  pp. 1130–1151  ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''37''' :  5  (1973)  pp. 1132–1154</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  G.M. Goluzin,   "Geometric theory of functions of a complex variable" , ''Transl. Math. Monogr.'' , '''26''' , Amer. Math. Soc.  (1969)  (Translated from Russian)</TD></TR></table>



====Comments====
The mapping functions of a domain, or fundamental domain functions, are univalent conformal mappings of the given domain onto certain standard domains, e.g. from a simply-connected domain onto the unit disc (cf. [[Riemann theorem|Riemann theorem]]) or from a doubly-connected domain onto a standard annulus, [[#References|[10]]].