ebsd2021:tema2 []

Tema 2: Geodesic flows in Hamiltonian dynamics

Symplectic form and symplectic manifold

We start recalling some known facts on linear algebra. Let $V$ be a vector space.

Symplectic bilinear map: We say that a map $\omega:V\times V\to\mathbb R$ is symplectic if it is:

bilinear: $\omega$ is linear on each coordinate.
antisymmetric: $\omega(x,y)=-\omega(y,x)$ for all $x,y\in V$ .
non-degenerate: the map $x\in V\mapsto \omega_x(\cdot)=\omega(x,\cdot)\in V^*$ is an isomorphism, i.e. $\omega(x,y)=0$ for all $y\in V$ iff $x=0$ .

In this case, we call $(V,\omega)$ a symplectic vector space.

Symplectic bilinear forms have canonical representations: if $\omega$ is symplectic, then there is a basis $\{x_1,\ldots,x_n,y_1,\ldots,y_n\}$ s.t. $\left\{ \begin{array}{l} \omega(x_i,x_j)=\omega(y_i,y_j)=0\\ \omega(x_i,y_j)=\delta_{i,j} \end{array}\right. ,\ \ \forall i,j=1,\ldots,n.$ In particular, $V$ has even dimension, equal to $2n$ . In this basis, $\omega$ takes the form $\omega(x,y)=x^T \left[ \begin{array}{ccc|ccc} &&&&&\hspace{.2cm}\\ &0&&&{\rm Id}&\\ &&&\hspace{.2cm}&&\\ \hline &&&&&\\ &{\rm -Id}&&&0&\\ &&&&&\\ \end{array}\right] y.$

Here is the prototype of a symplectic vector space: given $(E,\langle\cdot,\cdot\rangle)$ a vector space with inner product, let $V=E\times E$ and define $\omega:V\times V\to \mathbb R$ by $\omega((x_1,y_1),(x_2,y_2))= \langle y_1,x_2\rangle - \langle x_1,y_2\rangle.$ Then $(V,\omega)$ is a symplectic vector space. The literature usually considers $E=\mathbb R^n$ for this example, in which case the symplectic bilinear map is defined in $\mathbb R^{2n}$ .

With respect to the symplectic structure, there are some special subspaces.

Isotropic and Lagrangian subspaces: Let $(V,\omega)$ be a symplectic vector space. Given a subspace $Y\subset V$ , define $Y^\omega=\{x\in V:\omega(x,y)=0\text{ for all }y\in Y\}.$ It is easy to see that ${\rm dim}(Y)+{\rm dim}(Y^\omega)=2n$ . We call $Y$ :

isotropic if $Y\subset Y^\omega$ , i.e. if $\omega(x,y)=0$ for all $x,y\in Y$ . Clearly ${\rm dim}(Y)\leq n$ .
Lagrangian if it is isotropic and ${\rm dim}(Y)=n$ . Alternatively, $Y$ is Lagrangian iff $Y=Y^\omega$ .

The next definition introduces the symplectic structure on manifolds. Let $M$ be a $m$ -dimensional differentiable manifold, and recall the definition of a symplectic form (which is the choice of symplectic bilinear maps on each tangent space of $M$ ).

Symplectic manifold: We call $(M,\omega)$ a symplectic manifold if $M$ is a differentiable manifold and $\omega$ is a symplectic form on $M$ .

In particular, $m=2n$ is even. The simplest example of a symplectic manifold is $(\mathbb R^{2n},\omega)$ as defined above: if $(x_1,\ldots,x_n,$ $p_1,\ldots,p_n)$ denotes the coordinates of $\mathbb R^{2n}$ , then $\omega=dx_1\wedge dp_1+\cdots+dx_n\wedge dp_n.$

Compare this with Riemannian manifolds. A Riemannian manifold is a differentiable manifold equipped with a Riemannian metric. The difference between metrics and two-forms is that the first is symmetric, while the other is antisymmetric. This simple difference makes the two contexts extremely different.

$TM$ is a symplectic manifold

We already know that $(TM,\omega)$ is a symplectic manifold. Let us complete this discussion showing another definition of $\omega$ .

1–form $\Theta$ on $TM$ : Define the 1–form $\Theta$ on $TM$ taking $\Theta_v:TTM_v\to\mathbb R$ by $\Theta_v(x,y)=\langle x,v\rangle.$

Above, $TTM_v\cong TM_p\times TM_p$ via the horizontal and vertical coordinates.

Lemma. We have $d\Theta=\omega$ . In particular, $\omega$ is closed.

Hamiltonian vector fields

Let $(M,\omega)$ be a symplectic manifold, and let $H:M\to\mathbb R$ be a $C^1$ function. The derivative $dH$ is a 1–form.

Hamiltonian vector field: The Hamiltonian vector field of $H$ is the unique vector field $X_H:M\to TM$ defined by $\omega_p(\cdot,X_H(p))=dH_p(\cdot).$ The flow generated by $X_H$ is called the Hamiltonian flow of $H$ .

In other words, the contraction 1–form $\omega(\cdot,X_H)$ equals the derivative $dH$ . Existence and uniqueness follow from the non-degeneracy of $\omega$ .

Let us express the Hamiltonian vector field in the prototypical example of $(\mathbb R^{2n},\omega)$ . Let $H:\mathbb R^{2n}\to\mathbb R$ be a $C^1$ function. We will show that $X_H$ satisfies the Hamilton equations. For $(v,w)\in\mathbb R^{2n}$ , we have $dH(v,w)=\sum_{i=1}^n\tfrac{\partial H}{\partial x_i}v_i+\sum_{i=1}^n\tfrac{\partial H}{\partial p_i}w_i.$ On the other expression, if $X_H=(X,Y)=(X_1,\ldots,X_n,Y_1,\ldots,Y_n)$ then $\omega((v,w),X_H)=\sum_{i=1}^n w_iX_i-\sum_{i=1}^n v_iY_i.$ Comparing the last two equations, we conclude that $X_i=\tfrac{\partial H}{\partial p_i}$ and $Y_i=-\tfrac{\partial H}{\partial x_i}$ for $i=1,\ldots,n$ , and so the Hamilton equations $\left\{ \begin{array}{l} X=\tfrac{\partial H}{\partial p}\\ \\ Y =-\tfrac{\partial H}{\partial x} \end{array} \right.$ characterize $X_H$ .

The Halmiltonian vector field has some important invariance properties. Let $\phi=\{\phi^t\}$ be flow generated by $X_H$ .

Theorem. The following holds:

(1) $H\circ\phi^t=H$ for all $t\in\mathbb R$ , hence $H$ is constant along flow lines.

(2) $\omega$ is preserved by $\phi$ , i.e. $\omega(d\phi^t v,d\phi^t w)=\omega(v,w)$ for all $v,w\in TM$ with same basepoint and all $t\in\mathbb R$ .

(3) $\phi$ preserves the volume form $\omega^n$ .

The geodesic flow is a Hamiltonian flow

We already know that $(TM,\omega)$ is a symplectic manifold. We claim that the geodesic flow $g:TM\to TM$ is the Hamiltonian flow of the function $G:TM\to\mathbb R$ defined by $G(v)=\tfrac{1}{2}\langle v,v\rangle.$ To prove this, write $X_G=(X,Y)$ . For $\xi=(x,y)\in TTM$ , we have $\omega(\xi,X_G)=\langle y,X\rangle-\langle x,Y\rangle.$ If $x,y\in TM_v$ , let $Z:(-\varepsilon,\varepsilon)\to TM$ s.t. $Z(0)=v$ and $Z'(0)=(\dot{c}(0),\nabla_{c}Z(0))=\xi$ where $c=\pi\circ Z$ . Then $dG_v(\xi)=\tfrac{d}{dt}|_{t=0}(G\circ Z)=\tfrac{d}{dt}|_{t=0}\tfrac{1}{2}\langle Z(t),Z(t)\rangle=\langle Z,\nabla_{\dot{c}}Z\rangle(0)= \langle v,y\rangle=\langle y,v\rangle$ and so $(X,Y)=(v,0)$ . This later vector is the generator of the geodesic flow, and so the assertion is proved.

Discussion

Bynoe, 2022/11/16 01:29

Georgette, 2022/12/16 05:02

William, 2023/01/15 07:01

Walker, 2023/01/15 19:33

Sarah, 2023/04/07 16:30

スーパーコピーグランドセイコー, 2023/10/10 21:35

ルイヴィトン - N級バッグ、財布専門サイト問屋弊社は販売バッグ、財布、小物類などでございます。弊社は「信用第一」をモットーにお客様にご満足頂けるよう、送料は無料です(日本全国)！ご注文を期待しています! 下記の連絡先までお問い合わせください。是非ご覧ください! 激安、安心、安全にお届けします.品数豊富な商商品数も大幅に増え、品質も大自信です 100%品質保証！満足保障！リピーター率100％! スーパーコピーグランドセイコー https://www.bagb78.com/Iwc-Seamaster-Watch.html

ブランドN級品通販, 2023/11/11 08:50

ブランド激安、安心、安全大特価【新品】バッグ、財布、靴、帽子、アパレル、ベルト、その他小物シャネルグッチエルメスロレックス ROLEX VUITTON シャネルグッチエルメス ROLEX S級シャネル S グッチ S級エルメス S級 ROLEX AAA級 VUITTON AAA級シャネル AAA級グッチ AAA級エルメス AAA級品 N級品ルイヴィトンS級品シャネルS級品グッチS級品エルメスS級品ロレックスS級品ルイヴィトンAAA級品シャネルAAA級品グッチAAA級品エルメスAAA級品 ■スタイルが多い、品質がよい、価格が低い！ ■ 送料無料(日本全国) ご注文を期待しています! ■信用第一、良い品質、低価格は ■当社の商品は絶対の自信が御座います激安、安心、安全にお届けします.品数豊富な商商品数も大幅に増え、品質も大自信です 100%品質保証！満足保障！リピーター率100％! ブランドN級品通販 https://www.gmt78.com/product/detail/2676.htm

Bagssjpdub, 2024/03/04 16:04

スーパーコピー代引き,ヴィトン財布代引き,ヴィトン財布人気,ヴィトン財布激安,モノグラム財布，マルチカラー財布，ルイヴィトン財布新作，ルイヴィトンバッグ新作，ルイヴィトンスーパーコピー即日発送ルイヴィトンスーパーコピー専門店ルイヴィトンスーパーコピーバッグルイヴィトンスーパーコピー }}}}}} https://www.bagssjp.com/product/detail-5949.html

