Green's function approach using Lebesgue integration

In summary, it is difficult to use the Green's function approach rigorously when considering the Dirac Delta function. While the integral solution for Laplace's Equation is well-defined as both a Riemann-Darboux and Lebesgue integral, it is not possible to exchange the limiting operations in the Lebesgue integral. One possible method to solve this issue is to use a variable change and apply calculus tricks with the divergence theorem and integration by parts. However, the use of Dirac measure and delta distribution may only be useful for defining properties and stating results, rather than actually proving them.
  • #36
bdforbes said:
I think this exchange of limiting operations requires that [itex]\phi_a(x)\rightarrow \phi(x)[/itex] uniformly.

In general uniform convergence does not mean that limit and derivative operator could be commutated. I'm not sure what's the right argument for commutation here right now.
 
Physics news on Phys.org
  • #37
jostpuur said:
At this point it is nicer to do a variable change [itex]x'=x+ar[/itex], so that the next integral is

[tex]
\int\limits_{-\infty}^{\infty} \frac{1}{2}\frac{1}{(r^2 + 1)^{3/2}} f(x+ar) dr
[/tex]

Then there will be no need for Taylor series of [itex]f[/itex].

But the integrand has a factor f(x+ar), how do we deal with that? That was the whole point of the Taylor series, to give us integrals we can solve, and an asymptotic series in a.
 
  • #38
jostpuur said:
In general uniform convergence does not mean that limit and derivative operator could be commutated. I'm not sure what's the right argument for commutation here right now.

Would it be safe to assume that unless the source distribution is pathological, the commutation is possible?
 
  • #39
Jostpuur/bdforbes: Your function [itex]\phi_a[/itex] is a convolution [itex]\phi_a=\phi\star\delta_a[/itex], where [itex]\delta_a(r) = a(a^2+r^2)^{-\frac{3}{2}}/2[/itex] is an approximation to the Dirac delta. The integral of [itex]\delta_a(x)[/itex] is one, and its weight becomes concentrated towards 0 as a->0. So, [itex]\phi_a\to\phi * \delta=\phi[/itex] as a->0. As Jostpuur mentiones, this is not enough to guarantee convergence of the second derivatives. However, it will converge as long as [itex]\phi[/itex] it twice continuously differentiable.
[tex]
\nabla^2\phi_a=(\nabla^2\phi)*\delta_a\to(\nabla^2\phi)*\delta=\nabla^2\phi.
[/itex]
So it is the same issue as I was addressing in my posts.
Also, convergence always holds in distributions, giving
- the PDE is satisfied in distribution.
- if [itex]\phi[/itex] is twice continuously differentiable, then the pde is satisfied using the standard 'pointwise' derivatives.
We have really arrived at the same point but using a slightly different method.
Not surprising really, because the method of distributions involves integrating vs an arbitrary smooth function whereas you effectively convolved with specific smooth functions.
 
  • #40
bdforbes said:
jostpuur said:
At this point it is nicer to do a variable change [itex]x'=x+ar[/itex], so that the next integral is

[tex]
\int\limits_{-\infty}^{\infty} \frac{1}{2}\frac{1}{(r^2 + 1)^{3/2}} f(x+ar) dr
[/tex]

Then there will be no need for Taylor series of [itex]f[/itex].
But the integrand has a factor f(x+ar), how do we deal with that? That was the whole point of the Taylor series, to give us integrals we can solve, and an asymptotic series in a.

The next step is to take the limit [itex]a\to 0[/itex].

[tex]
\int\limits_{-\infty}^{\infty} \frac{1}{2}\frac{1}{(r^2 + 1)^{3/2}} f(x+ar) dr \underset{a\to 0}{\to} f(x) \int\limits_{-\infty}^{\infty} \frac{1}{2}\frac{1}{(r^2 + 1)^{3/2}} dr
[/tex]
 
  • #41
gel said:
So the question still remains as to whether a continuous f means that [itex]\phi[/itex] is twice continuously differentiable. In fact, this is false.

Do you mean to imply that [itex]\nabla^2\phi=f[/itex] won't hold for some continuous f, which perhaps are not differentiable? This might correspond to jostpuur's method where a change of integration variables results in the Laplacian acting of f instead of the Green's function, thus requiring differentiability of f.
 
  • #42
jostpuur said:
The next step is to take the limit [itex]a\to 0[/itex].

[tex]
\int\limits_{-\infty}^{\infty} \frac{1}{2}\frac{1}{(r^2 + 1)^{3/2}} f(x+ar) dr \underset{a\to 0}{\to} f(x) \int\limits_{-\infty}^{\infty} \frac{1}{2}\frac{1}{(r^2 + 1)^{3/2}} dr
[/tex]

