[논문 리뷰] On fractional Schrödinger equations in (\mathbb{R}^N) without the Ambrosetti-Rabinowitz condition

Simone Secchi|arXiv (Cornell University)|2012. 10. 02.

Nonlinear Partial Differential Equations참고 문헌 18인용 수 19

한 줄 요약

이 논문은 분수 슈뢰딩거 방정식의 구면 대칭 해의 존재성을, 암브로세티-라비노비츠 조건을 요구하지 않고, 변분적 접근법과 분수 라플라스 연산자에 대한 새로운 포호자에프 항등식을 결합하여 증명한다. 주요 기여는 비선형성의 성장 조건을 더 약하게 만족할 경우에도 해의 존재성을 입증한 데 있다. 이는 기존의 국소적 가정을 초월한 비국소 연산자에 대한 결과를 확장한 것이다.

ABSTRACT

In this note we prove the existence of radially symmetric solutions for a class of fractional Schrödinger equation in (\mathbb{R}^N) of the form {equation*} \slap u + V(x) u = g(u), {equation*} where the nonlinearity $g$ does not satisfy the usual Ambrosetti-Rabinowitz condition. Our approach is variational in nature, and leans on a Pohozaev identity for the fractional laplacian.

연구 동기 및 목표

• 비선형성 $g(u)$가 암브로세티-라비노비츠 조건을 만족하지 않을 경우, $\mathbb{R}^N$에서 분수 슈뢰딩거 방정식에 대한 비자명한 구면 대칭 해의 존재성을 확립하는 것.
• 분수 라플라스 연산자 $(-\Delta)^s$의 비국소성에 기인한 과제를 극복하여 변분 방법을 분수 슈뢰딩거 방정식에 확장하는 것.
• 표준 성장 조건이 없는 상황에서도 해를 다룰 수 있도록 분수 라플라스 연산자에 특화된 포호자에프 유형의 항등식을 개발하고 적용하는 것.
• 변분 존재성 증명에 핵심적인 역할을 하는, 구면 대칭 분수 소볼레프 공간이 르베그 공간에 컴팩트 임베딩됨을 보장하는 것.
• 이전에 요구되었던 것보다 더 약한 조건 하에서 비임계 비선형성으로의 존재 결과를 일반화하는 것.

제안 방법

• 에너지 함수와 관련된 해를 찾는 변분 프레임워크를 사용하며, 방정식 $(-\Delta)^s u + V(x)u = g(u)$의 임계점으로서 해를 구한다.
• 새로운 분수 라플라스 연산자에 대한 포호자에프 항등식을 유도하고, 비표준 성장 조건 하에서 약한 해의 거동을 제어하는 데 사용한다.
• 기본 함수 공간으로 분수 소볼레프 공간 $H^s(\mathbb{R}^N)$을 사용하며, 푸리에 변환과 가가르도 반영을 통한 노름을 정의한다.
• 반지름 대칭 분수 소볼레프 공간의 임베딩 $W^{s,2}_{\text{rad}}(\mathbb{R}^N) \hookrightarrow L^q(\mathbb{R}^N)$ 이론을 활용하여, $2 < q < 2^*$일 때 컴팩트성을 확보한다. 이는 라이온스와 스트라우스의 결과에 기반한다.
• 반지름 함수에 대한 수정된 스트라우스 유형의 보조정리를 적용하여, 반지름 수열의 무한대에서의 균일한 감쇠를 보장하고, $L^1$-유사 노름에서의 수렴을 가능하게 한다.
• 역연산자 $\mathcal{K} = ((-Δ)^s + I)^{-1}$ 의 감쇠 및 정칙성 성질을 분석하여, 특히 무한대 및 원점 근처에서의 행동을 지원하는 추정을 확보한다.

실험 결과

연구 질문

• RQ1 비선형성 $g(u)$가 암브로세티-라비노비츠 조건을 만족하지 못할 경우, 분수 슈뢰딩거 방정식에 구면 해가 존재할 수 있는가?
• RQ2 비국소적 분수 라플라스 연산자에 대해 표준 성장 가정 없이 해를 제어하기 위해 포호자에프 항등식을 어떻게 수정할 수 있는가?
• RQ3 분수 소볼레프 공간에서 구면 대칭 함수에 대해 성립하는 컴팩트성 성질은 무엇이며, 이는 변분 존재성 증명에 어떻게 기여하는가?
• RQ4 어느 정도까지 고전적 변분 프레임워크를 더 약한 비선형성을 가진 분수 방정식으로 확장할 수 있는가?
• RQ5 분수 슈뢰딩거 연산자 $(-\Delta)^s + I$ 의 역연산자 $\mathcal{K}$ 는 $\mathbb{R}^N$ 에서 어떤 감쇠 및 정칙성 성질을 갖는가?

주요 결과

• 암브로세티-라비노비츠 조건을 요구하지 않고도, $(-\Delta)^s u + V(x)u = g(u)$ 가 $\mathbb{R}^N$ 에서 적어도 하나의 비자명한 구면 대칭 해를 가짐을 증명한다.
• 새로운 분수 라플라스 연산자에 대한 포호자에프 항등식을 유도하고, 농축-콤팩트니스 프레임워크에서의 허용 불가 또는 이분화 현상을 제거하는 데 사용한다.
• $2 < q < 2^*$ 일 때, 적분 감쇠 추정을 통해 $0 < s < 1/2$ 이더라도 $W^{s,2}_{\text{rad}}(\mathbb{R}^N) \hookrightarrow L^q(\mathbb{R}^N)$ 임베딩이 컴팩트함을 입증한다.
• 역연산자 $\mathcal{K} = ((-Δ)^s + I)^{-1}$ 가 점별 감쇠 추정을 만족함을 보였다: $|x| \geq 1$ 에서 $\mathcal{K}(x) \leq C_1 / |x|^{N+2s}$ 이고, $|x| \leq 1$ 에서 $\mathcal{K}(x) \leq C_2 / |x|^{N-2s}$ 이다.
• 비선형성 $g$ 는 임계성을 넘지 않지만 암브로세티-라비노비츠 조건 없이도, 변분 프레임워크에 호환되는 더 약한 점근적 조건을 만족하면 허용된다.
• 푸리에 분석, 가가르도 반영, 반지름 함수의 컴팩트성 기준을 결합하여, $(-\Delta)^s$ 의 비국소성 문제를 성공적으로 다룬다.