[논문 리뷰] $L^{p}$ estimates for the bilinear Hilbert transform for $1/2

Wei Dai, Guozhen Lu|arXiv (Cornell University)|2014. 09. 12.

Advanced Harmonic Analysis Research인용 수 11

한 줄 요약

이 논문은 $L^p$ 추정을 비평활 기호를 가진 이항 푸리에 다중연산자에 대해 전체 범위 $1/2 < p < ∞$ 에서 수립하며, 비판적 범위 $p \in (1/2, 2/3]$ 에서 이항 힐버트 변환의 유계성에 관한 열린 문제를 해결한다. 고전적 이항 힐버트 변환이 $\mathcal{F}L^{p_1'} \times L^{p_2} \to L^p$ 로 유계로 매핑하지 못함을 보여주는 반례를 구성하지만, 기호가 이항 힐버트 변환 기호에 임의로 가까운 이항 푸리에 다중연산자에 대해서는 기호의 평활성이 없더라도 $L^p$ 유계성이 성립함을 증명한다.

ABSTRACT

M. Lacey and C. Thiele proved in [27] (Annals of Math. (1997)) and [28] (Annals of Math. (1999)) that the bilinear Hilbert transform maps $L^{p_1} imes L^{p_2} ightarrow L^{p}$ boundedly when $\frac{1}{p_1}+\frac{1}{p_2}=\frac{1}{p}$ with $1

연구 동기 및 목표

• 이항 힐버트 변환이 $p \in (1/2, 2/3]$ 에서 $L^p$ 추정을 갖는지 여부에 관한 열린 문제를 해결하기 위해.
• 입력 함수 중 하나가 $p_1 < 2$ 인 조건에서 조정공간 $\mathcal{F}L^{p_1'}$ 에 속할 경우, 이항 힐버트 변환이 $p \in (1/2, 2/3]$ 범위에서 $L^p$ 유계성이 실패하는 이유를 조사하기 위해.
• 기호가 평활하지 않지만 이항 힐버트 변환 기호에 임의로 가까운 이항 푸리에 다중연산자에 대해 $L^p$ 추정을 수립하기 위해.
• 기호가 1차원 특이성을 지닌 경우로의 $L^p$ 추정을 일반화하여 평활한 경우를 초월하기 위해.

제안 방법

• 랜덤 변수의 성질과 시간주파수 분석을 이용하여, $p_1 < 2$ 이고 $p \in (1/2, 2/3)$ 일 때 이항 힐버트 변환이 $\mathcal{F}L^{p_1'} \times L^{p_2} \to L^p$ 로 유계로 매핑하지 못함을 보여주는 반례를 구성한다.
• 연도형 형태와 최대함수 분해를 적용하여 연도형 형태와 관련된 삼중형의 크기를 제어한다.
• 시간주파수 분석에서 트리 선택 및 정지시간 추론을 사용하여 주파수 평면을 이진 간격으로 분할하고 각 트리의 기여도를 국소화한다.
• 주파수 환의 이진 분해를 수행하고 정지집합 $\Omega^{i}_{n_i}$ 를 정의하여 제곱함수와 최대함수의 수준집합의 크기를 제어한다.
• 기호 $m$ 을 $m_{\mathcal{A}}$ 로 콘 트렁케이션하여 이진 모델 연산자와 이진 세대 간의 균일 추정을 사용할 수 있도록 한다.
• 인덱스 $k$ 를 가진 블록과 인덱스 $n$ 을 가진 주파수 스케일을 사용한 이진 모델 연산자 분해를 통해 연산자 노름의 감쇠를 지수 및 다항 감쇠 항을 통해 제어한다.

실험 결과

연구 질문

• RQ1 입력 함수 중 하나가 $p_1 < 2$ 인 조정공간 $\mathcal{F}L^{p_1'}$ 에 속할 경우, 이항 힐버트 변환이 $p \in (1/2, 2/3]$ 에서 $L^p$ 추정을 갖는가?
• RQ2 기호가 이항 힐버트 변환 기호에 임의로 가까운 비평활 기호를 가진 이항 푸리에 다중연산자에 대해 전체 범위 $p \in (1/2, \infty)$ 에서 $L^p$ 추정을 수립할 수 있는가?
• RQ3 기호가 1차원 특이성을 지니고 있고 완전한 평활성이 없을 경우, 이항 힐버트 변환의 유계성이 어떻게 변화하는가?
• RQ4 특히 비판적 범위 $p \in (1/2, 2/3]$ 에서 제한된 정규성 조건을 가진 기호로의 $L^p$ 유계성 이론을 확장할 수 있는가?
• RQ5 조정공간을 포함한 반례를 통해 $p \in (1/2, 2/3]$ 범위에서 $L^p$ 추정의 실패를 정확히 특성화할 수 있는가?

주요 결과

• 입력 함수 중 하나가 $p_1 < 2$ 이고 $p \in (1/2, 2/3)$ 일 때, 이항 힐버트 변환이 $\mathcal{F}L^{p_1'} \times L^{p_2} \to L^p$ 로 유계로 매핑하지 못함을 보여주는 날카운 반례를 제공하며, 이는 비판적 범위에서의 정확한 결과이다.
• 입력 함수 중 하나가 $p_2 < 2$ 이고 $p \in (1/2, 2/3)$ 일 때, 이항 힐버트 변환이 $L^{p_1} \times \mathcal{F}L^{p_2'} \to L^p$ 로 유계로 매핑하지 못함을 확인하여, 두 조정공간 입력 모두에서의 실패를 뒷받침한다.
• 이항 힐버트 변환 기호에 임의로 가까운 기호 $m$ (즉, $L^p$-근사의 의미에서) 에 대해서는 모든 $p \in (1/2, \infty)$ 에서 $L^p$ 추정이 성립하며, 기호가 완전히 평활하지 않더라도 성립한다.
• 절단된 이항 다중연산자 $T_{m_{\mathcal{A}}}$ 의 $L^p$ 연산자 노름은 $p_1, p_2, p, \delta$ 에 따라 결정되는 상수로 유계이지만, $\delta \to 0$ 일 때 이 상수가 발산함을 보여주며, 이는 감쇠 조건의 날카로움을 시사한다.
• 이중 모델 연산자 분해를 통해 균일한 유계성을 확립하며, 연산자 노름의 합이 $e^{-\delta \sqrt{n}} + n^{-3}$ 와 같이 감쇠함을 보여주며, 이는 수렴하는 급수를 이끌어내고 따라서 유계성을 보장한다.
• 기호가 $|\partial^\alpha m| \lesssim \text{dist}(\xi, \Gamma)^{-|\alpha|}$ 를 만족하는 일반적인 이항 푸리에 다중연산자로의 결과를 확장하며, 기호가 평활하지 않더라도 $p > 1/2$ 에서 $L^p$ 추정이 성립함을 증명한다.