[논문 리뷰] Reverse Hardy-Littlewood-Sobolev inequalities

Jean Dolbeault, Rupert L. Frank외 1명|arXiv (Cornell University)|2018. 03. 01.

Nonlinear Partial Differential Equations참고 문헌 49인용 수 23

한 줄 요약

이 논문은 양의 거듭제곱 핵을 가진 역 Hardy-Littlewood-Sobolev 부등식의 타당성을 위한 필수적이고 충분한 조건을 확립한다. 이 부등식은 최적 상수가 양수일 때이고, 오직 그 때에만 $ q > N/(N + \lambda) $ 인 경우에 성립함을 증명한다. 주요 기여는 이 범위 내에서 최소화자(최적 함수)의 존재를 특성화한 것으로, 반지름이 있고, 음이 아닌, $ L^1 \cap L^q $ 함수들이 특정 차원과 지수 조건 하에서 등호를 만족함을 보여주며, 이 과정에서 이완된 최소화 문제에서의 농축 가능성(디랙 델타 질량의 가능성을 포함)이 핵심적인 역할을 한다.

ABSTRACT

This paper is devoted to a new family of reverse Hardy-Littlewood-Sobolev inequalities which involve a power law kernel with positive exponent. We investigate the range of the admissible parameters and characterize the optimal functions. A striking open question is the possibility of concentration which is analyzed and related with non-linear diffusion equations involving mean field drifts.

연구 동기 및 목표

• 양의 거듭제곱 핵 $ |x-y|^\lambda $, $ \lambda > 0 $ 를 가진 역 Hardy-Littlewood-Sobolev 부등식의 타당성을 위한 필요 및 충분 조건을 확립하기.
• 최적 상수 $ C_{N,\lambda,q} $ 가 양수이자 유한한 매개변수 범위 $ (N, \lambda, q) $ 를 특성화하기.
• 관련 변분 문제에 대한 최소화자(최적 함수) 존재성을 조사하며, 특히 최소화 과정에서의 농축(디랙 델타 질량 존재 가능성) 가능성을 집중적으로 다루기.
• 변분 문제를 비선형 확산 방정식의 장기적 행동과 연결하기, 특히 자유 에너지 함수와 정적 해를 통해 연결하기.

제안 방법

• 총 질량과 $ L^q $-노름으로 정규화된 $ L^1 \cap L^q $ 제약 조건 하에서 최소화 문제 $ I_\lambda[\rho] = \iint \rho(x)|x-y|^\lambda \rho(y) \, dx\,dy $ 를 설정하기.
• 스케일링과 동차성을 이용해, 두 노름 간 균형을 결정하는 지수 $ \alpha $ 를 도출하기.
• 대칭화 및 재배열 기법을 적용하여 문제를 반지름 함수로 단순화하고, 핵의 감소 재배열 성질을 활용하기.
• 최소화자에 대한 오일러-라그랑주 방정식을 분석하여, 잠재력 $ W_\lambda * \rho $ 와 밀도 $ \rho $ 를 포함하는 점별 조건 유도하기.
• 최적화자 존재성을 연구하기 위해 원점에 디랙 델타 질량을 允허하는 이완된 최소화 문제를 도입하고, 최적 상수가 변화하지 않음을 증명하기.
• 층층 구조 표현과 젠슨 부등식을 사용해 상호작용 에너지 $ I_\lambda[\rho] $ 를 $ \int |x|^\lambda \rho(x)\,dx $ 로 추정하고, 최소화자가 유계임을 보장하는 매개변수 범위를 개선하기.

실험 결과

연구 질문

• RQ1 어느 값의 $ q \in (0,1) $, $ \lambda > 0 $, $ N \in \mathbb{N}^* $ 에 대해 양의 핵 지수 $ |x-y|^\lambda $ 를 가진 역 Hardy-Littlewood-Sobolev 부등식이 최적 상수 $ C_{N,\lambda,q} $ 가 양수일 때 성립하는가?
• RQ2 $ I_\lambda[\rho] $ 의 최소화 문제는 $ L^1 \cap L^q $ 에서 최소화자를 수용하는가? 그리고 이 최소화자가 유계이며, 반지름이 있고, 디랙 델타 질량이 없는가?
• RQ3 최소화 문제에서 농축(즉, 최적화자에 디랙 델타 질량 존재)이 발생할 수 있는가? 만약 그렇다면 어떤 매개변수 조건에서 발생하는가?
• RQ4 최소화자 존재성은 비선형 확산 방정식 $ \partial_t \rho = \Delta \rho^q + \nabla \cdot (\rho \nabla (W_\lambda * \rho)) $ 의 장기적 행동과 어떻게 관련이 있는가?
• RQ5 이완된 문제의 최소화자에 디랙 델타 질량이 없는 정확한 $ q $ 의 범위는 무엇이며, 이는 고전적 최소화자에 해당하는가?

주요 결과

• 역 Hardy-Littlewood-Sobolev 부등식은 최적 상수가 양수일 때이고, 오직 그 때에만 $ q > N/(N + \lambda) $ 인 경우에 성립하며, 이는 스케일링 지수 $ \alpha $ 에 대해 $ \alpha < 1 $ 과 동치이다.
• 모든 $ N = 1, 2 $ 또는 $ N \geq 3 $ 이면서 $ q \geq \min\{1 - 2/N, 2N/(2N + \lambda)\} $ 인 경우, 최소화자가 존재하며, 이는 반지름이 있고, 음이 아니며, $ L^1 \cap L^q $ 인 함수이다.
• 범위 $ \max\{ \bar{q}(\lambda,N), N/(N+\lambda) \} < q < \min\{1 - 2/N, 2N/(2N + \lambda)\} 에서, 이완된 최소화 문제의 최소화자는 디랙 델타 질량을 가지지 않으며, 최소화자는 유계이면서 반지름이다.
• 최적 상수 $ C_{N,\lambda,q} $ 는 최소화자가 $ L^1 \cap L^q $ 에서 존재할 때에만 달성되며, 이는 이완된 최소화 문제의 최소화자가 디랙 델타 질량을 가지지 않을 때 보장되며, 이는 $ q > \bar{q}(\lambda,N) $ 인 영역에서 성립한다. 여기서 $ \bar{q}(\lambda,N) $ 는 $ A_{N,\lambda} $ 를 통해 명시적으로 정의된다.
• $ \lambda > 2 $ 이고 $ N \geq 3 $ 인 경우, $ \bar{q}(\lambda,N) $ 는 $ \bar{q}(\lambda,N) > N/(N+\lambda) $ 를 만족하며, $ \lambda \to \infty $ 일 때 $ \bar{q}(\lambda,N) \to 1 $ 이다. 이는 $ \lambda $ 가 증가함에 따라 디랙 델타 질량이 없는 영역이 넓어짐을 시사한다.
• 최소화자에 대한 오일러-라그랑주 방정식은 $ \lambda > 2 $ 조건 하에서 $ \rho^* $ 가 원점에서 무한대가 되는 것과 동치이며, 이 경우 원점 근처의 폭발 속도는 $ x \to 0 $ 일 때 $ \rho^*(x) \sim |x|^{-2/(1-q)} $ 로 나타난다.