Aren't you implicitly assuming the convergence of f(x+ar) to f(x) is "nice" in some sense, in order to commute limit and integration?
 
  • #43
bdforbes said:
Do you mean to imply that [itex]\nabla^2\phi=f[/itex] won't hold for some continuous f, which perhaps are not differentiable? This might correspond to jostpuur's method where a change of integration variables results in the Laplacian acting of f instead of the Green's function, thus requiring differentiability of f.

Yes. Jostpuur and my methods do correspond with each other, as I mentioned. I used distributions, by integrating vs an arbitrary smooth function. His method involved convolving vs specific smooth functions for which the integral (convolution vs the Green's function) can be done explicitly.

And, your other point. Dominated convergence allows you to commute integration and limits. All that is required is that the integrands are bounded by (the same) integrable function.
 
  • #44
gel said:
Jostpuur/bdforbes: Your function [itex]\phi_a[/itex] is a convolution [itex]\phi_a=\phi\star\delta_a[/itex], where [itex]\delta_a(r) = a(a^2+r^2)^{-\frac{3}{2}}/2[/itex] is an approximation to the Dirac delta. The integral of [itex]\delta_a(x)[/itex] is one, and its weight becomes concentrated towards 0 as a->0. So, [itex]\phi_a\to\phi * \delta=\phi[/itex] as a->0. As Jostpuur mentiones, this is not enough to guarantee convergence of the second derivatives. However, it will converge as long as [itex]\phi[/itex] it twice continuously differentiable.
[tex]
\nabla^2\phi_a=(\nabla^2\phi)*\delta_a\to(\nabla^2\phi)*\delta=\nabla^2\phi.
[/itex]
So it is the same issue as I was addressing in my posts.
Also, convergence always holds in distributions, giving
- the PDE is satisfied in distribution.
- if [itex]\phi[/itex] is twice continuously differentiable, then the pde is satisfied using the standard 'pointwise' derivatives.
We have really arrived at the same point but using a slightly different method.
Not surprising really, because the method of distributions involves integrating vs an arbitrary smooth function whereas you effectively convolved with specific smooth functions.

Great! It's a good sign when we arrive at the result through different paths.

Is the condition on [itex]\phi[/itex] equivalent to requiring f be continuously differentiable? I can't figure out the conclusion to your large post earlier.
 
  • #45
bdforbes said:
Great! It's a good sign when we arrive at the result through different paths.

Is the condition on [itex]\phi[/itex] equivalent to requiring f be continuously differentiable? I can't figure out the conclusion to your large post earlier.

Almost.
f continuously differentiable => [itex]\phi[/itex] is twice continuously differentiability => PDE holds everywhere.
The inverse implications don't quite hold. For many continuous f, [itex]\phi[/itex] will still be twice continuously differentiable. However, there are counterexamples to this, which was my point above (long post) about bodies with ridges on the surface. The existence of such counterexamples was the conclusion to that post (although I didn't prove it there). So, you can't just drop the requirement for f to be continuously differentiable.
Similarly, there may be twice differentiable [itex]\phi[/itex], but not continuously so, for which the pde still holds.
 
  • #46
bdforbes said:
Aren't you implicitly assuming the convergence of f(x+ar) to f(x) is "nice" in some sense, in order to commute limit and integration?

Yes! My calculation is the same thing as changing the order of integral and limit. I didn't mention what I'm assuming of [itex]f[/itex], but now when you are asking it, I'll mention that for example

[tex]
\|f\|_{\textrm{sup}} := \sup_{x\in\mathbb{R}} |f(x)| < \infty
[/tex]

will be sufficient, assuming that [itex]f[/itex] is also continuous at [itex]x[/itex]. If we define

[tex]
h(r) := \frac{1}{2}\frac{\|f\|_{\textrm{sup}}}{(r^2 + 1)^{3/2}}
[/tex]

then

[tex]
\int\limits_{-\infty}^{\infty} h(r)dr < \infty
[/tex]

and

[tex]
\Big|\frac{1}{2}\frac{f(x+ar)}{(r^2+1)^{3/2}}\Big| \leq h(r)
[/tex]

for all [itex]a[/itex]. So

[tex]
\lim_{a\to 0} \int\limits_{-\infty}^{\infty} \frac{1}{2}\frac{f(x+ar)}{(r^2+1)^{3/2}} dr
= \int\limits_{-\infty}^{\infty} \lim_{a\to 0}\frac{1}{2}\frac{f(x+ar)}{(r^2+1)^{3/2}} dr
[/tex]

