Forma różniczkowa

$k$-forma różniczkowa, albo krótko: $k$-forma – bardzo głębokie uogólnienie różniczki funkcji postaci $f:{ℝ}^n\to ℝ.$ Formy różniczkowe można zdefiniować na wiele sposobów np. jako kowariantne antysymetryczne pola tensorowe.

Formy różniczkowe można zdefiniować na zbiorach otwartych w ${ℝ}^n$ i, ogólniej, na rozmaitościach różniczkowych. Na zbiorze otwartym w ${ℝ}^n$ dowolną $k$-formę można przedstawić jednoznacznie w postaci

$\omega =\sum _{1⩽i_1<\dots <i_k⩽n}{f}_{i_1,\dots ,i_k}d{x}^{i_1}\wedge \dots \wedge d{x}^{i_k},$

gdzie $d{x}^i:=d{\pi }^i$ to pochodna rzutowania na $i$-tą współrzędną względem bazy standardowej w ${ℝ}^n,$ tzn. funkcji ${\pi }^i:{ℝ}^n\to ℝ$ danej wzorem

${\pi }^i(x_1,\dots ,x_n):=x_i,1⩽i⩽n,$

$\wedge$ to iloczyn zewnętrzny, a $f_{i_1,\dots ,i_k}$ to pewne funkcje rzeczywiste. $k$-formę na rozmaitości $M$ można przedstawić w ten sposób lokalnie, tzn. w dziedzinie pewnej mapy $(U,\phi )$ w otoczeniu pewnego (dowolnego, ale ustalonego) punktu $p\in U\subset M.$ Wówczas $x^i$ w powyższym wzorze są współrzędnymi $x^i:={\pi }^i\circ \phi :U\to ℝ$ wyznaczonymi przez mapę $(U,\phi ),$ a $d{x}^i$ oznacza ich odwzorowanie styczne, czyli uogólnienie pochodnej funkcji wektorowej na przypadek funkcji pomiędzy rozmaitościami.

Formy różniczkowe odgrywają fundamentalną rolę we współczesnej fizyce, gdyż są jedynymi polami tensorowymi, które można całkować. Wynika to z ich własności transformacyjnych przy zmianie układu współrzędnych dzięki czemu całka z formy różniczkowej nie zależy od wybranego układu współrzędnych. W szczególności rachunek form różniczkowych jest często wykorzystywany do całkowania pracy, strumieni pola (magnetycznego, grawitacyjnego itp.) przechodzących przez powierzchnię, potencjałów pól itp. Pojęcie formy różniczkowej formalizuje te operacje z matematycznego punktu widzenia.

Formy różniczkowe różnią się od pozostałych pól tensorowych także tym, że można zdefiniować ich różniczkowanie bez potrzeby wprowadzania koneksji na rozmaitości. Jest to tzw. pochodna zewnętrzna formy różniczkowej.

Formy różniczkowe na zbiorach otwartych w Rⁿ

Definicja

Niech $U\subset {ℝ}^n$ będzie zbiorem otwartym. Przestrzenią styczną do $U$ w punkcie $x\in U$ nazwiemy $T_{x}U:={ℝ}^n.$ Oczywiście $T_{x}U$ ma strukturę przestrzeni liniowej dla każdego $x\in U.$ Niech ${\mathrm{\Lambda }}^k(T_{x}U)$ oznacza przestrzeń liniową form antysymetrycznych na $T_{x}U.$ Formą różniczkową na $U$ nazwiemy funkcję $\omega :U\to \bigcup _{x\in U}{\mathrm{\Lambda }}^k(T_{x}U)$ taką, że $\omega (x)\in {\mathrm{\Lambda }}^k(T_{x}U)$ dla każdego $x\in U$. Zbiór $k$-form różniczkowych na $U$ oznaczamy ${\mathrm{\Omega }}^k(U).$

Uwagi

(1) Innymi słowy forma różniczkowa na zbiorze otwartym to funkcja, która punktom zbioru otwartego przyporządkowuje formy antysymetryczne na ${ℝ}^n.$

(2) Definicja $T_{x}U$ może się wydawać przerostem formy nad treścią, ale pozwala na bardzo daleko idące uogólnienia.

(3) Funkcje rzeczywiste klasy $C^r$ na $U$ utożsamia się z $0$-formami kładąc ${\mathrm{\Omega }}^0(U):=C^r(U).$

