- ベストアンサー
ベッセルの不等式の証明について
- ベッセルの不等式の証明について、私が持っている解析学の参考書によると、Sn[f]とfとの差の積分を評価すると次のように求める不等式が得られる。
- 不等式の証明なので大きいほうから小さいほうを引いて正になることを証明したらいいと思って挑戦しましたが途中でうまくいきませんでした。
- 詳しい証明方法を教えていただけると幸いです。
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
関連するQ&A
- ベッセルかんすうについて
ベッセル関数をJnとすると Jnは d{(x^n+1)*Jn+1(x)}/dx=(x^n+1)*Jn(x) を満たします。 この等式の証明はどのようにすればよろしいでしょうか。
- 締切済み
- 数学・算数
- 積分(不等式の証明)
∫(1/0):f(x)dx ←関数f(x)を0~1まで積分するという意味とします。 【問】 不等式{∫(1/0):(x-a)(x-b)dx}^2≦∫(1/0):(x-a)^2dx∫(1/0):(x-b)^2dxを証明せよ。 この問題の左辺を (-1/2a-1/2b+ab+1/3)^2 にまで崩して、地道に展開しにかかる方法しか思いつかなったのですが、手っ取り早い展開の方法はあるでょうか? 略解は (b^2 - b + 1/4)a^2 - (b^2 - 7/6b + 1/3)a + (b^2/4 - b/3 + 1/9)となっています。
- ベストアンサー
- 数学・算数
- 積分の不等式で質問です。
積分の不等式で質問です。 (n+1)|∫0~1 X^n COSπX dx| ≦(n+1)∫0~1| X^n COSπX| dx この不等式は、なぜ成り立つのですか?
- ベストアンサー
- 数学・算数
- 三角不等式を使った絶対値の不等式の証明
x、yともに実数のとき、|x|-|y|≦|x+y| この不等式を三角不等式を使い証明しろという問題があるんですが、やり方がいまいちよくわかりません。どなたか分かりやすく説明してくれる方いませんか?
- 締切済み
- 数学・算数
- ベッセルの微分方程式について
ベッセルの微分方程式は標準形で、 x^2(d^2f/dx^2)+x(df/dx)+(x^2-n^2)f = 0 となっています。ある種の物理現象を常微分方程式化してこの形に帰着させると、あとはベッセル関数などを使った定型処理に持ち込めるので、何とかこの形に持ち込むまで頑張るということになると思います。 質問ですが、x^2(d^2f/dx^2)+x(df/dx)+ x c f = 0 という形になった場合、これはベッセルの微分方程式ではない、ということになるでしょうか。左辺最終項の形が標準形と違います。ある文献で”ベッセルの微分方程式になる”と断言されているのですが、標準形にならないので思案しています。例えば、独立変数を変換して式も変換すると標準形になるのでしょうか。よろしくお願いします。 よく、ベッセル、ラゲールなどの微分方程式は級数解を使いますが、いろんな現象から式を変形して標準形に本当にきれいに帰着できるものでしょうか。ちょっと違うとか亜種があるのかなと思いますが。 よろしくお願いします。
- 締切済み
- 数学・算数
- 定積分と不等式
不等式 1/2<∫(1→2)dx/x<1を証明せよ。 という問題の最初の部分で、区間[1,2]で1/2≦1/x≦1、区間(1,2)で1/2<1/x<1ゆえに・・・と証明は続くのですが、自分は積分区間はxに含まれると思うので、1≦x≦2から、区間[1,2]で1/2≦1/x≦1まで、はわかりましたが、区間(1,2)で1/2<1/x<1は、証明すべき式が、等号を含まないから書いてあるのか、定積分と不等式の公式で、常にはf(x)=g(x)でないとき、にかかわるから書いてあるのか、などさっぱりわかりません。区間(1,2)で1/2<1/x<1は何のために書かれているか教えてください。お願いします。
- 締切済み
- 数学・算数
お礼
自己解決しましたっ! どうもありがとうございました。
補足
ご回答ありがとうございます。 なんとなく理解できたのですが、 <Sn[f],f-Sn[f]>=0 の証明がどうするのかわからないです… 定義したとおりに積分して根性でやっていけばいいんでしょうか? もしお時間いただけるなら詳しくお願いいたします。 <f,f>以降は自分で確かめました。