La situación en la que no existe una función armónica (o solución adecuada de la EDP) en un dominio que alcance unos datos de frontera dados de forma continua (o en la clase de regularidad deseada) en el borde; este fallo puede ser local (en ciertos puntos del borde) o global y se debe a patologías geométricas, capacitares o medidas del borde o a incompatibilidades de los datos con la clase de la EDP.

Principio

La solvencia del problema clásico de Dirichlet requiere tanto estructura analítica del operador (principio del máximo, comparación) como regularidad suficiente del borde; la carencia de cualquiera de ellos—por ejemplo puntos irregulares del borde, capacidad insuficiente o datos no compatibles—conduce a la insolubilidad en el sentido clásico puntual.

Demostración

Demostración clásica: en un dominio con una cuspide o con un punto del borde de capacidad nula se pueden prescribir datos continuos que no son alcanzables por ninguna armónica en ese punto; el método de Perron produce entonces una envolvente que no coincide con los datos allí, demostrando la insolubilidad.

Aplicación incorrecta

Suponer que datos en L^p o distribucionales siempre producirán soluciones armónicas clásicas puntuales es una mala aplicación; tales datos pueden requerir formulaciones débiles, extensiones de traza o reformulación como problemas de contorno en marcos de Sobolev o variacionales.

Consecuencia

Cuando el problema de Dirichlet es insoluble en el sentido clásico, se deben adoptar nociones más débiles de solución (débil, variacional, renormalizada) o modificar las condiciones de contorno (espacios de traza, valores de contorno 'relajados'), y el análisis se centra entonces en la existencia en esos sentidos adaptados y en el estudio de puntos irregulares.

Inversión

La situación inversa—solvencia clásica—se da cuando el dominio es regular (p. ej., todos los puntos del borde cumplen criterios de barrera o Wiener) y los datos de frontera están en la clase continua admisible; entonces existen soluciones armónicas clásicas que alcanzan los datos y son únicas.

Límite

El fenómeno se refiere a la solvencia puntual clásica para EDP elípticas lineales y datos continuos en el borde; excluye nociones de solvencia inherentemente diferentes en contextos no lineales a menos que se especifiquen el operador y la clase de soluciones, y puede no reflejar la solvencia en sentidos débiles o distribucionales.

Tensión semántica

Hay tensión entre declarar el problema insoluble clásicamente y considerarlo resoluble en sentidos más débiles: los analistas deben decidir si el fracaso indica una ausencia real de solución o simplemente la necesidad de un marco funcional más amplio; esta elección afecta la interpretación y la teoría posterior.

Síntesis

La insolubilidad del problema de Dirichlet resume el fracaso de la extensión armónica puntual clásica debido a irregularidades del borde o incompatibilidades de datos; motiva marcos alternativos de solución y está estrechamente vinculada a caracterizaciones locales de regularidad de borde como los criterios de Wiener y barrera.