• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.903-921
• /
• 2008

A continuous linear operator $T\;:\;X{\rightarrow}X$ is called hypercyclic if there exists an $x\;{\in}\;X$ such that the orbit ${T^nx}_{n{\geq}0}$ is dense. We consider the problem: given an operator $T\;:\;X{\rightarrow}X$, hypercyclic or not, is the restriction $T|y$ to some closed invariant subspace $y{\subset}X$ hypercyclic? In particular, it is well-known that any non-constant partial differential operator p(D) on $H({\mathbb{C}}^d)$ (entire functions) is hypercyclic. Now, if q(D) is another such operator, p(D) maps ker q(D) invariantly (by commutativity), and we obtain a necessary and sufficient condition on p and q in order that the restriction p(D) : ker q(D) $\rightarrow$ ker q(D) is hypercyclic. We also study hypercyclicity for other types of operators on subspaces of $H({\mathbb{C}}^d)$.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.6
• /
• pp.1869-1889
• /
• 2018

We are concerned with the following fractional p-Laplacian inclusion: $$(-{\Delta})^s_pu+V(x){\mid}u{\mid}^{p-2}u{\in}{\lambda}[{\underline{f}}(x,u(x)),\;{\bar{f}}(s,u(x))]$$ in ${\mathbb{R}}^N$, where $(-{\Delta})^s_p$ is the fractional p-Laplacian operator, 0 < s < 1 < p < $+{\infty}$, sp < N, and $f:{\mathbb{R}}^N{\times}{\mathbb{R}}{\rightarrow}{\mathbb{R}}$ is measurable with respect to each variable separately. We show that our problem with the discontinuous nonlinearity f admits at least one or two nontrivial weak solutions. In order to do this, the main tool is the Berkovits-Tienari degree theory for weakly upper semicontinuous set-valued operators. In addition, our main assertions continue to hold when $(-{\Delta})^s_pu$ is replaced by any non-local integro-differential operator.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.12
• /
• pp.2271-2282
• /
• 2006

This paper is concerned with simulation issues arising in the PDE-based image restoration such as the total variation minimization(TVM) and its generalizations. In particular, we study the issues of staircasing and excessive dissipation of TVM-like smoothing operators. A strategy of scaling the algebraic system and a non-convex minimization are considered respectively for anti-staircasing and anti-diffusion. Furthermore, we introduce a variable constraint parameter to better preserve image edges. The resulting algorithm has been numerically verified to be efficient and reliable in denoising. Various numerical results are shown to confirm the claim.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.67 no.11
• /
• pp.1542-1548
• /
• 2018

When any faults occurred in electrical railway system, operators need to analysis it quickly and accurately. Existing COMTRADE based analysis tools are not enough to analysis faults occurred in electrical railway system. In this paper, it presents some functions to fault analysis for electrical railway system based on fault data formatted COMTRADE. These functions are implemented in PSCAD/EMTDC and it can be shown that analyzed results against actual electrical fault cases which were occurred in the electrical railway power system.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.11 no.1
• /
• pp.193-200
• /
• 2003

This paper proposes a novel algorithm to recognize the curve of a structured road. The proposed algorithm uses an LCF (Lane Curve Function) obtained by the transformation of a parabolic function defined on world coordinate into image coordinate. Unlike other existing methods, the algorithm needs no transformation between world coordinate and image coordinate owing to the LCF. In order to search for an LCF describing the lane best, the differential comparison between the slope of an assumed LCF and the phase angle of edge pixels in the LROI (Lane Region Of Interest) constructed by the LCF is implemented. As finding the true LCF, the lane curve is determined. The proposed method is proved to be efficient through various kinds of images, providing the reliable curve direction and the valid curvature compared to the real road.

• Communications of the Korean Mathematical Society
• /
• v.19 no.1
• /
• pp.135-141
• /
• 2004

