<p>This paper constructs unique compactly supported functions in Sobolev spaces that have minimal norm, maximal support, and maximal central value, under certain renormalizations. They may serve as optimized basis functions in interpolation or approximation, or as shape functions in meshless methods for PDE solving. Their norm is useful for proving upper bounds for convergence rates of interpolation in Sobolev spaces <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(H_2^m(\mathbb {R}^d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mn>2</mn> <mi>m</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and this paper gives the correct rate <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(m-d/2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>-</mo> <mi>d</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> that arises as convergence like <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(h^{m-d/2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>h</mi> <mrow> <mi>m</mi> <mo>-</mo> <mi>d</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> </math></EquationSource> </InlineEquation> for interpolation at meshwidth <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(h\rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> or a blow-up like <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(r^{-(m-d/2)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>r</mi> <mrow> <mo>-</mo> <mo stretchy="false">(</mo> <mi>m</mi> <mo>-</mo> <mi>d</mi> <mo stretchy="false">/</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> for norms of compactly supported functions with support radius <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(r\rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. In Hilbert spaces with infinitely smooth reproducing kernels, like Gaussians or inverse multiquadrics, there are no compactly supported functions at all, but in spaces with limited smoothness, compactly supported functions exist and can be optimized in the above way. The construction is described in Hilbert space via projections, and analytically via trace operators. Numerical examples are provided.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Optimal compactly supported functions in Sobolev spaces

  • Robert Schaback

摘要

This paper constructs unique compactly supported functions in Sobolev spaces that have minimal norm, maximal support, and maximal central value, under certain renormalizations. They may serve as optimized basis functions in interpolation or approximation, or as shape functions in meshless methods for PDE solving. Their norm is useful for proving upper bounds for convergence rates of interpolation in Sobolev spaces \(H_2^m(\mathbb {R}^d)\) H 2 m ( R d ) , and this paper gives the correct rate \(m-d/2\) m - d / 2 that arises as convergence like \(h^{m-d/2}\) h m - d / 2 for interpolation at meshwidth \(h\rightarrow 0\) h 0 or a blow-up like \(r^{-(m-d/2)}\) r - ( m - d / 2 ) for norms of compactly supported functions with support radius \(r\rightarrow 0\) r 0 . In Hilbert spaces with infinitely smooth reproducing kernels, like Gaussians or inverse multiquadrics, there are no compactly supported functions at all, but in spaces with limited smoothness, compactly supported functions exist and can be optimized in the above way. The construction is described in Hilbert space via projections, and analytically via trace operators. Numerical examples are provided.