Maxwell's Equations
|
|
Thread rating:  |
Steven E. Landsburg - 02 Oct 2007 18:40 GMT I tried this on sci.physics, but I'm hoping for a clearer answer here.
Numerous textbooks (including Feynman's Lectures and the Berkeley Physics series) make statements along the lines of "Maxwell's equations suffice to determine the electric and magnetic fields, given the charge and current distributions". (The Berkeley Physics series adds the qualification "up to the addition of a constant vector field").
This is patently false. If E and B satisfy Maxwell's equations, (for given charge and current distributions) then so do E+grad(f) and B+grad(g), where f and g are arbitrary harmonic functions.
In other words, given the charge and current distributions, the solutions to Maxwell's equations are not unique, and therefore the equations alone do not determine the fields. Which leads to my question: What *does* determine the fields? Does it all come down to a completely arbitrary initial condition? Or is there additional property that pins the fields down uniquely? Or....?
 Signature Steven E. Landsburg http://www.landsburg.com/about2.html
Rock Brentwood - 03 Oct 2007 03:50 GMT On Oct 2, 12:40 pm, lands...@troi.cc.rochester.edu (Steven E. Landsburg) wrote:
> What *does* determine the fields? The equations are linear and are therefore determined up to a +/- solution to the homogeneous equations. That's the 'radiation' part of the field. However, there is no unambiguous separation of "Coulomb" part from "radiation" part, since the distinction between the two varies with a change in frame of reference.
The question, itself, boils down to that of what types of boundary data suffice to parametrize the solution space of a quasi-linear 2nd order hyperbolic partial differential equation.
If you take a compact spacetime region and are able to parametrize it into a series of layers, each layer identified by a value of a parameter t, with increasing values of t giving you a generally future- like direction in the spacetime region, then you might reduce the question to that of what data to take from the slices corresponding to the extremal values of t, which I'll call t+ and t-; as well as from the boundaries of the successive snapshots for each t.
Call the regions S_t, where t ranges over [t-, t+]. Their union (union S_t: t in [t-,t+]) = S is the spacetime region in question. The boundary dS is the 3-chain S_{t+} - S_{t-} + sum (dS_t: t in [t-,t+]), the last component giving you all the "sideways" boundary of the region S.
On each boundary segment, you can configuration data for the field, and the 1st derivatives with respect to t. If the boundary surfaces are not characteristic surfaces of the hyperbolic system (i.e. they are not null surfaces, here, in the context where one is talking about the light wave equation) then you pick half of the total set of data from the surfaces S_{t+} and S_{t-}. I don't know exactly which combinations will yield well-posed problems, but the most common choices are either (a) to pick all configuration data, only, from both surfaces; or (b) to pick configuration and velocity data from one of the two surfaces.
I'm not entirely sure how you deal with the sideways boundary. One way to remove it from consideration is to restrict attention to regions S that are saucer-shaped, so that all the snapshot surfaces S_t have a common boundary dS_t = H (the "horizon"). Then it cancels out from the equation for dS and you have just: dS = S_{t+} - S_{t-}.
The extreme case of a saucer-shaped region is an Alexandroff interval -- where both S_{t+} and S_{t-} are, in fact, null surfaces. I'm not sure how the problem reduces in this case. I think it might actually be true that you only need the configuration data from just ONE of the surfaces! So you may be able to get away with just half of what you'd ordinarily need. However, I'm pretty sure this size reduction won't work well with the usual quantization procedures. You need two complementary sets of data to generate the Heisenberg relations.
Steven E. Landsburg - 04 Oct 2007 03:39 GMT >On Oct 2, 12:40 pm, lands...@troi.cc.rochester.edu (Steven E. >Landsburg) wrote: [quoted text clipped - 5 lines] >part from "radiation" part, since the distinction between the two >varies with a change in frame of reference. Yes! This summarizes exactly what was driving me nuts.
Every textbook I've looked at makes the implicit assumption that what you call the "Coulomb part" is the only "correct" solution. Which left me scratching my head over at least three things (though I'd have worded these questions slightly differently before reading your post):
1) What exactly are the rules for distinguishing the "Coulomb part"?
2) Where (if at all) is the theorem that tells me the "Coulomb part" is unique?
3) Is all this independent of reference frame?
I understand most but not all of the rest of your post; I will reread it more carefully later. Thanks very much for taking the time to help.
 Signature Steven E. Landsburg http://www.landsburg.com/about2.html
