×

DPCM公司

swMATH标识: 3177
软件作者: 布雷登,马克西姆;克莱尔,查奈斯·希尔莱雷特;祖雷克,安托万
说明: 本文结合Matlab程序DPCM:扩散Poisson耦合模型行波解的存在性:计算机辅助证明。扩散-泊松耦合模型描述了与粘土岩地层接触的碳钢罐表面出现的致密氧化层的演化过程。该模型是一个一维自由边界问题,涉及粒子密度(电子、铁离子和氧空位)的漂移扩散方程,与静电势上的泊松方程和移动边界方程耦合,描述了空间域中每个未知界面位置的演化。数值模拟表明该模型存在行波解。这些解由固定尺寸区域上的静止剖面定义,界面以相同速度移动。本文提出并应用计算机辅助方法证明了这些行波解的存在性。我们还建立了一个精确和认证的解决方案描述。
主页: https://www.esaim-m2an.org/articles/m2an/pdf/2021/05/m2an200238.pdf
依赖项: Matlab语言
关键词: 严格的数字;腐蚀模型;行波解;光谱法;定点变元
相关软件: 国际实验室;github;盖勒普
参考文献: 1个出版物

按年份引用出版物