A direct proof of global existence for the Dirac-Klein-Gordon equations in one space dimension (Q1880534)

The author studies the Cauchy problem for the Dirac-Klein-Gordon equations (KDG Eqs): \[ D\psi\equiv -i\gamma^\mu\partial_\mu\psi(t,x)=\phi(t,x)\psi(t,x),\quad \square \phi\equiv(-\partial_t^2+\partial_x^2)\phi(t,x) = \psi^*\psi(t,x)=\psi'\gamma^0\psi, \] \(\psi(0,x)=\psi_0\in L^2(R)\); \(\phi(0,x)=\phi_0\in H^1(\mathbb{R},\mathbb{R})\), \(\partial_t\phi(0,x)=\phi_1\in L^2(\mathbb{R})\). He proves the local existence of the solution, and shows the global existence in a remark. The idea of the proof is the following: ``\(\square\phi=F\), \(\phi(0)=\phi_0\), \(\partial_t\phi(0) = \phi_1\)'', and ``\(\square\psi=DG\), \(\psi(0)=\psi_0\), \(\partial_t\psi(0) = -\gamma^0\gamma^1 d\psi_0/dx\)'' have solution representations. ``\(D\psi_j=G_j\), \(\psi_j(0) = \psi_{0j}\), \(j=1,2\)'' implies \[ \| \psi'_1\gamma^0\psi_2\|_{L^2([0,T],L^2)}\leq C\cdot\prod_{i=1,2}(\|\psi_{0k}\|_{L^2}+\int_{[0,T]}\| G_i(s)\|_{L^2}\,ds). \] By using \(J(T)=\sup_{[0,T]} (\| \psi (t)\|_{L^2}+\| \phi(t)\|_{H^1}+\|\phi(t)\|_{L^2})\leq C(T,J(0))\) etc. and an iteration scheme, the author derives the result: There exist a \(T>0\), depending only on \(J(0)\), and a unique solution of the KDG Eq on \([0,T)\times \mathbb{R}\). \(C(T,J(0))\) is a constant depending only on \(T\) and \(J(0)\).