Definition
A boundary condition that prescribes the value of the unknown solution itself on the boundary of the domain (the trace of the function is fixed on ∂Ω).
Principle
Principle
Fix the trace of the solution on the boundary to enforce values directly; in variational formulations this is an essential condition incorporated into the trial space (functions with prescribed boundary trace).
Demonstration
Demonstration
Solving Laplace's equation for steady temperature in a region with the boundary held at fixed temperatures: u solves Δu = 0 in Ω with u = g on ∂Ω, where g is the prescribed temperature distribution.
Misapplication
Misapplication
Forcing pointwise Dirichlet data on a rough boundary where traces are not well defined or imposing incompatible values that violate conservation or integral constraints, leading to nonexistence or numerical locking in discretizations.
Consequence
Consequence
Imposes strong control of the solution, often yielding uniqueness and stability in elliptic problems when combined with correct data; in finite element methods it reduces the solution space and changes the linear system structure.
Reversal
Reversal
Contrast with Neumann conditions that prescribe derivative (flux) instead of value: where Dirichlet pins the function, Neumann leaves the absolute level free and controls flow across the boundary.
Boundary
Boundary
Relevant when the solution has a well‑defined trace on the boundary (e.g., Sobolev spaces with sufficient regularity); not appropriate as stated for problems where only fluxes are meaningful or on fractal boundaries lacking classical traces.
Semantic Tension
Semantic Tension
Called 'essential' in variational/finite‑element contexts because it is enforced by choice of function space, whereas 'natural' boundary conditions (like Neumann) emerge from the weak form; this leads to confusion when switching formulations.
Synthesis
Synthesis
Dirichlet boundary conditions fix the solution values on the domain boundary, are encoded directly into trial spaces in variational settings, and serve to anchor uniqueness and physical constraints such as fixed temperature or displacement.