Opérateur trace

Une fonction définie sur un rectangle (surface en rouge, figure du haut) et sa trace (en bas, courbe rouge).

Un opérateur trace est un opérateur mathématique mis en œuvre dans des études d'existence et d'unicité de solutions aux problèmes avec conditions aux limites. L'opérateur trace permet aussi au moyen d'une formulation dans un espace de Sobolev d'étendre au bord d'un domaine la notion de restriction d'une fonction.

Origine

Soit Ω un ouvert borné de l'espace euclidien ℝModèle:Exp Modèle:Pas clair ∂Ω. Si u est une fonction CModèle:1 (ou simplement continue) sur l'adhérence Modèle:Surligner de Ω, sa restriction est bien définie et continue sur ∂Ω. Si de plus u est la solution d'une équation aux dérivées partielles donnée, elle est en général une formulation faible, qui appartient donc à un certain espace de Sobolev. Les fonctions d'un tel espace ne sont généralement pas continues et sont définies seulement sur Ω (et même seulement à égalité près presque partout), donc leur restriction à ∂Ω n'a aucun sens. Il vient que la restriction simple d'une fonction ne peut pas être utilisée pour définir clairement une solution générale d'une équation aux dérivées partielles avec des conditions aux limites de Ω données.

On peut contourner cette difficulté en considérant que tout élément u d'un espace de Sobolev peut être mal défini en tant que fonction, mais peut toutefois être approché par une [[Suite et série de fonctions|suite (uModèle:Ind) de fonctions]] de classe CModèle:1 définies sur l'adhérence de Ω. Alors, la restriction uModèle:Ind de u sur ∂Ω est définie comme la limite de la suite des restrictions uModèle:Ind.

Construction de l'opérateur trace

Afin de définir rigoureusement la notion de restriction d'une fonction dans un espace de Sobolev, soit un réel p ≥ 1. Considérons l'opérateur linéaire

$T:C^1(\overline{\mathrm{\Omega }})\to {\mathrm{L}}^{\mathrm{p}}(\partial \mathrm{\Omega })$

défini sur l'ensemble des fonctions de classe CModèle:1 sur Modèle:Surligner à valeurs dans Modèle:Pas clair, vérifiant

$Tu=u_{|\partial \mathrm{\Omega }}.$

Le domaine de T est un sous-ensemble de l'espace de Sobolev WModèle:Exp(Ω).

Il existe une constante C, dépendant uniquement de Ω et p, telle que

$\mathrm{\forall }u\in C^1(\overline{\mathrm{\Omega }})\Vert Tu{\Vert }_{{\mathrm{L}}^{\mathrm{p}}(\partial \mathrm{\Omega })}\le C\Vert u{\Vert }_{W^{1,p}(\mathrm{\Omega })}.$

Alors, comme les fonctions CModèle:1 sur Modèle:Surligner sont denses dans WModèle:Exp(Ω), l'opérateur T admet un unique prolongement continu (donc, lui aussi, linéaire)

$T:W^{1,p}(\mathrm{\Omega })\to {\mathrm{L}}^{\mathrm{p}}(\partial \mathrm{\Omega })$

défini sur l'espace entier WModèle:Exp(Ω). T est appelé opérateur trace. La restriction (ou trace) uModèle:Ind d'une fonction u de WModèle:Exp(Ω) est alors donnée par Tu.

Puisque ce prolongement T est séquentiellement continu, pour toute suite (uModèle:Ind) de fonctions de classe CModèle:1 sur Modèle:Surligner qui converge dans WModèle:Exp(Ω) vers u, la suite (uModèle:Ind) converge dans Modèle:Math vers Tu.

Application

Considérons la résolution de l'équation de Poisson avec des conditions aux limites de Dirichlet :

$\{\begin{array}{c}-\mathrm{\Delta }u=f\text{ sur }\mathrm{\Omega }\\ u_{|\partial \mathrm{\Omega }}=0.\end{array}$

Ici, $f$ est une fonction continue donnée sur Modèle:Surligner.

Grâce au concept de trace, on définit, dans l'espace de Sobolev HModèle:1(Ω) := WModèle:Exp(Ω), le sous-espace HModèle:ExpInd(Ω) des fonctions de trace nulle. Alors l'équation admet la formulation faible suivante :

Trouver $u\in H_0^1(\mathrm{\Omega })$ telle que

$\underset{\mathrm{\Omega }}{\int }\mathrm{\nabla }u(x)\cdot \mathrm{\nabla }v(x)dx=\underset{\mathrm{\Omega }}{\int }f(x)v(x)dx$ pour tout $v$ dans HModèle:ExpInd(Ω).

Par le théorème de Lax-Milgram, on peut démontrer que ce problème admet une unique solution, et donc que l'équation de Poisson a une solution faible unique.

Un raisonnement similaire peut être utilisé pour prouver l'existence et l'unicité de solutions dans le cas d'autres équations aux dérivées partielles avec des conditions aux limites différentes, telles les conditions de Neumann ou de Robin, la notion de trace étant importante dans ces cas.

Bibliographie

• Modèle:Brezis
• Modèle:Ouvrage