A new majorization between functions, polynomials, and operator inequalities II
UCHIYAMA, Mitsuru
J. Math. Soc. Japan, Tome 60 (2008) no. 1, p. 291-310 / Harvested from Project Euclid
Let $\mathbf{P}(I)$ be the set of all operator monotone functions defined on an interval $I$ , and put $\mathbf{P}_{+}(I)=\{h\in \mathbf{P}(I): h(t)\geqq 0, h\neq 0\}$ and $\mathbf{P}_{+}^{-1}(I) = \{h: h$ is increasing on $I, h^{-1}\in \mathbf{P}_{+}(0,\infty)\}$ . We will introduce a new set $\mathbf{L}\mathbf{P}_{+}(I)=\{h:h(t)>0$ on $I, \log h \in \mathbf{P}(I)\}$ and show $\mathbf{L}\mathbf{P}_{+}(I)\cdot \mathbf{P}_{+}^{-1}(I)\subset \mathbf{P}_{+}^{-1}(I)$ for every right open interval $I$ . By making use of this result, we will establish an operator inequality that generalizes simultaneously two well known operator inequalities. We will also show that if $p(t)$ is a real polynomial with a positive leading coefficient such that $p(0)=0$ and the other zeros of $p$ are all in $\{z:Rz\leqq 0\}$ and if $q(t)$ is an arbitrary factor of $p(t)$ , then $p(A)^{2}\leqq p(B)^{2}$ for $A, B\geqq 0$ implies $A^{2}\leqq B^{2}$ and $q(A)^{2}\leqq q(B)^{2}$ .
Publié le : 2008-01-15
Classification:  matrix order,  Löwner-Heinz inequality,  operator inequality,  operator monotone function,  majorization,  47A63,  15A39
@article{1206367964,
     author = {UCHIYAMA, Mitsuru},
     title = {A new majorization between functions, polynomials, and operator inequalities II},
     journal = {J. Math. Soc. Japan},
     volume = {60},
     number = {1},
     year = {2008},
     pages = { 291-310},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1206367964}
}
UCHIYAMA, Mitsuru. A new majorization between functions, polynomials, and operator inequalities II. J. Math. Soc. Japan, Tome 60 (2008) no. 1, pp.  291-310. http://gdmltest.u-ga.fr/item/1206367964/