[논문 리뷰] Non-linear ground state representations and sharp Hardy inequalities

Rupert L. Frank, Robert Seiringer|ArXiv.org|2008. 03. 04.

Nonlinear Partial Differential Equations참고 문헌 16인용 수 33

한 줄 요약

이 논문은 일반적인 $1 \leq p < N/s$ 및 $0 < s < 1$에 대해 분수형 하디 부등식의 날카로운 상수를 규명하며, 비선형적이고 비국소적인 기본 상태 표현을 도입하여 나머지 항을 제공한다. 주요 결과는 최적 상수 $\mathcal{C}_{N,s,p}$에 대한 명시적 공식을 제시하며, 이는 레이저 공간으로의 최적 소볼레프 임베딩에 대한 새로운 증명과 재배열 부등식에서 등호가 성립하는 경우의 특성화를 가능하게 한다.

ABSTRACT

We determine the sharp constant in the Hardy inequality for fractional Sobolev spaces. To do so, we develop a non-linear and non-local version of the ground state representation, which even yields a remainder term. From the sharp Hardy inequality we deduce the sharp constant in a Sobolev embedding which is optimal in the Lorentz scale. In the appendix, we characterize the cases of equality in the rearrangement inequality in fractional Sobolev spaces.

연구 동기 및 목표

• 일반적인 $p$와 $s$에 대해 $\dot{W}^s_p(\mathbb{R}^N)$ 공간에서 분수형 하디 부등식의 날카로운 상수를 결정하는 것.
• 부등식에 나머지 항을 제공하는 비선형적이고 비국소적인 기본 상태 표현을 개발하는 것.
• 레이저 공간 $L_{p^*,p}(\mathbb{R}^N)$ 으로의 최적 소볼레프 임베딩에서의 최적 상수를 도출하는 것.
• 분수형 소볼레프 노름에 대한 재배열 부등식에서 등호가 성립하는 경우를 특성화하는 것.

제안 방법

• 핵함수 $k(x-y)$와 함수 $E[u]$를 사용하여 분수형 $p$-디리클레 에너지에 대한 비선형적이고 비국소적인 기본 상태 표현을 유도하는 것.
• 감마 함수와 가우시안 가중치를 포함하는 항등식을 사용하여 분수형 디리클레 에너지를 $\alpha > 0$ 에 대한 적분으로 표현하는 것: $\iint \frac{|u(x)-u(y)|^p}{|x-y|^{N+ps}} dx dy = \frac{1}{\Gamma((N+ps)/2)} \int_0^\infty I_\alpha[u] \alpha^{(N+ps)/2 - 1} d\alpha$.
• 분해 $u = u_M + v_M$를 사용하며, $u_M = \min\{u, M\}$ 이고, 대칭 감소 재배열 하에서 에너지 함수를 분석하는 것.
• 각 에너지 분해 성분이 재배열 하에서 비증가함을 보여주어 에너지 함수 $E[u]$가 재배열 하에서 최소화됨을 증명하는 것. 이는 리에즈의 재배열 부등식을 활용한다.
• 핵함수에 대한 엄격한 볼록성과 단조성 조건 하에서 재배열 부등식의 등호 조건을 특성화하는 것: 등호가 성립하는 것은 $u$가 대칭 감소 함수의 이동과 정확히 일치할 때 뿐이다.
• 날카로운 하디 부등식을 적용하여 레이저 척도 소볼레프 임베딩 $\dot{W}^s_p(\mathbb{R}^N) \subset L_{p^*,p}(\mathbb{R}^N)$ 에서의 날카로운 상수를 도출하는 것.

실험 결과

연구 질문

• RQ1 일반적인 $1 \leq p < N/s$ 및 $0 < s < 1$에 대해 분수형 하디 부등식의 날카로운 상수는 무엇인가?
• RQ2 분수형 하디 부등식에 나머지 항을 제공하는 비선형적이고 비국소적인 기본 상태 표현을 구성할 수 있는가?
• RQ3 레이저 공간 $L_{p^*,p}(\mathbb{R}^N)$ 으로의 소볼레프 임베딩에서 최적 상수는 무엇인가?
• RQ4 분수형 소볼레프 노름에 대한 재배열 부등식에서 등호가 성립하는 조건은 무엇인가?
• RQ5 날카로운 하디 상수는 $s \to 1$ 근처에서 보르게인-브레지스-미로네스크 추정과 어떻게 관련이 있는가?

주요 결과

• 분수형 하디 부등식의 날카로운 상수는 $\mathcal{C}_{N,s,p} = 2\int_0^1 r^{ps-1} |1 - r^{(N-ps)/p}|^p \Phi_{N,s,p}(r) dr$ 로 명시적으로 주어지며, $\Phi_{N,s,p}(r)$ 는 표면 적분 또는 초함수 유형 표현식으로 정의된다.
• $p=1$ 인 경우, 하디 부등식에서 등호가 성립하는 것은 $u$가 대칭 감소 함수의 스칼라 배수일 때에만 성립한다.
• $p>1$ 인 경우, 모든 $\dot{W}^s_p(\mathbb{R}^N)$ 또는 $\dot{W}^s_p(\mathbb{R}^N \setminus \{0\})$ 에 속하는 영이 아닌 함수에 대해 부등식은 엄격하다.
• 날카로운 상수 $\mathcal{C}_{N,s,p}$ 는 $p^* = Np/(N - ps)$ 를 만족하는 레이저 척도 소볼레프 임베딩 $\dot{W}^s_p(\mathbb{R}^N) \subset L_{p^*,p}(\mathbb{R}^N)$ 를 암시한다.
• 재배열 부등식에서의 등호 조건은 특성화된다: 엄격한 볼록성과 핵함수의 단조성 조건 하에서 등호가 성립하는 것은 $u$가 대칭 감소 함수의 이동과 정확히 일치할 때 뿐이다.
• 상수 $\mathcal{C}_{N,s,p}$ 의 명시적 공식은 마즈야와 샤포시코바의 이전 추정치를 복원하고 개선하며, 푸리에 변환을 통한 $p=2$ 경우에 알려진 결과를 재현한다.