Formy różniczkowe

Formy różniczkowe (ang. differential forms) są pojęciem centralnym w analizie matematycznej i geometrii różniczkowej. Stanowią uogólnienie pojęcia pochodnej funkcji i umożliwiają opisowanie własności przestrzeni przy użyciu narzędzi algebraicznych i topologicznych. W kontekście klasycznej teorii równań różniczkowych wyróżnia się formy dokładne oraz formy niezupełne.

Definicja

Niech U będzie otwartym podzbiorem przestrzeni euklidesowej ℝⁿ. Formą różniczkową rzędu k na U nazywamy skończenie liniową kombinację iloczynów zewnętrznych różniczek współrzędnych:

ω = Σ f_{i₁…i_k}(x) dx^{i₁}∧dx^{i₂}∧…∧dx^{i_k},

gdzie współczynniki f_{i₁…i_k} są funkcjami klasy C¹ (lub wyższej regularności) na U, a symbol ∧ oznacza iloczyn zewnętrzny.

Klasyfikacja według stopnia

0‑forma – po prostu funkcja skalarna f(x).
1‑forma – liniowa kombinacja różniczek dxⁱ:
```
α = Σ a_i(x) dx^i.
```
W analizie klasycznej 1‑formy pojawiają się w równaniach różniczkowych pierwszego rzędu oraz w teorii pól wektorowych (pole wektorowe może być utożsamione z 1‑formą przy użyciu metryki).

2‑forma – kombinacja iloczynów dwuwymiarowych:

β = Σ b_{ij}(x) dx^i∧dx^j,   b_{ij} = –b_{ji}.

...
n‑forma – maksymalna stopnia forma w ℝⁿ, równoważna gęstości objętości.

Operacje na formach

Podstawowe operacje, które zachowują strukturę przestrzeni form, to:

Różniczka zewnętrzna d: d: Ωⁿ → Ωⁿ⁺¹, d² = 0.
Iloczyn zewnętrzny ∧: Ω^p × Ω^q → Ω^{p+q}, antysymetryczny.
Zwężenie (kontrakcja) z wektorem X: i_X: Ω^k → Ω^{k-1}.
Różniczka Liego L_X, definiowana jako L_X = i_X d + d i_X.

Formy dokładne i niezupełne

Formę ω nazywamy dokładną, jeżeli istnieje forma niższego stopnia η taka, że ω = dη. Wtedy automatycznie dω = d²η = 0, czyli forma jest zamknięta. Przykład:

α = y dx + x dy  => α = d(xy),

co oznacza, że α jest formą dokładną. Natomiast forma, która jest zamknięta, ale nie jest dokładna, nazywana jest niezupełną. Takie sytuacje pojawiają się w obszarach nieprzestrzennych, np. na otoczeniu otwartej krzywej w płaszczyźnie.

Użycie w równaniach różniczkowych

Równania różniczkowe mogą być zapisane w postaci form różniczkowych. Przykładem jest równanie pierwszego rzędu:

M(x,y) dx + N(x,y) dy = 0,

co jest równoważne formie 1‑formie ω = M dx + N dy. Jeśli ∂M/∂y = ∂N/∂x, forma jest zamknięta; w dodatku, gdy istnieje funkcja potencjalna U(x,y) spełniająca dU = ω, równanie ma rozwiązanie U(x,y)=C. W przeciwnym razie szuka się czynnika całkującego μ(x,y), takiego że μ ω stanie się formą dokładną.

Zastosowania

Mechanika klasyczna: w formalizmie Hamiltona pojęcie formy symplektycznej (2‑forma) odgrywa rolę struktury fazowej.
Teoria pól: w elektrodynamice klasycznej pola elektryczne i magnetyczne opisuje się 2‑formą pola elektromagnetycznego F.
Geometria różniczkowa: formy różniczkowe pozwalają definiować całki wzdłuż podmanifoldów (całka Stokesa, całka Gaussa–Ostrogradsky–zależną od orientacji).
Topologia: klasy współhomologii de Rham’a de Rham są zbudowane z klas zamkniętych form różniczkowych modulo formy dokładne.

Historia

Początkowo pojęcie form różniczkowych pojawiło się w pracach Gustava Lejeune‑Dirichleta oraz Élie Cartana w drugiej połowie XIX wieku. Cartan wprowadził notację iloczynu zewnętrznego i pokazał, że wiele twierdzeń analizy (np. twierdzenie Stokesa) ma naturalną interpretację w języku form różniczkowych. W XX wieczu formy stały się podstawą współczesnej geometrii różniczkowej i teorii węzłów.

Przykłady

1‑forma w płaszczyźnie

Niech α = y dx – x dy. Obliczamy jej różniczkę:

dα = dy∧dx – dx∧dy = –2 dx∧dy ≠ 0,

więc α nie jest zamknięta i nie może być formą dokładną.

2‑forma w trójwymiarowej przestrzeni

Formę β = x dy∧dz + y dz∧dx + z dx∧dy nazywamy formą symplektyczną w ℝ³. Jej różniczka wynosi dβ = 0, więc jest formą zamkniętą.

Powiązane pojęcia

Formy różniczkowe stanowią potężne narzędzie łączące analizę, algebrę i topologię, a ich rola w nowoczesnej matematyce i fizyce nieustannie rośnie.