• East Asian mathematical journal
• /
• v.14 no.1
• /
• pp.77-98
• /
• 1998

The purpose of this paper is to introduce and study the semigroups of nonlinear contractions in probabilistic normed spaces and to establish the Crandall-Liggett's exponential formula for some kind of accretive mappings in probabilistic normed spaces. As applications, we utilize these results to study the Cauchy problem for a kind of differential inclusions with accertive mappings in probabilistic normed spaces.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.4
• /
• pp.813-838
• /
• 2011

In this paper, we prove sufficient conditions for controllability of second order semi-linear neutral impulsive differential inclusions on unbounded domain with infinite delay in Banach spaces using the theory of strongly continuous Cosine families. We shall rely on a fixed point theorem due to Ma for multi-valued maps. The controllability results in infinite dimensional space has been proved without compactness on the family of Cosine operators.

• Korean Journal of Mathematics
• /
• v.29 no.1
• /
• pp.57-64
• /
• 2021

In this paper we deal with the embedding inclusions on the fractional Orlicz-Sobolev spaces which are crucial roles for studying the theories of the partial differential equations. We get some properties and theories of the embedding inclusions on the fractional Orlicz-Sobolev spaces.

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

In this paper, we show that general nonlinear switched systems are asymptotically controllable if and only if there exist control-Lyapunov functions for their relaxation systems. If the switching signal is dependent on the time, then the control-Lyapunov functions are continuous. And if the switching signal is dependent on the state, then the control-Lyapunov functions are $C^1$-smooth. We obtain the results from the viewpoint of control system theory. Our approach is based on the relaxation theorems of differential inclusions and the classic Lyapunov characterization.

• Communications of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.135-144
• /
• 2005

We consider the stochastic differential inclusion of the form $dX_t{\in}{\sigma}(t, X_t)dB_t+b(t, X_t)dt$, where ${\sigma}$, b are set-valued maps, B is a standard Brownian motion. We prove that the set of solutions is closed.

• Journal of applied mathematics & informatics
• /
• v.26 no.5_6
• /
• pp.1161-1168
• /
• 2008

We prove a theorem that there exists at least a solution reaching the prescribed target in autonomous differential inclusion. A weak invariance theorem is obtained from this theorem as its corollary. To deduce the conclusion, we assume that the target satisfies inward pointing condition. This condition will be given by proximal normal cone.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.807-816
• /
• 2007

For the stochastic differential inclusion on infinite dimensional space of the form $dX_t{\in}\sigma(X_t)dW_t+b(X_t)dt$, where ${\sigma}$, b are set-valued maps, W is an infinite dimensional Hilbert space valued Q-Wiener process, we prove the boundedness and continuity of solutions under the assumption that ${\sigma}$ and b are closed convex set-valued satisfying the Lipschitz property using approximation.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.1
• /
• pp.159-165
• /
• 2003

We consider the stochastic differential inclusion of the form $dX_t\;\in\;\sigma(t,\;X_t)db_t+b(t,\;X_t)dt$, where $\sigma$, b are set-valued maps, B is a standard Brownian motion. We prove the boundedness of solutions under the assumption that $\sigma$ and b satisfy the local Lipschitz property and linear growth.

• Korean Journal of Mathematics
• /
• v.31 no.3
• /
• pp.243-258
• /
• 2023

A normalized analytic function f defined on the unit disk 𝔻 is starlike of reciprocal order α, 0 ≤ α < 1, if Re(f(z)/(zf'(z))) > α for all z ∈ 𝔻. Such functions are starlike and therefore univalent in 𝔻. Using the well-known Miller-Mocanu differential subordination theory, sufficient conditions involving differential inclusions are obtained for a normalized analytic function to be starlike of reciprocal order α. Furthermore, a few conditions are derived for a function f to belong to a subclass of reciprocal starlike functions, satisfying |f(z)/(zf'(z)) - 1| < 1 - α.

• Journal of the Korean Magnetics Society
• /
• v.10 no.6
• /
• pp.302-309
• /
• 2000

An MFL (Magnetic Flux Leakage) testing system has been developed in order to inspect the non-metallic inclusions in the thin steel sheets. We have made a differential type flux-gate magnetometer using the measurement of apparent coercive field strength of soft magnetic core. The specifications of the electromagnet was determined using FEM software, and MFL testing system with 3 axis degree of freedom was constructed. The feasibility testing for non-metallic inclusion was shown using the system. By digitizing MFL signal and using 2-D graphic display, we could identify various surface defects other than the inclusions.