प्रवाह (गणित)

For flows in graph theory, see flow network.

एक लंगर के अंतर समीकरण द्वारा निर्दिष्ट चरण स्थान में प्रवाह। क्षैतिज अक्ष पर, पेंडुलम की स्थिति, और ऊर्ध्वाधर पर इसका वेग।

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

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

औपचारिक परिभाषा

समुच्चय X पर प्रवाह X वास्तविक संख्याओं के योगात्मक समूह की एक समूह क्रिया हैI अधिक स्पष्ट रूप से, प्रवाह एक प्रतिचित्रण (मैपिंग_गणित) है

$\varphi :X\times \mathbb {R} \to X$

ऐसा कि, सभी के लिए x ∈ X और सभी वास्तविक संख्याएँ s और t,

${\begin{aligned}&\varphi (x,0)=x;\\&\varphi (\varphi (x,t),s)=\varphi (x,s+t).\end{aligned}}$

लिखने का रिवाज है φ^t(x) के बजाय φ(x, t), ताकि उपरोक्त समीकरणों को व्यक्त किया जा सके $\varphi ^{0}={\text{Id}}$ (पहचान समारोह) और $\varphi ^{s}\circ \varphi ^{t}=\varphi ^{s+t}$ (समूह कानून)। फिर, सभी के लिए $t\in \mathbb {R} ,$ मानचित्रण $\varphi ^{t}:X\to X$ व्युत्क्रम के साथ एक आक्षेप है $\varphi ^{-t}:X\to X.$ यह उपरोक्त परिभाषा और वास्तविक पैरामीटर से अनुसरण करता है t कार्य पुनरावृत्ति के रूप में सामान्यीकृत कार्यात्मक शक्ति के रूप में लिया जा सकता है।

प्रवाह को आमतौर पर समुच्चय पर प्रस्तुत गणितीय संरचनाओं के साथ संगत होने की आवश्यकता होती है X. विशेष रूप से, अगर X तब एक टोपोलॉजिकल स्पेस से लैस है φ आमतौर पर निरंतर कार्य करने की आवश्यकता होती है। अगर X एक अलग करने योग्य कई गुना से लैस है, फिर φ आमतौर पर अलग-अलग फ़ंक्शन होने की आवश्यकता होती है। इन मामलों में प्रवाह क्रमशः होमोमोर्फिज्म और डिफियोमोर्फिज्म का एक-पैरामीटर समूह बनाता है।

कुछ स्थितियों में कोई भी विचार कर सकता हैlocal flowएस, जो केवल कुछ सबसमुच्चय में परिभाषित हैं

$\mathrm {dom} (\varphi )=\{(x,t)\ |\ t\in [a_{x},b_{x}],\ a_{x}<0<b_{x},\ x\in X\}\subset X\times \mathbb {R}$

इसको कॉल किया गयाflow domainका φ. यह अक्सर वेक्टर फ़ील्ड # फ्लो कर्व्स के मामले में होता है।

वैकल्पिक अंकन

अभियांत्रिकी, भौतिकी और अंतर समीकरणों के अध्ययन सहित कई क्षेत्रों में यह बहुत आम है, एक संकेतन का उपयोग करने के लिए जो प्रवाह को अंतर्निहित बनाता है। इस प्रकार, x(t) के लिए लिखा गया है $\varphi ^{t}(x_{0}),$ और कोई कह सकता है कि चर x समय पर निर्भर करता है t और प्रारंभिक स्थिति x = x₀. उदाहरण नीचे दिए गए हैं।

वेक्टर फील्ड # फ्लो कर्व्स के मामले में V एक चिकने मैनिफोल्ड पर X, प्रवाह को अक्सर इस तरह से निरूपित किया जाता है कि इसके जनरेटर को स्पष्ट किया जाता है। उदाहरण के लिए,

$\Phi _{V}\colon X\times \mathbb {R} \to X;\qquad (x,t)\mapsto \Phi _{V}^{t}(x).$

परिक्रमा

