Une prescription selon laquelle une fonction ou un champ prend des valeurs prescrites sur la frontière d'un domaine spatial ; dans les problèmes aux limites, cela fixe la trace de la solution sur le bord du domaine.

Principe

En imposant des valeurs aux limites u|∂Ω=g on supprime des degrés de liberté au bord et, conjointement avec un opérateur elliptique approprié, on obtient le bien‑posé (existence et unicité) lorsque les conditions de compatibilité sont satisfaites.

Démonstration

Pour l'équation de Laplace Δu=0 sur un domaine borné Ω, une condition de Dirichlet prescrit u(x)=g(x) pour x∈∂Ω ; la résolution du problème aux limites donne une fonction harmonique dans Ω coïncidant avec g sur ∂Ω.

Mauvaise application

Imposer des valeurs de Dirichlet à l'intérieur du domaine plutôt que strictement sur la frontière, ou utiliser des données de bord incompatibles avec l'opérateur (par ex. traces incompatibles), conduit à des problèmes mal posés ou insolvable.

Conséquence

Des conditions de Dirichlet correctement appliquées transforment des problèmes différentiels en problèmes aux limites avec solutions uniques sous les hypothèses standard d'ellipticité et de régularité ; elles déterminent aussi les fonctions de Green adaptées à ces valeurs de bord.

Inversion

Les conditions de Neumann fixent les dérivées normales sur la frontière plutôt que les valeurs de la fonction ; les conditions mixtes (Robin) imposent des combinaisons linéaires de la valeur et de la dérivée normale.

Limite

S'applique lorsque la notion de trace sur la frontière est définie (domaines de régularité suffisante) ; exclut la prescription de données dérivées (Neumann), de contraintes intégrales sur le domaine ou de conditions sur des sous‑variétés intérieures sauf si elles sont réinterprétées comme données de bord.

Tension sémantique

Dirichlet versus données de Cauchy : Dirichlet prescrit uniquement les valeurs sur la frontière, alors que les données de Cauchy prescrivent à la fois valeurs et dérivées normales et peuvent surdéterminer des problèmes elliptiques.

Synthèse

Une condition de Dirichlet fixe la valeur inconnue sur la frontière du domaine, supprimant la liberté au bord et, pour des opérateurs adaptés et des données compatibles, produisant des problèmes aux limites bien posés et des noyaux de solution adaptés au bord.