[논문 리뷰] Extremizers for Fourier restriction on hyperboloids

Emanuel Carneiro, Diogo Oliveira e Silva외 1명|arXiv (Cornell University)|2017. 08. 12.

Advanced Mathematical Physics Problems참고 문헌 35인용 수 3

한 줄 요약

이 논문은 Quilodrán(2014)에서 제기한 초구형에서의 날카운 Fourier 제한 부등식에 관한 두 개의 열린 문제를 해결한다: 차원 d=1, p=6인 끝점의 경우 최적 상수를 계산하고, 차원 d ∈ {1,2}에서 모든 비끝점의 경우에 대해 최적화 함수의 존재를 증명한다. 분석은 농도-콤���크턴스, Strichartz 추정, 특이 측도의 콘볼루션 성질을 결합하여 Sobolev 공간에서 약한 수렴과 강한 수렴의 추론을 통해 최적화 함수의 존재를 확립한다.

ABSTRACT

The $L^2 o L^p$ adjoint Fourier restriction inequality on the $d$-dimensional hyperboloid $\mathbb{H}^d \subset \mathbb{R}^{d+1}$ holds provided $6 \leq p < \infty$, if $d=1$, and $2(d+2)/d \leq p\leq 2(d+1)/(d-1)$, if $d\geq2$. Quilodrán recently found the values of the optimal constants in the endpoint cases $(d,p)\in\{(2,4),(2,6),(3,4)\}$ and showed that the inequality does not have extremizers in these cases. In this paper we answer two questions posed by Quilodrán, namely: (i) we find the explicit value of the optimal constant in the endpoint case $(d,p) = (1,6)$ (the remaining endpoint for which $p$ is an even integer) and show that there are no extremizers in this case; and (ii) we establish the existence of extremizers in all non-endpoint cases in dimensions $d \in \{1,2\}$. This completes the qualitative description of this problem in low dimensions.

연구 동기 및 목표

• 초구형에서의 날카운 Fourier 제한 이론에서 최적화 함수와 최적 상수에 관한 열린 문제를 해결한다.
• p가 짝수 정수이고 d=1인 나머지 끝점의 경우 (d,p) = (1,6)를 다룬다.
• 차원 d ∈ {1,2}에서 모든 비끝점의 경우에 대해 최적화 함수의 존재를 증명하여 낮은 차원에서의 정성적 그림을 완성한다.
• 최적화 수열의 분석을 농도-콤팩트성 및 Strichartz 유형의 추정을 통해 확장한다.
• 낮은 차원에서 초구형에서의 L²→Lᵖ 수반 Fourier 제한 부등식에 대해 최적화 함수와 최적 상수를 완전히 기술한다.

제안 방법

• 초구형에서 Fourier 확장 연산자에 대한 최적화 수열을 분석하기 위해 농도-콤팩트성 원리를 사용한다.
• H^{1/2}(ℝᵈ)에서의 단위군 e^{it√(1−Δ)}을 적용하여 수열을 변환하고 노름과 약한 수렴을 유지한다.
• Rellich의 정리를 사용하여 H^{1/2}(B_R)에서의 약한 수렴을 컴팩트 집합에서의 강한 L² 수렴으로 강화한다.
• 증가하는 반경 R_j → ∞에 대해 대각선 추론을 사용하여 ℝᵈ×ℝ에서 거의 everywhere 점별 수렴하는 부분수열을 추출한다.
• T(g_n) → T(g)가 ℝᵈ×ℝ에서 거의 everywhere 점별 수렴하고 L²(ℝᵈ)에서 노름 수렴함을 이용하여 L²(ℝᵈ×ℝ)에서의 강한 수렴을 도출한다.
• Lemma 17을 적용하여 최적화 수열이 L²(ℝᵈ)에서 강하게 수렴함을 증명함으로써 최적화 함수의 존재를 확보한다.

실험 결과

연구 질문

• RQ1 초구형에서 Fourier 제한 부등식의 끝점의 경우 (d,p) = (1,6)에 대해 최적 상수의 값은 무엇인가?
• RQ2 d ∈ {1,2}인 비끝점의 경우에 대해 초구형에서의 L²→Lᵖ Fourier 제한 부등식에 최적화 함수가 존재하는가?
• RQ3 초구형의 Lorentz 불변 측도와 관련된 확장 연산자의 성질이 최적화 함수의 존재에 어떤 영향을 미치는가?
• RQ4 스케일 불변 대칭성이 없을 경우, 초구형에서와 같이 농도-콤팩트성 방법을 최적화 함수의 존재를 증명하기 위해 어떻게 적응시킬 수 있는가?
• RQ5 Klein–Gordon 전파자와 Strichartz 추정이 초구형에서 최적화 수열 분석에 어떤 역할을 하는가?

주요 결과

• 끝점의 경우 (d,p) = (1,6)에 대해 최적 상수는 H_{1,6} = 2^{3/4}π로 명시적으로 계산된다.
• 부등식의 경우 (d,p) = (1,6)에서는 최적화 함수가 존재하지 않으며, Quilodrán의 이전의 존재하지 않음 결과를 확장한다.
• d=1과 d=2의 모든 비끝점의 경우에 대해 최적화 함수가 존재하여 낮은 차원에서의 최적화 함수 존재 분류를 완성한다.
• 분석은 H^{1/2}(ℝᵈ)에서의 약한 수렴과 컴팩트 집합에서의 강한 L² 수렴을 통해 L²(ℝᵈ×ℝ)에서 최적화 수열의 수렴에 기반한다.
• 저자들은 Fourier 확장 연산자 T가 부분수열에 대해 ℝᵈ×ℝ에서 거의 everywhere 점별 수렴 T(g_n) → T(g)를 만족하며, 이를 통해 수렴 정리의 적용이 가능하다고 확립한다.
• 분석은 최적화 함수가 존재하지 않는 유일한 경우는 d > 1 이면서 p가 짝수 정수인 끝점의 경우이며, 이제 (d,p) = (1,6)도 포함됨을 확인한다.