[论文解读] Existence of sweeping process in Banach spaces under directional prox-regularity

Frédéric Bernicot, Juliette Venel|ArXiv.org|Dec 26, 2008

Advanced Banach Space Theory参考文献 24被引用 15

一句话总结

本文在可分、自反、一致光滑的巴拿赫空間中，透過引入一種稱為「方向性近似正則性」的新概念，建立了掃掠過程的存在性，推廣了傳統上需依賴希爾伯特空間結構的經典結果。透過引入方向性近似正則性並利用巴拿赫空間的幾何性質，作者證明了在移動集在所有方向上未必一致近似正則的情況下，涉及近似法向量 cones 的微分包含式絕對連續解的存在性。

ABSTRACT

This paper is devoted to weaken "classical" assumptions and give new arguments to prove existence of sweeping process (associated to the proximal normal cone of sets). Mainly we define the concept of a "directional prox-regularity" and give assumptions about a Banach space to insure the existence of such sweeping process (which permit to generalize the existing results requiring a Hilbertian structure).

研究动机与目标

• 將掃掠過程的存在性結果推廣至超越希爾伯特空間的範疇，其中傳統證明依賴於希爾伯特空間結構。
• 透過引入較不嚴苛的條件「方向性近似正則性」，弱化標準的「一致近似正則性」假設。
• 在最小幾何與正則性假設下，於巴拿赫空間中建立涉及近似法向量 cone 的微分包含式的解的存在性。
• 透過量身訂做的緊緻性與逼近論證，解決非希爾伯特空間設定下近似法向量 cone 的弱光滑性挑戰。
• 提供一個避免使用球緊性或完整一致近似正則性的巴拿赫空間解存在性框架，從而提升適用範圍。

提出的方法

• 引入「方向性近似正則性」概念，作為一致近似正則性的放鬆，確保在特定方向上投影為單值且連續。
• 使用莫羅的追趕演算法並配合時間離散化，在 $ C(t) $ 變化緩慢的子區間上構造近似解。
• 利用擾動與集值映射 $ C(t) $ 的線性增長與Lipschitz連續性，建立離散解的均勻有界性。
• 在具有「I-光滑弱緊緻」性質的自反、一致光滑巴拿赫空間中，應用緊緻性論證，提取收斂子序列。
• 利用近似正則集的 $ J $-擬單調性性質（來自 Bernard, Thibault, Zlateva），控制巴拿赫空間中近似法向量 cone 的行為。
• 證明離散解收斂至滿足微分包含式 $ \dot{u}(t) + \mathrm{N}(C(t), u(t)) \ni f(u(t)) $ 的絕對連續解。

实验结果

研究问题

• RQ1 能否在不假設希爾伯特空間結構的情況下，建立巴拿赫空間中掃掠過程的存在性？
• RQ2 巴拿赫空間中移動集 $ C(t) $ 的何種幾何條件可取代一致近似正則性，以確保解的存在性？
• RQ3 如何定義並運用方向性近似正則性，以推廣非希爾伯特空間設定下的存在性結果？
• RQ4 為確保離散近似收斂，巴拿赫空間所需的緊緻性與光滑性性質為何？
• RQ5 能否在不依賴希爾伯特空間專屬工具（如 Gronwall 引理）的情況下，於巴拿赫空間中建立解的唯一性？

主要发现

• 本文引入「方向性近似正則性」作為巴拿赫空間中掃掠過程存在性的充分條件，取代對完整一致近似正則性的需求。
• 在可分、自反、一致光滑的巴拿赫空間中，於方向性近似正則性與 $ C(t) $ 的Lipschitz連續性下，證明了掃掠過程 $ \dot{u}(t) + \mathrm{N}(C(t), u(t)) \ni f(u(t)) $ 的絕對連續解的存在性。
• 解滿足對所有 $ t \in I $ 有 $ u(t) \in C(t) $，且在 $ f $ 的線性增長與連續性假設下，初始條件 $ u(0) = u_0 \in C(0) $ 成立。
• 證明依賴於透過莫羅追趕演算法的時間離散化，以及具有「I-光滑弱緊緻」性質空間中的緊緻性，確保離散解的收斂性。
• 本結果透過去除對所有方向上一致近似正則性的要求，推廣了先前在希爾伯特空間中的存在性定理，允許更靈活的集合演化。
• 由於缺乏希爾伯特空間專屬工具（如 Gronwall 引理）與對偶映射的非線性性，一般巴拿赫空間中的唯一性仍為開放問題。