Adaptive Finite Element Techniques

Back

___ Introduction

The usual _nite element analysis would proceed from the selection of a mesh and basis

to the generation of a solution to an accuracy appraisal and analysis_ Experience is the

traditional method of determining whether or not the mesh and basis will be optimal

or even adequate for the analysis at hand_ Accuracy appraisals typically require the

generation of a second solution on a _ner mesh or with a di_erent method and an ad hoc

comparison of the two solutions_ At least with a posteriori error estimation _cf_ Section

_____ accuracy appraisals can accompany solution generation at a lower cost than the

generation of a second solution_

Adaptive procedures try to automatically re_ne_ coarsen_ or relocate a mesh and       or

adjust the basis to achieve a solution having a speci_ed accuracy in an optimal fashion_

The computation typically begins with a trial solution generated on a coarse mesh with a

loworder basis_ The error of this solution is appraised_ If it fails to satisfy the prescribed

accuracy_ adjustments are made with the goal of obtaining the desired solution with

minimal e_ort_ For example_ we might try to reduce the discretization error to its desired

level using the fewest degrees of freedom_ While adaptive _nite element methods have

been studied for nearly twenty years ___ __ _ ___ ___ __ ___ ___ ____ surprising little is

known about optimal strategies_ Common procedures studied to date include

_ local re_nement and  or coarsening of a mesh _h_re_nement__

_ relocating or moving a mesh _r_re_nement__ and

_ locally varying the polynomial degree of the basis _p_re_nement__

These strategies may be used singly or in combination_ We may guess that rre_nement

alone is generally not capable of _nding a solution with a speci_ed accuracy_ If the mesh

is too coarse_ it might be impossible to achieve a high degree of precision without adding

_

_ Adaptive Finite Element Techniques

more elements or altering the basis_ Rre_nement is more useful with transient problems

where elements move to follow an evolving phenomena_ By far_ hre_nement is the most

popular ___ ___ ___ __ ___ ____ It can increase the convergence rate_ particularly when

singularities are present _cf_ ___ ___ or Example ______ In some sense pre_nement is the

most powerful_ Exponential convergence rates are possible when solutions are smooth

__ ___ ____ When combined with hre_nement_ these high rates are also possible when

singularities are present ____ ___ ____ The use of pre_nement is most natural with a

hierarchical basis_ since portions of the sti_ness and mass matrices and load vector will

remain unchanged when increasing the polynomial degree of the basis_

A posteriori error estimates provide accuracy appraisals that are necessary to termi

nate an adaptive procedure_ However_ optimal strategies for deciding where and how to

re_ne or move a mesh or to change the basis are rare_ In Section ____ we saw that a pos_

teriori error estimates in a particular norm were computed by summing their elemental

contributions as

kEk_ _

N_

Xe__

kEk_

e

______

where N_ is the number of elements in the mesh and kEk_

e

is the restriction of the error

estimate kEk_ to Element e_ The most popular method of determining where adaptivity

is needed is to use kEke as an enrichment indicator_ Thus_ we assume that large errors

come from regions where the local error estimate kEke is large and this is where we should

re_ne or concentrate the mesh and       or increase the method order_ Correspondingly_ the

mesh would be coarsened or the polynomial degree of the basis lowered in regions where

kEke is small_ This is the strategy that we_ll follow _cf_ Section ____ however_ we reiterate

that there is no proof of the optimality of enrichment in the vicinity of the largest local

error estimate_

Enrichment indicators other than local error estimates have been tried_ The use of

solution gradients is popular_ This is particularly true of _uid dynamics problems where

error estimates are not readily available ____ ___ ___ ____

In this chapter_ we_ll examine h_ p_ and hpre_nement_ Strategies using rre_nement

will be addressed in Chapter __

___ h_Re_nement

Mesh re_nement strategies for elliptic _steady_ problems need not consider coarsening_

We can re_ne an initially coarse mesh until the requested accuracy is obtained_ This

strategy might not be optimal and won_t be_ for example_ if the coarse mesh is too

_ne in some regions_ Nevertheless_ we_ll concentrate on re_nement at the expense of

____ h_Re_nement _

coarsening_ We_ll also focus on twodimensional problems to avoid the complexities of

threedimensional geometry_

_____ Structured Meshes

Let us _rst consider adaptivity on structured meshes and then examine unstructured

mesh re_nement_ Re_nement of an element of a structured quadrilateralelement mesh

by bisection requires mesh lines running to the boundaries to retain the fourneighbor

structure _cf_ the left of Figure ______ This strategy is simple to implement and has

been used with _nite di_erence computation _____ however_ it clearly re_nes many more

elements than necessary_ The customary way of avoiding the excess re_nement is to

introduce irregular nodes where the edges of a re_ned element meet at the midsides of

a coarser one _cf_ the right of Figure ______ The mesh is no longer structured and our

standard method of basis construction would create discontinuities at the irregular nodes_

Figure _____ Bisection of an element of a structured rectangularelement mesh creating

mesh lines running between the boundaries _left__ The mesh lines are removed by creating

irregular nodes _right__

The usual strategy of handling continuity at irregular nodes is to constrain the basis_

