[논문 리뷰] Galerkin v. discrete-optimal projection in nonlinear model reduction.

Kevin Carlberg, Matthew Barone외 1명|arXiv (Cornell University)|2015. 04. 15.

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

한 줄 요약

이 논문은 시간적 통합 비선형 문제에 대한 갈레르킨 및 이산 최적 감소차원 모델링(ROM) 기법 간 이론적이고 실험적인 비교를 제공한다. 이는 이산 최적 ROM 이 난류 압축성 유동에서 갈레르킨 ROM 을 능가할 수 있음을 보여주며, 오차가 항상 더 작은 시간 간격을 사용할수록 감소하지는 않음을 입증한다. 대신, 시간 간격을 감소기저의 스펙트럼 성분에 맞출 때 최적의 성능을 달성하며, 100만 개 이상의 자유도를 가진 유동 문제에서 오차와 시뮬레이션 시간을 각각 한 단계 감소시킬 수 있다.

ABSTRACT

Discrete-optimal model-reduction techniques such as the Gauss{Newton with Approximated Tensors (GNAT) method have shown promise, as they have generated stable, accurate solutions for large-scale turbulent, compressible ow problems where standard Galerkin techniques have failed. However, there has been limited comparative analysis of the two approaches. This is due in part to difficulties arising from the fact that Galerkin techniques perform projection at the time-continuous level, while discrete-optimal techniques do so at the time-discrete level. This work provides a detailed theoretical and experimental comparison of the two techniques for two common classes of time integrators: linear multistep schemes and Runge{Kutta schemes. We present a number of new ndings, including conditions under which the discrete-optimal ROM has a time-continuous representation, conditions under which the two techniques are equivalent, and time-discrete error bounds for the two approaches. Perhaps most surprisingly, we demonstrate both theoretically and experimentally that decreasing the time step does not necessarily decrease the error for the discrete-optimal ROM; instead, the time step should be `matched' to the spectral content of the reduced basis. In numerical experiments carried out on a turbulent compressible- ow problem with over one million unknowns, we show that increasing the time step to an intermediate value decreases both the error and the simulation time of the discrete-optimal reduced-order model by an order of magnitude.

연구 동기 및 목표

• 비선형 모델 감소에서 갈레르킨과 이산 최적 ROM 기법 간 비교 분석의 부족을 해결하기 위해.
• 두 투영 방법의 시간 연속성 대 시간 이산성에 기인하는 근본적인 과제를 해결하기 위해.
• 이산 최적 ROM 이 시간 연속 형태로 표현될 수 있는 조건을 도출하기 위해.
• 갈레르킨 및 이산 최적 ROM 접근법에 대한 시간 이산 오차 한계를 수립하기 위해.
• 난류 고정밀도 시뮬레이션에서 시간 간격 크기가 이산 최적 ROM 정확도와 효율성에 미치는 영향을 조사하기 위해.

제안 방법

• 선형 다단계 및 룬게-쿠타 시간 적분기법에 대한 갈레르킨 및 이산 최적 투영의 이론적 분석.
• 이산 최적 ROM 가 시간 연속 형태로 표현될 수 있는 조건 도출.
• 특정 기저 및 시간 간격 제약 조건 하에서 갈레르킨 및 이산 최적 ROM 간 동치 조건 수립.
• 안정성 이론 및 근사 이론을 사용하여 두 방법에 대한 시간 이산 오차 한계 수립.
• 100만 개 이상의 자유도를 가진 난류 압축성 유동 문제에 대한 수치 실험.
• 시간 간격 크기를 체계적으로 변화시켜 이산 최적 ROM 오차 및 계산 비용에 미치는 영향 연구.

실험 결과

연구 질문

• RQ1 이산 최적 ROM 이 어떤 조건에서 시간 연속 형태로 표현될 수 있는가?
• RQ2 시간 통합 비선형 시스템의 맥락에서 갈레르킨 및 이산 최적 ROM 이 언제 동치가 되는가?
• RQ3 선형 다단계 및 룬게-쿠타 계획에 대해 갈레르킨 및 이산 최적 ROM 의 시간 이산 오차 한계는 어떻게 다른가?
• RQ4 시간 간격을 줄이면 항상 이산 최적 ROM 의 오차가 감소하는가, 아니면 최적의 간격이 존재하는가?
• RQ5 감소기저의 스펙트럼 성분에 시간 간격을 맞추면 고정밀도 유동 시뮬레이션에서 정확도와 효율성이 향상되는가?

주요 결과

• 특정 시간 적분기 및 기저 구조 조건과 관련하여 이산 최적 ROM 은 시간 연속 형태로 표현될 수 있다.
• 감소기저가 시간 연속이고 시간 적분기가 일정한 조건을 만족할 경우 갈레르킨 및 이산 최적 ROM 이 동치가 된다.
• 두 방법에 대한 시간 이산 오차 한계가 유도되었으며, 투영 전략에 따라 다른 수렴 행동을 보임을 확인했다.
• 시간 간격을 줄이더라도 이산 최적 ROM 의 오차가 항상 감소하지는 않으며, 감소기저의 스펙트럼 성분에 맞는 중간 크기의 시간 간격에서 오차가 최소가 된다.
• 100만 개 이상의 자유도를 가진 난류 압축성 유동 문제에서 시간 간격을 중간 크기로 증가시킴으로써 오차와 시뮬레이션 시간을 각각 한 단계 감소시킬 수 있었다.
• 최적의 시간 간격은 안정성 또는 절삭 고려 사항만으로 결정되지 않고 감소기저의 스펙트럼 성분에 의해 결정된다.