Kernels of trace operators via fine continuity

2025/07/06 by Michael Hinz, Simon N. Chandler-Wilde, Hinz, Michael +3 · 2 citations
#math.FA #cs.NA #math.AP #math.NA

paper · pdf · doi:10.48550/arxiv.2507.04536

Abstract

Given a closed subset Γ of ℝⁿ that is the support of a measure μ, we study the kernels of trace operators from fractional Sobolev spaces H_p^α(ℝⁿ) into the space of μ-equivalence classes of functions on Γ. We characterise these kernels as the closure of C_c^∞(ℝⁿ∖ Γ) in H_p^α(ℝⁿ), provided quasi continuous representatives of elements of H_p^α(ℝⁿ) have the following key property: they vanish quasi everywhere on Γ if and only if they vanish μ-almost everywhere on Γ. We establish that this key property holds if the measures satisfy localized upper density conditions. Such measures need not be doubling, in particular the set Γ may be a finite union of closed sets having different Hausdorff dimensions. We provide corresponding results for spaces H_p^α(Ω) on domains Ω⊂ ℝⁿ satisfying a weakened version of the measure density condition. We observe that the above key property is essential for the convergence of Galerkin integral equation methods, based on integration with respect to the measure μ, for certain BVPs in the complement of Γ.

Cited by

• Helmholtz transmission problem and intrinsic impedance scattering problem on extension domains
• On analysis of problems of mathematical physics with non-Lipschitz boundaries

Related

• Kernel of Trace Operator of Sobolev Spaces on Lipschitz Domain
• Trace operators on bounded subanalytic manifolds
• A regularity condition under which integral operators with operator-valued kernels are trace class
• Sobolev spaces associated to singular and fractional Radon transforms
• Robust nonlocal trace spaces and Neumann problems