Let us illustrate the technique for a piecewisebilinear basis_ The procedure for higher

order piecewise polynomials is similar_ Thus_ consider an edge between Vertices _ and _

containing an irregular node _ as shown in Figure _____ For simplicity_ assume that the

elements are h _ h squares and that those adjacent to Edge __ are indexed __ __ and _

as shown in the _gure_ For convenience_ let_s also place a Cartesian coordinate system

at Vertex __

We proceed as usual_ constructing shape functions on each element_ Although not

really needed for our present development_ those bilinear shape functions that are nonzero

on Edge __ follow_

_ Adaptive Finite Element Techniques

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

________

_

_

_

_

_

_

_

_

_

_

3

2

1

1

3

2

x

y

Figure _____ Irregular node at the intersection of a re_ned element_

_ On Element __

N__ _ _

h _ x

h

__

y

h

__ N__ _ _

h _ x

h

__

h _ y

h

__

_ On Element __

N__ _ _

h__ _ x

h__

__

y _ h__

h__

__ N__ _ _

h__ _ x

h__

__

h _ y

h__

__

_ On Element __

N__ _ _

h__ _ x

h__

__

h__ _ y

h__

__ N__ _ _

h__ _ x

h__

__

y

h__

__

As in Chapter __ the second subscript on Nje denotes the element index_

The restriction of U on Element _ to Edge __ is

U_x_ y_ _ c_N___x_ y_ _ c_N___x_ y__

Evaluating this at Node _ yields

U_x__ y__ _

c_ _ c_

_

_ x _ __

The restriction of U on Elements _ and _ to Edge __ is

U_x_ y_ _ _ c_N___x_ y_ _ c_N___x_ y__ if y _ h__

c_N___x_ y_ _ c_N___x_ y__ if y _ h__

_

In either case_ we have

U_x__ y__ _ c__ x _ __

Equating the two expressions for U_x__ y__ yields the constraint condition

c_ _

c_ _ c_

_

_ ______

____ h_Re_nement _

Figure _____ The oneirregular rule_ the intended re_nement of an element to create two

irregular nodes on an edge _left_ necessitates re_nement of a neighboring element to have

no more than one irregular node per element edge _right__

Thus_ instead of determining c_ by Galerkin_s method_ we constrain it to be determined

as the average of the solutions at the two vertices at the ends of the edge_ With the

piecewisebilinear basis used for this illustration_ the solution along an edge containing

an irregular node is a linear function rather than a piecewiselinear function_

Software based on this form of adaptive re_nement has been implemented for elliptic

____ and parabolic ___ systems_ One could guess that di_culties arise when there are too

many irregular nodes on an edge_ To overcome this_ software developers typically use

Bank_s ___ ___ _oneirregular_ and _threeneighbor_ rules_ The oneirregular rule limits

the number of irregular nodes on an element edge to one_ The impending introduction

of a second irregular node on an edge requires re_nement of a neighboring element as

shown in Figure _____ The threeneighbor rule states that any element having irregular

nodes on three of its four edges must be re_ned_

A modi_ed quadtree _Section ____ can be used to store the mesh and solution data_

Thus_ let the root of a tree structure denote the original domain __ With a structured

grid_ we_ll assume that _ is square_ although it could be obtained by a mapping of a

distorted region to a square _Section _____ The elements of the original mesh are regarded

as o_spring of the root _Figure ______ Elements introduced by adaptive re_nement are

obtained by bisection and are regarded as o_spring of the elements of the original mesh_

This structure is depicted in Figure _____ Coarsening can be done by _pruning_ re_ned

quadrants_ It_s customary_ but not essential_ to assume that elements cannot be removed

_by coarsening_ from the original mesh ____

Irregular nodes can be avoided by using transition elements as shown in Figure _____

The strategy on the right uses triangular elements as a transition between the coarse and

_ne elements_ If triangular elements are not desirable_ the transition element on the left

uses rectangles but only adds a midedge shape functions at Node __ There is no node

at the midpoint of Edge ___ The shape functions on the transition element are

N__ _ _

h _ x

h

__

y _ h__

h__

__ N__ _ _

h _ x

h

__

h__ _ y

h__

__

_ Adaptive Finite Element Techniques

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

__

Figure _____ Original structured mesh and the bisection of two elements _left__ The tree

structure used to represent this mesh _right__

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

________

_

_

_

_ _

_

_

_

_

_

2

1

3

2

x

y

3

4

5

1

Figure _____ Transition elements between coarse and _ne elements using rectangles _left_

and triangles _right__

N__ _ _

h _ x

h

__ _ y

h__ __ if _ _ y _ h__

_h_y

h__ __ if h__ _ y _ h

_

N__ _ __x

h

__

y

h

__ N__ _ __x

h

__

h _ y

h

__

Again_ the origin of the coordinate system is at Node __ Those shape functions associated

with nodes on the right edge are piecewisebilinear on Element __ whereas those associated

with nodes on the left edge are linear_

Berger and Oliger ____ considered structured meshes with structured mesh re_nement_

but allowed elements of _ner meshes to overlap those of coarser ones _Figure ______ This

method has principally used with adaptive _nite di_erence computation_ but it has had

