On non-symmetric $t$-convexity

तकनीकी सारांश: गैर-सममित $t$-उत्तलता पर

समस्या विवरण
यह शोध पत्र वास्तविक-मान वाले फलनों के लिए गैर-सममित $t$-उत्तलता और मानक $t$-उत्तलता के बीच संबंध के संबंध में एक विशिष्ट प्रश्न को संबोधित करता है। एक फलन $f: \mathbb{R} \to \mathbb{R}$ को गैर-सममित $t$-उत्तल तब कहा जाता है यदि असमिका
$$f(tx + (1-t)y) \leq tf(x) + (1-t)f(y)$$
सभी $x \leq y$ के लिए सत्य हो। यदि यह असमिका सभी $x, y \in \mathbb{R}$ के लिए सत्य है, तो फलन को केवल $t$-उत्तल कहा जाता है।

यह एक ज्ञात परिणाम है कि एक निश्चित $t \in (0, 1)$ के लिए, गैर-सममित $t$-अैफिन (affine) फलन अनिवार्य रूप से $t$-अैफिन होते हैं। हालांकि, लेविक और ओल्ब्रीस (Lewicki and Olbryś) ने प्रदर्शित किया कि जब $t$ एक अपरिमेय संख्या (transcendental number) हो, तो उत्तलता के लिए यह निहितार्थ विफल हो जाता है; उन्होंने एक ऐसा गैर-सममित $t$-उत्तल फलन निर्मित किया जो $t$-उत्तल नहीं है। यह विशिष्ट परिमेय मानों के लिए $t$ के प्रश्न को खुला छोड़ देता है। विशेष रूप से, ज़ोल्ट पालेस (Zsolt Páles) ने पूछा था कि क्या $t = 1/3$ के लिए एक ऐसा गैर-सममित $t$-उत्तल फलन मौजूद है जो $t$-उत्तल नहीं है। चूंकि परिमेय मापदंडों के संदर्भ में $1/3$-उत्तलता, मिडकन्वेक्सिटी (midconvexity/1/2-उत्तलता) के समतुल्य है, प्रश्न यह है कि क्या गैर-सममित $1/3$-उत्तलता, मिडकन्वेक्सिटी को निहित करती है।

कार्यप्रणाली (Methodology)
लेखक, पाओलो लियोनेटी (Paolo Leonetti), गैर-सममित और सममित $t$-उत्तलता की समानता के लिए एक सामान्य मानदंड स्थापित करने हेतु एक कार्यात्मक असमिका दृष्टिकोण का उपयोग करते हैं।

1. सामान्य मानदंड (प्रस्ताव 2.1): प्रमाण का मुख्य भाग एक प्रस्ताव है जो यह बताता है कि एक निश्चित $t \in (0, 1/2)$ के लिए, यदि एक स्थिरांक $C > 1-t$, क्रमित युग्मों $\{(u_i, v_i)\}$ का एक परिमित सेट (जहाँ $u_i \leq v_i$), गैर-ऋणात्मक गुणांक $\mu_i$, और एक वास्तविक संख्या $\eta$ मौजूद है, जिससे "दोष" (defect) फलनों $J_{t,\phi}$ का एक विशिष्ट रैखिक संयोजन फलन मानों के एक विशिष्ट रैखिक संयोजन के बराबर होता है, तो प्रत्येक गैर-सममित $t$-उत्तल फलन $t$-उत्तल होता है।
   दोष फलन को $J_{t,\phi}(u, v) = t\phi(u) + (1-t)\phi(v) - \phi(tu + (1-t)v)$ के रूप में परिभाषित किया गया है।

2. विरोधाभास और पुनरावृत्ति द्वारा प्रमाण (Proof by Contradiction and Iteration): यह मानते हुए कि एक गैर-सममित $t$-उत्तल फलन $f$ मौजूद है जो $t$-उत्तल नहीं है, लेखक एक सहायक फलन $F$ का निर्माण करते हैं (अैफिन रूपांतरण के माध्यम से) ताकि $F(0)=F(1)=0$ और $F(t) > 0$ हो। इस फलन के स्केल्ड संस्करणों पर सामान्य मानदंड लागू करके, लेखक एक पुनरावृत्ति संबंध (recurrence relation) प्राप्त करते हैं जिसमें अनुक्रम $G_n = f(t^{n+1}) - tf(t^n)$ शामिल है।
   प्रमाण यह प्रदर्शित करता है कि $C > 1-t$ की स्थिति के तहत, अनुक्रम $G_n$ ज्यामितीय रूप से बढ़ता है, जिससे एक विरोधाभास उत्पन्न होता है जहाँ एक विशिष्ट ऋणात्मक बिंदु पर फलन का मान अनंत होना चाहिए, जो कि एक वास्तविक-मान वाले फलन के लिए असंभव है।

