Escaping the native space of Sobolev kernels by interpolation
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912753608818688 |
|---|---|
| author | Ehring, Tobias Vogel, Max-Paul Haasdonk, Bernard |
| author_facet | Ehring, Tobias Vogel, Max-Paul Haasdonk, Bernard |
| contents | Classical convergence analysis for kernel interpolation typically assumes that the target function $f$ lies in the reproducing kernel Hilbert space $\mathcal{H}_k\!\left(Ω\right)$ induced by a kernel on a domain $Ω\subset\mathbb{R}^N$. For many applications, however, this assumption is overly restrictive. We develop a general framework for analyzing the convergence of kernel interpolation {beyond the native space}. Let $A(Ω)$ and $B(Ω)$ be Banach spaces with continuous embeddings $\mathcal{H}_k\!\left(Ω\right) \hookrightarrow A(Ω)\hookrightarrow B(Ω)$, assume point evaluation is continuous on $A(Ω)$, and that $\mathcal{H}_k\!\left(Ω\right)$ is dense in $A(Ω)$. For a nested sequence of node sets $(X_n)_{n\ge1}\subsetΩ$ with $\bigcup_n X_n$ dense, we characterize convergence of the kernel interpolants in the $B(Ω)$-norm for all target functions in $A(Ω)$ via the uniform boundedness of the interpolation operators $Π^{\,n}_{A,B}:A(Ω)\to B(Ω)$. This yields a necessary and sufficient condition under which kernel interpolation extends beyond $\mathcal{H}_k\!\left(Ω\right)$. Specializing to Sobolev kernels of order $τ>N/2$ on bounded Lipschitz domains, we show that every $f \in C(\overlineΩ)$ can be approximated in the $L^2(Ω)$-norm by interpolation using quasi-uniform nested centers. Moreover, for a subclass of Sobolev kernels (including integer-order Matérn kernels), we prove that the Lebesgue constant is uniformly bounded on $[a,b]\subset\mathbb{R}$ under quasi-uniform centers; within our framework this implies supremum norm convergence of the interpolants for every target functions $f \in C([a,b])$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_07262 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Escaping the native space of Sobolev kernels by interpolation Ehring, Tobias Vogel, Max-Paul Haasdonk, Bernard Numerical Analysis 41A05, 41A30, 46E22, 41A63 Classical convergence analysis for kernel interpolation typically assumes that the target function $f$ lies in the reproducing kernel Hilbert space $\mathcal{H}_k\!\left(Ω\right)$ induced by a kernel on a domain $Ω\subset\mathbb{R}^N$. For many applications, however, this assumption is overly restrictive. We develop a general framework for analyzing the convergence of kernel interpolation {beyond the native space}. Let $A(Ω)$ and $B(Ω)$ be Banach spaces with continuous embeddings $\mathcal{H}_k\!\left(Ω\right) \hookrightarrow A(Ω)\hookrightarrow B(Ω)$, assume point evaluation is continuous on $A(Ω)$, and that $\mathcal{H}_k\!\left(Ω\right)$ is dense in $A(Ω)$. For a nested sequence of node sets $(X_n)_{n\ge1}\subsetΩ$ with $\bigcup_n X_n$ dense, we characterize convergence of the kernel interpolants in the $B(Ω)$-norm for all target functions in $A(Ω)$ via the uniform boundedness of the interpolation operators $Π^{\,n}_{A,B}:A(Ω)\to B(Ω)$. This yields a necessary and sufficient condition under which kernel interpolation extends beyond $\mathcal{H}_k\!\left(Ω\right)$. Specializing to Sobolev kernels of order $τ>N/2$ on bounded Lipschitz domains, we show that every $f \in C(\overlineΩ)$ can be approximated in the $L^2(Ω)$-norm by interpolation using quasi-uniform nested centers. Moreover, for a subclass of Sobolev kernels (including integer-order Matérn kernels), we prove that the Lebesgue constant is uniformly bounded on $[a,b]\subset\mathbb{R}$ under quasi-uniform centers; within our framework this implies supremum norm convergence of the interpolants for every target functions $f \in C([a,b])$. |
| title | Escaping the native space of Sobolev kernels by interpolation |
| topic | Numerical Analysis 41A05, 41A30, 46E22, 41A63 |
| url | https://arxiv.org/abs/2512.07262 |