Complex Algebra 7, Exercises - Mathematics, Exercises of Algebra

Gauss multiplication formula,integral,Fourier transform,symmetric Meixner-Pollaczek,meromorphic function.

Typology: Exercises

2010/2011

Uploaded on 10/12/2011

jamal33
jamal33 🇺🇸

4.3

(51)

340 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Math 213a: Complex analysis
Problem Set #6 (29 October 2003):
The Gamma function; univalent functions and normal families
1. [Gauss multiplication formula] Let nbe a positive integer, and define
F(z) =
n1
Y
k=0
Γ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 nzΓ(z). Prove that
this is in fact the case, and determine the constant of proportionality.
2. Determine for each n= 0,1,2, . . . the residue of Γ(z) at the pole z=n.
Use this to compute RγΓ(s)xsds for all x > 0, where γis the contour
{1 + it |tR}.
3. Prove the integral formula
Z
−∞
|Γ(σ+it)|2ait dt = 2πΓ(2σ)aσ
(1 + a)2σ
for all real and positive a, σ. For which complex adoes 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 nin tsuch that
I(m, n) := Z
−∞
|Γ(σ+it)|2Pm(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 =
X
n=0
Pn(t)xn.
Can you determine I(n, n), or more generally
Z
−∞
|Γ(σ+it)|2Pl(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)|2ect for any constant cwith |c|< π/2).
pf2

Partial preview of the text

Download Complex Algebra 7, Exercises - Mathematics and more Exercises Algebra in PDF only on Docsity!

Math 213a: Complex analysis Problem Set #6 (29 October 2003): The Gamma function; univalent functions and normal families

  1. [Gauss multiplication formula] Let n be a positive integer, and define

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.

  1. Determine for each n = 0, 1 , 2 ,... the residue of Γ(z) at the pole z = −n. Use this to compute

γ Γ(s)x

s (^) ds for all x > 0, where γ is the contour {1 + it | t ∈ R}.

  1. Prove the integral formula ∫ (^) ∞

−∞

|Γ(σ + 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.

  1. Let

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.

  1. Let F be the family of analytic functions f (·) on ∆ such that f is univalent and normalized by f (0) = 0 and f ′(0) = 1. i) Show that if f ∈ F then F also contains a function g(·) such that (g(z))^2 = f (z^2 ) for all z ∈ ∆. ii) Apply the result of Problem 4 to conclude that F is 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.

  1. i) Show that |f ′′(0)| ≤ 4 for all f ∈ F, with equality if and only if f (z) = z/(1 − cz)^2 for some c ∈ C with |c| = 1. [Such f turn out to be the only functions attaining the Bieberbach bound for any n.] ii) Prove that for each f ∈ F there exists w ∈ C such that w /∈ f (∆) and |w| ≤ 1.

This problem set is due Wednesday, November 5, at the beginning of class.