PhyslibSearch

Physlib.SpaceAndTime.Space.Derivatives.Laplacian

5 declarations

definition

Scalar Laplacian operator Δ\Delta

#laplacian

The scalar Laplacian operator Δ\Delta maps a function f:Space dRf: \text{Space } d \to \mathbb{R} to another function Δf:Space dR\Delta f: \text{Space } d \to \mathbb{R}. It is defined as the sum of the second partial derivatives of ff with respect to each coordinate: \[ (\Delta f)(x) = \sum_{i=0}^{d-1} \frac{\partial^2 f}{\partial x_i^2}(x) \] where 2fxi2\frac{\partial^2 f}{\partial x_i^2} (or iif\partial_i \partial_i f) denotes the second-order spatial derivative in the direction of the ii-th standard basis vector.

definition

Notation for the Laplacian operator Δ\Delta

#termΔ

The symbol Δ\Delta is defined as the notation for the Laplacian operator `laplacian`, which maps a scalar function f:Space dRf: \text{Space } d \to \mathbb{R} to another function Δf:Space dR\Delta f: \text{Space } d \to \mathbb{R}.

theorem

Δf=f\Delta f = \nabla \cdot \nabla f

#laplacian_eq_div_of_grad

For any scalar-valued function f:Space dRf: \text{Space } d \to \mathbb{R}, the Laplacian of ff is equal to the divergence of its gradient, which is expressed as Δf=(f)\Delta f = \nabla \cdot (\nabla f) (or simply Δf=f\Delta f = \nabla \cdot \nabla f).

definition

Vector Laplacian operator Δ\Delta

#laplacianVec

The vector Laplacian operator Δ\Delta maps a vector-valued function f:Space dRd\mathbf{f}: \text{Space } d \to \mathbb{R}^d to another vector-valued function Δf:Space dRd\Delta \mathbf{f}: \text{Space } d \to \mathbb{R}^d. For a vector field f\mathbf{f} with components (f0,f1,,fd1)(f_0, f_1, \dots, f_{d-1}), the operator is defined component-wise as the scalar Laplacian Δ\Delta applied to each coordinate function: \[ (\Delta \mathbf{f})(x) = (\Delta f_0(x), \Delta f_1(x), \dots, \Delta f_{d-1}(x)) \] where Δfi\Delta f_i is the scalar Laplacian of the ii-th component of f\mathbf{f}.

definition

Notation Δ\Delta for the vector Laplacian operator

#termΔ_1

The notation Δ\Delta denotes the vector Laplacian operator acting on vector-valued functions f:Space dRdf: \text{Space } d \to \mathbb{R}^d (represented as elements of a Euclidean space).