Normal derivative at boundary Laplace's equation half plane

[nickthequick]

Hi,

Given a holomorphic function $u(x,y)$ defined in the half plane ($x\in (-\infty,\infty), y\in (-\infty,0)$), with boundary value $u(x,0) = f(x)$, the solution to this equation (known as the Poisson integral formula) is

$$u(x,y) = \int_{-\infty}^{\infty} \frac{y\ f(t) }{(t-x)^2 +y^2} \ dt$$.


I have two questions. First, how does one prove

$u(x,0) = f(x)$,

and related, but what I'm more interested in, how do I find

$\left.\frac{\partial u(x,y) }{\partial y}\right|_{y=0}$


The subtleties on how take these limits (namely $y\to 0; \ y<0$) appropriately is very much beyond me. Any suggestions/references on how to answer this would be very appreciated.

Thanks!

Nick

 

[Greg Bernhardt]

I'm sorry you are not generating any responses at the moment. Is there any additional information you can share with us? Any new findings?

 

[TheFerruccio]

I'm not entirely sure about your first question. You defined the upper half-plane problem to have the BV of f(x). I don't think you would need to prove that, because that is just a definition in the problem. Correct me if I'm wrong.