[논문 리뷰] 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명|arXiv (Cornell University)|2018. 01. 01.

Advanced Mathematical Modeling in Engineering참고 문헌 40인용 수 17

한 줄 요약

이 논문은 리튬이온 배터리의 고전적 Newman 모델에 대한 전체 비선형 다스케일 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 시스템의 수학적 잘 정의됨을 확립하기 위해.
• 이전에 엄밀히 증명되지 않았던 Newman 모델에 대해 국소적 및 전역적 해 존재성을 입증하기 위해.
• 특히 개방회로 전위 함수의 역할을 중심으로 해가 폭주할 수 있는 조건을 규명하기 위해.
• 질량 보존과 열역학적 호환성을 검증하여 모델의 물리적 일관성을 확보하기 위해.
• 배터리 모델링에서 신뢰할 수 있는 수치 시뮬레이션과 매개변수 식별을 위한 기반을 마련하기 위해.

제안 방법

• macroscopic PDEs (전해질 농도, 전극 전위, 온도) 와 미세구조적 구형 입자 내 반경 방향 확산을 포함한 연계된 매크로-마이크로 스케일 시스템 설정.
• 비선형 결합을 다루기 위해 가중된 소볼레프 공간과 하올더 공간에서 그린 연산자와 고정점 추론을 활용.
• 존재성과 해의 범위를 확보하기 위해 브라우더-민티 이론과 하향-상향 해법 기법을 적용.
• 해의 폭주 행동을 통제하고 특정 가정 하에 전역 존재성을 보장하기 위해 시간에 의존하는 하향 및 상향 해를 구성.
• 비교 원리를 통해 전역 존재 결과를 도출하기 위해 잘라낸 전위 및 온도 모델을 도입.
• 일致성 조건과 에너지 추정을 사용하여 질량 보존과 물리적 일관성을 검증.

실험 결과

연구 질문

• RQ1 전체 Newman 모델이 리튬이온 배터리에서 국소적 시간 해를 갖는 조건은 무엇인가?
• RQ2 특히 개방회로 전위 함수에 대한 구조적 가정이 해의 전역적 시간 존재성을 보장하기 위해 필요한 조건은 무엇인가?
• RQ3 해의 범위를 통제하고 폭주를 방지하기 위해 하향 및 상향 해를 어떻게 구성할 수 있는가?
• RQ4 모델의 해가 질량과 물리적 일관성(예: 전체 리튬 농도)을 어떻게 유지하는가?
• RQ5 전위 함수와 계수 행동에 대한 가정이 시스템의 장기적 행동에 어떤 영향을 미치는가?

주요 결과

• 논문은 적절한 함수 공간에서 고정점 이론을 사용하여 Newman 모델의 전체 비선형 다스케일 시스템에 대해 처음으로 국소적 시간 존재 결과를 증명한다.
• 특히 개방회로 전위 함수에 대한 특정 가정 하에 비선형성의 조건을 만족할 경우 해의 전역 존재성이 확립된다. 이는 비물리적 폭주를 제거한다.
• 해는 물리적 제약 조건을 만족한다: 전해질 내 총 리튬 농도는 시간이 지남에 따라 일정하게 유지되어 질량 보존이 보장된다.
• 모델은 열역학적 일관성을 유지하며, 고체 전극 내 총 리튬은 탄소화물의 삽입/탈리에 의해만 변화하고, 약간의 조건 하에 시스템은 유한하게 유지된다.
• 저자들은 전극 내 리튬 농도의 진동을 통제하기 위해 명시적인 하향 및 상향 해를 구성하여 양성 및 유계성을 보장한다.
• 분석은 폭주가 개방회로 전위의 구조에 기인하며, 계수에 대한 합리적인 물리적 가정 하에 이를 배제할 수 있음을 확인한다.