[논문 리뷰] Notes on the spaces of bilinear multipliers

Óscar Blasco|ArXiv.org|2009. 05. 26.

Advanced Harmonic Analysis Research참고 문헌 10인용 수 3

한 줄 요약

이 논문은 $\mathbb{R}^n$ 위에서 이차형 승수 연산자인 $m(\xi,\eta) = M(\xi - \eta)$ 형태의 승수를 갖는 이차형 승수 연산자의 구조와 유계성 성질을 조사한다. 여기서 $M$은 $\mathbb{R}^n$ 위의 함수이다. 논문은 날카운 $L^p$-유계성 조건을 확립하고, 특정한 지수 조건 하에서 승수 공간 $\tilde{\mathcal{M}}_{(p_1,p_2,p_3)}(\mathbb{R})$가 자명하다는 것을 증명하며, 콘볼루션 유형의 연산자와 푸리에 승수 기법을 이용한 보간 기반의 비자명한 승수의 구성 방법을 제시한다.

ABSTRACT

A locally integrable function $m(ξ,η)$ defined on $\mathbb R^n imes \mathbb R^n$ is said to be a bilinear multiplier on $\mathbb R^n$ of type $(p_1,p_2, p_3)$ if $$ B_m(f,g)(x)=\int_{\mathbb R^n} \int_{\mathbb R^n}\hat f(ξ)\hat g(η)m(ξ,η)e^{2πi(} dξdη$$ defines a bounded bilinear operator from $L^{p_1}(\mathbb R^n) imes L^{p_2}(\mathbb R^n) $ to $L^{p_3}(\mathbb R^n)$. The study of the basic properties of such spaces is investigated and several methods of constructing examples of bilinear multipliers are provided. The special case where $m(ξ,η)= M(ξ-η)$ for a given $M$ defined on $\mathbb R^n$ is also addressed.

연구 동기 및 목표

• 함수 $m(\xi,\eta)$가 $M(\xi - \eta)$ 형태인 이차형 승수 연산자 공간 $\mathcal{BM}_{(p_1,p_2,p_3)}(\mathbb{R}^n)$를 특성화하는 것.
• $\tilde{\mathcal{M}}_{(p_1,p_2,p_3)}(\mathbb{R})$의 비자명성에 대한 지수 $p_1, p_2, p_3$에 대한 필요 및 충분 조건을 규명하는 것.
• 콘볼루션 연산자와 푸리에 승수 기법을 이용한 비자명한 이차형 승수 연산자의 구성 방법을 개발하는 것.
• 보간과 쌍대성 기반으로 $M(\xi - \eta)$에 관련된 이차형 연산자에 대한 날카운 $L^p$-유계성 추정치를 확립하는 것.

제안 방법

• 지수 $(p_1,p_2,p_3)$에 대해 $m(\xi,\eta) = M(\xi - \eta)$가 유계 이차형 승수 연산자인 유형 $(p_1,p_2,p_3)$을 갖는 함수 $M$의 공간인 $\tilde{\mathcal{M}}_{(p_1,p_2,p_3)}(\mathbb{R})$를 도입하는 것.
• 이차형 콘볼루션 연산자와의 관계를 설정하기 위해 $B_M(f,g)(x) = \int \!\!\! \int \hat{f}(\xi)\hat{g}(\eta) M(\xi - \eta) e^{2\pi i \langle \xi + \eta, x \rangle} d\xi d\eta$의 표현을 사용하는 것.
• 핵함수 $K$에 대해 $M = \hat{K}$라 할 때, 이차형 연산자의 $L^p$-유계성 이론을 적용하여 $M \in \tilde{\mathcal{M}}_{(p_1,p_2,p_3)}(\mathbb{R})$가 지수 조건 하에서 $K \in L^q(\mathbb{R})$와 관련됨을 밝히는 것.
• 끝점 경우에서의 유계성 결과를 중간 $L^p$ 공간으로 확장하기 위해 실 보간과 쌍대성 추론을 활용하는 것.
• 지수 조건 $\frac{1}{p_1} + \frac{1}{p_2} - \frac{1}{p_3} > 1$ 또는 $< 1$ 하에서 $M \equiv 0$임을 보이기 위해 가우시안 정규화와 $\lambda \int e^{-\lambda^2 \xi^2} M(\xi + 2y) d\xi$ 형태의 점별 추정을 사용하는 것.
• 영의 부등식과 헬더 부등식을 적용하여 $\frac{1}{p_1} + \frac{1}{p_2} - \frac{1}{p_3} = 1 - \frac{1}{q}$ 조건 하에서 $T(K,f,g) = \int f(x-t)g(x+t)K(t) dt$의 $L^{p_3}$ 노름을 제어하는 것.

실험 결과

연구 질문

• RQ1 지수 $p_1, p_2, p_3$가 어떤 조건일 때 공간 $\tilde{\mathcal{M}}_{(p_1,p_2,p_3)}(\mathbb{R})$가 비자명한가?
• RQ2 기호 $m(\xi,\eta) = M(\xi - \eta)$를 갖는 이차형 연산자의 $L^p$-유계성과 $M = \hat{K}$인 관련 핵함수 $K$의 적분 가능성 사이의 관계는 무엇인가?
• RQ3 보간 기법을 이용하여 $\tilde{\mathcal{M}}_{(p_1,p_2,p_3)}(\mathbb{R})$ 내에서 비자명한 이차형 승수 연산자를 구성할 수 있는가?
• RQ4 언제 $\tilde{\mathcal{M}}_{(p_1,p_2,p_3)}(\mathbb{R}) = \{0\}$가 되는가?
• RQ5 기호 $M = \hat{K}$일 때, 이차형 연산자 $B_M(f,g)$의 $L^p$-유계성은 $K$의 $L^q$-노름과 어떻게 관련되는가?

주요 결과

• 지수 조건 $\frac{1}{p_1} + \frac{1}{p_2} - \frac{1}{p_3} > 1$ 또는 $\frac{1}{p_1} + \frac{1}{p_2} - \frac{1}{p_3} < 1$ 하에서 공간 $\tilde{\mathcal{M}}_{(p_1,p_2,p_3)}(\mathbb{R})$는 자명하다(즉, 영함수 외에 다른 원소를 포함하지 않는다). 이는 가우시안 정규화와 푸리에 변환의 점별 감쇠 성질을 통해 증명된다.
• 만약 $K \in L^q(\mathbb{R})$이고 $\frac{1}{p_1} + \frac{1}{p_2} - \frac{1}{p_3} = 1 - \frac{1}{q}$이면, $M = \hat{K}$이면 $M \in \tilde{\mathcal{M}}_{(p_1,p_2,p_3)}(\mathbb{R})$이며 $\|M\|_{p_1,p_2,p_3} \leq C\|K\|_q$이다.
• 모든 $M \in M(\mathbb{R})$에 대해 푸리에 변환 $\hat{M} = \mu$는 $\frac{1}{p_1} + \frac{1}{p_2} = \frac{1}{p_3} \leq 1$일 때 $\hat{M} \in \tilde{\mathcal{M}}_{(p_1,p_2,p_3)}(\mathbb{R})$를 만족하며, 이때 $\|\hat{M}\| \leq \|\mu\|_1$이다.
• 이차형 연산자 $T(K,f,g)(x) = \int f(x-t)g(x+t)K(t) dt$는 지수 조건 $\frac{1}{p_1} + \frac{1}{p_2} - \frac{1}{p_3} = 1 - \frac{1}{q}$ 하에서 $L^{p_1} \times L^{p_2}$에서 $L^{p_3}$로 유계이며, 이 노름은 $\|K\|_q$에 의해 제어된다.
• 지수 조건 $\frac{1}{p_1} + \frac{1}{p_2} < \frac{1}{p_3}$ 또는 $\frac{1}{p_1} + \frac{1}{p_2} > \frac{1}{p_3} + 1$ 하에서 공간 $\tilde{\mathcal{M}}_{(p_1,p_2,p_3)}(\mathbb{R})$는 자명하다. 이는 가우시안 정규화와 리만-레베그 보조정리의 조합을 통해 증명된다.
• $L^1 \times L^{q_1} \times L^{q_2} \to L^s$와 $L^{p'} \times L^{p_1} \times L^{p_2} \to L^\infty$ 추정치 사이의 보간을 통해 $\frac{1}{p_1} + \frac{1}{p_2} - \frac{1}{p_3} = 1 - \frac{1}{q}$ 조건 하에서 $L^q \times L^{p_1} \times L^{p_2} \to L^{p_3}$ 유계성이 도출된다.