Abstract
We elaborate so-called regular decompositions of vector fields on a three-dimensional Lipschitz domain where the field and its rotation/divergence belong to L 2 and where the tangential/normal component of the field vanishes on a sufficiently smooth “Dirichlet” part of the boundary. We impose no restrictions on the topology of the domain, its boundary, or the Dirichlet boundary parts.
The field is split into a regular vector field, whose Cartesian components lie in H 1 and vanish on the Dirichlet boundary, and a remainder contained in the kernel of the rotation/divergence operator. The decomposition is proved to be stable not only in the natural norms, but also with respect to the L 2 norm. Besides, for special cases of mixed boundary conditions, we show the existence of H 1-regular potentials that characterize the range of the rotation and divergence operator.
We conclude with results on discrete counterparts of regular decompositions for spaces of low-order discrete differential forms on simplicial meshes. Essentially, all results for function spaces carry over, though local correction terms may be necessary. These discrete regular decompositions have become an important tool in finite element exterior calculus (FEEC) and for the construction of preconditioners.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
1 Introduction
For a bounded Lipschitz domain \(\varOmega \subset \mathbb {R}^3\) recall the classical L 2-orthogonal Helmholtz decompositions
see, e.g., [9, Ch. XI, Sect. I]. They can be used to derive decompositions of (subspaces of) \(\mathbf {H}(\operatorname {\mathbf {curl}},\varOmega )\):
If the domain Ω is convex then the respective complementary space, X N(Ω) or X T(Ω), is continuously embedded in the space H 1(Ω) of vector fields with Cartesian components in H 1(Ω), cf. [1]. Then one can, for instance, write any \(\mathbf {u} \in \mathbf {H}(\operatorname {\mathbf {curl}},\varOmega )\) as
with p ∈ H 1(Ω) and z ∈H 1(Ω). Since \({\| \operatorname {\nabla } p \|}_{{\mathbf {L}}^2(\varOmega )} \le {\| \mathbf {u} \|}_{{\mathbf {L}}^2(\varOmega )}\) one obtains (using the continuous embedding) the stability propertyFootnote 1
A similar decomposition can be found for \(\mathbf {u} \in {\mathbf {H}}_0(\operatorname {\mathbf {curl}},\varOmega )\).
Generally, a decomposition of form (1) with the stability property (2) is called regular decomposition, even if L 2-orthogonality does not hold. Actually, it turns out that (1)–(2) can be achieved even in cases where Ω is non-convex, in particular on non-smooth domains, or in cases where Ω or its boundary have non-trivial topology; only the L 2-orthogonality has to be sacrificed, cf. [20].
Noting that \(\operatorname {\nabla } H^1(\varOmega )\) is contained in the kernel of the \(\operatorname {\mathbf {curl}}\) operator and that—under mild smoothness assumptions on the domain—the whole kernel is spanned by \(\operatorname {\nabla } H^1(\varOmega )\) plus a finite-dimensional co-homology space [15, Sect. 4] one can achieve a second decomposition,
with \(\mathbf {h} \in \ker (\operatorname {\mathbf {curl}}_{|\mathbf {H}(\operatorname {\mathbf {curl}},\varOmega )})\) and z ∈H 1(Ω), where
The second stability estimate states that if u is already in the kernel of the \(\operatorname {\mathbf {curl}}\) operator, then z is zero. Hence, (1) the operator mapping u to h is a projection onto the kernel space and (2) the complement operator projects u to the function z of higher regularity H 1(Ω). For trivial topology of Ω and ∂Ω, the two decompositions (1)–(2) and (3)–(4) coincide.
As a few among many more [17, Sect. 1.5], we would like to highlight two important applications of these regular decompositions.
-
1.
The second form (3)–(4), in the sequel called rotation-bounded decomposition, can be used to show that the operator underlying a certain boundary value problem for Maxwell’s equations is a Fredholm operator. The key point is that the complement space of the kernel (from the view of the mentioned projections) is H 1(Ω) which is compactly embedded in L 2(Ω), see e.g., [14, 16] and references therein.
-
2.
The first form (1)–(2), in the sequel called gradient-based decomposition, has been used to generate stable three-term splittings of a finite element subspace of \(\mathbf {H}(\operatorname {\mathbf {curl}},\varOmega )\), cf. [19,20,21, 23], which allows the construction of so-called fictitious or auxiliary space preconditioners for the ill-conditioned system matrix underlying the discretized Maxwell equations.
In both applications, it is desirable to obtain the decompositions for minimal smoothness of the domain, e.g., Lipschitz domains, which are not necessarily convex. Moreover, it is also desirable to go beyond decompositions of the entire space \(\mathbf {H}(\operatorname {\mathbf {curl}},\varOmega )\) and extend them to subspaces for which the appropriate trace vanishes on a “Dirichlet part” Γ D of the boundary. In this case traces of the two summands should also vanish on Γ D.
In the present paper, we provide regular decompositions of both types for subspaces of \(\mathbf {H}(\operatorname {\mathbf {curl}},\varOmega )\) (in Sect. 3) and \(\mathbf {H}(\operatorname {div},\varOmega )\) (in Sect. 4) comprising functions with vanishing trace on a part Γ D of the boundary ∂Ω for Lipschitz domains Ω of arbitrary topology. In particular, Ω is allowed to have handles, and ∂Ω and Γ D may have several connected components. The Dirichlet boundary Γ D must satisfy a certain smoothness assumption that we shall introduce in Sect. 2. In addition to the stability estimates (2) and (4), we show that the decompositions are stable even in L 2(Ω).
In the final part of the manuscript, in Sect. 5, we establish regular decompositions of spaces of Whitney forms, which are lowest-order conforming finite element subspaces of \(\mathbf {H}(\operatorname {\mathbf {curl}},\varOmega )\) and \(\mathbf {H}(\operatorname {div},\varOmega )\), respectively, built upon simplicial triangulations of Ω.
This note is based on [17] and is an abridged version of [18]. Please refer to this latter preprint for complete proofs of the results quoted below.
2 Preliminaries
Since subtle geometric arguments will play a major role for parts of the theory, we start with a precise characterization of the geometric setting: Let \(\varOmega \subset \mathbb {R}^3\) be an open, bounded, connected Lipschitz domain.Footnote 2 We write \(\operatorname {d}(\varOmega )\) for its diameter. Its boundary Γ:= ∂Ω is partitioned according to Γ = Γ D ∪ Σ ∪ Γ N, with relatively open sets Γ D and Γ N. We assume that this provides a piecewise C 1 dissection of ∂Ω in the sense of [12, Definition 2.2]. Sloppily speaking, this means that Σ is the union of closed curves that are piecewise C 1.
Under the above assumptions on Ω and Γ D, [12, Lemma 4.4] guarantees the existence of an open Lipschitz neighborhood Ω Γ (“Lipschitz collar”) of Γ and of a “bulge” Υ D ⊂ Ω Γ ∖ Ω. We recall the properties of bulge domains from [12, Sect. 2, Thm. 2.3], also stated in [17, Thm. 2.2]:
Theorem 1 (Bulge-Augmented Domain)
There exists a Lipschitz domain\({\varUpsilon _D} \subset \mathbb {R}^3 \setminus \overline \varOmega \) , such that \(\overline \varUpsilon _D \cap \overline {\varOmega } = {\varGamma _D}\) , Ω e:= Υ D ∪ Γ D ∪ Ω is Lipschitz, \(\operatorname {d}(\varOmega ^e) \le 2 \operatorname {d}(\varOmega )\) , and \(\overline \varUpsilon _D \subset \varOmega _\varGamma \) . Moreover, each connected component Γ D,k of Γ D corresponds to a connected component Υ D,k of Υ D , and these have positive distance from each other.
Let
denote the standard Sobolev spaces where the distributional gradient, curl, or divergence is in L 2 and where the pointwise trace γu, the tangential trace γ τ u, or the normal trace γ n u, respectively, vanishes on the Dirichlet boundary Γ D, see e.g. [3, 6, 26]. These space are linked via the de Rham complex,
where
The range of each operator in (5) lies in the kernel space of the succeeding one, cf. [3, Lemma 2.2]. We define
Barring topological obstructions these kernels can be represented through potentials: Let β 1(Ω) denote the first Betti number of Ω (the number of “handles”) and β 2(Ω) the second Betti number (the number of connected components of ∂Ω minus one). By the very definition of the Betti numbers as dimensions of co-homology spaces we have
cf. [26]. We call Ω topologically trivial if β 1(Ω) = β 2(Ω) = 0.
3 Regular Decompositions and Potentials Related to \(\mathbf {H}(\operatorname {\mathbf {curl}})\)
Throughout we rely on the properties of Ω and Γ D as introduced in Sect. 2 and use the notations from Theorem 1. We write C for positive “generic constants” and say that a constant “depends only on the shape of Ω and Γ D”, if it depends on the geometric setting alone, but is invariant with respect to similarity transformations. To achieve this the diameter of Ω will have to enter the estimates; we denote it by \(\operatorname {d}(\varOmega )\).
3.1 Gradient-Based Regular Decomposition of \(\mathbf {H}(\operatorname {\mathbf {curl}})\)
The following theorem is essentially [17, Thm. 2.1].
Theorem 2 (Gradient-Based Regular Decomposition of \(\mathbf {H}(\operatorname {\mathbf {curl}})\))
Let (Ω, Γ D) satisfy the assumptions of Sect. 2 . Then for each \(\mathbf {u} \in {\mathbf {H}}_{{\varGamma _D}}(\operatorname {\mathbf {curl}}, \varOmega )\) there exist \(\mathbf {z} \in {\mathbf {H}}^1_{{\varGamma _D}}(\varOmega )\) and \(p \in H^1_{{\varGamma _D}}(\varOmega )\) depending linearly on u such that
with constants depending only on the shape of Ω and Γ D , but not on \(\operatorname {d}(\varOmega )\).
Remark 1
An early decomposition of a subspace of \(\mathbf {H}(\operatorname {\mathbf {curl}},\varOmega ) \cap \mathbf {H}(\operatorname {div},\varOmega )\) into a regular part in H 1(Ω) and a singular part in ∇H 1(Ω) can be found in [4] and in [5, Proposition 5.1], see also [7, Sect. 3] and references therein. Theorem 2 was proved in [14, Lemma 2.4] for the case of Γ D = ∂Ω and without the L 2-stability estimate, following [5, Proposition 5.1]. Pasciak and Zhao [28, Lemma 2.2] provided a version for simply connected Ω and the case Γ D = ∂Ω with pure L 2-stability, but p is only constant on each connected component of ∂Ω (see also Theorem 5 and Remark 3). This result was refined in [24, Thm. 3.1]. For the case Γ D = ∅, [14, Lemma 2.4] gives a similar decomposition but ∇p must be replaced by an element from \(\mathbf {H}(\operatorname {\mathbf {curl}} 0, \varOmega )\) in general. Finally, Theorem 2 without the pure L 2-stability was proved in [20, Thm. 5.2].Footnote 3
Remark 2
The constant C in Theorem 2 depends mainly on the stability constants of key extension operators. If the bulge Υ D has multiple components Υ D,k, the final estimate will depend on the relative distances between Υ D,k, Υ D,ℓ, k ≠ ℓ and the ratios \(\operatorname {d}(\varUpsilon _{D,k})/\operatorname {d}(\varOmega )\).
Remark 3
If Γ D = ∂Ω, one obtains only p ∈ H 1(Ω) being constant on each connected component of Γ D but the improved bound
Results on regular decompositions in this special case can be found in [24, 28].
3.2 Regular Potentials for Some Divergence-Free Functions
Let the domain Ω and the Dirichlet boundary part Γ D be as introduced in Sect. 2 and let Γ i, i = 0, …, β 2(Ω), denote the connected components of ∂Ω, where β 2(Ω) is the second Betti number of Ω.
We define the spaceFootnote 4
Above γ n denotes the normal trace operator, and the duality pairing is that between H −1∕2(Γ i) and H 1∕2(Γ i). If Γ D = ∅ we simply drop the subscript Γ D. Obviously,
The next result identifies the above space as the range of the curl operator.
Theorem 3 (Regular Potential of \(\mathrm {Range}(\operatorname {\mathbf {curl}})\))
Let (Ω, Γ D) be as in Sect. 2 and assume in addition that each connected component Υ D,k of the bulge has vanishing first Betti number, β 1(Υ D,k) = 0. Then
and for each \(\mathbf {q} \in {\mathbf {H}}_{{\varGamma _D}}(\operatorname {div}\,00, \varOmega )\) there exists \(\boldsymbol {\psi } \in {\mathbf {H}}^1_{{\varGamma _D}}(\varOmega )\) depending linearly on q such that
where C depends only on the shape of Ω and Γ D , but not on \(\operatorname {d}(\varOmega )\)
Remark 4
For the case that Γ D = ∅, we reproduce the classical result
see [11, Thm. 3.4]. In that case, Step 4 of the proof can be left out and ψ = w 1 which is why \(\operatorname {div} \boldsymbol {\psi } = 0\) in Ω. This property, however, is lost in the general case.
3.3 Rotation-Bounded Regular Decomposition of \(\mathbf {H}(\operatorname {\mathbf {curl}})\)
We can now formulate another new variety of regular decompositions, for which the H 1-component will vanish for curl-free fields.
Theorem 4 (Rotation-Bounded Regular Decomposition of \(\mathbf {H}(\operatorname {\mathbf {curl}})\) (I))
Let (Ω, Γ D) be as in Sect. 2 and assume, in addition, that each connected component Υ D,k of the bulge has vanishing first Betti number, β 1(Υ D,k) = 0. Then, for each \(\mathbf {u} \in {\mathbf {H}}_{{\varGamma _D}}(\operatorname {\mathbf {curl}}, \varOmega )\) there exist \(\mathbf {z} \in {\mathbf {H}}^1_{{\varGamma _D}}(\varOmega )\) and a curl-free vector field \(\mathbf {h} \in {\mathbf {H}}_{{\varGamma _D}}(\operatorname {\mathbf {curl}} 0, \varOmega )\) , depending linearly on u such that
where C depends only on the shape of Ω and Γ D , but not on \(\operatorname {d}(\varOmega )\).
Remark 5
The constant C in Theorem 4 depends essentially on the stability constants of the divergence-free extension operator \(E_{\varOmega ^e}^{\operatorname {div},0}\) and the (adapted) Stein extension operator \(E_{{\varUpsilon _D}}^{\operatorname {\nabla },\text{Stein}}\).
Another stronger version of the rotation-bounded regular decomposition of \(\mathbf {H}(\operatorname {\mathbf {curl}})\) gets rid of the assumptions on the topology of the Dirichlet boundary and has improved stability properties (though with less explicit constants).
Theorem 5 (Rotation-Bounded Regular Decomposition of \(\mathbf {H}(\operatorname {\mathbf {curl}})\) (II))
Let (Ω, Γ D) be as in Sect. 2 . Then for each \(\mathbf {u} \in {\mathbf {H}}_{\varGamma _D}(\operatorname {\mathbf {curl}}, \varOmega )\) there exist \(\mathbf {z} \in {\mathbf {H}}^1_{\varGamma _D}(\varOmega )\) and a curl-free \(\mathbf {h} \in {\mathbf {H}}_{\varGamma _D}(\operatorname {\mathbf {curl}} 0, \varOmega )\) depending linearly on u such that
where C depends only on the shape of Ω and Γ D , but not on \(\operatorname {d}(\varOmega )\).
Remark 6
For the case Γ D = ∂Ω the result of the theorem is already proved by Remark 3 since we obtain u = z + ∇p with \(\nabla p \in \nabla H^1_{0,\text{const}}(\varOmega ) = {\mathbf {H}}_0(\operatorname {\mathbf {curl}},\varOmega )\).
Remark 7
We would like to emphasize that both in Theorems 2 and 5, the domain Ω may be non-convex, non-smooth, and may have non-trivial topology: It may have handles and its boundary may have multiple components. Also the Dirichlet boundary Γ D may have multiple components, each of which with non-trivial topology. Moreover, we have the pure L 2(Ω)-stability in both theorems. In this sense, the results of Theorems 2 and 5 are superior to those found, e.g., in [7, Thm 3.4], [19] or the more recent ones in [8, Thm. 2.3], [22].
Remark 8
If Ω has vanishing first Betti number, β 1(Ω) = 0, then \({\mathbf {H}}_{{\varGamma _D}}(\operatorname {\mathbf {curl}} 0, \varOmega ) = \nabla H^1_{{\varGamma _D},\text{const}}(\varOmega )\). Hence, we can split each \(\mathbf {u} \in {\mathbf {H}}_{\varGamma _D}(\operatorname {\mathbf {curl}},\varOmega )\) into \(\mathbf {z} \in {\mathbf {H}}^1_{\varGamma _D}(\varOmega )\) and ∇p with p ∈ H 1(Ω) being constant on each connected component of Γ D. If Γ D is connected, then \(p \in H^1_{\varGamma _D}(\varOmega )\). Summarizing, if Ω has no handles and if Γ D is connected, then we have the combined features of Theorems 2 and 5.
Finally, we mention that the regular decomposition theorems spawn projection operators that play a fundamental role in the analysis of weak formulations of Maxwell’s equations in frequency domain [14, Sect. 5].
Corollary 1
Let (Ω, Γ D) be as in Sect. 2 . Then there exist continuous projection operators \(\mathsf {R} \colon {\mathbf {H}}_{\varGamma _D}(\operatorname {\mathbf {curl}}, \varOmega ) \to {\mathbf {H}}^1_{\varGamma _D}(\varOmega )\) and \(\mathsf {N} \colon {\mathbf {H}}_{\varGamma _D}(\operatorname {\mathbf {curl}}, \varOmega ) \to {\mathbf {H}}_{\varGamma _D}(\operatorname {\mathbf {curl}} 0, \varOmega )\) such that R + N = i d and
where C is a constant independent of v . Moreover, \(\mathsf {F} \colon {\mathbf {H}}_{\varGamma _D}(\operatorname {\mathbf {curl}}, \varOmega ) \to {\mathbf {H}}_{\varGamma _D}(\operatorname {\mathbf {curl}}, \varOmega )\) defined by F v:= R v −N v is an isomorphism.
Remark 9
The L 2-estimates from Theorem 4 then show that the corresponding operator R can be extended to a continuous operator mapping from L 2(Ω) to L 2(Ω).
4 Regular Decompositions and Potentials Related to \(\mathbf {H}(\operatorname {div})\)
The developments of this section are largely parallel to those of Sect. 3 with some new aspects concerning extensions and topological considerations.
4.1 Rotation-Based Regular Decomposition of \(\mathbf {H}(\operatorname {div})\)
The following theorem is the \(\mathbf {H}(\operatorname {div})\)-counterpart of Theorem 2.
Theorem 6 (Rotation-Based Regular Decomposition of \(\mathbf {H}(\operatorname {div})\))
Let (Ω, Γ D) satisfy the assumptions made in Sect. 2 . Then for each \(\mathbf {v} \in {\mathbf {H}}_{{\varGamma _D}}(\operatorname {div}, \varOmega )\) there exist \(\mathbf {z} \in {\mathbf {H}}^1_{{\varGamma _D}}(\varOmega )\) and \(\mathbf {q} \in {\mathbf {H}}^1_{{\varGamma _D}}(\varOmega )\) depending linearly on v such that
with constant C depending only on the shape of Ω and Γ D , but not on \(\operatorname {d}(\varOmega )\).
4.2 Regular Potential with Prescribed Divergence
The next result carries Theorem 3 over to \(\mathbf {H}(\operatorname {div})\).
Theorem 7 (Regular Potentials for the Image Space of \(\operatorname {div}\))
Let (Ω, Γ D) be as in Sect. 2 and, in addition, assume that each connected component Υ D,k of the bulge has a connected boundary, i.e., β 2(Υ D,k) = 0. Then
Moreover, for each v ∈ L 2(Ω) there exists \(\mathbf {q} \in {\mathbf {H}}^1_{\varGamma _D}(\varOmega )\) depending linearly on v such that, with a constant C depending on Ω and Γ D but not on \(\operatorname {d}(\varOmega )\) ,
4.3 Divergence-Bounded Regular Decompositions of \(\mathbf {H}(\operatorname {div})\)
We can now formulate other variants of regular decompositions of \(\mathbf {H}(\operatorname {div})\) in analogy to what we did in Sect. 3.3.
Theorem 8 (Divergence-Bounded Regular Decomposition of \(\mathbf {H}(\operatorname {div})\) (I))
Let (Ω, Γ D) be as in Sect. 2 . In addition, assume that each connected component Υ D,k of the bulge has a connected boundary, i.e., β 2(Υ D,k) = 0. Then, for each \(\mathbf {v} \in {\mathbf {H}}_{{\varGamma _D}}(\operatorname {div},\varOmega )\) there exists \(\mathbf {z} \in {\mathbf {H}}_{{\varGamma _D}}^1(\varOmega )\) and a divergence-free vector field \(\mathbf {h} \in {\mathbf {H}}_{{\varGamma _D}}(\operatorname {div} 0, \varOmega )\) depending linearly on v such that
where C depends only on the shape of Ω and Γ D , but not on \(\operatorname {d}(\varOmega )\).
The last variant of \(\mathbf {H}(\operatorname {div})\) regular decomposition of \(\mathbf {H}(\operatorname {div})\) dispenses with the assumptions on the topology of the Dirichlet boundary and has better stability properties than the splitting from Theorem 8 (though with less explicit constants).
Theorem 9 (Divergence-Bounded Regular Decomposition of \(\mathbf {H}(\operatorname {div})\) (II))
Let (Ω, Γ D) be as in Sect. 2 . Then, for each \(\mathbf {v} \in {\mathbf {H}}_{{\varGamma _D}}(\operatorname {div},\varOmega )\) there exists \(\mathbf {z} \in {\mathbf {H}}_{{\varGamma _D}}^1(\varOmega )\) and a divergence-free vector field \(\mathbf {h} \in {\mathbf {H}}_{{\varGamma _D}}(\operatorname {div} 0, \varOmega )\) depending linearly on v such that
where C depends only on the shape of Ω and Γ D , but not on \(\operatorname {d}(\varOmega )\).
5 Discrete Counterparts of the Regular Decompositions
The discrete setting to which we want to extend the concept of regular decompositions is provided by finite element exterior calculus (FEEC, [2]) which introduces finite element subspaces of \(\mathbf {H}(\operatorname {\mathbf {curl}})\) and \(\mathbf {H}(\operatorname {div})\) as special instances of spaces of discrete differential forms. In this section we confine ourselves to the lowest-order case of piecewise linear finite element functions.
Throughout, we assume that (Ω, Γ D) is as in Sect. 2, and, additionally, that Ω is a polyhedron and that ∂Γ D consists of straight line segments. All considerations take for granted a shape-regular family of meshes \(\{ \mathcal {T}^h \}_h\) of Ω, consisting of tetrahedral elements, and resolving Γ D in the sense that Γ D is a union of faces of some of the tetrahedra.
The following finite element spaces will be relevant:
-
the space \(\mathcal {W}^0_{h,{\varGamma _D}}(\varOmega )\) of \(H^1_{{\varGamma _D}}(\varOmega )\)-conforming piecewise linear Lagrangian finite element functions,
-
the space \(\boldsymbol {\mathcal {W}}^1_{h,{\varGamma _D}}(\varOmega )\) of \({\mathbf {H}}_{{\varGamma _D}}(\operatorname {\mathbf {curl}},\varOmega )\)-conforming lowest order Nédélec elements, also known as edge elements,
-
the space \(\boldsymbol {\mathcal {W}}^2_{h,{\varGamma _D}}(\varOmega )\) of \({\mathbf {H}}_{{\varGamma _D}}(\operatorname {div},\varOmega )\)-conforming lowest order tetrahedral Raviart-Thomas finite elements, aka, face elements,
-
the space \(\boldsymbol {\mathcal {W}}^0_{h,{\varGamma _D}}(\varOmega ) := [ \mathcal {W}^0_{h,{\varGamma _D}}(\varOmega ) ]^3\) of piecewise linear globally continuous vector fields vanishing on Γ D.
Functions in \(\boldsymbol {\mathcal {W}}^{\ell }_{h,{\varGamma _D}}(\varOmega )\), ℓ = 1, 2, 3, are so-called Whitney forms, lowest-order discrete differential forms of the first family as introduced in [13] and [2, Sect. 5].
5.1 Discrete Regular Decompositions for Edge Elements
Commuting projectors, also known as co-chain projectors, are the linchpin of FEEC theory [2, Sect. 7], and it is not different with our developments. Thus, let
denote the continuous, boundary-aware cochain projectors from [17, Sect. 3.2.6], which extend the pioneering work [10] by Falk and Winther. These two linear operators are projectors onto their ranges, they fulfill the commuting property
and local stability estimates
Theorem 10 ([17, Thm. 1.2])
For each \({\mathbf {v}}_h \in \boldsymbol {\mathcal {W}}^1_{0,{\varGamma _D}}(\varOmega )\) there exists a continuous and piecewise linear vector field \({\mathbf {z}}_h \in \boldsymbol {\mathcal {W}}^0_{h,{\varGamma _D}}(\varOmega )\) , a continuous and piecewise linear scalar function \(p_h \in \mathcal {W}^0_{h,{\varGamma _D}}(\varOmega )\) , and a remainder \(\widetilde {\mathbf {v}}_h \in \boldsymbol {\mathcal {W}}^1_{0,{\varGamma _D}}(\varOmega )\) , all depending linearly on v h , providing the discrete regular decomposition
and satisfying the stability estimates
where C is a generic constant that depends only on the shape of (Ω, Γ D), but not on \(\operatorname {d}(\varOmega )\) , and on the shape regularity constant of \(\mathcal {T}^h(\varOmega )\) . Above, h −1 is the piecewise constant function that is equal to \(h_T^{-1}\) on every element T.
Obviously, this is a discrete counterpart of the regular decomposition of \(\mathbf {H}(\operatorname {\mathbf {curl}})\) from Theorem 2. The following theorem appears to be new and it corresponds to the rotation-bounded regular decomposition of Theorem 5. For the sake of brevity define the discrete nullspace of the curl operator
If Ω and Γ D have simple topology, \(\mathcal {X}_h = \operatorname {\nabla }\mathcal {W}^0_{h,{\varGamma _D}}(\varOmega )\), but if the first Betti number of Ω is non-zero, or if Γ D has multiple components, then a finite-dimensional co-homology space has to be added [2, Sect. 5.6].
Theorem 11 (Rotation-Bounded Discrete Regular Decomposition for Edge Elements)
For each \({\mathbf {v}}_h \in \boldsymbol {\mathcal {W}}^1_{0,{\varGamma _D}}(\varOmega )\) there exists a continuous and piecewise linear vector field \({\mathbf {z}}_h \in \boldsymbol {\mathcal {W}}^0_{h,{\varGamma _D}}(\varOmega )\) , an curl-freeedge element function \({\mathbf {h}}_h \in \mathcal {N}^1_h\) , and a remainder \(\widetilde {\mathbf {v}}_h \in \boldsymbol {\mathcal {W}}^1_{0,{\varGamma _D}}(\varOmega )\) , all depending linearly on v h , providing the discrete regular decomposition
and satisfying the stability bounds
where C is a uniform constant that depends only on the shape of (Ω, Γ D), but not on \(\operatorname {d}(\varOmega )\) , and on the shape regularity constant of \(\mathcal {T}^h(\varOmega )\).
We stress that the statements of Theorems 10 and 11 do not hinge on any assumptions on the topological properties of Ω and Γ D.
5.2 Discrete Regular Decompositions for Face Elements
For face elements, the construction of a boundary-aware co-chain projection operator
that commutes with \({\mathbf {R}}^1_{h,{\varGamma _D}}\) and the \(\operatorname {\mathbf {curl}}\)-operator has not yet been accomplished. Fortunately, in the case Γ D = ∅, this operator is available from [10]. Thus, in the following, we treat only the case Γ D = ∅ and just omit the subscript Γ D. Then, from [10] we can borrow a linear operator \({\mathbf {R}}^2_h \colon \mathbf {H}(\operatorname {div},\varOmega ) \to \boldsymbol {\mathcal {W}}^2_h(\varOmega )\) such that
The next result takes Theorem 6 to the discrete setting.
Theorem 12 (Discrete Regular Decomposition of \(\boldsymbol {\mathcal {W}}^2_h(\varOmega )\))
For each vector field v h in the lowest-order Raviart-Thomas space \(\boldsymbol {\mathcal {W}}^2_h(\varOmega )\) , there exists a continuous and piecewise linear vector field \({\mathbf {z}}_h \in \boldsymbol {\mathcal {W}}^0_h(\varOmega )\) , a vector field q h in the lowest-order Nédélec space \(\boldsymbol {\mathcal {W}}^1_h(\varOmega )\) , and a remainder \(\widetilde {\mathbf {v}}_h \in \boldsymbol {\mathcal {W}}^2_h(\varOmega )\) , all depending linearly on v h , providing the discrete regular decomposition
and the stability estimates
The constant C depends only on the shape of Ω, but not on \(\operatorname {d}(\varOmega )\) , and the shape-regularity of \(\mathcal {T}^h(\varOmega )\).
Finally, we present a counterpart to the divergence-bounded regular decomposition of Theorem 9. For convenience we introduce the space of divergence-free face element functions
Theorem 13 (Divergence-Bounded Discrete Regular Decomposition of \(\boldsymbol {\mathcal {W}}^2_h(\varOmega )\))
For each vector field v h in the lowest-order Raviart-Thomas space \(\boldsymbol {\mathcal {W}}^2_h(\varOmega )\) , there exists a continuous and piecewise linear vector field \({\mathbf {z}}_h \in \boldsymbol {\mathcal {W}}^0_h(\varOmega )\) , an element h h in the discrete divergence-free subspace \({\mathcal {N}^2_h}\) , and a remainder \(\widetilde {\mathbf {v}}_h \in \boldsymbol {\mathcal {W}}^2_h(\varOmega )\) , all depending linearly on v h , providing the discrete regular decomposition
and the stability estimates
The constants C depend only on the shape of Ω, but not on \(\operatorname {d}(\varOmega )\) , and the shape regularity of \(\mathcal {T}^h(\varOmega )\).
Remark 10
The result of Theorem 13 can be viewed as an improvement of the decompositions in [25] which are elaborated for the case of essential boundary conditions on ∂Ω.
Corollary 2
If the second Betti number of Ω vanishes, that is, if ∂Ω is connected, then h h in Theorem 13 can be chosen as \({\mathbf {h}}_h = \operatorname {\mathbf {curl}}{\mathbf {q}}_h\) with \({\mathbf {q}}_h \in \boldsymbol {\mathcal {W}}^1_h(\varOmega )\) such that
with the bounds
Remark 11
The result of Corollary 2 is an improvement of [19, Lemma 5.2] which assumes a domain Ω that is smooth enough to allow H 2-regularity of the Laplace problem (2-regular case, for details see [19, Sect. 3]). This lemma is used in [27] in a domain decomposition framework, where convex subdomains are assumed. With our improved version, this assumption can be weakened considerably.
Notes
- 1.
Here and below C stands for a positive “generic constant” that may depend only on Ω, unless specified otherwise.
- 2.
Strongly Lipschitz, in the sense that the boundary is locally the graph of a Lipschitz continuous function.
- 3.
This reference contains a typo which is easily identified when inspecting the proof: In general, z cannot be estimated in terms of \(\| \operatorname {\mathbf {curl}}\mathbf {u} \|{ }_{0,\varOmega }\) but one must use the full \(\mathbf {H}(\operatorname {\mathbf {curl}})\) norm.
- 4.
Alternatively we can define \({\mathbf {H}}_{{\varGamma _D}}(\operatorname {div} 00, \varOmega )\) as the functions in \({\mathbf {H}}_{{\varGamma _D}}(\operatorname {div} 0, \varOmega )\) orthogonal to the harmonic Dirichlet fields \(\mathbf {H}(\operatorname {div} 0, \varOmega ) \cap {\mathbf {H}}_0(\operatorname {\mathbf {curl}} 0, \varOmega )\).
References
Amrouche, C., Bernardi, C., Dauge, M., Girault, V.: Vector potentials in three-dimensional non-smooth domains. Math. Meth. Appl. Sci. 21(9), 823–864 (1998)
Arnold, D., Falk, R., Winther, R.: Finite element exterior calculus, homological techniques, and applications. Acta Numer. 15, 1–155 (2006)
Bauer, S., Pauly, D., Schomburg, M.: The Maxwell compactness property in bounded weak Lipschitz domains with mixed boundary conditions. SIAM J. Math. Anal. 48(4), 2912–2943 (2016)
Birman, M.S., Solomyak, M.Z.: L 2-theory of the Maxwell operator in arbitrary domains. Usp. Mat. Nauk. 42(6), 61–76 (1987). English Transliterated, Russian Math. Surveys 42(6), 75–96 (1987)
Bonnet-Ben Dhia, A., Hazard, C., Lohrengel, S.: A singular field method for the solution of Maxwell’s equations in polyhedral domains. SIAM J. Appl. Math. 59(6), 2028–2044 (1999)
Buffa, A., Costabel, M., Sheen, D.: On traces for H(curl, Ω) in Lipschitz domains. J. Math. Anal. Appl. 276, 845–867 (2002)
Costabel, M., Dauge, M., Nicaise, S.: Singularities of Maxwell interface problems. Model. Math. Anal. Numer. 33(2), 627–649 (1999)
Creusé, E., Nicaise, S., Tang, Z.: Helmholtz decomposition of vector fields with mixed boundary conditions and an application to a posteriori finite element analysis of the Maxwell system. Math. Methods Appl. Sci. 38(4), 738–750 (2015)
Dautray, R., Lions, J.: Mathematical Analysis and Numerical Methods for Science and Technology. Springer, Berlin (2000). Original French edition published by Masson, S.A., Paris (1984)
Falk, R.S., Winther, R.: Local bounded cochain projections. Math. Comp. 83(290), 2631–2656 (2014)
Girault, V., Raviart, P.A.: Finite Element Methods for Navier–Stokes Equations. Springer, New York (1986)
Gopalakrishnan, J., Qiu, W.: Partial expansion of a Lipschitz domain and some applications. Front. Math. China 7(2), 249–272 (2012)
Hiptmair, R.: Canonical construction of finite elements. Math. Comp. 68, 1325–1346 (1999)
Hiptmair, R.: Finite elements in computational electromagnetism. Acta Numer. 11, 237–339 (2002)
Hiptmair, R.: Boundary element methods for eddy current computation. In: Schanz, M., Steinbach, O. (eds.) Boundary Element Analysis: Mathematical Aspects and Applications. Lecture Notes in Applied and Computational Mechanics, vol. 29, pp. 213–248. Springer, Heidelberg (2007)
Hiptmair, R.: Maxwell’s equations: Continuous and discrete. In: Bermúdez de Castro, A., Valli, A. (eds.) Computational Electromagnetism. Lecture Notes in Mathematics, vol. 2148. Springer, Cham (2015)
Hiptmair, R., Pechstein, C.: Discrete regular decompositions of tetrahedral discrete 1-forms. In: Langer, U., Pauly, D., Repin, S. (eds.) Maxwell’s Equations. Radon Series on Computational and Applied Mathematics, vol. 24. De Gruyter, Stuttgart (2019). To appear in July 2019, see also SAM Report 2017-47, ETH Zurich
Hiptmair, R., Pechstein, C.: Regular decompositions of vector fields - continuous, discrete, and structure-preserving. Technical Report 2019-18, Seminar for Applied Mathematics, ETH Zürich (2019). https://www.sam.math.ethz.ch/sam_reports/reports_final/reports2019/2019-18.pdf
Hiptmair, R., Xu, J.: Nodal auxiliary space preconditioning in H(curl) and H(div) spaces. SIAM J. Numer. Anal. 45, 2483–2509 (2007)
Hiptmair, R., Zheng, W.: Local multigrid in H(curl). J. Comput. Math. 27(5), 573–603 (2009)
Hiptmair, R., Widmer, G., Zou, J.: Auxiliary space preconditioning in H 0(curl; Ω). Numer. Math. 103, 435–459 (2006)
Hu, Q.: Convergence of HX preconditioner for Maxwell’s equations with jump coefficients (i): various extensions of the regular Helmholtz decomposition. Technical Report arXiv:1708.05850v2 [math.AP] (2018)
Kolev, T.V., Pasciak, J.E., Vassilevski, P.S.: H(curl) auxiliary mesh preconditioning. Numer. Linear Algebr. Appl. 15(5), 455–471 (2008)
Kolev, T.V., Vassilevski, P.S.: Parallel auxiliary space AMG for H(curl) problems. J. Comput. Math. 27(5), 604–623 (2009)
Kolev, T.V., Vassilevski, P.S.: Parallel auxiliary space AMG for H(div) problems. SIAM J. Sci. Comput. 34(6), A3079–A3098 (2012)
Monk, P.: Finite Element Methods for Maxwell’s Equations. Numerical Mathematics and Scientific Computation. Oxford University Press, Oxford (2003)
Oh, D., Widlund, O.B., Zampini, S., Dohrmann, C.R.: BDDC algorithms with deluxe scaling and adaptive selection of primal constraints for Raviart–Thomas vector fields. Math. Comp. 87, 659–692 (2018)
Pasciak, J.E., Zhao, J.: Overlapping Schwarz methods in H(curl) on polyhedral domains. Numer. Math. 10(3), 211–234 (2002)
Acknowledgements
The second author would like to thank Dirk Pauly (Essen) for enlightening discussions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2020 The Author(s)
About this paper
Cite this paper
Hiptmair, R., Pechstein, C. (2020). A Review of Regular Decompositions of Vector Fields: Continuous, Discrete, and Structure-Preserving. In: Sherwin, S.J., Moxey, D., Peiró, J., Vincent, P.E., Schwab, C. (eds) Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018. Lecture Notes in Computational Science and Engineering, vol 134. Springer, Cham. https://doi.org/10.1007/978-3-030-39647-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-39647-3_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-39646-6
Online ISBN: 978-3-030-39647-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)