[논문 리뷰] Ground state solution of a nonlocal boundary-value problem

Cyril Joël Batkam|arXiv (Cornell University)|2013. 11. 09.

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

한 줄 요약

이 논문은 비국소적 치르히호프 유형 방정식에 대해 비선형성의 일반적인 4-초선형 조건 하에서, 앤티리 맨포ลด레인 방법을 사용하여 기저 상태 해의 존재성을 확립한다. 아름드리-라빈스키 조건을 요구하지 않으며, 비선형성이 홀수일 경우 무한히 많은 해의 존재성도 증명한다. 비록 네하리 만델이 C¹-연속이 아닐 수 있지만, 이 방법은 여전히 성공한다.

ABSTRACT

In this paper, we apply the method of the Nehari manifold to study the Kirchhoff type equation \begin{equation*} -\Big(a+b\int_Ω| abla u|^2dx\Big)Δu=f(x,u) \end{equation*} submitted to Dirichlet boundary conditions. Under a general $4-$superlinear condition on the nonlinearity $f$, we prove the existence of a ground state solution; that is a nontrivial solution which has least energy among the set of nontrivial solutions. In case which $f$ is odd with respect to the second variable, we also obtain the existence of infinitely many solutions. Under our assumptions the Nehari manifold does not need to be of class $\mathcal{C}^1$.

연구 동기 및 목표

• 비국소적 키르히호프 유형 방정식에 대해 일반적인 4-초선형 비선형성 조건 하에서 기저 상태 해의 존재성을 확립한다.
• 주어진 가정 하에서 네하리 만델이 C¹-연속이 아닐 수 있는 문제에 대응한다.
• 비선형성이 홀수 대칭 조건을 만족할 경우 무한히 많은 해의 존재성을 증명한다.
• 고전적인 앤티리-라빈스키 조건을 가정하지 않아도 결과가 성립함을 보여준다. 이 조건은 일반적으로 팔라이스-스무스 유계성을 확보하기 위해 사용된다.

제안 방법

• 에너지 함수를 제약 만델에서 최소화하는 방식으로 문제를 축소하기 위해 네하리 만델 방법을 사용한다.
• 비선형성의 임계점을 분석하기 위해 함수 $ \alpha_u(t) = \Phi(tu) $ 를 통한 섬유화 지도 접근법을 적용한다.
• 팔라이스-스무스 수열을 추출하기 위해 샤펠로프 공간 $ H_0^1(\Omega) $ 의 단위 구면에서 에클란드의 변분 원리를 적용한다.
• 단위 구면에서 네하리 만델로의 호메오모르피즘 $ M: S \to \mathcal{N} $ 을 사용하여 최소화 문제를 구면에서 네하리 만델로 이전한다.
• 파투의 보조정리와 레플리히-콘드라쇼프 컴팩턴스를 적용하여 팔라이스-스무스 수열의 유계성과 수렴성을 증명한다.
• 비선형성의 구조와 성장 조건을 활용하여 약한 수렴성과 $ H_0^1(\Omega) $ 에서의 강한 수렴성을 통해 임계점의 존재성을 확립한다.

실험 결과

연구 질문

• RQ1 네하리 만델이 C¹-연속이 아닐 경우 비국소적 키르히호프 방정식에 대해 기저 상태 해를 확보할 수 있는가?
• RQ2 앤티리-라빈스키 조건이 없으면서도 4-초선형 성장 조건을 만족할 경우 기저 상태 해의 존재성이 방해받는가?
• RQ3 비선형성의 대칭성이 언제 무한히 많은 해를 초래하는가?
• RQ4 앤티리-라빈스키 조건을 위반하지만 4-초선형 성장 조건을 만족하는 비선형성은 여전히 기저 상태 해를 유도할 수 있는가?

주요 결과

• 조건 (f₁)–(f₄) 하에서 문제는 기저 상태 해를 갖는다. 즉, 모든 비자명한 해 중에서 최소 에너지를 갖는 비자명한 해이다.
• 네하리 만델이 $ \mathcal{C}^1 $ 클래스일 필요는 없으며, 단위 구면에서 네하리 만델로의 호메오모르피즘 덕분에 방법은 여전히 성공한다.
• 비선형성이 홀수일 경우(f₅), 에너지 함수는 짝수이며, 문제는 서로 다른 무한히 많은 해 쌍을 갖는다.
• 고전적인 앤티리-라빈스키 조건을 가정하지 않아도 기저 상태 해의 존재성이 증명된다. 이는 기존 가정의 상당한 완화이다.
• 명시적 예시 $ f(x,u) = u^3 \ln(1 + |u|) $ 는 (f₁)–(f₅)를 만족하지만 앤티리-라빈스키 조건을 위반한다.
• 예시에 대해 앤티리-라빈스키 조건을 가정할 경우 성장률에 모순이 발생하므로, 이 조건이 만족되지 않음을 확인함으로써 결과의 일반성은 검증된다.