Une frontière localement définie par des fonctions réel-analytiques de sorte qu'au voisinage de chaque point les fonctions définissantes admettent des développements en séries convergentes et la frontière est localement l'ensemble nul de telles fonctions analytiques.

Principe

La régularité réel-analytique impose des propriétés d'extension rigides au-delà de la différentiabilité infinie : l'expansion en séries contrôle la prolongation unique, permet des méthodes de prolongement analytique et contraint la géométrie locale plus fortement que C∞.

Démonstration

Pour démonstration, un domaine muni d'une fonction définissante réel-analytique dans R^n autorise des arguments de réflexion et de prolongement analytique pour les solutions d'équations elliptiques, impliquant souvent que des données de bord s'annulant à ordre infini entraînent l'annulation dans un voisinage.

Mauvaise application

Attribuer des propriétés analytiques à une simple lissité C∞ (par exemple attendre un prolongement analytique global ou une détermination par un degré fini) est une mauvaise application ; des données C∞ n'ont pas nécessairement de séries de Taylor convergentes.

Conséquence

Valable, une frontière analytique procure une rigidité renforcée : unicité du prolongement analytique d'objets harmoniques ou holomorphes, application de techniques d'analyse complexe dans des contextes adaptés et structure précise des développements singuliers.

Inversion

L'inversion est une frontière C∞ mais non analytique où les jets d'ordre infini existent mais ne proviennent pas de séries convergentes, si bien que le prolongement analytique et les phénomènes de rigidité associés échouent.

Limite

Le champ d'application couvre les frontières réel-analytiques en coordonnées locales ; il exclut les frontières simplement lisses (C∞) sans représentation en séries convergentes et exclut les structures analytiques complexes sauf extension explicite du cadre réel-analytique.

Tension sémantique

La tension apparaît entre les catégories analytique et lisse : les deux admettent des dérivées d'ordre illimité, mais l'analyticité (séries de Taylor convergentes) impose des propriétés qualitatives d'extension et d'unicité non captées par la théorie C∞.

Synthèse

Une frontière analytique est une condition de régularité strictement plus forte que la lissité : en exigeant des descriptions locales par séries convergentes, elle confère rigidité et propriétés de prolongement qui affinent le contrôle géométrique et analytique près du bord.