Misplaced Pages

Grunsky matrix: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 20:31, 19 December 2011 editMathsci (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers66,107 edits please stop tampering with the lede until the article covers the topics mentioned← Previous edit Revision as of 22:15, 19 December 2011 edit undo94.197.0.150 (talk) Grunsky matrix: typoNext edit →
Line 18: Line 18:
:<math>\log\frac{g(z)-g(\zeta)}{z-\zeta} = -\sum_{m,n>0}c_{nm}z^{-m}\zeta^{-n}</math> :<math>\log\frac{g(z)-g(\zeta)}{z-\zeta} = -\sum_{m,n>0}c_{nm}z^{-m}\zeta^{-n}</math>


Its is a ]. Its entries are called the '''Grunsky coefficients''' of ''g''. It is a ]. Its entries are called the '''Grunsky coefficients''' of ''g''.


Note that Note that

Revision as of 22:15, 19 December 2011

page is in the middle of an expansion or major revampingThis article or section is in a state of significant expansion or restructuring. You are welcome to assist in its construction by editing it as well. If this article or section has not been edited in several days, please remove this template.
If you are the editor who added this template and you are actively editing, please be sure to replace this template with {{in use}} during the active editing session. Click on the link for template parameters to use. This article was last edited by 94.197.0.150 (talk | contribs) 13 years ago. (Update timer)

In mathematics, the Grunsky matrices, or Grunsky operators, are matrices introduced by Grunsky (1939) in complex analysis and geometric function theory. They correspond to either a single holomorphic function on the unit disk or a pair of holomorphic functions on the unit disk and its complement. The Grunsky inequalities express boundedness properties of these matrices, which in general are contraction operators or in important special cases unitary operators. As Grunsky showed, these inequalities hold if and only if the holomorphic function is univalent. The inequalities are equivalent to the inequalities of Goluzin, discovered in 1947. Roughly speaking, the Grunsky inequalities give information on the coefficients of the logarithm of a univalent function; later generalizations by Milin, starting from the Lebedev–Milin inequality, succeeded in exponentiating the inequalities to obtain inequalities for the coefficients of the univalent function itself. Historically the inequalities were used in proving special cases of the Bieberbach conjecture up to the sixth coefficient; the exponentiated inequalities of Milin were used by de Branges in the final solution. The Grunsky operators and their Fredholm determinants are related to spectral properties of bounded domains in the complex plane. The operators have further applications in conformal mapping, Teichmüller theory and conformal field theory.

Grunsky matrix

If f(z) is a holomorphic univalent function on the unit disk, normalized so that f(0) = 0 and f'(0) = 1, the function

g ( z ) = f ( z 1 ) 1 {\displaystyle g(z)=f(z^{-1})^{-1}}

is a non-vanishing univalent function on |z| > 1 having a simple pole at ∞ with residue 1:

g ( z ) = z + b 0 + b 1 z 1 + b 2 z 2 + {\displaystyle g(z)=z+b_{0}+b_{1}z^{-1}+b_{2}z^{-2}+\cdots }

The same inversion formula applied to g gives back f and establishes a one-one correspondence between these two classes of function.

The Grunsky matrix of (cnm) of g is defined by the equation

log g ( z ) g ( ζ ) z ζ = m , n > 0 c n m z m ζ n {\displaystyle \log {\frac {g(z)-g(\zeta )}{z-\zeta }}=-\sum _{m,n>0}c_{nm}z^{-m}\zeta ^{-n}}

It is a symmetric matrix. Its entries are called the Grunsky coefficients of g.

Note that

log g ( z 1 ) g ( ζ 1 ) z 1 ζ 1 = log f ( z ) f ( ζ ) z ζ log f ( z ) z log f ( ζ ) ζ , {\displaystyle \log {g(z^{-1})-g(\zeta ^{-1}) \over z^{-1}-\zeta ^{-1}}=\log {f(z)-f(\zeta ) \over z-\zeta }-\log {f(z) \over z}-\log {f(\zeta ) \over \zeta },}

so that that the coefficients can be expressed directly in terms of f. Indeed if

log f ( z ) f ( ζ ) z ζ = m , n 0 d m n z n ζ n , {\displaystyle \log {f(z)-f(\zeta ) \over z-\zeta }=-\sum _{m,n\geq 0}d_{mn}z^{n}\zeta ^{n},}

then for m, n > 0

d m n = c m n {\displaystyle \displaystyle {d_{mn}=c_{mn}}}

and d0n = dn0 is given by

log f ( z ) z = n > 0 d 0 n z n {\displaystyle \log {f(z) \over z}=\sum _{n>0}d_{0n}z^{n}}

with

d 00 = 0. {\displaystyle \displaystyle {d_{00}=0.}}

Grunsky inequalities

If f is a holomorphic function on the unit disk with Grunsky matrix (cnm), the Grunsky inequalities state that

| 1 m , n N c m n λ m λ n | 1 n N | λ n | 2 / n {\displaystyle \left|\sum _{1\leq m,n\leq N}c_{mn}\lambda _{m}\lambda _{n}\right|\leq \sum _{1\leq n\leq N}|\lambda _{n}|^{2}/n}

