• 충청수학회지
• /
• 제25권4호
• /
• pp.643-653
• /
• 2012

Let $f\;:\;M\;{\rightarrow}\;M$ be a diffeomorphism on a closed $C^{\infty}$ manifold. Let $\Lambda$ be a transitive set. In this paper, we show that (i) $C^1$-generically, $f$ has the shadowing property on a locally maximal $\Lambda$ if and only if $\Lambda$ is hyperbolic, (ii) f has the $C^1$-stably shadowing property on $\Lambda$ if and only if $\Lambda$ is hyperbolic.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1990년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 26-27 Oct. 1990
• /
• pp.1043-1048
• /
• 1990

The degenerate case of multivariable hyperbolic distributed-parameter systems (systems of hyperbolic partial differential equations) in time coordinate t and space coordinate x is characterized by a property that all the characteristic curves of the state equations are parallel to the coordinate axes of independent variables. It is a disturbing fact, although not well known, that the so-called maximum principle as applied to these systems does not exist for the control that depend on time alone. In this paper, however, it is shown that a set of necessary conditions in the small can exist for unconstrained as well as magnitude constrained controls in a locally convex set. The necessary conditions thus derived can be used conveniently to find the optimal control for degenerate hyperbolic distributed-parameter control systems.

• 대한수학회논문집
• /
• 제38권1호
• /
• pp.243-256
• /
• 2023

We deal with a type of inverse pseudo-orbit tracing property with respect to the class of continuous methods, as suggested and studied by Pilyugin [54]. In this paper, we consider a continuous method induced through the diffeomorphism of a compact smooth manifold, and using the concept, we proved the following: (i) If a diffeomorphism f of a compact smooth manifold M has the robustly pointwise inverse pseudoorbit tracing property, f is structurally stable. (ii) For a C1 generic diffeomorphism f of a compact smooth manifold M, if f has the pointwise inverse pseudo-orbit tracing property, f is structurally stable. (iii) If a diffeomorphism f has the robustly pointwise inverse pseudo-orbit tracing property around a transitive set Λ, then Λ is hyperbolic for f. Finally, (iv) for C¹ generically, if a diffeomorphism f has the pointwise inverse pseudo-orbit tracing property around a locally maximal transitive set Λ, then Λ is hyperbolic for f. In addition, we investigate cases of volume preserving diffeomorphisms.

• 충청수학회지
• /
• 제25권1호
• /
• pp.27-33
• /
• 2012

Let $f$ be a difeomorphism of a closed $n$ -dimensional smooth manifold M, and $p$ be a hyperbolic periodic point of $f$. Let ${\Lambda}(p)$ be a closed set which containing $p$. In this paper, we show that (i) if $f$ has the asymptotic average shadowing property on ${\Lambda}(p)$, then ${\Lambda}(p)$ is the chain component which contains $p$. (ii) suppose $f$ has the asymptotic average shadowing property on ${\Lambda}(p)$. Then if $f|_{\Lambda(p)}$ has the $C^{1}$-stably shadowing property then it is hyperbolic.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2008년도 춘계학술대회논문집
• /
• pp.565-567
• /
• 2008

In the present study, a least square/level set based two-phase flow code has been developed using finite element discretization, which can be utilized for the analysis of a free surface flow problem in a complex geometry. Since the finite element method is employed for the spatial discretization of governing equations, an unstructured mesh can be naturally adopted for the level set simulation of a bubble-in-liquid flow without an additional load for the code development except that solution methods of the hyperbolic type redistancing and advection equations of the level set function should be devised in order to give a bounded solution on the unstructured mesh. For the discretization of hyperbolic type redistancing and advection equations, least square method is adopted. From the numerical experiments of the present study, it is shown that the proposed method is both robust and accurate.

• 대한수학회논문집
• /
• 제12권3호
• /
• pp.779-788
• /
• 1997

In this work, using the exact separatrix map which provides an efficient way to describe dynamics near the separatrix, we study the stochastic layer near the separatrix of a one-degree-of-freedom Hamilitonian system with time periodic perturbation. Applying the twist map theory to the exact separatrix map, T. Ahn, G. I. Kim and S. Kim proved the existence of the uniformly hyperbolic invariant set(UHIS) near separatrix. Using the theorems of Bowen and Franks, we prove this UHIS has measure zero.

• 대한수학회보
• /
• 제51권5호
• /
• pp.1259-1267
• /
• 2014

In this paper we show that any chain transitive set of a diffeomorphism on a compact $C^{\infty}$-manifold which is $C^1$-stably limit shadowable is hyperbolic. Moreover, it is proved that a locally maximal chain transitive set of a $C^1$-generic diffeomorphism is hyperbolic if and only if it is limit shadowable.

• 대한수학회지
• /
• 제58권5호
• /
• pp.1279-1298
• /
• 2021

The aim of this paper is to prove the existence of the global attractor of the Cauchy problem for a semilinear degenerate hyperbolic equation involving strongly degenerate elliptic differential operators. The attractor is characterized as the unstable manifold of the set of stationary points, due to the existence of a Lyapunov functional.

• 대한수학회보
• /
• 제49권2호
• /
• pp.263-270
• /
• 2012

We prove that a locally maximal chain transitive set of a $C^1$-generic diffeomorphism is hyperbolic if and only if it is shadowable.

• 대한수학회지
• /
• 제48권1호
• /
• pp.63-82
• /
• 2011

On the hyperbolic space $D^n$, codimension-one totally geodesic foliations of class $C^k$ are classified. Except for the unique parabolic homogeneous foliation, the set of all such foliations is in one-one correspondence (up to isometry) with the set of all functions z : [0, $\pi$] $\rightarrow$ $S^{n-1}$ of class $C^{k-1}$ with z(0) = $e_1$ = z($\pi$) satisfying |z'(r)| ${\leq}1$ for all r, modulo an isometric action by O(n-1) ${\times}\mathbb{R}{\times}\mathbb{Z}_2$. Since 1-dimensional metric foliations on $D^n$ are always either homogeneous or flat (that is, their orthogonal distributions are integrable), this classifies all 1-dimensional metric foliations as well. Equations of leaves for a non-trivial family of metric foliations on $D^2$ (called "fifth-line") are found.