[논문 리뷰] Some Problems in Harmonic Analysis

Loukas Grafakos, Diogo Oliveira e Silva외 3명|arXiv (Cornell University)|2017. 01. 23.

Acoustic Wave Phenomena Research참고 문헌 46인용 수 24

한 줄 요약

이 논문은 마이클 크리스트를 기리는 2016년 회의에 참가한 주요 연구자들이 기여한 조화해석학 분야의 16개의 열린 문제를 제시한다. 구면에서의 콘볼루션 부등식, 다양체 위의 일반화된 가산 에너지, 특이 측도와 관련된 최대함수, 그리고 희박한 최대함수 연산자의 $L^p$ 유계성에 대한 기하적 조건을 탐구하며, 주요 결과로는 캡 길이에 대한 기하적 적분 조건을 통한 $L^2$ 유계성의 특성화가 포함되어 있다.

ABSTRACT

In May 2016, we organized a conference in harmonic analysis in honor of Professor Michael Christ, on the campus of the University of Wisconsin in Madison. We are happy to present sixteen open problems, almost all of which were contributed by participants of a problem session held in the afternoon of May 19, 2016.

연구 동기 및 목표

• 2016년 마이클 크리스트 기념 회의 이후 현대 조화해석학 분야의 핵심 열린 문제들을 식별하고 체계화하기.
• 반사에 의해 정의된 새로운 구면에서의 콘볼루션에 대해 리에스-소볼레프 유형 부등식이 성립하는지 조사하기.
• 낮은 차원에서의 단위 구면과 포물면에서의 일반화된 가산 에너지의 최선의 상한을 결정하기.
• 평면 내 볼록 도메인과 관련된 희박한 최대함수 연산자의 $L^p$ 유계성에 대한 필요 및 충분한 기하적 조건을 설정하기.
• 표면 측도와 관련된 최대함수에 대한 기존 결과를 더 일반적인 특이 측도로 확장하여 더 약한 푸리에 감쇠 조건을 갖는 경우로 확장하기.

제안 방법

• 동형 공간에서의 콘볼루션 부등식을 재구성하기 위해 대칭 감소 재배열과 볼록 쌍대성을 사용하기.
• 푸비니 정리와 변수변환을 적용하여 구면 콘볼루션 연산자의 $L^1$-노름을 분석하기.
• 두 점 대칭화와 구면에서의 기하학적 분석을 활용하여 콘볼루션 연산자의 행동을 연구하기.
• 볼록 도메인의 표면 측도의 푸리에 감쇠를 대체하기 위해 캡 길이 $\Lambda(\theta,\delta)$를 정의하기.
• 기하학적 성질과 해석적 성질를 연결하기 위해 푸리에 변환 추정 $|\widehat{\sigma}(R\theta)| \leq C_\Omega \Lambda(\theta, R^{-1})$를 사용하기.
• 적분 $\sup_\theta \int_0^{\delta_0} \Lambda(\theta,\delta)^2 \frac{d\delta}{\delta} < \infty$를 통한 $L^2$-유계성 기준을 설정하기.

실험 결과

연구 질문

• RQ1 다음과 같은 $d > 1$인 경우, $S^d$에서 반사 기반 콘볼루션에 대해 리에스-소볼레프 부등식이 성립하는가?
• RQ2 $S^2$에서의 일반화된 가산 에너지 $\mathbb{E}_2(A)$는 임의의 $\epsilon > 0$에 대해 $\|A\|^{2+\epsilon}$로 유계화되는가?
• RQ3 $S^1$에서의 $\mathbb{E}_3(A)$는 $\mathbb{E}_3(A) \lesssim_\epsilon \|A\|^{3+\epsilon}$를 만족하는가?
• RQ4 $\sup_\theta \int_0^{\delta_0} \Lambda(\theta,\delta)^p \frac{d\delta}{\delta} < \infty$ 이고 $p \neq 2$인 경우, 희박한 최대함수 연산자 $\mathcal{M}$은 $L^p(\mathbb{R}^2)$에서 유계인가?
• RQ5 차원적 조건과 스무딩 조건을 만족하는 특이 측도 $\mu$에 대해, 최대함수 연산자 $\mathscr{M}$은 $H^1(\mathbb{R}^d)$를 약한-$L^1$으로 매핑하는가?

주요 결과

• $S^1$에서는 A. 바른스타인의 결과에 따라 반사 콘볼루션은 확대된 표준 콘볼루션으로 축소되므로 리에스-소볼레프 부등식이 성립한다.
• 대칭 감소 재배열에 대해, 구면 콘볼루션 $f*g$의 $L^1$-노름은 증가한다. 이는 자코비안 $|x-y|^{-(d-1)}$가 거리에 대해 대칭적이고 감소함을 뜻한다.
• 희박한 최대함수 연산자 $\mathcal{M}$의 $L^2$-유계성은 $\sup_\theta \int_0^{\delta_0} \Lambda(\theta,\delta)^2 \frac{d\delta}{\delta} < \infty$ 의 유한성과 동치이며, 이는 정확한 기하학적 조건을 설정한다.
• 단일 평평한 점을 갖는 도메인 $C + \exp(-1/|t|^a)$의 경우, $L^2$ 유계성은 $a < 2$일 때에만 성립하며, 이는 기하학적 평탄성과 해석적 행동을 연결한다.
• $L^p$ 유계성의 필요 조건은 $\|\mathcal{M}\|_{L^p \to L^p} \gtrsim \sup_\theta \left( \int_0^{\delta_0} \Lambda(\theta,\delta)^p \frac{d\delta}{\delta} \right)^{1/p}$ 이며, 이는 적분 조건이 충분할 수 있음을 시사한다.
• $H^1 \to L^{1,\infty}$ 유계성은 구면과 비영인 곡률을 갖는 초표면에서의 표면 측도에 대해 알려져 있으나, 더 일반적인 측도에 대해서는 여전히 열려있다.