Vue d'ensemble
Q9 donne une condition suffisante pour qu'un terme de modulation positif laisse inchangée une limite cinétique de Mosco : convergence cinétique dans une comparaison d'espaces précisée [K], et même suite de récupération cinétique [R] où l'énergie de modulation s'annule pour chaque vecteur limite d'énergie finie.
La forme obtenue est $A\|f'\|^2$. C'est la partie cinétique libre sur chaque fibre de Schrödinger fournie de caractère central non nul. Elle n'est pas la forme complète de l'oscillateur et ne sélectionne aucun de ces caractères.
Ce que démontre le théorème
- Un critère suffisant de Mosco : la positivité donne la borne inférieure faible ; la même suite de récupération donne la borne supérieure forte pour les deux termes. La convergence de leur somme n'implique pas celle de chacun.
- Une borne conservant l'échelle : $\mathcal V_q(f_q)\leq8\pi^2 r_q a_q(X)\|k f_q\|_{\mathcal C_q}^2/q^2$. La suppression exige que son membre de droite tende vers zéro sur une suite de récupération cinétique.
- Une inégalité par vecteur : pour $\|xf\|^2\leq M\|f\|^2$, on a $A\|f'\|^2\geq A\|f\|_{H^1}^2/(1+4M)$. La classe à moment borné est un cône, pas un domaine linéaire de forme dérivé.
Portée géométrique
Sélectionner une fibre, un domaine linéaire admissible et un relèvement spatial demande d'autres constructions. [H-L] et [H-lift] de Q5b restent des prémisses distinctes, tandis que [H-hyp] appartient à son énoncé de signature. La positivité cinétique horizontale ne donne ni coefficient central $A_Z$ ni non-obstruction du pont.
Q7 version 2.0 distingue le symbole principal spatial de rang deux de Q5b d'une cible positive de rang trois proposée. Q8, Q10 et Q11 citent encore des résultats que Q7 et Q9 ont retypés ; leurs lectures des coefficients et de la métrique attendent leurs corrections propres.
Constructions ouvertes
Une route concrète doit préciser les espaces discrets, les plongements isométriques, le pas et l'échelle d'énergie ; démontrer [K] ; puis construire les suites de récupération communes satisfaisant [R]. La lecture géométrique demande aussi d'identifier le porteur fourni avec l'objet spatial mesuré.
Référence
Jérôme Beau. Toward a Kinetic Limit on a Supplied Schrödinger Fibre: Conditions for Generator Suppression, version 2.0, 2026. doi:10.5281/zenodo.19880574 (notice de version).