Une situation où la propriété de prolongement unique échoue : il existe une solution non triviale d'une EDP qui s'annule sur un ensemble non trivial (ouvert, surface ou de mesure positive) mais ne s'annule pas identiquement ailleurs, violant les théorèmes usuels de prolongement.

Principe

Le prolongement unique repose généralement sur des estimations de Carleman, l'analyticité ou une structure elliptique/hyperbolique forte ; l'échec survient lorsque ces hypothèses de soutien tombent parce que les coefficients sont rugueux, l'opérateur dégénère ou des potentiels pathologiques autorisent des modes localisés cachés.

Démonstration

Des contre-exemples construits pour certains opérateurs de Schrödinger avec potentiels rugueux montrent fonctions propres à support compact ou à décroissance rapide ; de même, des opérateurs elliptiques dégénérés peuvent admettre des solutions non triviales s'annulant sur des ensembles où les théorèmes classiques de prolongement unique auraient prédit la trivialité.

Mauvaise application

Supposer le prolongement unique lors de la conception de problèmes de contrôle ou inverses conduit à une confiance excessive : les mesures au bord peuvent ne pas déterminer l'état intérieur, les inégalités d'observabilité s'effondrent et les contrôles fondés sur des arguments de prolongement peuvent ne pas atteindre des modes cachés.

Conséquence

L'échec du prolongement unique signale une possible non-unicité, l'existence de modes localisés ou piégés, la rupture de certains résultats inverses et de contrôle, et la nécessité d'incorporer des données supplémentaires, une régularité accrue ou des contraintes géométriques pour retrouver l'unicité.

Inversion

La situation inverse est la restauration du prolongement unique sous des hypothèses renforcées : coefficients lisses ou analytiques, estimations de type Carleman, ou conditions de contrôle géométrique qui excluent les contre-exemples localisés.

Limite

Ce concept s'applique aux EDP et inégalités différentielles dans des cadres où des théorèmes de prolongement pourraient être attendus ; il exclut les contextes analytiques classiques où des théorèmes de Holmgren garantissent le prolongement unique et ne renvoie pas à la non-unicité due aux seules conditions aux limites.

Tension sémantique

Des tensions existent entre le prolongement unique 'faible' et 'fort' (annulation d'ordre infini vs annulation sur ouverts) et entre les résultats d'analyticité et les résultats quantitatifs fondés sur Carleman ; l'échec peut revêtir des formes subtilement différentes selon le sens considéré.

Synthèse

L'échec du prolongement unique désigne l'existence de solutions non triviales échappant à l'extension depuis des ensembles d'annulation en raison de l'absence de structure analytique ou de type Carleman, avec des conséquences concrètes pour le contrôle, les problèmes inverses et la localisation spectrale.