[论文解读] Abstract approach of degenerate parabolic equations with dynamic boundary conditions

T. Fukao, Taishi Motoda|arXiv (Cornell University)|Oct 23, 2017

Advanced Mathematical Modeling in Engineering参考文献 13被引用 6

一句话总结

本论文通过基于次微分算子的抽象演化方程方法，建立了具有动态边界条件的退化抛物方程弱解的存在性。通过构造适当的均值为零的函数空间并应用Moreau–Yosida正则化，作者证明了即使在体内与边界上具有不同非线性项的情况下，问题仍具有适定性，通过抽象希尔伯特空间框架改进了先前的控制假设。

ABSTRACT

An initial boundary value problem of the nonlinear diffusion equation with a dynamic boundary condition is treated. The existence problem of the initial-boundary value problem is discussed. The main idea of the proof is an abstract approach from the evolution equation governed by the subdifferential. To apply this, the setting of suitable function spaces, more precisely the mean-zero function spaces, is important. In the case of a dynamic boundary condition, the total mass, which is the sum of volumes in the bulk and on the boundary, is a point of emphasis. The existence of a weak solution is proved on this basis.

研究动机与目标

• 建立具有动态边界条件的非线性退化抛物系统适定性的目标。
• 将基于次微分的抽象演化方程方法扩展至具有动态边界条件的问题。
• 通过采用精细化的函数空间框架，克服体内与边界上非线性项的限制性控制假设。
• 在β和βΓ为一般极大单调图（包括多值情形如Hele–Shaw轮廓）的条件下，证明弱解的存在性。
• 通过调整函数空间结构以保持总质量守恒，从而处理具有非零均值初值的初始数据。

提出的方法

• 在希尔伯特空间框架下，将问题表述为由次微分算子控制的抽象演化方程。
• 在H × HΓ上引入带有均值为零约束的希尔伯特空间结构，以保持总质量守恒。
• 应用Moreau–Yosida正则化逼近次微分算子，并构造正则化解。
• 利用β和βΓ的强制性与增长条件，推导近似解的统一估计。
• 令正则化参数λ → 0取极限，得到弱解。
• 利用β和βΓ的满射性与最小截面性质，确保迹的一致性，并避免控制假设。

实验结果

研究问题

• RQ1 基于次微分的抽象演化方程方法能否推广至具有动态边界条件的退化抛物方程？
• RQ2 如何修改函数空间设置以保持总质量并允许初值具有非零均值？
• RQ3 在体内与边界上β和βΓ不同时，应满足何种条件以确保弱解的存在性？
• RQ4 在动态边界条件背景下，能否去除先前工作中使用的限制性控制假设（A6）？
• RQ5 均值为零的函数空间在确保具有动态边界条件的退化抛物系统适定性中起什么作用？

主要发现

• 在一般极大单调图β和βΓ的条件下，证明了具有动态边界条件的初边值问题存在唯一弱解。
• 该方法通过依赖抽象演化方程框架，避免了先前工作中使用的控制假设（A6）。
• 由于采用了均值为零的函数空间构造，总质量（即体内与边界体积之和）得以保持。
• 只要β和βΓ分别是适当增长的凸、下半连续函数的次微分，该方法对体内与边界上不同的非线性项均有效。
• 通过相应调整函数空间结构，该证明技术可推广至具有非零均值初值的情形。
• 通过次微分演化方程的抽象方法，提供了一个稳健的框架，简化了退化情况下的统一估计与极限过程。