Solutions to Sample Questions - Functional Analysis | MATH 640, Assignments of Mathematics

Material Type: Assignment; Professor: Kaliuzhnyi-Verbovetskyi; Class: Functional Analysis; Subject: Mathematics; University: Drexel University; Term: Spring 2009;

Typology: Assignments

Pre 2010

Uploaded on 08/19/2009

koofers-user-awt
koofers-user-awt 🇺🇸

9 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
WA 1: Solutions to some problems
1. Problem 1.1
Solution. Let s=x+iy. Since
ns=esln n=exln neiy ln n=nxeiy ln n
and |eiy ln n|= 1, we have (ns)
n=1 `2if and only if
X
n=1
|ns|2=
X
n=1
(nx)2=
X
n=1
1
n2x<.
Applying the integral test, we see that R
1
dt
t2x<if and only if 2x > 1, thus, the
series P
n=1
1
n2xconverges if and only if Res >1
2.
2. Problem 1.2
Solution. The only difficult part was to check the property hf, fi>0 for f6= 0.
We have
hf, f i=Zb
a
(|f(t)|2+|f0(t)|2)dt Zb
a
|f(t)|2dt.
Since f6= 0, there is a point t0[a, b] such that f(t0)6= 0. Since fis continuous
on [a, b] (and thus, continuous at t0), there is a closed interval I[a, b] containing
t0such that f(t)6= 0 for every point tI. Let m= mintI|f(t)|2. Since |f|2is
continuous, it attains its minimum on the closed interval I, and therefore, m > 0.
Therefore,
hf, f i Zb
a
|f(t)|2dt ZI
|f(t)|2dt m`(I)>0,
where `(I) denotes the length of I.
7. (an extra credit problem) Problem 1.13
Solution. We have
kgk2=1
2πi ZD
1
(zα)(zβ)(zα)(zβ)
dz
z1/2
=1
2πi ZD
z dz
(zα)(zβ)(1 αz)(1 βz )1/2
,
where we used the identity zz = 1 for zD. Since the function
f(z) = z
(1 αz)(1 βz )
is analytic on clos D, the fraction
z
(zα)(zβ)(1 αz)(1 βz )=f(z)
(zα)(zβ)
1
pf2

Partial preview of the text

Download Solutions to Sample Questions - Functional Analysis | MATH 640 and more Assignments Mathematics in PDF only on Docsity!

WA 1: Solutions to some problems

  1. Problem 1. Solution. Let s = x + iy. Since

n−s^ = e−s^ ln^ n^ = e−x^ ln^ ne−iy^ ln^ n^ = n−xe−iy^ ln^ n

and |e−iy^ ln^ n| = 1, we have (n−s)∞ n=1 ∈ `^2 if and only if

∑^ ∞

n=

|n−s|^2 =

∑^ ∞

n=

(n−x)^2 =

∑^ ∞

n=

n^2 x^

Applying the integral test, we see that

1

dt t^2 x^ <^ ∞^ if and only if 2x >^ 1, thus, the series

n=

1 n^2 x^ converges if and only if Re s^ >^

1

  1. Problem 1. Solution. The only difficult part was to check the property 〈f, f 〉 > 0 for f 6 = 0. We have

〈f, f 〉 =

∫ (^) b

a

(|f (t)|^2 + |f ′(t)|^2 ) dt ≥

∫ (^) b

a

|f (t)|^2 dt.

Since f 6 = 0, there is a point t 0 ∈ [a, b] such that f (t 0 ) 6 = 0. Since f is continuous on [a, b] (and thus, continuous at t 0 ), there is a closed interval I ⊆ [a, b] containing t 0 such that f (t) 6 = 0 for every point t ∈ I. Let m = mint∈I |f (t)|^2. Since |f |^2 is continuous, it attains its minimum on the closed interval I, and therefore, m > 0. Therefore,

〈f, f 〉 ≥

∫ (^) b

a

|f (t)|^2 dt ≥

I

|f (t)|^2 dt ≥ m`(I) > 0 ,

where `(I) denotes the length of I.

  1. (an extra credit problem) Problem 1. Solution. We have

‖g‖^2 =

2 πi

∂D

(z − α)(z − β)(z − α)(z − β)

dz z

2 πi

∂D

z dz (z − α)(z − β)(1 − αz)(1 − βz)

where we used the identity zz = 1 for z ∈ ∂D. Since the function

f (z) =

z (1 − αz)(1 − βz)

is analytic on clos D, the fraction

z (z − α)(z − β)(1 − αz)(1 − βz)

f (z) (z − α)(z − β) 1

2

has only two singular points in clos D (moreover, in D), α and β, which are simple poles. Therefore, by the residue theorem,

1 2 πi

∂D

z dz (z − α)(z − β)(1 − αz)(1 − βz) = Resz=α

z (z − α)(z − β)(1 − αz)(1 − βz)

+Resz=β

z (z − α)(z − β)(1 − αz)(1 − βz)

=

α (α − β)(1 − αα)(1 − βα)

β (β − α)(1 − αβ)(1 − ββ)

=

α (α − β)(1 − |α|^2 )(1 − βα)

β (α − β)(1 − αβ)(1 − |β|^2 )

=

α(1 − αβ)(1 − |β|^2 ) − β(1 − βα)(1 − |α|^2 ) (α − β)(1 − |α|^2 )| 1 − αβ|^2 (1 − |β|^2 )

=

α − |α|^2 β − α|β|^2 + |α|^2 β|β|^2 − β + |β|^2 α + β|α|^2 − |β|^2 α|α|^2 (α − β)(1 − |α|^2 )| 1 − αβ|^2 (1 − |β|^2 )

=

α + |α|^2 β|β|^2 − β + |β|^2 α|α|^2 (α − β)(1 − |α|^2 )| 1 − αβ|^2 (1 − |β|^2 )

= (α − β)(1 − |α|^2 |β|^2 ) (α − β)(1 − |α|^2 )| 1 − αβ|^2 (1 − |β|^2 )

=

1 − |α|^2 |β|^2 (1 − |α|^2 )| 1 − αβ|^2 (1 − |β|^2 )

1 − |αβ|^2 (1 − |α|^2 )| 1 − αβ|^2 (1 − |β|^2 )

Therefore,

‖g‖ = (1 − |αβ|^2 )^1 /^2 (1 − |α|^2 )^1 /^2 | 1 − αβ|(1 − |β|^2 )^1 /^2