• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2004.10a
• /
• pp.382-387
• /
• 2004

As the increasing needs in the industrial filed, many studies for the 3D CAD system are carried out. There are two types of 3D CAD system. One is manifold modeler, the other is non-manifold modeler. In the manifold modeler only 3D objects can be modeled. In the non-manifold modeler 3D, 2D, 1D, and 0D objects can be modeled in a unified data structure. Recently there are many studies on the non-manifold modeler. Most of them are focused on finding unknown topological entities and representing all kinds of topological entities found. In this paper, efficient data structure is selected. The boundary information on a face and an edge is included in this data structure. The boundary information on a vertex is excluded considering the frequency of usage. Because the disk cycle information is not required in most case of modeling. It is compact. It stores essential non-manifold information such as loop cycle and radial cycle. A suitable Euler-Poincare equation is studied and selected. Using the efficient data structure and the selected Euler-Poincare equation, 18 basic Euler operators are implemented. Several 3D models are created using the implemented modeler. A non-manifold modeling can be carried out using the implemented 3D CAD system. The results of this paper could be used in the further studies such as an implementation of Boolean operators, and a translation of 2D CAD drawings to 3D models.

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

In this paper, we solve the three-dimensional biharmonic equation with Dirichlet boundary conditions of second kind using the full multigrid (FMG) algorithm. We derive a finite difference approximations for the biharmonic equation on a 18 point compact stencil. The unknown solution and its second derivatives are carried as unknowns at grid points. In the multigrid methods, we use a fourth order interpolation to producing a new intermediate unknown functions values on a finer grid, and the full weighting restriction operators to calculating the residuals at coarse grid points. A set of test problems gives excellent results.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.571-577
• /
• 2005

In this paper we prove that if T is a k-th root of a p­hyponormal operator when T is compact or T$^{n}$ is normal for some integer n > k, then T is (generalized) scalar, and that if T is a k-th root of a semi-hyponormal operator and have the property $\sigma$(T) is contained in an angle < 2$\pi$/k with vertex in the origin, then T is subscalar.

• Journal of the Chungcheong Mathematical Society
• /
• v.25 no.3
• /
• pp.491-499
• /
• 2012

The hyperbolic metric is invariant under the action of M$\ddot{o}$bius maps and unbounded. For 0 < $r$ < 1, there is an r-lattice in the Bergman metric. Using this r-lattice, we get the measure ${\mu}_r$ and the Toeplitz operator $T^{\alpha}_{\mu}_r$ and we prove that $T^{\alpha}_{\mu}_r$ is bounded and $T^{\alpha}_{\mu}_r$ is compact under some condition.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.3
• /
• pp.503-508
• /
• 2003

We prove that every M-ideal is strongly proximinal and that, for any Banach space X, $K(X,\;c_0)$ is an M-ideal in $L(X,\;\ell^{\infty})$.

• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.977-991
• /
• 2008

We characterize the boundedness and compactness of the weighted composition operator $uC_{\psi}$ from the general function space F(p, q, s) into the logarithmic Bloch space ${\beta}_L$ on the unit disk. Some necessary and sufficient conditions are given for which $uC_{\psi}$ is a bounded or a compact operator from F(p,q,s), $F_0$(p,q,s) into ${\beta}_L$, ${\beta}_L^0$ respectively.

• Journal of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.29-42
• /
• 2018

We construct bounded linear integral operators that giving solutions to the ${\bar{\partial}}$-equation in $L^p$-spaces and with compact supports on a q-convex intersection ($q{\geq}1$) with ${\mathcal{C}}^3$ boundary in $K{\ddot{a}}hler$ manifolds, and we apply it to obtain a Hartogs-like extension theorems for ${\bar{\partial}}$-closed forms for some bidegree.

• Korean Journal of Mathematics
• /
• v.7 no.1
• /
• pp.71-77
• /
• 1999

We show that if the stable rank of $B^{\alpha}$ is one, then the stable rank of B is less than or equal to the order of G for any action of a finite group G. Also we give a short proof to the known fact that if the action of a finite group on a $C^*$-algebra B is saturated then the canonical conditional expectation from B to $B^{\alpha}$ is of index-finite type and the crossed product $C^*$-algebra is isomorphic to the algebra of compact operators on the Hilbert $B^{\alpha}$-module B.

• Communications of the Korean Mathematical Society
• /
• v.20 no.4
• /
• pp.703-708
• /
• 2005

Let ${\varphi}(z)\;=\;({\varphi}_1(Z),{\cdots},{\varphi}_n(Z))$ be a holomorphic self­map of $\mathbb{D}^n$, where $\mathbb{D}^n$ is the unit polydisk of $\mathbb{C}^n$. The sufficient and necessary conditions for a composition operator to be bounded and compact from the Hardy space $H^2(\mathbb{D}^n)$ into $\alpha$-Bloch space $\beta^{\alpha}(\mathbb{D}^n)$ on the polydisk are given.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.1113-1122
• /
• 2016

Let (M, g(t)) be a compact Riemannian manifold and the metric g(t) evolve by the Yamabe flow. In the paper we derive the evolution for the first eigenvalue of geometric operator $-{\Delta}_{\phi}+{\frac{R}{2}}$ under the Yamabe flow, where ${\Delta}_{\phi}$ is the Witten-Laplacian operator, ${\phi}{\in}C^2(M)$, and R is the scalar curvature with respect to the metric g(t). As a consequence, we construct some monotonic quantities under the Yamabe flow.