हार्डी स्पेस

जटिल विश्लेषण में, हार्डी स्पेस (या हार्डी क्लास) एच^पीयूनिट डिस्क या ऊपरी आधे तल पर होलोमोर्फिक फ़ंक्शन के कुछ स्थान (गणित) हैं। उनका परिचय फ्रिगयेस रिज़्ज़ द्वारा किया गया था (Riesz 1923), जिन्होंने पेपर के कारण उनका नाम जी. एच. हार्डी के नाम पर रखा (Hardy 1915). वास्तविक विश्लेषण में हार्डी स्पेस वास्तविक रेखा पर वितरण (गणित) के कुछ निश्चित स्थान हैं, जो (वितरण के अर्थ में) जटिल संख्या हार्डी स्पेस के होलोमोर्फिक कार्यों के सीमा मान हैं, और एलपी स्पेस से संबंधित हैं। एल^{कार्यात्मक विश्लेषण के स्थान। 1 ≤ p <∞ के लिए ये वास्तविक हार्डी स्पेस एचpL के कुछ उपसमुच्चय हैंपी, जबकि पी <1 के लिए एलपी रिक्त स्थान में कुछ अवांछनीय गुण हैं, और हार्डी रिक्त स्थान बहुत बेहतर व्यवहार वाले हैं।}

उच्च-आयामी सामान्यीकरण भी हैं, जिसमें जटिल मामले में ट्यूब डोमेन पर कुछ होलोमोर्फिक फ़ंक्शन या 'आर' पर वितरण के कुछ स्थान शामिल हैं।ⁿवास्तविक मामले में।

हार्डी स्पेस के गणितीय विश्लेषण के साथ-साथ नियंत्रण सिद्धांत (जैसे कि एच इन्फिनिटी|एच) में भी कई अनुप्रयोग हैं^∞तरीकों) और प्रकीर्णन सिद्धांत में।

यूनिट डिस्क के लिए हार्डी रिक्त स्थान

खुली इकाई डिस्क पर होलोमोर्फिक फ़ंक्शंस के रिक्त स्थान के लिए, H वर्ग| हार्डी स्पेस एच² में फलन f शामिल है जिसका मूल माध्य वर्ग त्रिज्या r के वृत्त पर नीचे से r → 1 के रूप में घिरा रहता है।

अधिक सामान्यतः, हार्डी स्पेस एच^p 0 < p < ∞ के लिए खुली इकाई डिस्क पर होलोमोर्फिक फ़ंक्शंस f का वर्ग संतोषजनक है

$\sup _{0\leqslant r<1}\left({\frac {1}{2\pi }}\int _{0}^{2\pi }\left|f\left(re^{i\theta }\right)\right|^{p}\;\mathrm {d} \theta \right)^{\frac {1}{p}}<\infty .$

यह वर्ग एच^p एक सदिश समष्टि है। उपरोक्त असमानता के बाईं ओर की संख्या एफ के लिए हार्डी स्पेस पी-मानदंड है, जिसे द्वारा दर्शाया गया है $\|f\|_{H^{p}}.$ यह एक मानक है जब पी ≥ 1, लेकिन नहीं जब 0<पी<1.

अंतरिक्ष एच^∞ को मानक के साथ, डिस्क पर बंधे हुए होलोमोर्फिक फ़ंक्शंस के वेक्टर स्थान के रूप में परिभाषित किया गया है

$\|f\|_{H^{\infty }}=\sup _{|z|<1}\left|f(z)\right|.$

