अवकल संकारक

एनुलस (गणित) पर परिभाषित हार्मोनिक फलन । हार्मोनिक फलन वास्तव में वे फलन हैं जोकी लाप्लास ऑपरेटर के कर्नेल (रैखिक बीजगणित) में स्थित हैं, जो महत्वपूर्ण अंतर ऑपरेटर है।

गणित में, डिफरेंशियल ऑपरेटर ऑपरेटर (गणित) है जिसे व्युत्पन्न ऑपरेटर के फलन के रूप में परिभाषित किया गया है। सर्व प्रथम , अंकन के स्तिथियों में, विभेदीकरण को अमूर्त ऑपरेशन के रूप में मानना ​​सहायक होता है जोकी फलन (गणित) को स्वीकार करता है और अन्य फलन (कंप्यूटर विज्ञान में उच्च-क्रम फलन की शैली में) लौटाता है।

इस प्रकार से यह आलेख मुख्य रूप से रैखिक मानचित्र अंतर ऑपरेटरों पर विचार करता है, जो सबसे सामान्य प्रकार हैं। चूंकि , गैर-रेखीय अंतर ऑपरेटर भी उपस्तिथ किये गये हैं, जैसे कि श्वार्ज़ियन व्युत्पन्न आदि ।

परिभाषा

एक अऋणात्मक पूर्णांक m दिया गया है, क्रम-$m$ लीनियर डिफरेंशियल ऑपरेटर मानचित्र $P$ है कार्य स्थान ${\mathcal {F}}_{1}$ से किसी अन्य फलन स्थान ${\mathcal {F}}_{2}$ पर जिसे इस प्रकार लिखा जा सकता है:

$$P=\sum _{|\alpha |\leq m}a_{\alpha }(x)D^{\alpha }\ ,$$

जहाँ $\alpha =(\alpha _{1},\alpha _{2},\cdots ,\alpha _{n})$ गैर-ऋणात्मक पूर्णांक $|\alpha |=\alpha _{1}+\alpha _{2}+\cdots +\alpha _{n}$ का बहु-सूचकांक है, , और प्रत्येक के लिए $\alpha$, $a_{\alpha }(x)$ एन-डायमेंशनल स्पेस में कुछ खुले डोमेन पर फलन है। परिचालक $D^{\alpha }$ के रूप में व्याख्या की गई है

$$D^{\alpha }={\frac {\partial ^{|\alpha |}}{\partial x_{1}^{\alpha _{1}}\partial x_{2}^{\alpha _{2}}\cdots \partial x_{n}^{\alpha _{n}}}}$$

इस प्रकार समारोह के लिए $f\in {\mathcal {F}}_{1}$:

$$Pf=\sum _{|\alpha |\leq m}a_{\alpha }(x){\frac {\partial ^{|\alpha |}f}{\partial x_{1}^{\alpha _{1}}\partial x_{2}^{\alpha _{2}}\cdots \partial x_{n}^{\alpha _{n}}}}$$

अंकन $D^{\alpha }$ दूसरे व्युत्पन्न की समरूपता के कारण उचित है (अर्थात , भेदभाव के क्रम से स्वतंत्र)।

D को वेरिएबल से प्रतिस्थापित करने पर बहुपद p प्राप्त होता है $\xi$ में P को P का 'कुल प्रतीक' कहा जाता है; अर्थात , उपरोक्त P का कुल प्रतीक है:

$$p(x,\xi )=\sum _{|\alpha |\leq m}a_{\alpha }(x)\xi ^{\alpha }$$

जहाँ $\xi ^{\alpha }=\xi _{1}^{\alpha _{1}}\cdots \xi _{n}^{\alpha _{n}}.$ प्रतीक का उच्चतम सजातीय घटक, अर्थात्,

$\sigma (x,\xi )=\sum _{|\alpha |=m}a_{\alpha }(x)\xi ^{\alpha }$

को P का मुख्य प्रतीक कहा जाता है। जबकि कुल प्रतीक को आंतरिक रूप से परिभाषित नहीं किया गया है, मुख्य प्रतीक को आंतरिक रूप से परिभाषित किया गया है (अर्थात, यह कोटैंजेंट बंडल पर एक फलन है)।

