영점 포함 비대칭 사다리식 시스템의 GMRES 수렴 분석

초록

본 논문은 영점이 필드‑오브‑밸류(FOV)에 포함된 비대칭 사다리식 선형 시스템에 대해, Crouzeix‑Greenbaum의 “구멍이 있는 원형 영역은 스펙트럴 집합” 결과를 이용하여 GMRES 수렴을 보장하는 충분조건을 제시한다. 전처리 행렬의 비대칭(스큐‑대칭) 부분이 작을 때 차원에 독립적인 수렴률을 얻으며, 기존 FOV 분석이 적용되지 못하던 블록 전처리 기법들을 다룰 수 있다. 다만, 점성계수가 매우 작은 유체 흐름 문제처럼 스큐‑대칭 성분이 큰 경우에는 적용이 제한된다.

상세 분석

논문은 먼저 복소 행렬 A의 필드‑오브‑밸류 W_H(A)를 정의하고, GMRES를 H‑가중 노름에서 분석한다. 기존 이론은 0∉W_H(A)일 때만 유용했으나, Crouzeix‑Greenbaum(2019)의 결과에 따르면 원점 주변에 반지름 1/‖A⁻¹‖_H,H⁻¹ 를 제외한 영역 Ω_CG는 (2+√7)‑스펙트럴 집합이 된다. 이를 이용해 Lemma 2.4는 ‖A‖_H≤a, ‖A⁻¹‖_H≤b, 그리고 스큐‑대칭 부분 ‖(HA−AᵀH)/2‖_H,H⁻¹≤c (bc<1) 라는 세 조건을 만족하면, 적절한 차수의 다항식 p(z)가 Ω_CG에서 |p(z)|<1 를 보장하므로 GMRES가 기하급수적으로 수렴함을 증명한다. 핵심은 스큐‑대칭 성분이 원점 주변의 “구멍” 반지름보다 작아야 한다는 점이다. 이후 사다리식 행렬 K=