The Gaussian integral theorem , also Gauss-Ostrogradski's theorem or divergence theorem , is a result of vector analysis . It establishes a connection between the divergence of a vector field and the flow through a closed surface given by the field .
In three dimensions, a region V is shown, which is bounded by the closed surface S = ∂ V , oriented by the outer surface normal vector n .
Let it be a compact set with a smooth edge in sections , let the edge be oriented by an outer normal unit vector field . Furthermore, let the vector field be continuously differentiable on an open set with . Then applies
${\ displaystyle V \ subset \ mathbb {R} ^ {n}}$${\ displaystyle S = \ partial V}$${\ displaystyle {\ vec {n}}}$${\ displaystyle {\ vec {F}}}$${\ displaystyle U}$${\ displaystyle V \ subseteq U}$
In the calculation it was used that applies to all and that the three-dimensional unit sphere has the volume and the surface .
${\ displaystyle {\ vec {x}} \ cdot {\ vec {x}} = \ | {\ vec {x}} \ | _ {2} ^ {2} = 1}$${\ displaystyle {\ vec {x}} \ in S}$${\ displaystyle {\ tfrac {4} {3}} \ pi}$${\ displaystyle 4 \ pi}$
Inferences
Further identities can be derived from the Gaussian integral theorem. To simplify matters, the notation and as well as the Nabla notation are used below .
${\ displaystyle \ mathrm {d} {\ vec {S}}: = {\ vec {n}} \; \ mathrm {d} ^ {(n-1)} S}$${\ displaystyle \ mathrm {d} V: = \ mathrm {d} ^ {(n)} V}$
If one applies the Gaussian integral theorem to the product of a scalar field with a vector field , one obtains${\ displaystyle f}$${\ displaystyle {\ vec {G}}}$
${\ displaystyle \ int _ {V} \ left (\ left (\ nabla f \ right) \ cdot {\ vec {G}} + f \ left (\ nabla \ cdot {\ vec {G}} \ right) \ right) \ mathrm {d} V = \ int _ {V} \ nabla \ cdot \ left (f {\ vec {G}} \ right) \ mathrm {d} V = \ oint _ {S} f {\ vec {G}} \ cdot \ mathrm {d} {\ vec {S}} \ ,.}$
If you look at the special case , you get the first Green identity .${\ displaystyle {\ vec {G}} = \ nabla g}$
If, on the other hand , one considers the special case , one obtains
${\ displaystyle {\ vec {G}} = \ mathrm {const.}}$
${\ displaystyle \ int _ {V} \ left (\ nabla f \ right) \ mathrm {d} V = \ oint _ {S} f \, \ mathrm {d} {\ vec {S}}}$
If one applies the Gaussian integral theorem for to the cross product of two vector fields and , one obtains${\ displaystyle n = 3}$${\ displaystyle {\ vec {F}}}$${\ displaystyle {\ vec {G}}}$
${\ displaystyle \ int _ {V} \ left ({\ vec {G}} \ cdot \ left (\ nabla \ times {\ vec {F}} \ right) - {\ vec {F}} \ cdot \ left (\ nabla \ times {\ vec {G}} \ right) \ right) \, \ mathrm {d} V = \ int _ {V} \ left (\ nabla \ cdot \ left ({\ vec {F}} \ times {\ vec {G}} \ right) \ right) \, \ mathrm {d} V = \ oint _ {S} \ left ({\ vec {F}} \ times {\ vec {G}} \ right) \ cdot \ mathrm {d} {\ vec {S}} \ ,.}$
If you consider the special case , you get
${\ displaystyle {\ vec {G}} = \ mathrm {const.}}$
${\ displaystyle \ int _ {V} \ left (\ nabla \ times {\ vec {F}} \ right) \, \ mathrm {d} V = \ oint _ {S} \ mathrm {d} {\ vec { S}} \ times {\ vec {F}} \ ,.}$
If one applies the Gaussian integral theorem to vector fields im , multiplies the integrals with basis vectors of the standard basis , uses the properties of the dyadic product " " and adds the results, one obtains the generalization to tensors :${\ displaystyle \ mathbb {R} ^ {n}}$${\ displaystyle {\ hat {e}} _ {1,2, ..., n}}$${\ displaystyle \ otimes}$
The superscript stands for the transposition . However, another definition of the divergence of tensors occurs in the literature
${\ displaystyle \ top}$
If one applies the Gaussian integral theorem to the derivative of a real function on the interval , then one obtains the main theorem of differential and integral calculus . The evaluation of the integral at the interval ends in the main clause corresponds to the evaluation of the edge integral in the divergence clause.${\ displaystyle n = 1}$${\ displaystyle f}$${\ displaystyle [a, b]}$
The theorem is used to describe the conservation of mass , momentum and energy in any volume: The integral of the source distribution (sum of the divergence of a vector field) over the volume inside an envelope multiplied by a constant gives the total flow (the envelope integral) of the total flow through the envelope of this volume.
In the gravitational field one obtains: The surface integral is -4π G times the mass inside, as long as the mass is distributed radially symmetrically in it (constant density at a given distance from the center) and independent of any masses outside (also radially symmetrically distributed). In particular, the following applies: The whole sphere outside a sphere has no (additional) influence as long as its mass is distributed radially symmetrically. Only the sum of the sources and sinks in the interior have an effect.
Partial integration in the multi-dimensional
The Gaussian integral theorem leads to a formula for partial integration in the multi-dimensional
In the latter case, the meaning of the sentence is particularly clear. Let us assume that the vector field describes flowing water in a certain area of space. Then the divergence of just describes the strength of all sources and sinks in individual points. If you want to know how much water flows out of a certain area , it is intuitively clear that you have the following two options:
${\ displaystyle {\ vec {F}}}$${\ displaystyle {\ vec {F}}}$${\ displaystyle V}$
One examines or measures how much water exits and enters through the surface of . This corresponds to the flow of vertical components on the surface as a surface integral.${\ displaystyle V}$
One balances (measures) inside the limited volume, how much water disappears in total in sinks (holes) and how much comes from sources (water inflows). So you add the effects of sources and sinks. Alternatively and equally, this is then realized by the volume integral over the divergence.${\ displaystyle V}$
The Gaussian integral theorem states that in fact both possibilities always lead to the goal in an absolutely equivalent manner. It thus also has the character of a law of conservation of energy.