Hamilton Mekaniği: Hamilton Fonksiyonu ve Kanonik Denklemler

Hamilton fonksiyonunun tanımı ve fiziksel anlamı

Hamilton fonksiyonu, genellikle H(q,p,t) biçiminde yazılan ve sistemin kanonik koordinatları ile momentumlarını bir araya getiren temel büyüklüktür. Lagrange fonksiyonu L(q,dot q,t) verildiğinde Hamilton fonksiyonu Legendre dönüşümüyle tanımlanır:

H(q,p,t) = toplam_i p_i dot q_i - L(q,dot q,t)

Burada p_i kanonik momentumdur ve p_i = ∂L/∂dot q_i bağıntısıyla tanımlanır. Bu tanımda hızlar doğrudan bağımsız değişken olarak kalmaz; uygun koşullarda hızlar q, p ve t cinsinden çözülerek H yalnızca q, p ve t’nin fonksiyonu hâline getirilir. Böylece Hamilton fonksiyonu, hareketi konum-hız değişkenleriyle değil, konum-momentum değişkenleriyle anlatır.

Hamilton fonksiyonunun enerjiyle ilişkisi önemli fakat koşulludur. Basit bir parçacık için L = 1/2 m dot q² - V(q) olduğunda p = m dot q elde edilir. Bu durumda H = p dot q - L ifadesine yerleştirme yapılır ve H = p²/(2m) + V(q) bulunur. Bu, kinetik ve potansiyel enerjilerin toplamı olan mekanik enerjiye eşittir. Ancak zaman bağımlı koordinat seçimleri, zamanla değişen etkileşimler veya hızlara karmaşık biçimde bağlı Lagrange fonksiyonları bulunduğunda Hamilton fonksiyonunu otomatik olarak toplam enerji kabul etmek doğru değildir. Enerji yorumu, sistemin ve kullanılan değişkenlerin özellikleri incelenerek yapılır.

Örneğin tek boyutlu bir parçacık yay potansiyelinde hareket etsin: V(q) = 1/2 kq². Hamilton fonksiyonu H = p²/(2m) + 1/2 kq² olur. Faz uzayında q ve p değiştikçe bu ifade sabit bir enerji eğrisini belirler. Parçacığın konumu ve momentumu değişse de ideal, zaman bağımsız sistemde kinetik ve potansiyel enerji arasındaki alışveriş toplam H değerini değiştirmez.

Lagrange formalizminden Hamilton formalizmine geçiş

Lagrange formalizminde sistemin hareketi genelleştirilmiş koordinatlar q_i ve hızları dot q_i üzerinden yazılan Lagrange fonksiyonuyla kurulur. Euler-Lagrange denklemleri şöyledir:

d/dt(∂L/∂dot q_i) - ∂L/∂q_i = 0

Hamilton formalizmine geçişin ilk adımı kanonik momentumu tanımlamaktır:

p_i = ∂L/∂dot q_i

Bu momentum, her zaman yalnızca fiziksel momentumun basitçe m çarpı hız biçiminde olmak zorunda değildir. Örneğin kartezyen koordinatlarda ve standart kinetik enerjiye sahip tek parçacıkta p = m dot q olur; fakat eğrisel koordinatlar veya farklı etkileşimler kullanıldığında kanonik momentumun biçimi koordinat seçimine ve Lagrange fonksiyonuna bağlıdır.

İkinci adım Legendre dönüşümüdür. Bu dönüşüm, hızları temel değişken olmaktan çıkarıp momentumları temel değişken hâline getirir. Bunun yapılabilmesi için p_i = ∂L/∂dot q_i bağıntılarının hızlar açısından çözülebilmesi gerekir. Matematiksel olarak hızlara göre ikinci türevlerden oluşan Hessian matrisinin tekil olmaması bu yerel terslenebilirlik için temel koşuldur. Hızlar q, p ve t cinsinden yazıldıktan sonra H = toplam_i p_i dot q_i - L tanımı, H(q,p,t) olarak kullanılabilir.

Geçişin neden işe yaradığını diferansiyel üzerinden görmek mümkündür. H’nin diferansiyeli alınırsa, p_i = ∂L/∂dot q_i tanımı nedeniyle hız değişimlerini içeren terimler birbirini götürür ve

dH = toplam_i dot q_i dp_i - toplam_i (∂L/∂q_i) dq_i + (∂H/∂t)dt

biçimi elde edilir. Euler-Lagrange denklemi ∂L/∂q_i = dot p_i olduğundan bu ifade kanonik denklemlere dönüşür. Böylece Lagrange yaklaşımındaki ikinci dereceden hareket denklemleri, q_i ve p_i için birinci dereceden eşlenik denklemler olarak yeniden yazılır.

