Skip to content

Steepest Ascent Direction

Theorem

Let f ⁣:A⊆Rn→Rf\colon A\subseteq\mathbb{R}^n\to\mathbb{R} be differentiable at a\boldsymbol{a}, and suppose ∇f(a)≠0\boldsymbol{\nabla} f(\boldsymbol{a})\neq\boldsymbol{0}. Among all unit vectors u\boldsymbol{u}, the directional derivative

Duf(a)=∇f(a)⊤uD_{\boldsymbol{u}} f(\boldsymbol{a})=\boldsymbol{\nabla} f(\boldsymbol{a})^{\top} \boldsymbol{u}

is maximized when

u=∇f(a)∥∇f(a)∥.\boldsymbol{u}=\frac{\boldsymbol{\nabla} f(\boldsymbol{a})}{\|\boldsymbol{\nabla} f(\boldsymbol{a})\|}.

The maximum value is ∥∇f(a)∥\|\boldsymbol{\nabla} f(\boldsymbol{a})\|, and the minimum value is −∥∇f(a)∥-\|\boldsymbol{\nabla} f(\boldsymbol{a})\| in the opposite direction.


Interpretation

The gradient points in the direction in which the function rises fastest, and its length is that fastest rate. It answers the question: among all steps of the same small length from a\boldsymbol{a}, which direction gives the largest first-order increase of ff?

Circular level sets of f around a point a, with three unit directions: steepest ascent along the gradient, steepest descent opposite to it, and zero change along the level set.

The grey circles are level curves of ff around a peak, and the dashed circle holds the unit directions at a\boldsymbol{a}. For a unit vector u\boldsymbol{u} at angle θ\theta to the gradient, Duf(a)=∥∇f(a)∥cos⁡θD_{\boldsymbol{u}}f(\boldsymbol{a})=\|\boldsymbol{\nabla} f(\boldsymbol{a})\|\cos\theta: the rate is largest at θ=0\theta=0 (red, towards the peak), most negative at θ=π\theta=\pi (green), and zero at θ=π/2\theta=\pi/2 (blue), along the level curve through a\boldsymbol{a}. So the gradient is perpendicular to that level curve.

The factor cos⁡θ\cos\theta is the Cauchy-Schwarz inequality at work: ∣∇f(a)⊤u∣≤∥∇f(a)∥|\boldsymbol{\nabla} f(\boldsymbol{a})^{\top}\boldsymbol{u}|\le\|\boldsymbol{\nabla} f(\boldsymbol{a})\| for every unit vector u\boldsymbol{u}, with equality exactly when u=±∇f(a)/∥∇f(a)∥\boldsymbol{u}=\pm\boldsymbol{\nabla} f(\boldsymbol{a})/\|\boldsymbol{\nabla} f(\boldsymbol{a})\|. Both hypotheses matter. Differentiability makes every directional derivative equal to ∇f(a)⊤u\boldsymbol{\nabla} f(\boldsymbol{a})^{\top}\boldsymbol{u}; partial derivatives alone do not: for f(x,y)=x2y/(x2+y2)f(x,y)=x^2y/(x^2+y^2) with f(0,0)=0f(0,0)=0, both partial derivatives at the origin are 00, yet the rate along (1,1)/2(1,1)/\sqrt{2} is 1/(22)1/(2\sqrt{2}). And if ∇f(a)=0\boldsymbol{\nabla} f(\boldsymbol{a})=\boldsymbol{0}, there is nothing to normalize and no preferred direction.

A common slip is to use the gradient itself as the direction: ∇f(a)⊤∇f(a)=∥∇f(a)∥2\boldsymbol{\nabla} f(\boldsymbol{a})^{\top}\boldsymbol{\nabla} f(\boldsymbol{a})=\|\boldsymbol{\nabla} f(\boldsymbol{a})\|^2 is not the steepest rate, because directional derivatives are taken along unit vectors. The same reasoning returns later in the course: at an interior local maximum no direction may give a positive rate, which forces ∇f=0\boldsymbol{\nabla} f=\boldsymbol{0} (unconstrained extrema conditions).


Key Results

  • The result follows from the Cauchy-Schwarz inequality.
  • The direction of steepest descent is −∇f(a)/∥∇f(a)∥-\boldsymbol{\nabla} f(\boldsymbol{a})/\|\boldsymbol{\nabla} f(\boldsymbol{a})\|.
  • If ∇f(a)=0\boldsymbol{\nabla} f(\boldsymbol{a})=\boldsymbol{0}, then every directional derivative is zero and there is no unique steepest direction from first-order information.

Examples

  • For f(x,y)=x2+y2f(x,y)=x^2+y^2 at (1,2)(1,2), ∇f=(2,4)\boldsymbol{\nabla} f=(2,4), so the steepest ascent direction is (1,2)/5(1,2)/\sqrt{5}.
  • For f(x,y)=3x−yf(x,y)=3x-y at any point, ∇f=(3,−1)\boldsymbol{\nabla} f=(3,-1), so the steepest ascent direction is (3,−1)/10(3,-1)/\sqrt{10}.

Prerequisites

Sources

Aliases: direction of steepest ascent, steepest direction Keywords: maximum directional derivative Symbols: nabla gradient, pi, real numbers, square root, subset, theta

Last updated: 27 October 2026 11:52