Deriving Curl of B from Biot-Savart Law & Vector Identity

In summary: Because the operator ## \nabla \times## operates on the unprimed coordinates of ## b ##, and not the primed coordinates of ## a ##. To see this, choose a particular ##a## and ##b##, choose a particular ##\nabla##, take the cross product, and you will see that the result is zero.
  • #1
georg gill
153
6
$$\nabla \times B(r)=\frac{\mu _0}{4\pi} \int \nabla \times J(r') \times \frac{ (r-r')}{|r-r|^3}dV'$$

using the vector identity:

$$\nabla \times (A \times B) = (B \cdot \nabla)A - B(\nabla \cdot A) - (A \cdot \nabla )B + A(\nabla \cdot B)$$

##A=J## and ##B=\frac{r-r'}{|r-r'|^3}##

since current is constant
$$\nabla \cdot J=0$$

And since current is constant we also obtain

$$(\frac{r-r'}{|r-r'|^3} \cdot \nabla)J=0$$

After some calculation one also obtains

$$\nabla \cdot \frac{r-r'}{|r-r'|^3}=0$$

All of the three relations above are undefied when ##r-r'=0##.

So I would believe that ##(J \cdot \nabla )\frac{r-r'}{|r-r'|^3}## would be 0 outside ##r-r'=0##. But my calculations did obtain that it was not 0 outside ##r-r'=0##. In order to obtain that ##\nabla \times B=\mu_0 J## in other derivations one ends up with an integral that is 0 everywhere except when you integrate over the point ##r-r'=0##. Can someone show that ##(J \cdot \nabla )\frac{r-r'}{|r-r'|^3}=0##? Or explain why this fails? I am not looking for another proof for ##\nabla \times B=\mu_0 J##. I am looking for an explantion for this problem described above in the calculation.
 
Physics news on Phys.org
  • #2
I think for ## \nabla \cdot B ## you get ## 4 \pi \delta(r-r' ) ##, because ## B ## represents the ## E ## field from a point charge at ## r=r' ##.
 
  • Like
Likes georg gill
  • #3
and a follow-on: I think ## J(r') \cdot \nabla B ## integrates to zero over a large volume because ## \nabla (J \cdot B)=J(r') \cdot \nabla B ## once you set all the other terms to zero in the identity. Note ## \nabla \times B=0 ## appears in one of these terms. Meanwhile the vector operator operates on the unprimed coordinates, and not on the prime coordinates of ## J(r') ##.
Note: There is a vector identity that ## \int \nabla F \, d^3x=\int F \, dS ##, which will be zero over a distant boundary that encloses the system.
Note also : ## \nabla (a \cdot b)=a \cdot \nabla b+b \cdot \nabla a + a \times \nabla \times b + b \times \nabla \times a ##.
 
  • Like
Likes georg gill
  • #4
georg gill said:
$$\nabla \times B(r)=\frac{\mu _0}{4\pi} \int \nabla \times J(r') \times \frac{ (r-r')}{|r-r|^3}dV'$$

using the vector identity:

$$\nabla \times (A \times B) = (B \cdot \nabla)A - B(\nabla \cdot A) - (A \cdot \nabla )B + A(\nabla \cdot B)$$

##A=J## and ##B=\frac{r-r'}{|r-r'|^3}##

since current is constant
$$\nabla \cdot J=0$$

And since current is constant we also obtain

$$(\frac{r-r'}{|r-r'|^3} \cdot \nabla)J=0$$

After some calculation one also obtains

$$\nabla \cdot \frac{r-r'}{|r-r'|^3}=0$$

All of the three relations above are undefied when ##r-r'=0##.

So I would believe that ##(J \cdot \nabla )\frac{r-r'}{|r-r'|^3}## would be 0 outside ##r-r'=0##. But my calculations did obtain that it was not 0 outside ##r-r'=0##. In order to obtain that ##\nabla \times B=\mu_0 J## in other derivations one ends up with an integral that is 0 everywhere except when you integrate over the point ##r-r'=0##. Can someone show that ##(J \cdot \nabla )\frac{r-r'}{|r-r'|^3}=0##? Or explain why this fails? I am not looking for another proof for ##\nabla \times B=\mu_0 J##. I am looking for an explantion for this problem described above in the calculation.

