अपसरण प्रमेय

"गौस प्रमेय" redirects here. For गौस प्रमेय विद्युत क्षेत्र के संबंध में, see गौस नियम.

"ओस्त्रोद्स्की प्रमेय" redirects here. For ओस्त्रोद्स्की प्रामेय पहले की तुलना में उच्च समय के व्युत्पादित पर निर्भर लग्रांजी से जुड़े हैमिल्टनी की रैखिक अस्थिरता के विषय में, see ओस्त्रोद्स्की अस्थिरता.

सदिश कलन में, विचलन प्रमेय, जिसे गॉस के प्रमेय या ओस्ट्रोग्रैडस्की के प्रमेय के रूप में भी जाना जाता है, एक प्रमेय है जो एक बंद सतह (गणित) के माध्यम से एक सदिश क्षेत्र के प्रवाह को परिबद्ध मात्रा में क्षेत्र के विचलन से संबंधित करता है।

अधिक सटीक रूप से, विचलन प्रमेय बताता है कि बंद सतह पर एक सदिश क्षेत्र की सतह अभिन्न, जिसे सतह के माध्यम से प्रवाह कहा जाता है, सतह के अंदर के क्षेत्र में विचलन के आयतन अभिन्न के बराबर है। सहज रूप से, यह बताता है कि एक क्षेत्र में क्षेत्र के सभी स्रोतों का योग (घटने को नकारात्मक स्रोत माना जाता है) क्षेत्र से असल प्रवाह देता है।

विचलन प्रमेय भौतिकी और अभियांत्रिकी के गणित के लिए एक महत्वपूर्ण परिणाम विशेष रूप से स्थिर विद्युतिकी और द्रव गतिकी में है। इन क्षेत्रों में, यह सामान्यतः तीन आयामों में लागू होता है। हालाँकि, यह किसी भी संख्या में आयामों का सामान्यीकरण करता है। एक आयाम में, यह भागों द्वारा एकीकरण के बराबर है। दो आयामों में, यह ग्रीन के प्रमेय के बराबर है।

तरल प्रवाह का उपयोग करके स्पष्टीकरण

सदिश क्षेत्रों को प्रायः द्रव के वेग क्षेत्र, जैसे वायुरूप द्रव्य या तरल के उदाहरण का उपयोग करके चित्रित किया जाता है। गतिमान तरल का एक वेग होता है - एक गति और एक दिशा - प्रत्येक बिंदु पर, जिसे सदिश (गणित और भौतिकी) द्वारा दर्शाया जा सकता है, ताकि किसी भी समय तरल का वेग एक सदिश क्षेत्र बना सके। तरल के तत्व के अंदर एक काल्पनिक बंद सतह S पर विचार करें, जो तरल की मात्रा को घेरे हुए है। आयतन से तरल का प्रवाह इस सतह को पार करने वाले द्रव के आयतन की दर के बराबर होता है, यानी सतह पर वेग का सतही अभिन्न अंग।

चूँकि तरल पदार्थ असंपीड्य होते हैं, एक बंद आयतन के अंदर तरल की मात्रा स्थिर होती है; यदि आयतन के अंदर कोई स्रोत या अभिगम नहीं हैं, तो S से तरल का प्रवाह शून्य है। यदि तरल चल रहा है, तो यह सतह S पर कुछ बिंदुओं पर आयतन में प्रवाहित हो सकता है और अन्य बिंदुओं पर आयतन से बाहर हो सकता है, लेकिन किसी भी क्षण अंदर और बाहर बहने वाली मात्रा बराबर होती है, इसलिए तरल का शुद्ध प्रवाह मात्रा शून्य है।

हालाँकि यदि तरल का कोई स्रोत बंद सतह के अंदर है, जैसे कि एक नलिका जिसके माध्यम से तरल पेश किया जाता है, तो अतिरिक्त तरल आसपास के तरल पर दबाव डालेगा, जिससे सभी दिशाओं में बाहरी प्रवाह होगा। यह सतह S के माध्यम से एक शुद्ध बाहरी प्रवाह का कारण होगा। S के माध्यम से बाहरी प्रवाह नलिका से S में तरल पदार्थ के प्रवाह की मात्रा दर के बराबर होता है। इसी तरह अगर S के अंदर एक अभिगम या नाली है, जैसे कि एक नलिका जो तरल को बंद कर देती है, तो तरल का बाहरी दबाव नाली के स्थान की ओर निर्देशित पूरे तरल में एक वेग पैदा करेगा। सतह S के माध्यम से अंदर की ओर तरल के प्रवाह की मात्रा दर अभिगम द्वारा हटाए गए तरल की दर के बराबर होती है।

यदि S के अंदर तरल के कई स्रोत और अभिगम हैं, तो सतह के माध्यम से प्रवाह की गणना स्रोतों द्वारा जोड़े गए तरल की मात्रा दर को जोड़कर और अभिगम द्वारा निकाले जाने वाले तरल की दर को घटाकर की जा सकती है। एक स्रोत या अभिगम के माध्यम से तरल के प्रवाह की मात्रा दर (एक नकारात्मक संकेत दिए गए अभिगम के माध्यम से प्रवाह के साथ) नलिका मुंह पर वेग क्षेत्र के विचलन के बराबर है, इसलिए S द्वारा संलग्न मात्रा में तरल के विचलन को जोड़ना (एकीकृत करना) S के माध्यम से प्रवाह की मात्रा दर के बराबर है। यह विचलन प्रमेय है।

विचलन प्रमेय किसी संरक्षण कानून में नियोजित है जो बताता है कि सभी अभिगम और स्रोतों की कुल मात्रा, जो विचलन का आयतन अभिन्न है, आयतन की सीमा के पार शुद्ध प्रवाह के बराबर है।

गणितीय कथन

File:Divergence theorem.svg

एक क्षेत्र V सतह से घिरा हुआ $S=\partial V$ सतह के साथ सामान्य n

मान लीजिए V का उपसमुच्चय $\mathbb {R} ^{n}$ है (के मामले में n = 3, V त्रि-आयामी अंतरिक्ष में एक मात्रा का प्रतिनिधित्व करता है) जो संक्षिप्त जगह है और इसकी खंडशः निर्बाध सीमा S है ($\partial V=S$ के साथ भी दर्शाया गया है )। यदि F के एक प्रतिवैस (गणित) पर परिभाषित एक सतत अवकलनीय सदिश क्षेत्र V है , फिर:

