On the radius of spatial analyticity for the Klein-Gordon-Schrödinger system (Q2119889)

The authors study a classical model which describes a system of a complex scalar nucleon field \(u\) interacting with a neutral real scalar meson field \(n\). It written in the form of a Cauchy problem for Klein-Gordon-Schrödinger system. The well-posedness with initial data in Sobolev spaces has been intensively studied, [\textit{H. Pecher}, Differ. Integral Equ. 25, No. 1--2, 117--142 (2012; Zbl 1249.35309); \textit{C. Huang} et al., Sci. China, Math. 59, No. 7, 1345--1366 (2016; Zbl 1346.35213); \textit{H. Pecher}, Differ. Integral Equ. 17, No. 1--2, 179--214 (2004; Zbl 1164.35511); \textit{J. Colliander} et al., Trans. Am. Math. Soc. 360, No. 9, 4619--4638 (2008; Zbl 1158.35085); \textit{H. Pecher}, Commun. Pure Appl. Anal. 11, No. 3, 1081--1096 (2012; Zbl 1283.35129)]. In the present paper, the authors study spatial analiticity of the system. In particular, it is described how the initial analyticity is continued at later time. The propagation of analiticity is given through its radius \( \sigma = \sigma (t) \). Appropriate classes of functions are given by analytic extension of Gevrey type classes \(G^{\sigma, s} (\mathbb{R}^d) \) of smooth functions such that \[ \| f \|_{G^{\sigma, s}} = \| e^{\sigma \| D \| \langle D \rangle ^s f}\|_{L^2} < \infty. \] Here, \( \sigma > 0\), \( s \in \mathbb{R}\), \( D = -i \nabla \), \( \| \xi \| = \sum_{i =1} ^d | \xi_i |\), and \( \langle \xi \rangle = \sqrt{1+ |\xi|^2}\). Apart from local well-possedness in Gevrey spaces, the authors establish an almost conservation law to bound the growth of the Gevrey norm of the solution in time, and extend the local solution globally in time by making use of the approximate conservation law.