Estimation a priori - A priori estimate

Dans la théorie des équations aux dérivées partielles , une estimation a priori (également appelée estimation a priori ou borne a priori ) est une estimation de la taille d'une solution ou de ses dérivées d'une équation aux dérivées partielles. A priori est latin pour "d'avant" et fait référence au fait que l'estimation de la solution est dérivée avant que la solution ne soit connue. Une des raisons de leur importance est que si l'on peut prouver une estimation a priori pour les solutions d'une équation différentielle, alors il est souvent possible de prouver que des solutions existent en utilisant la méthode de continuité ou un théorème du point fixe .

Les estimations a priori ont été introduites et nommées par Sergei Natanovich Bernstein  ( 1906 , 1910 ), qui les a utilisées pour prouver l'existence de solutions aux équations elliptiques non linéaires du second ordre dans le plan. Parmi les autres premiers exemples influents d' estimations a priori, citons les estimations de Schauder données par Schauder ( 1934 , 1937 ) et les estimations données par De Giorgi et Nash pour les équations elliptiques ou paraboliques du second ordre dans de nombreuses variables dans leur solution au dix-neuvième problème de Hilbert .

Les références