some use with _nite element methods _____

_____ Unstructured Meshes

Computation with triangularelement meshes has been done since the beginning of adap

tive methods_ Bank ___ ___ developed the _rst software system PLTMG_ which solves

____ h_Re_nement _

Figure _____ Composite grid construction where _ner grids overlap elements of coarser

ones_

our model problem with a piecewiselinear polynomial basis_ It uses a multigrid itera

tive procedure to solve the resulting linear algebraic system on the sequence of adaptive

meshes_ Bank uses uniform bisection of a triangular element into four smaller elements_

Irregular nodes are eliminated by dividing adjacent triangles sharing a bisected edge

in two _Figure ______ Triangles divided to eliminate irregular nodes are called _green

triangles_ _____ Bank imposes oneirregular and threeneighbor rules relative to green

triangles_ Thus_ e_g__ an intended second bisection of a vertex angle of a green triangle

would not be done_ Instead_ the green triangle would be uniformly re_ned _Figure ____

to keep angles bounded away from zero as the mesh is re_ned_

Figure _____ Uniform bisection of a triangular element into four and the division of

neighboring elements in two _shown dashed__

Rivara ____ ___ developed a mesh re_nement algorithm based on bisecting the longest

edge of an element_ Rivara_s procedure avoids irregular nodes by additional re_nement as

described in the algorithm of Figure _____ In this procedure_ we suppose that elements

 Adaptive Finite Element Techniques

Figure ____ Uniform re_nement of green triangles of the mesh shown in Figure ____ to

avoid the second bisection of vertex angles_ New re_nements are shown as dashed lines_

of a submesh _ of mesh _h are scheduled for re_nement_ All elements of _ are bisected

by their longest edges to create a mesh __

h_ which may contain irregular nodes_ Those

elements e of __

h that contain irregular nodes are placed in the set ___ Elements of __ are

bisected by their longest edge to create two triangles_ This bisection may create another

node Q that is di_erent from the original irregular node P of element e_ If so_ P and Q

are joined to produce another element _Figure _______ The process is continued until all

irregular nodes are removed_

procedure rivara__h_ __

Obtain __

h by bisecting all triangles of _ by their longest edges

Let __ contain those elements of __

h having irregular nodes

i __ _

while _i is not _ do

Let e _ _i have an irregular node P and bisect e by its longest edge

Let Q be the intersection point of this bisection

if P __ Q then

Join P and Q

end if

Let _i__

h be the mesh created by this process

Let _i__ be the set of elements in _i__

h with irregular nodes

i __ i _ _

end while

return _i

h

Figure _____ Rivara_s mesh bisection algorithm_

Rivara_s ____ algorithm has been proven to terminate with a regular mesh in a _nite

number of steps_ It also keep angles bounded away from _ and __ In fact_ if  is the

____ h_Re_nement _

P P

Q

e

Figure ______ Elimination of an irregular node P _left_ as part of Rivara_s algorithm

shown in Figure ____ by dividing the longest edge of Element e and connecting vertices

as indicated_

smallest angle of any triangle in the originalmesh_ the smallest angle in the mesh obtained

after an arbitrary number of applications of the algorithm of Figure _____ is no smaller

than      __ _____ Similar procedures were developed by Sewell ____ and used by Mitchell

___ by dividing the newest vertex of a triangle_

Tree structures can be used to represent the data associated with Bank_s ____ and

Rivara_s ____ procedures_ As with structuredmesh computation_ elements introduced

by re_nement are regarded as o_spring of coarser parent elements_ The actual data

representations vary somewhat from the tree described earlier _Figure _____ and readers

seeking more detail should consult Bank ____ or Rivara ____ ____ With tree structures_ any

coarsening may be done by pruning _leaf_ elements from the tree_ Thus_ those elements

nested within a coarser parent are removed and the parent is restored as the element_

As mentioned earlier_ coarsening beyond the original mesh is not allowed_ The process

is complex_ It must be done without introducing irregular nodes_ Suppose_ for example_

that the quartet of small elements _shown with dashed lines_ in the center of the mesh of

Figure ___ were scheduled for removal_ Their direct removal would create three irregular

nodes on the edges of the parent triangle_ Thus_ we would have to determine if removal

of the elements containing these irregular nodes is justi_ed based on errorindication

information_ If so_ the mesh would be coarsened to the one shown in Figure ______

Notice that the coarsened mesh of Figure _____ di_ers from mesh of Figure ____ that

was re_ned to create the mesh of Figure ____ Hence_ re_nement and coarsening may

not be reversible operations because of their independent treatment of irregular nodes_

Coarsening may be done without a tree structure_ Shephard et al_ ___ describe an

_edge collapsing_ procedure where the vertex at one end of an element edge is _collapsed_

onto the one at the other end_ Ai_a ___ describes a twodimensional variant of this

procedure which we reproduce here_ Let P be the polygonal region composed of the union

of elements sharing Vertex V    _Figure _______ Let V__ V__ _ _ _ _ Vk denote the vertices on the

k triangles containing V            and suppose that error indicators reveal that these elements may

__ Adaptive Finite Element Techniques

Figure ______ Coarsening of a quartet of elements shown with dashed lines in Figure

