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$-الخطية غير المتماثلة هي بالضرورة دوال $t$-خطية لثابت $t \in (0, 1)$. ومع ذلك، أظهر لويكي وأولبريس (Lewicki and Olbryś) أن هذا الاستلزام يفشل بالنسبة للتقعس عندما يكون $t$ عدداً متسامياً؛ حيث قاما ببناء دالة $t$-مقعسة غير متماثلة ليست $t$-مقعسة. وهذا يترك سؤالاً مفتوحاً حول قيم نسبية محددة لـ $t$. وتحديداً، تساءل زولت باليس (Zsolt Páles) عما إذا كان هناك دالة $t$-مقعسة غير متماثلة ليست $t$-مقعسة عندما يكون $t = 1/3$. وبما أن التقعس $1/3$ يكافئ التقعس المتوسط (1/2-تقعس) في سياق المعاملات النسبية، فإن السؤال هو ما إذا كان التقعس $1/3$-غير المتماثل يستلزم التقعس المتوسط.

المنهجية
يستخدم المؤلف، باولو ليونيتي (Paolo Leonetti)، نهج المتباينة الدالية لإرساء معيار عام للتكافؤ بين التقعس $t$-غير المتماثل والتقعس $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. البرهان بالتناقض والتكرار: بافتراض وجود دالة $t$-مقعسة غير متماثلة $f$ ليست $t$-مقعسة، يقوم المؤلف ببناء دالة مساعدة $F$ (عبر تحويل أفيني) بحيث $F(0)=F(1)=0$ و $F(t) > 0$. ومن خلال تطبيق المعيار العام على نسخ مُقاسة من هذه الدالة، يستنتج المؤلف علاقة تكرارية تتضمن المتتالية $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}$ باستخدام هذه المعاملات تعطي المتطابقة المطلوبة، وبالتالي تستوفي شروط الافتراض 2.1.

المساهمات والنتائج الرئيسية

• مبرهنة 1.3: النتيجة الأساسية هي الإجابة السلبية على سؤال باليس. تثبت الورقة أنه بالنسبة لـ $t = 1/3$، فإن كل دالة $t$-مقعسة غير متماثلة $f: \mathbb{R} \to \mathbb{R}$ هي بالضرورة $t$-مقعسة.
• التعميم: تثبت المنهجية أن مجموعة $T$ من جميع قيم $t \in (0, 1)$ التي يستلزم فيها التقعس $t$-غير المتماثل التقعس $t$ تحتوي على $1/2$ (بديهي) و $1/3$ (مثبت).
• الخصائص الهيكلية لـ $T$:
  • التماثل: المجموعة $T$ متماثلة حول $1/2$ (أي $t \in T \iff 1-t \in T$).
  • الكثافة: المجموعة $T$ كثيفة في الفترة $(0, 1)$. ويتم إثبات ذلك باستخدام بناء يتضمن كلمات منتهية وتطبيقات متعددة الحدود تولد مجموعة كثيفة من المعاملات التي تحقق شرط التقعس.
  • عناصر محددة: تشير الورقة إلى أن حسابات مماثلة تظهر أن $1/k \in T$ لـ $k \in \{4, 5, 6\}$، وأن الأعداد الجبرية المحددة مثل $\frac{\sqrt{5}-1}{2}$ و $\frac{3-\sqrt{5}}{2}$ تنتمي إلى $T$.

الأهمية والأسئلة المفتوحة
تحل الورقة مسألة مفتوحة طرحها زولت باليس بخصوص حالة $t=1/3$، مؤكدة أن فشل الاستلزام للقيم $t$ المتسامية لا يمتد إلى هذه الحالة النسبية. توفر العمل طريقة بنائية (الافتراض 2.1) لتحديد ما إذا كانت قيم نسبية أو جبرية أخرى لـ $t$ تنتمي إلى المجموعة $T$.

يختتم المؤلف بالإشارة إلى أنه بينما $T$ كثيفة وتحتوي على العديد من الأعداد الجبرية، إلا أنه لا يزال سؤالاً مفتوحاً ما إذا كانت $T$ تحتوي على جميع الأعداد الجبرية في $(0, 1)$. لا تقترح الورقة تطبيقات أو اتجاهات تجريبية أخرى، بل تركز حصرياً على التوصيف النظري لهذه المتباينات الدالية.