Constants, Sums, Scalar Multiples and Differences of Differentiable Functions on an Open Subset of a Real Inner Product Space
lemmaAnalysislem:c2-algebra-hilbert-2026aConstant functions are of class with vanishing gradient and Hessian, and differentiability, second derivatives and the classes and are preserved by sums, scalar multiples and differences, the gradient and the Hessian depending linearly on the function.
In the setting of Real Hilbert Spaces: Standing Notation and Background, let be a real inner product space, with its inner product , norm , distance and zero vector as fixed there, and let be the set of bounded symmetric bilinear forms on , with the sums and scalar multiples of forms and the zero form fixed there. Let be open in . That a function is differentiable at a point of or differentiable on , its gradient, that a form is a second derivative at a point, the Hessian, and the classes and , are as defined there.
For and let , and denote the functions from to whose values at are , and ; nothing is asserted about them beyond this reading of the symbols. Then the following hold.
1. (Constants)¶ For every the function with constant value belongs to , and its gradient and Hessian at every are and .
2. (Sums)¶ Let and let . If and are differentiable at , then is differentiable at and
If in addition and have second derivatives at , then has the second derivative at . If then , and if then .
3. (Scalar multiples)¶ Let , let and let . If is differentiable at , then is differentiable at and
If in addition has a second derivative at , then has the second derivative at . If then , and if then .
4. (Differences)¶ Let and let . If and are differentiable at , then is differentiable at and
If in addition and have second derivatives at , then has the second derivative at . If then , and if then .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.