Classical exponential bounds for p-generalized circular and hyperbolic functions

तकनीकी सारांश: p-सामान्यीकृत चक्रीय और अतिपरवलयिक फलनों के लिए शास्त्रीय घातांकीय सीमाएँ

समस्या विवरण
यह शोध पत्र एक पैरामीटर $p$ (जहाँ $1 < p < \infty$) पर निर्भर $p$-सामान्यीकृत चक्रीय और अतिपरवलयिक फलनों के लिए तीक्ष्ण (sharp) घातांकीय सीमाओं को स्थापित करने की समस्या को संबोधित करता है। जबकि मानक त्रिकोणमितीय और अतिपरवलयिक फलनों (जहाँ $p=2$) के लिए मानक घातांकीय सीमाओं से संबंधित शास्त्रीय असमानताएँ मौजूदा साहित्य में अच्छी तरह से प्रलेखित हैं, $p$-सामान्यीकृत संदर्भ में इन परिणामों का विस्तार करने की आवश्यकता है। लेखक $\sin_p x$, $\cos_p x$, $\tan_p x$, और उनके अतिपरवलयिक समकक्षों के लिए $e^{\alpha x^p} < f_p(x) < e^{\beta x^p}$ जैसे रूप में असमानताओं को प्राप्त करने का लक्ष्य रखते हैं, जिसमें सर्वोत्तम संभव स्थिरांक $\alpha$ और $\beta$ निर्धारित किए जाते हैं।

कार्यप्रणाली
लेखक विशिष्ट भागफल फलनों की एकदिष्टता (monotonicity) पर केंद्रित एक कठोर विश्लेषणात्मक दृष्टिकोण अपनाते हैं। प्राथमिक उपकरण के रूप में L'Hôpital's rule of monotonicity (लेम्मा 2.1) का उपयोग किया जाता है, जो फलनों के अनुपात की एकदिष्टता को उनके अवकलजों (derivatives) के अनुपात की एकदिष्टता से जोड़ता है।

कार्यप्रणाली इस प्रकार है:

1. फलनों की परिभाषा: शोध पत्र $p$-सामान्यीकृत फलनों ($\sin_p, \cos_p, \tan_p, \sec_p$ और उनके अतिपरवलयिक समकक्षों) को समाकल $\int_0^x (1 \mp t^p)^{-1/p} dt$ के व्युत्क्रम के आधार पर परिभाषित करता है।
2. सहायक लेम्मा: मुख्य प्रमाणों का समर्थन करने के लिए दो प्रमुख लेम्मा स्थापित किए गए हैं:
   • लेम्मा 2.2: यह सिद्ध करता है कि $p > 1$ के लिए $\xi(x) = x / \tan_p x$ अंतराल $(0, \pi_p/2)$ पर सख्ती से घटता हुआ (strictly decreasing) है।
   • लेम्मा 2.3: यह सिद्ध करता है कि $p > 1$ के लिए $x \ge 0$ हेतु $\varsigma(x) = x / \tanh_p x$ सख्ती से बढ़ता हुआ (strictly increasing) है।
3. अनुपात फलनों का निर्माण: प्रत्येक लक्षित असमानता के लिए, लेखक एक फलन $F(x) = \ln(f_p(x)/g_p(x)) / x^p$ का निर्माण करते हैं।
4. अवकलन और एकदिष्टता विश्लेषण: बार-बार अवकलन लागू करके और सहायक लेम्मा का उपयोग करके, लेखक यह प्रदर्शित करते हैं कि अंश और हर के अवकलजों का अनुपात एकदिष्ट (एक या तो सख्ती से बढ़ता या घटता हुआ) है।
5. लेम्मा 2.1 का अनुप्रयोग: यह एकदिष्टता यह संकेत देती है कि मूल फलन $F(x)$ सख्ती से एकदिष्ट है। इसके बाद, $F(x)$ के मानों को $x \to 0^+$ पर और अंतराल के ऊपरी मान पर मूल्यांकन करके सीमाएँ (bounds) प्राप्त की जाती हैं।

मुख्य योगदान और परिणाम
शोध पत्र विभिन्न $p$-सामान्यीकृत फलनों के लिए घातांकीय सीमाओं के लिए छह मुख्य प्रमेय स्थापित करता है। परिणाम सर्वोत्तम संभव स्थिरांकों के साथ दोहरी असमानताओं के रूप में प्रस्तुत किए गए हैं।

