• The Mathematical Education
• /
• v.26 no.1
• /
• pp.41-45
• /
• 1987

In this paper, we give several fixed point theorems in a complete metric space for two multi-valued mappings commuting with two single-valued mappings. In fact, our main theorems show the existence of solutions of functional equations f($\chi$)=g($\chi$)$\in$S$\chi$∩T$\chi$ and $\chi$=f($\chi$)=g($\chi$)$\in$S$\chi$∩T$\chi$ under certain conditions. We also answer an open question proposed by Rhoades-Singh-Kulsherestha. Throughout this paper, let (X, d) be a complete metric space. We shall follow the following notations : CL(X) = {A; A is a nonempty closed subset of X}, CB(X)={A; A is a nonempty closed and founded subset of X}, C(X)={A; A is a nonempty compact subset of X}, For each A, B$\in$CL(X) and $\varepsilon$>0, N($\varepsilon$, A) = {$\chi$$\in$X; d($\chi$, ${\alpha}$) < $\varepsilon$ for some ${\alpha}$$\in$A}, E$\sub$A, B/={$\varepsilon$ > 0; A⊂N($\varepsilon$ B) and B⊂N($\varepsilon$, A)}, and (equation omitted). Then H is called the generalized Hausdorff distance function fot CL(X) induced by a metric d and H defined CB(X) is said to be the Hausdorff metric induced by d. D($\chi$, A) will denote the ordinary distance between $\chi$$\in$X and a nonempty subset A of X. Let R$\^$+/ and II$\^$+/ denote the sets of nonnegative real numbers and positive integers, respectively, and G the family of functions ${\Phi}$ from (R$\^$+/)$\^$s/ into R$\^$+/ satisfying the following conditions: (1) ${\Phi}$ is nondecreasing and upper semicontinuous in each coordinate variable, and (2) for each t>0, $\psi$(t)=max{$\psi$(t, 0, 0, t, t), ${\Phi}$(t, t, t, 2t, 0), ${\Phi}$(0, t, 0, 0, t)} $\psi$: R$\^$+/ \longrightarrow R$\^$+/ is a nondecreasing upper semicontinuous function from the right. Before sating and proving our main theorems, we give the following lemmas:

• Journal of the Korean Mathematical Society
• /
• v.38 no.6
• /
• pp.1191-1204
• /
• 2001

The paper is devoted to the study of fractional integration and differentiation on a finite interval [a, b] of the real axis in the frame of Hadamard setting. The constructions under consideration generalize the modified integration $\int_{a}^{x}(t/x)^{\mu}f(t)dt/t$ and the modified differentiation ${\delta}+{\mu}({\delta}=xD,D=d/dx)$ with real $\mu$, being taken n times. Conditions are given for such a Hadamard-type fractional integration operator to be bounded in the space $X^{p}_{c}$(a, b) of Lebesgue measurable functions f on $R_{+}=(0,{\infty})$ such that for c${\in}R=(-{\infty}{\infty})$, in particular in the space $L^{p}(0,{\infty})\;(1{\le}{\le}{\infty})$. The existence almost every where is established for the coorresponding Hadamard-type fractional derivative for a function g(x) such that $x^{p}$g(x) have $\delta$ derivatives up to order n-1 on [a, b] and ${\delta}^{n-1}[x^{\mu}$g(x)] is absolutely continuous on [a, b]. Semigroup and reciprocal properties for the above operators are proved.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.3
• /
• pp.111-119
• /
• 2010

An artificial light source has a character that a light emits from a point to all directions with many radial and straight ray shapes. It is very difficult and complex to render those emitting lights. Also, users have difficulty in expressing exactly 3D objects because of colors varying with changing of a light and having many parameters. In this paper, to solve those problems we design an artificial light source using X3D to create a model that represents easily many radial and straight ray shapes and propose the online system that each factors of colors to be reflected by a light is separated and then users can control them to detect object's colors by a mouse. Various light sources with reality can be easily created using proposed system.

• Journal of IKEEE
• /
• v.26 no.4
• /
• pp.722-727
• /
• 2022

In this paper, we present the design and characterization of a power amplifier (PA) monolithic microwave integrated circuit (MMIC) in the X-band. The device is designed using a 0.25 ㎛ gate length AlGaN/GaN high electron mobility transistor (HEMT) on SiC process. The developed X-band AlGaN/GaN power amplifier MMIC achieves small signal gain of over 21.6 dB and output power more than 46.11 dBm (40.83 W) in the entire band of 9 GHz to 10 GHz. Its power added efficiency (PAE) is 43.09% ~ 44.47% and the chip dimensions are 3.6 mm × 4.3 mm. The generated output power density is 2.69 W/mm². It seems that the developed AlGaN/GaN power amplifier MMIC could be applicable to various X-band radar systems operating X-band.

• Journal of the Chungcheong Mathematical Society
• /
• v.10 no.1
• /
• pp.105-108
• /
• 1997

