Cơ học Cổ điển và Lượng tử: Góc nhìn Hình học - University of Camerino, Moscow State University

I. Cơ học Cổ điển Lượng tử Tổng quan Góc nhìn Hình học

Cơ học cổ điển và cơ học lượng tử, hai trụ cột của vật lý học, thường được tiếp cận thông qua các phương trình và công thức toán học. Tuy nhiên, một góc nhìn hình học mang đến một cách tiếp cận trực quan và sâu sắc hơn, làm sáng tỏ cấu trúc toán học ẩn sau các hiện tượng vật lý. Trong cơ học cổ điển, không gian pha đóng vai trò quan trọng, mô tả trạng thái của hệ bằng vị trí và động lượng. Các phương trình Hamilton và Lagrange có thể được diễn giải như là các đường cong trên không gian pha, với các tính chất hình học như đối xứng và bảo toàn được thể hiện rõ ràng. Với cơ học lượng tử, hình học Hilbert và các toán tử cho phép mô tả hàm sóng và sự tiến triển của hệ thống. Quan trọng hơn, lượng tử hóa hình học cung cấp một cầu nối giữa cơ học cổ điển và lượng tử, cho phép chuyển đổi các hệ cổ điển sang hệ lượng tử một cách hình học. Phương pháp này dựa trên hình học symplectic và hình học Poisson, cung cấp một khuôn khổ toán học chặt chẽ để xây dựng các lý thuyết lượng tử. Dù phức tạp, góc nhìn hình học không chỉ là một công cụ toán học, mà còn là một cách tư duy mới về thế giới vật lý, làm sáng tỏ các mối liên hệ sâu sắc giữa các khái niệm và hiện tượng khác nhau. Ví dụ, lý thuyết về biến đổi canonical có thể được hình dung một cách dễ dàng hơn thông qua góc nhìn hình học, giúp ta hiểu rõ hơn về sự bảo toàn các đại lượng vật lý. Việc nghiên cứu cơ học Hamilton và cơ học Lagrange dưới góc độ hình học giúp ta nắm bắt bản chất của các định luật bảo toàn và tính đối xứng của hệ thống. Theo Giovanni Giachetta, Luigi Mangiarotti, Gennadi Sardanashvily, "Geometry of symplectic and Poisson manifolds is well known to provide the adequate mathematical formulation of autonomous Hamiltonian mechanics."

1.1. Không gian pha Nền tảng hình học của Cơ học

Không gian pha là một khái niệm then chốt trong cơ học cổ điển, nó cho phép ta biểu diễn trạng thái của một hệ thống vật lý tại một thời điểm nhất định bằng một điểm trong không gian đa chiều. Mỗi chiều của không gian pha tương ứng với một biến trạng thái, thường là vị trí và động lượng của các thành phần trong hệ thống. Việc sử dụng không gian pha giúp ta hình dung sự tiến triển của hệ thống theo thời gian như một đường cong, hay còn gọi là quỹ đạo, trong không gian này. Các định luật bảo toàn, như bảo toàn năng lượng, có thể được biểu diễn một cách trực quan thông qua các tính chất hình học của các quỹ đạo này. Ví dụ, trong một hệ thống bảo toàn năng lượng, các quỹ đạo sẽ nằm trên các bề mặt có năng lượng không đổi trong không gian pha. Hơn nữa, không gian pha còn cung cấp một công cụ mạnh mẽ để phân tích tính ổn định của các hệ thống vật lý. Bằng cách xem xét hình dạng của các quỹ đạo xung quanh một điểm cân bằng, ta có thể xác định xem điểm cân bằng đó là ổn định hay không ổn định. Trong cơ học lượng tử, khái niệm tương tự là không gian Hilbert, nơi các trạng thái của hệ thống được biểu diễn bằng các vectơ. Tuy nhiên, sự khác biệt cơ bản là trong cơ học lượng tử, ta phải xem xét cả các trạng thái chồng chập và nguyên lý bất định, điều này làm cho hình học của không gian Hilbert trở nên phức tạp hơn.

