On the degrees of freedom in GR

Size: px
Start display at page:

Download "On the degrees of freedom in GR"

Transcription

1 On the degrees of freedom in GR István Rácz Wigner RCP Budpest University of the Bsque Country Bilbo, 27 My, 2015 István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

2 Pln 1 The degrees of freedom 2 Folitions nd their use 3 Solving the constrints 4 Summry István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

3 The degrees of freedom Jnus-fced GR: The ren nd the phenomen : All the pre-gr physicl theories provide distinction between the ren in which physicl phenomen tke plce nd the phenomen themselves. ren: phenomen: clssicl mechnics phse spce: δ b dynmicl trjectories electrodynmics Minkowski spcetime: η b evolution of F b generl reltivity curved spcetime: g b evolution of g b Such cler distinction between the ren nd the phenomenon is simply not vilble in generl reltivity the metric plys both roles. GR is more thn merely field theoretic description of grvity. It is certin body of universl rules: modeling the spce of events by four-dimensionl differentible mnifold the use of tensor fields nd tensor equtions to describe physicl phenomen use of the (otherwise dynmicl) metric in mesuring of distnces, res, volumes, ngles... István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

4 The degrees of freedom The degrees of freedom in GR: Wht re the degrees of freedom? i theory possessing n initil vlue formultion: degrees of freedom is synonym of how mny distinct solutions of the equtions exist in ordinry prticle mechnics: the number of degrees of freedom is the number of quntities tht must be specified s initil dt divided by two The degrees of freedom in the linerized theory: Einstein (1916, 1918): the field equtions involve two degrees of freedom per spcetime point when studying linerized theory Is the full nonliner theory chrcterized by two degrees of freedom? Drmois (1927): probbly the erliest nswer in the confirmtory bsed on considertion of the Cuchy (or initil vlue) problem in GR How to identify these two degrees of freedom? They re supposed to be given in terms of components of the metric tensor nd its derivtives or such combintions of these s, e.g. the Riemnn tensor. István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

5 The degrees of freedom The degrees of freedom in GR: Wht re the min issues? initil dt: (h ij, K ij ), metric nd symmetric tensor on Σ 0 (3) R + ( K j j) 2 Kij K ij = 0 & D j K j i D i K j j = 0 D i denotes the covrint derivtive opertor ssocited with h ij. conforml method A. Lichnerowicz (1944) nd J.W. York (1972): the constrints re solved by trnsforming them into semiliner elliptic system by replcing the fields h ij nd K ij by φ 4 h ij nd φ 2 Kij no wy singles out precisely which functions (i.e., which of the 12 metric or extrinsic curvture components or functions of them) cn be freely specified, which functions re determined by the constrints, nd which functions correspond to guge trnsformtions. Indeed, one of the mjor obstcles to developing quntum theory of grvity is the inbility to single out the physicl degrees of freedom of the theory. R.M. Wld: Generl Reltivity, Univ. Chicgo Press, (1984) The min issue is not to find the only legitimte quntities representing the grvittionl degrees of freedom, rther, finding prticulrly convenient embodiment of this informtion (solving vrious problems). István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

6 The outline: The degrees of freedom Bsed on some recent ppers I. Rácz: Is the Binchi identity lwys hyperbolic?, Clss. Quntum Grv. 31 (2014) I. Rácz: Cuchy problem s two-surfce bsed geometrodynmics, Clss. Quntum Grv. 32 (2015) I. Rácz: Dynmicl determintion of the grvittionl degrees of freedom, submitted to Clss. Quntum Grv. I. Rácz nd J. Winicour: Blck hole initil dt without elliptic equtions, to pper in Phys. Rev. D The min messge: 1 Euclidend Lorentzin signture Einsteinin spces of n + 1-dimension (n 3), stisfying some mild topologicl ssumptions, will be considered. 2 the Binchi identity cn be used to explore reltions of vrious subsets of the bsic field equtions 3 new method in solving the constrints: s opposed to the conforml one by introducing some geometriclly distinguished vribles!!! regrdless whether the primry spce is Riemnnin or Lorentzin momentum constrint s first order symmetric hyperbolic system. the Hmiltonin constrint s prbolic or lgebric eqution 4 the conforml structure ppers to provide convenient embodiment of the degrees of freedom István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

7 Assumptions: The degrees of freedom The primry spce: (M, g b ) M : n + 1-dim. (n 3), smooth, prcompct, connected, orientble mnifold g b : smooth Lorentzin (,+,...,+) or Riemnnin (+,...,+) metric Einsteinin spce: Einstein s eqution restricting the geometry G b G b = 0 with source term G b hving vnishing divergence, G b = 0. or, i more conventionlly looking setup [R b 1 2 g b R] + Λ g b = 8π T b with mtter fields stisfying their field equtions with energy-momentum tensor T b nd with cosmologicl constnt Λ G b = 8π T b Λ g b István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

8 Folitions nd their use The primry 1 + n splitting: No restriction on the topology by Einstein s equtions! (locl PDEs) Assume: M is folited by one-prmeter fmily of homologous hypersurfces, i.e. M R Σ, for some codimension one mnifold Σ. known to hold for globlly hyperbolic spcetimes (Lorentzin cse) equivlent to the existence of smooth function σ : M R with non-vnishing grdient σ such tht the σ = const level surfces Σ σ = {σ} Σ comprise the one-prmeter folition of M. Σ σ István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

9 Projections: Folitions nd their use The projection opertor: the unit norm vector field tht is norml to the Σ σ level surfces = ɛ the sign of the norm of is not fixed. ɛ tkes the vlue 1 or +1 for Lorentzin or Riemnnin metric g b, respectively. the projection opertor to the level surfces of σ : M R. h b = δ b ɛ n b the induced metric on the σ = const level surfces h b = h e h f b g ef while D denotes the covrint derivtive opertor ssocited with h b. István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

10 Folitions nd their use Decompositions of vrious fields: Exmples: form field: L = δ e L e = (h e + ɛ n e ) L e = λ + L where λ = ɛ n e L e nd L = h e L e time evolution vector field σ : σ e e σ = 1 σ σ σ σ σ n σ σ = σ + σ = N n + N n σ σ σ where N nd N denotes the lps nd shift of σ = ( σ) : N = ɛ (σ e n e) nd N = h e σ e István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

11 Folitions nd their use Decompositions of vrious fields: Any symmetric tensor field P b cn be decomposed in terms of nd fields living on the σ = const level surfces s P b = π n b + [ p b + n b p ] + P b where π = n e n f P ef, p = ɛ h e n f P ef, P b = h e h f b P ef It is lso rewrding to inspect the decomposition of the contrction P b : ɛ ( P e ) n e = L n π + D e p e + [π (K e e) ɛ P ef K ef 2 ɛ ṅ e p e ] ( P e ) h e b = L n p b + D e P eb + [(K e e) p b + ṅ b π ɛ ṅ e P eb ] ṅ := n e e = ɛ D ln N bck István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

12 Folitions nd their use Decompositions of vrious fields: Exmples: the metric g b = ɛ n b + h b the source term G b = n b e + [ p b + n b p ] + S b where e = n e n f G ef, p = ɛ h e n f G ef, S b = h e h f b G ef the r.h.s. of our bsic field eqution E b = G b G b E b = n b E (H) + [ E (M) b + n b E (M) ] + (E (EVOL) b + h b E (H) ) E (H) = n e n f E ef, E (M) = ɛ h e n f E ef, E (EVOL) b = h e h f b E ef h b E (H) István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

