Skip to main content
3 of 3
Fixed a mistake
Asaf Shachar
  • 6.7k
  • 2
  • 20
  • 70

Can we approximate a vector field on the plane with non-vanishing vector fields in $W^{1,2}$?

Let $V$ be a compactly-supported vector field on $\mathbb{R}^2$, whose zeros inside some open neighbourhood of the closed unit disk $\mathbb{D}^2$ are isolated.

Does there exist a sequence of vector fields $V_n \in C^\infty \cap W^{1,2}$ on $\mathbb{R}^2$, such that $V_n \to V$ in $W^{1,2}$ and the $V_n$ do not vanish on $\mathbb{D}^2$?

If we replace the $W^{1,2}$ convergence with $L^2$ convergence, than the answer is positive. The idea is to push the zeroes out of the disk by composing $V$ with a diffeomorphism which affects a region of very small measure.

Asaf Shachar
  • 6.7k
  • 2
  • 20
  • 70