Sorry but I'm lost. Where does the initial equation come from?
.
 
  • #5
hutchphd said:
Sorry but I'm lost. Where does the initial equation come from?
.
Without the curl operator, the OP has Biot-Savart in integral form. The OP applied the curl operator to both sides. The task is then to show Maxwell's expression for ## \nabla \times B ## , without the ## \mu_o \epsilon_o \dot{E} ## term.
 
  • Like
Likes Delta2, georg gill and hutchphd
  • #6
@georg gill Please see post 3=I think that solves it.
Without compete mathematical rigor, I think we can take ## \nabla \times B =0 ##, because ## B ## (as defined in the OP on the fourth line=slightly clumsy to use ## B ## for two different things in the same problem) is basically an electrostatic type inverse square law field.
 
Last edited:
  • #7
Charles Link said:
and a follow-on: I think ## J(r') \cdot \nabla B ## integrates to zero over a large volume because ## \nabla (J \cdot B)=J(r') \cdot \nabla B ## once you set all the other terms to zero in the identity. Note ## \nabla \times B=0 ## appears in one of these terms. Meanwhile the vector operator operates on the unprimed coordinates, and not on the prime coordinates of ## J(r') ##.
Note: There is a vector identity that ## \int \nabla F \, d^3x=\int F \, dS ##, which will be zero over a distant boundary that encloses the system.
Note also : ## \nabla (a \cdot b)=a \cdot \nabla b+b \cdot \nabla a + a \times \nabla \times b + b \times \nabla \times a ##.
Sorry but how is

## \nabla (J \cdot \frac{r-r'}{|r-r'|^3})=(J(r') \cdot \nabla) \frac{r-r'}{|r-r'|^3} ##?

