Vous êtes ici : Domaine III · Résultats et théorèmes · H1 — auto-adjonction[P]
Ce que vous allez lire

‖M‖ ≤ ‖M‖_HS ≤ P(3/2) = 0,8495 < 1, et cette borne, par KLMN, rend M auto-adjoint pour σ ≥ 1/2. Vérifié : P(3/2) = 0,849511.

Pourquoi ça compte

Un pilier du socle : l’auto-adjonction acquise non par estimation fine, mais par un fait arithmétique net et calculable.

Ce que ça ne dit pas
[P], pas [D] — KLMN pas encore formalisé en Lean. P(3/2) est la zêta première, pas ζ(3/2). Rien de global.

À lire à côté

L’identité v18 (le bon instrument, la norme HS de M) et det₂ ↔ ξ (l’horizon global).

H1 — l’auto-adjonction, fermée par une borne arithmétique : ‖M‖ ≤ ‖M‖_HS ≤ P(3/2) = 0,8495 < 1, et cette seule inégalité, par le critère KLMN, rend l’opérateur auto-adjoint pour tout σ ≥ 1/2. Un fait fini qui ferme une question de structure.

Statut épistémique — probatoire

Pdémontré analytiquement (papier) : borne HS < 1 ⟹ KLMN ⟹ auto-adjoint σ ≥ 1/2
·pas encore machine-vérifié en Lean — la formalisation de KLMN reste à faire
Ce que cela montre

que l’opérateur M est auto-adjoint sur toute la bande σ ≥ 1/2 — et que cette propriété tient à une borne numérique explicite, inférieure à 1, calculable et vérifiable.

Ce que cela ne prouve pas

rien de global. L’auto-adjonction est une propriété de l’opérateur fini ; elle n’implique aucune identité avec ζ, aucun résultat sur les zéros. C’est un socle, pas un pont.

Risque de mauvaise lecture — croire que « P(3/2) » désigne la zêta de Riemann. Ce n’est pas ζ(3/2) = 2,612 (qui dépasserait 1) : c’est la fonction zêta première, P(s) = Σ_p p^(−s), dont la valeur en 3/2 vaut 0,8495 < 1. Toute la clôture de H1 tient à ce < 1.
Régime · démonstratif (preuve analytique) — formalisation Lean à venir
[P] Prouvé — papier, pas encore Lean

Une borne < 1, et KLMN ferme

L’argument tient en une chaîne courte. La norme d’opérateur de M est majorée par sa norme de Hilbert-Schmidt, elle-même majorée par la fonction zêta première en 3/2 :

‖M‖ ≤ ‖M‖_HS ≤ P(3/2) = Σ₍ₚ₎ p^(−3/2) = 0,849511… < 1

La valeur P(3/2) est vérifiée par calcul : 0,849511 — strictement inférieure à 1. Cette seule majoration active le critère KLMN (Kato–Lax–Lions–Milgram–Nelson) : une perturbation de norme relative < 1 préserve l’auto-adjonction. D’où :

‖M‖_HS < 1 ⟹ KLMN ⟹ M auto-adjoint ∀ σ ≥ 1/2

L’auto-adjonction est ainsi acquise sur toute la bande critique et au-delà, non par estimation fine mais par un fait arithmétique net. L’instrument correct est la norme HS de M — voir l’identité v18 pour le point technique (le test de Schur, lui, échoue pour σ ≤ 1).

Statut [P] : preuve analytique établie ; KLMN non encore formalisé en Lean. Toute formulation antérieure présentant H1 comme [D] est corrigée. Matière : archive (soumission invariants spectraux, borne P(3/2) = 0,8495).
Ce que ce bloc montre
  • une borne HS explicite et vérifiée (0,849511 < 1)
  • l’auto-adjonction pour σ ≥ 1/2 par KLMN
  • le bon instrument : la norme HS de M
Ce que ce bloc ne prouve pas
  • pas encore de certificat Lean (KLMN)
  • aucune identité avec ζ
  • rien sur les zéros
Pourquoi cette fiche compte. H1 est un pilier du socle : il clôt une question de structure (l’opérateur est-il auto-adjoint ?) par une borne que l’on peut poser sur une seule ligne et vérifier au doigt. Sa force est sa modestie — une propriété locale, prouvée, tenue à son juste étage [P] tant que KLMN n’est pas machine-vérifié.
Item : H1 — auto-adjonction (borne KLMN) (id : h1) — slug à confirmer · vérifier fiche dédiée existante
Statut global : [P] probatoire — prouvé analytiquement, non encore formalisé en Lean
Méthode : ‖M‖ ≤ ‖M‖_HS ≤ P(3/2) = 0,849511 < 1 ⟹ KLMN ⟹ auto-adjoint σ ≥ 1/2 (P = zêta première)
Domaine : Résultats et théorèmes / structures locales · Recherches
Référence : archive — soumission invariants spectraux ; liens : identité v18 (l’instrument HS), det₂ ↔ ξ (l’horizon global)
Dernière mise à jour du statut : 2026-07-03
Citation BibTeX : @misc{couret2026h1, author={Couret, A.}, title={H1 : auto-adjonction de M pour sigma>=1/2 par la borne KLMN (P(3/2)<1)}, year={2026}, url={https://www.couretunification.fr/publications/h1/}}

Commentaires
Cet espace accueille questions, remarques, intuitions et critiques.
Un commentaire n’engage pas le statut scientifique du projet.
Toute proposition mathématique doit pouvoir être formulée, testée et classée.