Abstract:The purpose is to make an easy-to-understand note of "Special Topics in Finite Element Methods." There might be typos and mistakes. Therefore, I do not take any responsibility for unauthorised use.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to study the numerical analysis problems when using the weakly over - penalized symmetric interior penalty (WOPSIP) method to solve the Poisson equation on anisotropic meshes. Specifically, the author hopes to explore the following points:
1. **Stability of the WOPSIP method**: Ensure that the WOPSIP method on anisotropic meshes can stably solve the Poisson equation.
2. **Error estimates**: Provide error estimates in the energy norm and \(L^2\) norm to evaluate the convergence of the WOPSIP method.
3. **Handling complex geometries**: By using anisotropic meshes, be able to handle problems with complex geometries more effectively.
### Overview of the main content
#### 1. Introduction
- The paper introduces the WOPSIP method and points out that this method was originally proposed by Brenner et al., and there have been several subsequent works to improve and extend it.
- It specifically mentions the importance of analyzing the WOPSIP method on anisotropic meshes because such meshes can better adapt to complex geometries.
#### 2. Preliminaries
- Defines basic symbols and terms, such as the constant \(c\), the gradient operator \(\nabla_h\), jumps and weighted averages, etc.
- Gives the variational form of the continuous problem and introduces the Lax - Milgram lemma to ensure the existence and uniqueness of the solution.
- Describes the trace inequality on anisotropic meshes (Lemma 2.1), which is very important for the subsequent error analysis.
#### 3. The WOPSIP method and its analysis
- **Define the WOPSIP method**: The goal is to find \(u_{\text{wop}}^h\in V_{CR}^{dc,h}\) such that
\[
a_{\text{wop}}^h(u_{\text{wop}}^h,\phi_h)=l_h(\phi_h)\quad\forall\phi_h\in V_{CR}^{dc,h}
\]
where \(a_{\text{wop}}^h\) is a bilinear form and \(l_h\) is a linear functional.
- **Energy norm error estimate**: Using Strang's second lemma (Lemma 3.1) and the best approximation property (Lemma 3.2), the error estimate in the energy norm is obtained:
\[
|u - u_{\text{wop}}^h|_{\text{wop}}\leq c\left(\sum_{i = 1}^d\sum_{T\in T_h}h_i^2\left\|\frac{\partial}{\partial r_i}\nabla u\right\|^2_{L^2(T)^d}\right)^{1/2}+ch\|\Delta u\|_{L^2(\Omega)}
\]
- **\(L^2\) norm error estimate**: Further analysis yields the error estimate in the \(L^2\) norm:
\[
\|u - u_{\text{wop}}^h\|_{L^2(\Omega)}\leq ch\left(\sum_{i = 1}^d\sum_{T\in T_h}h_i^2\left\|\frac{\partial}{\partial r_i}\nabla u\right\|^2_{L^2(T)^d}\right)^{1/2}+ch^2\|\Delta u\|_{L^2(\Omega)}
\]
#### 4. Notes on SIP and RSIP methods
- Briefly discusses the applications of the SIP (symmetric interior penalty) and RSIP (reduced symmetric interior penalty) methods when the shape - regularity condition is not satisfied.
- Points out that on anisotropic meshes, these methods may not be able to obtain optimal - order error estimates, especially for the consistency term estimates.
### Summary
This paper mainly focuses on the numerical analysis problems when using the WOPSIP method to solve the Poisson equation on anisotropic meshes.