___ and the removal of surrounding elements to avoid irregular nodes_

V

V V

V

V

5

2

4 3

1

V

V

V

V

5

1

2

V4 V3

0

Figure ______ Coarsening of a polygonal region _left_ by collapsing Vertex V           onto V_

_right__

be coarsened_ The strategy of collapsing V     onto one of the vertices Vj _ j _ __ __ _ _ _ _ k_ is

done by deleting all edges connected to V        and then retriangulating P by connecting Vj

to the other vertices of P _cf_ the right of Figure _______ Vertex V    is called the collapsed

vertex and Vj is called the target vertex_

Collapsing has to be evaluated for topological compatibility and geometric validity

before it is performed_ Checking for geometric validity prevents situations like the one

shown in Figure _____ from happening_ A collapse is topologically incompatible when_

e_g__ V          is on _ and the target vertex Vj is within __ Assuming that V   can be collapsed_

the target vertex is chosen to be the one that maximizes the minimum angle of the

resulting retriangulation of P_ Ai_a ___ does no collapsing when the smallest angle that

would be produced by collapsing is smaller than a prescribed minimum angle_ This might

result in a mesh that is _ner than needed for the speci_ed accuracy_ In this case_ the

minimum angle restriction could be waived when V      has been scheduled for coarsening

more than a prescribed number of times_ Suppose that the edges h_e_ h_e_ h_e of an

____ h_Re_nement __

element e are indexed such that h_e _ h_e _ h_e_ then the smallest angle         _e of Element

e may be calculated as

sin        _e _

_Ae

h_eh_e

where Ae is the area of Element e_

V

V

V

V1

V

V

V

V

0

V

V

3

4

5

6

7

V2

V1 V7

6

V5

4

3 V2

Figure ______ A situation where the collapse of Vertex V       _left_ creates an invalid mesh

_right__

1

2

E



E

1 2

Figure ______ Swapping an edge of a pair of elements _left_ to improve element shape

_right__

The shape of elements containing small or large angles that were created during

re_nement or coarsening may be improved by edge swapping_ This procedure operates on

pairs of triangles __ and __ that share a common edge E_ If Q _ __    ___ edge swapping

occurs deleting Edge E and retriangulating Q by connecting the vertices opposite to

Edge E _Figure _______ Swapping can be regarded as a re_nement of Edge E followed

by a collapsing of this new vertex onto a vertex not on Edge E_ As such_ we recognize

that swapping will have to be checked for mesh validity and topological compatibility_

Of course_ it will also have to provide an improved mesh quality_

_____ Re_nement Criteria

Following the introductory discussion of error estimates in Section ___ we assume the

existence of a set of re_nement indicators _e_ e _ __ __ _ _ _ _N__ which are large where

re_nement is desired and small where coarsening is appropriate_ As noted_ these might

__ Adaptive Finite Element Techniques

be the restriction of a global error estimate to Element e

__

e

_ kEk_

e

______

or an ad hoc re_nement indicator such as the magnitude of the solution gradient on the

element_ In either case_ how do we use this error information to re_ne the mesh_ Perhaps

the simplest approach is to re_ne a _xed percentage of elements having the largest error

indicators_ i_e__ re_ne all elements e satisfying

_e _ _ max

__j_N_

_j _ ______

A typical choice of the parameter _ _ ___ __ is ___

We can be more precise when an error estimate of the form ______ with indicators

given by ______ is available_ Suppose that we have an a priori error estimate of the form

kek _ Chp_ _____a_

After obtaining an a posteriori error estimate kEk on a mesh with spacing h_ we could

compute an estimate of the error constant C as

C  kEk

hp _ _____b_

The mesh spacing parameter h may be taken as_ e_g__ the average element size

h _ r A

N_

_____c_

where A is the area of __

Suppose that adaptivity is to be terminated when kEk   where  is a prescribed

tolerance_ Using _____a__ we would like to construct an enriched mesh with a spacing

parameter  h

such that

C h

p  _

Using the estimate of C computed by _____b__ we have

 h

h  _

kEk___p

_ _____a_

Thus_ using _____c__ an enriched mesh of

 N

_ _

 h

_

A

h_

A _

kEk___p

_____b_

____ h_Re_nement __

elements will reduce kEk to approximately  _

Having selected an estimate of the number of elements  N

_ to be in the enriched

mesh_ we have to decide how to re_ne the current mesh in order to attain the prescribed

tolerence_ We may do this by equidistributing the error over the mesh_ Thus_ we would

like each element of the enriched mesh to have approximately the same error_ Using

_______ this implies that

k E k_

e

 _

 N

_

where k E ke is the error indicator of Element e of the enriched mesh_ Using this notion_

we divide the error estimate kEk_

e

by a factor n so that

kEk_

e n

 _

 N

_

_

Thus_ each element of the current mesh is divided into n segments such that

n

 N

_  _kEke

 __

_ ______

In practice_ n and N_ may be rounded up or increased slightly to provide a measure

of assurance that the error criterion will be satis_ed after the next adaptive solution_

The mesh division process may be implemented by repeated applications of a mesh

re_nement algorithm without solving the partial di_erential equation in between_ Thus_

