• Journal of applied mathematics & informatics
• /
• v.24 no.1_2
• /
• pp.535-539
• /
• 2007

Given operators X and Y acting on a separable complex Hilbert space $\mathcal{H}$, an interpolating operator is a bounded operator A such that AX=Y. In this article, we show the following: Let $Alg\mathcal{L}$ be a tridiagonal algebra on a separable complex Hilbert space $\mathcal{H}$ and let $X=(x_{ij})\;and\;Y=(y_{ij})$ be operators in $\mathcal{H}$. Then the following are equivalent: (1) There exists a normal operator $A=(a_{ij})\;in\;Alg\mathcal{L}$ such that AX=Y. (2) There is a bounded sequence $\{\alpha_n\}\;in\;\mathbb{C}$ such that $y_{ij}=\alpha_jx_{ij}\;for\;i,\;j\;{\in}\;\mathbb{N}$. Given vectors x and y in a separable complex Hilbert space $\mathcal{H}$, an interpolating operator is a bounded operator A such that Ax=y. We show the following: Let $Alg\mathcal{L}$ be a tridiagonal algebra on a separable complex Hilbert space $\mathcal{H}$ and let $x=(x_i)\;and\;y=(y_i)$ be vectors in $\mathcal{H}$. Then the following are equivalent: (1) There exists a normal operator $A=(a_{ij})\;in\;Alg\mathcal{L}$ such that Ax=y. (2) There is a bounded sequence $\{\alpha_n\}$ in $\mathbb{C}$ such that $y_i=\alpha_ix_i\;for\;i{\in}\mathbb{N}$.

• Honam Mathematical Journal
• /
• v.26 no.4
• /
• pp.379-389
• /
• 2004

Given operators X and Y acting on a Hilbert space ${\mathcal{H}}$, an interpolating operator is a bounded operator A such that AX = Y. An interpolating operator for n-operators satisfies the equation $AX_i=Y_i$, for $i=1,2,{\cdots},n$. In this article, we obtained the following : Let ${\mathcal{H}}$ be a Hilbert space and let ${\mathcal{L}}$ be a commutative subspace lattice on ${\mathcal{H}}$. Let X and Y be operators acting on ${\mathcal{H}}$. Then the following statements are equivalent. (1) There exists an operator A in $Alg{\mathcal{L}}$ such that AX = Y, A is positive and every E in ${\mathcal{L}}$ reduces A. (2) sup ${\frac{{\parallel}{\sum}^n_{i=1}\;E_iY\;f_i{\parallel}}{{\parallel}{\sum}^n_{i=1}\;E_iX\;f_i{\parallel}}}:n{\in}{\mathbb{N}},\;E_i{\in}{\mathcal{L}}$ and $f_i{\in}{\mathcal{H}}<{\infty}$ and <${\sum}^n_{i=1}\;E_iY\;f_i$, ${\sum}^n_{i=1}\;E_iX\;f_i>\;{\geq}0$, $n{\in}{\mathbb{N}}$, $E_i{\in}{\mathcal{L}}$ and $f_i{\in}H$.

• Korean Journal of Mathematics
• /
• v.8 no.2
• /
• pp.163-172
• /
• 2000

Let $\mathcal{S}^{\prime}(\mathbb{R})$ be the dual of the Schwartz spaces $\mathcal{S}(\mathbb{R})$), A be a self-adjoint operator in $L^2(\mathbb{R})$ and ${\Gamma}(A)^*$ be the adjoint operator of ${\Gamma}(A)$ which is the second quantization operator of A. It is proven that under a suitable condition on A there exists a nuclear subspace $\mathcal{S}$ of a fundamental space $\mathcal{S}_A$ of Hida's type on $\mathcal{S}^{\prime}(\mathbb{R})$) such that ${\Gamma}(A)\mathcal{S}{\subset}\mathcal{S}$ and $e^{-t{\Gamma}(A)}\mathcal{S}{\subset}\mathcal{S}$, which enables us to show that a stochastic differential equation: $$dX(t)=dW(t)-{\Gamma}(A)^*X(t)dt$$, arising from the central limit theorem for spatially extended neurons has an unique solution on the dual space $\mathcal{S}^{\prime}$ of $\mathcal{S}$.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.1031-1040
• /
• 2009

It is shown that every almost positive linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a Banach *-algebra $\mathcal{A}$ to a Banach *-algebra $\mathcal{B}$ is a positive linear operator when h(rx) = rh(x) (r > 1) holds for all $x\in\mathcal{A}$, and that every almost linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a unital C*-algebra $\mathcal{A}$ to a unital C*-algebra $\mathcal{B}$ is a positive linear operator when h($2^nu*y$) = h($2^nu$)*h(y) holds for all unitaries $u\in \mathcal{A}$, all $y \in \mathcal{A}$, and all n = 0, 1, 2, ..., by using the Hyers-Ulam-Rassias stability of functional equations. Under a more weak condition than the condition as given above, we prove that every almost linear mapping h : $\mathcal{A}\rightarrow\mathcal{B}$ of a unital C*-algebra $\mathcal{A}$ A to a unital C*-algebra $\mathcal{B}$ is a positive linear operator. It is applied to investigate states, center states and center-valued traces.

• Honam Mathematical Journal
• /
• v.23 no.1
• /
• pp.51-57
• /
• 2001