अधिक सामान्यतः मान लीजिए कि E और F मैनिफोल्ड X पर वेक्टर बंडल हैं। फिर रैखिक ऑपरेटर

$P:C^{\infty }(E)\to C^{\infty }(F)$

क्रम का डिफरेंशियल ऑपरेटर $k$ है यदि, X पर स्थानीय निर्देशांक में, हमारे पास है

$Pu(x)=\sum _{|\alpha |=k}P^{\alpha }(x){\frac {\partial ^{\alpha }u}{\partial x^{\alpha }}}+{\text{lower-order terms}}$

जहां, प्रत्येक बहु-सूचकांक α के लिए, $P^{\alpha }(x):E\to F$ बंडल मानचित्र है, जो सूचकांक α पर सममित है।

कश्मीर^{P के वें क्रम गुणांक सममित टेंसर के रूप में परिवर्तित हो जाते हैं}

$\sigma _{P}:S^{k}(T^{*}X)\otimes E\to F$

जिसका डोमेन E के साथ X के कोटैंजेंट बंडल की k^th सममित शक्ति का टेंसर उत्पाद है, और जिसका कोडोमेन F है। इस सममित टेंसर को P के प्रमुख प्रतीक (या सिर्फ प्रतीक) के रूप में जाना जाता है।

इस प्रकार से समन्वय प्रणाली xⁱ, समन्वय अंतर dxⁱ द्वारा कोटैंजेंट बंडल के स्थानीय तुच्छीकरण की अनुमति देती है, जो फाइबर निर्देशांक ξ_i निर्धारित करती है। क्रमशः E और F के फ्रेम e_μ, f_ν के आधार के संदर्भ में, अंतर ऑपरेटर P घटकों में विघटित हो जाता है

$(Pu)_{\nu }=\sum _{\mu }P_{\nu \mu }u_{\mu }$

E के प्रत्येक खंड u पर। यहां P_νμ द्वारा परिभाषित अदिश अंतर संचालिका है

$P_{\nu \mu }=\sum _{\alpha }P_{\nu \mu }^{\alpha }{\frac {\partial }{\partial x^{\alpha }}}.$

इस तुच्छीकरण के साथ, मुख्य प्रतीक अब लिखा जा सकता है

$(\sigma _{P}(\xi )u)_{\nu }=\sum _{|\alpha |=k}\sum _{\mu }P_{\nu \mu }^{\alpha }(x)\xi _{\alpha }u_{\mu }.$

X के निश्चित बिंदु x पर कोटैंजेंट स्थान में, प्रतीक $\sigma _{P}$ डिग्री k के सजातीय बहुपद $T_{x}^{*}X$ को परिभाषित करता है मूल्यों के साथ $\operatorname {Hom} (E_{x},F_{x})$. तथा मूल्यों के साथ

फूरियर व्याख्या

इस प्रकार से डिफरेंशियल ऑपरेटर P और उसका प्रतीक फूरियर ट्रांसफॉर्म के संबंध में स्वाभाविक रूप से निम्नानुसार दिखाई देते हैं। मान लीजिए कि यह श्वार्ट्ज फलन ƒ है। फिर व्युत्क्रम फूरियर रूपांतरण द्वारा,

$Pf(x)={\frac {1}{(2\pi )^{\frac {d}{2}}}}\int \limits _{\mathbf {R} ^{d}}e^{ix\cdot \xi }p(x,i\xi ){\hat {f}}(\xi )\,d\xi .$

यह P को फूरियर गुणक के रूप में प्रदर्शित करता है। कार्यों का अधिक सामान्य वर्ग p(x,ξ) जो ξ में अधिकांश बहुपद वृद्धि स्थितियों को संतुष्ट करता है जिसके तहत यह अभिन्न अंग सही प्रकार से व्यवहार किया जाता है, इसमें छद्म-अंतर ऑपरेटर सम्मिलित होते हैं।

उदाहरण

