铁腐蚀的热力学一致简化模型的数学分析
Mathematical analysis of a thermodynamically consistent reduced model for iron corrosion
AI总结：
针对现有铁腐蚀简化模型不符合热力学第二定律的问题，对模型做细微修正，通过自由能估计与Moser迭代证明无物理参数限制的全局解存在性，并通过数值算例对比新旧模型的异同。
摘要：
我们关注一种铁腐蚀简化模型，其中三价铁阳离子与电子在固定氧化层中演化，且受自洽静电势作用。边界处的反应采用Butler-Volmer公式建模，而静电势的边界条件则用于模拟材料界面处的电容器。我们的模型受现有文献启发，并对其做了细微修改，以确保模型符合热力学及其第二定律。基于自由能估计，我们证明了该问题解的全局时间存在性，且对物理参数无任何限制，这与以往研究不同。证明过程还依赖于通过Moser迭代得到的化学势一致估计。最后，我们提供了数值算例，以凸显新模型与文献中此前研究的模型之间的异同点。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
