[论文解读] Mathematical analysis of a thermodynamically consistent reduced model for iron corrosion

Clément Cancès, Claire Chainais-Hillairet+3 more|arXiv (Cornell University)|Jan 31, 2022

Advanced Mathematical Modeling in Engineering参考文献 32被引用 4

一句话总结

本文提出了一种热力学一致的铁腐蚀简化模型，涉及固定氧化物层中的三价铁离子和电子，电势由泊松方程控制，界面反应通过 Butler-Volmer 动力学建模。关键贡献是通过自由能估计和 Moser 迭代，严格证明了弱解的全局存在性，适用于所有物理参数且无限制，优于以往工作。

ABSTRACT

We are interested in a reduced model for corrosion of iron, in which ferric cations and electrons evolve in a fixed oxide layer subject to a self-consistent electrostatic potential. Reactions at the boundaries are modeled thanks to Butler-Volmer formulas, whereas the boundary conditions on the electrostatic potential model capacitors located at the interfaces between the materials. Our model takes inspiration in existing papers, to which we bring slight modifications in order to make it consistent with thermodynamics and its second principle. Building on a free energy estimate, we establish the global in time existence of a solution to the problem without any restriction on the physical parameters, in opposition to previous works. The proof further relies on uniform estimates on the chemical potentials that are obtained thanks to Moser iterations. Numerical illustrations are finally provided to highlight the similarities and the differences between our new model and the one previously studied in the literature.

研究动机与目标

• 开发一种热力学一致的铁腐蚀简化模型，尊重热力学第二定律。
• 解决现有漂移-扩散模型在腐蚀问题中的数学适定性不足问题，特别是原始 DPCM 模型中存在移动边界和复杂边界条件的问题。
• 在固定域上，针对简化后的双物种（Fe³⁺ 和电子）系统，建立弱解的全局存在性，且不依赖于物理参数。
• 为将热力学一致建模扩展至包含移动界面的完整三物种 DPCM 模型奠定基础。
• 通过确保数学稳定性与长期行为控制，实现可靠的数值模拟。

提出的方法

• 在固定氧化物层中，为 Fe³⁺ 和电子构建一个简化的漂移-扩散-泊松系统，电势满足泊松方程。
• 采用基于化学势的非线性反应速率的 Butler-Volmer 动力学建模界面电荷转移，确保热力学一致性。
• 在材料界面引入类似电容的边界条件以替代以往的 Robin-Fourier 条件。
• 构造一个随时间衰减的自由能泛函，确保系统具有耗散行为并保持热力学一致性。
• 应用 Moser 迭代技术，推导出化学势的统一 L∞ 估计，这对正则化方案中取极限至关重要。
• 引入带截断算子的正则化问题 (PM)，证明解的存在性，并展示解的范数与正则化参数 M 无关的统一有界性。

实验结果

研究问题

• RQ1 能否构建一个热力学一致的铁腐蚀简化模型，特别是尊重热力学第二定律？
• RQ2 若采用基于化学势而非浓度的非线性通量，是否能获得适定系统并保证解的全局存在性？
• RQ3 在具有非线性通量的漂移-扩散系统中，能否通过 Moser 迭代建立化学势的统一有界性？
• RQ4 新提出的热力学一致模型在电流-电压响应和浓度分布方面，与原始 DPCM 在定性和定量上如何比较？
• RQ5 是否可能在不施加任何物理参数限制的条件下，证明弱解的全局存在性，从而克服以往工作的局限性？

主要发现

• 所提出的模型通过一个随时间衰减的自由能泛函实现热力学一致性，其耗散由系统的熵产生率控制。
• 弱解的全局存在性对所有物理参数均成立且无限制，显著优于以往需要施加参数约束的工作。
• 通过 Moser 迭代推导出化学势的统一 L∞ 估计，使正则化过程中取极限成为可能。
• 数值比较表明，新模型与原始 DPCM 在定性行为上相似，如稳态电流-电压曲线和浓度分布演化，但在定量上以受控方式存在差异。
• 该模型支持长期行为分析，解在经历瞬态阶段后趋于平稳分布，与模拟中观察到的行波解一致。
• 该框架可扩展至包含移动边界的完整三物种 DPCM，为未来对完整腐蚀模型的数学分析铺平道路。