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.