Dtjytyk

Divergens er i vektoranalyse ein operator som måler storleiken på kjeldene eller sluka i eit visst punkt i eit vektorfelt som ein skalar med forteikn. Til dømes kan ein tenkje seg luft som vert varma opp eller avkjølt. Det relevante vektorfeltet i dette dømet er snøggleiken til luftrørsla i eit punkt. Om lufta vert varma opp i eit område, vil lufta utvide seg i alle retningar, slik at snøggleiksfeltet peikar utover frå dette området. Derfor har divergensen til snøggleiksfeltet i dette området ein positiv verdi, sidan regionen er ei kjelde. Om lufta vert avkjølt og trekkjer seg saman, vil divergensen vere negativ og området er eit sluk. Meir teknisk kan ein seie at divergensen representerer volumtettleiken til den utoverretta fluksen i eit vektorfelt frå eit infinitesimalt volum rundt eit visst punkt.

I meteorologien tyder divergens utstrøyming av luft frå eit område. Ein vil i slike tilfelle få danna lågtrykk ved bakken.

Definisjon |

Fysisk sett er divergensen til eit tredimensjonalt vektorfelt graden ein vektorfeltstraum oppfører seg som ei kjelde eller eit sluk i eit visst punkt. Det er eit lokalt mål på kor mykje meir som går utover det infinitesimale området enn som kjem inn i det. Om divergensen er ulik null i eit punkt, så må det vere eit sluk eller ei kjelde denne staden.^[1]

Meir strikt kan ein definere divergensen som den deriverte av nettostraumen i vektorfeltet over overflata til eit lite område relativt til volumet i området.
Formelt skriv ein

divF=limV→0∬S(V)F⋅nVdSdisplaystyle operatorname div ,mathbf F =lim _Vrightarrow 0iint _S(V)mathbf F cdot mathbf n over V;dS

der V er volumet til eit vilkårleg utforma område i R³ som omfattar punkta p, S(V) er overflata til volumet, og integralet er overflateintegral med n som den normale utoverretta til overflata. Resultatet, div F, er ein funksjon av lokasjonen p. Ut frå denne definisjonen vert det eksplisitt tydeleg at ein kan sjå div F som ein kjeldetettleik til fluksen F.

I lys av den fysiske tolkinga vert eit vektorfelt med konstant null divergens kalla inkompressibelt eller solenoidalt – i dette tilfellet kan ein ikkje ha nettostraum over nokre av dei lukka flatene.

Intuisjonen om at summen av alle kjeldene minus summen av alle sluka skulle gje nettostraum utover frå regionen, er presisert i divergensteoremet.

Bruk i kartesiske koordinatar |

La x, y, z vere eit system i kartesiske koordinatar i eit tredimensjonalt euklidsk rom, og la i, j, k vere dei samsvarande basane til einingsvektorane.

Divergensen er eit kontinuerleg differensierbar vektorfelt F = U i + V j + W k definert til å vere skalarverdi-funksjonar:

divF=∇⋅F=∂U∂x+∂V∂y+∂W∂z.displaystyle operatorname div ,mathbf F =nabla cdot mathbf F =frac partial Upartial x+frac partial Vpartial y+frac partial Wpartial z.

Sjølv om dette er uttrykt i koordinatar, er resultatet invariant under ortogonale transformasjonar, som den fysiske tolkinga føreslår.

Den vanlege notasjonen for divergensen er ∇·F der prikken viser til ein operasjon som liknar prikkproduktet: ta komponentane av ∇ (sjå del), og bruk dei på komponentane av F, og summer resultatet. Som følgje av dette vert det rekna som notasjonsmisbruk.

Dekomposisjonsteoremet |

Det kan visast at for alle stasjonære fluksar v(r)displaystyle mathbf v (mathbf r ) som er minst to gonger kontinuerleg differensierbare i R3displaystyle mathbb R ^3 og forsvinn raskt nok for |r|→∞mathbf r kan dekomponerast til ein rotasjonsfri del E(r)displaystyle mathbf E (mathbf r ) og ein kjeldefri del B(r).displaystyle mathbf B (mathbf r ),. I tillegg er desse delane eksplisitt avgjort av dei respektive kjeldetettleikane (frå divergens) og sirkulasjonstettleikane (frå curl):

