An hp-adaptive strategy for elliptic problems

01/23/2017
by   Hui Liu, et al.
0

In this paper a new hp-adaptive strategy for elliptic problems based on refinement history is proposed, which chooses h-, p- or hp-refinement on individual elements according to a posteriori error estimate, as well as smoothness estimate of the solution obtained by comparing the actual and expected error reduction rate. Numerical experiments show that exponential convergence can be achieved with this strategy.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

01/21/2021

A priori and a posteriori error analysis of the lowest-order NCVEM for second-order linear indefinite elliptic problems

The nonconforming virtual element method (NCVEM) for the approximation o...
01/30/2020

Adaptive refinement with locally linearly independent LR B-splines: Theory and applications

In this paper we describe an adaptive refinement strategy for LR B-splin...
01/02/2020

Anisotropic a posteriori error estimate for the Virtual Element Method

We derive an anisotropic a posteriori error estimate for the adaptive co...
09/15/2021

Error estimation and adaptivity for stochastic collocation finite elements Part I: single-level approximation

A general adaptive refinement strategy for solving linear elliptic parti...
11/09/2020

A posteriori verification of the positivity of solutions to elliptic problems

The purpose of this paper is to develop a unified a posteriori method fo...
01/12/2020

Computer-assisted analysis of the sign-change structure for elliptic problems

In this paper, a method is proposed for rigorously analyzing the sign-ch...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

The adaptive finite element method (AFEM) is a widely used numerical method for solving partial differential equations. The

-version of AFEM modifies the size of the elements (-refinement) while keeping the polynomial degrees fixed houston . The -version of AFEM adjusts the polynomial degrees in the elements (-refinement) while keeping the size of the elements fixed. The -version of AFEM is more general, which consists of combining freely -refinement and -refinement. The -version of AFEM dates back to 1986, thanks to the pioneering work of Ivo Babuška et al. suri ; guo1 ; babu1 ; babu2 ; gui . With  AFEM exponential convergence could be achieved if -refinement and -refinement are integrated properly melenk ; anis ; guo1 .

One essential issue in the -adaptive finite element method is the design of refinement strategy, i.e., to decide which element should be refined and which kind of refinement should be performed. According to approximation theory, -refinement should be performed on elements in which the solution to the partial differential equations is smooth and -refinement should be performed on elements in which the solution is non-smooth melenk . Unfortunately, since the property of the solution is usually unknown, we need to estimate its smoothness using the computed numerical solution and other data. For this purpose many strategies have been proposed and developed. Owens et al. bernardi ; valen used a priori information of the computational domain and boundary data to determine the location of singularities of the solution, and performed -refinement on elements which had singularities and -refinement elsewhere. Oden et al. oden introduced the so-called Texas-3-step strategy. Melenk et al. melenk and Heuveline et al. rannacher

proposed heuristic strategies which made use of the refinement history. Another class of strategies consisted of using error estimators obtained from solving local problems as indicators for guiding the refinement 

anis ; dem2 . For other strategies proposed and studied in the literature, we refer to affia ; gui ; melenk1 ; anis ; paul ; mavr .

In this paper, we propose an -refinement strategy which is based on a posteriori error estimate and estimation of the smoothness of the solution using the reduction rates of the a posteriori error estimate in the refinement history. This strategy is mainly motivated by Melenk et al. melenk and Heuveline et al. rannacher , it removes the requirement of regular refinement and the dependence on mesh size in melenk ; rannacher , and can be applied to both two and three dimensional elliptic problems.

The layout of the paper is as follows. In §2, the model problem and notations are introduced. In §3, the -adaptive strategy is deduced in details. In §4, the efficiency of the new strategy is illustrated and compared to some other strategies through two numerical examples. In §5, some concluding remarks are given.

2 Model problem and notations

For a bounded Lipschitz domain , , the following model problem is considered:

(1)

where . The problem can be read in the weak form: find such that

(2)

where

(3)

Our goal is to design an -finite element subspace and to compute a numerical solution such that

(4)

and the error meets prescribed tolerance. Here for simplicity of description we will assume . In this case , the problem can be easily converted to the case with a shift operator.

