いちばんを微分で探す ― 最大・最小の物語
Hunting for the Best with Derivatives
読み物
私たちは一日に何度も「いちばん」を探している。いちばん安い店、いちばん近い道、いちばんおいしい配合。世の中の多くの問いは、つきつめると「何かを最大に、あるいは最小にしたい」という形をしている。
面白いのは、こうした「ベスト探し」の多くが、微分というたった一つの道具で解けてしまうことだ。この記事では、計算の手順に入る前に、なぜ微分が「いちばん」を見つける目印になるのか ―― その素朴な仕掛けを、肩の力を抜いて眺めてみたい。
頂上では、地面が平らになる
山を登る場面を思い浮かべよう。ふもとから頂上へ向かう間、地面はずっと上り坂だ。やがて頂上に着き、そこを過ぎると今度は下り坂になる。では、いちばん高い頂上そのものでは、地面はどうなっているか。
そう、ほんの一瞬だけ平らになる。上りでもなく下りでもない、傾きがゼロの瞬間。これは谷底でも同じで、下りきって登りに転じる最低地点では、やはり地面が平らになる。「いちばん高い/低い場所では、接線が水平になる」 ―― この当たり前の観察こそ、最適化の心臓部だ。
微分はまさに、各点での接線の傾きを教えてくれる道具だった。だから「いちばん」を探すには、微分がゼロになる点を探せばよい。山ぜんたいを歩き回らなくても、傾きがゼロになる場所に目をつければ、頂上や谷底の候補が一気に絞り込める。傾きの符号から増減を読む話は第6章 微分の意味がていねいだ。
いちばん無駄のない缶を作る
身近な例で味わってみよう。同じ容量のジュースを入れる円柱の缶を作るとき、材料がいちばん少なくて済む形はどんな形だろうか。背が高くて細い缶? それとも低くて太い缶?
中身の量(体積)は決まっているので、変えられるのは「高さと太さのバランス」だけだ。細長くすれば側面ばかり増え、平たくすればフタと底ばかり増える。表面積はこのバランスしだいで増えたり減ったりする ―― つまり、表面積はある一つの数(たとえば半径)の関数になる。
ここで微分の出番だ。表面積を半径で微分し、それがゼロになる半径を求めれば、表面積がいちばん小さくなる「ちょうどよい太さ」がぴたりと決まる。容量を一定にして、上下のふたも含めた表面積をいちばん小さくすると、答えは「高さが直径と等しい缶」。日常のありふれた問いが、微分一発で美しく解けてしまう。こうした実戦の手順は第17章 最適化問題でたっぷり練習できる。
ひとくちメモ:「制約」がカギを握る
缶の問題が面白いのは、「容量は一定」というしばり(制約)があるからだ。しばりが無ければ、缶は小さければ小さいほど材料が少なくて済んでしまい、考える価値がない。「これは変えられない」という条件があってはじめて、残りのつまみをどう回すのが最善か、という問いが意味を持つ。現実の最適化は、たいていこの「制約のもとでのベスト探し」の形をしている。
光は最短時間の道を選ぶ
最適化は人間の都合だけの話ではない。自然そのものが「いちばん」を選んでいるように見える場面がある。
水面で光が折れ曲がる屈折を、十七世紀の数学者フェルマーはこう説明した。光は二点を結ぶうち、かかる時間がいちばん短い道を通る、と。空気と水では進む速さが違うので、まっすぐ最短距離を行くより、少し遠回りでも速い空気中を長めに進んだほうが、合計時間は短くなることがある。プールの監視員が、走るのと泳ぐのを使い分けて溺れた人にいちばん早くたどり着こうとするのと同じ理屈だ。
この「合計時間を最小にする折れ点はどこか」という問いも、時間を曲がる位置の関数とみて微分をゼロにすれば解ける。自然界の法則の多くが「何かを最大・最小にする」という形で書けること ―― これは物理学の深い美しさの一つであり、その入口にいつも微分が立っている。
傾きゼロは「容疑者」にすぎない
ただし、油断は禁物だ。なめらかな関数では、考えている範囲の内側にある「いちばん」の点で、微分は必ずゼロになる。けれども逆に、微分がゼロだというだけで犯人だと決めつけてはいけない。
たとえば、上り坂の途中でほんの一瞬だけ平らになる「峠」のような点がある。ここでも傾きはゼロになるが、頂上でも谷底でもない。さらに、考えている範囲にはしっこがある場合、最大・最小がその端で起こることもあり、そこでは傾きがゼロとは限らない。崖のてっぺんが一番高い、というような状況だ。
だから正しい手順はこうだ。まず微分がゼロになる点を「容疑者」として全部リストアップし、それから一つずつ、まわりの傾きの変わり方や端の値とくらべて、本物の最大・最小かどうかを吟味する。容疑者を挙げてから絞り込む ―― この二段構えが最適化のお作法である。容疑者を見分ける道具立ては第15章 関数の増減と極値で身につく。
ひとくちメモ:二度目の微分が形を教える
傾きがゼロの点が「山の頂上」か「谷の底」かを見分けるうまい方法がある。もう一度微分する(二階微分)のだ。二階微分がマイナスなら、傾きが減りつつある=上に凸の山型で、その点は極大。プラスなら下に凸の谷型で極小。ただし、二階微分もゼロのときは、この方法では見分けられない(たとえば $y = x^4$ の $x = 0$ は谷底だが、二階微分はゼロになる)。一度の微分で候補を見つけ、二度目の微分でその素性を見抜く ―― 微分を重ねがけすると、関数の「形」までもが読めてくる。
ベスト探しは、どこにでもある
「いちばんを微分で探す」という発想は、缶や光の話にとどまらない。利益が最大になる価格、燃費が最良になる速度、いちばん広く囲える庭の形 ―― 形を変えて、あらゆる分野に顔を出す。
共通しているのは、まず「最大・最小にしたい量」を一つの関数として書き表し、その傾きがゼロになる点を探す、という骨組みだ。経済学が利潤を、工学が効率を、機械学習が予測の誤差を ―― それぞれ何かを最適化している。分野ごとに言葉は違っても、心はみな同じ「接線が水平になる場所を探す」である。微分が現代のあらゆる現場で重宝されるのは、この「ベスト探し」の万能ぶりによるところが大きい。
結び ― 平らな一点を手がかりに
「いちばんはどこか」という、つかみどころのない問いを、私たちは「傾きがゼロの点はどこか」という、目に見える手がかりに翻訳した。頂上と谷底で地面が平らになる ―― そのささやかな事実が、缶の形から光の進路まで、無数の最適化を解く鍵になる。
感覚がつかめたら、あとは実際に手を動かしてベストを求めてみよう。入門トップの各章で増減や極値の調べ方に親しんだら、次は変数が増えた世界 ―― 初級が待っている。山がいくつもの方向に広がる「多変数の最適化」という、もう一段広い景色が見えてくる。
よくある質問
なぜ最大・最小の点で微分がゼロになるのか
なめらかな山の頂上や谷底では、その点での接線がちょうど水平になるからである。少し手前までは上り(傾きはプラス)、少し先は下り(傾きはマイナス)で、その境目で傾きはゼロを通る。微分は接線の傾きを表すので、頂上・谷底では微分の値がゼロになる。だから「いちばん」を探すには、まず微分がゼロになる点を探せばよい、という戦略が立つ。
微分がゼロの点は必ず最大か最小なのか
いいえ、必ずしもそうではない。微分がゼロになるのは「いちばん」の候補にすぎず、頂上でも谷底でもない平らな点(峠のような変曲点)でも起こりえる。また区間の端(はしっこ)で最大・最小になることもあり、そこでは微分がゼロとは限らない。だから候補をいくつか挙げて、傾きの符号の変わり方や端の値とくらべて、本当の最大・最小を見きわめる必要がある。