TheoremBase

Bounded Twice Continuously Differentiable Functions with Bounded First and Second Partial Derivatives on Euclidean Space

Defines the set of twice continuously differentiable real functions on Euclidean space that are bounded together with all their first and second partial derivatives.

Statement

Adopt Differential Calculus and Convexity on Euclidean Open Sets: Standing Notation and fix a dimension qq. The set Rq\mathbb{R}^{q} is open by claim 1 of Euclidean Space is Open in Itself, and CkC^k Maps are Continuous; the classes C1C^{1} and C2C^{2} on Rq\mathbb{R}^{q}, the partial derivatives ∂iψ\partial_{i}\psi and the iterated partial derivatives ∂j∂iψ\partial_{j}\partial_{i}\psi are those of Differential Calculus and Convexity on Euclidean Open Sets: Standing Notation §derivatives, and a real-valued function is bounded as defined there.

(Bounded C2C^{2} functions) Cb2(Rq)C^{2}_{b}(\mathbb{R}^{q}) is the set of the functions ψ:Rq→R\psi:\mathbb{R}^{q}\to\mathbb{R} of class C2C^{2} on Rq\mathbb{R}^{q} such that ψ\psi, ∂iψ\partial_{i}\psi and ∂j∂iψ\partial_{j}\partial_{i}\psi are bounded for all i,j∈[q]i,j\in[q]; for such ψ\psi these partial derivatives exist at every point of Rq\mathbb{R}^{q} by clauses 1, 2 and 4 of C^k Maps on a Euclidean Open Set, read through its clause 3.

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…