وجود واستقرار حلول اللزوجة لمعادلات هاميلتون-جاكوبى المتأثرة The existence and stability of viscosity solutions to perturbed contact Hamilton-Jacobi equations

المجلة: Calculus of Variations and Partial Differential Equations، المجلد: 65، العدد: 4
DOI: https://doi.org/10.1007/s00526-025-03231-y
تاريخ النشر: 2026-02-28
المؤلف: Huan Wu وآخرون
الموضوع الرئيسي: المعادلات التفاضلية الجزئية غير الخطية

نظرة عامة

في هذا القسم، يقوم المؤلفون بالتحقيق في هاملتونيان الاتصال $ H(x, p, u) $ الذي يظهر اعتمادًا محددًا على المتغير الاتصال $ u $. يثبتون أنه إذا كان $ u $ حلاً لزمن اللزوجة لمعادلة هاملتون-جاكوب، وكان مستقرًا محليًا وفقًا لليابونوف، فإن المعادلة المضطربة تتقارب بشكل موحد إلى $ u $ مع اقتراب معامل الاضطراب $ \varepsilon $ من 0.

بالإضافة إلى ذلك، يوضح المؤلفون أنه ضمن جيرة حل اللزوجة $ u $، تمتلك المعادلة المضطربة حلاً فريدًا للزوجة $ u_\varepsilon $. من المهم أن يظهروا أن هذا الحل $ u_\varepsilon $ يحافظ على الاستقرار المحلي لليابونوف، مما يعزز خصائص الاستقرار لحل اللزوجة الأصلي تحت الاضطرابات.

مقدمة

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

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

النتائج

في هذا القسم، يقوم المؤلفون بالتحقيق في خصائص هاملتونيان المضطرب $H_\epsilon(x, p, u) = H(x, p, u) + \epsilon P(x, p, u)$، حيث $P$ هو دالة سلسة و$\epsilon$ هو معامل صغير. يثبتون أنه بالنسبة لـ $\epsilon \in [0, \theta]$، يحتفظ الهاملتونيان $H_\epsilon$ بالخصائص (H1)-(H3) للهاملتونيان الأصلي $H$، وLagrangian المرتبط $L_\epsilon(x, \dot{x}, u)$ ينتمي إلى $C^3(TM \times \mathbb{R}, \mathbb{R})$ ويحقق (L1)-(L3). يوضح المؤلفون أن النتائج من الاقتراحات 2.1 إلى 2.8 تظل صالحة تحت هذا الاضطراب.

تشمل النتائج الرئيسية أن الفرق بين Lagrangians المضطرب والأصلي، $L_\epsilon(x, \dot{x}, u) – L(x, \dot{x}, u)$، محدود بواسطة $\epsilon$، ومع اقتراب $\epsilon \to 0$، تتقارب المشتقات $\partial L_\epsilon / \partial \dot{x}$ بشكل موحد إلى $\partial L / \partial \dot{x}$. بالإضافة إلى ذلك، يستنتجون حدودًا لمجموعة المشغلين $T_\epsilon^t \phi(x)$، موضحين أن الفرق بين المشغلين المضطربين وغير المضطربين يتم التحكم فيه أيضًا بواسطة $\epsilon$. هذا يثبت أن النظام المضطرب يتصرف بشكل مشابه للنظام الأصلي في الحد عندما تقترب $\epsilon$ من الصفر، مما يؤدي إلى الاستنتاج بأن حلول اللزوجة لمعادلة هاملتون-جاكوب المرتبطة بـ $H_\epsilon$ تتقارب إلى تلك الخاصة بالمعادلة الأصلية.

مناقشة

في هذا القسم، يقدم المؤلفون مناقشة شاملة للإطار الرياضي والنتائج الرئيسية المتعلقة بحلول KAM الضعيفة العكسية وتأثيراتها على معادلات هاملتون الاتصال. يعرفون عدة رموز، بما في ذلك Lagrangian $ L(x, \dot{x}, u) $ المرتبط بهاملتون الاتصال $ H(x, p, u) $، ويثبتون خصائص مثل الإيجابية، والتفوق، واستمرارية ليبشيتز. يتم تقديم دالة العمل الضمنية $ h_{x_0, u_0}(x, t) $، التي تلعب دورًا حاسمًا في تمييز ديناميات النظام من خلال المبادئ التغيرية.

كما يناقش المؤلفون مجموعة المشغلين $ \{T_{-t}\}_{t \geq 0} $ وعلاقتها بحلول اللزوجة لمعادلة هاملتون-جاكوب (HJ). يوضحون أن حلول KAM الضعيفة العكسية تتوافق مع النقاط الثابتة لهذه المجموعات، مما يثبت وجود اتصال بين المفهومين. يختتم القسم بإثبات النظرية 1.2، التي تؤكد الاستقرار المحلي الزمني للحلول تحت ظروف معينة، تحديدًا عندما يكون المشتق $ \frac{\partial H}{\partial u} > 0 $ صحيحًا لجميع النقاط ذات الصلة في فضاء الحالة. تؤكد هذه النتيجة على أهمية دالة العمل الضمنية وخصائص المجموعة في فهم ديناميات أنظمة هاملتون الاتصال.