For den rotasjonsfrie delen har ein:

E=−∇Φ(r),displaystyle mathbf E =-nabla Phi (mathbf r ),, with   Φ(r)=∫R3d3r′divv(r′)4π|r−r′|.displaystyle Phi (mathbf r )=int _mathbb R ^3,rm d^3mathbf r ',frac rm div,mathbf v (mathbf r ')mathbf r -mathbf r ',.

Den kjeldefrie delen, Bdisplaystyle mathbf B , kan skrivast på liknande vis. Ein må berre erstatte skalarpotensialet Φ(r)displaystyle Phi (mathbf r ) med eit vektorpotensial A(r)displaystyle mathbf A (mathbf r ) og ledda −∇Φdisplaystyle -nabla Phi med +∇×Adisplaystyle +nabla times mathbf A , og til slutt kjeldetettleiken divvdisplaystyle rm div,mathbf v
med sirkulasjonstettleiken ∇×v.displaystyle nabla times mathbf v ,.

Dette «dekomposisjonsteoremet» er faktisk eit biprodukt av det stasjonære tilfellet innan elektrodynamikk. Det er eit særtilfelle av den meir generelle helmholtzdekomposisjonen som òg gjeld for dimensjonar høgare enn tre.

Eigenskapar |

Dei følgjande eigenskapane kan ein få ved hjelp av vanlege differensieringsreglar i matematisk analyse. Det viktigaste er at divergensen er ein lineær operator, t.d.

div⁡(aF+bG)=adiv⁡(F)+bdiv⁡(G)displaystyle operatorname div (amathbf F +bmathbf G )=a;operatorname div (mathbf F )+b;operatorname div (mathbf G )

for alle vektorfelt F og G og alle reelle tal a og b.

Det finst ein produktregel på forma: om φdisplaystyle varphi er ein skalarverdifunksjon og F er eit vektorfelt, så

div⁡(φF)=grad⁡(φ)⋅F+φdiv⁡(F),displaystyle operatorname div (varphi mathbf F )=operatorname grad (varphi )cdot mathbf F +varphi ;operatorname div (mathbf F ),

eller omskrive

∇⋅(φF)=(∇φ)⋅F+φ(∇⋅F).displaystyle nabla cdot (varphi mathbf F )=(nabla varphi )cdot mathbf F +varphi ;(nabla cdot mathbf F ).

Ein annan produktregel for kryssproduktet mellom to vektorfelt F og G i tredimensjonar omfattar curlen og vert skrive slik:

div⁡(F×G)=curl⁡(F)⋅G−F⋅curl⁡(G),displaystyle operatorname div (mathbf F times mathbf G )=operatorname curl (mathbf F )cdot mathbf G ;-;mathbf F cdot operatorname curl (mathbf G ),

eller

∇⋅(F×G)=(∇×F)⋅G−F⋅(∇×G).displaystyle nabla cdot (mathbf F times mathbf G )=(nabla times mathbf F )cdot mathbf G -mathbf F cdot (nabla times mathbf G ).

Laplaceoperatoren til eit skalarfelt er divergensen til gradienten til feltet.

Divergensen er curlen til alle vektorfelt (i tre dimensjonar) som er lik null:

∇⋅(∇×F)=0displaystyle nabla cdot (nabla times mathbf F )=0

Om eit vektorfelt F med null divergens er definert på ei kule i R³, så finst det eit vektorfelt G på kula med F = curl(G). For område i R³ meir kompliserte enn dette, vert den siste utsegna falsk. Graden av feil frå sanninga i denne utsegna, målt av homologien i kjedekomplekset

skalarfelt på Udisplaystyle mboxskalarfelt på U;

→vektorfelt på Udisplaystyle to mboxvektorfelt på U;

→vektorfelt på Udisplaystyle to mboxvektorfelt på U;

→skalarfelt på Udisplaystyle to mboxskalarfelt på U;

