[논문 리뷰] Sobolev and Hardy-Littlewood-Sobolev inequalities: duality and fast diffusion

Jean Dolbeault|arXiv (Cornell University)|2011. 03. 06.

Nonlinear Partial Differential Equations인용 수 5

한 줄 요약

이 논문은 차원 $d \geq 3$ 에서 빠른 확산 방정식을 사용하여 소볼레프 부등식과 하디-리틀우드-소볼레프 부등식 사이의 이중성을 수립한다. 확산 지수 $m = \frac{d-2}{d+2}$ 를 갖는 이 방정식의 흐름을 통해 기능적 $\mathsf{H}_d[v]$ 의 시간에 따른 변화를 분석함으로써, $d \geq 5$ 에서는 명시적인 잔여항을 갖는 개선된 소볼레프 부등식을 도출하고, $d=2$ 에서는 초고속 확산 방정식을 통해 온오프리 부등식으로의 이중성 프레임워크를 확장한다.

ABSTRACT

In the euclidean space, Sobolev and Hardy-Littlewood-Sobolev inequalities can be related by duality. In this paper, we investigate how to relate these inequalities using the flow of a fast diffusion equation in dimension $d\ge3$. The main consequence is an improvement of Sobolev's inequality when $d\ge5$, which involves the various terms of the dual Hardy-Littlewood-Sobolev inequality. In dimension $d=2$, Onofri's inequality plays the role of Sobolev's inequality and can also be related to its dual inequality, the logarithmic Hardy-Littlewood-Sobolev inequality, by a super-fast diffusion equation.

연구 동기 및 목표

• 비선형 확산 흐름을 사용하여 소볼레프 부등식과 하디-리틀우드-소볼레프 부등식 사이의 동적 이중성을 수립하는 것.
• 빠른 확산 방정식의 흐름 沿해 통합함으로써 명시적인 잔여항을 갖는 개선된 소볼레프 부등식을 도출하는 것.
• 차원 $d=2$ 에서 온오프리 부등식이 소볼레프 부등식의 역할을 하게 되는 바, 초고속 확산 방정식을 통해 이중성 프레임워크를 확장하는 것.
• 최근 카르렌, 카릴로, 로스에 의해 제안된 가가리아르도-니레버그 부등식 프레임워크와 빠른 확산 방법 간의 관계를 명확히 하는 것.

제안 방법

• 논문은 $m = \frac{d-2}{d+2}$ 인 빠른 확산 방정식 $\frac{\partial v}{\partial t} = \Delta v^m$ 을 사용하여 기능적 $\mathsf{H}_d[v] = \int v (-\Delta)^{-1}v \, dx - \mathsf{S}_d \|v\|_{L^{2d/(d+2)}}^2$ 의 시간에 따른 변화를 분석한다.
• 시간 도함수 $\frac{1}{2}\frac{d}{dt}\mathsf{H}_d[v]$ 를 계산하고, 이가 음이 아닌 것을 보이며, 이를 소볼레프 부등식과 하디-리틀우드-소볼레프 부등식의 차이와 연결한다.
• 표현 $u = v^m$ 을 통해 도함수를 $\|\nabla u\|_{L^2}^2$ 와 $\|u\|_{L^{2^*}}^2$ 에 대해 재기록함으로써 두 부등식 간의 이중성을 드러낸다.
• $d \geq 5$ 에서는 흐름을 따라 부등식을 통합함으로써 잔여항이 포함된 개선된 소볼레프 부등식을 도출한다.
• $d=2$ 에서는 초고속 확산 방정식($m=1/2$)을 고려하고, 유사한 기능적 $\mathsf{H}_2[v]$ 를 통해 온오프리 부등식과 로그 하디-리틀우드-소볼레프 부등식을 연결한다.
• 분석은 레전드르 이중성과 바렌블라트 자기유사 해를 이용한 점점 더 최적의 잔여항을 유도하는 데 기반한다.

실험 결과

연구 질문

• RQ1 비선형 확산 흐름을 통해 소볼레프 부등식과 하디-리틀우드-소볼레프 부등식 사이의 이중성이 어떻게 동적으로 실현될 수 있는가?
• RQ2 확산 지수 $m = \frac{d-2}{d+2}$ 를 갖는 빠른 확산 방정식이 명시적인 잔여항을 갖는 개선된 소볼레프 부등식을 생성할 수 있는가?
• RQ3 바렌블라트 자기유사 해는 흐름의 점점 더 큰 행동과 최적의 잔여항 유도에 어떤 역할을 하는가?
• RQ4 온오프리 부등식이 소볼레프 부등식의 역할을 하게 되는 $d=2$ 차원으로 이중성 프레임워크는 어떻게 확장되는가?
• RQ5 왜 이 방법은 직접적으로 온오프리 부등식의 개선을 도출하지 못하며, 그 배후의 구조적 장애는 무엇인가?

주요 결과

• $d \geq 5$ 에서는 빠른 확산 방정식의 흐름을 따라 부등식 $\frac{1}{2}\frac{d}{dt}\mathsf{H}_d[v] \geq 0$ 를 통합함으로써 잔여항이 포함된 개선된 소볼레프 부등식을 도출한다. 이 부등식은 $m = \frac{d-2}{d+2}$ 인 경우에 해당한다.
• 개선된 부등식은 $\mathsf{S}_d \|w^q\|_{L^{2d/(d+2)}}^2 - \int w^q (-\Delta)^{-1} w^q \, dx \leq \mathcal{C} \|w\|_{L^{2^*}}^2$ 의 형태를 띠며, 여기서 $q = \frac{d+2}{d-2}$ 이고, $\mathcal{C}$ 는 양수 상수이다.
• 기능적 $\mathsf{H}_d[v]$ 는 흐름을 따라 비감소하며, $t \to \infty$ 일 때의 극한이 0이므로, 이는 소볼레프 부등식의 결과로서 하디-리틀우드-소볼레프 부등식의 타당성을 암시한다.
• 하디-리틀우드-소볼레프 부등식의 극값 함수들은 빠른 확산 방정식의 자기유사 프로파일로 복원된다.
• $d=2$ 에서는 기능적 $\mathsf{H}_2[v]$ 가 초고속 확산 흐름을 따라 비감소하며, 이는 온오프리 부등식과 로그 하디-리틀우드-소볼레프 부등식을 연결한다.
• 이 방법은 두 번째 엔트로피 기능의 도함수를 고차원과 동일한 방식으로 코시-슈바르츠 부등식을 통해 통제할 수 없기 때문에, 온오프리 부등식의 직접적 개선을 도출하지 못한다.