0 < p ≤ q ≤ ∞ के लिए, वर्ग H^qH का एक उपसमुच्चय है^पी, और एच^पी-मानदंड पी के साथ बढ़ रहा है (यह होल्डर की असमानता का परिणाम है कि एल^पी-प्रायिकता स्थान के लिए मानदंड बढ़ रहा है, यानी कुल द्रव्यमान 1 के साथ माप (गणित)।

यूनिट सर्कल पर हार्डी रिक्त स्थान

पूर्ववर्ती अनुभाग में परिभाषित हार्डी रिक्त स्थान को जटिल एलपी स्पेस|एल के कुछ बंद वेक्टर उपस्थानों के रूप में भी देखा जा सकता है।^{यूनिट सर्कल पर पी} रिक्त स्थान। यह कनेक्शन निम्नलिखित प्रमेय द्वारा प्रदान किया गया है (Katznelson 1976, Thm 3.8): दिया गया f ∈ H^पी, पी ≥ 1 के साथ, रेडियल सीमा

${\tilde {f}}\left(e^{i\theta }\right)=\lim _{r\to 1}f\left(re^{i\theta }\right)$

लगभग हर θ के लिए मौजूद है। कार्यक्रम ${\tilde {f}}$ एल का है^पीयूनिट सर्कल के लिए जगह, और एक के पास वह है

$\|{\tilde {f}}\|_{L^{p}}=\|f\|_{H^{p}}.$

इकाई वृत्त को T, और H द्वारा निरूपित करना^p('T') L का सदिश उपसमष्टि^p('T') जिसमें सभी सीमा कार्य शामिल हैं ${\tilde {f}}$, जब f, H में भिन्न होता है^p, तो किसी के पास p ≥ 1 के लिए वह है,(Katznelson 1976)

$g\in H^{p}\left(\mathbf {T} \right){\text{ if and only if }}g\in L^{p}\left(\mathbf {T} \right){\text{ and }}{\hat {g}}(n)=0{\text{ for all }}n<0,$

जहां ĝ(n) यूनिट सर्कल पर इंटीग्रेबल फ़ंक्शन जी के फूरियर गुणांक हैं,

$\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 .$

अंतरिक्ष एच^p('T') L का एक बंद उपस्थान है^पी('टी'). चूंकि एल^p('T') एक बनच स्थान है (1 ≤ p ≤ ∞ के लिए), तो H भी है^पी('टी').

उपरोक्त को पलटा जा सकता है। एक फ़ंक्शन दिया गया ${\tilde {f}}\in L^{p}(\mathbf {T} )$, पी ≥ 1 के साथ, कोई पॉइसन कर्नेल पी के माध्यम से यूनिट डिस्क पर एक (हार्मोनिक फ़ंक्शन) फ़ंक्शन एफ पुनः प्राप्त कर सकता है_r:

$f\left(re^{i\theta }\right)={\frac {1}{2\pi }}\int _{0}^{2\pi }P_{r}(\theta -\phi ){\tilde {f}}\left(e^{i\phi }\right)\,\mathrm {d} \phi ,\quad r<1,$

और f, H से संबंधित है^पी बिल्कुल कब ${\tilde {f}}$ एच में है^पी('टी'). माना जा रहा है कि ${\tilde {f}}$ एच में है^प('T'), यानी कि ${\tilde {f}}$ फूरियर गुणांक है (ए_n)_n∈Z के साथ_n= 0 प्रत्येक n <0 के लिए, फिर हार्डी स्पेस एच का तत्व एफ^पसे संबद्ध ${\tilde {f}}$ होलोमोर्फिक फ़ंक्शन है

$f(z)=\sum _{n=0}^{\infty }a_{n}z^{n},\ \ \ |z|<1.$

अनुप्रयोगों में, लुप्त हो रहे नकारात्मक फूरियर गुणांक वाले उन कार्यों को आमतौर पर कारण समाधान के रूप में व्याख्या किया जाता है। इस प्रकार, अंतरिक्ष एच²को स्वाभाविक रूप से L के अंदर बैठा हुआ देखा जाता है²स्थान, और एन द्वारा अनुक्रमित अनंत अनुक्रमों द्वारा दर्शाया गया है; जबकि एल² में Z द्वारा अनुक्रमित द्वि-अनंत अनुक्रम शामिल हैं।

सर्कल पर वास्तविक हार्डी रिक्त स्थान से कनेक्शन

जब 1 ≤ p < ∞, वास्तविक हार्डी स्थान H होता है^पीने आगे चर्चा की इस आलेख में वर्तमान संदर्भ में वर्णन करना आसान है। यूनिट सर्कल पर एक वास्तविक फ़ंक्शन एफ वास्तविक हार्डी स्पेस एच से संबंधित है^p('T') यदि यह H में किसी फ़ंक्शन का वास्तविक हिस्सा है^p('T'), और एक जटिल फ़ंक्शन f वास्तविक हार्डी स्पेस से संबंधित है यदि Re(f) और Im(f) स्पेस से संबंधित हैं (नीचे वास्तविक हार्डी स्पेस पर अनुभाग देखें)। इस प्रकार 1 ≤ p < ∞ के लिए, वास्तविक हार्डी स्पेस में हार्डी स्पेस शामिल है, लेकिन यह बहुत बड़ा है, क्योंकि फ़ंक्शन के वास्तविक और काल्पनिक भाग के बीच कोई संबंध नहीं लगाया गया है।

0 <p <1 के लिए, फूरियर गुणांक, पॉइसन इंटीग्रल, संयुग्म फ़ंक्शन जैसे उपकरण अब मान्य नहीं हैं। उदाहरण के लिए, फ़ंक्शन पर विचार करें

$F(z)={\frac {1+z}{1-z}},\quad |z|<1.$

तब F, H में है^{प्रत्येक 0 < p < 1 और रेडियल सीमा के लिए p}

$f(e^{i\theta }):=\lim _{r\to 1}F(re^{i\theta })=i\,\cot({\tfrac {\theta }{2}}).$

एई के लिए मौजूद है θ और H में है^p('T'), लेकिन Re(f) लगभग हर जगह 0 है, इसलिए Re(f) से F को पुनर्प्राप्त करना अब संभव नहीं है। इस उदाहरण के परिणामस्वरूप, कोई देखता है कि 0 < p < 1 के लिए, कोई वास्तविक-H का वर्णन नहीं कर सकता है^p('T') (नीचे परिभाषित) ऊपर दिए गए सरल तरीके से, लेकिन अधिकतम फ़ंक्शंस का उपयोग करके वास्तविक परिभाषा का उपयोग करना चाहिए, जो नीचे कहीं और दिया गया है।

समान फलन F के लिए, मान लीजिए f_r(यह है^iθ) = F(re^iθ). सीमा जब r → Re(f) का 1_r), सर्कल पर वितरण (गणित) के अर्थ में, z = 1 पर डिराक वितरण का एक गैर-शून्य गुणक है। यूनिट सर्कल के एक बिंदु पर डिराक वितरण वास्तविक-एच से संबंधित है^{प्रत्येक p <1 के लिए p}('T') (नीचे देखें)।

