Skip to main content
Fixed some typos.
Source Link
Willie Wong
  • 39.1k
  • 4
  • 94
  • 176

By replacing $\phi$ by $-\phi$ you can set $\alpha$ to be positive (or negative, if you wish). By replacing $\phi$ by $\lambda \phi$ you can rescale away $\alpha$. So you can set $\alpha$ to be either $+1$ or $-1$ as you wish.

SupposeSo for now let's consider the situation you are solving $$ \partial^2_{tt}\phi - \Delta \phi = |\nabla \phi|^2 $$ First observation: suppose $\phi$ is a $C^3$ solution with compactly supported initial data, then $\phi$ is uniformly bounded from below on $\mathbb{R}^3\times \mathbb{R}$$\mathbb{R}^3\times [0,\infty)$. LetThis is due to the fact that on $\mathbb{R}^3$ the fundamental solution to the wave equation is signed (a fact also used by John in his proof), so that the solution to the above equation is pointwise $\geq$ the solution to the linear equation with the same initial data. The latter is globally uniformly bounded, and hence $\phi$ is uniformly bounded below.

Now $v = e^\phi - 1$; you have that $v$ is also $C^3$. Observe, and there exists $\beta$ such that $v + 1 > \beta$ uniformly on $\mathbb{R}^3\times [0\infty)$, using the uniform bound on $\phi$.

$$ \Box v = e^\phi \Box \phi + e^\phi (- \partial^2_t \phi + |\nabla\phi|^2) = (1+v)(- \partial^2_t \phi) $$ Now we compute $$ (\partial^2_{tt} - \Delta) v = e^\phi (\partial^2_{tt} - \Delta) \phi + e^\phi (\partial^2_t \phi - |\nabla\phi|^2) = \frac{1}{1+v}( \partial_t v)^2 $$

The lower bound above ensures that the denominator on the RHS is never zero.

Suppose firstnow that $\phi$ is globally bounded above also: then $(1+\phi)$$(1+v)$ is bounded belowabove globally by some $\beta > 0$$M > 0$. Then the condition for Theorem 2 in John's 1981 paper is satisfied and the result follows.

So the remaining question is whether it is possible for $\phi$ to blow-up only at infinity and not at any finite time. I think this canthere may be upgradeda way to the case where the global bound is removedrule this out, but I need to checkthat would require checking some more technical details so I'll have to make sure; I will update the answer if I find out either wayreport back later.

By replacing $\phi$ by $-\phi$ you can set $\alpha$ to be positive (or negative, if you wish). By replacing $\phi$ by $\lambda \phi$ you can rescale away $\alpha$. So you can set $\alpha$ to be either $+1$ or $-1$ as you wish.

Suppose $\phi$ is a $C^3$ solution on $\mathbb{R}^3\times \mathbb{R}$. Let $v = e^\phi - 1$; you have that $v$ is also $C^3$. Observe that

$$ \Box v = e^\phi \Box \phi + e^\phi (- \partial^2_t \phi + |\nabla\phi|^2) = (1+v)(- \partial^2_t \phi) $$

Suppose first that $\phi$ is globally bounded: then $(1+\phi)$ is bounded below globally by some $\beta > 0$. Then the condition for Theorem 2 in John's 1981 paper is satisfied and the result follows.

I think this can be upgraded to the case where the global bound is removed, but I need to check some details to make sure; I will update the answer if I find out either way.

By replacing $\phi$ by $-\phi$ you can set $\alpha$ to be positive (or negative, if you wish). By replacing $\phi$ by $\lambda \phi$ you can rescale away $\alpha$. So you can set $\alpha$ to be either $+1$ or $-1$ as you wish.

So for now let's consider the situation you are solving $$ \partial^2_{tt}\phi - \Delta \phi = |\nabla \phi|^2 $$ First observation: suppose $\phi$ is a $C^3$ solution with compactly supported initial data, then $\phi$ is uniformly bounded from below on $\mathbb{R}^3\times [0,\infty)$. This is due to the fact that on $\mathbb{R}^3$ the fundamental solution to the wave equation is signed (a fact also used by John in his proof), so that the solution to the above equation is pointwise $\geq$ the solution to the linear equation with the same initial data. The latter is globally uniformly bounded, and hence $\phi$ is uniformly bounded below.

Now $v = e^\phi - 1$; you have that $v$ is also $C^3$, and there exists $\beta$ such that $v + 1 > \beta$ uniformly on $\mathbb{R}^3\times [0\infty)$, using the uniform bound on $\phi$.

Now we compute $$ (\partial^2_{tt} - \Delta) v = e^\phi (\partial^2_{tt} - \Delta) \phi + e^\phi (\partial^2_t \phi - |\nabla\phi|^2) = \frac{1}{1+v}( \partial_t v)^2 $$

The lower bound above ensures that the denominator on the RHS is never zero.

Suppose now that $\phi$ is globally bounded above also: then $(1+v)$ is bounded above globally by some $M > 0$. Then the condition for Theorem 2 in John's 1981 paper is satisfied and the result follows.

So the remaining question is whether it is possible for $\phi$ to blow-up only at infinity and not at any finite time. I think there may be a way to rule this out, but that would require checking some more technical details so I'll have to report back later.

Source Link
Willie Wong
  • 39.1k
  • 4
  • 94
  • 176

By replacing $\phi$ by $-\phi$ you can set $\alpha$ to be positive (or negative, if you wish). By replacing $\phi$ by $\lambda \phi$ you can rescale away $\alpha$. So you can set $\alpha$ to be either $+1$ or $-1$ as you wish.

Suppose $\phi$ is a $C^3$ solution on $\mathbb{R}^3\times \mathbb{R}$. Let $v = e^\phi - 1$; you have that $v$ is also $C^3$. Observe that

$$ \Box v = e^\phi \Box \phi + e^\phi (- \partial^2_t \phi + |\nabla\phi|^2) = (1+v)(- \partial^2_t \phi) $$

Suppose first that $\phi$ is globally bounded: then $(1+\phi)$ is bounded below globally by some $\beta > 0$. Then the condition for Theorem 2 in John's 1981 paper is satisfied and the result follows.

I think this can be upgraded to the case where the global bound is removed, but I need to check some details to make sure; I will update the answer if I find out either way.