Pojdi na vsebino

Izrek Gaussa in Ostrogradskega

Iz Wikipedije, proste enciklopedije

Izrek Gaussa in Ostrogradskega (tudi izrek o divergenci, Gaussov izrek, izrek Ostrogradskega[1][a]) je v vektorskem računu izrek, ki povezuje pretok vektorskega polja skozi zaprto ploskev z divergenco polja v objeti prostornini.

Natančneje, izrek pravi, da je ploskovni integral vektorskega polja na zaprti ploskvi, ki se imenuje »pretok« (fluks) skozi ploskev, enak prostorninskemu integralu divergence nad območjem, ki ga obdaja ploskev. Intuitivno navaja, da »vsota vseh virov polja v območju (s ponori, ki se obravnavajo kot negativni viri) daje neto tok iz območja«.

Izrek Gaussa in Ostrogradskega je pomemben rezultat za matematiko fizike in inženirstva, zlasti v elektrostatiki in dinamiki tekočin. Na teh področjih se običajno uporablja v treh razsežnostih. Vendar pa se posplošuje na poljubno število razsežnosti. V eni razsežnosti je enakovreden (drugemu) osnovnemu izreku infinitezimalnega računa:[2]:100

v dveh razsežnostih pa Greenovemu izreku:

Razlaga s tokom tekočine

[uredi | uredi kodo]

Vektorska polja so pogosto prikazana s pomočjo primera polja hitrosti tekočine, kot sta plin ali kapljevina. Gibajoča se tekočina ima v vsaki točki hitrost in smer, ki se jo lahko predstavi z vektorjem, tako da hitrost tekočine v katerem koli trenutku tvori vektorsko polje. Naj se zamisli o namišljeni zaprta ploskvi znotraj telesa tekočine, ki zajema prostornino tekočine. Pretok tekočine iz prostornine je kadar koli enak prostorninski stopnji tekočine, ki prečka to ploskev, tj. ploskovnemu integralu hitrosti po ploskvi.

Ker so tekočine nestisljive, je količina tekočine v zaprti prostornini konstantna. Če v prostornini ni virov ali ponorov, je tok tekočine iz enak nič. Če se tekočina premika, lahko teče v prostornino na nekaterih točkah na ploskvi in izstopa iz prostornine v drugih točkah, vendar sta količini, ki tečeta in iztekata v katerem koli trenutku, enaki, tako da je neto pretok tekočine iz prostornine enak nič.

Če pa je vir tekočine znotraj zaprte ploskve, kot je cev, skozi katero se tekočina dovaja, bo dodatna tekočina izvajala tlak na okoliško tekočino, kar bo povzročilo tok navzven v vse smeri. To bo povzročilo neto zunanji tok skozi ploskev . Pretok navzven skozi je enak prostorninski stopnji pretoka tekočine v iz cevi. Podobno, če je znotraj ponor ali odtok, kot je cev, ki odvaja tekočino, bo zunanji tlak tekočine povzročil hitrost celotne tekočine, usmerjeno navznoter proti legi odtoka. Prostorninska stopnja toka tekočine navznoter skozi površino je enaka stopnji tekočine, ki jo odstrani ponor.

Če je znotraj več virov in ponorov tekočine, se lahko pretok skozi ploskev izračuna tako, da se sešteje prostorninska stopnja tekočine, ki jo dodajo viri, in odšteje stopnja tekočine, ki jo odvajajo ponori. Prostorninska stopnja pretoka tekočine skozi vir ali ponor (s tokom skozi ponor z negativnim predznakom) je enaka divergenci polja hitrosti na ustju cevi, tako da seštevek (integracija) divergence tekočine skozi prostornino, ki jo obdaja , enaka prostorninski stopnji pretoka skozi . To je izrek Gaussa in Ostrogradskega.[3]

Izrek Gaussa in Ostrogradskega se uporablja v poljubnem ohranitvenem zakonu, ki pravi, da je skupna prostornina vseh ponorov in virov, to je prostorninski integral divergence, enaka neto toku skozi mejo prostornine.[4]

Matematična formulacija

[uredi | uredi kodo]
Območje omejeno s ploskvijo s pravokotnico na ploskev

Naj je podmnožica , ki je kompaktna in ima podelno gladko mejo (označeno tudi kot ). je -razsežni evklidski prostor. V primeru predstavlja prostornino trirazsežnega prostora. Če je zvezno odvedljivo vektorsko polje, definirano na okolici , potem velja:[5][6]

\oiint

Leva stran je prostorninski integral po prostornini , desna stran pa je ploskovni integral po meji prostornine . Zaprta merljiva množica je usmerjena z navzven obrnjenimi pravokotnicai, pa je navzven obrnjena enotska pravokotnica v skoraj vsaki točki na meji . ( se lahko uporablja kot okrajšava za .) V smislu zgornjega intuitivnega opisa leva stran enačbe predstavlja vsoto virov v prostornini , desna stran pa skupni tok skozi mejo .