1.2. Hình học vi phân Ngôn ngữ toán học của Cơ học Cổ điển

Hình học vi phân cung cấp các công cụ toán học cần thiết để mô tả và phân tích các cấu trúc hình học phức tạp, chẳng hạn như các đa tạp và không gian cong. Trong cơ học cổ điển, hình học vi phân được sử dụng để mô tả không gian pha và các biến đổi canonical. Các phương trình chuyển động, như phương trình Hamilton, có thể được viết dưới dạng các phương trình hình học vi phân trên đa tạp symplectic. Điều này cho phép ta áp dụng các kỹ thuật của hình học vi phân để giải các bài toán cơ học. Ví dụ, lý thuyết về hình học Riemann có thể được sử dụng để mô tả chuyển động của một hạt trên một bề mặt cong. Hơn nữa, hình học vi phân còn đóng vai trò quan trọng trong việc nghiên cứu tính đối xứng và các định luật bảo toàn trong cơ học. Các nhóm đối xứng có thể được biểu diễn bằng các biến đổi hình học vi phân trên không gian pha, và các định luật bảo toàn tương ứng có thể được suy ra từ các tính chất bất biến của các biến đổi này. Việc sử dụng hình học vi phân không chỉ giúp ta hiểu rõ hơn về cấu trúc toán học của cơ học cổ điển, mà còn cung cấp các công cụ mạnh mẽ để giải các bài toán phức tạp.

II. Vấn đề và thách thức Áp dụng Hình học vào Cơ học Lượng tử

Mặc dù góc nhìn hình học đã chứng minh được sự hữu ích trong cơ học cổ điển, việc áp dụng nó vào cơ học lượng tử đặt ra nhiều thách thức. Cơ học lượng tử dựa trên các khái niệm như hàm sóng, toán tử, và nguyên lý bất định, vốn không có tương ứng trực tiếp trong cơ học cổ điển. Việc tìm kiếm một cách diễn giải hình học cho các khái niệm này đòi hỏi sự sáng tạo và một nền tảng toán học vững chắc. Một trong những thách thức lớn nhất là việc lượng tử hóa các hệ cổ điển. Lượng tử hóa hình học là một phương pháp đầy hứa hẹn, nhưng nó không phải lúc nào cũng cho kết quả duy nhất và có thể dẫn đến các vấn đề về tính toán. Hơn nữa, việc mô tả các hệ lượng tử tương tác nhiều hạt bằng góc nhìn hình học trở nên cực kỳ phức tạp. Các không gian trạng thái trở nên có số chiều lớn và khó hình dung, và các phương trình chuyển động trở nên phi tuyến tính và khó giải. Do đó, cần phải phát triển các phương pháp và kỹ thuật mới để vượt qua những thách thức này và khai thác tiềm năng của góc nhìn hình học trong cơ học lượng tử. Phương trình Schrödinger, mặc dù là nền tảng của cơ học lượng tử, lại không dễ dàng diễn giải dưới dạng hình học thuần túy, đòi hỏi sự kết hợp nhuần nhuyễn giữa giải tích và hình học.

2.1. Lượng tử hóa hình học Cầu nối giữa Cổ điển và Lượng tử

Lượng tử hóa hình học là một nỗ lực nhằm xây dựng một lý thuyết lượng tử từ một hệ cổ điển bằng cách sử dụng các công cụ của hình học symplectic và hình học Poisson. Ý tưởng cơ bản là tìm một cách để biểu diễn các đại lượng vật lý cổ điển bằng các toán tử trên một không gian Hilbert, sao cho phép giao hoán Poisson giữa các đại lượng cổ điển tương ứng với phép giao hoán của các toán tử lượng tử. Tuy nhiên, quá trình lượng tử hóa không phải lúc nào cũng đơn giản và có thể dẫn đến các vấn đề về thứ tự của các toán tử. Lượng tử hóa hình học cung cấp một cách tiếp cận chặt chẽ về mặt toán học, nhưng nó không phải lúc nào cũng cho kết quả duy nhất và có thể đòi hỏi các điều kiện bổ sung để đảm bảo tính nhất quán. Hơn nữa, việc áp dụng lượng tử hóa hình học cho các hệ phức tạp, như các hệ có ràng buộc hoặc có tính hỗn loạn, có thể gặp nhiều khó khăn kỹ thuật. Dù vậy, lượng tử hóa hình học vẫn là một lĩnh vực nghiên cứu tích cực và có tiềm năng mang lại những hiểu biết sâu sắc về mối quan hệ giữa cơ học cổ điển và cơ học lượng tử.

