Propriété d'un problème mathématique affirmant l'existence d'une solution, l'unicité de cette solution et la dépendance continue (stabilité) de la solution par rapport aux données d'entrée, souvent associée à Hadamard comme critère de sens physique et numérique.

Principe

Un problème est bien posé si de petites variations des données entraînent seulement de petites variations de la solution et si la solution est bien définie et unique, garantissant que la modélisation, le calcul et l'inférence sont fiables face aux perturbations et au bruit de mesure.

Démonstration

Un problème de valeurs au bord elliptique linéaire avec coercivité appropriée et coefficients bornés admet une solution faible unique qui dépend continûment des termes sources et des conditions aux limites dans des normes de Sobolev adaptées, illustrant le bien-posé.

Mauvaise application

Déclarer un modèle bien posé simplement parce qu'une solution existe pour une discrétisation particulière tout en ignorant la dépendance au maillage ou la non-unicité du problème continu conduit à une confiance trompeuse dans les résultats numériques.

Conséquence

Le bien-posé justifie l'approximation numérique stable, l'estimation de paramètres significative et l'interprétation physique robuste : des algorithmes qui convergent vers la solution vraie sous raffinage et dont les erreurs diminuent lors de perturbations des données.

Inversion

Les problèmes mal posés violent l'existence, l'unicité ou la stabilité ; ils nécessitent une régularisation, une reformulation ou des contraintes additionnelles pour retrouver des solutions significatives et une tractabilité numérique.

Limite

Se rapporte au problème continu tel que formulé (par ex. EDP, problème inverse) et dépend des espaces de fonctions et normes choisis ; un problème peut être bien posé dans une topologie et mal posé dans une autre.

Tension sémantique

Tension avec la solubilité pratique : un problème théoriquement bien posé peut rester difficile numériquement (raide, grande échelle), tandis qu'un problème inverse mal posé peut admettre des solutions régularisées utiles et stables en pratique.

Synthèse

Le bien-posé est la triade—existence, unicité, dépendance continue—formant le critère mathématique minimal pour qu'un problème produise des solutions significatives, stables et numériquement accessibles.