ebunn@lfa221051.richmond.edu - 04 Oct 2007 13:21 GMT >1) What exactly are the rules for distinguishing the "Coulomb part"? > >2) Where (if at all) is the theorem that tells me the "Coulomb part" >is unique? > >3) Is all this independent of reference frame? The split of the fields into Coulomb and radiation bits is not unique unless you adopt some specific criterion for making it so. One reasonably natural way to do this sort of split is to define something known as the "retarded solution" to the field equations for a given source distribution. In the retarded solution, the fields at any spacetime point are calculated entirely from the charge and current on the past light cone of that point. This just means that the field at position r and time t is calculated based on the sources at (r',t') with t'<t and
|r-r'| = c(t-t'). There is a specific recipe for calculating this retarded solution. Any other solution can then be regarded as a sum of the retarded solution plus a solution to the vacuum equations.
Heuristically, you can think of the retarded solution as telling you the field produced by the given charges and currents, while the additional vacuum solution corresponds to preexisting electromagnetic radiation that just whizzes around independent of these sources. (I want to emphasize the word "heuristically" there, though.)
Jackson's textbook (Classical Electrodynamics) is the standard place to look for this sort of thing.
-Ted
 Signature [E-mail me at name@domain.edu, as opposed to name@machine.domain.edu.]
ebunn@lfa221051.richmond.edu - 03 Oct 2007 03:50 GMT >I tried this on sci.physics, but I'm hoping for a clearer answer >here. [quoted text clipped - 16 lines] >down to a completely arbitrary initial condition? Or is there >additional property that pins the fields down uniquely? Or....? You need boundary conditions. If you're dealing with all of space, and your sources are localized, then it's sensible to demand that E and B go to zero at spatial infinity. For static fields, that's sufficient to give you uniqueness.
If you're not assuming things are static, then it's not true in any sense that the sources determine the fields. After all, you can add to any solution a localized electromagnetic wave packet zooming any way you like at any location you like.
-Ted
 Signature [E-mail me at name@domain.edu, as opposed to name@machine.domain.edu.]
Steven E. Landsburg - 04 Oct 2007 03:39 GMT In response to my query about Maxwell's Equations,
>You need boundary conditions. If you're dealing with all of space, >and your sources are localized, then it's sensible to demand [quoted text clipped - 5 lines] >to any solution a localized electromagnetic wave packet zooming any >way you like at any location you like. Thanks for this crystal clear answer.
It's very frustrating that the textbooks so consistently fail to mention any of this. Feynman, for example, claims to "derive" Coulomb's Law (for a single stationary point charge) from Maxwell's Equations, which he manages to do by slipping in an assumption of spherical symmetry. And the Berkeley Physics course makes matters even more confusing by acknowledging that E and B are determined only "up to the addition of a constant field", leaving the reader to wonder why you can add the field (3,3,3) but not the field (x,-y,0).
 Signature Steven E. Landsburg http://www.landsburg.com/about2.html
ebunn@lfa221051.richmond.edu - 04 Oct 2007 13:21 GMT >It's very frustrating that the textbooks so consistently fail to >mention any of this. Feynman, for example, claims to "derive" [quoted text clipped - 5 lines] >to wonder why you can add the field (3,3,3) but not the field >(x,-y,0). You might be happier if you go to the textbooks that are one level more advanced than, say, the Berkeley Physics book (that's the one by Purcell, right?). I recommend Griffiths "Introduction to Electrodynamics" and Jackson's "Classical Electrodynamics." Griffiths is generally considered an upper-level undergraduate book, and Jackson is graduate-level.
-Ted
 Signature [E-mail me at name@domain.edu, as opposed to name@machine.domain.edu.]
