हार्डी स्पेस: Difference between revisions
(Created page with "{{Short description|Concept within complex analysis}} {{redirect|Hardy class|the warships|Hardy class destroyer}} जटिल विश्लेषण में, हा...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Concept within complex analysis}} | {{Short description|Concept within complex analysis}} | ||
[[जटिल विश्लेषण]] में, हार्डी स्पेस (या हार्डी क्लास) ''एच<sup>पी</sup>[[यूनिट डिस्क]] या ऊपरी आधे तल पर [[होलोमोर्फिक फ़ंक्शन]] के कुछ स्थान (गणित) हैं। उनका परिचय [[फ्रिगयेस रिज़्ज़]] द्वारा किया गया था {{harv|Riesz|1923}}, जिन्होंने पेपर के कारण उनका नाम जी. एच. हार्डी के नाम पर रखा {{harv|Hardy|1915}}. [[वास्तविक विश्लेषण]] में हार्डी स्पेस वास्तविक रेखा पर [[वितरण (गणित)]] के कुछ निश्चित स्थान हैं, जो (वितरण के अर्थ में) [[जटिल संख्या]] हार्डी स्पेस के होलोमोर्फिक कार्यों के सीमा मान हैं, और एलपी स्पेस से संबंधित हैं।'' एल<sup>[[कार्यात्मक विश्लेषण]] के स्थान। 1 ≤ p <∞ के लिए ये वास्तविक हार्डी स्पेस एच<sup>p</sup>L के कुछ उपसमुच्चय हैं<sup>पी</sup>, जबकि पी <1 के लिए एल<sup>पी</sup> रिक्त स्थान में कुछ अवांछनीय गुण हैं, और हार्डी रिक्त स्थान बहुत बेहतर व्यवहार वाले हैं। | [[जटिल विश्लेषण]] में, हार्डी स्पेस (या हार्डी क्लास) ''एच<sup>पी</sup>[[यूनिट डिस्क]] या ऊपरी आधे तल पर [[होलोमोर्फिक फ़ंक्शन]] के कुछ स्थान (गणित) हैं। उनका परिचय [[फ्रिगयेस रिज़्ज़]] द्वारा किया गया था {{harv|Riesz|1923}}, जिन्होंने पेपर के कारण उनका नाम जी. एच. हार्डी के नाम पर रखा {{harv|Hardy|1915}}. [[वास्तविक विश्लेषण]] में हार्डी स्पेस वास्तविक रेखा पर [[वितरण (गणित)]] के कुछ निश्चित स्थान हैं, जो (वितरण के अर्थ में) [[जटिल संख्या]] हार्डी स्पेस के होलोमोर्फिक कार्यों के सीमा मान हैं, और एलपी स्पेस से संबंधित हैं।'' एल<sup>[[कार्यात्मक विश्लेषण]] के स्थान। 1 ≤ p <∞ के लिए ये वास्तविक हार्डी स्पेस एच<sup>p</sup>L के कुछ उपसमुच्चय हैं<sup>पी</sup>, जबकि पी <1 के लिए एल<sup>पी</sup> रिक्त स्थान में कुछ अवांछनीय गुण हैं, और हार्डी रिक्त स्थान बहुत बेहतर व्यवहार वाले हैं। | ||
Line 33: | Line 32: | ||
:<math>\forall n \in \mathbf{Z}, \ \ \ \hat{g}(n) = \frac{1}{2\pi}\int_0^{2\pi} g\left(e^{i\phi}\right) e^{-in\phi} \, \mathrm{d}\phi.</math> | :<math>\forall n \in \mathbf{Z}, \ \ \ \hat{g}(n) = \frac{1}{2\pi}\int_0^{2\pi} g\left(e^{i\phi}\right) e^{-in\phi} \, \mathrm{d}\phi.</math> | ||
अंतरिक्ष एच<sup>p</sup>('T') L का एक बंद उपस्थान है<sup>पी</sup>('टी'). चूंकि एल<sup>p</sup>('T') एक [[ बनच स्थान ]] है (1 ≤ p ≤ ∞ के लिए), तो H भी है<sup>पी</sup>('टी'). | अंतरिक्ष एच<sup>p</sup>('T') L का एक बंद उपस्थान है<sup>पी</sup>('टी'). चूंकि एल<sup>p</sup>('T') एक [[ बनच स्थान |बनच स्थान]] है (1 ≤ p ≤ ∞ के लिए), तो H भी है<sup>पी</sup>('टी'). | ||
उपरोक्त को पलटा जा सकता है। एक फ़ंक्शन दिया गया <math>\tilde f \in L^p (\mathbf T)</math>, पी ≥ 1 के साथ, कोई [[पॉइसन कर्नेल]] पी के माध्यम से यूनिट डिस्क पर एक ([[हार्मोनिक फ़ंक्शन]]) फ़ंक्शन एफ पुनः प्राप्त कर सकता है<sub>r</sub>: | उपरोक्त को पलटा जा सकता है। एक फ़ंक्शन दिया गया <math>\tilde f \in L^p (\mathbf T)</math>, पी ≥ 1 के साथ, कोई [[पॉइसन कर्नेल]] पी के माध्यम से यूनिट डिस्क पर एक ([[हार्मोनिक फ़ंक्शन]]) फ़ंक्शन एफ पुनः प्राप्त कर सकता है<sub>r</sub>: | ||
Line 44: | Line 43: | ||
=== सर्कल पर वास्तविक हार्डी रिक्त स्थान से कनेक्शन === | === सर्कल पर वास्तविक हार्डी रिक्त स्थान से कनेक्शन === | ||
जब 1 ≤ p < ∞, वास्तविक हार्डी स्थान H होता है<sup>पी</sup>ने आगे चर्चा की | जब 1 ≤ p < ∞, वास्तविक हार्डी स्थान H होता है<sup>पी</sup>ने आगे चर्चा की इस आलेख में वर्तमान संदर्भ में वर्णन करना आसान है। यूनिट सर्कल पर एक वास्तविक फ़ंक्शन एफ वास्तविक हार्डी स्पेस एच से संबंधित है<sup>p</sup>('T') यदि यह H में किसी फ़ंक्शन का वास्तविक हिस्सा है<sup>p</sup>('T'), और एक जटिल फ़ंक्शन f वास्तविक हार्डी स्पेस से संबंधित है यदि Re(f) और Im(f) स्पेस से संबंधित हैं (नीचे वास्तविक हार्डी स्पेस पर अनुभाग देखें)। इस प्रकार 1 ≤ p < ∞ के लिए, वास्तविक हार्डी स्पेस में हार्डी स्पेस शामिल है, लेकिन यह बहुत बड़ा है, क्योंकि फ़ंक्शन के वास्तविक और काल्पनिक भाग के बीच कोई संबंध नहीं लगाया गया है। | ||
0 <p <1 के लिए, फूरियर गुणांक, पॉइसन इंटीग्रल, संयुग्म फ़ंक्शन जैसे उपकरण अब मान्य नहीं हैं। उदाहरण के लिए, फ़ंक्शन पर विचार करें | 0 <p <1 के लिए, फूरियर गुणांक, पॉइसन इंटीग्रल, संयुग्म फ़ंक्शन जैसे उपकरण अब मान्य नहीं हैं। उदाहरण के लिए, फ़ंक्शन पर विचार करें | ||
Line 52: | Line 51: | ||
:<math>f(e^{i\theta}):= \lim_{r\to1} F(r e^{i\theta}) = i \, \cot(\tfrac{\theta}{2}).</math> | :<math>f(e^{i\theta}):= \lim_{r\to1} F(r e^{i\theta}) = i \, \cot(\tfrac{\theta}{2}).</math> | ||
एई के लिए मौजूद है θ और H में है<sup>p</sup>('T'), लेकिन Re(f) लगभग हर जगह 0 है, इसलिए Re(f) से F को पुनर्प्राप्त करना अब संभव नहीं है। इस उदाहरण के परिणामस्वरूप, कोई देखता है कि 0 < p < 1 के लिए, कोई वास्तविक-H का वर्णन नहीं कर सकता है<sup>p</sup>('T') (नीचे परिभाषित) ऊपर दिए गए सरल तरीके से, | एई के लिए मौजूद है θ और H में है<sup>p</sup>('T'), लेकिन Re(f) लगभग हर जगह 0 है, इसलिए Re(f) से F को पुनर्प्राप्त करना अब संभव नहीं है। इस उदाहरण के परिणामस्वरूप, कोई देखता है कि 0 < p < 1 के लिए, कोई वास्तविक-H का वर्णन नहीं कर सकता है<sup>p</sup>('T') (नीचे परिभाषित) ऊपर दिए गए सरल तरीके से, लेकिन अधिकतम फ़ंक्शंस का उपयोग करके वास्तविक परिभाषा का उपयोग करना चाहिए, जो नीचे कहीं और दिया गया है। | ||
समान फलन F के लिए, मान लीजिए f<sub>r</sub>(यह है<sup>iθ</sup>) = F(re<sup>iθ</sup>). सीमा जब r → Re(f) का 1<sub>r</sub>), सर्कल पर वितरण (गणित) के अर्थ में, z = 1 पर [[डिराक वितरण]] का एक गैर-शून्य गुणक है। यूनिट सर्कल के एक बिंदु पर डिराक वितरण वास्तविक-एच से संबंधित है<sup>प्रत्येक p <1 के लिए p</sup>('T') (नीचे देखें)। | समान फलन F के लिए, मान लीजिए f<sub>r</sub>(यह है<sup>iθ</sup>) = F(re<sup>iθ</sup>). सीमा जब r → Re(f) का 1<sub>r</sub>), सर्कल पर वितरण (गणित) के अर्थ में, z = 1 पर [[डिराक वितरण]] का एक गैर-शून्य गुणक है। यूनिट सर्कल के एक बिंदु पर डिराक वितरण वास्तविक-एच से संबंधित है<sup>प्रत्येक p <1 के लिए p</sup>('T') (नीचे देखें)। | ||
Line 58: | Line 57: | ||
==आंतरिक और बाहरी कार्यों में गुणनखंडीकरण (ब्यूर्लिंग)== | ==आंतरिक और बाहरी कार्यों में गुणनखंडीकरण (ब्यूर्लिंग)== | ||
0 <p ≤ ∞ के लिए, H में प्रत्येक गैर-शून्य फ़ंक्शन f<sup>p</sup> को उत्पाद f = Gh के रूप में लिखा जा सकता है जहां G एक बाहरी फ़ंक्शन है और h एक आंतरिक फ़ंक्शन है, जैसा कि नीचे परिभाषित किया गया है {{harv|Rudin|1987|loc=Thm 17.17}}. यह [[अर्ने बर्लिंग]] फ़ैक्टराइज़ेशन हार्डी स्पेस को आंतरिक और बाहरी कार्यों के स्थानों द्वारा पूरी तरह से चित्रित करने की अनुमति देता है।<ref>{{cite journal|author=Beurling, Arne|title=हिल्बर्ट अंतरिक्ष में रैखिक परिवर्तनों से संबंधित दो समस्याओं पर|journal= [[Acta Mathematica]] |volume=81|year=1948|pages=239–255|doi=10.1007/BF02395019|doi-access=free}}</ref><ref>{{cite journal|title=रीमैन सतहों पर आंतरिक और बाहरी कार्य|author=Voichick, Michael|author2=Zalcman, Lawrence|author-link2=Lawrence Zalcman|journal= [[Proceedings of the American Mathematical Society]] |volume=16|issue=6|year=1965 |pages=1200–1204|doi=10.1090/S0002-9939-1965-0183883-1|doi-access=free}}</ref> | 0 <p ≤ ∞ के लिए, H में प्रत्येक गैर-शून्य फ़ंक्शन f<sup>p</sup> को उत्पाद f = Gh के रूप में लिखा जा सकता है जहां G एक बाहरी फ़ंक्शन है और h एक आंतरिक फ़ंक्शन है, जैसा कि नीचे परिभाषित किया गया है {{harv|Rudin|1987|loc=Thm 17.17}}. यह [[अर्ने बर्लिंग]] फ़ैक्टराइज़ेशन हार्डी स्पेस को आंतरिक और बाहरी कार्यों के स्थानों द्वारा पूरी तरह से चित्रित करने की अनुमति देता है।<ref>{{cite journal|author=Beurling, Arne|title=हिल्बर्ट अंतरिक्ष में रैखिक परिवर्तनों से संबंधित दो समस्याओं पर|journal= [[Acta Mathematica]] |volume=81|year=1948|pages=239–255|doi=10.1007/BF02395019|doi-access=free}}</ref><ref>{{cite journal|title=रीमैन सतहों पर आंतरिक और बाहरी कार्य|author=Voichick, Michael|author2=Zalcman, Lawrence|author-link2=Lawrence Zalcman|journal= [[Proceedings of the American Mathematical Society]] |volume=16|issue=6|year=1965 |pages=1200–1204|doi=10.1090/S0002-9939-1965-0183883-1|doi-access=free}}</ref> | ||
एक का कहना है कि G(z) | एक का कहना है कि G(z) यदि यह रूप लेता है तो यह एक बाहरी (बाहरी) कार्य है | ||
:<math>G(z) = c\, \exp\left(\frac{1}{2\pi}\int_{-\pi}^{\pi}\frac{e^{i\theta}+z}{e^{i\theta}-z} \log\!\left(\varphi\!\left(e^{i\theta} \right)\right)\, \mathrm{d}\theta \right)</math> | :<math>G(z) = c\, \exp\left(\frac{1}{2\pi}\int_{-\pi}^{\pi}\frac{e^{i\theta}+z}{e^{i\theta}-z} \log\!\left(\varphi\!\left(e^{i\theta} \right)\right)\, \mathrm{d}\theta \right)</math> | ||
Line 69: | Line 68: | ||
:<math>\lim_{r\to 1^-} h(re^{i\theta})</math> | :<math>\lim_{r\to 1^-} h(re^{i\theta})</math> | ||
[[लगभग सभी]] θ के लिए मौजूद है और इसका निरपेक्ष मान 1 ae के बराबर है। विशेष रूप से, h, H में है<sup>∞</sup>. | [[लगभग सभी]] θ के लिए मौजूद है और इसका निरपेक्ष मान 1 ae के बराबर है। विशेष रूप से, h, H में है<sup>∞</sup>.आंतरिक कार्य को आगे ब्लाश्के उत्पाद से जुड़े एक रूप में शामिल किया जा सकता है। | ||
फ़ंक्शन f, f = Gh के रूप में विघटित होता है, | फ़ंक्शन f, f = Gh के रूप में विघटित होता है, एच में है<sup>p</sup> यदि और केवल यदि φ L से संबंधित है<sup>p</sup>('T'), जहां φ बाहरी फ़ंक्शन G के प्रतिनिधित्व में सकारात्मक फ़ंक्शन है। | ||
मान लीजिए कि G एक बाहरी फलन है जिसे वृत्त पर एक फलन φ से ऊपर दर्शाया गया है। φ को φ से प्रतिस्थापित करना<sup>α</sup>, α > 0, एक परिवार (जी<sub>α</sub>) बाहरी कार्यों को गुणों के साथ प्राप्त किया जाता है: | मान लीजिए कि G एक बाहरी फलन है जिसे वृत्त पर एक फलन φ से ऊपर दर्शाया गया है। φ को φ से प्रतिस्थापित करना<sup>α</sup>, α > 0, एक परिवार (जी<sub>α</sub>) बाहरी कार्यों को गुणों के साथ प्राप्त किया जाता है: | ||
Line 88: | Line 87: | ||
:<math>e^{i\varphi} \rightarrow P_r(\theta - \varphi).</math> | :<math>e^{i\varphi} \rightarrow P_r(\theta - \varphi).</math> | ||
0 < p < ∞ के लिए, वास्तविक हार्डी स्पेस H<sup>p</sup>('T') में वितरण f इस प्रकार शामिल है कि | 0 < p < ∞ के लिए, वास्तविक हार्डी स्पेस H<sup>p</sup>('T') में वितरण f इस प्रकार शामिल है कि M f L में है<sup>पी</sup>('टी'). | ||
फ़ंक्शन F को यूनिट डिस्क पर F(re) द्वारा परिभाषित किया गया है<sup>iθ</sup>) = (f * P<sub>r</sub>)(यह है<sup>iθ</sup>) हार्मोनिक है, और | फ़ंक्शन F को यूनिट डिस्क पर F(re) द्वारा परिभाषित किया गया है<sup>iθ</sup>) = (f * P<sub>r</sub>)(यह है<sup>iθ</sup>) हार्मोनिक है, और M f F का रेडियल अधिकतम फ़ंक्शन है। जब M f L से संबंधित है<sup>p</sup>('T') और p ≥ 1, वितरण f L में एक फ़ंक्शन है<sup>p</sup>('T'), अर्थात् F का सीमा मान। p ≥ 1 के लिए, वास्तविक हार्डी स्पेस H<sup>p</sup>('T') L का उपसमुच्चय है<sup>पी</sup>('टी'). | ||
=== संयुग्मी फलन === | === संयुग्मी फलन === | ||
Line 99: | Line 98: | ||
* फ़ंक्शन ''f'' कुछ फ़ंक्शन ''g'' ∈ ''H'' का वास्तविक भाग है<sup>पी</sup>('टी') | * फ़ंक्शन ''f'' कुछ फ़ंक्शन ''g'' ∈ ''H'' का वास्तविक भाग है<sup>पी</sup>('टी') | ||
* फलन f और इसका संयुग्म H(f) L से संबंधित हैं<sup>पी</sup>('टी') | * फलन f और इसका संयुग्म H(f) L से संबंधित हैं<sup>पी</sup>('टी') | ||
* रेडियल अधिकतम फलन M | * रेडियल अधिकतम फलन M f L से संबंधित है<sup>पी</sup>('टी'). | ||
जब 1 < p < ∞, H(f) L से संबंधित होता है<sup>p</sup>('T') जब f ∈ L<sup>पी</sup>('टी'), इसलिए वास्तविक हार्डी स्पेस एच<sup>p</sup>('T') L से मेल खाता है<sup>इस मामले में p</sup>('T')। पी = 1 के लिए, वास्तविक हार्डी स्पेस एच<sup>1</sup>(T) ''L'' का एक उचित उपसमष्टि है<sup>1</sup>(टी). | जब 1 < p < ∞, H(f) L से संबंधित होता है<sup>p</sup>('T') जब f ∈ L<sup>पी</sup>('टी'), इसलिए वास्तविक हार्डी स्पेस एच<sup>p</sup>('T') L से मेल खाता है<sup>इस मामले में p</sup>('T')। पी = 1 के लिए, वास्तविक हार्डी स्पेस एच<sup>1</sup>(T) ''L'' का एक उचित उपसमष्टि है<sup>1</sup>(टी). | ||
''पी'' = ∞ के मामले को वास्तविक हार्डी स्पेस की परिभाषा से बाहर रखा गया था, क्योंकि ''एल'' का अधिकतम फ़ंक्शन ''एम एफ'' <sup>∞</sup>फ़ंक्शन हमेशा सीमित होता है, और क्योंकि यह वांछनीय नहीं है कि वास्तविक-H<sup>∞</sup>L के बराबर हो<sup>∞</sup>. हालाँकि, निम्नलिखित दो गुण वास्तविक मूल्यवान फ़ंक्शन f के लिए समतुल्य हैं | ''पी'' = ∞ के मामले को वास्तविक हार्डी स्पेस की परिभाषा से बाहर रखा गया था, क्योंकि ''एल'' का अधिकतम फ़ंक्शन ''एम एफ'' <sup>∞</sup>फ़ंक्शन हमेशा सीमित होता है, और क्योंकि यह वांछनीय नहीं है कि वास्तविक-H<sup>∞</sup>L के बराबर हो<sup>∞</sup>. हालाँकि, निम्नलिखित दो गुण वास्तविक मूल्यवान फ़ंक्शन f के लिए समतुल्य हैं | ||
*फ़ंक्शन | *फ़ंक्शन f कुछ फ़ंक्शन g ∈ H का वास्तविक भाग है<sup>∞</sup>(टी) | ||
* फ़ंक्शन ''f'' | * फ़ंक्शन ''f'' और इसका संयुग्म ''H(f)'' ''L'' से संबंधित है<sup>∞</sup>(टी). | ||
=== 0 <पी <1 === के लिए वास्तविक हार्डी रिक्त स्थान | === 0 <पी <1 === के लिए वास्तविक हार्डी रिक्त स्थान | ||
Line 129: | Line 128: | ||
:<math>\|f\|_{H^\infty} = \sup_{z\in\mathbf{H}}|f(z)|.</math> | :<math>\|f\|_{H^\infty} = \sup_{z\in\mathbf{H}}|f(z)|.</math> | ||
हालाँकि यूनिट डिस्क डी और ऊपरी आधे-प्लेन एच को मोबियस ट्रांसफॉर्मेशन के माध्यम से एक दूसरे से मैप किया जा सकता है, वे विनिमेय नहीं हैं | हालाँकि यूनिट डिस्क डी और ऊपरी आधे-प्लेन एच को मोबियस ट्रांसफॉर्मेशन के माध्यम से एक दूसरे से मैप किया जा सकता है, वे विनिमेय नहीं हैं हार्डी स्पेस के लिए डोमेन के रूप में। इस अंतर में योगदान देने वाला तथ्य यह है कि इकाई वृत्त में परिमित (एक-आयामी) [[लेब्सेग माप]] होता है जबकि वास्तविक रेखा में ऐसा नहीं होता है। हालाँकि, H वर्ग|H के लिए<sup>2</sup>, किसी के पास निम्नलिखित प्रमेय है: यदि m : 'D' → 'H' मोबियस परिवर्तन को दर्शाता है | ||
:<math>m(z)= i \cdot \frac{1+z}{1-z}.</math> | :<math>m(z)= i \cdot \frac{1+z}{1-z}.</math> | ||
Line 138: | Line 137: | ||
==आर के लिए वास्तविक हार्डी रिक्त स्थान<sup>n</sup>== | ==आर के लिए वास्तविक हार्डी रिक्त स्थान<sup>n</sup>== | ||
वास्तविक सदिश समष्टि 'R' पर विश्लेषण में<sup>n</sup>, हार्डी स्पेस | वास्तविक सदिश समष्टि 'R' पर विश्लेषण में<sup>n</sup>, हार्डी स्पेस एच<sup>p</sup> (0 < p ≤ ∞ के लिए) में वितरण (गणित)#टेम्पर्ड वितरण और फूरियर रूपांतरण शामिल हैं f ऐसा है कि कुछ [[श्वार्ट्ज फ़ंक्शन]] के लिए Φ ∫Φ = 1 के साथ, अधिकतम फ़ंक्शन | ||
:<math>(M_\Phi f)(x)=\sup_{t>0}|(f*\Phi_t)(x)|</math> | :<math>(M_\Phi f)(x)=\sup_{t>0}|(f*\Phi_t)(x)|</math> | ||
एल में है<sup>पी</sup>('आर'<sup>n</sup>), | एल में है<sup>पी</sup>('आर'<sup>n</sup>), जहां ∗ कनवल्शन है और {{nowrap|Φ<sub>''t'' </sub>(''x'') {{=}}}} {{nowrap|''t''<sup> −''n''</sup>Φ(''x'' / ''t'')}}. एच<sup>p</sup>-[[quasinorm]] ||f ||<sub>''Hp''</sub> एच के वितरण एफ का<sup>p</sup> को L के रूप में परिभाषित किया गया है<sup>पी</sup>एम का मानदंड<sub>Φ</sub>f (यह Φ की पसंद पर निर्भर करता है, लेकिन श्वार्ट्ज फ़ंक्शन के विभिन्न विकल्प Φ समकक्ष मानदंड देते हैं)। एच<sup>p</sup>-quasinorm एक मानक है जब p ≥ 1, लेकिन नहीं जब p <1. | ||
यदि 1 < p < ∞, हार्डी स्पेस H<sup>p</sup> L के समान ही सदिश समष्टि है<sup>पी</sup>, समतुल्य मानदंड के साथ। जब p = 1, हार्डी स्पेस H<sup>1</sup>L का एक उचित उपसमष्टि है<sup>1</sup>. कोई एच में अनुक्रम पा सकता है<sup>1</sup>जो L में परिबद्ध हैं<sup>1</sup>लेकिन H में अनबाउंड<sup>1</sup>, उदाहरण के लिए लाइन पर | यदि 1 < p < ∞, हार्डी स्पेस H<sup>p</sup> L के समान ही सदिश समष्टि है<sup>पी</sup>, समतुल्य मानदंड के साथ। जब p = 1, हार्डी स्पेस H<sup>1</sup>L का एक उचित उपसमष्टि है<sup>1</sup>. कोई एच में अनुक्रम पा सकता है<sup>1</sup>जो L में परिबद्ध हैं<sup>1</sup>लेकिन H में अनबाउंड<sup>1</sup>, उदाहरण के लिए लाइन पर | ||
Line 148: | Line 147: | ||
एल<sup>1</sup>और एच<sup>1</sup>मानदंड H पर समतुल्य नहीं हैं<sup>1</sup>, और एच<sup>1</sup>एल में बंद नहीं है<sup>1</sup>. एच का द्वैत<sup>1</sup>[[परिबद्ध माध्य दोलन]] के कार्यों का स्थान बीएमओ है। अंतरिक्ष बीएमओ में असीमित कार्य शामिल हैं (फिर से साबित होता है कि एच<sup>1</sup>एल में बंद नहीं है<sup>1</sup>). | एल<sup>1</sup>और एच<sup>1</sup>मानदंड H पर समतुल्य नहीं हैं<sup>1</sup>, और एच<sup>1</sup>एल में बंद नहीं है<sup>1</sup>. एच का द्वैत<sup>1</sup>[[परिबद्ध माध्य दोलन]] के कार्यों का स्थान बीएमओ है। अंतरिक्ष बीएमओ में असीमित कार्य शामिल हैं (फिर से साबित होता है कि एच<sup>1</sup>एल में बंद नहीं है<sup>1</sup>). | ||
यदि p<1 तो हार्डी स्पेस H<sup>p</sup> में ऐसे तत्व हैं जो फ़ंक्शन नहीं हैं, और यह दोहरा है | यदि p<1 तो हार्डी स्पेस H<sup>p</sup> में ऐसे तत्व हैं जो फ़ंक्शन नहीं हैं, और यह दोहरा है क्रम n(1/p − 1) का सजातीय लिप्सचिट्ज़ स्थान है। जब पी <1, एच<sup>पी</sup>-क्वासिनोर्म कोई मानक नहीं है, क्योंकि यह सबएडिटिव नहीं है। pth शक्ति ||f ||<sub>''Hp''</sub><sup>p < 1 के लिए p</sup> उप-योगात्मक है और इसलिए यह हार्डी स्पेस H पर एक मीट्रिक को परिभाषित करता है<sup>p</sup>, जो टोपोलॉजी को परिभाषित करता है और H बनाता है<sup>पूर्ण मीट्रिक स्थान में p</sup>। | ||
=== परमाणु अपघटन === | === परमाणु अपघटन === |
Revision as of 23:08, 6 July 2023
जटिल विश्लेषण में, हार्डी स्पेस (या हार्डी क्लास) एचपीयूनिट डिस्क या ऊपरी आधे तल पर होलोमोर्फिक फ़ंक्शन के कुछ स्थान (गणित) हैं। उनका परिचय फ्रिगयेस रिज़्ज़ द्वारा किया गया था (Riesz 1923), जिन्होंने पेपर के कारण उनका नाम जी. एच. हार्डी के नाम पर रखा (Hardy 1915). वास्तविक विश्लेषण में हार्डी स्पेस वास्तविक रेखा पर वितरण (गणित) के कुछ निश्चित स्थान हैं, जो (वितरण के अर्थ में) जटिल संख्या हार्डी स्पेस के होलोमोर्फिक कार्यों के सीमा मान हैं, और एलपी स्पेस से संबंधित हैं। एलकार्यात्मक विश्लेषण के स्थान। 1 ≤ p <∞ के लिए ये वास्तविक हार्डी स्पेस एचpL के कुछ उपसमुच्चय हैंपी, जबकि पी <1 के लिए एलपी रिक्त स्थान में कुछ अवांछनीय गुण हैं, और हार्डी रिक्त स्थान बहुत बेहतर व्यवहार वाले हैं।
उच्च-आयामी सामान्यीकरण भी हैं, जिसमें जटिल मामले में ट्यूब डोमेन पर कुछ होलोमोर्फिक फ़ंक्शन या 'आर' पर वितरण के कुछ स्थान शामिल हैं।nवास्तविक मामले में।
हार्डी स्पेस के गणितीय विश्लेषण के साथ-साथ नियंत्रण सिद्धांत (जैसे कि एच इन्फिनिटी|एच) में भी कई अनुप्रयोग हैं∞तरीकों) और प्रकीर्णन सिद्धांत में।
यूनिट डिस्क के लिए हार्डी रिक्त स्थान
खुली इकाई डिस्क पर होलोमोर्फिक फ़ंक्शंस के रिक्त स्थान के लिए, H वर्ग| हार्डी स्पेस एच2 में फलन f शामिल है जिसका मूल माध्य वर्ग त्रिज्या r के वृत्त पर नीचे से r → 1 के रूप में घिरा रहता है।
अधिक सामान्यतः, हार्डी स्पेस एचp 0 < p < ∞ के लिए खुली इकाई डिस्क पर होलोमोर्फिक फ़ंक्शंस f का वर्ग संतोषजनक है
यह वर्ग एचp एक सदिश समष्टि है। उपरोक्त असमानता के बाईं ओर की संख्या एफ के लिए हार्डी स्पेस पी-मानदंड है, जिसे द्वारा दर्शाया गया है यह एक मानक है जब पी ≥ 1, लेकिन नहीं जब 0<पी<1.
अंतरिक्ष एच∞ को मानक के साथ, डिस्क पर बंधे हुए होलोमोर्फिक फ़ंक्शंस के वेक्टर स्थान के रूप में परिभाषित किया गया है
0 < p ≤ q ≤ ∞ के लिए, वर्ग HqH का एक उपसमुच्चय हैपी, और एचपी-मानदंड पी के साथ बढ़ रहा है (यह होल्डर की असमानता का परिणाम है कि एलपी-प्रायिकता स्थान के लिए मानदंड बढ़ रहा है, यानी कुल द्रव्यमान 1 के साथ माप (गणित)।
यूनिट सर्कल पर हार्डी रिक्त स्थान
पूर्ववर्ती अनुभाग में परिभाषित हार्डी रिक्त स्थान को जटिल एलपी स्पेस|एल के कुछ बंद वेक्टर उपस्थानों के रूप में भी देखा जा सकता है।यूनिट सर्कल पर पी रिक्त स्थान। यह कनेक्शन निम्नलिखित प्रमेय द्वारा प्रदान किया गया है (Katznelson 1976, Thm 3.8): दिया गया f ∈ Hपी, पी ≥ 1 के साथ, रेडियल सीमा
लगभग हर θ के लिए मौजूद है। कार्यक्रम एल का हैपीयूनिट सर्कल के लिए जगह,[clarification needed] और एक के पास वह है
इकाई वृत्त को T, और H द्वारा निरूपित करनाp('T') L का सदिश उपसमष्टिp('T') जिसमें सभी सीमा कार्य शामिल हैं , जब f, H में भिन्न होता हैp, तो किसी के पास p ≥ 1 के लिए वह है,(Katznelson 1976)
जहां ĝ(n) यूनिट सर्कल पर इंटीग्रेबल फ़ंक्शन जी के फूरियर गुणांक हैं,
अंतरिक्ष एचp('T') L का एक बंद उपस्थान हैपी('टी'). चूंकि एलp('T') एक बनच स्थान है (1 ≤ p ≤ ∞ के लिए), तो H भी हैपी('टी').
उपरोक्त को पलटा जा सकता है। एक फ़ंक्शन दिया गया , पी ≥ 1 के साथ, कोई पॉइसन कर्नेल पी के माध्यम से यूनिट डिस्क पर एक (हार्मोनिक फ़ंक्शन) फ़ंक्शन एफ पुनः प्राप्त कर सकता हैr:
और f, H से संबंधित हैपी बिल्कुल कब एच में हैपी('टी'). माना जा रहा है कि एच में हैप('T'), यानी कि फूरियर गुणांक है (एn)n∈Z के साथn= 0 प्रत्येक n <0 के लिए, फिर हार्डी स्पेस एच का तत्व एफपसे संबद्ध होलोमोर्फिक फ़ंक्शन है
अनुप्रयोगों में, लुप्त हो रहे नकारात्मक फूरियर गुणांक वाले उन कार्यों को आमतौर पर कारण समाधान के रूप में व्याख्या किया जाता है।[clarification needed] इस प्रकार, अंतरिक्ष एच2को स्वाभाविक रूप से L के अंदर बैठा हुआ देखा जाता है2स्थान, और एन द्वारा अनुक्रमित अनंत अनुक्रमों द्वारा दर्शाया गया है; जबकि एल2 में Z द्वारा अनुक्रमित द्वि-अनंत अनुक्रम शामिल हैं।
सर्कल पर वास्तविक हार्डी रिक्त स्थान से कनेक्शन
जब 1 ≤ p < ∞, वास्तविक हार्डी स्थान H होता हैपीने आगे चर्चा की इस आलेख में वर्तमान संदर्भ में वर्णन करना आसान है। यूनिट सर्कल पर एक वास्तविक फ़ंक्शन एफ वास्तविक हार्डी स्पेस एच से संबंधित हैp('T') यदि यह H में किसी फ़ंक्शन का वास्तविक हिस्सा हैp('T'), और एक जटिल फ़ंक्शन f वास्तविक हार्डी स्पेस से संबंधित है यदि Re(f) और Im(f) स्पेस से संबंधित हैं (नीचे वास्तविक हार्डी स्पेस पर अनुभाग देखें)। इस प्रकार 1 ≤ p < ∞ के लिए, वास्तविक हार्डी स्पेस में हार्डी स्पेस शामिल है, लेकिन यह बहुत बड़ा है, क्योंकि फ़ंक्शन के वास्तविक और काल्पनिक भाग के बीच कोई संबंध नहीं लगाया गया है।
0 <p <1 के लिए, फूरियर गुणांक, पॉइसन इंटीग्रल, संयुग्म फ़ंक्शन जैसे उपकरण अब मान्य नहीं हैं। उदाहरण के लिए, फ़ंक्शन पर विचार करें
तब F, H में हैप्रत्येक 0 < p < 1 और रेडियल सीमा के लिए p
एई के लिए मौजूद है θ और H में हैp('T'), लेकिन Re(f) लगभग हर जगह 0 है, इसलिए Re(f) से F को पुनर्प्राप्त करना अब संभव नहीं है। इस उदाहरण के परिणामस्वरूप, कोई देखता है कि 0 < p < 1 के लिए, कोई वास्तविक-H का वर्णन नहीं कर सकता हैp('T') (नीचे परिभाषित) ऊपर दिए गए सरल तरीके से, लेकिन अधिकतम फ़ंक्शंस का उपयोग करके वास्तविक परिभाषा का उपयोग करना चाहिए, जो नीचे कहीं और दिया गया है।
समान फलन F के लिए, मान लीजिए fr(यह हैiθ) = F(reiθ). सीमा जब r → Re(f) का 1r), सर्कल पर वितरण (गणित) के अर्थ में, z = 1 पर डिराक वितरण का एक गैर-शून्य गुणक है। यूनिट सर्कल के एक बिंदु पर डिराक वितरण वास्तविक-एच से संबंधित हैप्रत्येक p <1 के लिए p('T') (नीचे देखें)।
आंतरिक और बाहरी कार्यों में गुणनखंडीकरण (ब्यूर्लिंग)
0 <p ≤ ∞ के लिए, H में प्रत्येक गैर-शून्य फ़ंक्शन fp को उत्पाद f = Gh के रूप में लिखा जा सकता है जहां G एक बाहरी फ़ंक्शन है और h एक आंतरिक फ़ंक्शन है, जैसा कि नीचे परिभाषित किया गया है (Rudin 1987, Thm 17.17). यह अर्ने बर्लिंग फ़ैक्टराइज़ेशन हार्डी स्पेस को आंतरिक और बाहरी कार्यों के स्थानों द्वारा पूरी तरह से चित्रित करने की अनुमति देता है।[1][2] एक का कहना है कि G(z) यदि यह रूप लेता है तो यह एक बाहरी (बाहरी) कार्य है
|c| के साथ कुछ सम्मिश्र संख्या c के लिए = 1, और कुछ सकारात्मक मापनयोग्य फलन यूनिट सर्कल पर इस प्रकार वृत्त पर समाकलनीय है। विशेषकर, जब वृत्त पर पूर्णांक है, G, H में है1क्योंकि उपरोक्त पॉइसन कर्नेल का रूप लेता है (Rudin 1987, Thm 17.16). इसका अर्थ यह है कि
लगभग हर θ के लिए।
कोई कहता है कि h एक 'आंतरिक (आंतरिक) कार्य' है यदि और केवल यदि |h| ≤ 1 यूनिट डिस्क और सीमा पर
लगभग सभी θ के लिए मौजूद है और इसका निरपेक्ष मान 1 ae के बराबर है। विशेष रूप से, h, H में है∞.आंतरिक कार्य को आगे ब्लाश्के उत्पाद से जुड़े एक रूप में शामिल किया जा सकता है।
फ़ंक्शन f, f = Gh के रूप में विघटित होता है, एच में हैp यदि और केवल यदि φ L से संबंधित हैp('T'), जहां φ बाहरी फ़ंक्शन G के प्रतिनिधित्व में सकारात्मक फ़ंक्शन है।
मान लीजिए कि G एक बाहरी फलन है जिसे वृत्त पर एक फलन φ से ऊपर दर्शाया गया है। φ को φ से प्रतिस्थापित करनाα, α > 0, एक परिवार (जीα) बाहरी कार्यों को गुणों के साथ प्राप्त किया जाता है:
- जी1= जी, जीα+β = जीαजीβऔर |जीα| = |जी|αसर्कल पर लगभग हर जगह।
इसका तात्पर्य यह है कि जब भी 0 < p, q, r < ∞ और 1/r = 1/p + 1/q, H में प्रत्येक फ़ंक्शन fr को H में किसी फ़ंक्शन के उत्पाद के रूप में व्यक्त किया जा सकता हैपीऔर एच में एक फ़ंक्शनक्यू. उदाहरण के लिए: H में प्रत्येक फ़ंक्शन1H में दो कार्यों का उत्पाद है2; एच में प्रत्येक फ़ंक्शनp, p <1, को कुछ H में कई कार्यों के उत्पाद के रूप में व्यक्त किया जा सकता हैक्यू, क्यू> 1.
यूनिट सर्कल पर वास्तविक-परिवर्तनीय तकनीक
वास्तविक-परिवर्तनीय तकनीकें, मुख्य रूप से 'आर' पर परिभाषित वास्तविक हार्डी रिक्त स्थान के अध्ययन से जुड़ी हैंn (नीचे देखें), सर्कल के सरल ढांचे में भी उपयोग किया जाता है। इन वास्तविक स्थानों में जटिल कार्यों (या वितरण) की अनुमति देना एक आम बात है। निम्नलिखित परिभाषा वास्तविक या जटिल मामले के बीच अंतर नहीं करती है।
चलो पीrयूनिट सर्कल 'टी' पर पॉइसन कर्नेल को निरूपित करें। यूनिट सर्कल पर वितरण एफ के लिए, सेट करें
जहां तारा वितरण एफ और फ़ंक्शन ई के बीच कनवल्शन को इंगित करता हैiθ → पीr(θ) वृत्त पर। अर्थात्, (f * Pr)(यह हैiθ) C पर f की क्रिया का परिणाम है∞-फ़ंक्शन को यूनिट सर्कल पर परिभाषित किया गया है
0 < p < ∞ के लिए, वास्तविक हार्डी स्पेस Hp('T') में वितरण f इस प्रकार शामिल है कि M f L में हैपी('टी').
फ़ंक्शन F को यूनिट डिस्क पर F(re) द्वारा परिभाषित किया गया हैiθ) = (f * Pr)(यह हैiθ) हार्मोनिक है, और M f F का रेडियल अधिकतम फ़ंक्शन है। जब M f L से संबंधित हैp('T') और p ≥ 1, वितरण f L में एक फ़ंक्शन हैp('T'), अर्थात् F का सीमा मान। p ≥ 1 के लिए, वास्तविक हार्डी स्पेस Hp('T') L का उपसमुच्चय हैपी('टी').
संयुग्मी फलन
इकाई वृत्त पर प्रत्येक वास्तविक त्रिकोणमितीय बहुपद u के साथ, कोई वास्तविक संयुग्म बहुपद v को इस प्रकार जोड़ता है कि u + iv इकाई डिस्क में एक होलोमोर्फिक फ़ंक्शन तक विस्तारित होता है,
यह मैपिंग यू → वी एल पर एक बंधे हुए रैखिक ऑपरेटर एच तक फैली हुई हैp('T'), जब 1 < p < ∞ (एक अदिश गुणज तक, यह इकाई वृत्त पर हिल्बर्ट रूपांतरण है), और H भी L को मैप करता है1(T) से Lp स्पेस#Weak Lp|weak-L1(टी). जब 1 ≤ पी < ∞, तो यूनिट सर्कल पर वास्तविक मूल्य पूर्णांक फ़ंक्शन एफ के लिए निम्नलिखित समतुल्य हैं:
- फ़ंक्शन f कुछ फ़ंक्शन g ∈ H का वास्तविक भाग हैपी('टी')
- फलन f और इसका संयुग्म H(f) L से संबंधित हैंपी('टी')
- रेडियल अधिकतम फलन M f L से संबंधित हैपी('टी').
जब 1 < p < ∞, H(f) L से संबंधित होता हैp('T') जब f ∈ Lपी('टी'), इसलिए वास्तविक हार्डी स्पेस एचp('T') L से मेल खाता हैइस मामले में p('T')। पी = 1 के लिए, वास्तविक हार्डी स्पेस एच1(T) L का एक उचित उपसमष्टि है1(टी).
पी = ∞ के मामले को वास्तविक हार्डी स्पेस की परिभाषा से बाहर रखा गया था, क्योंकि एल का अधिकतम फ़ंक्शन एम एफ ∞फ़ंक्शन हमेशा सीमित होता है, और क्योंकि यह वांछनीय नहीं है कि वास्तविक-H∞L के बराबर हो∞. हालाँकि, निम्नलिखित दो गुण वास्तविक मूल्यवान फ़ंक्शन f के लिए समतुल्य हैं
- फ़ंक्शन f कुछ फ़ंक्शन g ∈ H का वास्तविक भाग है∞(टी)
- फ़ंक्शन f और इसका संयुग्म H(f) L से संबंधित है∞(टी).
=== 0 <पी <1 === के लिए वास्तविक हार्डी रिक्त स्थान जब 0 < p < 1, H में एक फलन F होता हैपी को L की उत्तलता की कमी के कारण, वृत्त पर इसके सीमा सीमा फ़ंक्शन के वास्तविक भाग से पुनर्निर्मित नहीं किया जा सकता हैइस मामले में पी. उत्तलता विफल हो जाती है लेकिन एक प्रकार की जटिल उत्तलता बनी रहती है, अर्थात् तथ्य यह है कि z → |z|q प्रत्येक q > 0 के लिए जटिल तल में सबहार्मोनिक फ़ंक्शन # सबहार्मोनिक फ़ंक्शन है। परिणामस्वरूप, यदि
एच में हैपी, यह दिखाया जा सकता है कि सीn= ओ(एन1/p–1). यह फूरियर श्रृंखला का अनुसरण करता है
यूनिट सर्कल पर वितरण एफ के वितरण के अर्थ में अभिसरण होता है, और एफ (रे)।iθ) =(f ∗ Pr)(θ). फलन F ∈ Hp को वृत्त पर वास्तविक वितरण Re(f) से पुनर्निर्मित किया जा सकता है, क्योंकि टेलर गुणांक cnF की गणना Re(f) के फूरियर गुणांक से की जा सकती है।
पी <1 होने पर हार्डी रिक्त स्थान को संभालने के लिए सर्कल पर वितरण पर्याप्त सामान्य हैं। जो वितरण फ़ंक्शन नहीं हैं वे होते हैं, जैसा कि फ़ंक्शन एफ (जेड) = (1−जेड) के साथ देखा जाता है−N (|z| <1 के लिए), जो H से संबंधित हैp जब 0 < N p < 1 (और N एक पूर्णांक ≥ 1) हो।
वृत्त पर वास्तविक वितरण वास्तविक-एच से संबंधित हैp('T') यदि यह कुछ F ∈ H के वास्तविक भाग का सीमा मान हैप. एक डिराक वितरण डीx, यूनिट सर्कल के किसी भी बिंदु x पर, वास्तविक-एच से संबंधित हैp('T') प्रत्येक p < 1 के लिए; व्युत्पन्न δ'x संबंधित जब पी < 1/2, दूसरा व्युत्पन्न δx जब पी <1/3, इत्यादि।
ऊपरी आधे तल के लिए कठोर स्थान
डिस्क के अलावा अन्य डोमेन पर हार्डी स्पेस को परिभाषित करना संभव है, और कई अनुप्रयोगों में एक जटिल आधे-तल (आमतौर पर दायां आधा-तल या ऊपरी आधा-तल) पर हार्डी रिक्त स्थान का उपयोग किया जाता है।
हार्डी स्पेस एचपी('एच') ऊपरी आधे तल पर 'एच' को सीमित मानदंड के साथ 'एच' पर होलोमोर्फिक फ़ंक्शन एफ की जगह के रूप में परिभाषित किया गया है, मानदंड द्वारा दिया जा रहा है
संगत एच∞(H) को दिए गए मानदंड के साथ, बंधे हुए मानदंड के कार्यों के रूप में परिभाषित किया गया है
हालाँकि यूनिट डिस्क डी और ऊपरी आधे-प्लेन एच को मोबियस ट्रांसफॉर्मेशन के माध्यम से एक दूसरे से मैप किया जा सकता है, वे विनिमेय नहीं हैं हार्डी स्पेस के लिए डोमेन के रूप में। इस अंतर में योगदान देने वाला तथ्य यह है कि इकाई वृत्त में परिमित (एक-आयामी) लेब्सेग माप होता है जबकि वास्तविक रेखा में ऐसा नहीं होता है। हालाँकि, H वर्ग|H के लिए2, किसी के पास निम्नलिखित प्रमेय है: यदि m : 'D' → 'H' मोबियस परिवर्तन को दर्शाता है
फिर रैखिक संकारक M : H2(H) → H2(D) द्वारा परिभाषित
हिल्बर्ट रिक्त स्थान की एक समरूपता समरूपता है।
आर के लिए वास्तविक हार्डी रिक्त स्थानn
वास्तविक सदिश समष्टि 'R' पर विश्लेषण मेंn, हार्डी स्पेस एचp (0 < p ≤ ∞ के लिए) में वितरण (गणित)#टेम्पर्ड वितरण और फूरियर रूपांतरण शामिल हैं f ऐसा है कि कुछ श्वार्ट्ज फ़ंक्शन के लिए Φ ∫Φ = 1 के साथ, अधिकतम फ़ंक्शन
एल में हैपी('आर'n), जहां ∗ कनवल्शन है और Φt (x) = t −nΦ(x / t). एचp-quasinorm ||f ||Hp एच के वितरण एफ काp को L के रूप में परिभाषित किया गया हैपीएम का मानदंडΦf (यह Φ की पसंद पर निर्भर करता है, लेकिन श्वार्ट्ज फ़ंक्शन के विभिन्न विकल्प Φ समकक्ष मानदंड देते हैं)। एचp-quasinorm एक मानक है जब p ≥ 1, लेकिन नहीं जब p <1.
यदि 1 < p < ∞, हार्डी स्पेस Hp L के समान ही सदिश समष्टि हैपी, समतुल्य मानदंड के साथ। जब p = 1, हार्डी स्पेस H1L का एक उचित उपसमष्टि है1. कोई एच में अनुक्रम पा सकता है1जो L में परिबद्ध हैं1लेकिन H में अनबाउंड1, उदाहरण के लिए लाइन पर
एल1और एच1मानदंड H पर समतुल्य नहीं हैं1, और एच1एल में बंद नहीं है1. एच का द्वैत1परिबद्ध माध्य दोलन के कार्यों का स्थान बीएमओ है। अंतरिक्ष बीएमओ में असीमित कार्य शामिल हैं (फिर से साबित होता है कि एच1एल में बंद नहीं है1).
यदि p<1 तो हार्डी स्पेस Hp में ऐसे तत्व हैं जो फ़ंक्शन नहीं हैं, और यह दोहरा है क्रम n(1/p − 1) का सजातीय लिप्सचिट्ज़ स्थान है। जब पी <1, एचपी-क्वासिनोर्म कोई मानक नहीं है, क्योंकि यह सबएडिटिव नहीं है। pth शक्ति ||f ||Hpp < 1 के लिए p उप-योगात्मक है और इसलिए यह हार्डी स्पेस H पर एक मीट्रिक को परिभाषित करता हैp, जो टोपोलॉजी को परिभाषित करता है और H बनाता हैपूर्ण मीट्रिक स्थान में p।
परमाणु अपघटन
जब 0 < पी ≤ 1, कॉम्पैक्ट सपोर्ट का एक घिरा मापनीय फ़ंक्शन एफ हार्डी स्पेस एच में हैपीयदि और केवल यदि इसके सभी क्षण
मैं किसका आदेश1+ ... +मैंnअधिकतम n(1/p − 1) है, गायब हो जाता है। उदाहरण के लिए, f का समाकलन इस क्रम में लुप्त हो जाना चाहिए कि f ∈ Hp, 0 < p ≤ 1, और जब तक p > n / (n+1)यह भी पर्याप्त है.
यदि इसके अतिरिक्त f को किसी गेंद B में समर्थन प्राप्त है और वह |B| से घिरा हुआ है−1/p तो f को 'H' कहा जाता हैp-atom' (यहाँ |B| 'R' में B के यूक्लिडियन आयतन को दर्शाता हैn). एचपी-एक मनमाना एच का क्वासिनोर्मp-परमाणु केवल p और श्वार्ट्ज फ़ंक्शन Φ के आधार पर एक स्थिरांक से घिरा होता है।
जब 0 < p ≤ 1, H का कोई तत्व fp में H के अभिसरण अनंत संयोजन के रूप में 'परमाणु अपघटन' हैपी-परमाणु,
जहां एjएच हैंपी-परमाणु और सीjअदिश हैं.
उदाहरण के लिए, डिराक वितरण का अंतर f = δ है1-डी0 एच में अभिसरण हार तरंगिका की एक श्रृंखला के रूप में दर्शाया जा सकता हैp-quasinorm जब 1/2 < p < 1 (सर्कल पर, संबंधित प्रतिनिधित्व 0 < p < 1 के लिए मान्य है, लेकिन लाइन पर, Haar फ़ंक्शन H से संबंधित नहीं हैंp जब p ≤ 1/2 क्योंकि उनका अधिकतम कार्य अनंत पर a x के बराबर है−2 कुछ के लिए a ≠ 0).
मार्टिंगेल एचप
मुझेn)n≥0 σ-फ़ील्ड (Σ) के बढ़ते अनुक्रम के संबंध में, कुछ संभाव्यता स्थान (Ω, Σ, P) पर मार्टिंगेल (संभावना सिद्धांत) बनेंn)n≥0. सरलता के लिए मान लें कि Σ अनुक्रम (Σ) द्वारा उत्पन्न σ-फ़ील्ड के बराबर हैn)n≥0. मार्टिंगेल के अधिकतम कार्य को परिभाषित किया गया है
माना 1 ≤ p < ∞. मार्टिंगेल (एमn)n≥0 मार्टिंगेल-एच से संबंधित हैपीजब एम* ∈ एलप.
यदि एम* ∈ एलपी, मार्टिंगेल (एमn)n≥0 एल में परिबद्ध हैप; इसलिए यह लगभग निश्चित रूप से डूब के मार्टिंगेल अभिसरण प्रमेय द्वारा किसी फ़ंक्शन f में परिवर्तित हो जाता है। इसके अलावा, एमnएल में एफ में परिवर्तित हो जाता हैपी-प्रमुख अभिसरण प्रमेय द्वारा मानदंड; इसलिए एमnΣ पर f की सशर्त अपेक्षा के रूप में व्यक्त किया जा सकता हैn. इस प्रकार मार्टिंगेल-एच की पहचान करना संभव हैpL की उपसमष्टि के साथपी(Ω, Σ, पी) उन एफ से मिलकर बनता है जैसे कि मार्टिंगेल
मार्टिंगेल-एच से संबंधित हैप.
डूब की मार्टिंगेल असमानता|डूब की अधिकतम असमानता का तात्पर्य है कि मार्टिंगेल-एचपीएल के साथ मेल खाता हैp(Ω, Σ, P) जब 1 < p < ∞. दिलचस्प जगह मार्टिंगेल-एच है1, जिसका द्वैत मार्टिंगेल-बीएमओ है (Garsia 1973).
बर्कहोल्डर-गंडी असमानताएं (जब पी>1) और बर्गेस डेविस असमानता (जब पी = 1) एल से संबंधित हैंपी-मार्टिंगेल के वर्ग फ़ंक्शन के अधिकतम फ़ंक्शन का मानदंड
मार्टिंगेल-एचp को यह कहकर परिभाषित किया जा सकता है कि S(f)∈ Lप (Garsia 1973).
निरंतर समय पैरामीटर वाले मार्टिंगेल्स पर भी विचार किया जा सकता है। शास्त्रीय सिद्धांत के साथ सीधा संबंध जटिल वीनर प्रक्रिया (बी) के माध्यम से प्राप्त किया जाता हैt) जटिल तल में, समय t = 0 पर बिंदु z = 0 से शुरू करते हुए। मान लीजिए कि यूनिट सर्कल के हिटिंग समय को दर्शाया गया है। यूनिट डिस्क में प्रत्येक होलोमोर्फिक फ़ंक्शन F के लिए,
एक मार्टिंगेल है, जो मार्टिंगेल-एच से संबंधित हैपी iff एफ ∈ एचप (Burkholder, Gundy & Silverstein 1971).
उदाहरण: डायडिक मार्टिंगेल-एच1
इस उदाहरण में, Ω = [0, 1] और Σn [0,1] से 2 के डायडिक विभाजन द्वारा उत्पन्न परिमित क्षेत्र हैnलंबाई के अंतराल 2−n, प्रत्येक n ≥ 0 के लिए। यदि [0, 1] पर एक फ़ंक्शन f को Haar तरंगिका (h) पर इसके विस्तार द्वारा दर्शाया जाता हैk)
फिर मार्टिंगेल-एच1f के मानदंड को L द्वारा परिभाषित किया जा सकता है1वर्ग फलन का मानदंड
यह स्थान, कभी-कभी एच द्वारा दर्शाया जाता है1(δ), शास्त्रीय वास्तविक H का समरूपी हैवृत्त पर 1स्थान (Müller 2005). बाल प्रणाली एच के लिए कंपकंपी का आधार है1(डी).
टिप्पणियाँ
- ↑ Beurling, Arne (1948). "हिल्बर्ट अंतरिक्ष में रैखिक परिवर्तनों से संबंधित दो समस्याओं पर". Acta Mathematica. 81: 239–255. doi:10.1007/BF02395019.
- ↑ Voichick, Michael; Zalcman, Lawrence (1965). "रीमैन सतहों पर आंतरिक और बाहरी कार्य". Proceedings of the American Mathematical Society. 16 (6): 1200–1204. doi:10.1090/S0002-9939-1965-0183883-1.
संदर्भ
- Burkholder, Donald L.; Gundy, Richard F.; Silverstein, Martin L. (1971), "A maximal function characterization of the class Hp", Transactions of the American Mathematical Society, 157: 137–153, doi:10.2307/1995838, JSTOR 1995838, MR 0274767, S2CID 53996980.
- Cima, Joseph A.; Ross, William T. (2000), The Backward Shift on the Hardy Space, American Mathematical Society, ISBN 978-0-8218-2083-4
- Colwell, Peter (1985), Blaschke Products - Bounded Analytic Functions, Ann Arbor: University of Michigan Press, ISBN 978-0-472-10065-1
- Duren, P. (1970), Theory of Hp-Spaces, Academic Press
- Fefferman, Charles; Stein, Elias M. (1972), "Hp spaces of several variables", Acta Mathematica, 129 (3–4): 137–193, doi:10.1007/BF02392215, MR 0447953.
- Folland, G.B. (2001) [1994], "Hardy spaces", Encyclopedia of Mathematics, EMS Press
- Garsia, Adriano M. (1973), Martingale Inequalities: Seminar notes on recent progress, Mathematics Lecture Notes Series, W. A. Benjamin MR0448538
- Hardy, G. H. (1915), "On the mean value of the modulus of an analytic function", Proceedings of the London Mathematical Society, 14: 269–277, doi:10.1112/plms/s2_14.1.269, JFM 45.1331.03
- Hoffman, Kenneth (1988), Banach Spaces of Analytic Functions, Dover Publications, ISBN 978-0-486-65785-1
- Katznelson, Yitzhak (1976), An Introduction to Harmonic Analysis, Dover Publications, ISBN 978-0-486-63331-2
- Koosis, P. (1998), Introduction to Hp Spaces (Second ed.), Cambridge University Press
- Mashreghi, J. (2009), Representation Theorems in Hardy Spaces, Cambridge University Press, ISBN 9780521517683
- Müller, Paul F. X. (2005), Isomorphisms Between H1 spaces, Mathematics Institute of the Polish Academy of Sciences. Mathematical Monographs (New Series), Basel: Birkhäuser, ISBN 978-3-7643-2431-5, MR 2157745
- Riesz, F. (1923), "Über die Randwerte einer analytischen Funktion", Mathematische Zeitschrift, 18: 87–95, doi:10.1007/BF01192397, S2CID 121306447
- Rudin, Walter (1987), Real and Complex Analysis, McGraw-Hill, ISBN 978-0-07-100276-9
- Shvedenko, S.V. (2001) [1994], "Hardy classes", Encyclopedia of Mathematics, EMS Press