TheoremBase

Derivatives of the Slice of a Function Along a Line

Statement

Let n≥1n\ge1 be a natural number, let R\mathbb{R} be the real numbers, and let UU be an open subset of Euclidean space Rn\mathbb{R}^n. Write z⋅z′z\cdot z' for the dot product of points of Rn\mathbb{R}^n and AvAv for the matrix-vector product.

Let f:U→Rf:U\to\mathbb{R} be of class C1C^1 on UU (via clause 3 there), and write ∂if\partial_i f for its partial derivative with respect to the iith variable.

Let p=(p1,…,pn)p=(p_1,\dots,p_n) and h=(h1,…,hn)h=(h_1,\dots,h_n) be points of Rn\mathbb{R}^n, and for t∈Rt\in\mathbb{R} write p+t hp+t\,h for the point of Rn\mathbb{R}^n whose kkth coordinate is pk+t hkp_k+t\,h_k for k∈{1,…,n}k\in\{1,\dots,n\}. Let J⊆RJ\subseteq\mathbb{R} be an interval with p+t h∈Up+t\,h\in U for every t∈Jt\in J, and let g:J→Rg:J\to\mathbb{R} be the slice given by

g(t)=f(p+t h).g(t)=f(p+t\,h).

Let t0t_0 be an interior point of JJ and write x0=p+t0 hx_0=p+t_0\,h. Derivatives of real functions are those of the one-dimensional derivative at an interior point, well defined by Uniqueness of the Derivative at an Interior Point.

Then the following hold.

1. (First derivative) gg is differentiable at t0t_0 and, with the gradient Df(x0)Df(x_0),

g′(t0)=∑i=1n∂if(x0) hi=h⋅Df(x0).g'(t_0)=\sum_{i=1}^{n}\partial_i f(x_0)\,h_i=h\cdot Df(x_0).

2. (Second derivative) Suppose in addition that ff is of class C2C^2 on UU, and let g1:J→Rg_1:J\to\mathbb{R} be given by

g1(t)=∑i=1n∂if(p+t h) hi,g_1(t)=\sum_{i=1}^{n}\partial_i f(p+t\,h)\,h_i ,

so that by claim 1 the value g1(t)g_1(t) is g′(t)g'(t) at every interior point tt of JJ. Then g1g_1 is differentiable at t0t_0 and, with the Hessian matrix D2f(x0)D^2f(x_0),

g1′(t0)=h⋅(D2f(x0) h).g_1'(t_0)=h\cdot\bigl(D^2f(x_0)\,h\bigr).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…