Bölüm 1: Newton'un Kafesinden Kaçış: Konfigürasyon Uzayı ve Manifoldlar

Teorik fiziğin derinliklerine inildikçe, birinci sınıf amfilerindeki standart eğik düzlem problemlerinin yerini, doğanın temel simetrileri ve bu simetrilerin dokuduğu geometrik yapılar alır. Bu noktada klasik mekaniğin asıl zarafeti, Newton'un oklarla çizilmiş o kısıtlayıcı kafesinden (kartezyen vektörlerden) çıkıp, evrenin geometrik dilini keşfetmektir.

1 Koordinatlardan Kurtulmak: Afin Uzay Olarak Evren

Fiziğin en temel ilkesi şudur: Evrende ayrıcalıklı bir nokta yoktur. Yani evrenin bir "orijini" $(0,0,0)$ noktası yoktur. Eğer uzayı doğrudan bir vektör uzayı olan $\mathbb{R}^3$ olarak tanımlarsak, bu uzayın doğasında olan sıfır vektörüne (orijine) haksız bir kutsallık atfetmiş oluruz. Arnold bu felsefi problemi, uzayı bir Afin Uzay (Affine Space) olarak tanımlayarak çözer.

Afin uzayı, "başlangıç noktası unutulmuş bir vektör uzayı" olarak düşünebilirsiniz. Noktalar ve vektörler iki farklı hayvandır. Uzayımız olan $\mathbb{A}^3$ 'te sadece "noktalar" (örneğin $A, B, C$ ) vardır. İki noktayı birbirinden çıkardığımızda bir vektör elde edersiniz, ancak iki noktayı toplayamazsınız (iki konumu toplamanın fiziksel bir anlamı yoktur!).

Matematiksel olarak uzayımız, bir $\mathbb{R}^3$ vektör uzayının etki ettiği bir $\mathbb{A}^3$ afin uzayıdır. Yani bir $A$ noktasına bir $\mathbf{v}$ vektörü eklerseniz, yeni bir $B$ noktası elde edersiniz:

B = A + \mathbf{v} \implies \mathbf{v} = B - A \tag{1}

İşte bu basit tanım, uzayın homojenliğini (her yerin aynı kurallara tabi olmasını) doğrudan geometriye kodlar. Orijin yoktur, sadece noktalar arası ilişkiler vardır. Uzay, yönsüz ve hiyerarşisiz boş bir sayfadır.

İki Uzay Arasındaki Köprü: Orijini Seçmek ve Unutmak

Peki bu yönsüz, hiyerarşisiz $\mathbb{A}^3$ afin uzayından, bildiğimiz o hesaplanabilir $\mathbb{R}^3$ vektör uzayına (veya tam tersine) nasıl geçeriz? Cevap çok basittir ama fizikte derin bir anlam taşır: Bir orijin (referans noktası) seçerek.

Afin uzayı "orijinini unutmuş bir vektör uzayı" olarak tanımlamıştık. Eğer bu boş sayfa olan $\mathbb{A}^3$ içinde tamamen keyfi bir $O$ noktası seçer ve buna "orijin" dersek, afin uzaydaki herhangi bir $P$ noktası, $O$ 'dan $P$ 'ye çizilen bir konum vektörü ile $(\mathbf{r} = P - O)$ birebir eşleşir. İşte o an, noktalar vektörlere dönüşür ve afin uzayımız bir $\mathbb{R}^3$ vektör uzayına çöker. Artık elimizde standart kartezyen eksenleri oturtabileceğimiz bir temel vardır.

Tersine, $\mathbb{R}^3$ vektör uzayından $\mathbb{A}^3$ afin uzayına geçmek istiyorsak, orijini "unuturuz". Vektörlerin mutlak konumlarını siler, uzayı sadece nesnelerin birbirine göre olan uzaklıkları ve yönleriyle (fark vektörleriyle) tanımlarız.
Arnold'un mekanik vizyonundaki felsefe şudur: Evrenin gerçek dokusu $\mathbb{A}^3$ 'tür; evrenin kendisi bir orijine sahip değildir. Ancak biz ölümlü fizikçiler denklemleri yazabilmek ve ölçüm yapabilmek için uzaya bir gözlemci (referans sistemi) yerleştiririz ve uzayı geçici olarak $\mathbb{R}^3$ 'e indirgeriz. Klasik mekaniğin asıl gücü, bulduğumuz fiziksel yasaların, bizim sonradan uzaya çaktığımız bu keyfi $O$ noktasına asla bağlı olmamasından gelir. Peki bu bağımsızlık (veya değişmezlik) uzay-zamanda kendini nasıl gösterir?

2 Mutlak Zaman ve Galilei Uzay-Zamanı

Sadece uzay yetmez, olayların ne zaman gerçekleştiğini de bilmeliyiz. Newtonyen (veya Galilei) mekaniğinde zaman, uzaydan tamamen bağımsız, tek boyutlu bir afin uzaydır: $\mathbb{A}^1$ . Zamanın da bir başlangıcı (orijini) yoktur; "M.Ö. 10.000" veya "Big Bang'den sonra 3 saniye" demek, zamanı bir vektör uzayı yapmaz, sadece referans noktaları seçmektir.

