[논문 리뷰] How behave the typical $L^q$-dimensions of measures?

Frédéric Bayart|arXiv (Cornell University)|2012. 03. 13.

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

한 줄 요약

이 논문은 Baire 범주성의 일반성에 기반하여 컴팩트 집합 $K \subset \mathbb{R}^d$ 에 지지되는 확률 측도의 일반적인 상한 및 하한 $L^q$-차원을 결정한다. 일반적인 측도에 대해 $L^q$-차원은 $q$와 $K$의 기하학적 불변량(예: 균일 국소 상한 상자 차원 및 상한 상자 차원)에 따라 특정 값과 일치함을 규명하여 올슨의 작업에서 남아 있던 열린 질문들을 해결하고, $q < 1$ 및 $q < 0$ 에서 이러한 차원의 거동에 대한 추측을 확인한다. 주요 기여는 모든 $q \in \mathbb{R}$ 에 대해 일반적인 $L^q$-차원을 완전히 특성화한 것으로, $L^q$-적분 함수기반의 상한 및 하한 연속성과 중간값 정리의 응용을 통해 정확한 값을 도출한다.

ABSTRACT

We compute, for a compact set $K\subset\mathbb R^d$, the value of the upper and of the lower $L^q$-dimension of a typical probability measure with support contained in $K$, for any $q\in\mathbb R$. Different definitions of the "dimension" of $K$ are involved to compute these values, following $q\in\mathbb R$.

연구 동기 및 목표

• 컴팩트 집합 $K \subset \mathbb{R}^d$ 에서 Baire 범주성 위상에 따라 일반적인 확률 측도의 상한 및 하한 $L^q$-차원의 일반적인 값을 결정하기.
• 올슨의 이전 작업에서 남겨진 열린 질문들을 해결하기, 특히 $q < 1$ 및 $q < 0$ 에서의 $L^q$-차원 거동에 관해, $\underline{D}_\mu(q) = 0$ 및 $\overline{D}_\mu(q) = +\infty$ 라는 그의 추측을 포함하여.
• 새로운 기하학적 불변량, 예를 들어 균일 국소 상한 상자 차원 $s_u = \overline{\dim}_{B,\text{loc},\text{unif}}(K)$ 와 분리 차원 $s_{\text{sep}} = \operatorname{bsi}(K)$ 를 도입하고 활용하여 일반적인 $L^q$-차원을 특성화하기.

제안 방법

• 분석은 약한 위상에서 $\mathcal{P}(K)$ 의 조밀한 $G_\delta$ 집합에 속하는 측도를 '일반적'으로 정의하는 Baire 범주적 접근을 사용한다.
• $q \neq 1$ 에 대해 $L^q$-차원은 적분 $I_\mu(r,q) = \int_K \mu(B(x,r))^{q-1} \, d\mu(x)$ 의 점근적 행동을 통해 정의되며, $q = 1$ 에는 로그 변형이 사용되며, $r \to 0$ 일 때 $\frac{1}{q-1} \frac{\log I_\mu(r,q)}{\log r}$ 의 하한 및 상한 극한으로부터 차원이 유도된다.
• 핵심 기술 도구로는 상한 및 하한 연속성 함수에 적용되는 중간값 정리이며, 특히 $r \mapsto \frac{1}{q-1} \frac{\log I_\mu(r,q)}{\log r}$ 에 적용되는 레미마 7.4 는 오른쪽에서 상한 연속성, 왼쪽에서 하한 연속성을 가진다.
• 논문은 두 가지 새로운 기하학적 불변량을 정의한다: $s_{\text{sep}} = \operatorname{bsi}(K)$, 즉 상자 분리 지수, 그리고 $s_u = \overline{\dim}_{B,\text{loc},\text{unif}}(K)$, 즉 균일 국소 상한 상자 차원으로, 이들은 서로 다른 $q$ 범위에서 일반적인 $L^q$-차원을 지배한다.
• 증명은 임의의 $\tau$ 가 특정 구간 $E_q$ 에 속할 경우, $r_n \to 0$ 인 수열이 존재하여 $L^q$-차원 표현식이 $\tau$ 로 수렴함을 보이며, 이는 $I_\mu(r,q)$ 의 연속성 및 반연속성 성질을 이용한다.

실험 결과

연구 질문

• RQ1 Baire 범주성 위상 하에서 컴팩트 집합 $K \subset \mathbb{R}^d$ 에 지지되는 확률 측도의 일반적인 상한 및 하한 $L^q$-차원의 일반적인 값은 무엇인가?
• RQ2 모든 $q < 1$ 에 대해 $\underline{D}_\mu(q) = 0$ 이고, $q < 0$ 에 대해 $\overline{D}_\mu(q) = +\infty$ 라는 추측이 일반적인 측도에 대해 성립하는가?
• RQ3 일반적인 측도에 대해 상한 $L^q$-차원이 상수 $f(q)$ 로 정확히 특성화될 수 있는가? 만약 그렇다면, $f(q)$ 는 $K$ 의 기하학적 불변량으로 어떻게 표현되는가?
• RQ4 새로운 불변량인 $s_{\text{sep}} = \operatorname{bsi}(K)$ 와 $s_u = \overline{\dim}_{B,\text{loc},\text{unif}}(K)$ 는 서로 다른 $q$-범위에서 일반적인 $L^q$-차원과 어떻게 관련되어 있는가?

주요 결과

• 모든 $q > 1$ 에 대해 일반적인 측도는 $\underline{D}_\mu(q) = 0$ 이고 $\overline{D}_\mu(q) = s_u$ 를 만족하며, 여기서 $s_u = \overline{\dim}_{B,\text{loc},\text{unif}}(K)$ 는 $K$ 의 균일 국소 상한 상자 차원이다.
• 모든 $q \in (0,1)$ 에 대해 일반적인 측도는 $\underline{D}_\mu(q) = 0$ 이고 $\overline{D}_\mu(q) = s$ 를 만족하며, 여기서 $s = \overline{\dim}_B(K)$ 는 $K$ 의 상한 상자 차원이다.
• 모든 $q = 0$ 에 대해 일반적인 측도는 $\underline{D}_\mu(0) = s_{\text{sep}}$ 이고 $\overline{D}_\mu(0) = s$ 를 만족하며, 여기서 $s_{\text{sep}} = \operatorname{bsi}(K)$ 는 $K$ 의 상자 분리 지수이다.
• 모든 $q < 0$ 에 대해 일반적인 측도는 $\underline{D}_\mu(q) = s_{\text{sep}}$ 이고 $\overline{D}_\mu(q) = +\infty$ 를 만족하며, 이는 올슨의 추측을 확인한다.
• 모든 $q \in \mathbb{R} \setminus \{1\}$ 과 정의된 기하학적 불변량에 의해 결정되는 구간 $E_q$ 에 속하는 임의의 $\tau$ 에 대해, $r_n \to 0$ 인 수열이 존재하여 $\frac{\log I_\mu(r_n,q)}{(q-1)\log r_n} \to \tau$ 를 만족함을 보이며, 이는 일반적인 측도에서 $L^q$-차원이 주어진 구간 내 임의의 값을 실현할 수 있음을 보여준다.