Introduction to scattering for radial 3D NLKG below energy norm

Tristan Roy

arXiv: 0809.3835v3 · PDF · 22 August 2016
Categories: math.AP, math-ph, math.MP
Licence: CC BY 4.0 The site shows the text.

Abstract

We prove scattering for the radial nonlinear Klein-Gordon equation \partial_{tt} u - \Delta u + u = -|u|^{p-1} u with 5 > p >3 and data (u_{0}, u_{1}) \in H^{s} \times H^{s-1}, 1 > s > 1- \frac{(5-p)(p-3)}{2(p-1)(p-2)} if 4 \geq p > 3 and 1 > s > 1 - \frac{(5-p)^{2}}{2(p-1)(6-p)} if 5> p \geq 4. First we prove Strichartz-type estimates in L_{t}^{q} L_{x}^{r} spaces. Then by using these decays we establish some local bounds. By combining these results with a Morawetz-type estimate and a radial Sobolev inequality we control the variation of an almost conserved quantity on arbitrarily large intervals. Once we have showed that this quantity is controlled, we prove that some of these local bounds can be upgraded to global bounds. This is enough to establish scattering. All the estimates involved require a delicate analysis due to the nature of the nonlinearity and the lack of scaling.

Items 11

Theorem

Theorem 1

KK2L

The p-radial defocusing Klein-Gordon equation on \mathbb{R}^{3} is globally well-posed in H^{s} \times H^{s-1}, 1 > s > s(p) and there exists a scattering state \left( u_{+,0}, u_{+,1} \right) \in H^{s} \times H^{s-1} such that

\begin{array}{ll} \lim \limits_{T \rightarrow \infty} \| \left( u(T) , \partial_{t} u(T) \right) - K(T) ( u_{+,0}, \, u_{+,1} ) \|_{H^{s} \times H^{s-1}} & = 0 \end{array}

with

K(t):= \left( \begin{array}{lll} \cos{(t \langle D \rangle)} & & \frac{ \sin {(t \langle D \rangle)}}{\langle D \rangle} \\ - \langle D \rangle \sin { t \langle D \rangle} & & \cos{ (t \langle D \rangle)} \end{array} \right)

3<p<5 and

