Euler-Lagrange Cohomology, Discrete Versions and Applications
|
|
- Everett Ellis
- 6 years ago
- Views:
Transcription
1 November, 2002 Euler-Lagrange Cohomology, Discrete Versions and Applications Han-Ying Guo In collaboration with J.Z. Pan, S.K. Wang, S.Y. Wu, K. Wu and B. Zhou et al. Contents 1 Introduction 2 2 ELCGs & Sympl c/volume-preserv in CM Lagrangian CM Hamiltonian CM ELCGs on Symplectic Manifolds The first ELCG The Higher ELCGs H 2n 1 EL (M, ω) & Volume-Preserv Equation First ELCG and Liouville s theorem H 1 EL & Liouville s theorem in CM H 1 EL & Liouville s theorem in SP First ELCG & Geometric Quantization 14 5 Discrete ELCG in DCM & Symplectic Algorithm DELC in Discrete CM Discrete LM Discrete HM DELC & SSPP in CM DELC Approach to SA Conclusion & Remarks 22 1
2 1 Introduction The key point I: The Euler-Lagrange cohomology grps. Introduce the EL cohomology grps H 2k 1 EL on (M 2n, ω): H 2k 1 EL (M) := {α dα = 0}/{α α = dβ}, α = i X ω k Ω (2k 1) (M), X T (M). 1. For k = 1, H 1 EL(M) = H 1 dr(m). The null EL 1-forms give rise to the EL eqns. The sympl c structure preserving (SSP) law holds iff the relevant EL 1-forms are closed, i.e. X is symplectic X X S (M). The SSP law holds not only on the slns but also in the fn spaces with relevant EL conditions. 2. For k = n, HEL 2n 1 (M) = HdR 2n 1 (M). The null EL (2n-1)-forms lead to the volume-preserv (v-p) eqns on M. The v-p law holds iff the relevant EL (2n-1)-forms are closed, i.e. X XS 2n 1 (M) X S (M). 3. In general, ELCGs are NOT the same as the DRCGs. The key point II: Sympl c/volume conservation laws. All sympl c conservation laws including Liouville s thm in the phase space of CM shld be extended in the sense of ELCGs. The key point III: Liouville s thm in Statistical Physics. It shld be extended, i.e. d dt ϱ = 0 if the subsystems may move along sympl c flow rather than Hamiltonian flow. The key point IV: Quantization via polarization. All quantum effects are related to EL cohomology via polarization in geometric quantization. The key point V: H 1 EL and its discrete version exist in DCM, CFT and DCFT. H 1 EL approach to sympl c/multi-sympl c algorithms. 2
3 2 ELCGs & Sympl c/volume-preserv in CM 2.1 Lagrangian CM t R 1, M the configuration space on t w crdnts q i, (i = 1,, n), T M the tangent space of M w (q i, q j ), F (T M) the fn space on T M. The Lagrangian: L(q i, q j ). The variat l principle with fixed ending points (a, b) δs = tb gives rise to the EL eqn: t a dt{e q iδq i + d dt { L q iδqi }}, δq i t=ta,t b = 0, E q i := L q d L i dt q = 0. i The exterior derivative d on M of L(q i, q j ): dl = E q idq i + d dt { L q idqi }. Define the EL 1-form and introduce the sympl c potential 1-form E(q i, q i ) := E q idq i, then θ = L q idqi, dl(q i, q i ) = E(q i, q i ) + d dt θ. Due to the nilpotency of d, d 2 L(q, q) = 0 leads to de(q i, q j ) + d dt ω = 0, where ω = dθ = 2 L q i q j dqi dq j + is the symplectic structure 2-form. 2 L q i q j dqi d q j 3
4 Theorem: The sympl c structure preserving (SSP) law wrt t, i.e. d dt ω = 0, holds iff the EL 1-form is closed w.r.t. d, i.e. de(q i, q j ) = 0, which is named the (closed) EL condition. Remarks: 1. The null EL 1-form that gives rise to the EL eqn, of course, satisfies the closed EL condition. The null EL 1-form can be redefined by adding certain exact forms so that the original eqn may be generalized to a type of eqns with different potentials of q i s, say, while the SSP law is the same. 2. In fact, this thm means that sympl c 2-form ω is preserved not only automatically on the slns but also in the fn space with the EL condition in general. 4
5 2.2 Hamiltonian CM Introduce conjugate momentum p j & Hamiltonian H via Legendre trnsfmtn Thus p j = L q j, H(qi, p j ) = p k q k L(q i, q j ). S = tb tb t a dt{p k q k H(q i, p j )}, δs = dt{e q δp i + E pi δq i + d t a dt (p iδq i )}, where E q i & E pi are canonical operators E q i := q i H p i, E pi := H q i ṗ i. Variat l principle leads to the canonical eqns q i = H p i, ṗ j = H q j correspond to E q i = 0 and E pi = 0, respectively. Introduce a pair of EL 1-forms correspond to EL 1-form in LM and sympl c potential 1-form E 1 (q i, p j ) = E q idq i, E 2 (q i, p j ) = E pj dp j, θ = p i dq i, we have where d(p k q k H) = E(q i, p j ) + d dt θ, E(q i, p j ) := E 1 (q i, p j ) + E 2 (q i, p j ). Finally, 0 = d 2 (p k q k H) leads to de(q i, p j ) + d dt ω = 0, ω = dp i dq i. Remarks: The thm in LM can be established in HM. All remarks made in LM can be made in HM. 5
6 2.3 ELCGs on Symplectic Manifolds The first ELCG A symplectic manifold (M 2n, ω) as the phase space. Given an observable f C (M), if the v.f. X f satisfies i Xf ω + df = 0 that corresponds to the canonical eq. for f, X f X H (M). Introduce the EL 1-form wrt vector field X on M E X = i X ω. X becomes a symplectic vector field X X S (M) if E X is closed. see, e.g., D. McDuff and D. Salamon, Introduction to symplectic topology, 2nd Ed. Clarendon Press, Oxford, 1998; p83. A symplectic flow f t, t [0, 1], associates to X X S (M). If E X = df, it becomes Hamiltonian X X H (M). Taking exterior derivative and using L X = di X + i X d, Theorem: de X = L X ω. 1. The 1st EL cohomology group may be nontrivial in general: H 1 EL(M) := {E X de X = 0}/{E X E X = dg}, g C (M); 2. The SSP law wrt t, i.e., d dt ω = L Xω = 0, holds iff the EL 1-form is closed or X X S (M) is symplectic. Remarks: 1. H 1 EL closely links with the space C of all curves, each corresponds to a symplectic flow. 2. It can be proved H 1 EL = H 1 derham on (M, ω). 6
7 2.3.2 The Higher ELCGs On (M 2n, ω), for 1 k n, we can define two sets of v.f.s. Def: X 2k 1 S (M, ω) := { X X (M) L X (ω k ) = 0 }, X 2k 1 H (M, ω) := { X X (M) i X (ω k ) is exact }. Note: 1. They are obviously linear spaces over R. 2. X 1 S (M, ω) = X S (M, ω) and X 1 H(M, ω) = X H (M, ω). 3. It can be found: XS 2n 1 (M, ω) is the space of volume-preserving vector fields. Since, for arbitrary vector field X, there is L X (ω k ) = di X (ω k ). A v.f. X XS 2k 1 (M, ω) iff i X (ω k ) is closed. Therefore, XH 2k 1 (M, ω) XS 2k 1 (M, ω), k. Since and it is also obvious: L X (ω k+1 ) = k + 1 k i X (ω k+1 ) = k + 1 k L X (ω k ) ω i X (ω k ) ω, XS 1 (M, ω)... XS 2k 1 (M, ω) XS 2k+1 (M, ω)... XS 2n 1 (M, ω), XH(M, 1 ω)... XH 2k 1 (M, ω) XH 2k+1 (M, ω)... XH 2n 1 (M, ω). Similarly, [X 2k 1 S (M, ω), X 2k 1 (M, ω)] X 2k 1 (M, ω). S H This indicates: X k H(M, ω) is an ideal of X k S (M, ω). define a quotient Lie algebra. Hence we can 7
8 Def: The 2k 1th E-L cohomology grp H 2k 1 EL which is Abelian for each k. (M, ω) := XS 2k 1 (M, ω)/xh 2k 1 (M, ω) Further, the following theorems can be proved. Theorem: The linear map ν n : X (M) Ω 2n 1 (M) is an isomorphism. Under it, XS 2n 1 (M, ω) and XH 2n 1 (M, ω) are isomorphic to Z 2n 1 (M) and B 2n 1 (M), respectively. Namely, The (2n 1)-th ELCG HEL 2n 1 (M, ω) is linearly isomorphic to HdR 2n 1 (M). Theorem: In general, the 2k 1-th ELCG is not isomorphic to H 1 dr(m) and the 2k 1-th ELCG is not isomorphic to the (2k 1)-th DRCG for 1 < k < n. And the 2k 1-th ELCG is not isomorphic to each other for 1 < k < n. 8
9 2.3.3 HEL 2n 1 (M, ω) & Volume-Preserv Equation The key points: The linear isomorphism btwn X n H(M, ω) (Hamiltonian v-p v.fs) & B 2n 1 (M, ω) (exact (2n 1)-forms on (M 2n, ω)). This is a direct generalization for the ordinary Hamiltonian system (n = 1) the linear isomorphism btwn X 1 H(M, ω) (Hamiltonian (SSP-)v.fs) & B 1 (M, ω) (exact 1-forms on (M, ω)). Namely, a volume-preserv system is described by a volumepreserv v.f.. the latter corresponds to a unique closed (2n 1)-form on (M, ω) and vise versa. Theorem: For a given v.f. X 2n 1 H (M, ω) X = ( P ij q j + Aj j Ai j ) ( p i p j q + Q ij i p j Aj j + Aj i ), q i q j p i where Q ji = Q ij, P ji = P ij. The general set of eqns for a volume-preserv system on (M, ω) loclly read: q i = P ij q j + Aj j p i Ai j p j, ṗ i = Q ij p j Aj j q i + Aj i q j. Remarks: 1. It is a direct generalization of the canonical eqns in Hamiltonian CM. 2. It contains ordinary VPEs in phase space as special cases. 3. It differs to the approach by Y. Nambu. 9
10 3 First ELCG and Liouville s theorem 3.1 HEL 1 & Liouville s theorem in CM Def. Flow: Given a differentiable v.f. X T M, the 1-parameter trnsfmtn grp on (M, ω) ϕ t : M M, p q = ϕ t (p), t [0, 1]; ϕ t : T M T M, X p X q = ϕ t X p s.t. ϕ t (p) is the integral curve of X from p M. The 1-parameter trnsfmtn grp {ϕ t } Diff(M) is called the flow wrt X T M. Def. Phase flow: The 1-parameter trnsfmtn grp on (M, ω) g t : (p i (0), q j (0)) (p i (t), q j (t)), t [0, 1], where p i (t), q j (t) are slns of canonical eqns. g t Diff H (M). Namely, X X H (M), Liouville s thm: The phase flow preserves volume: for any region D M, volume of g t D=volume of D. V.I. Arnold, Mathematical Methods of CM (1989). Def. Symplectic flow: The 1-parameter trnsfmtn grp on (M, ω), {f t } Diff S (M, ω), is called a symplectic flow. If f t : X X t := f X, t X t=0 = X, t [0, 1] where X t X S (M), t [0, 1], i.e. they are symplectic vectors. Extended Liouville s thm: The symplectic flow preserves volume: for any region D M, volume of f t D=volume of D. Proof: v(t) := where τ = 1 n! ω ω. Since }{{} n D(t) τ, D(t) τ = f td(0) τ = 10 D(t) = f t D(0), D(0) f t τ,
11 and for the symplectic map f t f t ω = ω f t τ = τ D(t) τ = D(0) τ. Remarks: 1. In general,. For n 2 it is easy to construct volumepreserving diffeomorphisms of R 2n which are not symplectic, and hence Symp(R 2n ) is a proper subgroup of Diff vol (R 2n ) (D. McDuff et. al. p21). f t v τ = τ L Xv ω = ϖ, f t v Diff vol (R 2n ) X v X V (R 2n ). s.t. ϖ ω = 0 L Xv τ = Both Liouville s thm and extended one are sufficient for the volume conservation but not necessary. 3. Liouville s thm has particularly important applications in SP and allows to apply methods of ergodic theory to the study of CM. 11
12 3.2 H 1 EL & Liouville s theorem in SP Def. Statistical distribution fn ρ(p i, q j ; t) in phase space Γ 6n : The density of the probability distribution in phase space. Normalization condition: Γ ρτ = 1, τ τ the volume element 6n-form. := 1 n! ω } {{ ω }, Liouville s thm: The distribution fn ρ(p i, q j ; t) is constant d dt ρ(p i, q j ; t) = 0, along the phase trajectories of the subsystem. L. D. Landau and E. M. Lifshitz, Statistical Physics, 3nd ed. Oxford, Kerson Huang, Statistical Mechanics, 2nd ed. NY, Extended Liouville s thm: The distribution fn ρ(p i, q j ; t) is constant if the subsystem is moving along the symplectic flow, i.e., the EL 1-form is closed along the flow. To prove the thm, first consider the eqn of continuity. 1. Consider a set of N points moving in a domain D Γ N = D n(p i, q j ; t), n(p i, q j ; t) := ρ(p i, q j ; t) τ. The integral invariant for conservation of the number of points ϕ t (D) n(p i, q j ; t) = D t=0 n(p i, q j ; t = 0), where t ϕ t is a 1-parameter grp, i.e., ϕ t Diff S (Γ), gives the eqn of continuity: 2. Since d dt n = (X t + )n = 0, t X t := xî t 0 = d dt (ρτ) = d dt ρ τ + ρ d dt τ. xî, xî = p i, q i. d dt τ = 0 d dt ω = L X t ω = 0 de Xt (p i, q j ) = 0, 12
13 thus d dt ρ = 0 de X t (p i, q j ) = 0. Remarks: 1. In fact, for Liouville s thm in SP, it also starts with the eq. of continuity first and then restricts to the phase flow. While for extended Liouville s thm in SP, corresponds to the symplectic flow rather than the phase flow. 2. In general, the volume-preserving diffs in R 2n, n 2 may not be symplectic. Therefore, for the distribution fn d dt ρ(p i, q j ; t) = 0, both Liouville s thm and extended one are sufficient only. 3. The extended Liouville s thm in SP, based on the extended Liouville s thm in CM, is more reasonable as one of the fundamental principles of SP. Most general one shld be related w the volumepreserving diffs. 13
14 4 First ELCG & Geometric Quantization Theorem: Quantization theorem in QM Quantization conditions in QM via geometric quantization correspond to the sum of a pair of the canonical EL 1-forms is closed along the taken polarization F, i.e. de(p i, q j ) F = d(e 1 + E 2 )(p i, q j ) F = 0. Proof: In geometric quantization: Quantization Pre-quantization + Polarization. A polarization F Γ satisfies three conditions: Since on Γ 1. [F, F ] F ; 2. dim F= 1 2dim Γ; 3. Along F, ω F = 0. the above condition 3 is equivalent to d(e 1 + E 2 )(p i, q j ) + d dt ω = 0, de(p i, q j ) F = d(e 1 + E 2 )(p i, q j ) F = 0. Remarks: 1. All quantum effects in QM via GQ are in EL cohomology. 2. Conjecture: The thm should be available for all QTs via geometric quantization. 3. What about this condition in other quantization methods? It is an open problem. 14
15 5 Discrete ELCG in DCM & Symplectic Algorithm 5.1 DELC in Discrete CM Discrete LM The DD Lagrangian at t k : L D (k) = L D (q i(k), t q i(k) ). Taking the exterior diff l d of L D (k), it follows dl (k) D = L D (k) q i(k) dqi(k) + L (k) D t q i(k)d( tq i(k) ). Using the modified Leibniz law, introducing the discrete E-L 1-form & discrete symplectic 1-form θ (k) DL E D (k) (q i(k), t q j(k) ) := { L D (k) q i(k) t ( L (k 1) D ( t q i(k 1) ) )}dqi(k), we have θ DL (k) = L D (k 1) ( t q i(k 1) ) dqi(k), dl D (k) = E D (k) + t θ D (k). Due to the nilpotency of d, we get de D (k) + t ω DL (k) = 0, where ω DL (k) is a discrete symplectic 2-form on T (M k ) ω DL (k) = dθ (k) DL = Discrete HM 2 (k 1) L D q i(k) ( t q j(k 1) ) dqi(k) dq j(k) 2 (k 1) L D + ( t q i(k) ) ( t q j(k 1) ) dq t i(k) dq j(k). Define DD canonical conjugate momentum p i (k) = L D (k 1) ( t q i(k 1) ). 15
16 The DD Hamiltonian through the discrete Legendre H D (k) = p i (k+1) t q i(k) L D (k). A set of canonical eqns for the time DD derivative of p (k) i follow from the difference E-L eqns & the above discrete Legendre: t p i (k) = H D (k) q i(k). From the discrete Legendre, another set of canonical eqns for the time DD discrete derivative of q i(k) follow t q i(k) = H D (k) p i (k+1), In terms of z (k), a pair of the canonical eqns become t z (k) = J 1 z H D (k) (z (k) ). The related cohomological issues in difference HM: Releasing all time discrete canonical variables (q i(k), p j (k) ) from the solution space, a pair of discrete E-L 1-forms can be introduced: or in term of z (k) E Dp (k) (q i(k), p j (k) ) = ( t p j (k) + H D (k) E Dq (k) (q i(k), p j (k) ) = ( t q j(k) H D (k) q j(k) )dqj(k), p j (k) )dp j (k), E Dz (k) (z (k) ) = dz (k)t (J t z (k) z H D (k) (z (k) )). By taking the exterior diff l of the discrete E-L 1-forms, we get de Dz (k) (z (k) ) + t ω DH (k) = 0, where ω DH (k) is the difference symplectic 2-form at t k : ω DH (k) = 1 2 dz(k)t Jdz (k). We can also start from the exterior diff l of L D (k) = p i (k+1) t q i(k) H D (k), introduce the discrete E-L 1-forms & the symplectic potential 1-form then take the second exterior differential to get above eqns. 16
17 5.1.3 DELC & SSPP in CM In fact, we have the following correspond relations: Discrete LM Discrete HM L D (q i(k), q i(k) ) p i (k+1) q i(k) H D (k) E D (q i(k), q i(k) ) E Dp (p i (k), q j(k) ) + E Dq (p i (k), q j(k) ) θ DL (k) dl D (k) = E D (k) + d dt θ DL (k) ω DL (k) θ DH (k) d(p (k+1) i (k) ω DH q i(k) H (k) D ) = E (k) Dp + E (k) Dq + d dt θ(k) DH de D (k) + d dt ω DL (k) = 0 d(e Dp (k) + E Dq (k) ) + d dt ω DH (k) = 0 Thus, we have the following theorem. Theorem: 1. There exists a nontrivial difference version of the 1st E-L cohomology in discrete CM: H 1 DCM := {E D de D = 0}/{E D E D = dα}. 2. The difference SSP equation t ω DH (k) = 0, i.e. ω DH (k+1) = ω DH (k) holds iff the discrete E-L forms are closed: de Dz (k) (z (k) ) = 0. 17
18 5.2 DELC Approach to SA How to apply the DELC approach to the symplectic algorithm? In the standard approach: 1. Regarding a numerical scheme as a (time-discrete) mapping. 2. In order to justify whether it is symplectic, the verification is always carried out in the solution space of the scheme, which is assumed to be existed & on which the ordinary diff l calculus could be performed. But, these are questionable! In the DELC approach, it is working on the fn space, which always exists & the diff l calculus is also well defined on it, w the relevant cohomological issues. Analog to the difference CM, there are two slightly different ways to apply the cohomological approach: 1. Based upon the DVP for the schemes & taking second (exterior) diff l of the action functional to get the necessary & sufficient condition for the SSP law of the scheme. 2. Introduce some suitable DD E-L 1-forms associated w the scheme s.t. the null DD E-L 1-forms give rise to the scheme. Then by taking the exterior derivative of the DD E-L 1-forms to see whether follows a time-discrete SSP law. Let us consider some examples to show how the cohomological scenario works. The Euler mid-point scheme: The difference Lagrangian of the scheme: L (k) mdpt = L(q i(k+ 1 2 ), t q i(k) ), q i(k+ 1 2 ) := 1 2 (qi(k+1) + q i(k) ). Note: q i(k+ 1 2 ) & t q i(k) are coordinates & tangents at t k. The discrete canonical momenta: p i (k+ 1 2 ) = L mdpt (k) ( t q i(k) ), p i (k+ 1 2 ) := 1 2 (p(k+1) i + p (k) i ). 18
19 The discrete Legendre transformation: H(q i(k+ 1 2 ), p i (k+ 1 2 ) ) = p i (k+ 1 2 ) t q i(k) L mdpt (k). The difference discrete action functional: S mdpt = k Z {p (k+1/2) i t q i(k) H(q i(k+1/2), p (k+1/2) i }. The variation of this DD action functional, δs mdpt = ɛ S mdptɛ ɛ=0. Eventually, the diff l of each term of S mdpt is given by dl mdpt (k) := dp i (k+1/2) ( t q i(k) p H(qi(k+1/2), p i (k+1/2) )) ( t p i (k) + p H(qi(k+1/2), p i (k+1/2) ))dq i(k+1/2) + t (p i (k) dq i(k) ). Here the generalized modified Leibniz law has been used: t (f (k) g (k) ) := 1 τ (f (k+1) g (k+1) f (k) g (k) ) = 1 τ ( tf (k) g (k+1/2) + f (k+1/2) t g (k) ). Introducing the discrete E-L 1-forms E (k) q = dp (k+1/2) i ( t q i(k) p H(qi(k+1/2), p (k+1/2) i )), E (k) p = ( t p (k) i + p H(qi(k+1/2), p (k+1/2) i ))dq i(k+1/2), & the difference canonical 1-form for the scheme: θ (k) mdpt = p (k) i dq i(k). Then dl mdpt (k) = E q (k) + E p (k) + t θ mdpt (k). By taking exterior diff l of this eqn, due to d 2 L mdpt = 0, it follows d(e q + E p ) (k) + t ω mdpt (k) = 0, where ω mdpt (k) = dp i (k) dq i(k). 19
20 Since the null E-L 1-forms give rise to the scheme & automatically satisfy d(e q + E p ) (k) = 0, while the latter leads to the symplectic conservation law from : t ω mdpt (k) := 1 τ (ω mdpt (k+1) ω mdpt (k) ) = 0. Therefore, the midpoint scheme is symplectic. The mid-point scheme in terms of z (k) : t z (k) = J 1 z H( 1 2 (z(k+1) + z (k) )). Release the scheme form the sln space first, even if it does exist. then introduce a difference E-L 1-form for the scheme E zmdpt (k) = 1 2 d(z(k+1) + z (k) ) T {J t z (k) z H( 1 2 (z(k+1) + z (k) ))} s.t. the null discrete E-L form gives rise to the scheme. Taking the exterior diff l of E zmdpt (k) in the fn space, it follows de zmdpt (k) = 1 2 d(z(k+1) + z (k) ) T J t dz (k). Therefore, the difference SSP law t (dz (k)t Jdz (k) ) = 0 holds iff the discrete E-L form is closed: de zmdpt (k) = 0. The 4-th order symplectic scheme: t z (n) = J 1 z H( 1 2 (z(n+1) + z (n) )) h2 24 J 1 z (( z H) T JH zz J z H)( 1 2 (z(n+1) + z (n) )). Introduce a new Hamiltonian H H = H h2 24 ( zh) T JH zz J z H, then this 4th-order symplectic scheme becomes t z (n) = J 1 z H( 1 2 (z(n+1) + z (n) )). 20
21 The discrete E-L 1-form associated w this case now can be introduced: E z4th (k) = 1 2 d(z(k+1) + z (k) ) T {J t z (k) z H( 1 2 (z(k+1) + z (k) ))}. It is easy to check that these two discrete E-L forms differ by an exact form: E zmdpt (k) E z4th (k) = h2 24 dα, where α = ( z H) T JH zz J z H is a function of 1 2 (z(k+1) + z (k) ). Namely, they are cohomologically equivalent. In addition, this also indicates that the 4-th order midpoint scheme can be established as a variational integrator by the DVP as well. 21
22 6 Conclusion & Remarks The 1st ELCG and SSP law are TWO SIDES OF THE SAME COIN. Applications of the 1st ELCG are as wide as SSP law. Possible applications in other physical topics where Liouville s thm wrt SSP law plays an important role. Are there other directly concrete physical applications? Yes! Mathematically, for finite dim l (M 2n, ω) : HEL/H 1 EL 2n 1 (M, ω) = HdeRham/H 1 derham(m), 2n 1 respectively. Then, due to the Poincarè lemma, In general, HEL(M, 1 ω) = HEL 2n 1 (M, ω). H 2k 1 EL (M, ω) H k derham(m, ω), 1 < k < n. Open questions: Classification? Topological meaning? etc. What about applications for HEL 2k 1 (M, ω)? Mechanically, for k = n BEL 2n 1 (M, ω) leads to the general volumepreserv eqn in phase space. Liouville s theorems in CM and SP shld be further generalized accord to HEL 2n 1 (M, ω). For k 1, n, they are still open. Discrete case of HEL 2k 1 (M, ω): For k = 1, the time discrete version may be applied to DCM & SA. For k 1, it is still open. What about infinite dim l cases for CFT and their discrete versions? 22
GEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
More informationHamiltonian flows, cotangent lifts, and momentum maps
Hamiltonian flows, cotangent lifts, and momentum maps Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Symplectic manifolds Let (M, ω) and (N, η) be symplectic
More informationDirac Structures and the Legendre Transformation for Implicit Lagrangian and Hamiltonian Systems
Dirac Structures and the Legendre Transformation for Implicit Lagrangian and Hamiltonian Systems Hiroaki Yoshimura Mechanical Engineering, Waseda University Tokyo, Japan Joint Work with Jerrold E. Marsden
More informationThe Geometry of Euler s equation. Introduction
The Geometry of Euler s equation Introduction Part 1 Mechanical systems with constraints, symmetries flexible joint fixed length In principle can be dealt with by applying F=ma, but this can become complicated
More informationChapter 1. Principles of Motion in Invariantive Mechanics
Chapter 1 Principles of Motion in Invariantive Mechanics 1.1. The Euler-Lagrange and Hamilton s equations obtained by means of exterior forms Let L = L(q 1,q 2,...,q n, q 1, q 2,..., q n,t) L(q, q,t) (1.1)
More informationGauge Fixing and Constrained Dynamics in Numerical Relativity
Gauge Fixing and Constrained Dynamics in Numerical Relativity Jon Allen The Dirac formalism for dealing with constraints in a canonical Hamiltonian formulation is reviewed. Gauge freedom is discussed and
More informationPhysics 5153 Classical Mechanics. Canonical Transformations-1
1 Introduction Physics 5153 Classical Mechanics Canonical Transformations The choice of generalized coordinates used to describe a physical system is completely arbitrary, but the Lagrangian is invariant
More informationPHYS 705: Classical Mechanics. Hamiltonian Formulation & Canonical Transformation
1 PHYS 705: Classical Mechanics Hamiltonian Formulation & Canonical Transformation Legendre Transform Let consider the simple case with ust a real value function: F x F x expresses a relationship between
More informationHamiltonian flow in phase space and Liouville s theorem (Lecture 5)
Hamiltonian flow in phase space and Liouville s theorem (Lecture 5) January 26, 2016 90/441 Lecture outline We will discuss the Hamiltonian flow in the phase space. This flow represents a time dependent
More informationCurves in the configuration space Q or in the velocity phase space Ω satisfying the Euler-Lagrange (EL) equations,
Physics 6010, Fall 2010 Hamiltonian Formalism: Hamilton s equations. Conservation laws. Reduction. Poisson Brackets. Relevant Sections in Text: 8.1 8.3, 9.5 The Hamiltonian Formalism We now return to formal
More informationDierential geometry for Physicists
Dierential geometry for Physicists (What we discussed in the course of lectures) Marián Fecko Comenius University, Bratislava Syllabus of lectures delivered at University of Regensburg in June and July
More informationLecture I: Constrained Hamiltonian systems
Lecture I: Constrained Hamiltonian systems (Courses in canonical gravity) Yaser Tavakoli December 15, 2014 1 Introduction In canonical formulation of general relativity, geometry of space-time is given
More informationThe inverse problem for Lagrangian systems with certain non-conservative forces
The inverse problem for Lagrangian systems with certain non-conservative forces Tom Mestdag Ghent University (Belgium) http://users.ugent.be/ tmestdag Joint work with Mike Crampin and Willy Sarlet Example
More informationfor changing independent variables. Most simply for a function f(x) the Legendre transformation f(x) B(s) takes the form B(s) = xs f(x) with s = df
Physics 106a, Caltech 1 November, 2018 Lecture 10: Hamiltonian Mechanics I The Hamiltonian In the Hamiltonian formulation of dynamics each second order ODE given by the Euler- Lagrange equation in terms
More informationDiscrete Dirac Mechanics and Discrete Dirac Geometry
Discrete Dirac Mechanics and Discrete Dirac Geometry Melvin Leok Mathematics, University of California, San Diego Joint work with Anthony Bloch and Tomoki Ohsawa Geometric Numerical Integration Workshop,
More information1 Hamiltonian formalism
1 Hamiltonian formalism 1.1 Hamilton s principle of stationary action A dynamical system with a finite number n degrees of freedom can be described by real functions of time q i (t) (i =1, 2,..., n) which,
More informationTwisted Poisson manifolds and their almost symplectically complete isotropic realizations
Twisted Poisson manifolds and their almost symplectically complete isotropic realizations Chi-Kwong Fok National Center for Theoretical Sciences Math Division National Tsing Hua University (Joint work
More informationPoisson geometry of b-manifolds. Eva Miranda
Poisson geometry of b-manifolds Eva Miranda UPC-Barcelona Rio de Janeiro, July 26, 2010 Eva Miranda (UPC) Poisson 2010 July 26, 2010 1 / 45 Outline 1 Motivation 2 Classification of b-poisson manifolds
More informationBACKGROUND IN SYMPLECTIC GEOMETRY
BACKGROUND IN SYMPLECTIC GEOMETRY NILAY KUMAR Today I want to introduce some of the symplectic structure underlying classical mechanics. The key idea is actually quite old and in its various formulations
More informationHAMILTON S PRINCIPLE
HAMILTON S PRINCIPLE In our previous derivation of Lagrange s equations we started from the Newtonian vector equations of motion and via D Alembert s Principle changed coordinates to generalised coordinates
More informationAn Introduction to Symplectic Geometry
An Introduction to Symplectic Geometry Alessandro Fasse Institute for Theoretical Physics University of Cologne These notes are a short sum up about two talks that I gave in August and September 2015 an
More informationHARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES
HARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES OLIVER EBNER AND STEFAN HALLER Abstract. We show that every de Rham cohomology class on the total space of a symplectic fiber bundle with closed Lefschetz
More informationSynchro-Betatron Motion in Circular Accelerators
Outlines Synchro-Betatron Motion in Circular Accelerators Kevin Li March 30, 2011 Kevin Li Synchro-Betatron Motion 1/ 70 Outline of Part I Outlines Part I: and Model Introduction Part II: The Transverse
More informationModified Equations for Variational Integrators
Modified Equations for Variational Integrators Mats Vermeeren Technische Universität Berlin Groningen December 18, 2018 Mats Vermeeren (TU Berlin) Modified equations for variational integrators December
More informationDiscretizations of Lagrangian Mechanics
Discretizations of Lagrangian Mechanics George W. Patrick Applied Mathematics and Mathematical Physics Mathematics and Statistics, University of Saskatchewan, Canada August 2007 With Charles Cuell Discretizations
More informationGeometry of generating function and Lagrangian spectral invariants
Geometry of generating function and Lagrangian spectral invariants Yong-Geun Oh IBS Center for Geometry and Physics & POSTECH & University of Wisconsin-Madsion Paris, Alanfest, July 18, 2012 Yong-Geun
More informationSketchy Notes on Lagrangian and Hamiltonian Mechanics
Sketchy Notes on Lagrangian and Hamiltonian Mechanics Robert Jones Generalized Coordinates Suppose we have some physical system, like a free particle, a pendulum suspended from another pendulum, or a field
More informationVariational principles and Hamiltonian Mechanics
A Primer on Geometric Mechanics Variational principles and Hamiltonian Mechanics Alex L. Castro, PUC Rio de Janeiro Henry O. Jacobs, CMS, Caltech Christian Lessig, CMS, Caltech Alex L. Castro (PUC-Rio)
More informationSymplectic Geometry versus Riemannian Geometry
Symplectic Geometry versus Riemannian Geometry Inês Cruz, CMUP 2010/10/20 - seminar of PIUDM 1 necessarily very incomplete The aim of this talk is to give an overview of Symplectic Geometry (there is no
More informationHANDOUT #12: THE HAMILTONIAN APPROACH TO MECHANICS
MATHEMATICS 7302 (Analytical Dynamics) YEAR 2016 2017, TERM 2 HANDOUT #12: THE HAMILTONIAN APPROACH TO MECHANICS These notes are intended to be read as a supplement to the handout from Gregory, Classical
More informationSecond-order dynamical systems of Lagrangian type with dissipation
Second-order dynamical systems of Lagrangian type with dissipation T. Mestdag a, W. Sarlet a,b and M. Crampin a a Department of Mathematics, Ghent University Krijgslaan 281, B-9000 Ghent, Belgium b Department
More informationHousekeeping. No announcement HW #7: 3.19
1 Housekeeping No announcement HW #7: 3.19 2 Configuration Space vs. Phase Space 1 A given point in configuration space q q prescribes fully the 1,, n configuration of the system at a given time t. The
More informationGroup Actions and Cohomology in the Calculus of Variations
Group Actions and Cohomology in the Calculus of Variations JUHA POHJANPELTO Oregon State and Aalto Universities Focused Research Workshop on Exterior Differential Systems and Lie Theory Fields Institute,
More informationSeminar Geometrical aspects of theoretical mechanics
Seminar Geometrical aspects of theoretical mechanics Topics 1. Manifolds 29.10.12 Gisela Baños-Ros 2. Vector fields 05.11.12 and 12.11.12 Alexander Holm and Matthias Sievers 3. Differential forms 19.11.12,
More informationPath Integral for Spin
Path Integral for Spin Altland-Simons have a good discussion in 3.3 Applications of the Feynman Path Integral to the quantization of spin, which is defined by the commutation relations [Ŝj, Ŝk = iɛ jk
More informationNoether Symmetries and Conserved Momenta of Dirac Equation in Presymplectic Dynamics
International Mathematical Forum, 2, 2007, no. 45, 2207-2220 Noether Symmetries and Conserved Momenta of Dirac Equation in Presymplectic Dynamics Renato Grassini Department of Mathematics and Applications
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationMaster of Science in Advanced Mathematics and Mathematical Engineering
Master of Science in Advanced Mathematics and Mathematical Engineering Title: Constraint algorithm for singular k-cosymplectic field theories Author: Xavier Rivas Guijarro Advisor: Francesc Xavier Gràcia
More informationLECTURE 4: SYMPLECTIC GROUP ACTIONS
LECTURE 4: SYMPLECTIC GROUP ACTIONS WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic circle actions We set S 1 = R/2πZ throughout. Let (M, ω) be a symplectic manifold. A symplectic S 1 -action on (M, ω) is
More informationEva Miranda. UPC-Barcelona. (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February
From b-poisson manifolds to symplectic mapping torus and back Eva Miranda UPC-Barcelona (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February 8 2011 Eva Miranda (UPC) Poisson Day February
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationPREQUANTIZATION OF SYMPLECTIC SUPERMANIFOLDS
Ninth International Conference on Geometry, Integrability and Quantization June 8 13, 2007, Varna, Bulgaria Ivaïlo M. Mladenov, Editor SOFTEX, Sofia 2008, pp 301 307 Geometry, Integrability and Quantization
More informationCanonical transformations (Lecture 4)
Canonical transformations (Lecture 4) January 26, 2016 61/441 Lecture outline We will introduce and discuss canonical transformations that conserve the Hamiltonian structure of equations of motion. Poisson
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationAubry Mather Theory from a Topological Viewpoint
Aubry Mather Theory from a Topological Viewpoint III. Applications to Hamiltonian instability Marian Gidea,2 Northeastern Illinois University, Chicago 2 Institute for Advanced Study, Princeton WORKSHOP
More informationREVIEW. Hamilton s principle. based on FW-18. Variational statement of mechanics: (for conservative forces) action Equivalent to Newton s laws!
Hamilton s principle Variational statement of mechanics: (for conservative forces) action Equivalent to Newton s laws! based on FW-18 REVIEW the particle takes the path that minimizes the integrated difference
More informationSymmetries in Semiclassical Mechanics
Proceedings of Institute of Mathematics of NAS of Ukraine 2004, Vol. 50, Part 2, 923 930 Symmetries in Semiclassical Mechanics Oleg Yu. SHVEDOV Sub-Department of Quantum Statistics and Field Theory, Department
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationarxiv: v1 [math-ph] 12 Apr 2017
Dirac structures in nonequilibrium thermodynamics arxiv:1704.03935v1 [math-ph] 12 Apr 2017 François Gay-Balmaz Hiroaki Yoshimura CNRS, LMD, IPSL School of Science and Engineering Ecole Normale Supérieure
More informationNigel Hitchin (Oxford) Poisson 2012 Utrecht. August 2nd 2012
GENERALIZED GEOMETRY OF TYPE B n Nigel Hitchin (Oxford) Poisson 2012 Utrecht August 2nd 2012 generalized geometry on M n T T inner product (X + ξ,x + ξ) =i X ξ SO(n, n)-structure generalized geometry on
More informationEva Miranda. UPC-Barcelona and BGSMath. XXV International Fall Workshop on Geometry and Physics Madrid
b-symplectic manifolds: going to infinity and coming back Eva Miranda UPC-Barcelona and BGSMath XXV International Fall Workshop on Geometry and Physics Madrid Eva Miranda (UPC) b-symplectic manifolds Semptember,
More informationTulczyjew triples: from statics to field theory
Tulczyjew triples: from statics to field theory Janusz Grabowski Polish Academy of Sciences 3rd Iberoamerican Meetings on Geometry, Mechanics and Control Salamanca, Sept. 3, 2012 J.Grabowski (IMPAN) Tulczyjew
More information12 Geometric quantization
12 Geometric quantization 12.1 Remarks on quantization and representation theory Definition 12.1 Let M be a symplectic manifold. A prequantum line bundle with connection on M is a line bundle L M equipped
More informationEULER-LAGRANGE TO HAMILTON. The goal of these notes is to give one way of getting from the Euler-Lagrange equations to Hamilton s equations.
EULER-LAGRANGE TO HAMILTON LANCE D. DRAGER The goal of these notes is to give one way of getting from the Euler-Lagrange equations to Hamilton s equations. 1. Euler-Lagrange to Hamilton We will often write
More informationDIRAC COTANGENT BUNDLE REDUCTION HIROAKI YOSHIMURA JERROLD E. MARSDEN. (Communicated by Juan-Pablo Ortega)
JOURNAL OF GEOMETRIC MECHANICS doi:10.3934/jgm.2009.1.87 c American Institute of Mathematical Sciences Volume 1, Number 1, March 2009 pp. 87 158 DIRAC COTANGENT BUNDLE REDUCTION HIROAKI YOSHIMURA Applied
More informationVector fields in the presence of a contact structure
Vector fields in the presence of a contact structure Valentin Ovsienko To cite this version: Valentin Ovsienko. Vector fields in the presence of a contact structure. Preprint ICJ. 10 pages. 2005.
More informationA Crash Course of Floer Homology for Lagrangian Intersections
A Crash Course of Floer Homology for Lagrangian Intersections Manabu AKAHO Department of Mathematics Tokyo Metropolitan University akaho@math.metro-u.ac.jp 1 Introduction There are several kinds of Floer
More informationHamiltonian Dynamics
Hamiltonian Dynamics CDS 140b Joris Vankerschaver jv@caltech.edu CDS Feb. 10, 2009 Joris Vankerschaver (CDS) Hamiltonian Dynamics Feb. 10, 2009 1 / 31 Outline 1. Introductory concepts; 2. Poisson brackets;
More informationLecture 5. Alexey Boyarsky. October 21, Legendre transformation and the Hamilton equations of motion
Lecture 5 Alexey Boyarsky October 1, 015 1 The Hamilton equations of motion 1.1 Legendre transformation and the Hamilton equations of motion First-order equations of motion. In the Lagrangian formulation,
More informationHomework 4. Goldstein 9.7. Part (a) Theoretical Dynamics October 01, 2010 (1) P i = F 1. Q i. p i = F 1 (3) q i (5) P i (6)
Theoretical Dynamics October 01, 2010 Instructor: Dr. Thomas Cohen Homework 4 Submitted by: Vivek Saxena Goldstein 9.7 Part (a) F 1 (q, Q, t) F 2 (q, P, t) P i F 1 Q i (1) F 2 (q, P, t) F 1 (q, Q, t) +
More informationDirac Structures in Lagrangian Mechanics
Dirac Structures in Lagrangian Mechanics Part II: Variational Structures Hiroaki Yoshimura Jerrold E. Marsden Department of Mechanical Engineering Control and Dynamical Systems Waseda University California
More informationarxiv:hep-th/ v1 30 Sep 1997
to appear in July 1997 Rep. Math. Phys. vol. 41, No. 1 (1998) hep-th/9709229 CANONICAL STRUCTURE OF CLASSICAL FIELD THEORY IN THE POLYMOMENTUM PHASE SPACE arxiv:hep-th/9709229v1 30 Sep 1997 Igor V. Kanatchikov
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationThe Kepler problem from a differential geometry point of view
The Kepler problem from a differential geometry point of view 1 The Kepler problem from a differential geometry point of view Translation of the original German Version: Das Keplerproblem differentialgeometrisch
More informationQUATERNIONS AND ROTATIONS
QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )
More information= 0. = q i., q i = E
Summary of the Above Newton s second law: d 2 r dt 2 = Φ( r) Complicated vector arithmetic & coordinate system dependence Lagrangian Formalism: L q i d dt ( L q i ) = 0 n second-order differential equations
More informationLegendre Transforms, Calculus of Varations, and Mechanics Principles
page 437 Appendix C Legendre Transforms, Calculus of Varations, and Mechanics Principles C.1 Legendre Transforms Legendre transforms map functions in a vector space to functions in the dual space. From
More informationPreface On August 15, 2012, I received the following email message from Ryan Budney (ryan.budney@gmail.com). Hi Dick, Here s an MO post that s right up your alley. :) http://mathoverflow.net/questions/104750/about-a-letter-by-richard-palais-of-1965
More information(D+1)-Dimensional Formulation for D-Dimensional Constrained Systems arxiv:hep-th/ v1 22 Dec Riuji Mochizuki ABSTRACT
CHIBA-EP-58-REV September 1992 (D+1)-Dimensional Formulation for D-Dimensional Constrained Systems arxiv:hep-th/9212130v1 22 Dec 1992 Riuji Mochizuki Department of Physics, Faculty of Science, Chiba University,
More informationM3-4-5 A16 Notes for Geometric Mechanics: Oct Nov 2011
M3-4-5 A16 Notes for Geometric Mechanics: Oct Nov 2011 Text for the course: Professor Darryl D Holm 25 October 2011 Imperial College London d.holm@ic.ac.uk http://www.ma.ic.ac.uk/~dholm/ Geometric Mechanics
More informationNon-associative Deformations of Geometry in Double Field Theory
Non-associative Deformations of Geometry in Double Field Theory Michael Fuchs Workshop Frontiers in String Phenomenology based on JHEP 04(2014)141 or arxiv:1312.0719 by R. Blumenhagen, MF, F. Haßler, D.
More information15. Hamiltonian Mechanics
University of Rhode Island DigitalCommons@URI Classical Dynamics Physics Course Materials 2015 15. Hamiltonian Mechanics Gerhard Müller University of Rhode Island, gmuller@uri.edu Creative Commons License
More informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula
20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More informationContents. Preface...VII. Introduction... 1
Preface...VII Introduction... 1 I Preliminaries... 7 1 LieGroupsandLieAlgebras... 7 1.1 Lie Groups and an Infinite-Dimensional Setting....... 7 1.2 TheLieAlgebraofaLieGroup... 9 1.3 The Exponential Map..............................
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationModern Geometric Structures and Fields
Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface
More informationPERIODIC ORBITS FOR HAMILTONIAN SYSTEMS
8 PERIODIC ORBITS FOR HAMILTONIAN SYSTEMS We present in this chapter some results of existence and multiplicity of periodic orbits in Hamiltonian systems on cotangent bundles. Our main goal is to show
More informationSome aspects of the Geodesic flow
Some aspects of the Geodesic flow Pablo C. Abstract This is a presentation for Yael s course on Symplectic Geometry. We discuss here the context in which the geodesic flow can be understood using techniques
More informationGeometric Quantization and the Generalized Segal Bargmann Transform for Lie Groups of Compact Type
Commun. Math. Phys. 226, 233 268 (2002) Communications in Mathematical Physics Springer-Verlag 2002 Geometric Quantization and the Generalized Segal Bargmann Transform for Lie Groups of Compact Type Brian
More informationElements of Topological M-Theory
Elements of Topological M-Theory (with R. Dijkgraaf, S. Gukov, C. Vafa) Andrew Neitzke March 2005 Preface The topological string on a Calabi-Yau threefold X is (loosely speaking) an integrable spine of
More informationSymplectic maps. James D. Meiss. March 4, 2008
Symplectic maps James D. Meiss March 4, 2008 First used mathematically by Hermann Weyl, the term symplectic arises from a Greek word that means twining or plaiting together. This is apt, as symplectic
More informationFrom quantum to classical statistical mechanics. Polyatomic ideal gas.
From quantum to classical statistical mechanics. Polyatomic ideal gas. Peter Košovan peter.kosovan@natur.cuni.cz Dept. of Physical and Macromolecular Chemistry Lecture 5, Statistical Thermodynamics, MC260P105,
More informationChaos in Hamiltonian systems
Chaos in Hamiltonian systems Teemu Laakso April 26, 2013 Course material: Chapter 7 from Ott 1993/2002, Chaos in Dynamical Systems, Cambridge http://matriisi.ee.tut.fi/courses/mat-35006 Useful reading:
More informationON EXACT POISSON STRUCTURES
ON EXACT POISSON STRUCTURES YINGFEI YI AND XIANG ZHANG Abstract By studying the exactness of multi-linear vectors on an orientable smooth manifold M, we give some characterizations to exact Poisson structures
More informationFrom symplectic to spin geometry
From symplectic to spin geometry Jean-Philippe Michel University of Luxembourg Jean-Philippe MICHEL (UL) NCTS-CPT Workshop Hsinshu, 24-02-2011 1 / 16 Quantization for spinless system classical quantum
More information1 Contact structures and Reeb vector fields
1 Contact structures and Reeb vector fields Definition 1.1. Let M be a smooth (2n + 1)-dimensional manifold. A contact structure on M is a maximally non-integrable hyperplane field ξ T M. Suppose that
More informationOstrogradsky theorem (from 1850)
Ostrogradsky theorem (from 1850) Marián Fecko Department of Theoretical Physics Comenius University Bratislava fecko@fmph.uniba.sk Student Colloqium and School on Mathematical Physics, Stará Lesná, Slovakia,
More informationSecond quantization: where quantization and particles come from?
110 Phys460.nb 7 Second quantization: where quantization and particles come from? 7.1. Lagrangian mechanics and canonical quantization Q: How do we quantize a general system? 7.1.1.Lagrangian Lagrangian
More informationChapter 1 Symplectic Integrator and Beam Dynamics Simulations
Chapter 1 and Beam Accelerator Physics Group, Journal Club November 9, 2010 and Beam NSLS-II Brookhaven National Laboratory 1.1 (70) Big Picture for Numerical Accelerator Physics and Beam For single particle
More informationThe TT Deformation of Quantum Field Theory
The TT Deformation of Quantum Field Theory John Cardy University of California, Berkeley All Souls College, Oxford ICMP, Montreal, July 2018 Introduction all QFTs that we use in physics are in some sense
More informationInvariance of tautological equations
Invariance of tautological equations Y.-P. Lee 28 June 2004, NCTS An observation: Tautological equations hold for any geometric Gromov Witten theory. Question 1. How about non-geometric GW theory? e.g.
More informationUNIVERSITY OF CALIFORNIA, SAN DIEGO
UNIVERSITY OF CALIFORNIA, SAN DIEGO Structured approaches to large-scale systems: Variational integrators for interconnected Lagrange-Dirac systems and structured model reduction on Lie groups A dissertation
More informationLie algebra cohomology
Lie algebra cohomology Relation to the de Rham cohomology of Lie groups Presented by: Gazmend Mavraj (Master Mathematics and Diploma Physics) Supervisor: J-Prof. Dr. Christoph Wockel (Section Algebra and
More informationSolutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations
D. D. Holm Solutions to M3-4A16 Assessed Problems # 3 15 Dec 2010 1 Solutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations Vector notation for differential basis elements:
More informationHomework 3. 1 Goldstein Part (a) Theoretical Dynamics September 24, The Hamiltonian is given by
Theoretical Dynamics September 4, 010 Instructor: Dr. Thomas Cohen Homework 3 Submitted by: Vivek Saxena 1 Goldstein 8.1 1.1 Part (a) The Hamiltonian is given by H(q i, p i, t) = p i q i L(q i, q i, t)
More informationThe Toda Lattice. Chris Elliott. April 9 th, 2014
The Toda Lattice Chris Elliott April 9 th, 2014 In this talk I ll introduce classical integrable systems, and explain how they can arise from the data of solutions to the classical Yang-Baxter equation.
More informationAction-angle coordinates and geometric quantization. Eva Miranda. Barcelona (EPSEB,UPC) STS Integrable Systems
Action-angle coordinates and geometric quantization Eva Miranda Barcelona (EPSEB,UPC) STS Integrable Systems Eva Miranda (UPC) 6ecm July 3, 2012 1 / 30 Outline 1 Quantization: The general picture 2 Bohr-Sommerfeld
More informationPhysics 106a, Caltech 13 November, Lecture 13: Action, Hamilton-Jacobi Theory. Action-Angle Variables
Physics 06a, Caltech 3 November, 08 Lecture 3: Action, Hamilton-Jacobi Theory Starred sections are advanced topics for interest and future reference. The unstarred material will not be tested on the final
More informationOn Symmetry and Conserved Quantities in Classical Mechanics
On Symmetry and Conserved Quantities in Classical Mechanics J. Butterfield 1 All Souls College Oxford OX1 4AL Tuesday 12 July 2005; for a Festschrift for Jeffrey Bub, ed. W. Demopoulos and I. Pitowsky,
More information