so is 100% justified. I'm not aware how similar rigor could be achieved in the Taylor series way.

The boundedness assumption [itex]\|f\|_{\textrm{sup}}<\infty[/itex] is only an example. I thought it is often satisfied, but it does not seem necessary. If [itex]f[/itex] is not bounded, but satisfies some other nice properties, it can be that suitable dominating functions [itex]h(r)[/itex] can still be found.
 
Last edited:
  • #47
gel said:
Dominated convergence allows you to commute integration and limits. All that is required is that the integrands are bounded by (the same) integrable function.

Do you mean these integrands?

[tex]\frac{1}{2}\frac{1}{(r^2 + 1)^{3/2}} f(x+ar) [/tex]

and

[tex]f(x)\frac{1}{2}\frac{1}{(r^2 + 1)^{3/2}} [/tex]

I guess finding an integrable function to bound these by would involve the requirement that f be continuously differentiable, so that f(x+ar) approaches f(x) nicely as a->0.
 
  • #48
bdforbes said:
I guess finding an integrable function to bound these by would involve the requirement that f be continuously differentiable, so that f(x+ar) approaches f(x) nicely as a->0.
Yes, kind of. Jostpuur just did that. It just requires f to be bounded (not continuous) to show that the integrands are dominated. The continuous requirement for f is just so that the integrands converge. Differentiability is required to commute differentiation with the limit on the other side of the equality.
 
  • #49
Looks like we have this nailed down except for pathological sources. Thanks for your help jostpuur and gel. I will write this all up and bounce it off anyone in my department who will listen.
 
  • #50
Cool. I'll also sketch the "pathological" cases (wouldn't quite as far to call it that) in a mo.
 
  • #51
For the counterexample, where f is continuous but the second derivatives of [itex]\phi[/itex] blow up. This will occur, e.g., on the edges of a uniform density cube and also if the density in the cube drops off inversely proportional to 1/log(distance to surface of cube), which is continuous. More generally you can replace 'cube' with any solid body whose surface has ridges.

The details are rather involved, but I'll try my best. I don't know a simple and quick method. First we can derive a general expression for the second derivatives. The following derivative is easily calculated for x != 0. I'm using [itex]\delta_{ij}[/itex] for the (non-Dirac) delta function equal to 1 if i=j and 0 otherwise.
[tex]
\nabla_i\nabla_j (1/|x|) = -\nabla_i(\hat x_j/|x|^2) = (3\hat x_i\hat x_j-\delta_{ij})/|x|^3.
[/tex]
Then, the derivatives in the sense of distributions (including point at 0) can be calculated using the divergence theorem as
[tex]
\nabla_i\nabla_j (1/|x|) = -\frac{4}{3}\pi\delta_{ij}\delta(x)+\lim_{r\to 0}1_{\{|x|>r\}}(3\hat x_i\hat x_j-\delta_{ij})/|x|^3.
[/tex]
This is an equality of distributions, meaning that you integrate vs a smooth function. The limit r->0 on the rhs is similarly a limit in distribution so that the limit is taken after the integration. You can't just set r to 0, because that term wouldn't be locally integrable.

Plugging this into the definition of [itex]\phi[/itex] gives the following
[tex]
\nabla_i\nabla_j\phi(x)=\frac{1}{3}\delta_{ij}f(x)+\lim_{r\to 0}\frac{1}{4\pi}\int_{|y|>r} f(x+y)\frac{\delta_{ij}-3\hat y_i\hat y_j}{|y|^3}\,dy.
[/tex]
Letting [itex]d\sigma(y)[/itex] be the area integral on S - the sphere of radius 1 centered at 0, we can change variables.
[tex]
\nabla_i\nabla_j\phi(x)=\frac{1}{3}\delta_{ij}f(x)+\lim_{r\to 0}\frac{1}{4\pi}\int_{r}^\infty \int_S f(x+ty)(\delta_{ij}-3 y_i y_j)\,d\sigma(y)\,\frac{dt}{t}.
[/tex]

The integral dt/t will blow up as the lower limit r->0. However, the integral of [itex]\delta_{ij}-3y_iy_j[/itex] over the sphere S is zero, so if you Taylor expand f about x, the zeroth order term will drop out of the integral above and it remains finite as r->0. Actually, the integral of [itex]\delta_{ij}-3y_iy_j[/itex] is also zero over a hemisphere, so the same applies if x is on a smooth boundary surface between two regions where f is smooth. E.g. the derivatives of the gravitational field don't blow up on the boundary of a uniform density ball.

However, it would blow up at the edges of a uniform density cube. Suppose that x is on such an edge with the x1 direction pointing inwards and bisecting the angle of the two adjacent faces.

