• The Pure and Applied Mathematics
• /
• v.6 no.1
• /
• pp.27-32
• /
• 1999

In this paper, we show that the existence of the solutions to the variational-type inequalities for set-valued mappings on normed linear spaces using Fan's section theorem.

• Communications of Mathematical Education
• /
• v.8
• /
• pp.273-278
• /
• 1999

In this paper, we consider the existence of solutions to the variational-type inequalities for single-valued mappings and set-valued mappings on reflexive Banach spaces using Fan's section theorem.

• Journal of the Korean Mathematical Society
• /
• v.56 no.6
• /
• pp.1489-1502
• /
• 2019

This paper describes when a partial isometry satisfies several weak normal properties. Topics treated include quasi-normality, subnormality, hyponormality, p-hyponormality (p > 0), w-hyponormality, paranormality, normaloidity, spectraloidity, the von Neumann property and Weyl's theorem.

• Journal of the Korean Mathematical Society
• /
• v.59 no.5
• /
• pp.987-996
• /
• 2022

We introduce the notions of symbolic expansivity and symbolic shadowing for homeomorphisms on non-metrizable compact spaces which are generalizations of expansivity and shadowing, respectively, for metric spaces. The main result is to generalize the Smale's spectral decomposition theorem to symbolically expansive homeomorphisms with symbolic shadowing on non-metrizable compact Hausdorff totally disconnected spaces.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.4
• /
• pp.645-656
• /
• 2010

In this paper, we prove a common fixed point theorem for four mappings on fuzzy 2-metric spaces. Our result is an extension of results of S. H. Cho [2] to fuzzy 2-metric spaces. Also, it is a generalization of a result of S. Sharma [11].

• The Pure and Applied Mathematics
• /
• v.11 no.1
• /
• pp.89-96
• /
• 2004

We prove de Leeuw's restriction theorem result Jodeit, Jr. [4] for multipliers on $H^{p}$ spaces, p＜1.

• Communications of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.395-403
• /
• 2005

The authors aim mainly at giving fifteen three-term contiguous relations for the basic hypergeometric series $series\;_2{\phi}_1$ corresponding to Gauss's contiguous relations for the hypergeometric series $series\;_2F_1$ given in Rainville([6], p.71). They also apply them to obtain two summation formulas closely related to a known q-analogue of Kummer's theorem.

• Nonlinear Functional Analysis and Applications
• /
• v.28 no.3
• /
• pp.601-612
• /
• 2023

The existence of solution of the fractional order differential equations is very important mathematical field. Thus, in this work, we discuss, under some hypothesis, the existence of a positive solution for the nonlinear fourth order fractional boundary value problem which includes the p-Laplacian transform. The proposed method in the article is based on the fixed point theorem. More precisely, Krasnosilsky's theorem on a fixed point and some properties of the Green's function were used to study the existence of a solution for fourth order fractional boundary value problem. The main theoretical result of the paper is explained by example.

• Journal of the Society of Naval Architects of Korea
• /
• v.54 no.3
• /
• pp.250-257
• /
• 2017

It is desirable to have a way to predict the pressure drag due to various appendages attached to stern. As a mathematical model for these, a sphere and a singularity behind it, both in the uniform flow can be considered. We may use the Butler's sphere theorem to find the Stokes' stream function when the resulting flow is axisymmetric, and then the extended Lagally's theorem to get the force upon the sphere due to the singularity. Assuming the separation distance between the sphere and the singularity is small, the leading order approximation for the force is obtained and it is found out that if the separation distance and the square root of the strength of the dipole are of the same order, the effect of the image of the dipole with respect to the sphere is the most important.

• Korean Journal of Cognitive Science
• /
• v.6 no.3
• /
• pp.5-23
• /
• 1995

According to a well-known argument (so-called the Godelian argument) proposed by Lucas. Godel's theorem refutes the thesis of mechanism. that is, the thesis that human cognitive system is no more than a Turing machine. The main aim of this paper is to show that this argument is not successful. However. I also argue that many pre-existing objections (by Benacerraf, Slezak. Boyer. Hofstadter etc.) to Gooelian argument are not satisfactory. either. Using Tarski's theorem. I then strengthen what I caII the consistency objection to Godelian argument. In my dilemma objection obtained. Godelian argument doesn't work because the argument has a false premise if we have the concept of global truth and the argument cannot be stated if not.