Struktura modułu

W ${\mathrm{\Omega }}^k(U)$ można wprowadzić strukturę przestrzeni liniowej nad $ℝ,$ definiując działania punktowo

$(\omega +\eta )(x):=\omega (x)+\eta (x),$

$(c\omega )(x):=c\cdot \omega (x)$

dla $\omega ,\eta \in {\mathrm{\Omega }}^k(U),c\in ℝ,$ jednakże w praktyce znacznie ważniejsza jest struktura modułu nad $C^r(U),$ czyli nad pierścieniem funkcji klasy $C^r$ na $U,$ w którym funkcje $f\in C^r(U)$ zastępują $c$ w powyższej definicji, tzn. drugą równość należy zastąpić równością

$(f\cdot \omega )(x):=f(x)\cdot \omega (x).$

Moduł nad pierścieniem tym się różni od przestrzeni liniowej nad ciałem, że ten pierwszy nie musi mieć bazy. Jeżeli ma bazę, to nazywa się go modułem wolnym.

Iloczyn zewnętrzny form różniczkowych

Szablon:Zobacz też Z definicji formy różniczkowej wynika, że $\omega (x)$ dla $x\in U$ jest już $k$-tensorem antysymetryczną na $T_{x}U.$ To oznacza, że iloczyn zewnętrzny tensorów antysymetrycznych $\wedge :{\mathrm{\Lambda }}^k(T_{x}U)\times {\mathrm{\Lambda }}^l(T_{x}U)\to {\mathrm{\Lambda }}^{k+l}(T_{x}U)$ indukuje odwzorowanie $\wedge :{\mathrm{\Omega }}^k(U)\times {\mathrm{\Omega }}^l(U)\to {\mathrm{\Omega }}^{k+l}(U)$ dane wzorem

$(\omega \wedge \eta )(x):=\omega (x)\wedge \eta (x),$

które oznaczamy tym samym symbolem i nazywamy iloczynem zewnętrznym form różniczkowych, albo krótko: iloczynem zewnętrznym.

Różniczka funkcji

Szablon:Zobacz też Niech $U\subset {ℝ}^n$ będzie zbiorem otwartym, a $f:U\to ℝ$ – funkcją różniczkowalną. Różniczka funkcji w punkcie $x\in U$ to przekształcenie liniowe $df(x):{ℝ}^n\to ℝ,$ czyli $1$-tensor na ${ℝ}^n.$ Funkcja różniczkowalna $f$ indukuje odwzorowanie $df$ z $U$ w przestrzeń liniową jednotensorów na $T_{x}U$ dane wzorem

$x\mapsto df(x),$

które nazywamy różniczką funkcji. Różniczka funkcji spełnia definicję $1$-formy różniczkowej na $U.$ Możemy ją zapisać

$df=\sum _{i=1}^n\frac{\partial f}{\partial x_i}d{x}^i,$

gdzie $d{x}^i:=d{\pi }^i$ oznacza różniczkę rzutowania na $i$-tą współrzędną względem bazy standardowej ${ℝ}^n$ tzn. funkcji ${\pi }^i:{ℝ}^n\to ℝ$ danej wzorem

${\pi }^i(x_1,\dots ,x_n):=x_i.$

Postać kanoniczna formy różniczkowej

Szablon:Zobacz też Niech $\omega \in {\mathrm{\Omega }}^k(U).$ Ponieważ dla $\omega (x)$ jest $k$-tensorem na $T_{x}U$ dla każdego $x\in U$ to natychmiast wynika z tego, że $\omega (x)$ możemy zapisać w postaci

$\omega (x)=\sum _{1⩽i_1<\dots <i_k⩽n}{a}_{i_1,\dots ,i_k}{e}^{i_1}\wedge \dots \wedge e^{i_k},$

gdzie $a_{i_1,\dots ,i_k}$ są pewnymi skalarami, a $(e^i)$ oznacza bazę dualną do bazy $(e_i)$ w $T_{x}U$ tzn. zdefiniowaną wzorami

$e^i(v)=e^i\left(\sum _{j=1}{v}_j{e}_j\right):=v_j,i=1,\dots ,n.$

Okazuje się, że różniczki $d{x}^i:=d{\pi }^i,$ wzięte w dowolnym punkcie $a\in U$ są bazą dualną do bazy standardowej ${ℝ}^n=T_{x}U$ ponieważ