$$(J(r') \cdot \nabla) \frac{r-r'}{|r-r'|^3}=(J_x\frac{\partial}{\partial x}+J_y\frac{\partial}{\partial y}+J_z \frac{\partial}{\partial z})\frac{(x-x')\textbf{i}+(y-y')\textbf{j}+(z-z')\textbf{k}}{((x-x')^2+(y-y')^2+(z-z')^2)^{\frac{3}{2}}}$$

While

$$\nabla (J \cdot \frac{r-r'}{|r-r'|^3})=(\frac{\partial}{\partial x}\textbf{i}+\frac{\partial}{\partial y}\textbf{j}+ \frac{\partial}{\partial z}\textbf{k})\frac{J_x(x-x')+J_y(y-y')+J_z(z-z')}{((x-x')^2+(y-y')^2+(z-z')^2)^{\frac{3}{2}}}$$
 
  • #8
You integrate the gradient over the large volume=see post 3=the argument of the gradient then becomes a surface integral over that same volume. (Gauss' law for a gradient). The current density ## J ## is assumed to occupy a finite region and will vanish on a very large surface. See https://math.stackexchange.com/ques...eorem-for-volume-integral-of-a-gradient-field

See also post 3 at the bottom for the gradient of a dot product. We have the ## a \times \nabla \times b=0 ## , because ## \nabla \times b=0 ##. Then the two are the same.
 
Last edited:
  • #9
Charles Link said:
and a follow-on: I think ## J(r') \cdot \nabla B ## integrates to zero over a large volume because ## \nabla (J \cdot B)=J(r') \cdot \nabla B ## once you set all the other terms to zero in the identity. Note ## \nabla \times B=0 ## appears in one of these terms. Meanwhile the vector operator operates on the unprimed coordinates, and not on the prime coordinates of ## J(r') ##.
Note: There is a vector identity that ## \int \nabla F \, d^3x=\int F \, dS ##, which will be zero over a distant boundary that encloses the system.
Note also : ## \nabla (a \cdot b)=a \cdot \nabla b+b \cdot \nabla a + a \times \nabla \times b + b \times \nabla \times a ##.
How is the term ## a \times \nabla \times b## equal to 0 in

## \nabla (a \cdot b)=a \cdot \nabla b+b \cdot \nabla a + a \times \nabla \times b + b \times \nabla \times a ##
?
 
  • Like
Likes Charles Link
  • #10
## b=B_{second \, one}=\frac{r-r'}{|r-r'|^3} ## is a vector. Because it has the conservative field inverse square law form, we know ## \nabla \times b=0 ##, without a lengthy calculation.
 
Last edited:
  • Like
Likes georg gill
  • #11
The inverse square vector will not vanish with a distant surface integral, (the area increases with the square of the distance), but we can assume the current density ## J ## will vanish over a remote surface.
 
  • Like
Likes georg gill
  • #12
Well the integral over any closed surface has to vanish (in steady state) and that is sufficient I think.
 
  • Like
Likes Charles Link
  • #13
Charles Link said:
The inverse square vector will not vanish with a distant surface integral, (the area increases with the square of the distance), but we can assume the current density ## J ## will vanish over a remote surface.
Yes. Think I got it. 0 due to dot product with the vector J that does not go out of the surface. Thanks!
 
  • Like
Likes Charles Link
  • #14
Sorry but if r-r'=0 within the current integral that would affect

## \nabla (J \cdot \frac{r-r'}{|r-r'|^3})##?

If one uses L'Hopitals on the last element one obtains for the x-element:

$$lim\frac{(x-x')}{((x-x')^2+(y-y')^2+(z-z')^2)^{\frac{3}{2}}}=\frac{1}{3(x-x')((x-x')^2+(y-y')^2+(z-z')^2)^{\frac{1}{2}}}$$
Which goes to infinty when r-r'=0. Same for y and z comp.

How can one the integrate over dV' with ## \nabla (J \cdot \frac{r-r'}{|r-r'|^3})## and obtain that the integral is 0. If one spot is undefined within the integral
Charles Link said:
Note: There is a vector identity that ## \int \nabla F \, d^3x=\int F \, dS ##, which will be zero over a distant boundary that encloses the system.

And how can one proof that this vector identity quoted above is valid when there is an undefined spot in the integral?
 
  • #15
I think the problem is already in #1, because you must be careful to distinguish between ##\vec{x}## and the integration variables ##\vec{x}'##. So what you want to calculate is ##\vec{\nabla} \times \vec{B}(\vec{x})##, where ##\vec{\nabla}## acts on the argument ##\vec{x}##. It doesn't act on the integration variable ##\vec{x}'##. So what you in fact have is
$$\vec{\nabla} \times \vec{B} = \frac{\mu_0}{4 \pi} \int_{\mathbb{R}} \mathrm{d}^3 x' \vec{\nabla} \left [\vec{J}(\vec{x}') \times \frac{\vec{x}-\vec{x}'}{|\vec{x}-\vec{x}'|} \right].$$
So ##\vec{J}(\vec{x}')## has to be treated as constant when taking he curl. For that we need with a constant vector ##\vec{a}##
$$\left \{ \vec{\nabla} \times [\vec{a} \times \vec{V}(\vec{x})] \right ]_j = \epsilon_{jkl} \partial_k \epsilon_{lmn} a_m V_n=(\delta_{jm} \delta_{kn}-\delta_{jn} \delta_{km}) a_m \partial_k V_n = a_j \vec{\nabla} \cdot \vec{V} - (\vec{a} \cdot \vec{\nabla}) V_j$$
or
$$\vec{\nabla} \times (\vec{a} \times \vec{V})=\vec{a} \vec{\nabla} \cdot \vec{V}-(\vec{a} \cdot \vec{\nabla}) \vec{V}.$$
Now apply this to the curl in the above integral with ##\vec{V}=(\vec{x}-\vec{x}')/|\vec{x}-\vec{x}'|^3##
$$\vec{\nabla} \times [\vec{J}(\vec{x}') \times \vec{V}] = \vec{J}(\vec{x}') 4 \pi \delta^{(3)}(\vec{x}) - [\vec{J}(\vec{x}') \cdot \vec{\nabla}] \vec{V}$$.
The first expression comes from
$$\vec{\nabla} \cdot \frac{\vec{x}-\vec{x'}}{|\vec{x}-\vec{x}'|^3}=-\Delta \frac{1}{|\vec{x}-\vec{x}'|} = 4 \pi \delta^{(3)}(\vec{x}-\vec{x}').$$
For the 2nd term note that
$$J_k \partial_k V_j=-J_k \partial_k' V_j = -\partial_k'(J_k V_j)+V_j \partial_k' J_k = - \partial_k' (J_k V_j).$$
The latter follows from ##\vec{\nabla}' \cdot \vec{J}(\vec{x}')=0## (current conservation for a stationary current). The integral over the total divergence vanishes. So you only get the contribution for the first integral, from which Ampere's Law in differential form,
$$\vec{\nabla} \times \vec{B}=\mu_0 \vec{J}$$
results.
 
  • Like
Likes Charles Link and hutchphd
  • #16
georg gill said:
And how can one proof that this vector identity quoted above is valid when there is an undefined spot in the integral?
To prove it rigorously might be somewhat difficult. This problem contains a couple of places where the term being evaluated involves ##r-r' ## in the denominator. e.g. ## \nabla \cdot b=4 \pi \delta(r-r') ##, (notice ## \nabla \cdot b=0 ## everywhere except ## r=r' ##), while ## \nabla \times b=0 ##, including supposedly for ## r-r' ##. (Note: ## b=\frac{r-r'}{|r-r'|^3} ## ).

Gauss' law (including the forms for the integral of a gradient and that of the integral of a curl) makes it possible to evaluate these expressions at ## r=r' ##, even when the function becomes undefined at ## r=r' ##.

For the case of ## \int \nabla (a \cdot b) \, d^3x' ##, again Gauss' law gives us an answer. There may be a more rigorous answer. Otherwise, the results of this problem seem to hinge on the different forms of Gauss' law.

Reading @vanhees71 post 15, I think even I have been careless with the unprimed and primes on this last gradient operator. It started off as an unprimed gradient operator, and would pick up a minus sign when changed to ## \int \nabla' (J \cdot b ) \, d^3 x' ##. The Gauss' law identity only holds if the gradient operates on the same coordinates as the volume integral. For my method to be valid, this last step of switching to ## \nabla' ## must be included.
 
Last edited:
  • Like
Likes vanhees71
  • #17
The proof of
$$\Delta 1/r=-4 \pi \delta^{(3)}(\vec{x})$$
isn't too difficult. Starting from
$$\Delta G=-\delta^{(3)}(\vec{x})$$
by symmetry you get ##G=G(r)##, from which
$$G=A/r$$
Then you get
$$-1=\int_K \mathrm{d}^3x \Delta G=\int_{\partial K} \mathrm{d}^2 \vec{f} \cdot \vec{\nabla} G =-4 \pi A \;\Rightarrow \; A=1/(4 \pi).$$
 
  • Like
Likes etotheipi and Charles Link
  • #18
Basically, I think what the above is doing, is to let ## E=\frac{r-r'}{|r-r'|^3} ##. You find ## \nabla \cdot E=0 ## except for ## r=r' ## where it remains undefined. By Gauss' law, with a sphere centered around ## r' ##, ## \int \nabla \cdot E \, d^3x=\int E \cdot dS=4 \pi ##. Because ## \nabla \cdot E=0 ## everywhere else, we must have ## \nabla \cdot E=4 \pi \delta^{(3)}(r-r') ## for the integral to always give ## 4 \pi ##.
 
  • Like
Likes vanhees71
  • #19
Charles Link said:
Basically, I think what the above is doing, is to let ## E=\frac{r-r'}{|r-r'|^3} ##. You find ## \nabla \cdot E=0 ## except for ## r=r' ## where it remains undefined. By Gauss' law, with a sphere centered around ## r' ##, ## \int \nabla \cdot E \, d^3x=\int E \cdot dS=4 \pi ##. Because ## \nabla \cdot E=0 ## everywhere else, we must have ## \nabla \cdot E=4 \pi \delta^{(3)}(r-r') ## for the integral to always give ## 4 \pi ##.

I guess for gauss law I would unerstand that you can calculate the E-field inside a charged sphere as
$$E=\frac{Q\textbf{r}}{4\pi\varepsilon_0 R^3}$$

by using unit vector and obtaining the divergence inside the charged sphere one obtains:

$$\nabla \cdot E=\nabla \cdot \frac{Qr}{4\pi\varepsilon_0 R^3}[\frac{x}{r}\textbf{i}+\frac{y}{r}\textbf{j}+\frac{z}{r}\textbf{k}]=3\frac{Q}{4\pi\varepsilon_0 R^3}=\frac{\rho}{\varepsilon_0}$$

Without the result above for the E-field inside a sphere I don't understad how one could use the divergence theorem as the derivative must be continuous in the divergence theorem. The result above quantifies the undefined part at least. I know that you don't like images but I will upload a proof for the divergence theorem for a sphere just for info:

1607377937008.png
 
  • #20
You might be looking for complete mathematical rigor for these cases, when it may not exist. The best solution I can see is to assign the delta function at the point ## r=r' ## to ## \nabla \cdot \frac{r-r'}{4 \pi |r-r'|^3} ##.
 
Last edited:
  • Like
Likes vanhees71
  • #21
For ##\nabla \times B=J\mu_0## From Griffiths one can obtain that the curl of B inside a rotating sphere is ##\nabla \times B=J\mu_0## but that is for an arbitrary large sphere. So it seems that the current outside r-r' is not taken into account for that that value of ##\nabla \times B## since a larger sphere would have more current outside r-r'. So since the outside of the point r-r' can be arbitrary one could say that it is in fact in r-r' that the value ##\nabla \times B=J\mu_0## is obtained. So in fact it seems that one always have the relation ##\nabla \times B=J\mu_0## inside current and from the proof in this thread ##\nabla \times B=0## outside current?
 
  • Like
Likes vanhees71
  • #22
You seem to be getting sidetracked, or overthinking the original problem you presented in the OP. The proofs are relatively straightforward, perhaps lacking complete mathematical rigor, using the vector identities that were presented. I think it has been shown with a reasonable amount of mathematical precision that starting with the integral form of Biot-Savart, the differential form of ampere's law ## \nabla \times B=\mu_o J ## is the result.
 
  • Like
Likes georg gill and vanhees71
  • #23
For full mathematical rigor but still very easy to understand, see

M. Lighthill, Introduction to Fourier analysis and generalised
functions, Cambridge University Press (1958).
 
  • Like
Likes Charles Link and georg gill
  • #24
I have pondered a bit further:
By using Leibniz integral rule
$$\nabla \times B(r)=\frac{\mu _0}{4\pi} \int \nabla \times \frac{ J(r') \times (r-r')}{|r-r|^3}dV'$$

$$ \frac{J(r') \times (r-r')}{|r-r'|^3}=\frac{(J_y[z-z']-J_z[y-y'])\textbf{i}+(J_z[x-x']-J_x[z-z'])\textbf{j}+(J_x[y-y']-J_y[x-x'])\textbf{k}}{((x-x')^2+(y-y')^2+(z-z')^2)^{3/2}}$$
the ##\textbf{i}##'th component of

$$\nabla \times \frac{ J(r') \times (r-r')}{|r-r|^3}$$

is
$$\frac{\partial}{\partial y}\frac{(J_x[y-y']-J_y[x-x'])}{(((x-x')^2+(y-y')^2+(z-z')^2)^{3/2}}-\frac{\partial}{\partial z}\frac{(J_z[x-x']-J_x[z-z'])}{(((x-x')^2+(y-y')^2+(z-z')^2)^{3/2}}$$

Now this should be 0 outside where r-r'=0. But my calculations says it is not? How can then $$\nabla \times B(r)= \mu _0 J(r')$$

I mean if the component above is not 0 outside r-r' I could add more and more current outside r-r' to alter the value of $$\nabla \times B(r)$$
 
Last edited:
  • #25
Upon further study of the problem, I think I have an error in how I assumed the ## J \cdot \nabla b ## term integrates to zero. I need to do some additional study of the problem.

The problem I'm having is that we have ## \nabla (J(x') \cdot b ) ##. That is not ## -\nabla' (J(x') \cdot b ) ##, unless we have some additional identity. Perhaps ## \nabla' \cdot J(x')=0 ## will get us there, but I'm not yet convinced.

