Paper 3, Section I\mathbf{I}, B

Further Complex Methods | Part II, 2009

Suppose that the real function u(x,y)u(x, y) satisfies Laplace's equation in the upper half complex zz-plane, z=x+iy,x∈R,y>0z=x+i y, x \in \mathbb{R}, y>0, where

u(x,y)→0 as x2+y2→∞,u(x,0)=g(x),x∈R.u(x, y) \rightarrow 0 \quad \text { as } \quad \sqrt{x^{2}+y^{2}} \rightarrow \infty, \quad u(x, 0)=g(x), \quad x \in \mathbb{R} .

The function u(x,y)u(x, y) can then be expressed in terms of the Poisson integral

u(x,y)=1π∫−∞∞yg(ξ)(x−ξ)2+y2dξ,x∈R,y>0u(x, y)=\frac{1}{\pi} \int_{-\infty}^{\infty} \frac{y g(\xi)}{(x-\xi)^{2}+y^{2}} d \xi, \quad x \in \mathbb{R}, y>0

By employing the formula

f(z)=2u(z+aˉ2,z−aˉ2i)−f(a)‾f(z)=2 u\left(\frac{z+\bar{a}}{2}, \frac{z-\bar{a}}{2 i}\right)-\overline{f(a)}

where aa is a complex constant with Im⁡a>0\operatorname{Im} a>0, show that the analytic function whose real part is u(x,y)u(x, y) is given by

f(z)=1iπ∫−∞∞g(ξ)ξ−zdξ+ic,Im⁡z>0f(z)=\frac{1}{i \pi} \int_{-\infty}^{\infty} \frac{g(\xi)}{\xi-z} d \xi+i c, \quad \operatorname{Im} z>0

where cc is a real constant.

Typos? Please submit corrections to this page on GitHub.