$d{x}^i(a)(v_1,v_2,\dots ,v_n)=v_i$

dla dowolnego $a\in U$ i $(v_1,\dots ,v_n)\in {ℝ}^n.$ To oznacza, że dowolną $k$-formę $\omega \in {\mathrm{\Omega }}^k(U)$ możemy jednoznacznie przedstawić w postaci

$\omega =\sum _{1⩽i_1<\dots <i_k⩽n}{f}_{i_1,\dots ,i_k}d{x}^{i_1}\wedge \dots \wedge d{x}^{i_k},$

gdzie $f_{i_1,\dots ,i_k}$ są pewnymi funkcjami rzeczywistymi. Tę postać formy różniczkowej nazywamy postacią kanoniczną. Formę $\omega$ z definicji nazywamy ciągłą, klasy $C^r$ lub klasy $C^{\mathrm{\infty }}$ gdy funkcje $f_{i_1,\dots ,i_k}$ są odpowiednio ciągłe, klasy $C^r$ lub klasy $C^{\mathrm{\infty }}.$

Cofnięcie formy różniczkowej

Bardzo ważną operacją na formach różniczkowych jest tzw. cofnięcie formy. Niech $U\subset {ℝ}^n,$ $V\subset {ℝ}^m$ będą zbiorami otwartymi. Funkcja różniczkowalna $f:U\to V$ indukuje odwzorowanie $f^{*}:{\mathrm{\Omega }}^k(V)\to {\mathrm{\Omega }}^k(U)$ dane wzorem

$f^{*}\omega (x)(w_1,\dots ,w_k):=\omega (f(x))(df(x)(w_1),\dots ,df(x)(w_k)),$

dla $\omega \in {\mathrm{\Omega }}^k(V)$ i $w_1,\dots ,w_k\in T_{x}U,k⩾1.$ Jeżeli $\omega$ jest $0$-formą, czyli zwykłą funkcją to definiujemy

$f^{*}\omega :=\omega \circ f.$

Odwzorowanie to nazywamy cofnięciem formy przez $f$. $f^{*}\omega$ jest już $k$-formą na $U.$ Cofnięcie formy różniczkowej jest odpowiednikiem cofania tensorów.

Formy różniczkowe na rozmaitościach w Rⁿ

Definicja

Szablon:Zobacz też Niech $M\subset {ℝ}^n$ będzie $m$-wymiarową rozmaitością różniczkową (zanurzoną w ${ℝ}^n$). Wybierzmy mapę $(U,\phi )$ w otoczeniu punktu $p\in U\subset M$ z parametryzacją ${\phi }^{-1}:\phi (U)\to {ℝ}^n.$ Przestrzenią styczną $T_{p}M$ do $M$ w punkcie $p$ nazywamy obraz ${ℝ}^m$ przez pochodną parametryzacji $T_{p}M:=d{\phi }^{-1}(a)({ℝ}^m),$ gdzie ${\phi }^{-1}(a)=p.$ $k$-formą różniczkową na $M$ nazwiemy funkcję $\omega :M\to \bigcup _{p\in M}{\mathrm{\Lambda }}^k(T_{p}M)$ taką, że $\omega (p)\in {\mathrm{\Lambda }}^k(T_{p}M)$ dla każdego $p\in M$. Zbiór $k$-form różniczkowych na $M$ oznaczamy ${\mathrm{\Omega }}^k(M).$

Uwagi

(1) Definicja formy różniczkowej na rozmaitości jest zupełnie analogiczna do definicji formy różniczkowej na zbiorze otwartym w ${ℝ}^n.$ Różnica polega na tym, że inaczej jest zdefiniowana przestrzeń styczna $T_{p}M.$

(2) Przestrzeń styczna $T_{p}M$ do $m$-wymiarowej rozmaitości różniczkowej $M$ w ${ℝ}^n$ jest $m$-wymiarową podprzestrzenią liniową ${ℝ}^n.$ Wynika to z definicji rozmaitości różniczkowej w ${ℝ}^n.$

(3) W szczególnym przypadku, gdy rozmaitość różniczkowa $M$ jest zbiorem otwartym w ${ℝ}^n$ to za układ współrzędnych $\phi$ możemy wybrać identyczność na $M$ tzn. ${\mathrm{i}\mathrm{d}}_M:M\to {ℝ}^n$ dane wzorem

${\mathrm{i}\mathrm{d}}_M(p):=p.$