Edit: I think I see the solution to this: It can be written as ## \nabla \int J(x') \cdot b \, d^3x' ##, with the gradient operator outside of the integral.
Now ##\int J(x') \cdot b \, d^3 x'= \int J(x') \cdot \nabla' \frac{1}{|x-x'|} \, d^3 x' =\int \nabla' \cdot (\frac{J(x')}{|x-x'|}) \, d^3 x' ##, if ## \nabla \cdot J=0 ##, and use Gauss' law to make this last integral a surface integral, which will vanish at a large distance. (Edit: Note the primes on these last operators which I had to edit in).
 
Last edited:
  • Like
Likes georg gill
  • #26
@georg gill Note one additional Edit I did to the above, where I made the last operators with primes. That needs to be a primed operator when the integration is over ## d^3 x' ## if Gauss' law is going to be employed.
 
  • #27
Charles Link said:
@georg gill Note one additional Edit I did to the above, where I made the last operators with primes. That needs to be a primed operator when the integration is over ## d^3 x' ## if Gauss' law is going to be employed.

Do you mean this:

Charles Link said:
Upon further study of the problem, I think I have an error in how I assumed the ## J \cdot \nabla b ## term integrates to zero. I need to do some additional study of the problem.

The problem I'm having is that we have ## \nabla (J(x') \cdot b ) ##. That is not ## -\nabla' (J(x') \cdot b ) ##, unless we have some additional identity. Perhaps ## \nabla' \cdot J(x')=0 ## will get us there, but I'm not yet convinced.

