[논문 리뷰] Analytic functional calculus for two operators

V. G. Kurbatov, И. В. Курбатова외 1명|arXiv (Cornell University)|2016. 04. 25.

Matrix Theory and Algorithms참고 문헌 65인용 수 5

한 줄 요약

이 논문은 의사-해석함수를 포함한 경로적 적분을 이용하여 두 연산자에 대한 해석적 함수해석학을 개발하며, 실리우스 방정식의 해, 연산자 미분방정식의 인과응답, 함수해석학의 미분을 표현할 수 있게 한다. 주요 기여는 스펙트럼 매핑 정리와 변환기 및 그 미분에 대한 명시적 적분 공식으로, 해석함수를 통해 유계 및 다중값 연산자로의 고전적 함수해석학의 일반화를 가능하게 한다.

ABSTRACT

Properties of the mappings \begin{align*} C&\mapsto\frac1{(2πi)^2}\int_{Γ_1}\int_{Γ_2}f(λ,μ)\,R_{1,\,λ}\,C\, R_{2,\,μ}\,dμ\,dλ, C&\mapsto\frac1{2πi}\int_Γg(λ)R_{1,\,λ}\,C\, R_{2,\,λ}\,dλ\end{align*} are discussed; here $R_{1,\,(\cdot)}$ and $R_{2,\,(\cdot)}$ are pseudo-resolvents, i.~e., resolvents of bounded, unbounded, or multivalued linear operators, and $f$ and $g$ are analytic functions. Several applications are considered: a representation of the impulse response of a second order linear differential equation with operator coefficients, a representation of the solution of the Sylvester equation, and an exploration of properties of the differential of the ordinary functional calculus.

연구 동기 및 목표

• 다중 다항식이 아닌 해석함수를 사용하여 경로적 적분을 통해 두 연산자에 대한 함수해석학을 확장하는 것.
• 해리드-힐버트 항등식을 만족하는 의사-해석함수를 통해 고전적 함수해석학을 비유계 및 다중값 선형 연산자로 일반화하는 것.
• 실리우스 방정식의 해와 2차 연산자 미분방정식의 인과응답에 대한 적분 표현을 제공하는 것.
• 변환기 값을 갖는 적분을 통해 함수해석학의 미분과 그 스펙트럼을 특성화하는 것.
• 두 연산자 함수해석학에 대한 스펙트럼 매핑 정리를 수립하여 스펙트럼 성질과의 일致성을 확보하는 것.

제안 방법

• 함수해석학은 이중 경로적 적분을 통해 정의된다: $ f(A,B)C = \frac{1}{(2\pi i)^2} \int_{\Gamma_1} \int_{\Gamma_2} f(\lambda,\mu) R_{1,\lambda} C R_{2,\mu} \, d\mu \, d\lambda $, 여기서 $ R_{1,\lambda} $ 및 $ R_{2,\mu} $ 는 의사-해석함수이다.
• 표준 해석함수 대신 의사-해석함수를 사용하여 비유계 및 다중값 연산자로의 일반화를 이루며, $ R_\lambda - R_\mu = -(λ - \mu) R_\lambda R_\mu $ 를 만족한다.
• 함수해석학은 두 일반 함수해석학의 텐서곱으로 구성되며, $ \varphi_1 \boxtimes \varphi_2 $ 로 표기되며, 대수적 및 스펙트럼 성질을 유지한다.
• 함수해석학의 미분은 프레셰 미분을 통해 유도되며, 명시적 적분 공식이 제공된다: $ df^{-1}(\Delta B, B) = \frac{1}{(2\pi i)^2} \int_{\Gamma_1} \int_{\Gamma_2} \frac{1}{f^{[1]}(\lambda,\mu)} R_\lambda \Delta B R_\mu \, d\mu \, d\lambda $.
• 미분 변환기의 스펙트럼은 비영 조건 하에 $ \sigma[df^{-1}(\cdot,B)] = \bigcup \left\{ \frac{1}{f^{[1]}(\lambda,\mu)} : \lambda,\mu \in \sigma(A) \right\} $ 로 나타난다.
• 응용으로는 실리우스 방정식 $ AZ + ZB = C $ 를 변환기 $ Q_{A,-B}(C) $ 를 통해 해결하고, 제곱근 및 로그 함수의 연산자에 대한 미분을 유도하는 것.

실험 결과

연구 질문

• RQ1 다중 다항식에서 해석함수로의 함수해석학을 적분 표현을 통해 어떻게 확장할 수 있는가?
• RQ2 표준 해석함수를 의사-해석함수로 대체할 경우 함수해석학에서 어떤 성질이 유지되는가?
• RQ3 함수해석학의 미분은 어떻게 명시적으로 계산하고 그 스펙트럼은 어떻게 특성화할 수 있는가?
• RQ4 확장된 텐서곱은 $ f(A,B) $ 의 다양한 해석, 특히 $ C: Y \to X $ 인 연산자에 대한 변환기로서의 역할을 어떻게 통합하는가?
• RQ5 함수해석학의 적분 표현은 실리우스 방정식과 2차 연산자 미분방정식과 같은 특정 방정식에 어떻게 적용되는가?

주요 결과

• 해석함수 $ f $ 에 대해 의사-해석함수를 포함한 이중 경로적 적분을 통해 함수해석학 $ f(A,B) $ 가 잘 정의되며, 고전적 다항식 경우를 일반화한다.
• 두 연산자 함수해석학에 대해 스펙트럼 매핑 정리가 성립한다: $ \sigma[\varphi_1 \boxtimes \varphi_2] = \sigma(\varphi_1) \times \sigma(\varphi_2) $, 스펙트럼 이론과의 일致성을 보장한다.
• 역함수 함수해석학의 미분은 $ df^{-1}(\Delta B, B) = \frac{1}{(2\pi i)^2} \int_{\Gamma_1} \int_{\Gamma_2} \frac{1}{f^{[1]}(\lambda,\mu)} R_\lambda \Delta B R_\mu \, d\mu \, d\lambda $ 로 주어지며, 스펙트럼은 $ \sigma[df^{-1}(\cdot,B)] = \bigcup \left\{ \frac{1}{f^{[1]}(\lambda,\mu)} \right\} $ 로 나타난다.
• 제곱근 함수의 경우, 미분은 실리우스 방정식 $ \sqrt{B} \cdot dv_{1/2}(\Delta B,B) + dv_{1/2}(\Delta B,B) \cdot \sqrt{B} = \Delta B $ 를 만족하며, 그 스펙트럼은 $ \left\{ \frac{1}{\lambda + \mu} : \lambda,\mu \in \sqrt{\sigma(B)} \right\} $ 로 주어진다.
• 로그 함수의 경우, 미분의 스펙트럼은 $ \left\{ \frac{1}{\exp_1^{[1]}(\lambda,\mu)} : \lambda,\mu \in \ln(\sigma(B)) \right\} $ 로 주어지며, 정의역이 음의 실수축을 피하는 조건 하에 성립한다.
• 이 함수해석학은 리카티 방정식에 적용되며, 해의 미분은 연속적인 실리우스 방정식을 만족하고, 해는 변환기 $ Q_{A+ZC, -B-CZ} $ 를 통해 표현된다.