DRLunsford - 04 Oct 2007 21:01 GMT On Oct 4, 8:21 am, eb...@lfa221051.richmond.edu wrote:
> In article <fe0voq$17...@mail.rochester.edu>, > [quoted text clipped - 18 lines] > -- > [E-mail me at n...@domain.edu, as opposed to n...@machine.domain.edu.] I'd recommend Panofsky and Phillips for fundamentals. Jackson is more of a "pass the comps" book and is somewhat chaotic regarding fundamental issues. In particular, P&P discuss the issue of resolution of a vector field into its curl-free and divergence-free parts at length, and very clearly, before anything else. This theorem is critical to a proper understanding of EM.
Of some tangential interest is the fact that P&P is one of the few classic books with a woman as co-author (Melba Phillips).
The book is available as a relatively cheap reprint from Dover. I would still teach from this book if possible. Jackson is of course also excellent for problems and applications.
-drl
DRLunsford - 04 Oct 2007 21:01 GMT On Oct 2, 1:40 pm, lands...@troi.cc.rochester.edu (Steven E. Landsburg) wrote:
> I tried this on sci.physics, but I'm hoping for a clearer answer > here. [quoted text clipped - 20 lines] > > Steven E. Landsburghttp://www.landsburg.com/about2.html Get a copy of Panofsky and Phillips and study chapter 1 until it is in your bones. They prove the following theorem:
Give any vector field V (satisfying natural differentiability conditions) and let
D = div V C = curl V
Define
phi(x,y,z) = (1/4pi) integral over all space ( D(X,Y,Z) / R ) dX dY dZ A(x,y,z) = (1/4pi) integral over all space ( C(X,Y,Z) / R ) dX dY dZ
where R = sqrt ( (x - X)^2 + (y - Y)^2 + (z - Z)^2 ) and the integration is over X,Y,Z. Then
V = -grad phi + curl A
If s -> 0 and C -> 0 at infinity, then this resolution is unique. The import of this theorem is - if there are no sources at infinity, then a vector field is uniquely determined by its divergence and curl. One cannot overstate the importance of this result for a proper understanding of EM. Corollary - any non-uniqueness in the resolution of a vector field in terms of its sources must come from additional sources at infinity.
-drl
John Park - 05 Oct 2007 20:41 GMT > Get a copy of Panofsky and Phillips and study chapter 1 until it is in > your bones. They prove the following theorem: [quoted text clipped - 16 lines] > > If s -> 0 and C -> 0 at infinity, then this resolution is unique. The ^^^^^^^^^^
What's s? D??
--John Park
> import of this theorem is - if there are no sources at infinity, then > a vector field is uniquely determined by its divergence and curl. One [quoted text clipped - 4 lines] > > -drl Eliot Specht - 06 Oct 2007 11:56 GMT >I tried this on sci.physics, but I'm hoping for a clearer answer > here. [quoted text clipped - 16 lines] > down to a completely arbitrary initial condition? Or is there > additional property that pins the fields down uniquely? Or....? As others have pointed out, the fields are determined by boundary conditions in space and time. The physically valid boundary conditions add the second law of thermodynamics, which makes radiation an irreversible process. That is, a moving charge will always radiate energy. Maxwell's equations would allow a moving charge to absorb energy in the time-reversed process, but this would violate the second law.
David Winsemius - 07 Oct 2007 15:31 GMT
> As others have pointed out, the fields are determined by boundary > conditions in space and time. The physically valid boundary conditions [quoted text clipped - 3 lines] > energy in the time-reversed process, but this would violate the second > law. So then, how do the charged particles in SLAC get accelerated?
 Signature David Winsemius
Vladimir Dergachev - 07 Oct 2007 15:31 GMT > As others have pointed out, the fields are determined by boundary > conditions in space and time. The physically valid boundary conditions add > the second law of thermodynamics, which makes radiation an irreversible > process. That is, a moving charge will always radiate energy. Maxwell's > equations would allow a moving charge to absorb energy in the > time-reversed process, but this would violate the second law. You mean accelerating charge, right ?
Also, I am not at all clear on why the charge cannot absorb energy - we can setup EM field the way we please and then get the charge to accelerate (which would mean it absorbed energy).
For example: kinescope (CRT), wake field, heating from light, etc..
Or am I missing something ?
best Vladimir Dergachev
FrediFizzx - 08 Oct 2007 04:47 GMT >> As others have pointed out, the fields are determined by boundary >> conditions in space and time. The physically valid boundary [quoted text clipped - 12 lines] > setup EM field the way we please and then get the charge to accelerate > (which would mean it absorbed energy). It definitely has more kinetic energy after being accelerated. I am not so sure that I would say "absorbed" for the extra energy is purely in its motion. I would think that only a dipole system or greater could "absorb".
Best,
Fred Diether Co-moderator sci.physics.foundations
ebunn@lfa221051.richmond.edu - 08 Oct 2007 22:25 GMT >It definitely has more kinetic energy after being accelerated. I am not >so sure that I would say "absorbed" for the extra energy is purely in >its motion. I would think that only a dipole system or greater could >"absorb". Well, I guess it's not worth worrying too much about semantics, but I have to say that this seems like an odd usage to me. If at some time there is a photon and an electron whizzing around, and at some later time there is one less photon and the electron has picked up the equivalent amount of kinetic energy, I think most people would be willing to say that the electron has absorbed the photon.
-Ted
 Signature [E-mail me at name@domain.edu, as opposed to name@machine.domain.edu.]
