The method of additional argument in the theory of nonlinear wave partial differential equations (Q1363875)

We consider the nonlinear differential equation of the form \[ D_1[u]D_2u(t,x)= f(t,x,u(t,x)),\quad (t,x)\in G_2(T), \] where \(D_1[w]={\partial\over\partial t}+ w^m(t,x){\partial\over\partial x}\), \(D_2={\partial^2\over\partial t^2}-{\partial^2\over\partial x^2}+ a_1(t,x){\partial\over\partial t}+ a_2(t,x){\partial\over\partial x}+ a_3(t,x)\), with the initial conditions \(u(0,x)=\varphi(x)\), \(u_t(0,x)= \psi_1(x)\), \(u_{tt}(0,x)= \psi_2(x)\), \(x\in\mathbb{R}\). Here, \(m\) is a positive integer, \(T\) is a positive number, and \(G_2[T]= [0,T]\times\mathbb{R}\). For simplicity we assume that \(a_i(t,x)\equiv 0\), \(i=1,2,3\). Theorem. If \(f(t,x,u)\in\overline C^{(2)}(G_2(T)\times\mathbb{R})\), \(\varphi(x)\in\overline C^{(4)}(\mathbb{R})\), \(\psi_1(x)\in\overline C^{(2)}(\mathbb{R})\), and \(a(x)\equiv\psi_2(x)- \varphi''(x)\in\overline C^{(2)}(\mathbb{R})\), then there exists \(T_0>0\) such that there exists a unique solution in the space \(\overline C^{(3)}(G_2(T_0))\).