DOI: https://doi.org/10.1007/s43036-026-00499-5
تاريخ النشر: 2026-03-24
المؤلف: Zhenyun Du
الموضوع الرئيسي: تحليل المعادلات التفاضلية غير الخطية
نظرة عامة
في هذه الدراسة، نحقق في الخصائص التقريبية لمشغل بوست-ويدر شبه الأسي، المرتبط بدالة القوة \( p(x) = x^2 \). الاكتشاف الرئيسي هو توسيع تقريبي كامل نقطي ينطبق على الدوال السلسة محليًا التي تظهر نموًا أسيًا. يتم اشتقاق معاملات هذا التوسيع وتقديمها بشكل صريح. ومن الجدير بالذكر أن هذا العمل يشمل أيضًا مشغل بوست-ويدر الكلاسيكي، الذي نستعيد منه توسيعه التقريبي الكامل كحالة خاصة.
مقدمة
تناقش مقدمة الورقة تطور مشغلات من نوع الأسي، التي تم استكشافها في البداية بواسطة ماي في عام 1976 وتطويرها لاحقًا بواسطة إسماعيل وماي في عام 1978. هذه المشغلات مهمة لأنها تحافظ على الدوال الخطية. قام تيليبا وواتشنيكي بتوسيع ذلك من خلال تقديم فئة أوسع من المشغلات، المشار إليها بـ \( L_{\beta}^{\lambda} \)، حيث يؤدي \( \beta > 0 \) إلى مشغلات، رغم أنها ليست من نوع الأسي بشكل صارم، إلا أنها تشترك في أوجه التشابه معها. صنف هيرزوغ لاحقًا هذه على أنها مشغلات من نوع شبه الأسي، المعرفة بواسطة نواة \( W_{\beta}(n, x, t) \) التي تلبي معادلة تفاضلية معينة.
تقدم الورقة أيضًا مشغلات بوست-ويدر شبه الأسي، المعرفة لـ \( x > 0 \) و \( n \in \mathbb{N} \)، والتي تنطبق على الدوال ذات النمو متعدد الحدود. يبرز المؤلفون العلاقة بين هذه المشغلات ومشغلات بوست-ويدر الكلاسيكية، خاصة في الحالة التي يكون فيها \( \beta = 0 \). تختتم المقدمة بالقول إن الورقة تهدف إلى اشتقاق توسيع تقريبي كامل للمشغلات \( P_{\beta}^{n} \) مع اقتراب \( n \) من اللانهاية، مما يثبت أنه بالنسبة للدوال القابلة للتكامل محليًا \( f \) مع شروط نمو معينة، تظهر المشغلات سلوكًا تقريبيًا محددًا يتميز بمعاملات \( c_{\beta}^{k}(f, x) \).
النتائج
في هذا القسم، يناقش المؤلفون النتائج المساعدة والبراهين المتعلقة بلحظات الحدود المعرفة بواسطة \( e_r(x) = x^r \) لـ \( r \in \mathbb{N}_0 \). يشيرون إلى عمل كومار وديوا، الذين حسبوا اللحظات الأربعة الأولى باستخدام صيغة تكرارية مستمدة من معادلة تفاضلية. على وجه التحديد، تُعطى الصيغة بواسطة
\[
n(P_{\beta}^n e_{r+1})(x) = x^2 (P_{\beta}^n e_r)(x) + \beta x^2 + n x (P_{\beta}^n e_r)(x).
\]
يؤكد المؤلفون على الحاجة إلى تمثيل صريح لجميع اللحظات \( P_{\beta}^n e_r \) كحد متعدد في المتغير \( 1/n \)، والذي يتم تناوله في ليمما 3.2. كما يقدمون برهانًا موجزًا لهوية ثنائية ذات صلة، مشيرين إلى أنه على الرغم من أن هذا البرهان معروف جيدًا، فإن تضمينه يخدم لتعزيز اكتمال مناقشتهم.
المناقشة
في هذا القسم، يستنتج المؤلفون توسيعًا تقريبيًا نقطيًا لسلسلة المشغلات \( P_\beta^n f(x) \) مع اقتراب \( n \) من اللانهاية، القابل للتطبيق على الدوال السلسة بما فيه الكفاية \( f \) عند النقطة \( x \). يكشف التوسيع أن المعاملات تتضمن أعداد ستيرلينغ من النوع الأول، وتحديدًا أعداد ستيرلينغ المرتبطة، التي تُعرف من خلال دوالها المولدة. تنص النتيجة الرئيسية، النظرية 2.1، على أنه بالنسبة لـ \( q \in \mathbb{N} \) و \( x \in (0, \infty) \)، تظهر المشغلات السلوك التقريبي:
\[
P_\beta^n f(x) = f(x) + \sum_{k=1}^{q} \frac{1}{n^k} c_\beta^k(f, x) + o(n^{-q}),
\]
حيث يتم صياغة المعاملات \( c_\beta^k(f, x) \) بشكل صريح باستخدام مشتقات \( f \) وأعداد ستيرلينغ المرتبطة. يتم تقديم نتيجة ملحوظة، مما يؤدي إلى صيغة من نوع فورونوفسكايا تصف الحد التقريبي لـ \( n P_\beta^n f(x) – f(x) \).
يناقش القسم أيضًا تداعيات هذه النتائج، بما في ذلك سلوك مشغلات بوست-ويدر الكلاسيكية عندما يكون \( \beta = 0 \)، ويقدم معاملات أولية للتوسيع التقريبي، تم حسابها باستخدام MATHEMATICA®. بالإضافة إلى ذلك، توضح الرسوم البيانية سلوك مشغلات بوست-ويدر شبه الأسي، مشيرة إلى أنه بينما يؤثر زيادة \( \beta \) على شكل دوال النواة، إلا أنه لا يقلل بالضرورة من معدل التقارب لبعض فئات الدوال.
DOI: https://doi.org/10.1007/s43036-026-00499-5
Publication Date: 2026-03-24
Author(s): Zhenyun Du
Primary Topic: Nonlinear Differential Equations Analysis
Overview
In this study, we investigate the asymptotic properties of the semi-exponential Post-Widder operator, which is associated with the power function \( p(x) = x^2 \). The principal finding is a pointwise complete asymptotic expansion that applies to locally smooth functions exhibiting exponential growth. The coefficients of this expansion are derived and explicitly presented. Notably, this work also encompasses the classical Post-Widder operator, from which we recover its complete asymptotic expansion as a special case.
Introduction
The introduction of the paper discusses the evolution of exponential-type operators, initially explored by May in 1976 and further developed by Ismail and May in 1978. These operators are significant as they preserve linear functions. Tyliba and Wachnicki expanded on this by introducing a broader class of operators, denoted as \( L_{\beta}^{\lambda} \), where \( \beta > 0 \) leads to operators that, while not strictly exponential-type, share similarities with them. Herzog later classified these as semi-exponential type operators, defined by a kernel \( W_{\beta}(n, x, t) \) that satisfies a specific differential equation.
The paper also presents the semi-exponential Post-Widder operators, defined for \( x > 0 \) and \( n \in \mathbb{N} \), which are applicable to functions with polynomial growth. The authors highlight the connection between these operators and classical Post-Widder operators, particularly in the case where \( \beta = 0 \). The introduction concludes by stating that the paper aims to derive a complete asymptotic expansion for the operators \( P_{\beta}^{n} \) as \( n \) approaches infinity, establishing that for locally integrable functions \( f \) with certain growth conditions, the operators exhibit a specific asymptotic behavior characterized by coefficients \( c_{\beta}^{k}(f, x) \).
Results
In this section, the authors discuss auxiliary results and proofs related to the moments of monomials defined by \( e_r(x) = x^r \) for \( r \in \mathbb{N}_0 \). They reference the work of Kumar and Deo, who calculated the first four moments using a recursive formula derived from a differential equation. Specifically, the formula is given by
\[
n(P_{\beta}^n e_{r+1})(x) = x^2 (P_{\beta}^n e_r)(x) + \beta x^2 + n x (P_{\beta}^n e_r)(x).
\]
The authors emphasize the need for an explicit representation of all moments \( P_{\beta}^n e_r \) as a polynomial in the variable \( 1/n \), which is addressed in Lemma 3.2. They also provide a brief proof of a relevant binomial identity, noting that while this proof is well-known, its inclusion serves to enhance the completeness of their discussion.
Discussion
In this section, the authors derive a pointwise asymptotic expansion for the sequence of operators \( P_\beta^n f(x) \) as \( n \to \infty \), applicable to sufficiently smooth functions \( f \) at the point \( x \). The expansion reveals that the coefficients involve Stirling numbers of the first kind, specifically the associated Stirling numbers, which are defined through their generating functions. The main result, Theorem 2.1, states that for \( q \in \mathbb{N} \) and \( x \in (0, \infty) \), the operators exhibit the asymptotic behavior:
\[
P_\beta^n f(x) = f(x) + \sum_{k=1}^{q} \frac{1}{n^k} c_\beta^k(f, x) + o(n^{-q}),
\]
where the coefficients \( c_\beta^k(f, x) \) are explicitly formulated using derivatives of \( f \) and the associated Stirling numbers. A notable corollary is presented, yielding a Voronovskaja-type formula that describes the asymptotic limit of \( n P_\beta^n f(x) – f(x) \).
The section further discusses the implications of these results, including the behavior of the classical Post-Widder operators when \( \beta = 0 \), and provides initial coefficients for the asymptotic expansion, computed using MATHEMATICA®. Additionally, graphical illustrations demonstrate the behavior of the semi-exponential Post-Widder operators, indicating that while increasing \( \beta \) affects the shape of the kernel functions, it does not necessarily diminish the rate of convergence for certain function classes.
