[논문 리뷰] Spectral Sets

Cătălin Badea, Bernhard Beckermann|arXiv (Cornell University)|2013. 02. 03.

Matrix Theory and Algorithms참고 문헌 45인용 수 7

한 줄 요약

이 종합 검토는 존 폰 노이만이 도입한 스펙트럼 집합과 K-스펙트럼 집합을 탐구한다. 이러한 개념들은 행렬 함수의 노름을 함수의 초위상 노름(sup-norm)을 사용하여 추정하는 데 기여한다. 행렬 해석학을 복소해석학, 연산자 이론, 근사 이론과 연결함으로써, 이 논문은 수치선형대수학, 미분방정식, 그리고 GMRES와 같은 반복해법 분석에 있어 행렬의 함수를 분석하기 위한 기초 도구를 확립한다.

ABSTRACT

This is a survey about spectral sets, to appear in the second edition of Handbook of Linear Algebra (L. Hogben, ed.). Spectral sets and K-spectral sets, introduced by John von Neumann, offer a possibility to estimate the norm of functions of matrices in terms of the sup-norm of the function. Examples of such spectral sets include the numerical range or the pseudospectrum of a matrix, discussed in Chapters 16 and 18. Estimating the norm of functions of matrices is an essential task in numerous fields of pure and applied mathematics, such as (numerical) linear algebra, functional analysis, and numerical analysis. More specific examples include probability, semi-groups and existence results for operator-valued differential equations, the study of numerical schemes for the time discretization of evolution equations, or the convergence rate of GMRES (Section 41.7). The notion of spectral sets involves many deep connections between linear algebra, operator theory, approximation theory, and complex analysis.

연구 동기 및 목표

• von Neumann가 도입한 스펙트럼 집합과 K-스펙트럼 집합의 포괄적인 개요를 제공하여 행렬 함수의 노름을 제한하는 것.
• 스펙트럼 집합이 수치해석학 및 응용수학 분야에서 행렬 함수의 노름 추정에 수행하는 역할를 명확히 하는 것.
• 스펙트럼 집합과 수치구역, 허위스펙트럼과 같은 핵심 행렬 영역 간의 연결 고리를 부각하는 것.
• 기능해석학, 근사 이론, 복소해석학을 포함한 광범위한 수학적 프레임워크 내에서 스펙트럼 집합을 위치시키는 것.
• GMRES와 같은 수치적 방법의 수렴 행동을 스펙트럼 집합 이론의 관점에서 이해를 지원하는 것.

제안 방법

• von Neumann의 스펙트럼 집합 정의를 활용하여 행렬 A에 대해 f(A)의 노름을 A의 스펙트럼을 포함하는 집합 위에서 f의 초위상 노름(sup-norm)과 연결한다.
• K-스펙트럼 집합 개념을 적용하여 K ≥ 1인 상수를 허용함으로써 연산자 노름의 통제 가능한 경계를 제공한다.
• 복소해석학 도구, 특히 해석함수와 하모닉 함수(subharmonic functions)를 활용하여 행렬 함수의 행동을 분석한다.
• 기능계산 이론과 연산자 노름 이론에 의존하여, 스펙트럼 집합 위에서 f의 행동에 따라 f(A)의 추정치를 유도한다.
• 수치구역(Chapter 16)과 허위스펙트럼(Chapter 18)을 스펙트럼 집합의 자연스러운 예로 연결한다.
• 근사 이론의 결과를 통합하여 스펙트럼 집합 성질을 통해 행렬 함수 근사의 품질을 평가한다.

실험 결과

연구 질문

• RQ1 스펙트럼 집합은 스펙트럼을 포함하는 집합 위에서 f의 초위상 노름(sup-norm)을 사용하여 행렬 A에 대해 f(A)의 노름을 어떻게 제한할 수 있는가?
• RQ2 주어진 행렬 또는 연산자에 대해 어떤 조건에서 집합이 스펙트럼 집합이 되는가?
• RQ3 정확한 스펙트럼 집합 조건을 만족하지 못할 경우 K-스펙트럼 집합은 어떻게 행렬 함수 노름 추정을 개선하는가?
• RQ4 수치구역과 허위스펙트럼은 어떻게 자연스러운 스펙트럼 집합의 예로 작용하는가?
• RQ5 스펙트럼 집합 이론은 GMRES와 같은 반복해법의 수렴 분석에 어떤 함의를 지닌다?

주요 결과

• 스펙트럼 집합은 스펙트럼을 포함하는 집합 위에서 f의 초위상 노름(sup-norm)을 사용하여 f(A)의 노름을 추정하는 강력한 프레임워크를 제공한다.
• 행렬의 수치구역과 허위스펙트럼은 수치해석학에서 실용적인 노름 추정을 가능하게 하는 자연스러운 스펙트럼 집합의 예이다.
• K-스펙트럼 집합은 K ≥ 1인 곱상수를 允허용함으로써 정확한 스펙트럼 집합 조건이 성립하지 않을 경우에도 노름 추정의 유연성을 제공한다.
• 스펙트럼 집합 이론은 선형대수학, 연산자 이론, 복소해석학, 근사 이론 간의 깊은 상호연결을 확립한다.
• 스펙트럼 집합 이론은 특히 잔여 노름의 감쇠를 추정함으로써 GMRES와 같은 반복 방법의 수렴 분석을 뒷받침한다.
• 이 프레임워크는 행렬 함수 노름의 경계를 제공하므로 연산자 값을 갖는 미분방정식과 셈리그룹(semi-groups)의 연구를 가능하게 한다.