The S-function at arbitrary order: hyperplanes of symmetries and the realisability condition
Abstract
For a scalar equation y(n)=φ(x,y,…,y(n−1)) the S-function of the extended Prelle--Singer method is a vector S=(S0,…,Sn−2), the null-form vector of Chandrasekar, Senthilvelan, Lakshmanan and collaborators, and the jet gradient of a first integral solves the adjoint of the variational equation. We describe the solutions of the system satisfied by S intrinsically, and determine which of them come from first integrals. Over the field C of first integrals the solutions are exactly the hyperplanes of the n-dimensional space VV of symmetry characteristics, recovered from n−1 independent characteristics by a Plücker formula; in flow-box coordinates they are the hyperplane fields on the local space of leaves. A solution is the S-vector of a first integral if and only if the corresponding hyperplane field is integrable. This Frobenius condition splits into the S-system itself plus binom n3 further differential conditions, so it is vacuous for n=2 and a genuine restriction for every n≥3, for which we give an explicit non-realisable solution. The same picture explains why λ-symmetries and S-functions coincide only when n=2: line fields and hyperplane fields agree only on surfaces. For the computation of S we record that the system is equivalent to one scalar equation for the last component, which is the Riccati form of the adjoint variational equation, and we spell out what this does and does not imply for a rational search.
Related
- Ramification of the volume function close to asymptotic hyperplanes. Monodromy of boundary singularities
- The Stokes resistance of an arbitrary particle: a classification of hydrodynamic symmetries
- Joint universality of the Riemann zeta-function with arbitrary real shift parameters
- The square function estimates for cones in arbitrary dimensions and elliptic quadrics
- The sixth moment of a degree two L-function of arbitrary level
BibTeX
@misc{duarte2026sfunction,
title = {{The S-function at arbitrary order: hyperplanes of symmetries and the realisability condition}},
author = {L. G. S. Duarte and L. A. C. P. da Mota},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.40033},
eprint = {2610.40033},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.40033},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - The S-function at arbitrary order: hyperplanes of symmetries and the realisability condition
AU - L. G. S. Duarte
AU - L. A. C. P. da Mota
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2610.40033
UR - https://arxiv.org/abs/2610.40033
AB - For a scalar equation y^(n)=φ(x,y,…,y^(n−1)) the S-function of the extended Prelle--Singer method is a vector S=(S_0,…,S_n−2), the null-form vector of Chandrasekar, Senthilvelan, Lakshmanan and collaborators, and the jet gradient of a first integral solves the adjoint of the variational equation. We describe the solutions of the system satisfied by S intrinsically, and determine which of them come from first integrals. Over the field C of first integrals the solutions are exactly the hyperplanes of the n-dimensional space VV of symmetry characteristics, recovered from n−1 independent characteristics by a Plücker formula; in flow-box coordinates they are the hyperplane fields on the local space of leaves. A solution is the S-vector of a first integral if and only if the corresponding hyperplane field is integrable. This Frobenius condition splits into the S-system itself plus binom n3 further differential conditions, so it is vacuous for n=2 and a genuine restriction for every n≥3, for which we give an explicit non-realisable solution. The same picture explains why λ-symmetries and S-functions coincide only when n=2: line fields and hyperplane fields agree only on surfaces. For the computation of S we record that the system is equivalent to one scalar equation for the last component, which is the Riccati form of the adjoint variational equation, and we spell out what this does and does not imply for a rational search.
ER -