2.2. Giải quyết bài toán nhiều hạt Độ phức tạp hình học tăng cao

Khi xem xét các hệ lượng tử tương tác nhiều hạt, độ phức tạp của góc nhìn hình học tăng lên đáng kể. Không gian trạng thái của một hệ nhiều hạt có số chiều lớn, làm cho việc hình dung và phân tích trở nên khó khăn. Các phương trình chuyển động trở nên phi tuyến tính và khó giải, và các tương tác giữa các hạt tạo ra các cấu trúc hình học phức tạp trong không gian Hilbert. Việc tìm kiếm các phương pháp hiệu quả để mô tả và giải quyết các bài toán nhiều hạt là một thách thức lớn trong cơ học lượng tử. Các phương pháp gần đúng, như lý thuyết trường trung bình và lý thuyết nhiễu loạn, thường được sử dụng để đơn giản hóa các bài toán, nhưng chúng có thể không nắm bắt được tất cả các tính chất quan trọng của hệ thống. Do đó, cần phải phát triển các kỹ thuật mới và sáng tạo để vượt qua những hạn chế này và khai thác tiềm năng của góc nhìn hình học trong việc nghiên cứu các hệ nhiều hạt.

III. Phương pháp tiếp cận Hình học Symplectic và Cơ học Hamilton

Hình học symplectic cung cấp một khuôn khổ toán học tự nhiên để mô tả cơ học Hamilton. Không gian pha trong cơ học Hamilton là một đa tạp symplectic, và các phương trình chuyển động có thể được viết dưới dạng các phương trình hình học symplectic trên đa tạp này. Cấu trúc symplectic bảo toàn diện tích trong không gian pha, điều này có ý nghĩa quan trọng trong việc nghiên cứu tính ổn định và các định luật bảo toàn. Hình học symplectic cũng cho phép ta định nghĩa các biến đổi canonical, là các biến đổi bảo toàn cấu trúc symplectic. Các biến đổi canonical đóng vai trò quan trọng trong việc tìm kiếm các tọa độ thích hợp để giải các phương trình chuyển động. Bằng cách sử dụng hình học symplectic, ta có thể hiểu rõ hơn về cấu trúc toán học của cơ học Hamilton và phát triển các phương pháp hiệu quả để giải các bài toán cơ học. Cơ học Poisson là một sự mở rộng của cơ học Hamilton, cho phép ta mô tả các hệ có ràng buộc và các hệ phi-Hamilton.

3.1. Đa tạp Symplectic Nền tảng của Cơ học Hamilton Hình học

Một đa tạp symplectic là một đa tạp trơn được trang bị một dạng vi phân bậc hai đóng và không suy biến, được gọi là dạng symplectic. Dạng symplectic xác định một cấu trúc hình học đặc biệt trên đa tạp, cho phép ta định nghĩa các khái niệm như diện tích, góc, và tính trực giao. Trong cơ học Hamilton, không gian pha của một hệ thống vật lý thường là một đa tạp symplectic, và dạng symplectic liên quan đến cơ học Poisson cho phép ta xác định các đại lượng bảo toàn. Các phương trình chuyển động Hamilton có thể được viết dưới dạng các phương trình hình học symplectic trên đa tạp, và các giải pháp của các phương trình này tương ứng với các đường cong trên đa tạp symplectic bảo toàn diện tích. Việc sử dụng đa tạp symplectic cung cấp một cách tiếp cận trực quan và mạnh mẽ để nghiên cứu cơ học Hamilton. Bằng cách khai thác các tính chất hình học của đa tạp symplectic, ta có thể thu được những hiểu biết sâu sắc về hành vi của các hệ thống cơ học.

