मार्सिंकिविज़ इंटरपोलेशन प्रमेय

गणित में, जोज़ेफ़ मार्सिंकिविज़ (1939) द्वारा खोजा गया मार्सिंकिविज़ अंतर्वेशन (इंटरपोलेशन) प्रमेय, Lp समष्टि पर फलन करने वाले गैर-रेखीय ऑपरेटरों के मानदंडों को सीमित करने का परिणाम है।

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

प्रारंभिक
मान लीजिए f वास्तविक या सम्मिश्र मानों वाला एक मापने योग्य फलन है, जो माप स्थान (X, F, ω) पर परिभाषित है। f का वितरण फलन किसके द्वारा परिभाषित किया गया है


 * $$\lambda_f(t) = \omega\left\{x\in X\mid |f(x)| > t\right\}.$$

तब f को दुर्बल $$L^1$$ कहा जाता है यदि एक स्थिरांक C उपस्थित है जैसे कि f का वितरण फलन सभी t > 0 के लिए निम्नलिखित असमानता को संतुष्ट करता है:


 * $$\lambda_f(t)\leq \frac{C}{t}.$$

उपरोक्त असमानता में सबसे लघु स्थिरांक C को 'दुर्बल $$L^1$$' कहा जाता है आदर्श और साधारणतया इसके द्वारा निरूपित किया जाता है $$\|f\|_{1,w}$$ या $$\|f\|_{1,\infty}.$$ इसी प्रकार स्थान को साधारणतया L1,w or L1,∞ द्वारा निरूपित किया जाता है।

(नोट: यह शब्दावली थोड़ी भ्रामक है क्योंकि दुर्बल मानदंड त्रिकोण असमानता को संतुष्ट नहीं करता है जैसा कि फलनों के योग पर विचार करके देखा जा सकता है $$ (0,1) $$ द्वारा दिए गए $$ 1/x $$ और $$ 1/(1-x) $$, जिसका मानक 2 नहीं 4 है।)

कोई $$L^1$$ फलन L का है1,wऔर इसके अतिरिक्त एक में असमानता है


 * $$\|f\|_{1,w}\leq \|f\|_1.$$

यह मार्कोव की असमानता (अका चेबीशेव की असमानता) के अतिरिक्त और कुछ नहीं है। इसका विपरीत सत्य नहीं है. उदाहरण के लिए, फलन 1/x L1,w से संबंधित है लेकिन L1 से नहीं है।

इसी प्रकार, कोई दुर्बल $$L^p$$ समष्टि को सभी फलन f के समष्टि के रूप में परिभाषित कर सकता है, जैसे कि $$|f|^p$$ से L1,w संबंधित है, और दुर्बल $$L^p$$ मानदंड का उपयोग कर रहा है


 * $$\|f\|_{p,w}= \left \||f|^p \right \|_{1,w}^{\frac{1}{p}}.$$

अधिकांश सीधे तौर पर, Lp,w मानदंड को असमानता में सर्वोत्तम स्थिरांक C के रूप में परिभाषित किया गया है


 * $$\lambda_f(t) \le \frac{C^p}{t^p}$$

सभी t > 0 के लिए.

निरूपण
अनौपचारिक रूप से, मार्सिंकिविज़ का प्रमेय है


 * प्रमेय. मान लीजिए T एक परिबद्ध रैखिक संचालिका है $$L^p$$ को $$L^{p,w}$$ और साथ ही साथ $$L^q$$ को $$L^{q,w}$$. तब T भी एक परिबद्ध संचालिका है $$L^r$$ को $$L^r$$ p और q के बीच किसी भी r के लिए।

दूसरे शब्दों में, भले ही किसी को चरम p और q पर केवल दुर्बल सीमा की आवश्यकता हो, नियमित सीमा अभी भी कायम है। इसे और अधिक औपचारिक बनाने के लिए, किसी को यह समझाना होगा कि T केवल सघन उपसमुच्चय पर घिरा है और इसे पूरा किया जा सकता है। इन विवरणों के लिए रिज़्ज़-थोरिन प्रमेय देखें।

मानक के अनुमानों में जहां मार्सिंकिविज़ का प्रमेय रीज़-थोरिन प्रमेय से दुर्बल है। प्रमेय इसके लिए सीमा देता है $$L^r$$ T का मानदंड लेकिन यह सीमा अनंत तक बढ़ जाती है क्योंकि r या तो p या q में परिवर्तित हो जाता है। विशेष रूप से, लगता है कि


 * $$\|Tf\|_{p,w} \le N_p\|f\|_p,$$
 * $$\|Tf\|_{q,w} \le N_q\|f\|_q,$$

ताकि Lp से Lp,w तक T का ऑपरेटर मानदंड अधिकतम Np पर हो, और Lq से Lq,w तक T का ऑपरेटर मानदंड अधिकतम Nq पर हो। फिर निम्नलिखित अंतर्वेशन असमानता p और q और सभी f ∈ Lr के बीच सभी r के लिए लागू होती है:


 * $$\|Tf\|_r\le \gamma N_p^\delta N_q^{1-\delta}\|f\|_r$$

जहाँ
 * $$\delta=\frac{p(q-r)}{r(q-p)}$$

और
 * $$\gamma=2\left(\frac{r(q-p)}{(r-p)(q-r)}\right)^{1/r}.$$

सीमा तक जाकर q = ∞ के लिए स्थिरांक δ और γ भी दिए जा सकते हैं।