Peki, uzay-zaman (Spacetime) dediğimiz şey nedir? Arnold uzay-zamanı, noktaları "olaylar" (events) olan 4 boyutlu bir $\mathbb{A}^4$ afin uzayı olarak tanımlar. Ancak bu herhangi bir 4 boyutlu uzay değildir. Bu uzayın içinde "zaman" fonksiyonu adını verdiğimiz çok özel bir izdüşüm (projection) vardır:

t : \mathbb{A}^4 \to \mathbb{A}^1 \tag{2}

Uzay-zamandaki iki olay $a$ ve $b$ olsun. Bu olaylar arasındaki zaman farkı $t(b) - t(a)$ ile verilir.

Burada Arnold'un klasik mekanik inşasındaki en kritik kavrama geliyoruz: Eşzamanlılık (Simultaneity). İki olayın aynı anda gerçekleşmesi demek, $t(a) = t(b)$ olması demektir. Galilei evreninde uzaklık, sadece ve sadece eşzamanlı olaylar arasında tanımlıdır. Yani "Şu an benim bulunduğum yer ile, 10 saniye sonra Mars'ta olacak olan patlama arasındaki mesafe nedir?" sorusu klasik mekanikte anlamsızdır. Çünkü hareket eden bir gözlemciye göre uzaysal mesafe değişir. Ancak iki olay aynı anda gerçekleşiyorsa, evrendeki tüm gözlemciler bu iki olay arasındaki uzaysal mesafenin (Öklidyen metrik) aynı olduğu konusunda hemfikirdir.

İşte Arnold tarzı uzay-zaman: Eşzamanlılık dilimlerinden (her biri birer $\mathbb{A}^3$ ) oluşan bir krep yığını gibi düşünebilirsiniz. İleride Görelilik Teorisi'ne veya Kuantum Alan Teorisi'ne geçtiğinizde, Einstein'ın bu "krep yığınını" nasıl büküp erittiğini (mutlak zamanı yıkıp, mesafeyi ve zamanı tek bir Minkowski metriğinde nasıl birleştirdiğini) çok daha iyi takdir edeceksiniz.

3 Galilei Grubu: Fiziğin Kurallarını Belirleyen Simetri

Sahneyi kurduk. Peki bu sahnede izin verilen "kamera hareketleri" nelerdir? Fizik yasalarının değişmediği referans sistemi dönüşümlerine Galilei Grubu denir. Bu grup şunları içerir:

Uzaysal Ötelemeler: $\mathbf{r} \to \mathbf{r} + \mathbf{a}$ (Uzayın homojenliği)
Zamansal Ötelemeler: $t \to t + \tau$ (Zamanın homojenliği)
Uzaysal Döndürmeler: $\mathbf{r} \to R\mathbf{r}$ (Uzayın izotropisi, yönden bağımsızlığı)
Eylemsiz (Inertial) Dönüşümler (Galilei Boost): $\mathbf{r} \to \mathbf{r} + \mathbf{v}t$ (Sabit hızla hareket eden sistemlerin denkliği)

4 Eylemsizlik Referans Sistemleri ve Vektörlerin Yetersizliği

Mekanik olayları incelemek için öncelikle bir referans sistemi seçilmelidir; zira keyfi bir sistem seçildiğinde uzay homojen ve izotropik olmaz. Ancak Galileo'nun görelilik ilkesine (Galileo's relativity principle) göre, uzayın homojen (her noktasının eşdeğer) ve izotropik (her yönünün eşdeğer), zamanın ise homojen olduğu "eylemsizlik sistemleri" (inertial frames) bulmak daima mümkündür. Eylemsiz bir sistemde serbest bir cisim, büyüklüğü ve yönü sabit bir hızla hareket eder.

Ancak elimizdeki sistem serbest parçacıklardan değil de bağlara (constraints) sahip cisimlerden oluştuğunda ne olur? Newtonyen mekanik bu noktada bizi zorlu bir sürece sokar. Bir küre yüzeyine hapsedilmiş bir sarkacın hareketini $\mathbb{R}^3$ uzayındaki $(x, y, z)$ vektörleriyle tanımlamaya çalışırsak, cismin yüzeyden ayrılmasını engelleyen ve yönü büyüklüğü sürekli değişen bağ kuvvetlerini (constraint forces) hesaba katmak zorunda kalırız. Oysa bu tepki kuvvetleri fiziksel bir etkileşimden ziyade, sistemin geometrik sınırlarının bir sonucudur. İdeal holonomik bağlara (holonomic constraints) sahip sistemlerin analizi için, sistemi tanımlayan denklemleri bu görünmez ve işe yaramaz kuvvetlerin yükünden kurtarmamız gerekir.

5 Neden $\mathbb{R}^3$ Uzayını Terk Edip Toruslara ve Kürelere Sığınıyoruz?

Newton bize bir başlangıç noktası verdi ama bizi düz, sıkıcı ve kartezyen bir $\mathbb{R}^3$ uzayına hapsetti. Oysa evrensel kısıtlamalar altında (örneğin küre yüzeyinde hareket eden bir sarkaç veya bir ray üzerindeki trende) kartezyen koordinatlar çaresiz kalır. Denklemler, bağ kuvvetleri (constraint forces) ile dolar taşar. Bağ kuvvetleri denmesinin nedeni de kavramsal olarak bu kuvvetler, sistemi konfigürasyon manifolduna bağlar ve sistemin o manifoldun (yüzeyin veya eğrinin) dışına çıkmasını geometrik olarak kısıtlar.