3.2. Biến đổi Canonical Công cụ bảo toàn cấu trúc Symplectic

Biến đổi canonical là một loại biến đổi tọa độ đặc biệt trong cơ học Hamilton, bảo toàn cấu trúc symplectic của không gian pha. Điều này có nghĩa là các biến đổi canonical bảo toàn diện tích và các phép giao hoán Poisson. Các biến đổi canonical đóng vai trò quan trọng trong việc tìm kiếm các tọa độ thích hợp để giải các phương trình chuyển động. Bằng cách sử dụng các biến đổi canonical, ta có thể đơn giản hóa các phương trình chuyển động và tìm ra các đại lượng bảo toàn. Ví dụ, biến đổi canonical có thể được sử dụng để chuyển đổi từ tọa độ Descartes sang tọa độ cực, hoặc để đưa một hệ Hamilton về dạng chuẩn tắc. Các biến đổi canonical cũng liên quan đến các đối xứng của hệ thống. Mỗi đối xứng của hệ thống tương ứng với một biến đổi canonical bảo toàn Hamiltonian. Việc nghiên cứu các biến đổi canonical giúp ta hiểu rõ hơn về cấu trúc toán học của cơ học Hamilton và phát triển các phương pháp hiệu quả để giải các bài toán cơ học.

IV. Phương pháp Đường tích phân Feynman Hình học Lượng tử

Cách tiếp cận bằng đường tích phân Feynman thể hiện sự tiến triển của hệ lượng tử thông qua tổng hợp các con đường hình học khả dĩ trong không gian và thời gian. Đường tích phân Feynman là một phương pháp quan trọng trong cơ học lượng tử, cho phép tính toán biên độ xác suất cho một hạt chuyển động từ một điểm đến một điểm khác bằng cách tính tổng tất cả các đường đi có thể có giữa hai điểm đó. Mỗi đường đi được gán một pha, và biên độ xác suất được cho bởi tổng của các pha này. Đường tích phân Feynman có một sự tương đồng mạnh mẽ với cơ học cổ điển, trong đó đường đi cổ điển là đường đi có pha dừng. Phương pháp này cung cấp một cách tiếp cận trực quan và mạnh mẽ để nghiên cứu các hiện tượng lượng tử, như hiệu ứng giao thoa và hiệu ứng đường hầm. Quan trọng hơn, đường tích phân Feynman cung cấp một cách tiếp cận tự nhiên để lượng tử hóa các lý thuyết trường, và nó đã đóng vai trò quan trọng trong sự phát triển của lý thuyết điện động lực học lượng tử và lý thuyết sắc động lực học lượng tử. Hình học lượng tử cố gắng mô tả không gian và thời gian ở quy mô Planck, nơi các hiệu ứng lượng tử trở nên quan trọng.

4.1. Tổng hợp các con đường Bản chất Hình học của Tiến triển Lượng tử

Ý tưởng cơ bản của đường tích phân Feynman là thay vì chỉ xem xét một đường đi duy nhất giữa hai điểm, ta phải xem xét tất cả các đường đi có thể có. Mỗi đường đi được gán một biên độ xác suất, và biên độ xác suất tổng cộng được cho bởi tổng của các biên độ này. Điều này có nghĩa là hạt có thể đi theo nhiều đường đi khác nhau cùng một lúc, và sự giao thoa giữa các đường đi này tạo ra các hiện tượng lượng tử. Việc tính toán đường tích phân Feynman thường rất khó khăn, nhưng nó có thể được thực hiện bằng các phương pháp gần đúng, như phương pháp pha dừng. Phương pháp pha dừng cho phép ta xấp xỉ đường tích phân Feynman bằng cách chỉ xem xét các đường đi có pha dừng, là các đường đi cổ điển. Điều này cho thấy mối liên hệ chặt chẽ giữa cơ học lượng tử và cơ học cổ điển.

4.2. Kết nối với cơ học Cổ điển Đường đi pha dừng và Nguyên lý Tối thiểu