Let $\mathcal{B}(H)$ and $\mathcal{B}(K)$ denote the algebras of all bounded linear operators on Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$, respectively. We show that if ${\phi}:\mathcal{B}(H){\rightarrow}\mathcal{B}(K)$ is an additive mapping satisfying ${\phi}({\mid}A{\mid}^2)={\mid}{\phi}(A){\mid}^2$ for every $A{\in}\mathcal{B}(H)$, then there exists a mapping ${\psi}$ defined by ${\psi}(A)={\phi}(I){\phi}(A)$, ${\forall}A{\in}\mathcal{B}(H)$ such that ${\psi}$ is the sum of $two^*$-homomorphisms one of which C-linear and the othere C-antilinear. We will also study some conditions implying the injective and rank-preserving of ${\psi}$.

• Korean Journal of Mathematics
• /
• v.11 no.2
• /
• pp.93-109
• /
• 2003

We give an extensive presentation of results about the behaviour of the approximation operator ideals $\mathcal{L}_{{\infty},q}$ in connection with the Lorentz operator ideals $\mathcal{L}_{p,q}$.

• Journal of applied mathematics & informatics
• /
• v.30 no.1_2
• /
• pp.27-47
• /
• 2012

It has become apparent from the recent work by Choi et al. [3] on the nonlinear beam deflection problem, that analysis of the integral operator $\mathcal{K}$ arising from the beam deflection equation on linear elastic foundation is important. Motivated by this observation, we perform investigations on the eigenstructure of the linear integral operator $\mathcal{K}_l$ which is a restriction of $\mathcal{K}$ on the finite interval [$-l,l$]. We derive a linear fourth-order boundary value problem which is a necessary and sufficient condition for being an eigenfunction of $\mathcal{K}_l$. Using this equivalent condition, we show that all the nontrivial eigenvalues of $\mathcal{K}l$ are in the interval (0, 1/$k$), where $k$ is the spring constant of the given elastic foundation. This implies that, as a linear operator from $L^2[-l,l]$ to $L^2[-l,l]$, $\mathcal{K}_l$ is positive and contractive in dimension-free context.

• Honam Mathematical Journal
• /
• v.30 no.4
• /
• pp.685-691
• /
• 2008

Given operators $X_i$ and $Y_i$ (i = 1, 2, ${\cdots}$, n) acting on a Hilbert space $\mathcal{H}$, an interpolating operator is a bounded operator A acting on $\mathcal{H}$ such that $AX_i$ = $Y_i$ for i= 1, 2, ${\cdots}$, n. In this article, if the range of $X_k$ is dense in H for a certain k in {1, 2, ${\cdots}$, n), then the following are equivalent: (1) There exists a self-adjoint operator A in $\mathcal{B}(\mathcal{H})$ stich that $AX_i$ = $Y_i$ for I = 1, 2, ${\cdots}$, n. (2) $sup\{{\frac{{\parallel}{\sum}^n_{i=1}Y_if_i{\parallel}}{{\parallel}{\sum}^n_{i=1}X_if_i{\parallel}}:f_i{\in}H}\}$ < ${\infty}$ and < $X_kf,Y_kg$ >=< $Y_kf,X_kg$> for all f, g in $\mathcal{H}$.

• Honam Mathematical Journal
• /
• v.34 no.3
• /
• pp.409-422
• /
• 2012

Let $\mathcal{L}$ be a subspace lattice on a Hilbert space $\mathcal{H}$. And let X and Y be operators acting on a Hilbert space $\mathcal{H}$. Let $sp(x)=\{{\alpha}x\;:\;{\alpha}{\in}\mathcal{C}\}$ $x{\in}\mathcal{H}$. Assume that $\mathcal{H}=\overline{range\;X}{\oplus}sp(h)$ for some $h{\in}\mathcal{H}$ and < $h$, $E^{\bot}Xf$ >= 0 for each $f{\in}\mathcal{H}$ and $E{\in}\mathcal{L}$. Then there exists an operator A in Alg$\mathcal{L}$ such that AX = Y if and only if $sup\{\frac{{\parallel}E^{\bot}Yf{\parallel}}{{\parallel}E^{\bot}Yf{\parallel}}\;:\;f{\in}H,\;E{\in}\mathcal{L}\}$ = K < ${\infty}$. Moreover, if the necessary condition holds, then we may choose an operator A such that AX = Y and ${\parallel}||A{\parallel}=K$.

• Honam Mathematical Journal
• /
• v.39 no.1
• /
• pp.93-100
• /
• 2017

Let $\mathcal{H}$ be an infinite dimensional separable Hilbert space with a fixed orthonormal base $\{e_1,e_2,{\cdots}\}$. Let $\mathcal{L}$ be the subspace lattice generated by the subspaces $\{[e_1],[e_1,e_2],[e_1,e_2,e_3],{\cdots}\}$ and let $Alg{\mathcal{L}}$ be the algebra of bounded operators which leave invariant all projections in $\mathcal{L}$. Let p and q be natural numbers($p{\leqslant}q$). Let $\mathcal{B}_{p,q}=\{T{\in}Alg\mathcal{L}{\mid}T_{(p,q)}=0\}$. Let $\mathcal{A}$ be a linear manifold in $Alg{\mathcal{L}}$ such that $\{0\}{\varsubsetneq}{\mathcal{A}}{\subset}{\mathcal{B}}_{p,q}$. If $\mathcal{A}$ is an ideal in $Alg{\mathcal{L}}$, then $T_{(i,j)}=0$, $p{\leqslant}i{\leqslant}q$ and $i{\leqslant}j{\leqslant}q$ for all T in $\mathcal{A}$.