Name: ____\_\_\_\_

Pledge: ____\_\_\_\_

Signature: ____\_\_\_\_
To get credit for a problem, you must include all logical steps and detailed calculations. Verify or give adequate reasons for assertions that you make. Cite by name any theorems you wish to invoke. Please write only on one side of your paper.
If a problem has multiple parts and it helps, you may, for example, use part (a) to prove part (b), even if you haven’t proved part (a).

Pr Score
1
2
3
4
5
6
7
8
9
10
\sum

PART I

Problem 1

Let ff be an entire function such that |f(z)|log(10+|z|)|f(z)| \leq \log (10+|z|) for all zz in \mathbb{C}. Show that ff is a constant function.

Problem 2

Let ff be analytic in a neighborhood of the closed discD(z0,r)¯\operatorname{disc} \overline{D\left(z_{0}, r\right)} and 0<s<r0<s<r. Show that

|f(z)|1π(rs)2D(z0,r)|f(x+iy)|dxdy|f(z)| \leq \frac{1}{\pi(r-s)^{2}} \iint_{D\left(z_{0}, r\right)}|f(x+i y)| d x d y

for all zz in D(z0,s)¯\overline{D\left(z_{0}, s\right)}.

Problem 3

Let Ω\Omega be an open set in \mathbb{C} and \mathcal{F} a family of analytic functions on Ω\Omega with the property that there exists a positive constant MM such that

Ω|f(x+iy)|dxdyM\iint_{\Omega}|f(x+i y)| d x d y \leq M

for all ff in \mathcal{F}. Show that \mathcal{F} is a normal family, i.e., there exists a sequence {fn}\left\{f_{n}\right\} \subset \mathcal{F} such that {fn}\left\{f_{n}\right\} converges uniformly on compacts in Ω\Omega (the inequality in problem 2. should be useful).

Problem 4

Show that

0logxx2+1dx=0\int_{0}^{\infty} \frac{\log x}{x^{2}+1} d x=0

(it may prove convenient to consider the branch of the logarithm corresponding to the cut along the ’negative’ imaginary semi-axis).

Problem 5

Let

A={z:0<|z|<1} and B={z:1<|z|<2}.A=\{z \in \mathbb{C}: 0<|z|<1\} \text { and } B=\{z \in \mathbb{C}: 1<|z|<2\} .

Show that AA and BB are not conformally equivalent.

PART II

Problem 6

Let {Ei}i=1\left\{E_{i}\right\}_{i=1}^{\infty} be a partition of a set XX (that is, EiEj=E_{i} \cap E_{j}=\emptyset and j=1Ej=X\cup_{j=1}^{\infty} E_{j}=X ). For any J={1,2,}J \subseteq \mathbb{N}=\{1,2, \ldots\} let EJ:=iJEiE_{J}:=\cup_{i \in J} E_{i} with the convention that E=E_{\emptyset}=\emptyset.
(a) Show that :={EJ}J\mathcal{M}:=\left\{E_{J}\right\}_{J \subset \mathbb{N}} is the σ\sigma-algebra generated by {Ei}i=1\left\{E_{i}\right\}_{i=1}^{\infty} (that is, the smallest σ\sigma-algebra containing {Ei}i=1\left\{E_{i}\right\}_{i=1}^{\infty} ).
(b) Show that f:Xf: X \rightarrow \mathbb{R} is \mathcal{M}-measurable iff ff is constant on each set EiE_{i}.

Problem 7

Let ff be a non-negative measurable function on (0,1)(0,1). Suppose there is a constant cc so that

01fn(x)dx=c for all n=1,2,3,\int_{0}^{1} f^{n}(x) d x=c \text { for all } n=1,2,3, \ldots

Show that there is a measurable set A(0,1)A \subset(0,1) such that f(x)=1A(x)f(x)=1_{A}(x) for a.e. x(0,1)x \in(0,1).

Problem 8

Suppose μ\mu and ν\nu are finite (positive) measures on a measurable space ( X,X, \mathcal{M} ). Show that there exists a measurable f:X[0,)f: X \rightarrow[0, \infty) such that for all AA \in \mathcal{M}

A(1f)dμ=Afdν\int_{A}(1-f) d \mu=\int_{A} f d \nu

Problem 9

Recall that, for a function f:f: \mathbb{R} \rightarrow \mathbb{C}, we say ff is Lipschitz if there exists M(0,)M \in(0, \infty) such that |f(x)f(y)|M|xy||f(x)-f(y)| \leq M|x-y| for all x,yx, y \in \mathbb{R}.
Show that f:f: \mathbb{R} \rightarrow \mathbb{C} is Lipschitz iff ff is absolutely continuous and |f|M\left|f^{\prime}\right| \leq M.

Problem 10

Let X=[π,π]X=[-\pi, \pi] and λ\lambda denote uniform measure on XX, that is, dλ(x)=12πdxd \lambda(x)=\frac{1}{2 \pi} d x. Then H:=L2(X,λ)H:=L^{2}(X, \lambda) equipped with the inner product

u,v:=ππu(x)v(x)dλ(x)\langle u, v\rangle:=\int_{-\pi}^{\pi} u(x) \bar{v}(x) d \lambda(x)

is a Hilbert space, and, for ek(x):=eikx,{ek}ke_{k}(x):=e^{i k x},\left\{e_{k}\right\}_{k \in \mathbb{Z}} is an orthonormal basis of HH. Suppose that uC1(,)u \in C^{1}(\mathbb{R}, \mathbb{C}) is 2π2 \pi-periodic, that is,

u(x+2π)=u(x) for all x.u(x+2 \pi)=u(x) \text { for all } x \in \mathbb{R} .

(a) Show that u,ek=iku,ek\left\langle u^{\prime}, e_{k}\right\rangle=i k\left\langle u, e_{k}\right\rangle for all kk \in \mathbb{Z}, where u(x)=dudx(x)u^{\prime}(x)=\frac{d u}{d x}(x).
(b) Show that

s(x):=ku,ekeikxs(x):=\sum_{k \in \mathbb{Z}}\left\langle u, e_{k}\right\rangle e^{i k x}

is convergent for all xx \in \mathbb{R} and that ss is continuous.
(c) Show that u(x)=s(x)u(x)=s(x) for all xx \in \mathbb{R}.