[論文レビュー] Potential theory and a characterization of polynomials in complex dynamics

Yûsuke Okuyama, Małgorzata Stawiska|arXiv (Cornell University)|Jul 16, 2010

Mathematical Dynamics and Fractals参考文献 12被引用数 4

ひとこと要約

本稿は、ポテンシャル論を用いて、リーマン球面上の有理写像における多項式を測度論的に特徴づける。有理関数の次数が1より大きいとき、そのバランスド測度が無限大の即時分岐域の調和測度と一致することと、それが多項式であることとは同値であることを証明し、古典的および動的重み付きポテンシャル論を用いて、ロペスの定理の新たな、概念的に異なる証明を確立した。この結果は、平衡測度と容量の計算への応用を含む。

ABSTRACT

We obtain a measure theoretical characterization of polynomials among rational functions on $\mathbb{P}^1$, which generalizes a theorem of Lopes. Our proof applies both classical and dynamically weighted potential theory.

研究の動機と目的

• P^1 上の有理写像の中での多項式を特徴づけるロペスの定理に対する、新たな、概念的に異なる証明を提供すること。
• バランスド測度 μ_f と無限大における即時分岐域の調和測度 ν の一致を用いて、多項式を同定する測度論的基準を確立すること。
• 複素力学系における平衡測度およびその台の解析に、古典的および動的重み付きポテンシャル論を発展させ、応用すること。
• 等分布定理に依存せずに、容量の計算を用いて、バランスド測度と調和測度の同値性を証明すること。

提案手法

• 有理写像 f の同次的リフト F に付随する動的グリーン関数 G^F を用いて、dd^c(G^F(1,·)) = μ_f - δ_∞ によりバランスド測度 μ_f を定義する。
• 対数ポテンシャルの引き戻し公式を適用し、先行研究の証明で用いられた主要等式の洗練版を導入する。
• 特に関数 Φ_F(z,w) = log|z - w| を用いて、重み付きポテンシャル論の概念を活用し、平衡ポテンシャルを分析する。
• Robin定数 I_μ_f を計算し、結果的の公式から得られる |Res F| を用いて I_ν と比較する。
• 上半連続性および最大値の原理を用いて、非多項式的挙動を仮定した場合の矛盾を導出する。
• μ_f が f に関して不変であることと、ジュリ集合の構造を活用して、測度の同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 有理写像 f のバランスド測度 μ_f が、無限大における即時分岐域の調和測度 ν と一致する条件は何か？
• RQ2 等分布結果に依存せずに、ポテンシャル論的手法を用いてロペスの定理を再証明できるか？
• RQ3 ジュリ集合の構造および f の力学的性質は、μ_f と ν 間の関係にどのような制約を課えるか？
• RQ4 結果的 Res F は、μ_f と ν の Robin 定数の計算にどのような役割を果たすか？
• RQ5 バランスド測度と調和測度の同値性 μ_f = ν は、次数 >1 の有理写像として f が多項式であることを十分に特徴づけられるか？

主な発見

• バランスド測度 μ_f が無限大における即時分岐域の調和測度 ν と一致することは、f が多項式であることと同値である。
• Robin 定数は I_μ_f = I_ν を満たし、調和測度の一意性より μ_f = ν を示す。
• 等分布定理に依存せず、容量の直接計算と |Res F| の公式を用いることで証明を実現した。
• 同値性 μ_f = ν は、μ_f の台がジュリ集合に含まれること、およびジュリ集合が完備であることの両方を示唆する。
• f が多項式でない場合、f による点の軌道は無限大へ発散するが、これはコンパクト集合上でグリーン関数が有界であることに矛盾する。
• 直接的に |F(p) ∧ (0,1)| を計算することで、平衡ポテンシャル V_F の新たな公式を導出し、弱収束に依存せずに等分布定理の証明を可能にした。