(der den første mappinga er gradienten, den andre er curlen, den tredje er divergensen) gjev ei fin kvantifisering av kompliseringsgraden til det underliggande området U. Dette er starten og hovudmotivasjonen for de Rham-kohomologi.

Tilknyting til ytre deriverte |

Ein kan opprette ein parallell mellom divergensen og eit særtilfelle av den ytre deriverte når ein tar ei 2-form til ei 3-form i R³.
Om ein definerer:

α=F1 dy∧dz+F2 dz∧dx+F3 dx∧dydisplaystyle alpha =F_1 dywedge dz+F_2 dzwedge dx+F_3 dxwedge dy

så er den ytre deriverte dαdisplaystyle dalpha gjeven av

dα=(∂F1∂x+∂F2∂y+∂F3∂z)dx∧dy∧dzdisplaystyle dalpha =left(frac partial F_1partial x+frac partial F_2partial y+frac partial F_3partial zright)dxwedge dywedge dz

Generaliseringar |

Divergensen til eit vektorfelt kan definerast for alle dimensjonar. Om

F=(F1,F2,…,Fn),displaystyle mathbf F =(F_1,F_2,dots ,F_n),

i eit euklidsk koordinatsyste der x=(x1,x2,…,xn)displaystyle mathbf x =(x_1,x_2,dots ,x_n) og dx=(dx1,dx2,…,dxn)displaystyle dmathbf x =(dx_1,dx_2,dots ,dx_n), så definerer vi

divF=∇⋅F=∂F1∂x1+∂F2∂x2+⋯+∂Fn∂xn.displaystyle operatorname div ,mathbf F =nabla cdot mathbf F =frac partial F_1partial x_1+frac partial F_2partial x_2+cdots +frac partial F_npartial x_n.

Det høvelege uttrykket er meir komplisert i kurvelineære koordinatar.

For alle n, er divergensen ein lineær operator og tilfredsstiller produktregelen.

∇⋅(φF)=(∇φ)⋅F+φ(∇⋅F).displaystyle nabla cdot (varphi mathbf F )=(nabla varphi )cdot mathbf F +varphi ;(nabla cdot mathbf F ).

for alle skalarverdifunksjonar φ.

Divergensen kan definerast på alle manifold med dimensjon n med ei volumform (eller tettleik) μdisplaystyle mu til dømes eit riemann- eller lorentz-manifold. Generalisere oppbygginga av ei to-form for eit vektorfelt på R3displaystyle mathbb R ^3, på eit slikt manifold, definerer eit vektorfelt X ei n-1-form j=iXμdisplaystyle j=i_Xmu som ein får ved å dra saman X med μdisplaystyle mu . Divergensen er då funksjonen definert som

dj=div⁡(X)μdisplaystyle dj=operatorname div (X)mu

Standardformer av lie-deriverte gjer at ein kan formulere dette som

LXμ=div⁡(X)μdisplaystyle mathcal L_Xmu =operatorname div (X)mu

Dette tyder at divergensen måler ekspansjonsraten til eit volumelement sidan vi lèt han flyte med vektorfeltet.

Op eit riemann- eller lorentzmanifold kan divergensen med omsyn til den metriske volumforma reknast ut med hjelp av Levi Civita-samanehengen ∇displaystyle nabla

div⁡(X)=∇⋅X=X;aadisplaystyle operatorname div (X)=nabla cdot X=X_;a^a

der det andre uttrykket er ei samandraging av vektorfeltet på 1-form ∇Xdisplaystyle nabla X med seg sjølv og det siste uttrykket er det tradisjonelle koordinatuttrykket som fysikarar nyttar:

Divergensen kan òg generaliserast for tensorar. Med einsteinnotasjon vert divergensen til ein kontravariant vektor Fμdisplaystyle F^mu skriven som

∇⋅F=∇μFμdisplaystyle nabla cdot mathbf F =nabla _mu F^mu

der ∇μdisplaystyle nabla _mu er den kovariant deriverte.

Sjå òg |

• Divergensteoremet


• Curl


• Gradient


• Laplace-operator


• Del i sylindriske og sfæriske koordinatar

Kjelder |

Bakgrunnsstoff |

• Divergens og curl