• Bulletin of the Korean Mathematical Society
• /
• v.36 no.3
• /
• pp.565-578
• /
• 1999

In this paper some common fixed point theorems for pairs of condensing mappings in a Banach space are proved and applications are given to a pair of nonlinear first order ordinary differential equations in Banach spaces for proving the existence of common solution under suitable conditions.

• Communications of the Korean Mathematical Society
• /
• v.21 no.4
• /
• pp.759-769
• /
• 2006

Let L : $C\;\rightarrow\;C$ be a hyperbolic automorphism. Then the hyperbolic toral automorphism $L_A\;T^2\;\rightarrow\;T^2$, induced by L, is a chaotic map ([2] pg.192). We characterize hyperbolic toral automorphisms by proving the converse of the above statement.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.315-330
• /
• 2007

In this paper, some hybrid fixed point theorems are proved which are further applied to first and second order neutral functional differential equations for proving the existence results for the extremal solutions under the mixed Lipschitz, compactness and monotonic conditions.

• Kyungpook Mathematical Journal
• /
• v.50 no.1
• /
• pp.165-175
• /
• 2010

In the paper we consider deemed three mock theta functions introduced by Hikami. We have given their alternative expressions in double summation analogous to Hecke type expansion. In proving we also give a new Bailey pair relative to $a^2$. I presume they will be helpful in getting fundamental transformations.

• Honam Mathematical Journal
• /
• v.34 no.2
• /
• pp.253-261
• /
• 2012

This work aims at proving the FKG inequalities for the analogue of Wiener functionals with special orders on the analogue of Wiener space.

• East Asian mathematical journal
• /
• v.24 no.5
• /
• pp.465-476
• /
• 2008

Even though Godel's theorem is remarkable to mathematics teachers, it is not simple to understand the proof in detail. It would be useful for us to understand the basic ideas and the proving process of the proof. In this note, we suggest a proposal for the purpose.

• East Asian mathematical journal
• /
• v.24 no.5
• /
• pp.497-507
• /
• 2008

Two proving methods are investigated. One method uses we mathematical induction and the other uses the progression of difference. Two methods are analysed and compared. As a result, we get a generalization of these series.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2007.06a
• /
• pp.51-52
• /
• 2007

• Bulletin of the Korean Mathematical Society
• /
• v.8 no.1
• /
• pp.9-15
• /
• 1971

The purpose of this note is to use primitive recursive functions and predicates similar to those presented by Davis [2] to show the well-known result first proved by Godel in [3] that the well-formed formulas of a pure functional calculus form a recursive set. The technique shown in this paper immediately suggests a unique approach to Theorem proving using a computer.

• Communications of the Korean Mathematical Society
• /
• v.13 no.4
• /
• pp.933-936
• /
• 1998

We aim at giving another method of proving the well-known and useful Kummer's second theorem without changing its original form.