数学ナビゲーター掲示板
(現在 過去ログ3 を表示中)

HOME HELP 新規作成 新着記事 トピック表示 発言ランク ファイル一覧 検索 過去ログ

[ 最新記事及び返信フォームをトピックトップへ ]

■23224 / inTopicNo.1)  微分方程式の問題です
  
□投稿者/ たかだ 一般人(1回)-(2007/03/25(Sun) 21:41:13)
    (y_1)と(y_2)は任意の区間で線形独立であることを証明しなさい。

    (y_1)=|x|, (y_2)=x 、区間 <-1,1>

    すいませんが、ご指導をお願いします。

引用返信/返信 [メール受信/OFF] 削除キー/
■23234 / inTopicNo.2)  Re[1]: 微分方程式の問題です
□投稿者/ GB 一般人(5回)-(2007/03/26(Mon) 00:06:30)
    No23224に返信(たかださんの記事)
    > (y_1)と(y_2)は任意の区間で!!線形独立であることを証明しなさい。
    >
    > (y_1)=|x|, (y_2)=x 、とくに 区間 <-1,1>で
    グラフ達を描けば明々白々ですが
    a*f1+b*f2=0 ならば 特に;
    けーさんに依存し;
    In[28]:=
    a*Abs[x] + b*x == 0 /. x -> -338^(-1)<−−特に

    Out[28]=
    a/338 - b/338 == 0

    In[26]:=
    a*Abs[x] + b*x == 0 /. x -> 1/194<−−−特に

    Out[26]=
    a/194 + b/194 == 0

    In[29]:=
    GroebnerBasis[{a/338 - b/338 == 0,
    a/194 + b/194 == 0}, {a, b}]

    Out[29]=
    {b, a}

    In[30]:=
    Solve[% == {0, 0}, {a, b}]

    Out[30]=
    {{a -> 0, b -> 0}}
引用返信/返信 [メール受信/OFF] 削除キー/
■23235 / inTopicNo.3)  Re[2]: 微分方程式の問題です
□投稿者/ たかだ 一般人(2回)-(2007/03/26(Mon) 00:16:02)
    GBさんありがとうございます

    線形微分方程式の考えを利用して証明したいのですがなかなかうまく解けません・・・。

    x|={ (x), x≧0 and (-x), x<0 }

    x>0の時、 (C_1)≠0
    (C_1)(x)+(C_2)(x)=0
    (C_1)=-(C_2)・・・(1)

    x<0の時、 (C_1)≠0
    (C_1)(-x)+(C_2)(x)=0

    (C_1)=(C_2)・・・(2)

    定義:(k_1)(y_1)+(k_2)(y_1)=0より

    (y_1)=-(k_2)(y_2)/(k_1)
    (y_1)=K(y_2)
    実数Kは線形従属な為。

    問題(A)は線形従属。になってしまいます。。。

    グラフを書けば独立だというのはわかるのですが、証明ができません・・・

引用返信/返信 [メール受信/OFF] 削除キー/
■23237 / inTopicNo.4)  Re[1]: 微分方程式の問題です
□投稿者/ けにい 付き人(72回)-(2007/03/26(Mon) 02:23:14)
    微分方程式を使う必要はないと思います。まず、関数がどのような
    意味において「等しい」のかということをはっきりさせる必要が
    あります。例えば、各点の意味で

    f1 = f2 ⇔ 任意の x ∈ (-1, 1) に対して f1(x) = f2(x)

    で定義します。もし、f1, f2 が一次従属ならば、ある k が存在して
    f2 = k f1, すなわち、任意の x ∈ (-1, 1) に対して

    x = k |x| ・・・ (1)

    が成り立ちます。今、点 x = 1/2 ∈ (-1, 1) を式(1)に代入すると、
    1/2 = 1/2 k から k = 1 となります。一方、点 x = -1/2 ∈ (-1, 1)
    を式(1)に代入すると -1/2 = 1/2 k から k = -1 となり、矛盾です。
    よって、f1, f2 は一次独立です。

    もし、L^2 ノルムの意味で

    f1 = f2 ⇔ ∫[-1,1] (f1(x) - f2(x))^2 dx = 0

    と定義したらまた証明は変わるかもしれませんが、どうせ結果は同じ
    でしょう。
引用返信/返信 [メール受信/OFF] 削除キー/
■23316 / inTopicNo.5)  Re[2]: 微分方程式の問題です
□投稿者/ たかだ 一般人(3回)-(2007/03/27(Tue) 22:24:24)
    とても判りやすかったです、ありがとうございました!
引用返信/返信 [メール受信/OFF] 削除キー/



トピック内ページ移動 / << 0 >>

このトピックに書きこむ

過去ログには書き込み不可

Mode/  Pass/

HOME HELP 新規作成 新着記事 トピック表示 発言ランク ファイル一覧 検索 過去ログ

- Child Tree -
Edit By 数学ナビゲーター