1. Introduction
We consider the th-Laplace equation
(1.1a) | |||
(1.1b) |
where is an arbitrary positive integer, is a bounded Lipschitz polyhedral domain in (), and
is the outward unit normal vector field along
. The source term .Several works have been done to solve numerically (1.1). Standard conforming finite elements space requires
continuity and leads to complicated construction of finite element space and lots of degrees of freedom when
is large. Bramble and Zlámal [2] studied the conforming finite elements space on the two dimensional triangular meshes. Meanwhile, a conforming finite element space is developed by Hu and Zhang on rectangular grids for arbitrary in [6]. Though up to this moment they have above mentioned restrictions, conforming
finite element space on simplicial meshes for are desirable in both theoretical analysis and practice. In order to simplify the construction of finite element space, alternative nonconforming finite element space is introduced in several works. In [9], a nonconforming finite element space (named Morley-Wang-Xu elements) is introduced for . Besides, Hu and Zhang also considered the nonconforming finite element space in [7] on triangular meshes for . The finite element space in [9] is generalized for by Wu and Xu in [10]. Recently in [11], it is further generalized for arbitrary and but with stabilization along mesh interface in order to balance the weak continuity and the penalty terms. In order to obtain stability and optimal convergence in some discrete -norm, [9, 10, 11] propose to compute numerical approximation to , such that their implementation may become quite complicated as is large. The finite element spaces in [2, 6] can be used to solve numerically (1.1) with any source term . However, the implementation of these conforming and nonconforming finite element spaces can be quite challenging for large . Virtual element methods have been investigated for (1.1). In [1], a conforming virtual element method is introduced for convex polygonal domain in . The finite element space in [1] contains piecewise -th order polynomials, where . The virtual element method in [1] needs strong assumption on regularity of () to achieve optimal convergence (see [1, Theorem ]). In [4], a nonconforming virtual element method is developed for bounded Lipschitz polyhedral domain in , where can be any positive integer. The design of finite element space in [4], which contains piecewise -th () order polynomials, is based on a generalized Green’s identity for inner product. It is assumed that in [4]. Besides above numerical methods based on primary formulations of (1.1), a mixed formulation based on Helmholtz decomposition for tensor valued function is introduced in
[8] for two dimensional domain.We propose a interior penalty method (2.2) for (1.1) for arbitrary positive integers and . The finite element space of (2.2) is the standard -conforming piecewise -th order polynomials, where . The design of (2.2) avoids computing of numerical solution on each element and high order normal derivatives of numerical solution along mesh interfaces. In fact, (2.2) only gets involved with calculation of high order multiplicity of Laplace of numerical solution ( for ) and the gradient of high order multiplicity of Laplace of numerical solution ( for ) on both elements and mesh interfaces. Therefore our method (2.2) can be easily implemented, even when is large and . After proving (Theorem 3.4) that discrete -norm (see Definition 3.1) is bounded by the natural energy semi-norm associated with (2.2), we manage to show our method (2.2) has stability and optimal convergence on bounded Lipschitz polyhedral domain in with respect to the discrete -norm, for any positive integers and . Roughly speaking, we have
where . We refer to Theorem 3.6 and Theorem 3.7 for detailed descriptions on stability and optimal convergence. The design and analysis of our method (2.2
) can be easily generalized for nonlinear partial differential equations with
as their leading term. We would like to point out that our method (2.2) is not a generalization of the interior penalty method for sixth-order elliptic equation () in [5, (, )]. Actually, the method in [5] needs to calculate numerical approximation to .In next section, we present the interior penalty method. In section 3, we prove stability and optimal convergence with respect to discrete -norm (see Definition 3.1). In section 4, we provide numerical experiments.
2. interior penalty method
In this section, firstly we give notations to define the interior penalty method for (1.1). Then in section 2.1, we derive the interior penalty method for any . Finally in section 2.2, we provide concrete examples of the method for .
Let be a quasi-uniform conforming simplicial mesh of . Here we define where is the diameter of the element . We denote by , and the collections of all -dimensional faces, interior faces and boundary faces of , respectively. Obviously, . For any positive integer , we define , where .
We introduce some trace operators. For any interior face , let be two elements sharing . We denote by and the outward unit normal vectors along and , respectively. For scalar function and vector field , which may be discontinuous across , we define the following quantities. For , , and , we define
if , we define
2.1. Derivation of interior penalty method
We assume the exact solution . For any , via -times integrating by parts,
Since , for any ,
(2.1) | ||||
Definition 2.1.
For any , we define the coupling term along mesh interface by
In order to define interior penalty method, we need the stabilization term in Definition 2.2.
Definition 2.2.
For any , we define the stabilization term along mesh interface by
We would like to point out that if .
The interior penalty method is to find , such that for any ,
(2.2) |
Here the parameter shall be large enough but independent of .
2.2. Examples of interior penalty method
-
The interior penalty method for is to find satisfying
(2.3) -
The interior penalty method for is to find satisfying
(2.4) -
The interior penalty method for is to find satisfying
(2.5) -
The interior penalty method for is to find satisfying
(2.6)
3. Analysis
In this section, firstly we prove Theorem 3.4, which states the discrete -norm (see Definition 3.1) bounded by the natural energy semi-norm associated with the interior penalty method (2.2). Then we prove Theorem 3.6, which shows the energy estimate of (2.2). Finally, we prove Theorem 3.7, which gives optimal convergence of numerical approximation to in the discrete -norm.
Definition 3.1.
For any integers , we define the discrete -norm by
For any , there are two elements sharing the common face . We denote by and . We define
For any , we define
3.1. Theorem 3.4 : discrete -norm bounded by natural energy semi-norm
Lemma 3.2.
For any integers , there is a constant such that
(3.1) |
Proof.
We choose arbitrarily. There is an orthonormal coordinate system such that the -axis is parallel to normal vector along . Therefore -axis, , -axis are all parallel to .
We claim that for any , there is a positive integer such that
(3.2) |
When , it is easy to see
By discrete inverse inequality and the fact that -axis, , -axis are all parallel to , we have that
Therefore we have
Thus (3.2) holds when . We assume that (3.2) holds for any . Then by discrete inverse inequality and the fact that -axis, , -axis are all parallel to ,
Since , then . Since we assume (3.2) holds for , we have
Therefore (3.2) holds for . Thus we can conclude that the claim (3.2) is true.
Since , (3.2) and the fact imply
(3.3) |
Applying (3.2) with , we have
(3.4) | ||||
The last equality in (3.4) holds since and . We notice that
(3.5) |
Since -axis, , -axis are all parallel to , discrete inverse inequality implies
By (3.5) and the above inequality, we have
(3.6) |
(3.7) |
Since is chosen arbitrarily, (3.3, 3.7) imply that (3.1) holds when .
We assume that is an odd number, and
(3.8) | ||||
Then by applying (3.8) for each , we have
Here . Since -axis, , -axis are all parallel to , discrete inverse inequality implies
Again by the fact that -axis, , -axis are all parallel to , we have that for any ,
Comments
There are no comments yet.