[논문 리뷰] Multiple positive solutions to a fourth order boundary value problem

Alberto Cabada, Radu Precup외 2명|arXiv (Cornell University)|2015. 11. 06.

Nonlinear Differential Equations Analysis참고 문헌 11인용 수 6

한 줄 요약

이 논문은 비선형 4차 두점 경계값 문제에 대해 캔틸레버 조건을 만족하는 경우, 콘성 구역에서의 임계점 이론, 크라스노스체르스크이의 압축-확장 정리, 단일 측 Harnack형 부등식을 이용하여 양의 해의 존재성과 다중성을 확립한다. 주요 기여는 비선형성 f(t,u)에 적절한 성장 조건이 만족될 경우 최소 두 개의 양의 해가 존재함을 증명하는 것이다.

ABSTRACT

We study the existence and multiplicity of positive solutions for a nonlinear fourth-order two-point boundary value problem. The approach is based on critical point theorems in conical shells, Krasnoselskii's compression-expansion theorem, and unilateral Harnack type inequalities.

연구 동기 및 목표

• 비선형 4차 두점 경계값 문제에 대해 캔틸레버 경계 조건을 만족하는 다수의 양의 해의 존재성을 확립한다.
• 문제와 관련된 함수의 임계점을 찾기 위해 콘성 구역에서의 임계점 정리를 적용한다.
• 크라스노스체르스크이의 압축-확장 정리와 단일 측 Harnack형 부등식을 이용하여 다중성 결과를 도출한다.
• 최소 두 개의 양의 해를 보장하기 위해 비선형성 f(t,u)에 대한 충분한 조건을 제공한다.
• 유도된 조건을 만족하는 명시적 예시를 제시하여 이론적 결과를 설명한다.

제안 방법

• 임베딩 X ⊂ H를 갖는 힐베르트 공간 설정에서 경계값 문제를 변분 문제로 재구성한다.
• BVP의 해와 대응하는 임계점들을 갖는 X 위의 C¹ 함수 E를 정의한다.
• 수정된 팔라스-스미스-셰히터 조건과 압축 경계 조건을 확인함으로써 콘성 구역에서의 임계점 정리를 적용한다.
• 콘성 구역 K_{R₀R₁}에서 크라스노스체르스크이의 압축-확장 정리를 적용하여 최소한 하나의 임계점이 존재함을 보장한다.
• 마운틴 팠 기하학과 아래로 유계임을 확립하여 콘성 구역 내의 임계점을 찾는다.
• 그린 함수를 포함한 단일 측 Harnack형 부등식과 추정치를 활용하여 해의 행동을 통제한다.

실험 결과

연구 질문

• RQ1 비선형성 f(t,u)가 어떤 조건을 만족할 경우 4차 경계값 문제 (1.1)이 다수의 양의 해를 갖는가?
• RQ2 비선형성의 미분 가능성 또는 단조성 조건이 없을 경우 콘성 구역에서의 임계점 이론은 4차 BVP에 어떻게 적용될 수 있는가?
• RQ3 압축-확장 조건과 Harnack형 부등식은 양의 해의 다중성 증명에서 어떤 역할을 하는가?
• RQ4 변분법과 고정점 이론을 병행하여 최소 두 개의 양의 해 존재를 보장할 수 있는가?
• RQ5 f(u)의 0과 무한대에서의 성장 성질은 양의 해의 수에 어떤 영향을 미치는가?

주요 결과

• 비선형성 f(u)가 특정 성장 조건을 만족할 경우 문제 (1.1)은 최소 두 개의 양의 해를 갖는다: lim_{s→0} f(s)/s = ∞ 이고 lim_{s→∞} f(s)/s = 0 이다.
• f(u)를 [0,1]에서 pu^p, [1,b]에서 pu², u≥b에서 p((u−b)^p + b²)로 정의한 예시에서 b가 충분히 클 경우 두 개의 양의 해가 존재한다.
• R₀가 작고 R₁가 클 경우, 기능 E(u)는 콘성 구역 K_{R₀R₁}에서 마운틴 패스 기하학을 만족하여 내부에 최소한 하나의 임계점이 존재함을 보장한다.
• 압축 경계 조건은 R₀ ≤ f(M(a)R₀)‖Jχ_{[a,1]}‖ 이면 위반되며, 이는 f를 0에서의 하위선형성으로 선택함으로써 피할 수 있다.
• 확장 경계 조건은 R₁ ≥ c_∞ f(c_∞ R₁) 이면 위반되며, 이는 f를 무한대에서의 하위선형성으로 선택함으로써 피할 수 있다.
• 기능 E(u)는 K_{R₀R₁}에서 아래로 유계이며, MPSS 조건은 최소화 수열의 수렴을 보장하여 임계점의 존재를 이끈다.