عدم المساواة من نوع بولن-ميرسر مع تطبيقات في التحليل العددي
Bullen-Mercer type inequalities with applications in numerical analysis

المجلة: Alexandria Engineering Journal، المجلد: 96
DOI: https://doi.org/10.1016/j.aej.2024.03.093
تاريخ النشر: 2024-04-05
المؤلف: Miguel Vivas–Cortez وآخرون
الموضوع الرئيسي: عدم المساواة الرياضية والتطبيقات

نظرة عامة

تناقش هذه الفقرة أهمية المتباينات التكاملية في التحليل الرياضي، وخاصة تطبيقاتها في العلوم الفيزيائية والأساليب العددية. تبرز متباينة هيرميت-هادامارد وتعميماتها، مع التركيز على متباينة بولن، التي حظيت باهتمام في الدراسات الأخيرة. يهدف المؤلفون إلى إنشاء متباينات جديدة من نوع بولن مرتبطة بمتباينة جنسن-ميرسر، مستخلصين مساواة عامة لبولن-ميرسر تسهل الحصول على حدود علوية لمتباينة بولن. من خلال الاستفادة من خصائص الدوال المحدبة واستخدام متباينات هولدر ويونغ، تقدم الدراسة تطبيقات متنوعة، بما في ذلك حدود الخطأ والأساليب التكرارية لحل المشكلات غير الخطية، مدعومة بمحاكاة.

في الختام، يقدم البحث متباينات جديدة من نوع بولن-ميرسر ويظهر فائدتها في اشتقاق حدود علوية وتطبيقات في التحليل العددي. يتم التحقق من النتائج من خلال التحليل الرسومي، ويقترح المؤلفون استكشافات مستقبلية في حساب الكوانتم، وحساب الكسور، والخرائط غير المحدبة. يمثل هذا العمل جهدًا رائدًا في تطوير متباينات من نوع بولن-ميرسر، مع إمكانية إلهام المزيد من الأبحاث والتقدم في هذا المجال.

مقدمة

تناقش مقدمة الورقة مفهوم المحدبية في المجموعات والدوال، معرفًا مجموعة \( \mathcal{C} \subset \mathbb{R} \) بأنها محدبة إذا كانت لأي \( \rho_1, \rho_2 \in \mathcal{C} \) و \( \omega \in [0, 1] \)، فإن التركيبة \( (1 – \omega) \rho_1 + \omega \rho_2 \) تبقى في \( \mathcal{C} \). تكون الدالة \( \Psi: \mathcal{C} \to \mathbb{R} \) محدبة إذا كانت تحقق المتباينة \( \Psi((1 – \omega) \rho_1 + \omega \rho_2) \leq (1 – \omega) \Psi(\rho_1) + \omega \Psi(\rho_2) \). يبرز المؤلفون التطبيق الواسع للمحدبية في إنشاء المتباينات التكاملية، مع إعادة النظر في متباينة جنسن وتعميماتها، بما في ذلك التحسينات التي قدمها ميرسر وتعديلات مختلفة في الأدبيات.

تهدف الورقة إلى تطوير تعميمات جديدة لمتباينات بولن الكلاسيكية باستخدام إطار عمل متباينة جنسن-ميرسر للدوال المحدبة. يحدد المؤلفون منهجيتهم، التي تتضمن إنشاء معادلة جديدة تُسمى هوية بولن-ميرسر، واستخدامها جنبًا إلى جنب مع الأشكال المنفصلة لمتباينة جنسن-ميرسر لاشتقاق تقديرات جديدة لمتباينات من نوع بولن. تشير المقدمة أيضًا إلى أن الدراسة ستستكشف التطبيقات في التحليل العددي، وحدود الخطأ، والدوال الخاصة، مع نهج منظم مقسم إلى أربعة أقسام لتسهيل عرض النتائج والتحليلات الرسومية.

الطرق