For the sake of convenience, some notations are introduced here. In the subsequent descriptions, we will denote by the exact solution of Problem (1), by the numerical solution of the problem with respect to a triangulation and a finite element space on , and by the error between the exact solution and the numerical solution. The energy norm, , is defined as . In the adaptive process, stands for the tolerance, which is the stop criterion, stands for the error indicator defined on element , and is the global error indicator. For a given element , and denote the degree of the polynomial basis functions on and the diameter of , respectively. When the element is divided (refined) into subelements, denotes the number of its children. Finally,

is used to denote the total number of degrees of freedom in the mesh

.

3 An -adaptive strategy

In this section we give our -adaptive strategy. This strategy is based on the expected error reduction factors of -, -, or -refinement. The expected error reduction factors are calculated under the assumption that the numerical solution converges algebraically under -refinement and exponentially under -refinement. We will first deduce the expected error reduction factors for various refinement types, then describe the new -adaptive strategy in details.

First we deduce the expected error reduction factor for -refinement. We assume that the optimal convergence rate of the -version of adaptive finite element method is algebraic, which can be written as zhoua ; fernan ; cascon ,

(5)

where is the degree of the piecewise polynomials. Suppose the fine mesh is obtained from uniform refinement of the mesh by dividing each element into subelements. Then the number of degrees of freedom on mesh is about .

Suppose we have an appropriate error indicator . We make the following hypotheses.


(H1) The error indicator is precise, i.e., there exist constants and such that,

(6)

(H2) For any element , the error indicators on all its children are equal.

Let be the expected error reduction factor for -refinement. By combining (H1) and (H2), we get the following relationship

(7)

Comparing  (7) to  (6), we have

(8)

To improve the efficiency, we use a slightly enlarged , which is given by

(9)

Next we deduce the expected error reduction factor for -refinement. In -refinement the mesh is fixed and the degree of the polynomials is adjusted. On a quasi-uniform mesh with uniform polynomial degree the following error estimation is expected anis ; suri

(10)

where is the mesh size, the polynomial degree, , a constant independent of and , and . We make the following hypothesis.


(H3) and .

When the degree is increased by one, by (H3) we have

(11)

Thus the error reduction factor is

(12)

is a positive integer satisfying (H3). In this paper we set to . Then we have

(13)

Finally the expected error reduction factor for -refinement can readily be obtained by combining and , which is given by

(14)

As a widely accepted criterion in adaptive finite element methods, the error should be distributed asymptotically uniformly over all elements melenk . Therefore, elements with large error estimator should be marked for refinement. Here we employ the so-called maximum strategy, which can be described as follows

(15)

where is a predetermined parameter.

Our -adaptive strategy is given below, which is motivated by Heuveline et al. rannacher and Melenk et al. melenk , using a similar framework. Here -refinement means dividing the element into subelements, -refinement means increasing the polynomial degree by 1.

  1. Solve the problem on the current mesh with the current setting of polynomial orders and compute the error indicator and the global error indicator . The adaptive process is stopped if is less than or equal to on the current mesh.

  2. Mark elements for refinement using maximum strategy.

  3. For each marked element :

    • If element is obtained by -refinement of its parent element , then check whether the following condition holds

      If yes then mark for -refinement. Otherwise mark for -refinement.

    • If element is obtained by -refinement of its parent element , then check whether the following condition holds

      If yes then mark for -refinement. Otherwise mark for -refinement.

    • If element is obtained by -refinement of its parent element , then check whether the following condition holds

      If yes then mark for -refinement. Otherwise mark for -refinement.

    • If element is not refined in the preceding adaptive step, then mark for -refinement.

  4. Perform -, - or -refinement as determined by Step 3.111When we perform -refinement additional elements may be refined in order to maintain the conformity of the mesh.

  5. Go to Step 1.

The underlying idea behind the above process is that because of the exponential convergence rate of -refinement, it is preferred over -refinement whenever the solution is smooth. If the expected error reduction factor is achieved in the previous refinement, then the solution is considered smooth and -refinement is performed, otherwise -refinement is performed.

Remark: the strategy proposed by Melenk et al. melenk was designed for two dimensional problems. Our strategy is suitable for both two and three dimensional problems and different error reduction factors are deduced. For the strategy proposed by Rannacher et al. rannacher , the error reduction factor depended on the size of elements. This dependency is removed in this paper.

4 Numerical results

In this section two examples are employed to illustrate the efficiency of the new -adaptive strategy. These examples are also computed using a traditional -version adaptive finite element method and another existing -adaptive strategy for comparison.

