MathLabs
定理証明済み

方向微分と勾配に沿った最急上昇

内容

ff が点 aa で微分可能かつ ∇f(a)≠0\nabla f(a) \ne \mathbf{0} であるとする。このとき任意の単位ベクトル u\mathbf{u} (∥u∥=1\|\mathbf{u}\| = 1) に対して方向微分は Duf(a)=∇f(a)⋅u=∥∇f(a)∥cos⁡θD_{\mathbf{u}}f(a) = \nabla f(a) \cdot \mathbf{u} = \|\nabla f(a)\| \cos\theta を満たす。ただし θ\theta は ∇f(a)\nabla f(a) と u\mathbf{u} のなす角である。したがって Duf(a)D_{\mathbf{u}}f(a) は u=∇f(a)∥∇f(a)∥\mathbf{u} = \frac{\nabla f(a)}{\|\nabla f(a)\|} のとき最大値 ∥∇f(a)∥\|\nabla f(a)\| をとり、逆向きのとき最小値 −∥∇f(a)∥-\|\nabla f(a)\| をとる。

なぜ正しいのか?

内積は勾配を選んだ進行方向へ射影する。勾配の向きと完全に一致して進むときにのみその大きさ全体を享受でき、等高線に沿って垂直に進めば変化率はゼロになる。

証明の概略

一変数関数 g(t)=f(a+tu)g(t) = f(a + t\mathbf{u}) を定義する。方向微分の定義により Duf(a)=g′(0)D_{\mathbf{u}}f(a) = g'(0) である。ff は点 aa で全微分可能であるから、t→0t \to 0 のとき f(a+tu)−f(a)=∇f(a)⋅(tu)+o(∣t∣)f(a + t\mathbf{u}) - f(a) = \nabla f(a) \cdot (t\mathbf{u}) + o(|t|) が成り立つ。両辺を tt で割って t→0t \to 0 の極限をとると Duf(a)=∇f(a)⋅uD_{\mathbf{u}}f(a) = \nabla f(a) \cdot \mathbf{u} が得られる。

ユークリッド内積の幾何学的公式と単位長条件 ∥u∥=1\|\mathbf{u}\| = 1 より、∇f(a)⋅u=∥∇f(a)∥ ∥u∥cos⁡θ=∥∇f(a)∥cos⁡θ\nabla f(a) \cdot \mathbf{u} = \|\nabla f(a)\|\,\|\mathbf{u}\|\cos\theta = \|\nabla f(a)\|\cos\theta となる。−1≤cos⁡θ≤1-1 \le \cos\theta \le 1 であるから、最大値 ∥∇f(a)∥\|\nabla f(a)\| は θ=0\theta = 0 すなわち u=∇f(a)∥∇f(a)∥\mathbf{u} = \frac{\nabla f(a)}{\|\nabla f(a)\|} のとき一意に達成され、最小値 −∥∇f(a)∥-\|\nabla f(a)\| は θ=π\theta = \pi のとき達成される。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. Jerrold E. Marsden, Anthony J. Tromba (2012). Vector Calculus
  2. James Stewart (2015). Calculus: Early Transcendentals
  3. Augustin-Louis Cauchy (1847). Méthode générale pour la résolution des systèmes d'équations simultanées