[tex]
\left(\frac{\partial}{\partial x_1}\right)^2\phi(x)=\frac{1}{3}f(x)+\lim_{r\to 0}\frac{1}{4\pi}\int_{r}^\infty \int_S f(x+ty)(1-3 y_1^2)\,d\sigma(y)\,\frac{dt}{t}.
[/tex]

For small t, f(x+ty) will then be nonzero on a 90 degree 'wedge' on the surface of the sphere [itex]y\in S[/itex], and for y1>= 0. This will cause the integral of f(x+ty)(1-3y12) to be strictly negative and nonvanishing as t->0.
So the integral above will be negatively proportional to [itex]\int_{r}^\cdot dt/t[/itex] in the limit as r->0, which blows up at rate log(r).
Finally suppose that the density f inside the cube drops off at rate -1/log(u) towards the surface of the cube where u = distance to edge. Then, f is continuous, and the integral of f(x+ty)(1-3y12) will be negative and going to zero at rate 1/log(t) as t-> 0. So, the integral above will be negatively proportional to [itex]\int_r^\cdot dt/|t\log t|[/itex] as r->0, which blows up at rate log(-log(r)). The second derivative above will diverge to negative infinity.
 
Last edited:
  • #52
bdforbes said:
Looks like we have this nailed down except for pathological sources. Thanks for your help jostpuur and gel. I will write this all up and bounce it off anyone in my department who will listen.

A couple of books that give a bit of distributional treatment of Green's functions are Fourier Analysis and Its Applications by Gerald B. Folland and Mathematics for Physics and Physicists by Walter Appel. To understand their notation and conventions, it might first be necessary to scan the treatments of distributions by these books.
 
  • #53
George Jones said:
A couple of books that give a bit of distributional treatment of Green's functions are Fourier Analysis and Its Applications by Gerald B. Folland and Mathematics for Physics and Physicists by Walter Appel. To understand their notation and conventions, it might first be necessary to scan the treatments of distributions by these books.

Thanks George, I checked out the Folland text at http://books.google.com/books?id=id...nd+fourier+analysis&ei=w85fSuiJA4zSkASinYHUCg, it looks promising. Unfortunately my library doesn't have either text but I will look elsewhere.
 
  • #54
bdforbes said:
Thanks George, I checked out the Folland text at http://books.google.com/books?id=id...nd+fourier+analysis&ei=w85fSuiJA4zSkASinYHUCg, it looks promising.

Folland doesn't required any prior familiarity with Lebesgue integration as long as the reader is willing to accept a few results (e.g., Lebesgue dominated convergence theorem) without proof.
bdforbes said:
Unfortunately my library doesn't have either text but I will look elsewhere.

If you want, you probably can get Appel through inter-library loan. Although not as rigourous as Folland, it is a very interesting book,

http://press.princeton.edu/titles/8452.html,

