La situation où il n'existe aucune fonction harmonique (ou solution appropriée d'une EDP) sur un domaine qui atteigne des données de bord prescrites de manière continue (ou dans la classe de régularité demandée) sur le bord ; cet échec peut être local (à certains points du bord) ou global et résulte de pathologies géométriques, capacitaires ou métriques du bord ou d'une incompatibilité des données avec la classe d'équations.

Principe

La résolubilité du problème de Dirichlet classique exige à la fois une structure analytique de l'opérateur (principe du maximum, comparaison) et une régularité suffisante du bord ; l'absence de l'un ou l'autre — par exemple des points irréguliers du bord, une capacité insuffisante ou des données non compatibles — conduit à l'insolubilité au sens classique ponctuel.

Démonstration

Démonstration classique : sur un domaine présentant un cuspide ou un point du bord de capacité nulle on peut prescrire des données continues inatteignables par toute harmonique en ce point ; la méthode de Perron donne alors une enveloppe qui n'égale pas la donnée en ce point, montrant l'insolubilité.

Mauvaise application

Supposer que des données en L^p ou distributionnelles donnent toujours des solutions harmoniques classiques ponctuelles est une mauvaise application ; ces données peuvent nécessiter des formulations faibles, des prolongements de trace ou une reformulation comme problème de frontière en cadres de Sobolev ou variationnels.

Conséquence

Lorsque le problème de Dirichlet est insoluble au sens classique, il faut adopter des notions de solution plus faibles (faible, variationnelle, renormalisée) ou modifier les conditions au bord (espaces de trace, valeurs au bord 'relâchées'), et l'analyse porte alors sur l'existence dans ces sens adaptés et sur l'étude des points irréguliers.

Inversion

La situation inverse — résolubilité classique — se produit quand le domaine est régulier (par exemple chaque point du bord satisfait aux critères de barrière ou de Wiener) et que les données au bord appartiennent à la classe de continuité admissible ; alors des solutions harmoniques classiques qui prennent les données existent et sont uniques.

Limite

Ce phénomène concerne la résolubilité ponctuelle classique pour des EDP elliptiques linéaires et des données continues au bord ; il exclut les notions de résolubilité fondamentalement différentes dans des contextes non linéaires sauf si l'opérateur et la classe de solutions sont précisés et peut ne pas refléter la résolubilité au sens faible ou distributionnel.

Tension sémantique

Il existe une tension entre déclarer le problème insoluble au sens classique et le considérer solvable dans des sens plus faibles : il faut choisir si l'échec signifie une absence réelle de solution ou simplement la nécessité d'un cadre fonctionnel plus large ; ce choix conditionne l'interprétation et la théorie qui s'ensuit.

Synthèse

L'insolubilité du problème de Dirichlet résume l'échec d'extension harmonique ponctuelle classique en raison d'irrégularités du bord ou d'incompatibilités de données ; elle motive des cadres alternatifs de solution et est étroitement liée aux caractérisations locales de la régularité du bord comme les critères de Wiener et de barrière.