This article is about अनुचित समाकलों को मान निर्दिष्ट करने की एक विधि. For एकल शाखा से संबद्ध जटिल फलन के मान, see
मुख्य मान. For
लॉरेंट श्रृंखला का नकारात्मक-शक्ति वाला भाग, see
मुख्य भाग.
गणित में, ऑगस्टिन लुइस कॉची के नाम पर कॉची मुख्य मान, कुछ अनुचित पूर्णांकी को मान निर्दिष्ट करने की एक विधि है जो अन्यथा अपरिभाषित होगी।
सूत्रीकरण
इंटीग्रैंड f में गणितीय विलक्षणता के प्रकार के आधार पर, कॉची मुख्य मान को निम्नलिखित नियमों के अनुसार परिभाषित किया गया है:
परिमित संख्या b पर विलक्षणता के लिए
![{\displaystyle \lim _{\;\varepsilon \to 0^{+}\;}\,\left[\,\int _{a}^{b-\varepsilon }f(x)\,\mathrm {d} x~+~\int _{b+\varepsilon }^{c}f(x)\,\mathrm {d} x\,\right]}](/index.php?title=Special:MathShowImage&hash=62fc298a654b78faae0fc88c9f5bd69c&mode=mathml)
के साथ और जहाँ b कठिन बिंदु है, जिस पर फलन f का व्यवहार ऐसा है कि
![{\displaystyle \int _{a}^{b}f(x)\,\mathrm {d} x=\pm \infty \quad }](/index.php?title=Special:MathShowImage&hash=2c4df4bedd8dee9bf8accc26168b5b62&mode=mathml)
किसी
के लिए
![{\displaystyle \int _{b}^{c}f(x)\,\mathrm {d} x=\mp \infty \quad }](/index.php?title=Special:MathShowImage&hash=a0f85ecf16b3baed7a4e50acc110ad2f&mode=mathml)
किसी
के लिए
( अंकन ± और ∓ के सटीक उपयोग के लिए प्लस या माइनस देखें .)
अनंत (
) पर एक विलक्षणता के लिए
![{\displaystyle \lim _{a\to \infty }\,\int _{-a}^{a}f(x)\,\mathrm {d} x}](/index.php?title=Special:MathShowImage&hash=cefff322adeb7bd07a8c610e69a50cd4&mode=mathml)
जहाँ ![{\displaystyle \int _{-\infty }^{0}f(x)\,\mathrm {d} x=\pm \infty }](/index.php?title=Special:MathShowImage&hash=5e74bd2b4e0d4ddd066d0c585a85dd0e&mode=mathml)
और ![{\displaystyle \int _{0}^{\infty }f(x)\,\mathrm {d} x=\mp \infty .}](/index.php?title=Special:MathShowImage&hash=6374e474a3a31326c2d420f1a8209dd1&mode=mathml)
कुछ स्तिथियों में एक परिमित संख्या b और अनंत पर दोनों विलक्षणताओं से एक साथ निपटना आवश्यक है। यह सामान्यतः प्रपत्र की एक सीमा द्वारा किया जाता है
![{\displaystyle \lim _{\;\eta \to 0^{+}}\,\lim _{\;\varepsilon \to 0^{+}}\,\left[\,\int _{b-{\frac {1}{\eta }}}^{b-\varepsilon }f(x)\,\mathrm {d} x\,~+~\int _{b+\varepsilon }^{b+{\frac {1}{\eta }}}f(x)\,\mathrm {d} x\,\right].}](/index.php?title=Special:MathShowImage&hash=5479d50c4e0cd4933319489302985e05&mode=mathml)
उन स्तिथियों में जहां समाकल को दो स्वतंत्र, परिमित सीमाओं में विभाजित किया जा सकता है,
![{\displaystyle \lim _{\;\varepsilon \to 0^{+}\;}\,\left|\,\int _{a}^{b-\varepsilon }f(x)\,\mathrm {d} x\,\right|\;<\;\infty }](/index.php?title=Special:MathShowImage&hash=39093a511fd1a5cc6748f4c7e95aca0b&mode=mathml)
और
![{\displaystyle \lim _{\;\eta \to 0^{+}}\;\left|\,\int _{b+\eta }^{c}f(x)\,\mathrm {d} x\,\right|\;<\;\infty ,}](/index.php?title=Special:MathShowImage&hash=7d48f20ab9cd4dc2901677ebc6d48adf&mode=mathml)
तो फलन सामान्य अर्थों में पूर्णांक है। मुख्य मूल्य के लिए प्रक्रिया का परिणाम साधारण अभिन्न के समान है; चूँकि यह अब परिभाषा से मेल नहीं खाता, यह तकनीकी रूप से एक प्रमुख मूल्य नहीं है।
कॉची मुख्य मान को संकुल-मूल्य फलन
![{\displaystyle f(z):z=x+i\,y\;}](/index.php?title=Special:MathShowImage&hash=d88ca0871e0e7fbef1c63f07bfb52f03&mode=mathml)
के साथ
![{\displaystyle x,y\in \mathbb {R} \;}](/index.php?title=Special:MathShowImage&hash=f83ca06dc8b33d765e2fb2b86ce39af7&mode=mathml)
के समोच्च एकीकरण के तरीके के रूप में भी समोच्च पर एक स्तम्भ
C के साथ परिभाषित किया जा सकता है।
![{\displaystyle C(\varepsilon )}](/index.php?title=Special:MathShowImage&hash=355e69bccb3d94faff3a87952aeee4b1&mode=mathml)
को उसी समोच्च के रूप में परिभाषित करें, जहां ध्रुव के चारों ओर त्रिज्या ε की चक्रिका के अंदर का हिस्सा हटा दिया गया है। बशर्ते कि फलन
![{\displaystyle C(\varepsilon )}](/index.php?title=Special:MathShowImage&hash=355e69bccb3d94faff3a87952aeee4b1&mode=mathml)
पर समाकलनीय हो चाहे ε कितना ही छोटा क्यों न हो जाए, तो कौशी का मुख्य मान सीमा निम्न है:
[1]
![{\displaystyle \operatorname {p.\!v.} \int _{C}f(z)\,\mathrm {d} z=\lim _{\varepsilon \to 0^{+}}\int _{C(\varepsilon )}f(z)\,\mathrm {d} z.}](/index.php?title=Special:MathShowImage&hash=246e0d0e0b936125d280dab09cdf5d5c&mode=mathml)
लेबसग्यु-पूर्णांक फलन की स्तिथि में, अर्थात्, फलन जो पूर्ण मूल्य में पूर्णांक हैं, ये परिभाषाएँ पूर्णांकी की मानक परिभाषा के साथ मेल खाती हैं।
यदि फलन
मेरोमोर्फिक है, सोखोत्स्की-प्लेमेलज प्रमेय पूर्णांकी ओवर के प्रमुख मूल्य से संबंधित है
C पूर्णांकी के औसत-मान के साथ समोच्च के साथ थोड़ा ऊपर और नीचे विस्थापित हो गया, ताकि अव
शेष प्रमेय को उन पूर्णांकी पर लागू किया जा सके।
मुख्य मान पूर्णांकी
हिल्बर्ट रूपांतरण की चर्चा में एक केंद्रीय भूमिका निभाते हैं।
[2]
वितरण सिद्धांत
मान लीजिये
बम्प फलन का सम्मुच्चय है, यानी वास्तविक संख्या
पर सघन समर्थन के साथ सुचारू फलन का स्थान है। फिर निम्न मानचित्र
![{\displaystyle \operatorname {p.\!v.} \left({\frac {1}{x}}\right)\,:\,{C_{c}^{\infty }}(\mathbb {R} )\to \mathbb {C} }](/index.php?title=Special:MathShowImage&hash=bec7d78560ff3af429df78e49112adeb&mode=mathml)
कॉची मुख्य मान के रूप में परिभाषित किया गया है
![{\displaystyle \left[\operatorname {p.\!v.} \left({\frac {1}{x}}\right)\right](u)=\lim _{\varepsilon \to 0^{+}}\int _{\mathbb {R} \setminus [-\varepsilon ,\varepsilon ]}{\frac {u(x)}{x}}\,\mathrm {d} x=\int _{0}^{+\infty }{\frac {u(x)-u(-x)}{x}}\,\mathrm {d} x\quad {\text{for }}u\in {C_{c}^{\infty }}(\mathbb {R} )}](/index.php?title=Special:MathShowImage&hash=5f65934b48a2c94ed32ce39f8b3dea30&mode=mathml)
एक
वितरण (गणित) है। मानचित्र को ही कभी-कभी मुख्य मूल्य कहा जा सकता है (इसलिए अंकन p.v.)। यह वितरण, उदाहरण के लिए,
संकेत प्रकार्य के फूरियर रूपांतरण और
हैवीसाइड सोपान फलन में प्रकट होता है।
एक वितरण के रूप में अच्छी तरह से परिभाषित
निम्न सीमा के अस्तित्व को सिद्ध करने के लिए
![{\displaystyle \int _{0}^{+\infty }{\frac {u(x)-u(-x)}{x}}\,\mathrm {d} x}](/index.php?title=Special:MathShowImage&hash=52343bbd2f2990086712243af6b25914&mode=mathml)
श्वार्ट्ज फलन के लिए
![{\displaystyle u(x)}](/index.php?title=Special:MathShowImage&hash=3bcb9e96da63c9cdc1e56647c2071688&mode=mathml)
है, पहले ध्यान दें कि
![{\displaystyle [0,\infty )}](/index.php?title=Special:MathShowImage&hash=acbf9ace2a792db9b6493cbdb4f06c5f&mode=mathml)
पर
![{\displaystyle {\frac {u(x)-u(-x)}{x}}}](/index.php?title=Special:MathShowImage&hash=dfe8216e339d0df52c5acecb03f43998&mode=mathml)
निरंतर चालू है। जैसे
![{\displaystyle \lim _{\,x\searrow 0\,}\;{\Bigl [}u(x)-u(-x){\Bigr ]}~=~0~}](/index.php?title=Special:MathShowImage&hash=2df40703723f329f8b5a3473ec1ef6fe&mode=mathml)
और इसलिए
![{\displaystyle \lim _{x\searrow 0}\,{\frac {u(x)-u(-x)}{x}}~=~\lim _{\,x\searrow 0\,}\,{\frac {u'(x)+u'(-x)}{1}}~=~2u'(0)~,}](/index.php?title=Special:MathShowImage&hash=57f882c2153726ecb237d1314479c34f&mode=mathml)
तब से
निरंतर है और होपितल का नियम लागू होता है।
इसलिए,
उपस्थित है और औसत मूल्य प्रमेय
को लागू करके हम निम्न पाते हैं:
![{\displaystyle \left|\,\int _{0}^{1}\,{\frac {u(x)-u(-x)}{x}}\,\mathrm {d} x\,\right|\;\leq \;\int _{0}^{1}{\frac {{\bigl |}u(x)-u(-x){\bigr |}}{x}}\,\mathrm {d} x\;\leq \;\int _{0}^{1}\,{\frac {\,2x\,}{x}}\,\sup _{x\in \mathbb {R} }\,{\Bigl |}u'(x){\Bigr |}\,\mathrm {d} x\;\leq \;2\,\sup _{x\in \mathbb {R} }\,{\Bigl |}u'(x){\Bigr |}~.}](/index.php?title=Special:MathShowImage&hash=07d7e0fa635aaac39a597d9cb9a2c050&mode=mathml)
और इसके अतिरिक्त:
![{\displaystyle \left|\,\int _{1}^{\infty }{\frac {\;u(x)-u(-x)\;}{x}}\,\mathrm {d} x\,\right|\;\leq \;2\,\sup _{x\in \mathbb {R} }\,{\Bigl |}x\cdot u(x){\Bigr |}~\cdot \;\int _{1}^{\infty }{\frac {\mathrm {d} x}{\,x^{2}\,}}\;=\;2\,\sup _{x\in \mathbb {R} }\,{\Bigl |}x\cdot u(x){\Bigr |}~,}](/index.php?title=Special:MathShowImage&hash=a96acac6a6150b89e3dbf88a93951c91&mode=mathml)
हम ध्यान दें कि मानचित्र
![{\displaystyle \operatorname {p.v.} \;\left({\frac {1}{\,x\,}}\right)\,:\,{C_{c}^{\infty }}(\mathbb {R} )\to \mathbb {C} }](/index.php?title=Special:MathShowImage&hash=63df224fe8d4083f74eda3e87e1259ee&mode=mathml)
श्वार्ट्ज कार्यों के लिए सामान्य सेमिनोर्म्स
![{\displaystyle u}](/index.php?title=Special:MathShowImage&hash=9c12cf3aa56843859e7af2363c1183a4&mode=mathml)
द्वारा सीमित है। इसलिए, यह मानचित्र परिभाषित करता है, क्योंकि यह स्पष्ट रूप से रैखिक है, श्वार्टज़ अंतरिक्ष पर निरंतर कार्यात्मक है और इसलिए एक संस्कारित वितरण है।
ध्यान दें कि प्रमाण के लिए केवल 0 के प्रतिवैस में लगातार भिन्न होने के लिए
की आवश्यकता होती है और
अनंत की ओर सीमित होना चाहिए। इसलिए मुख्य मूल्य को और भी कमजोर धारणाओं पर परिभाषित किया गया है जैसे कि
सघन समर्थन के साथ एकीकृत और 0 पर अलग-अलग हैं।
अधिक सामान्य परिभाषाएं
मुख्य मान फलन
का व्युत्क्रम वितरण है और इस विशेषता के साथ लगभग एकमात्र वितरण है:
![{\displaystyle xf=1\quad \Leftrightarrow \quad \exists K:\;\;f=\operatorname {p.\!v.} \left({\frac {1}{x}}\right)+K\delta ,}](/index.php?title=Special:MathShowImage&hash=4f0d12668ee116f7b4906d17bee99a73&mode=mathml)
जहाँ
![{\displaystyle K}](/index.php?title=Special:MathShowImage&hash=20bece015bc0b4532a910251c85d944d&mode=mathml)
स्थिर है और
![{\displaystyle \delta }](/index.php?title=Special:MathShowImage&hash=a86407e6fa57929b49d3507d1eba1e18&mode=mathml)
डिराक वितरण।
एक व्यापक अर्थ में, यूक्लिडियन अंतरिक्ष
पर एकवचन अभिन्न अभिन्न कर्नेल की एक विस्तृत श्रेणी के लिए प्रमुख मूल्य को परिभाषित किया जा सकता है। यदि
के मूल में एक पृथक विलक्षणता है, लेकिन एक अन्यथा "शिष्ट" फलन है, तो मुख्य मान वितरण को कॉम्पैक्टली अवलंबित सुचारू फलन पर परिभाषित किया गया है
![{\displaystyle [\operatorname {p.\!v.} (K)](f)=\lim _{\varepsilon \to 0}\int _{\mathbb {R} ^{n}\setminus B_{\varepsilon }(0)}f(x)K(x)\,\mathrm {d} x.}](/index.php?title=Special:MathShowImage&hash=86624f4f636bf02a63a7744cf510d79e&mode=mathml)
ऐसी सीमा अच्छी तरह से परिभाषित नहीं हो सकती है, या, अच्छी तरह से परिभाषित होने के कारण, यह आवश्यक रूप से वितरण को परिभाषित नहीं कर सकती है। हालाँकि, यह अच्छी तरह से परिभाषित है अगर
![{\displaystyle K}](/index.php?title=Special:MathShowImage&hash=20bece015bc0b4532a910251c85d944d&mode=mathml)
घात का एक सतत सजातीय कार्य है
![{\displaystyle -n}](/index.php?title=Special:MathShowImage&hash=6b998366ea8df9f0f2cd00e1e17b74b6&mode=mathml)
जिसका मूल पर केन्द्रित किसी भी गोले पर समाकलन लुप्त हो जाता है। उदाहरण के लिए,
रिज्ज़ रूपांतरण के विषय में यही स्थिति है।
उदाहरण
दो सीमाओं के मानों पर विचार करें:
![{\displaystyle \lim _{a\to 0+}\left(\int _{-1}^{-a}{\frac {\mathrm {d} x}{x}}+\int _{a}^{1}{\frac {\mathrm {d} x}{x}}\right)=0,}](/index.php?title=Special:MathShowImage&hash=c141ed12af9a2a378d6bcef29f39ed75&mode=mathml)
यह अन्यथा अ-परिभाषित अभिव्यक्ति का कॉशी प्रमुख मूल्य है
![{\displaystyle \int _{-1}^{1}{\frac {\mathrm {d} x}{x}},{\text{ (which gives }}{-\infty }+\infty {\text{)}}.}](/index.php?title=Special:MathShowImage&hash=f2a0e658b497badcbf916039c189206c&mode=mathml)
इसके साथ ही:
![{\displaystyle \lim _{a\to 0+}\left(\int _{-1}^{-2a}{\frac {\mathrm {d} x}{x}}+\int _{a}^{1}{\frac {\mathrm {d} x}{x}}\right)=\ln 2.}](/index.php?title=Special:MathShowImage&hash=5683b08dd30df99c0b0f922b580cc8b4&mode=mathml)
इसी तरह, हमारे पास है
![{\displaystyle \lim _{a\to \infty }\int _{-a}^{a}{\frac {2x\,\mathrm {d} x}{x^{2}+1}}=0,}](/index.php?title=Special:MathShowImage&hash=accba6696b9404b8bf46b1e1af716081&mode=mathml)
यह अन्यथा खराब परिभाषित अभिव्यक्ति का मुख्य मूल्य है
![{\displaystyle \int _{-\infty }^{\infty }{\frac {2x\,\mathrm {d} x}{x^{2}+1}}{\text{ (which gives }}{-\infty }+\infty {\text{)}}.}](/index.php?title=Special:MathShowImage&hash=eccb9257406a1af5fb26ed23c49f70ac&mode=mathml)
लेकिन
![{\displaystyle \lim _{a\to \infty }\int _{-2a}^{a}{\frac {2x\,\mathrm {d} x}{x^{2}+1}}=-\ln 4.}](/index.php?title=Special:MathShowImage&hash=b9105f12ebed72d9df318da45d70f6e1&mode=mathml)
चिन्हांकन
अलग-अलग लेखक फलन
के कॉची मुख्य मान के लिए अलग-अलग चिन्हांकन का उपयोग करते हैं, दूसरों के बीच में:
![{\displaystyle PV\int f(x)\,\mathrm {d} x,}](/index.php?title=Special:MathShowImage&hash=78517d0bd2121e5a082565d78cbcaf17&mode=mathml)
![{\displaystyle \mathrm {p.v.} \int f(x)\,\mathrm {d} x,}](/index.php?title=Special:MathShowImage&hash=c322236a0ac89ef13629134df56b2974&mode=mathml)
![{\displaystyle \int _{L}^{*}f(z)\,\mathrm {d} z,}](/index.php?title=Special:MathShowImage&hash=b0242c06f127fd211b065e01555b4960&mode=mathml)
![{\displaystyle -\!\!\!\!\!\!\int f(x)\,\mathrm {d} x,}](/index.php?title=Special:MathShowImage&hash=a15beeeef2fb71b24582f1205d7cf438&mode=mathml)
साथ ही
![{\displaystyle P,}](/index.php?title=Special:MathShowImage&hash=87fc582b5b6f286dea5c5eba273d4023&mode=mathml)
P.V.,
![{\displaystyle (CPV),}](/index.php?title=Special:MathShowImage&hash=5686264969c84a4bc73db0a09e17c01a&mode=mathml)
और V.P.
यह भी देखें
संदर्भ