Identities and inequalities for integral transforms involving squares of the Bessel functions

तकनीकी सारांश: बेसेल फलनों के वर्गों से संबंधित इंटीग्रल ट्रांसफॉर्म के लिए पहचान और असमानताएं

समस्या विवरण
यह शोध पत्र $T_\nu$ द्वारा परिभाषित इंटीग्रल ट्रांसफॉर्म $T_\nu$ की जांच करता है, जो है:
$$T_\nu f(s) := \pi \int_0^\infty rs J_\nu(rs)^2 f(r) \, dr,$$
जहाँ $J_\nu$ क्रम $\nu \in [-1/2, \infty)$ का प्रथम प्रकार का बेसेल फलन है। यह ट्रांसफॉर्म $\mathbb{R}^d$ पर फ्री श्रोडिंगर समीकरण के लिए कैटो-याजिमा स्मूथिंग अनुमानों (Kato–Yajima smoothing estimates) में इष्टतम स्थिरांकों के अध्ययन में केंद्रीय है। विशेष रूप से, असमानता
$$\int_{\mathbb{R}^d \times \mathbb{R}} w(|x|) |\psi(|\nabla|) e^{it\Delta} u_0(x)|^2 \, dx \, dt \le C \|u_0\|_{L^2(\mathbb{R}^d)}^2$$
के लिए इष्टतम स्थिरांक $C_S^{(d)}(w, \psi)$ को $k \in \mathbb{N}$ और $s > 0$ पर $s^{-1}\psi(s)^2 T_{k+d/2-1}w(s)$ के सुप्रीमम (supremum) द्वारा निर्धारित किया जाता है।

जबकि बेज़, सैतो और सुगिमोटो के पिछले कार्यों ने पूर्णांक सूचकांकों $k$ और आयामों $d$ के लिए $T_{k+d/2-1}$ को हेंकल ट्रांसफॉर्म $H_{d/2-1}$ से संबंधित एक पहचान स्थापित की थी, गैर-पूर्णांक सूचकांकों तक इन पहचानों को विस्तारित करने और केवल पूर्णांक क्रमों तक सीमित न रहकर $T_\nu$ के लिए सामान्य असमानताएं प्राप्त करने में एक अंतराल शेष था। इस शोध पत्र का उद्देश्य इन पहचानों को मनमाने सूचकांकों तक विस्तारित करना और गैर-पूर्णांक क्रमों के लिए भी $T_\nu$ के लिए सामान्य असमानताएं और मोनोटोनिसिटी (monotonicity) गुणों को स्थापित करने के लिए इनका उपयोग करना है।

कार्यप्रणाली
लेखक इंटीग्रल ट्रांसफॉर्म सिद्धांत, विशेष फलन पहचानों और मापन-सिद्धांत (measure-theoretic) तर्कों के संयोजन का उपयोग करता है।

