कॉची मुख्य मान: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Method for assigning values to certain improper integrals which would otherwise be undefined}} {{about|a method for assigning values to improper integrals|...")
 
(TEXT)
Line 1: Line 1:
{{short description|Method for assigning values to certain improper integrals which would otherwise be undefined}}
{{short description|Method for assigning values to certain improper integrals which would otherwise be undefined}}
{{about|a method for assigning values to improper integrals|the values of a complex function associated with a single branch|Principal value|the negative-power portion of a [[Laurent series]]|Principal part}}
{{about|अनुचित समाकलों को मान निर्दिष्ट करने की एक विधि|एकल शाखा से संबद्ध जटिल फलन के मान|मुख्य मान|[[लॉरेंट श्रृंखला]] का नकारात्मक-शक्ति वाला भाग|मुख्य भाग}}
गणित में, [[ऑगस्टिन लुइस कॉची]] के नाम पर कॉची प्रिंसिपल वैल्यू, कुछ अनुचित इंटीग्रल को मान निर्दिष्ट करने की एक विधि है जो अन्यथा अपरिभाषित होगी।
गणित में, [[ऑगस्टिन लुइस कॉची]] के नाम पर कॉची मुख्य मान, कुछ अनुचित पूर्णांकी को मान निर्दिष्ट करने की एक विधि है जो अन्यथा अपरिभाषित होगी।


== सूत्रीकरण ==
== सूत्रीकरण ==
इंटीग्रैंड में [[गणितीय विलक्षणता]] के प्रकार पर निर्भर करता है {{mvar|f}}, कॉची प्रिंसिपल वैल्यू को निम्नलिखित नियमों के अनुसार परिभाषित किया गया है:
इंटीग्रैंड {{mvar|f}} में [[गणितीय विलक्षणता]] के प्रकार के आधार पर, कॉची मुख्य मान को निम्नलिखित नियमों के अनुसार परिभाषित किया गया है:


{{term|id=For a singularity at the finite number b|For a singularity at the finite number {{mvar|b}}}}{{defn|
{{term|id=परिमित संख्या b पर विलक्षणता के लिए|परिमित संख्या b पर विलक्षणता के लिए }}{{defn|
<math display="block">\lim_{ \; \varepsilon \to 0^+ \;} \, \left[ \, \int_a^{b-\varepsilon} f(x) \, \mathrm{d}x ~ + ~ \int_{b+\varepsilon}^c  f(x) \, \mathrm{d}x \, \right]</math>
<math display="block">\lim_{ \; \varepsilon \to 0^+ \;} \, \left[ \, \int_a^{b-\varepsilon} f(x) \, \mathrm{d}x ~ + ~ \int_{b+\varepsilon}^c  f(x) \, \mathrm{d}x \, \right]</math>
with <math> a < b < c </math> and where {{mvar|b}} is the difficult point, at which the behavior of the function {{mvar|f}} is such that
<math> a < b < c </math> के साथ और जहाँ b कठिन बिंदु है, जिस पर फलन f का व्यवहार ऐसा है कि
<math display="block">\int_a^b f(x)\,\mathrm{d}x = \pm\infty \quad</math> for any <math> a < b </math> and
<math display="block">\int_a^b f(x)\,\mathrm{d}x = \pm\infty \quad</math> किसी <math> a < b </math> के लिए
<math display="block">\int_b^c f(x)\,\mathrm{d}x = \mp\infty \quad</math> for any <math> b < c .</math>
<math display="block">\int_b^c f(x)\,\mathrm{d}x = \mp\infty \quad</math> किसी <math> b < c .</math> के लिए
(See [[Plus–minus sign#Minus plus sign|''plus or minus'']] for the precise use of notations ± and ∓.)
( अंकन ± और ∓ के सटीक उपयोग के लिए [[Plus–minus sign#Minus plus sign|''प्लस या माइनस'']] देखें .)
}}
}}
{{term|For a singularity at infinity (<math>\infty</math>)}}{{defn|
{{term|अनंत (<math>\infty</math>) पर एक विलक्षणता के लिए}}{{defn|
<math display="block">\lim_{a\to\infty} \, \int_{-a}^a f(x)\,\mathrm{d}x </math>
<math display="block">\lim_{a\to\infty} \, \int_{-a}^a f(x)\,\mathrm{d}x </math>
where <math display="block"> \int_{-\infty}^0 f(x) \,\mathrm{d}x = \pm\infty </math>
जहाँ <math display="block"> \int_{-\infty}^0 f(x) \,\mathrm{d}x = \pm\infty </math>
and <math display="block"> \int_0^\infty f(x) \,\mathrm{d}x = \mp\infty .</math>
और <math display="block"> \int_0^\infty f(x) \,\mathrm{d}x = \mp\infty .</math>
}}
}}


कुछ मामलों में एक परिमित संख्या में दोनों विलक्षणताओं से एक साथ निपटना आवश्यक है {{mvar|b}} और अनंत पर। यह आमतौर पर प्रपत्र की एक सीमा द्वारा किया जाता है
कुछ स्तिथियों में एक परिमित संख्या {{mvar|b}} और अनंत पर दोनों विलक्षणताओं से एक साथ निपटना आवश्यक है। यह सामान्यतः प्रपत्र की एक सीमा द्वारा किया जाता है
<math display="block">\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].</math>
<math display="block">\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].</math>
उन मामलों में जहां समाकल को दो स्वतंत्र, परिमित सीमाओं में विभाजित किया जा सकता है,
उन स्तिथियों में जहां समाकल को दो स्वतंत्र, परिमित सीमाओं में विभाजित किया जा सकता है,
<math display="block">\lim_{\; \varepsilon\to 0^+\;} \, \left|\,\int_a^{b-\varepsilon} f(x)\,\mathrm{d}x \,\right|\; < \;\infty </math>
<math display="block">\lim_{\; \varepsilon\to 0^+\;} \, \left|\,\int_a^{b-\varepsilon} f(x)\,\mathrm{d}x \,\right|\; < \;\infty </math>
और
और
<math display="block"> \lim_{\;\eta\to 0^+}\;\left|\,\int_{b+\eta}^c f(x)\,\mathrm{d}x \,\right| \; < \; \infty ,</math>
<math display="block"> \lim_{\;\eta\to 0^+}\;\left|\,\int_{b+\eta}^c f(x)\,\mathrm{d}x \,\right| \; < \; \infty ,</math>
तो समारोह सामान्य अर्थों में पूर्णांक है। मुख्य मूल्य के लिए प्रक्रिया का परिणाम साधारण अभिन्न के समान है; चूँकि यह अब परिभाषा से मेल नहीं खाता, यह तकनीकी रूप से एक प्रमुख मूल्य नहीं है।
तो फलन सामान्य अर्थों में पूर्णांक है। मुख्य मूल्य के लिए प्रक्रिया का परिणाम साधारण अभिन्न के समान है; चूँकि यह अब परिभाषा से मेल नहीं खाता, यह तकनीकी रूप से एक प्रमुख मूल्य नहीं है।


कॉची प्रिंसिपल वैल्यू को कॉम्प्लेक्स-वैल्यू फंक्शन के कंटूर इंटीग्रेशन के तरीके के रूप में भी परिभाषित किया जा सकता है <math> f(z) : z = x + i\, y \;,</math> साथ <math> x , y \in \mathbb{R} \;,</math> एक समोच्च पर एक पोल के साथ {{mvar|C}}. परिभाषित करना  <math>C(\varepsilon)</math> वही कंटूर हो, जहां डिस्क के अंदर का हिस्सा रेडियस का हो {{mvar|ε}} पोल के चारों ओर हटा दिया गया है। समारोह प्रदान किया <math>f(z)</math> समाकलनीय है <math>C(\varepsilon)</math> इससे कोई फर्क नहीं पड़ता, कि कितना छोटा है {{mvar|ε}} बन जाता है, तो कॉची प्रिंसिपल वैल्यू की सीमा है:<ref name=Kanwal>{{cite book |first=Ram P. |last=Kanwal |year=1996 |title=Linear Integral Equations: Theory and technique |edition=2nd |page=191 |publisher=Birkhäuser |place=Boston, MA |isbn=0-8176-3940-3 |url=https://books.google.com/books?id=-bV9Qn8NpCYC&q=+%22Poincar%C3%A9-Bertrand+transformation%22&pg=PA194 |via=Google Books}}</ref>
कॉची मुख्य मान को संकुल-मूल्य फलन <math> f(z) : z = x + i\, y \;</math> के साथ <math> x , y \in \mathbb{R} \;</math> के समोच्च एकीकरण के तरीके के रूप में भी समोच्च पर एक स्तम्भ {{mvar|C}} के साथ परिभाषित किया जा सकता है। <math>C(\varepsilon)</math> को उसी समोच्च के रूप में परिभाषित करें, जहां ध्रुव के चारों ओर त्रिज्या ε की चक्रिका के अंदर का हिस्सा हटा दिया गया है। बशर्ते कि फलन <math>f(z)</math> <math>C(\varepsilon)</math>पर समाकलनीय हो चाहे ε कितना ही छोटा क्यों न हो जाए, तो कौशी का मुख्य मान सीमा निम्न है:<ref name=Kanwal>{{cite book |first=Ram P. |last=Kanwal |year=1996 |title=Linear Integral Equations: Theory and technique |edition=2nd |page=191 |publisher=Birkhäuser |place=Boston, MA |isbn=0-8176-3940-3 |url=https://books.google.com/books?id=-bV9Qn8NpCYC&q=+%22Poincar%C3%A9-Bertrand+transformation%22&pg=PA194 |via=Google Books}}</ref>
<math display="block">\operatorname{p.\!v.} \int_{C} f(z) \,\mathrm{d}z = \lim_{\varepsilon \to 0^+} \int_{C( \varepsilon)} f(z)\, \mathrm{d}z  .</math>
<math display="block">\operatorname{p.\!v.} \int_{C} f(z) \,\mathrm{d}z = \lim_{\varepsilon \to 0^+} \int_{C( \varepsilon)} f(z)\, \mathrm{d}z  .</math>
Lebesgue इंटीग्रल | Lebesgue-integrable फ़ंक्शंस के मामले में, अर्थात्, फ़ंक्शंस जो पूर्ण मूल्य में पूर्णांक हैं, ये परिभाषाएँ इंटीग्रल की मानक परिभाषा के साथ मेल खाती हैं।
लेबसग्यु-पूर्णांक फलन की स्तिथि में, अर्थात्, फलन जो पूर्ण मूल्य में पूर्णांक हैं, ये परिभाषाएँ पूर्णांकी की मानक परिभाषा के साथ मेल खाती हैं।


यदि समारोह <math>f(z)</math> [[मेरोमोर्फिक]] है, सोखोत्स्की-प्लेमेलज प्रमेय इंटीग्रल ओवर के प्रमुख मूल्य से संबंधित है {{mvar|C}} इंटीग्रल के औसत-मान के साथ समोच्च के साथ थोड़ा ऊपर और नीचे विस्थापित हो गया, ताकि अव[[शेष प्रमेय]] को उन इंटीग्रल पर लागू किया जा सके।
यदि फलन <math>f(z)</math> [[मेरोमोर्फिक]] है, सोखोत्स्की-प्लेमेलज प्रमेय पूर्णांकी ओवर के प्रमुख मूल्य से संबंधित है {{mvar|C}} पूर्णांकी के औसत-मान के साथ समोच्च के साथ थोड़ा ऊपर और नीचे विस्थापित हो गया, ताकि अव[[शेष प्रमेय]] को उन पूर्णांकी पर लागू किया जा सके।


प्रिंसिपल वैल्यू इंटीग्रल्स [[हिल्बर्ट ट्रांसफॉर्म]] की चर्चा में एक केंद्रीय भूमिका निभाते हैं।<ref name=King>{{cite book |first=Frederick W. |last=King |year=2009 |title=हिल्बर्ट ट्रांसफॉर्म|publisher=Cambridge University Press |place=Cambridge, UK |isbn=978-0-521-88762-5}}</ref>
मुख्य मान पूर्णांकी [[हिल्बर्ट ट्रांसफॉर्म|हिल्बर्ट रूपांतरण]] की चर्चा में एक केंद्रीय भूमिका निभाते हैं।<ref name=King>{{cite book |first=Frederick W. |last=King |year=2009 |title=हिल्बर्ट ट्रांसफॉर्म|publisher=Cambridge University Press |place=Cambridge, UK |isbn=978-0-521-88762-5}}</ref>




== वितरण सिद्धांत ==
== वितरण सिद्धांत ==


होने देना <math> {C_{c}^{\infty}}(\mathbb{R}) </math> बम्प फ़ंक्शंस का सेट हो, यानी [[वास्तविक संख्या]] पर [[ कॉम्पैक्ट समर्थन ]] के साथ [[चिकना समारोह]] का स्थान <math> \mathbb{R} </math>. फिर नक्शा
मान लीजिये <math> {C_{c}^{\infty}}(\mathbb{R}) </math> बम्प फलन का सम्मुच्चय है, यानी [[वास्तविक संख्या]] <math> \mathbb{R} </math> पर [[ कॉम्पैक्ट समर्थन |सघन समर्थन]] के साथ [[चिकना समारोह|सुचारू फलन]] का स्थान है। फिर निम्न मानचित्र
<math display="block"> \operatorname{p.\!v.} \left( \frac{1}{x} \right) \,:\, {C_{c}^{\infty}}(\mathbb{R}) \to \mathbb{C} </math>
<math display="block"> \operatorname{p.\!v.} \left( \frac{1}{x} \right) \,:\, {C_{c}^{\infty}}(\mathbb{R}) \to \mathbb{C} </math>
कॉची प्रिंसिपल वैल्यू के रूप में परिभाषित किया गया है
कॉची मुख्य मान के रूप में परिभाषित किया गया है
<math display="block"> \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}) </math>
<math display="block"> \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}) </math>
एक [[वितरण (गणित)]] है। मानचित्र को ही कभी-कभी मुख्य मूल्य कहा जा सकता है (इसलिए अंकन p.v.)। यह वितरण, उदाहरण के लिए, [[साइन समारोह]] के फूरियर रूपांतरण और [[हैवीसाइड स्टेप फंक्शन]] में प्रकट होता है।
एक [[वितरण (गणित)]] है। मानचित्र को ही कभी-कभी मुख्य मूल्य कहा जा सकता है (इसलिए अंकन p.v.)। यह वितरण, उदाहरण के लिए, [[साइन समारोह|संकेत प्रकार्य]] के फूरियर रूपांतरण और [[हैवीसाइड स्टेप फंक्शन|हैवीसाइड सोपान फलन]] में प्रकट होता है।


=== एक वितरण के रूप में अच्छी तरह से परिभाषित ===
=== एक वितरण के रूप में अच्छी तरह से परिभाषित ===
सीमा के अस्तित्व को साबित करने के लिए
निम्न सीमा के अस्तित्व को सिद्ध करने के लिए
<math display="block"> \int_{0}^{+ \infty} \frac{u(x) - u(- x)}{x} \, \mathrm{d}x </math>
<math display="block"> \int_{0}^{+ \infty} \frac{u(x) - u(- x)}{x} \, \mathrm{d}x </math>
[[श्वार्ट्ज समारोह]] के लिए <math>u(x)</math>, पहले उसका निरीक्षण करें <math>\frac{u(x) - u(-x)}{x}</math> निरंतर चालू है <math>[0, \infty),</math> जैसा
[[श्वार्ट्ज समारोह|श्वार्ट्ज फलन]] के लिए <math>u(x)</math> है, पहले ध्यान दें कि <math>[0, \infty)</math> पर <math>\frac{u(x) - u(-x)}{x}</math> निरंतर चालू है। जैसे
<math display="block"> \lim_{\,x \searrow 0\,} \; \Bigl[ u(x) - u(-x) \Bigr] ~= ~0 ~</math>
<math display="block"> \lim_{\,x \searrow 0\,} \; \Bigl[ u(x) - u(-x) \Bigr] ~= ~0 ~</math>
और इसलिए
और इसलिए
  <math display="block"> \lim_{x\searrow 0} \, \frac{u(x) - u(-x)}{x} ~=~ \lim_{\,x\searrow 0\,} \, \frac{u'(x) + u'(-x)}{1} ~=~ 2u'(0)~, </math>
  <math display="block"> \lim_{x\searrow 0} \, \frac{u(x) - u(-x)}{x} ~=~ \lim_{\,x\searrow 0\,} \, \frac{u'(x) + u'(-x)}{1} ~=~ 2u'(0)~, </math>
तब से <math>u'(x)</math> निरंतर है और L'Hopital का नियम लागू होता है।
तब से <math>u'(x)</math> निरंतर है और होपितल का नियम लागू होता है।


इसलिए, <math>\int_0^1 \, \frac{u(x) - u(-x)}{x} \, \mathrm{d}x</math> मौजूद है और [[औसत मूल्य प्रमेय]] को लागू करके <math>u(x) - u(-x) ,</math> हम पाते हैं:
इसलिए, <math>\int_0^1 \, \frac{u(x) - u(-x)}{x} \, \mathrm{d}x</math> उपस्थित है और [[औसत मूल्य प्रमेय]] <math>u(x) - u(-x) ,</math> को लागू करके हम निम्न पाते हैं:
:<math> \left|\, \int_0^1\,\frac{u(x) - u(-x)}{x} \,\mathrm{d}x \,\right|
:<math> \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{\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\; \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| ~. </math>
\;\leq\; 2\,\sup_{x \in \mathbb{R} }\,\Bigl|u'(x)\Bigr| ~. </math>
और इसके अलावा:
और इसके अतिरिक्त:
:<math> \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| ~, </math>
:<math> \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| ~, </math>
हम ध्यान दें कि नक्शा
हम ध्यान दें कि मानचित्र
<math display="block"> \operatorname{p.v.}\;\left( \frac{1}{\,x\,} \right) \,:\, {C_{c}^{\infty}}(\mathbb{R}) \to \mathbb{C} </math>
<math display="block"> \operatorname{p.v.}\;\left( \frac{1}{\,x\,} \right) \,:\, {C_{c}^{\infty}}(\mathbb{R}) \to \mathbb{C} </math>
श्वार्ट्ज कार्यों के लिए सामान्य सेमिनोर्म्स द्वारा सीमित है <math> u</math>. इसलिए, यह मानचित्र परिभाषित करता है, क्योंकि यह स्पष्ट रूप से रैखिक है, [[श्वार्ट्ज अंतरिक्ष]] पर एक निरंतर कार्यात्मक है और इसलिए एक वितरण (गणित) # टेम्पर्ड वितरण और फूरियर परिवर्तन।
श्वार्ट्ज कार्यों के लिए सामान्य सेमिनोर्म्स <math> u</math> द्वारा सीमित है। इसलिए, यह मानचित्र परिभाषित करता है, क्योंकि यह स्पष्ट रूप से रैखिक है, श्वार्टज़ अंतरिक्ष पर निरंतर कार्यात्मक है और इसलिए एक संस्कारित वितरण है।


ध्यान दें कि सबूत की जरूरत है <math>u</math> केवल 0 और के पड़ोस में लगातार भिन्न होने के लिए <math> x\,u </math> अनंत की ओर बंधे होने के लिए। मुख्य मूल्य इसलिए भी कमजोर धारणाओं पर परिभाषित किया गया है जैसे कि <math>u</math> कॉम्पैक्ट समर्थन के साथ पूर्णांक और 0 पर अलग-अलग।
ध्यान दें कि प्रमाण के लिए केवल 0 के प्रतिवैस में लगातार भिन्न होने के लिए <math>u</math> की आवश्यकता होती है और <math> x\,u </math> अनंत की ओर सीमित होना चाहिए। इसलिए मुख्य मूल्य को और भी कमजोर धारणाओं पर परिभाषित किया गया है जैसे कि <math>u</math> सघन समर्थन के साथ एकीकृत और 0 पर अलग-अलग हैं।


===अधिक सामान्य परिभाषाएं===
===अधिक सामान्य परिभाषाएं===


मुख्य मान फ़ंक्शन का व्युत्क्रम वितरण है <math> x </math> और इस संपत्ति के साथ लगभग एकमात्र वितरण है:
मुख्य मान फलन <math> x </math> का व्युत्क्रम वितरण है और इस विशेषता के साथ लगभग एकमात्र वितरण है:
<math display="block"> x f = 1 \quad \Leftrightarrow \quad \exists K: \; \; f = \operatorname{p.\!v.} \left( \frac{1}{x} \right) + K \delta, </math>
<math display="block"> x f = 1 \quad \Leftrightarrow \quad \exists K: \; \; f = \operatorname{p.\!v.} \left( \frac{1}{x} \right) + K \delta, </math>
कहाँ <math> K </math> एक स्थिर और है <math> \delta </math> डिराक वितरण।
जहाँ <math> K </math> स्थिर है और <math> \delta </math> डिराक वितरण।


एक व्यापक अर्थ में, यूक्लिडियन अंतरिक्ष पर [[एकवचन अभिन्न]] [[अभिन्न कर्नेल]] की एक विस्तृत श्रेणी के लिए प्रमुख मूल्य को परिभाषित किया जा सकता है <math> \mathbb{R}^{n} </math>. अगर <math> K </math> मूल में एक पृथक विलक्षणता है, लेकिन एक अन्यथा अच्छा कार्य है, तो प्रिंसिपल-वैल्यू वितरण को कॉम्पैक्ट रूप से समर्थित सुचारू कार्यों पर परिभाषित किया गया है
एक व्यापक अर्थ में, यूक्लिडियन अंतरिक्ष <math> \mathbb{R}^{n} </math> पर [[एकवचन अभिन्न]] [[अभिन्न कर्नेल]] की एक विस्तृत श्रेणी के लिए प्रमुख मूल्य को परिभाषित किया जा सकता है। यदि <math> K </math> के मूल में एक पृथक विलक्षणता है, लेकिन एक अन्यथा "शिष्ट" फलन है, तो मुख्य मान वितरण को कॉम्पैक्टली अवलंबित सुचारू फलन पर परिभाषित किया गया है
<math display="block"> [\operatorname{p.\!v.} (K)](f) = \lim_{\varepsilon \to 0} \int_{\mathbb{R}^{n} \setminus B_{\varepsilon}(0)} f(x) K(x) \, \mathrm{d} x. </math>
<math display="block"> [\operatorname{p.\!v.} (K)](f) = \lim_{\varepsilon \to 0} \int_{\mathbb{R}^{n} \setminus B_{\varepsilon}(0)} f(x) K(x) \, \mathrm{d} x. </math>
ऐसी सीमा अच्छी तरह से परिभाषित नहीं हो सकती है, या, अच्छी तरह से परिभाषित होने के कारण, यह आवश्यक रूप से वितरण को परिभाषित नहीं कर सकती है। हालाँकि, यह अच्छी तरह से परिभाषित है अगर <math> K </math> डिग्री का एक सतत सजातीय कार्य है <math> -n </math> जिसका मूल पर केन्द्रित किसी भी गोले पर समाकलन लुप्त हो जाता है। उदाहरण के लिए, [[रिज्ज़ ट्रांसफॉर्म]] के मामले में यही स्थिति है।
ऐसी सीमा अच्छी तरह से परिभाषित नहीं हो सकती है, या, अच्छी तरह से परिभाषित होने के कारण, यह आवश्यक रूप से वितरण को परिभाषित नहीं कर सकती है। हालाँकि, यह अच्छी तरह से परिभाषित है अगर <math> K </math> घात का एक सतत सजातीय कार्य है <math> -n </math> जिसका मूल पर केन्द्रित किसी भी गोले पर समाकलन लुप्त हो जाता है। उदाहरण के लिए, [[रिज्ज़ ट्रांसफॉर्म|रिज्ज़ रूपांतरण]] के विषय में यही स्थिति है।


== उदाहरण ==
== उदाहरण ==
दो सीमाओं के मानों पर विचार करें:
दो सीमाओं के मानों पर विचार करें:
<math display="block">\lim_{a \to 0+}\left(\int_{-1}^{-a}\frac{\mathrm{d}x}{x} + \int_a^1\frac{\mathrm{d}x}{x}\right)=0,</math>
<math display="block">\lim_{a \to 0+}\left(\int_{-1}^{-a}\frac{\mathrm{d}x}{x} + \int_a^1\frac{\mathrm{d}x}{x}\right)=0,</math>
यह अन्यथा खराब परिभाषित अभिव्यक्ति का कॉची प्रमुख मूल्य है
यह अन्यथा अ-परिभाषित अभिव्यक्ति का कॉशी प्रमुख मूल्य है
<math display="block">\int_{-1}^1\frac{\mathrm{d}x}{x}, \text{ (which gives } {-\infty}+\infty \text{)}.</math>
<math display="block">\int_{-1}^1\frac{\mathrm{d}x}{x}, \text{ (which gives } {-\infty}+\infty \text{)}.</math>
भी:
इसके साथ ही:
<math display="block">\lim_{a \to 0+}\left(\int_{-1}^{-2 a}\frac{\mathrm{d}x}{x}+\int_{a}^1\frac{\mathrm{d}x}{x}\right)=\ln 2.</math>
<math display="block">\lim_{a \to 0+}\left(\int_{-1}^{-2 a}\frac{\mathrm{d}x}{x}+\int_{a}^1\frac{\mathrm{d}x}{x}\right)=\ln 2.</math>
इसी तरह, हमारे पास है
इसी तरह, हमारे पास है
Line 91: Line 91:




== नोटेशन ==
== चिन्हांकन ==


अलग-अलग लेखक फ़ंक्शन के कॉची प्रिंसिपल वैल्यू के लिए अलग-अलग नोटेशन का उपयोग करते हैं <math>f</math>, दूसरों के बीच में:
अलग-अलग लेखक फलन <math>f</math> के कॉची मुख्य मान के लिए अलग-अलग चिन्हांकन का उपयोग करते हैं, दूसरों के बीच में:
<math display="block">PV \int f(x)\,\mathrm{d}x,</math>
<math display="block">PV \int f(x)\,\mathrm{d}x,</math>
<math display="block">\mathrm{p.v.} \int f(x)\,\mathrm{d}x,</math>
<math display="block">\mathrm{p.v.} \int f(x)\,\mathrm{d}x,</math>
<math display="block">\int_L^*  f(z)\, \mathrm{d}z,</math>
<math display="block">\int_L^*  f(z)\, \mathrm{d}z,</math>
<math display="block"> -\!\!\!\!\!\!\int f(x)\,\mathrm{d}x,</math>
<math display="block"> -\!\!\!\!\!\!\int f(x)\,\mathrm{d}x,</math>
साथ ही <math>P,</math> पी.वी., <math>\mathcal{P},</math> <math>P_v,</math> <math>(CPV),</math> और वी.पी.
साथ ही <math>P,</math> P.V., <math>\mathcal{P},</math> <math>P_v,</math> <math>(CPV),</math> और V.P.


== यह भी देखें ==
== यह भी देखें ==

Revision as of 01:32, 24 March 2023

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

सूत्रीकरण

इंटीग्रैंड f में गणितीय विलक्षणता के प्रकार के आधार पर, कॉची मुख्य मान को निम्नलिखित नियमों के अनुसार परिभाषित किया गया है:

परिमित संख्या b पर विलक्षणता के लिए
के साथ और जहाँ b कठिन बिंदु है, जिस पर फलन f का व्यवहार ऐसा है कि
किसी के लिए
किसी के लिए ( अंकन ± और ∓ के सटीक उपयोग के लिए प्लस या माइनस देखें .)
अनंत () पर एक विलक्षणता के लिए
जहाँ
और

कुछ स्तिथियों में एक परिमित संख्या b और अनंत पर दोनों विलक्षणताओं से एक साथ निपटना आवश्यक है। यह सामान्यतः प्रपत्र की एक सीमा द्वारा किया जाता है

उन स्तिथियों में जहां समाकल को दो स्वतंत्र, परिमित सीमाओं में विभाजित किया जा सकता है,
और
तो फलन सामान्य अर्थों में पूर्णांक है। मुख्य मूल्य के लिए प्रक्रिया का परिणाम साधारण अभिन्न के समान है; चूँकि यह अब परिभाषा से मेल नहीं खाता, यह तकनीकी रूप से एक प्रमुख मूल्य नहीं है। कॉची मुख्य मान को संकुल-मूल्य फलन के साथ के समोच्च एकीकरण के तरीके के रूप में भी समोच्च पर एक स्तम्भ C के साथ परिभाषित किया जा सकता है। को उसी समोच्च के रूप में परिभाषित करें, जहां ध्रुव के चारों ओर त्रिज्या ε की चक्रिका के अंदर का हिस्सा हटा दिया गया है। बशर्ते कि फलन पर समाकलनीय हो चाहे ε कितना ही छोटा क्यों न हो जाए, तो कौशी का मुख्य मान सीमा निम्न है:[1]
लेबसग्यु-पूर्णांक फलन की स्तिथि में, अर्थात्, फलन जो पूर्ण मूल्य में पूर्णांक हैं, ये परिभाषाएँ पूर्णांकी की मानक परिभाषा के साथ मेल खाती हैं। यदि फलन मेरोमोर्फिक है, सोखोत्स्की-प्लेमेलज प्रमेय पूर्णांकी ओवर के प्रमुख मूल्य से संबंधित है C पूर्णांकी के औसत-मान के साथ समोच्च के साथ थोड़ा ऊपर और नीचे विस्थापित हो गया, ताकि अवशेष प्रमेय को उन पूर्णांकी पर लागू किया जा सके। मुख्य मान पूर्णांकी हिल्बर्ट रूपांतरण की चर्चा में एक केंद्रीय भूमिका निभाते हैं।[2]

वितरण सिद्धांत

मान लीजिये बम्प फलन का सम्मुच्चय है, यानी वास्तविक संख्या पर सघन समर्थन के साथ सुचारू फलन का स्थान है। फिर निम्न मानचित्र

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

एक वितरण के रूप में अच्छी तरह से परिभाषित

निम्न सीमा के अस्तित्व को सिद्ध करने के लिए

श्वार्ट्ज फलन के लिए है, पहले ध्यान दें कि पर निरंतर चालू है। जैसे
और इसलिए

तब से निरंतर है और होपितल का नियम लागू होता है।

इसलिए, उपस्थित है और औसत मूल्य प्रमेय को लागू करके हम निम्न पाते हैं:

और इसके अतिरिक्त:

हम ध्यान दें कि मानचित्र

श्वार्ट्ज कार्यों के लिए सामान्य सेमिनोर्म्स द्वारा सीमित है। इसलिए, यह मानचित्र परिभाषित करता है, क्योंकि यह स्पष्ट रूप से रैखिक है, श्वार्टज़ अंतरिक्ष पर निरंतर कार्यात्मक है और इसलिए एक संस्कारित वितरण है।

ध्यान दें कि प्रमाण के लिए केवल 0 के प्रतिवैस में लगातार भिन्न होने के लिए की आवश्यकता होती है और अनंत की ओर सीमित होना चाहिए। इसलिए मुख्य मूल्य को और भी कमजोर धारणाओं पर परिभाषित किया गया है जैसे कि सघन समर्थन के साथ एकीकृत और 0 पर अलग-अलग हैं।

अधिक सामान्य परिभाषाएं

मुख्य मान फलन का व्युत्क्रम वितरण है और इस विशेषता के साथ लगभग एकमात्र वितरण है:

जहाँ स्थिर है और डिराक वितरण।

एक व्यापक अर्थ में, यूक्लिडियन अंतरिक्ष पर एकवचन अभिन्न अभिन्न कर्नेल की एक विस्तृत श्रेणी के लिए प्रमुख मूल्य को परिभाषित किया जा सकता है। यदि के मूल में एक पृथक विलक्षणता है, लेकिन एक अन्यथा "शिष्ट" फलन है, तो मुख्य मान वितरण को कॉम्पैक्टली अवलंबित सुचारू फलन पर परिभाषित किया गया है

ऐसी सीमा अच्छी तरह से परिभाषित नहीं हो सकती है, या, अच्छी तरह से परिभाषित होने के कारण, यह आवश्यक रूप से वितरण को परिभाषित नहीं कर सकती है। हालाँकि, यह अच्छी तरह से परिभाषित है अगर घात का एक सतत सजातीय कार्य है जिसका मूल पर केन्द्रित किसी भी गोले पर समाकलन लुप्त हो जाता है। उदाहरण के लिए, रिज्ज़ रूपांतरण के विषय में यही स्थिति है।

उदाहरण

दो सीमाओं के मानों पर विचार करें:

यह अन्यथा अ-परिभाषित अभिव्यक्ति का कॉशी प्रमुख मूल्य है
इसके साथ ही:
इसी तरह, हमारे पास है
यह अन्यथा खराब परिभाषित अभिव्यक्ति का मुख्य मूल्य है
लेकिन


चिन्हांकन

अलग-अलग लेखक फलन के कॉची मुख्य मान के लिए अलग-अलग चिन्हांकन का उपयोग करते हैं, दूसरों के बीच में:

साथ ही P.V., और V.P.

यह भी देखें

संदर्भ

  1. Kanwal, Ram P. (1996). Linear Integral Equations: Theory and technique (2nd ed.). Boston, MA: Birkhäuser. p. 191. ISBN 0-8176-3940-3 – via Google Books.
  2. King, Frederick W. (2009). हिल्बर्ट ट्रांसफॉर्म. Cambridge, UK: Cambridge University Press. ISBN 978-0-521-88762-5.