1
$\begingroup$

I am wondering if the fact that "the electric potential is continuous" should not be added to the set of axioms of physics.

I have never seen a problem where the potential is discontinuous, unless, possibly if the problem involved non physical assumptions (like infinite objects etc.). Are you aware of any real situation where the electric potential can be shown to be discontinous?

$\endgroup$
6
  • 5
    $\begingroup$ Do you count point charges as "non-physical objects"? How about ideal dipoles? How about infinitesimally thin surface charges? One could argue that all three are equally reasonable; and if you grant me the last two I can give you a situation with a discontinuous potential (a thin sheet with a constant dipole moment per area.) $\endgroup$ Commented Feb 21, 2023 at 21:10
  • 2
    $\begingroup$ @MichaelSeifert In general, strictly speaking, nothing that is idealized is physical. $\endgroup$
    – Steeven
    Commented Feb 21, 2023 at 21:16
  • 2
    $\begingroup$ Indeed, nothing that is idealised is physical, but then that means that uniform charge densities (and anything not made of point charges) is not physical either. But that is not a constructive way to work. Electromagnetism often uses various idealised sources (some homogeneous, some singular) for good reasons, and adding axioms into physics that forbid the use of any of those sources should only be done for even better reasons. $\endgroup$ Commented Feb 21, 2023 at 21:25
  • 3
    $\begingroup$ And speaking of which: the electric potential is discontinuous at surface dipole layers. $\endgroup$ Commented Feb 21, 2023 at 21:26
  • $\begingroup$ @Emilio Pisanty: I disagree with the fact that uniform charge densities are "as not physical" as point charges: the charge densities are defined by smoothing the microscopic charges by convolution with a Gaussian, leading to the macroscopic field which is smooth. Sure, the macroscopic field is a mathematical being, but it is real, just like the mean of your score in a competition is real. $\endgroup$
    – MikeTeX
    Commented Feb 22, 2023 at 6:14

3 Answers 3

4
$\begingroup$

There is no "the set of axioms of physics". Assumptions in physics are often adopted or rejected flexibly, depending on their utility for the problem at hand.

An example of a discontinuous electric potential is electric potential due a point dipole, at the point where the point dipole is. Depending on the direction from which we approach the dipole, potential can remain always zero, or grow negative, or grow positive, and thus at the dipole, it has no universal limit, and thus potential is not continuous there.

But this "problem" is only at that single point, everywhere else it is continuous.

Point dipole is so useful a concept that the discontinuity did not prevent people to adopt it into EM theory.

$\endgroup$
4
$\begingroup$

It is discontinuous if there ever exists a sufficiently singular charge density, which is extremely common. For example, point-charges with charge density $\sim \delta^{(3)}(\vec x - \vec x_0)$.

You might argue that these singular charge-distributions are unphysical, and merely crude approximations to smooth underlying charge-distributions. The key is to realize that this doesn't really matter - Maxwell's equations work just fine with such singular charge distributions.

$\endgroup$
3
  • 1
    $\begingroup$ Nitpick: the potential is continuous at a surface charge, it's just not differentiable. $\endgroup$ Commented Feb 21, 2023 at 22:45
  • $\begingroup$ @MichaelSeifert Oh wow, that was dumb of me. Good point. $\endgroup$ Commented Feb 21, 2023 at 23:51
  • $\begingroup$ See also this answer physics.stackexchange.com/a/450046/226902 $\endgroup$
    – Quillo
    Commented Feb 21, 2023 at 23:52
3
$\begingroup$

Physics is based on phenomena, not axioms. Some mathematical models of physics have axioms, though. You are free to add your axiom to electromagnetic models since there is no experiment that can falsify it. I think most of us would rather not do so, as it would simply prohibit useful idealizations without adding any utility.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.