

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Gauss multiplication formula,integral,Fourier transform,symmetric Meixner-Pollaczek,meromorphic function.
Typology: Exercises
1 / 2
This page cannot be seen from the preview
Don't miss anything!


Math 213a: Complex analysis Problem Set #6 (29 October 2003): The Gamma function; univalent functions and normal families
F (z) =
n∏− 1
k=
( (^) z + k n
i) Show that F (z) has the same poles as Γ(z), and satisfies the functional equation F (z + 1) = zF (z)/n. ii) This suggests that F (z) should be proportional to n−z^ Γ(z). Prove that this is in fact the case, and determine the constant of proportionality.
γ Γ(s)x
s (^) ds for all x > 0, where γ is the contour {1 + it | t ∈ R}.
−∞
|Γ(σ + it)|^2 ait^ dt = 2πΓ(2σ)
aσ (1 + a)^2 σ
for all real and positive a, σ. For which complex a does this formula remain valid?
This result, together with the inversion formula for Fourier transforms, yields a closed form for the Fourier transform of (sech x)^2 σ^ ; In particular, for σ = 1/2 we recover the formula for the Fourier transform of sech(x). For general σ > 0 we can also obtain the orthogonal polynomials for the weight function |Γ(σ + it)|^2 — that is, polynomials Pn(t) of degree n in t such that
I(m, n) :=
−∞
|Γ(σ + it)|^2 Pm(t)Pn(t)dt
vanishes unless m = n. One nice way is to use the coefficients in the generating function
(1 + ix)−σ−it(1 − ix)−σ+it^ =
n=
Pn(t)xn.
Can you determine I(n, n), or more generally ∫ (^) ∞
−∞
|Γ(σ + it)|^2 Pl(t)Pm(t)Pn(t)dt
for nonnegative integers l, m, n? These Pn(t) are the symmetric Meixner-Pollaczek polynomials (“symmetric” because one can more generally describe the orthogonal polynomials for the weight function |Γ(σ + it)|^2 ect^ for any constant c with |c| < π/2).
Back to complex analysis: the remaining problems concern normal families and univalent functions.
f (z) =
z
n=
anzn
be a univalent meromorphic function on the open unit disc ∆ = {|z| < 1 }. Show that for each positive r < 1 the complement in C of {f (z): |z| < r} has area π
r^2
n=
n|an|^2 r^2 n
and thus that the complement of f (∆) has area
π
n=
n|an|^2
[Recall from the zeroth problem set that the area enclosed by a simple closed analytic arc γ is (1/ 2 i)
γ ¯z dz.] Conclude that the univalent func- tions 1/z + O(z) on ∆ constitute a normal family.
In particular it follows that for each n there is an upper bound Bn on the absolute value of the zn^ coefficient in the Taylor expansion of any f ∈ F. The Bieberbach conjecture, finally proved in the mid-1980’s by L. de Branges, asserts that the least bound is n, and specifies all functions attaining this bound. The next problem gives an easy first step in this direction, and some more information about F.
This problem set is due Wednesday, November 5, at the beginning of class.