• डिफरेंशियल संचालिका $P$ यदि इसका प्रतीक विपरीत है तो यह अण्डाकार डिफरेंशियल संचालिका है; यह प्रत्येक अशून्य $\theta \in T^{*}X$ के लिए है बंडल मानचित्र $\sigma _{P}(\theta ,\dots ,\theta )$ विपरीत है. कॉम्पैक्ट मैनिफोल्ड पर, यह अण्डाकार सिद्धांत से निम्नानुसार है कि P फ्रेडहोम संचालक है: इसमें परिमित-आयामी कर्नेल (बीजगणित) और कोकर्नेल है।
• अतिशयोक्तिपूर्ण आंशिक अंतर समीकरण और परवलयिक आंशिक अंतर समीकरणों के अध्ययन में, मुख्य प्रतीक के शून्य आंशिक अंतर समीकरण की विशेषताओं की विधि के अनुरूप होते हैं।
• भौतिक विज्ञान के अनुप्रयोगों में, लाप्लास ऑपरेटर जैसे ऑपरेटर आंशिक अंतर समीकरणों को स्थापित करने और हल करने में प्रमुख भूमिका निभाते हैं।
• डिफरेंशियल टोपोलॉजी में, बाहरी व्युत्पन्न और लाई व्युत्पन्न ऑपरेटरों का आंतरिक अर्थ होता है।
• अमूर्त बीजगणित में, व्युत्पत्ति (अमूर्त बीजगणित) की अवधारणा अंतर ऑपरेटरों के सामान्यीकरण की अनुमति देती है, जिसके लिए कैलकुलस के उपयोग की आवश्यकता नहीं होती है। सदैव ऐसे सामान्यीकरण बीजगणितीय ज्यामिति और क्रमविनिमेय बीजगणित में नियोजित होते हैं। जेट (गणित) भी देखें।
• एक जटिल वेरिएबल z = x + i y के होलोमोर्फिक फलन के विकास में, कभी-कभी जटिल फलन को दो वास्तविक वेरिएबल x और y का फलन माना जाता है। विर्टिंगर व्युत्पन्न का उपयोग किया जाता है, जो आंशिक अंतर ऑपरेटर हैं:
  $${\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)\ .$$
  इस दृष्टिकोण का उपयोग कई जटिल वेरिएबल के कार्यों और मोटर वेरिएबल के कार्यों का अध्ययन करने के लिए भी किया जाता है।
• डिफ़रेंशियल ऑपरेटर डेल, जिसे नाबला भी कहा जाता है, महत्वपूर्ण यूक्लिडियन वेक्टर डिफरेंशियल ऑपरेटर है। यह भौतिकी में मैक्सवेल के समीकरणों के डिफरेंशियल रूप जैसी जगहों पर सदैव दिखाई देता है। त्रि-आयामी कार्टेशियन निर्देशांक में, डेल को इस प्रकार परिभाषित किया गया है

$$\nabla =\mathbf {\hat {x}} {\partial \over \partial x}+\mathbf {\hat {y}} {\partial \over \partial y}+\mathbf {\hat {z}} {\partial \over \partial z}.$$

इस प्रकार से डेल ग्रेडियेंट को परिभाषित करता है, और विभिन्न वस्तुओं के कर्ल (गणित), विचलन और लाप्लासियन की गणना करने के लिए उपयोग किया जाता है।

इतिहास

डिफरेंशियल ऑपरेटर को कुछ स्वतंत्र रूप से लिखने के वैचारिक कदम का श्रेय 1800 में लुई फ्रांकोइस एंटोनी अर्बोगैस्ट को दिया जाता है।

अंकन

सबसे समान अंतर ऑपरेटर व्युत्पन्न लेने की क्रिया है। वेरिएबल x के संबंध में पहला व्युत्पन्न लेने के लिए विभेदन के लिए अंकन में सम्मिलित हैं:

${d \over dx}$, $D$, $D_{x},$ और $\partial _{x}$.

उच्चतर, nth क्रम के व्युत्पन्न लेते समय, ऑपरेटर को लिखा जा सकता है:

${d^{n} \over dx^{n}}$, $D^{n}$, $D_{x}^{n}$, या $\partial _{x}^{n}$.

