Susanne C. Brenner
Abstract:A general superapproximation result is derived in this paper which is useful for the local/interior error analysis of finite element methods.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide a general superapproximation result for the local/internal error analysis of the finite element method. Specifically, the author aims to derive a general superapproximation result that can cover many existing special cases in the literature and is very useful for the local and internal error analysis of the finite element method.
### Specific background and objectives of the problem
1. **Importance of superapproximation results**:
- Superapproximation results are important tools for the local and internal error analysis of the finite element method. These results can help estimate the error between the finite element solution and the true solution more accurately.
2. **Limitations of existing research**:
- Existing superapproximation results are usually derived for specific situations or specific types of finite element spaces, lacking a unified and general framework.
3. **Objectives of the paper**:
- Derive a general superapproximation result that can cover and generalize many special cases in the existing literature.
- Provide a theoretical framework so that this result can be applied to different finite element spaces and different types of functions.
### Main contributions of the paper
- **Main theorem**: The core of the paper is Theorem 1, which gives a general superapproximation estimation formula applicable to Sobolev norms of different orders and polynomial degrees.
\[
|ω^nχ - Π_K(ω^nχ)|_{H^ℓ(K)} \leq C h_K^{m + 1-ℓ} d^{-(m + 1)} \sum_{j = 0}^m d^j |χ|_{H^j(K)}, \quad \forall χ \in P
\]
where \(m, ℓ, n\) satisfy \(0 \leq m \leq k\), \(0 \leq ℓ \leq m+ 1\), \(n \geq 1\), and \(C\) is a positive constant depending only on \(N, n, k, C^\dagger, C^\flat, C^\sharp, C^\diamond\).
- **Corollaries and applications**:
- The result of Theorem 1 can be used to prove that the energy norms of discrete harmonic functions or bi - harmonic functions can be estimated by lower - order norms, which is a version of the discrete Caccioppoli estimate.
- These estimates play a crucial role in the local and internal error analysis of the finite element method.
Through these contributions, the paper provides a more general and powerful theoretical basis for the error analysis of the finite元 method.