[논문 리뷰] Non existence of principal values of signed Riesz transforms of non integer dimension

Aleix Ruiz de Villa, Xavier Tolsa|ArXiv.org|2008. 12. 12.

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

한 줄 요약

이 논문은 상한 $ s $-밀도가 유계이면서 주요값이 $ \mu $-거의 everywhere에 존재할 경우, 비영인 Borel 측도 $ \mu $가 $ \mathbb{R}^m $에 존재할 때 비정수 차원 $ s $에 대한 부호 있는 Riesz 변환의 주요값이 존재할 수 없음을 증명한다. 핵심 결과는 이러한 존재성이 $ s $가 정수임을 강제함으로써 기하측도론에서 오랫동안 남아있던 문제를 새로운 분석적 접근법을 통해 해결한다. 이 접근법은 특별히 구성된 캐퍼 함수와 밀도 추정을 기반으로 한다.

ABSTRACT

In this paper we prove that, given s> 0, if E is a subset of R^m with positive and bounded s-dimensional Hausdorff measure H^s and the principal values of the s-dimensional signed Riesz transform of H^s|E exist H^s-almost everywhere in E, then s is integer. Other more general variants of this result are also proven.

연구 동기 및 목표

• 비정수 차원 $ s \in (n, n+1) $에서 상한 $ s $-밀도가 유계일 조건 하에서 주요값이 존재할 수 있는지 판단하는 것.
• 모든 $ x \in \mathbb{R}^m $에 대해 $ \mu $-거의 everywhere에서 Riesz 변환의 주요값이 존재하고 $ 0 < \theta^{s,*}_{\mu}(x) < \infty $일 경우, 이는 $ s \in \mathbb{Z} $임을 증명하는 것.
• 이전의 탄젠트 측도 기반 결과를 확장하기 위해, 하한 밀도 가정이 필요 없도록 하는 새로운 방법을 도입하며, $ C^2 $ 캐퍼 함수와 에너지 유형 추정을 사용하는 것.
• 유한한 $ H^s $-측도를 가진 집합 $ E \subset \mathbb{R}^m $에 대해, $ H^s|_E $-거의 everywhere에서 Riesz 변환의 주요값이 존재할 경우, 이는 $ s \in \mathbb{Z} $임을 증명하는 것.

제안 방법

• 특정 행동을 갖는 $ C^2(0,\infty) $에 속하는 매끄럽고 컴actsupport를 가진 캐퍼 함수 $ \varphi $를 구성: 작은 $ r $에 대해 $ \varphi(r) = r^{(s+1)/2} $, 중간 범위에서는 선형 감쇠, 그리고 컴팩트한 지지. 이를 통해 원점 근처의 Riesz 커널을 제어한다.
• 수정된 Riesz 변환 $ R^{s}_{\varphi,\varepsilon}\mu(x) = \int \varphi\left(\frac{|x-y|^2}{\varepsilon^2}\right) \frac{x-y}{|x-y|^{s+1}} d\mu(y) $를 정의하여 특이 커널을 정규화하고 $ \varepsilon $-의존적인 에너지 추정을 가능하게 한다.
• 밀도점 추론을 사용: $ \mu $-밀도점이 유계이면서 상한 밀도를 가진 집합 $ F_\delta $의 $ x_0 \in F_\delta $에 대해, $ x_0 $를 중심으로 하는 구 안에 하위차원 아핀 부분공간으로부터 제어 가능한 간격을 가지는 $ n+2 $개의 점을 구성한다.
• 점 구성의 기하학적 성질과 $ \varphi $의 성질을 이용하여, 원점에서 수정된 Riesz 변환의 $ L^1 $-노름에 하한을 설정: $ |U^\varepsilon(0)| \gtrsim \frac{\theta^s(\varepsilon)}{\varepsilon} $.
• 수정된 Riesz 변환의 Lipschitz 연속성에 기반한 상한을 유도: $ F_\delta $에서의 연속성은 $ \delta $로 제어되며, 이는 밀도 $ \theta^s(\varepsilon) $와 관련된다.
• 임의로 작은 $ \tau $에 대해 $ \theta^s(\varepsilon)r \lesssim \tau \theta^s(\varepsilon)r $임을 보여 모순을 유도함으로써 $ s \in \mathbb{Z} $임을 강제한다.

실험 결과

연구 질문

• RQ1 상한 $ s $-밀도가 유계일 경우, 비정수 차원 $ s \in (n, n+1) $에서 부호 있는 Riesz 변환의 주요값이 존재할 수 있는가?
• RQ2 Riesz 변환의 주요값이 $ \mu $-거의 everywhere에 존재할 경우, 이는 차원 $ s $가 정수여야 함을 의미하는가?
• RQ3 기존의 탄젠트 측도 접근법을 피할 수 있을까? 하한 밀도를 가정하지 않고도 $ s $의 정수성을 증명할 수 있는가?
• RQ4 유한한 $ H^s $-측도를 가진 기저 집합 $ E $에서 Riesz 변환의 주요값 존재성과 그 집합의 직선성(rectifiability) 사이의 관계는 무엇인가?

주요 결과

• 비정수 차원 $ s \in (n, n+1) $에 대해, $ \mu $-거의 모든 $ x $에 대해 $ 0 < \theta^{s,*}_{\mu}(x) < \infty $이면, 부호 있는 Riesz 변환의 주요값은 존재할 수 없다.
• Borel 측도 $ \mu $에 대해, 주요값 $ \lim_{\varepsilon \to 0} R^s_\varepsilon \mu(x) $가 $ \mu $-거의 모든 곳에서 존재하고 $ \theta^{s,*}_{\mu}(x) < \infty $이면, $ s \in \mathbb{Z} $임을 증명한다.
• 유한한 $ H^s $-측도를 가진 집합 $ E \subset \mathbb{R}^m $에 대해, $ H^s|_E $-거의 모든 곳에서 Riesz 변환의 주요값이 존재하면, 이는 $ s \in \mathbb{Z} $임을 의미한다.
• 이 증명은 $ C^2 $ 캐퍼 함수 $ \varphi $의 새로운 구성에 기반하며, 이는 Riesz 커널의 정밀한 제어를 가능하게 하고, $ s \notin \mathbb{Z} $일 경우 모순을 유도한다.
• 하한 $ |U^\varepsilon(0)| \gtrsim \frac{\theta^s(\varepsilon)}{\varepsilon} $와 상한 $ \delta \cdot \theta^s(\varepsilon) $ 사이의 비교에서 모순이 발생하며, $ \delta \to 0 $이므로 $ s \in \mathbb{Z} $임이 강제된다.