13 Folitions nd their use Reltions between vrious prts of the bsic equtions: The decomposition of the covrint divergence E b = 0 of E b = G b G b : L n E (M) b L n E (H) + D e E (M) e + D (E (EVOL) b + [ E (H) (K e e) 2 ɛ (ṅ e E (M) e ) bck ɛ K e (E (EVOL) e + h e E (H) ) ] = 0 + h b E (H) ) + [ (K e e) E (M) b + E (H) ṅ b ɛ (E (EVOL) b + h b E (H) ) ṅ ] = 0 first order symmetric hyperbolic liner homogeneous system for (E (H), E (M) i ) T fosh Theorem Let (M, g b ) be s specified bove nd ssume tht the metric h b induced on the σ = const level surfces is Riemnnin. Then, regrdless whether g b is of Lorentzin or Eucliden signture, ny solution to the reduced equtions E (EVOL) b = 0 is lso solution to the full set of field equtions G b G b = 0 provided tht the constrint expressions E (H) nd E (M) vnish on one of the σ = const level surfces. bck István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

14 Folitions nd their use The secondry 1 + [n 1] splitting: Assume now tht on one of the σ = const level surfces sy on Σ 0 there exists smooth function ρ : Σ 0 R, with nowhere vnishing grdient such tht: the ρ = const level surfces S ρ re homologous to ech other nd such tht they re orientble compct without boundry in M. n i n i n i n i n i i n n i n i n i i n The metric h ij on Σ 0 cn be decomposed s Σ 0 h ij = ˆγ ij + ˆn iˆn j in terms of the positive definite metric ˆγ ij, induced on the S ρ hypersurfces, nd the unit norm field ˆn i = ˆN 1 [ ( ρ) i ˆN i ] norml to the S ρ hypersurfces on Σ 0, where ˆN nd ˆN i denotes the lps nd shift of n evolution vector field ρ i = ( ρ) i on Σ 0. István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

15 Folitions nd their use Secondry projections: The Lie trnsport of this folition of Σ 0 long the integrl curves of the vector field σ yields the two-prmeter folition S σ,ρ : σ σ σ σ σ σ n the fields ˆn i, ˆγ ij nd the ssocited projection op. ˆγ k l = h k l ˆn kˆn l to the codimension-two surfces S σ,ρ get to be well-defined throughout M. σ σ σ cn be put into the form Σ σ h e h f b E ef with some lgebr = E (EVOL) b + h b E (H) h e ih f j E ef = (n) E ij = (n) G ij (n) G ij István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

16 Folitions nd their use The integrbility condition for (n) G ij (n) G ij = 0 (n)e ij = Ê(H) ˆn iˆn j + [ˆn i Ê (M) j + ˆn j Ê (M) i ] + (Ê(EVOL) ij + ˆγ ij Ê (H) ) Ê (H) = ˆn eˆn f (n) E ef, Ê (M) i = ˆγ e j ˆn f (n) E ef, Ê (EVOL) ij = ˆγ e iˆγ f j (n)e ef ˆγ ij Ê (H) Lemm The integrbility condition D i [ (n) G ij ] = 0 holds on Σ σ if the momentum constrint expression E (M) b, long with its Lie derivtive L n E (M) b, vnishes there. Corollry Assume tht E (M) b = 0 oll the Σ σ level surfces, nd tht both Ê(H) nd Ê(M) vnish long world-tube W S in M. Theny solution to the secondry reduced equtions Ê(EVOL) = 0 is lso solution to the secondry equtions (n) ij G ij (n) G ij = 0. Corollry Theorem Assume, iddition, tht E (H) = 0 on Σ 0. Theny solution to the reduced equtions Ê(EVOL) ij = 0 is lso solution to the originl bsic field equtions G ij G ij = 0. [ E (M) b = 0 on Σ 0 = 0, {Ê(H) Ê(M) i = 0} on W S ] István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

17 Folitions nd their use The explicit forms: Expressions in the 1 + n decomposition: E (H) = n e n f E ef = 1 2 { ɛ (n) R + (K e e) 2 K ef K ef 2 e} E (M) E (EVOL) where = h e n f E ef = D e K e D K e e ɛ p b = (n) R b + ɛ { L n K b (K e e)k b + 2 K e K e b ɛ N 1 D D b N } ( ) + 1+ɛ (n 1) h b E (H) S b 1 n 1 h b [S ef h ef + ɛ e] e = n e n f G ef, p = ɛ h e n f G ef, S b = h e h f b G ef nd the extrinsic curvture K b which is defined s K b = h e e n b = 1 2 L nh b where L n stnds for the Lie derivtive with respect to István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

18 Folitions nd their use The explicit forms: Expressions in the 1 + [n 1] decomposition: Ê (H) = 1 2 { ˆR + ( ˆK l l) 2 ˆK kl ˆKkl 2 ê}, Ê (M) i = ˆD l ˆKli ˆD i ˆKl l ˆp i, Ê (EVOL) ij = ˆR ij Lˆn ˆKij ( ˆK l l) ˆK ij + 2 ˆK il ˆKl j ˆN 1 ˆDi ˆDj ˆN + ˆγ ij {Lˆn ˆKl l + ˆK kl ˆKkl + ˆN 1 ˆDl ˆDl ˆN} [ Ŝ ij ê ˆγ ij ] where ˆD i, ˆR ij nd ˆR denote the covrint derivtive opertor, the Ricci tensor nd the sclr curvture of ˆγ ij, respectively. The htted source terms ê, ˆp i nd Ŝ ij nd the extrinsic curvture ˆK ij re defined s nd ê = ˆn kˆn l (n) G kl, ˆp i = ˆγ k i ˆn l (n) G kl nd Ŝ ij = ˆγ k iˆγ l j (n) G kl ˆK ij = ˆγ l i D l ˆn j = 1 2 Lˆnˆγ ij István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

19 Solving the constrints The 1 + [n 1] decomposition of the extrinsic curvture: The Σ σ hypersurfces in both cses re spcelike: K ij = κ ˆn iˆn j + [ˆn i k j + ˆn j k i ] + K ij κ = ˆn kˆn l K kl = ˆn k (L nˆn k ) k i = ˆγ k iˆn l K kl = 1 2 ˆγk i (L nˆn k ) 1 2 ˆγ ki (L nˆn k ) K ij = ˆγ k iˆγ l j K kl = 1 2 ˆγk iˆγ l j (L nˆγ kl ) K l l = ˆγ kl K kl = 1 2 ˆγij (L nˆγ ij ) projection tking the trce free prts on the S σ,ρ surfces: Π kl ij = ˆγ k iˆγ l j 1 n 1 ˆγ ij ˆγ kl K ij = K ij 1 n 1 ˆγ ij(ˆγ ef K ef ) István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

20 Solving the constrints The 1 + n constrints The momentum constrint: E (M) = h e n f E ef = D e K e D K e e ɛ p = 0 div ( ˆK l l) k i + ˆD l K li + κ ˆn i + Lˆn k i ˆn l K li ˆD i κ n 2 n 1 ˆD i (K l l) ɛ p l ˆγ l i = 0 κ ( ˆK l l) + ˆD l k l K kl ˆKkl 2 ˆn l k l Lˆn (K l l) ɛ p l ˆn l = 0 where ˆnk = ˆn l D lˆn k = ˆD k (ln ˆN) With some lgebr in coordintes (ρ, x 3,..., x n+1 ) dopted to the folition S σ,ρ : n 1 (n 2) ˆN ˆγAB 0 (n 1) ˆN K ρ + (n 2) ˆN ˆγAB ˆγ AK k B 0 1 ˆγ BK ˆN K K K E + B A (k) = 0 B E (K) Is first order symmetric hyperbolic system for the vector vlued vrible (k B, K E E) T where the rdil coordinte ρ plys the role of time.... with chrcteristic cone (prt from the surfces S ρ with ˆn i ξ i = 0) [ˆγ ij (n 1) ˆn iˆn j ] ξ iξ j = 0 István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

