Un résultat de trace sur les domaines d'extension de Sobolev - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2021

Un résultat de trace sur les domaines d'extension de Sobolev

Résumé

On se propose dans cet article d'établir l'existence et la continuité d'un opérateur de trace de fonctions sur le bord d'un domaine $\Omega$ plan possédant la propriété de $(1,p)-$extension de Sobolev. Cet opérateur sera défini sur l'espace fonctionnel de Sobolev $W^{1,p}(\Omega)$ avec $1 < p < \infty$. Dans un premier temps, on démontre l'existence et la continuité d'un tel opérateur quand il est appliqué aux éléments du sous-espace des fonctions régulières jusqu'au bord et ce en utilisant un lemme auxiliaire de majoration uniforme. Les ingrédients essentiels utilisés dans la démonstration de ce lemme sont la représentation de Green d'une fonction sur un disque ainsi que le théorème d'isomorphisme de Banach. Puis on conclut le résultat de trace en utilisant la densité des fonctions régulières dans $W^{1,p}(\Omega)$. La preuve qui est présentés exploite totalement l'hypothèse d'extensibilité du domaine $\Omega$. La pertinence du résultat réside dans le fait qu'il existe des domaines d'extension qui ne sont pas Lipschitziens et sous ce point de vue, il constitue une généralisation du théorème habituel de trace.
On se propose dans cet article d'établir l'existence et la continuité d'un opérateur de trace de fonctions sur le bord d'un domaine Ω plan possédant la propriété de (1, p)−extension de Sobolev. Cet opérateur sera défini sur l'espace fonctionnel de Sobolev W 1,p (Ω) avec 1 < p < ∞. Dans un premier temps, on démontre l'existence et la continuité d'un tel opérateur quand il est appliqué auxéléments du sous-espace des fonctions régulières jusqu'au bord et ce en utilisant un lemme auxiliaire de majoration uniforme. Les ingrédients essentiels utilisés dans la démonstration de ce lemme sont la représentation de Green d'une fonction sur un disque ainsi que le théorème d'isomorphisme de Banach. Puis on conclut le résultat de trace en utilisant la densité des fonctions régulières dans W 1,p (Ω). La preuve qui est présentés exploite totalement l'hypothèse d'extensibilité du domaine Ω. La pertinence du résultat réside dans le fait qu'il existe des domaines d'extension qui ne sont pas Lipschitziens et sous ce point de vue, il constitue une généralisation du théorème habituel de trace. Mots-clés : espaces de Sobolev ; domaines de (1, p)−extension ; représentation de Green ; inégalité de trace ; densité des fonctions régulières.
Fichier principal
Vignette du fichier
Trace_Extension_Domains.pdf (268.6 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03084211 , version 1 (20-12-2020)
hal-03084211 , version 2 (20-02-2021)

Identifiants

  • HAL Id : hal-03084211 , version 2

Citer

Djamal Ait Akli, Abdelkader Merakeb. Un résultat de trace sur les domaines d'extension de Sobolev. 2021. ⟨hal-03084211v2⟩

Collections

TDS-MACS
240 Consultations
97 Téléchargements

Partager

Gmail Facebook X LinkedIn More