• सामान्यीकृत ज्या (Sine) फलन (प्रमेय 3.1): $p \ge 2$ और $x \in (0, \pi_p/2)$ के लिए, शोध पत्र सिद्ध करता है:
  $$e^{\alpha x^p} < \frac{\sin_p x}{x} < e^{\beta x^p}$$
  जहाँ $\alpha = \frac{2^p \ln(2/\pi_p)}{\pi_p^p}$ और $\beta = -\frac{1}{p(p+1)}$।

• सामान्यीकृत कोज्या (Cosine) फलन (प्रमेय 3.2): $p \ge 1$ और $x \in (0, a)$ जहाँ $a < \pi_p/2$:
  $$e^{\alpha_1 x^p} < \cos_p x < e^{\beta_1 x^p}$$
  जहाँ $\alpha_1 = \frac{\ln(\cos_p a)}{a^p}$ और $\beta_1 = -\frac{1}{p}$।

• सामान्यीकृत स्पर्शज्या (Tangent) फलन (प्रमेय 3.3): $p \ge 2$ और $x \in (0, b)$ जहाँ $b < \pi_p/2$:
  $$e^{\alpha_2 x^p} < \frac{x}{\tan_p x} < e^{\beta_2 x^p}$$
  स्थिरांकों $\alpha_2 = \frac{\ln(b/\tan_p b)}{b^p}$ और $\beta_2 = -\frac{1}{p+1}$ के साथ।

• सामान्यीकृत अतिपरवलयिक ज्या (Hyperbolic Sine) फलन (प्रमेय 3.4): $p \ge 2$ और $x \in (0, c)$ के लिए:
  $$e^{\lambda x^p} < \frac{x}{\sinh_p x} < e^{\eta x^p}$$
  $\lambda = -\frac{1}{p(p+1)}$ और $\eta = \frac{\ln(c/\sinh_p c)}{c^p}$ के साथ।

• सामान्यीकृत अतिपरवलयिक कोज्या (Hyperbolic Cosine) फलन (प्रमेय 3.5): $p \ge 1$ और $x \in (0, d)$ के लिए:
  $$e^{\lambda_1 x^p} < \cosh_p x < e^{\eta_1 x^p}$$
  $\lambda_1 = \frac{\ln(\cosh_p d)}{d^p}$ और $\eta_1 = \frac{1}{p}$ के साथ।

• सामान्यीकृत अतिपरवलयिक स्पर्शज्या (Hyperbolic Tangent) फलन (प्रमेय 3.6): $p \ge 2$ और $x \in (0, m)$ के लिए:
  $$e^{\lambda_2 x^p} < \frac{\tanh_p x}{x} < e^{\eta_2 x^p}$$
  $\lambda_2 = -\frac{1}{p+1}$ और $\eta_2 = \frac{\ln((\tanh_p m)/m)}{m^p}$ के साथ।

इसके अतिरिक्त, उप-प्रमेय (Corollary) 3.7 असमानता $\frac{x}{\tan_p x} < \frac{\tanh_p x}{x}$ को $x \in (0, \pi_p/2)$ और $p \ge 2$ के लिए स्थापित करता है।

महत्व और दावे
लेखक दावा करते हैं कि उनके परिणाम शास्त्रीय चक्रीय और अतिपरवलयिक फलनों के लिए मौजूदा असमानताओं के प्राकृतिक सामान्यीकरण हैं। $p=2$ सेट करने पर, व्युत्पन्न असमानताएँ संदर्भ [2, 3, 4, 5, 10] में पाए जाने वाले ज्ञात शास्त्रीय परिणामों में सटीक रूप से बदल जाती हैं। शोध पत्र नए अनुप्रयोगों या प्रयोगात्मक प्रस्तावों का प्रस्ताव नहीं करता है; बल्कि, इसका महत्व इन सामान्यीकृत असमानताओं के लिए "सर्वोत्तम संभव" स्थिरांक प्रदान करते हुए, व्यापक श्रेणी के $p$-सामान्यीकृत फलनों के लिए घातांकीय सीमाओं के सैद्धांतिक विस्तार में निहित है। यह कार्य $p$-लैपलेसियन (p-Laplacian) के आइजनफंक्शन्स (eigenfunctions) के संदर्भ में व्यापक रूप से अध्ययन किए गए सामान्यीकृत फलनों से जुड़ी असमानताओं के साहित्य में योगदान देता है।