• The Pure and Applied Mathematics
• /
• v.20 no.3
• /
• pp.137-148
• /
• 2013

In this paper, we study the Lie-generalized Fibonacci sequence and the root system of rank 2 symmetric hyperbolic Kac-Moody algebras. We derive several interesting properties of the Lie-Fibonacci sequence and relationship between them. We also give a couple of sufficient conditions for the existence of the integral points on the hyperbola $\mathfrak{h}^a:x^2-axy+y^2=1$ and $\mathfrak{h}_k:x^2-axy+y^2=-k$ ($k{\in}\mathbb{Z}_{>0}$). To list all the integral points on that hyperbola, we find the number of elements of ${\Omega}_k$.

• Journal of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.529-541
• /
• 2005

An operator T belonging to the algebra B(H) of bounded linear transformations on a Hilbert H into itself is said to be posinormal if there exists a positive operator $P{\in}B(H)$ such that $TT^*\;=\;T^*PT$. A posinormal operator T is said to be conditionally totally posinormal (resp., totally posinormal), shortened to $T{\in}CTP(resp.,\;T{\in}TP)$, if to each complex number, $\lambda$ there corresponds a positive operator $P_\lambda$ such that $|(T-{\lambda}I)^{\ast}|^{2}\;=\;|P_{\lambda}^{\frac{1}{2}}(T-{\lambda}I)|^{2}$ (resp., if there exists a positive operator P such that $|(T-{\lambda}I)^{\ast}|^{2}\;=\;|P^{\frac{1}{2}}(T-{\lambda}I)|^{2}\;for\;all\;\lambda)$. This paper proves Weyl's theorem type results for TP and CTP operators. If $A\;{\in}\;TP$, if $B^*\;{\in}\;CTP$ is isoloid and if $d_{AB}\;{\in}\;B(B(H))$ denotes either of the elementary operators $\delta_{AB}(X)\;=\;AX\;-\;XB\;and\;\Delta_{AB}(X)\;=\;AXB\;-\;X$, then it is proved that $d_{AB}$ satisfies Weyl's theorem and $d^{\ast}_{AB}\;satisfies\;\alpha-Weyl's$ theorem.

• Communications of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.527-533
• /
• 2018

Let $\mathcal{X}$ be a countably generated Hilbert module over a locally $C^*$-algebra $\mathcal{A}$ in multiplier module M($\mathcal{X}$) of $\mathcal{X}$. We propose the necessary and sufficient condition such that a sequence $\{h_n:n{{\in}}\mathbb{N}\}$ in M($\mathcal{X}$) is a standard frame of multipliers in $\mathcal{X}$. We also show that if T in $b(L_{\mathcal{A}}(\mathcal{X}))$, the space of bounded maps in set of all adjointable maps on $\mathcal{X}$, is surjective and $\{h_n:n{{\in}}\mathbb{N}\}$ is a standard frame of multipliers in $\mathcal{X}$, then $\{T{\circ}h_n:n{\in}\mathbb{N}}$ is a standard frame of multipliers in $\mathcal{X}$, too.

• Journal of the Korean Mathematical Society
• /
• v.55 no.2
• /
• pp.343-372
• /
• 2018

Let K be an imaginary quadratic field with ring of integers ${\mathcal{O}}_K$. Let E be an elliptic curve with complex multiplication by ${\mathcal{O}}_K$, and let $h_E$ be the Weber function on E. Let $N{\in}\{2,3,4,6\}$. We show that $h_E$ alone when evaluated at a certain N-torsion point on E generates the ray class field of K modulo $N{\mathcal{O}}_K$. This would be a partial answer to the question raised by Hasse and Ramachandra.

• Kyungpook Mathematical Journal
• /
• v.58 no.3
• /
• pp.489-494
• /
• 2018

The first purpose of this note is to generalize two nice theorems of H. J. Kim concerning hyperinvariant subspaces for certain classes of operators on Hilbert space, proved by him by using the technique of "extremal vectors". Our generalization (Theorem 1.2) is obtained as a consequence of a new theorem of the present authors, and doesn't utilize the technique of extremal vectors. The second purpose is to use this theorem to obtain the existence of hyperinvariant subspaces for a class of $2{\times}2$ operator matrices (Theorem 3.2).

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.63-69
• /
• 2002