Edit: I think I see the solution to this: It can be written as ## \nabla \int J(x') \cdot b \, d^3x' ##, with the gradient operator outside of the integral.
Now ##\int J(x') \cdot b \, d^3 x'= \int J(x') \cdot \nabla' \frac{1}{|x-x'|} \, d^3 x' =\int \nabla' \cdot (\frac{J(x')}{|x-x'|}) \, d^3 x' ##, if ## \nabla \cdot J=0 ##, and use Gauss' law to make this last integral a surface integral, which will vanish at a large distance. (Edit: Note the primes on these last operators which I had to edit in).

If it is post 25 I am having a bit of a problem getting the relevance to post 24. Thanks:rolleyes:
 
  • #28
@georg gill I haven't worked yet at resolving the difficulties in post 24. When I revisited this problem by reading your post 24, I did spot an error in my previous calculations, which I have now worked through, and have an amended solution per post 25.
 
  • Like
Likes georg gill
  • #29
One other item: The condition ## \nabla \cdot J=0 ## is logical, because by the continuity equation, ## \nabla \cdot J +\frac{\partial{\rho}}{\partial{t}}=0 ## and we must have no build-up of charge.

If you include cases where ## \nabla \cdot J \neq 0 ##, you get an additional term in this last expression (post 25) of ## - b \nabla' \cdot J(x')=\frac{\partial{\rho}(x')}{\partial{t}}/|x-x'| ##.

