[Math] Limit of bounded harmonic functions is harmonic

complex-analysisharmonic functionsharmonic-analysis

I am trying to solve this old qual problem:

Suppose $\{u_n\}_{n=1}^\infty$ is a sequence of functions harmonic on an open set $U \subset \mathbb{C}$ and uniformly bounded by 1. Suppose there is a function $u : U \to \mathbb{R}$ such that $u_n \to u$ pointwise. Show $u$ is harmonic on $U$.

I would like to solve this using only elementary complex analysis. My idea is this:

Pick a point $z \in U$ and a disk $D_r(z) \subset U$. Since the disk is simply connected, each $u_n$ is the real part of some holomorphic $f_n$. Now, we would like to show that $f_n$ converges uniformly on compact subsets…

I haven't gotten any further than this.

Will this approach work? Other ideas which use complex analysis are appreciated.

Best Answer

This answer does not use complex analysis per se, but a basic property of the Lebesgue integral, the dominated convergence theorem. Sorry! I thought you might find it useful nonetheless.

To show that $u$ is harmonic, choose a point $z_0\in U$ and observe that each $u_n$ satisfies the mean-value property at $z_0$: $$ u_n(z_0) = \frac{1}{2\pi r}\int_{|z-z_0|=r} u_n(z), \text{ for all sufficiently small $r>0$.} $$ Since each $u_n$ is dominated in modulus by $1$, the dominated convergence theorem allows us to let $n$ approach infinity and interchange limit with integral. Then $$ u(z_0) = \frac{1}{2\pi r}\int_{|z-z_0|=r} u(z), \text{ for all sufficiently small $r>0$.} $$

Related Question