आंतरिक और बाहरी कार्यों में गुणनखंडीकरण (ब्यूर्लिंग)

0 <p ≤ ∞ के लिए, H में प्रत्येक गैर-शून्य फ़ंक्शन f^p को उत्पाद f = Gh के रूप में लिखा जा सकता है जहां G एक बाहरी फ़ंक्शन है और h एक आंतरिक फ़ंक्शन है, जैसा कि नीचे परिभाषित किया गया है (Rudin 1987, Thm 17.17). यह अर्ने बर्लिंग फ़ैक्टराइज़ेशन हार्डी स्पेस को आंतरिक और बाहरी कार्यों के स्थानों द्वारा पूरी तरह से चित्रित करने की अनुमति देता है। एक का कहना है कि G(z) यदि यह रूप लेता है तो यह एक बाहरी (बाहरी) कार्य है

$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)$

|c| के साथ कुछ सम्मिश्र संख्या c के लिए = 1, और कुछ सकारात्मक मापनयोग्य फलन $\varphi$ यूनिट सर्कल पर इस प्रकार $\log(\varphi )$ वृत्त पर समाकलनीय है। विशेषकर, जब $\varphi$ वृत्त पर पूर्णांक है, G, H में है¹क्योंकि उपरोक्त पॉइसन कर्नेल का रूप लेता है (Rudin 1987, Thm 17.16). इसका अर्थ यह है कि

$\lim _{r\to 1^{-}}\left|G\left(re^{i\theta }\right)\right|=\varphi \left(e^{i\theta }\right)$