I believe if you carry out the whole calculation, this would yield the additional term in ampere's law of ## \mu_o \epsilon_o \dot{E} ##.
 
Last edited:
  • Like
Likes georg gill
  • #30
The Biot-Savart Law,
$$\vec{B}(\vec{x})=\frac{\mu_0}{4 \pi} \int_{\mathbb{R}^3} \mathrm{d}^3 x' \vec{j}(\vec{x}') \times \frac{\vec{x}-\vec{x}'}{|\vec{x}-\vec{x}'|^3}$$
only holds for magnetostatics, i.e., ##\vec{j}## must be time-independent. Since further
$$\vec{\nabla} \times \vec{B}=\mu_0 \vec{j}$$
you must necessarily have
$$\vec{\nabla} \cdot \vec{j}=0.$$
You also must have
$$\vec{\nabla} \cdot \vec{B}=0.$$
That in this (and ONLY in this) case the Biot-Savart Law provides the correct answer we transform the Biot-Savart Law a bit. First of all
$$\frac{\vec{x}-\vec{x}'}{|\vec{x}-\vec{x}|^3}=-\vec{\nabla} \frac{1}{|\vec{x}-\vec{x}'|}$$
and thus
$$\vec{B}(\vec{x})=-\frac{\mu_0}{4 \pi} \int_{\mathbb{R}^3} \mathrm{d}^3 x' \vec{j}(\vec{x}') \times \vec{\nabla} \frac{1}{|\vec{x}-\vec{x}'|}=+\frac{\mu_0}{4 \pi} \vec{\nabla} \times \int_{\mathbb{R}^3} \frac{\vec{j}(\vec{x}')}{|\vec{x}-\vec{x}'|}.$$
Of course the integral is nothing else than a vector potential,
$$\vec{B}=\vec{\nabla} \times \vec{A}$$
with
$$\vec{A}(\vec{x})=\frac{\mu_0}{4 \pi} \int_{\mathbb{R}^3} \mathrm{d}^3 x' \frac{\vec{j}(\vec{x}')}{|\vec{x}-\vec{x}'|}.$$
From this it's immediately clear that
$$\vec{\nabla} \cdot \vec{B}=0,$$
i.e., the first magnetostatic Maxwell equation is fulfilled.

Further we show that also
$$\vec{\nabla} \cdot \vec{A}=0,$$
i.e., ##\vec{A}## obeys the Coulomb-gauge condition. Indeed
$$\vec{\nabla} \cdot \vec{A} =\frac{\mu_0}{4 \pi} \int_{\mathbb{R}^3} \mathrm{d}^3 x' \vec{j}(\vec{x}') \cdot \vec{\nabla} \frac{1}{|\vec{x}-\vec{x}'|}=- \frac{\mu_0}{4 \pi} \int_{\mathbb{R}^3} \mathrm{d}^3 x' \vec{j}(\vec{x}') \cdot \vec{\nabla}' \frac{1}{|\vec{x}-\vec{x}'|} = + \frac{\mu_0}{4 \pi}\int_{\mathbb{R}^3} \mathrm{d}^3 x' \frac{1}{|\vec{x}-\vec{x}'|} \cdot \vec{\nabla}' \cdot \vec{j}(\vec{x}')=0.$$
From this we find
$$\vec{\nabla} \times \vec{B}=\vec{\nabla} \times (\vec{\nabla} \times \vec{A})=-\Delta \vec{A} = -\frac{\mu_0}{4 \pi} \int_{\mathbb{R}^3} \mathrm{d}^3 x' \vec{j}(\vec{x}') \Delta \frac{1}{|\vec{x}-\vec{x}'|} = +\mu_0 \int_{\mathbb{R}^3} \mathrm{d}^3 x' \vec{j}(\vec{x}') \delta^{(3)}(\vec{x}-\vec{x}') = \mu_0 \vec{j}(\vec{x}).$$
So it fulfills also the 2nd magnetostatic Maxwell equation.
 
  • Like
Likes Charles Link, georg gill and etotheipi
  • #31
about symmetry:

if you first calculate the magnetic vector potential for a spherical surface:

one starts with the magnetic vector potential formula for a point inside or outside a spherical electrically charged rotating surface

$$\textbf{A}=\frac{\mu_o}{4 \pi}\int \frac{\sigma \omega \times \textbf{r}}{\sqrt{R^2+r^2-2Rrcos \theta}} $$

For a figure refer to example 5.11 Griffiths 4th edition. Introduction to electrodynamics:

1611087032189.png


After calculations one obtains that the magnetic vector potential inside and outside is (refer to example 5.11 in Griffiths for this)

Inside spherical surface: $$\frac{\mu_0 R \sigma}{3} \omega \times \textbf{r} $$

Outside spherical surface:
$$\frac{\mu_0 R^4 \sigma}{3 r^3} \omega \times \textbf{r} $$

both are directed along ##\phi## axis.

imagine that we want to find the magnetic vector potential inside a sphere we have cut out a smaller sphere symmetrical with origo in the middle. Where ##r_2## is the radius of the cut out sphere. ##r_1## is the radius placement of the point we want to find the magnetic vector potential. And R is the radius of the outer sphere. ##\sigma=\rho dr##. And denoting R=r' since we are dealing with many spherical surfaces. The magnetic vector potential becomes:

$$\textbf{A}=\frac{\mu_0 }{3} \omega r_1 sin \theta \int_{r_1}r \rho r' dr' + \frac{\mu_0 }{3 r_1^2} \omega sin \theta \int_{r_2}^{r_1} \rho (r')^4 dr' $$

After some calculation we obtain that this is:

$$\textbf{A}=\rho \mu_0 \omega sin\theta \frac{1}{6}[(r_1 R^2 - \frac{3}{5}r_1^3) - \frac{2}{10} \frac{1}{r_1^2} r_2^5]$$

By using that ##\rho= \frac{3Q}{4 \pi R^3}## we obtain that

$$\textbf{B}= \nabla \times \textbf{A}=\frac{\mu_0 \omega Q}{4 \pi R^3}{[R^2-\frac{3r^2}{5}]cos \theta e_r - sin \theta (R^2-6 \frac{r^2}{5})} e_{\theta}$$

By taking curl of this we obtain that

$$ \nabla \times \textbf{B}= \frac{Q \mu_0 \omega sin \theta}{4 \pi R^3} [-\frac{1}{r}( R^2-\frac{36}{10} r_1^2 - 2 \frac{1}{10 r_1^3}r_2^5 + \frac{1}{r}(R^2-\frac{3}{5} r_1^2 - \frac{2}{10} \frac{1}{r_1^3} r_2^5)] e_{\theta}$$

$$ \nabla \times \textbf{B}=\frac{Q \mu_0 \omega sin \theta}{\frac{4}{3}\pi R^3}r_1 e_{\theta}=\mu_0 J e_{\theta}$$The nice thing with this result is that we can set ##r_2=0## so that we are looking at the curl of B inside a rotating sphere. Or we can set ##r_2## approx as large as R so that we look at the curl of B of a rotating spherical surface. Either way the result is ## \nabla \times \textbf{B}=\mu_0 J##

This leads me to my question: The result above illustrates that the curl of B from the spherical surfaces inside ##r_1## cancels due to symmetry. But when it comes to a general calculation of curl of B I don't know in general how to show that curl of B in other points then the point you are calculating curl of B cancels. Anyone know how to do this? For a start look at point 24.

In the end to clear up why I am writing this post. 1: I don't understand the proof for why ## \nabla \cdot \textbf{A}## is 0 in more common proofs therefore I am looking for a different angle.
 
Last edited:

What is the Biot-Savart Law?

The Biot-Savart Law is a fundamental principle in electromagnetism that describes the magnetic field produced by a steady current. It states that the magnetic field at a point is directly proportional to the current at that point and inversely proportional to the distance from the point to the current.

What is the Vector Identity used in deriving the Curl of B from Biot-Savart Law?

The Vector Identity used in this derivation is the cross product identity, which states that the curl of the cross product of two vectors is equal to the cross product of the curl of the individual vectors.

What is the equation for the Curl of B derived from the Biot-Savart Law?

The equation for the Curl of B derived from the Biot-Savart Law is given by:
∇ x B = μ0 J + μ0ε0 ∂E/∂t
where μ0 is the permeability of free space, J is the current density, and ∂E/∂t is the time derivative of the electric field.

What is the significance of deriving the Curl of B from the Biot-Savart Law?

Deriving the Curl of B from the Biot-Savart Law allows us to understand the relationship between the magnetic field and the current that produces it. It also helps us to better understand and predict the behavior of electromagnetic fields in various situations.

How is the Curl of B related to other electromagnetic principles?

The Curl of B is related to other electromagnetic principles through the Maxwell's equations. It is specifically related to the Ampere's Law, which states that the line integral of the magnetic field around a closed loop is equal to the current passing through the loop. By deriving the Curl of B, we can better understand and apply the principles of electromagnetism in various scenarios.

Similar threads

Replies
6
Views
908
Replies
8
Views
333
Replies
7
Views
657
  • Calculus and Beyond Homework Help
Replies
9
Views
699
  • Classical Physics
Replies
21
Views
1K
Replies
1
Views
272
Replies
4
Views
2K
Replies
2
Views
741
  • Classical Physics
Replies
1
Views
1K
  • Classical Physics
Replies
9
Views
1K
Back
Top