こんにちは.宜しくお願いいたします.
いま,微分演算子をDとします.つまり,Dx(t)=dx(t)/dtの意味です.
ただし,x(t)はxが時間tの関数.
下に出てくるsも時間記号で,s≧t.
ここで,
X=0で,exp(x)のテーラー展開は,ふつうに
exp(x)=1+x+(x^2)/2!+・・・・です.
そこで,
(s-t)D=0で,exp[(s-t)D]のテーラー展開は,
exp[(s-t)D]=1+(s-t)D+[(s-t)^2*D^2]/2!+・・・・となります.
ここまではよしとしますが,
よって,
exp[(s-t)Dx(t)]=x(t)+(s-t)Dx(t)+{[(s-t)^2*D^2]/2!}*x(t)+・・・・
∴ =x(t+s-t)=x(s) ←ここのx(t+s-t)になるのが分かりません.
数学通の方,宜しくお願い致します.
No.4ベストアンサー
- 回答日時:
#1/#2です。
お礼&補足を拝見しました。再びありがとうございます。
>x(t)has a convergent Tayler's series expantion.
私は英語は得意ではないのですが、これは『収束可能なテイラー級数展開をもつ』と書いているのではないでしょうか。だとれば、まさに前提とした条件(テイラー展開可能;(実)解析的)が設定されていることになります。
>(c_n) t^nの級数の説明がちょっと分かりませんでした.
>もしできれば,再度(c_n) という記号の意味を教えていただければ幸いです.
c_nを説明もなしに使ってしまい、済みませんでした。
c_n(nはcの下付き添え字)は、x(t)をテイラー展開したときのt^nの係数を数列cのn番目というように数列的に表したものです。テイラー展開を省略せずに記述すると次のようになります。
x(t)=[n=0→∞]Σ c_n t^n
ここで、さきほどANo.1でt^nについて成り立つことを示した式を使って、x(t)でも成り立つことを示してみます。
ANo.1の考察より、
exp[(s-t)D]t^n=s^n ・・・・・☆
この式の両辺にc_nをかけて、nを0からの無限級数を取って式変形していくと、
[n=0→∞]Σ exp[(s-t)D]c_n t^n =[n=0→∞]Σ c_n s^n
⇔exp[(s-t)D] [n=0→∞]Σ c_n t^n =[n=0→∞]Σ c_n s^n
⇔exp[(s-t)D] x(t) = x(s) ・・・・・・※
これで、関数x(t)についても成り立つことが示されたと思います。
お礼がたいへん遅くなり申し訳ありませんでした.
まさにその通りだということが分かりました.
回答者様の丁寧な説明と幾度どものご親切にとても感謝しています.
ありがとうございました.
また,他の回答者様もありがとうございました.
No.3
- 回答日時:
混乱するので変数を少し変えます。
x(u)がテイラー展開可能なので、u=tでテイラー展開すると
x(t+k)=x(t)+k Dx(t)+{[k^2*D^2]/2!}*x(t)+・・・・
となります。
この式にk=s-t を代入したものと同じなので式がなりたちます。
なお、テイラー展開が可能なものを解析的関数といいます。
この回答への補足
再度,お二人ともありがとうございます.
今週時間がないので出来次第,個別にまたお礼を改めてさせていただきます.
ありがとうございました.
英語の訳出はその通りでございます.
テーラー展開可能ならば,(実)解析的な関数というのですね?
実とはどういう意味かわかりませんが.
No.2
- 回答日時:
#1です。
お礼&補足を拝見しました。ありがとうございます。
>確かにそのように考えることができそうですが,この方法で直接に(厳密に)導出できませんでしょうか?
対象としている関数x(t)に何も条件が付されていなければ、この方法では無理でしょう。他の方法を考えなければなりません。
逆に、関数に(実)解析的との条件が付されていれば、厳密に解いたことになると思います。問題(あるいは教科書などに)そのような記述があるといいのですが。というのは、与えれた題意からはx(t)は無限回連続微分可能であることが読み取れるのですが、テイラー展開したときの剰余項が0に収束することは読み取ることができません。もし(実)解析的との条件があれば、この剰余項が0に収束することを意味するので、テイラー展開可能であることが保証されるからです。
対象とする関数に何の条件も付されていなかったとしたら、私ではお手上げですので、他の専門の方のレスを待つことにしましょう。
この回答への補足
再び説明を追加します.
実解析的という記述はありませんでしたが,
x(t)has a convergent Tayler's series expantion.
と書いてありました.
再度,どうもありがとうございます.
残念ながらそのような実解析的という記述は見当たりませんでした.
しかし,ちゃんと下記の説明を読ませていただいています.
(c_n) t^nの級数の説明がちょっと分かりませんでした.
もしできれば,再度(c_n) という記号の意味を教えていただければ幸いです.
No.1
- 回答日時:
次のように考えてはいかがでしょうか。
x(t)はテーラー展開可能として必ず(c_n) t^nの級数で表されるとします。
このとき、過程を簡略化するため、x(t)=t^nとします。(テーラー展開可能だとすれば、このようにおいて成り立つことがいえれば、元の関数x(t)でも成り立つことになります。)
k階微分の項を見ますと、
(s-t)^k /k! D^k x(t)=n!/{k!(n-k)!} (s-t)^k t^(n-k)
=n_C_k (s-t)^k t^(n-k) ・・・・ k≦nのとき
=0 ・・・・ k>nのとき
ただし、n_C_kはコンビネーションを表す。
したがって、問題の式の左辺は、k=0から∞で見たときの級数になっているので、
(左辺)=[k=0→n]Σ n_C_k (s-t)^k t^(n-k)+0
となるが、この式の右辺は二項定理から、次のようになる。
(左辺)={(s-t)+t}^n=s^n=x(s)=(右辺)
http://ja.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85% …
この回答への補足
そうそう,回答ありがとうございました.
あとで,じっくり読ませて頂きます.
ちょっと質問の括弧の位置が間違えてしまったので
補足させていただきます.すいません.
exp[(s-t)Dx(t)]=x(t)+(s-t)Dx(t)+{[(s-t)^2*D^2]/2!}*x(t)+・・・・
∴ =x(t+s-t)=x(s) ←ここのx(t+s-t)になるのが分かりません.
の箇所で,
exp[(s-t)D]* x(t)=右辺は同じ.
ありがとうございました.
補足で書いたように,式のカッコが間違っていました.すいません.
それを見ますと,
xはテーラー展開をするのではなく,exp[(s-t)D]のテーラー展開に
x(t)をただかけているだけです.
確かにそのように考えることができそうですが,
この方法で直接に(厳密に)導出できませんでしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
SQL文のwhere条件文で使う <> ...
-
Xの二乗-X+1=0 という2次方程式...
-
1/∞=0は、なぜ?
-
数学で、項を指すとき、例えば2...
-
数IIの問題
-
sin(180-Θ)やcos(180-Θ)について
-
足し算と掛け算の一致
-
VBAでセルの右下をいちばん下ま...
-
記号(イコールの上に三角形)...
-
定数分離すべきかどうか。
-
等式記号に似た三本線
-
数2 この問題で、この3つの辺...
-
数学における 等価と同値って同...
-
数学的帰納法
-
exp(-x) =~ 1/(1-x)への計算
-
組み合わせの公式
-
正の数aを6でわると、商はbで余...
-
数学というより、小学生の算数...
-
高校数学の場合の数の問題です
-
(2)でなぜ恒等式的な考え方がで...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
1/∞=0は、なぜ?
-
SQL文のwhere条件文で使う <> ...
-
毎日毎日暑すぎて平方完成する...
-
数学で、項を指すとき、例えば2...
-
Xの二乗-X+1=0 という2次方程式...
-
√2が無理数であることの証明で...
-
1/7=1/m+1/nを満たすmとnの求め方
-
方程式
-
極限でわからないところがあり...
-
どうやってこうなりましたか?
-
記号(イコールの上に三角形)...
-
等式記号に似た三本線
-
質問です。 a+b+c=0のとき、...
-
複素共役の計算、途中式
-
入門問題精巧・第1章・P47.練習...
-
組み合わせの公式
-
中一 比例式の計算の時 少数だ...
-
x/(x+1) = 1 - 1/(x+1)
-
数学における 等価と同値って同...
-
数3の問題です 写真の問題の(...
おすすめ情報