## [Frontière Réel-Analytique](/fr/node/62842) Définition 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 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 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 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 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 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 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 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 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.