[논문 리뷰] Error bounds and analysis of proper orthogonal decomposition model reduction methods using snapshots from the solution and the time derivatives

Tanya Kostova, Geoffrey Oxberry외 2명|arXiv (Cornell University)|2015. 01. 08.

Model Reduction and Neural Networks참고 문헌 21인용 수 5

한 줄 요약

이 논문은 대규모 ODE 시스템에 대한 두 가지 적절한 직교 분해(POD) 모델 축소 방법을 비교한다: 하나는 해 스패티널스만 사용하고, 다른 하나는 해와 시간 도함수 스패티널스를 모두 사용한다. 시간 도함수를 포함함으로써 근사 오차가 감소함을 보여주는 새로운 오차 한계를 유도하며, 특히 첫 번째 생략된 특이값이 작을 경우에 특히 효과적임을 밝히고, 수치적으로도 시간 도함수 기반 방법이 더 적은 스패티널스로 훨씬 낮은 오차를 낳음을 검증한다.

ABSTRACT

Proper orthogonal decomposition methods for model reduction utilize information about the solution at certain time and parameter points to generate a reduced space basis. In this paper, we compare two proper orthogonal decomposition methods for reducing large systems of ODEs. The first method is based on collecting snapshots from the solutions only; the second method uses snapshots from both the solutions and their time derivatives. To compare the methods, we derive new bounds for the 2-norm of the approximation error induced by the each of the methods. The bounds are represented as a sum of two terms: the first depends on the size of the first neglected singular value while the second depends only on the spacings between the snapshots. We performed numerical experiments to compare the errors from the two model reduction methods applied to the semidiscretized FitzHugh-Nagumo system and investigated the relation between the behavior of the numerically observed error and the error bounds. We find that the error bounds, though not tight, provide insights and justification for using time derivative snapshots in POD model reduction for dynamical systems.

연구 동기 및 목표

• 해 스패티널스만 사용하는 방법과 해와 시간 도함수 스패티널스를 모두 사용하는 방법을 비교 분석하여, 두 방법의 정확도를 평가한다.
• 스냅샷 간격과 첫 번째 생략된 특이값의 크기에 명시적으로 의존하는 두 방법에 대한 사전 오차 한계를 유도한다.
• 시간 도함수 정보를 통합함으로써 동적 시스템의 축소 모델 정확도가 향상되는지 조사한다.
• 시간 도함수 스패티널스를 POD-ROM에 사용할 때의 이점에 대해 이론적 근거와 수치적 증거를 제공한다.

제안 방법

• 시스템의 미끄러움과 리프시츠 조건을 가정하여 오차 방정식을 통합하고 그린발르 부등식을 적용함으로써 POD-ROM에 대한 오차 한계를 유도한다.
• 시간 간격과 근사 차수에 따라 오차를 표현하기 위해 라그랑주 보간법과 에르미트 보간법을 사용한다.
• 오차 한계를 두 개의 항의 합으로 표현한다: 하나는 첫 번째 생략된 특이값에 의존하고, 다른 하나는 스패티널스 간격 Δi에 의존한다.
• 두 방법을 비교하기 위해 적용한다: 방법 1(해 스패티널스만 사용), 방법 2(해와 시간 도함수 스패티널스 모두 사용).
• 반산분할된 피츠휴-나구모 시스템에 대한 수치 실험을 통해 이론적 한계를 검증하고 실제 오차를 비교한다.
• 다양한 스패티널스 간격과 스패티널스 수에 대해 특이값 분포와 오차 행동을 분석한다.

실험 결과

연구 질문

• RQ1 POD 스패티널스 행렬에 시간 도함수 스패티널스를 포함시키면 축소 모델의 근사 오차가 감소하는가?
• RQ2 유도된 오차 한계는 스패티널스 간격과 첫 번째 생략된 특이값의 크기에 어떻게 의존하는가?
• RQ3 이론적 오차 한계는 POD-ROM에서 관측된 수치적 오차의 행동을 정확히 예측할 수 있는가?
• RQ4 시간 도함수 스패티널스를 사용함으로써 정확도 향상 효과가 다양한 스패티널스 구성과 시스템 역학에 걸쳐 일관되게 나타나는가?

주요 결과

• 오차 한계는 오차 표현식의 두 번째 항이 스패티널스 간격에 의존하며, 시간 도함수를 사용하는 방법의 경우 이 항이 O(Δ⁴)의 순서를 가지며, 해 스패티널스만 사용하는 방법은 O(Δ²)의 순서를 가진다.
• 수치 실험 결과, 시간 도함수를 포함하는 방법 2가 해 스패티널스만 사용하는 방법 1보다 훨씬 낮은 근사 오차를 낳는다. 특히 스패티널스 수가 적을수록 두드러진다.
• 관측된 오차 감소는 이론적 한계와 일치하며, 비록 한계가 타이트하지 않더라도 시간 도함수 스패티널스가 간격에 의존하는 오차 항을 줄임으로써 정확도 향상이 이루어짐을 시사한다.
• 시간 도함수 스패티널스는 해 스패티널스의 스칼라 곱의 범위에 포함되지 않으며, 이는 축소 기저 공간을 강화하기 위해 사용할 수 있음을 정당화한다.
• 결과적으로 시간 도함수 스패티널스를 사용하면 더 적은 수의 스패티널스로도 낮은 오차를 달성할 수 있으며, 이는 계산 비용 절감에 기여한다.
• 한계에서 오차 항의 차수(α)는 실질적으로 예측된 것보다 높은 것으로 나타나, 더 타이트한 이론적 한계 유도 가능성이 있음을 시사한다.