• Journal of the Korean Statistical Society
• /
• v.26 no.1
• /
• pp.75-88
• /
• 1997

In this paper, a two-parameter version of Ikeda-Watanabe's mollifiers approximation of the Brownian motion is considered, and an approximation theorem corresponding to the one parameter case is proved. Using this approximation, we formulate Wong-Zakai type theorem is a Stochastic Differential Equation (SDE) driven by a two-parameter Wiener process.

• Communications of the Korean Mathematical Society
• /
• v.22 no.3
• /
• pp.369-371
• /
• 2007

Very recently, by employing an addition theorem for the con-fluent hypergeometric function, Paris has obtained a Kummer-type trans-formation for a $_2F_2(x)$ hypergeometric function with general parameters in the form of a sum of $_2F_2(-x)$ functions. The aim of this note is to derive his result without using the addition theorem.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.565-573
• /
• 2001

In this paper, we first rove the strict quasi-concavity of maximizing function, and next prove a new maximum theorem using Fan’s generalization of the classical KKM theorem. Also an existence theorem of social equilibrium can be proved when an additional assumption on the constraint correspondence is assumed. Finally, we give illustrative two examples of constrained optimization problems.

• Kyungpook Mathematical Journal
• /
• v.47 no.1
• /
• pp.77-79
• /
• 2007

In this note we point out how a theorem of Gamelin and Garnett from function theory can be used to establish a spectral mapping theorem for an arbitrary contraction and an associated class of $H^{\infty}$-functions.

• Journal of the Korean Mathematical Society
• /
• v.41 no.1
• /
• pp.175-192
• /
• 2004

This talk discusses conditions on the numerical range of a holomorphic function defined on a bounded convex domain in a complex Banach space that imply that the function has a unique fixed point. In particular, extensions of the Earle-Hamilton Theorem are given for such domains. The theorems are applied to obtain a quantitative version of the inverse function theorem for holomorphic functions and a distortion form of Cartan's unique-ness theorem.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.9
• /
• pp.1680-1685
• /
• 2010

In this note, a proof of Utkin's theorem is presented for a MI(Multi Input) uncertain linear case. The invariance theorem with respect to the two transformation methods so called the two diagonalization methods are proved clearly and comparatively for MI uncertain linear systems. With respect to the sliding surface transformation and the control input transformation, the equation of the sliding mode i.e., the sliding surface is invariant. Both control inputs have the same gains. By means of the two transformation methods the same results can be obtained. Through an illustrative example and simulation study, the usefulness of the main results is verified.

• Journal for History of Mathematics
• /
• v.29 no.5
• /
• pp.295-314
• /
• 2016

In tropical geometry, the sum of two numbers is defined as the minimum, and the multiplication as the sum. We learned that dynamic programming in tropical algebraic geometry can be used to find the shortest path in graphs. We have also learned about the Bezout's Theorem, which is a theorem concerning the intersections of tropical plane curves, and the stable intersection principle.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.11
• /
• pp.1612-1619
• /
• 2017

In this note, a complete proof of Utkin's theorem is presented for SI(single input) uncertain nonlinear systems. The invariance theorem with respect to the two nonlinear transformation methods so called the two diagonalization methods is proved clearly, comparatively, and completely for SI uncertain nonlinear systems. With respect to the sliding surface and control input transformations, the equation of the sliding mode i.e., the sliding surface is invariant, which is proved completely. Through an illustrative example and simulation study, the usefulness of the main results is verified. By means of the two nonlinear transformation methods, the same results can be obtained.

• Journal of the Chungcheong Mathematical Society
• /
• v.33 no.2
• /
• pp.237-253
• /
• 2020

This article studies asymptotic stability of non-auto nomous linear systems with time-dependent coefficient matrices {A(t)}_t∈ℝ. The classical theorem of Levinson has been widely used to science and engineering non-autonomous systems, but systems with defective eigenvalues could not be covered because such a family does not allow continuous diagonalization. We study systems where the family allows to have upper triangulation and to have defective eigenvalues. In addition to the wider applicability, working with upper triangular matrices in place of Jordan form matrices offers more flexibility. We interpret our and earlier works including Levinson's theorem from the perspective of invariant manifold theory.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.4
• /
• pp.843-847
• /
• 2011

In this note, a proof of Utkin's theorem is presented for the SI(Single Input) uncertain integral linear case. The invariance theorem with respect to the two transformation methods so called the two diagonalization methods are proved clearly and comparatively for SI uncertain integral linear systems. With respect to the sliding surface transformation, the equation of the sliding mode, the sliding surface is invariant. Both the applied control inputs have the same gains. By means of the two transformation methods the same results can be obtained. Through an illustrative example and simulation study, the usefulness of the main results is verified.