21 Solving the constrints The 1 + n constrints The Hmiltonin constrint: E (H) = n e n f E ef = 1 2 { ɛ (n) R + (K e e) 2 K ef K ef 2 e} = 0 using { (n) R = ˆR 2 Lˆn ( ˆK l l) + ( ˆK l l) 2 + ˆK ˆKkl kl + 2 ˆN } 1 ˆDl ˆDl ˆN ɛ ˆR { + ɛ 2 Lˆn ( ˆK l l) +( ˆK l l) 2 + ˆK ˆKkl kl + 2 ˆN } 1 ˆDl ˆDl ˆN + 2 κ K l l + (K l l) 2 2 k l k l K kl K kl 2 e = 0 lgebric eqution for κ provided tht K l l does not vnish eliminting κ the momentum constrint becomes strongly hyperbolic system for (k i, K l l) T provided tht κ nd K l l re of opposite sign by choosing the free dt ( ˆN, ˆN i, ˆγ ij, K ij) on Σ 0 this cn be gurnteed loclly considering dt in Kerr-Schild form: g b = η b + 2Hl l b, (H smooth! on R 4, l is null with respect to both g b nd n implicit bckground Minkowski metric η b ) for ner Schwrzschild k A κ 0 pproximtions: Kl l κ 2(1+2H) 1+H everywhere! István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

22 Solving the constrints Conforml structure by splitting of the induced metric ˆγ ij : There exist smooth function Ω : Σ 0 R which does not vnish except t n origin where the folition S ρ smoothly reduces to point on the Σ 0 level surfces such tht the induced metric ˆγ ij cn be decomposed s ˆγ ij = Ω 2 γ ij where γ ij is such tht γ ij (L ρ γ ij ) = 0 throughout Σ 0 surfces. Wht does the second reltion men? In virtue of γ ij (L ρ γ ij ) = L ρ ln[det(γ ij )] the determinnt is independent of ρ but my depend on the ngulr coordintes. Does the desired smooth function Ω : Σ 0 R nd the metric γ ij exist? István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

23 Solving the constrints The conforml structure: γ ij = Ω 2 ˆγ ij The construction of Ω : Σ 0 R: for ny smooth distribution of the induced metric ˆγ ij one my integrte ˆγ ij (L ρˆγ ij ) = γ ij (L ρ γ ij ) + (n 1) L ρ (ln Ω 2 ) long the integrl curves of ρ on Σ 0, strting with smooth non-vnishing function Ω 0 = Ω 0 (x 3,..., x n+1 ) t S 0. Ω 2 = Ω 2 (ρ, x 3,..., x n+1 ) cn be gives [ Ω 2 = Ω 2 0 exp (ˆγ ij (L ρˆγ ij ) ) d ρ] 1 n 1 ρ 0 The conforml structure stisfying γ ij (L ρ γ ij ) = 0 cn be given thes: γ ij = Ω 2 ˆγ ij István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

24 Solving the constrints The other fces of the Hmiltonin constrint: ɛ ˆR { + ɛ 2 Lˆn ( ˆK l l) +( ˆK l l) 2 + ˆK ˆKkl kl + 2 ˆN } 1 ˆDl ˆDl ˆN + 2 κ K l l + (K l l) 2 2 k l k l K kl K kl 2 e = 0 ɛ = ±1 elliptic eqution for Ω: using ˆKl l = n 1 2 Lˆn ln Ω 2 ˆN 1 D k ˆN k nd ˆγ ij = Ω 2 γ ij = ˆR [ (γ)r { }] = Ω 2 (n 2) D l D l ln Ω 2 + (n 3) (D l ln Ω 2 )(D 4 l ln Ω 2 ) prbolic eqution for ˆN: ˆK l l = ˆN 1 [ n 1 2 L ρ ln Ω 2 ˆD k ˆN k ], Lˆn ( ˆK l l) = [...] Lˆn ˆN +... & ˆN 1 ˆDl ˆDl ˆN R. Brtnik (1993), R. Weinstein & B. Smith (2004) István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

25 Solving the constrints Sorting the components of (h ij, K ij ): The twelve independent components of the pir (h ij, K ij) my be represented by ( ˆN, ˆN i, Ω, γ ij; κ, k i, K l l, K ij) or by pplying κ = Ln ln ˆN nd k i = (2 ˆN) 1 ˆγ il (L n ˆN l ) K l l = n 1 2 L n ln Ω 2 nd K ij = 1 2 Ω2 γ k iγ l j (L nγ kl ) ( ˆN, ˆN i, Ω, γ ij; L n ˆN, Ln ˆN l, L nω, L nγ ij) The momentum constrint (stisfying hyperbolic system) clwys be solved s n initil vlue problem with initil dt specified t some S ρ Σ σ for the vribles L n ˆN l, L nω. The Hmiltonin constrint: ɛ = ±1 elliptic eqution for Ω: ill-posed together with the hyp.mom.constr. prbolic eqution for ˆN: freely specifible: ( ˆN i, Ω, γ ij ; L n ˆN, L nγ ij ) lgebric eqution for κ: freely specifible: ( ˆN, ˆN i, Ω, γ ij ; L nγ ij ) István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

26 Summry: Summry 1 Euclidend Lorentzin signture Einsteinin spces of n + 1-dimension (n 3) were considered. The topology of M ws restricted by ssuming: smoothly folited by one-prmeter fmily of homologous hypersurfces one of these level surfces is smoothly folited by one-prmeter fmily of codimension-two-surfces (orientble compct without boundry in M) 2 the Binchi identity nd pir of nested decompositions cn be used to explore reltions of vrious projections of the field equtions 3 solving the 1 + n constrints: by introducing some geometriclly distinguished vribles!!! regrdless whether the primry spce is Riemnnin or Lorentzin momentum constrint s first order symmetric hyperbolic system. the Hmiltonin constrint s prbolic or lgebric eqution 4 the conforml structure γ ij, defined on the foliting codimension-two surfces S ρ, ppers to provide convenient embodiment of the (n 1) n 2 1 degrees of freedom to vrious metric theories of grvity István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

27 Summry Thnks for your ttention István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

28 Summry First order symmetric hyperbolic liner homogeneous system for (E (H), E (M) i ) T : L n E (M) b L n E (H) + D e E (M) e + D (E (EVOL) b + [ E (H) (K e e) 2 ɛ (ṅ e E (M) e ) ɛ K e (E (EVOL) e + h e E (H) ) ] = 0 + h b E (H) ) + [ (K e e) E (M) b + E (H) ṅ b ɛ (E (EVOL) b + h b E (H) ) ṅ ] = 0 When writing them out explicitly in some locl coordintes (σ, x 1,..., x n ) dopted to the vector field σ = N + N : σ e eσ = 1 nd the folition {Σ σ}, red s {( 1 N N hij ) ( 1 σ + N k N h jk h ik 1 N N k h ij ) } ( ) E (H) k = E (M) i ( ) E E j where the source terms E nd E j re liner nd homogeneous in E (H) nd E (M) i. It is lso informtive to inspect the chrcteristic cone ssocited with the bove eqution which prt from the hypersurfces Σ σ with n i ξ i = 0 cn be gives (h ij n i n j ) ξ iξ j = 0 bck István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

29 Summry Reltions between vrious prts of the bsic equtions: Corollry If the constrint expressions E (H) surfces then the reltions nd E (M) vnish oll the σ = const level K b E (EVOL) b = 0 D E (EVOL) b ɛ ṅ E (EVOL) b = 0 hold for the evolutionry expression E (EVOL) b. István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

