Skip to main content
\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)
Mathematics LibreTexts

3.4: Systems of Second Order

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    Here we consider the system
    \sum_{k,l=1}^nA^{kl}(x,u,\nabla u)u_{x_kx_l}+\mbox{lower order terms}=0,
    where \(A^{kl}\) are \((m\times m)\) matrices and \(u=(u_1,\ldots,u_m)^T\). We assume \(A^{kl}=A^{lk}\), which is no restriction of generality provided $u\in C^2$ is satisfied.
    As in the previous sections, the classification follows from the question whether or not we can calculate formally the solution from the differential equations, if sufficiently many data are given on an initial manifold. Let the initial manifold \(\mathcal{S}\) be given by \(\chi(x)=0\) and assume that \(\nabla\chi\not=0\). The mapping \(x=x(\lambda)\), see previous sections, leads to
    \sum_{k,l=1}^nA^{kl}\chi_{x_k}\chi_{x_l}v_{\lambda_n\lambda_n}=\mbox{terms known on}\ \mathcal{S},
    where \(v(\lambda)=u(x(\lambda))\).

    The characteristic equation is here
    If there is a solution \(\chi\) with \(\nabla\chi\not=0\), then it is possible that second derivatives are not continuous in a neighborhood of \(\mathcal{S}\).

    Definition. The system is called elliptic if
    for all \(\zeta\in\mathbb{R}\), \(\zeta\not=0\).