Hamilton mekaniği

Hamilton mekaniği klasik mekaniğin tekrar formüle edilmesiyle geliştirilmiş ve Hamilton olmayan klasik mekanik ile aynı sonuçları öngörmüş bir teoridir. Teoriye daha soyut bir bakış açısı kazandıran Hamilton mekaniği klasik mekaniğe kıyasla farklı bir matematiksel formülasyon kullanmaktadır. Tarihi açıdan önemli bir çalışma olan Hamilton mekaniği ileriki yıllarda istatistiksel mekanik ve kuantum mekaniği konularının da geliştirilmesine önemli katkılarda bulunmuştur.Hamilton mekaniği ilk olarak William Rowan Hamilton tarafından 1833 yılında, klasik mekanik Lagranjiyen mekaniği'nden itibaren ele alınarak tekrar formüle edilmiştir. Lagranjiyen mekaniği ise klasik mekaniğin önceki önemli formülasyonlarından birisidir ve Joseph Louis Lagrange tarafından 1788 yılında geliştirilmiştir.Hamilton mekaniğinde klasik bir sistem kanonik koordinatlar  ile ifade edilir. Koordinatdaki her bir bileşen  sistemin referans noktasını göstermektedir.Sistemin zaman içindeki değişimi Hamilton denklemi tarafından özgün biçimde aşağıdaki gibi tanımlanmaktadır;ve denklem içerisindeki (q, p, t) Hamiltonyen'ı ifade etmektedir. Hamiltonyen genelde sistemin toplam enerjisine eşittir ancak bunun geçerli olmadığı durumlar da vardır. Kapalı bir sistemde Hamiltonyen H sistemin kinetik ve potansiyel enerjisinin toplamına eşittir.Newton mekaniğinde, zamandaki değişim sistem içerisindeki her parçacığa etki eden toplam kuvvet hesaplanarak elde edilir ve Newton'ın ikinci yasası kullanılarak hem hızın hem de pozisyonun zaman içindeki değişimi hesaplanır. Buna karşın Hamilton mekaniğinde zamandaki değişim, sistemin Hamiltonyen'ı genel koordinatlarda hesaplandıktan sonra Hamilton denklemine yerleştirilerek elde edilir. Bu yöntem Lagranjiyen mekaniğinde kullanılan yöntem ile aynıdır. Aşağıda da gösterildi üzere, Hamiltonyen aslında q ve t değerlerinin sabit tutulup p 'yi iki değişkeli bir eleman olarak tanımlayan bir Lagranjiyen Legendre dönüşümüdür. Buna bağlı olarak her iki yaklaşım da aynı genelleştirilmiş momentum değerleri için aynı denklemleri verir. Lagranjiyen mekaniği yerine Hamilton mekaniği kullanılmasının temel nedeni ise Hamiltonyen sistemlerin simplektik (symplectic structure) yapısından kaynaklanmaktadır.Hamilton mekaniği zıplayan bir top, bir sarkac veya salınım yapan bir yay gibi basit sistemlerin hareketini açıklamak için kullanılabilir. Bu basit sistemlerdeki enerji, kinetik enerji ve potansiyel enerji arasında zamanla değişime uğrayarak birbirine dönüşür. Buna ek olarak Hamilton mekaniğinin gücünün asıl görüldüğü nokta daha karmaşık dinamik sistemlerdir. Gezegenlerin yörünge hareketleri, gök mekaniği gibi alanlar buna birer örnektir. Sistemin hareket eksenlerindeki özgürlük arttıkça, sistemin zamana bağlı değişkelerinin hesaplanması zorlaşır. Çoğu durumda ise bu sistemler kaotik davranışlar gösterir.Hamilton mekaniğinin en temel yorumlarından birisi, 1 boyutta hareket eden mv kütleli bir cisme uygulanan Hamiltonyen'dır. Hamiltonyen, sistemin toplam enerjisini yani kinetik ve potansiyel enerjisinin toplamını ifade etmektedir. Geleneksel olarak kinetik enerji T ve potansiyel enerji V ile gösterilir. Denklemlerde görünen q pozisyonu ifade eden koordinat iken p ise momentumu ifade etmektedir. Böylece;T'nin sadece p'ye bağlı bir fonksiyon, V'nin ise sadece q'ya bağlı bir fonksiyon olduğu açıkça görülmektedir.Bu örnekte, p'nin zamana bağlı türevi Newtonyan kuvvete eşittir. Buda birinci Hamiltonyen denkleminin ifade ettiği gibi kuvvet, potansiyel enerjinin negatif gradyanına eşittir. q'nun zamana bağlı türevi ise hıza eşittir. Buda ikinci Hamiltonyen denkleminin ifade ettiği gibi parçacığın hızı, kinetik enerjinin momentuma bağlı türevine eşittir.Önceki ifade de değişkenlerin yerleri değiştirilerek genel hızlar q̇i genel momentum  cinsinden tanımlanır.Hamilton denklemleri; Lagranjiyenin zamana, genel koordinatlara qi, ve genel hızlara q̇i göre toplam türevine bakılarak elde edilir.Buna ek olarak Hamiltonyen 'in doğrudan zaman göre toplam türevini hesaplamak da mümkündür. Yukarıda, Lagranjiyen 'in üzerinde yapılan hesaplamalara benzer bir işlem uygulandığında sonuç şu şekilde olacaktır;Dikkatli bakıldığı takdirde yukarıdaki iki bağımsız denklemin sağ taraflarının birbirine eşit olduğu gözlemlenmektedir. Böylece sonuç aşağıdaki şekli almaktadır;Yukarıda işlenen hesaplamalar "off-shell" olarak yapıldığından dolayı denklemin iki tarafına da karşılık gelen terimler aşağıdaki gibi ifade edilir;Hareket denklemleri Larganjiyen mekaniği ile başlayarak genelleştirilmiş koordinat sistemi üzerine kurulmuşturalt indisler ise bu türdeki tüm  değişkenleri tanımlar. Hamilton mekaniğinin amacı genelleştirilmiş hız değişkenlerini genelleştirilmiş momentum değişkenleri ile değiştirmektir. Genelleştirilmiş momentum değişkenleri konjuge momentum olarak da bilinmektedir. Böylelikle bazı sistemleri ele alarak incelemek mümkün hale gelmektedir. Quantum mekaniğindeki bazı problemler bunlara örnek olarak sayılabilir ve Hamilton mekaniğinin yardımı olmadan bu sistemler çok daha karmaşık bir hal almaktadır.Tanımlanan her bir genelleştirilmiş hız için, buna karşılık gelen bir genelleştirilmiş konjuge momentum vardır ve aşağıdaki şekilde ifade edilir;Kartezyen koordinat sistemlerinde genelleştirilmiş momentum tam olarak lineer (doğrusal) momentuma karşılık gelir. Dairesel (kutupsal) koordinat sisteminde ise açısal hız ile ilişkilendirilen genelleştirilmiş momentum açısal momentuma karşılık gelir. Rastgele bir seçim ile tanımlanan genelleştirilmiş koordinat sistemleri her zaman sezgisel bir konjuge momentum karşılığına sahip olmayabilir.Bu koordinata bağımlı formülasyonda açıkça görünmeyen bir durum vardır. Aynı simplektik (symplectic) manifoldlardaki farklı genelleştirilmiş koordinatlar, farklı koordinat yamalarından çok da farklı değillerdir (matematiksel formülasyonu aşağıda görünmektedir).Eğer ki genelleştirilmiş koordinatları tanımlayan dönüşüm denklemleri 'den bağımsız ise ve Lagranjiyen 0, 1 veya 2. dereceden homojen bir fonksiyonun ürünlerinin toplamından oluşuyor ise, Hamiltonyen  toplam enerji  'ye eşittir.Eşlenik katsayıları ve konjuge momentumun önceki tanımını bu denklemde yerine yazarak Hamilton mekaniğinin hareket denklemleri elde edilir. Bu denklemler aynı zamanda Hamilton mekaniğinin standart (canonical) denklemleri olarak da bilinir:Hamilton denklemleri  tane birinci dereceden diferansiyel denklemden oluşmasına karşın Lagrange denklemleri  tane ikinci dereceden diferansiyel denklemden oluşur. Buna karşın Hamilton denklemleri, hareket denklemlerine açık bir çözüm bulmayı kolaylaştırmaz. Bir takım önemli teorik sonuçlar elde edilebilebilmesi Hamilton denklemlerinin sağladığı bazı avantajlardandır. Bu durum momentum ve koordinatların neredeyse simetrik role sahip bağımsız değişkenler olması ile mümkündür.Hamilton denklemlerinin Lagrange denklemleri üzerindeki bir diğer avantajı ise simetri bulunan herhangi bir koordinatın çözüm denklemlerinin ihmal edilebilmesidir. Simetri bulunan sistemlerde yani Hamiltonyenin ortaya çıkmadığı koordinatlarda, bu sisteme karşılık gelen momentumlar korunur. Bu sayede problem   koordinatdan  koordinata indirgenmiş olur.Lagrange ve Hamilton yaklaşımları, klasik mekanik teorisinde ve kuantum mekaniğinin formülasyonları için daha derin sonuçların zeminini oluşturmaktadır.Hamilton denklemleri yukarıda da görüldüğü üzere klasik mekanikte tutarlı bir şekilde sonuç vermektedir ancak kuantum mekaniğinde aynı durum geçerli değildir. Bunun nedeni klasik mekanikte sistem içindeki bir parçacığın konum ve momentum bilgisinin anlık olarak herhangi bir anda kesin olarak bilinebilmesine karşın kuantum mekaniğinde bu durum söz konusu değildir. Buna rağmen denklemler genelleştirilerek klasik mekaniğe uygulandığı gibi kuantum mekaniğine de uygulanabilir. Poisson cebirin  ve  üzerindeki yapısı tekrar oluşturularak Moyal parantezleri cebirine çevirilebilir.Elektromanyetik alan içerisinde bulunan yüklü bir parçacığın Hamiltonyeni, Hamilton mekaniğinin iyi bir illüstrasyonudur. Kartezyen koordinatlarda (örneğin ) relativistik olmayan klasik bir parçacığın elektromanyetik alan içindeki Hamiltonyeni aşağıdaki gibidir (standard birimler kullanıldığı takdirde);ve denklem içerisindeki  elektrik yükü,  skaler elektrik potansiyeli,  yönlü manyetik vektör potansiyelinin elemanlarıdır. Bu durum minimum etkileşim olarak adlandırılır.Eğer ki momentumun tanımını ve hızın momentum cinsinden tanımını yukarıda bulunan Hamiltonyene eklersek, sonrasında ise sadeleştirme adımlarını yaparsak elde edeceğimiz sonuç;Bununla birlikte kuvvet denklemi elde edilebilir (bu denklem aynı zamanda Euler-Lagrange denklemine denktir):Buna denk olan bir başka Hamiltonyen tanımı aşağıdaki gibi gösterilebilir. Burada Hamiltonyen relativistik kinetik momentuma bağlı bir foksiyondur ,Bu yöntem ile 'nin deneysel olarak ölçülememesine karşın  deneysel olarak ölçülebilir. Bu hesaplamada Hamiltonyenin (toplam enerji) relativistik enerji (kinetik + durgun kütle) , ve potansiyel enerji  toplamı olduğu göz önünde bulundurulmalıdır.Hamiltonyen bir sistem zaman  üzerinde bulunan lif yumağı  olarak anlaşılabilir. Fiberler ,  burada konum uzaylarıdır. Böylece Lagranjiyen  üzerinde bulunan jet yumağı 'dir. Lagranjiyenin lif benzeri Legendre dönüşümlerinin alınmasıyla, zaman üzerinde çiftle yumak fonksiyonları oluşturulur. Burada 'de bulunan lif kotanjant uzayı 'dir. Doğal simplektik form ile donatılmış ve bu fonksiyon Hamiltonyendir.Simplektik manifold içerisinde herhangi bir düzgün (smooth) gerçel değerli fonksyion  Hamiltonyen sistem tanımlamak için kullanılabilir.  foksiyonu Hamiltonyen olarak bilinir ve enerji fonksiyonu olarak da kullanılır. Böylece simplektik manifold faz uzayı olarak da adlandırılır. Hamiltonyen, simplektik manifold üzerinde özel bir vektör alanı tanımlar ve bu alan Hamiltonyen vektör alanı olarak adlandırılır.Özel bir çeşit simplektik vektör alanı olan Hamiltonyen vektör alanı, manifold üzerinde Hamiltonyen akışını oluşturur. Bu durum manifoldun tek parametreli dönüşüm ailesidir. Eğrilerin parametreleri genel olarak zaman olarak adlandırılır. Başka bir deyişle simplektikmorfizmin izotopisi özdeşlik ile başlar. Liouville teorem ile birlikte her bir simplektikmofizm, faz uzayındaki hacim formunu korur. Hamiltonyen akış tarafından oluşturulan simplektikmorfizmin bir araya gelmesi genellikle Hamiltonyen sistemlerin Hamiltonyen mekaniği olarak adlandırılır.Simplektik yapı Poisson parantezlerini de üretmektedir. Possion parantezleri Lie cebiri yapıları manifoldları üzerindeki fonksiyonların uzaylarını tanımlar. Tanımlanan fonksiyon  ilebunun nedeni faz uzayı hızı 'nın diverjansının sıfır olmasıdır ve olasılık korunmaktadır. Bu durum Liouville teoremi olarak adlandırılır.Simplektik manifold üzerindeki her bir düzgün (smooth) fonksiyon , simplektikmorfizmin tek parametreli bir ailesini meydana getirir. Eğer ki  durumu sağlanır ise,  korunur ve simplektikmorfizm bir simetri dönüşümüdür.Bir Hamiltonyen birden fazla korunan nicelik içerebilir . Eğer ki simplektik manifold 2n boyuta sahipse ve sistemde n tane bağımsız fonksiyonumsu olan korunmuş nicelik  var ise Hamiltonyen Liouville integral alınabilirdir. Liouville-Arnold teoremi, yerel olarak herhangi bir Liouville integral alınabilir Hamiltonyeninin, bir simplektomorfizm vasıtasıyla, korunan nicelikleri  ile yeni bir Hamiltoniyene dönüştürülebileceğini ifade eder.  koordinatlarının bu yeni formu aksiyon açısı koordinatları olarak adlandırılır. Dönüştürülen Hamiltonyen sadece 'a bağımlıdır. Böylece hareket denklemleri şu basit forma sahip olurlar;Bu durum bazı  fonksiyonları için tanımlanır. KAM teoremi tarafından yönetilen integre edilebilir sistemlerden küçük sapmalara odaklanan tam bir alan vardır.Hamiltonyen vektör alanının integral alınabilir olması ile ilgili açık bir soru vardır. Genelde Hamiltonyen sistemler kaotikdir. Ölçüm konsepti, tamamlayıcılık, integral alınabilirlik ve durağan olma durumu yetersiz şekilde tanımlanır. Bu durumda, dinamik sistemlerin incelenmesi öncelikli olarak niteldir, nicel bir bilim değildir.Önem arz eden özel durumlardan bir tanesi ikinci dereceden (quadratic) oluşan Hamiltonyenlerdir. Bu durumda Hamiltonyen aşağıdaki şekilde yazılabilir;Denklemde bulunan , bazen kometrik olarak da adlandırılır ve konfigürasyon uzayı 'ya kotanjant uzayında fiber  'da düzgünce değişiklik gösterir. Bu Hamiltonyen tamamen kinetic kısımdan oluşmaktadır.Riemann manifold veya yarı Riemann manifold göz önünde bulundurulduğunda, Riemann metriğin tanjant ve kotanjant demetleri arasında doğrusal izomorfizme yol açtığı görülür. Bu isomorfizm kullanılarak kometric tanımlanabilir. Koordinatlar içerisinde kometriği tanımlayan matriks, metriği tanımlayan matriksin tersidir. Hamiltonyen için Hamilton-Jacobi denklemlerinin çözümü, manifoldlarda bulunan jeodezik ile aynıdır. Bilhassa, bu durumda gözlenen Hamiltonyen akış, jeodezik akış ile aynıdır. Bu çözümün varlığına ve varlığının oluşturduğu setin tamamlayıcılığına dair detaylı bilgi jeodezik makalesinde daha detaylı anlatılmıştır.Kometriğin (cometric)'in dejenere olduğu durumlar aynı zamanda tersine çevrilemediği durumlardır. Bu durumlarda Riemann manifoldunu ve dolayısıyla metriği elde etmek olanaksızdır. Buna rağmen Hamiltonyen halen daha hesaplanabilir. Konfigürasyon manifold uzayı 'nun her bir noktası 'da dejenere halde bulunan kometriğin derecesi, konfigürasyon manifold uzayı 'nun boyutundan daha azdır ve bu durum Alt Riemannyen manifoldu olarak adlandırılır.Yine bu durumdaki Hamiltonyen, Alt Riemannyen Hamiltonyen olarak adlandırılır. Her bir Hamiltonyen özgün olarak bir kometrik belirler ve aynı şekilde her bir kometrik özgün bir Hamiltonyen belirler. Buradan şu sonuç çıkarılabilir ki: her bir Alt Riemannyen manifold özgün olarak kendi Alt Riemannyen Hamiltonyeni tarafından belirlenir. Tersi de aynı zamanda geçerlidir: Her bir Alt Riemannyen manifold özgün bir Alt Riemannyen Hamiltonyene sahiptir. Alt Riemanyenn jeodeziklerin varlığı Chow-Rashevskii teoremi tarafından ortaya atılmıştır. Devamlı ve gerçel değerlerden oluşan bir Heisenberg grubu, Alt Riemanyenn manifoldlarına basit bir örnektir. Heisenberg grubu için Hamiltonyenin gösterimi ise aşağıdaki gibidir;Hamiltonyen sistemler farklı yöntemler ile genelleştirilebilirler. Simplektik manifold üzerinde bulunan düzgün (smooth) bir fonksiyonun cebirine basitçe bakmak yerine, Hamiltonyen mekaniği genel komütatif birimsel gerçek Poisson cebir (general commutative unital real Poisson algebra) üstüne formüle edilebilir. Bir durum Poisson cebirinde devamlı doğrusal (lineer) fonksiyonumsudur. Bu fonksiyonumsu bazı uygun topolojiler ile donatılmıştır ve barındırdığı her element  için  pozitif olmayan gerçel sayılar kümesi düşer.