30 Hving n origin Summry A world-line W ρ represents n origin in M: If the foliting codimension-two-surfces smoothly reduce to point on the Σ σ level surfces t the loction ρ = ρ. bck Note tht then Ω vnishes t ρ = ρ. = The existence of n origin on the individul Σ σ level surfces is signified by the limiting behvior ˆγ ij (L ρˆγ ij) ± while ρ ρ ±. σ σ σ n σ σ σ wρ * σ σ σ n To hve regulr origin in M: One needs to impose further conditions excluding the occurrence of vrious defects such s the existence of conicl singulrity. An origin W ρ will be referred s being regulr if there exist smooth functions ˆN (2), Ω (3) nd ˆN A (1) such tht, i neighborhood of the loction ρ = ρ on the Σ σ level surfces, the bsic vribles ˆN, Ω nd ˆN A cn be gives ˆN = 1 + (ρ ρ ) 2 ˆN (2), Ω = (ρ ρ ) + (ρ ρ ) 3 Ω (3), ˆN A = (ρ ρ ) ˆN A (1) István Rácz (Wigner RCP, Budpest) degrees of freedom 27 My, / 30

EQUATIONS OF LINES AND PLANES

EQUATIONS OF LINES AND PLANES EQUATIONS OF LINES AND PLANES MATH 195, SECTION 59 (VIPUL NAIK) Corresponding mteril in the ook: Section 12.5. Wht students should definitely get: Prmetric eqution of line given in point-direction nd twopoint

More information

Vectors 2. 1. Recap of vectors

Vectors 2. 1. Recap of vectors Vectors 2. Recp of vectors Vectors re directed line segments - they cn be represented in component form or by direction nd mgnitude. We cn use trigonometry nd Pythgors theorem to switch between the forms

More information

Euler Euler Everywhere Using the Euler-Lagrange Equation to Solve Calculus of Variation Problems

Euler Euler Everywhere Using the Euler-Lagrange Equation to Solve Calculus of Variation Problems Euler Euler Everywhere Using the Euler-Lgrnge Eqution to Solve Clculus of Vrition Problems Jenine Smllwood Principles of Anlysis Professor Flschk My 12, 1998 1 1. Introduction Clculus of vritions is brnch

More information

5.2. LINE INTEGRALS 265. Let us quickly review the kind of integrals we have studied so far before we introduce a new one.

5.2. LINE INTEGRALS 265. Let us quickly review the kind of integrals we have studied so far before we introduce a new one. 5.2. LINE INTEGRALS 265 5.2 Line Integrls 5.2.1 Introduction Let us quickly review the kind of integrls we hve studied so fr before we introduce new one. 1. Definite integrl. Given continuous rel-vlued

More information

Physics 6010, Fall 2010 Symmetries and Conservation Laws: Energy, Momentum and Angular Momentum Relevant Sections in Text: 2.6, 2.

Physics 6010, Fall 2010 Symmetries and Conservation Laws: Energy, Momentum and Angular Momentum Relevant Sections in Text: 2.6, 2. Physics 6010, Fll 2010 Symmetries nd Conservtion Lws: Energy, Momentum nd Angulr Momentum Relevnt Sections in Text: 2.6, 2.7 Symmetries nd Conservtion Lws By conservtion lw we men quntity constructed from

More information

Integration. 148 Chapter 7 Integration

Integration. 148 Chapter 7 Integration 48 Chpter 7 Integrtion 7 Integrtion t ech, by supposing tht during ech tenth of second the object is going t constnt speed Since the object initilly hs speed, we gin suppose it mintins this speed, but

More information

g(y(a), y(b)) = o, B a y(a)+b b y(b)=c, Boundary Value Problems Lecture Notes to Accompany

g(y(a), y(b)) = o, B a y(a)+b b y(b)=c, Boundary Value Problems Lecture Notes to Accompany Lecture Notes to Accompny Scientific Computing An Introductory Survey Second Edition by Michel T Heth Boundry Vlue Problems Side conditions prescribing solution or derivtive vlues t specified points required

More information

Polynomial Functions. Polynomial functions in one variable can be written in expanded form as ( )

Polynomial Functions. Polynomial functions in one variable can be written in expanded form as ( ) Polynomil Functions Polynomil functions in one vrible cn be written in expnded form s n n 1 n 2 2 f x = x + x + x + + x + x+ n n 1 n 2 2 1 0 Exmples of polynomils in expnded form re nd 3 8 7 4 = 5 4 +

More information

4.11 Inner Product Spaces

4.11 Inner Product Spaces 314 CHAPTER 4 Vector Spces 9. A mtrix of the form 0 0 b c 0 d 0 0 e 0 f g 0 h 0 cnnot be invertible. 10. A mtrix of the form bc d e f ghi such tht e bd = 0 cnnot be invertible. 4.11 Inner Product Spces

More information

Use Geometry Expressions to create a more complex locus of points. Find evidence for equivalence using Geometry Expressions.

Use Geometry Expressions to create a more complex locus of points. Find evidence for equivalence using Geometry Expressions. Lerning Objectives Loci nd Conics Lesson 3: The Ellipse Level: Preclculus Time required: 120 minutes In this lesson, students will generlize their knowledge of the circle to the ellipse. The prmetric nd

More information

INTERCHANGING TWO LIMITS. Zoran Kadelburg and Milosav M. Marjanović

INTERCHANGING TWO LIMITS. Zoran Kadelburg and Milosav M. Marjanović THE TEACHING OF MATHEMATICS 2005, Vol. VIII, 1, pp. 15 29 INTERCHANGING TWO LIMITS Zorn Kdelburg nd Milosv M. Mrjnović This pper is dedicted to the memory of our illustrious professor of nlysis Slobodn

More information

Harvard College. Math 21a: Multivariable Calculus Formula and Theorem Review

Harvard College. Math 21a: Multivariable Calculus Formula and Theorem Review Hrvrd College Mth 21: Multivrible Clculus Formul nd Theorem Review Tommy McWillim, 13 tmcwillim@college.hrvrd.edu December 15, 2009 1 Contents Tble of Contents 4 9 Vectors nd the Geometry of Spce 5 9.1

More information

Physics 43 Homework Set 9 Chapter 40 Key

Physics 43 Homework Set 9 Chapter 40 Key Physics 43 Homework Set 9 Chpter 4 Key. The wve function for n electron tht is confined to x nm is. Find the normliztion constnt. b. Wht is the probbility of finding the electron in. nm-wide region t x

More information

Math 314, Homework Assignment 1. 1. Prove that two nonvertical lines are perpendicular if and only if the product of their slopes is 1.

Math 314, Homework Assignment 1. 1. Prove that two nonvertical lines are perpendicular if and only if the product of their slopes is 1. Mth 4, Homework Assignment. Prove tht two nonverticl lines re perpendiculr if nd only if the product of their slopes is. Proof. Let l nd l e nonverticl lines in R of slopes m nd m, respectively. Suppose

More information

Section 7-4 Translation of Axes

Section 7-4 Translation of Axes 62 7 ADDITIONAL TOPICS IN ANALYTIC GEOMETRY Section 7-4 Trnsltion of Aes Trnsltion of Aes Stndrd Equtions of Trnslted Conics Grphing Equtions of the Form A 2 C 2 D E F 0 Finding Equtions of Conics In the

More information

The Velocity Factor of an Insulated Two-Wire Transmission Line

The Velocity Factor of an Insulated Two-Wire Transmission Line The Velocity Fctor of n Insulted Two-Wire Trnsmission Line Problem Kirk T. McDonld Joseph Henry Lbortories, Princeton University, Princeton, NJ 08544 Mrch 7, 008 Estimte the velocity fctor F = v/c nd the

More information

LINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES

LINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES LINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES DAVID WEBB CONTENTS Liner trnsformtions 2 The representing mtrix of liner trnsformtion 3 3 An ppliction: reflections in the plne 6 4 The lgebr of

More information

All pay auctions with certain and uncertain prizes a comment

All pay auctions with certain and uncertain prizes a comment CENTER FOR RESEARC IN ECONOMICS AND MANAGEMENT CREAM Publiction No. 1-2015 All py uctions with certin nd uncertin prizes comment Christin Riis All py uctions with certin nd uncertin prizes comment Christin

