Namespaces
Variants
Actions

Difference between revisions of "Boundary variation, method of"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
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.
+
<!--
 +
b0174101.png
 +
$#A+1 = 26 n = 0
 +
$#C+1 = 26 : ~/encyclopedia/old_files/data/B017/B.0107410 Boundary variation, method of
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
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
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<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>
+
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]]  $  w = f (z) $
 +
that is univalent in a domain of the  $  z $-
 +
plane, the variation of the function being determined by the appropriate variations of the boundary of the image of this domain.
  
and that is univalent in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017410/b01741014.png" />, the inequality
+
The fundamental lemma of the method of boundary variation. Let  $  D $
 +
be a domain in the  $  w $-
 +
plane and let the complement  $  \Delta $
 +
of  $  D $
 +
in the extended plane consist of a number of continua. Let  $  \Gamma $
 +
be a continuum in  $  \Delta $
 +
and let there exist on  $  \Gamma $
 +
an analytic function  $  s (w) \neq 0 $
 +
such that for any point  $  w _ {0} \in \Gamma $
 +
and for any function  $  F (w) $
 +
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/b01741015.png" /></td> </tr></table>
+
$$ \tag{* }
 +
F (w)  = \
 +
w + A _ {0} +
  
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
+
\frac{A _ {1} \rho  ^ {2} }{w - w _ {0} }
 +
+
 +
O ( \rho  ^ {3} )
 +
$$
  
<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>
+
and that is univalent in  $  D $,
 +
the inequality
  
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
+
$$
 +
\mathop{\rm Re} \{
 +
A _ {1} s (w _ {0} )
 +
\} +
 +
O ( \rho ) \geq  0
 +
$$
  
<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>
+
be valid, and suppose that the estimate of the residual term in (*) is uniform in all closed subdomains of  $  D $.
 +
$  \Gamma $
 +
will then be an analytic curve that may parametrically be represented by means of the function  $  w = w (t) $
 +
of the real parameter  $  t $.
 +
This parameter may be so chosen that  $  \Gamma $
 +
satisfies the differential equation
 +
 
 +
$$
 +
\left (
 +
 
 +
\frac{dw }{dt }
 +
 
 +
\right )  ^ {2}
 +
s (w) + 1  = 0.
 +
$$
 +
 
 +
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  $  s (w) $
 +
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  $  s (w) $
 +
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
 +
 
 +
$$
 +
Q (w)  dw  ^ {2}  = \
 +
- s (w)  dw  ^ {2} .
 +
$$
  
 
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.
 
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.
+
The following results were obtained by means of the method of boundary variation: Qualitative results in the [[Coefficient problem|coefficient problem]] for the class $  S $;  
 +
in the problem of the maximum of the $  n $-
 +
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====
 
====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>
 
<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====
 
====Comments====

Latest revision as of 06:29, 30 May 2020


A method of studying univalent functions (cf. Univalent function), based on the study of the variation of a function $ w = f (z) $ that is univalent in a domain of the $ z $- 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 $ D $ be a domain in the $ w $- plane and let the complement $ \Delta $ of $ D $ in the extended plane consist of a number of continua. Let $ \Gamma $ be a continuum in $ \Delta $ and let there exist on $ \Gamma $ an analytic function $ s (w) \neq 0 $ such that for any point $ w _ {0} \in \Gamma $ and for any function $ F (w) $ that can be represented as

$$ \tag{* } F (w) = \ w + A _ {0} + \frac{A _ {1} \rho ^ {2} }{w - w _ {0} } + O ( \rho ^ {3} ) $$

and that is univalent in $ D $, the inequality

$$ \mathop{\rm Re} \{ A _ {1} s (w _ {0} ) \} + O ( \rho ) \geq 0 $$

be valid, and suppose that the estimate of the residual term in (*) is uniform in all closed subdomains of $ D $. $ \Gamma $ will then be an analytic curve that may parametrically be represented by means of the function $ w = w (t) $ of the real parameter $ t $. This parameter may be so chosen that $ \Gamma $ satisfies the differential equation

$$ \left ( \frac{dw }{dt } \right ) ^ {2} s (w) + 1 = 0. $$

This result makes the important role played by quadratic differentials (cf. Quadratic differential) in the solution of extremal problems in the theory of univalent functions clear, since $ s (w) $ 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 $ s (w) $ 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

$$ Q (w) dw ^ {2} = \ - s (w) dw ^ {2} . $$

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 for the class $ S $; in the problem of the maximum of the $ n $- 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 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

[1] M. Schiffer, "A method of variation within the family of simple functions" Proc. London Math. Soc., Ser. 2 , 44 (1938) pp. 432–449
[2] M. Schiffer, "Some recent developments in the theory of conformal mappings" R. Courant (ed.) , Dirichlet's principle. Conformal mapping and minimal surfaces , Interscience (1950)
[3] 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. & McGraw-Hill (1958) pp. 93–113

Comments

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

References

[a1] P.L. Duren, "Univalent functions" , Springer (1983) pp. Chapt. 10
How to Cite This Entry:
Boundary variation, method of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Boundary_variation,_method_of&oldid=46138
This article was adapted from an original article by G.V. Kuz'mina (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article