[論文レビュー] Complete Determination of the Spectrum of a Transfer Operator associated with Intermittency

Thomas Prellberg|ArXiv.org|Aug 24, 2001

Mathematical Dynamics and Fractals被引用数 5

ひとこと要約

本稿は、代表的な間欠的系であるファレー写像に対するルイユ＝ベルン＝フラボニウス（RPF）移行作用素の、初めての完全なスペクトル解析を提示する。第一帰着写像と固有値分岐の解析的接続を用いることで、作用素が適切なヒルベルト空間上で自己随伴であることを証明し、そのスペクトルを完全に特定する——連続スペクトルが[0,1]にあり、孤立した固有値が有限重複度をもつ。主な結果は、連続スペクトルに埋め込まれた固有値を含むすべての固有値を、数値的に効率よく計算する手法であり、正確な固有値は特定のβ = -N/2の値でのみ得られる。

ABSTRACT

It is well established that the physical phenomenon of intermittency can be investigated via the spectral analysis of a transfer operator associated with the dynamics of an interval map with indifferent fixed point. We present here for the first time a complete spectral analysis for an example of such an intermittent map, the Farey map. We give a simple proof that the transfer operator is self-adjoint on a suitably defined Hilbert space and show that its spectrum decomposes into a continuous part (the interval $[0,1]$) and isolated eigenvalues of finite multiplicity. Using a suitable first-return map, we present a highly efficient numerical method for the determination of all the eigenvalues, including the ones embedded in the continuous spectrum.

研究の動機と目的

• 間欠的写像に対するルイユ＝ベルン＝フラボニウス（RPF）移行作用素の完全なスペクトル的特徴付けを提供すること。
• 間欠性における非ギブス的または弱ギブス的平衡状態を、厳密なスペクトル的手法で解析する長年の課題を解決すること。
• 連続スペクトル内に埋め込まれた固有値を含む、すべての固有値を数値的に効率よく計算する手法を開発すること。
• 連続スペクトル内に固有値が存在する条件を明確にすること、特にβ = -N/2における制限の意義を明らかにすること。

提案手法

• RPF作用素を間欠的（P₀）およびカオス的（P₁）な部分に分解し、P = P₀ + P₁とする。
• 第一帰着写像を構築することで、切断されたヒルベルト空間上でのより取り扱いやすいスペクトル解析に問題を変換する。
• 修正された作用素M_zの固有値分岐をz = 1を越えて解析的接続することで、連続スペクトルに埋め込まれた固有値の検出が可能になる。
• 移行作用素を多項式の基底で展開し、行列要素がzに関する有理関数となるようにする。
• 固有値λ_n(z)の解析的接続を用いて、λ = 1との交差を検出することで、元の作用素Pの固有値を特定する。
• 数値計算は、λ_n(z) = 1を満たすzを求める方法で行い、β = -N/2における多項式不変性により収束を検証する。

実験結果

リサーチクエスチョン

• RQ1 ファレー写像に対するRPF作用素が、連続スペクトル[0,1]に埋め込まれた固有値を持つ条件は何か？
• RQ2 連続部分に属する固有値と孤立した固有値を含め、移行作用素の完全なスペクトルを効率的に計算する方法は何か？
• RQ3 第一帰着写像が、スペクトル問題を数値的に取り扱いやすい形に変換する役割は何か？
• RQ4 なぜ連続スペクトル内に埋め込まれた固有値が特定のβ = -N/2の値でのみ存在するのか？この制限の意義は何か？
• RQ5 相関関数の減衰を決定づけるスペクトルギャップは、βが変化するにつれてどのように変化するか、特にβ < -2のときには？

主な発見

• ファレー写像に対するRPF作用素は、適切に定義されたヒルベルト空間上で自己随伴であり、実固有値と明確なスペクトル分解を保証する。
• スペクトルは区間[0,1]に連続部分と、有限重複度の孤立した固有値から構成され、β ≥ 1ではスペクトルギャップがない。
• β = -N/2（N ∈ ℕ₀）のときのみ、連続スペクトルに埋め込まれた固有値が存在し、これらはz = 1を越えて解析的接続可能である。
• β < 1のとき、作用素Pの主要固有値は連続スペクトルから生じ、M_zスペクトルにおけるλ = 1との最初の交差はz < 1で発生する。
• β = -3のとき、M_zの4つの固有値分岐がλ = 1と交差し、そのうちz = 13.101の位置に1つが存在し、これは[0,1]に埋め込まれたPの固有値を示している。
• β > 1のとき、作用素には非ゼロ固有値がなく、スペクトル全体が[0,1]に連続的である。これは相関関数のべき則的減衰と整合的である。