We studied the relation between the tangential Cauchy-Riemann operator ${\={\partial}}_b$ CR-manifolds and the derivation $d^{{\pi}^{0,\;1}}$ associated to the natural projection map ${\pi}^{0.1}\;:\;TM\;{\bigotimes}\;{\mathbb{C}}\;=\;T^{1,0}\;{\bigoplus}\;T^{0,\;1}\;{\rightarrow}\;T^{0,\;1}$. We found that these two differential operators agree only on the space of functions ${\Omega}^0(M),\;unless\;T^{1,\;0}$ is involutive as well. We showed that the difference is a derivation, which vanishes on ${\Omega}^0(M)$, and it is induced by the Nijenhuis tensor associated to ${\pi}^{0.1}$.

• Korean Journal of Mathematics
• /
• v.8 no.1
• /
• pp.73-86
• /
• 2000

We study the Sobolev spaces to the generalized Sobolev spaces $H^s_{\mathcal{G}}$ of exponential type based on the Silva space $\mathcal{G}$ and investigate its properties such as imbedding theorem and structure theorem. In fact, the imbedding theorem says that for $s$ > 0 $u{\in}H^s_{\mathcal{G}}$ can be analytically continued to the set {$z{\in}\mathbb{C}^n{\mid}{\mid}Im\;z{\mid}$ < $s$}. Also, the structure theorem means that for $s$ > 0 $u{\in}H^{-s}_{\mathcal{G}}$ is of the form $$u={\sum_{\alpha}\frac{s^{{|\alpha|}}}{{\alpha}!}D^{\alpha}g{\alpha}$$ where $g{\alpha}$'s are square integrable functions for ${\alpha}{\in}\mathbb{N}^n_0$. Moreover, we introduce a classes of symbols of exponential type and its associated pseudo-differential operators of exponential type, which naturally act on the generalized Sobolev spaces of exponential type. Finally, a generalized Bessel potential is defined and its properties are investigated.

• Korean Journal of Mathematics
• /
• v.28 no.2
• /
• pp.223-240
• /
• 2020

The paper is concerned with periodic linear evolution equations of the form x"(t) = A(t)x(t)+f(t), where A(t) is a family of (unbounded) linear operators in a Banach space X, strongly and periodically depending on t, f is an almost (or asymptotic) almost periodic function. We study conditions for this equation to have almost periodic solutions on ℝ as well as to have asymptotic almost periodic solutions on ℝ⁺. We convert the second order equation under consideration into a first order equation to use the spectral theory of functions as well as recent methods of study. We obtain new conditions that are stated in terms of the spectrum of the monodromy operator associated with the first order equation and the frequencies of the forcing term f.

• 한국전산유체공학회:학술대회논문집
• /
• 2011.05a
• /
• pp.278-285
• /
• 2011

In the present study, the numerical prediction of the oil amount leaked from the hole of a damaged tank is investigated using the improved MPS (Moving Particle Semi-implicit) method, which was originally proposed by Koshizuka and Oka (1996) for incompressible flow. The governing equations, which consist of the continuity and Navier-Stokes equations, are solved by Lagrangian moving particles, and all terms expressed by differential operators should be replaced by the particle interaction models based on a Kernel function. The simulation results are validated though the comparison with the analytic solution based on Torricelli's equilibrium relation. Furthermore, a series of numerical simulations under the various conditions are performed in order to estimate more accurately the initial amount of leaked oil.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.4
• /
• pp.627-636
• /
• 1997

Let $H(U)$ be the space of all analytic functions in the unit disk $U$ and let $K \subset H(U)$. For the operator $A_{\beta,\gamma} : K \longrightarrow H(U)$ defined by $$ A_{\beta,\gamma}(f)(z) = [\frac{z^\gamma}{\beta + \gamma} \int_{0}^{z} f^\beta (t)t^{\gamma-1} dt]^{1/\beta} $$ and $\beta,\gamma \in C$, we determined conditions on g(z), $\beta and \gamma$ such that $$ z[\frac{z}{f(z)]^\beta \prec z[\frac{z}{g(z)]^\beta implies z[\frac{z}{A_{\beta,\gamma}(f)(z)]^\beta \prec z[\frac{z}{A_{\beta,\gamma}(g)(z)]^\beta $$ and we presented some particular cases of our main result.