Đường tích phân Feynman cung cấp một cách tiếp cận để hiểu mối quan hệ giữa cơ học lượng tử và cơ học cổ điển. Trong giới hạn cổ điển, khi hằng số Planck tiến tới 0, đường tích phân Feynman được thống trị bởi các đường đi có pha dừng, là các đường đi cổ điển. Điều này có nghĩa là trong giới hạn cổ điển, các hạt có xu hướng đi theo các đường đi tuân theo các định luật cơ học cổ điển, như nguyên lý tác dụng tối thiểu. Tuy nhiên, trong miền lượng tử, khi hằng số Planck không thể bỏ qua, các hạt có thể đi theo nhiều đường đi khác nhau cùng một lúc, và sự giao thoa giữa các đường đi này tạo ra các hiệu ứng lượng tử. Đường tích phân Feynman cung cấp một cách để hiểu cách các hiệu ứng lượng tử phát sinh từ sự giao thoa của các đường đi khác nhau, và cách chúng chuyển sang hành vi cổ điển trong giới hạn cổ điển.

V. Ứng dụng và Kết quả Đối xứng và Bảo toàn dưới Góc nhìn Hình học

Góc nhìn hình học có thể được sử dụng để nghiên cứu tính đối xứng và các định luật bảo toàn trong cơ học cổ điển và cơ học lượng tử. Các đối xứng của một hệ thống vật lý tương ứng với các biến đổi hình học bảo toàn Hamiltonian hoặc Lagrangian của hệ thống. Các định luật bảo toàn, như bảo toàn năng lượng, động lượng, và mômen động lượng, có thể được suy ra từ các đối xứng này bằng định lý Noether. Bằng cách sử dụng góc nhìn hình học, ta có thể hiểu rõ hơn về mối quan hệ giữa tính đối xứng và các định luật bảo toàn. Trong cơ học lượng tử, các đối xứng của Hamiltonian tương ứng với các toán tử bảo toàn, và các trạng thái riêng của các toán tử này tạo thành các biểu diễn bất khả quy của nhóm đối xứng. Điều này cho phép ta phân loại các trạng thái lượng tử theo tính đối xứng của chúng, và sử dụng các quy tắc lựa chọn để dự đoán các quá trình chuyển đổi có thể xảy ra. Góc nhìn hình học cũng có thể được sử dụng để nghiên cứu các hệ thống có tính đối xứng bị phá vỡ, như các hệ thống trong vật lý chất rắn và vật lý hạt nhân.

5.1. Định lý Noether Liên hệ giữa Đối xứng và Bảo toàn một cách Hình học

Định lý Noether là một định lý quan trọng trong vật lý lý thuyết, liên kết các đối xứng của một hệ thống vật lý với các định luật bảo toàn. Định lý này nói rằng mỗi đối xứng liên tục của Lagrangian của một hệ thống tương ứng với một đại lượng bảo toàn. Ví dụ, tính bất biến của Lagrangian dưới các phép tịnh tiến thời gian tương ứng với bảo toàn năng lượng, tính bất biến dưới các phép tịnh tiến không gian tương ứng với bảo toàn động lượng, và tính bất biến dưới các phép quay tương ứng với bảo toàn mômen động lượng. Định lý Noether có thể được chứng minh bằng cách sử dụng các công cụ của hình học vi phân và giải tích biến phân. Bằng cách sử dụng góc nhìn hình học, ta có thể hiểu rõ hơn về mối quan hệ giữa tính đối xứng và các định luật bảo toàn, và phát triển các phương pháp hiệu quả để tìm ra các đại lượng bảo toàn trong các hệ thống vật lý phức tạp.

5.2. Biểu diễn nhóm và Toán tử Bảo toàn Phân loại Trạng thái Lượng tử