प्रमेय का एक संस्करण अधिक सामान्यतः तब भी लागू होता है जब T को केवल निम्नलिखित अर्थों में एक रैखिककल्प ऑपरेटर माना जाता है: एक स्थिरांक C > 0 उपस्थित होता है जिससे T संतुष्ट होता है


 * $$|T(f+g)(x)| \le C(|Tf(x)|+|Tg(x)|)$$

लगभग हर जगह के लिए x. प्रमेय बिल्कुल वैसा ही है जैसा कहा गया है, इसके अतिरिक्त कि γ द्वारा प्रतिस्थापित किया गया है


 * $$\gamma=2C\left(\frac{r(q-p)}{(r-p)(q-r)}\right)^{1/r}.$$

एक ऑपरेटर T (संभवतः रैखिककल्प) फॉर्म के अनुमान को संतुष्ट करता है


 * $$\|Tf\|_{q,w}\le C\|f\|_p$$

दुर्बल प्रकार (p,q) का कहा जाता है। यदि T, Lp से Lq तक एक परिबद्ध परिवर्तन है तो एक ऑपरेटर केवल (p,q) प्रकार का होता है:


 * $$\|Tf\|_q\le C\|f\|_p.$$

अंतर्वेशन प्रमेय का अधिक सामान्य सूत्रीकरण इस प्रकार है:


 * यदि T दुर्बल प्रकार (p0, q0) और दुर्बल प्रकार (p1, q1) का एक रैखिककल्पऑपरेटर है जहां q0 ≠ q1 है, तो प्रत्येक θ ∈ (0,1) के लिए, T प्रकार (p,q) का है, p और q फॉर्म के p ≤ q के साथ
 * $$\frac{1}{p} = \frac{1-\theta}{p_0}+\frac{\theta}{p_1},\quad \frac{1}{q} = \frac{1-\theta}{q_0} + \frac{\theta}{q_1}.$$

बाद वाला सूत्रीकरण होल्डर की असमानता और द्वैत तर्क के अनुप्रयोग के माध्यम से पूर्व से अनुसरण करता है।

अनुप्रयोग और उदाहरण
एक प्रसिद्ध एप्लिकेशन उदाहरण हिल्बर्ट ट्रांसफॉर्म है। गुणक (फूरियर विश्लेषण) के रूप में देखे जाने पर, किसी फलन f के हिल्बर्ट ट्रांसफ़ॉर्म की गणना पहले f के फूरियर रूपांतरण को लेकर, फिर साइन फलन द्वारा गुणा करके और अंत में व्युत्क्रम फ़ोरियर ट्रांसफ़ॉर्म को लागू करके की जा सकती है।

इसलिए पार्सेवल का प्रमेय आसानी से दिखाता है कि हिल्बर्ट परिवर्तन से घिरा हुआ है $$L^2$$ को $$L^2$$. एक बहुत कम स्पष्ट तथ्य यह है कि यह सीमाबद्ध है $$L^1$$ को $$L^{1,w}$$. इसलिए मार्सिंकिविज़ के प्रमेय से पता चलता है कि यह से घिरा हुआ है $$L^p$$ को $$L^p$$ किसी भी 1 < p < 2 के लिए है। दोहरे समष्टि तर्क दर्शाते हैं कि यह 2 < p < ∞ के लिए भी परिबद्ध है। वास्तव में, हिल्बर्ट रूपांतरण वास्तव में 1 या ∞ के बराबर p के लिए असीमित है।

एक अन्य प्रसिद्ध उदाहरण हार्डी-लिटिलवुड मैक्सिमम फलन है, जो रैखिक के बदले में केवल सबलीनियर ऑपरेटर है। जबकि $$L^p$$ को $$L^p$$ सीमा तुरंत से प्राप्त की जा सकती है $$L^1$$ दुर्बल होना $$L^1$$ चरों के एक चतुर परिवर्तन द्वारा अनुमान लगाने के लिए, मार्सिंकिविज़ अंतर्वेशन एक अधिक सहज दृष्टिकोण है। चूंकि हार्डी-लिटलवुड मैक्सिमल फलन तुच्छ रूप से सीमित है $$L^\infty$$ को $$L^\infty$$, सभी के लिए सशक्त बाध्यता $$p>1$$ दुर्बल (1,1) अनुमान और अंतर्वेशन से तुरंत अनुसरण करता है। दुर्बल (1,1) अनुमान विटाली लेम्मा को कवर कर रहा है से प्राप्त किया जा सकता है।

इतिहास
प्रमेय की घोषणा सबसे पहले किसके द्वारा की गई थी? , जिन्होंने द्वितीय विश्व युद्ध में मरने से कुछ समय पहले एंटोनी ज़िगमंड को यह परिणाम दिखाया था। ज़िगमंड द्वारा प्रमेय को लगभग भुला दिया गया था, और एकवचन अभिन्न ऑपरेटरों के सिद्धांत पर उनके मूल फलनों से यह अनुपस्थित था। बाद में ने अनुभव किया कि मार्सिंक्यूविक्ज़ का परिणाम उनके काम को बहुत सरल बना सकता है, जिस समय उन्होंने अपने पूर्व छात्र के प्रमेय को अपने स्वयं के सामान्यीकरण के साथ प्रकाशित किया।

1964 में रिचर्ड एलन हंट|रिचर्ड ए. हंट और गुइडो वीस ने मार्सिंकिविज़ अंतर्वेशन प्रमेय का एक नया प्रमाण प्रकाशित किया।

यह भी देखें

 * अंतर्वेशन समष्टि