من ويكيبيديا، الموسوعة الحرة
في تحليل المتجهات ، تحقق مبرهنة التباعد [ 1] (وتسمى أيضًا مبرهنة غاوس أو مبرهنة أوستروغرادسكي ) المساواة بين تكامل تباعد حقل متجهي على الحجم في
R
3
{\displaystyle \mathbb {R} ^{3}}
وتدفق هذا الحقل عبر حدود الحجم (وهو التكامل السطحي ).
المساواة هي على النحو التالي:
∫
∫
∫
V
∇
→
⋅
F
→
d
V
=
∫
⊂
⊃
∫
∂
V
F
→
⋅
d
S
→
{\displaystyle \int \!\!\!\!\!\int \!\!\!\!\!\int _{\mathcal {V}}{\overrightarrow {\nabla }}\cdot {\overrightarrow {F}}\,dV=\int \!\!\!\!\!\!\!\subset \!\!\!\supset \!\!\!\!\!\!\!\int _{\partial {\mathcal {V}}}{\overrightarrow {F}}\cdot d{\overrightarrow {S}}}
حيث :
V
{\displaystyle {\mathcal {V}}\,}
هو الحجم
∂
V
{\displaystyle \partial {\mathcal {V}}\,}
هي حدود
V
{\displaystyle {\mathcal {V}}}
d
S
→
{\displaystyle d{\overrightarrow {S}}}
هو المتجه العمودي على السطح، موجه للخارج ومعياره يساوي العنصر السطحي الذي يمثله
F
→
{\displaystyle {\overrightarrow {F}}}
هو حقل متجهي قابل للاشتقاق باستمرار في أي نقطة من
V
{\displaystyle {\mathcal {V}}}
.
∇
→
{\displaystyle {\overrightarrow {\nabla }}}
هو المؤثر نابلا ؛
∇
→
⋅
F
→
=
d
i
v
F
→
{\displaystyle {\overrightarrow {\nabla }}\cdot {\overrightarrow {F}}=\mathrm {div} \ {\overrightarrow {F}}}
هذه المبرهنة تتبع مبرهنة ستوكس التي في حد ذاتها، تعمم المبرهنة الأساسية للتفاضل والتكامل .
هي نتيجة مهمة في الفيزياء الرياضية ، خاصة في الكهرباء الساكنة وديناميات الموائع ، حيث تعكس هذه المبرهنة قانون الحفظ . وفقًا لإشارته، يعبر الاختلاف عن تشتت أو تركيز مقدار (مثل الكتلة على سبيل المثال) وتشير المبرهنة السابقة إلى أن التشتت داخل الحجم يكون بالضرورة مصحوبًا بتدفق إجمالي مكافئ يغادر حدوده.
تسمح هذه المبرهنة بشكل خاص لايجاد نسخة تكاملية لمبرهنة غاوس في الكهرومغناطيسية من معادلة ماكسويل-غاوس :
d
i
v
E
→
=
ρ
ε
0
.
{\displaystyle \mathrm {div} \ {\overrightarrow {E}}\ =\ {\frac {\rho }{\varepsilon _{0}}}.}
هذه المبرهنة تجعل من الممكن استنتاج صيغ معينة مفيدة من الحساب المتجهي. في التعبيرات أدناه:
∇
→
⋅
F
→
=
d
i
v
F
→
,
∇
→
g
=
g
r
a
d
→
g
,
∇
→
∧
F
→
=
r
o
t
→
F
→
{\displaystyle {\overrightarrow {\nabla }}\cdot {\overrightarrow {F}}=\mathrm {div} \,{\overrightarrow {F}},\,{\overrightarrow {\nabla }}g={\overrightarrow {\mathrm {grad} }}\,g\,,{\overrightarrow {\nabla }}\wedge {\overrightarrow {F}}={\overrightarrow {\mathrm {rot} }}\,{\overrightarrow {F}}\,}
∫
∫
∫
V
(
F
→
⋅
∇
→
g
+
g
(
∇
→
⋅
F
→
)
)
d
V
=
∫
⊂
⊃
∫
∂
V
g
F
→
⋅
d
S
→
,
{\displaystyle \int \!\!\!\!\!\int \!\!\!\!\!\int _{\mathcal {V}}\left({\overrightarrow {F}}\cdot {\overrightarrow {\nabla }}g+g\left({\overrightarrow {\nabla }}\cdot {\overrightarrow {F}}\right)\right)dV=\int \!\!\!\!\!\!\!\subset \!\!\!\supset \!\!\!\!\!\!\!\int _{\partial {\mathcal {V}}}g{\overrightarrow {F}}\cdot d{\overrightarrow {S}},}
∫
∫
∫
V
∇
→
g
d
V
=
∫
⊂
⊃
∫
∂
V
g
d
S
→
,
{\displaystyle \int \!\!\!\!\!\int \!\!\!\!\!\int _{\mathcal {V}}{\overrightarrow {\nabla }}g\,dV=\int \!\!\!\!\!\!\!\subset \!\!\!\supset \!\!\!\!\!\!\!\int _{\partial {\mathcal {V}}}g\,d{\overrightarrow {S}},}
∫
∫
∫
V
(
G
→
⋅
(
∇
→
∧
F
→
)
−
F
→
⋅
(
∇
→
∧
G
→
)
)
d
V
=
∫
⊂
⊃
∫
∂
V
(
F
→
∧
G
→
)
⋅
d
S
→
,
{\displaystyle \int \!\!\!\!\!\int \!\!\!\!\!\int _{\mathcal {V}}\left({\overrightarrow {G}}\cdot \left({\overrightarrow {\nabla }}\wedge {\overrightarrow {F}}\right)-{\overrightarrow {F}}\cdot \left({\overrightarrow {\nabla }}\wedge {\overrightarrow {G}}\right)\right)dV=\int \!\!\!\!\!\!\!\subset \!\!\!\supset \!\!\!\!\!\!\!\int _{\partial {\mathcal {V}}}\left({\overrightarrow {F}}\wedge {\overrightarrow {G}}\right)\cdot d{\overrightarrow {S}},}
∫
∫
∫
V
∇
→
∧
F
→
d
V
=
∫
⊂
⊃
∫
∂
V
d
S
→
∧
F
→
,
{\displaystyle \int \!\!\!\!\!\int \!\!\!\!\!\int _{\mathcal {V}}{\overrightarrow {\nabla }}\wedge {\overrightarrow {F}}dV=\int \!\!\!\!\!\!\!\subset \!\!\!\supset \!\!\!\!\!\!\!\int _{\partial {\mathcal {V}}}d{\overrightarrow {S}}\wedge {\overrightarrow {F}},}
∫
∫
∫
V
(
f
∇
→
2
g
+
∇
→
f
⋅
∇
→
g
)
d
V
=
∫
⊂
⊃
∫
∂
V
f
∇
→
g
⋅
d
S
→
.
{\displaystyle \int \!\!\!\!\!\int \!\!\!\!\!\int _{\mathcal {V}}\left(f{\overrightarrow {\nabla }}^{2}g+{\overrightarrow {\nabla }}f\cdot {\overrightarrow {\nabla }}g\right)dV=\int \!\!\!\!\!\!\!\subset \!\!\!\supset \!\!\!\!\!\!\!\int _{\partial {\mathcal {V}}}f{\overrightarrow {\nabla }}g\cdot d{\overrightarrow {S}}.}
على وجه الخصوص، تستخدم هذه الصيغ للحصول على صياغات ضعيفة مرتبطة بمشاكل المشتقات الجزئية .