시간 공간 최소제곱 기반 파라메트릭 열방정식 차원축소

초록

본 논문은 최소제곱 시간‑공간 변분식을 이용해 파라메트릭 열방정식의 차원축소 모델을 개발한다. 대칭·균일 강제성을 갖는 bilinear form을 기반으로 POD‑greedy 전략을 적용하고, 오프라인‑온라인 분리를 구현한다. 절대·상대 오차 추정기를 제시하여 인증된 reduced basis 해를 제공한다.

상세 분석

이 연구는 기존의 공간‑시간 최소제곱 접근법(Hinze·Kahle·Stahl, 2023)을 파라메터 의존 문제에 확장한다는 점에서 혁신적이다. 핵심은 V와 H가 형성하는 Gelfand 삼중체 위에서 정의된 a(µ;·,·)가 모든 파라메터 µ에 대해 대칭, 연속, 그리고 균일 강제성을 만족한다는 가정이다. 이를 통해 정의되는 bilinear form b(µ;·,·)는 자연스럽게 대칭이며, Lax‑Milgram 정리 적용으로 연속성·강제성을 보장한다.

공간‑시간 해석을 위해 Wµ(0,T) = {v∈L²(0,T;V(µ)) | vt∈L²(0,T;V(µ))} 를 도입하고, (·,·)Wµ 내적을 통해 자연스러운 에너지 노름 ‖·‖Wµ를 정의한다. 최소제곱 목적함수는 ‖vt + A(µ)v – f(µ)‖²_{L²(V)} + ‖v(0) – y₀(µ)‖²_H 로 설정되며, 이의 1차 최적조건이 바로 (‡) 형태의 변분식이다.

수치 해석을 위해 (‡)를 등가의 saddle‑point 문제(Pµ) 로 변형한다. 여기서 보조 변수 p는 시간 미분 항의 Riesz lift를 근사하는 역할을 하며, 이 변형은 기존의 시간‑스텝 방식과 달리 전체 시간 구간을 한 번에 처리한다는 장점을 가진다. 고정밀 해는 텐서곱 형태의 공간‑시간 유한요소 공간 Wd, Qd 로 Galerkin 근사를 수행한다. 시간 방향은 연속 1차 요소(KM)와 상수 요소(JP)를, 공간 방향은 일반적인 V‑basis(φₙ) 를 사용한다.

이러한 고정밀 시스템은 행렬식 S₍d₎(µ)·