On se donne un opérateur elliptique
à coefficients éventuellement complexes sur un domaine
de bord
. On peut résoudre pour certaines fonctions
le problème de Dirichlet
L'opérateur
est appelé le relèvement harmonique associé à
. On discutera du problème de savoir si
se prolonge de
dans
.