Difference between revisions of "Bloch function"
(Importing text file) |
m (link) |
||
Line 5: | Line 5: | ||
for a positive constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b1106206.png" />, independent of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b1106207.png" />. The Bloch norm of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b1106208.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b1106209.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062010.png" /> is the infimum of the constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062011.png" /> for which (a1) holds. The Bloch norm turns the set of Bloch functions into a [[Banach space|Banach space]], <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062012.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062013.png" /> is a Möbius-invariant [[Semi-norm|semi-norm]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062014.png" /> (cf. also [[Fractional-linear mapping|Fractional-linear mapping]]). | for a positive constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b1106206.png" />, independent of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b1106207.png" />. The Bloch norm of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b1106208.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b1106209.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062010.png" /> is the infimum of the constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062011.png" /> for which (a1) holds. The Bloch norm turns the set of Bloch functions into a [[Banach space|Banach space]], <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062012.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062013.png" /> is a Möbius-invariant [[Semi-norm|semi-norm]] on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062014.png" /> (cf. also [[Fractional-linear mapping|Fractional-linear mapping]]). | ||
− | Bloch functions appear naturally in connection with Bloch's theorem. Call a disc in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062015.png" /> in the image of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062016.png" /> schlicht if it is the univalent image of some open set (cf. [[Univalent function|Univalent function]]). Bloch's theorem can be stated as follows. There is a constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062017.png" /> (the Bloch constant) such that the image of every holomorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062018.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062019.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062020.png" /> contains the schlicht disc <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062021.png" />. | + | Bloch functions appear naturally in connection with Bloch's theorem. Call a disc in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062015.png" /> in the image of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062016.png" /> schlicht if it is the univalent image of some open set (cf. [[Univalent function|Univalent function]]). Bloch's theorem can be stated as follows. There is a constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062017.png" /> (the ''[[Bloch constant]]'') such that the image of every holomorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062018.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062019.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062020.png" /> contains the schlicht disc <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062021.png" />. |
A disc automorphism leads to schlicht discs of radius at least <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062022.png" /> about <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062023.png" />. The radii of the schlicht discs of Bloch functions are therefore bounded. | A disc automorphism leads to schlicht discs of radius at least <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062022.png" /> about <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b110/b110620/b11062023.png" />. The radii of the schlicht discs of Bloch functions are therefore bounded. |
Revision as of 17:31, 13 November 2016
Let be the open unit disc in . A holomorphic function on is called a Bloch function if it has the property that
(a1) |
for a positive constant , independent of . The Bloch norm of is , where is the infimum of the constants for which (a1) holds. The Bloch norm turns the set of Bloch functions into a Banach space, , and is a Möbius-invariant semi-norm on (cf. also Fractional-linear mapping).
Bloch functions appear naturally in connection with Bloch's theorem. Call a disc in in the image of schlicht if it is the univalent image of some open set (cf. Univalent function). Bloch's theorem can be stated as follows. There is a constant (the Bloch constant) such that the image of every holomorphic function with , contains the schlicht disc .
A disc automorphism leads to schlicht discs of radius at least about . The radii of the schlicht discs of Bloch functions are therefore bounded.
The following properties of Bloch functions are well-known.
i) Bounded holomorphic functions, and moreover analytic functions with boundary values in (cf. -space), are in .
ii) coincides with the class of analytic functions that are in of the disc.
iii) is the largest Möbius-invariant space of holomorphic functions on that possesses non-zero continuous functionals that are also continuous with respect to some Möbius-invariant semi-norm, cf. [a3].
iv) Bloch functions are normal, i.e., if is Bloch, then is a normal family.
v) Boundary values of Bloch functions need not exist; also, the radial limit function can be bounded almost-everywhere, while the Bloch function is unbounded. (Cf. [a1], [a2].)
The concept of a Bloch function has been extended to analytic functions of several complex variables on a domain . This can be done by replacing (a1) by the estimates
Here denotes the Kobayashi metric of at in the direction . (Cf. [a2], [a4], [a5].)
References
[a1] | J.M. Anderson, J. Clunie, Ch. Pommerenke, "On Bloch functions and normal functions" J. Reine Angew. Math. , 270 (1974) pp. 12–37 |
[a2] | S.G. Krantz, "Geometric analysis and function spaces" , CBMS , 81 , Amer. Math. Soc. (1993) |
[a3] | L. Rubel, R. Timoney, "An extremal property of the Bloch space" Proc. Amer. Math. Soc. , 43 (1974) pp. 306–310 |
[a4] | R. Timoney, "Bloch functions in several complex variables, I" Bull. London Math. Soc. , 12 (1980) pp. 241–267 |
[a5] | R. Timoney, "Bloch functions in several complex variables, II" J. Reine Angew. Math. , 319 (1980) pp. 1–22 |
Bloch function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bloch_function&oldid=15007