[论文解读] A set-valued framework for birth-and-growth process
本文提出了一种基于闵可夫斯基和与阿umann积分的集合值框架，用于建模成核与生长过程，将成核与生长定义为广义的集合值随机过程。该方法无需边界光滑性假设即可保证问题的适定性，支持各向异性和非局部生长，并严格证明了过程演化的无穷小与积分形式表述。
We propose a set-valued framework for the well-posedness of birth-and-growth process. Our birth-and-growth model is rigorously defined as a suitable combination, involving Minkowski sum and Aumann integral, of two very general set-valued processes representing nucleation and growth respectively. The simplicity of the used geometrical approach leads us to avoid problems arising by an analytical definition of the front growth such as boundary regularities. In this framework, growth is generally anisotropic and, according to a mesoscale point of view, it is not local, i.e. for a fixed time instant, growth is the same at each space point.
研究动机与目标
- 开发一个严格的数学框架来描述出生与生长过程，避免对生长界面光滑性或正则性的分析假设。
- 通过几何运算将成核与生长建模为广义的集合值随机过程。
- 通过集合值近似序列的收敛性，建立模型的适定性。
- 通过离散时间近似方案，严格证明无穷小与积分形式的合理性。
- 在无需外法向量或光滑边界的情况下，实现非局部、各向异性的生长。
提出的方法
- 模型将过程定义为初始集合与生长过程积分的闵可夫斯基和，再加上成核集合的并集。
- 成核被建模为集合值过程 $\{dB_t\}$，表示在随机时间和位置的无穷小添加。
- 生长通过阿umann积分 $\int_{t_0}^t G_s \, ds$ 表示，其中 $G_s$ 是描述时间 $s$ 处生长增量的集合值过程。
- 演化表达式为 $\Theta_t = \left(\Theta_{t_0} \oplus \int_{t_0}^t G_s \, ds\right) \cup \bigcup_{s \in [t_0,t]} dB_s$，确保几何一致性。
- 采用离散时间近似方案来证明无穷小形式 $\Theta_{t+dt} = (\Theta_t \oplus G_t dt) \cup dB_t$ 的合理性，通过划分细化实现收敛。
- 通过证明在细化下集合值近似序列一致收敛，从而证明适定性，确保过程是适应且可测的。
实验结果
研究问题
- RQ1如何在不假设生长界面光滑性或正则性的情况下，严格定义出生与生长过程？
- RQ2哪些几何与集合论运算可以替代基于速度的分析模型来描述生长？
- RQ3在随机设定下，如何数学上证明过程的无穷小与积分形式的合理性？
- RQ4能否使用集合值过程构建并证明一个非局部、各向异性的生长模型是适定的？
- RQ5在集合值框架下，何种条件可确保离散近似收敛于连续过程？
主要发现
- 模型是适定的：在细化下，集合值近似序列一致收敛，确保过程 $\Theta_t$ 的存在性。
- 过程 $\Theta_t$ 关于滤子 $\{\mathfrak{F}_t\}$ 适应，确保随机一致性。
- 无穷小形式 $d\Theta_t = \oplus G_t dt \cup dB_t$ 作为离散时间近似极限被严格证明。
- 生长过程是非局部的：$\Theta_t$ 中每个点均以相同集合 $G_t dt$ 增长，与位置无关。
- 当 $G_t$ 不是球体时，各向异性生长自然被建模，无需方向性正则性假设。
- 该框架避免了对外法向量或边界正则性存在的假设，从而可更广泛地应用于真实世界过程。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。