• Journal of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.105-127
• /
• 2022

It is known that the maximal invariant set of a continuous iterative dynamical system in a compact Hausdorff space is equal to the intersection of its forward image sets, which we will call the first minimal image set. In this article, we investigate the corresponding relation for a class of discontinuous self maps that are on the verge of continuity, or topologically almost continuous endomorphisms. We prove that the iterative dynamics of a topologically almost continuous endomorphisms yields a chain of minimal image sets that attains a unique transfinite length, which we call the maximal invariance order, as it stabilizes itself at the maximal invariant set. We prove the converse, too. Given ordinal number ξ, there exists a topologically almost continuous endomorphism f on a compact Hausdorff space X with the maximal invariance order ξ. We also discuss some further results regarding the maximal invariance order as more layers of topological restrictions are added.

• Journal of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.255-271
• /
• 2023

In this paper, we deal with random attractors for dynamical systems forced by a deterministic noise. These kind of systems are modeled as skew products where the dynamics of the forcing process are described by the base transformation. Here, we consider skew products over the Bernoulli shift with the unit interval fiber. We study the geometric structure of maximal attractors, the orbit stability and stability of mixing of these skew products under random perturbations of the fiber maps. We show that there exists an open set U in the space of such skew products so that any skew product belonging to this set admits an attractor which is either a continuous invariant graph or a bony graph attractor. These skew products have negative fiber Lyapunov exponents and their fiber maps are non-uniformly contracting, hence the non-uniform contraction rates are measured by Lyapnnov exponents. Furthermore, each skew product of U admits an invariant ergodic measure whose support is contained in that attractor. Additionally, we show that the invariant measure for the perturbed system is continuous in the Hutchinson metric.

• Communications of the Korean Mathematical Society
• /
• v.19 no.4
• /
• pp.619-637
• /
• 2004

In this paper, a left module over an associative ring with identity is defined to be openly semiprimitive (strongly semiprimitive, respectively) by the zero intersection of all maximal open fully invariant submodules (all maximal open submodules which are fully invariant, respectively) of it. For any projective module, the openly semiprimitivity of the projective module is an equivalent condition of the semiprimitivity of endomorphism ring of the projective module and the strongly semiprimitivity of the projective module is an equivalent condition of the endomorphism ring of the projective module being a sub direct product of a set of subdivisions of division rings.

• Journal of the Korean Mathematical Society
• /
• v.50 no.1
• /
• pp.17-39
• /
• 2013

The study of nonlinear discrete-time control dynamical systems with disturbance is an important topic in control theory. In this paper, we concentrate our efforts to multiple valued iterative dynamical systems, which model the nonlinear discrete-time control dynamical systems with disturbance. After establishing the validity of such modeling, we study the invariant set theory of the multiple valued iterative dynamical systems, including the controllability/reachablity problems of the maximal invariant sets.

• Journal of Institute of Control, Robotics and Systems
• /
• v.19 no.6
• /
• pp.489-494
• /
• 2013

This paper tackles the problem of designing a dynamic output-feedback control for linear discrete-time norm-bounded uncertain systems with input saturation. By employing a LPV (Linear Parameter Varying) instead of LTI (Linear Time-Invariant) control, the useful information on interpolation parameters appearing in the procedure of representing saturation nonlinearity as a convex polytope is additionally applied in the control design procedure. By solving the addressed problem that can be recast into a convex optimization problem characterized by LMIs (Linear Matrix Inequalities) with one prescribed scalar, the vertices of convex set containing an LPV output-feedback control gain and the associated maximal invariant set of initial states are simultaneously obtained.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.

• Journal of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.127-135
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m. Then we say that I is an equimultiple good ideal in A, if I contains a reduction Q = ( $a_1$, $a_2$,ㆍㆍㆍ, $a_{s}$ ) generated by s elements in A and G(I) =(equation omitted)$_{n 0}$ $I^{n}$ / $I^{n＋1}$ of I is a Gorenstein ring with a(G(I)) = 1 - s, where s = h $t_{A}$ I and a(G(I)) denotes the a-invariant of G(I). Let $X_{A}$$^{s}$ denote the set of equimultiple good ideals I in A with h $t_{A}$ I = s, R(I) = A [It] be the Rees algebra of I, and $K_{R(I)}$ denote the canonical module of R(I). Let a I such that $I^{n＋l}$ = a $I^{n}$ for some n$\geq$0 and $\mu$$_{A}$(I)$\geq$2, where $\mu$$_{A}$(I) denotes the number of elements in a minimal system of generators of I. Assume that A/I is a Cohen-Macaulay ring. We show that the following conditions are equivalent. (1) $K_{R(I)}$(equation omitted)R(I)＋as graded R(I)-modules. (2) $I^2$ = aI and aA : I$\in$ $X^1$$_{A}$._{A}$./.