• Communications of the Korean Mathematical Society
• /
• v.18 no.1
• /
• pp.75-85
• /
• 2003

Let M be 3 Semi-invariant submanifold of codimension 3 with lift-flat normal connection in a complex projective space. Further, if the mean curvature of M is constant, then we prove that M is a real hypersurface of a complex projective space of codimension 2 in the ambient space.

• Kyungpook Mathematical Journal
• /
• v.53 no.3
• /
• pp.385-395
• /
• 2013

To analyze the enzyme reaction on DNA knots and links, we study tangle embedding and the number of reaction. By using the quantum SU(3) invariant of knots and links we get a necessary condition for a tangle to be embedded in a knot or link. Moreover we give a relationship between the number of reactions and the changes of the value of quantum SU(3) invariant for the corresponding knots and links in a processive recombination.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.347-355
• /
• 2001

Let ($X, \omega$) be a closed symplectic 4-manifold. Let a finite cyclic group G act semifreely, holomorphically on X as isometries with fixed point set $\Sigma$(may be empty) which is a 2-dimension submanifold. Then there is a smooth structure on the quotient X'=X/G such that the projection $\pi$:X$\rightarrow$X' is a Lipschitz map. Let L$\rightarrow$X be the Spin$^c$ -structure on X pulled back from a Spin$^c$-structure L'$\rightarrow$X' and b_2^$+(X')>1. If the Seiberg-Witten invariant SW(L')$\neq$0 of L' is non-zero and $L=E\bigotimesK^-1\bigotimesE$ then there is a G-invariant pseudo-holomorphic curve u:$C\rightarrowX$,/TEX> such that the image u(C) represents the fundamental class of the Poincare dual $c_1$(E). This is an equivariant version of the Taubes' Theorem.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.3
• /
• pp.503-515
• /
• 2011

Let G be a compact connected semisimple Lie group, B the Killing form of the algebra g of G, and g the invariant metric induced by B. Then, we obtain a necessary and sufficient condition for a left invariant linear connection D with a Weyl structure ($D,\;g,\;{\omega}$) on (G, g) to be projectively flat (resp. Einstein-Weyl). And, we also get that if a left invariant linear connection D with a Weyl structure ($D,\;g,\;{\omega}$) on (G, g) which has symmetric Ricci tensor $Ric^D$ is projectively flat, then the connection D is Einstein-Weyl; but the converse is not true. Moreover, we show that if a left invariant connection D with Weyl structure ($D,\;g,\;{\omega}$) on (G, g) is projectively flat (resp. Einstein-Weyl), then D is a Yang-Mills connection.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.212-218
• /
• 2003

State invariant is a property that holds in every reachable state. It can be used not only in understanding and analyzing complex software systems, but it can also be used for system verifications such as checking safety, liveness, and consistency. For these reasons, there are many vital researches for deriving state invariant from finite state machine models. In previous works every reachable state is to be considered to generate state invariant. Thus it is likely to be too complex for the user to understand. This paper seeks to answer the question `how to simplify state invariant\ulcorner`. Since the complexity of state invariant is strongly dependent upon the size of states to be considered, so the smaller the set of states to be considered is, the shorter the length of state invariant is. For doing so, we let the user focus on some interested scopes rather than a whole state space in a model. Computation Tree Logic(CTL) is used to specify scopes in which he/she is interested. Given a scope in CTL, mixed reachability analysis is used to find out a set of states inside it. Obviously, a set of states calculated in this way is a subset of every reachable state. Therefore, we give a weaker, but comprehensible, state invariant.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.2
• /
• pp.327-340
• /
• 2003

We are devoted to dealing with the conformal theory of a Rizza manifold with a generalized Finsler metric $G_{ij}$ (x,y) and a new conformal invariant non-linear connection $M^{i}$ $_{j}$ (x,y) constructed from the generalized Cern's non-linear connection $N^{i}$ $_{j}$ (x,y) and almost complex structure $f^{i}$ $_{j}$ (x). First, we find a conformal invariant connection ( $M_{j}$ $^{i}$ $_{k}$ , $M^{i}$ $_{j}$ , $C_{j}$ $^{i}$ $_{k}$ ) and conformal invariant tensors. Next, the nearly Kaehlerian (G, M)-structures under conformal change in a Rizza manifold are investigate.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.1
• /
• pp.169-177
• /
• 2005

A Hilbert Space operator T is of class Q if $T^2{\ast}T^2-2T{\ast}T + I$ is nonnegative. Every paranormal operator is of class Q, but class-Q operators are not necessarily normaloid. It is shown that if a class-Q contraction T has no nontrivial invariant subspace, then it is a proper contraction. Moreover, the nonnegative operator Q = $T^2{\ast}T^2-2T{\ast}T + I$ also is a proper contraction.

• Journal of Institute of Control, Robotics and Systems
• /
• v.19 no.3
• /
• pp.177-182
• /
• 2013

This paper proposes an input-constrained reference tracking control of a converter model. To this end, first it is shown that the bilinear converter model can be equivalently represented by a linear uncertain model belonging to a polytopic set. Then, an input-constrained tracking control scheme for the linear uncertain model is designed based on recently proposed tracking control scheme. The control scheme yields not only a stabilizing control gain but also a feasible and invariant set for the converter model. Finally, simulation results show that the state trajectory always stays in the feasible and invariant set and that the output tracks the given reference while satisfying the input constraint.

• Journal of the Korean Mathematical Society
• /
• v.40 no.6
• /
• pp.933-942
• /
• 2003

It is shown that if a paranormal contraction T has no nontrivial invariant subspace, then it is a proper contraction. Moreover, the nonnegative operator Q = T/sup 2*/T/sup 2/ - 2T/sup */T ＋ I also is a proper contraction. If a quasihyponormal contraction has no nontrivial invariant subspace then, in addition, its defect operator D is a proper contraction and its itself-commutator is a trace-class strict contraction. Furthermore, if one of Q or D is compact, then so is the other, and Q and D are strict ontraction.

• Journal of the Korean Mathematical Society
• /
• v.37 no.5
• /
• pp.763-777
• /
• 2000

We investigate the existence of group invariant solutions of the Emden-Fowler equation, - u=$\mid$x$\mid$$\sigma$$\mid$u$\mid$p-1u in B, u=0 on B and u(gx)=u(x) in B for g G. Here B is the unit ball in n 2, 1$\sigma$ 0 and G is a closed subgrop of the orthogonal group. A soultion of the problem is called a G in variant solution. We prove that there exists a G invariant non-radial solution if and only if G is not transitive on the unit sphere.