We have implemented our new -adaptive strategy using the parallel adaptive finite element toolbox PHG phg . The computations were performed on the cluster LSSC-III of the State Key Laboratory of Scientific and Engineering Computing, Chinese Academy of Sciences.

In these examples, since bisection refinement is used for -refinement, we have , thus the expected error reduction factors are given by

(16)
(17)
(18)

The error indicator used here is the one introduced by Melenk et al. melenk . Though it was designed for two dimensional problems, it is also valid for three dimensional problems. This error indicator is given by

(19)

where is the -projection of the function on the space of polynomials of degree , denotes the diameter of the face , , where and are the two elements sharing the face , and denotes the jump of a function across the face .

The parameter in the maximum strategy is chosen as . The linear systems of equations are solved by the PCG (Preconditioned Conjugate Gradient) method with a block Jacobi preconditioner. The initial meshes are generated using NETGEN netgen and the initial polynomial degrees on all elements are set to 2.

For three dimensional Poisson equation the optimal convergence rate is exponential and is expected to be guo1

(20)

where is a constant.

In the figures the logarithm of the energy error is plotted against , and three different strategies are compared. The first one is a traditional -adaptive finite element method, denoted by “HAFEM”. The second one is the -adaptive strategy introduced in this paper, denoted by “HP/PHG”. The last one is the strategy of Melenk et al., denoted by “HP/MK”.

Example 4.1. In this example, the domain is an -shaped domain given by , and the analytic solution is given by

. The main difficulty in applying high order finite element methods to this problem is that the even and odd derivatives of the solution behave differently at each point in the domain, hence pure

-refinement may not improve the numerical solution zib . The initial mesh is uniform with 144 elements.

The convergence histories of different strategies are shown in Figure 1 and statistics about the final meshes are shown in Table 1. We can observe that the two  strategies exhibit exponential convergence rate while the -version converges algebraically. We can also observe that the HP/PHG strategy performs better than the HP/MK strategy.

Figure 1: Convergence histories (Example 4.1)
# elements # DOF Energy error
HP/PHG 3,772 246,046 1.01e-4
HP/MK 35,696 1,171,216 1.67e-4
HAFEM 1,663,068 2,263,137 3.57e-2
Table 1: The final meshes (Examples 4.1)

Example 4.2. In this example, the computational domain is given by , and the analytic solution is given by , whose gradient has a vertex singularity. The initial mesh is uniform with 172 elements.

The convergence histories and final meshes are shown in Figure 2 and Table 2 respectively. Again for this example, the -version converges algebraically while the two -versions converge exponentially. Data in Table 2 shows that the performance of our strategy is much better than that of the HP/MK strategy.

Figure 2: Convergence histories (Examples 4.2)
# elements # DOF Energy error
HP/PHG 3,429 155,812 1.07e-5
HP/MK 163,204 1,158,279 1.20e-4
HAFEM 1,377,588 1,904,054 4.44e-4
Table 2: Final meshes (Example 4.2)

5 Conclusion

A simple and easy to implement -adaptive strategy based on error reduction prediction is proposed. This strategy is suitable for two and three dimensional problems. The efficiency of the strategy is demonstrated through two numerical examples. Although the strategy is discussed with the Poisson equation in this paper, it is applicable to general elliptic problems. It also provides a general framework which can be easily extended to other problems.

Acknowledgments

This work is supported by the 973 Program under the grant 2011CB309703, by China NSF under the grants 11021101 and 11171334, by the 973 Program under the grant 2011CB309701, the China NSF under the grants 11101417 and by the National Magnetic Confinement Fusion Science Program under the grants 2011GB105003.

References