किसी फलन x के तर्क के फलन f का व्युत्पन्न कभी-कभी निम्नलिखित में से किसी के रूप में दिया जाता है:

$[f(x)]'$

$f'(x).$

D अंकन के उपयोग और निर्माण का श्रेय ओलिवर हेविसाइड को दिया जाता है, जिन्होंने फॉर्म के डिफरेंशियल ऑपरेटरों पर विचार किया था

$\sum _{k=0}^{n}c_{k}D^{k}$

डिफरेंशियल समीकरणों के अपने अध्ययन में।

सबसे अधिक बार देखे जाने वाले अंतर ऑपरेटरों में से लाप्लास ऑपरेटर है, जिसे परिभाषित किया गया है

$\Delta =\nabla ^{2}=\sum _{k=1}^{n}{\frac {\partial ^{2}}{\partial x_{k}^{2}}}.$

एक अन्य डिफरेंशियल ऑपरेटर Θ ऑपरेटर, या थीटा ऑपरेटर है, जिसे परिभाषित किया गया है

$\Theta =z{d \over dz}.$

इसे कभी-कभी समरूपता संचालिका भी कहा जाता है, क्योंकि इसके एजेंनफंक्शन z में एकपद हैं:

$$\Theta (z^{k})=kz^{k},\quad k=0,1,2,\dots$$

n वेरिएबल्स में समरूपता ऑपरेटर दिया जाता है

$$\Theta =\sum _{k=1}^{n}x_{k}{\frac {\partial }{\partial x_{k}}}.$$

जैसा कि वेरिएबल में होता है, Θ के एजेंनस्पेसेस सजातीय कार्य के स्थान हैं। (यूलर का सजातीय कार्य प्रमेय)

लिखित रूप में, सामान्य गणितीय परंपरा का पालन करते हुए, अंतर ऑपरेटर का तर्क सामान्यतः ऑपरेटर के दाईं ओर रखा जाता है। कभी-कभी वैकल्पिक अंकन का उपयोग किया जाता है: ऑपरेटर के बाईं ओर और ऑपरेटर के दाईं ओर फलन पर ऑपरेटर को प्रयुक्त करने का परिणाम, और दोनों तरफ के फलन पर अंतर ऑपरेटर को प्रयुक्त करने पर प्राप्त अंतर को दर्शाया जाता है। तीरों द्वारा इस प्रकार:

$f{\overleftarrow {\partial _{x}}}g=g\cdot \partial _{x}f$

$f{\overrightarrow {\partial _{x}}}g=f\cdot \partial _{x}g$

$f{\overleftrightarrow {\partial _{x}}}g=f\cdot \partial _{x}g-g\cdot \partial _{x}f.$

क्वांटम यांत्रिकी की संभाव्यता धारा का वर्णन करने के लिए इस तरह के द्विदिश-तीर अंकन का सदैव उपयोग किया जाता है।

एक ऑपरेटर का जोड़

See also: हर्मिटियन सहायक

एक रैखिक अंतर ऑपरेटर $T$ दिया गया है

$$Tu=\sum _{k=0}^{n}a_{k}(x)D^{k}u$$

इस ऑपरेटर के हर्मिटियन सहायक को ऑपरेटर $T^{*}$ के रूप में परिभाषित किया गया है ऐसा है कि

$$\langle Tu,v\rangle =\langle u,T^{*}v\rangle$$

जहां अंकन $\langle \cdot ,\cdot \rangle$ अदिश उत्पाद या आंतरिक उत्पाद के लिए उपयोग किया जाता है। इसलिए यह परिभाषा अदिश उत्पाद (या आंतरिक उत्पाद) की परिभाषा पर निर्भर करती है।

वेरिएबल में औपचारिक जोड़

वास्तविक संख्या अंतराल पर वर्ग-अभिन्न कार्यों के कार्यात्मक स्थान में (गणित) (a, b), अदिश गुणनफल द्वारा परिभाषित किया गया है

$$\langle f,g\rangle =\int _{a}^{b}{\overline {f(x)}}\,g(x)\,dx,$$