Wówczas parametryzacja ${\phi }^{-1}:\phi (M)\to {ℝ}^n$ jest identycznością na $\phi (M)$ i mamy

$d{\phi }^{-1}(x)=d{\mathrm{i}\mathrm{d}}_{\phi (M)}(x)={\mathrm{i}\mathrm{d}}_{{ℝ}^n}$

dla każdego $x.$ Zatem

$T_{p}M={\mathrm{i}\mathrm{d}}_{{ℝ}^n}(a)({ℝ}^n)={ℝ}^n,$

czyli powracamy do poprzedniej definicji przestrzeni stycznej.

(4) Mapa $(U,\phi )$ na $k$-wymiarowej rozmaitości $M$ w otoczeniu punktu $p={\phi }^{-1}(a)\in U$ indukuje bazę przestrzeni stycznej daną wzorami

${\partial }_i:=d{\phi }^{-1}(a)(e_i),i=1,\dots ,m,$

gdzie $(e_i{)}_{i=1}^m$ to baza standardowa ${ℝ}^m,$ którą nazywamy bazą naturalną dla mapy $(U,\phi )$, albo bazą wyznaczoną przez mapę $(U,\phi )$. Wektory tej bazy oznacza się też symbolami $\frac{\partial }{\partial {\phi }_i}.$

(5) Formę różniczkową $\omega$ na rozmaitości nazywa się z definicji klasy $C^r$ lub klasy $C^{\mathrm{\infty }}$ jeżeli forma cofnięta przez parametryzację $({\phi }^{-1}{)}^{*}\omega$ jest klasy $C^r$ lub klasy $C^{\mathrm{\infty }}.$

Struktura modułu

W zbiorze form różniczkowych na rozmaitości $M$ wprowadza się strukturę modułu dokładnie w ten sam sposób w jaki się ją wprowadza w zbiorze form różniczkowych na zbiorze otwartym:

$(\omega +\eta )(p):=\omega (p)+\eta (p),$

$(f\cdot \omega )(p):=f(p)\cdot \omega (p)$

dla $\omega ,\eta \in {\mathrm{\Omega }}^k(M)$ i funkcji $f:M\to ℝ.$

Odwzorowanie styczne

Szablon:Zobacz też Niech $M_1\subset {ℝ}^{n_1},M_2\subset {ℝ}^{n_2}$ będą rozmaitościami różniczkowymi. Rozpatrzmy funkcję $f:M_1\to M_2.$ Aby móc zapisać formę różniczkową na rozmaitości w postaci kanonicznej trzeba zdefiniować pochodną takiej funkcji. Gdyby $M_1,M_2$ były zwykłymi, dowolnymi zbiorami, to niemożliwe byłoby różniczkowanie $f$ nawet pomimo że $M_1,M_2$ to podzbiory ${ℝ}^n,$ ponieważ pochodna jest zawsze zdefiniowana dla funkcji zdefiniowanej na zbiorze otwartym. Jednakże, ponieważ $M_1,M_2$ są rozmaitościami różniczkowymi i mają dodatkową strukturę, to można uogólnić pojęcie pochodnej funkcji $f:{ℝ}^n\to {ℝ}^m$ na przypadek funkcji pomiędzy rozmaitościami.

Definicja

Niech $M_1\subset {ℝ}^{n_1},M_2\subset {ℝ}^{n_2}$ będą $k_1$ i $k_2$-wymiarowymi rozmaitościami różniczkowymi, a $(U_1,{\phi }_1),(U_2,{\phi }_2)$ – mapami na nich. Powiemy, że funkcja $f:M_1\to M_2$ jest różniczkowalna klasy $C^r$ jeżeli ${\phi }_2\circ f\circ {\phi }_1^{-1}:{\phi }_1(U_1)\to {ℝ}^{k_2}$ jest różniczkowalne klasy $C^r.$ Odwzorowaniem stycznym funkcji $f$ w punkcie $p$ nazywamy odwzorowanie $T_{p}f:T_p{M}_1\to T_{f(p)}{M}_2$ dane wzorem

$T_{p}f(v):=d{\phi }_2^{-1}({\phi }_2(f(p)))\circ d({\phi }_2\circ f\circ {\phi }_1^{-1})({\phi }_1(p))(w),$

gdzie $w\in {ℝ}^{k_1}$ jest takim wektorem, że