लगभग हर θ के लिए।

कोई कहता है कि h एक 'आंतरिक (आंतरिक) कार्य' है यदि और केवल यदि |h| ≤ 1 यूनिट डिस्क और सीमा पर

$\lim _{r\to 1^{-}}h(re^{i\theta })$

लगभग सभी θ के लिए मौजूद है और इसका निरपेक्ष मान 1 ae के बराबर है। विशेष रूप से, h, H में है^∞.आंतरिक कार्य को आगे ब्लाश्के उत्पाद से जुड़े एक रूप में शामिल किया जा सकता है।

फ़ंक्शन f, f = Gh के रूप में विघटित होता है, एच में है^p यदि और केवल यदि φ L से संबंधित है^p('T'), जहां φ बाहरी फ़ंक्शन G के प्रतिनिधित्व में सकारात्मक फ़ंक्शन है।

मान लीजिए कि G एक बाहरी फलन है जिसे वृत्त पर एक फलन φ से ऊपर दर्शाया गया है। φ को φ से प्रतिस्थापित करना^α, α > 0, एक परिवार (जी_α) बाहरी कार्यों को गुणों के साथ प्राप्त किया जाता है:

जी₁= जी, जी_α+β = जी_αजी_βऔर |जी_α| = |जी|^αसर्कल पर लगभग हर जगह।

इसका तात्पर्य यह है कि जब भी 0 < p, q, r < ∞ और 1/r = 1/p + 1/q, H में प्रत्येक फ़ंक्शन f^r को H में किसी फ़ंक्शन के उत्पाद के रूप में व्यक्त किया जा सकता है^पीऔर एच में एक फ़ंक्शन^क्यू. उदाहरण के लिए: H में प्रत्येक फ़ंक्शन¹H में दो कार्यों का उत्पाद है²; एच में प्रत्येक फ़ंक्शन^p, p <1, को कुछ H में कई कार्यों के उत्पाद के रूप में व्यक्त किया जा सकता है^क्यू, क्यू> 1.

यूनिट सर्कल पर वास्तविक-परिवर्तनीय तकनीक

वास्तविक-परिवर्तनीय तकनीकें, मुख्य रूप से 'आर' पर परिभाषित वास्तविक हार्डी रिक्त स्थान के अध्ययन से जुड़ी हैंⁿ (नीचे देखें), सर्कल के सरल ढांचे में भी उपयोग किया जाता है। इन वास्तविक स्थानों में जटिल कार्यों (या वितरण) की अनुमति देना एक आम बात है। निम्नलिखित परिभाषा वास्तविक या जटिल मामले के बीच अंतर नहीं करती है।

चलो पी_rयूनिट सर्कल 'टी' पर पॉइसन कर्नेल को निरूपित करें। यूनिट सर्कल पर वितरण एफ के लिए, सेट करें

$(Mf)(e^{i\theta })=\sup _{0<r<1}\left|(f*P_{r})\left(e^{i\theta }\right)\right|,$

जहां तारा वितरण एफ और फ़ंक्शन ई के बीच कनवल्शन को इंगित करता है^iθ → पी_r(θ) वृत्त पर। अर्थात्, (f * P_r)(यह है^iθ) C पर f की क्रिया का परिणाम है^∞-फ़ंक्शन को यूनिट सर्कल पर परिभाषित किया गया है

$e^{i\varphi }\rightarrow P_{r}(\theta -\varphi ).$

0 < p < ∞ के लिए, वास्तविक हार्डी स्पेस H^p('T') में वितरण f इस प्रकार शामिल है कि M f L में है^पी('टी').

फ़ंक्शन F को यूनिट डिस्क पर F(re) द्वारा परिभाषित किया गया है^iθ) = (f * P_r)(यह है^iθ) हार्मोनिक है, और M f F का रेडियल अधिकतम फ़ंक्शन है। जब M f L से संबंधित है^p('T') और p ≥ 1, वितरण f L में एक फ़ंक्शन है^p('T'), अर्थात् F का सीमा मान। p ≥ 1 के लिए, वास्तविक हार्डी स्पेस H^p('T') L का उपसमुच्चय है^पी('टी').