Tek boyutlu serbest parçacık bu süreci açıkça gösterir. L = 1/2 m dot q² olduğunda p = m dot q ve buradan dot q = p/m bulunur. Legendre dönüşümü H = p dot q - L ile uygulanınca H = p²/(2m) elde edilir. Dolayısıyla yeni formalizm aynı fiziği farklı değişkenlerle ifade eder; fiziksel hareket değişmez, fakat durumun ve zaman evriminin matematiksel temsili değişir.

Kanonik değişkenler: genelleştirilmiş koordinatlar ve momentumlar

Hamilton formalizminde q_i genelleştirilmiş koordinatları, sistemin konfigürasyonunu tanımlayan bağımsız değişkenlerdir. Bunlar yalnızca bir parçacığın x, y, z konumları olmak zorunda değildir; bir sarkacın açısı veya dönme hareketindeki açısal koordinat gibi değişkenler de olabilir. Her q_i’ye karşılık p_i = ∂L/∂dot q_i biçiminde tanımlanan bir kanonik momentum bulunur. Bu nedenle temel değişkenler tek tek q_i ve p_i değil, konum-momentum çiftleridir. Her çift, sistemin o serbestlik derecesinin hem nerede olduğunu hem de hareket durumunu taşır. Aynı konuma sahip iki sistem farklı momentumlara sahipse farklı biçimde evrilebilir; bu yüzden yalnızca koordinatları bilmek klasik hareketi belirlemek için yeterli değildir.

Hamilton’un kanonik denklemleri

Hamilton fonksiyonu H(q,p,t) konum ve momentumların fonksiyonu olarak yazıldığında hareket denklemleri şu iki kanonik denklemle verilir:

dot q_i = ∂H/∂p_i dot p_i = -∂H/∂q_i

Bu denklemler, Hamilton fonksiyonunun momentum yönündeki değişiminin koordinatın zaman türevini, koordinat yönündeki değişiminin ise momentumun zaman türevini belirlediğini söyler. Birinci denklem konumun nasıl değiştiğini, ikinci denklem ise kuvvet etkisinin genelleştirilmiş momentumda nasıl değişim oluşturduğunu gösterir. Denklem çiftinin birinci dereceden olması, başlangıçta q_i ve p_i verildiğinde sistemin faz uzayındaki yörüngesini belirlemeyi kolaylaştırır.

Bu sonuç doğrudan H’nin diferansiyelinden çıkar. Legendre dönüşümünden sonra

dH = toplam_i (∂H/∂q_i)dq_i + toplam_i (∂H/∂p_i)dp_i + (∂H/∂t)dt

yazılabilir. Öte yandan Lagrange denklemleri kullanılarak aynı diferansiyel

dH = toplam_i (-dot p_i)dq_i + toplam_i dot q_i dp_i + (∂H/∂t)dt

şeklindedir. dq_i ve dp_i bağımsız değişkenler olduğundan katsayılar karşılaştırılır ve iki kanonik denklem elde edilir. Buradaki eksi işareti, momentum değişiminin Hamilton fonksiyonunun koordinata göre eğimiyle ters yönlü olduğunu belirtir.

Tek boyutlu potansiyel içinde hareket eden parçacık için H = p²/(2m) + V(q) alınsın. Kanonik denklemler

dot q = ∂H/∂p = p/m

dot p = -∂H/∂q = -dV/dq

olur. İlk denklem p = m dot q bağıntısını yeniden verir. İkinci denklem, potansiyelin konuma göre değişiminin momentum değişimini belirlediğini gösterir. V(q) = 1/2 kq² seçilirse dot p = -kq elde edilir. Ayrıca p = m dot q olduğundan m ddot q = -kq yazılabilir; bu da aynı sistemin Newtoncu ikinci dereceden hareket denklemini verir.

Kanonik denklemler fiziksel olarak bir enerji yüzeyindeki hareketi de açıklar. H’nin momentum yönündeki eğimi büyükse koordinat daha hızlı değişir; H’nin koordinat yönündeki eğimi büyükse momentum daha hızlı değişir. Böylece Hamilton fonksiyonu yalnızca bir enerji benzeri ifade değil, başlangıç durumundan sonraki hareketi üreten bir kuraldır.

Faz uzayı ve Hamilton akışı

