Vector analysis: \nabla applied on integral?

Click For Summary

Discussion Overview

The discussion centers on the application of the nabla operator (\nabla) on integrals involving functions and vector fields, specifically in the context of vector analysis. Participants explore the conditions under which differentiation can be interchanged with integration, particularly in relation to physical applications such as electromagnetism.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants propose that if the function is sufficiently well-behaved, the nabla operator can be placed under the integral sign.
  • Others express caution, noting that certain operations, such as \nabla^2, may not commute with integration.
  • A participant shares a method for changing the order of differentiation and integration through a suitable change of variable, providing a specific example involving a test function and a step function.
  • There is mention of a formula relating to the divergence of a specific vector field and its connection to the delta function, which some participants find relevant to the discussion.
  • Some participants seek references for further learning on vector analysis, indicating a desire for more rigorous sources compared to typical "methods for physicists" texts.
  • One participant reflects on a previous discussion regarding the interchange of limits and differentiation/integration, suggesting that the topic is complex and context-dependent.

Areas of Agreement / Disagreement

Participants express differing views on the interchangeability of differentiation and integration, with some asserting it is possible under certain conditions, while others caution against it without proper context. The discussion remains unresolved regarding the best practices for applying the nabla operator in these integrals.

Contextual Notes

Limitations include the need for specific conditions on the functions involved for the interchange of operations to hold true, as well as the potential for confusion arising from different interpretations of the mathematical expressions discussed.

Gerenuk
Messages
1,027
Reaction score
5
Is it possible to simply or rewrite
[tex] \nabla_{\vec{r}}\iiint\frac{f(\vec{r}\,')\mathrm{d}\vec{r}\,'}{4\pi|\vec{r}-\vec{r}\,'|}[/tex]
[tex] \nabla_{\vec{r}}\times\iiint\frac{\vec{A}(\vec{r}\,')\mathrm{d}\vec{r}\,'}{4\pi|\vec{r}-\vec{r}\,'|}[/tex]
?

What's a good reference (internet, book) to learn this sort of vector analysis?
 
Physics news on Phys.org
If the function is sufficiently well-behaved, you can put the nabla under the integral sign.
 
Gerenuk said:
Is it possible to simply or rewrite
[tex] \nabla_{\vec{r}}\iiint\frac{f(\vec{r}\,')\mathrm{d}\vec{r}\,'}{4\pi|\vec{r}-\vec{r}\,'|}[/tex]
[tex] \nabla_{\vec{r}}\times\iiint\frac{\vec{A}(\vec{r}\,')\mathrm{d}\vec{r}\,'}{4\pi|\vec{r}-\vec{r}\,'|}[/tex]
?

Yes.

What's a good reference (internet, book) to learn this sort of vector analysis?

I would like to know too :redface: So far I've been collecting information from quite random sources.

Those equations look like they could be related to electromagnetism. I'm not sure if this is the case, but anyway, notably large portion of information sources that deal with concrete and useful formulas, are some kind of "methods for physicists" things. I don't know what kind of info you are after. The physicists' stuff isn't rigor enough for my taste at least.

Last month somebody asked about when the order of differentiation and integration can be changed, and I gave a rather detailed answer to it here: interchanging limits and differentiation/integration If you have not yet got introduced into real analysis, it could be that my post there is too heavy, but anyway... you should now that sometimes you can change the order of integration and differentiation, and sometimes you cannot.

mathman said:
If the function is sufficiently well-behaved, you can put the nabla under the integral sign.

hmhmhmhmhmhmmh... yeeaaah... well I think it is so, but that's a little bit dangerous. For example [itex]\nabla^2[/itex] would not commute with the integration!

This is a very useful trick, which should be remembered: Sometimes it happens that you have such functions [itex]f,g[/itex] that you cannot change the order of integration and differentiation in the expression

[tex] D_x \int dy\; f(y)g(x-y),[/tex]

but it turns out that you can change the order, if you first perform a suitable change of variable in the integral, and write it like this

[tex] D_x \int du\; f(x-u)g(u) = \int du\; \big(D_x f(x-u)\big)g(u).[/tex]

The first expression in the original post can be written like this

[tex] \int d^3r'\;\frac{1}{4\pi} \frac{f(r-r')}{\|r'\|}[/tex]

and it could be useful when differentiating with respect to the [itex]r[/itex].

This is all related to a formula

[tex] \nabla_x\cdot\frac{x-x'}{\|x-x'\|^3} = 4\pi\delta^3(x-x').[/tex]

A one possible more rigor formulation of this would be a formula

[tex] \int d^3x\; \big(\nabla f(x)\big)\cdot \frac{x-x'}{\|x-x'\|^3} = -4\pi f(x')[/tex]

for suitable test functions [itex]f[/itex]. Some time ago there was a discussion about spins, which slightly got distracted to the use of this delta function formula. I wrote some somewhat rigor stuff back then, so in case you are interested, check the post #37 from the thread What exactly is spin? There the delta function formula was calculated with some particular test function [itex]f[/itex], but the calculation would work out the same way, if a more arbitrary test function [itex]f[/itex] would have been used.
 
Gerenuk said:
Is it possible to simply or rewrite
?

I just realized I had not read your first sentence very carefully. What does it actually mean? :biggrin: I guess you wrote some correct sentence first, and then started editing it... and edited and posted it at the same time? It happens once in a while...

The question to which I gave the "yes" answer was "is it possible to simply write?".
 
Here's the simplest (to my knowledge) example of the change of variable I talked about:

Consider some differentiable and integrable (over [itex]\mathbb{R}[/itex]) test function [itex]f:\mathbb{R}\to\mathbb{R}[/itex], which satisfies a condition [tex]\lim_{x\to-\infty}f(x)=0[/tex], and the step function

[tex] \theta(x) =\left\{\begin{array}{ll}<br /> 1,\quad & x > 0\\<br /> \frac{1}{2},\quad & x=0\\<br /> 0,\quad & x < 0\\<br /> \end{array}\right.[/tex]

An incorrect calculation:

[tex] D_x\int\limits_{-\infty}^{\infty} dy\; f(y)\theta(x-y) = \int\limits_{-\infty}^{\infty} dy\; f(y)\big(\underbrace{D_x\theta(x-y)}_{=0,\;\textrm{a.e.}}\big) = \int\limits_{-\infty}^{\infty} dy\; 0 = 0[/tex]

A correct calculation:

[tex] D_x\int\limits_{-\infty}^{\infty} dy\; f(y)\theta(x-y) = D_x\int\limits_{-\infty}^{\infty} du\; f(x-u)\theta(u) = \int\limits_{-\infty}^{\infty} du\; \big(D_x f(x-u)\big)\theta(u) = \int\limits_{0}^{\infty} du\; D_x f(x-u)[/tex]
[tex] = \int\limits_{0}^{\infty} du\; D_u\big(-f(x-u)\big) = -f(-\infty)+f(x) = f(x)[/tex]

Then there are some other variants known as "physicists' calculations", of course :wink: But it won't hurt to understand a correct one too.

edit: hmmh.. it could be that this is "too simple" in some way, because the expression could be calculated easily also without the change of variable in the beginning. Anyway, this is an example of how the technique can be used, and there are more complicated examples out there too (like the three dimensional one mentioned in the earlier posts), where the technique cannot be replaced easily with anything else.
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
Replies
3
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K