संयुग्मी फलन

इकाई वृत्त पर प्रत्येक वास्तविक त्रिकोणमितीय बहुपद u के साथ, कोई वास्तविक संयुग्म बहुपद v को इस प्रकार जोड़ता है कि u + iv इकाई डिस्क में एक होलोमोर्फिक फ़ंक्शन तक विस्तारित होता है,

$u(e^{i\theta })={\frac {a_{0}}{2}}+\sum _{k\geqslant 1}a_{k}\cos(k\theta )+b_{k}\sin(k\theta )\longrightarrow v(e^{i\theta })=\sum _{k\geqslant 1}a_{k}\sin(k\theta )-b_{k}\cos(k\theta ).$

यह मैपिंग यू → वी एल पर एक बंधे हुए रैखिक ऑपरेटर एच तक फैली हुई है^p('T'), जब 1 < p < ∞ (एक अदिश गुणज तक, यह इकाई वृत्त पर हिल्बर्ट रूपांतरण है), और H भी L को मैप करता है¹(T) से Lp स्पेस#Weak Lp|weak-L¹(टी). जब 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 के लिए, वास्तविक हार्डी स्पेस एच¹(T) L का एक उचित उपसमष्टि है¹(टी).

पी = ∞ के मामले को वास्तविक हार्डी स्पेस की परिभाषा से बाहर रखा गया था, क्योंकि एल का अधिकतम फ़ंक्शन एम एफ ^∞फ़ंक्शन हमेशा सीमित होता है, और क्योंकि यह वांछनीय नहीं है कि वास्तविक-H^∞L के बराबर हो^∞. हालाँकि, निम्नलिखित दो गुण वास्तविक मूल्यवान फ़ंक्शन f के लिए समतुल्य हैं

• फ़ंक्शन f कुछ फ़ंक्शन g ∈ H का वास्तविक भाग है^∞(टी)
• फ़ंक्शन f और इसका संयुग्म H(f) L से संबंधित है^∞(टी).

=== 0 <पी <1 === के लिए वास्तविक हार्डी रिक्त स्थान जब 0 < p < 1, H में एक फलन F होता है^पी को L की उत्तलता की कमी के कारण, वृत्त पर इसके सीमा सीमा फ़ंक्शन के वास्तविक भाग से पुनर्निर्मित नहीं किया जा सकता है^{इस मामले में पी}. उत्तलता विफल हो जाती है लेकिन एक प्रकार की जटिल उत्तलता बनी रहती है, अर्थात् तथ्य यह है कि z → |z|^q प्रत्येक q > 0 के लिए जटिल तल में सबहार्मोनिक फ़ंक्शन # सबहार्मोनिक फ़ंक्शन है। परिणामस्वरूप, यदि

$F(z)=\sum _{n=0}^{+\infty }c_{n}z^{n},\quad |z|<1$

एच में है^पी, यह दिखाया जा सकता है कि सी_n= ओ(एन^1/p–1). यह फूरियर श्रृंखला का अनुसरण करता है

$\sum _{n=0}^{+\infty }c_{n}e^{in\theta }$

यूनिट सर्कल पर वितरण एफ के वितरण के अर्थ में अभिसरण होता है, और एफ (रे)।^iθ) =(f ∗ P_r)(θ). फलन F ∈ H^p को वृत्त पर वास्तविक वितरण Re(f) से पुनर्निर्मित किया जा सकता है, क्योंकि टेलर गुणांक c_nF की गणना 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, इत्यादि।

ऊपरी आधे तल के लिए कठोर स्थान

डिस्क के अलावा अन्य डोमेन पर हार्डी स्पेस को परिभाषित करना संभव है, और कई अनुप्रयोगों में एक जटिल आधे-तल (आमतौर पर दायां आधा-तल या ऊपरी आधा-तल) पर हार्डी रिक्त स्थान का उपयोग किया जाता है।