In this paper we prove that if D is a continuous derivation on a noncommutative complex Banach algebra A and [D(x),x] is idempotent for every $x{\in}A$, then D maps A into its radical.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2009.06a
• /
• pp.663-664
• /
• 2009

• Kyungpook Mathematical Journal
• /
• v.61 no.3
• /
• pp.487-494
• /
• 2021

In this paper, we study rings with Noetherian spectrum, rings with locally Noetherian spectrum and rings with t-locally Noetherian spectrum in terms of the polynomial ring, the Serre's conjecture ring, the Nagata ring and the t-Nagata ring. In fact, we show that a commutative ring R with identity has Noetherian spectrum if and only if the Serre's conjecture ring R[X]_U has Noetherian spectrum, if and only if the Nagata ring R[X]_N has Noetherian spectrum. We also prove that an integral domain D has locally Noetherian spectrum if and only if the Nagata ring D[X]_N has locally Noetherian spectrum. Finally, we show that an integral domain D has t-locally Noetherian spectrum if and only if the polynomial ring D[X] has t-locally Noetherian spectrum, if and only if the t-Nagata ring $D[X]_{N_v}$ has (t-)locally Noetherian spectrum.

• Journal of the Korean Mathematical Society
• /
• v.43 no.2
• /
• pp.323-356
• /
• 2006

Let X and Y be vector spaces. It is shown that a mapping $f\;:\;X{\rightarrow}Y$ satisfies the functional equation $$mn_{mn-2}C_{k-2}f(\frac {x_1+...+x_{mn}} {mn})$$ $(\ddagger)\;+mn_{mn-2}C_{k-1}\;\sum\limits_{i=1}^n\;f(\frac {x_{mi-m+1}+...+x_{mi}} {m}) =k\;{\sum\limits_{1{\leq}i_1<... if and only if the mapping $f : X{\rightarrow}Y$ is additive, and we prove the Cauchy-Rassias stability of the functional equation $(\ddagger)$ in Banach modules over a unital $C^*-algebra$. Let A and B be unital $C^*-algebra$ or Lie $JC^*-algebra$. As an application, we show that every almost homomorphism h : $A{\rightarrow}B$ of A into B is a homomorphism when $h(2^d{\mu}y) = h(2^d{\mu})h(y)\;or\;h(2^d{\mu}\;o\;y)=h(2^d{\mu})\;o\;h(y)$ for all unitaries ${\mu}{\in}A,\;all\;y{\in}A$, and d = 0,1,2,..., and that every almost linear almost multiplicative mapping $h:\;A{\rightarrow}B$ is a homomorphism when h(2x)=2h(x) for all $x{\in}A$. Moreover, we prove the Cauchy-Rassias stability of homomorphisms in $C^*-algebras$ or in Lie $JC^*-algebras$, and of Lie $JC^*-algebra$ derivations in Lie $JC^*-algebras$.

• Journal of International Society for Simulation Surgery
• /
• v.3 no.1
• /
• pp.16-21
• /
• 2016

Computed tomography (CT) can completely digitize the interior and the exterior of nearly any object without any destruction. Generally, the resolution for industrial CT is below a few microns. The industrial CT scanning, however, has a limitation because it requires long measuring and processing time. Whereas, 2D X-ray imaging is fast. In this paper, we propose a novel concept of 3D non-destructive inspection technique using the advantages of both micro-CT and dual X-ray images. After registering the master object’s CT data and the sample objects’ dual X-ray images, 3D non-destructive inspection is possible by analyzing the matching results. Calculation for the registration is accelerated by parallel computing using graphics processing unit (GPU).

• Communications of the Korean Mathematical Society
• /
• v.19 no.2
• /
• pp.321-328
• /
• 2004

In this paper, we will prove the following: Let D be a nonempty of a normed linear space X and T : D -> X be a nonexpansive mapping. Let ${x_n}$ be a sequence in D and ${t_n}$, ${s_n}$ be real sequences such that (i) $0\;{\leq}\;t_n\;{\leq}\;t\;<\;1\;and\;{\sum_{n=1}}^{\infty}\;t_n\;=\;{\infty},\;(ii)\;(a)\;0\;{\leq}\;s_n\;{\leq}\;1,\;s_n\;->\;0\;as\;n\;->\;{\infty}\;and\;{\sum_{n=1}}^{\infty}\;t_ns_n\;<\;{\infty}\;or\;(b)\;s_n\;=\;s\;for\;all\;n\;{\geq}\;1\;and\;s\;{\in}\;[0,1),\;(iii)\;x_{n+1}\;=\;(1-t_n)x_n+t_nT(s_nTx_n+(1-s_n)x_n)\;for\;all\;n\;{\geq}\;1.$ Then, if the sequence {x_n} is bounded, then $lim_{n->\infty}\;$\mid$$\mid$x_n-Tx_n$\mid$$\mid$\;=\;0$. This result improves and complements a result of Deng [2]. Furthermore, we will show that certain conditions on D, X and T guarantee the weak and strong convergence of the Ishikawa iterative sequence to a fixed point of T.