• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10b
• /
• pp.575-580
• /
• 1992

Mixed H$_{2}$/H$_{\infty}$ robust control synthesis is considered for finite dimensional linear time-invariant systems under the presence of diagonal structured uncertainties. Such uncertainties arise for instance when there is real perturbation in the nominal model of the state space system or when modeling multiple (unstructured) uncertainty at different locations in the feedback loop. This synthesis problem is reduced to convex optimization problem over a bounded subset of matrices as well as diagonal matrix having certain structure. For computational purpose, this convex optimization problem is further reduced into Generalized Eigenvalue Minimization Problem where a powerful algorithm based on interior point method has been recently developed..

• Kyungpook Mathematical Journal
• /
• v.55 no.1
• /
• pp.219-224
• /
• 2015

In this paper it is investigated as to when a nonempty invariant closed subset A of a $S^1$-space X containing the set of stationary points (S) can be the fixed point set of an equivariant continuous selfmap on X and such space X is said to possess the S-equivariant complete invariance property (S-ECIP). It is also shown that if X is a metric space and $S^1$ acts on $X{\times}S^1$ by the action $(x,p){\cdot}q=(x,p{\cdot}q)$, where p, $q{\in}S^1$ and $x{\in}X$, then the hyperspace $2^{X{\times}S^1}$ of all nonempty compact subsets of $X{\times}S^1$ has the S-ECIP.

• Honam Mathematical Journal
• /
• v.39 no.1
• /
• pp.93-100
• /
• 2017

Let $\mathcal{H}$ be an infinite dimensional separable Hilbert space with a fixed orthonormal base $\{e_1,e_2,{\cdots}\}$. Let $\mathcal{L}$ be the subspace lattice generated by the subspaces $\{[e_1],[e_1,e_2],[e_1,e_2,e_3],{\cdots}\}$ and let $Alg{\mathcal{L}}$ be the algebra of bounded operators which leave invariant all projections in $\mathcal{L}$. Let p and q be natural numbers($p{\leqslant}q$). Let $\mathcal{B}_{p,q}=\{T{\in}Alg\mathcal{L}{\mid}T_{(p,q)}=0\}$. Let $\mathcal{A}$ be a linear manifold in $Alg{\mathcal{L}}$ such that $\{0\}{\varsubsetneq}{\mathcal{A}}{\subset}{\mathcal{B}}_{p,q}$. If $\mathcal{A}$ is an ideal in $Alg{\mathcal{L}}$, then $T_{(i,j)}=0$, $p{\leqslant}i{\leqslant}q$ and $i{\leqslant}j{\leqslant}q$ for all T in $\mathcal{A}$.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.55 no.1
• /
• pp.1-13
• /
• 2006

This paper presents the problems of designing low-order controller for a linear time-invariant(LTI) system in parameter space, wherein both transient response requirements and stability shall be considered in the same space. For a LTI system, we, (1) develop a method determining the existence of low-order stabilizers of the first-order and PID structures, (2) develop an algorithm of finding such a stabilizing region. (3) Both procedures are carried out by means of a parametric approach in the same frame work. This leads to easily obtain a subset of controller gains from the stabilizing set, that meet good time response requirements. It is illustrated by examples.

• Journal of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.547-564
• /
• 2024

We study totally real and complex subsets of a right quarternionic vector space of dimension n + 1 with a Hermitian form of signature (n, 1) and extend these notions to right quaternionic projective space. Then we give a necessary and sufficient condition for a subset of a right quaternionic projective space to be totally real or complex in terms of the quaternionic Hermitian triple product. As an application, we show that the limit set of a non-elementary quaternionic Kleinian group 𝚪 is totally real (resp. commutative) with respect to the quaternionic Hermitian triple product if and only if 𝚪 leaves a real (resp. complex) hyperbolic subspace invariant.

• Journal of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.363-447
• /
• 2009