हार्डी स्पेस एच^पी('एच') ऊपरी आधे तल पर 'एच' को सीमित मानदंड के साथ 'एच' पर होलोमोर्फिक फ़ंक्शन एफ की जगह के रूप में परिभाषित किया गया है, मानदंड द्वारा दिया जा रहा है

$\|f\|_{H^{p}}=\sup _{y>0}\left(\int _{-\infty }^{+\infty }|f(x+iy)|^{p}\,\mathrm {d} x\right)^{\frac {1}{p}}.$

संगत एच^∞(H) को दिए गए मानदंड के साथ, बंधे हुए मानदंड के कार्यों के रूप में परिभाषित किया गया है

$\|f\|_{H^{\infty }}=\sup _{z\in \mathbf {H} }|f(z)|.$

हालाँकि यूनिट डिस्क डी और ऊपरी आधे-प्लेन एच को मोबियस ट्रांसफॉर्मेशन के माध्यम से एक दूसरे से मैप किया जा सकता है, वे विनिमेय नहीं हैं हार्डी स्पेस के लिए डोमेन के रूप में। इस अंतर में योगदान देने वाला तथ्य यह है कि इकाई वृत्त में परिमित (एक-आयामी) लेब्सेग माप होता है जबकि वास्तविक रेखा में ऐसा नहीं होता है। हालाँकि, H वर्ग|H के लिए², किसी के पास निम्नलिखित प्रमेय है: यदि m : 'D' → 'H' मोबियस परिवर्तन को दर्शाता है

$m(z)=i\cdot {\frac {1+z}{1-z}}.$

फिर रैखिक संकारक M : H²(H) → H²(D) द्वारा परिभाषित

$(Mf)(z):={\frac {\sqrt {\pi }}{1-z}}f(m(z)).$

हिल्बर्ट रिक्त स्थान की एक समरूपता समरूपता है।

आर के लिए वास्तविक हार्डी रिक्त स्थानⁿ

वास्तविक सदिश समष्टि 'R' पर विश्लेषण मेंⁿ, हार्डी स्पेस एच^p (0 < p ≤ ∞ के लिए) में वितरण (गणित)#टेम्पर्ड वितरण और फूरियर रूपांतरण शामिल हैं f ऐसा है कि कुछ श्वार्ट्ज फ़ंक्शन के लिए Φ ∫Φ = 1 के साथ, अधिकतम फ़ंक्शन

$(M_{\Phi }f)(x)=\sup _{t>0}|(f*\Phi _{t})(x)|$

एल में है^पी('आर'ⁿ), जहां ∗ कनवल्शन है और Φ_t(x) = t⁻ⁿΦ(x / t). एच^p-quasinorm ||f ||_Hp एच के वितरण एफ का^p को L के रूप में परिभाषित किया गया है^पीएम का मानदंड_Φf (यह Φ की पसंद पर निर्भर करता है, लेकिन श्वार्ट्ज फ़ंक्शन के विभिन्न विकल्प Φ समकक्ष मानदंड देते हैं)। एच^p-quasinorm एक मानक है जब p ≥ 1, लेकिन नहीं जब p <1.

यदि 1 < p < ∞, हार्डी स्पेस H^p L के समान ही सदिश समष्टि है^पी, समतुल्य मानदंड के साथ। जब p = 1, हार्डी स्पेस H¹L का एक उचित उपसमष्टि है¹. कोई एच में अनुक्रम पा सकता है¹जो L में परिबद्ध हैं¹लेकिन H में अनबाउंड¹, उदाहरण के लिए लाइन पर

$f_{k}(x)=\mathbf {1} _{[0,1]}(x-k)-\mathbf {1} _{[0,1]}(x+k),\ \ \ k>0.$

एल¹और एच¹मानदंड H पर समतुल्य नहीं हैं¹, और एच¹एल में बंद नहीं है¹. एच का द्वैत¹परिबद्ध माध्य दोलन के कार्यों का स्थान बीएमओ है। अंतरिक्ष बीएमओ में असीमित कार्य शामिल हैं (फिर से साबित होता है कि एच¹एल में बंद नहीं है¹).