Journal: Calculus of Variations and Partial Differential Equations, Volume: 65, Issue: 4
DOI: https://doi.org/10.1007/s00526-025-03231-y
Publication Date: 2026-02-28
Author(s): Huan Wu et al.
Primary Topic: Nonlinear Partial Differential Equations

Overview

In this section, the authors investigate a contact Hamiltonian $ H(x, p, u) $ that exhibits a specific dependence on the contact variable $ u $. They establish that if $ u $ is a viscosity solution of the contact Hamilton-Jacobi equation and is locally Lyapunov asymptotically stable, then the perturbed equation converges uniformly to $ u $ as the perturbation parameter $ \varepsilon $ approaches 0.

Additionally, the authors demonstrate that within a neighborhood of the viscosity solution $ u $, the perturbed equation possesses a unique viscosity solution $ u_\varepsilon $. Importantly, they show that this solution $ u_\varepsilon $ maintains local Lyapunov asymptotic stability, thereby reinforcing the stability characteristics of the original viscosity solution under perturbations.

Introduction

The introduction of the paper discusses the contact Hamilton-Jacobi equation, which extends the classical Hamilton-Jacobi framework by incorporating an additional dimension to account for non-trivial dynamical variables, rather than time. This extension is particularly relevant for modeling dissipative systems and thermodynamics, as classical mechanics typically describes isolated and conservative systems. The paper highlights the historical development of the existence and uniqueness of solutions to the stationary Hamilton-Jacobi equation, emphasizing the introduction of viscosity solutions by Crandall and Lions in the 1980s, which accommodate non-differentiable functions.

Recent advancements in the field have established connections between viscosity solutions and weak KAM theory, particularly in the context of contact Hamiltonian systems. The authors outline their focus on two primary problems: the existence of viscosity solutions for perturbed equations and the Lyapunov stability of these solutions. They present two main results: Theorem 1.1, which asserts the uniform convergence of viscosity solutions of the perturbed equation to the original solution as the perturbation parameter approaches zero, and Theorem 1.2, which addresses the local Lyapunov stability of these solutions under specific conditions. These findings contribute to the understanding of the dynamics of contact Hamilton-Jacobi equations and their stability properties.

Results

In this section, the authors investigate the properties of the perturbed Hamiltonian $H_\epsilon(x, p, u) = H(x, p, u) + \epsilon P(x, p, u)$, where $P$ is a smooth function and $\epsilon$ is a small parameter. They establish that for $\epsilon \in [0, \theta]$, the Hamiltonian $H_\epsilon$ retains the properties (H1)-(H3) of the original Hamiltonian $H$, and the associated Lagrangian $L_\epsilon(x, \dot{x}, u)$ belongs to $C^3(TM \times \mathbb{R}, \mathbb{R})$ and satisfies (L1)-(L3). The authors demonstrate that the results from Propositions 2.1 to 2.8 remain valid under this perturbation.

Key findings include that the difference between the perturbed and original Lagrangians, $L_\epsilon(x, \dot{x}, u) – L(x, \dot{x}, u)$, is bounded by $\epsilon$, and as $\epsilon \to 0$, the derivatives $\partial L_\epsilon / \partial \dot{x}$ converge uniformly to $\partial L / \partial \dot{x}$. Additionally, they derive bounds for the semigroup of operators $T_\epsilon^t \phi(x)$, showing that the difference between the perturbed and unperturbed operators is also controlled by $\epsilon$. This establishes that the perturbed system behaves similarly to the original system in the limit as $\epsilon$ approaches zero, leading to the conclusion that the viscosity solutions of the Hamilton-Jacobi equation associated with $H_\epsilon$ converge to those of the original equation.

Discussion

In this section, the authors present a comprehensive discussion of the mathematical framework and key results related to backward weak KAM solutions and their implications for contact Hamiltonian equations. They define several notations, including the Lagrangian $ L(x, \dot{x}, u) $ associated with the contact Hamiltonian $ H(x, p, u) $, and establish properties such as positive definiteness, superlinearity, and Lipschitz continuity. The implicit action function $ h_{x_0, u_0}(x, t) $ is introduced, which plays a crucial role in characterizing the dynamics of the system through variational principles.

The authors also discuss the semi-group of operators $ \{T_{-t}\}_{t \geq 0} $ and their relationship to viscosity solutions of the Hamilton-Jacobi equation (HJ). They demonstrate that backward weak KAM solutions correspond to fixed points of these semi-groups, establishing a connection between the two concepts. The section concludes with the proof of Theorem 1.2, which asserts the local asymptotic stability of solutions under certain conditions, specifically when the derivative $ \frac{\partial H}{\partial u} > 0 $ holds for all relevant points in the state space. This result underscores the significance of the implicit action function and the properties of the semi-group in understanding the dynamics of contact Hamiltonian systems.