[論文レビュー] On the well-posedness of a multiscale mathematical model for Lithium-ion batteries

Jesús Ildefonso Díaz Díaz, David Gómez‐Castro+1 more|arXiv (Cornell University)|Jan 1, 2018

Advanced Mathematical Modeling in Engineering参考文献 40被引用数 17

ひとこと要約

この論文は、リチウムイオン電池の古典的ニューマンモデルの完全な非線形マルチスケールPDE系について、局所的および大域的適切性の最初の厳密な証明を確立した。適切に構築された関数空間においてグリーン作用素、不動点理論、および下上解技術を用いることで、著者たちは緩い条件下での解の存在と一意性を証明した。特に非線形性および開回路電位関数に関する特定の仮定のもとで、大域的解の存在が保証された。

ABSTRACT

We consider the mathematical treatment of a system of nonlinear partial differential equations based on a model, proposed in 1972 by J. Newman, in which the coupling between the Lithium concentration, the phase potentials and temperature in the electrodes and the electrolyte of a Lithium battery cell is considered. After introducing some functional spaces well-adapted to our framework, we obtain some rigorous results showing the well-posedness of the system, first for some short time and then, by considering some hypothesis on the nonlinearities, globally in time. As far as we know, this is the first result in the literature proving existence in time of the full Newman model, which follows previous results by the third author in 2016 regarding a simplified case.

研究の動機と目的

• リチウムイオン電池のダイナミクスを支配する完全なマルチスケール非線形PDE系の数学的適切性を確立すること。
• ニューマンモデルに対する局所的および大域的解の存在を証明すること。これは、以前には厳密に確立されていなかった。
• 解の爆発が発生する条件を特定し、特に開回路電位関数の果たす役割に焦点を当てる。
• 質量保存と熱力学的整合性の検証を通じて、物理的整合性を保証すること。
• バッテリー・モデリングにおける信頼性の高い数値シミュレーションおよびパrameter同定の基盤を提供すること。

提案手法

• マクロスケールとミクロスケールの連成系の定式化：電解質濃度、電極電位、温度のマクロスケールPDEと、球形粒子内での径方向拡散のミクロスケール記述。
• 重み付きソボレフ空間およびホルダー空間におけるグリーン作用素と不動点論法を用いて、非線形結合を扱う。
• ブローダー＝ミンティ理論および下上解技術を応用し、解の存在と境界を確立する。
• 時間依存の下解および上解を構築し、爆発行動を制御し、特定の仮定のもとで大域的解の存在を保証する。
• 比較原理を用いて大域的解の結果を導くために、切り詰めた電位関数および温度モデルを導入する。
• 適合条件とエネルギー推定を用いて、質量保存および物理的整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 完全なニューマンモデルが、時間に依存する局所的解を有する条件は何か？
• RQ2 非線形性、特に開回路電位関数に関するどのような構造的仮定が、解の大域的時間的存在を保証するか？
• RQ3 解の境界を制御し、爆発を防ぐために、下解および上解をどのように構築できるか？
• RQ4 モデルの解が質量保存や全リチウム含有量といった物理的整合性（例：全リチウム量）をどのように保っているか？
• RQ5 電位関数および係数の挙動に関する仮定が、系の長期的挙動にどのように影響するか？

主な発見

• 本論文は、適切な関数空間における不動点理論を用いて、ニューマンモデルの完全な非線形マルチスケール系に対する最初の局所的時間内解の存在を証明した。
• 特に開回路電位関数に関する特定の仮定のもとで、非線形性の条件を満たす場合に、解の大域的存在が確立された。これは、物理的に非現実な爆発を排除する。
• 解は物理的制約を満たしており、電解質内の全リチウム濃度が時間経過に伴い一定のままであるため、質量保存が保証された。
• モデルは熱力学的整合性を保ち、固体電極内の全リチウム量はイオンの間挿入によるみに変化し、緩い条件下で系は有界のままである。
• 著者たちは、電極内リチウム濃度の進化を制御する明示的な下解および上解を構築し、正値性と有界性を保証した。
• 解析により、爆発が生じる場合、それは開回路電位の構造に起因し、係数に関する妥当な物理的仮定のもとではこれを除外できることを確認した。