Abstract:In the 1990's exponential-type error bounds appeared in the theory of radial basis functions. This kind of error bounds is very powerful. However it only measures the difference between the approximant and approximand. Mathematicians and engineers often need to know the matching of the derivatives when dealing with partial differential equations. In this paper we extend this kind of error bounds to a form which measures the difference between the derivatives of the approximant and approximand.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to extend the exponential - type error bounds in multi - quadratic and Gaussian interpolations to measure the differences between the interpolation function and its derivatives. Specifically:
1. **Existing problems**:
- In the 1990s, exponential - type error bounds emerged in the theory of radial basis functions (RBF). For multi - quadratic interpolation, the error bound is \( O(\lambda^{\frac{1}{d}}) \) as \( d \to 0 \), where \( \lambda \) is a constant satisfying \( 0 < \lambda < 1 \); for Gaussian interpolation, the error bound is \( O(C' d^{c'}) \) as \( d \to 0 \), where \( C' \) and \( c' \) are constants.
- These error bounds only measure the differences between the approximate function and the function to be approximated.
2. **New requirements**:
- Mathematicians and engineers often need to know the matching situation of derivatives when dealing with partial differential equations. Therefore, the existing error bounds are not sufficient to meet these requirements.
3. **Research objectives**:
- This paper aims to extend this error bound to a new form that can measure the differences between the interpolation function and its derivatives. Specifically, the author hopes to provide more accurate estimates of derivative errors to ensure that in practical applications, not only the function itself but also its derivatives can be well - approximated.
### Main contributions
- **Multi - quadratic interpolation**:
- For any \( f \in C_{h,m} \) and \( |\alpha| = l \), the distribution \( D^\alpha f \) belongs to \( C(\mathbb{R}^n) \), and there exist constants \( c_\alpha \) such that for all \( f \in C_{h,m} \),
\[
\|D^\alpha f - D^\alpha s\|_\infty \leq c_\alpha \|f\|_h
\]
- For any \( y \in \Omega \) such that the closed ball \( B(y, \delta) \subseteq \Omega \) (where \( \delta > 0 \)), and for any \( f \in C_{h,m} \), if \( 0 < |\alpha| < l \), then
\[
|D^\alpha f(y) - D^\alpha s(y)| \leq C_{|\alpha|} M_0^{1-\frac{|\alpha|}{l}} M_l^{\frac{|\alpha|}{l}}
\]
where \( C_{|\alpha|} \) is a constant independent of \( f \), \( M_0 = C \|f\|_h \lambda^{\frac{1}{d}} \), \( M_l = \max(M_l, M_0 l! \delta^{-l}) \), and \( M_l = C' \|f\|_h \), \( C' = l! \sum_{|\alpha|=l} \frac{c_\alpha}{\alpha!} \).
- **Gaussian interpolation**:
- Similarly, there are similar derivative error bounds for Gaussian interpolation.
Through these extensions, the author hopes to provide more accurate error estimates under more general conditions, especially in terms of derivative matching, thereby improving the reliability of interpolation methods in practical applications.