TheoremBase

The Laplacian of a Twice Continuously Differentiable Function

Defines the Laplacian of a twice continuously differentiable function on a Euclidean open set as the sum of its unmixed second partial derivatives.

Statement

We work in the setting of Differential Calculus and Convexity on Euclidean Open Sets: Standing Notation, used here with a natural number nn satisfying 1≤n1\le n. From it we take the partial derivatives ∂i\partial_{i}, the iterated partial derivatives and the classes CkC^{k} on a Euclidean open set, together with the real numbers R\mathbb{R} and the initial segments [n][n]. A finite sum of real numbers is that of Finite Sum Notation in a Field.

Let U⊆RnU\subseteq\mathbb{R}^{n} be open and let u:U→Ru:U\to\mathbb{R} be of class C2C^{2} on UU. By that definition, for every i∈[n]i\in[n] the iterated partial derivative ∂i∂iu\partial_{i}\partial_{i}u exists at every point of UU, so that ∂1∂1u(x),…,∂n∂nu(x)\partial_{1}\partial_{1}u(x),\dots,\partial_{n}\partial_{n}u(x) are real numbers for every x∈Ux\in U.

1. (The Laplacian) The Laplacian of uu is the map Δu:U→R\Delta u:U\to\mathbb{R} whose value at x∈Ux\in U is the finite sum

Δu(x)=∑i=1n∂i∂iu(x).\Delta u(x)=\sum_{i=1}^{n}\partial_{i}\partial_{i}u(x).

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…