More information

Review guide for the final exam in Math 233

Review guide for the final exam in Math 233 Review guide for the finl exm in Mth 33 1 Bsic mteril. This review includes the reminder of the mteril for mth 33. The finl exm will be cumultive exm with mny of the problems coming from the mteril covered

More information

Mathematics. Vectors. hsn.uk.net. Higher. Contents. Vectors 128 HSN23100

Mathematics. Vectors. hsn.uk.net. Higher. Contents. Vectors 128 HSN23100 hsn.uk.net Higher Mthemtics UNIT 3 OUTCOME 1 Vectors Contents Vectors 18 1 Vectors nd Sclrs 18 Components 18 3 Mgnitude 130 4 Equl Vectors 131 5 Addition nd Subtrction of Vectors 13 6 Multipliction by

More information

6 Energy Methods And The Energy of Waves MATH 22C

6 Energy Methods And The Energy of Waves MATH 22C 6 Energy Methods And The Energy of Wves MATH 22C. Conservtion of Energy We discuss the principle of conservtion of energy for ODE s, derive the energy ssocited with the hrmonic oscilltor, nd then use this

More information

and thus, they are similar. If k = 3 then the Jordan form of both matrices is

and thus, they are similar. If k = 3 then the Jordan form of both matrices is Homework ssignment 11 Section 7. pp. 249-25 Exercise 1. Let N 1 nd N 2 be nilpotent mtrices over the field F. Prove tht N 1 nd N 2 re similr if nd only if they hve the sme miniml polynomil. Solution: If

More information

GENERALIZED QUATERNIONS SERRET-FRENET AND BISHOP FRAMES SERRET-FRENET VE BISHOP ÇATILARI

GENERALIZED QUATERNIONS SERRET-FRENET AND BISHOP FRAMES SERRET-FRENET VE BISHOP ÇATILARI Sy 9, Arlk 0 GENERALIZED QUATERNIONS SERRET-FRENET AND BISHOP FRAMES Erhn ATA*, Ysemin KEMER, Ali ATASOY Dumlupnr Uniersity, Fculty of Science nd Arts, Deprtment of Mthemtics, KÜTAHYA, et@dpu.edu.tr ABSTRACT

More information

Novel Methods of Generating Self-Invertible Matrix for Hill Cipher Algorithm

Novel Methods of Generating Self-Invertible Matrix for Hill Cipher Algorithm Bibhudendr chry, Girij Snkr Rth, Srt Kumr Ptr, nd Sroj Kumr Pnigrhy Novel Methods of Generting Self-Invertible Mtrix for Hill Cipher lgorithm Bibhudendr chry Deprtment of Electronics & Communiction Engineering

More information

AREA OF A SURFACE OF REVOLUTION

AREA OF A SURFACE OF REVOLUTION AREA OF A SURFACE OF REVOLUTION h cut r πr h A surfce of revolution is formed when curve is rotted bout line. Such surfce is the lterl boundr of solid of revolution of the tpe discussed in Sections 7.

More information

MODULE 3. 0, y = 0 for all y

MODULE 3. 0, y = 0 for all y Topics: Inner products MOULE 3 The inner product of two vectors: The inner product of two vectors x, y V, denoted by x, y is (in generl) complex vlued function which hs the following four properties: i)

More information

Graphs on Logarithmic and Semilogarithmic Paper

Graphs on Logarithmic and Semilogarithmic Paper 0CH_PHClter_TMSETE_ 3//00 :3 PM Pge Grphs on Logrithmic nd Semilogrithmic Pper OBJECTIVES When ou hve completed this chpter, ou should be ble to: Mke grphs on logrithmic nd semilogrithmic pper. Grph empiricl

More information

Brillouin Zones. Physics 3P41 Chris Wiebe

Brillouin Zones. Physics 3P41 Chris Wiebe Brillouin Zones Physics 3P41 Chris Wiebe Direct spce to reciprocl spce * = 2 i j πδ ij Rel (direct) spce Reciprocl spce Note: The rel spce nd reciprocl spce vectors re not necessrily in the sme direction

More information

6.2 Volumes of Revolution: The Disk Method

6.2 Volumes of Revolution: The Disk Method mth ppliction: volumes of revolution, prt ii Volumes of Revolution: The Disk Method One of the simplest pplictions of integrtion (Theorem ) nd the ccumultion process is to determine so-clled volumes of

More information

Reasoning to Solve Equations and Inequalities

Reasoning to Solve Equations and Inequalities Lesson4 Resoning to Solve Equtions nd Inequlities In erlier work in this unit, you modeled situtions with severl vriles nd equtions. For exmple, suppose you were given usiness plns for concert showing

More information

Example A rectangular box without lid is to be made from a square cardboard of sides 18 cm by cutting equal squares from each corner and then folding

Example A rectangular box without lid is to be made from a square cardboard of sides 18 cm by cutting equal squares from each corner and then folding 1 Exmple A rectngulr box without lid is to be mde from squre crdbord of sides 18 cm by cutting equl squres from ech corner nd then folding up the sides. 1 Exmple A rectngulr box without lid is to be mde

More information

9 CONTINUOUS DISTRIBUTIONS

9 CONTINUOUS DISTRIBUTIONS 9 CONTINUOUS DISTIBUTIONS A rndom vrible whose vlue my fll nywhere in rnge of vlues is continuous rndom vrible nd will be ssocited with some continuous distribution. Continuous distributions re to discrete

More information

Babylonian Method of Computing the Square Root: Justifications Based on Fuzzy Techniques and on Computational Complexity

Babylonian Method of Computing the Square Root: Justifications Based on Fuzzy Techniques and on Computational Complexity Bbylonin Method of Computing the Squre Root: Justifictions Bsed on Fuzzy Techniques nd on Computtionl Complexity Olg Koshelev Deprtment of Mthemtics Eduction University of Texs t El Pso 500 W. University

More information

How To Understand The Theory Of Inequlities

How To Understand The Theory Of Inequlities Ostrowski Type Inequlities nd Applictions in Numericl Integrtion Edited By: Sever S Drgomir nd Themistocles M Rssis SS Drgomir) School nd Communictions nd Informtics, Victori University of Technology,

More information

Module 2. Analysis of Statically Indeterminate Structures by the Matrix Force Method. Version 2 CE IIT, Kharagpur

Module 2. Analysis of Statically Indeterminate Structures by the Matrix Force Method. Version 2 CE IIT, Kharagpur Module Anlysis of Stticlly Indeterminte Structures by the Mtrix Force Method Version CE IIT, Khrgpur esson 9 The Force Method of Anlysis: Bems (Continued) Version CE IIT, Khrgpur Instructionl Objectives

More information

body.allow-sidebar OR.no-sidebar.home-page (if this is the home page).has-custom-banner OR.nocustom-banner .IR OR.no-IR

body.allow-sidebar OR.no-sidebar.home-page (if this is the home page).has-custom-banner OR.nocustom-banner .IR OR.no-IR body.llow-sidebr OR.no-sidebr.home-pge (if this is the home pge).hs-custom-bnner OR.nocustom-bnner.IR OR.no-IR #IDENTIFIER_FOR_THIS_SITE div#pge-continer.depends_on_page_ty PE llow-sidebr mens tht there

More information

A.7.1 Trigonometric interpretation of dot product... 324. A.7.2 Geometric interpretation of dot product... 324

A.7.1 Trigonometric interpretation of dot product... 324. A.7.2 Geometric interpretation of dot product... 324 A P P E N D I X A Vectors CONTENTS A.1 Scling vector................................................ 321 A.2 Unit or Direction vectors...................................... 321 A.3 Vector ddition.................................................

More information

Econ 4721 Money and Banking Problem Set 2 Answer Key

