[過去ログ] 不等式への招待 第2章 (989レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
102(4): 05/02/19 00:57 AAS
power mien の積分形を考えてて思ったこと。
区間 [a,b] で連続な f(x)>0 に対して、
lim[r→0] {(∫[a,b] {f(x)}^r dx)/(b-a)}^(1/r)
は、e^{(∫[a,b] \log f(x) dx)/(b-a)} になりますか?
103(1): 05/02/19 00:57 AAS
>>102
power mean … ('A`)
112(1): 05/02/20 07:41 AAS
>>102-103
もっと詳しく!
120: 102 05/02/21 04:47 AAS
>>112 [power mean]
正の数 a_1, …, a_n の r次平均 M_r = [((a_1)^r + … + (a_n)^r)/n]^(1/r) について
lim[r→+∞]M_r = max{a_1, …, a_n}
lim[r→-∞]M_r = min{a_1, …, a_n}
lim[r→0]M_r = G (相乗平均)
これが関数もときにも成り立ってるのかなと思ったわけで…
区間 [a,b] で連続な f(x)>0 に対して、
lim[r→+∞] (∫[a,b] {f(x)}^r dx)^(1/r) = max[a≦x≦b]f(x)
lim[r→-∞] (∫[a,b] {f(x)}^r dx)^(1/r) = min[a≦x≦b]f(x)
が成り立つから、
省2
130(2): ◆BhMath2chk 05/02/23 18:00 AAS
>>102
log(f(x))が有界のとき
f(x)^r=exp(log(f(x))r)=1+log(f(x))r+O(r^2)。
∫f(x)^rdx=∫dx+r∫log(f(x))dx+O(r^2)。
∫f(x)^rdx/∫dx=1+r∫log(f(x))dx/∫dx+O(r^2)。
(1+cr+O(r^2))^(1/r)=exp(c+O(r))なので
(∫f(x)^rdx/∫dx)^(1/r)=exp(∫log(f(x))dx/∫dx+O(r))。
lim((∫f(x)^rdx/∫dx)^(1/r))=exp(∫log(f(x))dx/∫dx)。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.027s