[논문 리뷰] Two time discretizations for gradient flows exactly replicating energy dissipation

Ansgar Jüngel, Ulisse Stefanelli외 1명|arXiv (Cornell University)|2018. 11. 14.

Computational Fluid Dynamics and Aerodynamics참고 문헌 26인용 수 1

한 줄 요약

이 논문은 기울기 흐름에서 에너지 소산을 정확히 유지하는 두 가지 수정된 암시적 오일러 스킴을 제안한다. 이 스킴들은 이산 에너지 등식을 강제하여 에너지 손실의 정확한 대응을 보장하며, 해의 존재성을 보장하고 시간 분할이 세밀해질수록 수렴한다. 이는 일반화된 기울기 흐름과 최대 경사도 곡선의 거리공간 곡선으로까지 확장된다.

ABSTRACT

The classical implicit Euler scheme fails to reproduce the exact dissipation dynamics of gradient flows: The discrete dissipation necessarily does not correspond to the energy drop. We discuss two modifications of the Euler scheme satisfying an exact energy equality at the discrete level. Existence of discrete solutions and their convergence as the fineness of the partition goes to zero are discussed. Eventually, we address extensions to generalized gradient flows, GENERIC flows, and curves of maximal slope in metric spaces.

연구 동기 및 목표

• 기울기 흐름에서 고전적 암시적 오일러 스킴이 에너지 소산 역학을 정확히 재현하지 못하는 데서 기인하는 실패를 해결한다.
• 이산 수준에서 정확한 에너지 등식을 강제하는 시간 이산화 방법을 개발하여 연속적인 에너지 손실과 일치시킨다.
• 이산 해의 존재성과 시간 분할이 세밀해질수록 연속 흐름으로 수렴하는 것을 증명한다.
• 일반화된 기울기 흐름, GENERIC 시스템, 거리공간 내 최대 경사도 곡선으로 이 프레임워크를 확장한다.

제안 방법

• 각 시간 단계에서 이산 에너지 소산이 정확히 에너지 감소와 동일하도록 강제하는 수정된 암시적 오일러 스킴을 도입한다.
• 이중적인 오일러 스킴 변형을 제안하여 이산 설정에서 정확한 에너지 등식을 보장하는 수정된 갱신 규칙을 사용한다.
• 변분 형태를 사용하여 이산 스킴을 유도함으로써 이산 에너지 항등식을 통해 에너지 일관성을 확보한다.
• 추가적인 구동력이나 제약 조건을 포함한 에너지 구조를 확장하여 일반화된 기울기 흐름에 스킴을 적용한다.
• 거리 구조와 에너지 경관을 활용하여 거리공간 내 최대 경사도 곡선에 방법을 적응시킨다.
• 적절한 정규성 가정 하에 사전 추정과 컴팩턴스 추론을 통해 수렴성을 확립한다.

실험 결과

연구 질문

• RQ1 시간 이산화 방법을 설계하여 이산 에너지 소산이 기울기 흐름에서 에너지 감소와 정확히 일치하도록 할 수 있는가?
• RQ2 제안된 스킴이 해의 존재성과 시간 간격이 0으로 수렴할 때 연속 흐름으로 수렴하는가?
• RQ3 정확한 에너지 소산 성질을 일반화된 기울기 흐름과 거리공간 내 최대 경사도 곡선으로 확장할 수 있는가?
• RQ4 고전적 암시적 오일러 스킴을 수정하여 이산 수준에서 정확한 에너지 등식을 달성하기 위해 필요한 수정 사항은 무엇인가?
• RQ5 새로운 스킴은 기울기 흐름의 내재된 에너지 구조를 유지하는 데 있어 표준 시간 적분기와 어떻게 비교되는가?

주요 결과

• 제안된 스킴은 각 시간 단계에서 연속적인 에너지 감소와 정확히 일치하는 이산 에너지 등식을 강제함으로써 정확한 에너지 소산을 달성한다.
• 에너지 함수와 시간 분할에 대한 표준 가정 하에 이산 해의 존재성이 증명된다.
• 시간 분할이 세밀해질수록 이산 해가 연속 흐름으로 수렴함이 입증된다.
• 이 방법들은 일반화된 기울기 흐름으로 성공적으로 확장되어 정확한 에너지 소산 성질을 유지한다.
• 비연속적인 설정에서도 이 프레임워크는 거리공간 내 최대 경사도 곡선에 적용되며, 이산 에너지 항등식을 유지한다.
• 기울기 흐름의 내재된 에너지 구조를 유지하는 데 있어 고전적 암시적 오일러 방법보다 성능이 뛰어나다.