• Journal of the Chungcheong Mathematical Society
• /
• v.20 no.1
• /
• pp.59-64
• /
• 2007

In this paper, we will introduce the generalized operator equlibrium problem and generalized operator quasi-equlibrium problem which generalize operator equlibrium problem due to Kazmi and Raouf into multi-valued and quasi-equlibrium problems. Using a Park's fixed point theorem, we will prove a new existence theorem on generalized operator equlibrium problem which serves as a basic existence theorem for various kinds of nonlinear problems.

• Communications of the Korean Mathematical Society
• /
• v.11 no.1
• /
• pp.265-272
• /
• 1996

In this note we prove a functional central limit theorem for linearly positive quadrant dependent(LPQD) random fields, satisfying some assumption on covariances and the moment condition $\sup_{n \in \Zeta^d} E$\mid$S_n$\mid$^{2+\rho} < \infty$ for some $\rho > 0$. We also apply this notion to random measures.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1115-1131
• /
• 2016

In this paper we develop useful relations which estimate the difference between the solutions of nonlinear impulsive differential systems with different initial values. Then we obtain the converse h-stability theorem of Massera's type for the nonlinear impulsive systems by employing the $t_{\infty}$-similarity of the associated impulsive variational systems and relations.

• Korean Journal of Logic
• /
• v.20 no.2
• /
• pp.241-271
• /
• 2017

Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest's argument for Dialetheism from $G{\ddot{o}}del^{\prime}s$ theorem is unconvincing as the lesson of $G{\ddot{o}}del^{\prime}s$ proof (or Rosser's proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest's inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying $G{\ddot{o}}del$ sentence to the inconsistent and complete theory of arithmetic. We argue, however, that the alternative argument raises a circularity problem. In sum, $G{\ddot{o}}del^{\prime}s$ and its related theorem merely show the relation between a complete and a consistent theory. A contradiction derived by the application of $G{\ddot{o}}del$ sentence has the value of true sentences, i.e. the both-value, only under the inconsistent models for arithmetic. Without having the assumption of inconsistency or completeness, a true contradiction is not derivable from the application of $G{\ddot{o}}del$ sentence. Hence, $G{\ddot{o}}del^{\prime}s$ and its related theorem never can be a ground for Dialetheism.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.48 no.6
• /
• pp.8-14
• /
• 2011

In this note, a proof of Utkin's theorem is presented for SI(Single input) uncertain linear systems. The invariance theorem with respect to the two transformation methods so called the two diagonalization methods is proved clearly and comparatively for SI uncertain linear systems. With respect to the sliding surface transformation, the equation of the sliding mode i.e., the sliding surface is invariant. The control inputs by the two transformation methods both have the same gains. By means of the two transformation methods, the same results can be obtained. Through an illustrative example and simulation study, the usefulness of the main results is verified.

• International Journal of Aeronautical and Space Sciences
• /
• v.17 no.2
• /
• pp.157-166
• /
• 2016

Aerodynamic loads for a horizontal axis wind turbine of the National Renewable Energy Laboratory (NREL) Phase VI rotor in yawed condition were predicted by using the blade element momentum theorem. The classical blade element momentum theorem was complemented by several aerodynamic corrections and models including the Pitt and Peters' yaw correction, Buhl's wake correction, Prandtl's tip loss model, Du and Selig's three-dimensional (3-D) stall delay model, etc. Changes of the aerodynamic loads according to the azimuth angle acting on the span-wise location of the NREL Phase VI blade were compared with the experimental data with various yaw angles and inflow speeds. The computational flow chart for the classical blade element momentum theorem was adequately modified to accurately calculate the combined functions of additional corrections and models stated above. A successive under-relaxation technique was developed and applied to prevent possible failure during the iteration process. Changes of the angle of attack according to the azimuth angle at the specified radial location of the blade were also obtained. The proposed numerical procedure was verified, and the predicted data of aerodynamic loads for the NREL Phase VI rotor bears an extremely close resemblance to those of the experimental data.

• Journal of the Korean Mathematical Society
• /
• v.41 no.4
• /
• pp.737-746
• /
• 2004

In this paper, from the KKM theorem, we deduce almost fixed point theorems for convex-valued u.s.c. (or l.s.c.) multimaps satisfying certain conditions originated from Zima [19]. From these results, we obtain various fixed point theorems which extend a number of known results.

• Korean Journal of Mathematics
• /
• v.24 no.2
• /
• pp.297-305
• /
• 2016

In this paper, by using fixed point theorem, we obtain the stability of the following functional equations $$f(pr,qs)+g(ps,qr)={\theta}(p,q,r,s)f(p,q)h(r,s)\\f(pr,qs)+g(ps,qr)={\theta}(p,q,r,s)g(p,q)h(r,s)$$, where G is a commutative semigroup, ${\theta}:G^4{\rightarrow}{\mathbb{R}}_k$ a function and f, g, h are functionals on $G^2$.

• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1391-1409
• /
• 2016

In this paper, we investigate a family of holomorphic functions in several complex variables concerning the total derivative (or called radial derivative), and obtain some well-known normality criteria such as the Miranda's theorem, the Marty's theorem and results on the Hayman's conjectures in several complex variables. A high-dimension version of the famous Zalcman's lemma for normal families is also given.

• Journal of Multimedia Information System
• /
• v.8 no.2
• /
• pp.131-142
• /
• 2021

This paper traces the process of constructing a new one-dimensional chaotic map, and will provide a simple application in color image encryption. The use of Sarkovskii's theorem will make it possible to determine the existence of chaos and restrict all conditions to ensure the existence of this new sequence. In addition, the sensitivity to initial conditions will be proved by Lyapunov's index value. Similarly, the performance of this new chaotic map will be illustrated graphically and compared with other chaotic maps most commonly used in cryptography. Finally, a humble color image encryption application will show the power of this new chaotic map.