[논문 리뷰] $L^{p}$-Caffarelli-Kohn-Nirenberg type inequalities on homogeneous groups

Tohru Ozawa, Michael Ruzhansky외 1명|arXiv (Cornell University)|2016. 05. 09.

Nonlinear Partial Differential Equations참고 문헌 28인용 수 12

한 줄 요약

이 논문은 동차 군 위에서 $L^p$-Caffarelli-Kohn-Nirenberg 유형 부등식을 날카롭게 설정하며, 임의의 동차 quasi-노름을 가진 비유클리드 설정으로 고전적 부등식을 일반화한다. 반경 방향 도함수와 동차성에 기반한 새로운 변분 접근법을 사용하여 모든 $1 < p < \infty$에 대해 최적의 상수를 도출한다. 이는 이전의 $L^2$ 결과를 확장하고, 임의의 비등방성 노름을 가진 유클리드 경우의 알려진 날카운 부등식을 복원한다.

ABSTRACT

We prove $L^{p}$-Caffarelli-Kohn-Nirenberg type inequalities on homogeneous groups, which is one of most general subclasses of nilpotent Lie groups, all with sharp constants. We also discuss some of their consequences. Already in the abelian case of $\mathbb{R}^{n}$ our results provide new insights in view of the arbitrariness of the choice of the not necessarily Euclidean quasi-norm.

연구 동기 및 목표

• 동차 군에서 $1 < p < \infty$에 대해 고전적 $L^2$-Caffarelli-Kohn-Nirenberg 부등식을 전체 $L^p$ 공간으로 확장한다.
• 임의의 동차 quasi-노름의 선택과 관계없이 최적의 상수를 확립한다. 이는 비등방성 $\mathbb{R}^n$ 설정에도 적용된다.
• $L^2$에서 사용된 반경 방향 도함수 접근법을 $L^p$로 일반화하기 위해 새로운 변분 방법을 도입하며, $L^2$에서만 존재하는 나머지 항 공식의 필요성을 피한다.
• 유클리드 공간에서 알려진 날카운 하디 및 Caffarelli-Kohn-Nirenberg 부등식을 임의의 동차 quasi-노름을 가진 설정으로 복원하고 일반화한다.

제안 방법

• 동차 차원 $Q$를 가진 동차 군 $\mathbb{G}$ 위에서 반경 방향 도함수 $\mathcal{R}$를 포함하는 기본적인 $L^p$ 부등식을 유도한다. 항등식 $\frac{|Q - \gamma|}{p} \left\| \frac{f}{|x|^{\gamma/p}} \right\|_{L^p}^p \leq \left\| \frac{1}{|x|^\alpha} \mathcal{R}f \right\|_{L^p} \left\| \frac{f}{|x|^{\beta/(p-1)}} \right\|_{L^p}^{p-1}$ 를 사용하며, 여기서 $\gamma = \alpha + \beta + 1$이다.
• 횔더 부등식과 군의 구조적 동차성 성질을 적용하여, 반경 방향 도함수 연산자 $\mathcal{R}$를 이용한 $L^p$-노름을 유계화한다. 이 연산자는 군의 확대 구조에 의해 정의된다.
• 확장 함수를 구성하고 등호 조건을 검증하여 $\gamma \neq Q$일 때 상수 $\frac{|Q - \gamma|}{p}$ 의 날카로움을 입증한다.
• 고차 도함수로의 확장을 위해 $\mathcal{R}^{m+1}f$ 와 $\mathcal{R}^k f$ 를 포함하는 부등식을 유도하며, $|Q - p(\alpha - j)|$ 의 곱을 포함하는 명시적인 최적 상수를 도출한다.
• $L^2$의 결과를 기준으로 삼으며, [RS16c]에서 알려진 정확한 나머지 공식을 활용하여 $L^p$ 결과의 날카로움과 일관성을 검증한다.
• 결과를 $\mathbb{R}^n$ 에 적용하여 고전적 부등식을 복원하고 일반화한다. 이는 $L^p$ 하디 부등식과 임의의 동차 quasi-노름을 가진 $L^p$ Caffarelli-Kohn-Nirenberg 부등식의 최적 상수를 포함한다.

