arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2607.09152math.FA

增生算子的函数与均值

Functions and Means of Accretive Operators

Mitsuru Uchiyama

首次发表
浏览论文内容

中文总结 AI 辅助

研究希尔伯特空间上增生算子的函数与均值,通过里斯 - 邓福德积分定义\(f(A)\)并推广分数幂,将几何均值等推广到增生算子,给出了\(A\# B\)及\(A\# A^*\)等相关的等式与不等式关系。

中文摘要 AI 辅助

设\(A\)为希尔伯特空间上的有界增生算子,\(f(t)\)为\((0, \infty)\)上的算子单调函数且\(f(0)>-\infty\)。对于\(\epsilon >0\),解析函数\(f (A+\epsilon I) \)由里斯 - 邓福德积分定义,定义\(f(A)\)为其范数极限并证明\(f(A) = f(0)I + b A + \int_0^{\infty} (\frac{1}{\lambda} I - (\lambda I + A)^{-1}) d\mu(\lambda)\),这是分数幂的推广。将几何均值等推广到增生算子\(A\)和\(B\),验证了若\(A\)和\(B\)正规且可交换则\(A\# B= A^{1/2} B^{1/2}\)。还给出了关于\(A\# A^*\)等的不等式及等式关系,如\(0 \leqq \frac{1}{2} (A + A^*) \leqq A \# A^* \leqq 2(A^{-1} + (A^*)^{-1})^{-1}\)等。

英文摘要

Let $A$ be a bounded accretive operator on a Hilbert space and $f(t)$ an operator monotone function on $(0, \infty)$ with $f(0)>-\infty$. Then, for $ε>0$, analytic function $f (A+εI) $ is defined by Riesz-Dunford integral. We define $f(A)$ as the norm limit of it and show $$ f(A) = f(0)I + b A + \int_0^{\infty} (\frac{1}λ I - (λI + A)^{-1}) dμ(λ).$$ This is a generalization of fractional powers $$A^r = \frac{\sin r π}π \int_0^{\infty} (\frac{1}λ I - (λI + A)^{-1}) λ^{r} dλ\quad (0<r<1).$$ Let $A$ and $B$ be strictly accretive matrices, namely those real parts are positive definite. The geometric mean $A\# B$ has been introduced in Drury[6] and subsequently general matrix mean $Aσ_f B$ in Bedrani-Kittaneh-Sababheh [3]. We extend these means to accretive, not necessarily strictly accretive, operators $A$ and $B$, and verify that $$A\# B= A^{1/2} B^{1/2}$$ if $A$ and $B$ are normal and commutative. Let $A$ be a strictly accretive operator. Then we show that $$0 \leqq \frac{1}{2} (A + A^*) \leqq A \# A^* \leqq 2(A^{-1} + (A^*)^{-1})^{-1},$$ and that $A \# A^* = | A |$ if and only if $A$ is normal. For a normal and strictly accretive operator $A$ we get \begin{align*} &|A|= \frac{1}π\int_0^{\infty}A (λA + A^*)^{-1} A^* λ^{-1/2} d λ, \\ &A + A^* \leqq A^{1-r} A^{*r} + A^r A^{*(1-r)} \quad (0\leqq r \leqq 1). \end{align*}

↑