How to explain the overdetermination of Maxwell's equations

[time601]

Maxwell's equations seem overdetermined, in that they involve six unknowns (the three components of E and B) but eight equations (one for each of the two Gauss's laws, three vector components each for Faraday's and Ampere's laws). (The currents and charges are not unknowns, being freely specifiable subject to charge conservation.)

The usual explanation is: It can be proven that any system satisfying Faraday's law and Ampere's law automatically also satisfies the two Gauss's laws, as long as the system's initial condition does. By introducing dummy variables characterizing these violations, the four equations become not overdetermined after all. (from wiki)

I think this explanation is not correct. For example, how to explain electrostatic field by this explanation? \nabla \times{E} = 0, \nabla \cdot E=\rho
There are four equations and three unknowns.

Maybe it perhaps can be explained in this way.

Typesetting is so bad. The docx file is uploaded.

 

[time601]

In algebra, there are some vectors Yi (i=1,…,n) in a vector space. When there are coefficients (c_i), not all zero, such that \sum\limits_{i = 1}^n {{c_i}{Y_i} = 0}; The vectors Yi (i=1,…,n) are linearly dependent. Now I generalize the definition of linearly dependence in differential equations.There is a linearly partial differential equation:

(1)\left\{ {\begin{array}{*{20}{c}}<br /> {\sum\limits_{ij}^{} {a_{ij}^{\left( 1 \right)}\frac{{\partial {Z_j}}}{{\partial {x_i}}}} + {f_1} = 0}\\<br /> {\sum\limits_{ij}^{} {a_{ij}^{\left( 2 \right)}\frac{{\partial {Z_j}}}{{\partial {x_i}}}} + {f_2} = 0}\\<br /> \vdots \\<br /> {\sum\limits_{ij}^{} {a_{ij}^{\left( n \right)}\frac{{\partial {Z_j}}}{{\partial {x_i}}}} + {f_n} = 0}<br /> \end{array}} \right.

And we make {Y_k} = \sum\limits_{ij}^{} {a_{ij}^{\left( k \right)}\frac{{\partial {Z_j}}}{{\partial {x_i}}}} + {f_k}

The definition of linear dependence in differential equations is:
① there are coefficients (c_i), not all zero, such that \sum\limits_k^{} {{c_k}{Y_k}} \equiv 0
② there are coefficients (c_ij), not all zero, such that \sum\limits_{kl}^{} {{{c&#039;}_{kl}}\frac{{\partial {Y_k}}}{{\partial {x_l}}} \equiv 0}
If the condition①or ②, or both conditions (①&②) are satisfied, then Eqs. (1) are thought as linearly dependent.

The difference between this definition and the one in algebra is: we take one (or more) differentiation on Yk in differential equation ( condition ②).As we all know there are two curl equations in Maxwell equation. And

\nabla \cdot \nabla \times {\bf{E}} \equiv 0

the above equation is satisfied with the condition ②. Therefore, there are two differential linearly dependent equations, and the number of independent equations are six (8-2=6), which are equal to the number of the unknowns.

vixra:1503.0063

 

[gleem]

The usual explanation is: It can be proven that any system satisfying Faraday's law and Ampere's law automatically also satisfies the two Gauss's laws, as long as the system's initial condition does.

a. ∇⋅D =ρ
b. ∇⋅B=0
c. ∇×E + ∂B/∂t =0
d. ∇×H - ∂D/∂t = J

In the 4 Maxwell's equation above you can easily deduce b from c ( by taking the divergence of c) which are sometimes referred to as the first pair of Maxwell's eq. You can deduce a from d ( by taking the divergence of d) which are referred to as the second pair of Maxwell's Eq. So b and c and a and d are not independent.

 

[PeterDonis]

you can easily deduce b from c ( by taking the divergence of c)

That tells you that $\nabla \cdot \left( \partial B / \partial t \right) = 0$, or, exchanging time and space derivatives, $\partial / \partial t \left( \nabla \cdot B \right) = 0$. But that does not imply $\nabla \cdot B = 0$. It only implies that $\nabla \cdot B$ is not a function of time.

You can deduce a from d ( by taking the divergence of d)

That tells you that $\partial / \partial t \left( \nabla \cdot D \right) = \nabla \cdot J$; but that is not the same as equation a.

which are sometimes referred to as the first pair of Maxwell's eq

which are referred to as the second pair of Maxwell's Eq

The "pairs" are not because one of the pair can be derived from the other. They are because each "pair" is actually the expression of a single Lorentz covariant equation; in Lorentz covariant form, there are only two Maxwell Equations, not four.

 

[PeterDonis]

The usual explanation is: It can be proven that any system satisfying Faraday's law and Ampere's law automatically also satisfies the two Gauss's laws, as long as the system's initial condition does.

Another way of putting this is that the two Gauss's Laws are constraint equations, not evolution equations; they tell you what kind of initial conditions you have to have, not how a given set of initial conditions evolves in time.

It's also worth noting that, if you write the fields in terms of a vector and scalar potential, i.e., $E = - \partial A / \partial t - \nabla \phi$, $B = \nabla \times A$, then the two source-free Maxwell equations (b and c) are automatically satisfied. (In Lorentz covariant form, this is just one equation, $dF = 0$, which is an identity if $F = dA$.) So yet another way of describing what's going on is that there are actually only four independent variables, not six (three vector potential components and one scalar potential), and four equations (a and the three components of d) linking those four variables to the source (assumed known). (Again, in Lorentz covariant form, there is just one equation with four components, which can be written schematically as $\nabla \cdot F = J$.)

 

[gleem]

PeterDonis et. al.

Regarding your critique of my comment. I did not go through the full explanation of the issue at hand. Yes the div B is at this point not necessarily equal to zero but if we assume that B was, can or will be zero at some time at any point in space we then are allowed to ( must) set div B=0. Likewise for Div D which equals ρ +C where C is a constant and a function of coordinates. If at anytime we can assume the D and ρ did, are, or will become zero then C being independent of time must be zero. and div D = ρ. Note that the two dependent equations = 0 and are also referred to as the homogeneous pair and the two ≠ 0 are referred to as the inhomogeneous pair. This begs the question If there are only two Maxwell's Eqs why do we continue to tell student that there are four?

 

[Delta2]

I believe one crucial error is that the current and charge density are not unknowns. This is not always true, for example in antenna and transmission line related problems everything is considered to be unknown, the only known thing is the voltage input at the feed point of the antenna or the transmission line.

 

[PeterDonis]

if we assume that B was, can or will be zero at some time at any point in space

But what justifies this assumption? There are certainly solutions of Maxwell's equations for which this is not the case.

If at anytime we can assume the D and ρ did, are, or will become zero

Again, what justifies this assumption? There are solutions for which it is not the case.

This begs the question If there are only two Maxwell's Eqs why do we continue to tell student that there are four?

Because EM is usually taught in ordinary "3+1" notation, i.e., physical quantities are expressed using 3-vector formalism as functions of time. Relativistically, this corresponds to choosing a particular inertial frame and expressing everything in terms of quantities relative to that frame. In that formalism, there are four equations: two have one component (they are scalar equations), and two have three components (they are 3-vector equations), for a total of eight components.

In Lorentz covariant formalism, we do not choose a particular reference frame; we write equations in a form that is valid in any frame. In that form, there are two equations, each with four components, for a total of eight components. So the total number of components, formally speaking, is the same.

Of course, once we start looking at what the components actually express, we find that there are not eight independent degrees of freedom. But that's a separate question.

 

[gleem]

Again, what justifies this assumption? There are solutions for which it is not the case.

Drat! I meant t if we assume that div B was, can or will be zero at some time at any point in space we then are allowed to ( must) set ( or keep) div B=0

 

[PeterDonis]

I meant t if we assume that div B was, can or will be zero at some time at any point in space we then are allowed to ( must) set ( or keep) div B=0

Yes, this is true, and it means, as I said in a previous post, that $\nabla \cdot B = 0$ is really a constraint on initial conditions, not an evolution equation.

 

[gleem]

Just curious, if we had magnetic monopoles could we reduce it to one equation?

 

[time601]

everyone,
now we talk some simpler things, while not talking Maxwell equations.
Electrostatic fields equations
(1) \nabla \cdot E = \rho ,\nabla \times E = 0
There are four eqs, and three unknowns. How to explain it?

Here we only talk Eq. (1), while NOT talking the following
<br /> \begin{array}{l}<br /> first,\nabla \times E = 0 \Rightarrow E = - \nabla \varphi \\<br /> then,\nabla \cdot E = \rho \Rightarrow {\nabla ^2}\varphi = - \rho<br /> \end{array}<br />

 

[PeterDonis]

if we had magnetic monopoles could we reduce it to one equation?

No. In fact, adding magnetic monopoles would increase the number of independent degrees of freedom.

 

[PeterDonis]

There are four eqs, and three unknowns. How to explain it?

Well, one way would be to ignore your next statement:

Here we only talk Eq. (1), while NOT talking the following

If you view the electrostatic field $E$ as the gradient of the scalar potential, there is only one degree of freedom (the potential) and one equation (Gauss's Law). The other equation is an identity.

Physically, since you have restricted yourself to a static situation, you should expect any equation with a time derivative in it to be empty of actual content. So there really is only one equation that tells you anything useful, and therefore one degree of freedom is the correct number.

 

[Demystifier]

Maxwell's equations seem overdetermined, in that they involve six unknowns (the three components of E and B) but eight equations (one for each of the two Gauss's laws, three vector components each for Faraday's and Ampere's laws).

Maxwell equations are not overdetermined, because they are differential equations. For instance, a first-order differential equation for one variable x(t) does not have only one solution, but an infinite number of solutions. A unique solution is determined if you also specify the initial condition x(0). Similarly, Maxwell equations for 6 variables have 6 equations with first time derivatives, so for a unique solution you need 6 initial conditions. The 2 Maxwell equations which do not contain time derivatives are the so-called constraint equations, which serve to constrain 2 initial conditions. In this way you still have freedom to choose arbitrarily 6-2=4 initial conditions.

These 4 initial conditions can also be interpreted as 2 physical degrees of freedom. Namely, Maxwell equations can also be written as second-order differential equations for 4 potentials. Each second-order differential equation requires 2 initial conditions, implying that each degree of freedom requires 2 initial conditions. Therefore the 4 initial conditions correspond to 2 degrees of freedom.

 

[Delta2]

Guys what do you think about the statement in the OP that "current and charge density are not unknows, being freely specifiable subject to charge conservation".

In my opinion they are not freely specifiable they both depend on the electric field. This follows from the definition of current density J=ρυ and either Ohm's law J=σE or from the fact that the electric field exerts force on the charged particles affecting their velocity , and thus the current density and charge density(from continuity equation).

 

[time601]

I think that the title of this thread is not good enough.
Maybe the following is better: How to explain the overdetermination of Electrostatic equations
4 equations and 3 unknowns
div E=\rho, curl E=0

 

[PeterDonis]

How to explain the overdetermination of Electrostatic equations
4 equations and 3 unknowns

This was already answered in post #14. The correct count for electrostatics is 1 equation (Gauss's Law) and 1 unknown (the scalar potential). The other three equations (curl E = 0) are identities and do not contain any additional information.

 

[time601]

I know what you mean. div E=\rho, curl E=0 &lt;=&gt; \nabla \nabla \phi=-\rho
However, which one is dependent in four electrostatics equations?
The Gauss law? or the one of curls?
And what are the algebraic structure of the four equations?

 

[PeterDonis]

which one is dependent in four electrostatics equations?
The Gauss law? or the one of curls?

The curl equation (all 3 components) is an identity if $E = - \nabla \phi$. So it contains no information. The only equation that contains information is Gauss's law, which, as you say, becomes $\nabla^2 \phi = - \rho$ and determines the scalar potential. Since the scalar potential is the only degree of freedom in the electrostatic case, everything works out fine.

what are the algebraic structure of the four equations?

I'm not sure what you mean by this. There is one equation and one degree of freedom, as above.

 

[time601]

Another thing: in two dimensional Maxwell equations, the equaions (4) are equal to unknowns (4: Bx By Ex Ey).
From 2D->3D, only curl equations increase, while divergence not.
Therefore, I think the explanation must be about curl equations, not divergence equation.

 

[PeterDonis]

in two dimensional Maxwell equations, the equaions (4) are equal to unknowns (4: Bx By Ex Ey).

You're still not counting actual degrees of freedom. The two divergence equations are still constraint equations, not evolution equations; they tell you what kind of initial conditions you have to have. The two curl equations are the evolution equations, so there must only be two actual degrees of freedom, not four. Which is exactly right because the divergence equations are preserved by time evolution (i.e., by the curl equations), so there is really only one E degree of freedom and one B degree of freedom. (Again, this is even easier to see if you use potentials--in two dimensions there are just two scalar potentials and that's it.)