Abstract:We extend a localization result for the $H^{1/2}$ norm by B. Faermann to a wider class of subspaces of $H^{1/2}(\Gamma)$, and we prove an analogous result for the $H^{-1/2}(\Gamma)$ norm, $\Gamma$ being the boundary of a bounded polytopal domain $\Omega$ in $\mathbb{R}^n$, $n=2,3$. As a corollary, we obtain equivalent, better localized, norms for both $H^{1/2}(\Gamma)$ and $H^{-1/2}(\Gamma)$, which can be exploited, for instance, in the design of preconditioners or of stabilized methods.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to localize the $H^{1/2}(\Gamma)$ and $H^{-1/2}(\Gamma)$ norms in two - and three - dimensional spaces. Specifically, the author extends Faermann's work and applies the results to a broader subspace of $H^{1/2}(\Gamma)$, and proves a similar localization result for the $H^{-1/2}(\Gamma)$ norm. The following are the main problems of the paper and their backgrounds:
### Research Background
$H^{1/2}(\Gamma)$ and $H^{-1/2}(\Gamma)$ are spaces that naturally arise in the analysis and discretization of second - order elliptic boundary value problems, where $\Gamma$ is the boundary of the domain $\Omega$. These spaces are respectively used to represent the trace of the $H^{1}(\Omega)$ solution and its normal flux. Being able to numerically calculate these norms efficiently is very important for numerical solutions such as pre - conditioning, stability, and a posteriori error estimation in adaptive methods.
However, the inner products of these spaces are essentially global, that is, even if the support sets of two elements are far apart, their inner product is not necessarily zero or very small. This makes the calculations involving these norms and the corresponding inner products very complex and impractical.
### Main Problems
1. **Localization of the $H^{1/2}(\Gamma)$ norm**:
- Extend Faermann's results to a larger subspace of $H^{1/2}(\Gamma)$.
- Prove that the $H^{1/2}(\Gamma)$ norm on these subspaces can be equivalently represented as a norm with better local properties, that is, these norms can be approximated by norms on local regions.
2. **Localization of the $H^{-1/2}(\Gamma)$ norm**:
- Prove a localization result similar to that of the $H^{1/2}(\Gamma)$ norm, so that the $H^{-1/2}(\Gamma)$ norm can also be approximated by norms on local regions.
### Specific Objectives
- Provide better localized norms for use in designing pre - conditioners or stabilization methods.
- Provide equivalent and more easily computable expressions for the $H^{1/2}(\Gamma)$ and $H^{-1/2}(\Gamma)$ norms, thereby improving computational efficiency.
### Methods and Conclusions
By introducing appropriate function spaces and projection operators, the author proves that the $H^{1/2}(\Gamma)$ and $H^{-1/2}(\Gamma)$ norms can be localized under specific conditions. Specifically, the author proves the following main theorems:
- **Theorem 3.3**: For a function $w\in H^{1/2}(\Gamma)$ that satisfies specific conditions, its norm can be localized as:
\[
\|w\|_{1/2,\Gamma}^2\simeq\sum_{y\in N}|w|_{1/2,\tau_y}^2
\]
- **Theorem 4.2**: For a functional $\zeta\in H^{-1/2}(\Gamma)$ that satisfies specific conditions, its norm can be localized as:
\[
\|\zeta\|_{-1/2,\Gamma}^2\simeq\sum_{y\in N}\|\zeta\|_{\tilde{H}^{-1/2}(\tau_y)}^2
\]
These results provide a theoretical basis for efficient calculation of these norms, thereby helping to improve the performance of numerical solutions.