Maths

mathsmathematicsengineering

A reminder to myself of some useful mathematical tools.

Fourier Transform

The Fourier transform allows us to move between the temporal domain and the frequency domain:

F(ω)=∫−∞∞f(t)e−iωt dtF(\omega) = \int_{-\infty}^{\infty} f(t)e^{-i\omega t}\,dt

The problem is that the Fourier transform is only defined for functions that are sufficiently integrable over [−∞,∞][-\infty,\infty].

For example, consider:

x(t)=etx(t)=e^t

Its Fourier transform would involve:

∫−∞∞ete−iωt dt=∫−∞∞e(−iω+1)t dt\int_{-\infty}^{\infty} e^t e^{-i\omega t}\,dt = \int_{-\infty}^{\infty} e^{(-i\omega+1)t}\,dt

However, this integral does not converge because:

Re⁡(1−iω)=1>0\operatorname{Re}(1-i\omega)=1>0

Laplace Transform

The Laplace transform generalizes the Fourier transform by introducing a complex variable ss:

F(s)=∫−∞∞f(t)e−st dtF(s) = \int_{-\infty}^{\infty} f(t)e^{-st}\,dt

with:

s=σ+iωs=\sigma+i\omega

This allows us to integrate a broader class of functions, including functions bounded by exponentials:

∣f(t)∣≤Aeαt,(A,α)∈R|f(t)| \leq Ae^{\alpha t}, \qquad (A,\alpha)\in\mathbb{R}

provided that:

α<σ\alpha < \sigma

Convolution

The convolution of two functions ff and gg is defined as:

(f∗g)(t)=∫−∞∞f(τ)g(t−τ) dτ(f*g)(t) = \int_{-\infty}^{\infty} f(\tau)g(t-\tau)\,d\tau

An important property of the Laplace transform is that convolution in the time domain becomes multiplication in the Laplace domain:

L(f∗g)(s)=F(s)G(s)L(f*g)(s)=F(s)G(s)

Vector Calculus

Nabla operator

The nabla operator is defined as:

∇⃗=(∂∂x∂∂y∂∂z)\vec{\nabla} = \begin{pmatrix} \frac{\partial}{\partial x}\\ \frac{\partial}{\partial y}\\ \frac{\partial}{\partial z} \end{pmatrix}

Divergence

The divergence applies the nabla operator to a vector field:

∇⃗⋅F⃗=(∂∂x∂∂y∂∂z)⋅(FxFyFz)\vec{\nabla}\cdot\vec{F} = \begin{pmatrix} \frac{\partial}{\partial x}\\ \frac{\partial}{\partial y}\\ \frac{\partial}{\partial z} \end{pmatrix} \cdot \begin{pmatrix} F_x\\ F_y\\ F_z \end{pmatrix}

which gives:

∇⃗⋅F⃗=∂Fx∂x+∂Fy∂y+∂Fz∂z\vec{\nabla}\cdot\vec{F} = \frac{\partial F_x}{\partial x} + \frac{\partial F_y}{\partial y} + \frac{\partial F_z}{\partial z}

The divergence therefore maps a vector field to a scalar field:

E→CE \rightarrow C

Gradient

The nabla operator can also be applied to a scalar field ff:

∇⃗f=(∂∂x∂∂y∂∂z)f\vec{\nabla}f = \begin{pmatrix} \frac{\partial}{\partial x}\\ \frac{\partial}{\partial y}\\ \frac{\partial}{\partial z} \end{pmatrix} f

giving:

∇⃗f=(∂f∂x∂f∂y∂f∂z)\vec{\nabla}f = \begin{pmatrix} \frac{\partial f}{\partial x}\\ \frac{\partial f}{\partial y}\\ \frac{\partial f}{\partial z} \end{pmatrix}

The gradient therefore maps a scalar field to a vector field:

C→EC \rightarrow E

Curl

The curl of a vector field F⃗\vec{F} is:

∇⃗×F⃗=(∂Fz∂y−∂Fy∂z∂Fx∂z−∂Fz∂x∂Fy∂x−∂Fx∂y)\vec{\nabla}\times\vec{F} = \begin{pmatrix} \frac{\partial F_z}{\partial y} - \frac{\partial F_y}{\partial z} \\ \frac{\partial F_x}{\partial z} - \frac{\partial F_z}{\partial x} \\ \frac{\partial F_y}{\partial x} - \frac{\partial F_x}{\partial y} \end{pmatrix}

The curl describes the local rotational behavior of a vector field.

Green–Ostrogradsky Theorem

The Green–Ostrogradsky theorem, also known as the divergence theorem, relates the divergence of a vector field over a volume to its flux through the boundary surface:

∫V∇⃗⋅F⃗ dV=∫SF⃗⋅n⃗ dS\int_V \vec{\nabla}\cdot\vec{F}\,dV = \int_S \vec{F}\cdot\vec{n}\,dS

where n⃗\vec{n} is the outward-pointing normal vector to the surface SS.