##  [Frontière Lisse](/fr/node/62840) 

 Définition

Une frontière infiniment différentiable (C∞) en chaque point, de sorte que les cartes locales admettent des applications de transition C∞ et que champs tangents et normaux sont lisses sur la frontière.

 

 

 

 

 

 





## Principe

Principe

La différentiabilité infinie de la frontière permet d'appliquer des outils différentiels et analytiques classiques : paramétrages locaux, courbure bien définie de la frontière et régularité elliptique d'ordre élevé jusqu'au bord.

 

 

 

 

 





## Démonstration

Démonstration

Un domaine borné lisse de R^n muni d'une fonction définissante C∞ montre que les solutions des EDP elliptiques avec données lisses possèdent une régularité C∞ jusqu'au bord et que des quantités géométriques comme la courbure moyenne sont des fonctions lisses sur la frontière.

 

 

 

 

## Mauvaise application

Mauvaise application

Supposer des conclusions propres à frontière lisse sur des domaines seulement C^k ou Lipschitz peut entraîner des affirmations erronées de régularité supérieure ; des schémas numériques reposant sur la continuité de la courbure du bord peuvent échouer en l'absence de lissité.

 

 

 

 

 





## Conséquence

Conséquence

Lorsque cela est valable, la frontière lisse garantit la régularité elliptique complète, la dépendance lisse des flux géométriques aux données du bord et permet des constructions nécessitant des jets d'ordre arbitraire comme les développements parametrix microlocaux.

 

 

 

 

## Inversion

Inversion

L'inversion est une frontière non lisse (C^k pour k fini, Lipschitz, polygonale ou fractale) où la courbure peut être indéfinie, la régularité d'ordre élevé échoue et des phénomènes singuliers se concentrent sur les lieux non lisses.

 

 

 

 

 





## Limite

Limite

Le champ d'application concerne les frontières de régularité C∞ ; il exclut les classes de régularité plus faibles (C^k), l'analyticité étant plus forte mais différente, et exclut les frontières connues seulement au sens faible ou mesurable.

 

 

 

 

 





## Tension sémantique

Tension sémantique

La tension survient entre la régularité C∞ et la régularité réel-analytique : les deux impliquent une différentiabilité infinie, mais l'analyticité impose des contraintes de continuation en séries entières permettant des techniques différentes comme la prolongation analytique.

 

 

 

 

 





## Synthèse

Synthèse

Une frontière lisse est le cadre de régularité idéal où opérations géométriques et analytiques s'étendent à tout ordre, permettant géométrie différentielle classique, analyse précise des courbures et régularité elliptique complète jusqu'au bord.