Evolton

北海道大学 1985年度 前期日程 第2次学力試験理系数学 第5問

微分可能な関数 y=f(x) が方程式{f(x)}3+f(x)0xtet{f(t)}2dt2=0を満たしているとする。ただし、つねに f(x)0 とする。

(1) f(x) の極値を求めよ。

(2) f(x) を求めよ。

難易度7/ 10計算量6/ 10目安25

微分積分関数 定積分評価微分による最大最小文字消去

方針

まず x=0 を代入して f(0)=1 を求める。次に与式を微分すると,積分項は上端の値により xexf(x)2 になり,(3f(x)2+1)f(x)=xexf(x)2 が得られる。f(x)0 と連続性から f(x)>0 なので,f(x) の符号は x の符号で決まる。(2) は微分方程式を (3+1/f2)f=xex と分離し,3f1/f を積分してから2次方程式として f を解く。

解答

(1) まず与えられた方程式に x=0 を代入する。積分区間は長さ0なので積分項は0であり,f(0)3+f(0)2=0 である。左辺は f(0)3+f(0)2=(f(0)1)(f(0)2+f(0)+2) と因数分解できる。f(0)2+f(0)+2 は判別式が 18<0 で常に正なので f(0)=1 である。

次に,問題の方程式を x で微分する。左辺の各項を微分すると 3f(x)2f(x)+f(x)xexf(x)2=0 である。したがって (3f(x)2+1)f(x)=xexf(x)2 を得る。

ここで f(0)=1 であり,f は微分可能だから連続である。また問題より常に f(x)0 なので,f(x) は0をまたいで符号を変えることができない。したがって f(x)>0 がすべての x で成り立つ。

よって ex>0f(x)2>03f(x)2+1>0 であるから,f(x) の符号は x の符号と一致する。すなわちx<0 で f(x)<0,x=0 で f(x)=0,x>0 で f(x)>0である。したがって x=0 で極小となり,その値は 1 である。極大値は存在しない。

(2) 上で得た式 (3f(x)2+1)f(x)=xexf(x)2 を,f(x)2 で割ると (3+1f(x)2)f(x)=xex である。左辺は ddx(3f(x)1f(x)) であるから,両辺を積分して 3f(x)1f(x)=(x1)ex+C となる。 x=0f(0)=1 を代入すると,左辺は 311=2 であり,右辺は 1+C である。したがって C=3 であり 3f(x)1f(x)=(x1)ex+3 となる。

ここで H=(x1)ex+3 とおくと 3f(x)1f(x)=H である。f(x)0 なので両辺に f(x) を掛けると 3f(x)2Hf(x)1=0 である。これを f(x) について解けば f(x)=H±H2+126 となる。すでに f(x)>0 が分かっているので,正の値をとる f(x)=H+H2+126 を選ぶ。したがって f(x)=(x1)ex+3+{(x1)ex+3}2+126 である。

別解

解法2

方針

先に明示式の候補を構成し、その候補が積分方程式を満たすことを微分と初期値で検証する。さらに 3u1/u の正の範囲での単調性を使い、条件を満たす関数がその候補以外にないことも確認する。

解答

x=0 を代入するとf(0)3+f(0)2=0であり、実数解は f(0)=1 だけである。f は連続で、どこでも0にならないから f(x)>0 である。

(2) ここでH(x)=(x1)ex+3とおき、正の関数F(x)=H(x)+H(x)2+126を考える。この式は2次方程式 3F2HF1=0 の正の解だから3F1F=H.(1)(1)を微分し、H(x)=xex を用いると(3+1F2)F=xex,すなわち(3F2+1)F=xexF2.(2)次にK(x)=F(x)3+F(x)0xtetF(t)2dt2とおく。(2)より K(x)=0 である。また H(0)=2 なので F(0)=1、したがって K(0)=0 である。ゆえに K(x)=0 であり、F はもとの積分方程式を満たす。

一方、任意の解 f についても、もとの式を微分し f(0)=1 を用いて積分すれば3f1f=Hを得る。関数 3u1/uu>0 で狭義単調増加だから、正の解はただ1つであり f=F である。したがってf(x)=(x1)ex+3+{(x1)ex+3}2+126.(1) さらに(2)で得た関係式で、分母 3F2+1exF2 は正だから、F の符号は x の符号と一致する。よって x=0 で極小となり、極小値は 1 である。極大値は存在しない。

総評

難易度7、計算量6。想定時間25〜35分。最初に x=0 を代入して f(0)=1 を確定し、連続性と f(x)0 から全域で f(x)>0 とする。積分方程式の微分では微積分の基本定理により上端の被積分関数が現れる。(3+1/f2)f3f1/f の微分と見抜き、積分定数を初期値で決める。平方根の符号は正値性で選び、得た明示式は微分と初期値で原方程式へ戻して検算できる。

冊子PDFで見る北大の微分の問題で問題集を作る

出典: 北海道大学 1985年度 前期 数学。問題文はHTML表示のために再入力・数式組版しています。