with bisection ____ ____ the elemental error estimate would be halved on each bisected

element_ Re_nement would then be repeated until ______ is satis_ed_

The error estimation process ______ works with coarsening when n _ __ however_

neighboring elements would have to suggest coarsening as well_

Example _____ Rivara ____ solves Laplace_s equation

uxx _ uyy _ __ _x_ y_ _ __

where _ is a regular hexagon inscribed in a unit circle_ The hexagon is oriented with

one vertex along the positive xaxis with a _crack_ through this vertex for _ _ x _ __

y _ __ Boundary conditions are established to be homogeneous Neumann conditions on

the xaxis below the crack and

u_r_ __ _ r___ sin

_

_

everywhere else_ This function is also the exact solution of the problem expressed in a

polar frame eminating from the center of the hexagon_ The solution has a singularity

at the origin due to the _reentrant_ angle of __ at the crack tip and the change in

__ Adaptive Finite Element Techniques

boundary conditions from Dirichlet to Neumann_ The solution was computed with a

piecewiselinear _nite element basis using quasiuniform and adaptive hre_nement_ A

residual error estimation procedure similar to those described in Section ___ was used to

appraise solution accuracy _____ Re_nement followed _______

The results shown in Figure _____ indicate that the uniform mesh is converging as

O_N____ where N is the number of degrees of freedom_ We have seen _Section ____ that

uniform hre_nement converges as

kek_ _ C_hmin_p_q_ _ C_N_min_p_q___ ______

where q _ _ depends on the solution smoothness and_ in two dimensions_ N _ h__ For

linear elliptic problems with geometric singularities_ q _ ___ where _ is the maximum

interior angle on __ For the hexagon with a crack_ the interior angles would be ____

_____ and ___ The latter is the largest angle_ hence_ q _ ____ Thus_ with p _ __

convergence should occur at an O_N_____ rate_ however_ the actual rate is lower _Figure

_______

The adaptive procedure has restored the O_N_____ convergence rate that one would

expect of a problem without singularities_ In general_ optimal adaptive hre_nement will

converge as ___ ___

kek_ _ C_hp _ C_N_p___ _____

___ p_ and hp_Re_nement

With pre_nement_ the mesh is not changed but the order of the _nite element basis is

varied locally over the domain_ As with hre_nement_ we must ensure that the basis

remains continuous at element boundaries_ A situation where second and fourthdegree

hierarchical bases intersect along an edge between two square elements is shown on the

left of Figure _____ The seconddegree approximation _shown at the top left_ consists of a

bilinear shape function at each vertex and a seconddegree correction on each edge_ The

fourthdegree approximation _bottom left_ consists of bilinear shape functions at each

vertex_ second_ third and fourthdegree corrections on each edge_ and a fourthdegree

bubble function associated with the centroid _cf_ Section _____ The maximum degree of

the polynomial associated with a mesh entity is identi_ed on the _gure_ The second and

fourthdegree shape functions would be incompatible _discontinuous_ across the common

edge between the two elements_ This situation can be corrected by constraining the

edge functions to the lowerdegree _two_ basis of the top element as shown in the center

____ p_ and hp_Re_nement __

Figure ______ Solution of Example ____ by uniform ___ and adaptive ___ hre_nement

_____

portion of the _gure or by adding third and fourthorder edge functions to the upper

element as shown on the right of the _gure_ Of the two possibilities_ the addition of the

higher degree functions is the most popular_ Constraining the space to the lowerdegree

polynomial could result in a situation where error criteria satis_ed on the element on the

lower left of Figure ____ would no longer be satis_ed on the element in the lowercenter

portion of the _gure_

Remark __ The incompatibility problem just described would not arise with the

hierarchical data structures de_ned in Section ___ since edge functions are blended onto

all elements containing the edge and_ hence_ would always be continuous_

Szab!o ____ developed a strategy for the adaptive variation of p by constructing error

estimates of solutions with local degrees p_ p___ and p__ on Element e and extrapolating

to get an error estimates for solutions of higher degrees_ With a hierarchical basis_ this

is straightforward when p _ __ One could just use the di_erences between higher and

lowerorder solutions or an error estimation procedure as described in Section ____ When

p _ _ on Element e_ local error estimates of solutions having degrees _ and _ are linearly

extrapolated_ Szabo ____ began by generating piecewiselinear _p _ __ and piecewise

quadratic _p _ __ solutions everywhere and extrapolating the error estimates_ Flaherty

and Moore ____ suggest an alternative when p _ __ They obtain a _lowerorder_ piecewise

__ Adaptive Finite Element Techniques

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

_

2

2

4 4 4

2 2

2

2

4 4 4

4

2

2

2

2

4 4 4

4 4

4

4

2

4

1

1 1

1 1

1

1

1 1 1 1

1 1

1 1

2

1 1

4

Figure _____ Second and fourthdegree hierarchical shape functions on two square el

ements are incompatible across the common edge between elements _left__ This can be

corrected by removing the third and fourthdegree edge functions from the lower ele

ment _center_ or by adding third and fourthdegree edge functions to the upper element

_right__ The maximum degree of the shape function associated with a mesh entity is

shown in each case_

