Physlib

Physlib.SpaceAndTime.Space.Derivatives.Laplacian

The Laplacian operator on `Space d`

i. Overview

In this module we define the Laplacian operator on functions and vector-valued functions defined on `Space d`.

ii. Key results

  • `laplacian` : The Laplacian operator on scalar functions on `Space d`.
  • `laplacianVec` : The Laplacian operator on vector-valued functions on `Space d`.

iii. Table of contents

- A. Laplacian on functions to ℝ - A.1. Relation between laplacian and divergence of gradient - B. Laplacian on vector valued functions

iv. References

A. Laplacian on functions to ℝ

A.1. Relation between laplacian and divergence of gradient

B. Laplacian on vector valued functions

5 declarations

definition

Scalar Laplacian operator Δ\Delta

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: (Δf)(x)=i=0d12fxi2(x) (\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

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

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

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: (Δf)(x)=(Δf0(x),Δf1(x),,Δfd1(x)) (\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

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).