Neformalna izpeljava

[uredi | uredi kodo]

Izrek Gaussa in Ostrogradskega izhaja iz dejstva, da če je prostornina razdeljena na ločena dela, je pretok iz prvotne prostornine enak vsoti toka iz vsake sestavne prostornine.[7][2]:56–58 To velja kljub dejstvu, da imata novi podprostornini ploskve, ki niso bile del ploskve prvotne prostornine, ker so te ploskve samo predelne stene med dvema podprostorninama in pretok skozi njiju preprosto prehaja iz ene prostornine v drugo in se tako izniči, ko se pretok iz podprostornin sešteje.

Prostornina, razdeljena na dve podprostornini. Na desni sta dve podprostornini ločeni za prikaz pretoka iz različnih ploskev.

Na sliki je zaprta omejena prostornina razdeljena na dve prostornini in s ploskvijo (zeleno). Pretok iz območja vsake komponente je enak vsoti pretokov skozi dve njegovi ploskvi, tako da je vsota pretoka iz obeh delov enaka:

kjer sta in pretoka iz ploskev in , pretok skozi ploskev iz prostornine 1, pa pretok skozi iz prostornine 2. Gre za to, da je ploskev del ploskve obeh prostornin. »Zunanja« smer normalnega vektorja je nasprotna za vsako prostornino, tako da je pretok iz ene skozi enak negativu pretoka iz druge in ta dva pretoka se v vsoti izničita.

in tako:

Ker je unija ploskev in enaka , je:

Prostornina se lahko razdeli na poljubno število podprostornin in pretok iz je enak vsoti pretokov iz vsake podprostornine, ker se pretok skozi zelene ploskve v vsoti izniči. Na desni sliki (b) so prostornine prikazane rahlo ločene, kar kaže, da je vsaka zelena razdelitev del meje dveh sosednjih prostornin

To načelo velja za prostornino, razdeljeno na poljubno število delov, kot je prikazano na sliki.[2]:56–58 Ker se integral po vsaki notranji razdelitvi (zelene ploskve) pojavi z nasprotnimi predznaki v pretoku dveh sosednjih prostornin, se izničita, edini prispevek k pretoku pa je integral po zunanjih ploskvah (sivo). Ker so zunanje ploskve vseh prostornin komponent enake prvotni ploskvi:

Ker je prostornina razdeljena na manjše dele, se razmerje pretokov iz vsake prostornine s prostornino približuje divergenci vektorskega polja

je pretok iz vsake prostornine ploskovni integral vektorskega polja po ploskvi:

Cilj je prvotno prostornino razdeliti na neskončno mnogo infinitezimalnih prostornin. Ko je prostornina razdeljena na vedno manjše dele, se ploskovni integral na desni, pretok iz vsake podprostornine, približuje ničli, ker se ploskev približuje nič. Vendar pa se iz definicije divergence, razmerja med pretokom in prostornino:

del v spodnjem oklepaju v splošnem ne izniči, ampak se približuje divergenci , ko se prostornina približuje nič:[2]:56–58

Vse dokler ima vektorsko polje zvezne odvode, zgornja vsota velja tudi v limiti, ko je prostornina razdeljena na neskončno majhne prirastke:

Ko se približuje ničelni prostornini, postane infinitezimala , del v oklepaju postane divergenca, vsota pa postane prostorninski integral po :

Ker je odvod neodvisen od koordinat, to kaže na to, da divergenca ni odvisna od uporabljenih koordinat.

Dokaza

[uredi | uredi kodo]

Za omejene odprte podmnožice evklidskega prostora

[uredi | uredi kodo]

Sledi dokaz naslednjega izreka:

Izrek — Naj je odprta in omejena z mejo . Če je v odprti okolici od – to je , potem za vsak velja:

kjer je navzven usmerjeni enotski normalni vektor na . Ali enakovredno:

Dokaz izreka[8]
  1. Prvi korak je zmanjšanje primera kjer je . Izbere se takšen , da je na . Pri tem je treba upoštevati da je in na . Zato zadostuje dokazati izrek za . Tako se lahko privzame, da velja .
  2. Naj je poljuben. Privzetek, da ima -mejo pomeni, da obstaja takšna odprta okolica od v , da je -graf funkcije z , ki leži na eni strani tega grafa. Natančneje to pomeni, da po translaciji in zasuku , obstajajo takšni , in -funkcija , da z zapisom:

    velja:

    ter za :

    Ker je kompaktna, se jo lahko pokrije s končno mnogo okolicami z zgornjo obliko. Pri tem se upošteva, da je odprt pokrov . Če se uporabi -particija enote, ki je podrejena temu pokrovu, je dovolj dokazati izrek v primerih kadar ima kompaktni nosilec v ali kadar ima kompaktni nosilec na kakšni . Če ima kompaktni nosilec v , potem za vse po osnovnem izreku infinitezimalnega izreka velja in , ker se v okolici izniči. Tako izrek velja za s kompaktnim nosilcem v . Tako se je zmanjšalo na primer kjer ima kompaktni nosilec na kakšni .
  3. Naj se potem privzame, da ima kompaktni nosilec v kakšni . Zadnji korak je sedaj pokazati, da izrek velja z neposrednim izračunom. Zapis se spremeni v in vnese zapis iz koraka (2), uporabljen za opis . Upošteva se, da to pomeni, da se je zasukalo in premaknilo . To je veljavno zmanjšanje, saj je izrek nespremenljiv glede na zasuke in translacije koordinat. Ker je za in za , za vsak velja:
    Za je po osnovnem izreku infinitezimalnega računa:
    Sedaj se nastavi . Pri tem velja:
    Definira se z . Po verižnem pravilu je:
    Ker ima kompaktni nosilec, se lahko najprej integrira , da se ugotovi zveza:
    Tako je:
    Če se povzame, z izhaja:
    Pri tem je treba upoštevati, da je zunanja enotska pravokotnica na graf od v točki enaka , ploskovni element pa je podan kot . Tako je:
    kar dokazuje izrek.

Za kompaktne Riemannove mnogoterosti z mejo

[uredi | uredi kodo]

Sledi dokaz naslednjega izreka:

Izrek — Naj je -kompaktna mnogoterost z mejo z -metričnim tenzorjem . Naj označuje notranjost mnogoterosti in naj označuje mejo mnogoterosti . Naj označuje -notranje produkte funkcij in notranji produkt vektorjev. Predpostavi se, da je in -vektorsko polje na . Potem velja:

kjer je navzven usmerjeni enotski normalni vektor na .

Dokaz izreka[9]

Uporabi se Einsteinov dogovor o seštevanju. Z uporabo particije enote se lahko privzame, da imata in kompaktna nosilca v koordinatni zaplati . Najprej se pogleda primer kjer je zaplata ločena od . Nato se identificira z odprto podmnožico in integracija po delih ne da mejnih členov:

V zadnji enakosti se je uporabila Voss-Weylova koordinatna formula za divergenco:[10]

kjer je krajevni koeficient prostorninskega elementa, pa so komponente glede na nenormalizirano kovariantno bazo (včasih zapisano kot ). Lahko bi se uporabila tudi predhodna enakost za definicijo «) kot formalni adjunkt «). Naj se sedaj predpostavi, da se seka z . Potem se identificira kot odprta množica v . in se razširita na in integrira se po delih, kar da:

kjer je . Z različico izravnalnim izrekom za vektorska polja se lahko izbere takšen , da je notranja enotska pravokotnica v . V tem primeru je prostorninski eement na in se zgornja formula glasi:

Tako je izrek dokazan.

Posledice

[uredi | uredi kodo]

Zgled

[uredi | uredi kodo]
Vektorsko polje, ki odgovarja prikazanemu zgledu. Vektorji lahko kažejo navzven ali navznoter sfere.
Izrek Gaussa in Ostrogradskega se lahko uporabi za izračun toka skozi zaprto ploskev, ki v celoti zapira prostornino, kot katera koli površina na levi. Ni ga mogoče neposredno uporabiti za izračun pretoka skozi ploskve z mejami, kot so tiste na desni. (Ploskve so modre, robovi pa rdeči.)

Uporabe

[uredi | uredi kodo]

Diferencialna in integralska oblika fizikalnih zakonov

[uredi | uredi kodo]

Kontinuitetne enačbe

[uredi | uredi kodo]
Glavni članek: kontinuitetna enačba.

Inverzni kvadratni zakoni

[uredi | uredi kodo]

Zgodovina

[uredi | uredi kodo]

Delovni zgledi

[uredi | uredi kodo]

Zgled 1

[uredi | uredi kodo]

Zgled 2

[uredi | uredi kodo]

Posplošitve

[uredi | uredi kodo]

Več razsežnosti

[uredi | uredi kodo]

Tenzorska polja

[uredi | uredi kodo]
Glavni članek: tenzorsko polje.

Glej tudi

[uredi | uredi kodo]

Opombe

[uredi | uredi kodo]
  1. Redkeje tudi »divergenčni izrek«, »formula Ostrogradskega«, »Gaussov integralski izrek«, »Ostrogradski-Gaussov izrek«, »Ostrogradski-Gaussova formula«, ...

Sklici

[uredi | uredi kodo]

Zunanje povezave

[uredi | uredi kodo]