Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Schauder estimates
Résumé
In mathematics, and more precisely, in functional Analysis and PDEs, the Schauder estimates are a collection of results due to concerning the regularity of solutions to linear, uniformly elliptic partial differential equations. The estimates say that when the equation has appropriately smooth terms and appropriately smooth solutions, then the Hölder norm of the solution can be controlled in terms of the Hölder norms for the coefficient and source terms. Since these estimates assume by hypothesis the existence of a solution, they are called a priori estimates.
There is both an interior result, giving a Hölder condition for the solution in interior domains away from the boundary, and a boundary result, giving the Hölder condition for the solution in the entire domain. The former bound depends only on the spatial dimension, the equation, and the distance to the boundary; the latter depends on the smoothness of the boundary as well.
The Schauder estimates are a necessary precondition to using the method of continuity to prove the existence and regularity of solutions to the Dirichlet problem for elliptic PDEs. This result says that when the coefficients of the equation and the nature of the boundary conditions are sufficiently smooth, there is a smooth classical solution to the PDE.
The Schauder estimates are given in terms of weighted Hölder norms; the notation will follow that given in the text of .
The supremum norm of a continuous function is given by
For a function which is Hölder continuous with exponent , that is to say , the usual Hölder seminorm is given by
The sum of the two is the full Hölder norm of f
For differentiable functions u, it is necessary to consider the higher order norms, involving derivatives. The norm in the space of functions with k continuous derivatives, , is given by
where ranges over all multi-indices of appropriate orders.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.