दिया गया x में X, समुच्चय $\{\varphi (x,t):t\in \mathbb {R} \}$ की कक्षा (गतिकी) कहलाती है x अंतर्गत φ. अनौपचारिक रूप से, इसे एक कण के प्रक्षेपवक्र के रूप में माना जा सकता है जो प्रारंभ में स्थित था x. यदि प्रवाह एक वेक्टर क्षेत्र द्वारा उत्पन्न होता है, तो इसकी कक्षाएँ इसके अभिन्न वक्रों की छवियां होती हैं।

उदाहरण

बीजगणितीय समीकरण

होने देना $f:\mathbb {R} \to X$ एक समय-निर्भर प्रक्षेपवक्र हो जो एक विशेषण कार्य है, अर्थात, गैर-आवधिक कार्य। तब एक प्रवाह द्वारा परिभाषित किया जा सकता है

$\varphi (x,t)=f(t+f^{-1}(x)).$

साधारण अंतर समीकरणों की स्वायत्त प्रणाली

होने देना ${\boldsymbol {F}}:\mathbb {R} ^{n}\to \mathbb {R} ^{n}$ एक (समय-स्वतंत्र) वेक्टर क्षेत्र बनें और ${\boldsymbol {x}}:\mathbb {R} \to \mathbb {R} ^{n}$ प्रारंभिक मूल्य समस्या का समाधान

${\dot {\boldsymbol {x}}}(t)={\boldsymbol {F}}({\boldsymbol {x}}(t)),\qquad {\boldsymbol {x}}(0)={\boldsymbol {x}}_{0}.$

तब $\varphi ({\boldsymbol {x}}_{0},t)={\boldsymbol {x}}(t)$ वेक्टर क्षेत्र का प्रवाह है F. यह एक अच्छी तरह से परिभाषित स्थानीय प्रवाह है बशर्ते वेक्टर क्षेत्र

${\boldsymbol {F}}:\mathbb {R} ^{n}\to \mathbb {R} ^{n}$ लिपशिट्ज-निरंतर है। तब $\varphi :\mathbb {R} ^{n}\times \mathbb {R} \to \mathbb {R} ^{n}$ लिपशिट्ज-निरंतर भी है जहां भी परिभाषित किया गया है। सामान्य तौर पर यह दिखाना कठिन हो सकता है कि प्रवाह φ विश्व स्तर पर परिभाषित है, लेकिन एक साधारण मानदंड यह है कि वेक्टर क्षेत्र F संक्षिप्त रूप से समर्थित है।

समय पर निर्भर साधारण अंतर समीकरण

समय-निर्भर वेक्टर फ़ील्ड के मामले में ${\boldsymbol {F}}:\mathbb {R} ^{n}\times \mathbb {R} \to \mathbb {R} ^{n}$, एक दर्शाता है $\varphi ^{t,t_{0}}({\boldsymbol {x}}_{0})={\boldsymbol {x}}(t+t_{0}),$ कहाँ ${\boldsymbol {x}}:\mathbb {R} \to \mathbb {R} ^{n}$ का समाधान है

${\dot {\boldsymbol {x}}}(t)={\boldsymbol {F}}({\boldsymbol {x}}(t),t),\qquad {\boldsymbol {x}}(t_{0})={\boldsymbol {x}}_{0}.$

तब $\varphi ^{t,t_{0}}({\boldsymbol {x}}_{0})$ का समय-निर्भर प्रवाह है F. उपरोक्त परिभाषा के अनुसार यह प्रवाह नहीं है, लेकिन इसके तर्कों को पुनर्व्यवस्थित करके इसे आसानी से एक के रूप में देखा जा सकता है। अर्थात्, मानचित्रण

$\varphi \colon (\mathbb {R} ^{n}\times \mathbb {R} )\times \mathbb {R} \to \mathbb {R} ^{n}\times \mathbb {R} ;\qquad \varphi (({\boldsymbol {x}}_{0},t_{0}),t)=(\varphi ^{t,t_{0}}({\boldsymbol {x}}_{0}),t+t_{0})$

वास्तव में अंतिम चर के लिए समूह कानून को संतुष्ट करता है:

