Comprehensive Research of Operator Functions
| Project/Area Number |
17K05286
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Basic analysis
|
|---|
| Research Institution | Ritsumeikan University |
|---|
Principal Investigator |
内山 充 立命館大学, 総合科学技術研究機構, プロジェクト研究員 (60112273)
|
|---|
| Project Period (FY) |
2017-04-01 – 2024-03-31
|
| Project Status |
Completed (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2020: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2019: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2018: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2017: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | 作用素関数 / 作用素単調関数 / 行列平均 / 行列幾何平均 / 2次行列方程式 / 行列２次方程式 / 作用素平均 / 作用素凸関数 / 強作用素凸関数 / 正値線形写像 / Choi 予想 / 作用素環 / Operator functions / Pick functions / Loewner's theorem |
|---|
| Outline of Annual Research Achievements |
当研究課題「作用素関数の総合的研究」の当初目的はほとんど達成されていたが、この延長期間で作用素関数の重要な応用の一つである作用素の平均について研究した。可逆な正定値作用素 A, B が可換でない時、その幾何平均 A#B は2次方程式 B=XA’X の解として定義される。但し、A’ はA の逆作用素である。3個以上の実数の幾何平均は自然に定義されるが、非可換な作用素については未知であった。Ando, Li, Mathias によって有限次元における作用素、即ち行列については次のように解決された。例えば A, B, C を正定値行列としたとき、A(1)=B#C, B(1)=C#A, C(1)=A#B と定め、同じ方法を繰り返して、A(n), B(n), C(n) を構成すれば、空間のコンパクト性によって、これらの列が同じ行列に収束する。それを A, B, C の幾何平均と呼ぶ。しかし無限次元空間における作用素については未知であった。
私は、A, B, C が無限次元空間の正定値作用素である時、A(n), B(n), C(n) が同じ作用素に弱収束することを、作用素関数についてのJensen の不等式を使って証明した。この結果を含む論文 ‘Symmetric Operator Means’ はHungary の専門雑誌 Acta Science Math (Szeged) の特集 ‘Mean’ に受理された。
この他に、Springer社の ‘Mathematics online first collection’ シリーズ から ‘Matrix and Operator Equations and Applications’ (Editor: M. S. Moslehian, 2023) が出版された。その一つの章が私の著作 ‘Geometric Mean and Matrix Quadratic Equations’ (211-240)である。
|
Report
(7 results)
Research Products
(21 results)
