[논문 리뷰] Exponential spectra in $L^2(μ)$

Xing‐Gang He, Chun‐Kit Lai외 1명|arXiv (Cornell University)|2011. 10. 07.

Mathematical Analysis and Transform Methods참고 문헌 14인용 수 21

한 줄 요약

이 논문은 $L^2\!\!(\mu)$에서의 푸리에 프레임이 순형 측도를 암시함을 입증하며, 지수 리에스 기저를 갖는 이산 및 특이 연속 측도를 분류한다. 정수 타일과 컨볼루션을 사용하여 스펙트럼 이론과 프랙탈 측도에서의 조화 분석을 연결함으로써, 지수 리에스 기저를 갖지만 지수 orthonormal 기저를 갖지 않는 특이 연속 측도의 첫 번째 알려진 예를 구성한다.

ABSTRACT

Let $μ$ be a Borel probability measure with compact support. We consider exponential type orthonormal bases, Riesz bases and frames in $L^2(μ)$. We show that if $L^2(μ)$ admits an exponential frame, then $μ$ must be of pure type. We also classify various $μ$ that admits either kind of exponential bases, in particular, the discrete measures and their connection with integer tiles. By using this and convolution, we construct a class of singularly continuous measures that has an exponential Riesz basis but no exponential orthonormal basis. It is the first of such kind of examples.

연구 동기 및 목표

• 컴actly 지지된 Borel 확률 측도 $\mu$ on $\mathbb{R}^d$ 중에서 $L^2(\mu)$에서 지수 프레임, 리에스 기저 또는 orthonormal 기저를 갖는 측도를 분류하는 것.
• 이러한 기저를 지지하는 데 필요한 구조적 조건을 이산 측도와 특이 연속 측도에 대해 규명하는 것.
• 특이 연속 측도가 지수 리에스 기저를 갖지만 지수 orthonormal 기저를 갖지 않는다는 것을 입증하는 열린 문제를 해결하는 것.
• F-스펙트럼 측도에 대한 순형 법칙을 수립하여, 그것이 반드시 이산, 특이 연속 또는 절대 연속이어야 한다고 보여주는 것.

제안 방법

• 프레임 부등식과 하한 베르링 밀도를 사용하여 F-스펙트럼 측도가 순형이어야 한다는 것을 증명하는 것.
• de Branges의 정수 함수 이론을 적용하여 단위 구간의 경우 F-스펙트럼을 분류하는 것.
• 마스크 다항식과 이중영점 집합을 사용하여 $\mathbb{Z}^+$ 위의 유한 이산 측도에 대한 orthonormal 기저를 특성화하는 것.
• 원분 다항식과 정수 타일의 성질을 활용하여 덧셈 타일 조건으로부터 스펙트럼 집합을 구성하는 것.
• 컨볼루션과 스케일링을 적용하여 이산 스펙트럼 측도로부터 특이 연속 측도의 리에스 기저를 생성하는 것.
• 만약 $\mathcal{A} \oplus \mathcal{B} = \mathbb{N}_n$ 이라면, $\delta_\mathcal{A}$ 는 $\frac{1}{n}\mathbb{Z}$ 내의 스펙트럼을 갖는 스펙트럼 측도임을 증명하는 것.

실험 결과

연구 질문

• RQ1 콤팩트하게 지지된 Borel 확률 측도 $\mu$ 가 $L^2(\mu)$에서 지수 푸리에 프레임을 갖는 조건은 무엇인가요?
• RQ2 특이 연속 측도가 지수 리에스 기저를 지닐 수 있지만 지수 orthonormal 기저를 갖지 못하는 경우는 존재합니까?
• RQ3 정수 타일 집합과 이산 측도의 스펙트럼 성질 사이의 관계는 무엇입니까?
• RQ4 마스크 다항식의 대수적 성질과 그 영점 집합이 스펙트럼 구조를 어떻게 결정합니까?
• RQ5 F-스펙트럼 측도에 대한 순형 분류는 $L^2(\mu)$에서 어떻게 성립합니까?

주요 결과

• 만약 $L^2(\mu)$가 지수 프레임을 갖는다면, $\mu$ 는 순형이어야 하며, 이는 이산, 특이 연속 또는 절대 연속이어야 한다는 뜻이다.
• 모든 $\mathbb{Z}^+$ 위의 유한 이산 확률 측도 중에서 $0 \in \mathcal{C}$ 를 만족하는 것은 R-스펙트럼 측도이다.
• 이산 측도 $\mu = \sum_{c \in \mathcal{C}} p_c \delta_c$ 는 마스크 다항식 $m_\mu(x)$ 의 이중영점 집합 $\Lambda$ 가 $|\Lambda| = |\mathcal{C}|$ 를 만족하고, 모든 $p_c$ 가 동일할 때에만 스펙트럼 측도이다.
• 논문은 컨볼루션과 정수 타일을 사용하여, 지수 리에스 기저를 갖지만 지수 orthonormal 기저를 갖지 않는 특이 연속 측도의 첫 번째 알려진 예를 구성한다.
• 만약 $\mathcal{A} \oplus \mathcal{B} = \mathbb{N}_n$ 이라면, $\delta_\mathcal{A}$ 는 $\frac{1}{n}\mathbb{Z}$ 내의 스펙트럼을 갖는 스펙트럼 측도이다.
• 유한 집합 $\mathcal{A} \subset \mathbb{Z}^+$ 에 대해 조건 (T1) 과 (T2) 가 성립하면, $\delta_\mathcal{A}$ 는 $\frac{1}{n}\mathbb{Z}$ 내의 명시적 스펙트럼을 갖는 스펙트럼 측도이다.