The author previously defined the spectral invariants, denoted by $\rho(H;\;a)$, of a Hamiltonian function H as the mini-max value of the action functional ${\cal{A}}_H$ over the Novikov Floer cycles in the Floer homology class dual to the quantum cohomology class a. The spectrality axiom of the invariant $\rho(H;\;a)$ states that the mini-max value is a critical value of the action functional ${\cal{A}}_H$. The main purpose of the present paper is to prove this axiom for nondegenerate Hamiltonian functions in irrational symplectic manifolds (M, $\omega$). We also prove that the spectral invariant function ${\rho}_a$ : $H\;{\mapsto}\;\rho(H;\;a)$ can be pushed down to a continuous function defined on the universal (${\acute{e}}tale$) covering space $\widetilde{HAM}$(M, $\omega$) of the group Ham((M, $\omega$) of Hamiltonian diffeomorphisms on general (M, $\omega$). For a certain generic homotopy, which we call a Cerf homotopy ${\cal{H}}\;=\;\{H^s\}_{0{\leq}s{\leq}1}$ of Hamiltonians, the function ${\rho}_a\;{\circ}\;{\cal{H}}$ : $s\;{\mapsto}\;{\rho}(H^s;\;a)$ is piecewise smooth away from a countable subset of [0, 1] for each non-zero quantum cohomology class a. The proof of this nondegenerate spectrality relies on several new ingredients in the chain level Floer theory, which have their own independent interest: a structure theorem on the Cerf bifurcation diagram of the critical values of the action functionals associated to a generic one-parameter family of Hamiltonian functions, a general structure theorem and the handle sliding lemma of Novikov Floer cycles over such a family and a family version of new transversality statements involving the Floer chain map, and many others. We call this chain level Floer theory as a whole the Floer mini-max theory.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.641-648
• /
• 1994

Let M be a minimally immersed closed hypersurface in $S^{n+1}$, II the second fundamental form and $S = \Vert II \Vert^2$. It is well known that if $0 \leq S \leq n$, then $S \equiv 0$ or $S \equiv n$ and totally geodesic hypersheres and Clifford tori are the only possible minimal hypersurfaces with $S \equiv 0$ or $S \equiv n$ ([6], [2]). From these results, Chern suggested some questions on the study of compact minimal hypersurfaces on the sphere with S =constant: what are the next possible values of S to n, and does in the ambient sphere\ulcorner By the way, S is defined extrinsically but, in fact, it is an intrinsic invariant for the minimal hypersurface, i.e., S = n(n-1) - R, where R is the scalar, curvature of M. Some partial answers have been obtained for dim M = 3: Assuming $M^3 \subset S^4$ is closed and minimal with S =constant, de Almeida and Brito [1] proved that if $R \geq 0$ (or equivalently $S \leq 6$), then S = 0, 3 or 6, Peng and Terng ([5]) proved that if M has 3 distint principal curvatures, then S = 6, and in [3] Chang showed that if there exists a point which has two distinct principal curvatures, then S = 3. Hence the problem for dim M = 3 is completely done. For higher dimensional cases, not much has been known and these problems seem to be very hard without imposing some more conditions on M.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.3
• /
• pp.417-426
• /
• 2011

Let ${\mu}$ be a finite positive Borel measure on the unit ball $B{\subset}{\mathbb{C}}^n$ and ${\nu}$ be the Euclidean volume measure such that ${\nu}(B)=1$. For the unit sphere $S=\{z:{\mid}z{\mid}=1\}$, ${\sigma}$ is the rotation-invariant measure on S such that ${\sigma}(S) =1$. Let ${\mathcal{P}}[f]$ be the Poisson-$Szeg{\ddot{o}}$ integral of f and $\tilde{\mu}$ be the Berezin transform of ${\mu}$. In this paper, we show that if there is a constant M > 0 such that ${\int_B}{\mid}{\mathcal{P}}[f](z){\mid}^pd{\mu}(z){\leq}M{\int_B}{\mid}{\mathcal{P}}[f](z){\mid}^pd{\nu}(z)$ for all $f{\in}L^p(\sigma)$, then ${\parallel}{\tilde{\mu}}{\parallel}_{\infty}{\equiv}{\sup}_{z{\in}B}{\mid}{\tilde{\mu}}(z){\mid}<{\infty}$, and we show that if ${\parallel}{\tilde{\mu}{\parallel}_{\infty}<{\infty}$, then ${\int_B}{\mid}{\mathcal{P}}[f](z){\mid}^pd{\mu}(z){\leq}C{\mid}{\mid}{\tilde{\mu}}{\mid}{\mid}_{\infty}{\int_S}{\mid}f(\zeta){\mid}^pd{\sigma}(\zeta)$ for some constant C.

• Ocean and Polar Research
• /
• v.27 no.2
• /
• pp.189-195
• /
• 2005

Several models predict large and potentially abrupt ocean circulation changes due to anthropogenic greenhouse-gas emissions. These circulation changes drive-in the models-considerable oceanic oxygen trend. A sound estimate of the observed oxygen trends can hence be a powerful tool to constrain predictions of future changes in oceanic deepwater formation, heat and carbon dioxide uptake. Estimating decadal scale oxygen trends is, however, a nontrivial task and previous studies have come to contradicting conclusions. One key potential problem is that changes in the historical observation network might introduce considerable errors. Here we estimate the likely magnitude of these errors for a subset of the available observations in the Southern Ocean. We test three common data analysis methods south of Australia and focus on the decadal-scale trends between the 1970's and the 1990's. Specifically, we estimate errors due to sparsely sampled observations using a known signal (the time invariant, temporally averaged, World Ocean Atlas 2001) as a negative control. The crossover analysis and the objective analysis methods are for less prone to spatial sampling location biases than the area averaging method. Subject to numerous caveats, we find that errors due to sparse sampling for the area averaging method are on the order of several micro-moles $kg^{-1}$. for the crossover and the objective analysis method, these errors are much smaller. For the analyzed example, the biases due to changes in the spatial design of the historical observation network are relatively small compared to the tends predicted by many model simulations. This raises the possibility to use historic oxygen trends to constrain model simulations, even in sparsely sampled ocean basins.