No label defined (Q4523968)

The author defines the regular hyperbolicity of a second-order system of Euler-Lagrange equations and the property of an associated domain of dependence. Let \(L\) be a Lagrangian in the theory of maps of a manifold \(M\) into a manifold \(N\) which is a \(C^\infty\) section. Let \(u_0\) be a \(C^2\) solution of the Euler-Lagrange equations corresponding to \(L\), defined in a domain \(R\subset M\) such that \(L\) is regular hyperbolic at \(du_0(x)\) for each \(x\in R\). Denote by \(\Sigma\) a hypersurface in \(R\) which is spacelike relative to \(L\) and \(u_0\). Then he proves that, if \(u_1\), a \(C^1\) map of \(R\) into \(N\), be another solution of the Euler-Lagrange equations corresponding to \(L\), such that \(u_1(x)= u_0(x)\), \(du_1(x)= du_0(x)\), \(x\in \Sigma\), then \(u_1\) coincides with \(u_0\) on the domain of dependence of \(\Sigma\) relative to \(L\) and \(u_0\). For the entire collection see [Zbl 0947.00025].