[论文解读] An abstract approach to domain perturbation for parabolic equations and parabolic variational inequalities

Parinya Sa Ngiamsunthorn|arXiv (Cornell University)|Sep 15, 2011

Advanced Mathematical Modeling in Engineering参考文献 15被引用 3

一句话总结

本文通过Mosco收敛建立了分析非自治抛物方程和变分不等式中域扰动的抽象框架。证明了抛物问题的函数空间Mosco收敛等价于相应椭圆问题的Mosco收敛，从而在不依赖光滑域或变量变换的条件下实现了域变化下解的收敛性，适用于Dirichlet和Neumann问题以及抛物变分不等式。

ABSTRACT

We study the behaviour of solutions of linear non-autonomous parabolic equations subject to Dirichlet or Neumann boundary conditions under perturbation of the domain. We prove that Mosco convergence of function spaces for non-autonomous parabolic problems is equivalent to Mosco convergence of function spaces for the corresponding elliptic problems. As a consequence, we obtain convergence of solutions of non-autonomous parabolic equations under domain perturbation by variational methods using the same characterisation of domains as in elliptic case. A similar technique can be applied to obtain convergence of weak solutions of parabolic variational inequalities when the underlying convex set is perturbed.

研究动机与目标

• 建立一个通用的抽象框架，用于研究非自治抛物方程在域扰动下的解收敛性。
• 解决标准变量变换技术失效的奇异域扰动问题（如哑铃形域或带裂纹的域）。
• 将Mosco收敛理论从椭圆问题推广至抛物问题，证明抛物问题与椭圆问题在函数空间上的Mosco收敛等价。
• 证明当底层凸集发生扰动时，抛物变分不等式弱解的收敛性。
• 提供一种统一的变分方法，适用于Dirichlet和Neumann边界条件，即使域缺乏正则性也适用。

提出的方法

• 在Bochner–Sobolev空间 $ W((0,T),V,V') $ 和Bochner–Lebesgue空间 $ L^2((0,T),V) $ 中以抽象演化形式表述非自治抛物方程。
• 应用Banach空间中闭凸子集的Mosco收敛，以刻画域扰动下解的收敛性。
• 通过定理3.4证明抛物问题与相应椭圆问题在函数空间上的Mosco收敛等价。
• 利用变分方法和强制性估计，推导出在 $ L^2((0,T),V) $ 中解的弱收敛与强收敛。
• 通过时间正则化（如 $ \rho u' + u = u $）构造逼近解 $ u_{\rho,n} $，以满足Mosco条件(M1')并取极限。
• 采用紧致性与弱下确界连续性论证，证明在数据收敛和域的Mosco收敛假设下解的收敛性。

实验结果

研究问题

• RQ1 当域发生扰动时，非自治抛物方程的解在何种条件下收敛？
• RQ2 如何利用函数空间的Mosco收敛来刻画抛物问题中解的收敛性？
• RQ3 抛物问题与椭圆问题在函数空间上的Mosco收敛等价性是否对Dirichlet和Neumann边界条件均成立？
• RQ4 该抽象框架能否推广至底层凸集发生扰动的抛物变分不等式？
• RQ5 在Neumann情况下，解收敛的最小正则性假设是什么，特别是当不存在 $ H^1(\theta_n) $ 到 $ H^1(\theta) $ 的光滑延拓时？

主要发现

• 根据定理3.4，非自治抛物问题的函数空间Mosco收敛等价于相应椭圆问题的Mosco收敛。
• 在域的Mosco收敛和数据收敛条件下，具有Dirichlet或Neumann边界条件的非自治抛物方程的解在 $ L^2((0,T),V) $ 中弱收敛。
• 当 $ f_n \to f $ 在 $ L^2((0,T),V') $ 中，$ u_{0,n} \rightharpoonup u_0 $ 在 $ V $ 中，且 $ u_{0,n} \to u_0 $ 在 $ H $ 中时，解在 $ L^2((0,T),V) $ 中实现强收敛，前提是域的Mosco收敛。
• 该方法适用于Dirichlet和Neumann问题，即使域不规则且不存在 $ H^1(\theta_n) $ 到 $ H^1(\theta) $ 的光滑延拓。
• 该框架可推广至抛物变分不等式：当底层凸集 $ K_n $ 按Mosco意义收敛到 $ K $ 时，弱解也收敛。
• 该证明技术避免依赖[8, 引理2.1]中的紧致性结果，这些结果在Neumann情况下不成立，通过使用抽象Mosco收敛和正则化实现。