Diffeomorphism Invariance of the Favre-Filtered Compressible Navier--Stokes System under Spacetime Dilation
Abstract
We prove that the system of Favre-filtered compressible Navier--Stokes equations with subgrid-scale closure terms, written in the coordinates (Lt,Lx1,Lx2,Lx3) for an arbitrary parameter L>0, is obtained from the system written in standard coordinates (t,x1,x2,x3) by the action of a smooth diffeomorphism of the underlying spacetime manifold. The proof begins with a self-contained treatment of infinite-dimensional manifolds and the Fréchet manifold of smooth field configurations. We then define the one-parameter dilation group {ϕL}L>0, verify that each ϕL is a diffeomorphism, and compute its tangent and cotangent actions. The induced pullback action on sections of the configuration bundle is shown to commute with the total derivative operator, which implies that the first-jet prolongation of ϕL maps the equation submanifold of the system onto itself. Equation-by-equation verification---continuity, momentum, and energy---confirms that every residual is multiplied by the common nonzero factor L−1 (or, equivalently, is identically zero in the transformed coordinates), so that the solution set is preserved. We conclude that the family of systems parameterised by L>0 satisfies the diffeomorphism transformation expression and that solution spaces are canonically isomorphic for all L.
Related
- Sharp mean value estimates in the absence of translation-dilation invariance
- A Spacetime-Diffeomorphic Approach to Magnetohydrodynamics around Black Holes: Dilation Covariance, Linearization,and the No-Hair Limit
- Two global stability theorems for small-data 3D compressible Euler solutions: Unique maximal globally hyperbolic developments with gradient-blowup & smooth global existence in the entire spacetime
- Holomorphic approximation for Hamiltonian diffeomorphism groups via the Symplectic Density Property
- Periodic data conjugacy for diffeomorphism cocycles
BibTeX
@misc{li2026diffeomorphism,
title = {{Diffeomorphism Invariance of the Favre-Filtered Compressible Navier--Stokes System under Spacetime Dilation}},
author = {Yuanya Li},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.11566},
eprint = {2609.11566},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.11566},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Diffeomorphism Invariance of the Favre-Filtered Compressible Navier--Stokes System under Spacetime Dilation
AU - Yuanya Li
PY - 2026
DA - 2026/09/10
PB - arXiv
DO - 10.48550/arxiv.2609.11566
UR - https://arxiv.org/abs/2609.11566
AB - We prove that the system of Favre-filtered compressible Navier--Stokes equations with subgrid-scale closure terms, written in the coordinates (Lt,Lx_1,Lx_2,Lx_3) for an arbitrary parameter L>0, is obtained from the system written in standard coordinates (t,x_1,x_2,x_3) by the action of a smooth diffeomorphism of the underlying spacetime manifold. The proof begins with a self-contained treatment of infinite-dimensional manifolds and the Fréchet manifold of smooth field configurations. We then define the one-parameter dilation group {ϕ_L}_L>0, verify that each ϕ_L is a diffeomorphism, and compute its tangent and cotangent actions. The induced pullback action on sections of the configuration bundle is shown to commute with the total derivative operator, which implies that the first-jet prolongation of ϕ_L maps the equation submanifold of the system onto itself. Equation-by-equation verification---continuity, momentum, and energy---confirms that every residual is multiplied by the common nonzero factor L^−1 (or, equivalently, is identically zero in the transformed coordinates), so that the solution set is preserved. We conclude that the family of systems parameterised by L>0 satisfies the diffeomorphism transformation expression and that solution spaces are canonically isomorphic for all L.
ER -