[논문 리뷰] A characterization related to a two-point boundary value problem

Biagio Ricceri|arXiv (Cornell University)|2013. 12. 07.

Differential Equations and Boundary Problems인용 수 7

한 줄 요약

이 논문은 변분 방법과 함수 $ F(\xi)/\xi^2 $ 의 특성화를 이용하여 비선형 항 $ f(u) $ 를 포함하는 두점 경계값 문제에 대해 소에너지 양해가 존재하는 필수 및 필요조건을 확립한다. 주요 결과는 $ F(\xi)/\xi^2 $ 가 어떤 구간 $ (0,b] $ 에서 일정하지 않다는 것과 파arameter $ \lambda $ 의 범위에서 임의로 작은 에너지를 가진 해가 존재하는 것이 동치라는 것이다.

ABSTRACT

In this short note, we establish the following result: Let $f:[0,+\infty[ o [0,+\infty[$, $α:[0,1] o ]0,+\infty[$ be two continuous functions, with $f(0)=0$. Assume that, for some $a>0$, the function $ξ o {{\int_0^ξf(t)dt}\over {ξ^2}}$ is non-increasing in $]0,a]$. Then, the following assertions are equivalent: $(i)$ for each $b>0$, the function $ξ o {{\int_0^ξf(t)dt}\over {ξ^2}}$ is not constant in $]0,b]$ ; $(ii)$ for each $r>0$, there exists an open interval $I\subseteq ]0,+\infty[$ such that, for every $λ\in I$, the problem $$\cases {-u''=λα(t)f(u) & in $[0,1]$\cr & \cr u>0 & in $]0,1[$\cr & \cr u(0)=u(1)=0\cr}$$ has a solution $u$ satisfying $$\int_0^1|u'(t)|^2dt

연구 동기 및 목표

• 비선형 두점 경계값 문제에 대해 임의로 작은 에너지를 가진 양해의 존재를 다루기.
• 함수 $ F(\xi)/\xi^2 $ 의 행동에 따라 이러한 해가 언제 존재하는지 기술하기, 여기서 $ F(\xi) = \int_0^\xi f(t)dt $ 이다.
• $ F(\xi)/\xi^2 $ 가 모든 구간 $ (0,b] $ 에서 일정하지 않다는 것과, 소에너지 해를 갖는 양의 매개변수 구간 $ I $ 가 존재하는 것 사이의 동치성을 확립하기.
• $ H^1_0(0,1) $ 힐버트 공간과 기능 $ J(u) = \int_0^1 \alpha(t)F(u(t))dt $ 를 사용하여 문제를 분석하기 위한 변분 프레임워크를 제공하기.
• 특정 연속성 및 곡률 조건을 만족하는 함수 $ f $ 의 광범위한 클래스에 대해 결과의 적용 가능성을 확장하기.

제안 방법

• 해는 $ H^1_0(0,1) $ 에 정의된 기능 $ J $ 의 영이 아닌 임계점에 해당하는 변분 접근법을 통해 분석된다.
• 핵심 도구로는 $ J(0) = 0 $ 이며, 순차적으로 약한 상부준연속성과 가트랑드 미분 가능성을 갖는 기능 $ J $ 의 사용이다.
• 증명은 이전 연구에서의 정리 A 를 기반으로 하며, 도함수에 대한 엄격한 부등식 조건을 만족할 경우, 구 $ B_r $ 의 내부에 영이 아닌 해가 존재함을 보장한다.
• $ F(\xi)/\xi^2 $ 가 일정하지 않다는 가정 하에 $ \langle J'(u), u \rangle < 2J(u) $ 라는 부등식을 유도하며, 이는 정리 A 의 적용을 유도한다.
• 점별 값의 제어를 위해 임베딩 부등식 $ \|u\|_{L^\infty} \leq \frac{1}{2}\|u\|_{H^1_0} $ 를 사용하여 $ L^\infty $-노름과 에너지를 연결한다.
• 역방향으로 모순을 사용한다: $ F(\xi)/\xi^2 $ 가 어떤 구간에서 일정하다고 가정하면, 해를 갖는 $ \lambda $-값이 가 countable 하게만 존재하게 되며, 이는 개구간 $ I $ 가 존재한다는 것과 모순된다.

실험 결과

연구 질문

• RQ1 비선형 두점 경계값 문제 $ -u'' = \lambda \alpha(t)f(u) $, $ u(0) = u(1) = 0 $ 가 임의로 작은 에너지를 가진 해를 갖기 위한 $ f $ 에 대한 조건은 무엇인가?
• RQ2 $ F(\xi)/\xi^2 $ 가 모든 구간 $ (0,b] $ 에서 일정하지 않다는 것과, 임의의 주어진 $ r > 0 $ 에 대해 $ \int_0^1 |u'|^2 dt < r $ 를 만족하는 해가 존재하는 매개변수 $ \lambda \in I $ 의 양의 구간 $ I $ 가 존재하는 것이 동치인가?
• RQ3 $ F(\xi)/\xi^2 $ 가 $ (0,a] $ 에서 단조감소하는 것과 비선형 고유값 문제의 해 집합의 구조 사이의 관계는 무엇인가?
• RQ4 결과는 특정한 고차 도함수 조건을 만족하는 함수들, 특히 0 근처에서의 고차 도함수를 갖는 비선형성에 대해 광범위하게 확장될 수 있는가?
• RQ5 $ J(u) = \int_0^1 \alpha(t)F(u(t))dt $ 기능은 $ F(\xi)/\xi^2 $ 의 일정하지 않음과 소에너지 해 존재성 사이의 연결 고리에서 어떤 역할을 하는가?

주요 결과

• $ F(\xi)/\xi^2 $ 가 모든 구간 $ (0,b] $ 에서 일정하지 않다는 것은, 임의의 주어진 $ r > 0 $ 에 대해 $ \int_0^1 |u'(t)|^2 dt < r $ 를 만족하는 해 $ u $ 가 존재하는 개구간 $ I \subseteq (0,\infty) $ 가 존재하는 데 필수적이고 충분한 조건이다.
• 만약 $ F(\xi)/\xi^2 $ 가 어떤 구간 $ (0,b] $ 에서 일정하다면, $ f(\xi) = 2c\xi $ 가 $ [0,b] $ 에서 성립하며, 이는 해를 갖는 $ \lambda $-값이 가 countable 하게만 존재하는 선형 문제로 이어지며, 개구간 $ I $ 가 존재한다는 것과 모순된다.
• $ F(\xi)/\xi^2 $ 가 $ (0,a] $ 에서 비증가함을 보장하는 조건은 $ f(\xi)\xi \leq 2F(\xi) $ 를 보장하며, 이는 정리 A 에서 필요한 엄격한 부등식 $ \langle J'(u), u \rangle < 2J(u) $ 를 도출하는 데 필수적이다.
• 0 근처에서 $ 2k+1 $ 번 미분 가능하고 $ f^{(2k)}(0) < 0 $ 이며, 0 에서의 저차수 짝수 도함수들이 0 이 되는 함수들에 대해 $ F(\xi)/\xi^2 $ 는 0 근처에서 엄격히 감소하므로, 정리의 가정을 만족한다.
• 결과는 $ f $ 가 0 근처에서 $ 2c\xi $ 와 유사하지만 제어 가능한 방식으로 선형성에서 벗어나는 함수들에 대해 광범위한 비선형성 클래스에 적용 가능하며, 이는 일정하지 않음 조건을 만족시킨다.