1. पहचानों का विस्तार: मुख्य कार्यप्रणाली नवाचार $T_{k+d/2-1}f = U_{k,d/2-1}H_{d/2-1}f$ (जो पूर्णांक $k$ के लिए ज्ञात है) को मनमाने सूचकांकों तक विस्तारित करना है। इसे द्वितीय प्रकार के गेन-कौगर फलन (Gegenbauer function of the second kind), $D_\mu^{(\nu)}$ को पेश करके प्राप्त किया जाता है, जो एक सामान्यीकृत इंटीग्रल ऑपरेटर $U_{\mu,\nu}$ को परिभाषित करता है जिसका कर्नेल (kernel) $K_{\mu,\nu}(r,s)$ है, जो $\mu \notin \mathbb{N}$ होने पर $r > 2s$ के लिए गैर-शून्य होता है।
2. हेंकल ट्रांसफॉर्म विश्लेषण: सामान्यीकृत पहचान का प्रमाण कर्नेल फलन $g_{\mu,\nu,s}(r) = \pi s r^{-2\nu} J_{\mu+\nu}(rs)^2$ के हेंकल ट्रांसफॉर्म की गणना पर निर्भर करता है। यह गणना तीन बेसेल फलनों के उत्पादों वाले इंटीग्रल के लिए मैकडोनाल्ड के सूत्र (Macdonald's formula) का उपयोग करती है, जो परिणाम को लेजेंड्रे फलनों के पदों में व्यक्त करती है और तत्पश्चात उन्हें गेन-कौगर फलनों में परिवर्तित करती है।
3. पार्सवल की पहचान (Parseval's Identity): पहचान $T_{\mu+\nu}f = U_{\mu,\nu}H_\nu f$ की वैधता हेंकल ट्रांसफॉर्म के पार्सवल की पहचान का उपयोग करके स्थापित की जाती है, जो फलनों और उनके ट्रांसफॉर्म के लिए आवश्यक समाकलनीयता (integrability) स्थितियों को सुनिश्चित करती है।
4. मोनोटोनिसिटी और असमानताएं: कर्नेल $K_{\mu,\nu}(r,s)$ का विश्लेषण करके, लेखक बिंदुवार असमानताएं (जैसे, $K_{\mu,\nu} \le K_{0,\nu}$) प्राप्त करता है, जो हेंकल ट्रांसफॉर्म $H_\nu f$ की गैर-ऋणात्मकता के साथ मिलकर $T_\nu f$ के लिए असमानताएं प्रदान करती हैं।
5. पूर्ण मोनोटोनिसिटी (Complete Monotonicity): लेखक बर्नस्टीन-विडर (Bernstein–Widder) और शोएनबर्ग (Schoenberg) प्रमेयों का लाभ उठाता है, जो उन फलनों $f$ को अभिलक्षणित करते हैं जहाँ $r \mapsto f(r^{1/2})$ पूर्णतः मोनोटोन (completely monotone) है, जो गाउसियन के सुपरपोजिशन के रूप में होते हैं। यह एक बोरेल माप (Borel measure) के विरुद्ध एकीकरण के माध्यम से गाउसियन मामले से फलनों के एक व्यापक वर्ग तक परिणामों के विस्तार की अनुमति देता है।

प्रमुख योगदान और परिणाम

• सामान्यीकृत पहचान (Theorem 1.6(I)): शोध पत्र यह स्थापित करता है कि $\mu \in [0, \infty)$, $\nu \in (-1/2, \infty)$ और उपयुक्त $f$ के लिए, पहचान $T_{\mu+\nu}f(s) = U_{\mu,\nu}H_\nu f(s)$ सत्य है। यह पूर्णांक शिफ्ट वाले पिछले परिणामों को सामान्यीकृत करता है।
• मोनोटोनिसिटी और असमानताएं (Theorem 1.6(II)–(V)):
  • यदि $H_\nu f$ गैर-ऋणात्मक है, तो $\nu \ge 1/2$ के लिए $s \mapsto T_\nu f(s)$ गैर-घटता (non-decreasing) है।
  • योग $T_\nu f(s) + T_{\nu+1} f(s)$ $\nu > -1/2$ के लिए गैर-घटता है।
  • $\mu \in \mathbb{N}_{\ge 1}$ या $\mu \in (0, 1]$ (जहाँ $\mu+2\nu \ge 0$) के लिए, यदि $H_\nu f$ गैर-ऋणात्मक है, तो $T_{\mu+\nu}f(s) \le T_\nu f(s)$।
• स्मूथिंग अनुमानों पर अनुप्रयोग (Theorem 1.5): $T_{d/2-1/2}w \le T_{d/2-1}w$ (Theorem 1.6(V) के साथ $\mu=1/2$ से प्राप्त) का उपयोग करते हुए, लेखक सिद्ध करता है कि यदि स्थानिक भार $w$ के फूरियर ट्रांसफॉर्म $\mathbb{R}^d$ और $\mathbb{R}^{d+1}$ पर गैर-ऋणात्मक हैं, तो स्मूथिंग अनुमान के लिए इष्टतम स्थिरांक $C_S^{(d+1)}(w, \psi) \le C_S^{(d)}(w, \psi)$ को संतुष्ट करता है। यह आयाम-घटते गुण (dimension-decreasing property) के लिए एक पर्याप्त स्थिति प्रदान करता है, जो परिचय में वर्णित मामलों (A), (B), और (C) को कवर करता है।
• अनलिटिसिटी और पूर्ण मोनोटोनिसिटी (Theorem 1.8): उन फलनों $f$ के लिए जहाँ $r \mapsto f(r^{1/2})$ पूर्णतः मोनोटोन है, शोध पत्र सिद्ध करता है कि:
  • $s \mapsto s^{-\nu-1/2}T_\nu f(s^{1/2})$ पूर्णतः मोनोटोन है।
  • $s \mapsto T_\nu f(s)$ $\nu \ge 1/2$ के लिए सख्ती से बढ़ता (strictly increasing) है।
  • $s \mapsto T_\nu f(s) + T_{\nu+1} f(s)$ सख्ती से बढ़ता है।
  • $\nu \mapsto T_\nu f(s)$ $\nu \ge 0$ के लिए सख्ती से घटता (strictly decreasing) है।
  • $T_{-\nu}f(s) < T_\nu f(s)$ $\nu \in (-1/2, 0)$ के लिए।
    ये परिणाम $T_\nu f$ की $(0, \infty)$ पर अनलिटिसिटी (analyticity) को दर्शाते हैं, जिसके स्मूथिंग अनुमानों में एक्सट्रीमराइज़र (extremizers) के गैर-अस्तित्व के लिए निहितार्थ हैं।
• विशिष्ट उदाहरण: शोध पत्र संशोधित बेसेल फलनों $I_\nu$ और $K_\nu$ के ज्ञात गुणों (जैसे, $s^{-\nu}e^{-s}I_\nu(s)$ की पूर्ण मोनोटोनिसिटी और $s I_\nu(s)K_\nu(s)$ की मोनोटोनिसिटी) के लिए नए प्रमाण प्राप्त करने हेतु इन प्रमेयों को लागू करता है।
• विस्तार: परिणामों को $\nu = -1/2$ के मामले (Proposition 4.1) और डिरैक समीकरणों (Theorem 4.3) तक विस्तारित किया गया है, जो इष्टतम स्थिरांकों के लिए समान आयाम-घटते गुणों को प्रदर्शित करते हैं।

महत्व
शोध पत्र का दावा है कि यह मनमाने गैर-पूर्णांक सूचकांकों में $T_\nu$ के इंटीग्रल ट्रांसफॉर्म के व्यवहार को समझने के लिए एक एकीकृत ढांचा प्रदान करता है। $T_\nu$ को हेंकल ट्रांसफॉर्म से जोड़ने वाली पहचान को विस्तारित करके, लेखक ऐसी असमानताओं का समूह प्राप्त करता है जो पहले केवल विशिष्ट पूर्णांक मामलों के लिए ज्ञात थीं या जिनके लिए अलग तरीकों की आवश्यकता थी।

प्राथमिक महत्व निम्नलिखित में निहित है:

1. सामान्यीकरण: $T_{k+d/2-1} = U_{k,d/2-1}H_{d/2-1}$ को मनमाने वास्तविक सूचकांकों तक विस्तारित करना, जिससे स्मूथिंग अनुमानों के विश्लेषण में पूर्णांक आयामों या क्रमों का प्रतिबंध समाप्त हो जाता है।
2. इष्टतम स्थिरांक: आयाम के संबंध में इष्टतम स्मूथिंग स्थिरांकों की मोनोटोनिसिटी के लिए एक कठोर पर्याप्त स्थिति (गैर-ऋणात्मक फूरियर ट्रांसफॉर्म) प्रदान करना, विशेष रूप से यह सिद्ध करना कि व्यापक स्थितियों के तहत $C_S^{(d+1)} \le C_S^{(d)}$।
3. अनलिटिसिटी: व्यापक वर्ग के भारों (जो पूर्णतः मोनोटोन फलनों से संबंधित हैं) के लिए $T_\nu f$ की अनलिटिसिटी स्थापित करना, जो स्मूथिंग अनुमानों के लिए एक्सट्रीमराइज़र के गैर-अस्तित्व का समर्थन करता है।
4. एकीकरण: यह प्रदर्शित करना कि बेसेल फलनों (जैसे, $I_\nu$ और $K_\nu$ से जुड़े) के विभिन्न ज्ञात गुण और मोनोटोनिसिटी गुण $T_\nu$ के सामान्य गुणों और इनपुट फलन की पूर्ण मोनोटोनिसिटी के प्रत्यक्ष परिणाम हैं।

लेखक नोट करता है कि हालांकि कुछ विशिष्ट असमानताएं (जैसे कि उदाहरण 3.2 में) ज्ञात थीं, यहाँ प्रदान किए गए प्रमाण नए हैं और सामान्यीकृत पहचान से उत्पन्न होते हैं, जो अधिक प्रत्यक्ष और एकीकृत दृष्टिकोण प्रदान करते हैं।