$\iiint _{V}\left(\mathbf {\nabla } \cdot \mathbf {F} \right)\,\mathrm {d} V=$ File:OiintLaTeX.svg$\scriptstyle S$ $(\mathbf {F} \cdot \mathbf {\hat {n}} )\,\mathrm {d} S.$

बाईं ओर आयतन पर एक आयतन अन्तर्निहित V है, दाईं ओर आयतन की सीमा पर सतह का अभिन्न अंग V है। बंद कई गुना $\partial V$ बाह्य- इंगित सामान्य मूल्य (ज्यामिति) द्वारा उन्मुख है, और $\mathbf {\hat {n}}$ सीमा पर प्रत्येक बिंदु पर सामान्य बाहरी ओर इंगित करने वाली इकाई है $\partial V$. ($\mathrm {d} \mathbf {S}$ के लिए आशुलिपि के रूप में प्रयुक्त किया जा सकता है $\mathbf {n} \mathrm {d} S$।) ऊपर दिए गए सहज विवरण के संदर्भ में, समीकरण के बाईं ओर मात्रा में कुल स्रोतों का प्रतिनिधित्व करता है V, और दाईं ओर सीमा के पार कुल प्रवाह का प्रतिनिधित्व करता है S.

प्रमाण

यूक्लिडियन स्पेस के बाउंडेड ओपन सबसेट के लिए

हम निम्नलिखित सिद्ध करने जा रहे हैं:

Theorem — Let $\Omega \subset \mathbb {R} ^{n}$ be open and bounded with $C^{1}$ boundary. If $u$ is $C^{1}$ on an open neighborhood $O$ of ${\overline {\Omega }}$, that is, $u\in C^{1}(O)$, then for each $i\in \{1,\dots ,n\}$,

$$\int _{\Omega }u_{x_{i}}\,dV=\int _{\partial \Omega }u\nu _{i}\,dS,$$

where $\nu :\partial \Omega \to \mathbb {R} ^{n}$ is the outward pointing unit normal vector to $\partial \Omega$. Equivalently,

$$\int _{\Omega }\nabla u\,dV=\int _{\partial \Omega }u\nu \,dS.$$

प्रमेय का प्रमाण।

(1) पहला कदम उस मामले को कम करना है जहां $u\in C_{c}^{1}(\mathbb {R} ^{n})$. चुनना $\phi \in C_{c}^{\infty }(O)$ ऐसा है कि $\phi =1$ पर ${\overline {\Omega }}$. ध्यान दें कि $\phi u\in C_{c}^{1}(O)\subset C_{c}^{1}(\mathbb {R} ^{n})$ तथा $\phi u=u$ पर ${\overline {\Omega }}$. इसलिए यह प्रमेय को सिद्ध करने के लिए पर्याप्त है $\phi u$. इसलिए हम यह मान सकते हैं $u\in C_{c}^{1}(\mathbb {R} ^{n})$.

(2) चलो $x_{0}\in \partial \Omega$ मनमाना होना। धारणा है कि ${\overline {\Omega }}$ है $C^{1}$ सीमा का अर्थ है कि एक खुला पड़ोस है $U$ का $x_{0}$ में $\mathbb {R} ^{n}$ ऐसा है कि $\partial \Omega \cap U$ ए का ग्राफ है $C^{1}$ के साथ कार्य करें $\Omega \cap U$ इस ग्राफ के एक तरफ झूठ बोल रहा है। अधिक सटीक रूप से, इसका मतलब है कि अनुवाद और रोटेशन के बाद $\Omega$, वहाँ हैं $r>0$ तथा $h>0$ और ए $C^{1}$ समारोह $g:\mathbb {R} ^{n-1}\to \mathbb {R}$, जैसे कि अंकन के साथ

$$x'=(x_{1},\dots ,x_{n-1}),$$

यह मानता है

$$U=\{x\in \mathbb {R} ^{n}:|x'|<r{\text{ and }}|x_{n}-g(x')|<h\}$$

और के लिए $x\in U$,

$${\begin{aligned}x_{n}=g(x')&\implies x\in \partial \Omega ,\\-h<x_{n}-g(x')<0&\implies x\in \Omega ,\\0<x_{n}-g(x')<h&\implies x\notin \Omega .\\\end{aligned}}$$

तब से $\partial \Omega$ कॉम्पैक्ट है, हम कवर कर सकते हैं $\partial \Omega$ निश्चित रूप से कई पड़ोस के साथ $U_{1},\dots ,U_{N}$ उपरोक्त प्रपत्र का। ध्यान दें कि $\{\Omega ,U_{1},\dots ,U_{N}\}$ का खुला आवरण है ${\overline {\Omega }}=\Omega \cup \partial \Omega$. ए का उपयोग करके $C^{\infty }$ इस कवर के अधीन एकता का विभाजन, यह प्रमेय को उस मामले में साबित करने के लिए पर्याप्त है जहां या तो $u$ में कॉम्पैक्ट सपोर्ट (गणित) है $\Omega$ या $u$ कुछ में कॉम्पैक्ट सपोर्ट है $U_{j}$. यदि $u$ में कॉम्पैक्ट सपोर्ट है $\Omega$, तो सभी के लिए $i\in \{1,\dots ,n\}$, $\int _{\Omega }u_{x_{i}}\,dV=\int _{\mathbb {R} ^{n}}u_{x_{i}}\,dV=\int _{\mathbb {R} ^{n-1}}\int _{-\infty }^{\infty }u_{x_{i}}(x)\,dx_{i}\,dx'=0$ पथरी के मौलिक प्रमेय द्वारा, और $\int _{\partial \Omega }u\nu _{i}\,dS=0$ जबसे $u$ के पड़ोस में गायब हो जाता है $\partial \Omega$. इस प्रकार प्रमेय के लिए है $u$ में कॉम्पैक्ट समर्थन के साथ $\Omega$. इस प्रकार हम उस मामले में कम हो गए हैं जहां $u$ कुछ में कॉम्पैक्ट सपोर्ट है $U_{j}$.

(3) तो मान लीजिए $u$ कुछ में कॉम्पैक्ट सपोर्ट है $U_{j}$. अंतिम चरण अब यह दिखाना है कि प्रमेय प्रत्यक्ष संगणना द्वारा सत्य है। नोटेशन को बदलें $U=U_{j}$, और वर्णन करने के लिए प्रयुक्त (2) से संकेतन लाएँ $U$. ध्यान दें कि इसका मतलब है कि हमने घुमाया और अनुवाद किया है $\Omega$. यह एक वैध कमी है क्योंकि प्रमेय रोटेशन और निर्देशांक के अनुवाद के तहत अपरिवर्तनीय है। तब से $u(x)=0$ के लिये $|x'|\geq r$ और के लिए $|x_{n}-g(x')|\geq h$, हमारे पास प्रत्येक के लिए है $i\in \{1,\dots ,n\}$ वह

$${\begin{aligned}\int _{\Omega }u_{x_{i}}\,dV&=\int _{|x'|<r}\int _{g(x')-h}^{g(x')}u_{x_{i}}(x',x_{n})\,dx_{n}\,dx'\\&=\int _{\mathbb {R} ^{n-1}}\int _{-\infty }^{g(x')}u_{x_{i}}(x',x_{n})\,dx_{n}\,dx'.\end{aligned}}$$

