• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.751-758
• /
• 1995

We prove the existence of solution for a Dirichlet singular boundary value problem. The proofs are based on the method of upper and lower solutions.

• East Asian mathematical journal
• /
• v.40 no.1
• /
• pp.85-94
• /
• 2024

In this paper we study the existence and multiplicity of positive solutions for p-Laplacian problems with a singular weight. Proofs mainly make use of Global Continuation Theorem and Fixed Point Index argument.

• East Asian mathematical journal
• /
• v.36 no.2
• /
• pp.131-146
• /
• 2020

The isoperimetric problem is a well-known optimization problem from ancient Greek. Among plane figures with the same perimeter, which is the largest area surrounded? The answer to the question is circle. Zenodorus and Steiner's pure geometric proofs, which left a lot of achievements in this matter, looked beautiful with ideas at that time. But there was a fatal flaw in the proof. The weakness is related to the existence of the solution. In this paper, from a view of the existence of the solution, we investigate proofs of Zenodorus and Steiner and get educational implications.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.14 no.2
• /
• pp.97-104
• /
• 1989

This paper extends the existence proofs of a Nash equilibrium to a more general class of differentila game models with constraints on the control spaces. With the assumptions of continuity, convexity, and compactness, the existence is proved using Kakutani Theorem and via a path-following approach. Furthermore, the proof for a period-by-period optimization of multi-period problems provides an insight to a numerical solution algorithm to differential game models with constraints.

• Journal of Korean Philosophical Society
• /
• v.141
• /
• pp.1-42
• /
• 2017

This paper's purpose is to seek to grasp how Descartes demonstrates proofs of God's existence on the basis of his works especially Meditations. To consider these points, I shall explore first, second, third proofs that are present in his works, and contents related to God. Descartes argues that there is idea of God within me, but it is God, which is first proof. On the basis of this fact, Descartes shows only God is the cause of thinking self who has idea of God(second proof), both of them are called Cosmological argument. To investigate this, at first he states that representative reality that is different from formal reality sets a kind of hierarchy, the degree of this reality is equally applied to cause and effect, consequently to the cause of my idea or existence(God). From Meditation V, third proof which is called Ontological argument, Descartes examined a supremely perfect God can't be separated from God's existence(perfection) just as surly as the certainty of any shape or number, for example triangle, namely it is quite evident that God's existence includes his essence. Through these processes I shall examine following points: the way of having Descartes' proofs of God's existence itself is not only exposed, God's existence who guarantees cogito ergo sum which is never doubted, despite doubting all things that is outside, is but also postulated; Proofs for the existence of God are an ultimate source of ensuring the clear and distinct perception of human reason, Descartes uses reason suitable for non-christians instead of faith suitable for Christians for these methods, which are similarities with the traditional views on the one hand, but nevertheless there are some of discontinuities establishing authority or power of the first philosophical principle to which God is subjected, on the other.

• Journal of applied mathematics & informatics
• /
• v.37 no.5_6
• /
• pp.481-489
• /
• 2019

In this manuscript, we provide some new results with short proofs for the existence of Picard-Jungck operators in the framework of generalized metric spaces using $C_G$-simulation functions. An example is also provided to illustrate the usability of the results.

• East Asian mathematical journal
• /
• v.40 no.3
• /
• pp.319-328
• /
• 2024

We establish an existence result for a positive solution to the Schrödinger-type singular semipositone problem: $-{\Delta}u\,=\,V(x)u\,=\,{\lambda}{\frac{f(u)}{u^{\alpha}}}$ in Ω, u = 0 on ∂Ω, where Ω is a bounded domain in ℝ^N , N > 2, λ ∈ ℝ is a positive parameter, V ∈ L^∞(Ω), 0 < α < 1, f ∈ C([0, ∞), ℝ) with f(0) < 0. In particular, when ${\frac{f(s)}{s^{\alpha}}}$ is sublinear at infinity, we establish the existence of a positive solutions for λ ≫ 1. The proofs are mainly based on the sub and supersolution method. Further, we extend our existence result to infinite semipositone problems with mixed boundary conditions.

• Journal of the Korean Society for Library and Information Science
• /
• v.1
• /
• pp.77-102
• /
• 1970

The writer discusses about the value of the two-volume Chuchih $Ch'unch\hat{e}ng$ in the Toyo Bunko in terms of its history and contents. The book is an incomplete reprint without preface. However, it has no error in its contents through the three elaborate revisions. The writer defines the book as a scientific and religious work. The author shows in the first volume his hypothesis, analysis, and conclusion, of the order of the things in the universe and in the second volume tries to prove the God's existence and Divine Providence. The proofs presented are related to the scientific thoughts of the West in the 17th century.

• East Asian mathematical journal
• /
• v.38 no.1
• /
• pp.13-20
• /
• 2022

We establish multiplicity results for positive solutions to the Schrödinger-type singular positone problem: -∆u + V (x)u = λf(u) in Ω, u = 0 on ∂Ω, where Ω is a bounded domain in ℝ^N, N > 2, λ is a positive parameter, V ∈ L^∞(Ω) and f : [0, ∞) → (0, ∞) is a continuous function. In particular, when f is sublinear at infinity we discuss the existence of at least three positive solutions for a certain range of λ. The proofs are mainly based on the sub- and supersolution method.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.737-748
• /
• 2012

The goal of this paper is to study the existence of non-trivial non-negative weak solution for the nonlinear elliptic equation: $$-div(h(x){\nabla}u)=f(x,u)\;in\;{\Omega}$$ with Dirichlet boundary condition in a bounded domain ${\Omega}{\subset}\mathbb{R}^N$, $N{\geq}3$, where $h(x){\in}L^1_{loc}({\Omega})$, $f(x,s)$ has asymptotically linear behavior. The solutions will be obtained in a subspace of the space $H^1_0({\Omega})$ and the proofs rely essentially on a variation of the mountain pass theorem in [12].