$d{\phi }_1^{-1}({\phi }_1(p))(w)=v.$

Uwagi

(1) Odwzorowanie styczne funkcji $f$ w punkcie $p$ nazywa się też pochodną funkcji $f$ w punkcie $p$ albo różniczką funkcji $f$ w punkcie $p$ i oznacza $Df(p),df(p)$ lub podobnie.

(2) ${\phi }_2\circ f\circ {\phi }_1^{-1}$ jest już funkcją z ${ℝ}^{k_1}$ w ${ℝ}^{k_2}$ może więc być różniczkowane w zwykły sposób.

(3) $d({\phi }_2\circ f\circ {\phi }_1^{-1})({\phi }_1(p))(w)$ jest wektorem w ${ℝ}^{k_2}.$ Przekształcenie liniowe $d{\phi }_2^{-1}({\phi }_2(f(p)))$ przenosi ten wektor w $T_{f(p)}{M}_2.$

(4) W szczególnym przypadku gdy $M_1,M_2$ są zbiorami otwartymi, to posługując się mapami $(M_1,{\mathrm{i}\mathrm{d}}_{M_1}),(M_2,{\mathrm{i}\mathrm{d}}_{M_1})$ powracamy do zwykłej definicji pochodnej.

(5) Odwzorowanie styczne spełnia regułę łańcuchową. Jeżeli $f:M_1\to M_2$ jest różniczkowalne w punkcie $p,$ a $g:M_2\to M_3$ jest różniczkowalne w punkcie $f(p)$ to różniczkowalne jest złożenie $g\circ f$ i

$T_p(g\circ f)=T_{f(p)}g\circ T_{p}f..$

(6) Jeżeli $f:M\to ℝ$ jest różniczkowalne, to licząc odwzorowanie styczne dostajemy

$T_{p}f(v)=T_{p}f\left(\sum _{j=1}^k{v}_j{\partial }_j\right)=\sum _{i=1}^k\frac{\partial (f\circ {\phi }^{-1})}{\partial x_i}(\phi (p))v_i.$

(7) W szczególności dla współrzędnych wyznaczonych przez mapę $x^i:={\pi }^i\circ \phi$ dostajemy

$T_p{x}^i(v)=T_p{x}^i\left(\sum _{j=1}^k{v}_j{\partial }_j\right)=v_i.$

Wynika z tego, że odwzorowania styczne $T_p{x}^i$ stanowią bazę dualną do bazy naturalnej dla mapy $(U,\phi ).$ W bazie tej możemy odwzorowanie styczne funkcji $f:M\to ℝ$ zapisać

$T_{p}f=\sum _{i=1}^k\frac{\partial (f\circ {\phi }^{-1})}{\partial x_i}(\phi (p))T_p{x}^i.$

(8) W dalszym ciągu będziemy powyższy wzór zapisywać w postaci

$df(p)=\sum _{i=1}^k\frac{\partial (f\circ {\phi }^{-1})}{\partial x_i}(\phi (p))d{x}^i$

(dla uproszczenia piszemy $d{x}^i$ zamiast $d{x}^i(p)$). Pozwala to nadać wielu wzorom klasyczną postać.

Przedstawienie we współrzędnych lokalnych

$k$-formę na $n$-wymiarowej rozmaitości różniczkowej $M$ można lokalnie, tzn. w dziedzinie mapy $(U,\phi )$ przedstawić we współrzędnych $x^i:={\pi }^i\circ \phi .$ wyznaczonych przez tę mapę w postaci

$\omega =\sum _{1⩽i_1<\dots <i_k⩽n}{f}_{i_1,\dots ,i_k}d{x}^{i_1}\wedge \dots \wedge d{x}^{i_k}.$

Ściślej rzecz biorąc po lewej stronie równości powinna stać forma różniczkowa obcięta do $U,$ tj. $\omega {|}_U,$ ponieważ po prawej stronie równości stoją formy różniczkowe zdefiniowane na $U.$

Różniczkowanie form różniczkowych

Pochodna zewnętrzna form na zbiorze otwartym

Rozpatrzmy $k$-formy na zbiorze otwartym $U.$ Pochodną zewnętrzną nazywamy odwzorowanie $d:{\mathrm{\Omega }}^k(U)\to {\mathrm{\Omega }}^{k+1}(U)$ zdefiniowane w następujący sposób:

(1) Jeżeli $\omega =f$ jest $0$-formą to jej pochodną zewnętrzną nazwiemy jej różniczkę $df.$