जहां f(x) के ऊपर की रेखा f(x) के जटिल संयुग्म को दर्शाती है। यदि कोई इसके अतिरिक्त यह नियम जोड़ता है कि f या g विलुप्त हो जाता है $x\to a$ और $x\to b$, कोई T के संलग्नक को इसके द्वारा भी परिभाषित कर सकता है

$$T^{*}u=\sum _{k=0}^{n}(-1)^{k}D^{k}\left[{\overline {a_{k}(x)}}u\right].$$

यह सूत्र स्पष्ट रूप से अदिश उत्पाद की परिभाषा पर निर्भर नहीं करता है। इसलिए इसे कभी-कभी सहायक ऑपरेटर की परिभाषा के रूप में चुना जाता है। जब $T^{*}$ इस सूत्र के अनुसार परिभाषित किया गया है, इसे T का औपचारिक जोड़ कहा जाता है।

A (औपचारिक रूप से) स्व-सहायक संचालिका सेल्फ-एडजॉइंट ऑपरेटर अपने स्वयं के (औपचारिक) एडजॉइंट के समान ऑपरेटर है।

अनेक वेरिएबल

यदि ΩRⁿ में एक डोमेन है, और P Ω पर एक विभेदक संचालिका है, तो P का जोड़ L²(Ω) में समान विधि से द्वैत द्वारा परिभाषित किया गया है:

$\langle f,P^{*}g\rangle _{L^{2}(\Omega )}=\langle Pf,g\rangle _{L^{2}(\Omega )}$

सभी सुचारू L² फलन f, g के लिए। चूँकि L² में सुचारु कार्य सघन होते हैं, यह L² के सघन उपसमुच्चय पर जोड़ को परिभाषित करता है: P^* एक सघन रूप से परिभाषित ऑपरेटर है।

उदाहरण

स्टर्म-लिउविल सिद्धांत स्टर्म-लिउविल ऑपरेटर औपचारिक स्व-सहायक ऑपरेटर का प्रसिद्ध उदाहरण है। इस दूसरे क्रम के रैखिक अंतर ऑपरेटर L को फॉर्म में लिखा जा सकता है

