UNIFIED ERROR ANALYSIS
|
|
- Gertrude Walker
- 6 years ago
- Views:
Transcription
1 UNIFIED ERROR ANALYSIS LONG CHEN CONTENTS 1. Lax Equivalnc Torm 1 2. Abstract Error Analysis 2 3. Application: Finit Diffrnc Mtods 4 4. Application: Finit Elmnt Mtods 4 5. Application: Conforming Discrtization of Variational Problms 5 6. Application: Prturbd Discrtizations 7 7. Application: Nonconforming Finit Elmnt Mtods 8 8. Application: Finit Volum Mtods Application: Finit Diffrnc Mtods (rvisitd) Application: Suprconvrgnc of t linar finit lmnt mtod Exrcis 14 Rfrncs 14 Lt X, Y b two Banac spacs and L L (X, Y ) b a linar and boundd oprator. W considr t problm of approximating an oprator quation: givn y Y, find x X suc tat (1) Lx = y. W assum (1) is wll dfind, i.., for any y Y, tr xists a uniqu solution to (1). Tn L is a on-to-on linar and boundd map and so is L 1 by t opn mapping torm. W sall study t convrgnc analysis in tis nots and rfr to Inf-sup conditions for oprator quations for conditions on t wll-posdnss of (1). 1. LAX EQUIVALENCE THEOREM W ar intrstd in t approximation of L. Suppos L L (X, Y ), for H, 0, is a family of discrtization of L. W considr t problm: givn y Y, find x X, suc tat (2) L x = y. W also assum (2) is wll dfind. So L 1 is a linar and boundd map. T norm L 1, owvr, could dpnd on t paramtr. T uniform bounddnss L 1 will b calld t stability of t discrtization. Namly, tr xists a constant C indpndnt of suc tat (3) L 1 Y X C, for all H. Dat: Oct, Last updatd January 18,
2 2 LONG CHEN T consistncy masurs t approximation of L to L. W call t discrtization is consistnt if, for all x X, (4) Lx L x Y 0 as 0. T convrgnc of t discrtization is dfind as (5) x x X 0 as 0, wr x and x ar solutions to (2) and (1), rspctivly. W follow t book [4] to prsnt t Lax quivalnc torm. Torm 1.1 (Lax quivalnc torm). Suppos t discrtization L of L is consistnt, i.., (4) olds for all x X, tn t stability (3) is quivalnt to t convrgnc (5). Proof. W writ t rror as x x = L 1 (L x L x ) = L 1 (L x Lx). Hr w us t fact L x = Lx = y. If t scm is stabl, tn x x X C Lx L x Y 0 as 0. On t otr and, for any y Y, lt x = L 1 y and x = L 1 y. T convrgnc x x mans for any y Y L 1 y L 1 y as 0. By t uniformly bounddnss principl, w conclud L 1 is uniformly boundd. 2. ABSTRACT ERROR ANALYSIS T Lax quivalnc torm may not b rady to us for t rror analysis of discrtizations sinc discrt spacs X, Y ar usd to approximat X, Y, rspctivly. T quation may not b solvd xactly, i.., L x Lx. Instad, it solvs approximatly in Y, i.., L x = y for som y Y. In som cass X X but in gnral X and X ar diffrnt spacs so tat vn x x dos not mak sns. T norm X could b an approximation of X tc. W now rfin t analysis to andl ts cass. Hr w follow closly Tmam [3]. Lt us introduc two linar oprators I : X X, and Π : Y Y. W considr t discrt problm: givn y Y, find x X suc tat (6) L x = Π y in Y. T following diagram is not commutativ L X Y I Π. X Y and t diffrnc is dfind as t consistncy rror T (uniform) stability is t sam as bfor L Π Lx L I x Y. L 1 Y X C, for all H. On t convrgnc, vn x x may not b wll dfind as in gnral X is not a subspac of X. T rror is rvisd to I x x.
3 UNIFIED ERROR ANALYSIS 3 Rmark 2.1. T oprator Π is in fact part of t discrtization and to rflct to tis fact t discrtization will b dnotd by (L, Π ), wil t oprator I is introducd for t rror analysis. For a givn Π, I is not uniqu and a suitabl coic of I is t art of numrical analysis. W sall prov if t scm is consistnt and stabl, tn t discrt rror I x x is convrgnt. Torm 2.2. Suppos t scm (L, Π ) is consistnt wit ordr r, i.., tr xists an oprator I suc tat Π Lx L I x Y C r, and stabl L 1 Y X C for all H, tn w av t discrt convrgnc wit ordr r: I x x X C r. Proof. T proof is straigtforward using t dfinition, assumptions, and t idntity: I x x = L 1 L (I x x ) = L 1 (L I x Π Lx). If w rally want to control x x, on way is to dfin anotr linar oprator P : X X to put a discrt function x into X in a stabl way, i.., P x X C x X. Tn by t triangl inquality, w av x P x X x P I x X + P (I x x ) X x P I x X + C I x x X. T additional rror trm x P I x X masurs t approximation proprty of X by t subspac P X and will b calld approximability. Torm 2.3. Assum consistncy: Π Lx L I x Y C 1 r, stability: L 1 Y X C 2 H, approximability: x P I x X C 3 s, tn w av convrgnc x P x X C 2 (C 1 r + C 3 s ). Rmark 2.4. As t stability of L 1 is not usd, t domain of t oprator L could b just a subspac of X. Strictly spaking w sould writ L : dom(l) X Y. W lav a biggr spac X in t analysis suc tat t mbdding P : X X is asir to construct. And wit oprators I and Π, t spac X and Y do not av to b Banac spacs. Anotr way is to mbd bot X and X into a largr spac,.g. X + X and dfin a nw norm. Similar assumption is mad for Y and Y. Also assum L can b dfind on X + X. W can brak t consistnc rror Π Lx L I x into tr parts prturbation of t data: Π Lx Lx = L x Lx = y y consistnc rror: Lx L x approximation rror: L (x I x)
4 4 LONG CHEN T first trm masurs t approximation of t data in t subspac Y and t tird on masurs t approximation of t function. T middl on is t traditional consistnc rror introducd in Sction APPLICATION: FINITE DIFFERENCE METHODS Considr t finit diffrnc mtod for solving t Poisson quation u = f wit omognous Diriclt boundary condition u Ω = 0. W assum Ω can b partitiond into qual siz squars wit sid. T numbr of intrior nods is N. T stting is (X, X ) = (Y, Y ) = (C( Ω),,Ω ); (X, X ) = (Y, Y ) = (R N, l ); I = Π as t nodal intrpolation; P : X X can b dfind using t bilinar finit lmnt spac on t uniform grid or t linar finit lmnt spac on t uniform triangular grid; L = and L = is t 5-point stncil matrix. Not tat t domain of L is a subspac of X. T consistncy rror is ( u) I u I l = max 1 i N ( u) i ( u I ) i C(u) 2, wic can b asily analyzd by t Taylor xpansion. Hr C(u) = d D4 i u,ω. T stability 1 l l may b provd using t discrt maximum principl; s Finit Diffrnc Mtods. T approximation proprty is givn by t intrpolation rror stimat u u I,Ω C 2 D 2 u,ω. Hr follow t convntion, w us t sam notation u I for P u I. T radrs ar ncouragd to nail down t diffrnc and t connction of t vctor u I and its corrsponding finit lmnt function P u I. T maximum norm is too strong. Latr on w sall sow a corrct spac and stability for t finit diffrnc mtod. 4. APPLICATION: FINITE ELEMENT METHODS Considr t finit lmnt mtod for solving t Poisson quation u = f wit omognous Diriclt boundary condition u Ω = 0. T stting is (X, X ) = (H0 1 (Ω), 1 ), and (Y, Y ) = (H 1 (Ω), 1 ); (X, X ) = (V, 1 ), and (Y, Y ) = (V, 1,). Hr t dual norm f, v f 1, = sup, for f Y. v V v 1 I : H 1 0 (Ω) V is arbitrary; Π = Q : H 1 (Ω) = (H 1 0 (Ω)) V, i.., Q f, v := f, v, v V. Wn Q is rstrictd to L 2 (Ω), it is t L 2 projction. Not tat (H 1 0 (Ω)) V, t oprator Q can b also tougt as t natural mbdding of t dual spac and tus is usually omit in t notation. P : V H 1 0 (Ω) is t natural mbdding sinc now V H 1 0 (Ω);
5 UNIFIED ERROR ANALYSIS 5 L = : H0 1 (Ω) H 1 (Ω) and L = Q LP : V V. Wn Q rstrictd to L 2 (Ω), it is t adjoint of P in t L 2 -innr product and L = Q LQ. Using ts notation, w now formulat t finit lmnt mtods for solving t Poisson quation wit omognous Diriclt boundary condition. Givn an f H 1 (Ω), find u V suc tat L u = Q f in V. T corrct (comparing wit finit diffrnc mtod) stability for L 1 is L 1 1, 1 : (7) u 1 Q f 1,, and can b provd as follows u 2 1 = L u, u = Q f, u Q f 1, u 1. Comparing wit t finit diffrnc mtod, now t consistncy rror is masurd in a muc wakr norm. W can control t wakr dual norm Q f 1, by a strongr on f 1. Indd implis (Q f, u ) = f, u f 1 u 1, (8) Q f 1, f 1. Lt us dnotd by v = I u. Using t fact L = Q LP and inquality (8), t consistncy rror is Q Lu L v 1, = Q L(u v ) 1, L(u v ) 1 u v 1. By t stability rsult (7), w obtain u v 1 u v 1. Sinc v is arbitrary, by t triangl inquality, w obtain t Céa lmma (9) u u 1 2 inf v V u v 1. T approximation proprty can b provd using Brambl-Hilbrt lmma. For xampl, for t linar finit lmnt mtod and u H 2 (Ω), inf u v 1 C u 2. v V Tn Torm 2.3 will giv optimal rror stimat for finit lmnt mtods. Rmark 4.1. Hr w us only t stability and consistncy dfind for t Banac spacs. If w us t innr product structur and t ortogonality (or mor gnral t variational formulation), w could improv t constant in (9) to APPLICATION: CONFORMING DISCRETIZATION OF VARIATIONAL PROBLEMS W now gnraliz t analysis for Poisson quation to gnral lliptic quations and sow t connction wit t traditional rror analysis of variational problms. T oprator L : V V is dfind troug a bilinar form: for u, v V Lu, v := a(u, v). W considr t conforming discrtization by coosing V V and t discrt oprator L : V V V bing t rstriction of t bilinar form: for u, v V L u, v = a(u, v ).
6 6 LONG CHEN If w dnotd by P : V V and Q : V V as t natural mbdding. Tn by dfinition L = Q LP : V V. T wll known Lax-Milgram torm (Lax again!) says if t bilinar form satisfis: corcivity: continuity: α u 2 V a(u, u). a(u, v) β u V v V. Tn tr xists a uniqu solution to t variational problm: givn f V find u V suc tat (10) a(u, v) = f, v for all v V. Sinc V V, it also implis t xistnc and uniqunss of t solution u V (11) a(u, v ) = f, v for all v V. Tis stabliss t wll posdnss of (10) and (11). T corcivity condition can b rlaxd to t so-calld inf-sup condition; s Inf-sup conditions for oprator quations. T continuity of t bilinar form a(, ) implis t continuity of L and L. T corcivity can b usd to prov t stability of L 1 in a straigtforward way: u 2 V a(u, u ) = f, u f V u V. For t conforming discrtization, w av t ortogonality (borrowd t nam wn a(, ) is an innr product but in gnral a(, ) may not b vn symmtric) i.., a(u u, v ) = 0 for all v V. Lu = L u in V, wic can b intrprtd as consistncy rsult: Lu = f in V or in a lss prcis notation L u = Lu in V wit L u undrstood as Q Lu. Not tat t consistncy is masurd in t wak norm V but not in V. T rsidual Lu L u = 0 only in V but 0 in V. In our stting, t consistnc mans: for any v V Lv = L v in V. In t oprator form, it is simply L = Q LP. T traditional rror analysis is as follows u u 2 V 1 α a(u u, u u ) (corcivity) = 1 α a(u u, u v ) (ortogonality) β α u u V u v V (continuity) wic implis t Céa lmma u u V β α inf u v V. v V
7 UNIFIED ERROR ANALYSIS 7 Using our framwork of stability and consistncy, t stimat is lik u v V 1 α L (u v ) V (stability) = 1 α Lu L v V (ortogonality) = 1 α L(u v ) V (consistncy) β α u v V (continuity). Combind wit t triangl inquality, w gt ( u u V 1 + β ) inf u v V. α v V 6. APPLICATION: PERTURBED DISCRETIZATIONS W continu t study of t conforming discrtization but wit prturbation in t data and/or t bilinar form. W first considr t quadratur of t rigt and sid, i.., f, v f, v. T stting is as bfor xcpt Π : V V dfind as Π f, v = f, v, and solv t quation L u = Π f in V. T stability of L 1 is uncangd. W only nd to stimat t consistncy rror Π L u L v V = Π f L v V. By t triangl inquality, w av By t dfinition Π f L v V Q f L v V + Π f Q f V u v V + Π f Q f V. Π f Q f, w f, w f, w Π f Q f V = sup = sup. w V w w V w W tn nd up wit a vrsion of t first Strang lmma u u V f, w f, w inf u v V + sup. v V w V w V Tat is, a prturbation of t data in V is includd. W tn considr t prturbation of t bilinar form wic includs t cas of using numrical quadratur to comput t bilinar form a(, ) or a non-conforming discrtization of L. W ar solving t quation L u = Π f in V. To gt similar stimat, w nd to assum L is dfind on V + V. T spac V is now ndowd by a possibly diffrnt norm. W assum t stability and continuity of L wit rspct to t norm. Corcivity: for all v V L v, v α v 2. Continuity: for all u V + V, v V L u, v β u v.
8 8 LONG CHEN Tn it is straigtforward to prov t stability of L : (V, V ) (V, ). For t consistncy rror, Π f L v V Π f L u V + L (u v ) V f, w L u, w sup + u v. w V w Trfor w nd up wit t scond Strang lmma u u inf u v + C v V sup w V f, w L u, w. w 7. APPLICATION: NONCONFORMING FINITE ELEMENT METHODS W apply t analysis to t nonconforming finit lmnt discrtization, i.., V V = H 1 0, of t modl Poisson quations using t Crouzix-Raviart (CR) lmnt as an xampl. Givn a sap rgular ms T, dnot all t dgs in Ω and on Ω by E and E, rspctivly. On ac E, lt [ ] dnot t jump across t dg, i.. for ac picwis H 1 function v, [v] = v τ1 v τ2, wr τ 1 and τ 2 ar t triangls saring t dg. For t boundary dg E, [v] = v. W tn dfin t Crouzix-Raviart lmnt as { } V CR = v v L 2 (Ω), v τ P 1 τ T, and [v] = 0 E E. It can b vrifid tat a function v V CR is uniquly dtrmind by its avrag on ac dg v ds wic is known as t dgr of frdom and tus t dimnsion of t spac V CR, dnotd by NE, is t numbr of t intrior dgs of t triangulation T and As bfor, t oprator L : V V is dfind troug t bilinar form: Lu, v := a(u, v) := ( u, v). Sinc t finit lmnt spac V CR is not a subspac of V, w sall us a modifid bilinar form a (, ), tat is a (u, v ) = ( u, v ) := u v dx u, v V CR. τ T Namly t gradint oprator is applid lmnt-wis. T corrsponding discrt oprator L : V CR (V CR ) is dfind as: for all u, v V tat L u, v := a (u, v ). Not tat t bilinar form a (, ) is also wll dfind on V V and indd a (u, v) = a(u, v) wn u, v H 1 (Ω). Trfor t oprator L can b also dfind from V (V). On t spac V CR + V, w us t norm inducd by t bilinar form a (, ): v 1, = a 1/2 (v, v) v VCR + V. τ
9 UNIFIED ERROR ANALYSIS 9 On can asily obtain corcivity and continuity of t bilinar form by sowing 1, is indd a norm on V (but not on V). Tn for any v, u V + V, it olds tat v 2 1, = a (v, v), a (u, v) u 1, v 1,. L 1 Consquntly t discrt oprator L and is uniformly boundd. Givn an f L 2 (Ω), t nonconforming discrt problm is to find a u V CR suc tat L u = Q f. W mpasiz tat as V V, diffrnt from t conforming lmnt mtod, tr is no ortogonality a (u u, v ) 0 or quivalntly in t oprator form L u L u v V CR, in (V CR ). It is inconsistnt. But t consistncy rror can b controlld as follows. Lmma 7.1. Assum tat t triangulation T is quasi-uniform, and t solution u as H 2 rgularity. Tn, it olds for any w V CR tat (f, w ) L u, w C u H 2 w 1,. Proof. By intgration by parts, w driv tat (f, w ) L u, w = E u n [w ]ds. Lt u n and w b t avrag of u n and w on rspctivly. Tn, u n[w ]ds = ( u n u n )[w w ]ds u n u n L 2 () [w w ] L 2 (). For ac, w dnot τ b t union of t two triangls saring, and av t trac torm wit scaling wic yilds v 2 L 2 () C( 1 v 2 L 2 (τ ) + v 2 H 1 (τ ) ) v H1 (τ ). Sum ovr all dgs to complt t proof. u n[w ]ds C u H 2 (τ ) w H 1 (τ ). T approximation rror can b stablisd using t following canonical intrpolation I : V V CR using t d.o.f. I v ds = v ds E. Tn tr xists a constant indpndnt of t ms siz suc tat for any τ T, v I v H 1 (τ) C m 1 v H m (τ) v H m (τ), m = 1, 2. T inquality follows from t scaling argumnt, t trac torm, and t fact tat t oprator I prsrv linar function on τ.
10 10 LONG CHEN Combining t approximation and consistncy, togtr wit t scond Strang lmma, w av t optimal ordr convrgnc for CR non-conforming approximation u to t solution of Poisson quation u u 1, C u H APPLICATION: FINITE VOLUME METHODS W considr t vrtx-cntrd finit volum mtod and rfr to Finit Volum Mtods for a dtaild dscription and proof of corrsponding rsults. Simply spaking, if w coos t dual ms by conncting an intrior point to middl points of dgs in ac triangl, t stiffnss matrix is idntical to tat from t linar finit lmnt mtod. So w sall us t stting for t finit lmnt mtod and trat t vrtx-cntrd linar finit volum mtod as a prturbation. T only diffrnc is t rigt and sid, i.., Π : L 2 (Ω) V. Hr w nd to srink t spac Y from H 1 (Ω) to L 2 (Ω) to av t volum intgral f dx wll b dfind. To dfin suc Π, lt us introduc t picwis constant spac on t dual ms B and dnotd by V 0,B. W rwrit t linar finit lmnt spac as V 1,T. Troug t point valus at vrtics, w dfin t following mapping N Π : V 1,T V 0,B as Π v = v (x i )χ bi. For any f L 2 (Ω), w tn dfin Π f V as Π f, v = (f, Π v ), for all v V. T analysis blow follows closly to Hackbusc [2]. Dnotd by u G as t standard Galrkin (finit lmnt) approximation and u B is t box (finit volum) approximation. T quivalnc of t stiffnss matrics mans Trfor by t stability of L 1, w av By t dfinition L u G = Q f, L u B = Π f. u G u B 1 Q f Π f 1,. Q f Π f, v = (f, v Π v ). Dnot t support of t at basis function at vrtx x i as ω i. Not tat b i ω i and t oprator I Π prsrv constant function in t patc ω i and tus (f, v Π v ) bi f bi v Π v ωi C f bi v 1,ωi. Summing up and using t Caucy Scwarz inquality, w gt t first ordr convrgnc u G u B 1 C f. Furtrmor, if t dual ms is symmtric in t sns tat w us barcntrs as a vrtx of control volums. Tn w av v = Π v, τ and tus, lt f b t L 2 projction f to t picwis constant function in ac triangl, (f, v Π v ) = (f f, v Π v ) C 2 f 1 v 1. τ
11 UNIFIED ERROR ANALYSIS 11 W tn obtain t suprconvrgnc or t suprclosnss of u G and ub : (12) u G u B 1 C 2 f 1. Wit suc rlation, w can obtain optimal L 2 rror stimat for u B and quasi-optimal L rror stimat in two dimnsions. By t triangl inquality, Poincaré inquality, and t optimal ordr convrgnc of u u G, u u B u u G + u G u B C 2 u 2 + u G u B 1 C 2 ( u 2 + f 1 ), and similarly wit discrt mbdding v C log v 1, u u B u u G + u G u B C 2 u 2 + C log u G u B 1 C log 2 ( u 2 + f 1 ). 9. APPLICATION: FINITE DIFFERENCE METHODS (REVISITED) W rvisit t finit diffrnc mtod but trat it as a prturbation of t linar finit lmnt mtod. So w will us t stting for finit lmnt mtods in Sction 4. T rlation btwn t linar finit lmnt and 5-point stncil on t uniform grids is L u, v = u A v = 2 u v. Hr w us boldfac small lttrs to dnotd t vctor formd by t function valus at vrtics. Mor prcisly for u V, w dfin u R N suc tat (u ) i = u (x i ).W us boldfac capital lttrs for matrics. For xampl, is t stncil matrix and A is t matrix for P1 finit lmnt mtod. W rscal t stiffnss matrix A from t linar finit lmnt mtod to gt t fiv-point stncil matrix. Hr uniform grids w man t tr dirctional triangulation obtaind by using diagonals wit t sam dirction of uniform rctangular grids; s Fig. 1. FIGURE 1. A uniform ms for a squar W coos I as t nodal intrpolation and dfin Π : C(Ω) V as Π f, v = 2 f I v = N 2 f(x i )v (x i ). It can b intrprt as using tr vrtics as t numrical quadratur. T quation for FDM can b rwrittn as L u = Π f.
12 12 LONG CHEN By t first Strang lmma, w only nd to stimat t prturbation Π f Q f 1, wic is lft as an xrcis, cf. Exrcis 1 in Sction 11. T approximation rror u u I 1 u 2 is t intrpolation rror studid in Introduction to Finit Elmnt Mtods. In summary, t first ordr rror stimat u I u 1 ( u 2 + f 1 ) can b asily provd witout ccking t point-wis truncation rror and t smootnss of t solution u can b rlaxd to u H 2 (Ω) only. If w assum tat t truncation rror in l norm is of scond ordr, i.., ( u) I u I l C 2, tn w can prov a scond ordr convrgnc by xamining t consistncy rror Π f L u I 1, mor carfully: Π f L u I, v = 2 (f I + u I ) v In t last stp, w av usd t bound f I + u I C(u) 2 v 1. N 2 v (x i ) N 2 v (x i ) C v L 1 C v L 2 C v 1. Trfor Π f L u I 1, C(u) 2 and consquntly u I u 1 2 u 4,. In 2-D, using t discrt mbdding torm, w can obtain t narly optimal maximum norm stimat u I u (1 + log ) u I u 1 C(u, f)(1 + log ) 2. Hr w considr Diriclt boundary condition and assum t truncation rror for intrior nods is scond ordr. For Numann boundary condition or cll cntrd finit diffrnc mtods, t boundary or nar boundary stncil is modifid and t truncation rror could b only first ordr O(); s Finit Diffrnc Mtods. W sall sow tat t boundary stncil can b just first ordr wil t scm is still scond ordr masur in H 1 -norm. Lt us labl t boundary (or nar boundary) nods from 1 : N b and intrior nods from N b + 1 : N and assum t truncation rror for boundary nods is only O() and for intrior nods is still O( 2 ). Tn Π f L u I, v = 2 (f I + u I ) v f I + u I ( Nb = 2 v (x i ) + N i=n b +1 2 v (x i ) C(u) 2 ( ) v L 1 ( Ω) + v L 1 (Ω) C(u) 2 v 1. ) N 2 v (x i )
13 UNIFIED ERROR ANALYSIS 13 In t last stp, w av usd t following inqualitis v L 1 ( Ω) v L 2 ( Ω) v 1,Ω v 1. T trick is to bound t boundary part by t L 1 norm of t trac and tn us t trac torm to cang to H 1 -norm of t wol domain. By t sam lin of t abov proof, to gt t first ordr convrgnc i.. u I u 1, t truncation rror of t stncil on t boundary (or an intrfac) can b only O(). Namly t scm is not consistnt point-wisly but still convrgs! 10. APPLICATION: SUPERCONVERGENCE OF THE LINEAR FINITE ELEMENT METHOD W sall rvisit t linar finit lmnt mtod and provid a rfind analysis on t consistncy rror. In som cass w may av a sarpr stimat of t consistncy rror in t wak norm 1,. For xampl, for 1-D Poisson problm, using intgration by parts and noting tat (u u I ) τ = 0, w gt, for any v V (Q Lu L u I, v ) = (u u I, v ) = τ T (u u I, v ) τ = 0, wic implis t discrt rror is zro. Namly u (x i ) = u(x i ) at ac grid points x i. In ig dimnsions, wn t ms is locally symmtric and t function is smoot noug, w may stablis t following strngtnd Caucy-Scwarz inquality (13) Q Lu L u I, v = ( u u I, v ) C 2 u 3 v 1. Tn consquntly w obtain t suprconvrgnc rsult u u I 1 Q Lu L u I 1, C 2 u 3. Rougly spaking, t symmtry of t ms will bring mor canclation wn masuring t consistncy rror in a wak norm. For xampl, (13) olds wn t two triangls saring an intrior dg forms an O( 2 ) approximat paralllogram for most dgs in t triangulation; S [1] for dtaild condition on triangulation and a proof of (13). W sall giv a simpl proof of suprconvrgnc rsult on uniform grids by using t rlation to t finit diffrnc mtod. Rwrit Q Lu = Q f and divid t consistncy rror into two parts Q f L u I 1, Q f Π f 1, + Π f L u I 1, = I 1 + I 2. To stimat I 1, w not Q f, v = N ( ω i fφ i )v (x i ) and 2 f(x i ) is a quadratur for t intgral ω i fφ i. It is only xact for constant f rstrictd to on simplx. But for uniform grids, du to t configuration of ω i, t support of t at function φ i, t linar functional E i (f) = fφ i dx 2 f(x i ) ω i prsrv linar polynomials in P 1 (ω i ). Namly E i (f ) = 0 for f P 1 (ω i ). Trfor E i (f) = E i (f f ) f f f 2,. Rmark For finit volum approximations, t corrsponding diffrnc is E i (f) = f dx 2 f(x i ). b i
14 14 LONG CHEN For uniform grids, w can cos b i as t dual grid wic contains t vrtx as t cntr and b i = 2 and tus E i (f) can prsrv linar polynomial in P 1 (b i ). Trfor w can stimat t I 1 as N Q f Π f, v = E i (f)v (x i ) C f 2 N 2 v (x i ) C f 2 v 1. And consquntly Q f Π f 1, C(f) 2. T scond ordr stimat of part I 2, i.., Π f L u I 1, C(u) 2 as bn analyzd in Sction 9. In conclusion, w av provd t suprconvrgnc for t linar finit lmnt mtod on uniform grids u I u 1 C(u, f) 2, by stimating t consistncy rror in a wakr norm. In our simplr proof w nd strongr smootnss assumption wic can b rlaxd to u H 3 (Ω); s [1]. C(u, f) = D 4 u + D 2 f, 11. EXERCISE 1. Us tr vrtics quadratur rul, i.. for a triangl τ formd by tr vrtics x i, i = 1, 2, 3, g(x)dx 1 3 g(x i ) τ, 3 τ to comput t rigt and sid (f, φ i ) and sow it can b simply writtn as Mf I, wr M is a diagonal matrix. Prov t optimal first ordr approximation in H 1 -norm for t linar finit lmnt mtod of Poisson quation using tis quadratur. 2. Sow 1, dfind in Sction 7 is a norm dfind on V CR. 3. Prsnt rror stimat for t cll-cntrd finit diffrnc mtod (Sction 4 in Finit Diffrnc Mtods) wit diffrnt tratmnt of t Diriclt boundary condition. REFERENCES [1] R. E. Bank and J. Xu. Asymptotically xact a postriori rror stimators, Part I: Grids wit suprconvrgnc. SIAM J. Numr. Anal., 41(6): , [2] W. Hackbusc. On first and scond ordr box scms. Computing, 41(4): , [3] R. Tmam. Numrical Analysis. D. Ridl Publising Company, [4] G. Zang and Y. Lin. Functional analysis: I. Bijing Univrsity, 1987.
A C 0 INTERIOR PENALTY METHOD FOR A FOURTH ORDER ELLIPTIC SINGULAR PERTURBATION PROBLEM
A C 0 INERIOR PENALY MEHOD FOR A FOURH ORDER ELLIPIC SINGULAR PERURBAION PROBLEM SUSANNE C. BRENNER AND MICHAEL NEILAN Abstract. In tis papr, w dvlop a C 0 intrior pnalty mtod for a fourt ordr singular
More informationUniformly stable discontinuous Galerkin discretization and robust iterative solution methods for the Brinkman problem
www.oaw.ac.at Uniformly stabl discontinuous Galrin discrtization and robust itrativ solution mtods for t Brinman problm Q. Hong, J. Kraus RICAM-Rport 2014-36 www.ricam.oaw.ac.at UNIFORMLY STABLE DISCONTINUOUS
More informationJournal of Computational and Applied Mathematics. An adaptive discontinuous finite volume method for elliptic problems
Journal of Computational and Applid Matmatics 235 (2011) 5422 5431 Contnts lists availabl at ScincDirct Journal of Computational and Applid Matmatics journal ompag: www.lsvir.com/locat/cam An adaptiv discontinuous
More informationDiscontinuous Galerkin Approximations for Elliptic Problems
Discontinuous Galrkin Approximations for lliptic Problms F. Brzzi, 1,2 G. Manzini, 2 D. Marini, 1,2 P. Pitra, 2 A. Russo 2 1 Dipartimnto di Matmatica Univrsità di Pavia via Frrata 1 27100 Pavia, Italy
More informationChristine Bernardi 1, Tomás Chacón Rebollo 1, 2,Frédéric Hecht 1 and Zoubida Mghazli 3
ESAIM: MAN 4 008) 375 410 DOI: 10.1051/man:008009 ESAIM: Matmatical Modlling and Numrical Analysis www.saim-man.org MORTAR FINITE ELEMENT DISCRETIZATION OF A MODEL COUPLING DARCY AND STOES EQUATIONS Cristin
More informationA Weakly Over-Penalized Non-Symmetric Interior Penalty Method
Europan Socity of Computational Mthods in Scincs and Enginring (ESCMSE Journal of Numrical Analysis, Industrial and Applid Mathmatics (JNAIAM vol.?, no.?, 2007, pp.?-? ISSN 1790 8140 A Wakly Ovr-Pnalizd
More information3-2-1 ANN Architecture
ARTIFICIAL NEURAL NETWORKS (ANNs) Profssor Tom Fomby Dpartmnt of Economics Soutrn Mtodist Univrsity Marc 008 Artificial Nural Ntworks (raftr ANNs) can b usd for itr prdiction or classification problms.
More informationA UNIFIED A POSTERIORI ERROR ESTIMATOR FOR FINITE VOLUME METHODS FOR THE STOKES EQUATIONS
A UNIFIED A POSTERIORI ERROR ESTIMATOR FOR FINITE VOLUME METHODS FOR THE STOKES EQUATIONS JUNPING WANG, YANQIU WANG, AND XIU YE Abstract. In tis papr, t autors stablisd a unifid framwork for driving and
More informationThe Matrix Exponential
Th Matrix Exponntial (with xrciss) by Dan Klain Vrsion 28928 Corrctions and commnts ar wlcom Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial of A to b th matrix () A A k I + A + k!
More informationThe Matrix Exponential
Th Matrix Exponntial (with xrciss) by D. Klain Vrsion 207.0.05 Corrctions and commnts ar wlcom. Th Matrix Exponntial For ach n n complx matrix A, dfin th xponntial of A to b th matrix A A k I + A + k!
More informationA robust multigrid method for discontinuous Galerkin discretizations of Stokes and linear elasticity equations
www.oaw.ac.at A robust multigrid mtod for discontinuous Galrin discrtizations of Stos and linar lasticity quations Q. Hong, J. Kraus, J. Xu, L. Ziatanov RICAM-Rport 2013-19 www.ricam.oaw.ac.at A ROBUST
More informationarxiv: v1 [math.na] 22 Oct 2010
arxiv:10104563v1 [matna] 22 Oct 2010 ABSOLUTELY STABLE LOCAL DSCONTNUOUS GALERKN METHODS FOR THE HELMHOLTZ EQUATON WTH LARGE WAVE NUMBER XAOBNG FENG AND YULONG XNG Abstract Two local discontinuous Galrkin
More informationDiscontinuous Galerkin and Mimetic Finite Difference Methods for Coupled Stokes-Darcy Flows on Polygonal and Polyhedral Grids
Discontinuous Galrkin and Mimtic Finit Diffrnc Mthods for Coupld Stoks-Darcy Flows on Polygonal and Polyhdral Grids Konstantin Lipnikov Danail Vassilv Ivan Yotov Abstract W study locally mass consrvativ
More informationFinite element approximation of Dirichlet boundary control for elliptic PDEs on two- and three-dimensional curved domains
Finit lmnt approximation of Diriclt boundary control for lliptic PDEs on two- and tr-dimnsional curvd domains Klaus Dcklnick, Andras Güntr & Mical Hinz Abstract: W considr t variational discrtization of
More informationSymmetric Interior penalty discontinuous Galerkin methods for elliptic problems in polygons
Symmtric Intrior pnalty discontinuous Galrkin mthods for lliptic problms in polygons F. Müllr and D. Schötzau and Ch. Schwab Rsarch Rport No. 2017-15 March 2017 Sminar für Angwandt Mathmatik Eidgnössisch
More information1 Isoparametric Concept
UNIVERSITY OF CALIFORNIA BERKELEY Dpartmnt of Civil Enginring Spring 06 Structural Enginring, Mchanics and Matrials Profssor: S. Govindj Nots on D isoparamtric lmnts Isoparamtric Concpt Th isoparamtric
More informationA ROBUST NONCONFORMING H 2 -ELEMENT
MAHEMAICS OF COMPUAION Volum 70, Numbr 234, Pags 489 505 S 0025-5718(00)01230-8 Articl lctronically publishd on Fbruary 23, 2000 A ROBUS NONCONFORMING H 2 -ELEMEN RYGVE K. NILSSEN, XUE-CHENG AI, AND RAGNAR
More informationAS 5850 Finite Element Analysis
AS 5850 Finit Elmnt Analysis Two-Dimnsional Linar Elasticity Instructor Prof. IIT Madras Equations of Plan Elasticity - 1 displacmnt fild strain- displacmnt rlations (infinitsimal strain) in matrix form
More informationAnother view for a posteriori error estimates for variational inequalities of the second kind
Accptd by Applid Numrical Mathmatics in July 2013 Anothr viw for a postriori rror stimats for variational inqualitis of th scond kind Fi Wang 1 and Wimin Han 2 Abstract. In this papr, w giv anothr viw
More informationConvergence analysis of a discontinuous Galerkin method with plane waves and Lagrange multipliers for the solution of Helmholtz problems
Convrgnc analysis of a discontinuous Galrkin mtod wit plan wavs and Lagrang multiplirs for t solution of Hlmoltz problms Moamd Amara Laboratoir d Matématiqus Appliqués Univrsité d Pau t ds Pays d l Adour
More informationc 2005 Society for Industrial and Applied Mathematics
SIAM J. NUMER. ANAL. Vol. 43, No. 4, pp. 1728 1749 c 25 Socity for Industrial and Applid Mathmatics SUPERCONVERGENCE OF THE VELOCITY IN MIMETIC FINITE DIFFERENCE METHODS ON QUADRILATERALS M. BERNDT, K.
More informationarxiv: v1 [math.na] 8 Oct 2008
DISCONTINUOUS GALERKIN METHODS FOR THE HELMHOLTZ EQUATION WITH LARGE WAVE NUMBER XIAOBING FENG AND HAIJUN WU arxiv:080.475v [mat.na] 8 Oct 008 Abstract. Tis papr dvlops and analyzs som intrior pnalty discontinuous
More informationFinite element discretization of Laplace and Poisson equations
Finit lmnt discrtization of Laplac and Poisson quations Yashwanth Tummala Tutor: Prof S.Mittal 1 Outlin Finit Elmnt Mthod for 1D Introduction to Poisson s and Laplac s Equations Finit Elmnt Mthod for 2D-Discrtization
More informationA LOCALLY CONSERVATIVE LDG METHOD FOR THE INCOMPRESSIBLE NAVIER-STOKES EQUATIONS
A LOCALLY CONSERVATIVE LDG METHOD FOR THE INCOMPRESSIBLE NAVIER-STOES EQUATIONS BERNARDO COCBURN, GUIDO ANSCHAT, AND DOMINI SCHÖTZAU Abstract. In this papr, a nw local discontinuous Galrkin mthod for th
More informationCOHORT MBA. Exponential function. MATH review (part2) by Lucian Mitroiu. The LOG and EXP functions. Properties: e e. lim.
MTH rviw part b Lucian Mitroiu Th LOG and EXP functions Th ponntial function p : R, dfind as Proprtis: lim > lim p Eponntial function Y 8 6 - -8-6 - - X Th natural logarithm function ln in US- log: function
More informationEinstein Equations for Tetrad Fields
Apiron, Vol 13, No, Octobr 006 6 Einstin Equations for Ttrad Filds Ali Rıza ŞAHİN, R T L Istanbul (Turky) Evry mtric tnsor can b xprssd by th innr product of ttrad filds W prov that Einstin quations for
More informationAn interior penalty method for a two dimensional curl-curl and grad-div problem
ANZIAM J. 50 (CTAC2008) pp.c947 C975, 2009 C947 An intrior pnalty mthod for a two dimnsional curl-curl and grad-div problm S. C. Brnnr 1 J. Cui 2 L.-Y. Sung 3 (Rcivd 30 Octobr 2008; rvisd 30 April 2009)
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #20 11/14/2013
18.782 Introduction to Arithmtic Gomtry Fall 2013 Lctur #20 11/14/2013 20.1 Dgr thorm for morphisms of curvs Lt us rstat th thorm givn at th nd of th last lctur, which w will now prov. Thorm 20.1. Lt φ:
More informationBasic Polyhedral theory
Basic Polyhdral thory Th st P = { A b} is calld a polyhdron. Lmma 1. Eithr th systm A = b, b 0, 0 has a solution or thr is a vctorπ such that π A 0, πb < 0 Thr cass, if solution in top row dos not ist
More informationcycle that does not cross any edges (including its own), then it has at least
W prov th following thorm: Thorm If a K n is drawn in th plan in such a way that it has a hamiltonian cycl that dos not cross any dgs (including its own, thn it has at last n ( 4 48 π + O(n crossings Th
More informationDG Methods for Elliptic Equations
DG Mthods for Elliptic Equations Part I: Introduction A Prsntation in Profssor C-W Shu s DG Sminar Andras löcknr Tabl of contnts Tabl of contnts 1 Sourcs 1 1 Elliptic Equations 1 11
More informationSymmetric Interior Penalty Galerkin Method for Elliptic Problems
Symmtric Intrior Pnalty Galrkin Mthod for Elliptic Problms Ykatrina Epshtyn and Béatric Rivièr Dpartmnt of Mathmatics, Univrsity of Pittsburgh, 3 Thackray, Pittsburgh, PA 56, U.S.A. Abstract This papr
More informationCPSC 665 : An Algorithmist s Toolkit Lecture 4 : 21 Jan Linear Programming
CPSC 665 : An Algorithmist s Toolkit Lctur 4 : 21 Jan 2015 Lcturr: Sushant Sachdva Linar Programming Scrib: Rasmus Kyng 1. Introduction An optimization problm rquirs us to find th minimum or maximum) of
More informationFourier Transforms and the Wave Equation. Key Mathematics: More Fourier transform theory, especially as applied to solving the wave equation.
Lur 7 Fourir Transforms and th Wav Euation Ovrviw and Motivation: W first discuss a fw faturs of th Fourir transform (FT), and thn w solv th initial-valu problm for th wav uation using th Fourir transform
More informationarxiv: v1 [math.na] 11 Dec 2014
DISCRETE KORN S INEQUALITY FOR SHELLS SHENG ZHANG arxiv:14123654v1 [matna] 11 Dc 2014 Abstract W prov Korn s inqualitis for Nagdi and Koitr sll modls dfind on spacs of discontinuous picwis functions Ty
More informationA Characterization of Hybridized Mixed Methods for Second Order Elliptic Problems
Portland Stat Univrsity PDXScolar Matmatics and Statistics Faculty Publications and Prsntations Fariborz Mas Dpartmnt of Matmatics and Statistics 2004 A Caractrization of Hybridizd Mixd Mtods for Scond
More informationNumerische Mathematik
Numr. Math. 04 6:3 360 DOI 0.007/s00-03-0563-3 Numrisch Mathmatik Discontinuous Galrkin and mimtic finit diffrnc mthods for coupld Stoks Darcy flows on polygonal and polyhdral grids Konstantin Lipnikov
More informationMiddle East Technical University Department of Mechanical Engineering ME 413 Introduction to Finite Element Analysis
Middl East Tchnical Univrsity Dpartmnt of Mchanical Enginring ME 43 Introduction to Finit Elmnt Analysis Chaptr 3 Computr Implmntation of D FEM Ths nots ar prpard by Dr. Cünyt Srt http://www.m.mtu.du.tr/popl/cunyt
More informationu 3 = u 3 (x 1, x 2, x 3 )
Lctur 23: Curvilinar Coordinats (RHB 8.0 It is oftn convnint to work with variabls othr than th Cartsian coordinats x i ( = x, y, z. For xampl in Lctur 5 w mt sphrical polar and cylindrical polar coordinats.
More informationETNA Kent State University
Elctronic Transactions on Numrical Analysis Volum 41, pp 262-288, 2014 Copyrigt 2014, Knt Stat Univrsity ISSN 1068-9613 ETNA Knt Stat Univrsity ttp://tnamatkntdu A UNIFIED ANALYSIS OF THREE FINITE ELEMENT
More informationarxiv: v1 [math.na] 3 Mar 2016
MATHEMATICS OF COMPUTATION Volum 00, Numbr 0, Pags 000 000 S 0025-5718(XX)0000-0 arxiv:1603.01024v1 [math.na] 3 Mar 2016 RESIDUAL-BASED A POSTERIORI ERROR ESTIMATE FOR INTERFACE PROBLEMS: NONCONFORMING
More informationHomotopy perturbation technique
Comput. Mthods Appl. Mch. Engrg. 178 (1999) 257±262 www.lsvir.com/locat/cma Homotopy prturbation tchniqu Ji-Huan H 1 Shanghai Univrsity, Shanghai Institut of Applid Mathmatics and Mchanics, Shanghai 272,
More informationA Family of Discontinuous Galerkin Finite Elements for the Reissner Mindlin plate
A Family of Discontinuous Galrkin Finit Elmnts for th Rissnr Mindlin plat Douglas N. Arnold Franco Brzzi L. Donatlla Marini Sptmbr 28, 2003 Abstract W dvlop a family of locking-fr lmnts for th Rissnr Mindlin
More informationAddition of angular momentum
Addition of angular momntum April, 0 Oftn w nd to combin diffrnt sourcs of angular momntum to charactriz th total angular momntum of a systm, or to divid th total angular momntum into parts to valuat th
More informationAnalysis of a Discontinuous Finite Element Method for the Coupled Stokes and Darcy Problems
Journal of Scintific Computing, Volums and 3, Jun 005 ( 005) DOI: 0.007/s095-004-447-3 Analysis of a Discontinuous Finit Elmnt Mthod for th Coupld Stoks and Darcy Problms Béatric Rivièr Rcivd July 8, 003;
More informationSCHUR S THEOREM REU SUMMER 2005
SCHUR S THEOREM REU SUMMER 2005 1. Combinatorial aroach Prhas th first rsult in th subjct blongs to I. Schur and dats back to 1916. On of his motivation was to study th local vrsion of th famous quation
More informationDeift/Zhou Steepest descent, Part I
Lctur 9 Dift/Zhou Stpst dscnt, Part I W now focus on th cas of orthogonal polynomials for th wight w(x) = NV (x), V (x) = t x2 2 + x4 4. Sinc th wight dpnds on th paramtr N N w will writ π n,n, a n,n,
More informationc 2017 Society for Industrial and Applied Mathematics
SIAM J. NUMER. ANAL. Vol. 55, No. 4, pp. 1719 1739 c 017 Socity for Industrial and Applid Mathmatics ON HANGING NODE CONSTRAINTS FOR NONCONFORMING FINITE ELEMENTS USING THE DOUGLAS SANTOS SHEEN YE ELEMENT
More informationDiscontinuous Galerkin methods
ZAMM Z. Angw. Mat. Mc. 83, No. 11, 731 754 2003 / DOI 10.1002/zamm.200310088 Discontinuous Galrkin mtods Plnary lctur prsntd at t 80t Annual GAMM Confrnc, Augsburg, 25 28 Marc 2002 Brnardo Cockburn Univrsity
More informationSpace-Time Discontinuous Galerkin Method for Maxwell s Equations
Commun. Comput. Pys. doi: 0.4208/cicp.23042.2722a Vol. 4, No. 4, pp. 96-939 Octobr 203 Spac-Tim Discontinuous Galrkin Mtod for Maxwll s Equations Ziqing Xi,2, Bo Wang 3,4, and Zimin Zang 5,6 Scool of Matmatics
More informationSupplementary Materials
6 Supplmntary Matrials APPENDIX A PHYSICAL INTERPRETATION OF FUEL-RATE-SPEED FUNCTION A truck running on a road with grad/slop θ positiv if moving up and ngativ if moving down facs thr rsistancs: arodynamic
More informationA Family of Discontinuous Galerkin Finite Elements for the Reissner Mindlin Plate
Journal of Scintific Computing, Volums 22 and 23, Jun 2005 ( 2005) DOI: 10.1007/s10915-004-4134-8 A Family of Discontinuous Galrkin Finit Elmnts for th Rissnr Mindlin Plat Douglas N. Arnold, 1 Franco Brzzi,
More informationUNIFIED A POSTERIORI ERROR ESTIMATOR FOR FINITE ELEMENT METHODS FOR THE STOKES EQUATIONS
UNIFIED A POSTERIORI ERROR ESTIMATOR FOR FINITE ELEMENT METHODS FOR THE STOKES EQUATIONS JUNPING WANG, YANQIU WANG, AND XIU YE Abstract. This papr is concrnd with rsidual typ a postriori rror stimators
More information1 Minimum Cut Problem
CS 6 Lctur 6 Min Cut and argr s Algorithm Scribs: Png Hui How (05), Virginia Dat: May 4, 06 Minimum Cut Problm Today, w introduc th minimum cut problm. This problm has many motivations, on of which coms
More informationH(curl; Ω) : n v = n
A LOCALLY DIVERGENCE-FREE INTERIOR PENALTY METHOD FOR TWO-DIMENSIONAL CURL-CURL PROBLEMS SUSANNE C. BRENNER, FENGYAN LI, AND LI-YENG SUNG Abstract. An intrior pnalty mthod for crtain two-dimnsional curl-curl
More informationCalculus II (MAC )
Calculus II (MAC232-2) Tst 2 (25/6/25) Nam (PRINT): Plas show your work. An answr with no work rcivs no crdit. You may us th back of a pag if you nd mor spac for a problm. You may not us any calculators.
More informationAPPROXIMATION THEORY, II ACADEMIC PRfSS. INC. New York San Francioco London. J. T. aden
Rprintd trom; APPROXIMATION THORY, II 1976 ACADMIC PRfSS. INC. Nw York San Francioco London \st. I IITBRID FINIT L}ffiNT }ffithods J. T. adn Som nw tchniqus for dtrmining rror stimats for so-calld hybrid
More informationQuasi-Classical States of the Simple Harmonic Oscillator
Quasi-Classical Stats of th Simpl Harmonic Oscillator (Draft Vrsion) Introduction: Why Look for Eignstats of th Annihilation Oprator? Excpt for th ground stat, th corrspondnc btwn th quantum nrgy ignstats
More informationConstruction of asymmetric orthogonal arrays of strength three via a replacement method
isid/ms/26/2 Fbruary, 26 http://www.isid.ac.in/ statmath/indx.php?modul=prprint Construction of asymmtric orthogonal arrays of strngth thr via a rplacmnt mthod Tian-fang Zhang, Qiaoling Dng and Alok Dy
More informationDifference -Analytical Method of The One-Dimensional Convection-Diffusion Equation
Diffrnc -Analytical Mthod of Th On-Dimnsional Convction-Diffusion Equation Dalabav Umurdin Dpartmnt mathmatic modlling, Univrsity of orld Economy and Diplomacy, Uzbistan Abstract. An analytical diffrncing
More informationME469A Numerical Methods for Fluid Mechanics
ME469A Numrical Mthods for Fluid Mchanics Handout #5 Gianluca Iaccarino Finit Volum Mthods Last tim w introducd th FV mthod as a discrtization tchniqu applid to th intgral form of th govrning quations
More informationCramér-Rao Inequality: Let f(x; θ) be a probability density function with continuous parameter
WHEN THE CRAMÉR-RAO INEQUALITY PROVIDES NO INFORMATION STEVEN J. MILLER Abstract. W invstigat a on-paramtr family of probability dnsitis (rlatd to th Parto distribution, which dscribs many natural phnomna)
More informationA Propagating Wave Packet Group Velocity Dispersion
Lctur 8 Phys 375 A Propagating Wav Packt Group Vlocity Disprsion Ovrviw and Motivation: In th last lctur w lookd at a localizd solution t) to th 1D fr-particl Schrödingr quation (SE) that corrsponds to
More information2.3 Matrix Formulation
23 Matrix Formulation 43 A mor complicatd xampl ariss for a nonlinar systm of diffrntial quations Considr th following xampl Exampl 23 x y + x( x 2 y 2 y x + y( x 2 y 2 (233 Transforming to polar coordinats,
More informationA POSTERIORI ERROR ESTIMATE FOR THE H(div) CONFORMING MIXED FINITE ELEMENT FOR THE COUPLED DARCY-STOKES SYSTEM
A POSTERIORI ERROR ESTIMATE FOR THE Hdiv CONFORMING MIXED FINITE ELEMENT FOR THE COUPLED DARCY-STOKES SYSTEM WENBIN CHEN AND YANQIU WANG Abstract An Hdiv conforming mixd finit lmnt mtod as bn proposd for
More informationdy 1. If fx ( ) is continuous at x = 3, then 13. If y x ) for x 0, then f (g(x)) = g (f (x)) when x = a. ½ b. ½ c. 1 b. 4x a. 3 b. 3 c.
AP CALCULUS BC SUMMER ASSIGNMENT DO NOT SHOW YOUR WORK ON THIS! Complt ts problms during t last two wks of August. SHOW ALL WORK. Know ow to do ALL of ts problms, so do tm wll. Itms markd wit a * dnot
More informationAddition of angular momentum
Addition of angular momntum April, 07 Oftn w nd to combin diffrnt sourcs of angular momntum to charactriz th total angular momntum of a systm, or to divid th total angular momntum into parts to valuat
More informationLinear-Phase FIR Transfer Functions. Functions. Functions. Functions. Functions. Functions. Let
It is impossibl to dsign an IIR transfr function with an xact linar-phas It is always possibl to dsign an FIR transfr function with an xact linar-phas rspons W now dvlop th forms of th linarphas FIR transfr
More informationc 2007 Society for Industrial and Applied Mathematics
SIAM J. NUMER. ANAL. Vol. 45, No. 3, pp. 1269 1286 c 2007 Socity for Industrial and Applid Mathmatics NEW FINITE ELEMENT METHODS IN COMPUTATIONAL FLUID DYNAMICS BY H (DIV) ELEMENTS JUNPING WANG AND XIU
More informationOn spanning trees and cycles of multicolored point sets with few intersections
On spanning trs and cycls of multicolord point sts with fw intrsctions M. Kano, C. Mrino, and J. Urrutia April, 00 Abstract Lt P 1,..., P k b a collction of disjoint point sts in R in gnral position. W
More informationMAE4700/5700 Finite Element Analysis for Mechanical and Aerospace Design
MAE4700/5700 Finit Elmnt Analysis for Mchanical and Arospac Dsign Cornll Univrsity, Fall 2009 Nicholas Zabaras Matrials Procss Dsign and Control Laboratory Sibly School of Mchanical and Arospac Enginring
More informationNONCONFORMING FINITE ELEMENTS FOR REISSNER-MINDLIN PLATES
NONCONFORMING FINITE ELEMENTS FOR REISSNER-MINDLIN PLATES C. CHINOSI Dipartimnto di Scinz Tcnologi Avanzat, Univrsità dl Pimont Orintal, Via Bllini 5/G, 5 Alssandria, Italy E-mail: chinosi@mfn.unipmn.it
More information3 Finite Element Parametric Geometry
3 Finit Elmnt Paramtric Gomtry 3. Introduction Th intgral of a matrix is th matrix containing th intgral of ach and vry on of its original componnts. Practical finit lmnt analysis rquirs intgrating matrics,
More informationA SPLITTING METHOD USING DISCONTINUOUS GALERKIN FOR THE TRANSIENT INCOMPRESSIBLE NAVIER-STOKES EQUATIONS
ESAIM: MAN Vol. 39, N o 6, 005, pp. 5 47 DOI: 0.05/man:005048 ESAIM: Mathmatical Modlling and Numrical Analysis A SPLITTING METHOD USING DISCONTINUOUS GALERKIN FOR THE TRANSIENT INCOMPRESSIBLE NAVIER-STOKES
More informationSolution: APPM 1360 Final (150 pts) Spring (60 pts total) The following parts are not related, justify your answers:
APPM 6 Final 5 pts) Spring 4. 6 pts total) Th following parts ar not rlatd, justify your answrs: a) Considr th curv rprsntd by th paramtric quations, t and y t + for t. i) 6 pts) Writ down th corrsponding
More informationECE602 Exam 1 April 5, You must show ALL of your work for full credit.
ECE62 Exam April 5, 27 Nam: Solution Scor: / This xam is closd-book. You must show ALL of your work for full crdit. Plas rad th qustions carfully. Plas chck your answrs carfully. Calculators may NOT b
More informationMiddle East Technical University Department of Mechanical Engineering ME 413 Introduction to Finite Element Analysis
Middl East Tchnical Univrsity Dpartmnt of Mchanical Enginring ME Introduction to Finit Elmnt Analysis Chaptr 5 Two-Dimnsional Formulation Ths nots ar prpard by Dr. Cünyt Srt http://www.m.mtu.du.tr/popl/cunyt
More informationThe Equitable Dominating Graph
Intrnational Journal of Enginring Rsarch and Tchnology. ISSN 0974-3154 Volum 8, Numbr 1 (015), pp. 35-4 Intrnational Rsarch Publication Hous http://www.irphous.com Th Equitabl Dominating Graph P.N. Vinay
More informationAbstract Interpretation: concrete and abstract semantics
Abstract Intrprtation: concrt and abstract smantics Concrt smantics W considr a vry tiny languag that manags arithmtic oprations on intgrs valus. Th (concrt) smantics of th languags cab b dfind by th funzcion
More informationThat is, we start with a general matrix: And end with a simpler matrix:
DIAGON ALIZATION OF THE STR ESS TEN SOR INTRO DUCTIO N By th us of Cauchy s thorm w ar abl to rduc th numbr of strss componnts in th strss tnsor to only nin valus. An additional simplification of th strss
More informationData Assimilation 1. Alan O Neill National Centre for Earth Observation UK
Data Assimilation 1 Alan O Nill National Cntr for Earth Obsrvation UK Plan Motivation & basic idas Univariat (scalar) data assimilation Multivariat (vctor) data assimilation 3d-Variational Mthod (& optimal
More informationWeek 3: Connected Subgraphs
Wk 3: Connctd Subgraphs Sptmbr 19, 2016 1 Connctd Graphs Path, Distanc: A path from a vrtx x to a vrtx y in a graph G is rfrrd to an xy-path. Lt X, Y V (G). An (X, Y )-path is an xy-path with x X and y
More informationBrief Introduction to Statistical Mechanics
Brif Introduction to Statistical Mchanics. Purpos: Ths nots ar intndd to provid a vry quick introduction to Statistical Mchanics. Th fild is of cours far mor vast than could b containd in ths fw pags.
More informationL ubomír Baňas 1 and Robert Nürnberg Introduction A POSTERIORI ESTIMATES FOR THE CAHN HILLIARD EQUATION WITH OBSTACLE FREE ENERGY
ESAIM: MAN 43 (009) 1003 106 DOI: 10.1051/man/009015 ESAIM: Mathmatical Modlling and Numrical Analysis www.saim-man.org A POSERIORI ESIMAES FOR HE CAHN HILLIARD EQUAION WIH OBSACLE FREE ENERGY L ubomír
More informationHigher-Order Discrete Calculus Methods
Highr-Ordr Discrt Calculus Mthods J. Blair Prot V. Subramanian Ralistic Practical, Cost-ctiv, Physically Accurat Paralll, Moving Msh, Complx Gomtry, Slid 1 Contxt Discrt Calculus Mthods Finit Dirnc Mimtic
More informationTrigonometric functions
Robrto s Nots on Diffrntial Calculus Captr 5: Drivativs of transcndntal functions Sction 5 Drivativs of Trigonomtric functions Wat you nd to know alrady: Basic trigonomtric limits, t dfinition of drivativ,
More informationDerangements and Applications
2 3 47 6 23 Journal of Intgr Squncs, Vol. 6 (2003), Articl 03..2 Drangmnts and Applications Mhdi Hassani Dpartmnt of Mathmatics Institut for Advancd Studis in Basic Scincs Zanjan, Iran mhassani@iasbs.ac.ir
More information(Upside-Down o Direct Rotation) β - Numbers
Amrican Journal of Mathmatics and Statistics 014, 4(): 58-64 DOI: 10593/jajms0140400 (Upsid-Down o Dirct Rotation) β - Numbrs Ammar Sddiq Mahmood 1, Shukriyah Sabir Ali,* 1 Dpartmnt of Mathmatics, Collg
More informationCOMPUTER GENERATED HOLOGRAMS Optical Sciences 627 W.J. Dallas (Monday, April 04, 2005, 8:35 AM) PART I: CHAPTER TWO COMB MATH.
C:\Dallas\0_Courss\03A_OpSci_67\0 Cgh_Book\0_athmaticalPrliminaris\0_0 Combath.doc of 8 COPUTER GENERATED HOLOGRAS Optical Scincs 67 W.J. Dallas (onday, April 04, 005, 8:35 A) PART I: CHAPTER TWO COB ATH
More informationu x A j Stress in the Ocean
Strss in t Ocan T tratmnt of strss and strain in fluids is comlicatd and somwat bond t sco of tis class. Tos rall intrstd sould look into tis rtr in Batclor Introduction to luid Dnamics givn as a rfrnc
More informationCombinatorial Networks Week 1, March 11-12
1 Nots on March 11 Combinatorial Ntwors W 1, March 11-1 11 Th Pigonhol Principl Th Pigonhol Principl If n objcts ar placd in hols, whr n >, thr xists a box with mor than on objcts 11 Thorm Givn a simpl
More informationPropositional Logic. Combinatorial Problem Solving (CPS) Albert Oliveras Enric Rodríguez-Carbonell. May 17, 2018
Propositional Logic Combinatorial Problm Solving (CPS) Albrt Olivras Enric Rodríguz-Carbonll May 17, 2018 Ovrviw of th sssion Dfinition of Propositional Logic Gnral Concpts in Logic Rduction to SAT CNFs
More informationA LOCALLY DIVERGENCE-FREE INTERIOR PENALTY METHOD FOR TWO-DIMENSIONAL CURL-CURL PROBLEMS
A LOCALLY DIVERGENCE-FREE INTERIOR PENALTY METHOD FOR TWO-DIMENSIONAL CURL-CURL PROBLEMS SUSANNE C. BRENNER, FENGYAN LI, AND LI-YENG SUNG Abstract. An intrior pnalty mthod for crtain two-dimnsional curl-curl
More information2008 AP Calculus BC Multiple Choice Exam
008 AP Multipl Choic Eam Nam 008 AP Calculus BC Multipl Choic Eam Sction No Calculator Activ AP Calculus 008 BC Multipl Choic. At tim t 0, a particl moving in th -plan is th acclration vctor of th particl
More informationWhat is a hereditary algebra?
What is a hrditary algbra? (On Ext 2 and th vanishing of Ext 2 ) Claus Michal Ringl At th Münstr workshop 2011, thr short lcturs wr arrangd in th styl of th rgular column in th Notics of th AMS: What is?
More informationSECTION where P (cos θ, sin θ) and Q(cos θ, sin θ) are polynomials in cos θ and sin θ, provided Q is never equal to zero.
SETION 6. 57 6. Evaluation of Dfinit Intgrals Exampl 6.6 W hav usd dfinit intgrals to valuat contour intgrals. It may com as a surpris to larn that contour intgrals and rsidus can b usd to valuat crtain
More informationRecall that by Theorems 10.3 and 10.4 together provide us the estimate o(n2 ), S(q) q 9, q=1
Chaptr 11 Th singular sris Rcall that by Thorms 10 and 104 togthr provid us th stimat 9 4 n 2 111 Rn = SnΓ 2 + on2, whr th singular sris Sn was dfind in Chaptr 10 as Sn = q=1 Sq q 9, with Sq = 1 a q gcda,q=1
More information1 General boundary conditions in diffusion
Gnral boundary conditions in diffusion Πρόβλημα 4.8 : Δίνεται μονοδιάτατη πλάκα πάχους, που το ένα άκρο της κρατιέται ε θερμοκραία T t και το άλλο ε θερμοκραία T 2 t. Αν η αρχική θερμοκραία της πλάκας
More informationVSMN30 FINITA ELEMENTMETODEN - DUGGA
VSMN3 FINITA ELEMENTMETODEN - DUGGA 1-11-6 kl. 8.-1. Maximum points: 4, Rquird points to pass: Assistanc: CALFEM manual and calculator Problm 1 ( 8p ) 8 7 6 5 y 4 1. m x 1 3 1. m Th isotropic two-dimnsional
More informationRECOVERY-BASED ERROR ESTIMATORS FOR INTERFACE PROBLEMS: MIXED AND NONCONFORMING FINITE ELEMENTS
SIAM J. NUMER. ANAL. Vol. 48 No. 1 pp. 30 52 c 2010 Socity for Industrial Applid Mathmatics RECOVERY-BASED ERROR ESTIMATORS FOR INTERFACE PROBLEMS: MIXED AND NONCONFORMING FINITE ELEMENTS ZHIQIANG CAI
More information