Econ 4721 Money and Banking Problem Set 2 Answer Key Econ 472 Money nd Bnking Problem Set 2 Answer Key Problem (35 points) Consider n overlpping genertions model in which consumers live for two periods. The number of people born in ech genertion grows in

More information

Probability density functions of some skew tent maps

Probability density functions of some skew tent maps Chos, Solitons nd Frctls 12 (2001) 365±376 wwwelseviernl/locte/chos Probbility density functions of some skew tent mps L Billings, EM Bollt b, * Nvl Reserch Lbortory, Code 67003, Specil Project in Nonliner

More information

2005-06 Second Term MAT2060B 1. Supplementary Notes 3 Interchange of Differentiation and Integration

2005-06 Second Term MAT2060B 1. Supplementary Notes 3 Interchange of Differentiation and Integration Source: http://www.mth.cuhk.edu.hk/~mt26/mt26b/notes/notes3.pdf 25-6 Second Term MAT26B 1 Supplementry Notes 3 Interchnge of Differentition nd Integrtion The theme of this course is bout vrious limiting

More information

Decision Rule Extraction from Trained Neural Networks Using Rough Sets

Decision Rule Extraction from Trained Neural Networks Using Rough Sets Decision Rule Extrction from Trined Neurl Networks Using Rough Sets Alin Lzr nd Ishwr K. Sethi Vision nd Neurl Networks Lbortory Deprtment of Computer Science Wyne Stte University Detroit, MI 48 ABSTRACT

More information

QUADRATURE METHODS. July 19, 2011. Kenneth L. Judd. Hoover Institution

QUADRATURE METHODS. July 19, 2011. Kenneth L. Judd. Hoover Institution QUADRATURE METHODS Kenneth L. Judd Hoover Institution July 19, 2011 1 Integrtion Most integrls cnnot be evluted nlyticlly Integrls frequently rise in economics Expected utility Discounted utility nd profits

More information

SPECIAL PRODUCTS AND FACTORIZATION

SPECIAL PRODUCTS AND FACTORIZATION MODULE - Specil Products nd Fctoriztion 4 SPECIAL PRODUCTS AND FACTORIZATION In n erlier lesson you hve lernt multipliction of lgebric epressions, prticulrly polynomils. In the study of lgebr, we come

More information

ORBITAL MANEUVERS USING LOW-THRUST

ORBITAL MANEUVERS USING LOW-THRUST Proceedings of the 8th WSEAS Interntionl Conference on SIGNAL PROCESSING, ROBOICS nd AUOMAION ORBIAL MANEUVERS USING LOW-HRUS VIVIAN MARINS GOMES, ANONIO F. B. A. PRADO, HÉLIO KOII KUGA Ntionl Institute

More information

9.3. The Scalar Product. Introduction. Prerequisites. Learning Outcomes

9.3. The Scalar Product. Introduction. Prerequisites. Learning Outcomes The Sclr Product 9.3 Introduction There re two kinds of multipliction involving vectors. The first is known s the sclr product or dot product. This is so-clled becuse when the sclr product of two vectors

More information

Distributions. (corresponding to the cumulative distribution function for the discrete case).

Distributions. (corresponding to the cumulative distribution function for the discrete case). Distributions Recll tht n integrble function f : R [,] such tht R f()d = is clled probbility density function (pdf). The distribution function for the pdf is given by F() = (corresponding to the cumultive

More information

2.016 Hydrodynamics Prof. A.H. Techet

2.016 Hydrodynamics Prof. A.H. Techet .01 Hydrodynics Reding #.01 Hydrodynics Prof. A.H. Techet Added Mss For the cse of unstedy otion of bodies underwter or unstedy flow round objects, we ust consider the dditionl effect (force) resulting

More information

SPH simulation of fluid-structure interaction problems

SPH simulation of fluid-structure interaction problems Diprtimento di ingegneri idrulic e mientle SPH simultion of fluid-structure interction prolems C. Antoci, M. Gllti, S. Siill Reserch project Prolem: deformtion of plte due to the ction of fluid (lrge displcement

More information

Lecture 5. Inner Product

Lecture 5. Inner Product Lecture 5 Inner Product Let us strt with the following problem. Given point P R nd line L R, how cn we find the point on the line closest to P? Answer: Drw line segment from P meeting the line in right

More information

Integration by Substitution

Integration by Substitution Integrtion by Substitution Dr. Philippe B. Lvl Kennesw Stte University August, 8 Abstrct This hndout contins mteril on very importnt integrtion method clled integrtion by substitution. Substitution is

More information

ITS HISTORY AND APPLICATIONS

ITS HISTORY AND APPLICATIONS NEČAS CENTER FOR MATHEMATICAL MODELING, Volume 1 HISTORY OF MATHEMATICS, Volume 29 PRODUCT INTEGRATION, ITS HISTORY AND APPLICATIONS Antonín Slvík (I+ A(x)dx)=I+ b A(x)dx+ b x2 A(x 2 )A(x 1 )dx 1 dx 2

More information

DIFFERENTIAL FORMS AND INTEGRATION

DIFFERENTIAL FORMS AND INTEGRATION DIFFERENTIAL FORMS AND INTEGRATION TERENCE TAO The concept of integrtion is of course fundmentl in single-vrible clculus. Actully, there re three concepts of integrtion which pper in the subject: the indefinite

More information

Operations with Polynomials

Operations with Polynomials 38 Chpter P Prerequisites P.4 Opertions with Polynomils Wht you should lern: Write polynomils in stndrd form nd identify the leding coefficients nd degrees of polynomils Add nd subtrct polynomils Multiply

More information

Treatment Spring Late Summer Fall 0.10 5.56 3.85 0.61 6.97 3.01 1.91 3.01 2.13 2.99 5.33 2.50 1.06 3.53 6.10 Mean = 1.33 Mean = 4.88 Mean = 3.

Treatment Spring Late Summer Fall 0.10 5.56 3.85 0.61 6.97 3.01 1.91 3.01 2.13 2.99 5.33 2.50 1.06 3.53 6.10 Mean = 1.33 Mean = 4.88 Mean = 3. The nlysis of vrince (ANOVA) Although the t-test is one of the most commonly used sttisticl hypothesis tests, it hs limittions. The mjor limittion is tht the t-test cn be used to compre the mens of only

More information

MATH 150 HOMEWORK 4 SOLUTIONS

MATH 150 HOMEWORK 4 SOLUTIONS MATH 150 HOMEWORK 4 SOLUTIONS Section 1.8 Show tht the product of two of the numbers 65 1000 8 2001 + 3 177, 79 1212 9 2399 + 2 2001, nd 24 4493 5 8192 + 7 1777 is nonnegtive. Is your proof constructive

More information

TITLE THE PRINCIPLES OF COIN-TAP METHOD OF NON-DESTRUCTIVE TESTING

TITLE THE PRINCIPLES OF COIN-TAP METHOD OF NON-DESTRUCTIVE TESTING TITLE THE PRINCIPLES OF COIN-TAP METHOD OF NON-DESTRUCTIVE TESTING Sung Joon Kim*, Dong-Chul Che Kore Aerospce Reserch Institute, 45 Eoeun-Dong, Youseong-Gu, Dejeon, 35-333, Kore Phone : 82-42-86-231 FAX

More information

Karlstad University. Division for Engineering Science, Physics and Mathematics. Yury V. Shestopalov and Yury G. Smirnov. Integral Equations

Karlstad University. Division for Engineering Science, Physics and Mathematics. Yury V. Shestopalov and Yury G. Smirnov. Integral Equations Krlstd University Division for Engineering Science, Physics nd Mthemtics Yury V. Shestoplov nd Yury G. Smirnov Integrl Equtions A compendium Krlstd Contents 1 Prefce 4 Notion nd exmples of integrl equtions

More information

Basic Analysis of Autarky and Free Trade Models

Basic Analysis of Autarky and Free Trade Models Bsic Anlysis of Autrky nd Free Trde Models AUTARKY Autrky condition in prticulr commodity mrket refers to sitution in which country does not engge in ny trde in tht commodity with other countries. Consequently

More information

Binary Representation of Numbers Autar Kaw

Binary Representation of Numbers Autar Kaw Binry Representtion of Numbers Autr Kw After reding this chpter, you should be ble to: 1. convert bse- rel number to its binry representtion,. convert binry number to n equivlent bse- number. In everydy

More information

Factoring Polynomials

Factoring Polynomials Fctoring Polynomils Some definitions (not necessrily ll for secondry school mthemtics): A polynomil is the sum of one or more terms, in which ech term consists of product of constnt nd one or more vribles

More information

Experiment 6: Friction

Experiment 6: Friction Experiment 6: Friction In previous lbs we studied Newton s lws in n idel setting, tht is, one where friction nd ir resistnce were ignored. However, from our everydy experience with motion, we know tht

More information

Review Problems for the Final of Math 121, Fall 2014

Review Problems for the Final of Math 121, Fall 2014 Review Problems for the Finl of Mth, Fll The following is collection of vrious types of smple problems covering sections.,.5, nd.7 6.6 of the text which constitute only prt of the common Mth Finl. Since

More information

The Definite Integral

The Definite Integral Chpter 4 The Definite Integrl 4. Determining distnce trveled from velocity Motivting Questions In this section, we strive to understnd the ides generted by the following importnt questions: If we know

More information

On decidability of LTL model checking for process rewrite systems

On decidability of LTL model checking for process rewrite systems Act Informtic (2009) 46:1 28 DOI 10.1007/s00236-008-0082-3 ORIGINAL ARTICLE On decidbility of LTL model checking for process rewrite systems Lur Bozzelli Mojmír Křetínský Vojtěch Řehák Jn Strejček Received:

More information

Pure C4. Revision Notes

Pure C4. Revision Notes Pure C4 Revision Notes Mrch 0 Contents Core 4 Alger Prtil frctions Coordinte Geometry 5 Prmetric equtions 5 Conversion from prmetric to Crtesin form 6 Are under curve given prmetriclly 7 Sequences nd

More information

Module Summary Sheets. C3, Methods for Advanced Mathematics (Version B reference to new book) Topic 2: Natural Logarithms and Exponentials

Module Summary Sheets. C3, Methods for Advanced Mathematics (Version B reference to new book) Topic 2: Natural Logarithms and Exponentials MEI Mthemtics in Ection nd Instry Topic : Proof MEI Structured Mthemtics Mole Summry Sheets C, Methods for Anced Mthemtics (Version B reference to new book) Topic : Nturl Logrithms nd Eponentils Topic

More information

RIGHT TRIANGLES AND THE PYTHAGOREAN TRIPLETS

RIGHT TRIANGLES AND THE PYTHAGOREAN TRIPLETS RIGHT TRIANGLES AND THE PYTHAGOREAN TRIPLETS Known for over 500 yers is the fct tht the sum of the squres of the legs of right tringle equls the squre of the hypotenuse. Tht is +b c. A simple proof is

More information

Solving BAMO Problems

Solving BAMO Problems Solving BAMO Problems Tom Dvis tomrdvis@erthlink.net http://www.geometer.org/mthcircles Februry 20, 2000 Abstrct Strtegies for solving problems in the BAMO contest (the By Are Mthemticl Olympid). Only

More information

2m + V ( ˆX) (1) 2. Consider a particle in one dimensions whose Hamiltonian is given by

2m + V ( ˆX) (1) 2. Consider a particle in one dimensions whose Hamiltonian is given by Teoretisk Fysik KTH Advnced QM SI2380), Exercise 8 12 1. 3 Consider prticle in one dimensions whose Hmiltonin is given by Ĥ = ˆP 2 2m + V ˆX) 1) with [ ˆP, ˆX] = i. By clculting [ ˆX, [ ˆX, Ĥ]] prove tht

