[論文レビュー] On uniqueness of the Laplace transform on time scales

Başak Karpuz|arXiv (Cornell University)|Feb 28, 2011

Nonlinear Differential Equations Analysis参考文献 11被引用数 4

ひとこと要約

本稿は、任意のグレインネスを持つ任意の時刻スケール上でのラプラス変換の一意性を確立し、連続系のレルヒの定理を動的方程式へと拡張する。ノルム関数の概念を導入し、時刻スケール指数関数の漸近的性質を活用することで、二つの関数のラプラス変換が同一であるならば、それらはノルム関数の差異のみを有するにすぎず、したがって一般化された動的設定下で変換の単射性が保証される。

ABSTRACT

After introducing the concept of null functions, we shall present a uniqueness result in the sense of the null functions for the Laplace transform on time scales with arbitrary graininess. The result can be regarded as a dynamic extension of the well-known Lerch's theorem.

研究の動機と目的

• 任意のグレインネスを持つ時刻スケール上でのラプラス変換の一意性定理を確立すること。
• 連続解析に知られるレルヒの定理を、時刻スケールの動的微積分フレームワークに一般化すること。
• 古典的ラプラス変換とZ変換の一意性の性質を、一つの動的理論によって統一すること。
• 時刻スケール上でのラプラス変換の文脈において、ノルム関数の概念を定義し、それを活用すること。
• 任意の時刻スケール上での逆ラプラス変換のための厳密な基礎を提供すること。

提案手法

• 時刻スケール上でのノルム関数の概念を導入し、それらはラプラス変換が恒等的にゼロとなる関数として定義される。
• 変数 $x \to \infty$ における時刻スケール指数関数 $\operatorname{e}_{\ominus x}(t,s)$ の漸近的解析を用いて、主要な収束性を導出する。
• ヒルガーの実部 $\operatorname{Re}_h(z)$ とシリンダ変換 $\xi_h(z)$ を用いて、ラプラス変換の収束領域を定義する。
• 時刻スケール上での一般化されたラプラス変換積分 $\mathcal{L}\{f\}(z) = \int_s^\infty f(\eta) \operatorname{e}_{\ominus z}(\sigma(\eta),s) \Delta\eta$ を適用する。
• 一般化された単項式 $\operatorname{h}_n(t,s)$ と時刻スケール指数関数 $\operatorname{e}_f(t,s)$ の性質を活用して、収束性と減衰挙動を分析する。
• ラプラス変換が恒等的にゼロであるならば、その関数はノルム関数であることを確立し、ノルム関数を除く単射性を証明する。

実験結果

リサーチクエスチョン

• RQ1 時刻スケール上でのラプラス変換がその像によって一意に決定される条件は何か？
• RQ2 連続系から、任意のグレインネスを持つ任意の時刻スケールへと、レルヒの定理をどのように拡張できるか？
• RQ3 ノルム関数は、時刻スケール上でのラプラス変換の核を特徴付ける上で果たす役割は何か？
• RQ4 時刻スケール指数関数 $\operatorname{e}_{\ominus x}(t,s)$ の漸近的性質が、一意性の結果をどのように支援するか？
• RQ5 連続的、離散的、およびハイブリッド的時刻スケールにおいて、ラプラス変換の一意性を統一的に扱うことは可能か？

主な発見

• 任意のグレインネスを持つ時刻スケール上でのラプラス変換は、二つの関数のラプラス変換が同一であるならば、それらの差がノルム関数であるという意味で一意的である。
• この結果により、連続系における古典的レルヒの定理が動的微積分の文脈へと一般化され、連続系の古典的結果が回復される。
• $t > s$ に対して、$x^\lambda \operatorname{e}_{\ominus x}(t,s) \to 0$ が $x \to \infty$ のとき成り立ち、これは一意性の証明に不可欠である。
• $t \leq s$ に対して、$x^\lambda \operatorname{e}_{\ominus x}(t,s) \to \infty$ が $x \to \infty$ のとき成り立ち、これは指数関数の挙動を証明内で特徴付けるのを支援する。
• 変換はノルム関数を除いて単射的であり、ラプラス変換は関数をノルム関数の差異を除いて一意に決定する。
• 証明により、古典的ラプラス変換とZ変換の一意性が、一つの時刻スケール微積分の枠組みで統一される。