1 Introduction
In this paper, we are concerned with the development of an SFWG finite element method using the following Poisson equation
(1) | |||||
(2) |
as the model problem, where is a polygonal domain in . The variational formulation of the Poisson problem (1)-(2) is to seek such that
(3) |
The standard weak Glaerkin (WG) method for the problem (1)-(2) seeks weak Galerkin finite element solution such that
(4) |
for all with , where is the weak gradient operator and in (4) is a stabilizer term that ensures a sufficient weak continuity for the numerical approximation. The WG method has been developed and applied to different types of problems, including convection-diffusion equations [7, 6], Helmholtz equations [9, 12, 5], Stokes flow [11, 10], and biharmonic problems [8]. Recently, Al-Taweel and Wang in [2], proposed the lowest-order weak Galerkin finite element method for solving reaction-diffusion equations with singular perturbations in . One of major sources of the complexities of the WG methods and other discontinuous finite element methods is the stabilization term.
A stabilizer free weak Galerkin finite element method is proposed by Ye and Zhang in [3] as a new method for the solution of the Poisson equation on polytopal meshes in 2D or 3D, where elements are used. It is shown that there is a so that the SFWG method converges with optimal order of convergence for any . However, when is too large, the magnitude of the weak gradient can be extremely large, causing numerical instability. In [1], the optimal is given to improve the efficiency and avoid unnecessary numerical difficulties. In this setting, if elements are used for a triangular mesh, , where . In this paper, we propose a scheme using elements for triangular meshes with the optimal order of convergence, which is more efficient than using the regular WG method elements.
The goal of this paper is to develop the theoretical foundation for using the lowest-order SFWG scheme to solve the Poisson equation (1)-(2) on a triangle mesh in . The rest of this paper is organized as follows. In Section 2, the notations and finite element space are introduced. Section 3 is devoted to investigating the error equations and several other required inequalities. The main error estimate is studied in Section 4. In Section 5, we will derive the optimal order error estimates for the SFWG finite element method for solving the equations (1)-(2). Several numerical tests are presented in Section 6. Conclusions and some future research plans are summarized in Section 7.
2 Notations
In this section, we shall introduce some notations, and definitions.
Suppose is a quasi uniform triangular partition of . For every element , denote as its diameter and . Let be the set of all the edges in The weak Galerkin finite element space is defined as follows:
(5) |
In this instance, the component symbolizes the interior value of , and the component symbolizes the edge value of on each and , respectively. Let be the subspace of defined as:
(6) |
For each element , let be the -projection onto and let be the -projection onto . On each edge , denote by the -projection operator onto . Combining and , denote by the -projection operator onto
For any , the weak gradient is defined on as the unique polynomial satisfying
(7) |
where
is the unit outward normal vector of
.For simplicity, we adopt the following notations,
Stabilizer free Weak Galerkin Algorithm 1
We define an energy norm on as:
(9) |
An semi norm on is defined as:
Remark 1
in the above definition is simply a placeholder, since .
Let
(10) |
The following lemma shows that and defined in (9) are equivalent on . (see [1]) Suppose that is convex with at most edges and satisfies the following regularity conditions: for all edges and of
(11) |
for any two adjacent edges the angle between them satisfies
(12) |
where are independent of and . Let when each edge of is parallel to another edge of . Denote by the degree of weak gradient. When , then there exist two constants , such that for each , the following hold true
where depend only on .
Remark 2
If all ’s are either triangles or parallelograms, then .
There exists so that
For any and , it follows from integration by part, trace inequality, and inverse inequality that
Letting yields the result.
The following lemma is one of the major results of this paper. For any , then,
(13) |
Let . Since , it follows from Lemma 1 that
(14) |
After a linear transformation we may assume
. Let be a unit tangent vector to such that . Denote . Let and let . ThenThus
Note that
Note also that
Since is positive definite,
(15) |
Thus
By a scaling argument and
Similarly, we can show that
Thus we have
Similarly, for any with at least one edge on ,
Let . Now, let’s look at and so that they share an edge . Without loss, we may assume that the vertices of are ,
and the other edge of is , where . Denote . Since
and
we need to show that

Let be unit tangents to , respectively; be linear functions such that . Let
and
Then
Scale if necessary so that
where is the unit outwards normal vector of .
Since ,
Similarly
It follows from the shape regularity assumptions that the slope of , satisfies for some . Since ,
Note that . Then
Thus
Similarly,
Thus
Thus after a scaling we have
Now let’s look at . Let
Then
which implies
Thus
Since
Note that
It follows from
that
By a scaling argument,
Similarly,
Thus
Now let . So far we have shown that ,
where and shares at least one edge with . This process can be continued, until we have visited every and have
where shares at least edge with . (13) follows from this immediately.
3 Error equation
In this section, we derive the error estimate Algorithm 1.
For any function , the following trace inequality holds true:
(16) |
(Inverse Inequality) There exists a constants such that for any piecewise polynomial ,
(17) |
Let be the solution of the problem and be a finite element partition of satisfying the shape regularity assumptions. Then, the projections satisfies
(18) | |||
(19) |
Let . Then for each element , we have
(20) |
By definition (7) and integration by parts, for each we have
which implies (20). Let . Then for all , we have
(21) |
Let and . By Lemma 3 .
(22) | |||||
(23) |
implies
which completes the proof. Let . Then for any , we have
(24) |
where is defined as follows,
Testing the equation (1) by and using the fact that , we arrive at