Skip to main content
2 of 2
Link to MR
LSpice
  • 12.9k
  • 4
  • 45
  • 69

If I understand things correctly, $u$ is vanishing on some non-empty open subset. Moreover, you have pointwisely on $\mathbb R^3$ the differential inequality $$ \lvert \Delta u\rvert\le C\lvert u\rvert^5. $$ Also, you know that the function $u$ is in $\smash{\dot H}^1(\mathbb R^3)$, which is a subset of $L^6(\mathbb R^3)$. This implies that $$ \lvert u\rvert^5=\lvert u\rvert\underbrace{\lvert u\rvert^4}_{L^{3/2}}, $$ implying that you have a differential inequality $ \lvert \Delta u\rvert\le V\lvert u\rvert, \ V \in L^{d/2} $ in $\mathbb R^d$, $d\ge 3$. Then the strong unique continuation result due to Jerison & Kenig [MR0794370] entails that $u\equiv 0$. Note that $d/2$ is critical and that $L^{d/2}_{\text{loc}}$ is enough.

Bazin
  • 16.2k
  • 32
  • 66