and it is still much more rigourous than many physics books. Its treatment of Green's functions starts with a pedagogical example of the Green's functions for a driven harmonic oscillator (I think; out of town right now so I'm not sure) that is basic, but illuminating.
 
  • #55
I put in a request for an inter-library loan of Appel, and I got "Intro to PDEs" by Folland. His approach to the Laplace operator is rigorous right from the start, it's very good.
 
  • #56
I'm now trying to determine the fundamental solution to the Helmholtz wave equation. My starting point is

[tex](\nabla^2+k^2)G(\vec{r})=-4\pi\delta(\vec{r})[/tex].

Treating this as a distributional statement, it is equivalent to

[tex] \int G(\vec{r})(\nabla^2+k^2)e^{-2\pi i\vec{\xi}\cdot\vec{r}}d^3\vec{r}=-4\pi[/tex]

This leads to the desired result after some contour integration.

But if I want to be a little more rigorous and not rely on distributional techniques, I run into trouble. Integrating both sides over punctured [itex]\textbf{R}^3[/itex]:

[tex]
\begin{align*}
0&=\lim_{\epsilon\to 0}\int_{B^c_\epsilon}e^{-2\pi i\vec{\xi}\cdot\vec{r}}(\nabla^2+k^2)G(\vec{r})d^3\vec{r}\\
&=\lim_{\epsilon\to 0}\int_{B^c_\epsilon}\left[\nabla^2\left(G(\vec{r})e^{-2\pi i\vec{\xi}\cdot\vec{r}}\right)-G(\vec{r})\nabla^2e^{-2\pi i\vec{\xi}\cdot\vec{r}}-2\nabla G(\vec{r})\cdot\nabla e^{-2\pi i\vec{\xi}\cdot\vec{r}}\right]d^3\vec{r}+k^2\tilde{G}(\vec{\xi})\\
&=\left[4\pi^2\xi^2+k^2\right]\tilde{G}(\vec{\xi})+\lim_{\epsilon\to 0}\left\{
\int_{\partial B^c_\epsilon}\nabla\left(G(\vec{r})e^{-2\pi i\vec{\xi}\cdot\vec{r}}\right)\cdot d\vec{A}+4\pi i\vec{\xi}\cdot\int_{B^c_\epsilon}e^{-2\pi i\vec{\xi}\cdot\vec{r}}\nabla G(\vec{r})d^3\vec{r}\right\}\\
&=\left[k^2-4\pi^2\xi^2\right]\tilde{G}(\vec{\xi})+\lim_{\epsilon\to 0}\left\{\int_{\partial B^c_\epsilon}\nabla\left(G(\vec{r})e^{-2\pi i\vec{\xi}\cdot\vec{r}}\right)\cdot d\vec{A}+4\pi i\vec{\xi}\cdot\int_{\partial B^c_\epsilon}G(\vec{r})e^{-2\pi i\vec{\xi}\cdot\vec{r}}d\vec{A}\right\}
\end{align*}
[/tex]

The problem is that I want the remaining integrals to evaluate to a constant, but it appears that it will depend on

[tex]\lim_{\epsilon\to 0}G(\epsilon)[/tex]

and

[tex]\lim_{\epsilon\to 0}\left.\frac{\partial G}{\partial r}\eval\right|_{r=\epsilon}[/tex]

I can solve the integrals by assuming spherical symmetry of G(r), but I just end up with functions of [itex]\xi[/itex], [itex]\epsilon[/itex] and G, and it is unclear if there is even convergence in the [itex]\epsilon\to 0[/itex] limit.

How can I proceed from this point?

EDIT:

I just had a thought. We are dealing with a second order PDE, so there are two degrees of freedom to the solution. Could we choose G(0) and G'(0) in such a way as to get reduce the remaining integrals to a normalization constant?
 
Last edited:
  • #57
If we set that whole mess to some constant A independent of [itex]\xi[/itex], then proceed with the contour integration, we will arrive at the correct result. We can then substitute the Green's function back in and confirm that the limit does exist.

Is it a problem to assume there is no [itex]\xi[/itex] dependence?
 
  • #58
Upon further expansion we get:

[tex]
\begin{align*}
0&=\left[k^2-4\pi^2\xi^2\right]\tilde{G}(\vec{\xi})+\lim_{\epsilon\to 0}\left\{\int_{\partial B^c_\epsilon}e^{-2\pi i\vec{\xi}\cdot\vec{r}}\nabla G(\vec{r})\cdot d\vec{A}+2\pi i\vec{\xi}\cdot\int_{\partial B^c_\epsilon}G(\vec{r})e^{-2\pi i\vec{\xi}\cdot\vec{r}}d\vec{A}\right\}
\end{align*}
[/tex]

The first integral might not be a problem in terms of [itex]\xi[/itex] dependence since the magnitude of [itex]\vec{r}[/itex] goes to zero. But the second integral has [itex]\xi[/itex] out the front. I think the second integral shouldn't be there. It was nearly canceled out, but for a factor of two in one term. I can't work out where a stray factor of two could be, but hopefully it is somewhere.
 
  • #59
When I substitute [itex]G(r)=e^{ikr}/r[/itex] into the first integral, I get

[tex]\frac{2}{\xi\epsilon^3}\left(ik\epsilon e^{ik\epsilon}-e^{ik\epsilon}\right)sin(2\pi\xi\epsilon)[/tex]

This diverges as [itex]\epsilon\to 0[/itex], so I must have made an error early on. Should I not have ignored the surface at infinity when I applied the divergence theorem?
 
  • #60
I've noticed another big problem with the Fourier transform approach. The Fourier transform of

[tex]G(r)=\frac{e^{ikr}}{r}[/tex]

does not actually exist, it diverges. I assume there is a sense in which we are able to work with the object [itex]\tilde{G}(\vec{\xi})[/itex] and still achieve reasonable results, perhaps by appealing to Cauchy principle values etc.

I am very frustrated by the fact that hand wavy techniques which ignore so many mathematical issues, are able to produce the desired results so easily. Is there any simple, intuitive explanation as to why this happens?
 

Similar threads

Replies
1
Views
2K
Replies
1
Views
2K
Replies
4
Views
1K
Replies
33
Views
5K
Replies
1
Views
729
Replies
2
Views
3K
Replies
2
Views
3K
Back
Top