[논문 리뷰] Nonlocal Hardy type inequalities with optimal constants and remainder terms

Vitaly Moroz, Jean Van Schaftingen|arXiv (Cornell University)|2012. 08. 31.

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

한 줄 요약

이 논문은 린츠 잠재력과 관련된 최적의 비국소 하디 유형 부등식에 대한 새로운 증명을 제시하며, 기본 상태 변환을 통해 정확한 나머지 항을 도출한다. 스토인-위스, 베커너의 병합된 하디-스토인-위스, 그리고 분수계 하디 부등식의 정확한 상수를 확립하고, 명시적인 나머지 표현과 스케일링 추론을 통해 그 최적성과 최적성을 증명한다.

ABSTRACT

Using a groundstate transformation, we give a new proof of the optimal Stein-Weiss inequality of Herbst [\int_{\R^N} \int_{\R^N} \frac{φ(x)}{\abs{x}^\fracα{2}} I_α(x - y) \frac{φ(y)}{\abs{y}^\fracα{2}}\dif x \dif y \le \mathcal{C}_{N,α, 0}\int_{\R^N} \absφ^2,] and of its combinations with the Hardy inequality by Beckner [\int_{\R^N} \int_{\R^N} \frac{φ(x)}{\abs{x}^\frac{α+ s}{2}} I_α(x - y) \frac{φ(y)}{\abs{y}^\frac{α+ s}{2}}\dif x \dif y \le \mathcal{C}_{N, α, 1} \int_{\R^N} \abs{ abla φ}^2,] and with the fractional Hardy inequality [\int_{\R^N} \int_{\R^N} \frac{φ(x)}{\abs{x}^\frac{α+ s}{2}} I_α(x - y) \frac{φ(y)}{\abs{y}^\frac{α+ s}{2}}\dif x \dif y \le \mathcal{C}_{N, α, s} \mathcal{D}_{N, s} \int_{\R^N} \int_{\R^N} \frac{\bigabs{φ(x) - φ(y)}^2}{\abs{x-y}^{N+s}}\dif x \dif y] where (I_α) is the Riesz potential, (0 < α< N) and (0 < s < \min(N, 2)). We also prove the optimality of the constants. The method is flexible and yields a sharp expression for the remainder terms in these inequalities.

연구 동기 및 목표

• 린츠 잠재력과 역거듭제곱 가중치를 포함한 최적의 스토인-위스 부등식에 대한 새로운이고 단순화된 증명을 제공한다.
• 기존의 증명을 고전적 하디 또는 분수계 하디 부등식을 포함하는 병합 부등식으로 확장한다.
• 기본 상태 변환 방법을 사용하여 이러한 부등식에 대해 명시적이고 정확한 나머지 항을 도출한다.
• 시험 함수의 점근적 분석을 통해 부등식의 상수의 최적성과 최적성을 증명한다.
• 이전의 피트의 부등식 및 분수계 하디 유형 부등식에 관한 결과들을 통합하고 일반화한다.

제안 방법

• 저자들은 아그몬–알레그레티–피펜브링 이론에 영감을 받은 기본 상태 변환을 사용하여 원래 부등식을 음이 아닌 나머지 형태로 변환한다.
• 적분 항등식을 통해 스토인-위스 부등식과 그 하디 유형 항과의 병합에 대한 정확한 나머지 표현을 도출한다.
• 이 방법은 린츠 잠재력의 반군 성질과 푸리에 변환의 명시적 계산에 기반하여 가중 $ L^2 $ 노름과 린츠 잠재력 적분 간의 관계를 규명한다.
• 핵심 단계로는 관련 적분 연산자의 스펙트럼 분석을 통해 최적 상수를 감마 함수의 비율로 표현한다.
• 저자들은 고립된 링에서 컴actsupport를 갖는 캐시 함수의 가족 $ u_ ho $ 를 사용하여 스케일링 극한을 통해 상수의 최적성과 최적성을 시험한다.
• 밀도 추론과 $ L^2 $ 수렴을 사용하여 $ C_c^rown $ 에서부터 $ H^1 $ 및 $ H^{s/2} $ 등의 더 넓은 함수 공간으로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 린츠 잠재력과 역거듭제곱 가중치를 포함한 스토인-위스 부등식의 최적 상수의 정확한 값은 무엇인가?
• RQ2 스토인-위스 부등식과 고전적 하디 부등식의 병합은 통일된 방법으로 최적 상수를 갖는 것으로 증명될 수 있는가?
• RQ3 린츠 잠재력을 포함한 비국소 하디 유형 부등식에 대해 명시적인 나머지 항을 어떻게 도출할 수 있는가?
• RQ4 분수계 하디-스토인-위스 부등식의 최적 상수는 도달 가능한가? 그 정확한 값은 무엇인가?
• RQ5 시험 함수와 스케일링 극한을 사용하여 상수의 최적성은 엄밀하게 확립될 수 있는가?

주요 결과

• 스토인-위스 부등식의 최적 상수는 $ \mathcal{C}_{N,\alpha,0} = \frac{1}{2^\alpha} \left( \frac{\Gamma\left(\frac{N-\alpha}{4}\right)}{\Gamma\left(\frac{N+\alpha}{4}\right)} \right)^2 $ 로 주어지며, 기본 상태 변환과 나머지 항 등식을 통해 증명된다.
• 스토인-위스와 고전적 하디를 병합한 베커너 유형 부등식의 최적 상수는 $ \mathcal{C}_{N,\alpha,1} = \frac{1}{2^{\alpha-2}} \left( \frac{\Gamma\left(\frac{N-\alpha}{4}\right)}{(N-2)\Gamma\left(\frac{N+\alpha}{4}\right)} \right)^2 $ 이며, $ \dot{H}^1 $-세미노름에 대한 정확한 나머지 항이 존재한다.
• 스토인-위스 부등식의 나머지 항은 명시적으로 $ \frac{1}{2} \int\!\!\!\int \frac{I_\alpha(x-y)}{|x|^{\frac{N+\alpha}{2}}|y|^{\frac{N+\alpha}{2}}} \left| \varphi(x)|x|^{N/2} - \varphi(y)|y|^{N/2} \right|^2 \,dx\,dy \geq 0 $ 로 주어진다.
• 분수계 하디-스토인-위스 부등식은 상수 $ \mathcal{C}_{N,\alpha,s} \mathcal{D}_{N,s} $ 로 최적성을 달성하며, 여기서 $ \mathcal{D}_{N,s} = 2^s \left( \frac{\Gamma\left(\frac{N+s}{4}\right)}{\Gamma\left(\frac{N-s}{4}\right)} \right)^2 $ 이고, 나머지는 차이의 이重적분 형태로 표현된다.
• 최적 상수의 최적성은 나머지 항이 유한하게 유지되면서 주항목이 $ \lambda \to \infty $ 의 극한에서 최적 상수에 수렴하는 시험 함수의 수열 $ u_\lambda $ 를 구성함으로써 확인된다.
• 이 방법은 기존의 알려진 결과들, 즉 피트의 부등식과 $ N \geq 3 $ 에서의 베커너 상수를 복원하고 더욱 정밀하게 개선하는 통합적 프레임워크를 제공한다.