7.1.問題9
問題 7.1.P9
各 \( s \in \mathbb{R} \) に対して \( f(t) = e^{ist} \) が正定値関数であることを示せ。さらに、前問の結果を用いて、任意の \( s_1, \dots, s_n \in \mathbb{R} \) および非負の実数 \( a_1, \dots, a_n \) に対して、
f(t) = a_1 e^{i s_1 t} + \cdots + a_n e^{i s_n t}
が正定値関数であることを示せ。
行列解析の総本山
[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
am-gm.com
2025.08.05
コメント