• Bulletin of the Korean Mathematical Society
• /
• v.40 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.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
• /
• v.47 no.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 the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.275-306
• /
• 2013

For two positive integers $m$ and $n$, let $\mathcal{P}_n$ be the open convex cone in $\mathbb{R}^{n(n+1)/2}$ consisting of positive definite $n{\times}n$ real symmetric matrices and let $\mathbb{R}^{(m,n)}$ be the set of all $m{\times}n$ real matrices. In this paper, we investigate differential operators on the non-reductive homogeneous space $\mathcal{P}_n{\times}\mathbb{R}^{(m,n)}$ that are invariant under the natural action of the semidirect product group $GL(n,\mathbb{R}){\times}\mathbb{R}^{(m,n)}$ on the Minkowski-Euclid space $\mathcal{P}_n{\times}\mathbb{R}^{(m,n)}$. These invariant differential operators play an important role in the theory of automorphic forms on $GL(n,\mathbb{R}){\times}\mathbb{R}^{(m,n)}$ generalizing that of automorphic forms on $GL(n,\mathbb{R})$.

• Journal of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.633-651
• /
• 1997

For a non-degenerate symmetric bilinear form $\sigma$ on a finite dimensional vector space E, the Jordan algebra of $\sigma$-symmetric operators has a symmetric cone $\Omega_\sigma$ of positive definite operators with respect to $\sigma$. The cone $C_\sigma$ of elements (x,y) \in E \times E with \sigma(x,y) \geq 0$ gives the compression semigroup. In this work, we show that in the sutomorphism group of the tube domain over $\Omega_\sigma$, this semigroup has a UDL and Ol'shanskii decompositions and is exactly the compression semigroup of $\Omega_sigma$.

• Kyungpook Mathematical Journal
• /
• v.49 no.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.

• Journal of applied mathematics & informatics
• /
• v.33 no.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.

• Communications of the Korean Mathematical Society
• /
• v.12 no.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.

• Honam Mathematical Journal
• /
• v.7 no.1
• /
• pp.7-13
• /
• 1985

We show that a bounded linear qperator, T, on a Banach space, X, is $C^{n}$-scalar if the sepuence {$\frac{k!}{(k+n)!}{\phi}(T^{k+n}x)$}$_{k=0}^{\infty}$ is positive-definite, for sufficiently many $\phi$ in $X^{\ast}$, x in X. We use this to show that $(T_{n}f)(t){\equiv}tf(t)+nJf(t)$, where $If(t)=\int_{0}^{1}f(s)ds$, is $C^{n}$-scalar on $L^{p}([0,1],v)$, for $1{\leq}p{\leq}\infty$, for a large class of measures, v. Other corollaries include the spectral theorem for bounded symmetric operators on a Hilbert space.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.5
• /
• pp.1241-1257
• /
• 2014

We consider a class of hypoelliptic operators of the following type $$L=\sum_{i,j=1}^{p_0}a_{ij}{\partial}^2_{x_ix_j}+\sum_{i,j=1}^{N}b_{ij}x_i{\partial}_{x_j}-{\partial}_t$$, where ($a_{ij}$), ($b_{ij}$) are constant matrices and ($a_{ij}$) is symmetric positive definite on $\mathbb{R}^{p_0}$ ($p_0{\leqslant}N$). By establishing global Morrey estimates of singular integral on the homogenous space and the relation between Morrey space and weak Morrey space, we obtain the global weak Morrey estimates of the operator L on the whole space $\mathbb{R}^{N+1}$.