실험 결과

연구 질문

• RQ1 동차 군에서 $L^2$-Caffarelli-Kohn-Nirenberg 부등식을 $1 < p < \infty$ 전역의 $L^p$ 공간으로 확장할 수 있는가? 이때 최적의 상수를 함께 제공할 수 있는가?
• RQ2 동차 군에서 $L^p$-Caffarelli-Kohn-Nirenberg 부등식의 최적 상수 형태는 무엇이며, 동차 차원 $Q$ 및 매개변수 $\alpha$, $\beta$, $p$ 에 따라 어떻게 달라지는가?
• RQ3 나머지 공식이 존재하지 않는 상황에서도 반경 방향 도함수 연산자 $\mathcal{R}$ 가 동차 군에서의 $L^p$ 부등식에 대해 타당하고 날카로운 프레임워크를 제공할 수 있는가?
• RQ4 $L^p$ 부등식이 유클리드 공간에서 알려진 날카운 부등식을 복원하고 일반화할 수 있는가? 이는 비등방성 및 비유클리드 quasi-노름까지 포함한다.
• RQ5 고차 도함수 $\mathcal{R}^k f$ 는 도출된 부등식의 날카로움과 구조에 어떤 영향을 미치는가?

주요 결과

• 논문은 임의의 동차 차원 $Q$를 가진 동차 군 $\mathbb{G}$ 위에서 $L^p$-Caffarelli-Kohn-Nirenberg 부등식을 날카롭게 설정하며, 상수 $\frac{|Q - \gamma|}{p}$ 를 포함한다. 여기서 $\gamma = \alpha + \beta + 1$ 이며, $\gamma \neq Q$ 일 때 이 상수는 최적이며 개선될 수 없다.
• 특히 $p=2$ 일 때, 부등식은 $\frac{|Q - \gamma|}{2} \left\| \frac{f}{|x|^{\gamma/2}} \right\|_{L^2}^2 \leq \left\| \frac{1}{|x|^\alpha} \mathcal{R}f \right\|_{L^2} \left\| \frac{f}{|x|^\beta} \right\|_{L^2}$ 로 간소화되며, 이는 [RS16c]에서의 날카운 $L^2$ 결과와 일치하고 상수의 최적성을 확인한다.
• 이 방법은 임의의 동차 quasi-노름을 가진 $\mathbb{R}^n$ 에서 새로운 날카운 부등식을 도출하며, 기존의 고전적 $L^p$ 하디 및 Caffarelli-Kohn-Nirenberg 부등식을 표준 유클리드 노름을 넘어서 일반화한다.
• 고차 도함수의 경우, $\frac{|Q - \gamma|}{p} \left\| \frac{f}{|x|^{\gamma/p}} \right\|_{L^p}^p \leq \widetilde{A}_{\alpha,m} \widetilde{A}_{\beta,k} \left\| \frac{1}{|x|^{\alpha - m}} \mathcal{R}^{m+1}f \right\|_{L^p} \left\| \frac{1}{|x|^{\beta/(p-1) - k}} \mathcal{R}^k f \right\|_{L^p}^{p-1}$ 의 형태를 가진 날카운 부등식을 유도하며, $|Q - p(\alpha - j)|$ 의 곱을 포함하는 명시적인 최적 상수를 포함한다.
• 상수의 날카로움은 $L^2$의 알려진 정확한 나머지 공식과의 일관성에 의해 확인되며, 이 상수들이 더 이상 향상될 수 없음을 입증한다.
• 결과는 등방성 및 비등방성 설정 모두에서 이전의 하디 및 Caffarelli-Kohn-Nirenberg 부등식 결과를 일반화하고 통합하며, 노름군 및 비등방성 $\mathbb{R}^n$ 에서의 적용을 포함한다.