More information

Project 6 Aircraft static stability and control

Project 6 Aircraft static stability and control Project 6 Aircrft sttic stbility nd control The min objective of the project No. 6 is to compute the chrcteristics of the ircrft sttic stbility nd control chrcteristics in the pitch nd roll chnnel. The

More information

. At first sight a! b seems an unwieldy formula but use of the following mnemonic will possibly help. a 1 a 2 a 3 a 1 a 2

. At first sight a! b seems an unwieldy formula but use of the following mnemonic will possibly help. a 1 a 2 a 3 a 1 a 2 7 CHAPTER THREE. Cross Product Given two vectors = (,, nd = (,, in R, the cross product of nd written! is defined to e: " = (!,!,! Note! clled cross is VECTOR (unlike which is sclr. Exmple (,, " (4,5,6

More information

Helicopter Theme and Variations

Helicopter Theme and Variations Helicopter Theme nd Vritions Or, Some Experimentl Designs Employing Pper Helicopters Some possible explntory vribles re: Who drops the helicopter The length of the rotor bldes The height from which the

More information

Redistributing the Gains from Trade through Non-linear. Lump-sum Transfers

Redistributing the Gains from Trade through Non-linear. Lump-sum Transfers Redistributing the Gins from Trde through Non-liner Lump-sum Trnsfers Ysukzu Ichino Fculty of Economics, Konn University April 21, 214 Abstrct I exmine lump-sum trnsfer rules to redistribute the gins from

More information

BORN - INFELD - RIEMANN GRAVITY

BORN - INFELD - RIEMANN GRAVITY BORN - INFELD - RIEMANN GRAVITY A Thesis Submitted to the Grdute School of Engineering nd Sciences of İzmir Institute of Technology in Prtil Fulfillment of the Requirements for the Degree of MASTER OF

More information

Scalar and Vector Quantities. A scalar is a quantity having only magnitude (and possibly phase). LECTURE 2a: VECTOR ANALYSIS Vector Algebra

Scalar and Vector Quantities. A scalar is a quantity having only magnitude (and possibly phase). LECTURE 2a: VECTOR ANALYSIS Vector Algebra Sclr nd Vector Quntities : VECTO NLYSIS Vector lgebr sclr is quntit hving onl mgnitude (nd possibl phse). Emples: voltge, current, chrge, energ, temperture vector is quntit hving direction in ddition to

More information

DIFFERENTIATING UNDER THE INTEGRAL SIGN

DIFFERENTIATING UNDER THE INTEGRAL SIGN DIFFEENTIATING UNDE THE INTEGAL SIGN KEITH CONAD I hd lerned to do integrls by vrious methods shown in book tht my high school physics techer Mr. Bder hd given me. [It] showed how to differentite prmeters

More information

Lecture 3 Gaussian Probability Distribution

Lecture 3 Gaussian Probability Distribution Lecture 3 Gussin Probbility Distribution Introduction l Gussin probbility distribution is perhps the most used distribution in ll of science. u lso clled bell shped curve or norml distribution l Unlike

More information

PROF. BOYAN KOSTADINOV NEW YORK CITY COLLEGE OF TECHNOLOGY, CUNY

PROF. BOYAN KOSTADINOV NEW YORK CITY COLLEGE OF TECHNOLOGY, CUNY MAT 0630 INTERNET RESOURCES, REVIEW OF CONCEPTS AND COMMON MISTAKES PROF. BOYAN KOSTADINOV NEW YORK CITY COLLEGE OF TECHNOLOGY, CUNY Contents 1. ACT Compss Prctice Tests 1 2. Common Mistkes 2 3. Distributive

More information

Optiml Control of Seril, Multi-Echelon Inventory (E&I) & Mixed Erlng demnds

Optiml Control of Seril, Multi-Echelon Inventory (E&I) & Mixed Erlng demnds Optiml Control of Seril, Multi-Echelon Inventory/Production Systems with Periodic Btching Geert-Jn vn Houtum Deprtment of Technology Mngement, Technische Universiteit Eindhoven, P.O. Box 513, 56 MB, Eindhoven,

More information

PROBLEMS 13 - APPLICATIONS OF DERIVATIVES Page 1

PROBLEMS 13 - APPLICATIONS OF DERIVATIVES Page 1 PROBLEMS - APPLICATIONS OF DERIVATIVES Pge ( ) Wter seeps out of conicl filter t the constnt rte of 5 cc / sec. When the height of wter level in the cone is 5 cm, find the rte t which the height decreses.

More information

trademark and symbol guidelines FOR CORPORATE STATIONARY APPLICATIONS reviewed 01.02.2007

trademark and symbol guidelines FOR CORPORATE STATIONARY APPLICATIONS reviewed 01.02.2007 trdemrk nd symbol guidelines trdemrk guidelines The trdemrk Cn be plced in either of the two usul configurtions but horizontl usge is preferble. Wherever possible the trdemrk should be plced on blck bckground.

More information

Der Naturwissenschaftlichen Fakultät der Friedrich-Alexander-Universität Erlangen-Nürnberg zur Erlangung des Doktorgrades Dr. rer. nat.

Der Naturwissenschaftlichen Fakultät der Friedrich-Alexander-Universität Erlangen-Nürnberg zur Erlangung des Doktorgrades Dr. rer. nat. Hybrid Dynmics Comprising Modes Governed by Prtil Differentil Equtions: Modeling, Anlysis nd Control for Semiliner Hyperbolic Systems in One Spce Dimension Der Nturwissenschftlichen Fkultät der Friedrich-Alexnder-Universität

More information

Section 5-4 Trigonometric Functions

Section 5-4 Trigonometric Functions 5- Trigonometric Functions Section 5- Trigonometric Functions Definition of the Trigonometric Functions Clcultor Evlution of Trigonometric Functions Definition of the Trigonometric Functions Alternte Form

More information

Homogenization of a parabolic equation in perforated domain with Neumann boundary condition

Homogenization of a parabolic equation in perforated domain with Neumann boundary condition Proc. Indin Acd. Sci. Mth. Sci. Vol. 112, No. 1, Februry 22, pp. 195 27. Printed in Indi Homogeniztion of prbolic eqution in perforted domin with Neumnn boundry condition A K NANDAKUMARAN nd M RAJESH Deprtment

More information

addition, there are double entries for the symbols used to signify different parameters. These parameters are explained in this appendix.

addition, there are double entries for the symbols used to signify different parameters. These parameters are explained in this appendix. APPENDIX A: The ellipse August 15, 1997 Becuse of its importnce in both pproximting the erth s shpe nd describing stellite orbits, n informl discussion of the ellipse is presented in this ppendix. The

More information

Regular Sets and Expressions

Regular Sets and Expressions Regulr Sets nd Expressions Finite utomt re importnt in science, mthemtics, nd engineering. Engineers like them ecuse they re super models for circuits (And, since the dvent of VLSI systems sometimes finite

More information

** Dpt. Chemical Engineering, Kasetsart University, Bangkok 10900, Thailand

** Dpt. Chemical Engineering, Kasetsart University, Bangkok 10900, Thailand Modelling nd Simultion of hemicl Processes in Multi Pulse TP Experiment P. Phnwdee* S.O. Shekhtmn +. Jrungmnorom** J.T. Gleves ++ * Dpt. hemicl Engineering, Ksetsrt University, Bngkok 10900, Thilnd + Dpt.hemicl

More information

Lectures 8 and 9 1 Rectangular waveguides

Lectures 8 and 9 1 Rectangular waveguides 1 Lectures 8 nd 9 1 Rectngulr wveguides y b x z Consider rectngulr wveguide with 0 < x b. There re two types of wves in hollow wveguide with only one conductor; Trnsverse electric wves

More information

15.6. The mean value and the root-mean-square value of a function. Introduction. Prerequisites. Learning Outcomes. Learning Style

15.6. The mean value and the root-mean-square value of a function. Introduction. Prerequisites. Learning Outcomes. Learning Style The men vlue nd the root-men-squre vlue of function 5.6 Introduction Currents nd voltges often vry with time nd engineers my wish to know the verge vlue of such current or voltge over some prticulr time

More information

Applications to Physics and Engineering

Applications to Physics and Engineering Section 7.5 Applictions to Physics nd Engineering Applictions to Physics nd Engineering Work The term work is used in everydy lnguge to men the totl mount of effort required to perform tsk. In physics

More information

Algebra Review. How well do you remember your algebra?

Algebra Review. How well do you remember your algebra? Algebr Review How well do you remember your lgebr? 1 The Order of Opertions Wht do we men when we write + 4? If we multiply we get 6 nd dding 4 gives 10. But, if we dd + 4 = 7 first, then multiply by then

More information

Value Function Approximation using Multiple Aggregation for Multiattribute Resource Management

Value Function Approximation using Multiple Aggregation for Multiattribute Resource Management Journl of Mchine Lerning Reserch 9 (2008) 2079-2 Submitted 8/08; Published 0/08 Vlue Function Approximtion using Multiple Aggregtion for Multittribute Resource Mngement Abrhm George Wrren B. Powell Deprtment

More information

LECTURE #05. Learning Objective. To describe the geometry in and around a unit cell in terms of directions and planes.

LECTURE #05. Learning Objective. To describe the geometry in and around a unit cell in terms of directions and planes. LECTURE #05 Chpter 3: Lttice Positions, Directions nd Plnes Lerning Objective To describe the geometr in nd round unit cell in terms of directions nd plnes. 1 Relevnt Reding for this Lecture... Pges 64-83.

More information

Example 27.1 Draw a Venn diagram to show the relationship between counting numbers, whole numbers, integers, and rational numbers.

Example 27.1 Draw a Venn diagram to show the relationship between counting numbers, whole numbers, integers, and rational numbers. 2 Rtionl Numbers Integers such s 5 were importnt when solving the eqution x+5 = 0. In similr wy, frctions re importnt for solving equtions like 2x = 1. Wht bout equtions like 2x + 1 = 0? Equtions of this

More information

Rotating DC Motors Part II

Rotating DC Motors Part II Rotting Motors rt II II.1 Motor Equivlent Circuit The next step in our consiertion of motors is to evelop n equivlent circuit which cn be use to better unerstn motor opertion. The rmtures in rel motors

More information

Radius of the Earth - Radii Used in Geodesy James R. Clynch February 2006

Radius of the Earth - Radii Used in Geodesy James R. Clynch February 2006 dius of the Erth - dii Used in Geodesy Jmes. Clynch Februry 006 I. Erth dii Uses There is only one rdius of sphere. The erth is pproximtely sphere nd therefore, for some cses, this pproximtion is dequte.

More information

4 Approximations. 4.1 Background. D. Levy

4 Approximations. 4.1 Background. D. Levy D. Levy 4 Approximtions 4.1 Bckground In this chpter we re interested in pproximtion problems. Generlly speking, strting from function f(x) we would like to find different function g(x) tht belongs to

More information

Hillsborough Township Public Schools Mathematics Department Computer Programming 1

Hillsborough Township Public Schools Mathematics Department Computer Programming 1 Essentil Unit 1 Introduction to Progrmming Pcing: 15 dys Common Unit Test Wht re the ethicl implictions for ming in tody s world? There re ethicl responsibilities to consider when writing computer s. Citizenship,

More information

Small Business Networking

Small Business Networking Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology

More information

Unit 29: Inference for Two-Way Tables

Unit 29: Inference for Two-Way Tables Unit 29: Inference for Two-Wy Tbles Prerequisites Unit 13, Two-Wy Tbles is prerequisite for this unit. In ddition, students need some bckground in significnce tests, which ws introduced in Unit 25. Additionl

More information