• 대한수학회보
• /
• 제40권4호
• /
• pp.603-611
• /
• 2003

In this paper we extend the definition of K-positive definite operators from linear to Frechet differentiable operators. Under this setting, we derive from the inverse function theorem a local existence and approximation results corresponding to those of Theorems land 2 of the authors [8], in an arbitrary real Banach space. Furthermore, an asymptotically K-positive definite operator is introduced and a simplified iteration sequence which converges to the unique solution of an asymptotically K-positive definite operator equation is constructed.

• 대한수학회보
• /
• 제38권2호
• /
• pp.231-236
• /
• 2001

In this note we construct a sequence of Picard iterates suitable for the approximation of solutions of K-positive definite operator equations in arbitrary real Banach spaces. Explicit error estimate is obtained and convergence is shown to be as fast as a geometric progression.

• Kyungpook Mathematical Journal
• /
• 제49권4호
• /
• pp.743-750
• /
• 2009

A class of Hermitian operators B admitting a positive semidefinite solution of the linear operator equation ${\sum}^n_{j=1}A^{n-j}XA^{j-1}=B$ for a fixed positive definite operator A is given via the Furuta inequality.

• 호남수학학술지
• /
• 제8권1호
• /
• pp.1-19
• /
• 1986

We show that a (possibly unbounded) linear operator, T, is scalar on the real line (spectral operator of scalar type, with real spectrum) if and only if (iT) generates a uniformly bounded semigroup and $(1-iT)(1+iT)^{-1}$ is scalar on the unit circle. T is scalar on [0, $\infty$) if and only if T generates a uniformly bounded semigroup and $(1+T)^{-1}$ is scalar on [0,1). By analogy with these results, we define $C^0$-scalar, on the real line, or [0. $\infty$), for an unbounded operator. We show that a generator of a positive-definite group is $C^0$-scalar on the real line. and a generator of a completely monotone semigroup is $C^0$-scalar on [0, $\infty$). We give sufficient conditions for a closed operator, T, to generate a positive-definite group: the sequence < $\phi(T^{n}x)$ > $_{n=0}^{\infty}$ must equal the moments of a positive measure on the real line, for sufficiently many positive $\phi$ in $X^{*}$, x in X. If the measures are supported on [0, $\infty$), then T generates a completely monotone semigroup. On a reflexive Banach lattice, these conditions are also necessary, and are equivalent to T being scalar, with positive projection-valued measure. T generates a completely monotone semigroup if and only if T is positive and m-dispersive and generates a bounded holomorphic semigroup.

• Kyungpook Mathematical Journal
• /
• 제47권4호
• /
• pp.595-600
• /
• 2007

In this paper we consider weighted arithmetic and geometric means of several positive definite operators proposed by Sagae and Tanabe and we establish a reverse inequality of the arithmetic and geometric means via Specht ratio and the Thompson metric on the convex cone of positive definite operators.

• Journal of applied mathematics & informatics
• /
• 제33권3_4호
• /
• pp.379-386
• /
• 2015

The original geometric mean of two positive definite operators A and B is given by A#B = A^1/2(A^-1/2BA^-1/2)^1/2A^1/2. In this article we provide a new proof to construct from the two-variable geometric mean to the multivariable mean via symmetrization introduced by Lawson and Lim [5]. Finally we provide an algorithm to find three-variable geometric mean via symmetrization, which plays an important role to construct higher-order geometric means.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제25권1호
• /
• pp.39-48
• /
• 2018

In this work, by applying the binomial expansion, some refinements of the Young and Heinz inequalities are proved. As an application, a determinant inequality for positive definite matrices is obtained. Also, some operator inequalities around the Young's inequality for semidefinite invertible matrices are proved.

• 대한수학회지
• /
• 제45권6호
• /
• pp.1705-1723
• /
• 2008

Let n be a 2-step nilpotent Lie algebra which has an inner product <, > and has an orthogonal decomposition $n\;=z\;{\oplus}v$ for its center z and the orthogonal complement v of z. Then Each element z of z defines a skew symmetric linear map $J_z\;:\;v\;{\longrightarrow}\;v$ given by <$J_zx$, y> = for all x, $y\;{\in}\;v$. In this paper we characterize Jacobi fields and calculate all conjugate points of a simply connected 2-step nilpotent Lie group N with its Lie algebra n satisfying $J^2_z$ = A for all $z\;{\in}\;z$, where S is a positive definite symmetric operator on z and A is a negative definite symmetric operator on v.

• 대한수학회논문집
• /
• 제12권3호
• /
• pp.597-602
• /
• 1997

Let H be a separable complex Hilbert space and L(H) be the *-algebra of all bounded linear operators on H. For $T \in L(H)$, we construct a pair of semi-positive definite operators $$ $\mid$T$\mid$_r = (T^*T)^{\frac{1}{2}} and $\mid$T$\mid$_l = (TT^*)^{\frac{1}{2}}. $$ An operator T is called a semi-hyponormal operator if $$ Q_T = $\mid$T$\mid$_r - $\mid$T$\mid$_l \geq 0. $$ In this paper, by using a technique introduced by Berberian [1], we show that the approximate point spectrum $\sigma_{ap}(T)$ of a semi-hyponomal operator T is empty.

• Journal of applied mathematics & informatics
• /
• 제12권1_2호
• /
• pp.211-218
• /
• 2003

Let H be a Hilbert space, X be a real Banach space, A : H \longrightarrow X be an operator with D(A) dense in H, G： H \longrightarrow H be positive definite, $\chi$ $\in$ D(A) and b $\in$ H. Consider the quadratic programming problem: QP： Minimize $\frac{1}{2}$〈p, $\chi$〉 + 〈$\chi$, G$\chi$〉 subject to A$\chi$= b In this paper, we obtain an explicit solution to the above problem using generalized inverses.