Generating Whitney forms of polynomial degree one and higher

Download Generating Whitney forms of polynomial degree one and higher

Post on 24-Mar-2017

212 views

Category:

Documents

0 download

Embed Size (px)

TRANSCRIPT

  • IEEE TRANSACTIONS ON MAGNETICS, VOL. 38, NO. 2, MARCH 2002 341

    Generating Whitney Forms of Polynomial DegreeOne and Higher

    Alain Bossavit

    AbstractA rationale for Whitney forms is proposed: they areseen as a device to approximatemanifolds, with approximation ofdifferential forms as a byproduct. A recursive generating formulais derived. A natural way to build higher-degree forms then follows.

    Index TermsConvergence, edge elements, Whitney forms.

    I. INTRODUCTION: NOTATIONS

    WE STUDY Whitney forms on a simplicial mesh .Labels , , , are used for nodes, edges, etc., eachwith its own inner orientation [1], [2], and , , etc., referto the corresponding Whitney forms.Boldface connotes dis-crete objects, especially degrees of freedom (DoF). The setsof nodes, edges, faces, volumes (i.e., tetrahedra), are denotedby . They are linked, as in [2], by the incidencematrices , , (for which the generic notation willoccasionally be used, suffixed byif needed). For instance,

    expresses the boundary of faceas a formallinear combination of edges (such a thing is called a-chain,with here). Symbol will serve for , i.e., as a genericnotation for the transposes , , . Recall that is theboundary map for chains: e.g., ,with in this case. Our results hold for any spatialdimension and all simplicial dimensions , but are statedas if was 3 and or 2 (edge and face elements). So weshall assume a specific in proofs (see, e.g., Proposition 2),and prefer , , or , , to or , but it should be cleareach time that the proof has general validity.

    We use for the barycentric weight of point with re-spect to node (so : this dual notation will make someformulas more readable). Moreover, we define ,when edge , as well as for face

    , etc. When and , wedenote nodeby . Thus refers to (in that case) , andequals . Liberal use is made of the wedge productandexterior derivative of differential geometry, but this should notdeter anyone: Just read as and [resp. , ] as grad

    [resp. , ], according to the nature of the operand.

    II. WHY WHITNEY FORMS?

    In electromagnetism, a natural way to assign DoFs is to havea pair of them at each face and a pairat each edge . Hence arrays , etc.Constitutive laws are then expressed as (or )

    Manuscript received July 2, 2001.The author is with lectricit de France, 92141 Clamart, France, and is also

    with CNRS, 91192 Palaiseau, France (e-mail: alain.bossavit@der.edfgdf.fr).Publisher Item Identifier S 0018-9464(02)01246-3.

    and (variant for Ohms law: ), where , , etc.,are square positive definite matrices. These can be built to bediagonal, as in the MAFIA codes [3] or Tontis cellular method[1], when one is able to form a dual mesh with cells orthogonalto their primal mates [2]. Otherwise, the Galerkin approach isalways an option: Denoting by ( ), with bold parentheses,the sum , we want ( ) to equal (themagnetic energy, up to a factor 2), when an induction fieldis reconstructed from the DoF array. This is easy withfaceelements : Then is set equal to (which weshall denote by ) and entries of are taken as

    . The underlying notion of dual mesh, this time, isthe barycentric one [2]. Edge elements play a similar role withrespect to the electric field: from the arrayof edge emfs, onebuilds (note the generic use of ),hence if .

    This motivates the search for such interpolants. (Even if oneshuns the Galerkin approach, they are needed for error anal-ysis.) So we shall pretend wedont know about , , etc.,and custom-design them. One notes that fields shouldhave normal continuity across faces, while fieldsshould betangentially continuous. In view of Faradays law, (aliasthe curl of ) should be a combination of face elements.More, the desire to preserve at the discrete level the validity ofexact sequence properties) like ,which plays the leading role in spurious-modes elimination[4]), puts severe constraints on the structure of thecomplexof Whitney forms (all simplicial dimensions consideredtogether). One may marvel at the fact that these forms,

    , (when ),

    (when ), and vol , do satisfy theserequirements. Are these expressionsforced on us, in someway, by them? We shall answer (affirmatively) by derivinga generatingrecursiveformula for Whitney forms. Next, ifmore than one DoF per simplex is allowed, what would thecorresponding Whitney forms (of higher polynomial degree,presumably) look like, and are there analogous generatingformulas? As an answer, a heuristic principle (Whitney formsas partition of unity) is advanced, which sheds some light onrecent proposals about such higher-degree interpolants [5][7].

    III. A R ATIONALE FOR WHITNEY FORMS

    The question is addressed by taking a detour, changing theviewpoint. Fields, in electromagnetism, are observed via num-bers, such as emfs, intensities, etc., which correspond to lineintegrals, surface integrals, etc. A field (say, for definiteness,)

    0018-9464/02$17.00 2002 IEEE

  • 342 IEEE TRANSACTIONS ON MAGNETICS, VOL. 38, NO. 2, MARCH 2002

    then maps a-manifold ( for points, 1 for lines, etc., and2 in our example, where is a surface) to a number, here .Suppose we replaceby a -chain , and letus interpret the DoFs as the elementary values (fluxes,here). Then a natural approximation to is what obtains bysubstituting for , i.e., the sum (bold-face brackets). Hence an approximate knowledge of the field,i.e., of all its measurable attributes, from the DoF array. Thequestion has thus become how best to representby a chain?Fig. 1 (where , so a curve replaces ) gives the idea.A definition of Whitney forms then ensues: (for instance),which is, like the field itself, a map from surfaces to num-bers, is defined as the map , whose value we denoteby or by . (Again, such notational redundancywill be useful.) Note that, with this convention,

    , which justifies the notation. A transposition is indeed involved.

    We now construct the weights in the case of a small mani-fold, such as a point, a segment, etc. (the rigorous underlyingconcept, not used here, is that ofmultivectorat point ). Whatto use for nonsmall ones, i.e., the maps, , etc., from lines,surfaces, etc., to reals, will follow by linearity. The principle ofthis construction is to enforce the followingcommutative dia-gramproperty

    (1)

    which implies, by transposition, , the re-quired structural property of the Whitney complex. (Ifmoreover , i.e., trivial topology, then

    , by transposition, hence, the Whitneyspaces form an exact sequence.) We shall not prove (1) im-mediately, however, rather let it inspire the heuristic approachthat leads to Prop. 1 below. Then, we shall directly prove

    [which in turn implies (1)].

    IV. FORMULAS

    Proposition 1: Starting from , one has

    (2)

    (and so on, recursively, in higher dimensions).We know the weights for a point : these are the

    . Recursively, suppose we know them for a segment,i.e., , and let us try to find . Bylinearity, , where the join

    is the triangle displayed in Fig. 2, left. So the question is:which 2-chain best represents ? As suggested by Fig. 2, theonly answer consistent with (1) is

    (3)

    Fig. 1. Representing curvec by a weighted sum of mesh-edges or 1-chain.Graded-line thicknesses are meant to suggest the respective weights. Edges suchase, whose control domain (shaded) does not intersectc, get zero weight.Which weights thus to assign is the central issue in our approach to Whitneyforms.

    Fig. 2. Left: With edgee = fi; jg and facesfi; j; kg andfi; j; lg orientedas shown, the 2-chain to associate with the joinx _ e, aliasfi; j; xg, canonly be (x)fi; j; kg + (x)fi; j; lg. But this is what (3) says. Right:Same relation between the joinx _ n and the 1-chain (x)nk + (x)nl + (x)nm.

    Fig. 3. Just as the barycentric weight of pointx with respect to nodei isvol(xjkl), if one takes vol(ijkl) as unity, the weight of the segmentxy withrespect to edgefi; jg is vol(xykl), and the weight of the trianglexyz withrespect to facefi; j; kg is vol(xyzl).

    So ,hence

    (4)

    On the other hand, ,and the same for , from which we get

    for any small triangle , and hence .The reader will easily check that formulas (2)actually, the

    deployment of a unique formuladescribe the aforementionedWhitney forms. It is also instructive to recognize in (4) the de-velopment of the 3 3 determinant of the array of barycentriccoordinates of , hence the geometrical interpretation ofthe weights displayed in Fig. 3.

    This, let us stress again, was only heuristics: We gave aratio-nale for (2). We now derive from (2) a few formulas, for their

  • BOSSAVIT: GENERATING WHITNEY FORMS 343

    own sake and as a preparation for the proof of the all importantresult, Prop. 4 below.

    Proposition 2: .Proof: By (2),

    thanks to the relation , because is the samefor all in .

    As a corollary, and by using

    (5)

    and other similar alternatives to (2).Proposition 3: For each -simplex , one has

    (i) (ii) (6)

    Proof: This is true for . Assume it for . Then

    by (6i), hence . Next,

    .Now, yet another alternative to (2), but without summation

    this time. For any edgesuch that , one has

    (7)

    This is proved by recursion, using, where and the identity

    . We may conclude withProposition 4: .

    Proof: Since both terms vanish out of the star of, i.e.,the union st() of volumes containing it, one may do as if st()was the whole meshed region. Note thaton st( ). Then,

    ,by using (6i).

    V. PARTITION OF UNITY AND HIGHER DEGREEFORMS

    The point of what precedes is not only mathematical tidiness.The above results are stepping stones toward those of practicalimport that follow. We now revert to the standard vector analysisframework, where denotes the proxy [2] vector field [i.e.,

    )] of the form .Recall that barycentric functions sum to 1, thus forming a