DOI: https://doi.org/10.1371/journal.pone.0344815
PMID: https://pubmed.ncbi.nlm.nih.gov/41855255
تاريخ النشر: 2026-03-19
المؤلف: Ting Gan وآخرون
الموضوع الرئيسي: تحسين وتحليل تبايني
نظرة عامة
تقدم هذه الورقة نظام ديناميكي من الدرجة الثانية يهدف إلى معالجة عدم المساواة العكسية شبه التغيرية (IQVIs) ضمن فضاءات هيلبرت، مع التركيز بشكل خاص على المشغلين الأحاديين الذين يحققون استمرارية ليبشيتز. يؤكد المؤلفون وجود وحيدة الحلول العالمية القوية تحت ظروف قياسية، مما يؤكد متانة النظام المقترح. يتم اشتقاق صيغة زمنية منفصلة، مما يؤدي إلى خوارزمية إسقاط خامل مريحة تظهر تقاربًا خطيًا تحت ظروف معلمات مناسبة. يتم تأكيد استقرار النظام من خلال تحليل دالة ليابونوف.
في الختام، تؤكد الأبحاث أن النموذج الزمني المستمر مضبوط رياضيًا وقوي، مع تسلسل منفصل يتم توليده بواسطة مخطط الإسقاط الخامل الذي يتقارب خطيًا إلى الحل الفريد لـ IQVI. يضمن التحليل القائم على ليابونوف أيضًا الاستقرار العالمي الأسيمبتي، مما يعزز موثوقية النهج. تؤكد التجارب العددية النتائج النظرية، موضحة أن مسارات النظام الديناميكي تتقارب بسلاسة إلى الحل الفريد لـ IQVI. تعزز هذه العمل الفهم للتفاعل بين IQVIs والأنظمة الديناميكية، مما يمهد الطريق لاستكشافات مستقبلية في أنظمة من درجات أعلى ومعايير استقرار أوسع في التحسين والتحليل غير الخطي.
مقدمة
تناقش مقدمة الورقة مشكلة عدم المساواة التغيرية (VIP) في سياق الفضاء الإقليدي الحقيقي ذي الأبعاد n، والذي يُشار إليه بـ $\mathbb{R}^n$. تسعى VIP إلى إيجاد نقطة $u^* \in D$، حيث $D$ هو مجموعة غير فارغة، مغلقة، ومحدبة من $\mathbb{R}^n$، تحقق الشرط $\langle \phi(u^*), u – u^* \rangle \geq 0$ لجميع $u \in D$. لهذه المشكلة تطبيقات هامة عبر مجالات متعددة، بما في ذلك التحسين ونماذج التوازن. يشير المؤلفون إلى نظرية الإسقاط، التي تربط حل VIP بمعادلة إسقاط تتضمن ثابتًا ثابتًا $\mu > 0$.
بالإضافة إلى ذلك، تقدم الورقة مشكلة عدم المساواة التغيرية العكسية (IVIP)، التي توسع VIP من خلال دمج خريطة ذات قيمة واحدة $\Psi: \mathbb{R}^n \to \mathbb{R}^n$. تتطلب IVIP إيجاد نقطة $w^* \in \mathbb{R}^n$ بحيث $\Psi(w^*) \in D$ و $\langle \nu – \Psi(w^*), w^* \rangle \geq 0$ لجميع $\nu \in D$. يبرز المؤلفون الأساليب النظرية والعددية المحدودة المتاحة لحل IVIPs، على الرغم من أهميتها في مجالات مثل التوازن الاقتصادي وتحليل شبكات المرور. كما يذكرون تقديم نظام ديناميكي من قبل Zou وآخرين (2019) لمعالجة IVIPs، والذي يتم تطويره بشكل أكبر في هذا العمل لاستكشاف مشاكل عدم المساواة شبه التغيرية العكسية (IQVIPs).
نقاش
في هذا القسم، يناقش المؤلفون تطوير وآثار نظام ديناميكي من الدرجة الثانية مصمم لحل مشاكل عدم المساواة شبه التغيرية العكسية (IQVIPs). يبرزون أنه عندما تكون الخريطة $\Phi(w) = D$ لجميع $w \in \mathbb{R}^n$، فإن IQVIP تبسط إلى مشكلة عدم المساواة التغيرية القياسية (IVIP). تستعرض الورقة طرق تحليلية وحسابية متنوعة تم تأسيسها سابقًا لـ IQVIPs، مع التأكيد على دور الأنظمة الديناميكية في معالجة تحديات التحسين، بما في ذلك عدم المساواة التغيرية ومشاكل النقاط الثابتة. بشكل ملحوظ، يشير المؤلفون إلى عمل Han وآخرين الذين أثبتوا وجود حلول لـ IQVIPs باستخدام نظريات النقاط الثابتة وحدود الخطأ، خاصة في تطبيقات مثل نماذج تسعير الطرق.
يقترح المؤلفون نظام ديناميكي جديد من الدرجة الثانية يتميز بالمعادلة $\ddot{w}(s) + \tau(s) \dot{w}(s) + \sigma(s)[\Psi(w) – P \Phi(w)(\Psi(w) – \mu w)] = 0$، مع تحديد الشروط الأولية. يظهرون أن نقطة $w^*$ تحل IQVIP إذا كانت تحقق معادلة الإسقاط $\Psi(w^*) = P \Phi(w^*)(\Psi(w^*) – \mu w^*)$. تؤسس الورقة وجود وحيدة الحلول تحت ظروف معينة، مستفيدة من خصائص المشغل $\Psi$ وخريطة الإسقاط المرتبطة بـ $\Phi$. علاوة على ذلك، يؤكد المؤلفون أن النظام الديناميكي المقترح يظهر استقرارًا أسيمبتي عالميًا، مدعومًا بدالة ليابونوف، ويشتقون خوارزمية إسقاط خامل مريحة تتقارب خطيًا إلى الحل الفريد لـ IQVIP. تؤكد التجارب العددية النتائج النظرية، موضحة فعالية ومتانة الإطار المقترح في حل IQVIPs.
DOI: https://doi.org/10.1371/journal.pone.0344815
PMID: https://pubmed.ncbi.nlm.nih.gov/41855255
Publication Date: 2026-03-19
Author(s): Ting Gan et al.
Primary Topic: Optimization and Variational Analysis
Overview
This paper presents a second-order dynamical system aimed at addressing inverse quasi-variational inequalities (IQVIs) within Hilbert spaces, specifically focusing on strongly monotone operators that satisfy Lipschitz continuity. The authors establish the existence and uniqueness of strong global solutions under standard conditions, thereby affirming the robustness of the proposed system. A discrete-time formulation is derived, leading to a relaxed inertial projection algorithm that demonstrates linear convergence under appropriate parameter conditions. The stability of the system is confirmed through a Lyapunov function analysis.
In conclusion, the research validates that the continuous-time model is mathematically well-posed and robust, with the discrete sequence generated by the relaxed inertial projection scheme converging linearly to the unique solution of the IQVI. The Lyapunov-based analysis further ensures global asymptotic stability, reinforcing the reliability of the approach. Numerical experiments corroborate the theoretical findings, illustrating that trajectories of the dynamical system converge smoothly to the unique solution of the IQVI. This work enhances the understanding of the interplay between IQVIs and dynamical systems, laying the groundwork for future explorations into higher-order systems and broader stability criteria in optimization and nonlinear analysis.
Introduction
The introduction of the paper discusses the variational inequality problem (VIP) in the context of real n-dimensional Euclidean space, denoted as $\mathbb{R}^n$. The VIP seeks to find a point $u^* \in D$, where $D$ is a nonempty, closed, and convex subset of $\mathbb{R}^n$, that satisfies the condition $\langle \phi(u^*), u – u^* \rangle \geq 0$ for all $u \in D$. This problem has significant applications across various fields, including optimization and equilibrium models. The authors reference the projection theorem, which relates the solution of the VIP to a projection equation involving a fixed constant $\mu > 0$.
Additionally, the paper introduces the inverse variational inequality problem (IVIP), which extends the VIP by incorporating a single-valued mapping $\Psi: \mathbb{R}^n \to \mathbb{R}^n$. The IVIP requires finding a point $w^* \in \mathbb{R}^n$ such that $\Psi(w^*) \in D$ and $\langle \nu – \Psi(w^*), w^* \rangle \geq 0$ for all $\nu \in D$. The authors highlight the limited theoretical and numerical approaches available for solving IVIPs, despite their relevance in fields like economic equilibrium and traffic network analysis. They also mention the introduction of a dynamical system by Zou et al. (2019) to address IVIPs, which is further developed in this work to explore inverse quasi-variational inequality problems (IQVIPs).
Discussion
In this section, the authors discuss the development and implications of a second-order dynamical system designed to solve inverse quasi-variational inequality problems (IQVIPs). They highlight that when the mapping $\Phi(w) = D$ for all $w \in \mathbb{R}^n$, the IQVIP simplifies to a standard variational inequality problem (IVIP). The paper reviews various analytical and computational methods previously established for IQVIPs, emphasizing the role of dynamical systems in addressing optimization challenges, including variational inequalities and fixed-point problems. Notably, the authors reference the work of Han et al. and others who have established the existence of solutions for IQVIPs using fixed-point theorems and error bounds, particularly in applications like road pricing models.
The authors propose a new second-order dynamical system characterized by the equation $\ddot{w}(s) + \tau(s) \dot{w}(s) + \sigma(s)[\Psi(w) – P \Phi(w)(\Psi(w) – \mu w)] = 0$, with initial conditions specified. They demonstrate that a point $w^*$ solves the IQVIP if it satisfies the projection equation $\Psi(w^*) = P \Phi(w^*)(\Psi(w^*) – \mu w^*)$. The paper establishes the existence and uniqueness of solutions under certain conditions, leveraging the properties of the operator $\Psi$ and the projection mapping associated with $\Phi$. Furthermore, the authors assert that the proposed dynamical system exhibits global asymptotic stability, supported by a Lyapunov function, and they derive a relaxed inertial projection algorithm that converges linearly to the unique solution of the IQVIP. Numerical experiments validate the theoretical findings, demonstrating the effectiveness and robustness of the proposed framework in solving IQVIPs.