A Pfaffian Generalization of Hamilton-Jacobi Theory
Abstract
We study the motion of a submanifold under a prescribed smooth dynamical system by means of finite families of differential one-forms. The numbers of independent and dependent phase-space coordinates may differ. For forms involving only differentials of the independent coordinates, we derive an identity relating their transport equations to the motion of the submanifold. A matrix-rank condition ensures local recovery of all dependent coordinates from the form coefficients and equivalence of the evolution equations. We determine the least number of forms in this class and give explicit constructions using coordinates or first integrals. We also characterize when subtracting exact differentials makes a given family suitable for another projection while preserving recovery of all dependent coordinates. Scalar representations of the forms yield equations that include the classical Hamilton-Jacobi equation. A separate variational construction determines the full phase-space velocity by requiring each of several actions to be stationary. In the specified class, one action suffices in even dimension and two are necessary and sufficient in odd dimension. Linear and nonlinear five-dimensional examples illustrate both constructions.
Related
- Convex C^1 Representation for Critical Hamilton-Jacobi Equations
- Policy iteration for Hamilton-Jacobi-Isaacs equations with control constraints and comparison with Hamilton-Jacobi-Bellman equations
- Singularities and asymptotics of solutions of the Chandrasekhar-Hamilton-Jacobi equation
- Pathological viscosity solutions of Hamilton--Jacobi equations
- On the doubling of variables technique in first order Hamilton-Jacobi equations
BibTeX
@misc{fimin2026pfaffian,
title = {{A Pfaffian Generalization of Hamilton-Jacobi Theory}},
author = {N N Fimin},
howpublished = {HAL},
year = {2026},
month = nov,
url = {https://hal.science/hal-05847510v1},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - A Pfaffian Generalization of Hamilton-Jacobi Theory
AU - N N Fimin
PY - 2026
DA - 2026/11/02
PB - HAL
UR - https://hal.science/hal-05847510v1
AB - We study the motion of a submanifold under a prescribed smooth dynamical system by means of finite families of differential one-forms. The numbers of independent and dependent phase-space coordinates may differ. For forms involving only differentials of the independent coordinates, we derive an identity relating their transport equations to the motion of the submanifold. A matrix-rank condition ensures local recovery of all dependent coordinates from the form coefficients and equivalence of the evolution equations. We determine the least number of forms in this class and give explicit constructions using coordinates or first integrals. We also characterize when subtracting exact differentials makes a given family suitable for another projection while preserving recovery of all dependent coordinates. Scalar representations of the forms yield equations that include the classical Hamilton-Jacobi equation. A separate variational construction determines the full phase-space velocity by requiring each of several actions to be stationary. In the specified class, one action suffices in even dimension and two are necessary and sufficient in odd dimension. Linear and nonlinear five-dimensional examples illustrate both constructions.
ER -