La situation où l'application trace, l'opérateur linéaire envoyant une fonction (ou classe d'équivalence) définie sur un domaine vers ses valeurs au bord, n'est pas bien définie, non bornée ou non surjective entre les espaces de fonctions attendus en raison d'une géométrie de bord irrégulière, d'un manque d'intégrabilité ou d'une régularité insuffisante.

Principe

Les opérateurs trace exigent une compatibilité entre l'espace fonctionnel sur le domaine et la régularité du bord du domaine ; l'échec survient lorsque les seuils d'inclusion de Sobolev ne sont pas atteints, le bord est trop rugueux ou la solution PDE manque d'intégrabilité minimale pour qu'une trace existe.

Démonstration

Sur un domaine Lipschitz, l'opérateur trace H^{1} vers H^{1/2} sur le bord est borné ; si le bord du domaine est fortement fractal ou si l'on tente de prendre une trace H^{s} en dessous de l'exposant critique, l'application linéaire trace cesse d'être bien définie ou continue.

Mauvaise application

Utiliser une valeur bord formelle en restreignant naïvement une solution en L^{2} ou distributionnelle sans vérifier l'existence de la trace conduit à des conditions au bord incorrectes et à des formulations faibles invalides des problèmes aux limites.

Conséquence

Quand l'échec de la trace est détecté, les analystes recourent à des notions plus faibles de données au bord (par ex. traces conormales, potentiels de couche, distributions sur le bord) ou renforcent les hypothèses de régularité du domaine pour restaurer un opérateur trace borné.

Inversion

L'inverse est une théorie de la trace valide : sous une régularité Sobolev suffisante et une géométrie de bord acceptable, l'opérateur trace est bien défini, borné et surjectif sur l'espace bord approprié, permettant les formulations standard des problèmes aux conditions au bord.

Limite

Concerne les applications de trace linéaires entre espaces de Sobolev, Besov ou Hölder et les espaces bord ; exclut les opérateurs purement intérieurs et les situations où les valeurs au bord sont définies par des limites ponctuelles classiques sans référence aux traces en théorie des espaces.

Tension sémantique

Il existe une tension entre les notions ponctuelles de valeurs au bord et les opérateurs trace fonctionnel-analytiques : des restrictions ponctuelles peuvent parfois exister lorsque l'opérateur trace échoue, et inversement des traces bornées fournissent des données au bord même lorsque des limites ponctuelles sont inexistantes.

Synthèse

La défaillance de l'opérateur trace identifie la rupture de la procédure fonctionnelle-analytique consistant à restreindre des fonctions du domaine au bord : elle précise quand les théorèmes de trace de Sobolev standards sont inapplicables et motive des concepts alternatifs de trace ou des hypothèses de régularité plus fortes.