Crosson said:
The answer is straightfoward calculus. If boundary S is a function of time, then the limits of the integrand are functions of time, and you just carry the derivative through according to what is called liebniz's rule.
Yes. Working out the right-hand side of Faraday's law is just straightforward calculus.
On the right-hand side, we have
RHS ≡ - (d/dt) ∫
S(t) B∙d
a
= - ∫
S(t) ∂
B/∂t
∙ d
a - lim
∆t→0(1/∆t)[ ∫
S(t+∆t) - ∫
S(t) ]
B∙d
a
= ∫
S(t) curl E ∙ d
a - ∫
C(t) (
B x
vC)
∙ d
l
= ∫
C(t) (
E +
vC x
B)
∙ d
l ,
where
vC denotes the "velocity" at time t of the line-element d
l on C(t).
Note that, in the above derivation, the following two relations have been employed:
(i) div
B = 0 ;
(ii)
curl E = - ∂
B/∂t .
This is all straightforward enough.
______________
The difficulty, however, lies in the left-hand side of Faraday's law. How is the emf at time t associated with the closed loop C(t) to be defined? According to the usual definition, the emf is given by the work done on a unit charge moved once around the loop. This suggests using the following definition:
emf(t) ≡ ∫
C(t) (
E +
v x
B)
∙ d
l .
But what is the
v here? It obviously includes a component
parallel to d
l corresponding to the (hypothetical) motion of the unit charge
along the curve C(t), and this component, of course, gives
no contribution to the emf. It is only a component of
v perpendicular to d
l which can give some contribution ... yet, the (hypothetical) motion of the unit charge along C(t) would
not include such a component.
So, perhaps the answer is to simply use the above definition in a 'conceptual way' with
v set equal to the component of the velocity of the line-element d
l perpendicular to the d
l-direction. In that case, we can then just as well set
v =
vC , because any component of
vC parallel to d
l makes
no contribution anyways. Doing this yields
emf(t) ≡ ∫
C(t) (
E +
vC x
B)
∙ d
l ,
which is precisely the expression for the RHS of Faraday's law as it was derived above.
______________
reilly said:
One of the best discussions of this issue, I think, is given by Purcell in his Electricity and Magnetism, Vol. 2 of the Berkeley Physics Course. (When I taught this subject, it took one or two lecture sessions to cover the topic, both at the intermediate undergraduate level(Purcell), and the graduate level (Jackson or Panofsky and Phillips). A good part of the issue is calculating the flux through a moving loop. And, again, Purcell's discussion is superb.
I don't have Purcell (although it does seem worthwhile to attempt to procure a copy).
You wrote: "A good part of the issue is calculating the flux through a moving loop." This hurdle, I think, I have been able to overcome; and as Crosson points out, it requires no more than straightforward calculus. The result is to be found in what I recorded above, namely,
(d/dt) ∫
S(t) B∙d
a = ∫
S(t) ∂
B/∂t
∙ d
a + ∫
C(t) (
B x
vC)
∙ d
l ,
in which div
B = 0 has been utilized. (Also, remember that
vC is the velocity at time t of the line-element d
l on C(t); thus, in general,
vC will
vary from point to point along C(t) depending upon how the curve changes over time at the given point.)
So, it appears to me that my only real difficulty lies in finding the 'proper' definition of:
emf for a time-dependent closed loop.
Upon achieving that, I would then like to probe the question of where/when/how (?) either of Galilean or Lorentz invariance comes into the picture.
... I do have Jackson's book. I'll take a look there and see what it has to offer.