bbagokdub, 2024/04/23 05:16

ブランド激安市場、スーパーコピー時計激安、ブランドコピーＮ級品通販専門店bbagok 品数豊富な商品情報ＨＰはこちら！！ <a href=https://www.bbagok.com>スーパーコピー腕時計</a> 店長：山本優希 N級品、全て新品、高い品質、激安、送料無料。 100%を厳守する。 100%品質保証！到着保障！業界唯一無二手数料無料！

KirbyChalk, 2024/04/23 09:14

世界一流の高品質 https://www.copy2021.com スーパーコピー時計 https://www.copy2021.com/list/66.htm 最新情報

Denniszorge, 2024/04/23 19:20

https://www.ginzaok.com スーパーコピーブランド専門 https://www.ginzaok.com/brand/brand_f_id_13.html オメガ時計コピー

tkh330, 2024/04/25 03:30

https://www.wellwatchs.com ブランド時計コピーＮ級品の販売 https://www.wellwatchs.com/brand-copy-IP-2.html スーパーコピー時計専門店

Denniszorge, 2024/04/29 06:23

日本超人気スーパーコピーブランド時計激安通販専門店業界唯一無二. 世界一流の高品質ブランドコピー時計。高品質のロレックス時計コピー、カルティエ時計コピー、IWC時計コピー、ブライトリング時計コピー、パネライ時計コピー激安販売中海外直営店直接買い付け！製品はされています高品質と低価格で提供！歓迎新旧顧客お願いします！ https://www.ginzaok.com スーパーコピーブランド専門 https://www.ginzaok.com/brand/brand_f_id_13.html オメガ時計コピー