constant _p _ __ solution by using the value of the piecewiselinear solution at the center

of Element e_ The di_erence between these two _solutions_ furnishes an error estimate

which_ when used with the error estimate for the piecewiselinear solution_ is linearly

extrapolated to higher values of p_

Having estimates of discretization errors as a function of p on each element_ we can

use a strategy similar to ______ to select a value of p to reduce the error on an element

to its desired level_ Often_ however_ a simpler strategy is used_ As indicated earlier_

the error estimate kEke should be of size _N_ on each element of the mesh_ When

enrichment is indicated_ e_g__ when kEk _ _ we can increase the degree of the polynomial

representation by one on any element e where

_e _ _R

 

N_

_ _____a_

The parameter _e is an enrichment indicator on Element e_ which may be kEke_ and

_R  ____ If coarsening is done_ the degree of the approximation on Element e can be

reduced by one when

_e _ _Che

 

N_

_____b_

where he is the longest edge of Element e and _C  ____

The convergence rate of the p version of the _nite element method is exponential when

the solution has no singularities_ For problems with singularities_ pre_nement converges

____ p_ and hp_Re_nement __

as

kek _ CN_q ______

where q _ _ depends on the solution smoothness ____ ___ ___ ___ ____ _The parameter

q is intended to be generic and is not necessarily the same as the one appearing in

________ With singularities_ the performance of the p version of the _nite element method

depends on the mesh_ Performance will be better when the mesh has been graded near

the singularity_

This suggests combining h and pre_nement_ Indeed_ when proper mesh re_nement is

combined with an increase of the polynomial degree p_ the convergence rate is exponential

kek _ Ce_q_Nq_ ______

where q_ and q_ are positive constants that depend on the smoothness of the exact solution

and the _nite element mesh_ Generating the correct mesh is crucial and its construction is

only known for model problems ____ ___ ___ ___ ____ Oden et al_ ____ developed a strategy

for hpre_nement that involved taking three solution steps followed by an extrapolation_

Some techniques do not attempt to adjust the mesh and the order at the same time_ but_

rather_ adjust either the mesh or the order_ We_ll illustrate one of these_ but _rst cite

the more explicit version of the error estimate ______ given by Babu"ska and Suri ___

kek_ _ C

hmin_p_q_

pq kukmin_p_q____ ______

The mesh must satisfy the uniformity condition_ the polynomialdegree is uniform_ and

u _ Hq___ In this form_ the constant C is independent of h and p_ This result and the

previous estimates indicate that it is better to increase the polynomial degree when the

solution u is smooth _q is large_ and to reduce h near singularities_ Thus_ a possible

strategy would be to increase p in smooth higherror regions and re_ne the mesh near

singularities_ We_ therefore_ need a method of estimating solution smoothness and Ai_a

___ does this by computing the ratio

_e _ _ _e_p___e_p _ ___ if _e_p _ __ __ _

__ otherwise

______

where p is the polynomial degree on Element e_ An argument has been added to the

error indicator on Element e to emphasize its dependence on the local polynomial degree_

As described in Section ___ __p _ __ can be estimated from the part of U involving the

hierarchal corrections of degree p_ Now

_ If _e _ __ the error estimate is decreasing with increasing polynomial degree_ If

enrichment were indicated on Element e_ pre_nement would be the preferred strat

egy_

_ Adaptive Finite Element Techniques

_ If _e _ _ the recommended strategy would be hre_nement_

Ai_a ___ selects pre_nement if _e _ _ and hre_nement if _e _ __ with _  ____ Adjust

ments have to made when p _ _ ____ Coarsening is done by vertex collapsing when all

elements surrounding a vertex have low errors ____

Example _____ Ai_a ___ solves the nonlinear parabolic partial di_erential equation

ut _ _u___ _ u_ _

uxx _ uyy

_

_ _x_ y_ _ __ t _ __

with the initial and Dirichlet boundary data de_ned so that the exact solution on the

square _ _ f_x_ y_j_ _ x_y _ _g is

u_x_ y_ t_ _

_

_ _ ep____x_y_tp____

Although this problem is parabolic_ Ai_a ___ kept the temporal error small so that spatial

errors dominate_

Ai_a ___ solved this problem with _ _ ___ by adaptive h_ p_ and hpre_nement

for a variety of spatial error tolerances_ The initial mesh for hre_nement contained

__ triangular elements and used piecewisequadratic _p _ __ shape functions_ For p

re_nement_ the mesh contained __ triangles with p varying from _ to __ The solution

with adaptive hpre_nement was initiated with __ elements and p _ __ The convergence

history of the three adaptive strategies is reported in Figure _____

The solution with hre_nement appears to be converging at an algebraic rate of ap

proximately N_            ___ which is close to the theoretical rate _cf_ ________ There are no

singularities in this problem and the adaptive p and hpre_nement methods appear to

be converging at exponential rates_

This example and the material in this chapter give an introduction to the essential

ideas of adaptivity and adaptive _nite element analysis_ At this time_ adaptive software

is emerging_ Robust and reliable error estimation procedures are only known for model

problems_ Optimal enrichment strategies are just being discovered for realistic problems_

____ p_ and hp_Re_nement __

