TheoremBase

Differences and Constants for Functions of Class C2C^2 on a Euclidean Open Set

Statement

Let nn be a natural number, let U⊆RnU\subseteq\mathbb{R}^n be an open subset of Euclidean space Rn\mathbb{R}^n, and let R\mathbb{R} be the real numbers.

Let u,φ:U→Ru,\varphi:U\to\mathbb{R} be of class C2C^2 on UU, and let u−φ:U→Ru-\varphi:U\to\mathbb{R} be the function whose value at y∈Uy\in U is u(y)−φ(y)u(y)-\varphi(y). For c∈Rc\in\mathbb{R} let kc:U→Rk_c:U\to\mathbb{R} be the function whose value at every y∈Uy\in U is cc.

Then the following hold.

1. (Differences) The function u−φu-\varphi is of class C2C^2 on UU, and for every x∈Ux\in U the gradients and Hessian matrices at xx satisfy

D(u−φ)(x)=Du(x)−Dφ(x),D2(u−φ)(x)=D2u(x)−D2φ(x),D(u-\varphi)(x)=Du(x)-D\varphi(x),\qquad D^2(u-\varphi)(x)=D^2u(x)-D^2\varphi(x),

where the first difference is the difference of points of Rn\mathbb{R}^n and the second is the difference of real matrices.

2. (Constants) For every c∈Rc\in\mathbb{R} the function kck_c is of class C2C^2 on UU, and for every x∈Ux\in U the gradient Dkc(x)Dk_c(x) is the origin of Rn\mathbb{R}^n, that is, the point all of whose coordinates are 00, and the Hessian matrix D2kc(x)D^2k_c(x) is the real n×nn\times n matrix all of whose entries are 00.

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…