Solving Magnetics Questions: Vector Potential & Surface Currents

[AKG]

The magnetic vector potential is given as:

[tex]\mathbf{A}(\mathbf{r}) = \frac{\mu _0}{4\pi }\int \frac{\mathbf{J}(\mathbf{r'})}{|\mathbf{r} - \mathbf{r'}|}\d\tau '[/tex]

I am asked to show that [itex]\mathbf{\nabla } \cdot \mathbf{A} = 0[/itex] by applying the divergence to the equation above. When I've done that, I've used some product rules to simplify and end up with:

[tex]\mathbf{\nabla } \cdot \mathbf{A} = -\frac{\mu _0}{4\pi }\int \frac{\mathbf{J}(\mathbf{r'})\cdot(\mathbf{r} - \mathbf{r'})}{|\mathbf{r} - \mathbf{r'}|^3}d\tau '[/tex]

I can't see why this must be zero.

Second question: Consider a surface carrying uniform surface current density. We know that the component of [itex]\mathbf{B}[/itex] parallel to the surface but perpendicular to the direction of flow is discontinuous at the surface, and the "derivative" of [itex]\mathbf{A}[/itex] inherits this discontinuity. This is expressed (supposedly) in the equation:

[tex]\frac{\partial \mathbf{A}_{above}}{\partial n} - \frac{\partial \mathbf{A}_{below}}{\partial n} = -\mu _0\mathbf{K}[/tex]

I am asked to prove this using the equations:

[tex]\mathbf{A}_{above} = \mathbf{A} _{below}[/tex]

[tex]\mathbf{B} _{above} - \mathbf{B} _{below} = \mu _0 (\mathbf{K} \times \hat{\mathbf{n}})[/tex]

[tex]\mathbf{\nabla } \cdot \mathbf{A} = 0[/tex]

Now, I'm not entirely sure what the equation I'm trying to prove even says. Earlier in my book, we have the equation:

[tex]\frac{\partial V}{\partial n} \equiv \mathbf{\nabla }V\cdot \hat{\mathbf{n}}[/tex]

This gives a definition for the normal derivative for a scalar field, but not for a vector field. Would it just be:

[tex]\frac{\partial \mathbf{A}_{above}}{\partial n} = \frac{\partial \mathbf({A_x\hat{\mathbf{x}} + A_y\hat{\mathbf{y}} + A_z\hat{\mathbf{z}}})_{above}}{\partial n} = \frac{\partial A_x}{\partial n}\hat{\mathbf{x}} + \frac{\partial A_y}{\partial n}\hat{\mathbf{y}} + \frac{\partial A_z}{\partial n}\hat{\mathbf{z}}\ ?[/tex]

Also, doesn't the given equation:

[tex]\mathbf{A}_{above} = \mathbf{A} _{below}[/tex]

Imply that the right side of the equation I have to prove should be 0, and not [itex]-\mu _0\mathbf{K}[/itex]?

 

[StatusX]

For the first question, use:

[tex]\nabla (4 \pi \delta^3(\mathbf{r}) ) = \frac{\matbf{\hat r}}{r^2} [/tex]

Then you have:

[tex] \nabla \cdot \mathbf{A} = \int \nabla (4 \pi \delta^3(\mathbf{r}) ) \cdot \mathbf{J} [/tex]

Which can be integrated by parts using the product rule:

[tex]\nabla \cdot(f \mathbf{A}) = f(\nabla \cdot \mathbf{A}) + \mathbf{A} \cdot (\nabla f) [/tex]

It should be straightforward from there.

For the second question, your derivative formula is right, and you should be able to simplfy it to get a defintion very similar to that for a scalar. Also, just because the potential is equal at a surface doesn't mean its derivatives are. Look at x and x^2 at x=0.

 

[AKG]

For the first question, use:

[tex]\nabla (4 \pi \delta^3(\mathbf{r}) ) = \frac{\matbf{\hat r}}{r^2} [/tex]

Where does that come from? My book gives:

[tex]\mathbf{\nabla }\cdot \left (\frac{\hat{\mathbf{r}}}{r^2}\right ) = 4\pi \delta ^3(\mathbf{r})[/tex]

For the second question, your derivative formula is right, and you should be able to simplfy it to get a defintion very similar to that for a scalar. Also, just because the potential is equal at a surface doesn't mean its derivatives are. Look at x and x^2 at x=0.

Okay, thanks. I'll try that.

 

[StatusX]

Sorry about that, let me try again. First, you can add a prime to the del operator at the expense of an extra term:

[tex]\nabla \cdot (\mathbf{J}\frac{1}{|r-r'|}) = \frac{1}{|r-r'|}\nabla \cdot \mathbf{J} + \mathbf{J} \cdot \nabla (\frac{1}{|r-r'|}) = \mathbf{J} \cdot \nabla (\frac{1}{|r-r'|}) [/tex]

[tex]\nabla ' \cdot (\mathbf{J}\frac{1}{|r-r'|}) = \frac{1}{|r-r'|}\nabla ' \cdot \mathbf{J} + \mathbf{J} \cdot \nabla '(\frac{1}{|r-r'|})[/tex]

Now in this second term, the del can be changed to unprimed at the cost of a minus sign, and solving for this will lead you to:

[tex]\nabla \cdot (\mathbf{J}\frac{1}{|r-r'|}) = \frac{1}{|r-r'|}\nabla ' \cdot \mathbf{J} - \nabla ' \cdot (\mathbf{J}\frac{1}{|r-r'|}) [/tex]

But for steady currents, the divergence of J is 0, so this leaves:

[tex]\nabla \cdot \mathbf{A} = - \int d\tau ' \nabla ' \cdot (\mathbf{J}\frac{1}{|r-r'|})[/tex]

This can be turned into a surface integral, which you can easily show will vanish, since the integral must extend to enclose all current.

 

[AKG]

Okay, I managed to get the [itex]\mathbf{\nabla }\cdot \mathbf{A}[/itex] question, thanks very much for the help. I'm still not getting the other one. I set up a Cartesian co-ordinate system where [itex]\hat{\mathbf{z}} = \hat{\mathbf{n}}[/itex], and [itex]\mathbf{K} = K\hat{\mathbf{x}}[/itex].

Then I can re-write the given equations as:

[tex]\mathbf{A} _{above} = \mathbf{A} _{below}[/tex]

[tex]\mathbf{B} _{above} - \mathbf{B} _{below} = -\mu _0 K\hat{\mathbf{y}}[/tex]

[tex]\mathbf{\nabla }\cdot \mathbf{A} = 0[/tex]

and I need to prove:

[tex]\frac{\partial \mathbf{A}_{above}}{\partial n} - \frac{\partial \mathbf{A}_{below}}{\partial n} = -\mu _0 K\hat{\mathbf{x}}[/tex]

where

[tex]\frac{\partial \mathbf{A}}{\partial n} = \frac{\partial A_x}{\partial z}\hat{\mathbf{x}} + \frac{\partial A_y}{\partial z}\hat{\mathbf{y}} + \frac{\partial A_z}{\partial z}\hat{\mathbf{z}}[/tex]

This amounts to proving:

[tex]\frac{\partial A_{x-above}}{\partial z} - \frac{\partial A_{x-below}}{\partial z} = -\mu _0 K[/tex]

[tex]\frac{\partial A_{y-above}}{\partial z} - \frac{\partial A_{y-below}}{\partial z} = 0[/tex]

[tex]\frac{\partial A_{z-above}}{\partial z} - \frac{\partial A_{z-below}}{\partial z} = 0[/tex]

Given that [itex]\mathbf{B} = \mathbf{\nabla } \times \mathbf{A}[/itex], I can state, using the second given equation:

[tex]\left (\frac{\partial A_{x-above}}{\partial z}\right ) - \left (\frac{\partial A_{z-above}}{\partial x}\right ) - \left (\frac{\partial A_{x-below}}{\partial z}\right ) + \left (\frac{\partial A_{z-below}}{\partial x}\right ) = \mu _0 K[/tex]

[tex]\left (\frac{\partial A_{x-above}}{\partial y}\right ) - \left (\frac{\partial A_{y-above}}{\partial x}\right ) - \left (\frac{\partial A_{x-below}}{\partial y}\right ) + \left (\frac{\partial A_{y-below}}{\partial x}\right ) = 0[/tex]

[tex]\left (\frac{\partial A_{y-above}}{\partial z}\right ) - \left (\frac{\partial A_{z-above}}{\partial y}\right ) - \left (\frac{\partial A_{y-below}}{\partial z}\right ) + \left (\frac{\partial A_{z-below}}{\partial y}\right ) = 0[/tex]

And just to clarify, things like [itex]\partial A_{y-above} / \partial z[/itex] should be [itex](\partial A_y / \partial z) _{above}[/itex], i.e. the derivative of [itex]A_y[/itex] on its own evaluated above, not the derivative of some function called [itex]A_{y-above}[/itex].

The other two equations give me:

[tex]A_{x-above} - A_{x-below} = 0[/tex]

[tex]A_{y-above} - A_{y-below} = 0[/tex]

[tex]A_{z-above} - A_{z-below} = 0[/tex]

and

[tex]\left (\frac{\partial A_x}{\partial x}\right )_{above} + \left (\frac{\partial A_y}{\partial y}\right )_{above} + \left (\frac{\partial A_z}{\partial z}\right )_{above}= 0[/tex]

[tex]\left (\frac{\partial A_x}{\partial x}\right )_{below} + \left (\frac{\partial A_y}{\partial y}\right )_{below} + \left (\frac{\partial A_z}{\partial z}\right )_{below}= 0[/tex]

So I've got 5 equations with derivatives in them, with 18 unknown derivatives 3 (for each component) x 3 (for each [itex]\partial x,\ \partial y,\ \partial z[/itex]) x 2 (for above and below), and I need to derive from this 3 equations in 6 of those unknowns. I'm pretty lost here...

 

[StatusX]

Like I said, the directional derivative of a vector valued function can be expressed simply using vector derivatives. I'll let you derive it, but I came up with:

[tex]\frac{\partial \mathbf{A}}{\partial n} = (\mathbf{\hat n} \cdot \nabla) \mathbf{A}[/tex]

You can use vector product rules and the fact that:

[tex] \mathbf{\hat n} \times (\mathbf{K} \times \mathbf{\hat n}}) = \mathbf{K}[/tex]

(since K and n are perpendicular) to get the desired result.

 

[AKG]

[tex](\hat{\mathbf{n}} \cdot \mathbf{\nabla })\mathbf{A} = \left (\frac{\partial }{\partial z}\right )\mathbf{A} = \frac{\partial A_x}{\partial z}\hat{\mathbf{x}} + \frac{\partial A_y}{\partial z}\hat{\mathbf{y}} + \frac{\partial A_z}{\partial z}\hat{\mathbf{z}} = \frac{\partial A_x}{\partial n}\hat{\mathbf{x}} + \frac{\partial A_y}{\partial n}\hat{\mathbf{y}} + \frac{\partial A_z}{\partial n}\hat{\mathbf{z}} = \frac{\partial \mathbf{A}}{\partial n}[/tex]

[tex]\left (\frac{\partial \mathbf{A}}{\partial n}\right )_a - \left (\frac{\partial \mathbf{A}}{\partial n}\right )_b[/tex]

[tex]= \left [\mathbf{\nabla }(\hat{\mathbf{n}} \cdot \mathbf{A}) - \hat{\mathbf{n}} \times (\mathbf{\nabla }\times \mathbf{A}) - \mathbf{A} \times (\mathbf{\nabla } \times \hat{\mathbf{n}}) - (\mathbf{A} \cdot \mathbf{\nabla })\hat{\mathbf{n}}\right ]_a - \left [\mathbf{\nabla }(\hat{\mathbf{n}} \cdot \mathbf{A}) - \hat{\mathbf{n}} \times (\mathbf{\nabla }\times \mathbf{A}) - \mathbf{A} \times (\mathbf{\nabla } \times \hat{\mathbf{n}}) - (\mathbf{A} \cdot \mathbf{\nabla })\hat{\mathbf{n}}\right ]_b[/tex]

[tex]= \left [\mathbf{\nabla }(\hat{\mathbf{n}} \cdot \mathbf{A}) - \hat{\mathbf{n}} \times (\mathbf{\nabla }\times \mathbf{A})\right ]_a - \left [\mathbf{\nabla }(\hat{\mathbf{n}} \cdot \mathbf{A}) - \hat{\mathbf{n}} \times (\mathbf{\nabla }\times \mathbf{A})\right ]_b[/tex]

Since [itex]\hat{\mathbf{n}}[/itex] is constant, so any derivatives of it will be zero.

[tex]= (\mathbf{\nabla}A_z)_a - (\mathbf{\nabla}A_z)_b - \hat{\mathbf{n}}\times (\mathbf{B}_a - \mathbf{B}_b)[/tex]

[tex]= (\mathbf{\nabla}A_z)_a - (\mathbf{\nabla}A_z)_b + \mu _0K\hat{\mathbf{z}}\times \hat{\mathbf{y}}[/tex]

[tex]= (\mathbf{\nabla}A_z)_a - (\mathbf{\nabla}A_z)_b - \mu _0K\hat{\mathbf{x}}[/tex]

[tex]= (\mathbf{\nabla}A_z)_a - (\mathbf{\nabla}A_z)_b - \mu _0\mathbf{K}[/tex]

At this point, I haven't used the facts that [itex]\mathbf{A}_{above} = \mathbf{A}_{below}[/itex] (in fact, I can't see how to use that one since we're dealing with the derivatives here, not the actual values) or that [itex]\mathbf{\nabla }\cdot \mathbf{A} = 0[/itex]. It remains to show that:

[tex](\mathbf{\nabla}A_z)_a - (\mathbf{\nabla}A_z)_b = \mathbf{0}[/tex]

I'm not really sure what to do here. I think that if we consider only a very small portion of the surface, we can consider it to be flat, and, by symmetry, we can say that the magnetic vector potential will not vary with x and y, and so the above equation becomes:

[tex]\left (\frac{\partial A_z}{\partial z}\hat{\mathbf{z}}\right )_a - \left (\frac{\partial A_z}{\partial z}\hat{\mathbf{z}}\right )_b = \mathbf{0}[/tex]

[tex]\left (\frac{\partial A_z}{\partial z}\right )_a - \left (\frac{\partial A_z}{\partial z}\right )_b = 0[/tex]

[tex]\left (\frac{\partial A_x}{\partial x} + \frac{\partial A_y}{\partial y}\right )_a - \left (\frac{\partial A_x}{\partial x} + \frac{\partial A_y}{\partial y}\right )_b = 0[/tex]

Using [itex]\mathbf{\nabla }\cdot \mathbf{A} = 0[/itex]. This equation above holds if I'm right in saying that the potential will not vary with x or y, and if this holds, the proof is complete. I still haven't used the fact that the potential is the same above as it is below. Well, actually, my book says that the because the divergence of A is zero, the normal components of the potential are continuous at the surface, and because the curl of A is B, the tangential components are continuous, and it is because of these two facts that the potential is the same above and below. So it could be that using the fact that the potential is the same above and below implies using the two facts that make it continuous, one of those facts being that the divergence is zero (which I used), and the other being that the curl of A is B, which I also used. [itex]\mathbf{\nabla }\times \mathbf{A} = \mathbf{B}[/itex] was known without knowing that [itex]\mathbf{A}[/itex] was continuous, in fact it is true by definition, so you might say that I didn't really use the fact that [itex]\mathbf{A}_{above} - \mathbf{A}_{below} = 0[/itex].

So is that fact really useless to this proof, or did I do something wrong in not using this fact? Aside from that, is there anything else wrong?

Again, thank you very much.

 

[StatusX]

You can't say the potential won't vary with x or y, but you can say its derivatives are continuous as you move in the x or y directions, since B is, which gives the same result. I think the fact that A is continuous is sort of a separate boundary condition, and I don't think you need it to prove this.

 

[AKG]

Why does the continuity of the derivatives give the desired result? Also, I was specifically asked to use the three equations to solve the problem, one of which was that [itex]\mathbf{A}_{above} = \mathbf{A}_{below}[/itex]. It seems strange that I didn't have to use it at all.

 

[StatusX]

I'm starting to think this isn't the simplest way to prove this, so if anyone else knows a better way, please let us know. Anyway, I think I got it. Since a gradient field has zero curl, you can prove the parellel components have to be continuous the same way you do for the E field. Now, to prove the perpendicular component is also continuous, let's look at the divergence of this function:

[tex]\nabla \cdot \nabla(\mathbf{\hat n \cdot A}) = \nabla^2 (\mathbf{\hat n \cdot A}) = (\nabla^2 \mathbf{A})_n[/tex]

[tex]\nabla^2 \mathbf{A} = \nabla(\nabla \cdot \mathbf{A}) - \nabla \times (\nabla \times \mathbf{A}) = -\nabla \times \mathbf{B} = -\mu_0 \mathbf{J} [/tex]

so:

[tex]\nabla \cdot \nabla(\mathbf{\hat n \cdot A}) =-\mu_0 \mathbf{J}_n [/tex]

Now, integrating over a box straddling the surface of vanishing thickness, you get:

[tex]\int d\tau \nabla \cdot \nabla(\mathbf{\hat n \cdot A}) = \mbox{area} \times((\nabla(\mathbf{\hat n \cdot A})_{above})_n - (\nabla(\mathbf{\hat n \cdot A})_{below})_n ) = \int d\tau( -\mu_0 \mathbf{J}_n )[/tex]

But the component of the current perpendicular to the plane will be finite, so this will vanish as the box gets infinitely thin. So we have:

[tex](\nabla(\mathbf{\hat n \cdot A})_{above})_n - (\nabla(\mathbf{\hat n \cdot A})_{below})_n = 0[/tex]

and since the parellel component is also continuous:

[tex]\nabla(\mathbf{\hat n \cdot A})_{above} - \nabla(\mathbf{\hat n \cdot A})_{below} = 0[/tex]