101 102 103 104

10−3

10−2

10−1

100

Number Of Degrees Of Freedom

Relative Error In H1 Norm

Figure _____ Errors vs_ the number of degrees of freedom N for Example ____ at t _ ____

using adaptive h_ p and hpre_nement ___ _ and __ respectively__

__ Adaptive Finite Element Techniques

Bibliography

___ S_ Adjerid and J_E_ Flaherty_ A local re_nement _nite element method for two

dimensional parabolic systems_ SIAM Journal on Scienti_c and Statistical Comput_

ing_ _____#___ ___

___ M_ Ai_a_ Adaptive hp_Re_nement Methods for Singularly_Perturbed Elliptic and

Parabolic Systems_ PhD thesis_ Rensselaer Polytechnic Institute_ Troy_ _____

___ D_C_ Arney and J_E_ Flaherty_ An adaptive mesh moving and local re_nement

method for timedependent partial di_erential equations_ ACM Transactions on

Mathematical Software_ ____#___ _____

___ I_ Babu"ska_ J_ Chandra_ and J_E_ Flaherty_ editors_ Adaptive Computational Methods

for Partial Di_erential Equations_ Philadelphia_ ____ SIAM_

___ I_ Babu"ska_ J_E_ Flaherty_ W_D_ Henshaw_ J_E_ Hopcroft_ J_E_ Oliger_ and T_ Tez

duyar_ editors_ Modeling        Mesh Generation        and Adaptive Numerical Methods for

Partial Di_erential Equations_ volume __ of The IMA Volumes in Mathematics and

its Applications_ New York_ _____ SpringerVerlag_

___ I_ Babu"ska_ A_ Miller_ and M_ Vogelius_ Adaptive methods and error estimation for

elliptic problems of structural mechanics_ In I_ Babu"ska_ J_ Chandra_ and J_E_ Fla

herty_ editors_ Adaptive Computational Methods for Partial Di_erential Equations_

pages __#___ Philadelphia_ ____ SIAM_

___ I_ Babu"ska and Suri_ The optimal convergence rate of the pversion of the _nite

element method_ SIAM Journal on Numerical Analysis_ ______#____ ____

__ I_ Babu"ska_ O_C_ Zienkiewicz_ J_ Gago_ and E_R_ de A_ Oliveira_ editors_ Accuracy

Estimates and Adaptive Re_nements in Finite Element Computations_ John Wiley

and Sons_ Chichester_ ____

___ R_E_ Bank_ The e_cient implementation of local mesh re_nement algorithms_ In

I_ Babu"ska_ J_ Chandra_ and J_E_ Flaherty_ editors_ Adaptive Computational Methods

for Partial Di_erential Equations_ pages __#__ Philadelphia_ ____ SIAM_

__

__ Adaptive Finite Element Techniques

____ R_E_ Bank_ PLTMG A Software Package for Solving Elliptic Partial Di_erential

Equations_ Users_ Guide ___ volume __ of Frontiers in Applied Mathematics_ SIAM_

Philadelphia_ _____

____ R_E_ Bank_ A_H_ Sherman_ and A_ Weiser_ Re_nement algorithms and data struc

tures for regular local mesh re_nement_ In Scienti_c Computing_ pages _#___ Brus

sels_ ____ IMACS     North Holland_

____ M_J_ Berger and J_ Oliger_ Adaptive mesh re_nement for hyperbolic partial di_er

ential equations_ Journal of Computational Physics_ _____#____ ____

____ M_W_ Bern_ J_E_ Flaherty_ and M_ Luskin_ editors_ Grid Generation and Adaptive

Algorithms_ volume ___ of The IMA Volumes in Mathematics and its Applications_

New York_ _____ Springer_

____ R_ Biswas_ K_D_ Devine_ and J_E_ Flaherty_ Parallel adaptive _nite element methods

for conservation laws_ Applied Numerical Mathematics_ ______#___ _____

____ K_ Clark_ J_E_ Flaherty_ and M_S_ Shephard_ editors_ Applied Numerical Mathemat_

ics_ volume ___ _____ Special Issue on Adaptive Methods for Partial Di_erential

Equations_

____ K_ Devine and J_E_ Flaherty_ Parallel adaptive hpre_nement techniques for conser

vation laws_ Applied Numerical Mathematics_ ______#___ _____

____ M_ Dindar_ M_S_ Shephard_ J_E_ Flaherty_ and K_ Jansen_ Adaptive cfd analysis

for rotorcraft aerodynamics_ Computer Methods in Applied Mechanics Engineering_

submitted_ _____

___ D_B_ Duncan_ editor_ Applied Numerical Mathematics_ volume ___ ____ Special

Issue on Grid Adaptation in Computational PDEs_ Theory and Applications_

____ J_E_ Flaherty_ R_ Loy_ M_S_ Shephard_ B_K_ Szymanski_ J_ Teresco_ and L_ Ziantz_

Adaptive local re_nement with octree loadbalancing for the parallel solution of

threedimensional conservation laws_ Parallel and Distributed Computing_ ____ to

appear_

____ J_E_ Flaherty and P_K_ Moore_ Integrated spacetime adaptive hpre_nement meth

