This relates closely to questions such as
Deriving Coulomb's Law from Gauss's Law
and
Does the Coulomb's law include more information than the Gauss's Law in electrostatics?
My question concerns the nature of isotropy in field theory generally, and how determinism impacts on this.
Here is the background. It is well known that a simple argument involving an integral and spherical symmetry allows one to use Gauss' law in electrostatics $$ \nabla \cdot {\bf E} = \rho / \epsilon_0 $$ to deduce Coulomb's law for the field of a point charge, $$ {\bf E} = q \hat{\bf r}/(4 \pi \epsilon_0 r^2). $$
It is often claimed, however, that in this area Coulomb's law contains more information than Gauss' law. The argument is that, given Coulomb's law one can deduce Gauss, but given Gauss alone one cannot deduce Coulomb. This claim is based on the idea that spherical symmetry is a further assumption. It is claimed that, given a static point charge as source, one has no way of knowing, in the absence of further field equations such as the other Maxwell equations, whether or not the field will have a non-zero curl.
Let me give a related example to convey the idea. If one wishes to know the magnetic field of a long straight current-carrying wire, one can use Ampere's Law to find the component in the direction around the wire. One finds $B_\phi = \mu_0 I / (2 \pi r)$. However this calculation tells one nothing at all about the radial component $B_r$. In order to establish that $B_r = 0$ in this example, one needs further information, such as Gauss' law for magnetic fields ($\nabla \cdot {\bf B} = 0$). So it is clear that Ampere's law provides less information about static magnetic fields than does the Biot-Savart law.
However I think the reasoning for electrostatics is different. For a static point charge there is spherical not just axial symmetry, which is significant because of the hairy ball theorem: a continuous vector field tangent to a sphere must have at least one point where the vector is zero. So if the field itself has spherical symmetry then its component tangent to the sphere must be everywhere zero. This suffices to complete the argument from Gauss to Coulomb.
Before asking my specific question, I need to clear away a couple of issues. Coulomb's law is often quoted for a "point charge" but one does not need to insist that the charge distribution is strictly point-like, only that its radius is small compared to all other distances under discussion. Also, one should not allow this charge to have anything beyond monopole moment (no dipole etc.) since otherwise Coulomb's law would not apply. Finally, the charge is static.
It follows that the charge distribution we are talking about is isotropic.
Hence the nub of the question is:
- In classical physics, can an isotropic source give a non-isotropic field?
Or, to put it another way:
- Suppose we have a continuous vector field $F$ satisfying $\nabla \cdot {\bf F} = \rho$, and the physical property $\rho$ has physical effects via its impact on the field, which in turn can exert a force on other objects having non-zero $\rho$. Suppose further that $\rho$ has the form of a uniform spherical ball, and otherwise there is empty space everywhere else (in particular, no other source of the field $\bf F$). In this scenario can the direction of $\bf F$ in principle be other than radial towards or away from the centre of the ball?
I think my wish to answer "no" to these questions is because I am tacitly bringing in some considerations which arise from the fact that we are talking about physics not pure mathematics. In pure mathematics one could introduce a field component with non-zero curl without changing $\nabla \cdot {\bf E}$. But in physics the notion of "source" is connected to the notion of cause and effect, and in classical physics at least we normally assume a one-to-one correspondence between cause and effect. If we did not then we might be implicitly introducing information in a way that did not satisfy the Second Law of thermodynamics. Also, the very definition of the physical property $\rho$ suggests to me that it would not make sense to speak of a spherically symmetric $\rho$ without an isotropic associated field, because the field and its effects are what indicates the presence of $\rho$ in the first place. What can a statement that $\rho$ is isotropic mean other than that its field is isotropic?
Therefore if anyone wishes to answer "yes" to the above questions (1, 2) then please could they discuss this further issue about cause and effect and one-to-one mapping.
If anyone wishes to answer "no" to the above questions, then please could they also state explicitly whether or not it follows, in the context of deterministic physics at least, that Coulomb's law and Gauss' law are equivalent (in electrostatics in three dimensions) because each can be derived from the other?