Computation of geometric partial differential equations and mean curvature flow


 Alfred Harrison
 3 years ago
 Views:
Transcription
1 Acta Numerica (2005), pp c Cambridge University Press, 2005 DOI: /S Printed in te United Kingdom Computation of geometric partial differential equations and mean curvature flow Klaus Deckelnick Institut für Analysis und Numerik, OttovonGuerickeUniversität Magdeburg, Universitätsplatz 2, D Magdeburg, Germany Gerard Dziuk Abteilung für Angewandte Matematik, AlbertLudwigsUniversität Freiburg i. Br., HermannHerderStraße 10, D Freiburg i.br., Germany Carles M. Elliott Department of Matematics, University of Sussex, Mantell Building, Falmer, Brigton, BN1 9RF, UK Tis review concerns te computation of curvaturedependent interface motion governed by geometric partial differential equations. Te canonical problem of mean curvature flow is tat of finding a surface wic evolves so tat, at every point on te surface, te normal velocity is given by te mean curvature. In recent years te interest in geometric PDEs involving curvature as burgeoned. Example of applications are, amongst oters, te motion of grain boundaries in alloys, pase transitions and image processing. Te metods of analysis, discretization and numerical analysis depend on ow te surface is represented. Te simplest approac is wen te surface is a grap over a base domain. Tis is an example of a sarp interface approac wic, in te general parametric approac, involves seeking a parametrization of te surface over a base surface, suc as a spere. On te oter and an interface can be represented implicitly as a level surface of a function, and tis idea gives rise to te socalled level set metod. Anoter implicit approac is te pase field metod, wic approximates te interface by a zero level set of a
2 2 K. Deckelnick, G. Dziuk and C. M. Elliott pase field satisfying a PDE depending on a new parameter. Eac approac as its own advantages and disadvantages. In te article we describe te matematical formulations of tese approaces and teir discretizations. Algoritms are set out for eac approac, convergence results are given and are supported by computational results and numerous grapical figures. Besides mean curvature flow, te topics of anisotropy and te iger order geometric PDEs for Willmore flow and surface diffusion are covered. CONTENTS 1 Introduction 2 2 Some geometric analysis 12 3 Definition and elementary properties of mean curvature flow 17 4 Parametric mean curvature flow 19 5 Mean curvature flow of graps 28 6 Mean curvature flow of level sets 36 7 Pase field approac to mean curvature flow 43 8 Anisotropic mean curvature flow 51 9 Fourt order flows 70 Appendix 85 References Introduction A geometric evolution equation defines te motion of a ypersurface by prescribing te normal velocity of te surface in terms of geometric quantities. As well as being of striking matematical interest, geometric evolution problems occur in a wide variety of scientific and tecnological applications. A traditional source of problems is materials science, were te understanding of te strengt and properties of materials requires te matematical modelling of te morpology of microstructure. Evolving surfaces migt be grain boundaries, wic separate differing orientations of te same crystalline pase, or solid liquid interfaces exibiting dendritic structures in undercooled solidification. On te oter and newer applications are associated wit image processing. For example, in order to identify a dark sape in a ligt background in a twodimensional image a socalled snake contour is evolved so tat it wraps around te sape. In tis article we survey numerical metods for te evolution of surfaces wose normal velocity is strongly dependent on te mean curvature of te surface. Te objective is to find a family {Γ(t)} t [0,T ] of closed compact and orientable ypersurfaces in R n+1 wose evolution is defined by specifying te velocity V of in te normal direction ν. An example of a general geometric
3 Computation of geometric PDEs and mean curvature flow 3 evolution equation is V = f(x, ν, H) on Γ(t), (1.1) were f depends on te application and te x dependence migt arise from evaluating on te surface Γ(t) field variables wic satisfy teir own system of nonlinear partial differential equations in R n+1 away from te surface. It is important to note tat, in order to specify te evolution of te surface, it is sufficient to define te normal velocity. Te prototype problem is motion by mean curvature, forwic V = H on Γ(t), (1.2) were H is te sum of te n principal curvatures of Γ(t). We call H te mean curvature rater tan te aritmetic mean of te principal curvatures. Our sign convention is tat H is positive for speres, wit ν being te outward normal. It is well known tat, starting from an initial surface Γ 0, tis equation is a gradient flow for te area functional, E(Γ) = 1dA. (1.3) In applications te area functional is an interfacial energy wit a constant energy density 1. Equation (1.2) may be viewed as an analogue for surfaces of te parabolic eat equation u t u =0. On te oter and, anoter geometric equation is V = Γ(t) H on Γ(t), (1.4) were Γ(t) is te Laplace Beltrami or surface Laplacian operator on Γ(t). Tis can be viewed as an analogue of te spatially fourt order parabolic equation u t + 2 u = Approaces In order to solve a surface evolution equation analytically or numerically, we need a description of Γ(t). Eac coice of description leads to a particular nonlinear partial differential equation defining te evolution. Tus te computational metod depends strongly on te way we coose to describe te surface. For tis article we sall focus on four possible approaces. Parametric approac. Te ypersurfaces Γ(t) aregivenas Γ(t) =X(,t)(M), were M is a suitable reference manifold (fixing te topological type of Γ(t)) and X : M [0,T) R n+1 as to be determined. Here X(p, t), for p M, is Γ
4 4 K. Deckelnick, G. Dziuk and C. M. Elliott Figure 1.1. A dumbbellsaped twodimensional surface parametrized over te unit spere. Figure 1.2. A lemniscate, parametrized over te unit circle. te position vector at time t of a point on Γ(t). If we are interested in closed curves in te plane ten M can be te unit circle S 1, wereas if Γ(t) isa twodimensional surface ten M could be te unit spere S 2 (see Figures 1.1 and 1.2). Geometrical quantities are easily expressed as derivatives of te parametrization so tat evolution laws suc as (1.2) may be translated into nonlinear parabolic systems of PDEs for te vector X. Wit tis approac tere is no notion of te surface being te boundary of an open set and aving an inside and outside, so selfintersection is perfectly natural for smoot parametrizations and is not necessarily associated wit singularities. For example in te plane a figure of eigt curve can be smootly mapped onto te unit circle one to one (Figure 1.2). At te crossing point te curve as two smootly evaluated normals and curvatures wic depend on te parametrization. A parametrized curve evolving by mean curvature can evolve smootly from tis configuration. Graps. We assume tat Γ(t) can be written in te form Γ(t) ={(x, u(x, t)) x Ω}, were Ω R n and te eigt function u : Ω [0,T) R astobe found. We sall see tat te law (1.2) leads to a nonlinear parabolic PDE for u. Clearly, te assumption tat Γ(t) is a grap is rater restrictive; owever, tecniques developed for tis case ave turned out to be very useful in understanding more general situations. Since te eigt is a smoot function we can view Γ(t) as dividing Ω R into two sets, namely te regions above and below te grap.
5 Computation of geometric PDEs and mean curvature flow 5 Figure 1.3. Level lines of a level set function (rigt) for te figure of eigt curve (left). Figure 1.4. Grap of a level set function for te figure of eigt curve, cut at te zero level. Negative part left and positive part (grapically enlarged) rigt. Level set metod. We look for Γ(t) as te zero level set of an auxiliary function u : R n+1 [0, ) R, tat is, Γ(t) ={x R n+1 u(x, t) =0}. Te law (1.2) now translates into a nonlinear, degenerate and singular PDE for u. Clearly intrinsic to tis approac is te notion of Γ(t) being a dividing surface between te two regions were te level set function is positive and negative. Tus we ave te notion of inside and outside. In order to describe a figure of eigt by a level set function it is necessary to ave te level set function positive and negative, as sown in Figures 1.3 and 1.4. Pase field approac. Te pase field approac is based on an approximation of te sarp interface by a diffuse interface Γ ɛ (t) ={x R n+1 1+Cɛ u ɛ (x, t) 1 Cɛ} of widt O(ɛ), across wic te pase field function u ɛ as a transition from approximately one bulk negative value 1 to approximately a second positive bulk value +1. Te zero level set of te pase field function approximates te surface. Just as in te level set metod tere is te notion
6 6 K. Deckelnick, G. Dziuk and C. M. Elliott of a material interface separating an inside and outside and in te basic implementation interface selfintersection and topological cange are andled automatically. Te bulk values of te pase field function correspond to te minima of a omogeneous energy function wit two equal double wells. Interfacial energy is assigned to te diffuse interface via te gradient of te pase field function. For motion by mean curvature te evolution is defined as a semilinear parabolic equation of reaction diffusion or Ginzburg Landau type. Frequently in applications matematical models are derived wic, from te beginning, involve diffuse interfaces and pase field functions. Comments Conceptually te grap formulation is te simplest and most efficient. It involves solving a scalar nonlinear parabolic equation in n space dimensions and directly computes te surface. However, tere are many circumstances were te surface is not a grap. Furtermore, even if te initial surface is a grap it is possible tat over te course of te evolution tat property migt be lost, despite te surface evolving smootly. Tis would lead to gradient blowup of te solution of te grap equation. Tere is te possibility tat te solution of a numerical discretization exists globally and appears to be stable even toug tere is no solution to te continuous equation. Te parametric approac is also direct. It is conceptually more advanced tan te grap approac and one as to solve in n space dimensions a system of n + 1 parabolic equations. If te surface is a grap ten te parametric approac is less efficient tan solving for te eigt of te surface. On te oter and it is more widely applicable. In te case of a closed curve one can use periodic boundary conditions on te unit interval in order to solve over te circle. A closed twodimensional surface can be approximated by a polyedral surface. A parametrized surface does not see an inside or outside. From te point of view of differential geometry tis may not be an issue. However, wen te surface separates two pases, or two materials, or two colours, tere are significant issues. For example, consider using two colours in Figure 1.2 in order to define te curve as te interface between te coloured regions. Black may be used to colour te inside of bot loops and wite to colour te te rest of te plane, but if black is used inside just one loop ten te oter loop is lost. Tus, in order to use te parametric approac wit tis initial condition, one eiter tinks of a parametrization wic traverses te curve witout a crossing, but wit a single selfintersection, or regards tem as being two separate closed curves wic touc at one point. Tese coices lead to differing evolutions for mean curvature flow. Contrary to te parametric approac, te level set metod as te capability of tracking topological canges (like pincingoff or merging) of Γ(t) in an automatic way. In te basic implementation of te metod topological
7 Computation of geometric PDEs and mean curvature flow 7 cange is noting special and is observed in postprocessing te computational output. Tis is because, in principle, zero level sets of continuous functions can exibit tese features. However, from te matematical point of view tere are issues of existence of solutions of te degenerate partial differential equations tat te level set approac generates. In te case of motion by mean curvature tere is te notion of a viscosity solution wic yields a unique evolution from any continuous function. Te example of te lemniscate discussed in te context of te parametric approac introduces a new idea in te level set approac of fattening of te interface. Te level set for tis example develops an interior wose boundary yields bot of te described solutions. Selfintersection, merger and pincoff can all be simulated by tis approac. Tis advantage, owever, needs to be offset against te fact tat te problem now becomes (n + 1)dimensional in space. Te pase field approac can also andle topological cange, selfintersection, merger and pincoff witout doing anyting special. It is te one approac wic in its conception involves an approximation. Te fact tat it involves a new parameter ɛ is bot an advantage and a disadvantage. Te parabolic equations are in principle easy to solve but possess a certain computational stiffness due to te tickness of te diffuse interface. However, in many applications pase field models arise naturally and te ɛ parameter allows us to resolve singularities in a way wic may be viewed as being pysically motivated. From bot te matematical and pysical points of view it is widely applicable in a rational way, wereas te use of te level set metod is frequently ad oc. In general, te coice of one or te oter approac will depend on weter one expects topological canges in te flow Applications In wat follows we list some problems in wic a law of te form (1.1) or generalizations of it arise. Grain boundary motion Grain boundaries in alloys are interfaces wic separate bulk crystalline regions of te same pase but wit differing orientations. Associated wit te grain boundary is a surface energy wic gives rise to a termodynamic restoring force. For a constant surface energy density tis is simply te surface tension force proportional to te mean curvature and te resulting evolution law is just (1.2). Frequently tere is also a driving force causing motion of te grain boundary. Surface growt Te growt of tin films on substrates is tecnologically important. For example, epitaxy is a metod for growing single crystals by te deposition
8 8 K. Deckelnick, G. Dziuk and C. M. Elliott of atoms and molecules on to a growing film surface. Tere are numerous pysical mecanisms operating at differing time and lengt scales wic affect te growt process. A simple model would ave a driving force representing te deposition flux of atoms onto te surface wic migt be in te normal direction or in a fixed vertical direction parallel to a beam of arriving atoms. Image processing One of te most important problems in image processing is to automatically detect contours of objects. We essentially follow te exposition of Aubert and Kornprobst (2002). Suppose tat M R n+1 (n = 1 or 2) is a given object and let I(x) =χ Ω\M (x) be te caracteristic function of Ω \ M. Te function 1 g(x) = 1+ I σ (x) 2, were I σ is a mollification of I, will be small near te contour of M. It is terefore natural to look for minimizers of te functional J(Γ) = g(x)da Γ were Γ is a curve in R 2 or a surface in R 3. Te corresponding L 2 gradient flow leads to te following evolution law: find curves/surfaces (moving snakes ) Γ(t) suc tat V = (gν)= gh g ν on Γ(t). Here, t plays te role of an artificial time; clearly tis law fits into te framework (1.1). Stefan problem for undercooled solidification Consider a container Ω R n+1 (n = 1 or 2) filled wit an undercooled liquid. Solidification of te liquid follows te nucleation of initial solid seed wit caracteristic diameter larger tan te critical radius. Te seed will ten grow into te liquid. A matematical model for tis situation is te Stefan problem wit kinetic undercooling, in wic te solid liquid interface is described by a curve/surface Γ(t) and as to be determined togeter wit te temperature distribution. Here te interior of Γ(t) is te solid region Ω S (t) and te exterior is te liquid region Ω L (t). Using a suitable nondimensionalization te problem ten reads: for a given initial pase boundary Γ 0 and initial temperature distribution Θ 0 =Θ 0 (x) (x Ω), find te nondimensional temperature Θ = Θ(x, t) and te pase boundary Γ(t) (t >0), suc tat te eat equation is satisfied in te bulk, tat is, Θ t Θ = 0 in Ω \ Γ(t),
9 Computation of geometric PDEs and mean curvature flow 9 togeter wit te initial value Θ(, 0) = Θ 0 in Ω. On te moving boundary te following two conditions are satisfied: V = 1 [ ] Θ on Γ(t), (1.5) ε l ν Θ+ε V β(ν)v + σh γ =0 onγ(t). (1.6) Here, [ Θ/ ν] denotes te jump in te normal derivative of te temperature field across te interface and ε l is te constant measuring te latent eat of solidification. Equation (1.6) is te Gibbs Tomson law; ε V,σ are nondimensional positive constants measuring te strengt of te kinetic undercooling and surface tension wic depress te temperature on te solid liquid interface from te scaled equilibrium zero melting temperature. Furtermore, H γ is an anisotropic mean curvature associated wit a surface energy density, γ(ν), depending on te orientation of te normal. Tere may also be anisotropy, β(ν), in te kinetic undercooling. Note tat (1.6) can be rewritten as ε V σ β(ν)v = H γ 1 σ Θ on Γ(t). If we consider Θ as being given, tis equation again fits into our general framework (1.1) provided we allow for a coefficient in front of V and a generalized notion of mean curvature. Figure 1.5 from Scmidt (1996) sows a simulation in wic te free boundary was described by te parametric approac resulting in a sarp interface model. One can see te free boundary forming a dendrite. For Figure 1.5. Evolution of a dendrite wit sixfold anisotropy. Timesteps of te free boundary (left) and adapted grid for te temperature at one timestep (rigt).
10 10 K. Deckelnick, G. Dziuk and C. M. Elliott results concerning treedimensional dendrites and more information about te algoritm we refer to Scmidt (1996). Figure 1.6 from Fried (1999) illustrates a possible effect of using a level set metod for te free boundary in tis problem. Dendrites may seem to merge. But if a smaller timestep is used te dendrites stay apart. For more information about a level set algoritm for dendritic growt we refer to Fried (1999, 2004). Surface diffusion and Willmore flow Te following laws do not fit into (1.1), but we list tem as examples of important geometric evolution equations in wic te normal velocity depends on iger derivatives of mean curvature. Te surface diffusion equation V = Γ H (1.7) models te diffusion of mass witin te bounding surface of a solid body. At te atomistic level atoms on te surface move along te surface owing to a driving force consisting of a cemical potential difference. For a surface wit constant surface energy density te appropriate cemical potential in tis setting is te mean curvature H. Tis leads to te flux law ρv = div Γ j, were ρ is te mass density and j is te mass flux in te surface, wit te constitutive flux law (Herring 1951, Mullins 1957) j = D Γ H. Here, D is te diffusion constant. From tese equations we obtain te law (1.7) after an appropriate nondimensionalization. In order to model te Figure 1.6. A possible effect of te use of a level set metod. Growing dendrites: merging (left) for large timestep size and staying apart (rigt) for smaller timestep size.
11 Computation of geometric PDEs and mean curvature flow 11 underlying structure of te solid body bounded by Γ, anisotropic surface diffusion is important, tat is, V = Γ H γ, (1.8) wit H γ denoting te anisotropic mean curvature of te surface Γ as it is introduced in (8.15). A similar evolution law is Willmore flow, V = Γ H + H Γ ν H3 on Γ(t), (1.9) wic arises as te L 2 gradient flow for te classical bending energy E(Γ) = 1 2 Γ H2 da. Apart from applications in mecanics and membrane pysics tis flow as recently been used for surface restoration and inpainting Outline of article Tis article is organized as follows. In Section 2 we present some useful geometric analysis, in particular te notion of mean curvature. Te basic mean curvature flow is defined in Section 3 and some elementary properties are described. Te next four sections consider in turn basic approaces for numerical approximation. In Section 4 we consider te parametric approac. We start wit te classical curve sortening flow and present a semidiscrete numerical sceme as well as error estimates. Next, we sow ow to apply te above ideas to te approximation of igerdimensional surfaces. A crucial point is to construct numerical scemes wic reflect te intrinsic nature of te flow. Section 5 is concerned wit graps. We prove an error bound for a semidiscrete finite element sceme tereby sowing te virtue of working wit geometric quantities. A fully discrete sceme along wit stability issues is discussed afterwards. In Section 6 we introduce te level set equation as a way of andling topological canges. We briefly discuss te framework of viscosity solutions wic allows a satisfactory existence and uniqueness teory. For numerical purposes it is convenient to regularize te level set equation. We collect some properties of te regularized problem and clarify its formal similarity to te grap setting. Te approximation of mean curvature flow by pase field metods is considered in Section 7. Even before numerical discretization tere is te notion of approximation of a sarp interface by a diffuse interface of widt O(ɛ). Te pase field approac depends on te notion of a diffuse interfacial energy composed of quadratic gradient and omogeneous free energy terms involving a pase field function. Te coice of double well energy potential is discussed. We recall some analytical results as well as a convergence analysis for a discretization in space by linear finite elements. We finis tis section by discussing te discretization in time togeter wit te question of stability. In Section 8 we introduce te concept of te anisotropy γ togeter wit its relevant
12 12 K. Deckelnick, G. Dziuk and C. M. Elliott properties and subsequently generalize te ideas of te previous sections to tis setting. Finally, Section 9 is concerned wit fourt order flows: we present discretization tecniques for bot surface diffusion and Willmore flow. For te convenience of te reader we ave included a long list of references, wic are related to te subject of tese notes, but not all of wic are cited in te text. 2. Some geometric analysis Te aim of tis section is to collect some useful definitions and results from differential geometry. We refer to Gilbarg and Trudinger (1998) and Giga (2002) for a more detailed exposition of tis material Hypersurfaces A subset Γ R n+1 is called a C 2 ypersurface if for eac point x 0 Γ tere exists an open set U R n+1 containing x 0 and a function u C 2 (U) suc tat U Γ={x U u(x) =0}, and u(x) 0 forallx U Γ. (2.1) Te tangent space T x Γ is ten te ndimensional linear subspace of R n+1 tat is ortogonal to u(x). It is independent of te particular coice of function u wic is used to describe Γ. A C 2 ypersurface Γ R n+1 is called orientable if tere exists a vectorfield ν C 1 (Γ, R n+1 )(i.e., ν C 1 in an open neigbourood of Γ) suc tat ν(x) T x Γand ν(x) =1for all x Γ. In wat follows, we sall assume tat Γ R n+1 is an oriented C 2 ypersurface. We define te tangential gradient of a function f, wic is differentiable in an open neigbourood of Γ by Γ f(x) = f(x) f(x) ν(x) ν(x), x Γ. Here denotes te usual gradient in R n+1. Note also tat Γ f(x) is te ortogonal projection of f(x) ontot x Γ. It is straigtforward to sow tat Γ f only depends on te values of f on Γ. We use te notation Γ f(x) =(D 1 f(x),...,d n+1 f(x)) (2.2) for te n + 1 components of te tangential gradient. Obviously Γ f(x) ν(x) =0, x Γ. If f is twice differentiable in an open neigbourood of Γ, ten we define
13 Computation of geometric PDEs and mean curvature flow 13 te Laplace Beltrami operator of f as n+1 Γ f(x) = Γ Γ f(x) = D i D i f(x), x Γ. (2.3) 2.2. Oriented distance function A useful level set representation of a ypersurface can be obtained wit te elp of te distance function. Let Γ be as above and assume in addition tat Γ is compact. Te Jordan Brouwer decomposition teorem ten implies tat tere exists an open bounded set Ω R n+1 suc tat Γ = Ω. We assume tat te unit normal field to Γ points away from Ω and define te oriented (signed) distance function d by dist(x, Γ), x R n+1 \ Ω d(x) = 0, x Γ dist(x, Γ), x Ω. It is well known tat d is globally Lipscitzcontinuous and tat tere exists δ>0 suc tat i=1 d C 2 (Γ δ ), were Γ δ = {x R n+1 d(x) <δ}. (2.4) Every point x Γ δ can be uniquely written as x = a(x)+d(x)ν(a(x)), x Γ δ, (2.5) were a(x) Γ. Furtermore, d(x) =ν(a(x)),x Γ δ, wic implies in particular tat d(x) 1 in Γ δ. (2.6) Figure 2.1. Grap (rigt) of te oriented distance function for te curve (left).
14 14 K. Deckelnick, G. Dziuk and C. M. Elliott 2.3. Mean curvature Let us next turn to te notion of mean curvature. By assumption, ν is C 1 in a neigbourood of Γ so tat we may introduce te matrix H jk (x) =D j ν k (x), j,k =1,...,n+1,x Γ. (2.7) It is not difficult to sow tat (H jk (x)) is symmetric. Furtermore, n+1 n+1 H jk (x)ν k (x) = D j ν k (x)ν k (x) = 1 2 D j ν 2 (x) =0, k=1 k=1 since ν =1onΓ. Tus,(H jk (x)) as one eigenvalue wic is equal to zero wit corresponding eigenvector ν(x). Te remaining n eigenvalues κ 1 (x),...,κ n (x) are called te principal curvatures of Γ at te point x. We now define te mean curvature of Γ at x as te trace of te matrix (H jk (x)), tat is, n+1 n H(x) = H jj (x) = κ j (x). (2.8) j=1 Note tat (2.8) differs from te more common definition H = 1 n+1 n j=1 H jj. From (2.7) we derive te following expression for mean curvature, H(x) = Γ ν(x), x Γ, (2.9) were Γ f = n+1 j=1 D jf j denotes te tangential divergence of a vectorfield f. In particular we see tat H>0ifΓ=S n and te unit normal field is cosen to point away from S n, i.e., ν(x) =x. Wile te sign of H depends on te coice of te normal ν, te mean curvature vector Hν is an invariant. A useful formula for tis quantity can be obtained by coosing f(x) =x j,j {1,...,n+1} in (2.3) and observing tat D i x j = δ ij ν j ν i. We ten deduce wit te elp of (2.9) tat n+1 Γ x j = D i (ν j ν i )= ( Γ ν)ν j Γ ν j ν = Hν j, so tat i=1 j=1 Γ x = Hν on Γ. (2.10) Letusnextfixapoint x Γ and calculate H( x) for various representations of te surface Γ near x. Level set representation. Suppose tat Γ is given as in (2.1) near x. Clearly, we ten ave ν(x) =± u(x) u(x)
15 Computation of geometric PDEs and mean curvature flow 15 for x U Γ. If te plus sign applies we obtain H = Γ u u = u u = 1 u n+1 i,j=1 ( δ ij u x i u xj u 2 ) u xi x j. (2.11) In te special case tat u(x) =d(x), were d is te oriented distance function to Γ, we obtain in view of (2.6) Grap representation. Suppose tat H(x) = d(x), x Γ. (2.12) U Γ={(x, v(x)) x Ω}, were Ω R n is open, x =(x 1,...,x n )andv C 2 (Ω). Defining u(x, x n+1 ) = v(x) x n+1 we see tat U Γ is te zero level set of u and te above considerations imply tat ( ) v(x) H(x, v(x)) =, (x, v(x)) U Γ, (2.13) 1+ v(x) 2 were is te gradient in R n and te unit normal is cosen as ν = ( v, 1) 1+ v 2. Parametric representation Suppose tat tere exists an open set V R n and a mapping X C 2 (V,R n+1 ) suc tat U Γ=X(V ), rank DX(θ) =n for all θ V. Te vectors X θ 1 (θ),..., X θ n (θ) ten form a basis of T x Γatx = X(θ). We define te metric on Γ by g ij (θ) = X (θ) X (θ), i,j =1,...,n θ i θ j and let g ij be te components of te inverse matrix of (g ij ). We ten ave te following formulae for te tangential gradient of a function f (defined in a neigbourood of Γ) and te mean curvature vector Hν: were g =det(g ij ). n ij (f X) X Γ f = g, (2.14) θ i,j=1 j θ i Hν = 1 n ( g ij g X ) (2.15) g θ i θ j i,j=1
16 16 K. Deckelnick, G. Dziuk and C. M. Elliott 2.4. Integration by parts Let us assume in tis section tat Γ is in addition compact. Te formula for integration by parts on Γ is (cf. Gilbarg and Trudinger (1998)) D i f da = fhν i da i =1,...,n+1, (2.16) Γ Γ were da denotes te area element on Γ and f is continuously differentiable in a neigbourood of Γ. Applying (2.16) wit = fd i g, summing from i =1,...,n+1 and taking into account tat Γ ν i ν = 0, we obtain Green s formula, Γ f Γ g da = f Γ g da. (2.17) Γ Γ In particular, we deduce from (2.10) Hν φ da = Γ x Γ φ da, (2.18) Γ were φ is continuously differentiable in a neigbourood of Γ wit values in R n+1 and Γ x Γ φ = n+1 i=1 Γx i Γ φ i. Tis relation will be very important for te numerical treatment of mean curvature flow. Te above formulae can be generalized to surfaces wit boundaries by including an appropriate integral over Γ Moving surfaces In tis section we sall be concerned wit surfaces tat evolve in time. A family (Γ(t)) t (0,T ) is called a C 2,1 family of ypersurfaces if, for eac point (x 0,t 0 ) R n+1 (0,T)witx 0 Γ(t 0 ), tere exists an open set U R n+1, δ>0 and a function u C 2,1 (U (t 0 δ, t 0 + δ)) suc tat U Γ(t) ={x U u(x, t) =0} and u(x, t) 0,x U Γ(t). (2.19) Suppose in addition tat eac Γ(t) is oriented by a unit normal field ν(,t) C 1 (Γ(t), R n+1 ) and tat ν C 0 ( 0<t<T Γ(t) {t}, Rn+1 ). Te normal velocity at a point (x 0,t 0 )(x 0 Γ(t 0 )) is ten defined as V (x 0,t 0 )=φ (t 0 ) ν(x 0,t 0 ), were φ C 1 ((t 0 ɛ, t 0 + ɛ), R n+1 ) satisfies φ(t 0 )=x 0 and φ(t) Γ(t) for t t 0 <ɛ. It can be sown tat V (x 0,t 0 ) is independent of te particular coice of φ. Let us calculate V (x 0,t 0 ) for various representations of Γ(t). Level set representation. Let u be as in (2.19); as above we ten ave ν = ± u u. If te plus sign applies and φ C1 ((t 0 ɛ, t 0 + ɛ), R n+1 ) satisfies φ(t 0 )=x 0 as well as φ(t) Γ(t) for t t 0 <ɛ,weave 0= d dt u(φ(t),t)= u(φ(t),t) φ (t)+u t (φ(t),t), Γ
17 Computation of geometric PDEs and mean curvature flow 17 and ence V (x 0,t 0 )= u t(x 0,t 0 ) u(x 0,t 0 ). (2.20) Grap representation. Suppose tat U Γ(t) ={(x, v(x, t)) x Ω}, were Ω R n is open and v C 2,1 (Ω (t 0 δ, t 0 + δ)). Applying te formula for te level set case to u(x, x n+1,t)=v(x, t) x n+1,weobtain for te unit normal field ν = v t V = 1+ v 2 ( v, 1) 1+ v 2. (2.21) 2.6. Transport teorem for integrals Consider a family (Γ(t)) t (0,T ) of evolving ypersurfaces wic satisfies te assumptions made above and suppose in addition tat eac surface Γ(t) is compact. We are interested in te time derivative of certain volume and area integrals. Lemma 2.1. Let g C 1 (Q), were Q is an open set containing Γ(t) {t}. 0<t<T Suppose in addition tat eac surface Γ(t) is te boundary of an open bounded subset Ω(t) R n+1.ten d g g dx = dt Ω(t) Ω(t) t dx + gv da, (2.22) Γ(t) d g g da = dt Γ(t) Γ(t) t da + g gv H da + V da. (2.23) Γ(t) Γ(t) ν Proof. See te Appendix. 3. Definition and elementary properties of mean curvature flow Te purpose of tis section is to introduce motion by mean curvature and to describe some basic features of tis flow. Consider a C 2,1 family of ypersurfaces (Γ(t)) t [0,T ] R n+1 togeter wit a coice ν of a unit normal. Definition 1. We say tat (Γ(t)) t [0,T ] moves by mean curvature if V = H on Γ(t). (3.1)
18 18 K. Deckelnick, G. Dziuk and C. M. Elliott Here, V denotes te velocity of Γ(t) in te direction of ν and H is mean curvature. As we sall see later, te above equation gives rise to a parabolic equation, or a parabolic system, for te function(s) describing te surfaces Γ(t), to wic an initial condition Γ(0) = Γ 0 (3.2) as to be added. If Γ(t) as a boundary, ten also suitable boundary conditions need to be specified. In order to give a first idea of tis flow we look at te wellknown example of te srinking spere. Let Γ(t) = B r(t) (x 0 ) R n+1, oriented by te unit n r(t) outer normal ν(x) = x x 0 r(t). Ten, V = r (t), H = moves by mean curvature provided tat r (t) = n r(t) on Γ(t), so tat Γ(t). Te solution of tis ODE is given by r(t) = r0 2 2nt, 0 t< r2 0 2n, were Γ 0 = B r0 (x 0 ). Note tat Γ(t) srinks to a point as t r2 0 2n. Te main feature of mean curvature flow is its areadecreasing property, wic is a consequence of te following result. Lemma 3.1. Let Γ(t) be a family of evolving ypersurfaces satisfying V = H on Γ(t) and assume tat eac Γ(t) is compact. Ten V 2 da + d Γ(t) =0, dt were Γ is te area of Γ. Γ(t) Proof. Tis follows immediately from coosing g 1 in (2.23) and te evolution law (3.1). Since te law (3.1) gives rise to a second order parabolic problem we expect existence of a smoot solution locally in time for a smoot initial ypersurface Γ 0. Furtermore, maximum and comparison principles are available wic can be used to sow tat two smoot compact solutions wic are initially disjoint will stay disjoint (see, e.g., Ecker (2002)). Using te srinking spere as a comparison solution, it follows in particular tat if Γ(t), 0 t<t is a smoot solution wit Γ 0 B r0 (x 0 ), ten Γ(t) B r0 2 2nt(x 0)for0 t<min(t, r2 0 2n ). In general, solutions will develop singularities in finite time before tey disappear, but tere are certain initial configurations for wic tey stay smoot until tey srink to a point. Teorem 3.2. Let n 2 and assume tat Γ 0 R n+1 is a smoot, compact and uniformly convex ypersurface. Ten (3.1) and (3.2) ave a smoot solution on a finite time interval [0,T) and te Γ(t) converge to a
19 Computation of geometric PDEs and mean curvature flow 19 point as t T. If one rescales te surfaces in suc a way tat te enclosed volume remains fixed, one as convergence against a spere as t T. Proof. See Huisken (1984). Te case n = 1 is usually referred to as curve sortening flow. Teorem 3.3. Assume tat Γ 0 R 2 is a smoot embedded closed curve. Ten (3.1) and (3.2) ave a smoot embedded solution on a finite time interval [0,T), wic srinks to a round point as t T. Proof. Gage and Hamilton (1986) proved tis result for convex Γ 0 ; subsequently Grayson (1987) sowed tat a smoot embedded closed curve remains smoot and embedded and becomes convex in finite time. If te initial curve is not embedded, cusplike singularities may develop (see Figures 4.2 and 4.3). Te papers of Angenent (1991), Altsculer and Grayson (1992) and Deckelnick (1997) propose various metods of ow to continue te solution past suc a singularity. Te analogue of Teorem 3.3 for surfaces does not old, as can be seen by coosing a suitable dumbbellsaped initial surface wic develops a pincoff singularity before it srinks to a point (see Figure 4.5 and Grayson (1989)). Tis pincoff leads to a cange of te topological type of Γ(t), so tat te parametric approac in wic te topological type is fixed will develop a singularity tat is difficult to andle. Tus te question arises weter it is possible to introduce a notion of solution tat is capable of following te flow troug a singularity. Several suc notions ave been proposed and analysed starting wit te pioneering work of Brakke (1978) on varifold solutions, wic uses tools from geometric measure teory. In tis context we also mention te surface evolver program of Brakke (1992). Level set and pase field metods constitute two completely different approaces wic take an Eulerian point of view. We sall discuss tese in more detail in Sections 6 and Parametric mean curvature flow As is mentioned above, in te parametric approac one cooses a suitable reference manifold M R n+1 (of te topological type of te evolving ypersurfaces Γ(t)) and ten looks for maps X(,t):M R n+1 (0 t<t)suc tat Γ(t) =X(,t)(M). To fix ideas, let us assume tat M is a compact ypersurface witout boundary. If we can find X in suc a way tat X (p, t) = H(X(p, t))ν(x(p, t)) (p, t) M (0,T), (4.1) t ten V = H on Γ(t) follows by taking te dot product wit te normal ν. In order to understand (4.1) let F :Ω R n+1 be a local parametrization
20 20 K. Deckelnick, G. Dziuk and C. M. Elliott of M definedonanopensetω R n and set ˆX(θ, t) =X(F (θ),t), (θ, t) Ω (0,T). Recalling (2.15), te equation (4.1) ten turns into ˆX 1 n ( (θ, t) ĝ ĝ ij ĝ ˆX ) =0 (4.2) t θ i θ j i,j=1 were ĝ ij (θ, t) = ˆX θ i ˆX θ j and ĝ ij, ĝ are as above. Tus (4.2), and ence (4.1), is a nonlinear parabolic system, wic is not defined at points (θ, t) were ĝ(θ, t) = 0. In order to close tis system, an initial condition X(p, 0) = X 0 (p),p M needs to be prescribed, were X 0 : M R n+1 is a parametrization of te initial surface Γ Curve sortening flow Mean curvature evolution in te onedimensional case is usually referred to as curve sortening flow. In te case of closed curves, a convenient coice of a reference manifold is M = S 1, wic can be parametrized globally by F (θ) =(cosθ, sin θ),θ [0, 2π]. In te following, for simplicity, let us identify ˆX(θ, t) andx((cos θ, sin θ),t). Tus, (4.2) becomes X t 1 ( ) Xθ =0 X θ X θ θ ini (0,T), (4.3) X(, 0) = X 0 in I, (4.4) were I =[0, 2π]. In addition, X as to satisfy te periodicity condition X(θ, t) =X(θ +2π, t) 0 t<t, θ R. (4.5) Suppose tat X : R [0,T] R 2 is a smoot solution of (4.3) (4.5), in particular X θ > 0inI [0,T]. If we multiply (4.3) by X θ, take te dot product wit a test function ϕ Hper(I; 1 R 2 )={ϕ H 1 (I; R 2 ) ϕ(0) = ϕ(2π)} and integrate over I, we obtain X θ ϕ θ X t ϕ X θ + =0 forallϕ H 1 I I X θ per(i; R 2 ). (4.6) We use (4.6) in order to discretize in space. For simplicity let θ j = j (j =0,...,N) be a uniform grid wit grid size =2π/N and let { } S = ϕ C 0 (I; R 2 ) ϕ [θj 1,θ j ] P1 2,j =1,...,N; ϕ (0) = ϕ (2π) be te space of piecewise linear continuous functions wit values in R 2.Te spatial discretization of (4.3) is ten given by X θ ϕ θ X t ϕ X θ + =0 forallϕ S. (4.7) X θ I I
Verifying Numerical Convergence Rates
1 Order of accuracy Verifying Numerical Convergence Rates We consider a numerical approximation of an exact value u. Te approximation depends on a small parameter, suc as te grid size or time step, and
More informationFINITE DIFFERENCE METHODS
FINITE DIFFERENCE METHODS LONG CHEN Te best known metods, finite difference, consists of replacing eac derivative by a difference quotient in te classic formulation. It is simple to code and economic to
More informationFinite Volume Discretization of the Heat Equation
Lecture Notes 3 Finite Volume Discretization of te Heat Equation We consider finite volume discretizations of te onedimensional variable coefficient eat equation, wit Neumann boundary conditions u t x
More informationResearch on the Antiperspective Correction Algorithm of QR Barcode
Researc on te Antiperspective Correction Algoritm of QR Barcode Jianua Li, YiWen Wang, YiJun Wang,Yi Cen, Guoceng Wang Key Laboratory of Electronic Tin Films and Integrated Devices University of Electronic
More informationThe EOQ Inventory Formula
Te EOQ Inventory Formula James M. Cargal Matematics Department Troy University Montgomery Campus A basic problem for businesses and manufacturers is, wen ordering supplies, to determine wat quantity of
More informationModule 1: Introduction to Finite Element Analysis Lecture 1: Introduction
Module : Introduction to Finite Element Analysis Lecture : Introduction.. Introduction Te Finite Element Metod (FEM) is a numerical tecnique to find approximate solutions of partial differential equations.
More informationFinite Difference Approximations
Capter Finite Difference Approximations Our goal is to approximate solutions to differential equations, i.e., to find a function (or some discrete approximation to tis function) tat satisfies a given relationsip
More informationTangent Lines and Rates of Change
Tangent Lines and Rates of Cange 922005 Given a function y = f(x), ow do you find te slope of te tangent line to te grap at te point P(a, f(a))? (I m tinking of te tangent line as a line tat just skims
More informationDifferentiable Functions
Capter 8 Differentiable Functions A differentiable function is a function tat can be approximated locally by a linear function. 8.. Te derivative Definition 8.. Suppose tat f : (a, b) R and a < c < b.
More informationOPTIMAL DISCONTINUOUS GALERKIN METHODS FOR THE ACOUSTIC WAVE EQUATION IN HIGHER DIMENSIONS
OPTIMAL DISCONTINUOUS GALERKIN METHODS FOR THE ACOUSTIC WAVE EQUATION IN HIGHER DIMENSIONS ERIC T. CHUNG AND BJÖRN ENGQUIST Abstract. In tis paper, we developed and analyzed a new class of discontinuous
More informationTrapezoid Rule. y 2. y L
Trapezoid Rule and Simpson s Rule c 2002, 2008, 200 Donald Kreider and Dwigt Lar Trapezoid Rule Many applications of calculus involve definite integrals. If we can find an antiderivative for te integrand,
More informationIn other words the graph of the polynomial should pass through the points
Capter 3 Interpolation Interpolation is te problem of fitting a smoot curve troug a given set of points, generally as te grap of a function. It is useful at least in data analysis (interpolation is a form
More informationLecture 10: What is a Function, definition, piecewise defined functions, difference quotient, domain of a function
Lecture 10: Wat is a Function, definition, piecewise defined functions, difference quotient, domain of a function A function arises wen one quantity depends on anoter. Many everyday relationsips between
More informationComputation of crystal growth. using sharp interface methods
Efficient computation of crystal growth using sharp interface methods University of Regensburg joint with John Barrett (London) Robert Nürnberg (London) July 2010 Outline 1 Curvature driven interface motion
More informationThis supplement is meant to be read after Venema s Section 9.2. Throughout this section, we assume all nine axioms of Euclidean geometry.
Mat 444/445 Geometry for Teacers Summer 2008 Supplement : Similar Triangles Tis supplement is meant to be read after Venema s Section 9.2. Trougout tis section, we assume all nine axioms of uclidean geometry.
More informationThe finite element immersed boundary method: model, stability, and numerical results
Te finite element immersed boundary metod: model, stability, and numerical results Lucia Gastaldi Università di Brescia ttp://dm.ing.unibs.it/gastaldi/ INdAM Worksop, Cortona, September 18, 2006 Joint
More informationInstantaneous Rate of Change:
Instantaneous Rate of Cange: Last section we discovered tat te average rate of cange in F(x) can also be interpreted as te slope of a scant line. Te average rate of cange involves te cange in F(x) over
More informationUnderstanding the Derivative Backward and Forward by Dave Slomer
Understanding te Derivative Backward and Forward by Dave Slomer Slopes of lines are important, giving average rates of cange. Slopes of curves are even more important, giving instantaneous rates of cange.
More informationACT Math Facts & Formulas
Numbers, Sequences, Factors Integers:..., 3, 2, 1, 0, 1, 2, 3,... Rationals: fractions, tat is, anyting expressable as a ratio of integers Reals: integers plus rationals plus special numbers suc as
More informationSAT Subject Math Level 1 Facts & Formulas
Numbers, Sequences, Factors Integers:..., 3, 2, 1, 0, 1, 2, 3,... Reals: integers plus fractions, decimals, and irrationals ( 2, 3, π, etc.) Order Of Operations: Aritmetic Sequences: PEMDAS (Parenteses
More information7.6 Complex Fractions
Section 7.6 Comple Fractions 695 7.6 Comple Fractions In tis section we learn ow to simplify wat are called comple fractions, an eample of wic follows. 2 + 3 Note tat bot te numerator and denominator are
More informationLecture 10. Limits (cont d) Onesided limits. (Relevant section from Stewart, Seventh Edition: Section 2.4, pp. 113.)
Lecture 10 Limits (cont d) Onesided its (Relevant section from Stewart, Sevent Edition: Section 2.4, pp. 113.) As you may recall from your earlier course in Calculus, we may define onesided its, were
More informationPart II: Finite Difference/Volume Discretisation for CFD
Part II: Finite Difference/Volume Discretisation for CFD Finite Volume Metod of te AdvectionDiffusion Equation A Finite Difference/Volume Metod for te Incompressible NavierStokes Equations MarkerandCell
More informationAn inquiry into the multiplier process in ISLM model
An inquiry into te multiplier process in ISLM model Autor: Li ziran Address: Li ziran, Room 409, Building 38#, Peing University, Beijing 00.87,PRC. Pone: (86) 0062763074 Internet Address: jefferson@water.pu.edu.cn
More information2 Limits and Derivatives
2 Limits and Derivatives 2.7 Tangent Lines, Velocity, and Derivatives A tangent line to a circle is a line tat intersects te circle at exactly one point. We would like to take tis idea of tangent line
More informationDerivatives Math 120 Calculus I D Joyce, Fall 2013
Derivatives Mat 20 Calculus I D Joyce, Fall 203 Since we ave a good understanding of its, we can develop derivatives very quickly. Recall tat we defined te derivative f x of a function f at x to be te
More informationOptimal Pricing Strategy for Second Degree Price Discrimination
Optimal Pricing Strategy for Second Degree Price Discrimination Alex O Brien May 5, 2005 Abstract Second Degree price discrimination is a coupon strategy tat allows all consumers access to te coupon. Purcases
More informationCHAPTER 7. Di erentiation
CHAPTER 7 Di erentiation 1. Te Derivative at a Point Definition 7.1. Let f be a function defined on a neigborood of x 0. f is di erentiable at x 0, if te following it exists: f 0 fx 0 + ) fx 0 ) x 0 )=.
More informationModule 2. The Science of Surface and Ground Water. Version 2 CE IIT, Kharagpur
Module Te Science of Surface and Ground Water Version CE IIT, Karagpur Lesson 6 Principles of Ground Water Flow Version CE IIT, Karagpur Instructional Objectives On completion of te lesson, te student
More informationON LOCAL LIKELIHOOD DENSITY ESTIMATION WHEN THE BANDWIDTH IS LARGE
ON LOCAL LIKELIHOOD DENSITY ESTIMATION WHEN THE BANDWIDTH IS LARGE Byeong U. Park 1 and Young Kyung Lee 2 Department of Statistics, Seoul National University, Seoul, Korea Tae Yoon Kim 3 and Ceolyong Park
More informationCan a LumpSum Transfer Make Everyone Enjoy the Gains. from Free Trade?
Can a LumpSum Transfer Make Everyone Enjoy te Gains from Free Trade? Yasukazu Icino Department of Economics, Konan University June 30, 2010 Abstract I examine lumpsum transfer rules to redistribute te
More informationSchedulability Analysis under Graph Routing in WirelessHART Networks
Scedulability Analysis under Grap Routing in WirelessHART Networks Abusayeed Saifulla, Dolvara Gunatilaka, Paras Tiwari, Mo Sa, Cenyang Lu, Bo Li Cengjie Wu, and Yixin Cen Department of Computer Science,
More informationA Multigrid Tutorial part two
A Multigrid Tutorial part two William L. Briggs Department of Matematics University of Colorado at Denver Van Emden Henson Center for Applied Scientific Computing Lawrence Livermore National Laboratory
More informationDistances in random graphs with infinite mean degrees
Distances in random graps wit infinite mean degrees Henri van den Esker, Remco van der Hofstad, Gerard Hoogiemstra and Dmitri Znamenski April 26, 2005 Abstract We study random graps wit an i.i.d. degree
More informationME422 Mechanical Control Systems Modeling Fluid Systems
Cal Poly San Luis Obispo Mecanical Engineering ME422 Mecanical Control Systems Modeling Fluid Systems Owen/Ridgely, last update Mar 2003 Te dynamic euations for fluid flow are very similar to te dynamic
More informationTheoretical calculation of the heat capacity
eoretical calculation of te eat capacity Principle of equipartition of energy Heat capacity of ideal and real gases Heat capacity of solids: DulongPetit, Einstein, Debye models Heat capacity of metals
More informationOptimized Data Indexing Algorithms for OLAP Systems
Database Systems Journal vol. I, no. 2/200 7 Optimized Data Indexing Algoritms for OLAP Systems Lucian BORNAZ Faculty of Cybernetics, Statistics and Economic Informatics Academy of Economic Studies, Bucarest
More informationA LowTemperature Creep Experiment Using Common Solder
A LowTemperature Creep Experiment Using Common Solder L. Roy Bunnell, Materials Science Teacer Soutridge Hig Scool Kennewick, WA 99338 roy.bunnell@ksd.org Copyrigt: Edmonds Community College 2009 Abstract:
More informationis called the geometric transformation. In computers the world is represented by numbers; thus geometrical properties and transformations must
Capter 5 TRANSFORMATIONS, CLIPPING AND PROJECTION 5.1 Geometric transformations Treedimensional grapics aims at producing an image of 3D objects. Tis means tat te geometrical representation of te image
More informationMATHEMATICS FOR ENGINEERING DIFFERENTIATION TUTORIAL 1  BASIC DIFFERENTIATION
MATHEMATICS FOR ENGINEERING DIFFERENTIATION TUTORIAL 1  BASIC DIFFERENTIATION Tis tutorial is essential prerequisite material for anyone stuing mecanical engineering. Tis tutorial uses te principle of
More informationReference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.
5 Potential Theory Reference: Introduction to Partial Differential Equations by G. Folland, 995, Chap. 3. 5. Problems of Interest. In what follows, we consider Ω an open, bounded subset of R n with C 2
More informationA New Cement to Glue Nonconforming Grids with Robin Interface Conditions: The Finite Element Case
A New Cement to Glue Nonconforming Grids wit Robin Interface Conditions: Te Finite Element Case Martin J. Gander, Caroline Japet 2, Yvon Maday 3, and Frédéric Nataf 4 McGill University, Dept. of Matematics
More informationGeometric Stratification of Accounting Data
Stratification of Accounting Data Patricia Gunning * Jane Mary Horgan ** William Yancey *** Abstract: We suggest a new procedure for defining te boundaries of te strata in igly skewed populations, usual
More informationComputer Science and Engineering, UCSD October 7, 1999 GoldreicLevin Teorem Autor: Bellare Te GoldreicLevin Teorem 1 Te problem We æx a an integer n for te lengt of te strings involved. If a is an nbit
More informationSection 3.3. Differentiation of Polynomials and Rational Functions. Difference Equations to Differential Equations
Difference Equations to Differential Equations Section 3.3 Differentiation of Polynomials an Rational Functions In tis section we begin te task of iscovering rules for ifferentiating various classes of
More informationSurface Areas of Prisms and Cylinders
12.2 TEXAS ESSENTIAL KNOWLEDGE AND SKILLS G.10.B G.11.C Surface Areas of Prisms and Cylinders Essential Question How can you find te surface area of a prism or a cylinder? Recall tat te surface area of
More informationProjective Geometry. Projective Geometry
Euclidean versus Euclidean geometry describes sapes as tey are Properties of objects tat are uncanged by rigid motions» Lengts» Angles» Parallelism Projective geometry describes objects as tey appear Lengts,
More information 1  Handout #22 May 23, 2012 Huffman Encoding and Data Compression. CS106B Spring 2012. Handout by Julie Zelenski with minor edits by Keith Schwarz
CS106B Spring 01 Handout # May 3, 01 Huffman Encoding and Data Compression Handout by Julie Zelenski wit minor edits by Keit Scwarz In te early 1980s, personal computers ad ard disks tat were no larger
More informationSection 1.1. Introduction to R n
The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to
More informationComparison between two approaches to overload control in a Real Server: local or hybrid solutions?
Comparison between two approaces to overload control in a Real Server: local or ybrid solutions? S. Montagna and M. Pignolo Researc and Development Italtel S.p.A. Settimo Milanese, ITALY Abstract Tis wor
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationf(a + h) f(a) f (a) = lim
Lecture 7 : Derivative AS a Function In te previous section we defined te derivative of a function f at a number a (wen te function f is defined in an open interval containing a) to be f (a) 0 f(a + )
More informationSAMPLE DESIGN FOR THE TERRORISM RISK INSURANCE PROGRAM SURVEY
ASA Section on Survey Researc Metods SAMPLE DESIG FOR TE TERRORISM RISK ISURACE PROGRAM SURVEY G. ussain Coudry, Westat; Mats yfjäll, Statisticon; and Marianne Winglee, Westat G. ussain Coudry, Westat,
More informationAn Intuitive Framework for RealTime Freeform Modeling
An Intuitive Framework for RealTime Freeform Modeling Mario Botsc Leif Kobbelt Computer Grapics Group RWTH Aacen University Abstract We present a freeform modeling framework for unstructured triangle
More information1 The Collocation Method
CS410 Assignment 7 Due: 1/5/14 (Fri) at 6pm You must wor eiter on your own or wit one partner. You may discuss bacground issues and general solution strategies wit oters, but te solutions you submit must
More informationTRADING AWAY WIDE BRANDS FOR CHEAP BRANDS. Swati Dhingra London School of Economics and CEP. Online Appendix
TRADING AWAY WIDE BRANDS FOR CHEAP BRANDS Swati Dingra London Scool of Economics and CEP Online Appendix APPENDIX A. THEORETICAL & EMPIRICAL RESULTS A.1. CES and Logit Preferences: Invariance of Innovation
More informationIntroduction to the Finite Element Method (FEM)
Introduction to the Finite Element Method (FEM) ecture First and Second Order One Dimensional Shape Functions Dr. J. Dean Discretisation Consider the temperature distribution along the onedimensional
More informationChapter 7 Numerical Differentiation and Integration
45 We ave a abit in writing articles publised in scientiþc journals to make te work as Þnised as possible, to cover up all te tracks, to not worry about te blind alleys or describe ow you ad te wrong idea
More informationNew Vocabulary volume
. Plan Objectives To find te volume of a prism To find te volume of a cylinder Examples Finding Volume of a Rectangular Prism Finding Volume of a Triangular Prism 3 Finding Volume of a Cylinder Finding
More informationTo motivate the notion of a variogram for a covariance stationary process, { Ys ( ): s R}
4. Variograms Te covariogram and its normalized form, te correlogram, are by far te most intuitive metods for summarizing te structure of spatial dependencies in a covariance stationary process. However,
More informationA FLOW NETWORK ANALYSIS OF A LIQUID COOLING SYSTEM THAT INCORPORATES MICROCHANNEL HEAT SINKS
A FLOW NETWORK ANALYSIS OF A LIQUID COOLING SYSTEM THAT INCORPORATES MICROCHANNEL HEAT SINKS Amir Radmer and Suas V. Patankar Innovative Researc, Inc. 3025 Harbor Lane Nort, Suite 300 Plymout, MN 55447
More informationCyber Epidemic Models with Dependences
Cyber Epidemic Models wit Dependences Maocao Xu 1, Gaofeng Da 2 and Souuai Xu 3 1 Department of Matematics, Illinois State University mxu2@ilstu.edu 2 Institute for Cyber Security, University of Texas
More information1.6. Analyse Optimum Volume and Surface Area. Maximum Volume for a Given Surface Area. Example 1. Solution
1.6 Analyse Optimum Volume and Surface Area Estimation and oter informal metods of optimizing measures suc as surface area and volume often lead to reasonable solutions suc as te design of te tent in tis
More informationMath 113 HW #5 Solutions
Mat 3 HW #5 Solutions. Exercise.5.6. Suppose f is continuous on [, 5] and te only solutions of te equation f(x) = 6 are x = and x =. If f() = 8, explain wy f(3) > 6. Answer: Suppose we ad tat f(3) 6. Ten
More informationProof of the Power Rule for Positive Integer Powers
Te Power Rule A function of te form f (x) = x r, were r is any real number, is a power function. From our previous work we know tat x x 2 x x x x 3 3 x x In te first two cases, te power r is a positive
More informationELECTROMAGNETIC AND THERMAL PHENOMENA IN THE CONTROLLED PHASE TRANSFORMATION MELTING PROCESS
Journal of ELECTRICAL ENGINEERING, VOL. 57, NO., 2006, 36 4 ELECTROMAGNETIC AND THERMAL PHENOMENA IN THE CONTROLLED PHASE TRANSFORMATION MELTING PROCESS Ştefan Nagy Mojmír Kollár Tis paper presents te
More informationStrategic trading in a dynamic noisy market. Dimitri Vayanos
LSE Researc Online Article (refereed) Strategic trading in a dynamic noisy market Dimitri Vayanos LSE as developed LSE Researc Online so tat users may access researc output of te Scool. Copyrigt and Moral
More information100 Austrian Journal of Statistics, Vol. 32 (2003), No. 1&2, 99129
AUSTRIAN JOURNAL OF STATISTICS Volume 3 003, Number 1&, 99 19 Adaptive Regression on te Real Line in Classes of Smoot Functions L.M. Artiles and B.Y. Levit Eurandom, Eindoven, te Neterlands Queen s University,
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationAverage and Instantaneous Rates of Change: The Derivative
9.3 verage and Instantaneous Rates of Cange: Te Derivative 609 OBJECTIVES 9.3 To define and find average rates of cange To define te derivative as a rate of cange To use te definition of derivative to
More informationarxiv:math/ v1 [math.pr] 20 Feb 2003
JUGGLING PROBABILITIES GREGORY S. WARRINGTON arxiv:mat/0302257v [mat.pr] 20 Feb 2003. Introduction Imagine yourself effortlessly juggling five balls in a ig, lazy pattern. Your rigt and catces a ball and
More information4.1 Rightangled Triangles 2. 4.2 Trigonometric Functions 19. 4.3 Trigonometric Identities 36. 4.4 Applications of Trigonometry to Triangles 53
ontents 4 Trigonometry 4.1 Rigtangled Triangles 4. Trigonometric Functions 19 4.3 Trigonometric Identities 36 4.4 pplications of Trigonometry to Triangles 53 4.5 pplications of Trigonometry to Waves 65
More information2.28 EDGE Program. Introduction
Introduction Te Economic Diversification and Growt Enterprises Act became effective on 1 January 1995. Te creation of tis Act was to encourage new businesses to start or expand in Newfoundland and Labrador.
More informationACTIVITY: Deriving the Area Formula of a Trapezoid
4.3 Areas of Trapezoids a trapezoid? How can you derive a formula for te area of ACTIVITY: Deriving te Area Formula of a Trapezoid Work wit a partner. Use a piece of centimeter grid paper. a. Draw any
More informationNote nine: Linear programming CSE 101. 1 Linear constraints and objective functions. 1.1 Introductory example. Copyright c Sanjoy Dasgupta 1
Copyrigt c Sanjoy Dasgupta Figure. (a) Te feasible region for a linear program wit two variables (see tet for details). (b) Contour lines of te objective function: for different values of (profit). Te
More informationReferendumled Immigration Policy in the Welfare State
Referendumled Immigration Policy in te Welfare State YUJI TAMURA Department of Economics, University of Warwick, UK First version: 12 December 2003 Updated: 16 Marc 2004 Abstract Preferences of eterogeneous
More informationA QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS
A QUIK GUIDE TO THE FOMULAS OF MULTIVAIABLE ALULUS ontents 1. Analytic Geometry 2 1.1. Definition of a Vector 2 1.2. Scalar Product 2 1.3. Properties of the Scalar Product 2 1.4. Length and Unit Vectors
More information1 Computational Fluid Dynamics Reading Group: Finite Element Methods for Stokes & The Infamous InfSup Condition
1 Computational Fluid Dynamics Reading Group: Finite Element Metods for Stokes & Te Infamous InfSup Condition Fall 009. 09/11/09 Darsi Devendran, Sandra May & Eduardo Corona 1.1 Introduction Last week
More informationMATHEMATICAL MODELS OF LIFE SUPPORT SYSTEMS Vol. I  Mathematical Models for Prediction of Climate  Dymnikov V.P.
MATHEMATICAL MODELS FOR PREDICTION OF CLIMATE Institute of Numerical Matematics, Russian Academy of Sciences, Moscow, Russia. Keywords: Modeling, climate system, climate, dynamic system, attractor, dimension,
More informationBoundary Conditions in Fluid Mechanics
Boundary Conditions in Fluid Mechanics R. Shankar Subramanian Department of Chemical and Biomolecular Engineering Clarkson University The governing equations for the velocity and pressure fields are partial
More informationLINEAR ALGEBRA W W L CHEN
LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,
More information2.3 Convex Constrained Optimization Problems
42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions
More informationIs Gravity an Entropic Force?
Is Gravity an Entropic Force? San Gao Unit for HPS & Centre for Time, SOPHI, University of Sydney, Sydney, NSW 006, Australia; EMail: sgao7319@uni.sydney.edu.au Abstract: Te remarkable connections between
More information1 Derivatives of Piecewise Defined Functions
MATH 1010E University Matematics Lecture Notes (week 4) Martin Li 1 Derivatives of Piecewise Define Functions For piecewise efine functions, we often ave to be very careful in computing te erivatives.
More informationNotes: Most of the material in this chapter is taken from Young and Freedman, Chap. 12.
Capter 6. Fluid Mecanics Notes: Most of te material in tis capter is taken from Young and Freedman, Cap. 12. 6.1 Fluid Statics Fluids, i.e., substances tat can flow, are te subjects of tis capter. But
More informationLINE INTEGRALS OF VECTOR FUNCTIONS: GREEN S THEOREM. Contents. 2. Green s Theorem 3
LINE INTEGRALS OF VETOR FUNTIONS: GREEN S THEOREM ontents 1. A differential criterion for conservative vector fields 1 2. Green s Theorem 3 1. A differential criterion for conservative vector fields We
More informationThe modelling of business rules for dashboard reporting using mutual information
8 t World IMACS / MODSIM Congress, Cairns, Australia 37 July 2009 ttp://mssanz.org.au/modsim09 Te modelling of business rules for dasboard reporting using mutual information Gregory Calbert Command, Control,
More informationPractice Final Math 122 Spring 12 Instructor: Jeff Lang
Practice Final Math Spring Instructor: Jeff Lang. Find the limit of the sequence a n = ln (n 5) ln (3n + 8). A) ln ( ) 3 B) ln C) ln ( ) 3 D) does not exist. Find the limit of the sequence a n = (ln n)6
More information1 Density functions, cummulative density functions, measures of central tendency, and measures of dispersion
Density functions, cummulative density functions, measures of central tendency, and measures of dispersion densityfunctionsintro.tex October, 9 Note tat tis section of notes is limitied to te consideration
More informationHøgskolen i Narvik Sivilingeniørutdanningen STE6237 ELEMENTMETODER. Oppgaver
Høgskolen i Narvik Sivilingeniørutdanningen STE637 ELEMENTMETODER Oppgaver Klasse: 4.ID, 4.IT Ekstern Professor: Gregory A. Chechkin email: chechkin@mech.math.msu.su Narvik 6 PART I Task. Consider twopoint
More informationf(x) f(a) x a Our intuition tells us that the slope of the tangent line to the curve at the point P is m P Q =
Lecture 6 : Derivatives and Rates of Cange In tis section we return to te problem of finding te equation of a tangent line to a curve, y f(x) If P (a, f(a)) is a point on te curve y f(x) and Q(x, f(x))
More informationGeometric evolution equations with triple junctions. junctions in higher dimensions
Geometric evolution equations with triple junctions in higher dimensions University of Regensburg joint work with and Daniel Depner (University of Regensburg) Yoshihito Kohsaka (Muroran IT) February 2014
More informationWe call this set an ndimensional parallelogram (with one vertex 0). We also refer to the vectors x 1,..., x n as the edges of P.
Volumes of parallelograms 1 Chapter 8 Volumes of parallelograms In the present short chapter we are going to discuss the elementary geometrical objects which we call parallelograms. These are going to
More informationM(0) = 1 M(1) = 2 M(h) = M(h 1) + M(h 2) + 1 (h > 1)
Insertion and Deletion in VL Trees Submitted in Partial Fulfillment of te Requirements for Dr. Eric Kaltofen s 66621: nalysis of lgoritms by Robert McCloskey December 14, 1984 1 ackground ccording to Knut
More informationMultigrid computational methods are
M ULTIGRID C OMPUTING Wy Multigrid Metods Are So Efficient Originally introduced as a way to numerically solve elliptic boundaryvalue problems, multigrid metods, and teir various multiscale descendants,
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More informationSolution Derivations for Capa #7
Solution Derivations for Capa #7 1) Consider te beavior of te circuit, wen various values increase or decrease. (Select Iincreases, Ddecreases, If te first is I and te rest D, enter IDDDD). A) If R1
More informationMultivariate time series analysis: Some essential notions
Capter 2 Multivariate time series analysis: Some essential notions An overview of a modeling and learning framework for multivariate time series was presented in Capter 1. In tis capter, some notions on
More informationTraining Robust Support Vector Regression via D. C. Program
Journal of Information & Computational Science 7: 12 (2010) 2385 2394 Available at ttp://www.joics.com Training Robust Support Vector Regression via D. C. Program Kuaini Wang, Ping Zong, Yaoong Zao College
More information