• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.7 no.2
• /
• pp.83-94
• /
• 2003

Let K be a nonempty closed convex subset of a real Hilbert space H. Approximation solvability of a system of nonlinear variational inequality (SNVI) problems, based on the convergence of projection methods, is given as follows: find elements $x^*,\;y^*{\in}H$ such that $g(x^*),\;g(y^*){\in}K$ and $$<\;{\rho}T(y^*)+g(x^*)-g(y^*),\;g(x)-g(x^*)\;{\geq}\;0\;{\forall}\;g(x){\in}K\;and\;for\;{\rho}>0$$ $$<\;{\eta}T(x^*)+g(y^*)-g(x^*),\;g(x)-g(y^*)\;{\geq}\;0\;{\forall}g(x){\in}K\;and\;for\;{\eta}>0,$$ where T: $H\;{\rightarrow}\;H$ is a relaxed $g-{\gamma}-r-cocoercive$ and $g-{\mu}-Lipschitz$ continuous nonlinear mapping on H and g: $H{\rightarrow}\;H$ is any mapping on H. In recent years general variational inequalities and their algorithmic have assumed a central role in the theory of variational methods. This two-step system for nonlinear variational inequalities offers a great promise and more new challenges to the existing theory of general variational inequalities in terms of applications to problems arising from other closely related fields, such as complementarity problems, control and optimizations, and mathematical programming.

• Journal of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.331-340
• /
• 1998

We define the spherical non-commutative torus $L_{\omega}$/ as the crossed product obtained by an iteration of l crossed products by actions of, the first action on C( $S^{2n＋l}$). Assume the fibres are isomorphic to the tensor product of a completely irrational non-commutative torus $A_{p}$ with a matrix algebra $M_{m}$ ( ) (m > 1). We prove that $L_{\omega}$/ $M_{p}$ (C) is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{mp}$ (C), and that the tensor product of $L_{\omega}$/ with a UHF-algebra $M_{p{\infty}}$ of type $p^{\infty}$ is isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) $M_{p{\infty}}$ if and only if the set of prime factors of m is a subset of the set of prime factors of p. Furthermore, it is shown that the tensor product of $L_{\omega}$/, with the C＊-algebra K(H) of compact operators on a separable Hilbert space H is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) K(H) if Prim( $L_{\omega}$/) is homeomorphic to $L^{k}$ (n)$\times$ $T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.$T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.e.

• Kyungpook Mathematical Journal
• /
• v.55 no.1
• /
• pp.63-71
• /
• 2015

Let H be a separable infinite dimensional complex Hilbert space, and let $\mathcal{L}(H)$ denote the algebra of all bounded linear operators on H into itself. Let $A,B{\in}\mathcal{L}(H)$ we define the generalized derivation ${\delta}_{A,B}:\mathcal{L}(H){\mapsto}\mathcal{L}(H)$ by ${\delta}_{A,B}(X)=AX-XB$, we note ${\delta}_{A,A}={\delta}_A$. If the inequality ${\parallel}T-(AX-XA){\parallel}{\geq}{\parallel}T{\parallel}$ holds for all $X{\in}\mathcal{L}(H)$ and for all $T{\in}ker{\delta}_A$, then we say that the range of ${\delta}_A$ is orthogonal to the kernel of ${\delta}_A$ in the sense of Birkhoff. The operator $A{\in}\mathcal{L}(H)$ is said to be finite [22] if ${\parallel}I-(AX-XA){\parallel}{\geq}1(*)$ for all $X{\in}\mathcal{L}(H)$, where I is the identity operator. The well-known inequality (*), due to J. P. Williams [22] is the starting point of the topic of commutator approximation (a topic which has its roots in quantum theory [23]). In [16], the author showed that a paranormal operator is finite. In this paper we present some new classes of finite operators containing the class of paranormal operators and we prove that the range of a generalized derivation is orthogonal to its kernel for a large class of operators containing the class of normal operators.