• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.1-23
• /
• 2019

Let ${\mathcal{G}}$ be an ultragraph and let $C^*({\mathcal{G}})$ be the associated $C^*$-algebra introduced by Tomforde. For any gauge invariant ideal $I_{(H,B)}$ of $C^*({\mathcal{G}})$, we approach the quotient $C^*$-algebra $C^*({\mathcal{G}})/I_{(H,B)}$ by the $C^*$-algebra of finite graphs and prove versions of gauge invariant and Cuntz-Krieger uniqueness theorems for it. We then describe primitive gauge invariant ideals and determine purely infinite ultragraph $C^*$-algebras (in the sense of Kirchberg-Rørdam) via Fell bundles.

• Journal of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.825-855
• /
• 2019

We establish the existence of $C^1$ stable invariant manifolds for differential equations $u^{\prime}=A(t)u+f(t,u,{\lambda})$ obtained from sufficiently small $C^1$ perturbations of a nonuniform exponential dichotomy. Since any linear equation with nonzero Lyapunov exponents has a nonuniform exponential dichotomy, this is a very general assumption. We also establish the $C^1$ dependence of the stable manifolds on the parameter ${\lambda}$. We emphasize that our results are optimal, in the sense that the invariant manifolds are as regular as the vector field. We use the fiber contraction principle to establish the smoothness of the invariant manifolds. In addition, we can also consider linear perturbations, and thus our results can be readily applied to the robustness problem of nonuniform exponential dichotomies.

• 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.59 no.4
• /
• pp.651-684
• /
• 2022

Let G be an arbitrary, connected, simply connected and unimodular Lie group of dimension 3. On the space 𝔐(G) of left-invariant Lorentzian metrics on G, there exists a natural action of the group Aut(G) of automorphisms of G, so it yields an equivalence relation ≃ on 𝔐(G), in the following way: h₁ ≃ h₂ ⇔ h₂ = 𝜙^*(h₁) for some 𝜙 ∈ Aut(G). In this paper a procedure to compute the orbit space Aut(G)/𝔐(G) (so called moduli space of 𝔐(G)) is given.

• Communications of the Korean Mathematical Society
• /
• v.17 no.4
• /
• pp.635-645
• /
• 2002

Two examples of $\varepsilon$-famed manifolds are constructed. It is proved that an $\varepsilon$-framed structure on a manifold is not unique. Automorphism groups of r-framed manifolds are studied. Lastly we prove that a connected Lie group G admits a left invariant normal $\varepsilon$-framed structure if and only if the Lie algebra of all left invariant vector fields on G is an $\varepsilon$-framed Lie algebra.

• The Pure and Applied Mathematics
• /
• v.10 no.2
• /
• pp.127-132
• /
• 2003

The object of this paper is to extend and generalize the work of Brosowski ［Fixpunktsatze in der approximationstheorie. Mathematica Cluj 11 (1969), 195-200］, Hicks & Humphries ［A note on fixed point theorems. J. Approx. Theory 34 (1982), 221-225］, Khan & Khan ［An extension of Brosowski-Meinardus theorem on invariant approximation. Approx. Theory Appl. 11 (1995), 1-5］ and Singh ［An application of a fixed point theorem to approximation theory J. Approx. Theory 25 (1979), 89-90; Application of fixed point theorem in approximation theory. In: Applied nonlinear analysis (pp. 389-394). Academic Press, 1979］ in metric spaces having convex structure, and in metric linear spaces having strictly monotone metric.

• Journal of Institute of Control, Robotics and Systems
• /
• v.18 no.2
• /
• pp.149-155
• /
• 2012

This paper provides an efficient model predictive control for the output voltage control of three-phase inverter system which includes output LC filters. Use of SVPWM (Space Vector Pulse-Width-Modulation) and the rotating d-q frame is made to obtain an input constrained dynamic model of the inverter system. From the measured/estimated output current and reference output voltage, corresponding equilibrium values of the inductor current and the control input are computed. Derivation of a feasible and invariant set around the equilibrium state is made and then a receding horizon strategy which steers the current state deep into the invariant set is proposed. In order to remove offset error, use of disturbance observer is made in the form of state estimator. The efficacy of the proposed method is verified through simulations.

• Journal of the Chungcheong Mathematical Society
• /
• v.30 no.4
• /
• pp.445-447
• /
• 2017

We investigate congruence properties of Fourier coefficients of modular forms for ${\Gamma}^+_0(2)$.

• Honam Mathematical Journal
• /
• v.29 no.4
• /
• pp.569-576
• /
• 2007

Let $\cal{H}$ be a separable, infinite dimensional, complex Hilbert space. We call "an operator $\cal{T}$ acting on $\cal{H}$ has a star moment sequence supported on a set K" when there exist nonzero vectors u and v in $\cal{H}$ and a positive Borel measure ${\mu}$ such that <$T^{*j}T^ku$, v> = ${^\int\limits_{K}}\;{{\bar{z}}^j}\;{{\bar{z}}^k}\;d\mu$ for all j, $k\;\geq\;0$. We obtain a characterization to find a representing star moment measure and discuss some related properties.

• Journal of the Korean Physical Society
• /
• v.73 no.9
• /
• pp.1230-1239
• /
• 2018

We derive a factorization theorem for the jet mass distribution with a given $p^J_T$ for the inclusive production, where $p^J_T$ is a large jet transverse momentum. Considering the small jet radius limit ($R{\ll}1$), we factorize the scattering cross section into a partonic cross section, the fragmentation function to a jet, and the jet mass distribution function. The decoupled jet mass distributions for quark and gluon jets are well-normalized and scale invariant, and they can be extracted from the ratio of two scattering cross sections such as $d{\sigma}/(dp^J_TdM^2_J)$ and $d{\sigma}/dp^J_T $. When $M_J{\sim}p^J_TR$, the perturbative series expansion for the jet mass distributions works well. As the jet mass becomes small, large logarithms of $M_J/(p^J_TR)$ appear, and they can be systematically resummed through a more refined factorization theorem for the jet mass distribution.