References

  • (1) L. Zhang, A Parallel Algorithm for Adaptive Local Refinement of Tetrahedral Meshes Using Bisection, Numer. Math.: Theory, Methods and Applications, 2 (2009), pp. 65-89.
  • (2) Lianhua He and Aihui Zhou, Convergence and complexity of adaptive finite element methods for elliptic partial differential equations, International Journal of Numerical Analysis and Modelling, 8(4) (2011), pp. 615-640.
  • (3) Fernando D. Gaspoz and Pedro Morin, Convergence rates for adaptive finite elements, IMA Journal of Numerical Analysis, 29(4) (2009), pp. 917-936.
  • (4) J. Manuel Cascon and Christian Kreuzer and Ricardo H. Nochetto and Kunibert and G. Siebert, Quasi-optimal convergence rate for an adaptive finite element method, in preparation, SIAM J. NUMER. ANAL., 46(5), pp. 2524 C2550.
  • (5) J.M. Melenk and B.I. Wohlmuth, On residual-based a-posteriori error estimation in -FEM, Advances in Computational Mathematics, 15 (2001), pp. 311-331.
  • (6) T. Eibner and J.M. Melenk An adaptive strategy for -FEM based on testing for analyticity, Compute Mech, 39 (2007), pp.575-595.
  • (7) V. Heuveline and R. Rannacher, Duality-based adaptivity in the -finite element method, J. Numer. Math, 11 (2003), pp.1-18.
  • (8) M. Ainsworth and B. Senior, An adaptive refinement strategy for -finite element computation, Applied Numerical Mathematics, 26 (1998), pp.165-178.
  • (9) I. Babuška and M. Suri, The optimal convergence rate of the -version of the finite element method, SIAM Journal on Numerical Analysis, 24 (1987), pp. 750-776.
  • (10) I. Babuška, B. Andersson, B. Guo, J.M. Melenk and H.S. Oh, Finite element method for solving problems with singular solutions, Journal of Computational and Applied Mathematics, 1 (1996), pp.51-70.
  • (11) B.Q. Guo and I. Babuška, The  version of the finite element method. Part 1. The basic approximation results, Comput. Mech. 1 (1986), pp.21-41.
  • (12) B.Q. Guo and I. Babuška, The  version of the finite element method. Part 2. General results and applications, Comput. Mech. 1 (1986),pp.203-226.
  • (13) W. Gui and I. Babuška, The h, p and  versions of the finite element method in 1 Dimension. Part III. The adaptive  version, Numer. Math. 49 (1986), pp.659-683.
  • (14) P. Houston and E. Süli, A note on the design of -adaptive finite element methods for elliptic partial differential equations, Computer Methods in Applied Mechanics and Engineering, 194 (2005), pp.229-243.
  • (15) C. Bernardi, N. Fiétier and R.G. Owens, An error indicator for mortar element solutions to the Stokes problem, IMA J. Num. Anal., 21 (2001), pp.857-886.
  • (16) J. Valenciano and R.G. Owens, An  adaptive spectral element method for Stokes flow, Appl. Numer. Math. 33(2000), pp.365-371.
  • (17) S. Adjerid, M. Aiffa and J.E. Flaherty, Computational methods for singularly perturbed systems, in: J.Cronin, R.E. O’Malley (Eds.), Singular Perturbation Concepts of Differential Equations, AMS Providence, 1998.
  • (18) J.T. Oden and A. Patra, A parallel adaptive strategy for hp finite elements, Comput. Methods. Appl. Mech. Engrg. 121(1995), pp. 449-470.
  • (19) C. Mavriplis, Adaptive mesh strategies for the spectral element method, Comput. Methods. Appl. Mech. Engrg. 116 (1994), pp. 77-86.
  • (20) L. Demkowicz, W. Rachowicz and P. Devloo, A fully automatic -adaptivity, J. Sci. Comp. 17(1-4) (2002), pp. 117-142.
  • (21) W. Rachowicz, L. Demkowicz and J.T. Oden, Toward a universal hCp adaptive finite element strategy, Part 3. Design of hCp meshes, Comput. Methods. Appl. Mech. Engrg. 77 (1989),pp. 181-212.
  • (22) P. Solin and L. Demkowicz, Goal-oriented -adaptivity for elliptic problems, Comput. Meth. Appl. Mech. Engrg. 193(2004), pp.449-468.
  • (23) P. Houseton and E. Süli, A note on the design of -adaptive finite element methods for elliptic partial differential equations, Comput. Methods Appl. Mech. Engrg., 194 (2005), pp.229-243.
  • (24) M. T. Jones and P.E. Plassmann, Adaptive refinement of unstructured finite-element meshes, Finite Elements in Analysis and Design, 25(1-2) (1997), pp.41-60.
  • (25) G.W. Zumbusch, Simultanous h-p Adaption in Multilevel Finite Elements, Zuse Institute Berlin, TR-95-14, 1995.
  • (26) J. Schöberl, NETGEN: An advancing front 2D/3D-mesh generator based on abstract rules, Computing and Visualization in Science, 1(1) (1997), pp. 41-52.