(2) Dla formy różniczkowej w postaci kanonicznej $\omega =\sum _{i⩽i_1<\dots <i_k⩽n}{f}_{i_1,\dots ,i_k}d{x}^{i_1}\wedge \dots \wedge d{x}^{i_k}$ dla $k⩾1$ definiujemy

$d\omega :=\sum _{1⩽i_1<\dots <i_k⩽n}d{f}_{i_1,\dots ,i_k}\wedge d{x}^{i_1}\wedge \dots \wedge d{x}^{i_k}.$

Pochodną zewnętrzną nazywa się także różniczką zewnętrzną. Pochodna zewnętrzna jest innym niż forma różniczkowa dalekim uogólnieniem różniczki funkcji.

Pochodna zewnętrzna form na rozmaitości

Rozpatrzmy formy różniczkowe zdefiniowane w dziedzinie $U\subset M$ pewnej mapy $(U,\phi )$ na rozmaitości różniczkowej $M.$ Dla $k$-form zdefiniowanych na $U$ definiujemy odwzorowanie $d_U:{\mathrm{\Omega }}^k(U)\to {\mathrm{\Omega }}^{k+1}(U)$ w następujący sposób:

(1) Jeżeli $\omega =f$ jest $0$-formą, to jako $d_U\omega$ definiujemy różniczkę funkcji $df.$

(2) Dla $\omega \in {\mathrm{\Omega }}^k(U),k⩾1,$ która ma we współrzędnych lokalnych $x^i:={\pi }^i\circ \phi$ przedstawienie $\omega =\sum _{1⩽i_1<\dots <i_k⩽n}{f}_{i_1,\dots ,i_k}d{x}^{i_1}\wedge \dots \wedge d{x}^{i_k}$ odwzorowanie $d_U$ definiujemy wzorem

$d_U\omega :=\sum _{1⩽i_1<\dots <i_k⩽n}d{f}_{i_1,\dots ,i_k}\wedge d{x}^{i_1}\wedge \dots \wedge d{x}^{i_k}.$

W dalszym ciągu rozpatrzmy formy różniczkowe zdefiniowane na rozmaitości różniczkowej $M.$ Pochodną zewnętrzną $d:{\mathrm{\Omega }}^k(M)\to {\mathrm{\Omega }}^{k+1}(M)$ definiujemy wzorem

$d\omega (p):=d_U\omega (p),$

gdzie $U\subset M$ jest dziedziną mapy $(U,\phi )$ w otoczeniu punktu $p\in M.$

Uwagi

(1) Liczenie pochodnej zewnętrznej sprowadza się w praktyce do liczenia $d_U$ we współrzędnych lokalnych.

(2) W przypadku zbiorów otwartych $U\subset {ℝ}^n$ (w szczególności całego ${ℝ}^n$) mamy pewien wyróżniony układ współrzędnych – układ współrzędnych kartezjańskich, który można zdefiniować jako identyczność ${\mathrm{i}\mathrm{d}}_{{ℝ}^n}$ na ${ℝ}^n$ (mówiąc ściślej: jako identyczność ${\mathrm{i}\mathrm{d}}_U$ na $U$). Rzutowania ${\pi }^i:{ℝ}^n\to ℝ$ można uważać za współrzędne kartezjańskie, ponieważ

${\pi }^i={\pi }^i\circ {\mathrm{i}\mathrm{d}}_{{ℝ}^n}.$

Można by zatem argumentować, że pochodną zewnętrzną formy na zbiorze otwartym $U$ wystarczy zdefiniować w tych wyróżnionych współrzędnych. Jednakże w przypadku form różniczkowych na ogólnej rozmaitości $M$ nie mamy żadnych wyróżnionych współrzędnych. W otoczeniu punktu $p\in M$ możemy wybrać dwie dowolne mapy $(U,\phi )$ i $(V,\psi )$ (takie, że $U\cap V\ne \varnothing$) i mamy dwa zestawy współrzędnych lokalnych: $x^i:={\pi }^i\circ \phi$ i $y^i:={\pi }^i\circ \psi .$ Pochodną $d\omega$ możemy policzyć zarówno we współrzędnych $x^i,$ jak i $y^i.$ Aby pochodna zewnętrzna miała sens, policzona i w jednych i w drugich współrzędnych, musi być równa, czyli po policzeniu pochodnej we współrzędnych $x^i$ i przejściu do współrzędnych $y^i$ musimy dostać pochodną policzoną we współrzędnych $y^i.$ Okazuje się, że tak jest w istocie – pochodna zewnętrzna nie zależy od wyboru współrzędnych lokalnych.