Arnold, "Mathematical Methods of Classical Mechanics" kitabında bu kısıtlar karşısında olaya getirilen yeniliği şöyle belirtir: Fiziksel sistemin yaşayacağı alanı, sistemin kendi serbestlik dereceleriyle (degrees of freedom) yeniden tanımlamak.

Eğer sistemimiz $N$ parçacığa sahipse ve $k$ tane holonomik yani integral edilebilir kısıtlaması varsa, sistemin özgürce hareket edeceği alan $n = 3N - k$ olur. İşte bu $n$ adet bağımsız koordinatla $(q_1, q_2, \ldots, q_n)$ tanımladığımız soyut uzaya Konfigürasyon Manifoldu ( $M$ ) diyoruz. Bir çiftli sarkaç düşünün; uzayda hareket eden iki kütle olmasına rağmen, sistemi sadece iki açıyla $(\theta_1, \theta_2)$ tamamen tanımlayabilirsiniz. Yani bu çiftli sarkacın konfigürasyon uzayı aslında bir Torus'tur ( $T^2 = S^1 \times S^1$ ). Arnold'un geometrik diliyle konuşursak, sistemin her bir anlık konumu bu manifold üzerinde bir noktadır.

Bu manifold üzerindeki bir nokta $q \in M$ sistemin o anki tam durumunu (tüm parçacıkların konumunu) tek başına ifade eder. Zaman aktıkça $(t)$ , bu nokta manifold üzerinde pürüzsüz bir eğri çizer:

\gamma : \mathbb{R} \to M, \quad t \mapsto q(t) \tag{3}

Peki ya hız? Hız dediğimiz şey, manifold üzerindeki bu eğriye teğet olan vektördür. Ancak bu vektör manifoldun içinde yaşamaz; manifoldun o noktasındaki Teğet Uzay'da (Tangent Space, $T_qM$ ) yaşar. Bir noktanın teğet uzayı, o noktadan geçebilecek tüm olası hız vektörlerinin kümesidir. Konumları ve hızları aynı anda ele almak istersek, manifoldun tüm noktalarındaki teğet uzayları birleştirip yepyeni, $2n$ boyutlu devasa bir uzay inşa ederiz: Teğet Demeti (Tangent Bundle, $TM$ ).

TM = \bigcup_{q \in M} T_q M \tag{4}

İşte Lagrange fonksiyonu dediğimiz o efsanevi $L$ , ne gökten inmiş bir formüldür ne de rastgele bir skalerdir. $L$ , bu Teğet Demeti üzerinden ve zamandan gerçel sayılara giden pürüzsüz (diferansiyellenebilir) bir fonksiyondur:

L : TM \times \mathbb{R} \to \mathbb{R}

(q, \dot{q}, t) \mapsto L(q, \dot{q}, t) \tag{5}

Yani sisteme konumunu $(q)$ , hızını $(\dot{q})$ ve zamanı $(t)$ verirsin, o sana skaler bir sayı verir. Bütün fizik bu skaler fonksiyonun içindedir.

6 Örnek: Helisel Rollercoaster Sarkacı

Bu soyut geometrik yapıyı tamamen içselleştirmek için Newtonyen kuvvetlerin içinden çıkılamaz bir kaos yaratacağı, ancak analitik mekaniğin bir sanat eserine dönüştüreceği bir sistem tasarlayalım: Helisel Rollercoaster Sarkacı.

Sistemimiz şu şekilde olsun: Uzayda sabitlenmiş sarmal (helis) şeklinde bir telimiz var. $m_1$ kütleli bir boncuk bu tel üzerinde sürtünmesizce kayabiliyor. Bu $m_1$ kütlesine ise $l$ uzunluğunda kütlesiz bir çubukla $m_2$ kütleli ikinci bir parçacık bağlanmış (sarkaç). Sarkacın sadece radial-dikey (kütle merkezinden dışarı doğru) düzlemde sallanmasına izin verelim.

Koordinatların (Manifoldun) Tanımlanması:

Sistemimizin iki serbestlik derecesi vardır. Manifoldumuz, helisin tek boyutlu yapısı ( $S^1$ benzer bir topoloji) ve sarkacın açısal hareketi ( $S^1$ ) ile oluşur. Koordinatları tanımlayalım:

$q_1$ : Helis üzerindeki $m_1$ kütlesinin konumunu belirleyen azimut açısı.
$q_2$ : Sarkacın düşeyle yaptığı açı.

Helisin parametreleri yarıçap $R$ ve adım aralığı sabiti $c = h/2\pi$ olsun. $m_1$ kütlesinin uzaydaki konumu:

\mathbf{r}_1 = (R\cos q_1,\ R\sin q_1,\ cq_1) \tag{6}

$m_2$ kütleli sarkacın konumu, $m_1$ bulunduğu noktadan dışarıya doğru radyal olarak $l\sin q_2$ kadar, aşağı doğru (Z ekseninde) ise $l\cos q_2$ kadar yer değiştirmiştir:

\mathbf{r}_2 = \big((R + l\sin q_2)\cos q_1,\ (R + l\sin q_2)\sin q_1,\ cq_1 - l\cos q_2\big) \tag{7}

Hızlar ve Kinetik Enerji:

Kinetik enerji, genelleştirilmiş hızların her zaman karesel (quadratic) bir fonksiyonudur ve $T = \frac{1}{2}\sum a_{ik}(q)\dot{q}_i\dot{q}_k$ şeklinde ifade edilir. Koordinatların zamana göre türevini alarak hızların karelerini buluruz.

\dot{\mathbf{r}}_1^2 = (R^2 + c^2)\dot{q}_1^2 \tag{8}

$\dot{\mathbf{r}}_2^2$ terimi için türev alıp kareleri topladığımızda, manifoldun eğriliğinden kaynaklanan çapraz terimler (cross terms) ortaya çıkar:

\dot{\mathbf{r}}_2^2 = \dot{q}_1^2\left[(R + l\sin q_2)^2 + c^2\right] + l^2\dot{q}_2^2 + 2cl\sin q_2\,\dot{q}_1\dot{q}_2 \tag{9}

Toplam kinetik enerji $T = \frac{1}{2}m_1\dot{\mathbf{r}}_1^2 + \frac{1}{2}m_2\dot{\mathbf{r}}_2^2$ düzenlendiğinde şu forma ulaşır:

T = \frac{1}{2}\underbrace{\left[m_1(R^2+c^2) + m_2\left((R+l\sin q_2)^2+c^2\right)\right]}_{a_{11}}\dot{q}_1^2 + \frac{1}{2}\underbrace{\left[m_2 l^2\right]}_{a_{22}}\dot{q}_2^2 + \underbrace{m_2 cl\sin q_2}_{a_{12}=a_{21}}\dot{q}_1\dot{q}_2\tag{10}

Metrik Tensör (Riemannian Metric):

Arnold'a göre, eylemsiz hareket eden bir sistemin konfigürasyon uzayındaki her teğet uzayda (tangent space) tanımlı pozitif tanımlı karesel form, bir Riemann metriği $(ds^2)$ yaratır. Bu metrik doğrudan kinetik enerjinin katsayı matrisidir:

g_{ij} = \begin{pmatrix} m_1(R^2+c^2) + m_2\left((R+l\sin q_2)^2+c^2\right) & m_2 cl\sin q_2 \\ m_2 cl\sin q_2 & m_2 l^2 \end{pmatrix} \tag{11}

İşte $\mathbb{R}^3$ 'ten kaçışın zaferi budur. O karmaşık tepki kuvvetleriyle boğuşmak yerine, sistemin yaşadığı iki boyutlu manifoldun "metrik tensörünü" elde ettik. Sarkaç sallandıkça ( $q_2$ değiştikçe), metrik tensörün $g_{11}$ ve $g_{12}$ bileşenleri değişir; yani manifoldun eğriliği bizzat sistemin konfigürasyonu tarafından şekillendirilir. Sistemin serbest hareketleri, artık bu eğri uzaydaki jeodeziklerden (geodesics) başka bir şey değildir.

Ancak burada çok zarif bir detayı gözden kaçırmamalıyız: "Serbest hareket" tanımı, sistemin üzerinde hiçbir fiziksel potansiyel enerjinin ( $V(q) = 0$ ) olmadığı durumlar için geçerlidir. Kurguladığımız sistemde, manifoldun z-eksenindeki helisel eğiminden ve sarkacın düşey düzlemdeki salınımından dolayı işin içine kaçınılmaz olarak kütleçekim potansiyel enerjisi girer. Sistemin mutlak z-koordinatlarını ( $z_1 = cq_1$ ve $z_2 = cq_1 - l\cos q_2$ ) dikkate aldığımızda sistemin gerçek potansiyel enerjisi şu şekildedir:

V(q) = m_1 g(cq_1) + m_2 g(cq_1 - l\cos q_2) = (m_1 + m_2)gcq_1 - m_2 gl\cos q_2 \tag{12}

Potansiyel enerjinin varlığında, parçacığın yörüngesi artık sadece kütle dağılımından doğan o saf $g_{ij}$ metriğinin jeodeziklerine itaat etmez; kütleçekimi, konfigürasyon manifoldunun geometrisini kendi etrafında bükmeye başlar. Bu kuvvet altındaki hareketi yeniden pürüzsüz bir "jeodezik problemi" olarak geometrik bir çerçeveye oturtmak istersek, kinetik enerjiden elde ettiğimiz metrik tensörü, sistemin toplam enerjisini ( $E$ ) ve potansiyelini barındıran Maupertuis-Jacobi Metriği ile yeniden tanımlamamız gerekir:

ds^2 = 2(E - V(q))\sum a_{ik}(q)\,dq_i\,dq_k \tag{13}

Böylece klasik mekanik, potansiyel enerjiyi bile kuvvet vektörleri yerine "uzayın eğriliğine" dönüştürerek geometrikleştirir. Dinamiğin gerçek kalbine inmek için artık tek yapmamız gereken, teğet demetindeki bu hızları $(\dot{q})$ momentumlara $(p)$ çevirip Faz Uzayı'na ( $T^*M$ ) adım atmaktır.

