We introduce new classes of general monotone sequences and study their properties. For functions whose Fourier coefficients belong to these classes, we establish Hardy-Littlewood-type theorems.
معرّف الورقة : 2510.14458العنوان : On L p L_p L p -integrability of functions with general monotone Fourier coefficientsالمؤلفون : A. Mukanov, E. Nursultanovالتصنيف : math.CA (التحليل الكلاسيكي والمعادلات التفاضلية)تاريخ النشر : 16 أكتوبر 2025رابط الورقة : https://arxiv.org/abs/2510.14458v1 تقدم هذه الورقة فئات جديدة من المتتاليات أحادية الاتجاه العامة وتدرس خصائصها. وتثبت نظريات من نوع Hardy-Littlewood للدوال التي تنتمي معاملات فورييه لها إلى هذه الفئات.
يتمثل الهدف الأساسي للبحث في إقامة العلاقة بين الدوال القابلة للتكامل f ( x ) f(x) f ( x ) ومتتالية معاملات فورييه لها، خاصة في حالة المعاملات المعقدة، وإثبات نظريات من نوع Hardy-Littlewood.
تعتبر نظرية Hardy-Littlewood نتيجة كلاسيكية في التحليل التوافقي، حيث تعطي علاقة تكافؤ بين معيار L p L^p L p للدالة وتابع Paley من معاملات فورييه. لهذه النظرية تطبيقات مهمة في نظرية تقريب الدوال والتحليل التوافقي والمعادلات التفاضلية الجزئية.
قيود صارمة على المعاملات : تتطلب نظرية Hardy-Littlewood التقليدية أن تكون معاملات فورييه متتاليات غير سالبة وتنازليةصعوبة التعامل مع المعاملات المعقدة : التعميمات الموجودة تركز بشكل أساسي على المعاملات الحقيقية أو المعاملات المعقدة في قطاع معينفصل الشروط : بالنسبة لمتسلسلات من الشكل ∑ k = 1 ∞ ( a k cos k x + b k sin k x ) \sum_{k=1}^{\infty}(a_k\cos kx + b_k\sin kx) ∑ k = 1 ∞ ( a k cos k x + b k sin k x ) ، يجب أن تحقق كل من { a k } \{a_k\} { a k } و { b k } \{b_k\} { b k } شرط الأحادية العامةيهدف المؤلفون إلى تعريف فئات متتاليات جديدة { a k } k = − ∞ ∞ \{a_k\}_{k=-\infty}^{\infty} { a k } k = − ∞ ∞ بحيث يكون لدينا ∥ f ∥ L p ( [ − π , π ] ) ≍ J p ( f ) \|f\|_{L^p([-\pi,\pi])} \asymp J_p(f) ∥ f ∥ L p ([ − π , π ]) ≍ J p ( f ) لأي 1 < p < ∞ 1 < p < \infty 1 < p < ∞ ، حيث J p ( f ) J_p(f) J p ( f ) هو تابع من نوع Paley.
إدخال فئات أحادية اتجاه عامة جديدة : تعريف فئتين جديدتين من المتتاليات أحادية الاتجاه العامة G M ∗ GM^* G M ∗ و G M ‾ \overline{GM} GM إثبات نظريات من نوع Hardy-Littlewood : إثبات أن العلاقات التكافؤية من نوع Hardy-Littlewood تنطبق على المتتاليات في هذه الفئات الجديدةتوسيع نطاق التطبيق :
السماح بمعاملات فورييه معقدة عدم فرض قيود إضافية بخلاف الأحادية العامة الصحة على المدى الكامل 1 < p < ∞ 1 < p < \infty 1 < p < ∞ تأثير التعويض : الفئات المعرّفة حديثاً تمتلك تأثير تعويضي يسمح لأجزاء معينة من المتتالية بالتصرف بشكل أسوأمعالجة المتسلسلات المتناوبة : استخدام مضاعفات فورييه L p L^p L p لإقامة علاقات تكافؤ للمتسلسلات المتناوبةبالنسبة لدالة قابلة للتكامل f ( x ) ∼ ∑ k = − ∞ ∞ a k e i k x f(x) \sim \sum_{k=-\infty}^{\infty} a_k e^{ikx} f ( x ) ∼ ∑ k = − ∞ ∞ a k e ik x معرّفة على [ − π , π ] [-\pi,\pi] [ − π , π ] ، يتم إقامة علاقة تكافؤ بين ∥ f ∥ L p \|f\|_{L^p} ∥ f ∥ L p وتابع Paley
J p ( f ) : = ( ∑ k = − ∞ ∞ ( ∣ k ∣ + 1 ) p − 2 ∣ a k ∣ p ) 1 / p J_p(f) := \left(\sum_{k=-\infty}^{\infty} (|k|+1)^{p-2}|a_k|^p\right)^{1/p} J p ( f ) := ( ∑ k = − ∞ ∞ ( ∣ k ∣ + 1 ) p − 2 ∣ a k ∣ p ) 1/ p
تنتمي المتتالية { a m } m = − ∞ ∞ \{a_m\}_{m=-\infty}^{\infty} { a m } m = − ∞ ∞ إلى فئة G M ∗ GM^* G M ∗ إذا كان هناك C > 0 C > 0 C > 0 بحيث لأي n ≥ 0 n \geq 0 n ≥ 0 :
∑ [ 2 n − 1 ] ≤ ∣ m ∣ < 2 n ∣ Δ a m ∣ ≤ C sup k ∈ N 0 min ( 1 , 2 k − n ) a ~ 2 k \sum_{[2^{n-1}] \leq |m| < 2^n} |\Delta a_m| \leq C \sup_{k \in \mathbb{N}_0} \min(1, 2^{k-n})\tilde{a}_{2^k} ∑ [ 2 n − 1 ] ≤ ∣ m ∣ < 2 n ∣Δ a m ∣ ≤ C sup k ∈ N 0 min ( 1 , 2 k − n ) a ~ 2 k
حيث a ~ 2 k = sup w ∈ W , ∣ w ∣ ≥ 2 k 1 ∣ w ∣ ∣ ∑ j ∈ w a j ∣ \tilde{a}_{2^k} = \sup_{w \in \mathcal{W}, |w| \geq 2^k} \frac{1}{|w|}\left|\sum_{j \in w} a_j\right| a ~ 2 k = sup w ∈ W , ∣ w ∣ ≥ 2 k ∣ w ∣ 1 ∑ j ∈ w a j
تنتمي المتتالية { a m } m = − ∞ ∞ \{a_m\}_{m=-\infty}^{\infty} { a m } m = − ∞ ∞ إلى فئة G M ‾ \overline{GM} GM إذا كان هناك C > 0 C > 0 C > 0 بحيث لأي n ≥ 0 n \geq 0 n ≥ 0 :
∑ [ 2 n − 1 ] ≤ ∣ m ∣ < 2 n ∣ Δ a m ∣ ≤ C sup k ∈ N 0 min ( 1 , 2 k − n ) a ^ 2 k \sum_{[2^{n-1}] \leq |m| < 2^n} |\Delta a_m| \leq C \sup_{k \in \mathbb{N}_0} \min(1, 2^{k-n})\hat{a}_{2^k} ∑ [ 2 n − 1 ] ≤ ∣ m ∣ < 2 n ∣Δ a m ∣ ≤ C sup k ∈ N 0 min ( 1 , 2 k − n ) a ^ 2 k
حيث a ^ 2 k = sup 2 k ≤ ∣ m ∣ < 2 k + 1 1 ∣ m ∣ + 1 ∣ ∑ j = 0 m a j ∣ \hat{a}_{2^k} = \sup_{2^k \leq |m| < 2^{k+1}} \frac{1}{|m|+1}\left|\sum_{j=0}^m a_j\right| a ^ 2 k = sup 2 k ≤ ∣ m ∣ < 2 k + 1 ∣ m ∣ + 1 1 ∑ j = 0 m a j
طريقة فضاء الشبكة : استخدام فضاء الشبكة n p , q n^{p,q} n p , q كأداة رئيسية، وهو مفهوم جديد قدمه Nursultanovالمتوسطات ثنائية الاتجاه : المتوسطات المعرّفة حديثاً a ~ 2 k \tilde{a}_{2^k} a ~ 2 k و a ^ 2 k \hat{a}_{2^k} a ^ 2 k تتضمن عناصر المتتالية ذات الفهارس الموجبة والسالبةآلية التعويض : من خلال تأثير المتوسط، يُسمح لأجزاء معينة من المتتالية بعدم تحقيق متطلبات الأحادية التقليديةتركز هذه الورقة بشكل أساسي على العمل النظري، مع التحقق من النتائج من خلال إثباتات رياضية صارمة. وتشمل:
التحقق من اللمات : إقامة المتباينات الأساسية في فضاء الشبكةإثبات النظريات : إثبات النظريات الرئيسية من خلال الطرق البنائيةبناء الأمثلة المضادة : عرض تفوق الفئات الجديدة من خلال أمثلة محددةالمقارنة مع الفئات أحادية الاتجاه العامة الموجودة:
G M R GM_R G M R (فئة الأحادية العامة للأعداد الحقيقية)G M α , β GM_{\alpha,\beta} G M α , β (فئة الأعداد المعقدة في القطاع)الفئات التقليدية للمتتاليات التنازلية لتكن 1 < p < ∞ 1 < p < \infty 1 < p < ∞ ، و f ∈ L 1 ( [ − π , π ] ) f \in L^1([-\pi,\pi]) f ∈ L 1 ([ − π , π ]) بمتسلسلة فورييه ∑ k = − ∞ ∞ a k e i k x \sum_{k=-\infty}^{\infty} a_k e^{ikx} ∑ k = − ∞ ∞ a k e ik x . إذا كانت a = { a k } k = − ∞ ∞ ∈ G M ∗ a = \{a_k\}_{k=-\infty}^{\infty} \in GM^* a = { a k } k = − ∞ ∞ ∈ G M ∗ ، فإن
∥ f ∥ L p ( [ − π , π ] ) ≍ J p ∗ ( f ) \|f\|_{L^p([-\pi,\pi])} \asymp J_p^*(f) ∥ f ∥ L p ([ − π , π ]) ≍ J p ∗ ( f )
حيث J p ∗ ( f ) = ( ∑ k = − ∞ ∞ ( ∣ k ∣ + 1 ) p − 2 ( a k ∗ ) p ) 1 / p J_p^*(f) = \left(\sum_{k=-\infty}^{\infty} (|k|+1)^{p-2}(a_k^*)^p\right)^{1/p} J p ∗ ( f ) = ( ∑ k = − ∞ ∞ ( ∣ k ∣ + 1 ) p − 2 ( a k ∗ ) p ) 1/ p ، و { a k ∗ } \{a_k^*\} { a k ∗ } هي إعادة ترتيب متناظرة تنازلية لـ { a k } \{a_k\} { a k } .
لتكن 1 < p < ∞ 1 < p < \infty 1 < p < ∞ ، و f ∈ L 1 ( [ − π , π ] ) f \in L^1([-\pi,\pi]) f ∈ L 1 ([ − π , π ]) بمتسلسلة فورييه ∑ k = − ∞ ∞ a k e i k x \sum_{k=-\infty}^{\infty} a_k e^{ikx} ∑ k = − ∞ ∞ a k e ik x . إذا كانت a = { a k } k = − ∞ ∞ ∈ G M ‾ a = \{a_k\}_{k=-\infty}^{\infty} \in \overline{GM} a = { a k } k = − ∞ ∞ ∈ GM ، فإن
∥ f ∥ L p ( [ − π , π ] ) ≍ J p ( f ) \|f\|_{L^p([-\pi,\pi])} \asymp J_p(f) ∥ f ∥ L p ([ − π , π ]) ≍ J p ( f )
تم إقامة علاقات الاحتواء التالية من خلال إثبات صارم:
G M ‾ ⊆ G M ∗ \overline{GM} \subseteq GM^* GM ⊆ G M ∗ G M R ⊊ G M ‾ GM_R \subsetneq \overline{GM} G M R ⊊ GM G M α , β ⊂ G M ‾ GM_{\alpha,\beta} \subset \overline{GM} G M α , β ⊂ GM توجد متتالية { a k } k = 1 ∞ ∉ G M R \{a_k\}_{k=1}^{\infty} \notin GM_R { a k } k = 1 ∞ ∈ / G M R ، و { b k } k = 1 ∞ ∈ G M R \{b_k\}_{k=1}^{\infty} \in GM_R { b k } k = 1 ∞ ∈ G M R ، بحيث { c k } k = − ∞ ∞ ∈ G M ‾ \{c_k\}_{k=-\infty}^{\infty} \in \overline{GM} { c k } k = − ∞ ∞ ∈ GM ، حيث
c k = { a k + i b k , k > 0 0 , k ≤ 0 c_k = \begin{cases}
a_k + ib_k, & k > 0 \\ 0, & k \leq 0
\end{cases} c k = { a k + i b k , 0 , k > 0 k ≤ 0
يوضح هذا أن الفئات المعرّفة حديثاً توسع نطاق التطبيق من خلال تأثير التعويض.
تتطلب النسخة الأصلية من نظرية Hardy-Littlewood أن تكون المعاملات متتاليات غير سالبة وتنازلية. يمثل عمل هذه الورقة تعميماً مهماً لهذه النتيجة الكلاسيكية.
يوفر مفهوم الأحادية العامة والأحادية الضعيفة الذي قدمه Tikhonov الأساس النظري لهذه الورقة. تشمل الأعمال ذات الصلة:
عدة دراسات لـ Dyachenko و Tikhanov عمل Grigoriev وآخرين في المعاملات المعقدة الأعمال الاستقصائية لـ Belov وآخرين تعتبر نظرية فضاء الشبكة لـ Nursultanov الأداة التقنية الرئيسية لهذه الورقة، وقد تم تطبيقها على نطاق واسع في:
تحليل فورييه نظرية التقريب نظرية مضاعفات فورييه فعالية الفئات الجديدة : توفر فئات G M ∗ GM^* G M ∗ و G M ‾ \overline{GM} GM إطاراً تطبيقياً أوسع لنظريات من نوع Hardy-Littlewoodمعالجة المعاملات المعقدة : معالجة ناجحة لحالة المعاملات المعقدة العامة دون قيود إضافيةآلية التعويض : التعريفات الجديدة تمتلك تأثير تعويضي يسمح للمتتاليات بعدم تحقيق الشروط التقليدية محلياًالتعقيد التقني : الشروط المعرّفة حديثاً معقدة نسبياً، وقد يكون التحقق العملي منها صعباًتعقيد الحساب : قد تكون حسابات المتوسطات المتضمنة كثيفة الحسابات في التطبيقات العمليةالحالات الحدية : لم يتم تناول حالات p = 1 p = 1 p = 1 و p = ∞ p = \infty p = ∞ التعميم متعدد الأبعاد : توسيع النتائج إلى الحالات متعددة الأبعاداستكشاف التطبيقات : التطبيقات في المعادلات التفاضلية الجزئية ونظرية التقريبالتنفيذ الخوارزمي : تطوير خوارزميات عددية فعالة للتحقق من الشروط الجديدةقوة الابتكار النظري : الفئات المقدمة ذات قيمة نظرية مهمةصرامة الإثبات : الإثباتات الرياضية صارمة والمنطق واضحأهمية التعميم : توسيع كبير لنطاق تطبيق نظرية Hardy-Littlewoodتقدم الطرق التقنية : تطبيق طريقة فضاء الشبكة يعكس مستوى التحليل التوافقي الحديثقيمة عملية محدودة : النتائج نظرية بشكل أساسي، وتحتاج قيمتها التطبيقية إلى مزيد من التحققتعقيد الشروط : قد يكون من الصعب التحقق من الشروط المعرّفة حديثاً في المسائل العمليةنقص الأمثلة الإيجابية : على الرغم من تقديم أمثلة مضادة، فإن الأمثلة التطبيقية الإيجابية نسبية قليلةيمتلك هذا العمل تأثيراً مهماً على مجال التحليل التوافقي:
المساهمة النظرية : توفير إطار نظري جديد لنظرية متسلسلات فورييهقيمة المنهجية : تطبيق طريقة فضاء الشبكة يوفر أفكاراً جديدة للمسائل ذات الصلةالأساس للبحث اللاحق : يضع أساساً لمزيد من الأبحاث التعميميةالبحث النظري : البحث النظري في التحليل التوافقي وتحليل فورييهتقريب الدوال : مسائل تقريب الدوال ذات بنية معاملات فورييه الخاصةالمعادلات التفاضلية الجزئية : حل المعادلات التفاضلية الجزئية التي تتضمن طرق فورييهتستشهد الورقة بـ 37 مرجعاً ذا صلة، تشمل بشكل أساسي:
الأعمال الكلاسيكية لـ Hardy و Littlewood سلسلة دراسات Tikhanov حول الأحادية العامة نظرية فضاء الشبكة لـ Nursultanov الأدبيات المهمة للأعمال التعميمية الحديثة التقييم الإجمالي : هذه ورقة رياضية نظرية عالية الجودة ذات مساهمة مهمة في مجال التحليل التوافقي. على الرغم من أنها عمل نظري بشكل أساسي، فإن مفاهيمها المبتكرة وإثباتاتها الصارمة توفر دفعة مهمة لتطور هذا المجال.