Tâche. Fermer (autant que rigoureusement possible) les cas laissés ouverts par
q1-exotique-nonpoly.md§11 (cas A et B) : (a) \(\varphi\) réel-analytique à singularités complexes (\(1/(1+\|x\|^2)\), \(\arctan\), \(\tanh\), \(\log(1+\|x\|^2)\), …) ; (b) \(\varphi\) seulement \(C^\infty\) non analytique (bumps, mollifiers).Résultat. Les deux cas sont désormais clos par deux théorèmes structurels, modulo une frontière résiduelle nettement plus étroite (croissance strictement surpolynomiale sur \(\mathbb{R}^d\)). On ne procède plus exemple par exemple : une seule raison structurelle exclut toute la liste (a), une autre exclut toute la classe (b).
Ce document s'appuie sur la condition de clôture \((\dagger)\) établie dans q1a-algebraic-closure.md
(Prop. 4.1) et sur la borne de degré du Thm 5.1. On reprend toutes ses
notations.
Posons \(\mathcal{A} := \mathrm{Span}\{1, \varphi_1, \ldots, \varphi_r\} \subset C^\infty(\mathbb{R}^d,\mathbb{R})\), de dimension finie \(\le r+1\). La condition \((\dagger)\) dit exactement que \(\mathcal{A}\) est stable sous deux opérateurs :
Toute la question Q1-exotique est : quels \(\mathcal{A}\) de dimension finie, contenant \(1\), sont \((\Delta,\Gamma)\)-stables ? La conjecture Shannon–Wheeler dit : seulement \(\mathcal{A} \subseteq \mathrm{Pol}_{\le 2}(\mathbb{R}^d)\).
Les deux théorèmes ci-dessous tranchent toute \(\varphi\) qui n'a pas de croissance surpolynomiale sur \(\mathbb{R}^d\).
Slogan. Une statistique stable ne peut pas être \(C^\infty\) « plate » : elle est forcément réel-analytique. Aucune bump function, aucun mollifier, aucune fonction à support compact ne peut être une statistique stable.
Théorème A. Soit \(\mathcal{A} \subset C^\infty(\mathbb{R}^d,\mathbb{R})\) un sous-espace de dimension finie, \(\Delta\)-stable, avec \(1 \in \mathcal{A}\). Alors tout \(\varphi \in \mathcal{A}\) est réel-analytique sur \(\mathbb{R}^d\).
Preuve.
(i) Annulation par un polynôme du Laplacien. Par hypothèse \(\Delta\) envoie \(\mathcal{A}\) dans \(\mathcal{A}\) : \(\Delta|_{\mathcal{A}}\) est un endomorphisme linéaire d'un espace de dimension finie. Soit \(P\) son polynôme minimal, \(\deg P =: m \ge 1\) (on a \(m \ge 1\) car \(\mathcal{A} \ne \{0\}\), puisque \(1 \in \mathcal{A}\)). Par définition du polynôme minimal, \[ P(\Delta)\,\varphi = 0 \qquad \text{pour tout } \varphi \in \mathcal{A}. \tag{1.1} \] \(P\) a des coefficients réels (\(\Delta\) est réel sur l'espace réel \(\mathcal{A}\)), mais ses racines \(\lambda_1, \ldots\) peuvent être complexes ; cela n'a aucune importance pour la suite.
(ii) \(P(\Delta)\) est elliptique. Écrivons \(P(\Delta) = \prod_i (\Delta - \lambda_i)^{k_i}\), \(\sum_i k_i = m\). C'est un opérateur différentiel à coefficients constants d'ordre \(2m\). Son symbole principal (partie de degré maximal \(2m\)) ne reçoit de contribution que de la plus haute puissance \(\Delta^m\) ; les termes \(\lambda_i\) d'ordre inférieur sont invisibles au symbole principal. Donc \[ \sigma_{2m}\bigl(P(\Delta)\bigr)(\xi) = (-\|\xi\|^2)^m = (-1)^m \|\xi\|^{2m} \ne 0 \qquad \forall\, \xi \ne 0. \tag{1.2} \] \(P(\Delta)\) est donc elliptique (et le reste quelles que soient les racines \(\lambda_i\), réelles ou complexes).
(iii) Hypoellipticité analytique. Un opérateur elliptique à coefficients réel-analytiques — a fortiori constants — est analytiquement hypoelliptique : toute solution distributionnelle de \(P(\Delta)\varphi = g\) avec \(g\) réel-analytique est elle-même réel-analytique. Ici \(g = 0\) (1.1). Par (1.2) et ce théorème (Hörmander, The Analysis of Linear PDOs I, Thm 7.5.1 ; historiquement Petrowsky 1939, Morrey–Nirenberg 1957), chaque \(\varphi \in \mathcal{A}\) est réel-analytique sur \(\mathbb{R}^d\). \(\blacksquare\)
Note technique (vérifiée). L'ellipticité ne requiert aucune homogénéité du symbole complet : seule la non-annulation du symbole principal pour \(\xi \ne 0\) compte, et elle vient uniquement de \(\Delta^m\). La preuve est donc insensible aux valeurs propres \(\lambda_i\) (le contre-exemple de Baouendi–Goulaouic à l'hypoellipticité analytique est un opérateur non-elliptique — il ne nous concerne pas).
Corollaire A.1 (clôture du cas (b)). Il n'existe aucune statistique stable \(\varphi\) qui soit \(C^\infty\) mais non réel-analytique. En particulier : aucune bump function, aucun mollifier \(\rho \ast \mathbf{1}_K\), aucune fonction plate (\(C^\infty\) à dérivées toutes nulles en un point sans être nulle), ne peut appartenir à une famille exponentielle stable.
C'est le théorème de rigidité annoncé comme l'une des deux issues possibles pour (b) dans le briefing. L'autre issue (un contre-exemple bump explicite) est donc prouvée impossible : la stabilité force l'analyticité. La voie « hypoellipticité de l'opérateur de la chaleur » suggérée dans le briefing est exactement réalisée ci-dessus, sous la forme propre : ce n'est pas le semigroupe de la chaleur \(e^{t\Delta/2}\) qui est invoqué, mais l'ellipticité du polynôme en \(\Delta\) qui annule \(\mathcal{A}\) — une remarque plus forte et plus simple, car elle ne dépend d'aucun chemin.
Après le Théorème A, toute \(\varphi \in \mathcal{A}\) est réel-analytique. Le cas (a) regroupe les réel-analytiques à singularités complexes : \(1/(1+\|x\|^2)\), \(\arctan(x_k)\), \(\tanh(a^\top x)\), \(\log(1+\|x\|^2)\), … Le trait commun à tous les exemples de la liste (a) est qu'ils sont bornés ou à croissance polynomiale sur \(\mathbb{R}^d\) :
| \(\varphi\) | comportement sur \(\mathbb{R}^d\) |
|---|---|
| \(1/(1+|x|^2)\) | borné (\(\to 0\)) |
| \(\arctan(x_k)\) | borné |
| \(\tanh(a^\top x)\) | borné |
| \(\log(1+|x|^2)\) | \(\sim 2\log|x|\), sous-linéaire |
| \(\cos(a^\top x),\ \sin(a^\top x)\) | borné |
| \(J_0(|x|)\) (Bessel) | \(O(|x|^{-(d-1)/2})\), borné |
Le théorème suivant les exclut tous d'un coup, sans calcul ad hoc de tour infinie.
Théorème B (clôture tempérée). Soit \(\mathcal{A} \subset C^\infty(\mathbb{R}^d,\mathbb{R})\) de dimension finie, \((\Delta,\Gamma)\)-stable, \(1 \in \mathcal{A}\). Si tout \(\varphi \in \mathcal{A}\) est à croissance polynomiale sur \(\mathbb{R}^d\) (i.e. \(|\varphi(x)| \le C(1+\|x\|)^N\) pour des \(C,N\)), alors chaque \(\varphi\) est un polynôme de degré \(\le 2\).
Lemme B.1. Sous les hypothèses, pour tout \(\varphi \in \mathcal{A}\), sa transformée de Fourier \(\widehat{\varphi} \in \mathcal{S}'(\mathbb{R}^d)\) est une distribution à support compact, contenu dans la réunion finie de sphères \[ K_0 := \Bigl\{\xi \in \mathbb{R}^d : P(-\|\xi\|^2) = 0\Bigr\} \;=\; \bigcup_{j : \lambda_j \le 0} \bigl\{\,\|\xi\|^2 = -\lambda_j\,\bigr\}, \] où \(P\) est le polynôme minimal de \(\Delta|_{\mathcal{A}}\) et les \(\lambda_j\) ses racines réelles \(\le 0\) (le point \(\xi = 0\) étant inclus si \(0\) est racine).
Preuve. À croissance polynomiale, \(\varphi\) est une distribution tempérée, donc \(\widehat\varphi \in \mathcal{S}'\). L'identité \(P(\Delta)\varphi = 0\) (1.1) se transforme en \(P(-\|\xi\|^2)\,\widehat\varphi = 0\) (multiplication par le polynôme \(P(-\|\xi\|^2)\), licite dans \(\mathcal{S}'\)). Donc \(\mathrm{supp}\,\widehat\varphi \subseteq \{P(-\|\xi\|^2) = 0\} = K_0\). Comme \(\|\xi\|^2 = -\lambda_j\) n'a de solution réelle que si \(\lambda_j \le 0\), \(K_0\) est une réunion finie de sphères, donc compacte. (Si toutes les racines \(\lambda_j\) sont \(> 0\), alors \(K_0 = \varnothing\), \(\widehat\varphi = 0\), \(\varphi = 0\) : cas trivial.) \(\square\)
Par Paley–Wiener–Schwartz, chaque \(\varphi\) se prolonge alors en une
fonction entière de type exponentiel sur \(\mathbb{C}^d\), dont le diagramme
indicateur est la fonction d'appui de \(K :=
\overline{\mathrm{conv}}\,\mathrm{supp}\,\widehat\varphi\). En
particulier, toute \(\varphi\)
à croissance polynomiale et \(\Delta\)-finie est automatiquement
entière — on récupère gratuitement la conclusion « entière » du
Thm 6 de q1-exotique-nonpoly.md,
sans l'hypothèse de croissance polynomiale globale sur \(\mathbb{C}^d\), mais ici dans le cas
tempéré.
Notons, pour \(\varphi \in \mathcal{A}\), \[ R(\varphi) := \max\{\,\|\xi\| : \xi \in \mathrm{supp}\,\widehat\varphi\,\} \in [0,\infty), \] le rayon spectral (fini par compacité, Lemme B.1). Posons \(R^\star := \max_{\varphi \in \mathcal{A}} R(\varphi)\) (max sur une base, fini).
Proposition B.2. \(R^\star = 0\).
Preuve. Supposons \(R^\star > 0\) et soit \(\varphi \in \mathcal{A}\) réalisant \(R(\varphi) = R^\star =: R\). Décomposons \(\widehat\varphi = \sum_j \widehat{\varphi}_j\) selon les sphères : \(\widehat{\varphi}_j\) porté par \(\{\|\xi\| = r_j\}\), \(r_1 = R > r_2 > \cdots \ge 0\). Chaque \(\varphi_j\) est un mode de Helmholtz, \(\Delta\varphi_j = -r_j^2\,\varphi_j\), réel-analytique.
Le rayon \(2R\) ne provient que du mode supérieur. Par \(\Gamma\)-stabilité, \(g := \|\nabla\varphi\|^2 = \sum_k (\partial_k\varphi)^2 \in \mathcal{A}\), donc \[ \mathrm{supp}\,\widehat{g} \subseteq K_0 \subseteq \{\|\xi\| \le R^\star\} = \{\|\xi\| \le R\}. \tag{2.1} \] Or \(\widehat{g} = \sum_k \widehat{\partial_k\varphi} \ast \widehat{\partial_k\varphi}\), chaque convolution portée par \(\mathrm{supp}\,\widehat\varphi + \mathrm{supp}\,\widehat\varphi \subseteq \{\|\xi\| \le 2R\}\). La contribution au rayon exactement \(2R\) ne peut venir que de couples \((\xi',\xi'')\) avec \(\|\xi'\| = \|\xi''\| = R\) et \(\|\xi'+\xi''\| = 2R\), donc \(\xi' = \xi''\) sur la sphère supérieure : seule la composante \(\varphi_1\) (mode supérieur) contribue à la coquille \(\|\xi\| = 2R\) de \(\widehat g\). Les termes croisés \(r_i + r_j < 2R\) (\(\{i,j\}\ne\{1,1\}\)) restent strictement à l'intérieur.
Non-annulation au point extrémal exposé (cœur de la preuve). Choisissons un point extrémal \(\xi_0 \in \mathrm{supp}\,\widehat{\varphi}_1\), \(\|\xi_0\| = R\), et une direction unitaire \(\omega\) qui expose \(\xi_0\) : \(\langle\xi,\omega\rangle < \langle\xi_0,\omega\rangle = R\) pour tout \(\xi \in \mathrm{supp}\,\widehat\varphi \setminus\{\xi_0\}\) (un tel \(\omega\) existe pour tout point extrémal exposé, et l'ensemble des directions exposant un point extrémal est dense). Alors \(2\xi_0\) est l'unique point de \(2\,\overline{\mathrm{conv}}\,\mathrm{supp}\,\widehat\varphi\) maximisant \(\langle\cdot,\omega\rangle\) (valeur \(2R\)).
Près de \(\xi_0\), écrivons \(\widehat{\partial_k\varphi} = i\xi_k\widehat\varphi\). Comme \(\xi \mapsto \xi_k\) est continue, \(\xi_k = \xi_{0,k} + O(|\xi - \xi_0|)\) ; la partie variable \(O(|\xi-\xi_0|)\) s'annule en \(\xi_0\) et ne contribue, dans la convolution localisée au point extrémal exposé \(2\xi_0\), qu'à un ordre strictement inférieur. Le germe de \(\widehat{\partial_k\varphi}\ast\widehat{\partial_k\varphi}\) en \(2\xi_0\) est donc \[ \bigl(\,i\xi_{0,k}\,\bigr)^2 \cdot \bigl[\widehat\varphi \ast \widehat\varphi\bigr]_{2\xi_0}^{\text{germe}} = -\,\xi_{0,k}^2 \,\bigl[\widehat\varphi \ast \widehat\varphi\bigr]_{2\xi_0}^{\text{germe}}, \] le même facteur germe \([\widehat\varphi\ast\widehat\varphi]_{2\xi_0}\) pour tout \(k\) (c'est ici que se résout la subtilité : au point \(\xi_0\), le scalaire commun est le germe de \(\widehat\varphi\), identique pour tous les \(k\), car \(\xi_k \to \xi_{0,k}\) y est constant à l'ordre dominant). Par le théorème de support de la convolution (Titchmarsh–Lions : \(\mathrm{conv}\,\mathrm{supp}(\mu\ast\nu) = \mathrm{conv}\,\mathrm{supp}\,\mu + \mathrm{conv}\,\mathrm{supp}\,\nu\)), ce germe en \(2\xi_0\) est non nul dès que \(\xi_0 \in \mathrm{supp}\,\widehat\varphi\). Sommant sur \(k\) : \[ \bigl[\widehat{g}\,\bigr]_{2\xi_0}^{\text{germe}} = -\Bigl(\textstyle\sum_k \xi_{0,k}^2\Bigr)\,\bigl[\widehat\varphi\ast\widehat\varphi\bigr]_{2\xi_0}^{\text{germe}} = -\,\|\xi_0\|^2\,\bigl[\widehat\varphi\ast\widehat\varphi\bigr]_{2\xi_0}^{\text{germe}} = -\,R^2\,\bigl[\widehat\varphi\ast\widehat\varphi\bigr]_{2\xi_0}^{\text{germe}}. \] Le coefficient \(-R^2 \ne 0\) : aucune annulation à travers la somme sur \(k\) (les \(\xi_{0,k}^2\) s'ajoutent, ils ne se compensent pas). Donc \(2\xi_0 \in \mathrm{supp}\,\widehat{g}\), avec \(\|2\xi_0\| = 2R > R\) — contredisant (2.1). D'où \(R^\star = 0\). \(\blacksquare\)
Lecture par la positivité (corroboration, von Neumann). Que la somme sur \(k\) ne s'annule pas est aussi visible sans calcul de germe : \(g = \|\nabla\varphi\|^2 \ge 0\) ponctuellement et \(g \not\equiv 0\) (sinon \(\varphi\) constante). Le bord supérieur du spectre d'une fonction positive somme de carrés ne peut pas se compenser — les contributions de chaque \((\partial_k\varphi)^2 \ge 0\) au fréquence extrême exposée \(2\xi_0\) sont de même nature (facteur \(\xi_{0,k}^2 \ge 0\)). C'est la même conclusion par un autre chemin.
Fin de la preuve du Théorème B. Par la Prop. B.2,
\(R^\star = 0\), donc pour tout \(\varphi \in \mathcal{A}\), \(\mathrm{supp}\,\widehat\varphi \subseteq
\{0\}\). Une distribution tempérée à support dans \(\{0\}\) est une combinaison finie de
dérivées de \(\delta_0\), dont
l'inverse de Fourier est un polynôme. Donc tout \(\varphi \in \mathcal{A}\) est polynomial.
La borne de degré du Thm 5.1 de q1a-algebraic-closure.md
(avec \(G_{ii} = \|\nabla\varphi_i\|^2 \in
\mathcal{A}\)) donne \(\deg\varphi_i
\le 2\). \(\blacksquare\)
Corollaire B.3. Toute la liste (a) de q1-exotique-nonpoly.md
§11 est exclue par une raison unique : chaque candidat (\(1/(1+\|x\|^2)\), \(\arctan\), \(\tanh\), \(\log(1+\|x\|^2)\)) est à croissance
polynomiale sur \(\mathbb{R}^d\), donc
relève du Théorème B, donc devrait être polynomial — contradiction. Les
calculs ad hoc de tour infinie (§10 de la note nonpoly) sont
remplacés par une seule obstruction : le doublement
du rayon spectral par \(\Gamma\).
Corollaire B.4 (unification). Le Théorème B
subsume aussi, dans le régime tempéré, les Théorèmes 1 (harmoniques), 2
(exponentielles bornées), 3 (trigonométriques) et le cas Bessel de q1-exotique-nonpoly.md
:
C'est la tour de Fourier des Thms 2–3, désormais énoncée comme un théorème géométrique : le spectre, confiné à une réunion de sphères de rayon \(\le R\), doit absorber son propre doublé \(2R\) — impossible si \(R > 0\).
Après A et B, il ne reste qu'un seul trou, strictement plus petit que (a)+(b) :
(a′) — \(\varphi\) réel-analytique à croissance strictement surpolynomiale sur \(\mathbb{R}^d\). Exemples : \(e^{a^\top x}\), \(\cosh(a^\top x)\), \(\mathrm{Re}\,e^{(x_1+ix_2)^2}\) (harmonique d'ordre \(2\)), \(\cos(\sqrt{|x_1|})\) (oscillant à enveloppe \(\cosh\sqrt{}\)).
Le Théorème B ne s'y applique pas (non tempéré : \(\widehat\varphi\) n'est plus à support compact). Mais ce résidu est fortement contraint, et pour l'essentiel déjà fermé par ailleurs :
Forme exponentielle pure / exp-polynomiale \(p(x)e^{a^\top x}\) : exclue par le
Thm 2 (q1-exotique-nonpoly.md
§3, argument semigroupe fini sur les exposants). Rigoureux.
Forme « polynôme + correction surpolynomiale » : exclue par la Prop. 5 (§6, argument de classe de croissance asymptotique). L'argument de croissance se renforce avec le Théorème A : \(\varphi\) étant réel-analytique, l'estimation elliptique intérieure \(|\nabla\varphi(x)| \le C\sup_{B(x,2)}|\varphi|\) relie proprement la croissance de \(\|\nabla\varphi\|^2\) à celle de \(\varphi\).
Intégrabilité (Q1b) : une \(\varphi\) surpolynomiale non bornée
inférieurement (cas typique des modes de Helmholtz réels non
bornés : \(e^{a^\top x}\), \(\mathrm{Re}\,e^{z^2}\) atteignent \(-\infty\)) donne \(Z_\theta = \int e^{-\theta^\top\varphi} =
+\infty\) : la famille exponentielle n'existe
pas. Une grande part de (a′) est ainsi éliminée non par \((\dagger)\) mais par la condition de
normalisabilité — cf. q1b-integrability.md. (À
elle seule cette remarque tue \(e^{a^\top
x}\) comme statistique mono-dimensionnelle.)
Ce qui reste vraiment ouvert est donc l'intersection étroite : \(\varphi\) réel-analytique, bornée inférieurement, à croissance surpolynomiale, oscillante (pour échapper à Q1b et à la Prop. 5), non exp-polynomiale (pour échapper au Thm 2). Aucun candidat explicite n'est connu dans cette intersection ; la conjecture prédit qu'elle est vide.
La clôture totale passerait par la dualité indicateur ↔︎
support de la transformée de Fourier–Borel sur \(\mathbb{C}^d\) (Pólya–Martineau), en
remplaçant le « rayon spectral » réel du Théorème B par le
diagramme indicateur \(K_\varphi \subset \mathbb{C}^d\) de la
fonction entière \(\varphi\) (le
Théorème A garantit l'analyticité ; l'entièreté en croissance
surpolynomiale demande encore l'argument d'Ehrenpreis–Palamodov). \(\Gamma\) y agit par \(K_{\Gamma(\varphi,\varphi)} \subseteq K_\varphi +
K_\varphi\) ; un point extrémal \(\zeta^\star \ne 0\) engendrerait la tour
\(\{2^n\zeta^\star\} \subseteq
K_{\mathcal{A}}\), bornée — donc \(\zeta^\star = 0\), type exponentiel nul, et
l'on conclut par Phragmén–Lindelöf (type \(0\) + borné polynomialement sur une droite
réelle ⇒ polynôme). C'est la généralisation propre du Théorème B au plan
complexe ; elle bute sur la justification de l'entièreté en régime
non-tempéré, point honnêtement laissé ouvert. Voir la
circularité documentée circular-q1-exotique-entire.md.
| Classe de \(\varphi\) | Statut avant | Statut après ce livrable |
|---|---|---|
| polynomiale | clos (Thm 5.1) | clos |
| harmonique, exp pure, trig, exp-poly | clos (Thms 1–3) | clos (unifié, Cor. B.4) |
| \(d=1\) quelconque \(C^\infty\) | clos (Thm 4) | clos |
| radiale lisse | clos (§7) | clos |
| entière, croissance poly. globale sur \(\mathbb{C}^d\) | clos (Thm 6) | clos |
| \(C^\infty\) non analytique (bumps) — (b) | ouvert | CLOS (Thm A) |
| réel-analytique à singularités, croissance \(\le\) poly. sur \(\mathbb{R}^d\) — (a) | ouvert | CLOS (Thm B) |
| réel-analytique, croissance surpolynomiale, oscillante, bornée inf. — (a′) | ouvert | partiel (Thm 2 + Prop 5 + Q1b ; résidu étroit) |
Théorème C (bilan renforcé). Soit \(\varphi : \mathbb{R}^d \to \mathbb{R}^r\) telle que \(\mathcal{A} = \mathrm{Span}\{1,\varphi_1,\ldots,\varphi_r\}\) est \((\Delta,\Gamma)\)-stable de dimension finie. Si chaque \(\varphi_i\) est soit \(C^\infty\) (quelconque), si elle est de plus à croissance polynomiale sur \(\mathbb{R}^d\), soit de l'une des classes des Thms 1–6, alors \(\varphi_i \in \mathrm{Pol}_{\le 2}(\mathbb{R}^d)\).
En clair : la conjecture Shannon–Wheeler est désormais prouvée pour toute statistique stable qui ne croît pas plus vite qu'un polynôme sur \(\mathbb{R}^d\) — ce qui inclut toute statistique bornée, donc toute la liste exotique (a), et toute statistique \(C^\infty\) régulière. Le résidu est confiné à des objets oscillants à croissance surpolynomiale et bornés inférieurement, dont aucun exemple n'existe et que Q1b + Prop 5 grignotent encore.
circular-q1a-stability-vs-closure.md)
et en déduisent la forme de \(\varphi\). Pas de chemin \(\theta_t\) invoqué.circular-q1-exotique-entire.md.q1-exotique-nonpoly.md
§11 et réduit le reste-ouvert à (a′), une intersection étroite sans
candidat connu.q1-exotique-nonpoly.md (§11) et de la frontière honnête
(README) effectuée en conséquence.