lim{x→∞}x∫{0~x}exp(t^2-x^

質問

lim{x→∞}x∫{0~x}exp(t^2-x^2)dt

(∫{0~x}の部分はこういう表記の仕方がよくわからないのですが、0が下でxが上です）

答えが一応出たのですが、解答解説がついていないためチェックしていただけますか？

lim{x→∞} x∫{0~x}exp(t^2-x^2)dt

exp(x^2)はtによらないので、
=lim{x→∞} x∫{0~x}exp(t^2)dt /exp(x^2)

exp(t^2)の0~無限大の積分は明らかに無限大に発散するので、ろぴたるの定理をつかう
=lim{x→∞} {∫{0~x}exp(t^2)dt+xexp(x^2)}/exp(x^2)2x
=lim{x→∞} ∫{0~x}exp(t^2-x^2)dt/2x +1/2

これを最初の式と比べる
lim{x→∞}x∫{0~x}exp(t^2-x^2)dt　=lim{x→∞}∫{0~x}exp(t^2-x^2)dt/2x +1/2

lim{x→∞}x(1-1/2x^2)∫{0~x}exp(t^2-x^2)dt =　1/2
lim{x→∞}x∫{0~x}exp(t^2-x^2)dt =x^2 / (2x^2-1)=1/2

という風に1/2が答えとして出たのですが、間違っているとこ、足りないところなどありましたらご指摘お願いします。

回答No.2

alice_44 · ベストアンサー

「これを最初の式と比べる」以降の計算は、
各 lim が収束することを根拠なく仮定している。
もう一度、ロピタルを使えば良かったのに。

お礼

回答ありがとうございました。　もう一度ろぴたるでできました。　答えは1/2ですよね？

回答No.4

ur2c

> ほかに微分を使える方法があるのでしょうか？

(d/dx) \int_0^x f(t) dt = f(x) ==> (d/dx) \int_0^x exp(t^2) dt = exp(x^2)

回答No.3

alice_44

1/2

回答No.1

ur2c

(d/dx) \int_0^x f(t) dt = f(x)

を使えば一発．

お礼

微分するにはろぴたるの定理かなと思って、ろぴたるの定理をつかったのですが、ほかに微分を使える方法があるのでしょうか？もしくは、ろぴたるの定理の使い方が下手なのでしょうか？