7 Doğanın Tembelliği: En Az Eylem İlkesi (Principle of Least Action)

Manifoldumuzu kurduk, kinetik enerjinin yarattığı Riemann metriğini tanımladık ve potansiyelin uzayı nasıl büktüğünü gördük. Peki ama bir parçacık $A$ noktasından $B$ noktasına giderken, bu karmaşık geometri içinde hangi yolu seçeceğine nasıl karar verir? Parçacıklar ilerideki engelleri "görüp" ona göre mi rota çizerler, yoksa anlık kuvvetlerin körü körüne itmesiyle mi hareket ederler?

İşte tüm klasik mekaniği, kuantum mekaniğini ve genel göreliliği tek bir çatı altında birleştiren o keskin cevap: En Az Eylem İlkesi'dir.

Teğet demeti ( $TM$ ) üzerinde tanımladığımız $L(q, \dot{q}, t)$ Lagrange fonksiyonunun, sistemin belirli bir $t_1$ anından $t_2$ anına kadar uzanan bir yörünge $(\gamma)$ boyunca integrali alındığında ortaya "Eylem" (Action, $S$ ) adını verdiğimiz bir skaler çıkar:

S(\gamma) = \int_{t_1}^{t_2} L(q(t), \dot{q}(t), t)\,dt \tag{14}

Bu bir fonksiyon değil, bir fonksiyoneldir (fonksiyonların fonksiyonu). Sistemin konfigürasyon uzayında çizebileceği sonsuz sayıda olası yörünge vardır. Ancak doğa son derece tutumlu, hatta "tembeldir". Evren, parçacığın izleyeceği gerçek yörüngeyi öyle bir seçer ki, bu $S$ eylem integrali bir ekstremum (genellikle bir minimum) değerini alır. Yani sistemin hareketi, varyasyonu sıfır olan ( $\delta S = 0$ ) rotadır. Parçacık sanki tüm olası yolları aynı anda "koklar" ve eylemi minimize eden o eşsiz jeodeziği seçip süzülür.

Varyasyon Nedir? Yörüngelerin Sanal Dansı

Burada "varyasyonu sıfır olan ( $\delta S = 0$ ) rotadır" dedik, ancak bu $\delta$ (varyasyon) operatörünün fiziksel ve matematiksel anlamını netleştirmek zorundayız.

Normal diferansiyel hesapta $(d/dt)$ , zaman akarken bir parçacığın konumundaki değişimi inceleriz. Varyasyonlar hesabında $(\delta)$ ise durum bambaşkadır: Zamanı dondurur ve sistemin konfigürasyon uzayında çizdiği o pürüzsüz yörüngeyi bütünüyle ele alıp, onu hayali olarak bükeriz.

Diyelim ki doğanın seçtiği o kusursuz, gerçek yörünge $q(t)$ olsun. Bu yörüngeye çok küçük, sanal bir sapma (virtual displacement) ekleyerek komşu bir yörünge hayal edelim:

\tilde{q}(t) = q(t) + \delta q(t) \tag{15}

Buradaki $\delta q(t)$ fonksiyonuna, yörüngenin varyasyonu denir. Ancak doğanın bu sanal denemelere izin verirken koyduğu çok katı bir kural vardır: Sistemin nereden yola çıktığı $(t_1)$ ve nereye varacağı $(t_2)$ kesindir. Uç noktalar duvara çivilenmiştir, yani varyasyonlar başlangıç ve bitiş anlarında sıfır olmak zorundadır:

\delta q(t_1) = 0, \quad \delta q(t_2) = 0 \tag{16}

İşte $\delta S = 0$ (Eylemin durağanlığı) ilkesinin bize söylediği derin gerçek budur: Uç noktaları sabit tutarak gerçek yörünge üzerinde yapacağınız her türlü sonsuz küçük hayali bükülme (varyasyon $\delta q$ ), eylem integralinde ( $S$ ) birinci mertebeden hiçbir değişime yol açmaz. Nasıl ki standart kalkülüste bir fonksiyonun minimum noktasında teğetin eğimi sıfırsa ( $df = 0$ ), konfigürasyon manifoldunun üzerindeki o devasa fonksiyonel uzayda da doğanın seçtiği yörüngenin varyasyonu sıfırdır. Parçacık, eylemin topografyasında adeta düzleştiği o ekstremum noktasını bulup oradan süzülür.

8 Neden $L = T - V$ ? Simetrilerin Katı Dayatması

Analitik mekanik ders kitaplarında veya teorik fizik amfilerindeki ilk derslerde genellikle tepeden inme bir kabulle başlarız: Lagrange fonksiyonu kinetik enerji eksi potansiyel enerjidir ( $L = T - V$ ). Peki ama neden? Evren neden $L = T + V$ veya $L = T^2/V$ gibi bir formülü değil de bu spesifik yapıyı seçmiştir?

İşte Lev Landau'nun mekanik inşasındaki en büyük dehası burada yatar. Landau, $L = T - V$ denkleminin gökten zembille inmediğini, yazının başında tanımladığımız Galilei Grubu simetrilerinin matematiksel bir zorunluluğu olduğunu ispatlar.