के लिये $i=n$ हमारे पास कलन के मौलिक प्रमेय द्वारा है

$$\int _{\mathbb {R} ^{n-1}}\int _{-\infty }^{g(x')}u_{x_{n}}(x',x_{n})\,dx_{n}\,dx'=\int _{\mathbb {R} ^{n-1}}u(x',g(x'))\,dx'.$$

अब ठीक करो $i\in \{1,\dots ,n-1\}$. ध्यान दें कि

$$\int _{\mathbb {R} ^{n-1}}\int _{-\infty }^{g(x')}u_{x_{i}}(x',x_{n})\,dx_{n}\,dx'=\int _{\mathbb {R} ^{n-1}}\int _{-\infty }^{0}u_{x_{i}}(x',g(x')+s)\,ds\,dx'$$

परिभाषित करना $v:\mathbb {R} ^{n}\to \mathbb {R}$ द्वारा $v(x',s)=u(x',g(x')+s)$. श्रृंखला नियम द्वारा,

$$v_{x_{i}}(x',s)=u_{x_{i}}(x',g(x')+s)+u_{x_{n}}(x',g(x')+s)g_{x_{i}}(x').$$

लेकिन जबसे $v$ कॉम्पैक्ट समर्थन है, हम एकीकृत कर सकते हैं $dx_{i}$ पहले यह निष्कर्ष निकालने के लिए

$$\int _{\mathbb {R} ^{n-1}}\int _{-\infty }^{0}v_{x_{i}}(x',s)\,ds\,dx'=0.$$

इस प्रकार

$${\begin{aligned}\int _{\mathbb {R} ^{n-1}}\int _{-\infty }^{0}u_{x_{i}}(x',g(x')+s)\,ds\,dx'&=\int _{\mathbb {R} ^{n-1}}\int _{-\infty }^{0}-u_{x_{n}}(x',g(x')+s)g_{x_{i}}(x')\,ds\,dx'\\&=\int _{\mathbb {R} ^{n-1}}-u(x',g(x'))g_{x_{i}}(x')\,dx'.\end{aligned}}$$

संक्षेप में, के साथ $\nabla u=(u_{x_{1}},\dots ,u_{x_{n}})$ अपने पास

$$\int _{\Omega }\nabla u\,dV=\int _{\mathbb {R} ^{n-1}}\int _{-\infty }^{g(x')}\nabla u\,dV=\int _{\mathbb {R} ^{n-1}}u(x',g(x'))(-\nabla g(x'),1)\,dx'.$$

याद रखें कि बाहरी इकाई ग्राफ के लिए सामान्य है $\Gamma$ का $g$ एक बिंदु पर $(x',g(x'))\in \Gamma$ है $\nu (x',g(x'))={\frac {1}{\sqrt {1+|\nabla g(x')|^{2}}}}(-\nabla g(x'),1)$ और वह सतह तत्व $dS$ द्वारा दिया गया है $dS={\sqrt {1+|\nabla g(x')|^{2}}}\,dx'$. इस प्रकार

$$\int _{\Omega }\nabla u\,dV=\int _{\partial \Omega }u\nu \,dS.$$

यह प्रमाण को पूरा करता है।

सीमा के साथ कॉम्पैक्ट रीमानियन मैनिफोल्ड के लिए

हम निम्नलिखित सिद्ध करने जा रहे हैं:

Theorem — Let ${\overline {\Omega }}$ be a $C^{2}$ compact manifold with boundary with $C^{1}$ metric tensor $g$. Let $\Omega$ denote the manifold interior of ${\overline {\Omega }}$ and let $\partial \Omega$ denote the manifold boundary of ${\overline {\Omega }}$. Let $(\cdot ,\cdot )$ denote $L^{2}({\overline {\Omega }})$ inner products of functions and $\langle \cdot ,\cdot \rangle$ denote inner products of vectors. Suppose $u\in C^{1}({\overline {\Omega }},\mathbb {R} )$ and $X$ is a $C^{1}$ vector field on ${\overline {\Omega }}$. Then

$$(\operatorname {grad} u,X)=-(u,\operatorname {div} X)+\int _{\partial \Omega }u\langle X,N\rangle \,dS,$$

where $N$ is the outward-pointing unit normal vector to $\partial \Omega$.

प्रमेय का प्रमाण।

हम आइंस्टीन समन कन्वेंशन का उपयोग करते हैं। एकता के विभाजन का उपयोग करके, हम यह मान सकते हैं $u$ तथा $X$ एक समन्वय पैच में कॉम्पैक्ट समर्थन है $O\subset {\overline {\Omega }}$. पहले उस मामले पर विचार करें जहां पैच अलग है $\partial \Omega$. फिर $O$ के एक खुले उपसमुच्चय के साथ पहचाना जाता है $\mathbb {R} ^{n}$ और भागों द्वारा एकीकरण कोई सीमा शर्तों का उत्पादन नहीं करता है:

$${\begin{aligned}(\operatorname {grad} u,X)&=\int _{O}\langle \operatorname {grad} u,X\rangle {\sqrt {g}}\,dx\\&=\int _{O}\partial _{j}uX^{j}{\sqrt {g}}\,dx\\&=-\int _{O}u\partial _{j}({\sqrt {g}}X^{j})\,dx\\&=-\int _{O}u{\frac {1}{\sqrt {g}}}\partial _{j}({\sqrt {g}}X^{j}){\sqrt {g}}\,dx\\&=(u,-{\frac {1}{\sqrt {g}}}\partial _{j}({\sqrt {g}}X^{j}))\\&=(u,-\operatorname {div} X).\end{aligned}}$$

पिछली समानता में हमने विचलन के लिए वॉस-वेइल समन्वय सूत्र का उपयोग किया था, हालांकि पूर्ववर्ती पहचान को परिभाषित करने के लिए इस्तेमाल किया जा सकता था $-\operatorname {div}$ के औपचारिक जोड़ के रूप में $\operatorname {grad}$. अब मान लीजिए $O$ काटती है $\partial \Omega$. फिर $O$ में एक खुले सेट के साथ पहचाना जाता है $\mathbb {R} _{+}^{n}=\{x\in \mathbb {R} ^{n}:x_{n}\geq 0\}$. हम शून्य विस्तार करते हैं $u$ तथा $X$ प्रति $\mathbb {R} _{+}^{n}$ और प्राप्त करने के लिए भागों द्वारा एकीकरण करें

$${\begin{aligned}(\operatorname {grad} u,X)&=\int _{O}\langle \operatorname {grad} u,X\rangle {\sqrt {g}}\,dx\\&=\int _{\mathbb {R} _{+}^{n}}\partial _{j}uX^{j}{\sqrt {g}}\,dx\\&=(u,-\operatorname {div} X)-\int _{\mathbb {R} ^{n-1}}u(x',0)X^{n}(x',0){\sqrt {g(x',0)}}\,dx',\end{aligned}}$$

कहाँ पे $dx'=dx_{1}\dots dx_{n-1}$. सदिश क्षेत्रों के लिए स्ट्रेटनिंग प्रमेय के एक संस्करण द्वारा, हम चुन सकते हैं $O$ ताकि ${\frac {\partial }{\partial x_{n}}}$ आवक इकाई सामान्य है $-N$ पर $\partial \Omega$. इस मामले में ${\sqrt {g(x',0)}}\,dx'={\sqrt {g_{\partial \Omega }(x')}}\,dx'=dS$ आयतन तत्व चालू है $\partial \Omega$ और उपरोक्त सूत्र पढ़ता है

$$(\operatorname {grad} u,X)=(u,-\operatorname {div} X)+\int _{\partial \Omega }u\langle X,N\rangle \,dS.$$

यह प्रमाण को पूरा करता है।

अनौपचारिक व्युत्पत्ति

विचलन प्रमेय इस तथ्य से अनुसरण करता है कि यदि कोई आयतन V को अलग-अलग भागों में विभाजित किया जाता है, मूल आयतन का प्रवाह प्रत्येक घटक आयतन के प्रवाह के योग के बराबर होता है। यह इस तथ्य के बावजूद सच है कि नए उपखंडों में ऐसी सतहें हैं जो मूल मात्रा की सतह का हिस्सा नहीं थीं, क्योंकि ये सतहें दो उपखंडों के बीच विभाजन हैं और उनके माध्यम से प्रवाह सिर्फ एक मात्रा से दूसरी मात्रा में जाता है और इसलिए रद्द हो जाता है जब उपखंडों में से फ्लक्स का योग किया जाता है।

File:Divergence theorem 1 - split volume.png

दो उपखंडों में विभाजित एक मात्रा। अलग-अलग सतहों से फ्लक्स को दिखाने के लिए दाईं ओर दो सबआयतन ्स को अलग किया जाता है।

आरेख देखें। एक बंद, बंधी हुई मात्रा V दो खण्डों में विभक्त है V₁ तथा V₂ एक सतह द्वारा S₃ <अवधि शैली = रंग: हरा; >(हरा). प्रवाह Φ(V_i) प्रत्येक घटक क्षेत्र से बाहर V_i इसके दो चेहरों के माध्यम से प्रवाह के योग के बराबर है, इसलिए दो भागों में से प्रवाह का योग है

$\Phi (V_{\text{1}})+\Phi (V_{\text{2}})=\Phi _{\text{1}}+\Phi _{\text{31}}+\Phi _{\text{2}}+\Phi _{\text{32}}$

कहाँ पे Φ₁ तथा Φ₂ सतहों से बाहर प्रवाह हैं S₁ तथा S₂, Φ₃₁ के माध्यम से प्रवाह है S₃ आयतन 1 से बाहर, और Φ₃₂ के माध्यम से प्रवाह है S₃ आयतन 2 ​​से बाहर। बिंदु वह सतह है S₃ दोनों खंडों की सतह का हिस्सा है। सामान्य सदिश की बाहरी दिशा $\mathbf {\hat {n}}$ प्रत्येक आयतन के लिए विपरीत है, इसलिए एक के माध्यम से प्रवाह S₃ दूसरे से प्रवाह के नकारात्मक के बराबर है

$\Phi _{\text{31}}=\iint _{S_{3}}\mathbf {F} \cdot \mathbf {\hat {n}} \;\mathrm {d} S=-\iint _{S_{3}}\mathbf {F} \cdot (-\mathbf {\hat {n}} )\;\mathrm {d} S=-\Phi _{\text{32}}$

इसलिए ये दो फ्लक्स योग में रद्द हो जाते हैं। इसलिए

$\Phi (V_{\text{1}})+\Phi (V_{\text{2}})=\Phi _{\text{1}}+\Phi _{\text{2}}$

सतहों के मिलन के बाद से S₁ तथा S₂ है S

$\Phi (V_{\text{1}})+\Phi (V_{\text{2}})=\Phi (V)$

File:Divergence theorem 2 - volume partition.png

आयतन को किसी भी संख्या में उपखंडों में विभाजित किया जा सकता है और V का प्रवाह प्रत्येक उपखंड के प्रवाह के योग के बराबर होता है, क्योंकि ग्रीन सतहें योग में रद्द हो जाती हैं। (बी) में आयतन को थोड़ा अलग दिखाया गया है, यह दर्शाता है कि प्रत्येक हरा विभाजन दो आसन्न आयतन की सीमा का हिस्सा है

यह सिद्धांत किसी भी संख्या में विभाजित मात्रा पर लागू होता है, जैसा कि आरेख में दिखाया गया है। चूँकि प्रत्येक आंतरिक विभाजन पर समाकलित (हरी सतहें) दो आसन्न खंडों के प्रवाह में विपरीत संकेतों के साथ प्रकट होता है जिसे वे रद्द कर देते हैं, और प्रवाह में एकमात्र योगदान बाहरी सतहों पर अभिन्न अंग है (ग्रे)। चूँकि सभी घटक आयतन की बाहरी सतहें मूल सतह के बराबर होती हैं।

$\Phi (V)=\sum _{V_{\text{i}}\subset V}\Phi (V_{\text{i}})$

File:Divergence theorem 3 - infinitesimals.png

जैसा कि आयतन को छोटे भागों में विभाजित किया गया है, फ्लक्स का अनुपात $\Phi (V_{\text{i}})$ प्रत्येक आयतन से आयतन तक $|V_{\text{i}}|$ दृष्टिकोण $\operatorname {div} \mathbf {F}$

प्रवाह Φ प्रत्येक आयतन में से सदिश क्षेत्र का पृष्ठीय समाकल है F(x) सतह के ऊपर

$\iint _{S(V)}\mathbf {F} \cdot \mathbf {\hat {n}} \;\mathrm {d} S=\sum _{V_{\text{i}}\subset V}\iint _{S(V_{\text{i}})}\mathbf {F} \cdot \mathbf {\hat {n}} \;\mathrm {d} S$

लक्ष्य मूल आयतन को असीम रूप से अनेक अतिसूक्ष्म आयतनों में विभाजित करना है। चूंकि आयतन को छोटे और छोटे भागों में विभाजित किया जाता है, दाईं ओर सतह अभिन्न, प्रत्येक उपखंड से प्रवाह, शून्य तक पहुंचता है क्योंकि सतह क्षेत्र S(V_i) शून्य के करीब पहुंच जाता है। हालाँकि, विचलन की परिभाषा से, फ्लक्स से आयतन का अनुपात, ${\frac {\Phi (V_{\text{i}})}{|V_{\text{i}}|}}={\frac {1}{|V_{\text{i}}|}}\iint _{S(V_{\text{i}})}\mathbf {F} \cdot \mathbf {\hat {n}} \;\mathrm {d} S$, नीचे कोष्ठकों में दिया गया हिस्सा सामान्य रूप से गायब नहीं होता है लेकिन विचलन तक पहुंचता है div F जैसे ही मात्रा शून्य के करीब पहुंचती है।

$\iint _{S(V)}\mathbf {F} \cdot \mathbf {\hat {n}} \;\mathrm {d} S=\sum _{V_{\text{i}}\subset V}\left({\frac {1}{|V_{\text{i}}|}}\iint _{S(V_{\text{i}})}\mathbf {F} \cdot \mathbf {\hat {n}} \;\mathrm {d} S\right)|V_{\text{i}}|$

जब तक सदिश क्षेत्र F(x) निरंतर डेरिवेटिव है, ऊपर का योग उस सीमा (गणित) में भी रहता है जब आयतन को असीम रूप से छोटे वेतन वृद्धि में विभाजित किया जाता है

$\iint _{S(V)}\mathbf {F} \cdot \mathbf {\hat {n}} \;\mathrm {d} S=\lim _{|V_{\text{i}}|\to 0}\sum _{V_{\text{i}}\subset V}\left({\frac {1}{|V_{\text{i}}|}}\iint _{S(V_{\text{i}})}\mathbf {F} \cdot \mathbf {\hat {n}} \;\mathrm {d} S\right)|V_{\text{i}}|$

जैसा $|V_{\text{i}}|$ शून्य आयतन तक पहुँचता है, तो यह अतिसूक्ष्म हो जाता है dV, कोष्ठक में भाग विचलन बन जाता है, और योग एक आयतन अभिन्न अंग बन जाता है V

$\;\iint _{S(V)}\mathbf {F} \cdot \mathbf {\hat {n}} \;\mathrm {d} S=\iiint _{V}\operatorname {div} \mathbf {F} \;\mathrm {d} V\;$

चूंकि यह व्युत्पत्ति समन्वय मुक्त है, यह दर्शाता है कि विचलन उपयोग किए गए निर्देशांक पर निर्भर नहीं करता है।

परिणाम

बदल कर F विशिष्ट रूपों के साथ विचलन प्रमेय में, अन्य उपयोगी सर्वसमिकाएँ प्राप्त की जा सकती हैं (cf. सदिश सर्वसमिकाएँ)।

• साथ $\mathbf {F} \rightarrow \mathbf {F} g$ स्केलर फ़ंक्शन के लिए g और एक सदिश क्षेत्र F,

$\iiint _{V}\left[\mathbf {F} \cdot \left(\nabla g\right)+g\left(\nabla \cdot \mathbf {F} \right)\right]\mathrm {d} V=$ File:OiintLaTeX.svg$\scriptstyle S$ $g\mathbf {F} \cdot \mathbf {n} \mathrm {d} S.$

इसका एक खास मामला है $\mathbf {F} =\nabla f$, इस मामले में प्रमेय ग्रीन की सर्वसमिकाओं का आधार है।

• साथ $\mathbf {F} \rightarrow \mathbf {F} \times \mathbf {G}$ दो सदिश क्षेत्रों के लिए F तथा G, कहाँ पे $\times$ एक क्रॉस उत्पाद को दर्शाता है,

$\iiint _{V}\nabla \cdot \left(\mathbf {F} \times \mathbf {G} \right)\mathrm {d} V=\iiint _{V}\left[\mathbf {G} \cdot \left(\nabla \times \mathbf {F} \right)-\mathbf {F} \cdot \left(\nabla \times \mathbf {G} \right)\right]\,\mathrm {d} V=$ File:OiintLaTeX.svg$\scriptstyle S$ $(\mathbf {F} \times \mathbf {G} )\cdot \mathbf {n} \mathrm {d} S.$

• साथ $\mathbf {F} \rightarrow \mathbf {F} \cdot \mathbf {G}$ दो सदिश क्षेत्रों के लिए F तथा G, कहाँ पे $\cdot$ एक डॉट उत्पाद को दर्शाता है,

$\iiint _{V}\nabla \left(\mathbf {F} \cdot \mathbf {G} \right)\mathrm {d} V=\iiint _{V}\left[\mathbf {F} \cdot \left(\nabla \cdot \mathbf {G} \right)+\left(\nabla \cdot \mathbf {F} \right)\cdot \mathbf {G} \right]\,\mathrm {d} V=$ File:OiintLaTeX.svg$\scriptstyle S$ $(\mathbf {F} \cdot \mathbf {G} )\cdot \mathbf {n} \mathrm {d} S.$

• साथ $\mathbf {F} \rightarrow f\mathbf {c}$ स्केलर फ़ंक्शन के लिए  f  और सदिश क्षेत्र c:

$\iiint _{V}\mathbf {c} \cdot \nabla f\,\mathrm {d} V=$ File:OiintLaTeX.svg$\scriptstyle S$ $(\mathbf {c} f)\cdot \mathbf {n} \mathrm {d} S-\iiint _{V}f(\nabla \cdot \mathbf {c} )\,\mathrm {d} V.$

दाईं ओर का अंतिम पद स्थिरांक के लिए ग़ायब हो जाता है $\mathbf {c}$ या कोई विचलन मुक्त (सोलनॉइडल) सदिश क्षेत्र, उदा। चरण परिवर्तन या रासायनिक प्रतिक्रियाओं आदि जैसे स्रोतों या अभिगम के बिना असंपीड्य प्रवाह। विशेष रूप से, लेना $\mathbf {c}$ स्थिर होना:

$\iiint _{V}\nabla f\,\mathrm {d} V=$ File:OiintLaTeX.svg$\scriptstyle S$ $f\mathbf {n} \mathrm {d} S.$

• साथ $\mathbf {F} \rightarrow \mathbf {c} \times \mathbf {F}$ सदिश क्षेत्र के लिए F और निरंतर सदिश सी:

$\iiint _{V}\mathbf {c} \cdot (\nabla \times \mathbf {F} )\,\mathrm {d} V=$ File:OiintLaTeX.svg$\scriptstyle S$ $(\mathbf {F} \times \mathbf {c} )\cdot \mathbf {n} \mathrm {d} S.$

दाहिने हाथ की तरफ ट्रिपल उत्पाद को फिर से व्यवस्थित करके और इंटीग्रल के निरंतर सदिश को निकालकर,

$\iiint _{V}(\nabla \times \mathbf {F} )\,\mathrm {d} V\cdot \mathbf {c} =$ File:OiintLaTeX.svg$\scriptstyle S$ $(\mathrm {d} \mathbf {S} \times \mathbf {F} )\cdot \mathbf {c} .$

अत,

$\iiint _{V}(\nabla \times \mathbf {F} )\,\mathrm {d} V=$ File:OiintLaTeX.svg$\scriptstyle S$ $\mathbf {n} \times \mathbf {F} \mathrm {d} S.$

उदाहरण

File:Vector Field on a Sphere.png

दिखाए गए उदाहरण के अनुरूप सदिश फ़ील्ड। सदिश गोले के अंदर या बाहर इंगित कर सकते हैं।

File:SurfacesWithAndWithoutBoundary.svg

विचलन प्रमेय का उपयोग एक बंद सतह के माध्यम से प्रवाह की गणना करने के लिए किया जा सकता है जो पूरी तरह से मात्रा को घेरता है, जैसे बाईं ओर की कोई भी सतह। इसका उपयोग सीधे सीमाओं के साथ सतहों के माध्यम से प्रवाह की गणना करने के लिए नहीं किया जा सकता है, जैसे कि दाईं ओर। (सतहें नीली हैं, सीमाएँ लाल हैं।)

मान लीजिए हम मूल्यांकन करना चाहते हैं

File:OiintLaTeX.svg$\scriptstyle S$ $\mathbf {F} \cdot \mathbf {n} \,\mathrm {d} S,$

कहाँ पे S द्वारा परिभाषित इकाई क्षेत्र है

$S=\left\{(x,y,z)\in \mathbb {R} ^{3}\ :\ x^{2}+y^{2}+z^{2}=1\right\},$

तथा F सदिश क्षेत्र है

$\mathbf {F} =2x\mathbf {i} +y^{2}\mathbf {j} +z^{2}\mathbf {k} .$

इस इंटीग्रल की सीधी गणना काफी कठिन है, लेकिन हम डायवर्जेंस प्रमेय का उपयोग करके परिणाम की व्युत्पत्ति को सरल बना सकते हैं, क्योंकि डाइवर्जेंस प्रमेय कहता है कि इंटीग्रल इसके बराबर है:

$\iiint _{W}(\nabla \cdot \mathbf {F} )\,\mathrm {d} V=2\iiint _{W}(1+y+z)\,\mathrm {d} V=2\iiint _{W}\mathrm {d} V+2\iiint _{W}y\,\mathrm {d} V+2\iiint _{W}z\,\mathrm {d} V,$

कहाँ पे W यूनिट बॉल है:

$W=\left\{(x,y,z)\in \mathbb {R} ^{3}\ :\ x^{2}+y^{2}+z^{2}\leq 1\right\}.$

समारोह के बाद से y के एक गोलार्द्ध में सकारात्मक है W और नकारात्मक दूसरे में, एक समान और विपरीत तरीके से, इसका कुल अभिन्न अंग W शून्य है। के लिए भी यही सच है z:

$\iiint _{W}y\,\mathrm {d} V=\iiint _{W}z\,\mathrm {d} V=0.$

इसलिए,

File:OiintLaTeX.svg$\scriptstyle S$ $\mathbf {F} \cdot \mathbf {n} \,\mathrm {d} S=2\iiint _{W}\,dV={\frac {8\pi }{3}},$

क्योंकि यूनिट बॉल W मात्रा है 4π/3.

अनुप्रयोग

भौतिक नियमों के विभेदक और अभिन्न रूप

डाइवर्जेंस प्रमेय के परिणामस्वरूप, भौतिक नियमों के एक मेजबान को अंतर रूप (जहां एक मात्रा दूसरे का विचलन है) और एक अभिन्न रूप (जहां एक बंद सतह के माध्यम से एक मात्रा का प्रवाह दूसरे के बराबर होता है) दोनों में लिखा जा सकता है। मात्रा)। गॉस का नियम (इलेक्ट्रोस्टैटिक्स में), चुंबकत्व के लिए गॉस का नियम और गुरुत्वाकर्षण के लिए गॉस का नियम तीन उदाहरण हैं।

निरंतरता समीकरण

Main article: continuity equation

निरंतरता समीकरण विचलन प्रमेय द्वारा एक दूसरे से संबंधित अंतर और अभिन्न रूपों दोनों के साथ कानूनों के अधिक उदाहरण प्रस्तुत करते हैं। द्रव गतिशीलता, विद्युत चुंबकत्व, क्वांटम यांत्रिकी, सापेक्षता सिद्धांत और कई अन्य क्षेत्रों में निरंतरता समीकरण हैं जो द्रव्यमान, संवेग, ऊर्जा, संभाव्यता या अन्य मात्राओं के संरक्षण का वर्णन करते हैं। आम तौर पर, ये समीकरण बताते हैं कि संरक्षित मात्रा के प्रवाह का विचलन उस मात्रा के स्रोतों या अभिगम के वितरण के बराबर होता है। डाइवर्जेंस प्रमेय में कहा गया है कि इस तरह के किसी भी निरंतरता समीकरण को डिफरेंशियल फॉर्म (डाइवर्जेंस के संदर्भ में) और इंटीग्रल फॉर्म (फ्लक्स के संदर्भ में) में लिखा जा सकता है।

उलटा-वर्ग कानून

किसी भी व्युत्क्रम-वर्ग कानून को इसके बजाय गॉस के कानून-प्रकार के रूप में लिखा जा सकता है (ऊपर वर्णित एक अंतर और अभिन्न रूप के साथ)। दो उदाहरण हैं गॉस का नियम | गॉस का नियम (इलेक्ट्रोस्टैटिक्स में), जो व्युत्क्रम-वर्ग कूलम्ब के नियम का अनुसरण करता है, और गुरुत्वाकर्षण के लिए गॉस का नियम | गुरुत्वाकर्षण के लिए गॉस का नियम, जो न्यूटन के सार्वभौमिक गुरुत्वाकर्षण के व्युत्क्रम-वर्ग के नियम से अनुसरण करता है। व्युत्क्रम-वर्ग सूत्रीकरण या इसके विपरीत गॉस के कानून-प्रकार के समीकरण की व्युत्पत्ति दोनों मामलों में बिल्कुल समान है; विवरण के लिए उन लेखों में से कोई भी देखें।

इतिहास

जोसेफ-लुई लाग्रेंज ने 1760 में और फिर से 1811 में अधिक सामान्य शब्दों में, अपने मेकानिक एनालिटिक | मेकानिक एनालिटिक के दूसरे संस्करण में सतह के अभिन्न अंग की धारणा पेश की। द्रव यांत्रिकी पर अपने काम में लैग्रेंज ने सतह के अभिन्न अंग का इस्तेमाल किया। उन्होंने 1762 में विचलन प्रमेय की खोज की। कार्ल फ्रेडरिक गॉस भी 1813 में एक अण्डाकार गोलाकार के गुरुत्वाकर्षण आकर्षण पर काम करते समय सतह के अभिन्न अंग का उपयोग कर रहे थे, जब उन्होंने विचलन प्रमेय के विशेष मामलों को सिद्ध किया।उन्होंने 1833 और 1839 में अतिरिक्त विशेष मामलों को सिद्ध किया। लेकिन यह मिखाइल ओस्ट्रोग्रैडस्की थे, जिन्होंने 1826 में गर्मी के प्रवाह की जांच के हिस्से के रूप में सामान्य प्रमेय का पहला प्रमाण दिया था। 1828 में जॉर्ज ग्रीन (गणितज्ञ) द्वारा बिजली और चुंबकत्व के सिद्धांतों के गणितीय विश्लेषण के अनुप्रयोग पर एक निबंध में विशेष मामलों को सिद्ध किया गया था।लोच पर एक पेपर में 1824 में सिमोन डेनिस पोइसन, और 1828 में फ़्लोटिंग बॉडी पर अपने काम में पियरे फ़्रेडरिक सर्रस | फ़्रेडरिक सर्रस।

काम किए गए उदाहरण

उदाहरण 1

एक क्षेत्र के लिए अपसरण प्रमेय के तलीय संस्करण को सत्यापित करने के लिए $R$:

$R=\left\{(x,y)\in \mathbb {R} ^{2}\ :\ x^{2}+y^{2}\leq 1\right\},$

और सदिश क्षेत्र:

$\mathbf {F} (x,y)=2y\mathbf {i} +5x\mathbf {j} .$

की सीमा $R$ यूनिट सर्कल है, $C$, जिसे पैरामीट्रिक रूप से दर्शाया जा सकता है:

$x=\cos(s),\quad y=\sin(s)$

ऐसा है कि $0\leq s\leq 2\pi$ कहाँ पे $s$ इकाई बिंदु से लंबाई चाप है $s=0$ मुद्दे पर $P$ पर $C$. फिर एक सदिश समीकरण $C$ है

$C(s)=\cos(s)\mathbf {i} +\sin(s)\mathbf {j} .$

एक बिंदु पर $P$ पर $C$:

$P=(\cos(s),\,\sin(s))\,\Rightarrow \,\mathbf {F} =2\sin(s)\mathbf {i} +5\cos(s)\mathbf {j} .$

इसलिए,

${\begin{aligned}\oint _{C}\mathbf {F} \cdot \mathbf {n} \,\mathrm {d} s&=\int _{0}^{2\pi }(2\sin(s)\mathbf {i} +5\cos(s)\mathbf {j} )\cdot (\cos(s)\mathbf {i} +\sin(s)\mathbf {j} )\,\mathrm {d} s\\&=\int _{0}^{2\pi }(2\sin(s)\cos(s)+5\sin(s)\cos(s))\,\mathrm {d} s\\&=7\int _{0}^{2\pi }\sin(s)\cos(s)\,\mathrm {d} s\\&=0.\end{aligned}}$

इसलिये $M=2y$, हम मूल्यांकन कर सकते हैं ${\frac {\partial M}{\partial x}}=0$, और क्योंकि $N=5x$, ${\frac {\partial N}{\partial y}}=0$. इस प्रकार

$\iint _{R}\,\mathbf {\nabla } \cdot \mathbf {F} \,\mathrm {d} A=\iint _{R}\left({\frac {\partial M}{\partial x}}+{\frac {\partial N}{\partial y}}\right)\,\mathrm {d} A=0.$

उदाहरण 2

मान लीजिए कि हम द्वारा परिभाषित निम्नलिखित सदिश क्षेत्र के प्रवाह का मूल्यांकन करना चाहते हैं $\mathbf {F} =2x^{2}{\textbf {i}}+2y^{2}{\textbf {j}}+2z^{2}{\textbf {k}}$ निम्नलिखित असमानताओं से घिरा:

$\left\{0\leq x\leq 3\right\}\left\{-2\leq y\leq 2\right\}\left\{0\leq z\leq 2\pi \right\}$

विचलन प्रमेय द्वारा,

$\iiint _{V}\left(\mathbf {\nabla } \cdot \mathbf {F} \right)\mathrm {d} V=$ File:OiintLaTeX.svg$\scriptstyle S$ $(\mathbf {F} \cdot \mathbf {n} )\,\mathrm {d} S.$

हमें अब के विचलन को निर्धारित करने की आवश्यकता है ${\textbf {F}}$. यदि $\mathbf {F}$ एक त्रि-आयामी सदिश क्षेत्र है, फिर का विचलन ${\textbf {F}}$ द्वारा दिया गया है ${\textstyle \nabla \cdot {\textbf {F}}=\left({\frac {\partial }{\partial x}}{\textbf {i}}+{\frac {\partial }{\partial y}}{\textbf {j}}+{\frac {\partial }{\partial z}}{\textbf {k}}\right)\cdot {\textbf {F}}}$.

इस प्रकार, हम निम्नलिखित फ्लक्स इंटीग्रल सेट कर सकते हैं $I=$ File:OiintLaTeX.svg${\scriptstyle S}$ $\mathbf {F} \cdot \mathbf {n} \,\mathrm {d} S,$ निम्नलिखित नुसार:

${\begin{aligned}I&=\iiint _{V}\nabla \cdot \mathbf {F} \,\mathrm {d} V\\[6pt]&=\iiint _{V}\left({\frac {\partial \mathbf {F_{x}} }{\partial x}}+{\frac {\partial \mathbf {F_{y}} }{\partial y}}+{\frac {\partial \mathbf {F_{z}} }{\partial z}}\right)\mathrm {d} V\\[6pt]&=\iiint _{V}(4x+4y+4z)\,\mathrm {d} V\\[6pt]&=\int _{0}^{3}\int _{-2}^{2}\int _{0}^{2\pi }(4x+4y+4z)\,\mathrm {d} V\end{aligned}}$

अब जबकि हमने समाकल स्थापित कर लिया है, हम इसका मूल्यांकन कर सकते हैं।

${\begin{aligned}\int _{0}^{3}\int _{-2}^{2}\int _{0}^{2\pi }(4x+4y+4z)\,\mathrm {d} V&=\int _{-2}^{2}\int _{0}^{2\pi }(12y+12z+18)\,\mathrm {d} y\,\mathrm {d} z\\[6pt]&=\int _{0}^{2\pi }24(2z+3)\,\mathrm {d} z\\[6pt]&=48\pi (2\pi +3)\end{aligned}}$

सामान्यीकरण

एकाधिक आयाम

समान करने के लिए कोई सामान्य स्टोक्स प्रमेय का उपयोग कर सकता है nएक सदिश क्षेत्र के विचलन का आयामी आयतन अभिन्न F एक क्षेत्र के ऊपर U को (n − 1)-आयामी सतह का अभिन्न अंग F की सीमा के ऊपर U:

$\underbrace {\int \cdots \int _{U}} _{n}\nabla \cdot \mathbf {F} \,\mathrm {d} V=\underbrace {\oint _{}\cdots \oint _{\partial U}} _{n-1}\mathbf {F} \cdot \mathbf {n} \,\mathrm {d} S$

इस समीकरण को विचलन प्रमेय के रूप में भी जाना जाता है।

कब n = 2, यह ग्रीन के प्रमेय के बराबर है।

कब n = 1, यह कैलकुलस के मौलिक प्रमेय, भाग 2 तक कम हो जाता है।

टेन्सर क्षेत्र

Main article: Tensor field

आइंस्टीन संकेतन में प्रमेय लिखना:

$\iiint _{V}{\dfrac {\partial \mathbf {F} _{i}}{\partial x_{i}}}\mathrm {d} V=$ File:OiintLaTeX.svg$\scriptstyle S$ $\mathbf {F} _{i}n_{i}\,\mathrm {d} S$

सदिश क्षेत्र की जगह F रैंक के साथ-n टेंसर क्षेत्र T, इसे सामान्यीकृत किया जा सकता है:

$\iiint _{V}{\dfrac {\partial T_{i_{1}i_{2}\cdots i_{q}\cdots i_{n}}}{\partial x_{i_{q}}}}\mathrm {d} V=$ File:OiintLaTeX.svg$\scriptstyle S$ $T_{i_{1}i_{2}\cdots i_{q}\cdots i_{n}}n_{i_{q}}\,\mathrm {d} S.$

जहां प्रत्येक तरफ कम से कम एक इंडेक्स के लिए टेन्सर संकुचन होता है। प्रमेय का यह रूप अभी भी 3डी में है, प्रत्येक सूचकांक मान 1, 2 और 3 लेता है। इसे उच्च (या निम्न) आयामों के लिए और भी सामान्यीकृत किया जा सकता है (उदाहरण के लिए सामान्य सापेक्षता में 4डी अंतरिक्ष समय के लिए)).

यह भी देखें

• केल्विन-स्टोक्स प्रमेय

इस पेज में लापता आंतरिक लिंक की सूची

• सदिश पथरी
• फ्लक्स
• सामान्यकरण
• सदिश क्षेत्र
• मात्रा अभिन्न
• द्रव गतिविज्ञान
• भौतिक विज्ञान
• सौम्य सतह
• त्रि-आयामी स्थान
• खंड अनुसार
• सामान्य (ज्यामिति)
• समर्थन (गणित)
• सदिश क्षेत्रों के लिए सीधा प्रमेय
• सदिश पहचान
• सातत्य समीकरण
• व्युत्क्रम वर्ग नियम
• कैलकुलस का मौलिक प्रमेय
• टेंसर संकुचन

बाहरी संबंध

• "Ostrogradski formula", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Differential Operators and the Divergence Theorem at MathPages
• The Divergence (Gauss) Theorem by Nick Bykov, Wolfram Demonstrations Project.
• Weisstein, Eric W. "Divergence Theorem". MathWorld. – This article was originally based on the GFDL article from PlanetMath at https://web.archive.org/web/20021029094728/http://planetmath.org/encyclopedia/Divergence.html