• Journal of the Korean Mathematical Society
• /
• v.42 no.1
• /
• pp.17-35
• /
• 2005

Necessary conditions for a deterministic optimal control problem which involves states constraints are derived in the form of a maximum principle. The conditions are similar to those of F.H. Clarke, R.B. Vinter and G. Pappas who assume that the problem's data are Lipschitz. On the other hand, our data are not continuously differentiable but only differentiable. Fermat's rule and Rockafellar's duality theory of convex analysis are the basic techniques in this paper.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.6
• /
• pp.487-493
• /
• 2001

In this paper, a new reduced-order dynamic observer method is presented. Two types of observers are pronounced, namely, the model based reduced-order dynamic observer and the Luenburger type reduced-order dynamic observer. Useful design algorithms are also provided for each structure. The essential features of the proposed observed design methods are addressed to be qualified ad effective observers. The proposed method clarifies the duality between the controller and observer designs.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.387-396
• /
• 2005

In the setting of the half-plane of the complex plane, we introduce a modified reproducing kernel and we show that for $r>-1/2,\;B^{1,r}-cancellation$ property holds and the Bloch space is the dual space of $B^{1,r}$.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.361-367
• /
• 1994

An elliptic module is an analogue of an elliptic curve over a function field [D]. The dual of an elliptic curve E is represented by Ext(E, $G_{m}$) and the Cartier dual of an affine group scheme G is represented by Hom(G, G$G_{m}$). In the category of elliptic modules the Carlitz module C plays the role of $G_{m}$. Taguchi [T] showed that a notion of duality of a finite t-module can be represented by Hom(G, C) in a suitable category. Our computation shows that the Ext-group as it stands is rather too "big" to represent a dual of an elliptic module.(omitted)

• Journal for History of Mathematics
• /
• v.10 no.2
• /
• pp.11-23
• /
• 1997

Category theory gives a convenient language for the study of mathematical structures besides its own study. In this paper, we investigate how the abstract structure theory emerged in 1930s affects the study in Topology and eventually becomes a rudiment for the category theory. Moreover, various extensions and universal mapping problems were put in their proper perspective as reflections by the category theory and by its duality principle, coreflections become an interesting subject in Topology, both of which give rise to a new discipline of the categorical topology.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2003.05a
• /
• pp.463-467
• /
• 2003

This part of ISO 1940 covers the following: a) identification of errors in the balancing process of rigid rotors: b) assessment of errors: c) guidelines for taking into account: d) the evaluation of residual unbalance in two correction planes. Detailed consideration of errors associated with the determination of residual unbalance is covered in the first part of ISO 1940.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.3
• /
• pp.611-628
• /
• 2021

In this paper, we propose a new branch-reduction-and-bound algorithm to solve the nonlinear knapsack problems by using general discrete monotonic optimization techniques. The specific properties of the problem are exploited to increase the efficiency of the algorithm. Computational experiments of the algorithm on problems with up to 30 variables and 5 different constraints are reported.

• Communications of the Korean Mathematical Society
• /
• v.12 no.2
• /
• pp.305-309
• /
• 1997

In this paper we prove the existence of a special type of multivortex solutions of $SU (N)_g \times U(1)_l$ Chern-Simons model. More specifically we prove existence of solutions of the self-duality equations for $(\Phi(x), j =1, \cdots, N$ has the same zeroes. In this case we find that the equation can be reduced to the single semilinear elliptic partial differential equations studied by Caffarelli and Yang.

• Journal of applied mathematics & informatics
• /
• v.15 no.1_2
• /
• pp.185-200
• /
• 2004

A stochastic optimal LQR control problem under some integral quadratic (IQ) constraints is studied, with cross terms in both the cost and the constraint functionals, allowing all the control weighting matrices being indefinite. Sufficient conditions for the well-posedness of this problem are given. When these conditions are satisfied, the optimal control is explicitly derived via dual theory.

• Journal of the Chungcheong Mathematical Society
• /
• v.21 no.3
• /
• pp.293-299
• /
• 2008

In this paper, we prove strong convergence theorems for a finite family of uniformly L-Lipschitzian mappings by a cyclic iterative algorithm in the framework of Banach spaces. Our results improve and extend the recent ones announced by many others.