Bunu matematiksel olarak adım adım görelim. Eylemsiz bir referans sisteminde, tamamen serbest (üzerinde hiçbir kuvvet olmayan) bir parçacık hayal edelim. Bu parçacığı tanımlayacak olan Lagrange fonksiyonu başlangıçta konumun $(\mathbf{r})$ , hızın $(\mathbf{v} = \dot{\mathbf{r}})$ ve zamanın $(t)$ rastgele bir fonksiyonu olabilir: $L(\mathbf{r}, \mathbf{v}, t)$ .

Fakat doğanın simetrileri bu fonksiyona anında kısıtlamalar getirmeye başlar:

Uzayın Homojenliği: Evrende ayrıcalıklı bir nokta yoktur. Parçacığı uzayda $\Delta\mathbf{r}$ kadar kaydırmak fiziksel hiçbir yasayı değiştirmez. Bu yüzden $L$ , konum vektörüne $(\mathbf{r})$ bağlı olamaz: $\frac{\partial L}{\partial \mathbf{r}} = 0$ .
Zamanın Homojenliği: Fizik kuralları dün neyse bugün de odur. Zamanın mutlak bir başlangıcı olmadığı için $L$ , zamana açıkça (explicitly) bağlı olamaz: $\frac{\partial L}{\partial t} = 0$ .
Uzayın İzotropisi: Uzayda ayrıcalıklı bir yön yoktur. Dolayısıyla $L$ , hız vektörünün $(\mathbf{v})$ yönüne değil, sadece onun skaler büyüklüğüne, daha doğrusu büyüklüğünün karesine $(v^2 = \mathbf{v} \cdot \mathbf{v})$ bağlı olabilir.

Bütün bu geometrik kısıtlamalar sonucunda, serbest parçacığın Lagrangian'ı oldukça sadeleşir: $L = L(v^2)$ .

Peki fonksiyonun tam formu nedir? Bunu bulmak için Galilei Görelilik İlkesi'ni kullanmalıyız. Kurallar, birbirine göre sabit bir $\boldsymbol{\epsilon}$ hızıyla hareket eden iki eylemsiz sistemde ( $K$ ve $K'$ ) tamamen aynı olmalıdır. $K'$ sistemindeki hız $\mathbf{v}' = \mathbf{v} + \boldsymbol{\epsilon}$ olur. Bu çok küçük (infinitesimal) bir $\boldsymbol{\epsilon}$ hızı için yeni Lagrangian'ı Taylor serisine açarsak:

L(v'^2) = L\!\left((\mathbf{v}+\boldsymbol{\epsilon})^2\right) = L(v^2 + 2\mathbf{v}\cdot\boldsymbol{\epsilon} + \epsilon^2) \approx L(v^2) + \frac{\partial L}{\partial v^2}(2\mathbf{v}\cdot\boldsymbol{\epsilon}) \tag{17}

İki referans sisteminin fiziksel olarak tamamen aynı hareket denklemlerini vermesi için, bu iki Lagrangian arasındaki farkın, konum ve zamanın tam bir zamansal türevi $\left(\frac{dF}{dt}\right)$ olması şarttır. Fark terimine yakından bakalım:

\delta L = 2\frac{\partial L}{\partial v^2}\mathbf{v}\cdot\boldsymbol{\epsilon} = 2\frac{\partial L}{\partial v^2}\frac{d\mathbf{r}}{dt}\cdot\boldsymbol{\epsilon} \tag{18}

Bu ifadenin saf bir $\frac{d}{dt}(\ldots)$ formunda yazılabilmesi ancak ve ancak $\frac{\partial L}{\partial v^2}$ teriminin hıza bağlı olmayan bir sabit olmasıyla mümkündür. Bu sabiti $\frac{1}{2}m$ olarak adlandırırsak (buradaki $m$ parçacığın kütlesidir), türevi geri integre ettiğimizde muazzam bir kesinlikle şu sonuca varırız:

L(v^2) = \frac{1}{2}mv^2 = T \tag{19}

Gördüğümüz gibi kinetik enerjinin formu ( $v^2$ 'ye orantılı olması), tamamen uzayın izotropisi ve Galilei dönüşümlerinin bir diktesidir.

Eğer uzayda parçacığın serbestliğini bozan, uzayın homojenliğini kıran bir etkileşim alanı varsa (örneğin kütleçekimi), bu alan koordinatlara bağlı skaler bir fonksiyon olarak eyleme katılmalıdır. Doğanın basitlik ilkesi gereği, bu etkileşim terimi sadece konuma bağlı bir $-V(\mathbf{r})$ eklentisi olarak Lagrangian'a girer. İşte Galilei görelilik ilkesi ve evrenin homojenliği, bizi o kaçınılmaz formüle böyle ulaştırır:

L = \frac{1}{2}mv^2 - V(\mathbf{r}) = T - V \tag{20}

9 Geometriden Dinamiğe: Euler-Lagrange Denklemlerinin Türetilişi

Eylemi minimize etme felsefesini ( $\delta S = 0$ ) ve sanal yer değiştirmeleri $(\delta q)$ tanımladık. Şimdi bu geometrik fikri katı bir matematiğe dökelim. Eylem integralinin varyasyonunu alırsak:

\delta S = \delta \int_{t_1}^{t_2} L(q, \dot{q}, t)\,dt = \int_{t_1}^{t_2} \left(\frac{\partial L}{\partial q}\delta q + \frac{\partial L}{\partial \dot{q}}\delta\dot{q}\right)dt = 0 \tag{21}

Burada kritik bir adım atmamız gerekiyor. $\delta\dot{q}$ terimi, aslında varyasyonun zamana göre türevidir, yani $\delta\dot{q} = \frac{d}{dt}(\delta q)$ . Bunu integralin içine yerleştirip, ikinci terime kısmi integrasyon (integration by parts) uygularsak:

\int_{t_1}^{t_2} \frac{\partial L}{\partial \dot{q}}\frac{d}{dt}(\delta q)\,dt = \left[\frac{\partial L}{\partial \dot{q}}\delta q\right]_{t_1}^{t_2} - \int_{t_1}^{t_2} \frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot{q}}\right)\delta q\,dt \tag{22}

