• Journal of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.847-868
• /
• 2016

Let M be an invariant subspace of $H^2$ over the bidisk. Associated with M, we have the fringe operator $F^M_z$ on $M{\ominus}{\omega}M$. It is studied the Fredholmness of $F^M_z$ for (generalized) zero based invariant subspaces M. Also ker $F^M_z$ and ker $(F^M_z)^*$ are described.

• Journal of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.987-1004
• /
• 2018

In this paper, we get several centroaffine invariant properties for a ruled surface in ${\mathbb{R}}^4$ with centroaffine theories of codimension two. Then by solving certain partial differential equations and studying a centroaffine surface with some centroaffine invariant properties in ${\mathbb{R}}^4$, we obtain such a surface is centroaffinely equivalent to a ruled surface or one of the flat centered cyclic surfaces. Furthermore, some centroaffine invariant properties for centered cyclic surfaces are considered.

• Journal of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.143-165
• /
• 2023

For each connected and simply connected three-dimensional non-unimodular Lie group, we classify the left invariant Lorentzian metrics up to automorphism, and study the extent to which curvature can be altered by a change of metric. Thereby we obtain the Ricci operator, the scalar curvature, and the sectional curvatures as functions of left invariant Lorentzian metrics on each of these groups. Our study is a continuation and extension of the previous studies done in [3] for Riemannian metrics and in [1] for Lorentzian metrics on unimodular Lie groups.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.6
• /
• pp.1501-1509
• /
• 2020

We discuss the decomposition of degree two basic cohomology for codimension four taut Riemannian foliation according to the holonomy invariant transversal almost complex structure J, and show that J is C^∞ pure and full. In addition, we obtain an estimate of the dimension of basic J-anti-invariant subgroup. These are the foliated version for the corresponding results of T. Draghici et al. [3].

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.12
• /
• pp.991-997
• /
• 2002

The concept of feasible & invariant region plays an important role to derive closed loop stability and achie adequate performance of constrained receding horizon predictive control. In this paper, we define a complex polyhedral feasible & invariant set for all stabilizable input-constrained linear systems by using a complex transform and propose a one-norm based receding horizon control scheme using these invariant sets. In order to get a larger stabilizable set, a convex hull of invariant sets which are defined for different state feedback gains is used as a target invariant set of the constrained receding horizon control. The proposed constrained receding horizon control scheme is formulated so that it can be solved via linear programming.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.5
• /
• pp.1241-1249
• /
• 2020

Let Ω be a domain in ℂⁿ. Suppose that ∂Ω is smooth pseudoconvex of D'Angelo finite type near a boundary point ξ₀ ∈ ∂Ω and the Levi form has corank at most 1 at ξ₀. Our goal is to show that if the squeezing function s_Ω(𝜂_j) tends to 1 or the Fridman invariant h_Ω(𝜂_j) tends to 0 for some sequence {𝜂_j} ⊂ Ω converging to ξ₀, then this point must be strongly pseudoconvex.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1149-1165
• /
• 2016

In this paper, we show that there exists no left invariant Riemannian metric h on the Heisenberg group H such that (H, h) is a symmetric Riemannian manifold, and there does not exist any H-invariant metric $\bar{h}$ on the Heisenberg manifold $H/{\Gamma}$ such that the Riemannian connection on ($H/{\Gamma},\bar{h}$) is a Yang-Mills connection. Moreover, we get necessary and sufficient conditions for a group homomorphism of (SU(2), g) with an arbitrarily given left invariant metric g into (H, h) with an arbitrarily given left invariant metric h to be a harmonic and an affine map, and get the totality of harmonic maps of (SU(2), g) into H with a left invariant metric, and then show the fact that any affine map of (SU(2), g) into H, equipped with a properly given left invariant metric on H, does not exist.

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

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.349-357
• /
• 1995

In the theory of elliptic curves over a complete field with bad reduction (i.e. with nonintegral j-invariant) Tate elliptic curves play an important role. Likewise, in the theory of Drinfeld modules, Tate-Drinfeld modules replace Tate elliptic curves.

• Journal of Institute of Control, Robotics and Systems
• /
• v.19 no.3
• /
• pp.177-182
• /
• 2013

This paper proposes an input-constrained reference tracking control of a converter model. To this end, first it is shown that the bilinear converter model can be equivalently represented by a linear uncertain model belonging to a polytopic set. Then, an input-constrained tracking control scheme for the linear uncertain model is designed based on recently proposed tracking control scheme. The control scheme yields not only a stabilizing control gain but also a feasible and invariant set for the converter model. Finally, simulation results show that the state trajectory always stays in the feasible and invariant set and that the output tracks the given reference while satisfying the input constraint.