We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AP

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Analysis of PDEs

Title: Nonlocal Trace Spaces and Extension Results for Nonlocal Calculus

Abstract: For a given Lipschitz domain $\Omega$, it is a classical result that the trace space of $W^{1,p}(\Omega)$ is $W^{1-1/p,p}(\partial\Omega)$, namely any $W^{1,p}(\Omega)$ function has a well-defined $W^{1-1/p,p}(\partial\Omega)$ trace on its codimension-1 boundary $\partial\Omega$ and any $W^{1-1/p,p}(\partial\Omega)$ function on $\partial\Omega$ can be extended to a $W^{1,p}(\Omega)$ function. Recently, Dyda and Kassmann (2019) characterize the trace space for nonlocal Dirichlet problems involving integrodifferential operators with infinite interaction ranges, where the boundary datum is provided on the whole complement of the given domain $\mathbb{R}^d\backslash\Omega$. In this work, we study function spaces for nonlocal Dirichlet problems with a finite range of nonlocal interactions, which naturally serves a bridging role between the classical local PDE problem and the nonlocal problem with infinite interaction ranges. For these nonlocal Dirichlet problems, the boundary conditions are normally imposed on a region with finite thickness volume which lies outside of the domain. We introduce a function space on the volumetric boundary region that serves as a trace space for these nonlocal problems and study the related extension results. Moreover, we discuss the consistency of the new nonlocal trace space with the classical $W^{1-1/p,p}(\partial\Omega)$ space as the size of nonlocal interaction tends to zero. In making this connection, we conduct an investigation on the relations between nonlocal interactions on a larger domain and the induced interactions on its subdomain. The various forms of trace, embedding and extension theorems may then be viewed as consequences in different scaling limits.
Subjects: Analysis of PDEs (math.AP); Functional Analysis (math.FA)
MSC classes: 46E35, 47G10, 35A23, 35R11
Cite as: arXiv:2107.00177 [math.AP]
  (or arXiv:2107.00177v2 [math.AP] for this version)

Submission history

From: Yue Yu [view email]
[v1] Thu, 1 Jul 2021 02:07:39 GMT (845kb)
[v2] Thu, 15 Jul 2021 05:20:02 GMT (815kb)

Link back to: arXiv, form interface, contact.