यदि p<1 तो हार्डी स्पेस H^p में ऐसे तत्व हैं जो फ़ंक्शन नहीं हैं, और यह दोहरा है क्रम n(1/p − 1) का सजातीय लिप्सचिट्ज़ स्थान है। जब पी <1, एच^पी-क्वासिनोर्म कोई मानक नहीं है, क्योंकि यह सबएडिटिव नहीं है। pth शक्ति ||f ||_Hp^{p < 1 के लिए p} उप-योगात्मक है और इसलिए यह हार्डी स्पेस H पर एक मीट्रिक को परिभाषित करता है^p, जो टोपोलॉजी को परिभाषित करता है और H बनाता है^{पूर्ण मीट्रिक स्थान में p}।

परमाणु अपघटन

जब 0 < पी ≤ 1, कॉम्पैक्ट सपोर्ट का एक घिरा मापनीय फ़ंक्शन एफ हार्डी स्पेस एच में है^पीयदि और केवल यदि इसके सभी क्षण

$\int _{\mathbf {R} ^{n}}f(x)x_{1}^{i_{1}}\ldots x_{n}^{i_{n}}\,\mathrm {d} x,$

मैं किसका आदेश₁+ ... +मैं_nअधिकतम n(1/p − 1) है, गायब हो जाता है। उदाहरण के लिए, f का समाकलन इस क्रम में लुप्त हो जाना चाहिए कि f ∈ H^p, 0 < p ≤ 1, और जब तक p > n / (n+1)यह भी पर्याप्त है.

यदि इसके अतिरिक्त f को किसी गेंद B में समर्थन प्राप्त है और वह |B| से घिरा हुआ है^−1/p तो f को 'H' कहा जाता है^p-atom' (यहाँ |B| 'R' में B के यूक्लिडियन आयतन को दर्शाता हैⁿ). एच^पी-एक मनमाना एच का क्वासिनोर्म^p-परमाणु केवल p और श्वार्ट्ज फ़ंक्शन Φ के आधार पर एक स्थिरांक से घिरा होता है।

जब 0 < p ≤ 1, H का कोई तत्व f^p में H के अभिसरण अनंत संयोजन के रूप में 'परमाणु अपघटन' है^पी-परमाणु,

$f=\sum c_{j}a_{j},\ \ \ \sum |c_{j}|^{p}<\infty$

जहां ए_jएच हैं^पी-परमाणु और सी_jअदिश हैं.

उदाहरण के लिए, डिराक वितरण का अंतर f = δ है₁-डी₀ एच में अभिसरण हार तरंगिका की एक श्रृंखला के रूप में दर्शाया जा सकता है^p-quasinorm जब 1/2 < p < 1 (सर्कल पर, संबंधित प्रतिनिधित्व 0 < p < 1 के लिए मान्य है, लेकिन लाइन पर, Haar फ़ंक्शन H से संबंधित नहीं हैं^p जब p ≤ 1/2 क्योंकि उनका अधिकतम कार्य अनंत पर a x के बराबर है⁻² कुछ के लिए a ≠ 0).

मार्टिंगेल एच^प

मुझे_n)_n≥0 σ-फ़ील्ड (Σ) के बढ़ते अनुक्रम के संबंध में, कुछ संभाव्यता स्थान (Ω, Σ, P) पर मार्टिंगेल (संभावना सिद्धांत) बनें_n)_n≥0. सरलता के लिए मान लें कि Σ अनुक्रम (Σ) द्वारा उत्पन्न σ-फ़ील्ड के बराबर है_n)_n≥0. मार्टिंगेल के अधिकतम कार्य को परिभाषित किया गया है

$M^{*}=\sup _{n\geq 0}\,|M_{n}|.$

माना 1 ≤ p < ∞. मार्टिंगेल (एम_n)_n≥0 मार्टिंगेल-एच से संबंधित है^पीजब एम* ∈ एल^प.

