- ベストアンサー
逆関数の積分
g(f(x))=xの時、∫[a,b]g(x)dx=∫[a,b]g(y)dyがわかりません。通常、変数をxからyに変換する時は、対応する変域が変わるのと、dxをdyに変換する関係式が必要だと思いますが、単純にxとyを入れ替えて成り立つのでしょうか。（2008東北大の問題）
- wakakusa01
- お礼率43% (279/638)
- 数学・算数
- 回答数3
- ありがとう数1
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
納得がいかなければ、実際に f(x) = x^2, g(x) = √x, a = 2, b = 3とかして、計算をしてみてはどうだろうか。
その他の回答 (2)
- tmppassenger
- ベストアンサー率76% (285/372)
やっぱりわかってない。 ∫[a,b]f(y)dy = ∫[a,b]f(x)dx という所「だけ」を眺めてみると、これは当たり前でしょう？まだすっきりしないのであれば、一度 t = yとでもして置換積分をして、dt=dy となるから ∫[a,b]f(y)dy = ∫[a,b]f(t)dt として、今度はもう一回 x= tとして dx = dt とかして置換積分するといい。
- tmppassenger
- ベストアンサー率76% (285/372)
∫[a,b]g(x)dx=∫[a,b]g(y)dy という式に、どこにもfは出てきてないではないですか。これだと単にxという変数（文字）をyに置きかえただけで、当たり前に成り立つ式です。
補足
tmppassengerさま 失礼しました。 y=f(x)の逆関数をy=g(x)とすると、g(f(x))=xが成り立ちます。 次の式を証明せよ、という問題です。 ∫[f(a),f(b)]g(x)dxー∫[a,b]f(x)dx=bf(b)-af(a) この問題で、 ∫[f(a),f(b)]g(x)dx=∫[a,b]g(f(y))f'(y)dy=∫[a,b]yf'(y)dy=[yf(y)][a,b]-∫[a,b]f(y)dy =bf(b)-af(a)-∫[a,b]f(y)dyとなります。 その次に、 bf(b)-af(a)-∫[a,b]f(y)dy=bf(b)-af(a)-∫[a,b]f(x)dx となるところがわかりません。 変数を変えるときは、変域が変わるし、dyからdxへの変換が必要になると思います。 よろしくお願いします。
関連するQ&A
- 逆関数を利用した定積分の計算
参考書の模範回答を読んでも分からなかったので質問します。 f(x)=log[{-1+√(1+4x)}/2]とおき、関数y=f(x)(x≧2)とその逆関数y=g(x)(x≧0)について考える 問1:g(x)をxの式で表せ 問2:a≧2のとき、∫[2,a]f(x)dx=af(a)=∫[0,f(a)]g(x)dxを示せ 問1は分かりました。 g(x)=e^(2x)+e^x(x)(x≧0) 問2について(模範回答より) y=f(x)に対し、x=g(y)であるからdx=g'(y)dy f(x)はx≧2に於いて増加関数である。 a≧2のとき、xとyの対応は次のようになる x:2 --> a y:0 --> f(a) ∫[2,a]f(x)dx = ∫[0,f(a)]y*g'(y)dy = [y*g(y)]_|y=0,f(a)|-∫[0,f(a)]g(y)dy = f(a)*g(f(a))-∫[0,f(a)]g(y)dy ・・・(1) = a*f(a)-∫[0,f(a)]g(x)dx ・・・(2) なぜ(1)から(2)が導かれるのか教えてください。 (1)の∫[0,f(a)]g(y)dyが(2)の∫[0,f(a)]g(x)dxになるのは おそらく「定積分は、関数の形と上端、下端の値で決まり、変数に取った文字には無関係」、つまり 「∫[a,b]f(x)dx = ∫[a,b]f(t)dt」から導かれるのでしょうが(間違っていたら指摘してください)、 (1)のf(a)*g(f(a))が(2)のa*f(a)になるのが理解できません。 おねがいします。
- ベストアンサー
- 数学・算数
- 多変数関数f(x,y)の多変数関数g(x,y)による微分∂f/∂gを計
多変数関数f(x,y)の多変数関数g(x,y)による微分∂f/∂gを計算するには？ xとyに関する多変数関数f(x,y)と、g(x,y)が与えられたとき、微分∂f/∂gを計算するにはどうしたらよいでしょうか？(そもそも偏微分なのだろうか？) 具体例で考えます。 f(x,y) = (x+2y)^2 g(x,y) = x+2y である場合。当然∂f/∂g = 2 gです。このような場合は問題ありませんが、 f(x,y) = x + 3y g(x,y) = x + 2y のような場合はどのように考えたらよいのでしょうか？ 全微分の関係を使って考えてみました。 df(x,y) = (∂f/∂x) dx + (∂f/∂y) dy + O(dx,dy) = dx + 3 dy + O(dx,dy) dg(x,y) = (∂g/∂x) dx + (∂g/∂y) dy + O(dx,dy) = dx + 2 dy + O(dx,dy) ∂f/∂g = limit_{dx→0,dy→0} df/dg を考えれば良いのではないかと。 どの方向から極限をとっても極限値が変わらないと仮定して、 つまりdx = dyとして、極限を考えると。 ∂f/∂g = 4/3 とても正しいとは思えないのですが、他にどう考えればよいのかわからず悩んでいます。 そもそも、微分が存在しないと言うことなのでしょうか？ 質問は以下の2点です。 （１）この様な場合、どのように考えていけばいいのでしょうか？ （２）この様な微分に関して、数学的に何か名前があるのでしょうか？分野名など。 以上 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 合成関数の積分
こんにちは。積分法に関する質問です。 gが(a,b)において連続[a,b]において微分可能とし、g´(x)＞0で、fもgの値域においては連続とするとき ∫f(g(x))g´(x)dx(積分範囲はaからb)=∫f(y)dy(積分範囲はg(a)からg(b))が成り立つことを示し、(Fоg)´(x)を計算せよという問題です。((Fоg)は合成関数) 今ヒントが与えられていて g(a)≦y≦g(b)において F(y)= ∫f(t)dt(積分範囲はg(a)からy)と置く。とあるのですが、このヒントをどう使うのかが分かりません。 それと(Fоg)´(x)の計算もお手上げです。 どなたかヒントよろしくお願いします。
- ベストアンサー
- 数学・算数
- 逆関数の置換積分の原理をもう少し深く理解したいです
逆関数の置換積分が根本的に分からないのです。（置換積分の考え方についての質問です。） 「πx^2sin(πx^2)の1≦x≦0までの区間とx軸に囲まれた平面をy軸周りに回転させて出来る立体の体積を求めよ」という問題でそれに気づかされました。 有名問題そうなのでグラフの様子や答え自体は周知という前提で話を進めます。 この問題のある解き方ではまず0≦x≦1なる極点のx座標をα(y座標をy1)とします。 そしてαを境目として、問題の関数を２つの逆関数x=g1(y)(0≦x≦α)、x=g2(y)(α≦x≦1)で表現すると、その回転体の体積は∫[0,y1]π(g2(y))^2dy-∫[0,y1]π(g1(y))^2dyとなり この式についてy=f(x)とおくと∫[1,α]πx^2f'(x)dx-∫[0,α]πx^2f'(x)dxとなるということだったと思います。あとはごちゃごちゃ計算すれば値πが求まるわけです。 y=f(x)と置いた後の積分の式はdyの部分がf'(x)dxになっていて、これは置換積分の公式y=f(x)dx⇔y=f(g(t))dx/dt*dtについて、tをyと見て適用した結果が素直に反映されているように見えます。 疑問なのはg1,2(x)^2がx^2になっているところで、なんでこうなるのかちゃんとは理解できていないようなのです。 x=g(y)のような式をy=f(x)でおくのだからx=g(f(x))ということになるでしょう。これは公式のf(g(t))に対応すると思います。公式のこの部分は、tで置換積分すると決めたらf(x)の変数xが全てtで表されるようにしろという意味で私は理解しています。 たとえばx(x-2)^3のような式を積分するならt=x-2と置くでしょうが、そのとき式中の(x-2)は宣言した通り一文字のtで置き換えるだけですしt=x-2はxについて解けますからそれを代入することによって式はtだけの式で表されるということになります。 ですがこれと違って、y=f(x)でおくという場合代入という考え方で式の同値変形ができるわけではありませんよね。公式を適用する中でg(f(x))=xというのはどうやって導出するものなのかが分からないのです。 考えてみたら、逆関数として表現したものを逆関数で置きなおすのだからx=g(y)という等式で結ばれたxでそれは表現されるというのは「なんとなく」そんな気がしますし、これに限っては「逆関数の逆関数はx」と暗記することで済むと思います。 しかし数学なのだから考え方が正しければ途中過程によらず正しい答えにたどり着くという前提のもとで、置換積分の際の置き方というのは自由なはずですから、たとえばy=f(x)ではなくy=2f(x)として置換積分したらどういう流れで元の結果に行き着くだろうと考えたのですが、全くわからなくなりました。 y=2f(x)ですからdy=2'f(x)dxなのは当然でしょう。するとg(2f(x))は2'f(x)dyの２が打ち消されるような式でなければならないわけです。置き換える前の式は∫[0,y1]π(g2(y))^2dyのように式が二乗されていますから求める式はg(2f(x))はx/√(2)ということになる、のでしょうか？いよいよ分からなくなるわけです。x/√2という式でたとえ合っていたとしても、また別の、答えがあらかじめわかっておらず、こうしたつじつま合わせが使えない別の問題は解くことができないのです。 長くなりましたが、なぜ最初の問題について積分の中身をg(y)^2がx^2となるのか、y=2f(x)のように置いた場合にも応用が利くような考え方でご解説いただきたいと思います。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 不定積分についてです
(置換積分) f:[a,b]→[c,d]がC^1級でg:[c,d]→Rが連続であるとき次の式が成立する ∫[a,b]g(f(x))f'(x)dx ＝ ∫[f(a),f(b)]g(y)dy この定理が成り立つのは良いのですが,不定積分について ∫g(f(x))f'(x)dx ＝∫g(y)dy が成り立つ理由がわかりません… 部分積分も同様に,定積分の式ならわかるのですが、不定積分について ∫f(x)g'(x)＝ f(x)g(x)－∫f'(x)g(x) となる理由がわかりません。 大学数学での不定積分のきちんとした定義とともに、 ∫[a,b]g(f(x))f'(x)dx ＝ ∫[f(a),f(b)]g(y)dy ∫f(x)g'(x)＝ f(x)g(x)－∫f'(x)g(x) の成り立つ理由がわかる方がいらっしゃいましたら回答よろしくお願い致しますm(__)m
- ベストアンサー
- 数学・算数
- 陰関数そのものを使った積分の計算法
いろいろな曲線の表示において、微分や積分の計算法を整理してみました。 x^2+y^2=4上の点(x,y)=(1,√3)でのdy/dxの値の求め方。 陽関数。y=√(4-x^2)よりdy/dx=-x/√(4-x^2)。x=1のとき、dy/dx=-1/√3。 媒介変数。x=2cos(θ),y=2sin(θ)とすると、dy/dx=dy/dθ÷dx/dθ=-cos(θ)/sin(θ)。 θ=π/3のとき、dy/dx=-1/√3。 逆関数。x=√(4-y^2)よりdy/dx=1÷dx/dy=-√(4-y^2)/y。y=√3のとき、dy/dx=-1/√3。 極座標に変数変換。(x,y)→(r,θ) (ただし、x=rcos(θ),y=rsin(θ))とすると、(1,√3)→(2,π/3)。 x^2+y^2=4→r=2。dx=cos(θ)dr-rsin(θ)dθ、dy=sin(θ)dr+rcos(θ)dθ。dr/dθ=0。 よって、dy/dx=-cos(θ)/sin(θ)。θ=π/3のとき、dy/dx=-1/√3。 陰関数。2x+2y(dy/dx)=0より、dy/dx=-x/y=1/√3。 y≧0,x^2+y^2≦4の面積の求め方。 陽関数。境界はy=√(4-x^2)より∫[-2,2]ydx=∫[-2,2]√(4-x^2)dx=[(1/2)√(4-x^2)+2arcsin(x/2)] [-2,2] = 2π 媒介変数。境界をx=2cos(θ),y=2sin(θ)とすると、∫[-2,2]ydx=∫[π,0]2sin(θ){-2sin(θ)}dθ = 2π 逆関数。境界はx=√(4-y^2)より∫[-2,2]ydx=2∫[0,1]y(dx/dy)dy=2∫[2,0]y(-y/√(4-y^2))dy=2π 極座標に変数変換。(x,y)→(r,θ)(ただし、x=rcos(θ),y=rsin(θ))とすると、 [y≧0,x^2+y^2≦4]→[0≦r≦1,0≦θ≦π]、ヤコビアンはr。よって、 ∫[y≧0,x^2+y^2≦4]dxdy=∫[0≦r≦2,0≦θ≦π]rdrdθ=2π 以上のように計算法を比べてみると、陰関数そのものを使った積分の計算法を僕は知りません。 数学の理論はボタンをかけるように、パラレルな理論があると信じているのですが、 一方を知らないので気になります。 陰関数そのものを使った積分の計算法があれば教えていただけますようお願いいたします。
- ベストアンサー
- 数学・算数
- 関数
関数 ｙ＝ｆ（ｘ）とｘ＝ｆ（ｙ）は関数として、等しいというのは合っていますか? また、（１）ｆ（ｘ）＝e^x/(e^x+1)のときｙ＝ｆ（ｘ）の逆関数ｙ＝ｇ（ｘ）を求めよ。 （２）（１）のｆ（ｘ）、ｇ（ｘ）に対し、 （A)∫（a～ｂ）ｆ（ｘ）ｄｘ＋∫（ｆ（a)～ｆ（ｂ））ｇ（ｘ）ｄｘ＝ｂｆ（ｂ）－af(a)をしめせ。 （解答） ｆ（ｘ）の値域は、０＜ｙ＜１{（e^x)+1}y=e^x （１－ｙ）e^x=y⇔ｘ＝log(y/1-y) ｘとｙを入れ替えて、ｇ（ｘ）＝log(x/1-x) （２）I＝∫（ｆ(a)～ｆ（ｂ））ｇ（ｘ）ｄｘとする。 ｆ（ｘ）はｇ（ｘ）の逆関数だから、ｙ＝ｇ（ｘ）より、ｘ＝ｆ（ｙ） ｄｘ＝ｆ‘（ｙ）ｄｙ また、ｇ（ｆ（a))=a,g(f(b))=bとあるのですが、 これらは、ｙ＝ｇ（ｘ）とｘ＝ｆ（ｙ）を合成したものだ、としても、本質的には、問題ないですよね
- ベストアンサー
- 数学・算数
- ラグランジュの未定乗数法
条件g(x,y)=0の下で、z=f(x,y)の極値を求める。 g(x,y)=0は、xとyの陰関数でありz軸に平行なある曲面を表す。 z=f(x,y)の全微分は、dz=(∂f/∂x)*dx+(∂f/∂y)*dyより、(dz/dx)=(∂f/∂x)*1+(∂f/∂y)*(dy/dx) dz/dx=f_x(x,y)+f_y(x,y)*(dy/dx) ここでzは、g(x,y)=0の条件によりxの1変数関数となっている。 一方、z=g(x,y)とすると、z=g(x,y)=0となり、これは恒等的に0である。よって、全微分もdz=(g_x)*dx+(g_y)*dy=0となる。 dy/dx=-g_x(x,y)/g_y(x,y) dz/dx=f_x(x,y)-[{f_y(x,y)*g_x(x,y)}/g_y(x,y)] (x,y)=(a,b)の点で、この曲線が極値をもつとき、dz/dx=0となる。 dz/dx=f_x(a,b)-[{f_y(a,b)*g_x(a,b)}/g_y(a,b)] f_x(a,b)={f_y(a,b)*g_x(a,b)}/g_y(a,b) g_x(a,b)≠0のとき、両辺をg_x(a,b)で割り、{f_x(a,b)/g_x(a,b)}={f_y(a,b)/g_y(a,b)} ここで、{f_x(a,b)/g_x(a,b)}={f_y(a,b)/g_y(a,b)} =λとおくと、f_x(a,b)=λ*{g_x(a,b)}, f_y(a,b)=λ*g_y(a,b) このλが未定乗数である。 質問がいくつかあります。 まず、初めに条件になっている『g(x,y)=0はz軸に平行な曲面を表す』とあります。これは、z=g(x,y)=0とは違いますよね? z=g(x,y)=0はz=0なので、xy平面上の関数になり、z軸に平行な曲面にはならないと思うのですが。 次に、全微分可能な関数z=f(x,y)の全微分はdz=f_x(x,y)dx+f_y(x,y)dyと表され、これは∂z/∂x=f_x(x,y)+f_y(x,y*)(dy/dx)と表す事ができ、この左辺はzがxとyの2変数関数のためdz/dxとならずに∂z/∂xとなっています。この証明においてz=f(x,y)の全微分を求める際に『ここで、zはg(x,y)=0の条件により、xの1変数関数となっている』とありますが、これはどういう意味でですか? z=f(x,y)の曲面とg(x,y)=0の曲面が交わった所は曲線になるのは分かります。そしてこの曲線はxの値を一個定めると、それによってyの値が決まるので、zも決まる。よってzはxの1変数関数となるのでしょうか? そして、『z=g(x,y)とおくと、z=g(x,y)=0とおくと、これは恒等的に0。よって、その全微分もdz=(g_x)*dx+(g_y)*dy=0』とありますが、まずこの意味を簡単に説明していただけますか。『よって』の前後がどう繋がっているのが分かりません。『z=g(x,y)=0とおく』となっていますが、この場合z=g(x,y)=0は前述したようにxy平面上のグラフになると思うのですが、なぜg(x,y)=0をz=g(x,y)=0と置き換えたのかが分かりません。dy/dxの値を求めるためでしょうか? 自分の書いた所に、誤解やちんぷんかんぷんで意味が分からない所があれば指摘してください。
- 締切済み
- 数学・算数
お礼
tmppassengerさま ご意見のように計算すると ∫[a,b]f(y)dy = ∫[a,b]f(x)dx が成り立つことがわかりました。 自分でグラフを描いてイメージを掴むこともできました。 スッキリしました。