Faz uzayı, bir sistemin tüm genelleştirilmiş koordinatları ile kanonik momentumlarının birlikte oluşturduğu uzaydır. Tek serbestlik derecesi için bir noktanın koordinatları (q,p), çok serbestlik derecesi içinse (q_1,...,q_n,p_1,...,p_n) biçimindedir. Bu uzayda sistemin fiziksel durumu tek bir noktayla gösterilir; zaman geçtikçe bu nokta kanonik denklemlerin belirlediği bir yörünge boyunca hareket eder. Bu yörüngeye Hamilton akışı denir.

Hamilton akışının yönü her noktada H’nin türevleriyle belirlenir: q yönündeki hız ∂H/∂p, p yönündeki hız ise -∂H/∂q’dur. Zaman bağımsız bir sistemde H sabitse yörünge bir sabit-H yüzeyi üzerinde kalır. Örneğin H = p²/(2m) + 1/2 kq² için faz uzayındaki sabit enerji eğrileri elipslerdir; parçacığın q ve p değerleri elips üzerinde sürekli değişir. Bu geometrik gösterim, hareketin yalnızca konum grafiğiyle değil, konum ve momentumun birlikte izlenmesiyle anlaşılmasını sağlar.

Korunum yasaları ve Hamilton formalizminde zaman evrimi

Hamilton formalizminde herhangi bir fiziksel büyüklüğün zaman değişimi, onun q, p ve varsa açık zaman bağımlılığı üzerinden incelenir. F(q,p,t) için zincir kuralı ve kanonik denklemler kullanıldığında

DF/dt = ∂F/∂t + toplam_i [(∂F/∂q_i)(∂H/∂p_i) - (∂F/∂p_i)(∂H/∂q_i)]

Elde edilir. Bu ifade, bir büyüklüğün korunması için açık zaman bağımlılığının ve Hamilton akışı boyunca değişiminin birlikte değerlendirilmesi gerektiğini gösterir. Özellikle F = H seçilirse, çapraz terimler birbirini götürür ve

DH/dt = ∂H/∂t

Sonucu çıkar. Hamilton fonksiyonu açıkça zamana bağlı değilse H korunur. Basit mekanik sistemlerde H toplam mekanik enerjiye eşitse bu, enerjinin korunumu olarak yorumlanır.

Koordinatlardan biri Hamilton fonksiyonunda görünmüyorsa, o koordinata karşılık gelen momentum korunur. Çünkü ∂H/∂q_i = 0 ise kanonik denklem doğrudan dot p_i = 0 verir. Bu, simetri ile korunum arasındaki temel bağlantının Hamilton biçimindeki görünümüdür. Örneğin bir parçacığın potansiyeli belirli bir doğrultudaki konuma bağlı değilse, o doğrultuya karşılık gelen momentum değişmez. Momentumun kuvvetle ilişkisi de bu yorumu destekler: kuvvet zaman içinde momentumda değişim oluşturur; net dış kuvvet yoksa momentum korunabilir. Klasik mekaniğin yanı sıra momentum korunumu daha geniş fizik bağlamlarında da temel bir ilkedir.

Poisson parantezi, iki faz uzayı büyüklüğünün kanonik değişkenler üzerinden nasıl ilişkilendiğini tanımlayan kısa bir gösterimdir:

{F,G} = toplam_i [(∂F/∂q_i)(∂G/∂p_i) - (∂F/∂p_i)(∂G/∂q_i)]

Bu gösterimle zaman evrimi dF/dt = ∂F/∂t + {F,H} biçiminde kısaltılabilir; burada daha ileri cebirsel özelliklere girilmez.

Basit sistemlerde uygulama, önce Lagrange fonksiyonundan p_i’yi bulmayı, sonra H’yi yazıp iki kanonik denklemi uygulamayı gerektirir. Serbest parçacıkta H = p²/(2m) olduğundan momentum sabit, konumun zamanla değişimi ise sabit momentumla belirlenir; yay potansiyelinde ise q ve p birbirine dönüşümlü olarak değişir.

Hamilton formalizmi, hızlardan momentumlara geçişin terslenebilir olduğu düzenli sistemlerde doğrudan uygulanır. Tekil Lagrange fonksiyonları, kısıtlar veya relativistik ve kuantum etkilerinin önemli olduğu durumlar ek yöntemler gerektirebilir; bu nedenle klasik ve uygun koordinatlarla tanımlanmış sistem varsayımı baştan belirtilmelidir.

Hamilton-Jacobi yaklaşımı, kanonik dönüşümler ve üreteç fonksiyonları burada ele alınmayan ayrı konulardır. Hamilton formalizminin kuantum mekaniğiyle bağlantısı için kuantum mekaniğinin temel çerçevesine ayrıca bakılmalıdır.