ods for parabolic systems_ Applied Numerical Mathematics_ ______#____ _____

____ J_E_ Flaherty_ P_J_ Paslow_ M_S_ Shephard_ and J_D_ Vasilakis_ editors_ Adaptive

methods for Partial Di_erential Equations_ Philadelphia_ ____ SIAM_

____ p_ and hp_Re_nement __

____ W_ Gui and I_ Babu"ska_ The h_ p_ and hp version of the _nite element method in

_ dimension_ Part __ The error analysis of the pversion_ Numerische Mathematik_

_____#____ ____

____ W_ Gui and I_ Babu"ska_ The h_ p_ and hp version of the _nite element method

in _ dimension_ Part __ The error analysis of the h and hpversion_ Numerische

Mathematik_ _____#____ ____

____ W_ Gui and I_ Babu"ska_ The h_ p_ and hp version of the _nite element method in _

dimension_ Part __ The adaptive hpversion_ Numerische Mathematik_ ____#___

____

____ W_ Guo and I_ Babu"ska_ The hp version of the _nite element method_ Part __ The

basic approximation results_ Computational Mechanics_ ___#___ ____

____ W_ Guo and I_ Babu"ska_ The hp version of the _nite element method_ Part __

General results and applications_ Computational Mechanics_ ____#___ ____

____ C_ Mesztenyi and W_ Szymczak_ FEARS user_s manual for UNIVAC _____ Technical

Report Note BN____ Institute for Physical Science and Technology_ University of

Maryland_ College Park_ ____

___ W_R_ Mitchell_ Uni_ed Multilevel Adaptive Finite Element Methods for Elliptic

Problems_ PhD thesis_ University of Illinois at UrbanaChampagne_ Urbana_ ___

____ P_K_ Moore and J_E_ Flaherty_ Adaptive local overlapping grid methods for parabolic

systems in two space dimensions_ Journal of Computational Physics_ ____#___ _____

____ J_T_ Oden_ W_ Wu_ and M_ Ainsworth_ Threestep hp adaptive strategy for the in

compressible NavierStokes equations_ In I_ Babu"ska_ J_E_ Flaherty_ W_D_ Henshaw_

J_E_ Hopcroft_ J_E_ Oliger_ and T_ Tezduyar_ editors_ Modeling   Mesh Generation       

and Adaptive Numerical Methods for Partial Di_erential Equations_ volume __ of

The IMA Volumes in Mathematics and its Applications_ pages ___#____ New York_

_____ SpringerVerlag_

____ W_ Rachowicz_ J_T_ Oden_ and L_ Demkowicz_ Toward a universal hp adaptive

_nite element strategy_ Part __ design of hp meshes_ Computer Methods in Applied

Mechanics and Engineering_ _____#____ ____

____ E_ Rank and I_ Babu"ska_ An expert system for the optimal mesh design in the hp

version of the _nite element method_ International Journal of Numerical methods

in Engineering_ ______#_____ ____

__ Adaptive Finite Element Techniques

____ M_C_ Rivara_ Design and data structures of a fully adaptive multigrid _nite element

software_ ACM Transactions on Mathematical Software_ ______#____ ____

____ M_C_ Rivara_ Mesh re_nement processes based on the generalized bisection of sim

plices_ SIAM Journal on Numerical Analysis_ ______#____ ____

____ I_G_ Rosenberg and F_ Stenger_ A lower bound on the angles of triangles constructed

by bisecting the longest side_ Mathematics of Computation_ ______#____ _____

____ C_ Schwab_ P_ And Hp_ Finite Element Methods Theory and Applications in Solid

and Fluid Mechanics_ Numerical Mathematics and Scienti_c Computation_ Claren

don_ London_ _____

____ E_G_ Sewell_ Automatic Generation of Triangulations for Piecewise Polynomial Ap_

proximation_ PhD thesis_ Purdue University_ West Lafayette_ _____

___ M_S_ Shephard_ J_E_ Flaherty_ C_L_ Bottasso H_L_ de Cougny_ and C_ $ Ozturan_ Par

allel automatic mesh generation and adaptive mesh control_ In M_ Papadrakakis_

editor_ Solving Large Scale Problems in Mechanics Parallel and Distributed Com_

puter Applications_ pages ___#____ Chichester_ _____ John Wiley and Sons_

____ B_ Szab!o_ Mesh design for the pversion of the _nite element method_ Computer

Methods in Applied Mechanics and Engineering_ _____#____ ____

____ B_ Szab!o and I_ Babu"ska_ Finite Element Analysis_ John Wiley and Sons_ New York_

_____

____ R_ Verf$urth_ A Review of Posteriori Error Estimation and Adaptive Mesh_

Re_nement Techniques_ TeubnerWiley_ Stuttgart_ _____

____ H_ Zhang_ M_K_ Moallemi_ and V_ Prasad_ A numerical algorithm using multizone

grid generation for multiphase transport processes with moving and free boundaries_

Numerical Heat Transfer_ B______#____ _____

____ O_C_ Zienkiewicz and J_Z_ Zhu_ Adaptive techniques in the _nite element method_

Communications in Applied Numerical Methods_ _____#____ ___

Chapter _