I am trying to solve a problem in harmonic functions in Rudin's book(Real and Complex analysis 3rd edition)
To clarify the problem I want to ask, we need some notations:
(1) $U$ is the open unit disc, and $T$ is the unit circle, the boundary of $U$ in the complex plane
(2) $P(z,e^{it})$ is the Poisson Kernel. $P(z,e^{it})=\frac{1-|z|^2}{|e^{it}-z|^2}$ for $z\in U$, $e^{it}\in T$
(3)$P[f]$ is the Poisson Integral against $f\in L^1(T)$
(4)$P[d\mu]$ is the Poisson Integral against a complex measure on $T$, defined by $P[d\mu](z)=\int_T P(z,e^{it})d\mu(e^{it})\quad (z\in U)$
(5)$C(T)$ is the space consisting of all the continuous complex functions on $T$
(6)We associate to any function $u$ in $U$ a family of functions $u_r$ on $T$, defined by $u_r(e^{it})=u(re^{it})\quad(0\leq r<1)$
(7)The measure $\sigma$ is defined by $\sigma=m/2\pi$, where $m$ is ordinary Lebesgue measure on $T$
(8)$||u_r||_1$ is defined by $||u_r||_1=\int_T |u_r|d\sigma\quad(0\leq r<1)$
The problem is:
Suppose $u$ is harmonic in $U$, and $\{u_r:0\leq r<1\}$ is a uniformly integrable subset of $L^1(T)$. Modify the proof of Theorem 11.30 to show that $u=P[f]$ for some $f\in L^1(T)$.
Before stating Theorem 11.30, one needs theorem 11.29.
Theorem 11.29: Suppose that (a)$X$ is a separable Banach space, (b)${\Lambda_n}$ is a sequence of linear functionals on $X$, (c)$sup_n||\Lambda_n||=M<\infty$
Then there is a subsequence $\{\Lambda_{n_i}\}$ such that the limit $\Lambda x=\lim_{i\to\infty}\Lambda_{n_i} x$ exists for every $x\in X$. Moreover, $\Lambda$ is linear, and $||\Lambda||\leq M$
Proof (Sketch): Note that $\{\Lambda_n\}$ is pointwise bounded and equicontinuous. Since each point of $X$ is a compact set, Theorem 11.29 follows from Arzela-Ascoli Theorem. Besides, it is obvious that $||\Lambda||\leq M$ and that $\Lambda$ is linear.
Theorem 11.30: Suppose $u$ is harmonic in $U$, and $sup_{0
Proof: Define linear functionals $\Lambda_r$ on $C(T)$ by $\Lambda_r g=\int_T gu_rd\sigma\quad (0\leq r<1)$ Therefore, $||\Lambda_r||\leq M$. By Theorem 11.29 and Riesz representation theorem for the dual of $C(T)$ there is a measure $\mu$ on $T$, with $||\mu$||\leq M$, and a sequence $r_j\to 1$, so that $\lim_{j\to\infty}\int_T gu_{r_j}d\sigma=\int_T gd\mu\quad (*) for every $g\in C(T)$.
Put $h_j(z)=u(r_j z)$. Then $h_j$ is harmonic in $U$, continuous on $\bar{U}$, and is therefore the Poisson integral of its restriction to $T$. Fix $z\in U$, and apply $(*)$ with g(e^{it})=P(z,e^{it})$ Since $h_j(e^{it})=u_{r_j}(e^{it})$, we obtain $u(z)=\lim_j u(r_j z)=\lim_j h_j(z)$, and $\lim_j h_j(z)=\lim_j\int_T P(z,e^{it})h_j(e^{it})d\sigma(e^{it})=\int_T P(z,e^{it})d\mu(e^{it})=P[d\mu](z)
To prove uniqueness, it suffices to show that $P[d\mu]=0$ implies $\mu=0$.
Pick $f\in C(T)$, put $u=P[f]$, $v=p[d\mu]$. By Fubini's theorem, and the symmetry $P(re^{i\theta},e^{it})=P(re^{it},e^{i\theta})$, \int_T u_rd\mu=\int_T v_rfd\sigma\quad (0\leq r<1)$ When $v=0$ then $v_r=0$, and since $u_r\to f$ uniformly, as $r\to 1$, we conclude that $\int_T fd\mu=0$$ for every $f\in C(T)$ if $P[d\mu]=0$. By Riesz representation theorem, $\mu=0.
Any hints will be appreciated. I've really no idea how to modify the proof of Themorem 11.30, because the L^1$-boundedness of the family $\{u_r\}$ seemes to play an important role in the proof. However, I cannot see the relationship between the boundedness and uniformly integrability. I have goolged this problem, but I cannot find anything helpful.
Again, any hints will be appreciated.