Difference between revisions of "विभेदक ऑपरेटर"
m (added Category:Vigyan Ready using HotCat) |
|||
(4 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Typically linear operator defined in terms of differentiation of functions}} | {{Short description|Typically linear operator defined in terms of differentiation of functions}} | ||
[[Image:Laplace's equation on an annulus.svg|right|thumb|300px| | [[Image:Laplace's equation on an annulus.svg|right|thumb|300px|वलय पर परिभाषित हार्मोनिक फलन। हार्मोनिक फलन वास्तव में वे फलन होते हैं जो लाप्लास संकारक के कर्नेल में स्थित होते हैं, जो एक महत्वपूर्ण अवकल संकारक है।]]गणित में, अवकल संकारक एक [[ऑपरेटर (गणित)|संकारक]] होता है जिसे [[यौगिक|अवकल]] संकारक के फलन के रूप में परिभाषित किया जाता है। यह सहायक है, पहले अंकन के रूप में, अवकलन को एक संक्षेप संकारक के रूप में माना जाता है जो फलन को स्वीकार करता है और एक अन्य फलन ([[कंप्यूटर विज्ञान]] में उच्च-क्रम फलन की शैली में) देता है। | ||
यह लेख मुख्य रूप से [[रैखिक नक्शा|रैखिक]] अवकल संकारकों पर विचार करता है, जो कि सबसे सामान्य प्रकार हैं। हालांकि, अरैखिक अवकल संकारक भी उपस्थित हैं, जैसे [[श्वार्जियन व्युत्पन्न]]। | यह लेख मुख्य रूप से [[रैखिक नक्शा|रैखिक]] अवकल संकारकों पर विचार करता है, जो कि सबसे सामान्य प्रकार हैं। हालांकि, अरैखिक अवकल संकारक भी उपस्थित हैं, जैसे [[श्वार्जियन व्युत्पन्न]]। | ||
== परिभाषा == | == परिभाषा == | ||
क्रम-<math>m</math> रैखिक अवकल संकारक [[समारोह स्थान|फलन स्थान]] <math>\mathcal{F}_1</math> से दूसरे फलन स्थान <math>\mathcal{F}_2</math> तक का मानचित्र <math>A</math> है जिसे इस प्रकार लिखा जा सकता है-<math display="block">A = \sum_{|\alpha|\le m}a_\alpha(x) D^\alpha\ ,</math>जहाँ <math>\alpha = (\alpha_1,\alpha_2,\cdots,\alpha_n)</math> गैर-ऋणात्मक [[पूर्णांक|पूर्णांकों]] का बहु-सूचकांक है, <math>|\alpha| = \alpha_1 + \alpha_2 + \cdots + \alpha_n</math> और प्रत्येक अल्फ़ा के लिए, <math>\alpha</math>, <math>a_\alpha(x)</math> ''n''-आयामी स्थान में कुछ खुले क्षेत्र पर एक फलन है।संकारक <math>D^\alpha</math> की व्याख्या इस प्रकार की जाती है<math display="block">D^\alpha = \frac{\partial^{|\alpha|}}{\partial x_1^{\alpha_1}\partial x_2^{\alpha_2}\cdots\partial x_n^{\alpha_n}}</math>इस प्रकार फलन <math>f \in \mathcal{F}_1</math> के लिए-<math display="block"> A f = \sum_{|\alpha|\le m}a_\alpha(x) \frac{\partial^{|\alpha|}f}{\partial x_1^{\alpha_1}\partial x_2^{\alpha_2}\cdots\partial x_n^{\alpha_n}}</math>दो फलनों <math>D(g,f)</math> पर काम करने वाले अवकल संकारक को द्विविभेद संकारक भी कहा जाता है। | क्रम-<math>m</math> रैखिक अवकल संकारक [[समारोह स्थान|फलन स्थान]] <math>\mathcal{F}_1</math> से दूसरे फलन स्थान <math>\mathcal{F}_2</math> तक का मानचित्र <math>A</math> है जिसे इस प्रकार लिखा जा सकता है-<math display="block">A = \sum_{|\alpha|\le m}a_\alpha(x) D^\alpha\ ,</math>जहाँ <math>\alpha = (\alpha_1,\alpha_2,\cdots,\alpha_n)</math> गैर-ऋणात्मक [[पूर्णांक|पूर्णांकों]] का बहु-सूचकांक है, <math>|\alpha| = \alpha_1 + \alpha_2 + \cdots + \alpha_n</math> और प्रत्येक अल्फ़ा के लिए, <math>\alpha</math>, <math>a_\alpha(x)</math> ''n''-आयामी स्थान में कुछ खुले क्षेत्र पर एक फलन है।संकारक <math>D^\alpha</math> की व्याख्या इस प्रकार की जाती है<math display="block">D^\alpha = \frac{\partial^{|\alpha|}}{\partial x_1^{\alpha_1}\partial x_2^{\alpha_2}\cdots\partial x_n^{\alpha_n}}</math>इस प्रकार फलन <math>f \in \mathcal{F}_1</math> के लिए-<math display="block"> A f = \sum_{|\alpha|\le m}a_\alpha(x) \frac{\partial^{|\alpha|}f}{\partial x_1^{\alpha_1}\partial x_2^{\alpha_2}\cdots\partial x_n^{\alpha_n}}</math>दो फलनों <math>D(g,f)</math> पर काम करने वाले अवकल संकारक को द्विविभेद संकारक भी कहा जाता है। | ||
Line 32: | Line 32: | ||
अन्य अवकल संकारक Θ संकारक या [[थीटा ऑपरेटर|थीटा संकारक]] है, जिसे परिभाषित किया गया है<ref>{{cite web| url=http://mathworld.wolfram.com/ThetaOperator.html|title=Theta Operator| author=E. W. Weisstein|access-date=2009-06-12}}</ref> | अन्य अवकल संकारक Θ संकारक या [[थीटा ऑपरेटर|थीटा संकारक]] है, जिसे परिभाषित किया गया है<ref>{{cite web| url=http://mathworld.wolfram.com/ThetaOperator.html|title=Theta Operator| author=E. W. Weisstein|access-date=2009-06-12}}</ref> | ||
:<math>\Theta = z {d \over dz}.</math> | :<math>\Theta = z {d \over dz}.</math> | ||
इसे कभी-कभी एकरूपता संकारक भी कहा जाता है, क्योंकि इसके [[eigenfunction| | इसे कभी-कभी एकरूपता संकारक भी कहा जाता है, क्योंकि इसके [[eigenfunction|अभिलक्षणिक फलन (आइगेन फंक्शन)]] ''z'' में [[एकपद]] हैं-<math display="block">\Theta (z^k) = k z^k,\quad k=0,1,2,\dots </math>''n'' चरों में समरूपता संकारक द्वारा दिया गया है<math display="block">\Theta = \sum_{k=1}^n x_k \frac{\partial}{\partial x_k}.</math>जैसा कि एक चर में है, Θ की [[egenspace|अभिलक्षणिक समष्टियां]] समघात फलनों का स्थान हैं। (यूलर की समघात फलन प्रमेय) | ||
लिखित रूप में, सामान्य गणितीय अभिसमय का पालन करते हुए, अवकल संकारक के तर्क को प्रायः संकारक के स्वयं के दाहिनी ओर रखा जाता है। कभी-कभी एक वैकल्पिक संकेतन का उपयोग किया जाता है- संकारक के बाईं ओर और संकारक के दाईं ओर फलन पर संकारक को लागू करने का परिणाम, और अवकल संकारक को दोनों पक्षों के फलनों में लागू करने पर प्राप्त अंतर को तीर द्वारा निम्नानुसार दर्शाया गया है- | लिखित रूप में, सामान्य गणितीय अभिसमय का पालन करते हुए, अवकल संकारक के तर्क को प्रायः संकारक के स्वयं के दाहिनी ओर रखा जाता है। कभी-कभी एक वैकल्पिक संकेतन का उपयोग किया जाता है- संकारक के बाईं ओर और संकारक के दाईं ओर फलन पर संकारक को लागू करने का परिणाम, और अवकल संकारक को दोनों पक्षों के फलनों में लागू करने पर प्राप्त अंतर को तीर द्वारा निम्नानुसार दर्शाया गया है- | ||
Line 44: | Line 43: | ||
{{Main|डेल}} | {{Main|डेल}} | ||
अवकल समीकरण डेल, जिसे नब्ला भी कहा जाता है, एक महत्वपूर्ण [[यूक्लिडियन वेक्टर| | अवकल समीकरण डेल, जिसे नब्ला भी कहा जाता है, एक महत्वपूर्ण [[यूक्लिडियन वेक्टर|सदिश]] अवकल समीकरण है। यह भौतिकी में प्रायः मैक्सवेल के समीकरणों के अवकल रूप जैसे स्थानों में प्रकट होता है। त्रि-आयामी कार्तीय निर्देशांक में, डेल को इस रूप में परिभाषित किया गया है<math display="block">\nabla = \mathbf{\hat{x}} {\partial \over \partial x} + \mathbf{\hat{y}} {\partial \over \partial y} + \mathbf{\hat{z}} {\partial \over \partial z}.</math>डेल प्रवणता को परिभाषित करता है, और इसका उपयोग विभिन्न वस्तुओं के [[कर्ल (गणित)|कर्ल]], [[विचलन]] और [[लाप्लासियन]] की गणना करने के लिए किया जाता है। | ||
== संकारक का अभिसम्युक्त == | |||
== | {{See also|हर्मिटियन अभिसम्युक्त}} | ||
{{See also| | |||
=== | एक रेखीय अवकल संकारक <math>T</math> दिया गया है <math display="block">Tu = \sum_{k=0}^n a_k(x) D^k u</math>इस संकारक के अभिसम्युक्त को संकारक <math>T^*</math>के रूप में परिभाषित किया गया है जैसे कि<math display="block">\langle Tu,v \rangle = \langle u, T^*v \rangle</math>जहां अंकन <math>\langle\cdot,\cdot\rangle</math> का उपयोग अदिश गुणनफल या आंतरिक गुणनफल के लिए किया जाता है। इसलिए यह परिभाषा अदिश गुणनफल (अथवा आंतरिक गुणनफल) की परिभाषा पर निर्भर करती है। | ||
[[वास्तविक संख्या]] [[अंतराल (गणित)]] | === '''एक चर में औपचारिक अभिसम्युक्त''' === | ||
<math display="block">\langle f, g \rangle = \int_a^b \overline{f(x)} \,g(x) \,dx , </math> | [[वास्तविक संख्या|वास्तविक]] [[अंतराल (गणित)|अंतराल]] {{open-open|''a'', ''b''}} पर वर्ग-समाकलनीय फलन के फलनात्मक समष्टि में, अदिश गुणनफल को परिभाषित किया गया है<math display="block">\langle f, g \rangle = \int_a^b \overline{f(x)} \,g(x) \,dx , </math>जहाँ ''f''(''x'') के ऊपर की रेखा ''f''(''x'') के सम्मिश्र संयुग्म को दर्शाती है। यदि इसके अलावा कोई शर्त जोड़ता है कि ''f'' या ''g,'' <math>x \to a</math> और <math>x \to b</math> के रूप में समाप्त हो जाता है, तो ''T'' के अभिसम्युक्त को भी इसके द्वारा परिभाषित किया जा सकता है<math display="block">T^*u = \sum_{k=0}^n (-1)^k D^k \left[ \overline{a_k(x)} u \right].</math>यह सूत्र स्पष्ट रूप से अदिश गुणनफल की परिभाषा पर निर्भर नहीं करता है। इसलिए इसे कभी-कभी अभिसम्युक्त संकारक की परिभाषा के रूप में चुना जाता है। जब <math>T^*</math>को इस सूत्र के अनुसार परिभाषित किया जाता है, तो इसे ''T'' का '''औपचारिक अभिसम्युक्त''' कहा जाता है। | ||
जहाँ f(x) के ऊपर की रेखा f(x) के सम्मिश्र संयुग्म को दर्शाती है। यदि कोई | |||
<math display="block">T^*u = \sum_{k=0}^n (-1)^k D^k \left[ \overline{a_k(x)} u \right].</math> | |||
यह सूत्र | |||
A (औपचारिक रूप से) स्व- | A (औपचारिक रूप से) स्व-अभिसम्युक्त संकारक अपने स्वयं के (औपचारिक) अभिसम्युक्त के बराबर संकारक होता है। | ||
=== | === अनेक चर === | ||
यदि Ω '''R'''<sup>''n''</sup> में एक क्षेत्र है, और ''P'' Ω पर एक अवकल संकारक है, तो ''P'' का अभिसम्युक्त ''L''<sup>2</sup>(Ω) में द्वैत द्वारा समान रूप से परिभाषित किया गया है- | |||
:<math>\langle f, P^* g\rangle_{L^2(\Omega)} = \langle P f, g\rangle_{L^2(\Omega)}</math> | :<math>\langle f, P^* g\rangle_{L^2(\Omega)} = \langle P f, g\rangle_{L^2(\Omega)}</math> | ||
सभी | सभी निर्बाध ''L''<sup>2</sup> फलनों ''f'', ''g'' के लिए। चूंकि निर्बाध फलन ''L''<sup>2</sup> में सघन होते हैं, यह ''L''<sup>2</sup> के सघन उपसमुच्चय पर अभिसम्युक्त को परिभाषित करता है- P<sup>*</sup> [[सघन रूप से परिभाषित ऑपरेटर|सघन रूप से परिभाषित संकारक]] है। | ||
=== उदाहरण === | === उदाहरण === | ||
स्टर्म-लिउविल संकारक औपचारिक स्व-अभिसम्युक्त संकारक का एक प्रसिद्ध उदाहरण है। इस दूसरे क्रम के रैखिक अवकल संकारक ''L'' को रूप में लिखा जा सकता है | |||
: <math>Lu = -(pu')'+qu=-(pu''+p'u')+qu=-pu''-p'u'+qu=(-p) D^2 u +(-p') D u + (q)u.</math> | : <math>Lu = -(pu')'+qu=-(pu''+p'u')+qu=-pu''-p'u'+qu=(-p) D^2 u +(-p') D u + (q)u.</math> | ||
उपरोक्त औपचारिक | उपरोक्त औपचारिक अभिसम्युक्त परिभाषा का उपयोग करके इस गुण को सिद्ध किया जा सकता है। | ||
: <math>\begin{align} | : <math>\begin{align} | ||
Line 86: | Line 76: | ||
& {} = Lu | & {} = Lu | ||
\end{align}</math> | \end{align}</math> | ||
यह | यह संकारक स्टर्म-लिउविल सिद्धांत का केंद्र है जहां इस संकारक के अभिलक्षणिक फलन ([[egenvectors|अभिलक्षणिक सदिश]] के अनुरूप) पर विचार किया जाता है। | ||
== | == अवकल संकारकों के गुण == | ||
अवकलन रैखिक है, अर्थात | |||
:<math>D(f+g) = (Df)+(Dg),</math> | :<math>D(f+g) = (Df)+(Dg),</math> | ||
:<math>D(af) = a(Df),</math> | :<math>D(af) = a(Df),</math> | ||
जहाँ f और g फलन हैं, और a एक स्थिरांक है। | जहाँ ''f'' और ''g'' फलन हैं, और ''a'' एक स्थिरांक है। | ||
फलन गुणांक वाले ''D'' में कोई [[बहुपद]] भी एक अवकल संकारक है। हम नियम के अनुसार अवकल संकारकों की रचना भी कर सकते हैं | |||
:<math>(D_1 \circ D_2)(f) = D_1(D_2(f)).</math> | :<math>(D_1 \circ D_2)(f) = D_1(D_2(f)).</math> | ||
तब कुछ देखभाल की आवश्यकता होती है | तब कुछ देखभाल की आवश्यकता होती है- सबसे पहले संकारक ''D''<sub>2</sub> में किसी भी फलन गुणांक को ''D''<sub>1</sub> के अनुप्रयोग की आवश्यकता के अनुसार कई बार अलग-अलग होना चाहिए। ऐसे संकारकोंं के [[अंगूठी (गणित)|वलय]] प्राप्त करने के लिए हमें प्रयुक्त गुणांक के सभी क्रमोंं के व्युत्पन्न को मानना चाहिए। दूसरे, यह वलय [[क्रमविनिमेय अंगूठी|क्रमविनिमेय]] नहीं होगा- संकारक ''gD'' सामान्य रूप से ''Dg'' के समान नहीं होता है। उदाहरण के लिए हमारे पास [[क्वांटम यांत्रिकी]] में मौलिक संबंध है- | ||
:<math>Dx - xD = 1.</math> | :<math>Dx - xD = 1.</math> | ||
संकारकों का | संकारकों का उपवलय, जो [[स्थिर गुणांक|स्थिर गुणांकों]] के साथ ''D'' में बहुपद हैं, इसके विपरीत, क्रमविनिमेय है। इसे दूसरे तरीके से वर्णित किया जा सकता है- इसमें अनुवाद-अपरिवर्तनीय संकारक सम्मिलित हैं। | ||
अवकल संकारक भी [[शिफ्ट प्रमेय]] का पालन करते हैं। | |||
== अनेक चर == | |||
एक ही निर्माण को आंशिक व्युत्पन्नों के साथ किया जा सकता है, अलग-अलग चर के संबंध में अवकलन संकारकों को उत्पन्न करता है जो परिवर्तित करते है ([[दूसरे डेरिवेटिव की समरूपता|दूसरे व्युत्पन्नों की सममिति]] देखें)। | |||
== बहुपद अवकल संकारकों का वलय == | |||
== बहुपद | === अविभाजित बहुपद अवकल संकारकों का वलय === | ||
{{Main|वेल बीजगणित}} | |||
यदि ''R'' एक वलय है, तो <math>R\langle D,X \rangle</math> को चर ''D'' और ''X'' में ''R'' के ऊपर गैर विनिमेय बहुपद वलय होने दें, और ''I'' ''DX'' − ''XD'' − 1 द्वारा उत्पन्न द्वि पक्षीय क्रम है। तब ''R'' पर अविभाजित बहुपद अवकल संकारकों का वलय भागफल वलय <math>R\langle D,X\rangle/I</math> होता है। यह एक गैर-विनिमेय [[साधारण अंगूठी|सरल वलय]] है। प्रत्येक तत्व को <math>X^a D^b \text{ mod } I</math> रूप के एकपद के ''R''-रैखिक संयोजन के रूप में एक विशिष्ट तरीके से लिखा जा सकता है। यह बहुपदों के यूक्लिडियन विभाजन के अनुरूप का समर्थन करता है। | |||
यदि R एक वलय है, तो | |||
<math>R[X]</math> (मानक व्युत्पत्ति के लिए) पर अवकल मॉड्यूल को <math>R\langle D,X\rangle/I</math> पर [[मॉड्यूल (गणित)|मॉड्यूल]] के साथ पहचाना जा सकता है। | |||
===बहुभिन्नरूपी बहुपद अवकल संकारकों का वलय === | ===बहुभिन्नरूपी बहुपद अवकल संकारकों का वलय === | ||
यदि R एक वलय है, तो | यदि ''R'' एक वलय है, तो <math>R\langle D_1,\ldots,D_n,X_1,\ldots,X_n\rangle</math> को चर <math>D_1,\ldots,D_n,X_1,\ldots,X_n</math> में ''R'' के ऊपर गैर विनिमेय बहुपद वलय होने दें और ''I'' तत्वों द्वारा उत्पन्न द्वि पक्षीय क्रम हैं | ||
:<math>(D_i X_j-X_j D_i)-\delta_{i,j},\ \ \ D_i D_j -D_j D_i,\ \ \ X_i X_j - X_j X_i</math> | :<math>(D_i X_j-X_j D_i)-\delta_{i,j},\ \ \ D_i D_j -D_j D_i,\ \ \ X_i X_j - X_j X_i</math> | ||
सभी | सभी <math>1 \le i,j \le n,</math>} के लिए, जहां <math>\delta</math> [[क्रोनकर डेल्टा]] है। फिर ''R'' पर बहुभिन्नरूपी बहुपद अवकल संकारकों का वलय भागफल वलय {{nowrap|<math>R\langle D_1,\ldots,D_n,X_1,\ldots,X_n\rangle/I</math>}} है। | ||
यह एक गैर-विनिमेय सरल वलय है। प्रत्येक तत्व को विशिष्ट रूप से {{nowrap|<math>X_1^{a_1} \ldots X_n^{a_n} D_1^{b_1} \ldots D_n^{b_n}</math>}} रूप के एकपदी के ''R''-रैखिक संयोजन के रूप में लिखा जा सकता है। | |||
== समन्वय-स्वतंत्र विवरण == | == समन्वय-स्वतंत्र विवरण == | ||
अवकल ज्यामिति और [[बीजगणितीय ज्यामिति]] में दो सदिश बंडलों के बीच अवकल संकारकों का एक समन्वय-स्वतंत्र विवरण होना | अवकल ज्यामिति और [[बीजगणितीय ज्यामिति]] में दो सदिश बंडलों के बीच अवकल संकारकों का एक समन्वय-स्वतंत्र विवरण होना प्रायः सुविधाजनक होता है। माना ''E'' और ''F'' अवकलनीय कई गुना ''M'' पर दो [[वेक्टर बंडल|सदिश बंडल]] हैं। अनुभागों {{nowrap|''P'' : Γ(''E'') → Γ(''F'')}} का एक '''R'''-रैखिक मानचित्रण '''''k''वें-क्रम रैखिक अवकल संकारक''' कहा जाता है यदि यह [[जेट बंडल]] ''J<sup>k</sup>''(''E'') के माध्यम से कारक होता है। | ||
:<math>i_P: J^k(E) \to F</math> | :<math>i_P: J^k(E) \to F</math> | ||
Line 134: | Line 122: | ||
:<math>P = i_P\circ j^k</math> | :<math>P = i_P\circ j^k</math> | ||
जहाँ {{nowrap|''j''<sup>''k''</sup>: Γ(''E'') → Γ(''J''<sup>''k''</sup>(''E''))}} वह दीर्घीकरण है जो ''E'' के किसी भी खंड को ''k''-जेट से जोड़ता है। | |||
इसका | इसका अर्थ सिर्फ इतना है कि ''E'' के दिए गए खंड ''s'' के लिए, एक बिंदु ''x'' ∈ ''M'' पर ''P''(''s'') का मान पूरी तरह से ''x'' में s के ''k''-क्रम के अनंत व्यवहार द्वारा निर्धारित किया जाता है। विशेष रूप से इसका तात्पर्य यह है कि ''P''(''s'')(''x'') ''x'' में ''s'' के [[शीफ (गणित)|आधार]] द्वारा निर्धारित किया जाता है, जिसे यह कहकर व्यक्त किया जाता है कि अवकल संकारक स्थानीय हैं। मूलभूत परिणाम [[पीटर प्रमेय]] है जो दिखा रहा है कि इसका विपरीत भी सत्य है- कोई भी (रैखिक) स्थानीय संकारक अवकल है। | ||
=== क्रमविनिमेय बीजगणित से संबंध === | === क्रमविनिमेय बीजगणित से संबंध === | ||
रेखीय अवकल संकारकों का समतुल्य, लेकिन विशुद्ध रूप से बीजगणितीय विवरण इस प्रकार है- '''R'''-रैखिक मानचित्र ''P'' एक ''k''-क्रम रैखिक अवकल संकारक है, यदि किसी ''k'' + 1 निर्बाध फलन<math>f_0,\ldots,f_k \in C^\infty(M)</math> के लिए हमारे पास है | |||
:<math>[f_k,[f_{k-1},[\cdots[f_0,P]\cdots]]=0.</math> | :<math>[f_k,[f_{k-1},[\cdots[f_0,P]\cdots]]=0.</math> | ||
यहाँ कोष्ठक <math>[f,P]:\Gamma(E)\to \Gamma(F)</math> | यहाँ कोष्ठक<math>[f,P]:\Gamma(E)\to \Gamma(F)</math> को दिक्परिवर्तक के रूप में परिभाषित किया गया है | ||
:<math>[f,P](s)=P(f\cdot s)-f\cdot P(s).</math> | :<math>[f,P](s)=P(f\cdot s)-f\cdot P(s).</math> | ||
रेखीय अवकल संकारकों के इस निरूपण से पता चलता है कि वे क्रमविनिमेय बीजगणित पर मॉड्यूल के बीच विशेष मानचित्र हैं, जिससे अवधारणा को क्रमविनिमेय बीजगणित के एक भाग के रूप में देखा जा सकता है। | |||
== उदाहरण == | == उदाहरण == | ||
* भौतिक विज्ञान के अनुप्रयोगों में, लाप्लास | * भौतिक विज्ञान के अनुप्रयोगों में, लाप्लास संकारक जैसे संकारक आंशिक अवकल समीकरणों को स्थापित करने और हल करने में प्रमुख भूमिका निभाते हैं। | ||
* [[अंतर टोपोलॉजी]] में, [[बाहरी व्युत्पन्न]] और [[झूठ व्युत्पन्न]] | * [[अंतर टोपोलॉजी|अवकल सांस्थितिकी]] में, [[बाहरी व्युत्पन्न]] और [[झूठ व्युत्पन्न|लाई व्युत्पन्न]] संकारकों का आंतरिक अर्थ होता है। | ||
* | * संक्षेप बीजगणित में, व्युत्पत्ति की अवधारणा अवकल संकारकों के सामान्यीकरण की अनुमति देती है, जिसके लिए गणना के उपयोग की आवश्यकता नहीं होती है। प्रायः इस तरह के सामान्यीकरण बीजगणितीय ज्यामिति और क्रमविनिमेय बीजगणित में नियोजित होते हैं। [[जेट (गणित)]] भी देखें। | ||
* | * [[जटिल चर|सम्मिश्र चर]] ''z'' = ''x'' + ''i'' ''y'' के [[होलोमॉर्फिक फ़ंक्शन|होलोमोर्फिक फलनों]] के विकास में, कभी-कभी सम्मिश्र फलन को दो वास्तविक चर ''x'' और ''y'' का फलन माना जाता है। [[विर्टिंगर डेरिवेटिव|विर्टिंगर व्युत्पन्न]] का उपयोग किया जाता है, जो आंशिक अवकल संकारक हैं-<math display="block"> \frac{\partial}{\partial z} = \frac{1}{2} \left( \frac{\partial}{\partial x} - i \frac{\partial}{\partial y} \right) \ ,\quad \frac{\partial}{\partial\bar{z}}= \frac{1}{2} \left( \frac{\partial}{\partial x} + i \frac{\partial}{\partial y} \right) \ .</math>इस दृष्टिकोण का उपयोग [[कई जटिल चर|कई सम्मिश्र चरों]] के फलनों और एक [[मोटर चर]] के फलनों का अध्ययन करने के लिए भी किया जाता है। | ||
== इतिहास == | == इतिहास == | ||
1800 में लुइस फ्रांकोइस एंटोनी अर्बोगस्ट को | 1800 में लुइस फ्रांकोइस एंटोनी अर्बोगस्ट को स्थानक के रूप में अवकल संकारक लिखने का वैचारिक कदम बताया गया है।<ref>James Gasser (editor), ''A Boole Anthology: Recent and classical studies in the logic of George Boole'' (2000), p. 169; [https://books.google.com/books?id=A2Q5Yghl000C&pg=PA169 Google Books].</ref> | ||
== यह भी देखें == | == यह भी देखें == | ||
{{div col|colwidth=22em}} | {{div col|colwidth=22em}} | ||
* [[ | * [[अवकल संकारक]] | ||
* [[डेल्टा | * [[डेल्टा संकारक]] | ||
* [[ | * [[दीर्घवृत्तीय संकारक]] | ||
* कर्ल (गणित) | * कर्ल (गणित) | ||
* भिन्नात्मक | * भिन्नात्मक गणना | ||
* [[अपरिवर्तनीय | * [[अपरिवर्तनीय अवकल संकारक]] | ||
* [[क्रमविनिमेय बीजगणित पर | * [[क्रमविनिमेय बीजगणित पर अवकल गणना]] | ||
* [[ | * [[लैग्रेंजियन प्रणाली]] | ||
* [[वर्णक्रमीय सिद्धांत]] | * [[वर्णक्रमीय सिद्धांत]] | ||
* ऊर्जा | * ऊर्जा संकारक | ||
* [[ | * [[गति संकारक]] | ||
* [[डीबीएआर | * [[डीबीएआर (DBAR) संकारक]] | ||
{{Div col end}} | {{Div col end}} | ||
==संदर्भ== | ==संदर्भ== | ||
{{Reflist}} | {{Reflist}} | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
*{{Commons category-inline|Differential operators}} | *{{Commons category-inline|Differential operators}} | ||
*{{springer|title=Differential operator|id=p/d032250}} | *{{springer|title=Differential operator|id=p/d032250}} | ||
[[Category: ऑपरेटर सिद्धांत]] [[Category: बहुभिन्नरूपी कैलकुलस]] [[Category: डिफरेंशियल ऑपरेटर्स | डिफरेंशियल ऑपरेटर्स ]] | [[Category: ऑपरेटर सिद्धांत]] [[Category: बहुभिन्नरूपी कैलकुलस]] [[Category: डिफरेंशियल ऑपरेटर्स | डिफरेंशियल ऑपरेटर्स ]] | ||
Line 192: | Line 171: | ||
[[Category: Machine Translated Page]] | [[Category: Machine Translated Page]] | ||
[[Category:Created On 16/02/2023]] | [[Category:Created On 16/02/2023]] | ||
[[Category:Vigyan Ready]] |
Latest revision as of 15:17, 22 February 2023
गणित में, अवकल संकारक एक संकारक होता है जिसे अवकल संकारक के फलन के रूप में परिभाषित किया जाता है। यह सहायक है, पहले अंकन के रूप में, अवकलन को एक संक्षेप संकारक के रूप में माना जाता है जो फलन को स्वीकार करता है और एक अन्य फलन (कंप्यूटर विज्ञान में उच्च-क्रम फलन की शैली में) देता है।
यह लेख मुख्य रूप से रैखिक अवकल संकारकों पर विचार करता है, जो कि सबसे सामान्य प्रकार हैं। हालांकि, अरैखिक अवकल संकारक भी उपस्थित हैं, जैसे श्वार्जियन व्युत्पन्न।
परिभाषा
क्रम- रैखिक अवकल संकारक फलन स्थान से दूसरे फलन स्थान तक का मानचित्र है जिसे इस प्रकार लिखा जा सकता है-
अंकन
सबसे सामान्य अवकल संकारक व्युत्पन्न लेने की क्रिया है। चर x के संबंध में प्रथम व्युत्पन्न लेने के लिए सामान्य संकेतन में सम्मिलित हैं-
- , , और .
उच्च, nवें क्रम के व्युत्पन्न लेते समय, संकारक को लिखा जा सकता है-
- , , , या .
तर्क x के फलन f का व्युत्पन्न कभी-कभी निम्नलिखित में से किसी एक के रूप में दिया जाता है-
D अंकन का उपयोग और निर्माण का श्रेय ओलिवर हीविसाइड को दिया जाता है, जिन्होंने फॉर्म के अवकल संकारकों पर विचार किया था
अवकल समीकरणों के अपने अध्ययन में।
सबसे अधिक बार देखे जाने वाले अवकल संकारकों में से एक लाप्लासियन संकारक है, जिसे इसके द्वारा परिभाषित किया गया है
अन्य अवकल संकारक Θ संकारक या थीटा संकारक है, जिसे परिभाषित किया गया है[1]
इसे कभी-कभी एकरूपता संकारक भी कहा जाता है, क्योंकि इसके अभिलक्षणिक फलन (आइगेन फंक्शन) z में एकपद हैं-
लिखित रूप में, सामान्य गणितीय अभिसमय का पालन करते हुए, अवकल संकारक के तर्क को प्रायः संकारक के स्वयं के दाहिनी ओर रखा जाता है। कभी-कभी एक वैकल्पिक संकेतन का उपयोग किया जाता है- संकारक के बाईं ओर और संकारक के दाईं ओर फलन पर संकारक को लागू करने का परिणाम, और अवकल संकारक को दोनों पक्षों के फलनों में लागू करने पर प्राप्त अंतर को तीर द्वारा निम्नानुसार दर्शाया गया है-
क्वांटम यांत्रिकी की संभाव्यता धारा का वर्णन करने के लिए इस तरह के एक द्विदिश-तीर संकेतन का उपयोग प्रायः किया जाता है।
डेल
अवकल समीकरण डेल, जिसे नब्ला भी कहा जाता है, एक महत्वपूर्ण सदिश अवकल समीकरण है। यह भौतिकी में प्रायः मैक्सवेल के समीकरणों के अवकल रूप जैसे स्थानों में प्रकट होता है। त्रि-आयामी कार्तीय निर्देशांक में, डेल को इस रूप में परिभाषित किया गया है
संकारक का अभिसम्युक्त
एक रेखीय अवकल संकारक दिया गया है
एक चर में औपचारिक अभिसम्युक्त
वास्तविक अंतराल (a, b) पर वर्ग-समाकलनीय फलन के फलनात्मक समष्टि में, अदिश गुणनफल को परिभाषित किया गया है
A (औपचारिक रूप से) स्व-अभिसम्युक्त संकारक अपने स्वयं के (औपचारिक) अभिसम्युक्त के बराबर संकारक होता है।
अनेक चर
यदि Ω Rn में एक क्षेत्र है, और P Ω पर एक अवकल संकारक है, तो P का अभिसम्युक्त L2(Ω) में द्वैत द्वारा समान रूप से परिभाषित किया गया है-
सभी निर्बाध L2 फलनों f, g के लिए। चूंकि निर्बाध फलन L2 में सघन होते हैं, यह L2 के सघन उपसमुच्चय पर अभिसम्युक्त को परिभाषित करता है- P* सघन रूप से परिभाषित संकारक है।
उदाहरण
स्टर्म-लिउविल संकारक औपचारिक स्व-अभिसम्युक्त संकारक का एक प्रसिद्ध उदाहरण है। इस दूसरे क्रम के रैखिक अवकल संकारक L को रूप में लिखा जा सकता है
उपरोक्त औपचारिक अभिसम्युक्त परिभाषा का उपयोग करके इस गुण को सिद्ध किया जा सकता है।
यह संकारक स्टर्म-लिउविल सिद्धांत का केंद्र है जहां इस संकारक के अभिलक्षणिक फलन (अभिलक्षणिक सदिश के अनुरूप) पर विचार किया जाता है।
अवकल संकारकों के गुण
अवकलन रैखिक है, अर्थात
जहाँ f और g फलन हैं, और a एक स्थिरांक है।
फलन गुणांक वाले D में कोई बहुपद भी एक अवकल संकारक है। हम नियम के अनुसार अवकल संकारकों की रचना भी कर सकते हैं
तब कुछ देखभाल की आवश्यकता होती है- सबसे पहले संकारक D2 में किसी भी फलन गुणांक को D1 के अनुप्रयोग की आवश्यकता के अनुसार कई बार अलग-अलग होना चाहिए। ऐसे संकारकोंं के वलय प्राप्त करने के लिए हमें प्रयुक्त गुणांक के सभी क्रमोंं के व्युत्पन्न को मानना चाहिए। दूसरे, यह वलय क्रमविनिमेय नहीं होगा- संकारक gD सामान्य रूप से Dg के समान नहीं होता है। उदाहरण के लिए हमारे पास क्वांटम यांत्रिकी में मौलिक संबंध है-
संकारकों का उपवलय, जो स्थिर गुणांकों के साथ D में बहुपद हैं, इसके विपरीत, क्रमविनिमेय है। इसे दूसरे तरीके से वर्णित किया जा सकता है- इसमें अनुवाद-अपरिवर्तनीय संकारक सम्मिलित हैं।
अवकल संकारक भी शिफ्ट प्रमेय का पालन करते हैं।
अनेक चर
एक ही निर्माण को आंशिक व्युत्पन्नों के साथ किया जा सकता है, अलग-अलग चर के संबंध में अवकलन संकारकों को उत्पन्न करता है जो परिवर्तित करते है (दूसरे व्युत्पन्नों की सममिति देखें)।
बहुपद अवकल संकारकों का वलय
अविभाजित बहुपद अवकल संकारकों का वलय
यदि R एक वलय है, तो को चर D और X में R के ऊपर गैर विनिमेय बहुपद वलय होने दें, और I DX − XD − 1 द्वारा उत्पन्न द्वि पक्षीय क्रम है। तब R पर अविभाजित बहुपद अवकल संकारकों का वलय भागफल वलय होता है। यह एक गैर-विनिमेय सरल वलय है। प्रत्येक तत्व को रूप के एकपद के R-रैखिक संयोजन के रूप में एक विशिष्ट तरीके से लिखा जा सकता है। यह बहुपदों के यूक्लिडियन विभाजन के अनुरूप का समर्थन करता है।
(मानक व्युत्पत्ति के लिए) पर अवकल मॉड्यूल को पर मॉड्यूल के साथ पहचाना जा सकता है।
बहुभिन्नरूपी बहुपद अवकल संकारकों का वलय
यदि R एक वलय है, तो को चर में R के ऊपर गैर विनिमेय बहुपद वलय होने दें और I तत्वों द्वारा उत्पन्न द्वि पक्षीय क्रम हैं
सभी } के लिए, जहां क्रोनकर डेल्टा है। फिर R पर बहुभिन्नरूपी बहुपद अवकल संकारकों का वलय भागफल वलय है।
यह एक गैर-विनिमेय सरल वलय है। प्रत्येक तत्व को विशिष्ट रूप से रूप के एकपदी के R-रैखिक संयोजन के रूप में लिखा जा सकता है।
समन्वय-स्वतंत्र विवरण
अवकल ज्यामिति और बीजगणितीय ज्यामिति में दो सदिश बंडलों के बीच अवकल संकारकों का एक समन्वय-स्वतंत्र विवरण होना प्रायः सुविधाजनक होता है। माना E और F अवकलनीय कई गुना M पर दो सदिश बंडल हैं। अनुभागों P : Γ(E) → Γ(F) का एक R-रैखिक मानचित्रण kवें-क्रम रैखिक अवकल संकारक कहा जाता है यदि यह जेट बंडल Jk(E) के माध्यम से कारक होता है।
ऐसा है कि
जहाँ jk: Γ(E) → Γ(Jk(E)) वह दीर्घीकरण है जो E के किसी भी खंड को k-जेट से जोड़ता है।
इसका अर्थ सिर्फ इतना है कि E के दिए गए खंड s के लिए, एक बिंदु x ∈ M पर P(s) का मान पूरी तरह से x में s के k-क्रम के अनंत व्यवहार द्वारा निर्धारित किया जाता है। विशेष रूप से इसका तात्पर्य यह है कि P(s)(x) x में s के आधार द्वारा निर्धारित किया जाता है, जिसे यह कहकर व्यक्त किया जाता है कि अवकल संकारक स्थानीय हैं। मूलभूत परिणाम पीटर प्रमेय है जो दिखा रहा है कि इसका विपरीत भी सत्य है- कोई भी (रैखिक) स्थानीय संकारक अवकल है।
क्रमविनिमेय बीजगणित से संबंध
रेखीय अवकल संकारकों का समतुल्य, लेकिन विशुद्ध रूप से बीजगणितीय विवरण इस प्रकार है- R-रैखिक मानचित्र P एक k-क्रम रैखिक अवकल संकारक है, यदि किसी k + 1 निर्बाध फलन के लिए हमारे पास है
यहाँ कोष्ठक को दिक्परिवर्तक के रूप में परिभाषित किया गया है
रेखीय अवकल संकारकों के इस निरूपण से पता चलता है कि वे क्रमविनिमेय बीजगणित पर मॉड्यूल के बीच विशेष मानचित्र हैं, जिससे अवधारणा को क्रमविनिमेय बीजगणित के एक भाग के रूप में देखा जा सकता है।
उदाहरण
- भौतिक विज्ञान के अनुप्रयोगों में, लाप्लास संकारक जैसे संकारक आंशिक अवकल समीकरणों को स्थापित करने और हल करने में प्रमुख भूमिका निभाते हैं।
- अवकल सांस्थितिकी में, बाहरी व्युत्पन्न और लाई व्युत्पन्न संकारकों का आंतरिक अर्थ होता है।
- संक्षेप बीजगणित में, व्युत्पत्ति की अवधारणा अवकल संकारकों के सामान्यीकरण की अनुमति देती है, जिसके लिए गणना के उपयोग की आवश्यकता नहीं होती है। प्रायः इस तरह के सामान्यीकरण बीजगणितीय ज्यामिति और क्रमविनिमेय बीजगणित में नियोजित होते हैं। जेट (गणित) भी देखें।
- सम्मिश्र चर z = x + i y के होलोमोर्फिक फलनों के विकास में, कभी-कभी सम्मिश्र फलन को दो वास्तविक चर x और y का फलन माना जाता है। विर्टिंगर व्युत्पन्न का उपयोग किया जाता है, जो आंशिक अवकल संकारक हैं-इस दृष्टिकोण का उपयोग कई सम्मिश्र चरों के फलनों और एक मोटर चर के फलनों का अध्ययन करने के लिए भी किया जाता है।
इतिहास
1800 में लुइस फ्रांकोइस एंटोनी अर्बोगस्ट को स्थानक के रूप में अवकल संकारक लिखने का वैचारिक कदम बताया गया है।[2]
यह भी देखें
- अवकल संकारक
- डेल्टा संकारक
- दीर्घवृत्तीय संकारक
- कर्ल (गणित)
- भिन्नात्मक गणना
- अपरिवर्तनीय अवकल संकारक
- क्रमविनिमेय बीजगणित पर अवकल गणना
- लैग्रेंजियन प्रणाली
- वर्णक्रमीय सिद्धांत
- ऊर्जा संकारक
- गति संकारक
- डीबीएआर (DBAR) संकारक
संदर्भ
- ↑ E. W. Weisstein. "Theta Operator". Retrieved 2009-06-12.
- ↑ James Gasser (editor), A Boole Anthology: Recent and classical studies in the logic of George Boole (2000), p. 169; Google Books.
बाहरी संबंध
- Media related to Differential operators at Wikimedia Commons
- "Differential operator", Encyclopedia of Mathematics, EMS Press, 2001 [1994]