• Kyungpook Mathematical Journal
• /
• v.56 no.1
• /
• pp.185-220
• /
• 2016

We study the Gauss and Poisson semigroups connected with the Riemann-Liouville operator defined on the half plane. Next, we establish a principle of maximum for the singular partial differential operator $${\Delta}_{\alpha}={\frac{{\partial}^2}{{\partial}r^2}+{\frac{2{\alpha}+1}{r}{\frac{\partial}{{\partial}r}}+{\frac{{\partial}^2}{{\partial}x^2}}+{\frac{{\partial}^2}{{\partial}t^2}}};\;(r,x,t){\in}]0,+{\infty}[{\times}{\mathbb{R}}{\times}]0,+{\infty}[$$. Later, we define the Littlewood-Paley g-function and using the principle of maximum, we prove that for every $p{\in}]1,+{\infty}[$, there exists a positive constant $C_p$ such that for every $f{\in}L^p(d{\nu}_{\alpha})$, $${\frac{1}{C_p}}{\parallel}f{\parallel}_{p,{\nu}_{\alpha}}{\leqslant}{\parallel}g(f){\parallel}_{p,{\nu}_{\alpha}}{\leqslant}C_p{\parallel}f{\parallel}_{p,{\nu}_{\alpha}}$$.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1347-1365
• /
• 2021

For µ = (µ₁, …, µ_t) (µ_j > 0), ξ = (z₁, …, z_t, w) ∈ ℂ^n₁ × … × ℂ^n_t × ℂ^m, define $${\Omega}({\mu},t)=\{{\xi}{\in}\mathbb{B}_{n_1}{\times}{\cdots}{\times}\mathbb{B}_{n_t}{\times}\mathbb{C}^m:{\parallel}w{\parallel}^2 where $\mathbb{B}_{n_j}$ is the unit ball in ℂ^n_j (1 ≤ j ≤ t), C(χ, µ) is a constant only depending on χ = (n₁, …, n_t) and µ = (µ₁, …, µ_t), which is a special type of generalized Cartan-Hartogs domain. We will give some sufficient and necessary conditions for the boundedness of some type of operators on L^p(Ω(µ, t), ω) (the weighted L^p space of Ω(µ, t) with weight ω, 1 < p < ∞). This result generalizes the works from certain classes of generalized complex ellipsoids to the generalized Cartan-Hartogs domain Ω(µ, t).

• Coupled systems mechanics
• /
• v.7 no.6
• /
• pp.707-729
• /
• 2018

The semi-active optimal vibration control of nonlinear torsion-bar suspension vehicle systems under random road excitations is an important research subject, and the boundedness of MR dampers and the uncertainty of vehicle systems are necessary to consider. In this paper, the differential equations of motion of the coupling torsion-bar suspension vehicle system with MR damper under random road excitation are derived and then transformed into strongly nonlinear stochastic coupling vibration equations. The dynamical programming equation is derived based on the stochastic dynamical programming principle firstly for the nonlinear stochastic system. The semi-active bounded parametric optimal control law is determined by the programming equation and MR damper dynamics. Then for the uncertain nonlinear stochastic system, the minimax dynamical programming equation is derived based on the minimax stochastic dynamical programming principle. The worst-case disturbances and corresponding semi-active bounded parametric optimal control are obtained from the programming equation under the bounded disturbance constraints and MR damper dynamics. The control strategy for the nonlinear stochastic vibration of the uncertain torsion-bar suspension vehicle system is developed. The good effectiveness of the proposed control is illustrated with numerical results. The control performances for the vehicle system with different bounds of MR damper under different vehicle speeds and random road excitations are discussed.

• Honam Mathematical Journal
• /
• v.44 no.4
• /
• pp.572-593
• /
• 2022

Crime committed by civilians and criminals using legal and illegal firearms and conversion of legal firearms into illegal ones has become a common practice around the world. As a result, policies to control civilian gun ownership have been debated in several countries. The issue arose because the linkages between firearm-related mortality, weapon accessibility, and violent crime data can imply diverse options for addressing criminality. In this paper, we have projected a mathematical model in terms of the Caputo fractional derivative to address the issues viz. input of legal guns, crime committed by legal and illegal guns, and strict government policies to monitor the license of legal guns, strict action against violent crime. The boundedness, existence and uniqueness of solutions and the stability of points of equilibrium are examined. It is observed that violent crime increases with the increase of crime committed by illegal guns, crime committed by legal guns and, decreases with the increase of legal guns, the deterrent effect of civilian gun ownership, and action of law against crime. Further, legal guns increase with the increase of the limitation of trade of illegal guns and decrease with the increase of conversion of legal guns into illegal guns and increase of the growth rate of illegal guns. Again, as crime is committed by legal guns also, the policy of illegal gun control does not assure a crime-free society. Weak gun control can lead to a society with less crime. Theoretical aspects are numerically verified in the present work.

• Communications of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.821-835
• /
• 2023

Hankel operators and their variants have abundant applications in numerous fields. For a non-zero complex number r, the r-Hankel operators on a Hilbert space 𝓗 define a class of one such variant. This article introduces and explores some properties of two other variants of Hankel operators namely k^th-order (C, r)-Hankel operators and k^th-order (R, r)-Hankel operators (k ≥ 2) which are closely related to r-Hankel operators in such a way that a k^th-order (C, r)-Hankel matrix is formed from r^k-Hankel matrix on deleting every consecutive (k - 1) columns after the first column and a k^th-order (R, r^k)-Hankel matrix is formed from r-Hankel matrix if after the first column, every consecutive (k - 1) columns are deleted. For |r| ≠ 1, the characterizations for the boundedness of these operators are also completely investigated. Finally, an appropriate approach is also presented to extend these matrices to two-way infinite matrices.

• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.210-216
• /
• 2000

Place/Transition(P/T) nets has been used in protocol verification and concurrent system verification since it is suitable for describing concurrency and provides several well-established verification techniques. And it has been used as a base formalism for such high-level Petri nets as colored Petri nets, object-oriented Petri nets and etc. However, when analyzing complex models using P/T nets and P/T nets-based high-level Petri nets, there may be state explosion in reachability analysis due to improper handling of concurrency. In this paper, we define a structural concurrency in P/T nets, propose a partitioning algorithm based on the detected structural concurrency, and provide analysis techniques for such properties as boundedness of places and liveness of transitions, which are performed on compositional reachability graphs. The analysis techniques based on Petri net slices can be used in efficiently analyzing P/T nets-based high-level Petri net models as well as P/T net models.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.3 no.3
• /
• pp.177-182
• /
• 2002

In this paper, we present a mathematical theory and algorithm consoucting some fractal sets. Among such fractal sets, the degree-n bifurcation set as well as the Julia sets is defined by extending the concept of the Mandelbrot set to the complex polynomial $Z^n$+c($c{\epsilon}C$, $n{\ge}2$). Some properties of the degree-n bifurcation set and the Julia sets have been theoretically investigated including the symmetry, periodicity, boundedness, and connectedness. An efficient algorithm constructing both the degree-n bifurcation let and the Julia sets is proposed using theoretical results. The mouse-operated software called "MANJUL" has been developed for the effective construction of the degree-n bifurcation set and the Julia sets in graphic environments with C++ programming language under the windows operating system. Simple mouse operations can construct ann magnify the degree-n bifurcation set as well af the Julia sets. They not only compute the component period but also save the images of the degree-n bifurcation set and the Julia sets to visually confirm various properties and the geometrical structure of the sets. A demonstration has verified the useful versatility of MANJUL.of MANJUL.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.285-288
• /
• 2005

Neural networks are known as kinds of intelligent strategies since they have learning capability. There are various their applications from intelligent control fields; however, their applications have limits from the point that the stability of the intelligent control systems is not usually guaranteed. In this paper we propose a neuro-adaptive controller for robot manipulators using the radial basis function network(RBFN) that is a kind of a neural network. Adaptation laws for parameters of the RBFN are developed based on the Lyapunov stability theory to guarantee the stability of the overall control scheme. Filtered tracking errors between the actual outputs and desired outputs are discussed in the sense of the uniformly ultimately boundedness(UUB). Additionally, it is also shown that the parameters of the RBFN are bounded. Experimental results for a SCARA-type robot manipulator show that the proposed neuro-adaptive controller is adaptable to the environment changes and is more robust than the conventional PID controller and the neuro-controller based on the multilayer perceptron.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.5
• /
• pp.582-590
• /
• 2007

Nonlinear adaptive control of overhead cranes is investigated for anti-sway trajectory tracking with high-speed hoisting motion. The sway dynamics of two dimensional underactuated overhead cranes is heavily coupled with the trolley acceleration, hoisting rope length, and the hoisting velocity which is an obstacle in the design of decoupling control based anti-sway trajectory tracking control law To cope with this obstacle. we propose a fuzzy nonlinear adaptive anti-sway trajectory tracking control law guaranteeing the uniform ultimate boundedness of the sway dynamics even in the presence of uncertainties in such a way that it cancels the effect of the trolley acceleration and hoisting velocity on the sway dynamics. In particular. system uncertainties, including system parameter uncertainty unmodelled dynamics, and external disturbances, are compensated in an adaptive manner by utilizing fuzzy uncertainty observers. Accordingly, the ultimate bound of the tracking errors and the sway angle decrease to zero when the fuzzy approximation errors decrease to zero. Finally, numerical simulations are performed to confirm the effectiveness of the proposed scheme.