Condición de contorno que prescribe el valor de la propia solución desconocida en la frontera del dominio (la traza de la función queda fijada en ∂Ω).

Principio

Fijar la traza de la solución en la frontera para imponer valores de forma directa; en formulaciones variacionales es una condición esencial que se incorpora en el espacio de ensayo (funciones con traza prescrita).

Demostración

Resolver la ecuación de Laplace para temperatura estacionaria en una región cuyo contorno se mantiene a temperaturas fijas: u satisface Δu = 0 en Ω con u = g en ∂Ω, donde g es la distribución de temperatura prescrita.

Aplicación incorrecta

Forzar datos de Dirichlet punto por punto en una frontera rugosa donde las trazas no están bien definidas u imponer valores incompatibles que violen restricciones integrales, lo que conduce a la no existencia de solución o al bloqueo numérico en discretizaciones.

Consecuencia

Impone un control fuerte sobre la solución, conduciendo a menudo a unicidad y estabilidad en problemas elípticos cuando los datos son coherentes; en elementos finitos reduce el espacio de solución y altera la estructura del sistema lineal.

Inversión

Contrastada con condiciones de Neumann que prescriben la derivada (flujo) en lugar del valor: Dirichlet fija la función, Neumann deja libre el nivel absoluto y controla el flujo a través de la frontera.

Límite

Relevante cuando la solución tiene una traza bien definida en la frontera (p. ej. espacios de Sobolev con regularidad suficiente); no apropiada tal cual para problemas donde solo tienen sentido los flujos o en fronteras fractales sin traza clásica.

Tensión semántica

Denominada 'esencial' en contextos variacionales/elementos finitos porque se impone por elección del espacio de funciones, mientras que las condiciones 'naturales' (como Neumann) aparecen desde la forma débil; esto genera confusión al cambiar de formulación.

Síntesis

Las condiciones de Dirichlet fijan los valores de la solución en la frontera del dominio, se codifican directamente en los espacios de ensayo en formulaciones variacionales y sirven para anclar unicidad y restricciones físicas como temperatura o desplazamiento impuesto.