[논문 리뷰] Hadamard triples generate self-affine spectral measures

Dorin Ervin Dutkay, Chun‐Kit Lai외 1명|arXiv (Cornell University)|2015. 06. 04.

Mathematical Analysis and Transform Methods참고 문헌 40인용 수 20

한 줄 요약

이 논문은 $R$가 확장 행렬이고 $B, L$가 유한한 정수 디지트 집합인 히에드로드 트리플 $(R, B, L)$에 의해 생성된 임의의 자기유사 측도가 스펙트럼 측도임을 증명한다. 즉, $L^2(\mu)$에서 지수 함수의 정규직교 기저를 갖는다. 증명은 귀납법, 준곱형 분해, 조건부 측도에 대한 조화해석학을 사용하여 스펙트럼의 존재를 확립하며, 조르게른스터와 페더슨의 오랜 추측을 해결한다.

ABSTRACT

Let $R$ be an expanding matrix with integer entries and let $B,L$ be finite integer digit sets so that $(R,B,L)$ form a Hadamard triple on ${\br}^d$. We prove that the associated self-affine measure $μ= μ(R,B)$ is a spectral measure, which means it admits an orthonormal bases of exponential functions in $L^2(μ)$. This settles a long-standing conjecture proposed by Jorgensen and Pedersen and studied by many other authors.

연구 동기 및 목표

• 자기유사 측도가 히에드로드 트리플에서 유래하는 모든 경우에 스펙트럼 측도임을 해결하는 것.
• 자기유사 집합 위의 비원소적, 비원소 측도가 지수 함수의 정규직교 기저를 갖는 조건을 설정하는 것.
• IFS의 구조적 분해와 조건부 측도의 스펙트럼 성질을 이용하여 일차원에서의 이전 결과를 임의의 차원으로 일반화하는 것.
• 히에드로드 트리플 조건을 통해 스펙트럼 자기유사 측도를 완전히 특성화하여 이전의 부분적 결과들을 통합하는 것.

제안 방법

• 일차원에서 알려진 결과로부터 시작하여 차원 $d$에 대한 귀납법을 사용한다.
• $\mathbb{Z}[R,B] = \mathbb{Z}^d$를 확보하기 위해 공액을 적용하여 대수적 구조를 단순화한다.
• 제2.7조를 이용하여 체계를 준곱형 분해하여 문제를 낮은 차원의 구성요소로 분리한다.
• 귀납 가정을 사용하여 첫 번째 구성요소 측도 $\mu_1$가 스펙트럼임을 증명한다.
• 준곱형 구조를 이용하여 $\mu_1$-거의 모든 $x$에 대해 조건부 측도 $\mu_x^2$가 스펙트럼 $\Gamma_2$를 갖는다는 것을 확립한다.
• 스펙트럼 $\Lambda_1$와 $\Gamma_2$를 결합하여 $\Lambda_1 \times \Gamma_2$를 형성하고, 파르세발 항등식과 푸리에 분석을 통해 이가 전체 측도 $\mu$에 대한 스펙트럼임을 증명한다.

실험 결과

연구 질문

• RQ1 히에드로드 트리플 $(R,B,L)$에 의해 유도된 모든 자기유사 측도 $\mu(R,B)$가 $L^2(\mu)$에서 지수 함수의 정규직교 기저를 갖는가?
• RQ2 히에드로드 트리플 조건만을 사용하여 임의의 차원에서 자기유사 측도의 스펙트럼 성질을 확립할 수 있는가? 추가 가정(예: 기약성 또는 대칭성)이 필요하지 않은가?
• RQ3 준곱형 분해는 고차원 자기유사 측도의 스펙트럼을 구성하는 데 어떤 역할을 하는가?
• RQ4 섬세한 섹션에 沿한 조건부 측도는 자기유사 측도의 전반적 스펙트럼 성질과 어떻게 관련이 있는가?

주요 결과

• 모든 자기유사 측도 $\mu(R,B)$는 $(R,B,L)$가 히에드로드 트리플을 이루는 한 스펙트럼 측도이다. 이는 조르게른스터와 페더슨의 추측을 확인한다.
• 측도 $\mu(R,B)$의 스펙트럼은 $\Lambda_1 \times \Gamma_2$로 구성될 수 있으며, 여기서 $\Lambda_1$는 첫 번째 구성요소 측도의 스펙트럼이고 $\Gamma_2$는 거의 모든 조건부 측도 $\mu_x^2$의 스펙트럼이다.
• 증명은 측도의 푸리에 변환이 파르세발 유형 항등식을 만족한다는 사실에 기반한다: 거의 전지적으로 $\sum_{\lambda_1, \gamma_2} |\widehat{\mu}(x + \lambda_1, y + \gamma_2)|^2 = 1$.
• 중복 없음 조건은 측도가 실린더 집합에 의해 유일하게 결정됨을 보장하며, 이는 원래 측도를 그 공액형 대응체 $\mu_1^\dagger$와 식별할 수 있게 한다.
• 준곱형 분해는 $d$차원 문제를 낮은 차원의 스펙트럼 문제로 환원시켜 스펙트럼의 귀납적 구성이 가능하게 한다.
• 결과는 모든 확장 정수 행렬 $R$와 유한한 디지트 집합 $B, L$에 대해 성립하며, 행렬 $H = \frac{1}{\sqrt{N}}[e^{2\pi i \langle R^{-1}b, \ell \rangle}]_{b \in B, \ell \in L}$의 유니타리 조건을 만족한다.