Weak equals strong L2 regularity for partial tangential traces on Lipschitz domains
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915228391833600 |
|---|---|
| author | Skrepek, Nathanael Pauly, Dirk |
| author_facet | Skrepek, Nathanael Pauly, Dirk |
| contents | We investigate the boundary trace operators that naturally correspond to $\mathrm{H}(\operatorname{curl},Ω)$, namely the tangential and twisted tangential trace, where $Ω\subseteq \mathbb{R}^{3}$. In particular we regard partial tangential traces, i.e., we look only on a subset $Γ$ of the boundary $\partialΩ$. We assume both $Ω$ and $Γ$ to be strongly Lipschitz (possibly unbounded). We define the space of all $\mathrm{H}(\operatorname{curl},Ω)$ fields that possess a $\mathrm{L}^{2}$ tangential trace in a weak sense and show that the set of all smooth fields is dense in that space, which is a generalization of Belgacem, Bernardi, Costabel and Dauge 1997. This is especially important for Maxwell's equation with mixed boundary condition as we answer the open problem by Weiss and Staffans 2013 (Section 5) for strongly Lipschitz pairs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2309_14977 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Weak equals strong L2 regularity for partial tangential traces on Lipschitz domains Skrepek, Nathanael Pauly, Dirk Functional Analysis Analysis of PDEs 46E35, 35Q61 We investigate the boundary trace operators that naturally correspond to $\mathrm{H}(\operatorname{curl},Ω)$, namely the tangential and twisted tangential trace, where $Ω\subseteq \mathbb{R}^{3}$. In particular we regard partial tangential traces, i.e., we look only on a subset $Γ$ of the boundary $\partialΩ$. We assume both $Ω$ and $Γ$ to be strongly Lipschitz (possibly unbounded). We define the space of all $\mathrm{H}(\operatorname{curl},Ω)$ fields that possess a $\mathrm{L}^{2}$ tangential trace in a weak sense and show that the set of all smooth fields is dense in that space, which is a generalization of Belgacem, Bernardi, Costabel and Dauge 1997. This is especially important for Maxwell's equation with mixed boundary condition as we answer the open problem by Weiss and Staffans 2013 (Section 5) for strongly Lipschitz pairs. |
| title | Weak equals strong L2 regularity for partial tangential traces on Lipschitz domains |
| topic | Functional Analysis Analysis of PDEs 46E35, 35Q61 |
| url | https://arxiv.org/abs/2309.14977 |