${\begin{aligned}\varphi (\varphi (({\boldsymbol {x}}_{0},t_{0}),t),s)&=\varphi ((\varphi ^{t,t_{0}}({\boldsymbol {x}}_{0}),t+t_{0}),s)\\&=(\varphi ^{s,t+t_{0}}(\varphi ^{t,t_{0}}({\boldsymbol {x}}_{0})),s+t+t_{0})\\&=(\varphi ^{s,t+t_{0}}({\boldsymbol {x}}(t+t_{0})),s+t+t_{0})\\&=({\boldsymbol {x}}(s+t+t_{0}),s+t+t_{0})\\&=(\varphi ^{s+t,t_{0}}({\boldsymbol {x}}_{0}),s+t+t_{0})\\&=\varphi (({\boldsymbol {x}}_{0},t_{0}),s+t).\end{aligned}}$

निम्नलिखित ट्रिक द्वारा समय-स्वतंत्र लोगों के विशेष मामलों के रूप में सदिश क्षेत्रों के समय-निर्भर प्रवाह को देख सकते हैं। परिभाषित करना

${\boldsymbol {G}}({\boldsymbol {x}},t):=({\boldsymbol {F}}({\boldsymbol {x}},t),1),\qquad {\boldsymbol {y}}(t):=({\boldsymbol {x}}(t+t_{0}),t+t_{0}).$

तब y(t) समय-स्वतंत्र प्रारंभिक मूल्य समस्या का समाधान है

${\dot {\boldsymbol {y}}}(s)={\boldsymbol {G}}({\boldsymbol {y}}(s)),\qquad {\boldsymbol {y}}(0)=({\boldsymbol {x}}_{0},t_{0})$

अगर और केवल अगर x(t) मूल समय-निर्भर प्रारंभिक मूल्य समस्या का समाधान है। इसके अलावा, फिर मैपिंग φ बिल्कुल समय-स्वतंत्र वेक्टर क्षेत्र का प्रवाह है G.

=== कई गुना === पर वेक्टर फ़ील्ड का प्रवाह टाइम-इंडिपेंडेंट और टाइम-डिपेंडेंट वेक्टर फील्ड्स के प्रवाह को स्मूथ मैनिफोल्ड्स पर परिभाषित किया गया है, ठीक उसी तरह जैसे वे यूक्लिडियन स्पेस पर परिभाषित हैं। $\mathbb {R} ^{n}$ और उनका स्थानीय व्यवहार समान है। हालांकि, एक चिकनी मैनिफोल्ड की वैश्विक टोपोलॉजिकल संरचना दृढ़ता से प्रकट होती है कि यह किस प्रकार के वैश्विक वेक्टर क्षेत्रों का समर्थन कर सकता है, और चिकनी मैनिफोल्ड पर वेक्टर क्षेत्रों का प्रवाह वास्तव में अंतर टोपोलॉजी में एक महत्वपूर्ण उपकरण है। डायनेमिक सिस्टम में अधिकांश अध्ययन स्मूथ मैनिफोल्ड्स पर किए जाते हैं, जिन्हें अनुप्रयोगों में पैरामीटर स्पेस के रूप में माना जाता है।

औपचारिक रूप से: चलो ${\mathcal {M}}$ एक अलग करने योग्य कई गुना हो। होने देना $\mathrm {T} _{p}{\mathcal {M}}$ एक बिंदु के स्पर्शरेखा स्थान को निरूपित करें $p\in {\mathcal {M}}.$ होने देना $\mathrm {T} {\mathcal {M}}$ पूर्ण स्पर्शरेखा कई गुना हो; वह है, $\mathrm {T} {\mathcal {M}}=\cup _{p\in {\mathcal {M}}}\mathrm {T} _{p}{\mathcal {M}}.$ होने देना <गणित प्रदर्शन = 'ब्लॉक'>

   f : \R\times\mathcal{M} \to \mathrm{T}\mathcal{M}

