0

微分方程式を使った引っ掛け問題?

108
0

問題

この記事では、次の問題について考えてみたいと思います。

微分可能関数f:RRは、
(f(x))2=4f(x), f(1)=1, f(2)=4
を満たしています。
f(3)を求めてください。

とりあえず(f(x))2=4f(x)の両辺を微分してみましょう。
2f(x)f(x)=4f(x)
すなわち、
f(x)=2,  f(x)=0
従って、
f(x)=x2+ax+b,  f(x)=c (a,b,c)

この定数a,b,c(f(x))2=4f(x)になるように定めてあげれば、
a2=4b, c=0なので、
f(x)=x2+ax+a24,  f(x)=0

さて、あとはf(1)=1, f(2)=4になるようなaを求めればいいのですが、
これはa=0ですね。
また、f(x)=0はこの時点で選択肢から消えます。

よって、f(x)=x2であり、f(3)=9です。

一見、これで問題ないように見えますが、本当にいいのでしょうか?

実は・・・

実は、最初に両辺を微分したところがマズいところです。
問題には「微分可能関数」としか書いてないので、「2階微分可能」とは限らないのです。

もし、f(x)がこんな関数だったらどうでしょう・・・
f(x)={(x+1)2(x<1)0(1x0)x2(0<x)
これは先程の微分方程式の解
f(x)=x2+ax+a24,  f(x)=0
を継ぎはぎにくっつけたものです。

微分すると
f(x)={2(x+1)(x<1)0(1x0)2x(0<x)
なので、x=0,1では2階微分不可能な関数です。

このf(x)(f(x))2=4f(x), f(1)=1, f(2)=4を満たしています。
そしてこの場合はf(3)=4です。

もっと言えば、定数C(0)を任意にとって、
f(x)={(x+C)2(x<C)0(Cx0)x2(0<x)
とすれば(f(x))2=4f(x), f(1)=1, f(2)=4を満たします。
f(x)={0(x0)x2(0<x)
も満たします。

つまり、f(x)を完全に決定できなくて、f(3)を求められないんですね。

もっと簡単な類題

似た構図の問題を1つ見てみましょう。

微分可能関数f:R{0}Rは、
f(x)=x1, f(1)=0
を満たしています。
f(1)を求めてください。

これもx>0x<0で定数の違いがあってもいいので、
いくらx1dx=log|x|+Cだからと言っても、f(1)=0からf(1)は決定できません。

おわりに

おそらく、微分方程式の教科書で(f(x))2=4f(x)の問題が出たとしても、
答えにはf(x)=(xC)2,  f(x)=0と書いてあるでしょう。
不備ではなく、教科書は基本的に適切な範囲で十分に微分可能な関数であること前提で作ってるんですよ。たぶん。
でも、微積分の問題は上記のようなイレギュラーな関数のせいで変な不備ができかねないので、作問にはちょっと注意が要りますね。

余力がある人は、「1階微分可能」の仮定だけで、
(f(x))2=4f(x), f(1)=1, f(2)=4を満たす関数f(x)
x0のときにf(x)=x2以外にありえないのか考えてみてください。(ありえないと思うけど、答えは知らないです)

以上、ご覧いただきありがとうございます。

投稿日:2021717
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

SunPillar
SunPillar
142
28333
自由気儘な社会人。 Twitterアカウントはフォローしてもそんなに数学ツイートはないので注意。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 問題
  2. 実は・・・
  3. もっと簡単な類題
  4. おわりに