3. $t=1/3$ के लिए स्पष्ट निर्माण: $t=1/3$ के विशिष्ट मामले के लिए आवश्यक मापदंडों को लागू करने के लिए, लेखक स्पष्ट रूप से आवश्यक मापदंडों का निर्माण करते हैं:

   • $C = 8/3$
   • $\eta = 10/9$
   • तीन बिंदुओं के युग्म: $(1/9, 4/9)$, $(0, 2/3)$, और $(0, 1)$।
   • गुणांक: $\mu_1 = 3$, $\mu_2 = 2$, $\mu_3 = 4/3$।
     लेखक सत्यापित करते हैं कि इन मापदंडों का उपयोग करके $J_{1/3, \phi}$ पदों का रैखिक संयोजन आवश्यक पहचान (identity) प्रदान करता है, जिससे प्रस्ताव 2.1 की शर्तें पूरी होती हैं।

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

• प्रमेय 1.3: प्राथमिक परिणाम पालेस के प्रश्न का नकारात्मक उत्तर है। यह शोध पत्र सिद्ध करता है कि $t = 1/3$ के लिए, प्रत्येक गैर-सममित $t$-उत्तल फलन $f: \mathbb{R} \to \mathbb{R}$ अनिवार्य रूप से $t$-उत्तल है।
• सामान्यीकरण (Generalization): कार्यप्रणाली यह स्थापित करती है कि $T$ का सेट (उन सभी $t \in (0, 1)$ का सेट जिनके लिए गैर-सममित $t$-उत्तलता, $t$-उत्तलता को निहित करती है) में $1/2$ (तुच्छ/trivial) और $1/3$ (सिद्ध) शामिल हैं।
• $T$ के संरचनात्मक गुण:
  • सममिति (Symmetry): सेट $T$, $1/2$ के चारों ओर सममित है (अर्थात, $t \in T \iff 1-t \in T$)।
  • घनत्व (Density): सेट $T$, अंतराल $(0, 1)$ में सघन (dense) है। इसे परिमित शब्दों (finite words) और बहुपद मैपिंग (polynomial mappings) के निर्माण का उपयोग करके सिद्ध किया गया है जो उत्तलता की स्थिति को संतुष्ट करने वाले मापदंडों का एक सघन सेट उत्पन्न करते हैं।
  • विशिष्ट तत्व: शोध पत्र नोट करता है कि समान गणनाएँ दर्शाती हैं कि $1/k \in T$ जहाँ $k \in \{4, 5, 6\}$ है, और विशिष्ट बीजगणितीय संख्याएँ जैसे $\frac{\sqrt{5}-1}{2}$ और $\frac{3-\sqrt{5}}{2}$ भी $T$ के अंतर्गत आती हैं।

महत्व और खुले प्रश्न
यह शोध पत्र ज़ोल्ट पालेस द्वारा पूछे गए एक विशिष्ट खुले प्रश्न को हल करता है, यह पुष्टि करता है कि अपरिमेय $t$ के लिए निहितार्थ की विफलता इस परिमेय मामले तक विस्तारित नहीं होती है। यह कार्य एक रचनात्मक विधि (प्रस्ताव 2.1) प्रदान करता है जिससे यह निर्धारित किया जा सके कि अन्य परिमेय या बीजगणितीय $t$ के मान $T$ के अंतर्गत आते हैं या नहीं।

लेखक यह उल्लेख करते हुए समाप्त करते हैं कि जबकि $T$ सघन है और इसमें कई बीजगणितीय संख्याएँ शामिल हैं, यह अभी भी एक खुला प्रश्न है कि क्या $T$ में $(0, 1)$ के सभी बीजगणितीय संख्याएँ शामिल हैं। यह शोध पत्र आगे के अनुप्रयोगों या प्रयोगात्मक दिशाओं का प्रस्ताव नहीं करता है, बल्कि पूरी तरह से इन कार्यात्मक असमानताओं के सैद्धांतिक लक्षण वर्णन पर केंद्रित है।