Magnetic vector potential in the case of specific current distribution

[Zamot40]

1. Use equation for the magnetic vector potential in the case of specific current distribution and show by direct differentiation that ∇\bulletA=0
A(r)= µ_{0}/4\pi \int J(r')/|r-r'| dv'

Homework Equations

∇\times B(r)= µ₀J(r)

The Attempt at a Solution

We know that: curl of B(r) = µ₀J(r)
and that the divergence of a curl is equal to zero

This seems so simple can it really be the solution?

 

[TSny]

Hi, Zamot40 and welcome to Physics Forums!

The solution is not really that simple.

When you take the divergence of A(r), the derivatives are with respect to the argument of A; i.e., the unprimed coordinates. But in the integral, the argument of the current density J is r' (primed coordinates) which denote the integration variables. The only place that the unprimed coordinates appear in the integral is in the denominator |r-r'|. Thus, you should justify that

∇\cdot(J(r')/|r-r'|) = J(r')\cdot∇(1/|r-r'|)

Then comes a sleight of hand to convert the divergence derivatives over to the primed coordinates using ∇(1/|r-r'|) = -∇'(1/|r-r'|). Proof left for you.

See if you can proceed from there. There's still a trick or two you'll need to invoke.

 

[Zamot40]

First of, thank you for the help.

Taking the gradient with respect to r' gives

\frac{r-r'}{|r-r'|^{3}}

Hence the integral becomes \int J(r')\bullet\frac{r-r'}{|r-r'|^{3}} dv'

I discussed your reply with a friend and I would like to know how one of the two in the equation below is zero
∇\bullet(f*\vec{F})= ∇f\bullet \vec{F} + f∇\bullet \vec{F}

I still have trouble seeing how we get to zero?
The integral is just the specific volume fx a box, J(r') can be seen as a cross section, but I don't see how it's possible to say that r-r' is perpendicular to J(r')

 

[TSny]

Taking the gradient with respect to r' gives \frac{r-r'}{|r-r'|^{3}}

Good. And, of course, in the same way you can show taking the gradient with respect to the unprimed r gives \frac{r'-r}{|r-r'|^{3}} which is just the negative of the gradient with respect to r'.

So, you have shown

∇(1/|r-r'|) = -∇'(1/|r-r'|)

Therefore, you have ∇$\cdot$ A(r) = ∫∇$\cdot$[J(r')/|r-r'|] dV' = ∫J(r')$\cdot$∇(1/|r-r'|) dV' = -∫J(r')$\cdot$∇'(1/|r-r'|) dV'

Now see if you can use your identity ∇'\bullet(f*\vec{F})= (∇'f)\bullet \vec{F} + f∇'\bullet \vec{F} (where I have added primes to the ∇ operator) to rewrite the last integral as two terms and then show each term is zero. (Note that the last integral above has an integrand of the form of the first term on the right hand side of the identity.)

 

[Zamot40]

The divergence of J(r')=0 making the second term zero

leaving


\int \frac{r−r′}{|r−r′|^{3}} \bullet J(r') dv'
where the gradient of 1/|r-r'|


I thought of several solutions but I can't really pin down the right one.
1: Making it into a closed surface integral and J(r') somehow equals to zero
\oint 1/|r-r'| \bullet J(r') \bullet n ds'
2: Integrating with respect to r' in a closed line integral would somehow end in a zero.

 

[TSny]

We've gotten to ∇$\cdot$ A(r) = -∫J(r')$\cdot$∇'(1/|r-r'|) dV', which you want to show is zero.

Rearrange the identity ∇\:'\cdot(f\vec{F}) = (∇\:'f)\cdot \vec{F}+ f\:∇\:'\cdot \vec{F} as

\vec{F}\cdot(∇\:'f) = ∇\:'\cdot(f\vec{F}) -f\:∇\:'\cdot \vec{F}

Use this to rewrite the integral ∫J(r')$\cdot$∇'(1/|r-r'|)dV' as two integrals. (Do not write out ∇'(1/|r-r'|) as (r-r')/|r-r'|³).

You have hit on the right ideas to show that these two integrals will be zero: ∇'$\cdot$ J(r') = 0 and converting one of the integrals into a surface integral.

 

[hedegaardo1]

I'm trying to solve the same problem and got to the same conclusion. But how do you justify that the surface integral is zero?

 

[TSny]

You can think of the volume integrals as extending over all of infinite 3D space. So, the surface integral will be over a surface at infinity where you can assume there is no current.

 

[Zamot40]

Thank you very much for this TSny, my whole class had problems with this exercise.