<p>We propose a new approach for approximating functions in <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(C([0,1]^d)\)</EquationSource> </InlineEquation> via Kolmogorov superposition theorem (KST) based on the linear spline interpolation of the outer function in the Kolmogorov representation. We improve the results in Lai and Shen (arXiv preprint arXiv:2112.09963 2021) by showing that the optimal rate of approximation based on our proposed approach is <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(O(\frac{1}{n^2})\)</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(n\)</EquationSource> </InlineEquation> denotes the number of knots over <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\([0,1]\)</EquationSource> </InlineEquation>. Furthermore, the approximation constant scales linearly with the dimension <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(d\)</EquationSource> </InlineEquation>. We show that there exists a dense subclass in <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(C([0,1]^d)\)</EquationSource> </InlineEquation> whose approximation can achieve such optimal rate, and the number of parameters needed in such approximation is at most <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(O(nd)\)</EquationSource> </InlineEquation>. Thus, there is no curse of dimensionality when approximating functions in this subclass. Moreover, for <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(d\geq 4\)</EquationSource> </InlineEquation>, we apply tensor product spline denoising technique to denoise KB-splines and get the smooth LKB-splines. We use LKB-splines as basis to approximate functions for the cases when <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(d=4\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(d=6\)</EquationSource> </InlineEquation>, which extends the results in Lai and Shen (arXiv preprint arXiv:2112.09963 2021). In addition, we validate via numerical experiments that fewer than <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(O(nd)\)</EquationSource> </InlineEquation> function values are needed to achieve the rate <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(O(\frac{1}{n^\beta})\)</EquationSource> </InlineEquation> for some <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\beta &gt; 0\)</EquationSource> </InlineEquation> based on the smoothness of the outer function. Finally, we demonstrate that our approach can be applied to numerically solving partial differential equation such as the Poisson equation with accurate results.</p>

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

Optimal linear B-spline approximation via Kolmogorov superposition theorem and its applications

  • Ming-Jun Lai,
  • Zhaiming Shen

摘要

We propose a new approach for approximating functions in \(C([0,1]^d)\) via Kolmogorov superposition theorem (KST) based on the linear spline interpolation of the outer function in the Kolmogorov representation. We improve the results in Lai and Shen (arXiv preprint arXiv:2112.09963 2021) by showing that the optimal rate of approximation based on our proposed approach is \(O(\frac{1}{n^2})\) , where \(n\) denotes the number of knots over \([0,1]\) . Furthermore, the approximation constant scales linearly with the dimension \(d\) . We show that there exists a dense subclass in \(C([0,1]^d)\) whose approximation can achieve such optimal rate, and the number of parameters needed in such approximation is at most \(O(nd)\) . Thus, there is no curse of dimensionality when approximating functions in this subclass. Moreover, for \(d\geq 4\) , we apply tensor product spline denoising technique to denoise KB-splines and get the smooth LKB-splines. We use LKB-splines as basis to approximate functions for the cases when \(d=4\) and \(d=6\) , which extends the results in Lai and Shen (arXiv preprint arXiv:2112.09963 2021). In addition, we validate via numerical experiments that fewer than \(O(nd)\) function values are needed to achieve the rate \(O(\frac{1}{n^\beta})\) for some \(\beta > 0\) based on the smoothness of the outer function. Finally, we demonstrate that our approach can be applied to numerically solving partial differential equation such as the Poisson equation with accurate results.