アットウィキロゴ
実数全体で定義された微分可能な関数f(x)を考えます。すべての実数x,yについてf(x)0,f(x+y)=f(x)f(y)e^{-xy}が成り立ちます。f'(0)=2となるf(x)を求めてください。(03,筑波)


f(x+y)=f(x)f(y)e^{-xy}
においてx=y=0として
f(0)=(f(0))^{2}f(x)>0よりf(0)=1

f(x+y)-f(x)=f(x)f(y)e^{-xy}-f(x)
=f(x)(f(y)e^{-xy}-1)より
\frac{f(x+y)-f(x)}{y}=f(x)\frac{f(y)e^{-xy}-1}{y}
g(y)=f(y)e^{-xy}として
=f(x)\frac{g(y)-g(0)}{y}

y\rightarrow 0として
f'(x)=f(x)g'(0)
g'(y)=f'(y)e^{-xy}-xf(y)e^{-xy}よりg'(0)=2-x

よって
f'(x)=f(x)(2-x)
\frac{f'(x)}{f(x)}=2-x
積分して
log{f(x)}=C_{1}+2x-\frac{1}{2}x^{2}=-\frac{1}{2}(x-2)^{2}+2+C_{1}
f(x)=C_{2}e^{-\frac{1}{2}(x-2)^{2}}

f'(0)=2よりC_{2}=e^{2}
f(x)=e^{-\frac{1}{2}(x-2)^{2}+2}

タグ:

+ タグ編集
  • タグ:
最終更新:2011年01月05日 15:11