[論文レビュー] Inequalities for Functions of Selfadjoint Operators on Hilbert Spaces

Sever S Dragomir|arXiv (Cornell University)|Mar 8, 2012

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) は、f(n+1) を含む核関数 Wn による積分表現 Tn = 1/((M−m)n!) ∫_m^M Wn(λ) ⟨Eλx, y⟩ dλ を持つ。
• 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) のノルムを含む4つの項の和で上界が与えられる。
• すべての 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 仮定のもとで成立する。
• 本結果は、スペクトル理論および積分不等式を用いて、非可換作用素設定への古典的テイラー誤差境界の一般化を達成する。