[論文レビュー] ON CERTAIN FUNCTIONS AND RELATED PROBLEMS

Symon Serbenyuk|arXiv (Cornell University)|Jan 1, 2019

Education, Innovation and Language Studies参考文献 6被引用数 3

ひとこと要約

本稿では、可換系列展開における一般化されたシフト作用素を導入し、ガウス＝クズミン問題およびサレム関数を一般化する応用を行う。これらの作用素を含む関数方程式系に対して、一意で有界かつ連続な解が確立され、解およびそのルベーグ積分の明示的公式が得られ、古典的結果が可変基数の展開および非標準的関数系へと拡張される。

ABSTRACT

The present article is devoted to the description of further investigations of the author of this article. These investigations (in terms of various representations of real numbers) include the generalized Salem functions and generalizations of the Gauss-Kuzmin problem.

研究の動機と目的

• 可変基数の可換系列展開における一般化シフト作用素を用いたガウス＝クズミン問題の一般化。
• 関数方程式を用いて、新たなクラスの特異的および至る所微分不可能関数の理論を拡張すること。
• 一般化シフト作用素から得られる解の連続性、微分可能性、可積分性を分析すること。
• 不連続性の構造および反復一般化シフト作用素下での解の挙動を調査すること。
• リューロート、エンゲル、連分数を含む多様な記数系における関数方程式の今後の研究の基盤を築くこと。

提案手法

• 可変基数 (qk) を持つ可換系列展開における一般化シフト作用素 σm を定義し、m 番目の桁を飛ばし、残りの項を再重み付けすることで定義する。
• 一般化シフト作用素 σm(x) を、m 番目の項を除いた系列の部分和を再結合する区分的連続写像として定義する。
• σnk−1 ◦ ... ◦ σn1(x) を含む関数方程式系を確立し、係数 βαnk,nk および重み pαnk,nk が (−1,1) 内にあり、和が 1 に等しい制約を満たすことを示す。
• 反復代入を用いて g(x) = βαn1 + ∑_{k=2}^∞ βαnk ∏_{j=1}^{k-1} pαnj を導出し、積項の減衰により収束を証明する。
• 解関数の積分を計算するためのルベーグ積分公式 ∫₀¹ g(x)dx = (β₁ + ... + β_{q−1})/(q−1) を適用する。
• 連続性および微分可能性を分析：g は q-無理数点で連続であり、列 (nk) に依存する可算集合でのみ不連続である。

実験結果

リサーチクエスチョン

• RQ1 可変基数の可換系列展開における反復一般化シフト作用素の極限分布は何か？
• RQ2 一般化シフト作用素を含む関数方程式は、どのように特異的または至る所微分不可能関数を生成するか？
• RQ3 関数方程式系の解が有界かつ連続のままであるための条件は何か？
• RQ4 q 進数の場合における解関数のルベーグ積分は何か？係数 βi および pi にどのように依存するか？
• RQ5 解関数の不連続性構造は、列 (nk) の選択にどのように依存するか？

主な発見

• 関数方程式系は、[0,1] 上で定義された関数のクラスにおいて、一意で有界な解 g(x) = βαn1 + ∑_{k=2}^∞ βαnk ∏_{j=1}^{k-1} pαnj を持つ。
• 解 g はすべての q-無理数点で連続であり、列 (nk) に依存して可算集合、有限集合、または空集合となる不連続性を持つ。
• g の [0,1] 上でのルベーグ積分は ∫₀¹ g(x)dx = (β₁ + β₂ + ... + β_{q−1}) / (q−1) で与えられ、閉形式の表現が得られる。
• g を定義する無限級数の収束は、|pαnt| < 1 により ∏_{t=1}^k pαnt → 0 (k → ∞) となることから保証される。
• 一般化シフト作用素 σm は開シリンダ上で連続であり、ほとんど everywhere で微分可能で、微分係数は qm であるが、n = m のとき Q-有理数点を除く。
• 特定の条件下で、合成恒等式 σₙₖ₋₁ ◦ ... ◦ σₙ₁(x) = σₙₖ₊ₙ₋₁(x) が成り立ち、反復作用素の再帰的解析が可能になる。