$Lu=-(pu')'+qu=-(pu''+p'u')+qu=-pu''-p'u'+qu=(-p)D^{2}u+(-p')Du+(q)u.$

इस संपत्ति को उपरोक्त औपचारिक सहायक परिभाषा का उपयोग करके सिद्ध किया जा सकता है।

यह ऑपरेटर स्टर्म-लिउविले सिद्धांत का केंद्र है जहां इस ऑपरेटर केएजेंनफंक्शन (eigenvectors के अनुरूप) पर विचार किया जाता है।

डिफरेंशियल ऑपरेटरों के गुण

विभेदन रैखिक मानचित्र है, अर्थात।

$D(f+g)=(Df)+(Dg),$

$D(af)=a(Df),$

f और g फलन हैं, और a स्थिरांक है।

फलन गुणांक के साथ D में कोई भी बहुपद भी अंतर ऑपरेटर है। हम नियम के अनुसार कंपोजीशन डिफरेंशियल ऑपरेटर्स भी कार्य कर सकते हैं

$(D_{1}\circ D_{2})(f)=D_{1}(D_{2}(f)).$

तब कुछ देख-रेख की आवश्यकता होती है: सर्व प्रथम ऑपरेटर D₂ में कोई फलन गुणांक D₁के अनुप्रयोग जितनी बार हो उतनी बार अवकलनीय फलन होना चाहिए आवश्यकता है. ऐसे ऑपरेटरों की रिंग (गणित) प्राप्त करने के लिए हमें उपयोग किए गए गुणांक के सभी आदेशों के व्युत्पन्न को मानना ​​होगा। दूसरे, यह रिंग क्रमविनिमेय रिंग नहीं होगी: ऑपरेटर gD सामान्य तौर पर Dg के समान नहीं है। उदाहरण के लिए हमारे पास क्वांटम यांत्रिकी में मूलभूत संबंध है:

$Dx-xD=1.$

इसके विपरीत, निरंतर गुणांक वाले D में बहुपद वाले ऑपरेटरों का उप-रिंग क्रमविनिमेय है। इसे दूसरे विधि से चित्रित किया जा सकता है: इसमें अनुवाद-अपरिवर्तनीय ऑपरेटर सम्मिलित हैं।

डिफरेंशियल संचालक भी शिफ्ट प्रमेय का पालन करते हैं।

बहुपद अवकल संकारकों का वलय

एकविभिन्न बहुपद अंतर ऑपरेटरों की वलय

Main article: वेइल बीजगणित

यदि R वलय है, तो मान लीजिए $R\langle D,X\rangle$ वेरिएबल D और $R\langle D,X\rangle /I$. यह है non-commutative साधारण वलय . प्रत्येक तत्व को फॉर्म के मोनोमियल के R-रैखिक संयोजन के रूप में अनोखे विधि से लिखा जा सकता है $X^{a}D^{b}{\text{ mod }}I$. यह बहुपदों के यूक्लिडियन विभाजन के एनालॉग का समर्थन करता है।

डिफरेंशियल मॉड्यूल ऊपर $R[X]$ (मानक व्युत्पत्ति के लिए) को मॉड्यूल (गणित) $R\langle D,X\rangle /I$ से पहचाना जा सकता है .

बहुभिन्नरूपी बहुपद अवकल संचालकों का वलय

यदि R वलय है, तो मान लीजिए $R\langle D_{1},\ldots ,D_{n},X_{1},\ldots ,X_{n}\rangle$ वेरिएबल में R के ऊपर गैर-क्रमविनिमेय बहुपद वलय बनें $D_{1},\ldots ,D_{n},X_{1},\ldots ,X_{n}$, और मैं तत्वों द्वारा उत्पन्न दो-तरफा आदर्श

$(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}$

सभी के लिए $1\leq i,j\leq n,$ जहाँ $\delta$ क्रोनकर डेल्टा है. फिर R के ऊपर बहुभिन्नरूपी बहुपद अवकल संचालकों का वलय भागफल वलय है $R\langle D_{1},\ldots ,D_{n},X_{1},\ldots ,X_{n}\rangle /I$.

यह है non-commutative साधारण वलय .

प्रत्येक तत्व को फॉर्म के मोनोमियल के R -रैखिक संयोजन के रूप में अनोखे विधि से लिखा जा सकता है $X_{1}^{a_{1}}\ldots X_{n}^{a_{n}}D_{1}^{b_{1}}\ldots D_{n}^{b_{n}}$.

समन्वय-स्वतंत्र वर्णन

अंतर ज्यामिति और बीजगणितीय ज्यामिति में दो वेक्टर बंडलों के मध्य अंतर ऑपरेटरों का समन्वय-स्वतंत्र विवरण रखना सदैव सुविधाजनक होता है। मान लीजिए E और F भिन्न मैनिफोल्ड M पर दो वेक्टर बंडल हैं। वेक्टर बंडल का 'R'-रैखिक मानचित्रण P : Γ(E) → Γ(F) को kth-क्रम रैखिक अंतर ऑपरेटर कहा जाता है यदि यह जेट बंडल J^k(E) के माध्यम से कारक होता है.

दूसरे शब्दों में, वेक्टर बंडलों का रैखिक मानचित्रण उपस्तिथ है

$i_{P}:J^{k}(E)\to F$

ऐसा है कि

$P=i_{P}\circ j^{k}$

जहाँ j^k: Γ(E) → Γ(J^k(E)) वह लम्बाई है जो E के किसी भी भाग से उसके जेट (गणित) k-जेट से जुड़ती है।

इसका मतलब यह है कि E के दिए गए वेक्टर बंडल s के लिए, बिंदु x ∈ M पर P(s) का मान पूरी तरह से x में s के kth-क्रम इनफिनिटसिमल व्यवहार द्वारा निर्धारित होता है। विशेष रूप से इसका तात्पर्य यह है कि P(s)(x) x में s के शीफ (गणित) द्वारा निर्धारित किया जाता है, जिसे यह कहकर व्यक्त किया जाता है कि अंतर ऑपरेटर स्थानीय हैं। मूलभूत परिणाम पीटर प्रमेय है जो दर्शाता है कि इसका विपरीत भी सत्य है: कोई भी (रैखिक) स्थानीय ऑपरेटर अंतर है।

क्रमविनिमेय बीजगणित से संबंध

रैखिक अंतर ऑपरेटरों का समतुल्य, किन्तु विशुद्ध रूप से बीजगणितीय विवरण इस प्रकार है: R-रेखीय मानचित्र P kth-क्रम रैखिक अंतर ऑपरेटर है, यदि किसी भी k + 1 के लिए चिकनी कार्य $f_{0},\ldots ,f_{k}\in C^{\infty }(M)$ अपने पास

$[f_{k},[f_{k-1},[\cdots [f_{0},P]\cdots ]]=0.$

यहाँ ब्रैकेट $[f,P]:\Gamma (E)\to \Gamma (F)$ कम्यूटेटर के रूप में परिभाषित किया गया है

$[f,P](s)=P(f\cdot s)-f\cdot P(s).$

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

वेरिएंट

अनंत क्रम का डिफरेंशियल संचालिका

अनंत क्रम का डिफरेंशियल संचालिका (मोटे तौर पर) डिफरेंशियल संचालिका है जिसका कुल प्रतीक बहुपद के अतिरिक्त घात श्रृंखला है।

द्विविभेदक संचालिका

डिफरेंशियल ऑपरेटर दो $D(g,f)$ फलनो पर कार्य करता है द्विविभेदक संचालिका कहलाती है। उदाहरण के लिए, यह धारणा पॉइसन बीजगणित के विरूपण परिमाणीकरण पर साहचर्य बीजगणित संरचना में प्रकट होती है।

माइक्रोडिफरेंशियल ऑपरेटर

एक माइक्रोडिफरेंशियल ऑपरेटर कोटैंजेंट बंडल के खुले उपसमुच्चय पर प्रकार का ऑपरेटर होता है, जो मैनिफोल्ड के खुले उपसमुच्चय के विपरीत होता है। यह डिफरेंशियल ऑपरेटर की धारणा को कोटैंजेंट बंडल तक विस्तारित करके प्राप्त किया जाता है।

यह भी देखें

• अंतर ऑपरेटर
• डेल्टा ऑपरेटर
• अण्डाकार ऑपरेटर
• कर्ल (गणित)
• भिन्नात्मक कलन
• अपरिवर्तनीय अंतर ऑपरेटर
• क्रमविनिमेय बीजगणित पर विभेदक कलन
• लैग्रेंजियन प्रणाली
• वर्णक्रमीय सिद्धांत
• ऊर्जा संचालक
• वेग संचालिका
• डीबीएआर ऑपरेटर
• छद्म-विभेदक संचालिका
• मौलिक समाधान
• अतियाह-सिंगर इंडेक्स प्रमेय (ऑपरेटर के प्रतीक पर अनुभाग)

संदर्भ

• Freed, Daniel S. (1987), Geometry of Dirac operators, p. 8, CiteSeerX 10.1.1.186.8445
• Hörmander, L. (1983), The analysis of linear partial differential operators I, Grundl. Math. Wissenschaft., vol. 256, Springer, doi:10.1007/978-3-642-96750-4, ISBN 3-540-12104-8, MR 0717035.
• Schapira, Pierre (1985). Microdifferential Systems in the Complex Domain. Springer.
• Wells, R.O. (1973), Differential analysis on complex manifolds, Springer-Verlag, ISBN 0-387-90419-0.

अग्रिम पठन

• Fedosov, Boris; Schulze, Bert-Wolfgang; Tarkhanov, Nikolai (2002). "Analytic index formulas for elliptic corner operators". Annales de l'Institut Fourier (in English). 52 (3): 899–982. doi:10.5802/aif.1906. ISSN 1777-5310.

बाहरी संबंध

• Media related to Differential operators at Wikimedia Commons
• "Differential operator", Encyclopedia of Mathematics, EMS Press, 2001 [1994]