Trong cơ học lượng tử, các đối xứng của Hamiltonian tương ứng với các toán tử bảo toàn. Các toán tử bảo toàn giao hoán với Hamiltonian, và các trạng thái riêng của các toán tử này là các trạng thái dừng của hệ thống. Các trạng thái riêng của các toán tử bảo toàn tạo thành các biểu diễn bất khả quy của nhóm đối xứng. Điều này cho phép ta phân loại các trạng thái lượng tử theo tính đối xứng của chúng, và sử dụng các quy tắc lựa chọn để dự đoán các quá trình chuyển đổi có thể xảy ra. Ví dụ, trong nguyên tử hydrogen, Hamiltonian có tính đối xứng cầu, và các trạng thái riêng của Hamiltonian có thể được phân loại theo số lượng tử chính n, số lượng tử orbital l, và số lượng tử từ ml. Các quy tắc lựa chọn cho các quá trình chuyển đổi giữa các trạng thái này được xác định bởi tính đối xứng của Hamiltonian và các tính chất biến đổi của toán tử tương tác.

VI. Kết luận và Tương lai Hướng đi mới cho Cơ học Hình học

Góc nhìn hình học trong cơ học cổ điển và cơ học lượng tử không chỉ là một công cụ toán học, mà còn là một cách tư duy mới về thế giới vật lý. Nó mang lại một cách tiếp cận trực quan và sâu sắc hơn, làm sáng tỏ các mối liên hệ sâu sắc giữa các khái niệm và hiện tượng khác nhau. Mặc dù vẫn còn nhiều thách thức trong việc áp dụng góc nhìn hình học vào các hệ phức tạp, như các hệ nhiều hạt và các hệ có tính hỗn loạn, những tiến bộ gần đây trong toán học và vật lý lý thuyết đang mở ra những hướng đi mới đầy hứa hẹn. Việc phát triển các phương pháp và kỹ thuật mới để lượng tử hóa các lý thuyết trường, để mô tả các hệ thống có tính đối xứng bị phá vỡ, và để nghiên cứu không-thời gian ở quy mô Planck sẽ là những lĩnh vực nghiên cứu quan trọng trong tương lai. Quan trọng hơn, sự kết hợp giữa hình học lượng tử và lý thuyết dây có thể mang lại những đột phá trong sự hiểu biết về vũ trụ ở quy mô nhỏ nhất. Lý thuyết trường lượng tử cũng đang được nghiên cứu dưới góc độ hình học để tìm kiếm các đối xứng và cấu trúc hình học ẩn.

6.1. Thách thức và Cơ hội Kết hợp Hình học Lượng tử và Lý thuyết Dây

Một trong những hướng đi đầy hứa hẹn trong tương lai là sự kết hợp giữa hình học lượng tử và lý thuyết dây. Lý thuyết dây là một lý thuyết vật lý lý thuyết cho rằng các hạt cơ bản không phải là các điểm mà là các dây nhỏ rung động. Lý thuyết dây đòi hỏi phải có thêm các chiều không gian, và hình học của các chiều này có thể có những tính chất lượng tử thú vị. Sự kết hợp giữa hình học lượng tử và lý thuyết dây có thể mang lại những đột phá trong sự hiểu biết về vũ trụ ở quy mô nhỏ nhất, và có thể dẫn đến một lý thuyết thống nhất của tất cả các lực. Tuy nhiên, việc xây dựng một lý thuyết nhất quán về hình học lượng tử và lý thuyết dây vẫn còn nhiều thách thức, và đòi hỏi phải có những tiến bộ đáng kể trong toán học và vật lý lý thuyết.

6.2. Hướng đi tương lai Ứng dụng Hình học vào Lý thuyết Trường Lượng tử

Lý thuyết trường lượng tử là một lý thuyết vật lý lý thuyết mô tả các hạt cơ bản như các kích thích của các trường lượng tử. Lý thuyết trường lượng tử đã rất thành công trong việc mô tả các lực điện từ, lực yếu, và lực mạnh, nhưng nó vẫn còn nhiều vấn đề chưa được giải quyết, như vấn đề về khối lượng của neutrino và vấn đề về năng lượng tối. Việc nghiên cứu lý thuyết trường lượng tử dưới góc nhìn hình học có thể mang lại những hiểu biết mới về cấu trúc cơ bản của vật chất và lực, và có thể dẫn đến việc giải quyết các vấn đề còn tồn đọng. Ví dụ, việc sử dụng các khái niệm của hình học không giao hoán có thể giúp ta mô tả không-thời gian ở quy mô Planck, và việc sử dụng các khái niệm của hình học siêu đối xứng có thể giúp ta giải quyết vấn đề về phân cấp trong Mô hình Chuẩn.

