[論文レビュー] Abelian and Tauberian theorems for integrals

A. F. Grishin, I. V. Poedintseva|arXiv (Cornell University)|Dec 22, 2012

Advanced Mathematical Modeling in Engineering参考文献 8被引用数 3

ひとこと要約

本稿では、正の半直線上のRadon測度の極限集合を用いて、形式 $\int_0^\infty K(t/r)\,d\mu(t)$ の積分に対するAbelianおよびTauberian定理を導出するための新規な手法を提示する。Azarinの極限集合理論をRadon測度に一般化し、Carlemanの解析接続補題の改善版を用いることで、これらの極限集合を用いて漸近的挙動を記述する新しいAbelian定理を確立し、第二Wiener Tauberian定理を顕著に強化する。

ABSTRACT

A new method of obtaining Abelian and Tauberian theorems for the integral of the form $\int\limits_0^\infty K(\frac{t}{r}) dμ(t)$ is proposed. It is based on the use of limit sets of the measures. A version of Azarin's sets is constructed for Radon's measures on the ray $(0,\infty)$. Abelian theorems of a new type are proved in which asymptotic behavior of the integral is described in terms of these limit sets. Using these theorems together with an improved version of the well-known Carleman's theorem on analytic continuation, a substantial improvement of the second Wiener Tauberian theorem is obtained. Reference: 25 units. Keywords: proximate order of Valiron, Radon's measures, Azarin's limit set of measure, Azarin's regular measure, Tauberian theorem of Wiener.

研究の動機と目的

• $(0,\infty)$ 上の核 $K(t/r)$ とRadon測度 $\mu$ を含む積分に対するAbelianおよびTauberian定理を導出するための新規な手法の開発。
• 測度の極限集合理論を正の半直線上のRadon測度に一般化し、積分の漸近的解析を可能にする。
• 測度 $\mu$ の極限集合を用いて、積分の漸近的挙動を記述する新しいタイプのAbelian定理の確立。
• 特に、Carlemanの解析接続補題の強化版を用いて、これらの結果を応用し、第二Wiener Tauberian定理を顕著に強化する。

提案手法

• Radon測度 $\mu$ に対して、$\mu_t(E) = \mu(tE)/V(t)$ および $V(r) = r^{\rho(r)}$ で定義される極限集合 $Fr[\mu] = Fr[\rho(r), \mu]$ を定義・分析する。ここで $\rho(r)$ は測度の正確な位数を表す。
• 測度 $\mu([r, er])$ が $V(r)$ に対してどのように増加するかに応じて、二つの測度類 $\mathfrak{M}_\infty(\rho(r))$ および $\mathfrak{M}(\rho(r))$ を定義する。
• Azarinの意味での正則測度とは、$Fr[\mu]$ が単一の測度からなるものであり、その密度が $ct^{\rho-1}$ であると定義する。
• 主な技術的道具は、強いTauberian結果を導出するために用いられるCarlemanの補題の改善版である。
• この手法は、$t_n \to \infty$ のとき、測度 $\mu_{t_n}$ が $Fr[\mu]$ の要素に広義収束することに依存する。
• 積分 $\Psi(r) = \int_0^\infty K(t/r)\,d\mu(t)$ の漸近的挙動は、極限集合 $Fr[\mu]$ および関連関数 $J(r) = \Psi(r)/V(r)$ を用いて分析される。

実験結果

リサーチクエスチョン

• RQ1 測度 $\mu$ の極限集合を用いて、積分 $\int_0^\infty K(t/r)\,d\mu(t)$ のAbelian定理をどのように定式化できるか。
• RQ2 正の半直線上のRadon測度に対して、極限集合 $Fr[\mu]$ の正確な特徴付けは何か。また、正確な位数 $\rho(r)$ とどのように関係するか。
• RQ3 この新しい枠組みを用いて、第二Wiener Tauberian定理を顕著に強化できるか。
• RQ4 $\mu$ に対してどのような条件を課えると、関連する積分 $\Psi(r)$ が正則な極限集合を持つようになり、その正則性と $\mu$ の正則性の関係は何か。
• RQ5 改良されたCarlemanの補題は、より強いTauberian結果の証明にどのように寄与するか。

主な発見

• 著者らは、$\Psi(r) = \int_0^\infty K(t/r)\,d\mu(t)$ の漸近的挙動が測度 $\mu$ の極限集合 $Fr[\mu]$ を用いて記述される新しいAbelian定理を証明する。
• $\mu \in \mathfrak{M}_\infty(\rho(r))$ であるとき、極限集合 $Fr[\mu]$ は広義収束の位相において空でなくコンパクトである。
• 測度 $s$ が $ds(t) = \Psi(t)dt$ であり、正確な位数 $\rho(r)+1$ に関して正則であるならば、$\mu$ は $\rho(r)$ に関して正則であり、$Fr[\mu]$ は密度 $\frac{c}{c_1}t^{\rho-1}$ の単一の測度からなる。ここで $c_1 = \int_0^\infty K(t)t^{\rho-1}dt$ である。
• 測度 $\mu$ の正則性は、$\lim_{r\to\infty} \mu([ar,br])/V(r) = c(b^\rho - a^\rho)/\rho$ （$0 < a < b < \infty$）の極限の存在と同値である。$\rho=0$ の場合は連続性によって解釈される。
• 第二Wiener Tauberian定理は顕著に強化された：新しい結果はより広い関数のクラスに適用可能であり、正確な位数と極限集合構造を用いてより鋭い漸近的制御を提供する。
• Carlemanの解析接続補題の改良版は、強化されたTauberian結果の証明に不可欠であり、積分から測度への解析的性質の拡張を可能にする。