for any finite sequence of complex numbers λ1, ..., λN.

Faber polynomials

The Grunsky coefficients of a normalized univalent function in |z| > 1

g ( z ) = z + b 0 + b 1 z 1 + b 2 z 2 + {\displaystyle g(z)=z+b_{0}+b_{1}z^{-1}+b_{2}z^{-2}+\cdots }

are polynomials in the coefficients bi which can be computed recursively in terms of the Faber polynomials Φn, a monic polynomial of degree n depending on g.

Taking the derivative in z of the defining relation of the Grunsky coefficients and multiplying by z gives

z g ( z ) g ( z ) g ( ζ ) z z ζ = m , n > 0 m c m n z m ζ n . {\displaystyle {zg^{\prime }(z) \over g(z)-g(\zeta )}-{z \over z-\zeta }=\sum _{m,n>0}mc_{mn}z^{-m}\zeta ^{-n}.}

The Faber polynomials are defined by the relation

z g ( z ) g ( z ) w = n 0 Φ n ( w ) z n . {\displaystyle {zg^{\prime }(z) \over g(z)-w}=\sum _{n\geq 0}\Phi _{n}(w)z^{-n}.}

Dividing this relation by z and integrating between z and ∞ gives

log g ( z ) w z = n 1 1 n Φ n ( w ) z n . {\displaystyle \log {g(z)-w \over z}=-\sum _{n\geq 1}{1 \over n}\Phi _{n}(w)z^{-n}.}

This gives the recurrence relations for n > 0

Φ n ( w ) = ( w b 0 ) Φ n 1 ( w ) n b n 0 i n 1 b n i Φ i ( w ) {\displaystyle \Phi _{n}(w)=(w-b_{0})\Phi _{n-1}(w)-nb_{n}-\sum _{0\leq i\leq n-1}b_{n-i}\Phi _{i}(w)}

with

Φ 0 ( w ) 1. {\displaystyle \Phi _{0}(w)\equiv 1.}

Thus

n 0 Φ n ( g ( z ) ) ζ n = 1 + n 1 ( z n + m 1 c n m z m ) ζ n , {\displaystyle \sum _{n\geq 0}\Phi _{n}(g(z))\zeta ^{-n}=1+\sum _{n\geq 1}\left(z^{n}+\sum _{m\geq 1}c_{nm}z^{-m}\right)\zeta ^{-n},}

so that for n ≥ 1

Φ n ( g ( z ) ) = z n + m 1 c n m z m . {\displaystyle \Phi _{n}(g(z))=z^{n}+\sum _{m\geq 1}c_{nm}z^{-m}.}

The latter property uniquely determines the Faber polynomial of g.

Milin's area theorem

Let g(z) be a univalent function on |z| > 1 normalized so that

g ( z ) = z + b 1 z 1 + b 2 z 2 + {\displaystyle g(z)=z+b_{1}z^{-1}+b_{2}z^{-2}+\cdots }

and let f(z) be a non-constant holomorphic function on C.

If

f ( g ( z ) ) = c n z n {\displaystyle f(g(z))=\sum _{-\infty }^{\infty }c_{n}z^{n}}

is the Laurent expansion on z > 1, then

n > 0 n | c n | 2 n > 0 n | c n | 2 . {\displaystyle \sum _{n>0}n|c_{n}|^{2}\leq \sum _{n>0}n|c_{-n}|^{2}.}

Proof

If Ω is a bounded open region with smooth boundary ∂Ω and h is a differentiable function on Ω extending to a continuous function on the closure, then, by Stokes theorem applied to the differential 1-form ω = h(z)dz,

Ω h ( z ) d z = Ω ω = Ω d ω = Ω ( i x y ) h d x d y = 2 i Ω z ¯ h d x d y . {\displaystyle \int _{\partial \Omega }h(z)\,dz=\int _{\partial \Omega }\omega =\iint _{\Omega }d\omega =\iint _{\Omega }(i\partial _{x}-\partial _{y})h\,dxdy=2i\iint _{\Omega }\partial _{\overline {z}}h\,dxdy.}

For r > 1, let Ωr be the complement of the image of |z|> r under g(z), a bounded domain. Then, by the above identity with h = f', the area of fr) is given by

