• Journal of the Korean Mathematical Society
• /
• v.48 no.4
• /
• pp.727-747
• /
• 2011

By employing coincidence degree theory and using Halanay-type inequality technique, a sufficient condition is given to guarantee the existence and global exponential stability of periodic solutions for the two-dimensional discrete-time Cohen-Grossberg BAM neural networks. Compared with the results in existing papers, in our result on the existence of periodic solution, the boundedness conditions on the activation are replaced with global Lipschitz conditions. In our result on the existence and global exponential stability of periodic solution, the assumptions in existing papers that the value of activation functions at zero is zero are removed.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.1
• /
• pp.221-227
• /
• 2014

Our goal is to relax a sufficient condition for the exponential almost sure stability of a certain class of stochastic differential equations. Compared to the existing theory, we prove the almost sure stability, replacing Lipschitz continuity and linear growth conditions by the existence of a strong solution of the underlying stochastic differential equation. This result is extendable for the regime-switching system. An explicit example is provided for the illustration purpose.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.1
• /
• pp.287-301
• /
• 2014

In this paper, we prove a necessary optimality theorem for a nonsmooth optimization problem in the face of data uncertainty, which is called a robust optimization problem. Recently, the robust optimization problems have been intensively studied by many authors. Moreover, we give examples showing that the convexity of the uncertain sets and the concavity of the constraint functions are essential in the optimality theorem. We present an example illustrating that our main assumptions in the optimality theorem can be weakened.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.665-672
• /
• 1996

Let U denote the set of all Schwarzian derivatives $S_f$ of conformal function f in the unit disk D. We show that if $S_f$ is a local extreme point of U, then f cannot omit an open set. We also show that if $S_f \in U$ is an extreme point of the closed convex hull $\bar{co}U$ of U, then f cannot omit a set of positive area. The proof of this uses Nguyen's theorem.

• 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.

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.2
• /
• pp.241-256
• /
• 2004

In this paper, we introduce and study a new class of variational inclusions, called the general variational inclusion. We prove the equivalence between the general variational inclusions, the general resolvent equations, and the fixed-point problems, using the resolvent operator technique. This equivalence is used to suggest and analyze a few iterative algorithms for solving the general variational inclusions and the general resolvent equations. Under certain conditions, the convergence analyses are also studied. The results presented in this paper generalize, improve and unify a number of recent results.

• Interaction and multiscale mechanics
• /
• v.3 no.4
• /
• pp.321-331
• /
• 2010

A new technique is proposed for bridge structural damage detection based on spatial wavelet analysis of the time history obtained from vehicle body moving over the bridge, which is different from traditional detection techniques based on the bridge response. A simply-supported Bernoulli-Euler beam subjected to a moving spring-mass unit is established, with the crack in the beam simulated by modeling the cracked section as a rotational spring connecting two undamaged beam segments, and the equations of motion for the system is derived. By using the transfer matrix method, the natural frequencies and mode shapes of the cracked beam are determined. The responses of the beam and the moving spring-mass unit are obtained by modal decomposition theory. The continuous wavelet transform is calculated on the displacement time histories of the sprung-mass. The case study result shows that the damage location can be accurately determined and the method is effective.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.49 no.3
• /
• pp.26-30
• /
• 2012

This paper presents the observer design method for discrete-time nonlinear systems with delayed output. It is shown that by considering a nonlinear term of error dynamics as an additional state variable, the discrete-time nonlinear error dynamics with time delay can be transformed into the discrete-time linear one with time delay. Sufficient conditions for existence of state observer are characterized by linear matrix inequalities. Finally, an illustrative example is given in order to show the effectiveness of our design method.

• Journal of applied mathematics & informatics
• /
• v.5 no.2
• /
• pp.433-448
• /
• 1998

In this study we use inexact Newton-like methods to find solutions of nonlinear operator equations on Banach spaces with a convergence structure. Our technique involves the introduction of a generalized norm as an operator from a linear space into a par-tially ordered Banach space. In this way the metric properties of the examined problem can be analyzed more precisely. Moreover this approach allows us to derive from the same theorem on the one hand semi-local results of kantorovich-type and on the other hand 2global results based on monotonicity considerations. By imposing very general Lipschitz-like conditions on the operators involved on the other hand by choosing our operators appropriately we can find sharper error bounds on the distances involved than before. Furthermore we show that special cases of our results reduce to the corresponding ones already in the literature. Finally our results are used to solve integral equations that cannot be solved with existing methods.

• East Asian mathematical journal
• /
• v.29 no.3
• /
• pp.315-326
• /
• 2013

In this paper, a new monotonicity, $M({\cdot},{\cdot})$-monotonicity, is introduced in Banach spaces, and the resolvent operator of an $M({\cdot},{\cdot})$-monotone operator is proved to be single valued and Lipschitz continuous. By using the resolvent operator technique associated with $M({\cdot},{\cdot})$-monotone operators, we construct a proximal point algorithm for solving a class of variational inclusions. And we prove the convergence of the sequences generated by the proximal point algorithms in Banach spaces. The results in this paper extend and improve some known results in the literature.