[논문 리뷰] Kakeya Sets in Cantor directions

Michael Bateman, Nets Hawk Katz|ArXiv.org|2006. 09. 06.

Mathematical Dynamics and Fractals참고 문헌 5인용 수 4

한 줄 요약

이 논문은 표준 3진 캔터 집합에 속하는 기울기를 가진 평행사변형을 사용하여 평면상의 케이크야 집합의 가족을 구성한다. 이는 기울기가 캔터 집합에 속하는 불가측한 많은 방향에서 선분을 포함하고 있음에도 불구하고, 그러한 집합의 르베그 측도가 임의로 작은 값(약 $1/\log N$ 수준)이 될 수 있음을 보여준다. 이 구성은 확률적 방법과 트리 위의 전기 회로 이론에 기반하며, 모든 $L^p$ 공간에서 $p \neq \infty$일 때 유계가 아닌 최대 연산자를 도출하여 조화 분석 분야에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

We construct a union of N parallelograms of dimensions approximately 1/N x 1 in the plane, with the slope of their long sides in the standard Cantor set. The union has area 1/log N but the union of the doubles has area log log N/ log N. In particular, this implies unbounded of the associated maximal operator in L^p for any p different from infinity. The construction is by randomizing an earlier construction of the second author for the L^2 case. The proof that the construction satisfies the desired conditions is by elementary estimates in the theory of percolation on trees as developed by R. Lyons.

연구 동기 및 목표

• 표준 캔터 집합에 속하는 방향에서 선분을 포함하는 최대 연산자 $\mathcal{M}$ 이론이 $L^p(\mathbb{R}^2)$에서 $p \neq \infty$일 때 유계가 아님을 해결하는 것.
• 캔터 집합에 제한된 기울기를 가진 케이크야 유형의 집합을 명시적으로 구성하고, 그 르베그 측도가 임의로 작은 값을 가질 수 있음을 보이는 것.
• 트리에서의 침투 현상과 프랙탈 방향에서 케이크야 집합의 측도론적 성질 사이의 연결 고리를 설정하는 것.
• 측도가 $N$에 대해 로그적으로 감소하는 케이크야 집합의 확률적 구성 방법을 제공하며, 그 확대된 형태의 측도는 $\log \log N / \log N$ 이하로 유계임을 보이는 것.

제안 방법

• 기울기를 정의하기 위해 독립적인 랜덤 변수 $r_{t,a} \in \{0,2\}$를 사용하는, 삼진 트리 $T_n$에서 $n$-단계 캔터 집합 $C_n$으로 향하는 黏착 지ap $\sigma_n: T_n \to C_n$의 확률적 구성.
• 기울기가 캔터 집합에 속하는 방향에 따라 정렬된, 비율이 $\sim N = 3^n$이고 면적이 $\sim 1/N$인 평행사변형 $P_{\sigma,s}$의 정의.
• 삼진 트리의 부분트리에서 전기 회로 이론의 저항 이론을 적용하여, 점이 평행사변형들의 합집합에 속할 확률을 추정하는 것.
• Lyons의 정리에 따라, 부분트리에 도달할 확률이 효과적 저항 $R(T')$와 관련되며, 관련 부분트리에 대해 $R(T') \gtrsim n$임을 이용하는 것.
• 측도 이론의 균일성 부등식을 사용하여, 평행사변형들의 쌍별 교차를 기반으로 합집합의 측도를 하한으로 제시하는 것.
• 적분과 기대값의 순서를 바꾸어 케이크야 집합의 기대 측도를 계산하고, 핵심적인 감쇠 추정에 이를 이르는 것.

실험 결과

연구 질문

• RQ1 캔터 집합에 속하는 기울기로 제한된 방향을 가진 케이크야 집합을 구성할 수 있으며, 그 르베그 측도가 임의로 작은 값을 가질 수 있는가?
• RQ2 기울기가 캔터 집합에 속하는 직선들로 이루어진 집합 $\mathcal{S}$에 대해, 최대 연산자 $\mathcal{M}f(x) = \sup_{x \in s \in \mathcal{S}} \text{av}_s |f|$가 $L^p(\mathbb{R}^2)$에서 $p \neq \infty$일 때 유계가 아닐 수 있는가?
• RQ3 기울기가 캔터 집합에 속하고, 비율이 $\sim N$이며 면적이 $\sim 1/N$인 $N = 3^n$개의 평행사변형으로 이루어진 케이크야 집합의 측도가 점 渐진적으로 어떻게 행동하는가?
• RQ4 이러한 구성에서 확대된 집합 $2P_j$의 측도는 원래 집합과 비교하여 어떻게 되는가?

주요 결과

• 모든 $N = 3^n$에 대해, 캔터 집합에 속하는 기울기를 가진 $N$개의 평행사변형이 존재하며, 각각의 비율은 $\sim N$, 면적은 $\sim 1/N$이다. 이들의 합집합의 측도는 $|\bigcup_{j=1}^N P_j| \lesssim 1/\log N$를 만족한다.
• 확대된 합집합 $\bigcup_{j=1}^N 2P_j$의 측도는 $|\bigcup_{j=1}^N 2P_j| \gtrsim \log \log N / \log N$를 만족한다.
• 표준 캔터 집합에 속하는 기울기를 가진 직선들에 대해 정의된 최대 연산자 $\mathcal{M}$은 모든 $p \neq \infty$에 대해 $L^p(\mathbb{R}^2)$에서 유계가 아니다.
• 이 구성은 삼진 트리 위의 黏착 지도에 대한 확률 모델에 기반하며, 점이 케이크야 집합에 속할 확률은 전기 회로의 효과적 저항을 통해 추정된다.
• 케이크야 집합의 측도에 대한 핵심 하한은 $|K_\sigma| \gtrsim \log n / n$이며, 이는 저항 추정 $R(T') \gtrsim n$과 Lyons의 정리로부터 유도된다.
• 黏착 지도의 확률 공간에서 케이크야 집합의 기대 측도는 $\lesssim 1/n$이며, 이는 특정 예시의 측도가 $\lesssim 1/n$임을 의미한다. 반면 $\gtrsim \log n / n$의 하한은 비자명성을 보장한다.