Diverĝenca teoremo

En vektora kalkulo, la diverĝenca teoremo, aŭ gaŭsa teoremo aŭ teoremo de Ostrogradskij aŭ teoremo de Ostrogradskij-Gaŭso estas interrilato inter la fluo eksteren de vektora kampo tra surfaco kaj la konduto de la vektora kampo ene de la surfaco.

La diverĝenca teoremo statas ke la fluo de vektora kampo tra surfaco estas egala al la triopa integraĵo de la diverĝenco en la regiono ene de la surfaco. Intuicie, ĝi statas ke la sumo de intensecoj de ĉiuj fontoj de fluo (minus la sumo de intensecoj de ĉiuj finoj de la fluo) egalas al fluo el la regiono.

La diverĝenca teoremo estas grava rezulto por fiziko, aparte elektrostatiko kaj fluidaĵ-dinamiko.

 Formuloj 
Estu V subaro de Rn (kutime n=3) kiu estas kompakta kaj havas popece glatan randon. Se F estas kontinue diferencialebla vektora kampo difinita sur najbaraĵo de V, tiam

kie ∂V estas la rando de V orientita per eksteren-montranta surfaca normalo N kaj dS estas Nds kie ds estas diferencialo de areo de la rando ∂V.

La diverĝenca teoremo estas ofte aplikita en ĉi tiuj variantoj:

(ĉi tiu estas la bazo por identoj de Green, se ),

La diverĝenca teoremo estas speciala okazo de la pli ĝenerala teoremo de Stokes kiu ĝeneraligas la fundamentan teoremon de kalkulo.

 Ekzemplo de uzo 
Supozu ke oni deziras komputi , kie S estas la unuobla sfero W kun ekvacio  kaj F estas la vektora kampo  kie i, j, k estas la tri ortoj de la koordinataj aksoj. La direkta kalkulado de ĉi tiu integralo estas sufiĉe malfacila, sed ĝi povas esti plisimpligita per la diverĝenca teoremo:

Per simetrio

Pro tio

ĉar la unuobla sfero W havas volumenon 4π/3.

 Aplikoj 
 Elektrostatiko 
Aplikita al elektra kampo ĝi donas la gaŭsan leĝon.

 Gravito 
Aplikita al gravita kampo ĝi donas ke la surfaca integralo estas -4πG multiplikita je la maso ene, sendistinge de tio kiel la maso estas distribuita, kaj sendistinge de masoj ekstere.

 Sfere simetria masa distribuo 
Ĉe sfere simetria masa distribuo oni povas konkludi de ĉi tie ke la kampa forteco je distanco r de la centro estas mG/r2 kie m estas la ena maso.

Tiel ekzemple, kaldrona sfero ne produktas gravito ene. La gravita kampo ene estas la sama kvazaŭ la kaldrona sfero ne estus tie.

 Cilindre simetria masa distribuo 
Ĉe malfinia cilindre simetria masa distribuo oni povas konkludi ke la kampa forteco je distanco r de la centra akso estas 2Gρ/r kie ρ estas maso por unuo de longo je pli malgranda al la akso distanco, sendistinge de ĉiuj masoj je pli granda distanco.

Ekzemple, malfinia kaldrona cilindro ne produktas graviton ene.

 Telero de Bouguer 
Ni povas konkludi ke por malfinia ebena telero (telero de Bouguer) de dikeco H gravito ekster la telero estas orta al la telero, kun grandeco 2πGq kie q estas la maso por unuo de areo, sendependa de la distanco de la telero (vidu ankaŭ en gravita anomalio).

Tiel, kombinaĵo de du egalaj paralelaj malfiniaj teleroj ne produktas graviton ene.

 Historio 
La teoremo estis unua esplorita de Joseph-Louis de Lagrange en 1762, kaj poste sendepende reesplorita de Carl Friedrich Gauss en 1813, per George Green en 1825 kaj de Miĥail Vasilieviĉ Ostrogradskij en 1831, kiu ankaŭ donis la unuan pruvon de la teoremo.

 Vidu ankaŭ 
 Vektora kalkulo
 Gradienta teoremo
 Teoremo de Green
 Teoremo de Kelvino-Stokes

 Eksteraj ligiloj 

   je PlanetMath

Kategorio:Vektora kalkulo
Kategorio:Matematikaj teoremoj