Maths January 1, 2024 maths mathematics engineering
A reminder to myself of some useful mathematical tools.
The Fourier transform allows us to move between the temporal domain and the frequency domain :
F ( ω ) = ∫ − ∞ ∞ f ( t ) e − i ω t d t F(\omega) = \int_{-\infty}^{\infty} f(t)e^{-i\omega t}\,dt F ( ω ) = ∫ − ∞ ∞ f ( t ) e − iω t d t
The problem is that the Fourier transform is only defined for functions that are sufficiently integrable over [ − ∞ , ∞ ] [-\infty,\infty] [ − ∞ , ∞ ] .
For example, consider:
x ( t ) = e t x(t)=e^t x ( t ) = e t
Its Fourier transform would involve:
∫ − ∞ ∞ e t e − i ω t d t = ∫ − ∞ ∞ e ( − i ω + 1 ) t d t \int_{-\infty}^{\infty} e^t e^{-i\omega t}\,dt
=
\int_{-\infty}^{\infty} e^{(-i\omega+1)t}\,dt ∫ − ∞ ∞ e t e − iω t d t = ∫ − ∞ ∞ e ( − iω + 1 ) t d t
However, this integral does not converge because:
Re ( 1 − i ω ) = 1 > 0 \operatorname{Re}(1-i\omega)=1>0 Re ( 1 − iω ) = 1 > 0
The Laplace transform generalizes the Fourier transform by introducing a complex variable s s s :
F ( s ) = ∫ − ∞ ∞ f ( t ) e − s t d t F(s) = \int_{-\infty}^{\infty} f(t)e^{-st}\,dt F ( s ) = ∫ − ∞ ∞ f ( t ) e − s t d t
with:
s = σ + i ω s=\sigma+i\omega s = σ + iω
This allows us to integrate a broader class of functions, including functions bounded by exponentials:
∣ f ( t ) ∣ ≤ A e α t , ( A , α ) ∈ R |f(t)| \leq Ae^{\alpha t},
\qquad
(A,\alpha)\in\mathbb{R} ∣ f ( t ) ∣ ≤ A e α t , ( A , α ) ∈ R
provided that:
α < σ \alpha < \sigma α < σ
Convolution
The convolution of two functions f f f and g g g is defined as:
( f ∗ g ) ( t ) = ∫ − ∞ ∞ f ( τ ) g ( t − τ ) d τ (f*g)(t)
=
\int_{-\infty}^{\infty}
f(\tau)g(t-\tau)\,d\tau ( f ∗ g ) ( t ) = ∫ − ∞ ∞ f ( τ ) g ( t − τ ) d τ
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) 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} ∇ = ∂ x ∂ ∂ y ∂ ∂ z ∂
Divergence
The divergence applies the nabla operator to a vector field:
∇ ⃗ ⋅ F ⃗ = ( ∂ ∂ x ∂ ∂ y ∂ ∂ z ) ⋅ ( F x F y F z ) \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} ∇ ⋅ F = ∂ x ∂ ∂ y ∂ ∂ z ∂ ⋅ F x F y F z
which gives:
∇ ⃗ ⋅ F ⃗ = ∂ F x ∂ x + ∂ F y ∂ y + ∂ F z ∂ z \vec{\nabla}\cdot\vec{F}
=
\frac{\partial F_x}{\partial x}
+
\frac{\partial F_y}{\partial y}
+
\frac{\partial F_z}{\partial z} ∇ ⋅ F = ∂ x ∂ F x + ∂ y ∂ F y + ∂ z ∂ F z
The divergence therefore maps a vector field to a scalar field :
E → C E \rightarrow C E → C
Gradient
The nabla operator can also be applied to a scalar field f f f :
∇ ⃗ 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 ∇ f = ∂ x ∂ ∂ y ∂ ∂ z ∂ 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} ∇ f = ∂ x ∂ f ∂ y ∂ f ∂ z ∂ f
The gradient therefore maps a scalar field to a vector field :
C → E C \rightarrow E C → E
Curl
The curl of a vector field F ⃗ \vec{F} F is:
∇ ⃗ × F ⃗ = ( ∂ F z ∂ y − ∂ F y ∂ z ∂ F x ∂ z − ∂ F z ∂ x ∂ F y ∂ x − ∂ F x ∂ 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} ∇ × F = ∂ y ∂ F z − ∂ z ∂ F y ∂ z ∂ F x − ∂ x ∂ F z ∂ x ∂ F y − ∂ y ∂ F x
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 ⃗ d V = ∫ S F ⃗ ⋅ n ⃗ d S \int_V \vec{\nabla}\cdot\vec{F}\,dV
=
\int_S \vec{F}\cdot\vec{n}\,dS ∫ V ∇ ⋅ F d V = ∫ S F ⋅ n d S
where n ⃗ \vec{n} n is the outward-pointing normal vector to the surface S S S .