\begin{array}{ll} s_{p} & := \left\{ \begin{array}{l} 1 - \frac{(5-p)(p-3)}{2(p-1)(p-2)}, \, 3< p \leq 4 \\ 1 - \frac{(5-p)^{2}}{2(p-1)(6-p)}, \, 4 \leq p < 5 \end{array} \right. \end{array}

Proposition

Proposition 2

5B90

"Strichartz estimates for Klein-Gordon equations in L_{t}^{q} L_{x}^{r} spaces" Assume that u satisfies the following Klein-Gordon equation on \mathbb{R}^{d}, d \geq 3

\left\{ \begin{array}{ccl} \partial_{tt} u - \Delta u + u & = & Q \\ u(0,x)& = & u_{0}(x) \\ \partial_{t} u(0,x) & = & u_{1}(x) \end{array} \right.

Let T \geq 0. Then

\begin{array}{l} \| u \|_{L_{t}^{q}([0,T]) L_{x}^{r}} + \| \partial_{t} \langle D \rangle^{-1} u \|_{L_{t}^{q}([0, \,T]) L_{x}^{r}} + \| u \|_{L_{t}^{\infty} \left( [0, \, T], \, H^{m} \right)} + \| \partial_{t} u \|_{L_{t}^{\infty} \left( [0, \, T], \, H^{m-1} \right)} \\ \\ \lesssim \| u_{0} \|_{H^{m}} + \| u_{1} \|_{H^{m-1}} + \| Q \|_{L_{t}^{\tilde{q}}([0,T]) L_{x}^{\tilde{r}}} \end{array}

under the following assumptions

(q,r) is m- wave admissible, i.e (q,r) lies in the set \mathcal{W} of wave-admissible points
\begin{array}{ll} \mathcal{W} & := \left\{ (q,r): (q,r) \in (2, \infty] \times [2, \infty), \, \frac{1}{q} + \frac{d-1}{2r} \leq \frac{d-1}{4} \right\} \end{array}
it obeys the following constraint
\begin{array}{ll} \frac{1}{q} + \frac{d}{r} & =\frac{d}{2} -m \end{array}
and
\begin{array}{ll} (q,r) & \neq \left( 2, \, \frac{2(d-1)}{d-3} \right) \end{array}
(\tilde{q},\tilde{r}) lies in the dual set \widetilde{\mathcal{W}} of \mathcal{W} i.e
\begin{array}{ll} \widetilde{\mathcal{W}} & := \left\{ (\tilde{q},\tilde{r}): \frac{1}{\tilde{q}} + \frac{1}{q}=1, \, \frac{1}{\tilde{r}} + \frac{1}{r}=1 \right\} \end{array}
and it satisfies the following inequality
\begin{array}{ll} \frac{1}{\tilde{q}} + \frac{d}{\tilde{r}} -2 & = \frac{1}{q} + \frac{d}{r} \end{array}

Remark

Remark 3

KMAK

Notice that the constraints that (q,r,\tilde{q},\tilde{r}) must satisfy are essentially the same to those in the Strichartz estimates for the wave equation [linsog]. These similarities are not that surprising. Indeed the relevant operator is e^{i t \langle D \rangle}, e^{itD} for the Klein-Gordon, wave equations respectively (with D multiplier defined by \widehat{Df}(\xi):=|\xi| \widehat{f}(\xi)). They are similar to each other on high frequencies.

Proposition

Proposition 4

DTZT

"Mollified energy at time 0 is bounded by N^{2(1-s)}" Assume that s_{c} < s < 1. Then

\begin{array}{ll} E(Iu_{0}) & \lesssim N^{2(1-s)} \left( \| u_{0} \|^{2}_{H^{s}} + \| u_{1} \|^{2}_{H^{s-1}} + \| u_{0} \|^{p+1}_{H^{s}} \right) \end{array}

Proposition

Proposition 5

BCBN

"Local Boundedness" Assume that u satisfies (?). Let \mathcal{M}=[0,s] \cup \{ 1- \}. There exists N= N(\| u_{0} \|_{H^{s}}, \| u_{1} \|_{H^{s-1}}) \gg 1 such that if J, time interval, satisfies

\begin{array}{ll} \sup_{t \in J} E(Iu(t)) & \leq 3 E(Iu_{0}) \end{array}

and

\begin{array}{ll} \| I u \|_{L_{t}^{p+2}(J) L_{x}^{p+2}} & \leq \frac{1}{ N^{+}\left( E(Iu_{0}) \right)^{\frac{1- \theta_{2}}{2 \theta_{2}}}} \end{array}

then

\begin{array}{ll} Z(J,u) & \lesssim E^{\frac{1}{2}}(Iu_{0}) \end{array}

where, given a function v,

\begin{array}{ll} Z(J,v) & := \sup_{m \in \mathcal{M}} Z_{m,s}(J,v) \end{array}

and

\begin{array}{ll} Z_{m,s}(J,v) & := \sup_{ (q,r)-m \, wave \, adm} \| \partial_{t} \langle D \rangle ^{-m} I v \|_{L_{t}^{q}(J) L_{x}^{r}} + \| \langle D \rangle^{1-m} I v \|_{L_{t}^{q}(J) L_{x}^{r}} \end{array}

We recall that, if a and M are two real number, then M^{a+}:=M^{a+ \alpha} and M^{a-}:=M^{a - \alpha} for 0 < \alpha \ll 1.

Proposition

Proposition 6

4F5A

"Almost Conservation Law " Assume that u satisfies (?). Let J=[a,b] be a time interval. Let 3 \leq p < 5 and s \geq \frac{3p-5}{2p}. Then

\begin{array}{ll} \left| \sup_{t \in J} E(Iu(t)) - E(Iu(a)) \right| & \lesssim \frac{Z^{p+1}(J,u)}{N^{\frac{5-p}{2}-}} \end{array}

Remark

Remark 7

AQ4M

Notice that if p=3 then the upper bound is O \left( \frac{1}{N^{1-}} \right) modulo Z^{p+1}(J,u). This result has already been established in [triroyrad] for a slighly different problem, i.e the defocusing cubic wave equation by using a multilinear analysis.

Proposition

Proposition 8

9AAB

"Estimate of integrals" Let J be a time interval. Let v be a function. Then for i=1,2 we have

\begin{array}{ll} | R_{i}(J,v) | & \lesssim \frac{Z^{p+1}(J,v)}{N^{\frac{5-p}{2}-}} \end{array}

with

\begin{array}{ll} R_{1}(J,v) : = \int_{J} \int_{\mathbb{R}^{3}} \frac{\nabla Iv(t,x).x}{|x|} \left( F(Iv) - I F(v) \right) \, dx dt \end{array}

and

\begin{array}{ll} R_{2}(J,v) := \int_{J} \int_{\mathbb{R}^{3}} \frac{Iv(t,x)}{|x|} \left( F(Iv) - I F(v) \right) \, dx dt \end{array}

Proposition

Proposition 9

WNTO

"Almost Morawetz-Strauss Estimate" Let u be a solution of (?) and let T \geq 0. Then

\begin{array}{ll} \int_{0}^{T} \int_{\mathbb{R}^{3}} \frac{|Iu(t,x)|^{p+1}}{|x|} \, dx dt & \lesssim \sup_{t \in [0, T]} E(Iu(t)) + R_{1}([0, \, T],u) + R_{2}([0, \, T],u) \end{array}

Lemma

Lemma 10

FUOT

Let x(t) be a nonnegative continuous function of time t such that x(0)=0. Let X be a positive constant and let \alpha_{i}, \, C_{i}, i \in \{ 1,..,m \} be nonnegative constants such that

\begin{array}{ll} C_{i} X^{\alpha_{i}-1} & \ll 1 \end{array}

and

\begin{array}{ll} x(t) & \lesssim X + \displaystyle {\sum_{i=1}^{m}} C_{i} x^{\alpha_{i}}(t) \end{array}

Then

\begin{array}{ll} x(t) & \lesssim X \end{array}

Lemma

Lemma 11

W812

Let G such that \| G \|_{L_{t}^{\infty}(J) L_{x}^{2}} \lesssim Z(J,v). If s \geq \frac{3p-5}{2p} > s_{c} and 3 \leq p < 5 then

\begin{array}{ll} \int_{J} \int_{\mathbb{R}^{3}} \left| G \, ( F(Iv) - IF(v)) \right| \, dx dt & \lesssim \frac{ Z^{p+1}(J,v)}{N^{\frac{5-p}{2}-}} \end{array}

Source and licence

The text on this page is from arXiv:0809.3835v3 by Tristan Roy, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/0809/0809.3835.jsonl.