यदि एम* ∈ एल^पी, मार्टिंगेल (एम_n)_n≥0 एल में परिबद्ध है^प; इसलिए यह लगभग निश्चित रूप से डूब के मार्टिंगेल अभिसरण प्रमेय द्वारा किसी फ़ंक्शन f में परिवर्तित हो जाता है। इसके अलावा, एम_nएल में एफ में परिवर्तित हो जाता है^पी-प्रमुख अभिसरण प्रमेय द्वारा मानदंड; इसलिए एम_nΣ पर f की सशर्त अपेक्षा के रूप में व्यक्त किया जा सकता है_n. इस प्रकार मार्टिंगेल-एच की पहचान करना संभव है^pL की उपसमष्टि के साथ^पी(Ω, Σ, पी) उन एफ से मिलकर बनता है जैसे कि मार्टिंगेल

$M_{n}=\operatorname {E} {\bigl (}f|\Sigma _{n}{\bigr )}$

मार्टिंगेल-एच से संबंधित है^प.

डूब की मार्टिंगेल असमानता|डूब की अधिकतम असमानता का तात्पर्य है कि मार्टिंगेल-एच^पीएल के साथ मेल खाता है^p(Ω, Σ, P) जब 1 < p < ∞. दिलचस्प जगह मार्टिंगेल-एच है¹, जिसका द्वैत मार्टिंगेल-बीएमओ है (Garsia 1973).

बर्कहोल्डर-गंडी असमानताएं (जब पी>1) और बर्गेस डेविस असमानता (जब पी = 1) एल से संबंधित हैं^पी-मार्टिंगेल के वर्ग फ़ंक्शन के अधिकतम फ़ंक्शन का मानदंड

$S(f)=\left(|M_{0}|^{2}+\sum _{n=0}^{\infty }|M_{n+1}-M_{n}|^{2}\right)^{\frac {1}{2}}.$

मार्टिंगेल-एच^p को यह कहकर परिभाषित किया जा सकता है कि S(f)∈ L^प (Garsia 1973).

निरंतर समय पैरामीटर वाले मार्टिंगेल्स पर भी विचार किया जा सकता है। शास्त्रीय सिद्धांत के साथ सीधा संबंध जटिल वीनर प्रक्रिया (बी) के माध्यम से प्राप्त किया जाता है_t) जटिल तल में, समय t = 0 पर बिंदु z = 0 से शुरू करते हुए। मान लीजिए कि यूनिट सर्कल के हिटिंग समय को दर्शाया गया है। यूनिट डिस्क में प्रत्येक होलोमोर्फिक फ़ंक्शन F के लिए,

$M_{t}=F(B_{t\wedge \tau })$

एक मार्टिंगेल है, जो मार्टिंगेल-एच से संबंधित है^पी iff एफ ∈ एच^प (Burkholder, Gundy & Silverstein 1971).

उदाहरण: डायडिक मार्टिंगेल-एच¹

इस उदाहरण में, Ω = [0, 1] और Σ_n [0,1] से 2 के डायडिक विभाजन द्वारा उत्पन्न परिमित क्षेत्र हैⁿलंबाई के अंतराल 2⁻ⁿ, प्रत्येक n ≥ 0 के लिए। यदि [0, 1] पर एक फ़ंक्शन f को Haar तरंगिका (h) पर इसके विस्तार द्वारा दर्शाया जाता है_k)

$f=\sum c_{k}h_{k},$

फिर मार्टिंगेल-एच¹f के मानदंड को L द्वारा परिभाषित किया जा सकता है¹वर्ग फलन का मानदंड

$\int _{0}^{1}{\Bigl (}\sum |c_{k}h_{k}(x)|^{2}{\Bigr )}^{\frac {1}{2}}\,\mathrm {d} x.$

यह स्थान, कभी-कभी एच द्वारा दर्शाया जाता है¹(δ), शास्त्रीय वास्तविक H का समरूपी है^{वृत्त पर 1}स्थान (Müller 2005). बाल प्रणाली एच के लिए कंपकंपी का आधार है¹(डी).

संदर्भ

• Burkholder, Donald L.; Gundy, Richard F.; Silverstein, Martin L. (1971), "A maximal function characterization of the class H^p", 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 H^p-Spaces, Academic Press
• Fefferman, Charles; Stein, Elias M. (1972), "H^p 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 H_p 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 H¹ 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