View source for Boundary variation, method of

A method of studying univalent functions (cf. [[Univalent function|Univalent function]]), based on the study of the [[Variation of a function|variation of a function]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b0174101.png" /> that is univalent in a domain of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b0174102.png" />-plane, the variation of the function being determined by the appropriate variations of the boundary of the image of this domain.

The fundamental lemma of the method of boundary variation. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b0174103.png" /> be a domain in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b0174104.png" />-plane and let the complement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b0174105.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b0174106.png" /> in the extended plane consist of a number of continua. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b0174107.png" /> be a continuum in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b0174108.png" /> and let there exist on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b0174109.png" /> an analytic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741010.png" /> such that for any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741011.png" /> and for any function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741012.png" /> that can be represented as

<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/b/b017/b017410/b01741013.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>

and that is univalent in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741014.png" />, the inequality

<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/b/b017/b017410/b01741015.png" /></td> </tr></table>

be valid, and suppose that the estimate of the residual term in (*) is uniform in all closed subdomains of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741016.png" />. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741017.png" /> will then be an analytic curve that may parametrically be represented by means of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741018.png" /> of the real parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741019.png" />. This parameter may be so chosen that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741020.png" /> satisfies the differential equation

<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/b/b017/b017410/b01741021.png" /></td> </tr></table>

This result makes the important role played by quadratic differentials (cf. [[Quadratic differential|Quadratic differential]]) in the solution of extremal problems in the theory of univalent functions clear, since <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741022.png" /> proves to be a meromorphic function in many applications. In certain cases it follows from the conditions of the problem that the appropriate poles of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741023.png" /> belong to the boundary of the extremal domain, and it is shown by the fundamental lemma of the method of boundary variation that the boundary of this domain belongs to the union of the closures of the critical trajectories of the quadratic differential

<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/b/b017/b017410/b01741024.png" /></td> </tr></table>

In a number of extremal problems, the fundamental lemma not only yields qualitative results, but also gives sufficient information for the determination of the boundary of the extremal domain, and hence for the complete solution of the problem.

The following results were obtained by means of the method of boundary variation: Qualitative results in the [[Coefficient problem|coefficient problem]] for the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741025.png" />; in the problem of the maximum of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741026.png" />-th diameter in a family of continua of a given capacity; the solution of a number of extremal problems of univalent conformal mappings of doubly-connected domains; [[Distortion theorems|distortion theorems]] for multiply-connected domains, which at the same prove existence theorems of univalent conformal mappings of a given multiply-connected domain onto canonical domains, etc.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  M. Schiffer,   "A method of variation within the family of simple functions"  ''Proc. London Math. Soc., Ser. 2'' , '''44'''  (1938)  pp. 432–449</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  M. Schiffer,   "Some recent developments in the theory of conformal mappings"  R. Courant (ed.) , ''Dirichlet's principle. Conformal mapping and minimal surfaces'' , Interscience  (1950)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  M. Schiffer,   "Applications of variational methods in the theory of conformal mapping" , ''Calculus of variations and its applications'' , ''Proc. Symp. Appl. Math.'' , '''8''' , Amer. Math. Soc. &amp; McGraw-Hill  (1958)  pp. 93–113</TD></TR></table>



====Comments====
The  "fundamental lemma of the method of boundary variation"  is also known as Schiffer's theorem.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  P.L. Duren,   "Univalent functions" , Springer  (1983)  pp. Chapt. 10</TD></TR></table>