Given vectors x and y in a Hilbert space, an intepolating operator is a bounded operator T such that Tx=y. an interpolating operator for n vectors satisfies the equation Tx$_{i}$=y, for i=1, 2,…, n. In this article, we obtained the fellowing : Let x = (x$_{i}$) and y = (y$_{i}$) be two vectors in H such that x$_{i}$$\neq$0 for all i = 1, 2,…. Then the following statements are equivalent. (1) There exists an operator A in AlgＬ such that Ax = y, A is a trace-class operator and every E in Ｌ reduces A. (2) (equation omitted).mitted).

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.43-46
• /
• 1989

In this paper, we are concerned with the pointwise-hypoellipticity (see Definition 2.1) of an m-dimensional Frobenious Lie algebra L of analytic complex vector fields in somel open subset .ohm. of $R^{m+1}$. That is, L is a set of complex vector fields in .ohm. with (real-) analytic coefficients satisfying: (A) each point of .ohm. has an open neighborhood in which L is generated by m linearly independent elements of L; (B) L is closed under the commutation bracket [A, B]. The pointwise-analytic hypoellipticity of L is completely characterized by M.S. Baouendi and F. Treves in [1]. Here, we shall prove that if L is hypoelliptic at a point then it must be analytic hypoelliptic in a full neighborhood of the same point. When the coefficients are $C^{\infty}$, hypoellipticity of L was discussed in [2].2].

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.565-570
• /
• 1994

In this article we prove a version of the Perron-Frobenius Theorem in linear algebra using the Brouwer's Fixed Point Theorem in topology. We will mostly concentrate on he qualitative aspect of the Perron-Frobenius Theorem rather than quantitative formulas, which would be enough for theoretical investigations in ergodic theory. By the nature of the method of the proof, we do not expect to obtain a numerical estimate. But we may regard it worthwhile to see why a certain type of result should be true from a topological and geometrical viewpoint. However, a geometric argument alone would give us a sharp numerical bounds on the size of the eigenvalue as shown in Section 2. Eigenvectors of a matrix A will be fixed points of a certain mapping defined in terms of A. We shall modify an existing proof of Frobenius Theorem and that will do the trick for Perron-Frobenius Theorem.

• Bulletin of the Korean Mathematical Society
• /
• v.28 no.2
• /
• pp.175-180
• /
• 1991

In [3], [4] and [5], Hochster and Huneke introduced the notions of the tight closure of an ideal and of the weak F-regularity of a ring. This notion enabled us to give new proofs of many results in commutative algebra. A regular ring is known to be F-regular, and a Gorenstein local ring is proved to be F-regular provided that one ideal generated by a system of parameters (briefly s.o.p.) is tightly closed. In fact, a Gorenstein local ring is weakly F-regular if and only if there exists a system of parameters ideal which is tightly closed [3]. But we do not know whether this fact is true or not if a ring is not Gorenstein, in particular, a ring is a Cohen Macaulay (briefly C-M) local ring. In this paper, we will prove this in the case of an 1-dimensional C-M local ring. For this, we study the F-rationality and the normality of the ring. And we will also prove that a C-M local ring is to be Gorenstein under some additional condition about the tight closure.

• Korean Journal of Mathematics
• /
• v.27 no.2
• /
• pp.375-415
• /
• 2019

We study spaces of continuous-function-valued functions that have the property that composition with evaluation functionals induce $weak^*$ to norm continuous maps to ${\ell}^p$ space ($p{\in}(1,\;{\infty})$). Versions of $H{\ddot{o}}lder^{\prime}s$ inequality and Riesz representation theorem are proved to hold on these spaces. We prove a version of Dixmier's theorem for spaces of function-valued matrix operators on these spaces, and an analogue of the trace formula for operators on Hilbert spaces. When the function space is taken to be the complex field, the spaces are just the ${\ell}^p$ spaces and the well-known classical theorems follow from our results.