</ गणित> एक समय-निर्भर सदिश क्षेत्र हो गणित>\mathcal{M}</math>; वह है, f एक चिकना नक्शा है जैसे कि प्रत्येक के लिए $t\in \mathbb {R}$ और $p\in {\mathcal {M}}$, किसी के पास $f(t,p)\in \mathrm {T} _{p}{\mathcal {M}};$ वह है, नक्शा $x\mapsto f(t,x)$ प्रत्येक बिंदु को अपने स्वयं के स्पर्शरेखा स्थान के एक तत्व पर मैप करता है। उपयुक्त अंतराल के लिए $I\subseteq \mathbb {R}$ युक्त 0, का प्रवाह f एक कार्य है $\phi :I\times {\mathcal {M}}\to {\mathcal {M}}$ जो संतुष्ट करता है <गणित प्रदर्शन = 'ब्लॉक'> \शुरू {संरेखित करें}

   \phi(0, x_0) &= x_0&\forall x_0\in\mathcal{M} \\
   \frac{\mathrm{d}}{\mathrm{d}t}\Big|_{t=t_0}\phi(t,x_0) &= f(t_0,\phi(t_0,x_0))&\forall x_0\in\mathcal{M},t_0\in I

\ अंत {संरेखित करें} </ गणित>

उष्मा समीकरण के हल

होने देना Ω का एक उपडोमेन (बाध्य या नहीं) हो $\mathbb {R} ^{n}$ (साथ n पूर्णांक)। द्वारा निरूपित करें Γ इसकी सीमा (चिकनी मान ली गई)। निम्नलिखित ताप समीकरण पर विचार करें Ω × (0, T), के लिए T > 0,

${\begin{array}{rcll}u_{t}-\Delta u&=&0&{\mbox{ in }}\Omega \times (0,T),\\u&=&0&{\mbox{ on }}\Gamma \times (0,T),\end{array}}$

निम्नलिखित प्रारंभिक सीमा स्थिति के साथ u(0) = u⁰ में Ω .

समीकरण u = 0 पर Γ × (0, T) सजातीय डिरिचलेट सीमा स्थिति से मेल खाती है। इस समस्या के लिए गणितीय समुच्चयिंग सेमीग्रुप दृष्टिकोण हो सकती है। इस टूल का उपयोग करने के लिए, हम अनबाउंड ऑपरेटर का परिचय देते हैं Δ_D पर परिभाषित $L^{2}(\Omega )$ इसके डोमेन द्वारा

$D(\Delta _{D})=H^{2}(\Omega )\cap H_{0}^{1}(\Omega )$ (क्लासिकल सोबोलेव स्पेस # सोबोलेव स्पेस पूर्णांक के साथ देखें $H^{k}(\Omega )=W^{k,2}(\Omega )$ और

$H_{0}^{1}(\Omega )={\overline {C_{0}^{\infty }(\Omega )}}^{H^{1}(\Omega )}$ में कॉम्पैक्ट सपोर्ट के साथ असीम रूप से अलग-अलग कार्यों का बंद होना है Ω के लिए $H^{1}(\Omega )-$मानदंड)।

किसी के लिए $v\in D(\Delta _{D})$, अपने पास

$\Delta _{D}v=\Delta v=\sum _{i=1}^{n}{\frac {\partial ^{2}}{\partial x_{i}^{2}}}v~.$

इस संकारक के साथ ऊष्मा समीकरण बन जाता है $u'(t)=\Delta _{D}u(t)$ और u(0) = u⁰. इस प्रकार, इस समीकरण से संबंधित प्रवाह है (ऊपर नोटेशन देखें)

$\varphi (u^{0},t)={\mbox{e}}^{t\Delta _{D}}u^{0},$

कहाँ exp(tΔ_D) द्वारा उत्पन्न (विश्लेषणात्मक) अर्धसमूह है Δ_D.

तरंग समीकरण के समाधान

दोबारा, चलो Ω का एक उपडोमेन (बाध्य या नहीं) हो $\mathbb {R} ^{n}$ (साथ n पूर्णांक)। हम द्वारा निरूपित करते हैं Γ इसकी सीमा (चिकनी मान ली गई)। निम्नलिखित तरंग समीकरण पर विचार करें $\Omega \times (0,T)$ (के लिए T > 0),

