4

In many textbooks, including Griffiths', they erroneously claim that a field is irrotational if and only if it is conservative (there exists a scalar potential).

This is true only if the domain of the field is simply connected, which is obviously not the case in electrostatics (we have $\mathbb{R}^3$ excluding the points where the charges are located).

Also, it seems like everyone assumes that $\vec{E}$ and $\vec{B}$ (electric and magnetic field) are continuously differentiable (which is not the case, just think about a conductor), so that they can use Stokes theorem, the divergence theorem and so on.

What am I missing?

I also have a bit of confusion about the definition of electrostatic field. By electric field I mean two things:

  1. The electric field generated by a finite number of charges $Q_0, \dots, Q_N$ located at $\vec{r_0}, \dots, \vec{r_N}$: $$ \vec{E}(\vec{r}) = \frac{1}{4 \pi \epsilon_0} \sum_{i=1}^{N}\frac{Q_i}{||\vec{r}-\vec{r_i}||^3} (\vec{r}-\vec{r_i}) $$
  2. The electric field generated by a continuous distribution of charge $\rho$: $$ \vec{E}(\vec{r}) = \frac{1}{4 \pi \epsilon_0} \iiint_K \frac{\rho(\vec{r'})}{||\vec{r}-\vec{r'}||^3} (\vec{r}-\vec{r'}) \ d^3\vec{r'} $$

Griffiths proves that the electrostatic field is conservative by manually calculating the line integral of a single-charge electrostatic field over an arbitrary path (the same would be for a finite number of charges); the result depends only on the end points, so $\vec{E}$ is conservative. Does this prove the fact that the electrostatic potential produced by a continuous charge distribution is conservative? I don't think so, and I cannot find a proper proof of this.

Mattia F.
  • 255

1 Answers1

6

This is true only if the domain of the field is simply connected, which is obviously not the case in electrostatics (we have ℝ3 excluding the points where the charges are located).

Which definition of simply connected are you using? In $\mathbb{R}^3 $ the exclusion of isolated points does not destroy the simple connectivity. The reduction to one point of any closed curve is not hampered by isolated points.

..it seems like everyone assumes that E⃗ and B⃗ (electric and magnetic field) are continuously differentiable (which is not the case, just think about a conductor)...

In the case of a conductor, the fields E and B have discontinuities only at the surface. Elsewhere, not at the separation surfaces, they are modeled by smooth functions

Formulae [1] and [2] are equivalent. One is for isolated, finite charges, while the other is for continuous charge distribution