A counterexample concerning the L_2-projector onto linear spline spaces

Peter Oswald

DOI: https://doi.org/10.48550/arXiv.math/0611573

2006-11-20

Abstract:For the L_2-orthogonal projector P onto spaces of linear splines over simplicial partitions of polyhedral domains in R^d, d>1, we show that the L_infty norm of P cannot be bounded uniformly with respect to the partition. This is in contrast to d=1, where these norms are bounded by 3 independently of the partition. This negative result is folklore among specialists in finite element methods and approximation theory but seemingly has never been formally proved.

Numerical Analysis

What problem does this paper attempt to address?

This paper attempts to address the problem of whether the \(L^\infty\) norm of the \(L^2\) orthogonal projection operator \(P_V\) on the linear spline space in high-dimensional spaces can be uniformly bounded. Specifically, the author Peter Oswald points out that in the one-dimensional case, the \(L^\infty\) norm \(\|P_V\|_{L^\infty \to L^\infty}\) can be bounded by a constant \(C(r)\) independent of the partition (for example, for linear splines, this constant is 3). However, in high-dimensional spaces, this problem has not been formally proven.

### Main Problem
- **Background**: In numerical methods and data analysis of partial differential equations, variational methods based on piecewise polynomial approximation are very important tools. In particular, the least squares method leads to the study of the \(L^2\) orthogonal projection operator \(P_V\).
- **Core Issue**: In multi-dimensional spaces, does there exist a constant \(C\) independent of the partition such that \(\|P_V\|_{L^\infty \to L^\infty} \leq C\)? This problem is very important in finite element methods and approximation theory but has not been formally proven.

### Main Contributions of the Paper
- **Counterexample Construction**: The author constructs a specific triangular partition \(T_J\) to prove that in two-dimensional space, \(\|P_V(T_J)\|_{L^\infty \to L^\infty}\) becomes unbounded as \(J\) increases. Specifically, for a square partition \(T_J\) consisting of \(8J + 4\) triangles, \(\|P_V(T_J)\|_{L^\infty \to L^\infty} \geq 2J\).
- **Conclusion**: This indicates that in high-dimensional spaces, the \(L^\infty\) norm of the \(L^2\) orthogonal projection operator on the linear spline space cannot be bounded by a constant independent of the partition, i.e., \(C(1) = \infty\).

### Methods and Results
- **Construction Method**: The author constructs a special triangular partition \(T_J\) by inserting a series of smaller squares into a square region and further subdividing these squares into triangles.
- **Specific Calculation**: By defining a specific function \(f \in L^\infty(\Omega)\) and calculating its \(L^2\) orthogonal projection \(g = P_V(T_J)f\), the author demonstrates that \(\|g\|_{L^\infty}\) becomes unbounded as \(J\) increases.
- **Extension to Higher Dimensions**: The author also points out that this result can be easily extended to higher-dimensional spaces.

### Conclusion
This paper proves, through the construction of specific counterexamples, that in high-dimensional spaces, the \(L^\infty\) norm of the \(L^2\) orthogonal projection operator on the linear spline space cannot be bounded by a constant independent of the partition. This result fills an important gap in finite element methods and approximation theory.