KirbyChalk, 2024/05/01 06:00

スーパーコピー時計当店は主に経営する商品：かばん.バッグ .財布 .キーケース. 手帳.腕時計など. 製品が情報満載で、上質な素材と最高な技術を使用して、品質にも保証があるので、いつも好評を博しています。 ◆経営方針：品質を重視して、納期も厳守して、第1を使いを信じます！商品数も大幅に増え、品質も大自信です https://www.copy2021.com https://www.copy2021.com/list/66.htm

zbd584, 2024/05/01 08:51

新作最高品質コピー時計、スーパーコピー時計日本的な人気と信頼を得ています。ご入金が確認できてから1週間でお届け致します。お客さんたちも大好評です100%品質保証！到着保障！業界唯一無二手数料無料！ https://www.wellwatchs.com https://www.wellwatchs.com/brand-copy-IP-2.html

QuintonIrrit, 2024/05/06 11:56

日本超人気スーパーコピーブランド時計激安通販専門店 2024年最高品質時計コピー、国際ブランド腕時計コピー、業界唯一無二.世界一流の高品質ブランドコピー時計。高品質のロレックス時計コピー、カルティエ時計コピー、IWC時計コピー、ブライトリング時計コピー、パネライ時計コピー激安販売中商品の数量は多い、品質はよい。海外直営店直接買い付け！製品はされています高品質と低価格で提供！歓迎新旧顧客お願いします！ https://www.copyko.com https://www.copyko.com/rolex_z68.html

QuintonIrrit, 2024/05/09 17:20

日本超人気スーパーコピーブランド時計激安通販専門店 2024年最高品質時計コピー、国際ブランド腕時計コピー、業界唯一無二.世界一流の高品質ブランドコピー時計。高品質のロレックス時計コピー、カルティエ時計コピー、IWC時計コピー、ブライトリング時計コピー、パネライ時計コピー激安販売中商品の数量は多い、品質はよい。海外直営店直接買い付け！製品はされています高品質と低価格で提供！歓迎新旧顧客お願いします！ https://www.copyko.com https://www.copyko.com/rolex_z68.html

スーパーコピー , 2024/11/04 06:18

信用第一/正規取扱店≡≡≡ ★★★★★大注目★★★★★≡≡≡ 当店の承諾に→誠実信用送料無料（日本全国) 日本的な人気と信頼を得ています。 2022-2022年最新作ルイヴィトン新品、新素材入荷！！人気唯一ブランド専門店主要取扱商品:バッグ、財布、腕時計、ベルト、マフラー。ルイヴィトン、グッチ、シャネル、ブルガリ、エルメス、プラダ等海外高級ブランドがここに集結。非常に親切で丁寧な対応で、良い品物がそろっています。ご注文の方は、【卸売、小売など歓迎】ご連絡下さい。 https://kmuzaka.com/

Real name:

E-Mail:

Enter your comment. Wiki syntax is allowed:

Subscribe to comments