On the global regularity for a Wave-Klein-Gordon coupled system (Q2311724)

The authors consider the Wave-Klein-Gordon (W-KG) system in $3+1$ dimensions, \[ -\square u =A^{\alpha\beta}\partial_\alpha v\partial_\beta v+Dv^2,\qquad (-\square +1)v=uB^{\alpha\beta}\partial_\alpha\partial_\beta v,\tag{1} \] where $u$, $v$ are real-valued functions, and $A^{\alpha\beta}$, $B^{\alpha\beta}$, and $D$ are real constants, and $A^{\alpha\beta}=A^{\beta\alpha}$ and $B^{\alpha\beta}=B^{\beta\alpha}$, $\alpha,\beta\in\{0,1,2,3\}$, $B^{00}=0$. Define the operators on $\mathbb{R}^3$: \( \Lambda_{wa}:=|\nabla|\), \( \Lambda_{kg}:=\langle\nabla\rangle=\sqrt{|\nabla|^2+1} \), the Lorentz vector-fields $\Gamma_j$ and the rotation vector-fields $\Omega_{jk}$, \( \Gamma_j:=x_j\partial_t+t\partial_j\), \( \Omega_{jk}:=x_j\partial_k-x_k\partial_j \), for $j,k\in\{1,2,3\}$, and for each $\alpha=(\alpha_1,\alpha_2,\alpha_3)\in(\mathbb{Z}_+)^3$, let \[ \partial^\alpha:=\partial_1^{\alpha_1}\partial_2^{\alpha_2}\partial_3^{\alpha_3},\qquad \Omega^\alpha:=\Omega_{23}^{\alpha_1}\Omega_{31}^{\alpha_2}\Omega_{12}^{\alpha_3},\qquad \Gamma^\alpha:=\Gamma_1^{\alpha_1}\Gamma_2^{\alpha_2}\Gamma_3^{\alpha_3}. \] For any $n\in\mathbb{Z}_+$, the symbol $\mathcal{V}_n$ stands for the set of differential operators of the form \[ \mathcal{V}_n:=\left\{\Gamma_1^{a_1}\Gamma_2^{a_2}\Gamma_3^{a_3} \Omega_{23}^{b_1}\Omega_{31}^{b_2}\Omega_{12}^{b_3} \partial_0^{\alpha_0}\partial_1^{\alpha_1}\partial_2^{\alpha_2} \partial_3^{\alpha_3}:\sum_{j=1}^3(a_j+b_j)+\sum_{k=0}^3\alpha_k\leqslant n\right\}. \] For $a\geq 0$, let $H^a$ be the usual Sobolev spaces on $\mathbb{R}^3$. Introduce the Banach spaces $H^{a,b}_\Omega$, $a,b\in\mathbb{Z}_+$, with the norms \[ \|f\|_{H^{a,b}_{\Omega}}:=\sum_{|\alpha|\leqslant b}\|\Omega^\alpha f\|_{H^a}, \] and the weighted Sobolev spaces $H^{a,b}_{S,wa}$ and $H^{a,b}_{S,kg}$ with the norms \[ \|f\|_{H^{a,b}_{S,wa}}:=\sum_{|\beta'|\leqslant |\beta|\leqslant b}\|x^{\beta'}\partial^{\beta} f\|_{H^a},\qquad \|f\|_{H^{a,b}_{S,kg}}:=\sum_{|\beta|,|\beta'|\leqslant b}\|x^{\beta'}\partial^{\beta} f\|_{H^a}, \] where $x^{\beta'}=x_1^{\beta'_1}x_2^{\beta'_2}x_3^{\beta'_3}$ and $\partial^\beta:=\partial_1^{\beta_1}\partial_2^{\beta_2}\partial_3^{\beta_3}$. Main Theorem. Assume that $N_0:=40$, $N_1:=3$, $d:=10$, and $u_0,\dot{u}_0,v_0,\dot{v}_0:\mathbb{R}^3\to\mathbb{R}$ are real-valued initial data satisfying the smallness assumptions \[ \sum_{n=0}^{N_1}\big[\|\,|\nabla|^{-\frac{1}{2}}U^{wa}_0\|_{H^{N(n),n}_{S,wa}} +\|U^{kg}_0\|_{H^{N(n),n}_{S,kg}}\big]\leqslant\varepsilon_0\leqslant\overline{\varepsilon}, \] where $\overline{\varepsilon}$ is a sufficiently small constant (depending only on the constants $A^{\alpha\beta}$, $B^{\alpha\beta}$, $D$ in (1)), $N(0)=N_0+3d$, $N(n)=N_0-dn$ for $n\geq 1$, and \[ U^{wa}_0:=\dot{u}_0-i\Lambda_{wa} u_0,\qquad U^{kg}_0:=\dot{v}_0-i\Lambda_{kg} v_0. \] Then there is a unique real-valued global solution $(u,v)$ of the system (1) with $(|\nabla|^{\frac{1}{2}}u,v)\in C([0,\infty):H^{N(0)}\times H^{N(0)+1})\cap C^1([0,\infty):H^{N(0)-1}\times H^{N(0)})$, with initial data \( u(0)=u_0\), \(\partial_tu(0)=\dot{u}_0\), \(v(0)=v_0\), \(\partial_tv(0)=\dot{v}_0\). Moreover, with $\overline{\delta}=10^{-7}$, the solution $(u,v)$ satisfies the energy bounds with slow growth, \[ \sup_{n\leqslant N_1,\,\mathcal{L}\in\mathcal{V}_n}\big\{\||\nabla|^{-\frac{1}{2}} (\partial_t-i\Lambda_{wa})\mathcal{L}u(t)\|_{H^{N(n)}} +\|(\partial_t-i\Lambda_{kg})\mathcal{L}v(t)\|_{H^{N(n)}}\big\} \lesssim\varepsilon_0(1+t)^{\overline{\delta}}, \] for any $t\in[0,\infty)$, and the pointwise decay bounds \[ \sum_{|\alpha|+\alpha_0\leqslant N_0-2d}\big\{\|\partial^\alpha\partial_0^{\alpha_0} u(t)\|_{L^\infty}+\|\partial^\alpha\partial_0^{\alpha_0} v(t)\|_{L^\infty}\big\}\lesssim\varepsilon_0(1+t)^{\overline{\delta}-1}. \]