[논문 리뷰] Numerical computation of the isospectral torus of finite gap sets and of IFS Cantor sets

Giorgio Mantica|arXiv (Cornell University)|2015. 03. 12.

Mathematical Dynamics and Fractals참고 문헌 54인용 수 3

한 줄 요약

이 논문은 유한 간격 집합과 반복 함수 시스템(IFS) 캐논트 집합의 등스펙트럴 토러스를 계산하기 위한 수치 프레임워크를 제시한다. 조화 해석학과 이산 푸리에 변환을 사용하여 자바티 행렬의 성분을 근사한다. 이는 IFS 측도(예: 악마의 계단)의 자바티 행렬이 점점 더 거의 주기적임을 강력한 수치적 증거로 제시하며, 스펙트럼 이론에서 오랫동안 제기된 추측을 지지한다.

ABSTRACT

We describe a numerical procedure to compute the so-called isospectral torus of finite gap sets, that is, the set of Jacobi matrices whose essential spectrum is composed of finitely many intervals. We also study numerically the convergence of specific Jacobi matrices to their isospectral limit. We then extend the analyis to the definition and computation of an "isospectral torus" for Cantor sets in the family of Iterated Function Systems. This analysis is developed with the ultimate goal of attacking numerically the conjecture that the Jacobi matrices of I.F.S. measures supported on Cantor sets are asymptotically almost-periodic.

연구 동기 및 목표

• 유한한 스펙트럴 간격을 가진 자바티 행렬의 집합으로 정의된 등스펙트럴 토러스를 수치적으로 계산하는 방법을 개발한다.
• 특히 악마의 계단과 같은 특이 연속 측도를 포함한 반복 함수 시스템(IFS)으로 생성된 캐논트 집합에 대해 등스펙트럴 토러스 개념을 확장한다.
• 자바티 행렬 성분의 조화 해석을 통해 IFS 측도의 자바티 행렬이 점근적으로 거의주기적임이라는 추측을 수치적으로 조사한다.
• 등스펙트럴 극한으로의 자바티 행렬 성분 수렴 분석을 통해 수치 절차의 타당성을 검증한다.

제안 방법

• IFS 캐논트 집합의 유한 근사 Eₙ에 대한 평형 측도 νₙ을 [49]의 방법을 사용하여 수치적으로 계산한다.
• 각 Eₙ에 대해 제5장에서 설명된 새로운 수치 절차를 사용하여 등스펙트럴 토러스를 계산한다. 이 절차는 스펙트럼 및 역스펙트럼 기법에 기반한다.
• 자바티 행렬 성분 bⱼ(μₙ)에 대해 도르프-체비셰프 창을 사용한 이산 푸리에 분석을 적용하여 주파수 성분을 위한 선형방정식계로 변환한다.
• 창이 적용된 푸리에 변환은 띠형 선형계로 해결되어, 고정밀도로 진폭 Cₖ와 위상 ψₖ를 추출할 수 있다.
• 지연 이동 절차를 사용하여 여러 번의 이동된 창에 맞추어 근사 위상을 ψₖ로 추출함으로써 위상 추정 정확도를 향상시킨다.
• 수치적으로 계산된 조화 성분을 등스펙트럴 토러스로부터 유도된 성분과 비교함으로써 수렴성과 점근적 거의주기성의 정도를 평가한다.

실험 결과

연구 질문

• RQ1 유한 간격 집합과 IFS로 생성된 캐논트 집합에 대해 고정밀도로 등스펙트럴 토러스를 수치적으로 계산할 수 있는가?
• RQ2 IFS 측도의 자바티 행렬 성분 bⱼ(μₙ)이 등스펙트럴 극한 bⱼ(μ∞)으로 수렴하는가? 수렴 속도는 어떠한가?
• RQ3 자바티 행렬 성분이 조화 해석에서 유도된 삼각 다항식으로 악마의 계단 측도에 대해 얼마나 잘 근사될 수 있는가?
• RQ4 IFS-균형 측도의 자바티 행렬이 점근적으로 거의주기적임을 수치적으로 뒷받침하는 증거가 있는가?
• RQ5 등스펙트럴 토러스의 지수적 속도와 관련하여 수렴 길이 N(ε,n)의 척도 행동은 어떠한가?

주요 결과

• 수치 절차는 유한 간격 집합과 IFS 캐논트 집합에 대해 등스펙트럴 토러스를 성공적으로 계산하여 자바티 행렬의 세밀한 스펙트럼 분석을 가능하게 하였다.
• 자바티 행렬 성분 bⱼ(μₙ)이 bⱼ(μ∞)로 수렴하는 현상은 j ∈ (e^{δn}, e^{κn}) 범위의 세그먼트에서 관찰되었으며, δ ≈ 0.644이고 κ는 데이터로부터 추정되었다.
• 도르프-체비셰프 필터링을 적용한 창이 적용된 이산 푸리에 변환은 표준 FFT보다 더 높은 정밀도의 조화 성분을 제공하여 정확한 진폭 및 위상 추출이 가능했다.
• 행렬 성분에서 유도된 계산된 진폭과 위상은 등스펙트럴 토러스에서 유도된 값과 강한 일치를 보였으며, 이는 수치 프레임워크의 타당성을 검증하였다.
• 그림 14의 데이터는 κ > δ일 가능성이 있음을 시사하며, 이는 n이 증가함에 따라 등스펙트럴 극한을 점점 더 긴 세그먼트에서 근사할 수 있음을 나타낸다.
• 본 연구는 IFS 캐논트 집합에 대해 등스펙트럴 토러스 수렴을 명시적으로 수치적으로 보여주는 최초의 사례이며, 점근적 거의주기성의 추측을 지지한다.