Formy dokładne i zamknięte

Szablon:Zobacz też Formę różniczkową $\omega$ którą można przedstawić w postaci $\omega =d\eta$ dla pewnej formy różniczkowej $\eta$ nazywa się dokładną lub zupełną. Formę różniczkową $\omega ,$ której pochodna zewnętrzna znika, tzn. $d\omega =0$ nazywa się zamkniętą. Licząc $d(d\omega )$ dla dowolnej formy różniczkowej $\omega$ dostaje się

$d(d\omega )=0,$

o ile forma różniczkowa jest klasy co najmniej $C^2.$ Wynika to z twierdzenia Schwarza. Wynika stąd, że każda forma dokładna jest zamknięta. Odwrotna implikacja nie jest prawdziwa, jednakże jak wynika z lematu Poincarego formy zamknięte są dokładne na zbiorach otwartych i gwiaździstych.

Całkowanie form różniczkowych

Konstrukcja całki

Całkę z formy różniczkowej po rozmaitości definiuje się w następujących krokach.

(1) Niech $\omega =fd{x}^1\wedge \dots \wedge d{x}^n$ będzie formą różniczkową na zbiorze otartym w $U$ w ${ℝ}^n.$ Jej całkę po $U$ definiujemy jako całkę Lebesgue’a z $f$ po $U:$

$\underset{U}{\int }\omega =\underset{U}{\int }fd{x}^1\wedge \dots \wedge d{x}^n:=\underset{U}{\int }fd\mu .$

(2) Jeżeli $\omega \in {\mathrm{\Omega }}^k(U)$ jest formą różniczkową o nośniku zwartym i zawartym w dziedzinie pewnej mapy $(U,\phi )$ to definiujemy

$\underset{U}{\int }\omega :=\underset{\phi (U)}{\int }({\phi }^{-1}{)}^{*}\omega ,$

gdzie $({\phi }^{-1}{)}^{*}\omega$ oznacza $\omega$ cofniętą przez parametryzację ${\phi }^{-1}.$ $({\phi }^{-1}{)}^{*}\omega$ jest już formą różniczkową na zbiorze otwartym w ${ℝ}^n.$

(3) Niech $\omega \in {\mathrm{\Omega }}^k(M)$ będzie formą różniczkową o zwartym nośniku na zwartej zorientowanej rozmaitości różniczkowej $M.$ Z charakteryzacji zbiorów zwartych w przestrzeniach metrycznych możemy znaleźć atlas skończony $\{(U_i,{\phi }_i){\}}_{i=1}^k$ zgodny z orientacją $M.$ Z twierdzenia o gładkim rozkładzie jedynki znajdujemy rodzinę funkcji ${\lambda }_i,i=1,\dots ,k$ takich, że ${\lambda }_i$ ma nośnik zwarty i zawarty w $U_i$ oraz

$0⩽{\lambda }_i(p)⩽1,i\sum _{i=1}^k{\lambda }_i(p)=1$

dla każdego $p\in M.$ Definiujemy

${\omega }_i:={\lambda }_i\omega .$

${\omega }_i$ ma już nośnik zwarty i zawarty w $U_i.$ Ponadto

$\sum _{i=1}^k{\omega }_i=\omega .$

Całkę $\omega$ po $M$ definiujemy

$\underset{M}{\int }\omega :=\sum _{i=1}^k\underset{U_i}{\int }{\omega }_i.$

Ogólne twierdzenie Stokesa

Niech $M$ będzie $n$-wymiarową zwartą zorientowaną rozmaitością różniczkową z brzegiem w ${ℝ}^m.$ Jeżeli $\omega$ jest $(n-1)$-formą na $M$ to zachodzi

$\underset{M}{\int }d\omega =\underset{\partial M}{\int }\omega ,$

gdzie $\partial M$ oznacza brzeg rozmaitości $M.$

Ogólne twierdzenie Stokesa zawiera w sobie twierdzenie Greena, twierdzenie Ostrogradskiego-Gaussa, klasyczne twierdzenie Stokesa i jeszcze nieskończenie wiele tego typu innych twierdzeń jako przypadki szczególne.

