[論文レビュー] The Riemann-Stieltjes integral on time scales

Dorota Mozyrska, Ewa Pawłuszewicz+1 more|arXiv (Cornell University)|Mar 6, 2009

Nonlinear Differential Equations AnalysisMathematics参考文献 15被引用数 22

ひとこと要約

この論文は、箱記号（□）を用いた共通の枠組みにより、デルタおよびナブラ積分を統一する時刻スケール上のリーマン＝スティルチェス積分を導入する。存在性、線形性、部分積分法といった基本的性質を確立し、関数fとgに関するリーマン＝スティルチェス□積分が、fとg□のリーマン□積分に等しいことを証明する。これにより、古典的不等式の一般化が可能となり、時刻スケール上でのヘンストック＝カールツヴァイル＝スティルチェス積分への道筋が開かれる。

ABSTRACT

We study the process of integration on time scales in the sense of Riemann-Stieltjes. Analogues of the classical properties are proved for a generic time scale, and examples are given.

研究の動機と目的

• リーマン＝スティルチェス積分を時刻スケールに形式化し、スティルチェス積分が体系的・系統的に研究されていなかった文献の空白を埋める。
• デルタおよびナブラ積分を共通の記号（□）で表すことで統一し、証明の重複を減らす。
• 有界区間におけるリーマン＝スティルチェス□積分の存在性、線形性、および境界に関する基礎的性質を確立する。
• デルタおよびナブラのリーマン＝スティルチェス積分に対して部分積分法の公式を証明し、被積分関数の導関数を介して標準的リーマン積分と関連付ける。
• 現在の時刻スケール上での積分理論を拡張する基盤を築くこと、特にヘンストック＝カールツヴァイル＝スティルチェス積分への一般化を含む。

提案手法

• 論文は、時刻スケール区間 I=[a,b]𝕋 の分割を定義し、f の各部分区間における下界および上界を用いて、上および下のダーブォー＝スティルチェス□和を構成する。
• I 上で厳密に増加する関数gの概念を導入し、Δgⱼ = g(tⱼ)−g(tⱼ₋₁) を用いて和に重みを付ける。
• 主要な技術的道具は、任意のδ>0 に対して、各部分区間のg増分が≤δ または ρ(tⱼ)=tⱼ₋₁ に対応するジャンプに対応するような分割が存在することを保証する補題2.1である。
• リーマン＝スティルチェス□積分は、上積分と下積分が一致する場合にそれらの共通値として定義され、古典的リーマン＝スティルチェス積分に類似する。
• 主な結果（定理4.3）は、∫_a^b f □g = ∫_a^b f g□ □t であることを示し、リーマン＝スティルチェス積分と重み付きリーマン□積分の等価性を証明する。
• 部分積分は、□-バージョンの平均値定理およびσおよびρ作用素の性質を用いて導出され、デルタの場合には ∫f □g = [fg]_a^b − ∫g^σ □f、ナブラの場合には ∫f □g = [fg]_a^b − ∫g^ρ □f が得られる。

実験結果

リサーチクエスチョン

• RQ1 古典的リーマン＝スティルチェス積分は、任意の時刻スケールに一般化可能であり、存在性や部分積分法といった重要な性質を保つことができるか？
• RQ2 デルタおよびナブラ積分の両方に対して、統一された記号を用いて、時刻スケール上でのリーマン＝スティルチェス積分を一貫して定義できるか？
• RQ3 関数fとgに関するリーマン＝スティルチェス□積分が、fとg□のリーマン□積分に等しくなる条件は何か？
• RQ4 この等価性は、不等式や動的方程式の時刻スケールへの一般化にどのような意味を持つのか？
• RQ5 この枠組みは、時刻スケール上でのヘンストック＝カールツヴァイル＝スティルチェス積分への拡張にまで拡張可能か？

主な発見

• 有界関数fおよび閉時刻スケール区間 I=[a,b]𝕋 上で厳密に増加する関数gに対して、リーマン＝スティルチェス□積分は存在し、適切に定義されている。
• 論文は、∫_a^b f(t) □g(t) = ∫_a^b f(t)g^□(t) □t であることを証明し、リーマン＝スティルチェス□積分と重み付きリーマン□積分との等価性を示している。
• 部分積分の公式が成り立つ：デルタの場合には ∫_a^b f □g = [fg]_a^b − ∫_a^b g^σ □f、ナブラの場合には ∫_a^b f □g = [fg]_a^b − ∫_a^b g^ρ □f である。
• 各部分区間が Δgⱼ ≤ δ または Δgⱼ > δ かつ ρ(tⱼ)=tⱼ₋₁ を満たすような分割 P_δ が存在することは、積分の均一近似を保証する。
• 結果は、古典的リーマン＝スティルチェス理論を時刻スケールに一般化し、ℝから任意の時刻スケールへの不等式の拡張を可能にする。
• この枠組みは、将来的に時刻スケール上でのヘンストック＝カールツヴァイル＝スティルチェス積分に関する研究の基盤を提供する。