Condition aux limites qui prescrit la valeur de la solution inconnue elle‑même sur le bord du domaine (la trace de la fonction est fixée sur ∂Ω).

Principe

Fixer la trace de la solution sur le bord pour imposer directement des valeurs ; en formulation variationnelle, il s'agit d'une condition essentielle incorporée dans l'espace des essais (fonctions de trace prescrite).

Démonstration

Résolution de l'équation de Laplace pour une température stationnaire dans une région dont le bord est maintenu à des températures fixes : u résout Δu = 0 dans Ω avec u = g sur ∂Ω, g étant la distribution de température prescrite.

Mauvaise application

Forcer des données de Dirichlet point par point sur un bord irrégulier où les traces ne sont pas bien définies ou imposer des valeurs incompatibles violant des contraintes intégrales, conduisant à l'absence de solution ou au verrouillage numérique dans les discrétisations.

Conséquence

Impose un fort contrôle de la solution, conduisant souvent à l'unicité et à la stabilité pour des problèmes elliptiques avec des données cohérentes ; en éléments finis, elle réduit l'espace de solutions et modifie la structure du système linéaire.

Inversion

Contrastée avec les conditions de Neumann qui prescrivent la dérivée (flux) au lieu de la valeur : Dirichlet fixe la fonction, Neumann laisse le niveau absolu libre et contrôle le flux à travers le bord.

Limite

Pertinente lorsque la solution admet une trace bien définie sur le bord (par ex. espaces de Sobolev avec régularité suffisante) ; non appropriée telle quelle pour des problèmes où seuls les flux ont du sens ou sur des bords fractals sans trace classique.

Tension sémantique

Appelée 'essentielle' en contexte variationnel/éléments finis car elle est imposée par le choix de l'espace de fonctions, alors que les conditions 'naturelles' (comme Neumann) résultent de la forme faible ; ceci crée de la confusion lors du changement de formulation.

Synthèse

Les conditions de Dirichlet fixent les valeurs de la solution sur le bord du domaine, s'encodent directement dans les espaces d'essai en formulation variationnelle et servent à ancrer l'unicité et des contraintes physiques comme une température ou un déplacement imposés.