Overview
Research published on arXiv addresses the relationships and characteristics of various infinitesimal symmetry notions pertinent to second-order linear differential equations. The work focuses on establishing explicit correspondences between specific symmetry types and analyzing the structure of the Lie algebra of infinitesimal contact transformations. It further details the conditions under which a contact vector field acts as a symmetry and describes the transformation law for evolutionary representatives under contact transformations.
Research Context
The study operates within the existing literature concerning infinitesimal symmetries of second-order linear differential equations. Multiple non-equivalent notions of infinitesimal symmetry are recognized in this domain, including Lie point symmetries, vertical (gauge) symmetries, operator symmetries, infinitesimal contact symmetries, and Lie–Bäcklund operators.
Approach
The research methodology involved several key steps:
- Construction of an explicit correspondence among Lie point symmetries, vertical (gauge) symmetries, and operator symmetries.
- Description of the Lie algebra $\mathcal L_\Omega(\mathbb U)$ of infinitesimal contact transformations. This algebra is defined for the contact system $\Omega=\langle dy-y'\,dx\rangle$, with coefficients residing in a differential field $\mathbb U$ of functions of $x$ and $y$.
- Derivation of a canonical decomposition for $\mathcal L_\Omega(\mathbb U)$, expressed as $\mathcal L_\Omega(\mathbb U)=\prod_{k\ge0}\mathcal L_\Omega^k\mathbb U$.
- Parametrization of each component of the decomposed algebra. Each $\mathbb C$-vector space $\mathcal L_\Omega^k\mathbb U$ is parametrized by $\mathbb U$, except for $k=0$, which is parametrized by $\mathbb U\oplus\mathbb U$.
- Computation of algebraic differential formulae for the Lie bracket within these defined coordinates.
- Application of these findings to the symmetry problem for a second-order linear differential equation.
- Analysis of the transformation law for characteristics under a contact transformation.
Findings
The investigation yielded several specific findings regarding symmetries and their algebraic structures:
- An explicit correspondence has been constructed between Lie point symmetries, vertical (gauge) symmetries, and operator symmetries.
- The Lie algebra $\mathcal L_\Omega(\mathbb U)$ of infinitesimal contact transformations for the contact system $\Omega=\langle dy-y'\,dx\rangle$ was described. Its coefficients are drawn from a differential field $\mathbb U$ of functions dependent on $x$ and $y$.
- A canonical decomposition of $\mathcal L_\Omega(\mathbb U)$ into $\mathbb C$-vector spaces, $\mathcal L_\Omega(\mathbb U)=\prod_{k\ge0}\mathcal L_\Omega^k\mathbb U$, was obtained. Each space $\mathcal L_\Omega^k\mathbb U$ is parametrized by $\mathbb U$, with the exception of the $k=0$ case, which is parametrized by $\mathbb U\oplus\mathbb U$.
- Algebraic differential formulae for the Lie bracket within these coordinates were computed.
- Regarding the symmetry problem for a second-order linear differential equation, it was proven that a contact vector field with a generating function $W$ is a symmetry if and only if $A^2W=aW+b\,AW$. Here, $A$ represents the vector field in the jet space corresponding to the equation.
- An equivalent condition for $W$ to be a symmetry was identified: $W=F_1(u_1,u_2)\phi_1+F_2(u_1,u_2)\phi_2$. In this formulation, $F_1,F_2$ are arbitrary functions of the two first integrals ($u_1,u_2$) of $A$, and $\phi_1,\phi_2$ form a basis of solutions.
- The symmetry algebra for such equations is consistently parametrized by two arbitrary functions of two variables.
- The decomposition of $\mathcal L_\Omega(\mathbb U)$ does not capture the entirety of the symmetry algebra. Specifically, for $a\neq0$, the graded part reduces to point symmetries. For the case $y''=0$, this part is infinite dimensional but constitutes a proper subspace, and in neither scenario is it a Lie subalgebra.
- The transformation law for characteristics, $W\mapsto\mu^{-1}(W\circ\varphi)$, was precisely defined. This law describes the transport of evolutionary representatives under a contact transformation with a conformal factor $\mu$.
Why This Matters
The precise characterization of various symmetry notions and their interrelations provides a foundational understanding for the study of second-order linear differential equations. Establishing explicit correspondences and detailing the algebraic structure of contact transformations contributes to the theoretical framework used in analyzing these equations. The work defines exact conditions for a contact vector field to function as a symmetry and clarifies the scope and limitations of specific algebraic decompositions.