Hatırlayalım, doğa sanal varyasyonlara izin verirken uç noktaları duvara çivilemişti! Yani $t_1$ ve $t_2$ anlarında varyasyon sıfırdır ( $\delta q(t_1) = 0$ ve $\delta q(t_2) = 0$ ). Bu katı kural sayesinde, sağ taraftaki sınır değer terimi (köşeli parantez içindeki kısım) tamamen sıfırlanarak yok olur. Geriye kalan integrali orijinal denklemde yerine koyarsak:

\delta S = \int_{t_1}^{t_2} \left[\frac{\partial L}{\partial q} - \frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot{q}}\right)\right]\delta q\,dt = 0 \tag{23}

İşte varyasyonlar hesabının temel leması (Fundamental Lemma of Calculus of Variations) burada devreye girer. $t_1$ ve $t_2$ arasında seçtiğimiz sanal sapma $(\delta q)$ tamamen keyfidir. Eğer keyfi bir $\delta q$ fonksiyonu ile çarpılan bir integral her zaman sıfır sonucunu veriyorsa, parantez içindeki ifadenin kendisi zorunlu olarak her yerde sıfır olmalıdır! Böylece konfigürasyon manifoldunun koordinatlarından tamamen bağımsız olan o meşhur diferansiyel denklemler ortaya çıkar:

\frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot{q}_i}\right) - \frac{\partial L}{\partial q_i} = 0 \quad (i = 1, 2, \ldots, n) \tag{24}

Newton mekaniğinde ( $F = ma$ ) kartezyen koordinatlardan küresel veya silindirik koordinatlara geçmek bir kabustur; ivme terimleri akıl almaz çapraz çarpımlarla dolar. Oysa bu türettiğimiz Euler-Lagrange denklemleri kovaryanttır. Yani uzayımızı tanımlamak için kullandığımız $q_i$ koordinatları ister kartezyen olsun, ister açı, ister bizim rollercoaster örneğimizdeki gibi bir helis uzunluğu olsun, bu diferansiyel denklemin formu asla değişmez. Konfigürasyon uzayındaki metrik ne kadar eğri büğrü olursa olsun, bu denklem o uzaydaki doğru yörüngeyi kusursuzca bulur.

10 Sistemin Uyanışı: Hareket Denklemlerinin Çözümü

Artık her şeye sahibiz. 6. bölümde inşa ettiğimiz o karmaşık Helisel Rollercoaster Sarkacı sistemini "uyandırma" zamanı geldi. Kinetik enerjimizi $(T)$ ve potansiyel enerjimizi $(V)$ bulmuştuk. Sistemin devasa Lagrangian'ı şu şekildedir:

L = \frac{1}{2}\left[m_1(R^2+c^2) + m_2((R+l\sin q_2)^2+c^2)\right]\dot{q}_1^2 + \frac{1}{2}m_2 l^2\dot{q}_2^2 + m_2 cl\sin q_2\,\dot{q}_1\dot{q}_2 - V(q_1, q_2) \tag{25}

Bu sistem için hareket denklemlerini bulmak, karmaşık serbest cisim diyagramları veya 3 boyutlu vektör izdüşümleri çizmeyi gerektirmez. Tek yapmamız gereken bu $L$ fonksiyonunu Euler-Lagrange makinesine atmaktır. Örneğin, sarkacın düşey salınımını veren $q_2$ koordinatını ele alalım:

\frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot{q}_2}\right) - \frac{\partial L}{\partial q_2} = 0 \tag{26}

Önce hızlara göre kısmi türevi (genelleştirilmiş momentumu) bulalım ve zamana göre türevini alalım:

\frac{\partial L}{\partial \dot{q}_2} = m_2 l^2\dot{q}_2 + m_2 cl\sin q_2\,\dot{q}_1 \implies \frac{d}{dt}(\ldots) = m_2 l^2\ddot{q}_2 + m_2 cl\cos q_2\,\dot{q}_1\dot{q}_2 + m_2 cl\sin q_2\,\ddot{q}_1 \tag{27}

Şimdi de konuma $(q_2)$ göre kısmi türevi (genelleştirilmiş kuvveti) alalım. Potansiyel enerjiden gelen türevin $-\frac{\partial V}{\partial q_2} = -m_2 gl\sin q_2$ olduğuna dikkat edin:

