arXiv subjects
Publications and source records attributed to Pattrawut Chansangiam.
We show that a non-compact (forward) complete Finsler manifold whose Holmes- Thompson volume is infinite admits no non-trivial convex functions. We apply this result to some Finsler manifolds whose Busemann function is convex.
This paper presents a number of Kantorovich type integral inequalities involving tensor products of continuous fields of bounded linear operators on a Hilbert space. Kantorovich type inequality in which the product is replaced by an operator mean is also considered. Such inequalities include discrete inequalities as special cases. Moreover, some generalizations of an additive Gruss integral inequality for operators are obtained.
We prove that a continuous function $f:(0,\infty) \to (0,\infty)$ is operator monotone increasing if and only if $f(A \: !_t \: B) \leqs f(A) \: !_t \: f(B)$ for any positive operators $A,B$ and scalar $t \in [0,1]$. Here, $!_t$ denotes the $t$-weighted harmonic mean. As a counterpart, $f$ is operator monotone decreasing if and only if the reverse of preceding inequality holds. Moreover, we obtain many characterizations of operator-monotone increasingness/decreasingness in terms of operator means. These characterizations lead to many operator inequalities involving means.
An operator mean is a binary operation assigned to each pair of positive operators satisfying monotonicity, continuity from above, the transformer inequality and the fixed-point property. It is well known that there are one-to-one correspondences between operator means, operator monotone functions and Borel measures. In this paper, we provide various characterizations for the concepts of positivity, betweenness and strictness of operator means in terms of operator monotone functions, Borel measures and certain operator equations.
An operator connection is a binary operation assigned to each pair of positive operators satisfying monotonicity, continuity from above and the transformer inequality. In this paper, we introduce and characterize the concepts of cancellability and regularity of operator connections with respect to operator monotone functions, Borel measures and certain operator equations. In addition, we investigate the existence and the uniqueness of solutions for such operator equations.
Operator monotone functions, introduced by Lowner in 1934, are an important class of real-valued functions. They arise naturally in matrix and operator theory and have various applications in other branches of mathematics and related fields. This concept is closely related to operator convex/concave functions. In this paper, we provide their important examples and characterizations in terms of matrix of divided differences. Various characterizations and the relationship between operator monotonicity and operator convexity are given by Hansen-Pedersen characterizations. Moreover, operator monotone functions on the nonnegative reals have special properties, namely, they admit integral representations with respect to suitable Borel measures.
In this paper, we show that there is a one-to-one correspondence between operator monotone functions on the nonnegative reals and finite Borel measures on the unit interval. This correspondence appears as an integral representation of special operator monotone functions $x \mapsto 1\,!_t\,x$ for $t \in [0,1]$ with respect to a finite Borel measure on $[0,1]$, here $!_t$ denotes the $t$-weighted harmonic mean. Hence such functions form building blocks for arbitrary operator monotone functions on the nonnegative reals. Moreover, we use this integral representation to decompose operator monotone functions.
A connection in Kubo-Ando sense is a binary operation for positive operators on a Hilbert space satisfying the monotonicity, the transformer inequality and the continuity from above. A mean is a connection $σ$ such that $A σA =A$ for all positive operators $A$. In this paper, we consider the interplay between the cone of connections, the cone of operator monotone functions on $\R^+$ and the cone of finite Borel measures on $[0,\infty]$. %We define a norm for a connection in such a way that the set of operator connections becomes %a normed ordered cone. %On the other hand, the cone of operator monotone functions on $\R^+$ %and the cone of finite Borel measures on $[0,\infty]$ are equipped with suitable norms. The set of operator connections is shown to be isometrically order-isomorphic, as normed ordered cones, to the set of operator monotone functions on $\R^+$. This set is isometrically isomorphic, as normed cones, to the set of finite Borel measures on $[0,\infty]$. It follows that the convergences of the sequence of connections, the sequence of their representing functions and the sequence of their representing measures are equivalent. In addition, we obtain characterizations for a connection to be a mean. In fact, a connection is a mean if and only if it has norm 1.
A connection is a binary operation for positive operators satisfying the monotonicity, the transformer inequality and the joint-continuity from above. A mean is a normalized connection. In this paper, we show that there is a one-to-one correspondence between connections and finite Borel measures on the unit interval via a suitable integral representation. Every mean can be regarded as an average of weighted harmonic means. Moreover, we investigate decompositions of connections, means, symmetric connections and symmetric means.
An axiomatic theory of operator connections and operator means was investigated by Kubo and Ando in 1980. A connection is a binary operation for positive operators satisfying the monotonicity, the transformer inequality and the joint-continuity from above. In this paper, we show that the joint-continuity assumption can be relaxed to some conditions which are weaker than the separate-continuity. This provides an easier way for checking whether a given binary opertion is a connection. Various axiomatic characterizations of connections are obtained. We show that the concavity is an important property of a connection by showing that the monotonicity can be replaced by the concavity or the midpoint concavity. Each operator connection induces a unique scalar connection. Moreover, there is an affine order isomorphism between connections and induced connections. This gives a natural viewpoint to define any named means.