[논문 리뷰] Existence of minimizers of functionals involving the fractional gradient in the abscence of compactness, symmetry and monotonicity

Hichem Hajaiej|arXiv (Cornell University)|2011. 07. 02.

Nonlinear Partial Differential Equations인용 수 5

한 줄 요약

이 논문은 약한 컴팩트니스, 대칭성, 단조성 조건이 없더라도 $ H^s(\mathbf{R}^N) $ 내에서 분수적 기울기(fractional gradient)를 포함하는 제약 조건이 있는 변분 문제에 대해 최소화자가 존재함을 확립한다. 농축-콤팩트니스 프레임워크를 보완하고 비선형성 $ F $ 의 점점 가까워지는 행동을 분석함으로써, 저자들은 $ F $ 와 그 도함수에 대한 일반적인 성장 및 감쇠 조건 하에서 최소화자가 존재함을 증명하며, 이는 비국소 PDE 및 분수 슈뢰딩거 방정식 분야에서 이전 결과를 확장한다.

ABSTRACT

We establish general assumptions under which a constrained vari- ational problem involving the fractional gradient and a local nonlin- earity admits minimizers.

연구 동기 및 목표

• 표준적인 컴팩트니스, 대칭성, 또는 단조성 가정이 실패할 경우, $ H^s(\mathbf{R}^N) $ 내에서 분수 기울기 $ \nabla_s u $ 를 포함하는 제약 조건이 있는 변분 문제에 대해 최소화자가 존재함을 확립하는 것.
• 비국소 PDE에서 최소화 기법의 적용 범위를 대칭성 또는 단조성이 없는 일반적인 비선형성 $ F(x,t) $ 로 확장하는 것.
• 최소화 수열에서의 컴팩트니스 부족 문제를 해결하기 위해, 엄격한 부분합성과 주기적 극한 함수 $ J^\flat $ 와의 점점 가까워지는 비교를 통해 허용되지 않는 분할(dichotomy)과 소멸(vanishing)을 제거하는 것.
• 다양한 물리적 및 생물학적 모델에서 비선형 분수 슈뢰딩거 방정식의 정상파동 해 존재성을 위한 일반적 프레임워크를 제공하는 것.

제안 방법

• 최소화 수열 $ (u_n) $ 이 $ H^s(\mathbf{R}^N) $ 내에서 허용되지 않는 분할, 분할, 컴팩트니스를 구분하는 데 사용되는 농축-콤팩트니스 원리의 변종을 사용한다.
• 제한 조건 (F3) 을 도입하여, $ |x|\to\mathbf{R}^N $ 일 때, $ F(x,t) - F^\flat(x,t) = o(|t|^{\beta+2}) $ 가 $ t $ 에 대해 균일하게 성립하도록 한다. 여기서 $ F^\flat $ 는 주기적이다.
• 분할을 제거하기 위해 엄격한 부분합성 $ I_c < I^\flat_c $ 와 $ I_c < I^\flat_{c-a} + I_a $ 를 증명한다. 이는 $ a \neq 0 $ 일 때 성립한다.
• 무한대에서 $ F $ 가 $ F^\flat $ 로 수렴하는 균일성에 기반하여, $ J(u_n) \to J(u) $ 를 부분수열에 대해 증명한다. 이는 $ J(u_n) \to J^\flat(u_n) $ 의 극한에서 유도된다.
• 최소화 기능의 연속성과 $ I_c $, $ I^\flat_c $ 를 적용하여, 비콤팩트니스 가정에서 모순를 이끌어내어 최소화 수열의 컴팩트니스를 강제한다.
• 최소화 수열 $ (u_n) $ 이 $ H^s $ 에서 유계이자 약한 수렴성 $ u $ 를 가지며, $ |u_n - u|_{L^2} \to 0 $ 를 증명함으로써 $ u \neq 0 $ 이고 $ u \neq 0 $ 이 $ S_c $ 에서 성립함을 보인다.

실험 결과

연구 질문

• RQ1 컴팩트니스, 대칭성, 또는 단조성이 없을 경우, $ H^s(\mathbf{R}^N) $ 내에서 기능 $ J(u) = \frac{1}{2} \norm{\nabla_s u}^2 - \norm{F(x,u)} $ 에 대해 비선형성 $ F(x,t) $ 가 어떤 일반적 조건을 만족할 때 최소화자가 존재하는가?
• RQ2 비선형성 $ F $ 의 대칭성 또는 단조성이 없더라도, 농축-콤팩트니스 방법을 분수 기울기 함수에 적응시킬 수 있는가?
• RQ3 점점 가까워지는 주기성과 $ F^\flat(x,t) $ 와의 비교는 최소화자 존재성에 어떤 역할을 하는가?
• RQ4 엄격한 부분합성 $ I_c < I^\flat_c $ 와 $ I_c < I^\flat_{c-a} + I_a $ 는 최소화 수열에서 분할을 방지하는 데 어떻게 기여하는가?
• RQ5 비선형성 $ F $ 가 볼록성 또는 동차성이 없더라도 성장 및 감쇠 조건을 만족한다면 최소화자가 보장될 수 있는가?

주요 결과

• 제시된 조건 (F0)–(F6) 하에서 제약 조건이 있는 최소화 문제 $ I_c = \text{inf}\big\brace J(u) : u \neq 0, \norm{u}_{L^2} = c \big\brace $ 는 $ H^s(\mathbf{R}^N) $ 내에서 $ u_c \neq 0 $ 인 최소화자를 가진다.
• 최소화 기능의 최소값 $ I_c $ 는 주기적 극한 기능 $ J^\flat(u) = \frac{1}{2} \norm{\nabla_s u}^2 - \norm{F^\flat(x,u)} $ 의 최소값 $ I^\flat_c $ 보다 작다. 즉, $ I_c < I^\flat_c $ 이며, 이는 분할을 제거한다.
• 최소화 수열 $ (u_n) $ 에 대해 $ J(u_n) \to J(u) $ 가 부분수열에서 성립한다. 이는 $ |x|\to\mathbf{R}^N $ 일 때 $ F(x,t) - F^\flat(x,t) = o(|t|^{\beta+2}) $ 이며, 이는 균일 수렴성에 기반한다.
• 최소화 수열 $ (u_n) $ 은 번역과 부분수열 추출 후 고정된 구내에서 $ \text{supp}(u_n) $ 의 유계성 덕분에 $ L^2 $ 에서 상대적으로 컴팩트하다.
• 비대칭성 또는 단조성이 없더라도 $ F^\flat $ 가 (F4)–(F5) 를 만족하고 $ F \not\triangleq F^\flat $ 이면, $ S_c $ 내에서 최소화자 $ u_c \neq 0 $ 가 보장된다.
• 핵심 부등식 $ I_c \not\triangleq I^\flat_{c-a} + I_a $ 가 $ a \neq 0 $ 일 때 성립하고, $ J(u_n) \to J(u) $ 를 만족함으로써 소멸과 분할이 불가능하므로 컴팩트니스가 발생해야 한다.