Công thức Hình học của Cơ học Cổ điển và Lượng tử: Nghiên cứu Chuyên sâu

Preface

Introduction

1. Fibre bundles over R

1.1. Autonomous dynamic equations

1.2. Non-relativistic geodesic equations

1.3. Free motion equations

1.4. Integrals of motion

2. Lagrangian formalism on Q → R

2.1. Cartan and Hamilton–De Donder equations

2.2. Lagrangian and Newtonian systems

2.3. Lagrangian conservation laws

2.3.1. Generalized vector fields

2.3.2. First Noether theorem

2.3.3. Noether conservation laws

2.3.4. Energy conservation laws

3. Geometry of Poisson manifolds

3.1. Lichnerowicz–Poisson cohomology

3.2. Group action on Poisson manifolds

4. Autonomous Hamiltonian systems

4.1. Poisson Hamiltonian systems

4.2. Symplectic Hamiltonian systems

4.3. Presymplectic Hamiltonian systems

5. Hamiltonian formalism on Q → R

5.1. Homogeneous Hamiltonian formalism

5.2. Lagrangian form of Hamiltonian formalism

5.3. Associated Lagrangian and Hamiltonian systems

5.4. Quadratic Lagrangian and Hamiltonian systems

5.5. Hamiltonian conservation laws

5.6. Time-reparametrized mechanics

6. Operators in Hilbert spaces

6.1. Representations of involutive algebras

6.2. Automorphisms of quantum systems

6.3. Banach and Hilbert manifolds

6.3.1. Real Banach spaces

6.4. Banach vector bundles

6.5. Projective Hilbert space

7. Hilbert and C ∗ -algebra bundles

7.1. Connections on Hilbert and C ∗ -algebra bundles

8. Geometric quantization of symplectic manifolds

8.1. Geometric quantization of a cotangent bundle

8.2. Leafwise geometric quantization

9. Quantization of non-relativistic mechanics

9.1. Prequantization of T ∗ Q and V ∗ Q

9.2. Quantization of T ∗ Q and V ∗ Q

9.3. Instantwise quantization of V ∗ Q

9.4. Quantization of the evolution equation

9.5. Quantization with respect to different reference frames

6. Constraint Hamiltonian systems

6.1. Autonomous Hamiltonian systems with constraints

6.2. Time-dependent constraints

6.3. Geometric quantization of constraint systems

7. Integrable Hamiltonian systems

7.1. Partially integrable systems with non-compact invariant submanifolds

7.1.1. Partially integrable systems on a Poisson manifold

7.2. Bi-Hamiltonian partially integrable systems

7.3. Partial action-angle coordinates

7.4. Partially integrable system on a symplectic manifold

7.5. Global partially integrable systems

7.6. KAM theorem for partially integrable systems

7.7. Superintegrable systems with non-compact invariant submanifolds

7.8. Globally superintegrable systems

7.9. Superintegrable Hamiltonian systems

7.10. Global Kepler system

7.11. Non-autonomous integrable systems

7.12. Quantization of superintegrable systems

8. The vertical extension of Lagrangian mechanics

8.1. The vertical extension of Hamiltonian mechanics

8.2. Jacobi fields of completely integrable systems

9. Mechanics with time-dependent parameters

9.1. Lagrangian mechanics with parameters

9.2. Hamiltonian mechanics with parameters

9.3. Quantum mechanics with classical parameters

9.4. Berry geometric factor

9.5. Non-adiabatic holonomy operator

10. Jets of submanifolds

10.1. Lagrangian relativistic mechanics

10.2. Relativistic geodesic equations

10.3. Hamiltonian relativistic mechanics

10.4. Geometric quantization of relativistic mechanics