A ( r ) = Ω r | f ( z ) | 2 d x d y = 1 2 i Ω r f ( z ) ¯ f ( z ) d z = 1 2 i | w | = r f ( g ( w ) ) ) ¯ f ( g ( w ) ) g ( w ) d w . {\displaystyle A(r)=\iint _{\Omega _{r}}|f'(z)|^{2}\,dxdy={1 \over 2i}\int _{\partial \Omega _{r}}{\overline {f(z)}}f^{\prime }(z)\,dz={1 \over 2i}\int _{|w|=r}{\overline {f(g(w)))}}f^{\prime }(g(w))g^{\prime }(w)\,dw.}

Hence

A ( r ) = π n n | c n | 2 r 2 n . {\displaystyle \displaystyle {A(r)=\pi \sum _{n}n|c_{-n}|^{2}r^{2n}.}}

Since the area is non-negative

n > 0 n | c n | 2 r 2 n n > 0 n | c n | 2 r 2 n . {\displaystyle \sum _{n>0}n|c_{n}|^{2}r^{-2n}\leq \sum _{n>0}n|c_{-n}|^{2}r^{2n}.}

The result follows by letting r decrease to 1.

Milin's proof of Grunsky inequalities

If

p ( w ) = n = 1 N n 1 λ n Φ n ( w ) , {\displaystyle p(w)=\sum _{n=1}^{N}n^{-1}\lambda _{n}\Phi _{n}(w),}

then

p ( g ( z ) ) = ( n = 1 N n 1 λ n z n ) + ( m = 1 n = 1 N λ n c n m z m ) . {\displaystyle p(g(z))=\left(\sum _{n=1}^{N}n^{-1}\lambda _{n}z^{n}\right)+\left(\sum _{m=1}^{\infty }\sum _{n=1}^{N}\lambda _{n}c_{nm}z^{-m}\right).}

Applying Milin's area theorem,

m = 1 m | n = 1 N c m n λ n | 2 n = 1 N 1 n | λ n | 2 . {\displaystyle \sum _{m=1}^{\infty }m\left|\sum _{n=1}^{N}c_{mn}\lambda _{n}\right|^{2}\leq \sum _{n=1}^{N}{1 \over n}|\lambda _{n}|^{2}.}

(Equality holds here if and only if the complement of the image of g has Lebesgue measure zero.)

So a fortiori

m = 1 N m | n = 1 N c m n λ n | 2 n = 1 N 1 n | λ n | 2 . {\displaystyle \sum _{m=1}^{N}m\left|\sum _{n=1}^{N}c_{mn}\lambda _{n}\right|^{2}\leq \sum _{n=1}^{N}{1 \over n}|\lambda _{n}|^{2}.}

Hence the symmetric matrix

a m n = ( m n ) 1 / 2 c m n {\displaystyle a_{mn}=(mn)^{1/2}c_{mn}} ,

regarded as an operator on C with its standard inner product, satisfies

A x x . {\displaystyle \|Ax\|\leq \|x\|.}

So by the Cauchy-Schwarz inequality

| ( A x , y ) | x y . {\displaystyle |(Ax,y)|\leq \|x\|\cdot \|y\|.}

With x n = n 1 / 2 λ n = y n ¯ {\displaystyle x_{n}=n^{-1/2}\lambda _{n}={\overline {y_{n}}}} , this gives the Grunsky inequality:

| m = 1 N n = 1 N c m n λ m λ n | 2 n = 1 N 1 n | λ n | 2 , {\displaystyle \left|\sum _{m=1}^{N}\sum _{n=1}^{N}c_{mn}\lambda _{m}\lambda _{n}\right|^{2}\leq \sum _{n=1}^{N}{1 \over n}|\lambda _{n}|^{2},}

Criterion for univalence

Let g(z) be a holomorphic function on z > 1 with

g ( z ) = z + b 0 + b 1 z 1 + b 2 z 2 + {\displaystyle g(z)=z+b_{0}+b_{1}z^{-1}+b_{2}z^{-2}+\cdots }

Then g is univalent if and only if the Grunsky coefficients of g satisfy the Grunsky inequalities for all N.

In fact the conditions have already been shown to be necessary. To see sufficiency, note that

log g ( z ) g ( ζ ) z ζ = m , n 1 c m n z m ζ n {\displaystyle \log {g(z)-g(\zeta ) \over z-\zeta }=-\sum _{m,n\geq 1}c_{mn}z^{-m}\zeta ^{-n}}

makes sense when |z| and |ζ| are large and hence the coefficients cmn are defined. If the Grunsky inequalities are satisfied then it is easy to see that the |cmn| are uniformly bounded and hence the expansion on the left hand side converges for |z|>1 and |ζ|>1. Exponentiating both sides, this implies that g is univalent.

Pairs of univalent functions

Let F(z) and g(ζ) be univalent holomorphic functions on |z| < 1 and |ζ| > 1, such that their images are disjoint in C. Suppose that these functions are normalized so that

g ( ζ ) = ζ + a 0 + b 1 ζ 1 + b 2 ζ 2 + {\displaystyle g(\zeta )=\zeta +a_{0}+b_{1}\zeta ^{-1}+b_{2}\zeta ^{-2}+\cdots }

and

F ( z ) = a f ( z ) {\displaystyle \displaystyle {F(z)=af(z)}}

with a ≠ 0 and

f ( z ) = z + a 2 z 2 + a 3 z 3 + {\displaystyle f(z)=z+a_{2}z^{2}+a_{3}z^{3}+\cdots }

The Grunsky matrix (cmn) of this pair of functions is defined for all non-zero m and n by the formulas:

log g ( ζ ) g ( η ) ζ η = m , n 1 c m n ζ m η n {\displaystyle \log {g(\zeta )-g(\eta ) \over \zeta -\eta }=-\sum _{m,n\geq 1}c_{mn}\zeta ^{-m}\eta ^{-n}}
log g ( ζ ) f ( z ) ζ log g ( ζ ) ζ = m , n 1 c m , n z m ζ n {\displaystyle \log {g(\zeta )-f(z) \over \zeta }-\log {g(\zeta ) \over \zeta }=-\sum _{m,n\geq 1}c_{-m,n}z^{m}\zeta ^{-n}}
log f ( z ) f ( w ) z w log f ( z ) z log f ( w ) w = m , n 1 c m , n z m w n {\displaystyle \log {f(z)-f(w) \over z-w}-\log {f(z) \over z}-\log {f(w) \over w}=-\sum _{m,n\geq 1}c_{-m,-n}z^{m}w^{n}}

with cm, –n = cn,m for m, n ≥ 1, so that cmn is a symmetric matrix.

In 1972 the American mathematician James Hummel extended the Grunsky inequalities to this matrix, proving that for any sequence of complex numbers λ±1, ..., λ±N

| n , m 0 c m n λ m λ n | n 0 1 | n | | λ n | 2 . {\displaystyle |\sum _{n,m\neq 0}c_{mn}\lambda _{m}\lambda _{n}|\leq \sum _{n\neq 0}{1 \over |n|}|\lambda _{n}|^{2}.}

The proof proceeds by computing the area of the image of the complement of the images of |z| < r < 1 under F and |ζ| > R >1 under g under a suitable Laurent polynomial h(w).

Let Φn and Φ-n denote the Faber polynomials of g and f ( z 1 ) 1 {\displaystyle f(z^{-1})^{-1}} and set

h ( w ) = n 1 λ n n Φ n ( w ) + n 1 λ n n Φ n ( a w ) . {\displaystyle h(w)=\sum _{n\geq 1}{\lambda _{n} \over n}\Phi _{n}(w)+\sum _{n\geq 1}{\lambda _{-n} \over n}\Phi _{-n}({a \over w}).}

Then for |z| < 1

h ( F ( z ) ) = n 1 λ n n z n + α + n 1 α n z n , α n = m c n , m λ m . {\displaystyle h(F(z))=\sum _{n\geq 1}{\lambda _{-n} \over n}z^{-n}+\alpha +\sum _{n\geq 1}\alpha _{n}z^{n},\,\,\,\alpha _{n}=\sum _{m}c_{-n,m}\lambda _{m}.}

and for |ζ| > 1

h ( g ( ζ ) ) = n 1 λ n n ζ n + β + n 1 β n ζ n , β n = m c n m λ m . {\displaystyle h(g(\zeta ))=\sum _{n\geq 1}{\lambda _{n} \over n}\zeta ^{n}+\beta +\sum _{n\geq 1}\beta _{n}\zeta ^{-n},\,\,\,\beta _{n}=\sum _{m}c_{nm}\lambda _{m}.}

The area equals

| h ( z ) | 2 d x d y = 1 2 i C 1 h ¯ ( z ) h ( z ) d z 1 2 i C 2 h ¯ ( z ) h ( z ) d z , {\displaystyle \int |h^{\prime }(z)|^{2}\,dxdy={1 \over 2i}\int _{C_{1}}{\overline {h}}(z)h^{\prime }(z)\,dz-{1 \over 2i}\int _{C_{2}}{\overline {h}}(z)h^{\prime }(z)\,dz,}

where C1 is the image of the circle |ζ| = R under g and C2 is the image of the circle |z| = r under F.

Hence

1 π | h | 2 d x d y = [ n 1 1 n | λ n | 2 n 1 | α n | 2 r 2 n ] + [ n 1 1 n | λ n | 2 n 1 | β n | 2 R 2 n ] . {\displaystyle {1 \over \pi }\iint |h^{\prime }|^{2}\,dxdy=\left+\left.}

Since the area is positive, the right hand side must also be positive. Letting r increase to 1 and R decrease to 1, it follows that

m 0 | m | | n 0 c m n λ n | 2 m 0 1 | m | | λ m | 2 {\displaystyle \sum _{m\neq 0}|m|\left|\sum _{n\neq 0}c_{mn}\lambda _{n}\right|^{2}\leq \sum _{m\neq 0}{1 \over |m|}|\lambda _{m}|^{2}}

with equality if and only if the complement of the images has Lebesgue measure zero.

As in the case of a single function g, this implies the required inequality.

Unitarity

The matrix

a m n = | m n | c m n {\displaystyle a_{mn}={\sqrt {|mn|}}\cdot c_{mn}}

of a single function g or a pair of functions F, g is unitary if and only if the complement of the image of g or the union of the images of F and g has Lebesgue measure zero. So in the case of one function the image is a slit region in the complex plane; and in the case of two functions the two regions are separated by a quasicircle.

In fact the infinite matrix A acting on the Hilbert space of square summable sequences satisfies

A A = I , {\displaystyle \displaystyle {A^{*}A=I,}}

But if J denotes complex conjugation of a sequence, then

J A J = A , J A J = A {\displaystyle \displaystyle {JAJ=A^{*},\,\,JA^{*}J=A}}

since A is symmetric. Hence

A A = J A A J = I {\displaystyle \displaystyle {AA^{*}=JA^{*}AJ=I}}

so that A is unitary.

Equivalent forms of Grunsky inequalities

Goluzin inequalities

If g(z) is a normalized univalent function in |z| > 1, z1, ..., zN are distinct points with |zn| > 1 and α1, ..., αN are complex numbers, the Goluzin inequalities, proved in 1947 by the Russian mathematician Gennadi Mikhailovich Goluzin (1906-1853), state that

| m = 1 N n = 1 N α m α n log g ( z m ) g ( z n ) z m z n | 2 m = 1 N n = 1 N α m α n ¯ log 1 1 ( z m z n ¯ ) 1 . {\displaystyle \left|\sum _{m=1}^{N}\sum _{n=1}^{N}\alpha _{m}\alpha _{n}\log {g(z_{m})-g(z_{n}) \over z_{m}-z_{n}}\right|^{2}\leq \sum _{m=1}^{N}\sum _{n=1}^{N}\alpha _{m}{\overline {\alpha _{n}}}\log {1 \over 1-(z_{m}{\overline {z_{n}}})^{-1}}.}

To deduce them from the Grunsky inequalities, let

λ k = n = 1 N α n z n k . {\displaystyle \displaystyle {\lambda _{k}=\sum _{n=1}^{N}\alpha _{n}z_{n}^{-k}.}}

for k > 0.

Conversely the Grunsky inequalities follow from the Goluzin inequalities by taking

α m = 1 N n = 1 N λ n z n m . {\displaystyle \displaystyle {\alpha _{m}={1 \over N}\sum _{n=1}^{N}\lambda _{n}z_{n}^{m}.}}

where

z n = r e 2 π i n N {\displaystyle \displaystyle {z_{n}=re^{2\pi in \over N}}}

with r > 1, tending to ∞.

Bergman–Schiffer inequalities

Bergman & Schiffer (1951) gave another derivation of the Grunsky inequalities using reproducing kernels and singular integral operators in geometric function theory; a more recent related approach can be found in Baranov & Hedenhalm (2008) harvtxt error: no target: CITEREFBaranovHedenhalm2008 (help). Let f(z) be a normalized univalent function in |z| < 1, let z1, ..., zN be distinct points with |zn| < 1 and let α1, ..., αN be complex numbers.

The Bergman-Schiffer inequalities state that

| m = 1 N n = 1 N α m α n [ f ( z m ) f ( z n ) ( f ( z m ) f ( z n ) ) 2 1 ( z m z n ) 2 ] | m = 1 N n = 1 N α m α n ¯ 1 ( 1 z m z n ¯ ) 2 . {\displaystyle \left|\sum _{m=1}^{N}\sum _{n=1}^{N}\alpha _{m}\alpha _{n}\left\right|\leq \sum _{m=1}^{N}\sum _{n=1}^{N}\alpha _{m}{\overline {\alpha _{n}}}{1 \over (1-z_{m}{\overline {z_{n}}})^{2}}.}

To deduce these inequalities from the Grunsky inequalities, set

λ k = k n = 1 N α n z n k . {\displaystyle \displaystyle {\lambda _{k}=k\sum _{n=1}^{N}\alpha _{n}z_{n}^{k}.}}

for k > 0.

Conversely the Grunsky inequalities follow from the Bergman-Schiffer inequalities by taking

α m = 1 N n = 1 N 1 n λ n z n m . {\displaystyle \displaystyle {\alpha _{m}={1 \over N}\sum _{n=1}^{N}{1 \over n}\lambda _{n}z_{n}^{m}.}}

where

z n = r e 2 π i n N {\displaystyle \displaystyle {z_{n}=re^{2\pi in \over N}}}

with r < 1, tending to 0.

Applications

See also: Grunsky's theorem

The Grunsky inequalities imply many inequalities for univalent functions. They were also used by Schiffer and Charzynski in 1960 to give a completely elementary proof of the Bieberbach conjecture for the fourth coefficient; a far more complicated proof had previously been found by Schiffer and Garabedian in 1955. In 1968 Pedersen and Ozawa independently used the Grunsky inequalities to prove the conjecture for the sixth coefficient.

In the proof of Schiffer and Charzynski, if

f ( x ) = z + a 2 z 2 + a 3 z 3 + a 4 z 4 + {\displaystyle f(x)=z+a_{2}z^{2}+a_{3}z^{3}+a_{4}z^{4}+\cdots }

is a normalized univalent function in |z| < 1, then

g ( z ) = f ( z 2 ) 1 / 2 = z + b 1 z 1 + b 3 z 3 + {\displaystyle g(z)=f(z^{2})^{-1/2}=z+b_{1}z^{-1}+b_{3}z^{-3}+\cdots }

is an odd univalent function in |z| > 1.

Combining Gronwall's area theorem for f with the Grunsky inequalities for the first 2 x 2 minor of the Grunsky matrix of g leads to a bound for |a4| in terms of a simple function of a2 and a free complex parameter. The free parameter can be chosen so that the bound becomes a function of half the modulus of a2 and it can then be checked directly that this function is no greater than 4 on the range .

As Milin showed, the Grunsky inequalities can be exponentiated. The simplest case proceeds by writing

log g ( z ) g ( ζ ) z ζ = n 1 a n ( ζ 1 ) z n . {\displaystyle \log {g(z)-g(\zeta ) \over z-\zeta }=-\sum _{n\geq 1}a_{n}(\zeta ^{-1})z^{-n}.}

with an(w) holomorphic in |w| < 1.

The Grunsky inequalities, with λn = w imply that

n 1 n | a n ( w ) | 2 log ( 1 | w | 2 ) . {\displaystyle \displaystyle {\sum _{n\geq 1}n|a_{n}(w)|^{2}\leq -\log(1-|w|^{2}).}}

On the other hand if

m 0 b m t m = exp n 1 a n t n {\displaystyle \displaystyle {\sum _{m\geq 0}b_{m}t^{m}=\exp \sum _{n\geq 1}a_{n}t^{n}}}

as formal power series, then the first of the Lebedev-Milin inequalities (1965) states that

n 0 | b n | 2 exp n 1 n | a n | 2 . {\displaystyle \displaystyle {\sum _{n\geq 0}|b_{n}|^{2}\leq \exp \sum _{n\geq 1}n|a_{n}|^{2}.}}

Equivalently the inequality states that if g(z) is a polynomal with g(0) = 0, then

1 2 π 0 2 π | e g | 2 d θ e A , {\displaystyle {1 \over 2\pi }\int _{0}^{2\pi }|e^{g}|^{2}\,d\theta \leq e^{A},}

where A is the area of g(D),

To prove the inequality, note that the coefficients are determined by the recursive formula

b n = 1 n m = 1 n m a m b n m {\displaystyle \displaystyle {b_{n}={1 \over n}\sum _{m=1}^{n}ma_{m}b_{n-m}}}

so that by the Cauchy-Schwarz inequality

| b n | 2 1 n m 2 | a m | 2 | b n m | 2 . {\displaystyle \displaystyle {|b_{n}|^{2}\leq {1 \over n}\sum m^{2}|a_{m}|^{2}|b_{n-m}|^{2}.}}

The quantities cn obtained by imposing equality here:

c n = 1 n m 2 | a m | 2 c n m {\displaystyle \displaystyle {c_{n}={1 \over n}\sum m^{2}|a_{m}|^{2}c_{n-m}}}

satisfy | b n | 2 c n {\displaystyle |b_{n}|^{2}\leq c_{n}} and hence, reversing the steps,


| b n | 2 c n = exp m 1 m | a m | 2 . {\displaystyle \displaystyle {\sum |b_{n}|^{2}\leq \sum c_{n}=\exp \sum _{m\geq 1}m|a_{m}|^{2}.}}


In particular defining bn(w) by the identity

b n ( ζ 1 ) z n = exp a m ( ζ 1 ) z m = g ( z ) g ( ζ ) z ζ , {\displaystyle \displaystyle {\sum b_{n}(\zeta ^{-1})z^{-n}=\exp \sum a_{m}(\zeta ^{-1})z^{-m}={g(z)-g(\zeta ) \over z-\zeta },}}

the following inequality must hold for |w| < 1

n 0 | b n ( w ) | 2 ( 1 | w | 2 ) 1 . {\displaystyle \displaystyle {\sum _{n\geq 0}|b_{n}(w)|^{2}\leq (1-|w|^{2})^{-1}.}}

Beurling transform

The Beurling transform (also called the Beurling-Ahlfors transform and the Hilbert transform in the complex plane) provides one of the most direct methods of proving the Grunsky inequalities, following Bergman & Schiffer (1951) and Baranov & Hedenhalm (2008) harvtxt error: no target: CITEREFBaranovHedenhalm2008 (help).

The Beurling transform is defined on L

( T h ) ( w ) = lim ε 0 1 π | z w | ε h ( z ) ( z w ) 2 d x d y . {\displaystyle (Th)(w)=\lim _{\varepsilon \rightarrow 0}{1 \over \pi }\iint _{|z-w|\geq \varepsilon }{h(z) \over (z-w)^{2}}\,dxdy.}

For any bounded open region Ω in C it defines a bounded operator TΩ from the conjugate of the Bergman space of onto the Bergman space of Ω: a square integrable holomorphic function is extended to 0 off Ω to produce a function in L

K f ( z , w ) = f ( z ) f ( w ) ( f ( z ) f ( w ) ) 2 . {\displaystyle K_{f}(z,w)={f^{\prime }(z)f^{\prime }(w) \over (f(z)-f(w))^{2}}.}

It defines a contraction. On the other hand it can be checked that TD = 0 by computing directly on powers z ¯ n {\displaystyle {\overline {z}}^{n}} using Stokes theorem to transfer the integral to the boundary.

It follows that the operator with kernel

f ( z ) f ( w ) ( f ( z ) f ( w ) ) 2 1 ( z w ) 2 = 2 z w log f ( z ) f ( w ) z w = m , n 1 m n c m n z m 1 w n 1 {\displaystyle {f^{\prime }(z)f^{\prime }(w) \over (f(z)-f(w))^{2}}\,-\,{1 \over (z-w)^{2}}={\partial ^{2} \over \partial z\partial w}\log {f(z)-f(w) \over z-w}=-\sum _{m,n\geq 1}mnc_{mn}z^{m-1}w^{n-1}}

acts as a contraction on the conjugate of the Bergman space of D. Hence, if

p ( z ) = λ 1 + λ 2 z ¯ + λ 3 z ¯ 2 + + λ N z ¯ N 1 , {\displaystyle p(z)=\lambda _{1}+\lambda _{2}{\overline {z}}+\lambda _{3}{\overline {z}}^{2}+\cdots +\lambda _{N}{\overline {z}}^{N-1},}

then

m = 1 N | n = 1 N c m n λ n | 2 = ( T f T z ) p 2 = T f p 2 p 2 = n = 1 N 1 n | λ n | 2 . {\displaystyle \sum _{m=1}^{N}\left|\sum _{n=1}^{N}c_{mn}\lambda _{n}\right|^{2}=\|(T_{f}-T_{z})p\|^{2}=\|T_{f}p\|^{2}\leq \|p\|^{2}=\sum _{n=1}^{N}{1 \over n}|\lambda _{n}|^{2}.}

Grunsky operator and Fredholm eigenvalues

If Ω is a bounded domain in C with smooth boundary, the operator TΩ can be regarded as a bounded antilinear contractive operator on the Bergman space A(Ω). Its realization on D using a univalent function f mapping D onto Ω shows that TΩ is a Hilbert-Schmidt operator. TΩ is called the Grunsky operator of Ω (or f). It is given by the formula

( T Ω u ) ( z ) = lim ε 0 1 π | z w | ε u ( z ) ¯ ( z w ) 2 d x d y {\displaystyle (T_{\Omega }u)(z)=\lim _{\varepsilon \rightarrow 0}{1 \over \pi }\iint _{|z-w|\geq \varepsilon }{{\overline {u(z)}} \over (z-w)^{2}}\,\,dxdy}

for u in the Hilbert space H= A(Ω).

The antilinear operator T = TΩ satisfies the self-adjointness relation

( T u , v ) = ( T v , u ) {\displaystyle \displaystyle {(Tu,v)=(Tv,u)}}

for u, v in H.

Thus A = T is a compact self-adjont linear operator on H with

( A u , u ) = ( T u , T u ) = T u 2 0 , {\displaystyle \displaystyle {(Au,u)=(Tu,Tu)=\|Tu\|^{2}\geq 0,}}

so that A is a positive operator. By the spectral theorem for compact self-adjoint operators, there is an orthonormal basis un of H consisting of eigenvectors of A:

A u n = μ n u n , {\displaystyle \displaystyle {Au_{n}=\mu _{n}u_{n},}}

where μn is non-negative by the positivity of A. Hence

μ n = λ n 2 {\displaystyle \displaystyle {\mu _{n}=\lambda _{n}^{2}}}

with λn ≥ 0. Since T commutes with A, it leaves its eigenspaces invariant. The positivity relation shows that it acts trivially on the zero eigenspace. The other non-zero eigenspaces are all finite dimensional and mutually orthogonal. Thus an orthonormal basis can be chosen on each eigenspace so that:

T u n = λ n u n . {\displaystyle \displaystyle {Tu_{n}=\lambda _{n}u_{n}.}}

(Note that T ( i u n ) = λ n i u n {\displaystyle T(iu_{n})=-\lambda _{n}iu_{n}} by antilinearity of T.)

The non-zero λn (or sometimes their reciprocals) are called the Fredholm eigenvalues of Ω:

0 λ n T 1. {\displaystyle \displaystyle {0\leq \lambda _{n}\leq \|T\|\leq 1.}}

If Ω is a bounded domain that is not a disk, Ahlfors showed that

T Ω < 1. {\displaystyle \displaystyle {\|T_{\Omega }\|<1.}}

The Fredholm determinant for the domain Ω is defined by

Δ Ω = det ( I T Ω 2 ) = ( 1 λ n 2 ) . {\displaystyle \Delta _{\Omega }=\det(I-T_{\Omega }^{2})=\prod (1-\lambda _{n}^{2}).}

Note that this makes sense because A = T is a trace class operator.

Schiffer & Hawley (1962) showed that. if 0 lies in Ω and f fixes 0, then


Δ Ω = 1 12 π [ z log f D 2 + z log g D c 2 2 z log f ( z ) / z D 2 2 z log g ( z ) / z D c 2 ] . {\displaystyle \Delta _{\Omega }=-{1 \over 12\pi }\left.}


Here the norms are in the Bergman spaces of D and its complement D and g is a univalent map from D onto Ω fixing ∞.

A similar formula applies in the case of a pair of univalent functions (see below).

Singular integral operators on a closed curve

Let Ω be a bounded simply connected domain in C with smooth boundary C = ∂Ω. Thus there is a univalent holomorphic map f from the unit disk D onto Ω extending to a smooth map between the boundaries S and C.

Notes

  1. Duren 1983, p. 131-133
  2. Koepf 2007
  3. Duren 1983, p. 143-144
  4. Apart from the elementary proof of this result presented here, there are several other analytic proofs in the literature. Nikolski (2002, p. 220), following de Branges, notes that it is a consequence of standard inequalities connected with reproducing kernels. Widom (1988) observed that it was an immediate consequence of Szegő's limit formula (1951). Indeed if f is the real-valued trigonometric polynomial on the circle given as twice the real part of a polynomial g(z) vanishing at 0 on the unit disk, Szegő's limit formula states that the Toeplitz determinants of e increase to e where A is the area of g(D). The first determinant is by definition just the constant term in e = |e|.
  5. Ahlfors 1966
  6. Schiffer 1959, p. 261
  7. Schiffer & Hawley 1962, p. 246
  8. Schiffer & Hawley 1962, p. 245-246
  9. Takhtajan & Teo 2006

References

  • Ahlfors, Lars V. (1952), "Remarks on the Neumann-Poincaré integral equation", Pacific J. Math., 2: 271–280
  • Ahlfors, Lars V. (1966), Lectures on quasiconformal mappings, Van Nostrand
  • Ahlfors, Lars V. (2010), Conformal invariants. Topics in geometric function theory. Reprint of the 1973 original. With a foreword by Peter Duren, F. W. Gehring and Brad Osgood, AMS Chelsea Publishing, ISBN 978-0-8218-5270-5
  • Baranov, A.; Hedenmalm, H. (2008), "Boundary properties of Green functions in the plane", Duke Math. J., 145: 1–24
  • Bell, S. R. (1992), The Cauchy transform, potential theory, and conformal mapping, Studies in Advanced Mathematics, CRC Press, ISBN 0-8493-8270-X
  • Bergman, S.; Schiffer, M. (1951), "Kernel functions and conformal mapping", Compositio Math., 8: 205–249
  • Duren, P. L. (1983), Univalent functions, Grundlehren der Mathematischen Wissenschaften, vol. 259, Springer-Verlag, ISBN 0-387-90795-5 {{citation}}: Text "Duren, Peter L." ignored (help)
  • Gakhov, F. D. (1990), Boundary value problems. Reprint of the 1966 translation, Dover Publications, ISBN 0-486-66275-6
  • Garnett, J. B. (2007), Bounded analytic functions, Graduate Texts in Mathematics, vol. 236, Springer, ISBN 978-0-387-33621-3
  • Goluzin, G. M. (1969), Geometric theory of functions of a complex variable, Translations of Mathematical Monographs, vol. 26, American Mathematical Society
  • Gong, Sheng (1999), The Bieberbach conjecture, AMS/IP Studies in Advanced Mathematics, vol. 12, American Mathematical Society, ISBN 0-8218-0655-6
  • Grunsky, Helmut (1939), "Koeffizientenbedingungen für schlicht abbildende meromorphe Funktionen", Mathematische Zeitschrift, 45 (1): 29–61, doi:10.1007/BF01580272, ISSN 0025-5874
  • Grunsky, Helmut (1978), Lectures on theory of functions in multiply connected domains, Studia Mathematica, vol. 4, Vandenhoeck & Ruprecht, ISBN 3-525-40142-6\pages=87–106
  • Khavinson, D.; Putinar, M.; Shapiro, H. S. (2007), "Poincaré's variational problem in potential theory", Arch. Ration. Mech. Anal., 185: 143–184
  • Koepf, W. (2007), "Bieberbach's conjecture, the de Branges and Weinstein functions and the Askey-Gasper inequality" (PDF), Ramanujan J., 13: 103–129
  • Milin, I. M. (1977), Univalent functions and orthonormal systems, Translations of Mathematical Monographs, vol. 49, American Mathematical Society
  • Neretin, Y. A. (1996), Categories of symmetries and infinite-dimensional groups, London Mathematical Society Monographs, vol. 16, Oxford University Press, ISBN 0-19-851186-8
  • Nikolski, N. K. (2002), Operators, functions, and systems: an easy reading, Vol. 1: Hardy, Hankel, and Toeplitz, Mathematical Surveys and Monographs, vol. 92, American Mathematical Society, ISBN 0-8218-1083-9
  • Pommerenke, C. (1975), Univalent functions, with a chapter on quadratic differentials by Gerd Jensen, Studia Mathematica/Mathematische Lehrbücher, vol. 15, Vandenhoeck & Ruprecht
  • Schiffer, M. (1957), "The Fredholm eigenvalues of plane domains", Pacific J. Math., 7: 1187–1225
  • Schiffer, M. (1959), "Fredholm eigenvalues of multiply connected domains", Pacific J. Math.: 211–269 {{citation}}: Unknown parameter |voume= ignored (help)
  • Schiffer, M.; Hawley, N. S. (1962), "Connections and conformal mapping", Acta Math., 107: 175–274
  • Schiffer, M. (1981), "Fredholm eigenvalues and Grunsky matrices", Ann. Polon. Math., 39: 149–164
  • Shapiro, H. S. (1992), The Schwarz function and its generalization to higher dimensions, University of Arkansas Lecture Notes in the Mathematical Sciences, vol. 9, ISBN 0-471-57127-X {{citation}}: Unknown parameter |pubisher= ignored (|publisher= suggested) (help)
  • Takhtajan, Leon A.; Teo, Lee-Peng (2006), "Weil–Petersson metric on the universal Teichmüller space", Mem. Amer. Math. Soc., 183
  • Widom, H. (1988), "On an inequality of Osgood, Phillips and Sarnak", Proc. Amer. Math. Soc., 102: 773–774
Categories: