[過去ﾛｸﾞ] 不等式への招待 第２章 (989ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

797(3): 2006/08/10(木)21:15 AAS
>>796
ヘルダー使って証明するやつだな。もっと一般化されてたと思うが。同じ論文だったか定かじゃないが。
拡張の証明は、>>795の方法のままで出来ない？ヘルダー使わずに。

---

799(4): 2006/08/10(木)21:58 AAS
>>797
> もっと一般化されてたと思うが。

もっとくぁしく！

---

810(3): 2006/08/13(日)19:44 AAS
>>797-800,809
ヘルダーを使わずに… (粗筋だけでｽﾏｿ)

#A=k, n/2 < k ≦ n
a_1,a_2,…,a_n のj次の基本対称式を S_j とおく。C[n,k]=N とおく.

x_A = {Π[i∈A] a_i}^(1/k) とおくと, �納#A=k] (x_A)^k = S_k,
補題より　{(1/N)�納#A=k] x_A}^(n-k) ≦ (1/N)S_(n-k).

(左辺)^n = {(1/N)�納#A=k] x_A}^n ≦ (1/N^2)S_(n-k)･�納#A=k] (x_A)^k
　= (1/N^2)S_(n-k)S(k)
　= (1/N){ [1,1,…,1] + C(n-k,1)C(k,1)[2,1,…,1,0] + C(n-k,2)C(k,2)[2,2,1,…,1,0,0] + … + C(k,n-k)[2,…,2,1(0),…,0] }
　≦ (1/N){ [1,1,…,1] + (terms of order ≦2) + (terms of orders >2 ) }　　　　　(← Muirhead)
省11

---

817(1): 810 2006/08/16(水)03:14 AAS
>>797-800,809 粗筋 (その2)

(左辺)^k = {(1/N)�納#A=k] x_A}^k ≦ (1/N)�納#A=k] (x_A)^k = (1/N)S_k = P_k
　≦ ……
　≦ { Π[#A=k] (1/(n-1))�納i∈A] a_i }^(k/N)
　= (右辺)^k.

右辺を展開したとき, "terms of higher order" が多く含まれることを示さねば…

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.239s*