[논문 리뷰] Inequalities for Functions of Selfadjoint Operators on Hilbert Spaces

Sever S Dragomir|arXiv (Cornell University)|2012. 03. 08.

Mathematical Inequalities and ApplicationsMathematics참고 문헌 27인용 수 19

한 줄 요약

이 논문은 힐버트 공간에서 자기수반 연산자의 함수에 대한 타일러 유형 근사의 날카운 오차 경계를 스펙트럼 이론과 적분 표현을 활용하여 수립한다. 고차 도함수의 절대 연속성과 적분 가능성 조건을 이용하여 타일러 전개의 나머지 항에 대한 명시적 부등식을 유도하며, 주요 결과는 리만 노름과 스펙트럼 측도를 통해 표현된다.

ABSTRACT

The main aim of this book is to present recent results concerning inequalities for continuous functions of selfadjoint operators on complex Hilbert spaces. It is intended for use by both researchers in various fields of Linear Operator Theory and Mathematical Inequalities, domains which have grown exponentially in the last decade, as well as by postgraduate students and scientists applying inequalities in their specific areas.

연구 동기 및 목표

• 힐버트 공간에서 자기수반 연산자에 적용된 함수에 대한 타일러 유형 전개의 정밀한 오차 추정을 개발하기 위해.
• 고전적 타일러 나머지 경계를 스펙트럼 분해와 적분 표현을 이용해 연산자 설정으로 확장하기 위해.
• 고차 도함수의 총 변동량과 Lp 노름을 바탕으로 나머지 항을 정량화하기 위해.
• n차 도함수에 대한 절대 연속성과 적분 가능성 가정 하에 계산 가능한 경계를 제공하기 위해.
• 특히 볼록, 로그-볼록, 리프시츠 함수에 대해 기존 부등식을 통합 및 일반화하기 위해.

제안 방법

• 자기수반 연산자의 스펙트럼 분해를 활용하여 스펙트럼 가족 {Eλ}에 대한 스틸티제스 적분을 통해 f(A)를 표현한다.
• 구간 [m, M]에서 정의된 커널 Wn(m, M, f; λ)를 포함하는 타일러 나머지 Tn(f, m, M; x, y)의 적분 표현을 도출한다.
• 횔더 부등식을 적용하여 |Wn(m, M, f; λ)|를 부분구간 [m, λ]와 [λ, M]에서 f(n+1)의 Lp 노름에 따라 경계한다.
• |Wn|을 스펙트럼 측도 ⟨Eλx, y⟩에 대해 적분함으로써 |Tn(f, m, M; x, y)|의 경계를 수립하고, 이는 연산자 노름 추정으로 이어진다.
• f(n+1)의 적분 가능성 클래스에 따라 여러 경우를 고려하며, L∞, Lq, L1를 포함한 12개의 서로 다른 경계 변형을 도출한다.
• 총 변동량 샤르비치 부등식을 적용하여, ∥x∥∥y∥와 |Wn|의 L1 노름에 따라 최종 오차 경계를 개선한다.

실험 결과

연구 질문

• RQ1 자기수반 연산자에 적용된 함수의 타일러 전개에서 나머지 항에 대한 최적 경계는 무엇인가?
• RQ2 스펙트럼 측도와 고차 도함수를 이용해 나머지를 어떻게 표현하고 경계할 수 있는가?
• RQ3 f(n)이 절대 연속이고 f(n+1)이 Lp 공간에 속할 경우 오차 경계는 어떻게 되는가?
• RQ4 경계는 f(n+1)의 매끄럽기 정도와 변동성 성질에 어떻게 의존하는가?
• RQ5 나머지는 연산자 노름과 스펙트럼 적분 노름에 대해 균일하게 경계될 수 있는가?

주요 결과

• 나머지 Tn(f, m, M; x, y)는 Tn = 1/((M−m)n!) ∫_m^M Wn(λ) ⟨Eλx, y⟩ dλ의 적분 표현을 가지며, 여기서 Wn은 f(n+1)를 포함하는 커널 함수이다.
• f(n+1) ∈ L∞[m,M]이면, 나머지는 |Tn| ≤ [(M−m)n+1 / 4(n+1)!] Ln ∥x∥∥y∥를 만족하며, 여기서 Ln은 f(n+1)의 L∞-준노름이다.
• f(n+1) ∈ L∞[m,λ] 및 [λ,M]이면, 커널 |Wn(λ)|는 (λ−m), (M−λ), 그리고 f(n+1)의 노름을 포함하는 네 항의 합으로 경계된다.
• 모든 x, y ∈ H에 대해 |Tn(f, m, M; x, y)| ≤ 1/((M−m)n!) ∫_m^M |Wn(λ)| ⟨Eλx, x⟩^{1/2} ⟨Eλy, y⟩^{1/2} dλ의 경계가 성립한다.
• |Tn| ≤ 1/((M−m)n!) ∥x∥∥y∥ ∫_m^M |Wn(λ)| dλ의 날카운 경계가 얻어지며, 이때 |Wn(λ)| ≤ ∑_{i=1}^4 B_n^{(i)}(λ)는 다양한 Lp 가정 하에 성립한다.
• 결과적으로 고전적 타일러 오차 경계는 스펙트럼 이론과 적분 부등식을 이용해 비가환 연산자 설정으로 일반화된다.