Abstract
In this paper, we will show that the equivalence of a div-grad Neumann problem and a grad-div Dirichlet problem can be preserved at the discrete level in 3-dimensional curvilinear domains if algebraic dual polynomial representations are employed. These representations will be introduced. Proof of the equivalence at the discrete level follows from the construction of the algebraic dual representations. A 3-dimensional test problem in curvilinear coordinates will illustrate this approach.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
1 Introduction
In \( \mathbb {R}^{d} \), given a bounded domain Ω with Lipschitz boundary ∂ Ω and \( \hat {\boldsymbol {\sigma }}_{\boldsymbol {n}}\in H^{-1/2}(\partial \Omega )=\mathrm {tr}\ H(\mathrm {div},\Omega ) \), ω ∈ H 1( Ω) solves the Neumann problem,
if and only if σ ∈ H(div, Ω) which solves the Dirichlet problem,
satisfies σ = grad ω [3]. This is obvious at the continuous level. The question is whether we can find a set of finite dimensional function spaces such that σ h = grad ω h holds if ω h and σ h solve the discrete Neumann and Dirichlet problems respectively. The answer is yes.
Throughout this paper, we restrict ourselves to \( \mathbb {R}^{3} \). We will first construct the primal polynomial spaces and their algebraic dual representations, and then use them to discretize problems (1) and (2) such that the identity σ h = grad ω h holds at the discrete level in any curvilinear domain for any polynomial approximation degree. This work extends [7, 9], where similar dual Neumann–Dirichlet problems are considered, to 3-dimensional space. These primal spaces and their algebraic dual representations can be ideal for the so-called mimetic or structure-preserving discretizations [1, 4, 8, 11, 12]. Together with their trace spaces, they can be used for the hybrid finite element methods which first decompose the domains into discontinuous elements then connect them with Lagrange multipliers living in the trace spaces [2, 13, 14].
The outline of this paper is as follows: In Sect. 2, we introduce the construction of polynomial spaces and their algebraic dual representations. The discrete formulations of the Neumann–Dirichlet problems and the proof of their equivalence at the discrete level follow in Sect. 3. A 3-dimensional numerical test case is then presented in Sect. 4. Finally, conclusions are drawn in Sect. 5.
2 Function Spaces
2.1 Primal Polynomial Spaces
Let \( -1 = \xi ^{i}_{0}<\xi ^{i}_{1}<\cdots <\xi ^{i}_{I^{i}}=1 \), i = 1, 2, 3, being three partitionings of [−1, 1]. The associated Lagrange polynomials are
They are polynomials of degree I i which satisfy the Kronecker delta property, \( h_{j}(\xi ^{i}_{k}) = \delta _{jk} \). The associated edge functions can be derived as [6],
which are polynomials of degree I i − 1. Edge functions also satisfy the Kronecker delta property, but in the integral sense,
Consider a reference domain \( \left . \Omega _{\mathrm {ref}}\right |{ }_{\xi ^1,\xi ^2,\xi ^3}:=[-1,1]^3 \). With the tensor product, we can construct finite dimensional scalar function space \( \mathcal {P}^{I^{1}, I^{2}, I^{3}} \) spanned by polynomial basis functions
and vector-valued function space \( \mathcal {L}^{I^{1}, I^{2}, I^{3}} \) spanned by polynomial basis functions
Let \(\omega ^{h} \in \mathcal {P}^{I^{1}, I^{2}, I^{3}} \) be
Due to the way of constructing the edge functions, we can easy derive \( \boldsymbol {\rho }^{h}=\mathrm {grad}\ \omega ^{h} \in \mathcal {L}^{I^{1},I^{2},I^{3}} \),
where [6],
Let \(\underline {\omega } \), \(\underline {\boldsymbol {\rho }} \) be the vectors of expansion coefficients of ω h, ρ h. We can obtain
where \( \mathbb {E} \) is called the incidence matrix. The incidence matrix is very sparse, only consists of ± 1 as non-zero entries. If we squeeze, stretch or distort the domain, of course, the polynomial basis functions change, but the incidence matrix will remain the same. It only depends on the topology of the mesh and the numbering of the degrees of freedom. And it is exact. In other words, it introduces no extra error. All these features make it an excellent discrete counterpart of the grad operator. Examples of incidence matrices can be found in [8, 10,11,12].
For a comprehensive explanation of these polynomial basis functions, we refer to [6]. In isogeometric analysis, tensor-product B-splines with similar properties have been developed, see, for example [5]. For tetrahedral elements, an analogue development can be found in [15].
From (3), we can derive the trace of ω h, for example, on the back boundary of Ωref, \( \Gamma _{\mathrm {b}}=\left \lbrace \xi ^{1}=-1,\ \xi ^{2},\ \xi ^{3} \in [-1, 1]\right \rbrace \),
Let \(\underline {\omega }_{\mathrm {b}} \) be the vector of expansion coefficients of trb ω h. Clearly, there exists a linear operator \( \mathbb {N}_{\mathrm {b}} \) such that
The same processes can be done for other boundaries. If we collect the traces of ω h on all boundaries and combine their vectors of expansion coefficients and corresponding linear operators, we can eventually obtain
where the matrix \( \mathbb {N} \), like \( \mathbb {E} \), is sparse and only depends on the topology of the mesh and the numbering of the degrees of freedom. Furthermore, it contains only 1 as non-zero entries. An example of \( \mathbb {N} \) can be found in [7]. Now, we can conclude that the trace space, \( \mathit {P}^{I^1,I^2,I^3} = \mathrm {tr}\ \mathcal {P}^{I^1,I^2,I^3} \), is given as
where \( \mathit {P}_{-1}^{I^2,I^3} \) is the space spanned by \(\left \lbrace h_{0}(-1)h_{j}(\xi ^{2})h_{k}(\xi ^3) \right \rbrace \), \( \mathit {P}_{1}^{I^2,I^3} \) is the space spanned by \(\left \lbrace h_{I^1}(1)h_{j}(\xi ^{2})h_{k}(\xi ^3) \right \rbrace \) and so on. Notice that the polynomial basis functions in \(\left \lbrace h_{0}(-1)h_{j}(\xi ^{2})h_{k}(\xi ^3) \right \rbrace \) are exactly the same as those in \(\left \lbrace h_{I^1}(1)h_{j}(\xi ^{2})h_{k}(\xi ^3) \right \rbrace \) because \( h_{0}(-1) = h_{I^1}(1) = 1 \). But here we still distinguish them because they represent basis functions at different boundaries.
2.2 Algebraic Dual Polynomial Spaces
We first consider the space \( \mathcal {P}^{I^1,I^2,I^3} \). Let \( \mathbb {M}_{\mathcal {P}} \) be the symmetric mass matrix, for example,
The associated algebraic dual polynomial representations, or simply dual polynomials, are linear combinations of the polynomial basis functions, or simply primal polynomials, defined in the previous section,
These dual polynomials are always well-defined. This is because the primal polynomials are linearly independent. So the mass matrix \( \mathbb {M}_{\mathcal {P}} \) is injective and surjective, therefore invertible. Let the finite dimensional space spanned by \( \left \lbrace \widetilde {h_{i,j,k}}(\xi ^{1},\xi ^2,\xi ^{3})\right \rbrace \) be denoted by \( \widetilde {\mathcal {P}}^{I^1, I^2, I^3} \). We say \( \widetilde {\mathcal {P}}^{I^1, I^2, I^3} \) is the algebraic dual space of the primal space \( \mathcal {P}^{I^1, I^2, I^3} \). Note that \( \mathcal {P}^{I^1, I^2, I^3} \) and \( \widetilde {\mathcal {P}}^{I^1, I^2, I^3} \) actually represent the same space. The change of basis functions only leads to a different representation. Therefore, we also call the algebraic dual space a dual representation. Let \( \widetilde {\mathbb {M}}_{\mathcal {P}} \) be the mass matrix of \( \widetilde {\mathcal {P}}^{I^1,I^2,I^3} \), we can easily see that
where \( \ mathcal {I} \) is the identity matrix. Similarly, we can derive the algebraic dual space \( \widetilde {\mathcal {L}}^{I^1,I^2,I^3} \) of the primal space \( \mathcal {L}^{I^1,I^2,I^3} \). Let \( \widetilde {\mathbb {M}}_{\mathcal {L}} \) and \( \mathbb {M}_{\mathcal {L}} \) be their mass matrices, we have
If \( \boldsymbol {\rho }^{h}\in \mathcal {L}^{I^1,I^2,I^3} \), σ h, whose vector of expansion coefficients \(\underline {\boldsymbol {\sigma }} \) satisfies
will be the representation of ρ h in the algebraic dual space \(\widetilde { \mathcal {L}}^{I^1,I^2,I^3} \).
To explain how the algebraic dual space of the trace space \( \mathit {P}^{I^1,I^2,I^3} \) is derived, we take \( \mathit {P}_{-1}^{I^2,I^3} \) as example. We already know that \( \mathit {P}_{-1}^{I^2,I^3} \) is a space spanned by primal polynomials \(\left \lbrace h_{0}(-1)h_{j}(\xi ^{2})h_{k}(\xi ^3) \right \rbrace \). With these primal polynomials, we can compute its mass matrix, denoted by \( \mathbb {M}_{\mathrm {b}} \). The dual polynomials are then computed by
The algebraic dual space \( \widetilde {\mathit {P}}_{-1}^{I^2,I^3} \)is spanned by dual polynomials \( \left \lbrace \widetilde {h_{0,j,k}}(-1,\xi ^2,\xi ^{3}) \!\right \rbrace \). The algebraic dual space of the trace space \( \mathit {P}^{I^1,I^2,I^3} \) eventually can be written as
The divergence of \( \boldsymbol {\sigma }^{h}\in \widetilde {\mathcal {L}}^{I^1,I^2,I^3} \) can be done with the help of the boundary value \( \hat {\boldsymbol {\sigma }}^{h}\in \widetilde {\mathit {P}}^{I^1,I^2,I^3} \). With vector proxies, it can be written as
A detailed introduction of algebraic dual polynomial spaces is given in [9].
2.3 Function Spaces in Curvilinear Domains
So far, all polynomial spaces are defined only in the reference domain \( \left .\Omega _{\mathrm {ref}}\right |{ }_{\xi ^1,\xi ^2,\xi ^3}=[-1,1]^3 \). Consider an arbitrary domain Ω and a \( \mathcal {C}^1 \) diffeomorphism \( \Phi :\left . \Omega _{\mathrm {ref}}\right |{ }_{\xi ^1,\xi ^2,\xi ^3}\to \left . \Omega \right |{ }_{x^1,x^2,x^3} \). In Ω, the primal polynomials change. Therefore, the mass matrices will also change. But the process of constructing dual polynomials does not change. And as we mentioned before, the metric-independent incidence matrix \( \mathbb {E} \) and the matrix \( \mathbb {N} \) remain the same. The way of converting polynomials in Cartesian domain into those in curvilinear domains follows the general coordinate transformation process, for example, see [16].
From now on, notations mentioned in this section not only refer to the reference domain Ωref, but also refer to the physical domain Ω.
3 Weak Formulations
3.1 Discrete Neumann Problem
With integration by parts, we can derive the weak formulation of the Neumann problem, (1), written as: For given \( \hat {\boldsymbol {\sigma }}\in H^{-1/2}(\partial \Omega ) \), find ω ∈ H 1( Ω) such that
Note that on the right hand side, we use \( \left \langle \cdot ,\cdot \right \rangle \) to represent the duality pairing between \( \mathrm {tr}\ \bar {\omega }\in H^{1/2}(\partial \Omega ) \) and \( \hat {\boldsymbol {\sigma }} \in H^{-1/2}(\partial \Omega ) \). We use finite dimensional space \( \mathcal {P}^{I^1,I^2,I^3} \) to approximate the space H 1( Ω) and use the algebraic dual trace space \( \widetilde {\mathit {P}}^{I^1,I^2,I^3} \) to approximate the space H −1∕2(∂ Ω). Then we obtain
and
which eventually leads to the discrete formulation of (9),
3.2 Discrete Dirichlet Problem
For the Dirichlet problem, (2), the weak formulation is given as: For given \( \hat {\boldsymbol {\sigma }} \in H^{-1/2}(\partial \Omega )\), find σ ∈ H(div, Ω), \( \mathrm {tr}\ \boldsymbol {\sigma }= \hat {\boldsymbol {\sigma }} \) such that
We use algebraic dual space \( \widetilde {\mathcal {L}}^{I^1,I^2,I^3} \) to approximate H(div, Ω). With \( \hat {\boldsymbol {\sigma }}^{h} \in \widetilde {\mathit {P}}^{I^1,I^2,I^3} \) given and (8), we obtain
and
Therefore, the discrete formulation of (11) is written as
3.3 Equivalence Between Discrete Formulations
Now it is time to check if the equivalence between (1) and (2) holds at the discrete level. In other words, it is time to check if the statement that \(\underline {\omega }^{h} \) solves (10) if and only if \(\underline {\boldsymbol {\sigma }}^{h}=\mathrm {grad}\\underline {\omega }^{h} \) solves (12) is correct.
From (4) and (7), we know that \(\underline {\boldsymbol {\sigma }}^{h} \),
is the vector representation of grad ω h in the dual space. If we insert (13) into (12), we obtain
From (10), we know that
By inserting (15) into (14), we get
From (5) and (6), we know that (16) holds, which proves the equivalence.
If the equivalence holds, relation \( \left \|\omega ^{h}\right \|{ }_{H^1(\Omega )} = \left \|\boldsymbol {\sigma }^{h}\right \|{ }_{H(\mathrm {div},\Omega )} \) should also be satisfied. To prove this, we have
where we constantly use (5) and (6) and the fact that mass matrices are symmetric.
4 Numerical Test
Consider the mapping Φ which maps the Cartesian reference domain \( \left . \Omega _{\mathrm {ref}} \right |{ }_{\xi ^1,\xi ^2,\xi ^3}{:=} [-1,1]^3\) into the physical domain \( \left . \Omega \right |{ }_{x^1,x^2,x^3} = [0,1]^3 \) by
When the deformation coefficient c = 0, the domain Ω is Cartesian. Otherwise the domain is curvilinear, meaning that a curvilinear coordinate system parametrizes Ω. Examples of such curvilinear domains in \( \mathbb {R}^2 \) are shown in Fig. 1.
A manufactured solution of the Neumann problem, (1), is
Clearly, \( \boldsymbol {\sigma }_{\mathrm {exact}}=\mathrm {grad}\ \omega _{\mathrm {exact}} = \left ( e^{x^1},\ e^{x^2},\ e^{x^3}\right ) ^{\mathsf {T}} \) solves the Dirichlet problem, (2).
In the domains of different deformation coefficient c, with the boundary condition \( \hat {\boldsymbol {\sigma }}=\mathrm {tr}\ \boldsymbol {\sigma }_{\mathrm {exact}} \) imposed, we solve the discrete formulations (10) and (12) using Gauss–Lobatto–Legendre (GLL) polynomial spaces of degree I 1 = I 2 = I 3 = N.
The results of the L 2-error of \( \left ( \boldsymbol {\sigma }^{h}-\mathrm {grad}\ \omega ^{h}\right ) \) are shown in Fig. 2 (Left) where we can see that the relation σ h = grad ω h is preserved up to the machine precision. With the growth of the polynomial degree, the error increases slowly because of the accumulation of the machine error as the amount of degrees of freedom grows significantly.
In Table 1, the results of the H 1-norm of ω h and H(div)-norm of σ h are presented. It is shown that the relation \( \left \|\omega ^{h}\right \|{ }_{H^1(\Omega )} = \left \|\boldsymbol {\sigma }^{h}\right \|{ }_{H(\mathrm {div},\Omega )} \) holds for all polynomial degrees irrespective of whether we use the Cartesian domain, c = 0, or curvilinear domains, c = 0.15, 0.3. It is also seen that the results always converge to the analytical value \( \left \|\omega _{\mathrm {exact}}\right \|{ }_{H^1}= \left \|\boldsymbol {\sigma }^{h}\right \|{ }_{H(\mathrm {div})}=6.0730653668\). The p-convergence for the H 1-error of ω h, therefore also for the H(div)-error of σ h, is shown in Fig. 2 (Right), which shows the exponential convergence of the method.
5 Conclusions
By constructing and using primal polynomial spaces and their algebraic dual representations both in the domain and on the boundary, we successfully preserve the equivalence of the div-grad Neumann problem and the grad-div Dirichlet problem at the discrete level in 3-dimensional curvilinear domains. This suggests the further usage of these spaces to structure-preserving methods and hybrid methods.
References
Bochev, P.B., Hyman, J.M.: Principles of mimetic discretizations of differential operators. In: Compatible Spatial Discretizations, pp. 89–119. Springer, New York (2006)
Brezzi, F., Fortin, M.: Mixed and Hybrid Finite Element Methods, vol. 15. Springer Science & Business Media, New York (2012)
Carstensen, C., Demkowicz, L., Gopalakrishnan, J.: Breaking spaces and forms for the DPG method and applications including Maxwell equations. Comput. Math. Appl. 72(3), 494–522 (2016)
Castillo, J.E., Miranda, G.F.: Mimetic Discretization Methods. Chapman and Hall/CRC, London (2013)
Evans, J.A., Scott, M.A., Shepherd, K.M., Thomas, D.C., Vázquez Hernández, R.: Hierarchical B-spline complexes of discrete differential forms. IMA J. Numer. Anal. (2018)
Gerritsma, M.: Edge functions for spectral element methods. In: Spectral and High Order Methods for Partial Differential Equations, pp. 199–207. Springer, Berlin (2011)
Gerritsma, M., Jain, V., Zhang, Y., Palha, A.: Algebraic dual polynomials for the equivalence of curl-curl problems (2018). arXiv:1805.00114
Gerritsma, M., Palha A., Jain, V., Zhang, Y.: Mimetic spectral element method for anisotropic diffusion. In: Numerical Methods for PDEs. Springer SEMA SIMAI Series, vol. 15, pp. 31–74. Springer, Berlin (2018)
Jain, V., Zhang, Y., Palha, A., Gerritsma, M.: Construction and application of algebraic dual polynomial representations for finite element methods (2017). arXiv:1712.09472
Jain, V., Zhang, Y., Fisser J., Palha, A., Gerritsma, M.: A conservative hybrid method for Darcy flow (2018, submitted)
Kreeft, J., Gerritsma, M.: Mixed mimetic spectral element method for Stokes flow: a pointwise divergence-free solution. J. Comput. Phys. 240, 284–309 (2013)
Palha, A., Rebelo, P.P., Hiemstra, R., Kreeft, J., Gerritsma, M.: Physics-compatible discretization techniques on single and dual grids, with application to the Poisson equation of volume forms. J. Comput. Phys. 257, 1394–1422 (2014)
Pian, T.H.: Derivation of element stiffness matrices by assumed stress distributions. AIAA J. 2(7), 1333–1336 (1964)
Pian, T.H., Tong, P.: Basis of finite element methods for solid continua. Int. J. Numer. Methods Eng. 1(1), 3–28 (1969)
Rapetti, F.: High order edge elements on simplicial meshes. ESAIM: Math. Model. Numer. Anal. 41(6), 1001–1020 (2007)
Steinberg, S.: Fundamentals of Grid Generation. CRC Press, Boca Raton (1993)
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
Zhang, Y., Jain, V., Palha, A., Gerritsma, M. (2020). Discrete Equivalence of Adjoint Neumann–Dirichlet div-grad and grad-div Equations in Curvilinear 3D Domains. 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_15
Download citation
DOI: https://doi.org/10.1007/978-3-030-39647-3_15
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)