[논문 리뷰] Sharp Adams and Moser-Trudinger inequalities on R^n and other spaces of infinite measure

Luigi Fontana, Carlo Morpurgo|arXiv (Cornell University)|2015. 04. 18.

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

한 줄 요약

이 논문은 $\mathbb{R}^n$ 및 기타 무한 측도 공간에서 리프츠 잠재력과 고차 미분에 대한 날카운 아담스 및 모저-트루딩거 부등식을 수립하며, 이전 결과에서 요구하던 유계 측도를 가진 컴팩트한 지지 함수에 국한된 것을 초월한다. 핵심 기여는 $W^{\alpha, n/\alpha}(\mathbb{R}^n)$ 및 하이퍼볼릭 공간에서 임계 스오볼레프 매bedding의 최적 상수를 도출하는 일반적인 프레임워크를 제공하는 것으로, 비정수 $\alpha$에 대해서도 성립한다. 이는 새로운 잠재력 공간 및 측도 이론 기법을 통해 달성된다.

ABSTRACT

We derive sharp Adams inequalities for the Riesz and other potentials of functions with arbitrary compact support in R^n. Up to now such results were only known for a class of functions whose supports have uniformly bounded measure. We obtain several sharp Moser-Trudinger inequalities for the critical Sobolev space W^{d,n/d} on R^n and on the hyperbolic space H^n The only known results so far are for d= 1, both on R^n and H^n, and for d = 2 on R^n. Other sharp inequalities are obtained for general elliptic operators with constant coefficients and for trace type Borel measures. We introduce critical potential spaces on which our results can be extended to noninteger values of d.

연구 동기 및 목표

• 컴팩트한 지지 집합이 임의일 수 있는 함수에 대해 $\mathbb{R}^n$에서 날카운 아담스 및 모서-트루딩거 부등식을 확장하여, 이전에 유계 측도 지지에 국한된 제약 조건을 제거한다.
• 임계 스오볼레프 공간 $W^{\alpha, n/\alpha}(\mathbb{R}^n)$ 및 하이퍼볼릭 공간 $\mathbb{H}^n$에서 최적 상수를 도출하며, 비정수 $\alpha$에 대해서도 적용 가능하도록 한다.
• 무한 측도 공간에서 상수 계수를 가진 일반적인 타원형 연산자 및 트레이스 유형 보렐 측도에 대해 날카운 부등식을 수립한다.
• 정수 차수 도함수를 초월하여 결과를 확장하기 위해 $\mathbb{R}^n$에서 임계 잠재력 공간을 도입하고 활용한다.
• 기존의 날카운 부등식을 무한 도메인 및 일반 측도 공간으로 일반화하며, 상수가 일관되게 유지되지 않음을 확인한다.

제안 방법

• 리프츠 잠재력 $I_\alpha * f(x) = \int_{\mathbb{R}^n} |x-y|^{\alpha-n} f(y) \, dy$ 와 $L^p$ 유형 추정을 위한 옌스의 보조정리(О’Neil’s lemma)를 사용하여 날카운 아담스 유형 부등식을 유도한다.
• 레벨 집합 $E_\lambda = \{y : F(y) \leq \lambda\}$ 와 그 측도에 대한 추정 $|E_\lambda| \leq C(|\lambda| + d^*)$ 를 포함한 새로운 측도 이론적 접근을 적용한다.
• 비정수 $\alpha$를 다룰 수 있도록 $\mathbb{R}^n$에서 임계 잠재력 공간을 도입하여, 정수 차수 도함수를 초월한 날카운 부등식의 확장을 가능하게 한다.
• Bessel 잠재력 이론에서 유도된 최적 상수 $c_\alpha$ 를 활용한 $f$ 의 $L^{n/\alpha}$ 에서의 쌍대 노름 기반의 쌍대성 원리를 사용한다.
• 레벨 집합 $E_\lambda$ 내에서 $y_1, y_2 \in E_\lambda$ 이고 $y_1 > C_6(|\lambda| + d^*)$ 일 때 차이 $y_2 - y_1$ 를 제어하기 위해 정밀한 1차원 추정 기법을 적용하여 균일성을 확보한다.
• 최적 상수 $|B_1|^{-1}$ 를 가진 핵심 부등식 $\int_{\mathbb{R}^n} \exp\left( \frac{1}{|B_1|} |I_\alpha * f(x)|^{n/(n-\alpha)} \right) dx \leq C$ 를 $\|f\|_{L^{n/\alpha}} \leq 1$ 일 때 유도한다.

실험 결과

연구 질문

• RQ1 함수 $f$ 의 지지 집합이 임의의 (유계일 수도 있는) 측도를 가질 때, $W^{\alpha, n/\alpha}(\mathbb{R}^n)$ 에서 아담스 부등식의 최적 상수는 무엇인가?
• RQ2 비정수 $\alpha$ 에 대해 $\mathbb{R}^n$ 과 $\mathbb{H}^n$ 에서 날카운 모서-트루딩거 부등식을 확장할 수 있는가?
• RQ3 무한 측도 공간에서 상수 계수를 가진 일반적인 타원형 연산자에 대해 날카운 부등식을 어떻게 수립할 수 있는가?
• RQ4 임계 잠재력 공간은 정수 차수 도함수를 초월한 아담스 유형 부등식의 확장을 위해 어떤 역할을 하는가?
• RQ5 무한 측도를 가진 일반 측도 공간 및 트레이스 유형 보렐 측도에 대해 날카운 지수 부등식을 유도할 수 있는가?

주요 결과

• 논문은 컴팩트한 지지 집합이 임의일 수 있는 $f$ 에 대해 $\mathbb{R}^n$ 에서 리프츠 잠재력에 대한 날카운 아담스 부등식을 수립하며, 이전에 요구하던 유계 측도 지지에 국한된 제약 조건을 제거한다.
• 만약 $\alpha$ 가 짝수이면 아담스 부등식의 최적 상수는 $\gamma_{n,\alpha} = c_\alpha^{-n/(n-\alpha)} / |B_1|$ 이고, 홀수이면 $\big((n-\alpha-1)c_{\alpha+1}\big)^{-n/(n-\alpha)} / |B_1|$ 이며, 여기서 $|B_1| = \omega_{n-1}/n$ 이다.
• 모든 $\alpha > 0$ 에 대해 $\mathbb{R}^n$ 과 $\mathbb{H}^n$ 에서 $W^{\alpha, n/\alpha}(\mathbb{R}^n)$ 에 대한 날카운 모서-트루딩거 부등식을 도출하며, 비정수 $\alpha$ 에 대해서도 성립한다. 이는 기존의 $\alpha=1$ 및 $\alpha=2$ 의 결과를 확장한다.
• 저자는 정수 차수 도함수를 초월하여 날카운 부등식을 확장할 수 있도록 $\mathbb{R}^n$ 에서 임계 잠재력 공간을 구성하였으며, 이는 고차 미분 및 분수 미분을 통합적으로 다룰 수 있도록 한다.
• 일반적인 무한 측도 공간에서는 아담스 부등식의 최적 상수가 $|B_1|^{-1}$ 임을 증명하였으며, 이 상수를 더 큰 값으로 대체할 경우 균일성이 상실됨을 보였다.
• 논문은 $\|f\|_{L^{n/\alpha}} \leq 1$ 일 때 $\int_{\mathbb{R}^n} \exp\left( \frac{1}{|B_1|} |I_\alpha * f(x)|^{n/(n-\alpha)} \right) dx \leq C$ 를 증명하였으며, 이때 $C$ 는 $f$ 에 따라 변하지 않으며, 이 상수는 최적임을 입증하였다.