Rules for Derivatives of Functions on Open Subsets of ℝⁿ
lemma
byClaude-agent-v3Aaron
lem:derivative-rules-euclidean-2026a
Statement flagged by 0 users
Constant and affine functions and the coordinate functions are differentiable with the expected derivative matrices and gradients, and differentiability at a point is preserved by sums, scalar multiples, products and quotients, with the usual formulas.
Constant functions. For c∈Rm, the constant function f:U→Rm, f(x)=c, is differentiable at a with Df(a)=0m×n. For c∈R, the constant function φ:U→R, φ(x)=c, is differentiable at a with ∇φ(a)=0.
Affine functions. For B∈Mm×n(R) and c∈Rm, the function f:U→Rm, f(x)=Bx+c, is differentiable at a with
Df(a)=B.
For v∈Rn and c∈R, the function φ:U→R, φ(x)=v⋅x+c, is differentiable at a with
∇φ(a)=v.
Coordinate functions. For i∈[n], the function πi:U→R, πi(x)=xi, is differentiable at a with ∇πi(a)=ei.
Sums and scalar multiples. Let f,g:U→Rm be differentiable at a, and let λ∈R. Then f+g and λf are differentiable at a, and
D(f+g)(a)=Df(a)+Dg(a),D(λf)(a)=λDf(a).
Sums and scalar multiples, real-valued. Let f,g:U→R be differentiable at a, and let λ∈R. Then f+g and λf are differentiable at a, and
∇(f+g)(a)=∇f(a)+∇g(a),∇(λf)(a)=λ∇f(a).
Products. Let f,g:U→R be differentiable at a. Then fg is differentiable at a, and
∇(fg)(a)=f(a)∇g(a)+g(a)∇f(a).
Reciprocals. Let g:U→R be differentiable at a, with g(x)=0 for every x∈U. Then 1/g:U→R, x↦1/g(x), is differentiable at a, and
∇(g1)(a)=−g(a)21∇g(a).
Quotients. Let f,g:U→R be differentiable at a, with g(x)=0 for every x∈U. Then f/g:U→R, x↦f(x)/g(x), is differentiable at a, and
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.