English

The Nelson conjecture and chain rule property

Analysis of PDEs 2025-12-18 v2 Classical Analysis and ODEs

Abstract

Let p1p\ge 1 and let v ⁣:RdRd\boldsymbol{v} \colon \mathbb R^d \to \mathbb R^d be a compactly supported vector field with vLp(Rd)\boldsymbol{v} \in L^p(\mathbb R^d) and divv=0\operatorname{div} \boldsymbol{v} = 0 (in the sense of distributions). It was conjectured by Nelson that it p=2p=2 then the operator A(ρ):=vρ\mathsf{A}(\rho) := \boldsymbol{v} \cdot \nabla \rho with the domain D(A)=C0(Rd)D(\mathsf A)=C_0^\infty(\mathbb R^d) is essentially skew-adjoint on L2(Rd)L^2(\mathbb R^d). A counterexample to this conjecture for d3d\ge 3 was constructed by Aizenmann. From recent results of Alberti, Bianchini, Crippa and Panov it follows that this conjecture is false even for d=2d=2. Nevertheless, we prove that for d=2d=2 the condition p2p\ge 2 is necessary and sufficient for the following chain rule property of v\boldsymbol{v}: for any ρL(R2)\rho \in L^\infty(\mathbb R^2) and any βC1(R)\beta\in C^1(\mathbb R) the equality div(ρv)=0\operatorname{div}(\rho \boldsymbol{v}) = 0 implies that div(β(ρ)v)=0\operatorname{div}(\beta(\rho) \boldsymbol{v}) = 0. Furthermore, for d=2d=2 we prove that v\boldsymbol{v} has the renormalization property if and only if the stream function (Hamiltonian) of v\boldsymbol{v} has the weak Sard property, and that both of the properties are equivalent to uniqueness of bounded weak solutions to the Cauchy problem for the corresponding continuity equation. These results generalize the criteria established for d=2d=2 and p=p=\infty by Alberti, Bianchini and Crippa.

Cite

@article{arxiv.2411.09338,
  title  = {The Nelson conjecture and chain rule property},
  author = {Nikolay A. Gusev and Mikhail V. Korobkov},
  journal= {arXiv preprint arXiv:2411.09338},
  year   = {2025}
}

Comments

42 pages, 2 figures

R2 v1 2026-06-28T19:59:41.473Z