[論文レビュー] A recovery of the time average of continuous and discrete time functions

Emanuel Gluskin, Shmuel Miller|arXiv (Cornell University)|Sep 14, 2011

Mathematical and Theoretical Analysis参考文献 5被引用数 1

ひとこと要約

本稿は、連続時間および離散時間関数が無限大で極限値に収束しない場合でも、時間平均が well-defined であるような関数に対して、ラプラス変換およびz変換の一般化された最終値定理の証明を拡張・完成する。主な貢献は、変換理論を用いた時間平均の計算に向けた厳密なフレームワークを提供することであり、物理的解釈と具体的な例を併記している。

ABSTRACT

The determination of the time averages of continuous functions, or discrete time sequences is important for various problems in physics and engineering, and the generalized final-value theorems of the Laplace and z-transforms, relevant to functions and sequences not having a limit at infinity, can be very helpful in this determination. In the present contribution, we complete the proofs of these theorems and extend them to more general time functions and sequences with a well-defined average. Besides formal proofs, some simple examples and heuristic and pedagogical comments on the physical nature of the limiting processes defining the averaging are given.

研究の動機と目的

• 無限大における点毎の極限が存在しない関数に適用可能な、ラプラス変換およびz変換の一般化された最終値定理の証明を完成・形式化すること。
• 時間平均が well-defined であるより広いクラスの時間関数および系列に、これらの定理を拡張すること。
• 物理学および工学の応用において、時間平均を数学的に厳密かつ教育的・直感的に扱えるフレームワークを提供すること。
• 時間平均を定義する際に用いられる極限過程の物理的意味を、直感的で説得力のある説明を通じて明確化すること。

提案手法

• 分布的および漸近的解析を用いて、連続時間関数のラプラス変換に関する一般化された最終値定理を導出する。
• 連続時間の結果と整合性を持つように、離散時間系列のz変換に対しても類似の推論を適用する。
• 関数の時間平均が、その変換の原点（s=0 または z=1）における振る舞いから回復可能となる条件を導入する。
• 関数が無限大で点毎に収束しない場合にも対応するため、分布的極限およびCesàro和の概念を用いる。
• 関数の振る舞いが収束しないにもかかわらず平均が収束することを示す、簡単な解析的例を用いて手法を検証する。
• 数学的 formalism と観察可能な物理現象とを結びつけることで、平均化過程の物理的解釈を提供する。

実験結果

リサーチクエスチョン

• RQ1 関数が無限大で極限値を持たない場合、連続時間関数の時間平均をどのように厳密に計算できるか？
• RQ2 ラプラス変換の一般化された最終値定理が時間平均を回復できるために満たすべき条件は何か？
• RQ3 z変換の最終値定理は、振動的または収束しない振るまいを示す離散系列へどの程度拡張可能か？
• RQ4 変換理論を用いて定義される時間平均の極限過程の物理的意味は何か？
• RQ5 分布的およびCesàroに基づくアプローチは、収束しない信号に適用可能な最終値定理の適用範囲をどのように拡張するか？

主な発見

• ラプラス変換およびz変換の一般化された最終値定理は、関数や系列が無限大で点毎に収束しなくても、時間平均を的確に回復できる。
• 時間平均は、適切な正則性条件下で、ラプラス変換のs=0近傍、またはz変換のz=1近傍における振る舞いによって決定される。
• この手法は数学的に妥当であり、標準的な収束仮定を超えて最終値定理の適用範囲を拡張する。
• 理論的結果は、振動的および非減衰的信号に対して時間平均が一貫して回復されることを示す具体的な例によって裏付けられている。
• ヒューリスティックな説明により、平均化過程が長期間にわたる、アンサンブル的挙動に対応しており、電気回路や機械的振動子などの物理的直感と整合することが明確になった。
• 本フレームワークは連続時間および離散時間システムを統一的に扱えるため、工学的および物理的モデリングにおける実用性を高めている。