L'étude d'équations faisant intervenir des fonctions inconnues de plusieurs variables et leurs dérivées partielles, comprenant l'existence, l'unicité, la stabilité et la régularité des solutions ainsi que le comportement qualitatif et les méthodes de résolution.

Principe

Relier les opérateurs différentiels locaux (elliptiques, paraboliques, hyperboliques) et les données aux frontières/initiales au comportement global par des cadres fonctionnels (espaces de Sobolev, formulations faibles, estimations d'énergie) et l'analyse des caractéristiques.

Démonstration

Équation de la chaleur : utiliser estimations d'énergie et théorie des semi-groupes pour démontrer existence, unicité et lissage pour problèmes d'évolution ; équation elliptique de Poisson : méthodes variationnelles en espaces de Sobolev donnent des solutions faibles et la régularité elliptique les relève en solutions classiques sous hypothèses.

Mauvaise application

Appliquer une différentiation classique point par point ou des principes maximum alors que seules des solutions faibles existent ; imposer des données aux bords incompatibles ou confondre catégories de bien-posage (traiter un problème hyperbolique comme elliptique).

Conséquence

Fournit des critères de résolubilité, de régularité et de comportement asymptotique ; offre des outils pour modéliser la diffusion, les ondes et les états stationnaires et éclaire les méthodes numériques via stabilité et analyse d'erreur.

Inversion

Équations différentielles ordinaires (variable indépendante unique) ou équations algébriques où les dérivées sont absentes ; équations aux différences purement discrètes dépourvues de structure différentielle continue.

Limite

Couvre les EDP linéaires et non linéaires sur des domaines de l'espace euclidien, des variétés et certains espaces métriques-mesure ; exclut les contraintes purement algébriques, les systèmes ODE de dimension finie et les discrétisations numériques prises pour des substituts mathématiques sans analyse de convergence.

Tension sémantique

Tension entre solutions classiques (pointwise, lisses) et solutions faibles/très faibles ; entre propriétés locales de régularité et contraintes globales imposées par la géométrie ou les conditions aux bords.

Synthèse

La théorie des EDP unit opérateurs différentiels, analyse fonctionnelle et données aux frontières/initiales pour déterminer quand des relations entre dérivées multi-variées admettent des solutions, leur régularité et les phénomènes qualitatifs (propagation, diffusion, formation de singularités) qui en découlent.