| 研究課題/領域番号 |
21K13814
|
|---|
| 研究機関 | 埼玉大学 |
|---|
研究代表者 |
高橋 悠樹 埼玉大学, 理工学研究科, 助教 (70897769)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2026-03-31
|
| キーワード | 反復関数系 / ランダムウォーク / Attractor |
|---|
| 研究実績の概要 |
1) 有限個の実数上の縮小写像の組は反復関数系とよばれる。反復関数系とそれに対応する確率ベクトルが与えられたとき、実数上に不変測度と呼ばれる測度が自然に定義されることが知られている。反復関数系の拡張である nonautonomous な反復関数系とは、無限個の縮小写像の組のことである。この場合にも、不変測度に対応する測度が存在する。今年度の研究では、1パラメータに依存する nonautonomous な反復関数系を考え、ほとんどすべての場合にその不変測度が満たす次元公式を得た。また、ほとんど全ての場合にその測度が絶対連続になる十分条件をえた（中島由人氏との共同研究）。
2) 有限個の行列の組を与えたとき、円周上に attractor が定義できる。行列の組がある種の separation を持つとき、この attractor の次元公式が知られている。今回の研究では、行列の組に逆元が存在する場合においても、同様の次元公式が成立することを示した。
3) 反復関数系を拡張である、tree 上の反復関数系を定義しその性質を考察した。Tree 上でのランダムウォークを考え、そのランダムウォーク の exiting measure という測度を定義した。1パラメータに依存するそのような測度を考え、ほとんど全ての場合にその測度が満たす次元公式をえた。また、その測度が絶対連続になる十分条件をえた。これは、上の 1) の拡張である。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
当初の予定は、1パラメータに依存する Furtenberg measure の絶対連続性を示すことだった。これは、ある条件下においてはほぼ証明することができた。研究を進める中で、一般の場合にこの問題を完全に解決することは非常に困難であることがわかり、現在は Furtenberg measure と関連する他の複数のプロジェクトに取り組んでいる。
|
| 今後の研究の推進方策 |
今後は、Furtenberg measure と関連するプロジェクトについて研究したい。具体的には、縮小写像が線形である場合の反復関数系の拡張を考え、その次元公式を証明したい。また、縮小写像が線形でない場合にも、別の拡張を考えその次元公式を証明したい。
|
| 次年度使用額が生じた理由 |
パソコンの購入を遅らせたため次年度使用額が生じた。
|
