Sturm-Liouville Teorisi: Bir Telin Titreşiminden Kuantum Mekaniğine

Pisagor'un sezgisinden modern fiziğe

Bir gitar telini çekip bıraktığınızda belirli frekanslarda titreşir: temel ton, ikinci harmonik, üçüncü harmonik... Bu frekansların oranı tam sayılardır ($1:2:3:\ldots$). Pisagor'dan beri bilinen bu gözlem ardında nasıl bir matematik var?

Bir taraftan çubuk eğilmesi, diğer taraftan ısının bir metal çubukta yayılması, başka bir taraftan hidrojen atomundaki elektronun enerji seviyeleri — hepsi aynı yapıyı çağırır. Bu yapının ismi: Sturm-Liouville teorisi.

Tarih

İki Fransız matematikçi — Jacques Charles François Sturm (1803-1855) ve Joseph Liouville (1809-1882) — 1836-1837 arasında Paris'te bu teoriyi birlikte geliştirdi. İkinci mertebe lineer ODE'lerin özel bir formunun sistematik bir spektral teoriye sahip olduğunu gösterdiler.

Bu, Hilbert uzayları ve fonksiyonel analiz doğmadan önce, 19. yüzyılın ortasında matematiğin neyi yapabileceğinin çarpıcı bir örneğiydi. 1900'lerde Hilbert ve von Neumann spektral teoriyi soyutlaştırınca, Sturm-Liouville'un onun somut, klasik halı olduğu görüldü.

Sturm-Liouville denklemi

Genel form:

$\frac{d}{dx}\left[ p(x) \frac{dy}{dx} \right] + \left[ \lambda w(x) - q(x) \right] y = 0$

Burada:

• $p(x) > 0$: katsayı fonksiyonu (genelde gerilim veya benzeri fiziksel büyüklük)
• $w(x) > 0$: ağırlık fonksiyonu (genelde kütle yoğunluğu)
• $q(x)$: potansiyel benzeri terim
• $\lambda$: öz-değer parametresi — bulmaya çalıştığımız sayı

Sınır koşulları (mesela $y(a) = y(b) = 0$) eklenir. Görev: hangi $\lambda$ değerleri için sıfırdan farklı $y(x)$ çözümü vardır?

Bu $\lambda$ değerleri özdeğerler, karşılık gelen $y_n(x)$ çözümleri özfonksiyonlar.

Tel örneği

Uzunluk $L$, gerilim $T$, çizgisel kütle yoğunluğu $\rho$ olan tel. Dalga denklemini değişkenlere ayırınca uzaysal kısım:

$y''(x) + \lambda y(x) = 0, \quad y(0) = y(L) = 0$

Bu, $p = 1, w = 1, q = 0$ olan basit Sturm-Liouville. Çözümler:

$y_n(x) = \sin\left(\frac{n\pi x}{L}\right), \quad \lambda_n = \left(\frac{n\pi}{L}\right)^2, \quad n = 1, 2, 3, \ldots$

Frekanslar: $f_n = \frac{n}{2L}\sqrt{T/\rho}$ — Pisagor'un harmonik dizisi karşımızda.

Sturm-Liouville teorisinin altı altın özelliği

Sınır koşulları "düzgün" (regular) ise:

1. Sayılabilir sonsuz öz-değer: $\lambda_1 < \lambda_2 < \lambda_3 < \cdots \to \infty$.
2. Her özdeğer basit: her birine karşılık tek (ölçek hariç) özfonksiyon.
3. $n$. özfonksiyonun $(a,b)$ aralığında tam $n-1$ kökü vardır (Sturm karşılaştırma teoremi).
4. Ortogonallik: $\int_a^b y_n(x) y_m(x) w(x) dx = 0$ ($n \neq m$). $w$ ağırlığıyla.
5. Tamlık: özfonksiyonlar Hilbert uzayında baz oluşturur. Her "iyi" fonksiyon $f(x)$, $f = \sum c_n y_n$ olarak açılabilir.
6. Min-max: öz-değerler bir varyasyonel ilkenin (Rayleigh oranı) ekstremumları olarak karakterize edilir.

Bu özellikler, Sturm-Liouville'un sonsuz boyutlu lineer cebirin somut örneği olduğunu söyler.

Fourier serisinin gerçek yüzü

Fourier serisi, $L^2[0, 2\pi]$ uzayında $\{\sin(nx), \cos(nx)\}$ bazı kullanır. Bu baz nereden geldi? Cevap: bu fonksiyonlar tam tamına $y'' + \lambda y = 0$, $y(0) = y(2\pi)$ periyodik Sturm-Liouville probleminin özfonksiyonları!

Fourier 1822'de ısı denklemi için keşfetmişti; Sturm-Liouville bu yöntemin neden çalıştığını ve hangi sınıf problemlere genişletilebileceğini açıkladı.

Klasik özfonksiyon aileleri

Herkesin tanıdığı özel fonksiyonlar — Bessel, Legendre, Hermite, Laguerre, Chebyshev — birer Sturm-Liouville probleminin özfonksiyonudur.

• Bessel ($J_n$): silindirik koordinatlarda ısı/dalga.
• Legendre ($P_n$): küresel harmonikler, atom orbitalleri.
• Hermite ($H_n$): kuantum harmonik osilatörün öz-fonksiyonları, $w(x) = e^{-x^2}$.
• Laguerre ($L_n$): hidrojen atomu radyal denklemi, $w(x) = e^{-x}$.
• Chebyshev: yaklaşım teorisinde "en az kötü" interpolasyon.

Her biri farklı $p, q, w$ ile aynı çatıya oturur.

Kuantum mekaniği

Schrödinger denklemi:

$-\frac{\hbar^2}{2m} \psi''(x) + V(x) \psi(x) = E \psi(x)$

— $p = \hbar^2/(2m)$, $q = V(x)$, $w = 1$, $\lambda = E$ ile bir Sturm-Liouville problemidir! Atomun enerji seviyeleri, hidrojenin spektral çizgileri, Sturm-Liouville öz-değerleridir.

Balmer'in 1885'te formülünü ezbere yazdığı $1/n^2 - 1/m^2$ örüntüsü — Sturm-Liouville teorisinin öz-değer sayım sonucudur.

Singular vs regular

Gerçek dünya problemlerinin çoğu "regular" değildir: $p(x) \to 0$ sınırda (Bessel), aralık sonsuza uzanır (Hermite), $q(x) \to \infty$ (hidrojen). Bunlara singular Sturm-Liouville denir. Spektrum sayılabilir kalsa bile sınır davranışı dikkat ister; Weyl 1910'da bu durumun teorisini kurdu.

Sonuç

Sturm ve Liouville, görünüşte sıradan bir diferansiyel denklem ailesinin altında modern matematiğin spektral evrenini açtılar. Tek bir formül — $(p y')' + (\lambda w - q) y = 0$ — gitarın notalarını, hidrojenin kimyasını ve sayısal analizdeki en güçlü teknikleri (sonlu elemanlar yöntemi) birbirine bağlar.

"Doğa lineerdir — yeterince yakından bakıldığında." Sturm-Liouville bu lineerliğin matematiksel dilbilgisidir.