في هذا القسم، يقدم المؤلفون طريقة تكرارية لحل المعادلات غير الخطية من الشكل $\Psi(\delta) = 0$. بناءً على تقنيات مثبتة مثل طريقة نيوتن ومختلف الأساليب العددية، يستخلص المؤلفون مخططًا تكراريًا جديدًا يستفيد من تمثيلات نيوتن التكاملية. على وجه التحديد، يقدمون صيغة التحديث:

\[
\delta_{n+1} = \delta_n – \frac{\Psi(\delta_n)}{\Psi'(\delta_n)} + \Psi'(\gamma_n) + 2\Psi’\left(\frac{\delta_n + \gamma_n}{2}\right),
\]

حيث $\gamma_n = \delta_n – \frac{\Psi(\delta_n)}{\Psi'(\delta_n)}$. يُظهر هذا التشكيل أنه يتوافق مع النتائج السابقة في الأدبيات، وخاصة تلك التي قدمها ج. نيدزيبوف.

كما يقدم المؤلفون دليلاً يوضح خصائص التقارب لطريقتهم، مشيرين إلى أنها تظهر تقاربًا من الدرجة التكعبية. يتم دعم ذلك من خلال تحليل الحد المتبقي $R(\Psi)$ والعلاقة بين تكاملات $\Psi$ على الفترة المحددة بواسطة $\rho_1$ و $\rho_2$. بشكل عام، يقدم المخطط التكراري المقترح نهجًا قويًا لإيجاد الأصفار للمعادلات غير الخطية، مما يساهم في مجال التحليل غير الخطي.

المناقشة

في هذا القسم، يقدم المؤلفون عدة نظريات واقتراحات تحدد حدودًا لوظائف رياضية معينة تحت ظروف معينة، مع التركيز بشكل خاص على خصائص الدوال المحدبة والخرائط ليبشيتز. تؤكد النظرية 3.3 أنه إذا كانت الدالة $|\Psi’|_q$ محدبة، فإن القيمة المطلقة لـ $Z(\rho_1, \rho_2, \delta, \gamma)$ محدودة بتعبير معين يتضمن الفروق $\gamma – \delta$ وقيم $|\Psi’|_q$ عند نقاط مختلفة. يستخدم الإثبات خاصية المودول ومتباينة متوسط القوة، مما يوضح فائدة المحدبية في اشتقاق هذه الحدود.

تمتد النظريات اللاحقة (3.7 إلى 3.10) هذه النتائج من خلال تطبيق خصائص ليبشيتز لاشتقاق متباينات تربط قيم الدالة عند نقاط مختلفة. على سبيل المثال، تؤكد النظرية 3.8 أن القيمة المطلقة لـ $Z(\rho_1, \rho_2, \delta, \gamma)$ محدودة بدالة من ثابت ليبشيتز $L$ والفارق $\gamma – \delta$. يختتم المؤلفون بالتأكيد على أهمية هذه المتباينات في سياق المتباينات التكاملية وتطبيقاتها في التحليل العددي، بينما يقترحون أيضًا اتجاهات بحث مستقبلية يمكن أن تستكشف هذه المتباينات في أطر رياضية أكثر تعقيدًا.

Journal: Alexandria Engineering Journal, Volume: 96
DOI: https://doi.org/10.1016/j.aej.2024.03.093
Publication Date: 2024-04-05
Author(s): Miguel Vivas–Cortez et al.
Primary Topic: Mathematical Inequalities and Applications

Overview

The section discusses the significance of integral inequalities in mathematical analysis, particularly their applications in physical sciences and numerical methods. It highlights the Hermite-Hadamard inequality and its generalizations, with a focus on the Bullen inequality, which has gained attention in recent studies. The authors aim to establish new Bullen-type inequalities related to the Jensen-Mercer inequality, deriving a general Bullen-Mercer equality that facilitates the attainment of upper bounds for Bullen’s inequality. By leveraging properties of convex functions and employing Hölder’s and Young’s inequalities, the study presents various applications, including error bounds and iterative methods for solving nonlinear problems, supported by simulations.

In conclusion, the research introduces novel Bullen-Mercer inequalities and demonstrates their utility in deriving upper bounds and applications in numerical analysis. The findings are validated through graphical analysis, and the authors propose future explorations into quantum calculus, fractional calculus, and non-convex mappings. This work represents a pioneering effort in developing Bullen-Mercer type inequalities, with the potential to inspire further research and advancements in the field.

Introduction

The introduction of the paper discusses the concept of convexity in sets and functions, defining a set \( \mathcal{C} \subset \mathbb{R} \) as convex if for any \( \rho_1, \rho_2 \in \mathcal{C} \) and \( \omega \in [0, 1] \), the combination \( (1 – \omega) \rho_1 + \omega \rho_2 \) remains in \( \mathcal{C} \). A function \( \Psi: \mathcal{C} \to \mathbb{R} \) is convex if it satisfies the inequality \( \Psi((1 – \omega) \rho_1 + \omega \rho_2) \leq (1 – \omega) \Psi(\rho_1) + \omega \Psi(\rho_2) \). The authors highlight the extensive application of convexity in establishing integral inequalities, revisiting Jensen’s inequality and its generalizations, including improvements by Mercer and various adaptations in the literature.

The paper aims to develop new generalizations of classical Bullen-type inequalities using the Jensen-Mercer inequality framework for convex functions. The authors outline their methodology, which involves establishing a new equation termed the Bullen-Mercer identity, and utilizing it alongside discrete forms of Jensen-Mercer inequality to derive new estimates for Bullen-type inequalities. The introduction also indicates that the study will explore applications to numerical analysis, error bounds, and special functions, with a structured approach divided into four sections to facilitate the presentation of findings and graphical analyses.

Methods

In this section, the authors present an iterative method for solving non-linear equations of the form $\Psi(\delta) = 0$. Building on established techniques such as Newton’s method and various numerical approaches, the authors derive a new iterative scheme that leverages Newton’s integral representations. Specifically, they introduce the update formula:

\[
\delta_{n+1} = \delta_n – \frac{\Psi(\delta_n)}{\Psi'(\delta_n)} + \Psi'(\gamma_n) + 2\Psi’\left(\frac{\delta_n + \gamma_n}{2}\right),
\]

where $\gamma_n = \delta_n – \frac{\Psi(\delta_n)}{\Psi'(\delta_n)}$. This formulation is shown to coincide with previous results in the literature, particularly those by G. Nedzhibov.

The authors also provide a proof demonstrating the convergence properties of their method, indicating that it exhibits cubic order convergence. This is supported by the analysis of the remainder term $R(\Psi)$ and the relationship between the integrals of $\Psi$ over the interval defined by $\rho_1$ and $\rho_2$. Overall, the proposed iterative scheme offers a robust approach for finding zeros of non-linear equations, contributing to the field of non-linear analysis.

Discussion

In this section, the authors present several theorems and propositions that establish bounds for specific mathematical functions under certain conditions, particularly focusing on the properties of convex functions and Lipschitzian mappings. Theorem 3.3 asserts that if the function $|\Psi’|_q$ is convex, then the absolute value of $Z(\rho_1, \rho_2, \delta, \gamma)$ is bounded by a specific expression involving the differences $\gamma – \delta$ and the values of $|\Psi’|_q$ at various points. The proof employs the modulus property and the Power mean’s inequality, demonstrating the utility of convexity in deriving these bounds.

Subsequent theorems (3.7 to 3.10) extend these results by applying Lipschitzian properties to derive inequalities that relate the function values at different points. For instance, Theorem 3.8 establishes that the absolute value of $Z(\rho_1, \rho_2, \delta, \gamma)$ is bounded by a function of the Lipschitz constant $L$ and the difference $\gamma – \delta$. The authors conclude by emphasizing the significance of these inequalities in the context of integral inequalities and their applications in numerical analysis, while also suggesting future research directions that could explore these inequalities in more complex mathematical frameworks.