\frac{\partial L}{\partial q_2} = m_2 l(R + l\sin q_2)\cos q_2\,\dot{q}_1^2 + m_2 cl\cos q_2\,\dot{q}_1\dot{q}_2 - m_2 gl\sin q_2 \tag{28}

Bu iki ifadeyi birbirinden çıkardığımızda o harika matematiksel "sadeleşme" gerçekleşir; $\dot{q}_1\dot{q}_2$ 'li çapraz terimler birbirini yok eder ve geriye saf hareket denklemi kalır:

m_2 l^2\ddot{q}_2 + m_2 cl\sin q_2\,\ddot{q}_1 - m_2 l(R + l\sin q_2)\cos q_2\,\dot{q}_1^2 + m_2 gl\sin q_2 = 0 \tag{29}

Bakın, Newton'un kuvvet diyagramlarında asla bu kadar kolay göremeyeceğimiz her şey bir çırpıda karşımızda: Sarkacın eylemsizlik momenti $(m_2 l^2\ddot{q}_2)$ , helisteki ivmelenmeden kaynaklı etkileşim kuplajı $(m_2 cl\sin q_2\,\ddot{q}_1)$ , sistem dönerken sarkacı dışarı savuran merkezkaç terimi $(m_2 l(R + l\sin q_2)\cos q_2\,\dot{q}_1^2)$ ve kütleçekiminin o ince izdüşümü $(m_2 gl\sin q_2)$ . Hepsi salt geometriden doğdu!

Geometrik Bir Çıkarım: Vektör Alanları ve Faz Akışı

İşte Arnold, elde ettiğimiz bu ivme $(\ddot{q})$ denklemlerine sadece "çözülecek bir cebir problemi" olarak bakmaz. Bu diferansiyel denklemler dizisi, aslında $2n$ -boyutlu Teğet Demeti $(TM)$ üzerinde tanımlı devasa bir vektör alanıdır (vector field).

Sistemin $t_1$ anından $t_2$ anına evrimi, anlık durum olan $(q, \dot{q})$ noktasının, bu vektör alanının akıntılarına kapılarak bir sıvı damlası gibi sürüklenmesidir. Arnold bu duruma Faz Akışı (Phase Flow) adını verir. Doğanın temel yasaları, uzayı bu akışın integral eğrileri ile baştan aşağı dokur.

11 Enerjinin Doğuşu ve Hamilton'a İlk Bakış: Jacobi İntegrali

Peki bu vektör alanında sürüklenen sistemde değişmeden kalan hiçbir şey yok mudur? İşte bu noktada Arnold, zamanın homojenliğini kullanarak enerjinin korunumunu o gökten inme formüllerle değil, bizzat Euler-Lagrange üzerinden ispatlar.

Eğer sistemde dış koşullar zamanla değişmiyorsa $\left(\frac{\partial L}{\partial t} = 0\right)$ , Lagrangian'ın toplam zaman türevini zincir kuralıyla açalım:

\frac{dL}{dt} = \sum_i \frac{\partial L}{\partial q_i}\dot{q}_i + \sum_i \frac{\partial L}{\partial \dot{q}_i}\ddot{q}_i \tag{30}

Euler-Lagrange denklemi gereği $\frac{\partial L}{\partial q_i}$ yerine $\frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot{q}_i}\right)$ yazarsak:

\frac{dL}{dt} = \sum_i \left[\frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot{q}_i}\right)\dot{q}_i + \frac{\partial L}{\partial \dot{q}_i}\ddot{q}_i\right] = \frac{d}{dt}\!\left(\sum_i \frac{\partial L}{\partial \dot{q}_i}\dot{q}_i\right) \tag{31}

Bütün türevleri tek bir tarafa topladığımızda karşımıza muazzam bir matematiksel sabitlik, yani Jacobi İntegrali çıkar:

\frac{d}{dt}\!\left(\sum_{i=1}^{n} \dot{q}_i\frac{\partial L}{\partial \dot{q}_i} - L\right) = 0 \implies E = \sum_{i=1}^{n} \dot{q}_i\frac{\partial L}{\partial \dot{q}_i} - L = \text{Sabit} \tag{32}

Doğa, zamanın homojenliğini kullanarak işte bu devasa $E$ fonksiyonunu korur. Ancak bu korunum yasasının içine gizlenmiş matematiksel form $(\sum \dot{q}p - L)$ , basit bir enerjiden çok daha fazlasıdır. Bu form, bizi hızların teğet dünyasından koparıp mekaniğin asıl kalbinin attığı yer olan Kotanjant Demeti'ne $(T^*M)$ , diğer bir deyişle Faz Uzayı'na taşıyacak olan gizli bir köprüdür.

Bu köprünün adını koymak ve bizi o yepyeni evrene nasıl sıçrattığını görmek için, bir sonraki bölümde Hamilton'un kusursuz geometrik devrimine yelken açacağız.

Kaynakça

1)Arnol'd, V. I. (1989). Mathematical Methods of Classical Mechanics (2nd ed.). Springer-Verlag.
2)Landau, L. D., & Lifshitz, E. M. (1976). Mechanics (Vol. 1, 3rd ed.). Butterworth-Heinemann