FrediFizzx - 09 Oct 2007 16:31 GMT >>It definitely has more kinetic energy after being accelerated. I am >>not [quoted text clipped - 8 lines] > equivalent amount of kinetic energy, I think most people would be > willing to say that the electron has absorbed the photon. I think I would rather say the photon is destroyed and its energy is "converted" to kinetic energy for the electron. Many people do say the energy is absorbed and that is not so bad but I don't think you can say the photon was absorbed when it is really destroyed. That kind of implies that the photon is "in" the electron that has more kinetic energy when its extra energy is purely relative. I think of the whole process as a conversion of energy more than an absorbtion. Now in the case of a dipole situation like an atom, in the rest frame of the atom it really has more energy in a higher energy state. Whereas, in the rest frame of an electron, it never has more energy. IOW, the atom can store extra energy and an electron can't. I guess I just relate absorbtion more to the storing of energy.
Best,
Fred Diether Co-moderator sci.physics.foundations
Vladimir Dergachev - 10 Oct 2007 04:16 GMT > I think I would rather say the photon is destroyed and its energy is > "converted" to kinetic energy for the electron. Many people do say the [quoted text clipped - 8 lines] > store extra energy and an electron can't. I guess I just relate > absorbtion more to the storing of energy. Hmm... Just for the sake of keeping the thread up I wonder whether there is a way to write the equations in such a way that the photon is literally absorbed or bound to the electron.
I.e. a moving electron carries an EM field with it that is different from EM field of a stationary particle.
One could interpret photon+e -> moving e as act of binding the EM field comprising the photon to the electron where the field of the bound photon provides the difference between stationary and moving fields as well as creating a phase shift in electron wavefunction that becomes the motion.
Comments ? Vladimir Dergachev
> Best, > > Fred Diether > Co-moderator sci.physics.foundations ebunn@lfa221051.richmond.edu - 08 Oct 2007 04:47 GMT >As others have pointed out, the fields are determined by boundary conditions >in space and time. The physically valid boundary conditions add the second >law of thermodynamics, which makes radiation an irreversible process. That >is, a moving charge will always radiate energy. Maxwell's equations would >allow a moving charge to absorb energy in the time-reversed process, but >this would violate the second law. Moving (or, to be more precise, accelerating) charges absorb radiation all the time. The second law of thermodynamics is powerful, but it's not all that powerful!
Anyone who wants to think hard about the connections between the "thermodynamic arrow of time" (i.e., entropy increases) and the "radiation arrow of time" (i.e., retarded solutions of Maxwell's equations, with outgoing radiation, are often more useful than advanced solutions) should check out Zeh's book called something like "The Physical Basis of the Direction of Time."
In the present context, though, I would suggest that we're better off leaving thermodynamics out and just saying that you need boundary conditions (which might specify incoming radiation) to guarantee uniqueness of solutions to Maxwell's equations.
-Ted
 Signature [E-mail me at name@domain.edu, as opposed to name@machine.domain.edu.]
parbuckle@grapevine.net.au - 17 Oct 2007 18:41 GMT drl wrote:
> Get a copy of Panofsky and Phillips and study chapter 1 until it is in > your bones. They prove the following theorem:
> Give any vector field V (satisfying natural differentiability > conditions) and let
> D = div V > C = curl V
> Define
> phi(x,y,z) = (1/4pi) integral over all space ( D(X,Y,Z) / R ) dX dY dZ > A(x,y,z) = (1/4pi) integral over all space ( C(X,Y,Z) / R ) dX dY dZ > where R = sqrt ( (x - X)^2 + (y - Y)^2 + (z - Z)^2 ) and the integration > is over X,Y,Z. Then
>V = -grad phi + curl A
> If s -> 0 and C -> 0 at infinity, then this resolution is unique. The > import of this theorem is - if there are no sources at infinity, then a [quoted text clipped - 4 lines] > field in terms of its sources must come from additional sources at > infinity. My question:
Does the theorem above apply to fields that depend on time or only to static fields?
Pmb - 20 Oct 2007 13:03 GMT >I tried this on sci.physics, but I'm hoping for a clearer answer > here. [quoted text clipped - 9 lines] > (for given charge and current distributions) then so do E+grad(f) > and B+grad(g), where f and g are arbitrary harmonic functions. What evidence do you have that this is correct?? To me this is quite false because it is E and B that are measureable quantities and are thus unique. Only the scalar and vector potentials are not unique. The math for a gauge transformation is worked out in one of my web pages. If you follow this you'll see what I mean
http://www.geocities.com/physics_world/em/gauge_transformation.htm
The uniqueness of the fields is proven by the Helmholtz theorem which I made another web page out of. See http://www.geocities.com/physics_world/em/helmholtz_theorem.htm
I hope this helps. Let me know if there is anything you object to in my derivations or if you have any comments for me to respond to. Good luck.
Best regards
Pete
ebunn@lfa221051.richmond.edu - 20 Oct 2007 21:26 GMT >> This is patently false. If E and B satisfy Maxwell's equations, >> (for given charge and current distributions) then so do E+grad(f) [quoted text clipped - 3 lines] >because it is E and B that are measureable quantities and are thus unique. >Only the scalar and vector potentials are not unique. I think you've misunderstood Steven Landsburg's point. His question is whether Maxwell's equations alone are sufficient to specify the E and B fields, not whether the actual, physical E and B fields are unique. His statement above is certainly correct: If (E,B) are a solution to Maxwell's equations for a given set of sources, then so are (E+grad f, B+grad g) where f,g are harmonic (and time-independent). More generally, you can add time-dependent terms onto the original E,B as long as those extra terms satisfy the vacuum Maxwell equations. (For instance, you can have arbitrary wave packets zipping around.)
You ask about the evidence for this statement. It's simply a mathematical proof: if you plug the new expressions into Maxwell's equations, the extra terms having to do with f and g all vanish, so you get a valid solution. (You seem to be looking for physical / experimental evidence, but that's not the appropriate standard here: Landsburg's statement is a theoretical / mathematical one.)
One can conclude from this that Maxwell's equations do not have a unique solution for a given source distribution. On the other hand, they do have a unique solution for a given source distribution, if additional boundary conditions are imposed. Mathematically, that makes sense: it's the way partial differential equations generally behave. Physically, it also makes sense, since we can imagine hypothetical "sources at infinity" that would change the fields.
-Ted
 Signature [E-mail me at name@domain.edu, as opposed to name@machine.domain.edu.]
Tom Roberts - 20 Oct 2007 21:26 GMT >> If E and B satisfy Maxwell's equations, >> (for given charge and current distributions) then so do E+grad(f) >> and B+grad(g), where f and g are arbitrary harmonic functions. > > What evidence do you have that this is correct?? Basic mathematics: as long as f and g are constant in time this is rigorously true. Remember that "harmonic" means div grad f = 0, and just substitute E+grad(f) and B+grad(g) back into Maxwell's equations.
Note that in addition, any solution to the vacuum M.E. can be added to the original solution; Landsburg's example is just a specific instance of this. This is, of course, a general property of ALL linear differential equations. So it is possible to have EM radiation "zoom in from infinity" -- not physically reasonable, but mathematically possible unless sufficient boundary conditions are given to prevent it.
> To me this is quite false > because it is E and B that are measureable quantities and are thus unique. In a given PHYSICAL SITUATION this is correct. But for the mathematical situation of just being given the charge and current distributions, then E and B are not unique. To obtain a unique solution one must also be given boundary conditions on the surface surrounding the volume of interest (volume in spaceTIME), or equivalent.
> Only the scalar and vector potentials are not unique. This is NOT a gauge transformation. This is an indeterminacy in the differential equations when sufficient boundary conditions are not given.
> The uniqueness of the fields is proven by the Helmholtz theorem which I made > another web page out of. See > http://www.geocities.com/physics_world/em/helmholtz_theorem.htm That theorem does not apply here. Just look at your own condition: "entirely contained within a finite region of space". That condition provides the necessary boundary conditions, but was not part of the original question. Landsburg's and my examples do not satisfy that condition.
This is not of purely theoretical interest, because it shows that when performing electronic measurements in your lab, you have to shield against that powerful radar transmitter next door....
[Ted Bunn already explained this once in the second message of this thread, as did several others.]
Tom Roberts
|
|
|