• 제목/요약/키워드: Existence of proofs

검색결과 16건 처리시간 0.02초

등주문제에서 해의 존재성 고찰 (A Study on the Existence of the Solution in the Isoperimetric Problem)

  • 이호수;최근배
    • East Asian mathematical journal
    • /
    • 제36권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.

미분게임 일반모형에 대한 Nash 균형해의 존재증명 (Existence Proffs of a Nash Equilibrium to a General Class of Differential Games)

  • Kim, Yang-Yul
    • 한국경영과학회지
    • /
    • 제14권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.

  • PDF

데카르트 신 존재증명의 의의 (Descartes' proofs for the existence of God)

  • 김완종
    • 철학연구
    • /
    • 제141권
    • /
    • pp.1-42
    • /
    • 2017
  • 본 논문은 데카르트의 "성찰"(Meditations)을 중심으로 신 존재증명을 논증한다. 데카르트의 신 존재증명 방식은 공식적으로 전통적인 신앙이 아니라 넌크리스천을 위해 기하학적 방식으로 이성에 호소하였다는 점을 분석적 방식(대부분 Georges Dicker의 방식)을 사용해서 밝힐 것이다. 그의 신 존재 논증은 "성찰 III"에 나타난 첫 번째, 두 번째 증명과 "성찰 V"의 세 번째 증명이다. 데카르트는 "성찰 III"에서 신의 관념은 내 안에 있지만 그 관념의 원인자는 신이며(첫 번째 논증), 이에 근거하여 신의 관념을 가지고 있는 사유하는 자아의 존재를 신만이 원인자(두 번째 논증)라는 우주론적 논증(Cosmological argument)을 제시한다. 이를 위해 그는 먼저 관념들을 형상적 실재성(formal reality)과는 다른 표상적 실재성(representative reality)의 차등에 따라 위계가 정해진다는 것을 진술하고, 이 실재성의 차등이 결과와 원인으로 동일하게 적용되어 최초의 관념인 신에게로 나아가며 나의 존재의 원인(나는 누구로부터 나왔는가?)도 신이 될 수밖에 없다는 것을 논증한다. 세 번째 논증인 존재론적 논증(Ontological argument)에서 필자는 최고의 완전한 존재자인 신이 모양이나 수를 증명하는 것과 수학의 확실성 못지않게 신의 존재(완전성)가 그의 본질에 포함되어 있다는 사실이 명석 판명하다는 데카르트의 논증을 살핀다. 이를 통해 필자는 그의 신 존재 증명의 의도와 의의가 신은 회의의 대상이 될 수 없는 '나는 생각한다 그러므로 존재한다'(cogito ergo sum)를 보증하는 것 즉, 이성을 만족시키고 충족시킬 수 있는 것은 신의 존재 밖에 없었기 때문에 신이 요구되었으며, 인간 이성의 명석 판명한 지각이 참된 인식일 수 있다는 것을 보증해주는 궁극적 근거의 확보였다는 것을 고찰할 것이다. 더 나아가 그의 증명이 전통적인 노선(안셀무스, 토마스 아퀴나스)에 있었지만 그럼에도 불구하고 신 존재증명은 전통과는 다른 의미의 증명이며 전적으로 다른 의미의 신존재였다(Jean-Luc Marion)는 것을 비판적으로 검토할 것이다.

EXISTENCE OF PICARD-JUNGCK OPERATOR USING CG-SIMULATION FUNCTIONS IN GENERALIZED METRIC SPACES

  • CHANDOK, SUMIT
    • Journal of applied mathematics & informatics
    • /
    • 제37권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.

EXISTENCE OF A POSITIVE SOLUTION TO INFINITE SEMIPOSITONE PROBLEMS

  • Eunkyung Ko
    • East Asian mathematical journal
    • /
    • 제40권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.

동양문고소장 중간본 "주제군징"에 대하여 -특히 판본과 그 자료적 가치를 중심으로- (A Study of the Chuchih $Ch'unch\hat{e}ng$, or 'Proofs of Providence,' with Emphasis on Its Impression and Value)

  • 심우준
    • 한국문헌정보학회지
    • /
    • 제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.

  • PDF

MULTIPLICITY OF POSITIVE SOLUTIONS TO SCHRÖDINGER-TYPE POSITONE PROBLEMS

  • Ko, Eunkyung
    • East Asian mathematical journal
    • /
    • 제38권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.

EXISTENCE OF WEAK NON-NEGATIVE SOLUTIONS FOR A CLASS OF NONUNIFORMLY BOUNDARY VALUE PROBLEM

  • Hang, Trinh Thi Minh;Toan, Hoang Quoc
    • 대한수학회보
    • /
    • 제49권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].