よろしくお願いいたします。
【記号の説明】
定数 c については、c^(-λ) は「c のマイナスλ乗」を、
変数 x、y, u については
1 y^(n)などは y のn階微分を、
2 x^《n》はxのn乗を、
それぞれ、あらわします。
同書からの引用部分は『・・・』で示してあります。
「容易に階数降下のできる高階常微分方程式」という節の中に「同次形(の常微分方程式)」の項目があります。
『(λを定数として)、 x,y について同次形
(*) c^(-λ)F(cx,cy,y',c^(-1)y",...,c^(1-n)y^(n))= F(x,y,y',...,y^(n)) のときは、c=1/x とおけば、
(**) f(y/x,y',xy",...,x^《n-1》y^(n))=0
の形になる。そこで、y=xu とおくと、y'=xu'+u, y"=xu"+2u',...,一般にライプニッツの公式で y^(k)=xu^(k)+ku^(k-1) で、ゆえに、x^《k-1》y^(k)=x^《k》u^(k)+kx^《k-1》u^(k-1)となり、x についての同次形、すなわち(***)の場合(下記)に帰着された。』
x^《k-1》y^(k)=・・・までは分かるのですが、それから直ちにx についての同次形と結論できるのが、どうしても分かりません。(**)の左辺に、y, y', y", x^《k-1》y^(k), の右辺や、x=1/c を代入して、なんとか(***)が成立することを示そうとしたのですが、うまくいきませんでした。
なお、x についての同次形というのは
(***)c^(-λ)F(cx,y,c^(-1)y',...,c^(-n)y^(n))= F(x,y,y',...,y^(n)) が成り立つことを言います。
どうぞよろしくお願いいたします。
No.1ベストアンサー
- 回答日時:
具体的に考えて見ましょう
f(x,y,y')=xy'-y はx,yについての同次形
y=xuとおくと、f=x(u+xu')-xu=x^2u'で、xについての同次形となります
これを一般化してみます
Fはx,yについての同次形とします
y=xuとおくと
F=F(x,xu,(xu)',...,(xu)^(n))
=F(x,xu,...,x^《k》u^(k)+kx^《k-1》u^(k-1),...)
=f(x,u,u',...,u^(n))
これをxとuについての式と見ます
するとfはxについての同次形です
c^(-λ)f(cx,u,c^(-1)u',...,c^(-n)u^(n))
= c^(-λ)F(cx,cxu,...,cxc^(-k)u^(k)+kc^(1-k)u^(k-1),...)
=c^(-λ)F(cx,cy,...,c^(1-n)y^(n))
=F(x,y,...,y^(n))
=f(x,u,...,u^(n))
上の文章を解読しましょう。加えた文章は[ ]で囲みます
c=1/xと[形式的に]おけば、
[微分方程式は](**)f(y/x,y',xy",...,x^《n-1》y^(n))=0の形になる。
[ここでf(y/x,y',xy",...,x^《n-1》y^(n))=F(x,y,y',...,y^(n))を満たしていることに注意。]
そこで、y=xuとおくと、
(省略)
x^《k-1》y^(k)=x^《k》u^(k)+kx^《k-1》u^(k-1)となり、
[xをcxで、yをyで、y^(k)をc^(-k)y^(k)で置き換えると、
(cx)^《k》c^(-k)u^(k)+k(cx)^《k-1》c^(-k)u^(k-1)
=x^《k-1》y^(k)=x^《k》u^(k)+kx^《k-1》u^(k-1)
より、式の値は変わらないので、左辺は]
xについての同次形、すなわち(***)の場合(下記)に帰着された。
この回答への補足
さっそくのご解答、たいへんありがとうございました。読み解きが遅れて失礼いたしました。
前半の「するとfはxについての同次形です」までは分かりました。
>これを一般化してみます
====途中、引用を省略させていただきます====
>F=F(x,xu,(xu)',...,(xu)^(n))
>=F(x,xu,...,x^《k》u^(k)+kx^《k-1》u^(k-1),...)
↑のx^《k》u^(k)+kx^《k-1》u^(k-1)は、xu^(k)+ku^(k-1) ではないでしょうか。それ以外では理解することができました。
ただ、後半が良く理解できませんでした。すみませんが、次のことを教えてくださるとありがたいです。
「xをcxで、yをyで、y^(k)をc^(-k)y^(k)で置き換える」 というのは
f(y/x,y',xy",...,x^《n-1》y^(n)) に対してでしょうか、それとも、
F(x,y,y',...,y^(n))
に対してでしょうか?ちょっとまだわかっていないようですみません。
よろしくお願いいたします。
No.2
- 回答日時:
No.1です
>↑のx^《k》u^(k)+kx^《k-1》u^(k-1)は、xu^(k)+ku^(k-1) ではないでしょうか。
ごめんなさい、はい、そうです。間違えました
>「xをcxで、yをyで、y^(k)をc^(-k)y^(k)で置き換える」
直接的には
x^《k-1》y^(k)=x^《k》u^(k)+kx^《k-1》u^(k-1)
に関してです
f(y/x,y',xy",...,x^《n-1》y^(n))
をx,uの式と見ると、xの同次形になることが示せます
というのは、各項を見ると、置き換えても式の値が変わらないからです
この回答への補足
ご回答、ありがとうございました。
>直接的には
x^《k-1》y^(k)=x^《k》u^(k)+kx^《k-1》u^(k-1)
に関してです
そうでした。私の目線があっちこっちうろうろしていました。ポイントはこの式ですね。
>f(y/x,y',xy",...,x^《n-1》y^(n))
をx,uの式と見ると、xの同次形になることが示せます
というのは、各項を見ると、置き換えても式の値が変わらないからです
koboldさんのアドバイスを元に、こんな風に式を書いてみました。
「f(y/x,y',xy",...,x^《n-1》y^(n))
をx,uの式と見」て、それをgとおくと、
g(x,u,u',u",...)=f(u,xu'+u,x(xu"+2u'),...,x^《k-1》(xu^(k)+ku^(k-1)),...)
=f(u,xu'+u,x^2u"+2xu',...,x^《k》u^(k)+kx^《k-1》u^(k-1)),...)
ここでx→cx, u→u, u'→c^(-1)u',...,u^(k)→c^(-k)u^(k),...)と置き換えると、
g(cx,u,c^(-1)u',c^(-2)u",...,c^(-k)u^(k),...)
=f(u,cxc^(-1)u'+u,(cx)^2c^(-2)u"+2(cx)c^(-1)u',(cx)^《k》c^(-k)u^(k)+k(cx)^《k-1》c^(-(k-1))u^(k-1),...)
=f(u,xu'+u,x^2u"+2xu',...,x^《k》u^(k)+kx^《k-1》u^(k-1),...)
=g(x,u,u',u",...)
よってgはxについて同次形。(c^(-λ)のλ=0と考えられる)
式で表すと意外に長くなってしまいましたが、本質はkoboldさんの言われた、「各項を見ると、置き換えても式の値が変わらない」ということです。
上を振り返って、^と( )のためにかなり見かけが複雑になってしまい、u"/c^2 などと書けばいくらかもっとすっきりしたのになあと反省したしだいです。
たいへんどうもありがとうございました。
なお、同次形の微分方程式をこのように取り扱っている入門書が少ないのが不思議で、いろいろ調べてみましたが、冒頭の本を入れて2種類で、たいていは触れていないか、y=exp(z),x=exp(t), などとおけという指示があるだけでした。
しかし、長くなりますのでまたトピックを改めて投稿したいと思っております。
重ねてどうもありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 数学的帰納法 添付の一般項を求める問題なのですが、 赤線の部分でn=k+1としています。 そしてa( 1 2022/10/22 15:29
- C言語・C++・C# C 言語の Gauss Jordan 法について 2 2022/12/28 11:16
- 数学 数学IIの問題です。 kを定数とするとき、次の方程式の解を判別せよ。 なお、kは実数とする。 k(k 4 2022/12/11 10:39
- 数学 数学IIの問題です。 kを定数とするとき、次の方程式の解を判別せよ。 なお、kは実数とする。 k(k 2 2022/12/11 10:40
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 数学 数学的帰納法について質問があります。 8 2023/04/05 23:32
- 数学 数学微分方程式の問題です。次に書く問題を教えて欲しいです。質量mの物体が自然長l、ばね定数kのバネで 1 2022/04/29 21:23
- 数学 xの2次方程式4x2+(k-1)x+1=0がただ1つの実数解をもつような、定数kの値を求めたいです。 5 2022/05/27 22:14
- 物理学 量子力学 球面調和関数 導出 方位角成分 微分方程式の解 2 2022/07/02 13:40
- 数学 微分の問題です 1 2022/07/31 11:15
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
京都大学理系 過去問 整数問題
-
数学の等式の証明の最後を省略...
-
SQL文のwhere条件文で使う <> ...
-
1/∞=0は、なぜ?
-
数学で、項を指すとき、例えば2...
-
数学 剰余の定理
-
等式記号に似た三本線
-
置換を互換の積で表す σ=(1234)...
-
記号(イコールの上に三角形)...
-
二重根号についてです。 なぜ下...
-
化学反応式について教えて下さ...
-
2010年の三重大学の入試問題で...
-
数学における 等価と同値って同...
-
数学的帰納法について
-
Xの二乗-X+1=0 という2次方程式...
-
二項定理を利用する証明について
-
定数分離すべきかどうか。
-
(x-1)(x-2)=0のような因数分解...
-
x/(x+1) = 1 - 1/(x+1)
-
画像の式のなぜ緑の下線部の式...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
1/∞=0は、なぜ?
-
SQL文のwhere条件文で使う <> ...
-
Xの二乗-X+1=0 という2次方程式...
-
数学で、項を指すとき、例えば2...
-
数学
-
等式記号に似た三本線
-
複素数の問題の解答の記載でわ...
-
“∠ABC”か、それとも“∠CBA”か
-
数Ⅱ 式と証明 絶対値
-
exp(1/z)の原点のまわりでロー...
-
高2恒等式
-
a>b,c>dのとき、不等式ac+bd>ad...
-
x/(x+1) = 1 - 1/(x+1)
-
高2数学です α二乗+β二乗=α...
-
楕円体の内側かどうかの判別
-
次の式を因数分解せよ。 x³-3x ...
-
数学における 等価と同値って同...
-
VBAでセルの右下をいちばん下ま...
-
数3の問題です 写真の問題の(...
-
記号(イコールの上に三角形)...
おすすめ情報