Abstract
In this paper, we study a mixed discontinuous Galerkin (MDG) method to solve linear elasticity problem with arbitrary order discontinuous finite element spaces in d-dimension (\(d=2,3\)). This method uses polynomials of degree \(k+1\) for the stress and of degree k for the displacement (\(k\ge 0\)). The mixed DG scheme is proved to be well-posed under proper norms. Specifically, we prove that, for any \(k \ge 0\), the \(H(\mathrm{div})\)-like error estimate for the stress and \(L^2\) error estimate for the displacement are optimal. We further establish the optimal \(L^2\) error estimate for the stress provided that the \({\mathcal {P}}_{k+2}-{\mathcal {P}}_{k+1}^{-1}\) Stokes pair is stable and \(k \ge d\). We also provide numerical results of MDG showing that the orders of convergence are actually sharp.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we present a mixed discontinuous Galerkin (MDG) method for the following linear elasticity problem:
where \(u: \Omega \mapsto {\mathbb {R}}^d\) and \(\varvec{\sigma }: \Omega \mapsto {\mathbb {S}}\), denote displacement and stress, respectively. Here, \({\mathbb {S}}\) represents the space of real symmetric matrices of order \(d \times d\). The tensor \({\mathcal {A}}: {\mathbb {S}} \mapsto {\mathbb {S}}\) is assumed to be bounded and symmetric positive definite, and the linearized strain tensor is denoted by \(\varvec{\varepsilon }(u) = (\nabla u + (\nabla u)^t)/2\).
For the mixed methods for linear elasticity problem (1.1), it is very challenging to develop the stable mixed finite element methods because the stress tensor needs to be symmetric according to the principle of conservation of angular momentum (cf. [3, 7]). One approach to circumvent this difficulty is to introduce the antisymmetric part of \(\nabla u\) as a new variable, and hence, to enforce stress symmetry weakly [2, 6, 11, 23, 27, 30, 39]. Another approach is to use the composite element for the stress [5, 37]. The first stable non-composite conforming mixed finite element method for plane elasticity was proposed by Arnold and Winther in 2002 [7], and analogs of the results in the 3D case were reported in [1, 3]. In this class of elements, the displacement is discretized by discontinuous piecewise \({\mathcal {P}}_k^{-1}\) (\(k\ge 1\)) polynomial, while the stress is discretized by the conforming \({\mathcal {P}}_{k+2}\) tensors whose divergence is \({\mathcal {P}}_k\) vector on each triangle. In recent years, Hu and Zhang [33, 35] and Hu [34] proposed a family of conforming mixed elements for \({\mathbb {R}}^d\) that apply the \({\mathcal {P}}_{k+1}-{\mathcal {P}}_k\) pair for the stress and displacement when \(k \ge d\). These elements also admit a unified theory and a relatively easy implementation. The lower order conforming approximations of stress were also considered in [36], and a simpler stress element with jump stabilization term for the displacement [20].
Because of the lack of suitable conforming mixed elasticity elements, several authors have resorted to the nonconforming elements [4, 8, 29], where the optimal convergence order for the displacement can be proved under the full elliptic regularity assumption but the convergence order of \(L^2\) error for stress is still suboptimal. To improve the convergence order for stress, an interior penalty mixed finite element method using Crouzeix–Raviart nonconforming linear element to approximate each component of the symmetric stress was studied in [18]. In [44], Wu, Gong, and Xu proposed two classes of interior penalty mixed finite elements for linear elasticity of arbitrary order in arbitrary dimension, where the stability is guaranteed by introducing the nonconforming face-bubble spaces based on the local decomposition of discrete symmetric tensors.
Discontinuous Galerkin (DG) methods have been applied to solve various differential equations due to their flexibility in constructing feasible local shape function spaces and the advantage to capture non-smooth or oscillatory solutions effectively. The DG methods are attracting the interest of many applied mathematicians and engineers because they discretize the equations in an element-by-element fashion, and glue each element through numerical traces, which can give rise to locally conservative methods. In Arnold et al. [9] proposed a unified framework for the devising and analysis of most DG methods for second-order elliptic equations. The LDG method, which is introduced in [25], is one of several discontinuous Galerkin methods which are being vigorously studied [9, 19, 22, 24]. As proposed in [19, Equ. (2.4)], the numerical traces for second-order elliptic equations have the general expressions as
where u and \(\varvec{p}\) are the approximations of primal variable and flux, respectively. In most literature, the parameter \(C_{22}\) is taken as 0 or \({\mathcal {O}}(h)\) so that the resulting scheme is of the category of primal DG method. When taking \(C_{22}\) as \({\mathcal {O}}(h^{-1})\), the penalty term on the jump of \(\varvec{p}\) leads to a mixed DG scheme [32, 38].
For linear elasticity problem, a primal LDG method was studied in [21], where the discontinuous \({\mathcal {P}}_{k}^{-1}-{\mathcal {P}}_{k+1}^{-1}\) pairs were used to approximate the stress and displacement for \(k\ge 0\). In the weak formulation, two penalty terms for stress and displacement are adopted, however, the error analysis was only given for the case when the penalty term of the stress vanishes, i.e. \(C_{22}=0\). The hybridizable DG discretizations for linear elasticity problem were studied in [40, 43].
In this paper, we study the mixed LDG method for solving linear elasticity by discontinuous \({\mathcal {P}}_{k+1}^{-1}-{\mathcal {P}}_{k}^{-1}\) finite element pairs for the stress and displacement with \(k\ge 0\) for any spatial dimension in a unified fashion. We note that the stress is discretized in the DG space with strongly imposed symmetry. Our contributions are twofold. First, by introducing a mesh-dependent norm for the stress, we give a prior error analysis, which shows that optimal \(L^2\)-error estimate for displacement and optimal \(H_h(\mathrm{div})\) error estimate for stress. Second, when the \({\mathcal {P}}_{k+2}-{\mathcal {P}}_{k+1}^{-1}\) Stokes pair is stable and \(k\ge d\), we prove the optimal \(L^2\) error estimate for the stress by the BDM projection [15] and a symmetrization technique.
The rest of the paper is organized as follows. In Sect. 2, we derive the mixed DG scheme to solve the linear elasticity problem. Then based on Brezzi theory, we prove the well-posedness of the scheme in Sect. 3, and the optimal rates of convergence are obtained for both stress and displacement variables in Sect. 4. In addition, the optimal \(L^2\) error estimate for the stress is shown in Sect. 5. In Sect. 6, numerical tests are given for solving the linear elasticity problems by the mixed LDG methods, and the numerical results verify the theoretical error analysis. Finally, we give several concluding remarks in the last section.
2 Mixed DG Method for Linear Elasticity Problem
In this section, we study a mixed discontinuous Galerkin method for the linear elasticity problem (1.1), whose weak formulation reads: Find \((\varvec{\sigma }, u)\in \varvec{\Sigma } \times V\) such that
Here, \(V = L^2(\Omega ;{\mathbb {R}}^d)\) denotes the space of vector-valued functions which are square-integrable with the \(L^2\) norm, and \(\varvec{\Sigma } = H(\mathrm{div},\Omega ;{\mathbb {S}})\) consists of square-integrable symmetric matrix fields with square-integrable divergence, and the corresponding norm is defined by
For the symmetric tensor space \({\mathbb {S}}\), we define the inner products by \(\varvec{\sigma }: \varvec{\tau } = \sum _{i,j=1}^d \sigma _{ij}\tau _{ij}\) for any \(\varvec{\sigma }, \varvec{\tau } \in {\mathbb {S}}\). Further, we define the symmetric tensor product\(\odot \) as
where \(u\otimes v\) is a tensor with \(u_iv_j\) as its (i, j)-th entry.
2.1 DG Notation
We introduce some notation before presenting the mixed DG scheme. Given a bounded domain \(D\subset {\mathbb {R}}^d\) and a positive integer m, \(H^m(D)\) is the Sobolev space with the corresponding usual norm and semi-norm, which are denoted respectively by \(\Vert \cdot \Vert _{m,D}\) and \(|\cdot |_{m,D}\) (cf. [13, Chapter 1]). We abbreviate them by \(\Vert \cdot \Vert _{m}\) and \(|\cdot |_{m}\), respectively, when D is chosen as \(\Omega \). The \(L^2\)-inner product on D and \(\partial D\) are denoted by \((\cdot , \cdot )_{D}\) and \(\langle \cdot , \cdot \rangle _{\partial D}\), respectively. \(\Vert \cdot \Vert _D\) and \(\Vert \cdot \Vert _{\partial D}\) are the norms of Lebesgue spaces \(L^2(D)\) and \(L^2(\partial D)\), respectively. We assume \(\Omega \) is a polygonal domain and denote by \(\{{\mathcal {T}}_h\}_h\) a family of triangulations of \({\overline{\Omega }}\), with the minimal angle condition satisfied. Let \(h_K =\mathrm{diam}(K)\) and \(h = \max \{h_K: K\in {\mathcal {T}}_h\}\). Denote by \({{{\mathcal {E}}}}_h\) the union of the boundaries of the elements K of \({\mathcal {T}}_h\), \({{{\mathcal {E}}}}_h^i\) is the set of interior edges and \({{{\mathcal {E}}}}_h^\partial ={{{\mathcal {E}}}}_h\backslash {{{\mathcal {E}}}}_h^i\) is the set of boundary edges. Let e be the common edge of two elements \(K^+\) and \(K^-\), and \(\varvec{n}^i\) = \(\varvec{n}|_{\partial K^i}\) be the unit outward normal vector on \(\partial K^i\) with \(i = +,-\). For any vector-valued function v and tensor-valued function \(\varvec{\tau }\), let \(v^{\pm }\) = \(v|_{\partial K^{\pm }}\), \(\varvec{\tau }^{\pm } = \varvec{\tau }|_{\partial K^{\pm }}\). Then, we define the average \(\{\cdot \}\), jump \([\cdot ]\) and tensor jump \(\llbracket \cdot \rrbracket \) as follows:
where n is the outward unit normal vector on \(\partial \Omega \). Let us give the following identities which are used often in this section. For any vector-valued function v and tensor-valued function \(\varvec{\tau }\), all being continuously differentiable over K, we have the following integration by parts formula:
and the following identity (cf. [21]):
Throughout this paper, we shall use letter C to denote a generic positive constant independent of h which may stand for different values at its different occurrences. The notation \(x \lesssim y\) means \(x \le Cy\). For piecewise smooth vector-valued function v and tensor-valued function \(\varvec{\tau }\), let \(\nabla _h\) and \(\mathrm{div}_h\) be defined by the relation
on any element \(K\in {{{\mathcal {T}}}}_h\), respectively.
2.2 Mixed LDG Scheme
Now, let us introduce the mixed LDG formulation for (1.1). We denote the piecewise vector and symmetric matrix valued discrete spaces by \(V_h\) and \(\varvec{\Sigma }_h\), respectively. We multiply (1.1) by arbitrary test functions \(\varvec{\tau }_h \in \varvec{\Sigma }_h\) and \(v_h \in V_h\), respectively, and integration by parts over the element \(K \in {\mathcal {T}}_h\) to obtain
Let \({\widehat{V}}_h\) and \(\widehat{\varvec{\Sigma }}_h\) be the piecewise vector and symmetric matrix valued discrete spaces on \({\mathcal {E}}_h\), respectively. The approximate solution \((\varvec{\sigma }_h, u_h)\) is then defined by using the weak formulation (2.5), namely
where the numerical traces \({\widehat{u}}_h \in {\widehat{V}}_h\) and \(\widehat{\varvec{\sigma }}_h \in \widehat{\varvec{\Sigma }}_h\) need to be suitably defined to ensure the stability of the method and to enhance its accuracy. By the identity (2.4) and integration by parts (2.3), we get from (2.6) that
Similar to the discussion for Poisson problem in [32], we choose mixed LDG numerical traces as follow:
We note that the above mixed LDG numerical traces are designated to approximate the mixed formulation (2.1), where the normal continuity of \(\varvec{\sigma }\) is required. In such choice, it is easy to see that the numerical traces are single valued. Further, we can see that if \(u_h\) and \(\varvec{\sigma }_h\) are replaced by the exact solution u and \(\varvec{\sigma }\), then \({\widehat{u}}_h = u|_{{{{\mathcal {E}}}}_h}\) and \(\widehat{\varvec{\sigma }}_h=\varvec{\sigma }|_{{{{\mathcal {E}}}}_h}\) on \(\mathcal{E}_h\). That is, the numerical traces are consistent. Moreover, we have
Then, we obtain the mixed LDG formulation for (1.1): Find \((\varvec{\sigma }_h, u_h) \in \varvec{\Sigma }_h\times V_h\) such that
Here, we choose \(\eta = \eta _e h_e^{-1}, \eta _e = {\mathcal {O}}(1)\), and define
Moreover, we define the following star norm
In the following subsections, we prove the boundedness, stability and consistency of the mixed LDG formulation (2.9) when choosing
for \(k \ge 0\), which lead to the optimal order of convergence. Note here that the strongly symmetry is imposed in the DG space for the stress.
3 Well-Posedness of the Mixed LDG Method
The well-posedness of the mixed LDG methods (2.9) comes from the boundedness and the stability.
Boundedness It is easy to check by Cauchy-Schwarz inequality that \(a_h(\cdot , \cdot )\) satisfies
The remaining task is the boundedness of \(b_h(\cdot , \cdot )\). To this end, let us recall the lifting operator\(r_e : (L^2({e}))^d \rightarrow V_h\) defined by
Then, we have the following lemma (see also [9, 17]).
Lemma 3.1
For any edge \(e\in \partial K\), it holds
Proof
By taking \(v_h = r_e(w)\) in (3.2) and applying the inverse inequality, we obtain
which gives rise to (3.3). \(\square \)
Lemma 3.2
It holds that
Proof
In light of Lemma 3.1, we have for any \(v_h \in V_h\)
Furthermore, for any \(v \in V \cap H^1(\Omega ;{\mathbb {R}}^d)\),
Here, we use the trace inequality in the last step. \(\square \)
Stability According to the theory of mixed method, the stability of the saddle point problem (2.9) is the corollary of the following two conditions [14, 16]:
- 1.
K-ellipticity: There exists a constant \(C > 0\), independent of the grid size such that
$$\begin{aligned} a_h(\varvec{\tau }_h, \varvec{\tau }_h) \ge C \Vert \varvec{\tau }_h\Vert _{*,\Omega }^2 \qquad \forall \varvec{\tau }_h \in Z_h, \end{aligned}$$(3.6)where \(Z_h = \{\varvec{\tau }_h \in \varvec{\Sigma }_h~|~ b_h(\varvec{\tau }_h, v_h) = 0\; \forall v_h \in V_h\}\).
- 2.
The discrete inf-sup condition: There exists a constant \(C > 0\), independent of the grid size such that
$$\begin{aligned} \inf _{v_h \in V_h} \sup _{\varvec{\tau }_h \in \varvec{\Sigma }_h} \frac{b_h(\varvec{\tau }_h, v_h)}{\Vert \varvec{\tau }_h\Vert _{*,\Omega } \Vert v_h\Vert _{0,\Omega }} \ge C. \end{aligned}$$(3.7)
First, we prove the inf-sup condition (3.7) in the following lemma.
Lemma 3.3
(Inf-sup condition) When choosing \(\varvec{\Sigma }_h \times V_h = \varvec{\Sigma }_h^{k+1} \times V_h^k\) for \(k \ge 0\), the discrete inf-sup condition (3.7) holds true for mixed LDG method (2.9) of linear elasticity problem.
Proof
In [44], Wu, Gong, and Xu introduced a class of nonconforming finite element spaces for \(k\ge 0\) that
Thanks to the Lemma 3.3 and Lemma 4.1 in [44], we know that for any \(v_h \in V_h\), there exists a \(\bar{\varvec{\tau }}_h \in {\varvec{\Sigma }_{k+1,h}^{(1)}}\) such that
Note that \({\varvec{\Sigma }_{k+1,h}^{(1)}} \subset \varvec{\Sigma }_h^{k+1}\) and the property of \({\varvec{\Sigma }_{k+1,h}^{(1)}}\) implies that
Here, we use the fact that \(\{v_h\}\) is of degree k on the edge. Therefore, for any \(v_h\in V_h^k\)
Then, we finish the proof. \(\square \)
Theorem 3.4
The mixed LDG scheme (2.9) is well-posed for \((\varvec{\Sigma }_h^{k+1}, \Vert \cdot \Vert _{*,\Omega })\) and \((V_h^k, \Vert \cdot \Vert _{0,\Omega })\).
Proof
In light of the boundedness and Lemma 3.3, we only need to prove the K-ellipticity (3.6). By the definition of lifting operator (3.2), we have
which implies that
With the help of the Lemma 3.1, we see that
Let \(\eta _0=\inf _{e\in {{{\mathcal {E}}}}_h^i} \eta _e\) be a positive constant that independent of the grid size. Then,
Then, we finish the proof. \(\square \)
Remark 3.5
From Lemma 3.1, we can see that the penalty term \(\int _{{{{\mathcal {E}}}}_h^i} \eta _e h_e^{-1} [\varvec{\sigma }_h] \cdot [\varvec{\tau }_h]\,\mathrm {d}s\) can be replaced by \(\sum _{e\in {{{\mathcal {E}}}}_h^i} \int _\Omega \eta _e r_e([\varvec{\sigma }_h]) \cdot r_e([\varvec{\tau }_h]) \,\mathrm {d}x\), and the well-posedness of the corresponding scheme can be proved similarly with a modified norm \(\Vert \varvec{\tau }\Vert _{*,\Omega }^2 := \int _{\Omega } (|\varvec{\tau }|^2 + |\mathrm{div}_h\varvec{\tau }|^2 + \sum _{e\in {{{\mathcal {E}}}}_h^i} |r_e([\varvec{\tau }])|^2)\,\mathrm {d}x\).
4 A Priori Error Estimates in Energy Norms
Lemma 4.1
Assume the solution \((\varvec{\sigma },u)\in \varvec{\Sigma } \times H^1(\Omega ;{\mathbb {R}}^d)\), we have
Proof
It can be seen that \([\varvec{\sigma }] = 0\) and \(\llbracket u \rrbracket = 0\) on \({{{\mathcal {E}}}}_h^i\) as \((\varvec{\sigma }, u)\in \varvec{\Sigma } \times H^1(\Omega ;{\mathbb {R}}^d)\). Therefore,
Hence, we prove the first equality in (4.1). On the other hand,
which implies the second equality in the lemma. \(\square \)
By combining Lemma 4.1 and the well-posedness of mixed LDG formulation (2.9), we have the following a priori error estimates.
Theorem 4.2
Let \((\varvec{\sigma }_h, u_h) {\in \varvec{\Sigma }_h^{k+1} \times V_h^k}\) be the solution of the mixed LDG problem (2.9), and \((\varvec{\sigma }, u)\in {\varvec{\Sigma }} \times H^1(\Omega ;{\mathbb {R}}^d)\) be the solution of (1.1). Then,
Proof
Define
which satisfies discrete inf-sup condition based on the well-posedness of (2.9). In the light of Lemma 4.1 and the boundedness (3.1), (3.4) and (3.5), we have for any \((\varvec{\tau }_h, v_h)\in \varvec{\Sigma }_h^{k+1}\times V_h^k\),
By triangle inequality, we finish the proof. \(\square \)
For \((\varvec{\sigma },u) \in H^{k+2}(\Omega ;{\mathbb {S}}) \times H^{k+1}(\Omega ;{\mathbb {R}}^d)\), it is well-known that the Scott-Zhang interpolation [42] \(I_h^r\) satisfies:
Hence, we have the following theorem.
Theorem 4.3
Assume that the solution of (1.1) satisfies \((\varvec{\sigma },u)\in H^{k+2}(\Omega ;{\mathbb {S}}) \times H^{k+1}(\Omega ;{\mathbb {R}}^d)\). Then, the solution of the mixed LDG problem (2.9) satisfies
5 \(L^2\) Error Estimate of Stress
In this section, we prove the optimal \(L^2\) error estimate of \(\varvec{\sigma }\) provided that the Stokes pair \({\mathcal {P}}_{k+2}-{\mathcal {P}}_{k+1}^{-1}\) is stable and \(k \ge d\).
First, we recall the definition of classical BDM projection \(\Pi _h^{{\mathrm{BDM}}}\) [15]. Given a function \(q \in H(\mathrm{div}, \Omega ; {\mathbb {R}}^d)\), the restriction of \(\Pi _h^{\mathrm{BDM}}\) to K is defined as the element of \({\mathcal {P}}_{k+1}(K;{\mathbb {R}}^d)\) such that
where
Let \({\mathbb {M}}\) be the space of real matrices of order \(d\times d\). In light of the BDM projection (5.1), on each \(K\in {\mathcal {T}}_h\), we first define a matrix-valued function \(\widetilde{\varvec{\sigma }}_h\) as the only element of \({\mathcal {P}}_{k+1}(K;{\mathbb {M}})\) through the numerical solution \(\varvec{\sigma }_h\) and \(\widehat{\varvec{\sigma }}_h\) in (2.8):
where
Here, the \(\varvec{\nabla }\) is regarded as the row-wise operator, i.e.,
Define the following space
Then, we have the following lemma.
Lemma 5.1
The \(\widetilde{\varvec{\sigma }}_h\) in (5.2) is well-defined, and
Proof
Since (5.2) can be viewed as the row-wise BDM projection, then the well-posedness and (5.3a) follows directly by the definition of \(\Pi _h^{{\mathrm{BDM}}}\), and by the fact that the normal component of the numerical trace for the flux is single-valued. Let \(\varvec{\delta } = \widetilde{\varvec{\sigma }}_h - \varvec{\sigma }_h\), then
Then, (5.3b) follows easily by the standard scaling argument; see [12]. \(\square \)
Next, we symmetrize \(\widetilde{\varvec{\sigma }}_h\) by the stable Stokes pair \({\mathcal {P}}_{k+2}- {\mathcal {P}}_{k+1}^{-1}\) (see Remark 5.4 below). A similar technique can be found in [26, 28, 30].
Lemma 5.2
Suppose that the Stokes pair \({\mathcal {P}}_{k+2}-{\mathcal {P}}_{k+1}^{-1}\) is stable on the grid \({\mathcal {T}}_h\). Having \(\widetilde{\varvec{\sigma }}_h\) defined in (5.2), there exists a matrix-valued function \(\widetilde{\varvec{\tau }}_h \in {\mathrm{BDM}}_{k+1}^{d\times d}\) such that \(\varvec{\sigma }_h^\star := \widetilde{\varvec{\sigma }}_h + \widetilde{\varvec{\tau }}_h \in H(\mathrm{div},\Omega ;{\mathbb {S}})\), and
Proof
We construct a divergence-free term \(\widetilde{\varvec{\tau }}_h = \mathbf{curl } \rho _h\) where \(\rho _h\) satisfies
- 1.
For \(d=2\): \(\rho _h \in H^1(\Omega ;{\mathbb {R}}^2)\) is a vector-valued function and \(\rho _h|_K\in {\mathcal {P}}_{k+2}(K;{\mathbb {R}}^2) \);
- 2.
For \(d=3\): \(\rho _h \in H^1(\Omega ; {\mathbb {M}})\) is a matrix-valued function and \(\rho _h|_K\in {\mathcal {P}}_{k+2}(K;{\mathbb {M}}) \).
For the 2D case, the \(\mathrm {curl} \) operator is a rotation of the operator \(\nabla \) (i.e., \(\mathrm {curl} =(- \partial _y, \partial _x)\)) and applies on each entry of the vector \(\rho _h\). For the 3D case, the \(\mathrm {curl}\) operator applies on each row of the matrix \(\rho _h\). By direct calculation, the symmetry of \(\widetilde{\varvec{\sigma }}_h + \widetilde{\varvec{\tau }}_h\) is equivalent to the following equation,
where \(\mathbf{skw }\varvec{\tau } := (\varvec{\tau }-\varvec{\tau }^T)/2 \). For a scalar function v or a vector-valued function \(v=(v_1,v_2,v_3)^T\), we further define
Then, the proof can be divided into the following two cases:
- 1.
For \(n=2\): from [10], we have \(\mathbf{skw } (\mathbf{curl } \rho _h) = \frac{1}{2} \mathbf{Skw }_2(\mathrm {div} \rho _h)\). Thus, (5.5) can be written as:
$$\begin{aligned} \mathrm {div} \rho _h = {\widetilde{\sigma }}_{h,21} - {\widetilde{\sigma }}_{h,12}. \end{aligned}$$(5.6)The stability of Stokes pair \({\mathcal {P}}_{k+2}-{\mathcal {P}}_{k+1}^{-1}\) then implies that there exists a \(\rho _h \in \{ v\in H^1(\Omega ;{\mathbb {R}}^2): ~ v|_K \in {\mathcal {P}}_{k+2}(K;{\mathbb {R}}^2)\}\) satisfying (5.6) and
$$\begin{aligned}&\Vert \rho _h\Vert _{1,\Omega } \lesssim \Vert {\widetilde{\sigma }}_{h,21} - {\widetilde{\sigma }}_{h,12}\Vert _{0,\Omega } \le \Vert {\widetilde{\sigma }}_{h,21} - \sigma _{h,21}\Vert _{0,\Omega } + \Vert {\widetilde{\sigma }}_{h,12} - \sigma _{h,12}\Vert _{0,\Omega } \\&\quad \le \Vert \varvec{\sigma }_h - \widetilde{\varvec{\sigma }}_h\Vert _{0,\Omega }. \end{aligned}$$ - 2.
For \(n=3\): from [10], we have \(\mathbf{skw }(\mathbf{curl } \rho _h) = -\frac{1}{2}\mathbf{Skw }_3 (\mathrm {div} ~ \Xi \rho _h)\), where \(\Xi \) is an algebraic operator defined as \({\Xi }\rho _h = \rho _h^T - \mathrm {tr}(\rho _h) \varvec{I}\). Denoting \(\eta _h = \Xi \rho _h\), it is obvious that \(\rho _h = \Xi ^{-1} \eta _h = \eta _h^T - \frac{1}{2}\mathrm {tr}(\eta _h) \varvec{I}\). Thus, (5.5) can be written as:
$$\begin{aligned} \mathrm {div} \eta _h = ({\widetilde{\sigma }}_{h,23}-{\widetilde{\sigma }}_{h,32}, {\widetilde{\sigma }}_{h,31}- {\widetilde{\sigma }}_{h,13}, {\widetilde{\sigma }}_{h,12}- {\widetilde{\sigma }}_{h,21})^{T}. \end{aligned}$$(5.7)Again, there exists a \(\eta _h \in \{\tau \in H^1(\Omega ;{\mathbb {M}}): ~\tau |_K \in {\mathcal {P}}_{k+2}(K;{\mathbb {M}})\}\) satisfying (5.7) and
$$\begin{aligned}&\Vert \rho _h \Vert _{1,\Omega } \lesssim \Vert \eta _h\Vert _{1,\Omega } \lesssim \Vert ({\widetilde{\sigma }}_{h,23}-{\widetilde{\sigma }}_{h,32}, {\widetilde{\sigma }}_{h,31}- {\widetilde{\sigma }}_{h,13}, {\widetilde{\sigma }}_{h,12}- {\widetilde{\sigma }}_{h,21})^{T} \Vert _{0,\Omega } \\&\quad \lesssim \Vert \varvec{\sigma }_h - \widetilde{\varvec{\sigma }}_h\Vert _{0,\Omega }. \end{aligned}$$
To summarize, we obtain the desired \(\widetilde{\varvec{\tau }}_h = \mathbf{curl } \rho _h\) that satisfies (5.4). This completes the proof. \(\square \)
We are now in the position to prove the optimal \(L^2\) error estimate.
Theorem 5.3
Assume that the Stokes pair \({\mathcal {P}}_{k+2}-{\mathcal {P}}_{k+1}^{-1}\) is stable on \({\mathcal {T}}_h\) and \(k \ge d\). Assume further that the solution of (1.1) satisfies \((\varvec{\sigma },u)\in H^{k+2}(\Omega ;{\mathbb {S}}) \times H^{k+1}(\Omega ;{\mathbb {R}}^d)\). Then, the solution of the mixed LDG problem (2.9) satisfies
where \(\Vert \varvec{\sigma }\Vert _{{\mathcal {A}},\Omega }^2 := ({\mathcal {A}}\varvec{\sigma }, \varvec{\sigma })_{\Omega }^{1/2}\).
Proof
By (2.6), (5.2) and Lemma 5.1, we have that for any \(v_h \in V_h\),
By Lemma 5.2, the symmetrized variable \(\varvec{\sigma }_h^\star = \widetilde{\varvec{\sigma }}_h + \widetilde{\varvec{\tau }}_h\) is piecewise \({\mathcal {P}}_{k+1}(K;{\mathbb {S}})\) and belongs to \(H(\mathrm{div},\Omega ;{\mathbb {S}})\). Further, the divergence-free of \(\widetilde{\varvec{\tau }}_h\) implies that
In [33, 35], Hu and Zhang constructed the conforming \({\mathcal {P}}_{k+1}-{\mathcal {P}}_k^{-1}\) mixed methods for linear elasticity on simplicial grids when \(k\ge d\). Hu also show that (cf. [34, Remark 3.1]), when \(k \ge d\), there exists a projection \(\Pi _h^c\) such that,
Taking \(\varvec{\tau }_h = \varvec{\sigma }_h^\star - \Pi _h^c \varvec{\sigma }\) in the error Eq. (4.1), we immediately have the \({\mathcal {A}}\)-orthogonality condition:
Hence, by the energy estimate (4.3), (5.3b) and (5.10b),
This completes the proof. \(\square \)
Remark 5.4
In the 2D case, the Scott–Vogelius elements \({\mathcal {P}}_{k+2}-{\mathcal {P}}_{k+1}^{-1}\) are stable when \(k \ge 2\) and the grid does not contain singular vertices (cf. [31, 41]). Hence, in the 2D case, we have the optimal \(L^2\) estimate when \(k \ge 2\) with some mild constrain pertaining to the grids.
6 Numerical Examples
In this section, we present some numerical results of the mixed LDG method for linear elasticity problem. The compliance tensor is given by
where \(\varvec{I}_d\) is the \(d\times d\) identity matrix. In the computation, the parameter in (2.10a) is chosen as \(\eta _e = 1\) on all \(e\in {\mathcal {E}}_h^i\).
6.1 2D Convergence Order Example
The 2D problem is computed on the unit square \(\Omega = (0,1)^2\) with a homogeneous boundary condition that \(u = 0\) on \(\partial \Omega \). The Lamé constants are set to be \(\mu = 1/2\) and \(\lambda = 1\). Let the exact solution be
The exact stress function \(\varvec{\sigma }\) and the load function f can be analytically derived from (1.1) and for a given u. Uniform grids with different grid sizes are adopted in the computation.
We list the errors and the rates of convergence of the computed solution in Table 1. The \((k+1)\)-th order convergence is observed for both the \(L_2\) error of u and the \(H_h(\mathrm{div})\) error of \(\varvec{\sigma }\), which is in agreement with Theorem 4.3. Further, we see from Table 1c that \(\Vert \varvec{\sigma } - \varvec{\sigma }_h\Vert _{0,\Omega } = {\mathcal {O}}(h^4)\) when \(k = 2\). This rate of convergence coincides with the statements in Theorem 5.3, which is also shown sharp from the \(L^2\) errors of stress in Table 1a-1b.
6.2 2D Locking-Free Example
In this example, we set the Lamé constants to be
where the Young’s Modulus is taken as \(E = 3\), and \(\nu \) represents the Poisson’s ratio that goes to 0.5 when the material becomes increasingly incompressible. We consider the example in [40, 43] by setting f to satisfy the exact solution:
The errors with different Poisson’s ratios are displayed in Table 2. Given a polynomial order k, we observe the same convergence order with increasing \(\nu \), which is optimal in both stress and displacement. Further, it is clear to see that the proposed MDG method is locking-free, or stable in the incompressible limit case. We refer to the subsequent work [38] for the detailed proof.
6.3 3D Convergence Order Example
In this 3D example, the Lamé constants are set to be \(\mu = 1/2\) and \(\lambda = 1\). Let the exact solution on the unit cube be
which is also considered in [35]. Again, the true stress function \(\varvec{\sigma }\), which is a 3D symmetric tensor without further special structure, and the load function f are defined by the relations in (1.1) for the given solution u. In Table 3, the errors and the convergence order in various norms are listed when \(k=0,1\). The optimal orders of convergence are achieved respectively under the \(H_h(\mathrm{div})\) norm for the stress and \(L^2\) norm for the displacement, which confirms Theorem 4.3.
7 Concluding Remarks
In this paper, we present a priori error analysis of mixed DG method for solving the linear elasticity problem with strongly imposed symmetry. We provide numerical evidence indicating the sharpness of our estimates, namely, the convergence order of \(k+1\) both stress in \(H_h(\mathrm{div})\)-norm and displacement in \(L^2\)-norm with the elements pair \((\varvec{\sigma }_h, u_h)\in \varvec{\Sigma }_h^{k+1}\times V_h^k\). The estimate holds for any \(k\ge 0\) in arbitrary dimension, making the MDG more meaningful for the linear elasticity as the lower order conforming \({\mathcal {P}}_{k+1}-{\mathcal {P}}_k^{-1}\) elasticity element does not exist on general simplicial grids [44]. Since there is a close connection between the elasticity elements and the Stokes elements (cf. [26, Section 4.1], [28, 30]), we also prove the optimal \(L^2\) error estimate for the stress provided that the \({\mathcal {P}}_{k+2}-{\mathcal {P}}_{k+1}^{-1}\) Stokes pair is stable and \(k \ge d\).
References
Adams, S., Cockburn, B.: A mixed finite element method for elasticity in three dimensions. J. Sci. Comput. 25(3), 515–521 (2005)
Amara, M., Thomas, J.-M.: Equilibrium finite elements for the linear elastic problem. Numer. Math. 33(4), 367–383 (1979)
Arnold, D., Awanou, G., Winther, R.: Finite elements for symmetric tensors in three dimensions. Math. Comput. 77(263), 1229–1251 (2008)
Arnold, D., Awanou, G., Winther, R.: Nonconforming tetrahedral mixed finite elements for elasticity. Math. Models Methods Appl. Sci. 24(04), 783–796 (2014)
Arnold, D., Douglas Jr., J., Gupta, C.: A family of higher order mixed finite element methods for plane elasticity. Numer. Math. 45(1), 1–22 (1984)
Arnold, D., Falk, R., Winther, R.: Mixed finite element methods for linear elasticity with weakly imposed symmetry. Math. Comput. 76(260), 1699–1723 (2007)
Arnold, D., Winther, R.: Mixed finite elements for elasticity. Numer. Math. 92(3), 401–419 (2002)
Arnold, D., Winther, R.: Nonconforming mixed elements for elasticity. Math. Models Methods Appl. Sci. 13(03), 295–307 (2003)
Arnold, D.N., Brezzi, F., Cockburn, B., Marini, L.D.: Unified analysis of discontinuous Galerkin methods for elliptic problems. SIAM J. Numer. Anal. 39(5), 1749–1779 (2002)
Arnold, D.N., Falk, R.S., Winther, R.: Finite element exterior calculus, homological techniques, and applications. Acta Numer. 15, 1–155 (2006)
Boffi, D., Brezzi, F., Fortin, M.: Reduced symmetry elements in linear elasticity. Commun. Pure Appl. Anal. 8(1), 95–121 (2009)
Boffi, D., Brezzi, F., Fortin, M.: Mixed Finite Element Methods and Applications. Springer Series in Computational Mathematics. Springer, Berlin (2013)
Brenner, S., Scott, R.: The Mathematical Theory of Finite Element Methods, vol. 15. Springer, Berlin (2007)
Brezzi, F.: On the existence, uniqueness and approximation of saddle-point problems arising from Lagrangian multipliers. Revue française d’automatique, informatique, recherche opérationnelle. Analyse numérique 8(2), 129–151 (1974)
Brezzi, F., Douglas Jr., J., Marini, L.D.: Two families of mixed finite elements for second order elliptic problems. Numer. Math. 47(2), 217–235 (1985)
Brezzi, F., Fortin, M.: Mixed and Hybrid Finite Element Methods. Springer Series in Computational Mathematics, vol. 15. Springer, Berlin (1991)
Brezzi, F., Manzini, G., Marini, D., Pietra, P., Russo, A.: Discontinuous Galerkin approximations for elliptic problems. Numer. Methods Partial Differ. Equ. 16(4), 365–378 (2000)
Cai, Z., Ye, X.: A mixed nonconforming finite element for linear elasticity. Numer. Methods Partial Differ. Equ. 21(6), 1043–1051 (2005)
Castillo, P., Cockburn, B., Perugia, I., Schötzau, D.: An a priori error analysis of the local discontinuous Galerkin method for elliptic problems. SIAM J. Numer. Anal. 38(5), 1676–1706 (2000)
Chen, L., Jun, H., Huang, X.: Stabilized mixed finite element methods for linear elasticity on simplicial grids in \({\mathbb{R}}^n\). Comput. Methods Appl. Math. 17(1), 17–31 (2017)
Chen, Y., Huang, J., Huang, X., Yifeng, X.: On the local discontinuous Galerkin method for linear elasticity. Math. Probl. Eng. 2010, 759547 (2010). https://doi.org/10.1155/2010/759547
Cockburn, B.: Discontinuous Galerkin methods. ZAMM-J. Appl. Math. Mech./Zeitschrift für Angewandte Mathematik und Mechanik: Applied Mathematics and Mechanics 83(11), 731–754 (2003)
Cockburn, B., Gopalakrishnan, J., Guzmán, J.: A new elasticity element made for enforcing weak stress symmetry. Math. Comput. 79(271), 1331–1349 (2010)
Cockburn, B., Gopalakrishnan, J., Lazarov, R.: Unified hybridization of discontinuous Galerkin, mixed, and continuous Galerkin methods for second order elliptic problems. SIAM J. Numer. Anal. 47(2), 1319–1365 (2009)
Cockburn, B., Shu, C.-W.: The local discontinuous Galerkin method for time-dependent convection-diffusion systems. SIAM J. Numer. Anal. 35(6), 2440–2463 (1998)
Falk, R.S.: Finite element methods for linear elasticity. In: Brezzi, F., Boffi, D., Demkowicz, L., Duràn, R.G., Falk, R.S., Fortin, M. (eds.) Mixed Finite Elements, Compatibility Conditions, and Applications, pp. 159–194. Springer, Berlin (2008)
Farhloul, M., Fortin, M.: Dual hybrid methods for the elasticity and the stokes problems: a unified approach. Numer. Math. 76(4), 419–440 (1997)
Gong, S., Shuonan, W., Jinchao, X.: New hybridized mixed methods for linear elasticity and optimal multilevel solvers. Numer. Math. 141(2), 569–604 (2019)
Gopalakrishnan, J., Guzmán, J.: Symmetric nonconforming mixed finite elements for linear elasticity. SIAM J. Numer. Anal. 49(4), 1504–1520 (2011)
Gopalakrishnan, J., Guzmán, J.: A second elasticity element using the matrix bubble. IMA J. Numer. Anal. 32(1), 352–372 (2012)
Guzman, J., Scott, R.: The Scott–Vogelius finite elements revisited. Math. Comput. 88, 519–529 (2019)
Hong, Q., Wang, F., Shuonan, W., Jinchao, X.: A unified study of continuous and discontinuous Galerkin methods. Sci. China Math. 62(1), 1–32 (2019)
Hu, J., Zhang, S.: A family of conforming mixed finite elements for linear elasticity on triangular grids (2014). arXiv preprint arXiv:1406.7457
Jun, H.: Finite element approximations of symmetric tensors on simplicial grids in \({\mathbb{R}}^n\): The higher order case. J. Comput. Math. 33(3), 1–14 (2015)
Jun, H., Zhang, S.Y.: A family of symmetric mixed finite elements for linear elasticity on tetrahedral grids. Sci. China Math. 58(2), 297–307 (2015)
Jun, H., Zhang, S.: Finite element approximations of symmetric tensors on simplicial grids in \({\mathbb{R}}^n\): the lower order case. Math. Models Methods Appl. Sci. 26(09), 1649–1669 (2016)
Johnson, C., Mercier, B.: Some equilibrium finite element methods for two-dimensional elasticity problems. Numer. Math. 30(1), 103–116 (1978)
Qian, Y., Wu, S., Wang, F.: A mixed discontinuous galerkin method with symmetric stress for Brinkman problem based on the velocity-pseudostress formulation (2019). arXiv preprint arXiv:1907.01246
Qiu, W., Demkowicz, L.: Mixed hp-finite element method for linear elasticity with weakly imposed symmetry. Comput. Methods Appl. Mech. Eng. 198(47), 3682–3701 (2009)
Qiu, W., Shen, J., Shi, K.: An HDG method for linear elasticity with strong symmetric stresses. Math. Comput. 87(309), 69–93 (2018)
Scott, L.R., Vogelius, M.: Norm estimates for a maximal right inverse of the divergence operator in spaces of piecewise polynomials. ESAIM: Math. Model. Numer. Anal. 19(1), 111–143 (1985)
Scott, L.R., Zhang, S.: Finite element interpolation of nonsmooth functions satisfying boundary conditions. Math. Comput. 54(190), 483–493 (1990)
Soon, S.-C., Cockburn, B., Stolarski, H.K.: A hybridizable discontinuous Galerkin method for linear elasticity. Int. J. Numer. Methods Eng. 80(8), 1058–1092 (2009)
Shuonan, W., Gong, S., Jinchao, X.: Interior penalty mixed finite element methods of any order in any dimension for linear elasticity with strongly symmetric stress tensor. Math. Models Methods Appl. Sci. 27(14), 2711–2743 (2017)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The work of Fei Wang is partially supported by the National Natural Science Foundation of China (Grant No. 11771350). The work of Shuonan Wu is partially supported by the National Natural Science Foundation of China (Grant No. 11901016) and the startup Grant from Peking University. The work of the Jinchao Xu is partially supported by US Department of Energy Grant DE-SC0014400 and National Science Foundation Grant DMS-1819157.
Rights and permissions
About this article
Cite this article
Wang, F., Wu, S. & Xu, J. A Mixed Discontinuous Galerkin Method for Linear Elasticity with Strongly Imposed Symmetry. J Sci Comput 83, 2 (2020). https://doi.org/10.1007/s10915-020-01191-3
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10915-020-01191-3