Stokes Teoremi: "İçerideki Her Şey, Kenarda da Vardır"

Bir nehrin yüzünden bakmak

Yavaş yavaş akan bir nehrin yüzeyini düşünün. Su her noktada belli bir hızda ve belli bir yönde akıyor. Bir yapraklı dalı suya atın; yaprak dönüyor mu? Bazı bölgelerde su girdaplaşır, bazılarında düzgün akar.

Şimdi yüzeyin bir kısmını bir çember ile çevirin. İki ölçü yapabilirsiniz:

1. Dolanım (circulation): çember boyunca su hızının teğet bileşeninin integrali. "Çember etrafında ne kadar su akmış?"
2. Yüzey curl integrali: Çemberin içindeki her noktada akışın dönme miktarını (curl) toplamak.

Stokes teoremi der ki: bu iki ölçü her zaman tam olarak eşittir.

$\oint_{\partial S} \vec F \cdot d\vec r = \iint_S (\nabla \times \vec F) \cdot d\vec A$

Sol taraf: $S$ yüzeyinin sınırı ($\partial S$) boyunca dolaşım. Sağ taraf: $S$ yüzeyinde curl'ün integrali.

Sezgi: "iç" "sınır"'a eşittir

Düşünün: yüzeyi pek çok küçük kareye bölelim. Her küçük karede içindeki curl, o karenin kendi sınırı boyunca akışı verir. İki komşu kare birbirine değdiğinde, ortak sınırdaki akışlar birbirini iptal eder (biri saat yönünde, biri ters yönde geçer).

Sonuçta: tüm iç sınırlar iptal olur; sadece en dış sınır kalır. Yani:

$\sum (\text{küçük karelerin curl integralleri}) = \text{en dış sınır boyunca dolaşım}$

Limit alarak Stokes teoremi çıkar. Bu sezgi, daha derin bir gerçeği gösterir: "iç hesap", "sınır hesabı"'na her zaman eşittir.

Tarihçe: Kelvin'den Stokes'a

Teorem aslında Lord Kelvin (William Thomson) tarafından 1850'de bir mektupta George Stokes'a yazıldı. Stokes ertesi yıl Cambridge Smith Prize sınav sorusu olarak kullandı; bu yüzden adı Stokes'la kaldı (Kelvin'le değil).

Daha sonra bu teoremin çok daha genel bir formu olduğu anlaşıldı: Genelleştirilmiş Stokes teoremi:

$\int_{\partial M} \omega = \int_M d\omega$

Burada $\omega$ bir diferansiyel form, $d\omega$ onun dış türevi, $M$ bir manifold, $\partial M$ onun sınırı. Bu formül, Newton-Leibniz teoremini, Green teoremini, Stokes teoremini, divergence (Gauss) teoremini tek bir formülde birleştirir.

Klasik teoremlerin ortak çatısı

Modern matematikte aşağıdaki "büyük" teoremler, aynı şeyin farklı boyutlarda yansımasıdır:

1) Kalkülüsün temel teoremi (1D)

$\int_a^b f'(x)\,dx = f(b) - f(a)$

Sınır iki noktadır ($a$ ve $b$); türevin integrali sınır değerlerinin farkıdır.

2) Green teoremi (2D, düzlemde)

$\oint_C P\,dx + Q\,dy = \iint_R \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dA$

Düzlemdeki bir bölgenin sınırı boyunca integral = bölgenin içindeki "rotasyonel" miktarın integrali.

3) Klasik Stokes teoremi (2D yüzey, 3D uzayda)

Yukarıdaki formül.

4) Divergence teoremi / Gauss teoremi (3D)

$\oiint_{\partial V} \vec F \cdot d\vec A = \iiint_V (\nabla \cdot \vec F)\,dV$

Hacmin sınırı boyunca akış = hacmin içindeki kaynak/yutak'ların toplamı.

Hepsi tek bir prensibin tezahürü: kenardaki bilgi = içeriği özetler.

Fizikteki uygulamalar

Maxwell denklemleri

Elektromanyetizmanın dört Maxwell denklemi, Stokes ve Gauss teoremleri kullanılarak iki farklı formda yazılır:

• İntegral form: yüzey/eğri etrafındaki büyüklükler
• Diferansiyel form: bir noktadaki türevler

Faraday'ın yasası "Bir kapalı eğrideki EMF, içinden geçen manyetik akının değişim hızına eşittir" der; Stokes teoremi ile diferansiyel formdaki "$\nabla \times \vec E = -\partial \vec B/\partial t$" denklemine dönüştürülür. Aynı fizik, iki dilde.

Akışkanlar mekaniği

Bir uçak kanadı etrafında oluşan kaldırma kuvveti (lift), Stokes teoremiyle kanat etrafındaki dolanım integralinden hesaplanır. Kutta-Joukowski teoremi:

$L = \rho V \Gamma$

(Kaldırma = yoğunluk × hız × dolanım). $\Gamma$ doğrudan dolanım, Stokes ile yüzey üzerinde curl integraline dönüştürülür.

Termodinamik

Birinci yasa: $dU = \delta Q - \delta W$. Tam diferansiyel ($dU$) ile inekzakt diferansiyel ($\delta Q, \delta W$) ayrımı, Stokes-tipi teoremlerin termodinamik dili.

Genel görelilik

Einstein alan denklemleri diferansiyel formlar ve Bianchi özdeşliği üzerinden formüle edildiğinde, Stokes teoreminin genelleştirilmiş hali her adımda kullanılır.

"Sınırın kuvveti"

Stokes teoreminin felsefi mesajı şudur: karmaşık bir yapının içindeki bütün hesabı, sadece sınırına bakarak yapabilirsiniz. Bu, fizikte muazzam basitleştirme sağlar — hacim integrali yerine yüzey integrali, alan integrali yerine eğri integrali.

Bu prensip modern matematik öğretiminin tüm önyargılarını sarsar: "İçi anlamak için içine bakmak gerek" değil, "İçi anlamak için sınırı yeterince inceledim mi?" sorusu.

Modern kohomoloji teorisi (cebirsel topoloji), bu prensibi soyut yapılara genişletir. Bir manifoldun topolojik bilgisi, üzerinde tanımlı diferansiyel formların "sınır hesabıyla" tamamen yakalanır.

"Doğa kıyıdan konuşur"

Bir cismin kütlesi, kütleçekim alanından — sınırı boyunca akıştan — okunur. Bir kapalı bölgedeki elektrik yükü, etrafındaki elektrik alanından okunur. Bir uçağın kaldırma kuvveti, etrafındaki hava dolanımından çıkar.

Stokes teoremi matematiğin doğaya verdiği en zarif sözlerden biri: "Karmaşıkı bilmeden sadelik vardır; sadeliği bilmeden derinlik." Bir kıyı bir ülkeyi tarif eder; bir kenar bir yüzeyi belirler.