[논문 리뷰] Existence of positive solutions in the superlinear case via coincidence degree: the Neumann and the periodic boundary value problems

Guglielmo Feltrin, Fabio Zanolin|arXiv (Cornell University)|2015. 03. 17.

Nonlinear Differential Equations Analysis참고 문헌 32인용 수 19

한 줄 요약

이 논문은 $ u'' + a(x)g(u) = 0 $ 형태의 이차 초선형 불확정 문제에 대해, $ g(u) $ 가 영과 무한대에서 모두 초선형 성장을 보이고 $ a(x) $ 가 부호가 변화하는 경우에 대해 양의 주기적 및 뉴먼 해의 존재성을 확립한다. 마빈의 일치도 이론을 사용하여, 비자명한 양의 해가 존재하기 위한 필요 및 충분조건을 도출하였으며, 이는 이전의 딜리클레 문제에 국한된 결과를 뉴먼 및 주기적 설정으로 확장한 것이다.

ABSTRACT

We prove the existence of positive periodic solutions for the second order nonlinear equation $u" + a(x) g(u) = 0$, where $g(u)$ has superlinear growth at zero and at infinity. The weight function $a(x)$ is allowed to change its sign. Necessary and sufficient conditions for the existence of nontrivial solutions are obtained. The proof is based on Mawhin's coincidence degree and applies also to Neumann boundary conditions. Applications are given to the search of positive solutions for a nonlinear PDE in annular domains and for a periodic problem associated to a non-Hamiltonian equation.

연구 동기 및 목표

• 뉴먼 및 주기적 경계 조건을 가진 초선형 불확정 경계값 문제에서의 양의 해 존재 기준을 확립하기.
• 이전에 딜리클레 문제에 국한되어 있던 결과를 위상적 방법을 사용하여 뉴먼 및 주기적 설정으로 확장하기.
• 평균값이 음수인 음의 부호를 가진 가중함수 $ a(x) $ 가 초선형 비선형성에도 불구하고 양의 해 존재에 미치는 영향을 분석하기.
• 초선형 경우에서 비자명한 양의 해 존재에 대한 필요 및 충분조건을 제공하기.
• 결과를 링형 영역에서의 비선형 PDE 및 비해밀토니안 주기 문제에 적용하기.

제안 방법

• 뉴먼 및 주기적 경계값 문제의 맥락에서 해 존재성을 분석하기 위해 마빈의 일치도 이론을 적용하기.
• 초선형 비선형성 $ g(u) $ 를 다루기 위해 사전 경계 및 위상도 추론을 사용하기. 여기서 $ g(0) = 0 $, $ g(s) > 0 $ for $ s > 0 $, 그리고 0과 $ +\infty $ 에서 모두 초선형 성장을 만족한다.
• 해의 행동을 제어하기 위해 슈타르름 비교 정리와 고유값 추정을 사용하여 $ a(x) > 0 $ 인 부분구간, 특히 $ a(x) $ 가 양수인 구간 $ J $ 에 집중적으로 분석하기.
• 근사해의 수열 $ \tilde{u}_n $ 을 구성하고, 오목성 및 비교 기법을 사용하여 양의 고유함수 $ \varphi $ 와의 적분을 통해 모순 추정을 도출하기.
• 함수 $ h(x,s) $ 에 대한 카라테오도리 조건과 적분 가능성 가정을 사용하여 극한 추론에서 도미네이티드 수렴 정리를 적용하기.
• 비음수 양이 양수여야 하는 데 반해, 이는 0 이하일 수 있음을 보여 모순을 유도함으로써, 특정 조건 하에서 큰 해가 존재하지 않음을 증명하고, 이는 사전 경계의 존재를 의미한다.

실험 결과

연구 질문

• RQ1 초선형 불확정 뉴먼 및 주기적 경계값 문제에서의 양의 해 존재에 대한 필요 및 충분조건은 무엇인가?
• RQ2 특히 평균값이 음수인 $ a(x) $ 의 부호 변화 성격이 초선형 경우의 양의 해 존재에 어떻게 영향을 미치는가?
• RQ3 마빈의 일치도 방법은 초선형 불확정 방정식에 대해 딜리클레 문제에서 뉴먼 및 주기적 문제로 확장될 수 있는가?
• RQ4 0과 무한대에서 $ g(u) $ 의 초선형 성장이 불확정 가중치가 존재하는 상황에서도 양의 해 존재를 가능하게 하는 데 어떤 역할을 하는가?
• RQ5 뉴먼/주기적 문제에서 첫 번째 고유값 $ \lambda_0 > 0 $ 가 존재하지 않는 상황을 고려할 때, 위상적 접근은 어떻게 수정되어야 하는가?

주요 결과

• 논문은 $ g(u) $ 에 대한 초선형 성장 조건 하에서, $ a(x) $ 가 부호를 변화시키더라도 뉴먼 및 주기적 경계값 문제에 대해 최소한 하나의 양의 해가 존재함을 증명한다.
• 해의 존재를 위한 필수 조건은 $ \int_0^T a(x)\,dx < 0 $ 이며, 이는 부분적 적분과 $ g'(s) $ 의 양의 성질로부터 유도되며, 이는 가중치가 비음수일 수 없음을 보장한다.
• 저자는 뉴먼/주기적 경우에서 첫 번째 고유값 $ \lambda_0 $ 가 0임을 확립하였으며, 이는 딜리클레 문제에서 사용된 고전적 접근 방식을 무효화하므로 새로운 방법이 필요함을 시사한다.
• 해가 유계가 아닐 경우를 가정하고 근사해 수열 $ \tilde{u}_n $ 을 구성하고, 양의 고유함수 $ \varphi $ 와의 슈타르름 비교를 통해 모순을 도출함으로써 사전 경계의 존재를 증명한다.
• 모순은 $ \varepsilon N \int_J q_N(x)\varphi(x)\,dx > 0 $ 로 아래로 유계인 양이 $ \leq 0 $ 여야 함을 보여, 이는 불가능하다는 점에서 발생한다.
• 이 방법은 뉴먼 및 주기적 문제 모두에 적용 가능하며, 경계 조건이 핵심 모순 추론에 영향을 주지 않으며, 해의 음이 아닌 성질과 오목성에 의존하기 때문이다.