Skip to main content
1 of 2
Kostya_I
  • 9k
  • 1
  • 32
  • 51

I will consider the case $\rho\equiv 0$, as the case of smooth $\rho$ is no different: we can always subtract the convolution of (a restriction of) $\rho$ with the Coulomb potential.

To answer question 2: no, there is no regularity to be claimed from this condition. Consider a vector field on $\mathbb{R}^2$ given by $D(x,y)=(0,f(x))$, where $f$ is arbitrary bounded, Borel measurable function. If $\gamma(t)$ is a parametrized curve, then $D\circ\gamma$ is also bounded and Borel measurable, hence the integral of $D_n$ makes sense, and vanishes for any such curve - to see that, you can for example smooth $f$ out and then pass to the limit.

In general, requiring $D$ to be a vector field (i.e., with coordinates given by functions) that is integrable over any surface is not really a right framework - a right one would be that of vector charges, or currents, and their divergence should be understood in the sense of generalized functions. For example, you can imagine a "flow" that circulates along a smooth closed curve, and vanishes identically outside of it. That is an example of a solenoidal vector charge, i.e., a "generalized vector field" with zero divergence. In general, solenoidal vector charges form a convex set, and thus by Choquet theorem can be decomposed into (uncountably infinite) linear combinations of extremal points of these sets, the "elementary solenoids". These may be more involved that closed curves, even if they are compactly supported: consider an irrational winding on a torus. For more details, see Smirnov, S. K. (1994). Decomposition of solenoidal vector charges into elementary solenoids and the structure of normal one-dimensional currents. St. Petersburg Mathematical Journal, 5(4), 841-867

Kostya_I
  • 9k
  • 1
  • 32
  • 51