• Bulletin of the Korean Mathematical Society
• /
• 제35권4호
• /
• pp.669-681
• /
• 1998

In this paper, we prove that on the complete Kahler manifold, if ${\rho}(x){\geq}-\frac{1}{2}{\lambda}_0$ and either ${\rho}(x_0)>-\frac{1}{2}{lambda}_0$ at some point $x_0$ or Vol(M)=${\infty}$, then the Clifford $L^2$ cohomology group $L^2{\mathcal H}^{\ast}(M,S)$ is trivial, where $\rho(x)$ is the least eigenvalue of ${\mathcal R}_x + \bar{{\mathcal R}}(x)\;and\;{\lambda}_0$ is the infimum of the spectrum of the Laplacian acting on $L^2$-functions on M.

• Bulletin of the Korean Mathematical Society
• /
• 제50권4호
• /
• pp.1193-1200
• /
• 2013

The center of the Lie group $SU(n)$ is isomorphic to $\mathbb{Z}_n$. If $d$ divides $n$, the quotient $SU(n)/\mathbb{Z}_d$ is also a Lie group. Such groups are locally isomorphic, and their Weyl groups $W(SU(n)/\mathbb{Z}_d)$ are the symmetric group ${\sum}_n$. However, the integral representations of the Weyl groups are not equivalent. Under the mod $p$ reductions, we consider the structure of invariant rings $H^*(BT^{n-1};\mathbb{F}_p)^W$ for $W=W(SU(n)/\mathbb{Z}_d)$. Particularly, we ask if each of them is a polynomial ring. Our results show some polynomial and non-polynomial cases.

• Journal of Information Technology Applications and Management
• /
• 제12권1호
• /
• pp.35-48
• /
• 2005

An architectural framework is developed for integrating geospatial and temporal data with relational information from which a spatio-temporal data warehouse (STDW) system is built. In order to implement the STDW, a generic conceptual model was designed that accommodated six dimensions: spatial (map object), temporal (time), agent (contractor), management (e.g. planting) and tree species (specific species) that addressed the 'where', 'when', 'who', 'what', 'why' and 'how' (5W1H) of the STDW information, respectively. A formal algebraic notation was developed based on a triplet schema that corresponded with spatial, temporal, and relational data type objects. Spatial object structures and spatial operators (spatial selection, spatial projection, and spatial join) were defined and incorporated along with other database operators having interfaces via the generic model.

• Steel and Composite Structures
• /
• 제3권5호
• /
• pp.307-320
• /
• 2003

This paper presents an efficient approach to the determination of the buckling loads of down-aisle, spliced, unbraced, pallet rack structures subjected to vertical and horizontal loads. A pallet rack structures is analysed by considering the stability equations of an equivalent free-sway column. The effects of semi-rigid beam-to-upright, splice-to-upright and base-plate-to-upright connections are fully incorporated into the analysis. Each section of upright between successive beam levels in the pallet rack is considered to be a single column element with two rotational degrees of freedom. A computer algebra package was used to determine modified stability equations for column elements containing splices. The influence of the position of splices in a pallet rack is clearly demonstrated.

• Communications of the Korean Mathematical Society
• /
• 제9권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
• /
• 제28권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.

• Journal of the Korean Mathematical Society
• /
• 제48권5호
• /
• pp.953-967
• /
• 2011

We show that the characteristic function $1S_{\underline{\alpha}}$ of any Harder-Narasimhan strata $S{\underline{\alpha}}\;{\subset}\;Coh_X^{\alpha}$ belongs to the spherical Hall algebra $H_X^{sph}$ of a smooth projective curve X (defined over a finite field $\mathbb{F}_q$). We prove a similar result in the geometric setting: the intersection cohomology complex IC(${\underline{S}_{\underline{\alpha}}$) of any Harder-Narasimhan strata ${\underline{S}}{\underline{\alpha}}\;{\subset}\;{\underline{Coh}}_X^{\underline{\alpha}}$ belongs to the category $Q_X$ of spherical Eisenstein sheaves of X. We show by a simple example how a complete description of all spherical Eisenstein sheaves would necessarily involve the Brill-Noether stratas of ${\underline{Coh}}_X^{\underline{\alpha}}$.

• Kyungpook Mathematical Journal
• /
• 제58권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
• /
• 제26권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].

• Structural Engineering and Mechanics
• /
• 제35권4호
• /
• pp.493-510
• /
• 2010

This paper presents effects of anisotropy and curvature on free vibration characteristics of cross-ply laminated composite cylindrical shallow shells. Shallow shells have been considered for different lamination thickness, radius of curvature and elasticity ratio. First, kinematic relations of strains and deformation have been showed. Then, using Hamilton's principle, governing differential equations have been obtained for a general curved shell. In the next step, stress-strain relation for laminated, cross-ply composite shells has been given. By using some simplifications and assuming Fourier series as a displacement field, differential equations are solved by matrix algebra for shallow shells. The results obtained by this solution have been given tables and graphs. The comparisons made with the literature and finite element program (ANSYS).