TheoremBase

Constants, Sums, Scalar Multiples and Differences of Differentiable Functions on an Open Subset of a Real Inner Product Space

Constant functions are of class C2C^2 with vanishing gradient and Hessian, and differentiability, second derivatives and the classes C1C^1 and C2C^2 are preserved by sums, scalar multiples and differences, the gradient and the Hessian depending linearly on the function.

Statement

In the setting of Real Hilbert Spaces: Standing Notation and Background, let EE be a real inner product space, with its inner product ⟨⋅,⋅⟩\langle\cdot,\cdot\rangle, norm ∣⋅∣|\cdot|, distance dd and zero vector 0E0_{E} as fixed there, and let Sym(E)\mathrm{Sym}(E) be the set of bounded symmetric bilinear forms on EE, with the sums and scalar multiples of forms and the zero form 0Sym0_{\mathrm{Sym}} fixed there. Let U⊆EU\subseteq E be open in (E,d)(E,d). That a function U→RU\to\mathbb{R} is differentiable at a point of UU or differentiable on UU, its gradient, that a form is a second derivative at a point, the Hessian, and the classes C1(U)C^{1}(U) and C2(U)C^{2}(U), are as defined there.

For u,v:U→Ru,v:U\to\mathbb{R} and λ∈R\lambda\in\mathbb{R} let u+vu+v, λu\lambda u and u−vu-v denote the functions from UU to R\mathbb{R} whose values at x∈Ux\in U are u(x)+v(x)u(x)+v(x), λ u(x)\lambda\,u(x) and u(x)−v(x)u(x)-v(x); nothing is asserted about them beyond this reading of the symbols. Then the following hold.

1. (Constants) For every c∈Rc\in\mathbb{R} the function U→RU\to\mathbb{R} with constant value cc belongs to C2(U)C^{2}(U), and its gradient and Hessian at every x∈Ux\in U are 0E0_{E} and 0Sym0_{\mathrm{Sym}}.

2. (Sums) Let u,v:U→Ru,v:U\to\mathbb{R} and let x∈Ux\in U. If uu and vv are differentiable at xx, then u+vu+v is differentiable at xx and

D(u+v)(x)=Du(x)+Dv(x).D(u+v)(x)=Du(x)+Dv(x).

If in addition uu and vv have second derivatives at xx, then u+vu+v has the second derivative D2u(x)+D2v(x)D^{2}u(x)+D^{2}v(x) at xx. If u,v∈C1(U)u,v\in C^{1}(U) then u+v∈C1(U)u+v\in C^{1}(U), and if u,v∈C2(U)u,v\in C^{2}(U) then u+v∈C2(U)u+v\in C^{2}(U).

3. (Scalar multiples) Let u:U→Ru:U\to\mathbb{R}, let λ∈R\lambda\in\mathbb{R} and let x∈Ux\in U. If uu is differentiable at xx, then λu\lambda u is differentiable at xx and

D(λu)(x)=λ Du(x).D(\lambda u)(x)=\lambda\,Du(x).

If in addition uu has a second derivative at xx, then λu\lambda u has the second derivative λ D2u(x)\lambda\,D^{2}u(x) at xx. If u∈C1(U)u\in C^{1}(U) then λu∈C1(U)\lambda u\in C^{1}(U), and if u∈C2(U)u\in C^{2}(U) then λu∈C2(U)\lambda u\in C^{2}(U).

4. (Differences) Let u,v:U→Ru,v:U\to\mathbb{R} and let x∈Ux\in U. If uu and vv are differentiable at xx, then u−vu-v is differentiable at xx and

D(u−v)(x)=Du(x)−Dv(x).D(u-v)(x)=Du(x)-Dv(x).

If in addition uu and vv have second derivatives at xx, then u−vu-v has the second derivative D2u(x)−D2v(x)D^{2}u(x)-D^{2}v(x) at xx. If u,v∈C1(U)u,v\in C^{1}(U) then u−v∈C1(U)u-v\in C^{1}(U), and if u,v∈C2(U)u,v\in C^{2}(U) then u−v∈C2(U)u-v\in C^{2}(U).

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…