${\begin{array}{rcll}u_{tt}-\Delta u&=&0&{\mbox{ in }}\Omega \times (0,T),\\u&=&0&{\mbox{ on }}\Gamma \times (0,T),\end{array}}$

निम्नलिखित प्रारंभिक स्थिति के साथ u(0) = u^1,0 में Ω और $u_{t}(0)=u^{2,0}{\mbox{ in }}\Omega .$ उपरोक्त हीट समीकरण के मामले में समान सेमीग्रुप दृष्टिकोण का उपयोग करना। हम निम्नलिखित अनबाउंड ऑपरेटर को पेश करके तरंग समीकरण को समय आंशिक अंतर समीकरण में पहले क्रम के रूप में लिखते हैं,

${\mathcal {A}}=\left({\begin{array}{cc}0&Id\\\Delta _{D}&0\end{array}}\right)$

डोमेन के साथ $D({\mathcal {A}})=H^{2}(\Omega )\cap H_{0}^{1}(\Omega )\times H_{0}^{1}(\Omega )$ पर $H=H_{0}^{1}(\Omega )\times L^{2}(\Omega )$ (परिचालक Δ_D पिछले उदाहरण में परिभाषित किया गया है)।

हम कॉलम वैक्टर का परिचय देते हैं

$U=\left({\begin{array}{c}u^{1}\\u^{2}\end{array}}\right)$ (कहाँ $u^{1}=u$ और $u^{2}=u_{t}$) और

$U^{0}=\left({\begin{array}{c}u^{1,0}\\u^{2,0}\end{array}}\right).$

इन धारणाओं से तरंग समीकरण बन जाता है $U'(t)={\mathcal {A}}U(t)$ और U(0) = U⁰.

इस प्रकार, इस समीकरण के अनुरूप प्रवाह है

$\varphi (U^{0},t)={\mbox{e}}^{t{\mathcal {A}}}U^{0}$

कहाँ ${\mbox{e}}^{t{\mathcal {A}}}$ द्वारा उत्पन्न (एकात्मक) अर्धसमूह है ${\mathcal {A}}.$

बरनौली प्रवाह

एर्गोडिक डायनेमिक सिस्टम, यानी यादृच्छिकता प्रदर्शित करने वाली प्रणालियाँ, प्रवाह को भी प्रदर्शित करती हैं। इनमें से सबसे प्रसिद्ध शायद बरनौली प्रवाह है। ऑर्नस्टीन समरूपता प्रमेय कहता है कि, किसी दिए गए कोलमोगोरोव एन्ट्रापी के लिए H, एक प्रवाह मौजूद है φ(x, t), बर्नौली प्रवाह कहा जाता है, जैसे समय पर प्रवाह t = 1, अर्थात। φ(x, 1), बरनौली पारी है।

इसके अलावा, यह प्रवाह अद्वितीय है, समय के निरंतर पुनर्विक्रय तक। यानी अगर ψ(x, t), उसी एंट्रॉपी के साथ एक और प्रवाह है, फिर ψ(x, t) = φ(x, t), कुछ स्थिर के लिए c. यहाँ विशिष्टता और समरूपता की धारणा गतिशील प्रणालियों के समरूपतावाद की है। सिनाई के बिलियर्ड्स और एनोसोव प्रवाह सहित कई गतिशील प्रणालियां बर्नौली शिफ्टों के लिए आइसोमॉर्फिक हैं।

यह भी देखें

• हाबिल समीकरण
• पुनरावृत्त समारोह
• श्रोडर का समीकरण
• विश्लेषणात्मक कार्यों की अनंत रचनाएँ

संदर्भ

• D.V. Anosov (2001) [1994], "Continuous flow", Encyclopedia of Mathematics, EMS Press
• D.V. Anosov (2001) [1994], "Measureable flow", Encyclopedia of Mathematics, EMS Press
• D.V. Anosov (2001) [1994], "Special flow", Encyclopedia of Mathematics, EMS Press
• This article incorporates material from Flow on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.