- ベストアンサー
微積 f(x)+f'(x)がx→∞で0になる条件の説明
- f(x)+f'(x)がx→∞で0になる条件の説明
- 条件(1): x→∞でf'(x)→0である必要がある
- 条件(2): x→0でf'(x)/f(x)→-1である必要がある
- みんなの回答 （7）
- 専門家の回答
質問者が選んだベストアンサー
その他の回答 (6)
- ringohatimitu
- ベストアンサー率59% (111/187)
なるほど、どうりで一筋縄ではいかなかったわけですね。私はPutnamなどのコンテストの類は受けたこと無いですが今はたまに面白そうな問題を見つけたら挑戦してみるときがあります。恥ずかしいことに高校生くらいのときはそういった"super-difficult"な問題は単にテクニカルで中身も応用性もないもので解くに値しないと思ってた時もありましたが、今はそういった考えも改まってきました。数学を続けていくとより複雑な理論を学ぶことになりますが数学において「理論の学習」だけでは駄目なのです。ある程度数学という学問に貢献していくためには「既知の理論」をフルに活用して様々な問題を解決していくという姿勢が最も大事なことなのですよね。そのような観点からすれば数学オリンピックやPutnamで必要とされる「発想力」をフル活用する姿勢と、数学の最先端における未解決問題などの解決に取り組む姿勢とは問題のレベルは違うにせよお互い通じるものがあるな～と感じています。そして初等的な新発見が高度な研究における突破口になることは実は数学ではしばしばあります。
お礼
なるほどー 確かにputnamはすごい難しいんですけれど、複雑な理論というよりはいかにうまく使うかみたいなところがありますよね。そう考えるとやる気が沸いてきました。ところでputnamってどれくらい難しいんでしょうか？ 正直自分がほとんど解けないものはどれくらい難しいかもよくわからないみたいなところがありまして、、、たとえがおかしいかもしれないですけど、月と太陽をくらべたら太陽のほうがずっと遠いですけどぱっとみじゃともに遠すぎてわからないといったかんじで。。。笑
- ringohatimitu
- ベストアンサー率59% (111/187)
もっとすっきりした解法があるかもしれませんが他は思いつきませんでした。使ったことは極限の概念(特に背理法による無限個の点の抽出)、最大最小値における微分係数の性質、平均値の定理です。これを振り返ると「頑張れば」高校生でも解ける問題ですが、超高校級でしょうね。前に回答した問題もそうですが、アメリカで有名なPutnamの問題と似た印象を受けました。お蔭さまで楽しませてもらってます＾＾
お礼
回答ありがとうございます。そうなんですよね 難しい数学がでてくるというよりどうつかうかみたいなところですよね というかputnamですねまさにｗ ご存知でしたか
- ringohatimitu
- ベストアンサー率59% (111/187)
- kabaokaba
- ベストアンサー率51% (724/1416)
No.1です なんとか質問文の方針を保って 添削的にいこうとしたら，息切れしたという体たらく orz f+f'->0 f'->0から一気にいけるかですが 当然 f=(f+f')-f' だけでいけますね わざわざεδにもっていく意味はなかったです． 「fが0に収束しない」ことを仮定して背理法でいくのが 普通の解法でしょう． そしてどこかで平均値の定理を使うということで 要は，No.2さんの方針ですね．
お礼
回答ありがとうございます。 なるほど。 やっぱり僕の解法はちょっと方針がまずかったようです。 ありがとうございました。
- ringohatimitu
- ベストアンサー率59% (111/187)
振動するかもしれないのでその解法はまずいかもですね。。 例えば limsup_{x>0} f(x)＝M＞0 とします。要するに、点列x_j→∞でf(x_j)≧M＞0を満たすものがとれると仮定するわけです。 さて、各区間[x_j,x_{j+1}]の中でf(x)の最小値に着目します。もし無限個のjに対してその最小値がM以下であれば必ずある点c_j∈[x_j,x_{j+1}]が存在してf(c_j)＝Mかつf'(c_j)≧0が成立します。このとき、 M＝f(c_j)≦f(c_j)+f'(c_j)→0 となり矛盾。よってそのようなjは高々有限個。すなわち、すべてのjに対して最小値はM以上であるとしてよい。更に、無限個のjに対して各区間の右端で最大値をとることはありません。というのも右端で最大値を取る場合そこでの微分係数は非負になりますから M≦f(x_{j+1})≦f(x_{j+1})+f'(x_{j+1})→0 となり矛盾。 同じような議論で各区間の中、すなわち(x_j,x_{j+1})において最小値をとることも出来ない。 以上の考察から結局fは単調減少でなければならないことが分かります。 そうするとfの極限が存在し、その値はMに他なりません。 後は、平均値の定理を使ってみましょう。各xについてあるa_x∈(x-1,x)が存在して f(x)＝{f(x)-f(x-1)}+f(x-1)＝f'(a_x) + f(x-1)＝{f'(a_x)+f(a_x)}+{f(x-1)-f(a_x)} が成立します。そこで両辺x→∞をとればM＝0が従います。 liminf_{x>0} f(x)＝m＜0のときも同様です。
お礼
回答ありがとうございます。 >振動するかもしれないのでその解法はまずいかもですね。 振動することは考えていませんでした。まずかったですね どのx_jでも最小値最大値をとることはないというのは、f(x)に極大極小値が存在しないということですよね？ ちょっと疑問に思ったのですが、sinxみたいに-1~1で振動する場合ってどう考えたらいいんでしょうか。。？
補足
たびたび失礼します。 あとさいごの平均値の定理のところなんですが、f(x)はある値M二収束する＝f'(x)は0に収束するって考えて、f(x)+f'(x)は0に収束することとあわせて、Mは0であるという風に考えてもいいのでしょうか？極限の話になれていなくて結論付け方がいまいちわからず。。。回答よろしくお願いします。
- kabaokaba
- ベストアンサー率51% (724/1416)
＞という感じで大まかな考え方はあってますか？ あってるところのほうが少ないです（ない？） ＞f '(x)→0 （x→0)が必要十分と考え 必要十分という言葉の使い方が間違ってます． この場合は 「f '(x)→0 （x→0)であると仮定すると」 でしょう． なんで「x->∞」の話が「x->0」になるのかが不明ですが ひとまず仮定するだけなら何を仮定しても問題はないです． つぎに >f (x)≠0 (x→0) だとして（f(x)=0 (x→0) だったらそれで終了） これも間違え． まず「≠0」がだめ． 「fがx->0で0に収束しない」を意図しているのであれば これは 「fがx->0で0以外の値に収束するか，そもそも収束しない」ということです この段階で，「x->0」は「x->∞」の間違えだろうと推測されます． また， >（f(x)=0 (x→0) だったらそれで終了） これも「f(x)->0 (x→∞) だったらそれで終了）」の間違えだろうと推測されます このあともひたすら間違えています 一応最初の段落を整理したりすると ========= f'->0 (x->∞) であると仮定する． このとき，f->0 (x->∞) ではないとすると（つまり背理法） fはx->∞で0以外の値に収束するか，そもそも収束しない fが0以外の値aに収束する場合 f+f'->0であるので a+0=0で矛盾． したがって，fは収束しない ところが， f+f'->0，かつ f'->0なので 任意の正の数εに対して 十分大きなx>0をとると |f(x)+f'(x)|<(1/2)ε |f'(x)|<(1/2)ε とできる． よって |f(x)| = |f(x)+f'(x)-f'(x)| =|f(x)+f'(x)+|f'(x)| < ε つまり f->0となり矛盾 =========================== ということを最初の段落は主張しているのだろうと 推測できるのですが・・・・ これはあまりに冗長すぎます． 単純に以下のようにすればいいのです ============= f'->0 (x->∞) であると仮定する． f+f'->0，かつ f'->0なので 任意の正の数εに対して 十分大きなx>0をとると |f(x)+f'(x)|<(1/2)ε |f'(x)|<(1/2)ε とできる． よって |f(x)| = |f(x)+f'(x)-f'(x)| =|f(x)+f'(x)+|f'(x)| < ε つまり f->0 ================ つぎに，f'->0のパターンはおわったので f'->0ではないケースを考えるのでしょう ============== f'->0ではないということは f'は0ではない値に収束するか，そもそも収束しない． f'->a（aは0ではない）とする f+f'->0 f'->a であるので |f(x)+a| = |f(x)+f'(x)+a-f'(x)| =|f(x)+f'(x)|+|f'(x)-a| より f->-a (x->∞) したがって a>0のとき fは単調増加 任意の正の数ε>0に対して 十分大きなM>0をとれば |f(x)+a|<ε^2 |f(x+ε)+a|<ε^2（fが単調増加であるので） とすることができる． したがって ある実数y（0<y<x+ε）で f'(y) ε= f(x+ε)-f(x) とできるので |f'(y)|ε= |f(x+ε)-f(x)|<2ε^2 よってf'(y)<2ε これはf'->a (a>0)に矛盾 a<0のときも同様 したがって，f'は収束しない ============================ きっともっとすっきりする手があるでしょう． この流れでいくならば f'が収束しないということをきちんと書き下して f+f'->0に当てはめることになります が。。。そもそも「fが0に収束しない」ということを きちんと書き下すのであれば aに収束するとかそういう場合わけは不要かもしれません ここまでやってみましたが・・・この方針だと息切れしそうです ＃というか・・息切れした ということでここまで それでは．
お礼
回答ありがとうございました。 前半のx→０はすべてx→∞のタイプミスです。こぴぺで使ってたので、連続して間違えてしまいました。申し訳ありません。 >このあともひたすら間違えています 最初のは完全にタイプミスです ごめんなさい。 このあとのミスというと多分根本的に勘違いをしてる可能性があるので、指摘していただけると幸いです。全部間違ってたら、少しだけでいいので、どう間違ってるか教えてもらえたら幸いです。 >これはあまりに冗長すぎます． ということは、訂正していただいたのでもまずいのでしょうか？とりあえず今は解ければいいかなと思っているのですが、訂正していただいたのでも足りない部分や間違ってる部分がまだあるということでしょうか。。。？ >f'->0 (x->∞) であると仮定する． f+f'->0，かつ f'->0なので... という部分なんですが、f+f'->0が問題文の条件で、f'->0 (x->∞)と仮定すると、一発でf->0 (x->∞)とはかけないのでしょうか？
お礼
回答ありがとうございました。なるほど。そこまで難しいものだったとは想像以上でした。putnamが解けなくても別に絶望とかはすることなさそうですね＾＾気が少し楽になりました（笑