Formy różniczkowe na abstrakcyjnych rozmaitościach

Szablon:Zobacz też Rozmaitości różniczkowe (zanurzone) w ${ℝ}^n$ są wystarczające na potrzeby wielu działów matematyki: analizy matematycznej, teorii optymalizacji, różniczkowych równań cząstkowych, nie są jednak wystarczające na potrzeby nowoczesnej fizyki. W fizyce rozmaitość różniczkowa modeluje czasoprzestrzeń jednakże użycie rozmaitości różniczkowych (zanurzonych) w ${ℝ}^n$ dla $n>4$ rodziłoby wiele pytań:

(a) Dlaczego nie obserwujemy dodatkowych wymiarów?

(b) Jak wykryć dodatkowe wymiary?

(c) Ile wynosi $n$?

Itd. Z tego powodu rozmaitości różniczkowe (zanurzone) w ${ℝ}^n$ trzeba uogólnić na potrzeby fizyki. Robi się to „wymazując” odwołanie do ${ℝ}^n$ w definicji rozmaitości różniczkowej. Rozmaitość różniczkową definiuje się jako po prostu przestrzeń Hausdorffa (niekoniecznie podzbiór ${ℝ}^n$) wraz ze zbiorem map na rozmaitości, czyli atlasem.

Takie ogólne rozmaitości mogą mieć znacznie bardziej skomplikowaną naturę. Poprzednie definicje przestrzeni stycznej i pochodnej funkcji $f:M_1\to M_2$ tracą sens. Teraz przestrzeń styczną $T_{p}M$ w punkcie $p\in M$ definiuje się jako zbiór krzywych przechodzących przez punkt $p$ tzn. funkcji postaci $\gamma :(-ϵ,ϵ)\to M$ takich, że $\gamma (0)=p,$ przy czym utożsamia się ze sobą krzywe, które po przeniesieniu do ${ℝ}^n$ za pomocą układu współrzędnych $\phi$ mają równy wektor styczny w zerze, tzn. dla których

${\frac{d}{dt}(\phi \circ {\gamma }_1)|}_{t=0}={\frac{d}{dt}(\phi \circ {\gamma }_2)|}_{t=0}.$.

Mówiąc ściślej wektory styczne definiuje się jako klasy abstrakcji względem relacji równoważności $\sim$ zdefiniowanej powyższą równością. Ta relacja równoważności nie zależy od wyboru układu współrzędnych $\phi .$

Funkcja ${\mathrm{\Theta }}_{\phi }:T_{p}M\to {ℝ}^n$ dana wzorem

${\mathrm{\Theta }}_{\phi }([\gamma {]}_{\sim }):={\frac{d}{dt}(\phi \circ \gamma )|}_{t=0}$

jest bijekcją i pozwala przenieść strukturę przestrzeni liniowej z ${ℝ}^n$ do $T_{p}M$ tzn. dodawanie i mnożenie przez skalar wektorów stycznych definiuje się

$[{\gamma }_1{]}_{\sim }+[{\gamma }_2{]}_{\sim }:={\mathrm{\Theta }}_{\phi }^{-1}({\mathrm{\Theta }}_{\phi }([{\gamma }_1{]}_{\sim })+{\mathrm{\Theta }}_{\phi }([{\gamma }_2{]}_{\sim })),$

$\alpha \cdot [\gamma {]}_{\sim }:={\mathrm{\Theta }}_{\phi }^{-1}(\alpha \cdot {\mathrm{\Theta }}_{\phi }([\gamma {]}_{\sim })).$

Za pomocą ${\mathrm{\Theta }}_{\phi }$ można także zdefiniować pochodną funkcji postaci $f:M_1\to M_2$ tzn. funkcji pomiędzy rozmaitościami.

Mając przestrzeń styczną $T_{p}M$ można zdefiniować formę różniczkową na rozmaitości. Mając odwzorowanie styczne $T_{p}f:T_p{M}_1\to T_{f(p)}{M}_2$ można ją lokalnie wyrazić we współrzędnych $x^i:={\pi }^i\circ \phi$ indukowanych przez mapę $(U,\phi ).$ Idea, konstrukcje i rozumowanie w przypadku form różniczkowych na ogólnych rozmaitościach pozostają takie same.

Bibliografia

• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę

Linki zewnętrzne

• Szablon:Otwarty dostęp Differential form Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-04-05].