C.R.ワイリー著「工業数学<上>」という本で数学を勉強しているものです。最小二乗法という節の中に、直交多項式の定義が出てきました。この式の導出方法は、W.E.Milneの文献を参照せよと注意書きがありましたが、英語が読めないので、同じ出版会社から出ている参考書を探し、幸いにも導出方法が載っていました。しかし、この中でもどうしても分からない部分があり質問します。内容は、以下の通りです。途中導出過程は、長いのと、この質問箱では、表記に限界があるので、はぶきます。知りたいという方は、おっしゃっていただければ、強引にでも書きますが・・・。この道に明るい方、納得できる回答をよろしくお願いします。
定義:
Σ_(x=0)^n P_(j,n)*P_(k,n) = 0 (j≠k)
参考書によるこの式の導出方法:
P_(m,n)(x) = 1 + b_1*x + b_2*(x)^(2) + ... + b_m*(x)^(m)とする。
Σ_(x=0)^n (x+s)^(s)P_(m,n)(x) = 0 ...........(1)
(注:ここで現す(x)^(m)などは、階乗多項式です。つまり、例えばx^(3)なら、x^(3) = x(x-1)(x-2)。以下同様)
(1)を満たすP_(m,n)(x)は、二項展開を用いた式となりますので省略します。分からないのは、この次。
次数qの任意の多項式Q(x)は、次のように書ける。
Q(x) = Σ_(s=0)^q A_s*(x+s)^(s)
(補:多分A_sとは、(x+s)^(s)の係数(実数値)と思われる。)
この方程式に、P_(m,n)(s)をかけてx=0からx=nまで、xについて加えると(1)式から分かるようにq<mであるときは次のようになる。
Σ_(x=0)^n Q(x)P_(m,n)(x) = 0 (?!)
(ここが一番分からない) 特別にもしm≠kであれば、
Σ_(x=0)^n P_(m,n)(x)P_(k,n)(x) = 0 (?!)
となる。これは始めに述べた定義式である。
以上で式の導出は終わりです。
一番引っかかるのは、「特別にもしm≠kであれば」というところ。(一番かんじんな所のような気がする。)
長々と書きましたが、理解できないところは言ってください。誰かわかる人お願いします。
No.2ベストアンサー
- 回答日時:
>補足について
Q(x) = Σ_(s=0)^q = A_s(x+s)^(s) = A_0 + A_1*(x+1) + a_2*(x+2)(x+1) + ... + A_q*(x+q)(x+q-1)...(x+1) ......(2)
は任意のq次式(正確にはq次以下の次数の整式)を表わせます。
とりあえず任意のq次式 r(x) が与えられたとすると、
A_q = r(x) の q次の係数
A_{q-1} = r(x) - A_q*(x+q)^(q) の q-1次の係数
A_{q-2} = r(x) - A_q*(x+q)^(q) - A_{q-1}*(x+q-1)^(q-1) の q-2次の係数
…
と順番に上から決めていけばいいです。
r(x) はq次式
r(x) - A_q*(x+q)^(q) はq-1次式
r(x) - A_q*(x+q)^(q) - A_{q-1}*(x+q-1)^(q-1) はq-2次式
…
になってますね。
で、補足についていえば、m≦qであれば、m次式であるP_(m,n)(x)が、Q(x)で表わせるわけです。
rabbit_catさん。頭の悪い質問者にお付き合いありがとうございました。補足についての返答に、何で!と思いましたが、実際自分なりにn=3ぐらいで具体的に係数の導出を試みて、その意味が分かりました。もっと応用力をつけていくことが大事かなと反省・・・。自分が感じる限り、rabbit_catさんは、熟練した学力を持っている方だなとお見受けしました。最後までお付き合い、ありがとうございました。
No.1
- 回答日時:
(1)の導出がOKで、
Σ_(x=0)^n Q(x)P_(m,n)(x) = 0 (?!) ... (2)
てとこも納得できるなら、
Σ_(x=0)^n P_(m,n)(x)P_(k,n)(x) = 0 (?!) ...(3)
は、単に、(2)の式で、Q(x) = P_(k,n)(x) としただけですよ。
Q(x)は、次数qの任意の多項式なわけですから、次数kの多項式である、P_(k,n)(x) についても(2)がなりたちます。
本当は、もっと、厳密に言えば、(2)の式は、q<m のときにしか成り立たないわけですから、そのままだと、k<mの場合にはしか(3)は成り立たないことになるわけですが、
k>mの場合には、kとmを入れ替えて考えれば同じことなんでOKです。
この回答への補足
rabbit_catさん、ありがとうございます。じつは、納得できてないところがあります。
Q(x) = Σ_(s=0)^q = A_s(x+s)^(s) = A_0 + A_1*(x+1) + a_2*(x+2)(x+1) + ... + A_q*(x+q)(x+q-1)...(x+1) ......(2)
と、
P_(m,n)(x) = Σ_(k=0)^m = 1 + b_1*x + b_2*x(x-1) + ... + b_m*x(x-1)(x-2)...(x-m+1) .........(4)
がなぜ同じなのですか!!
何かQ(x) = P_(m,n)(x)となるような条件式でもあれば分かるのですが・・・
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
部分空間であることの証明
-
e^sinXの展開式について。。。
-
組立除法 1次式 ax-k の係数...
-
問題が理解できません
-
( )でうしろのほう...
-
deg f?
-
1/xを積分することでなぜlogxが...
-
CRCのアルゴリズムって、どんな...
-
数学に関する質問です。
-
CRCチェック 多項式の選び方
-
等差×等比 型の数列の和を求め...
-
一次式な中に無理数が入ること...
-
(x-1)(x-2)(x-3)の展開の...
-
『因数に分解するということ』
-
今更だけど
-
微積分
-
パデ近似の利点について教えて...
-
実数を係数とする多項式環R[X]...
-
数学 因数分解 X^3+x^2+x−1 ...
-
パデ近似の収束半径
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報