Laplace transform - Core Foundations
Understand the definition, key properties, and practical uses of the Laplace transform, including its variants, inversion methods, and convergence criteria.
Summary
Read Summary
Flashcards
Save Flashcards
Quiz
Take Quiz
Quick Practice
What is the general purpose of the Laplace transform regarding functions of a real variable $t$?
1 of 22
Summary
Introduction to the Laplace Transform
The Laplace transform is one of the most powerful tools in engineering and applied mathematics. It converts problems that seem difficult in the time domain—particularly differential equations—into simpler algebraic problems that we can solve more easily. The key insight is that the Laplace transform changes calculus operations (differentiation and integration) into simple algebraic operations (multiplication and division). This fundamental property makes it invaluable for analyzing control systems, circuits, and many other applications.
Definition and Core Idea
The Laplace transform converts a function $f(t)$ defined for $t \geq 0$ into a new function $F(s)$ using the formula:
$$F(s) = \int{0}^{\infty} f(t) e^{-st} \, dt$$
Here, $t$ represents time (or another real non-negative variable), and $s$ is a complex-valued parameter that we call the complex frequency or simply the frequency-domain variable. We often denote this operation using the notation $\mathcal{L}\{f(t)\} = F(s)$ or write $f(t) \leftrightarrow F(s)$.
The exponential term $e^{-st}$ is the heart of the transformation. When $s$ is complex, say $s = \sigma + i\omega$ where $\sigma$ is the real part and $\omega$ is the imaginary part, this exponential does two things: it dampens the function $f(t)$ (through the $e^{-\sigma t}$ factor) and it oscillates at frequency $\omega$ (through the $e^{-i\omega t}$ factor).
Notation and Terminology
Throughout this material, we'll use a consistent notation:
Time-domain function: denoted by lowercase letters, such as $f(t)$, $g(t)$, or $y(t)$
Laplace transform: denoted by the corresponding uppercase letter, such as $F(s)$, $G(s)$, or $Y(s)$
This notation helps you quickly identify whether you're working in the time domain or the frequency domain.
Why Use the Laplace Transform?
The Laplace transform is useful for three main reasons:
1. Converting Differential Equations to Algebraic Equations
When you apply the Laplace transform to a differential equation, derivatives and integrals become algebraic operations. For example, differentiation in the time domain becomes multiplication by $s$ in the Laplace domain. This means that solving a differential equation—which requires integration—becomes solving a polynomial equation—which is often much simpler.
2. Incorporating Initial Conditions Automatically
When you transform a differential equation, the initial values of the function appear naturally in the algebraic equation. You don't need to solve the equation first and then apply initial conditions separately; they're built into the problem from the start.
3. Working with Discontinuous and Impulsive Functions
The Laplace transform handles functions with jumps (like step functions) and even impulses (like the Dirac delta function) in a clean, systematic way.
The Unilateral Laplace Transform
In most practical applications, we use the unilateral (or one-sided) Laplace transform, which is defined for functions $f(t)$ with $t \geq 0$:
$$F(s) = \int{0}^{\infty} f(t) e^{-st} \, dt$$
We use this version because:
We typically care about system behavior starting from some initial time (which we set as $t = 0$)
It naturally incorporates initial conditions at $t = 0$
It's the standard form in engineering applications
The lower limit of integration is $0$, not $0^-$ (just before zero). This distinction matters when there are discontinuities or impulses at $t = 0$, which is another reason the Laplace transform is so useful.
<extrainfo>
The Bilateral Laplace Transform
For completeness, there's also a bilateral (or two-sided) Laplace transform that extends the integration over the entire real line:
$$F(s) = \int{-\infty}^{\infty} f(t) e^{-st} \, dt$$
The unilateral transform is actually a special case of the bilateral transform: you can obtain it by multiplying $f(t)$ by the Heaviside step function $u(t)$ (which equals 0 for $t < 0$ and 1 for $t \geq 0$) before applying the bilateral definition. The bilateral transform is less commonly used in engineering but appears in more theoretical contexts.
</extrainfo>
The Inverse Laplace Transform
Just as important as the forward transform is the ability to go backward—to recover $f(t)$ from $F(s)$. This is called the inverse Laplace transform.
The inverse transform is given by the Bromwich integral:
$$f(t) = \frac{1}{2\pi i} \int{\gamma - i\infty}^{\gamma + i\infty} F(s) e^{st} \, ds$$
In this formula, $\gamma$ is a real number chosen so that the vertical line $\operatorname{Re}(s) = \gamma$ lies to the right of all singularities (poles) of $F(s)$. This is a contour integral in the complex plane.
While this formula is theoretically important, in practice you rarely need to compute it directly. Instead, you'll use:
Tables of standard transforms (which contain transform pairs you'll memorize)
Partial fraction decomposition to break $F(s)$ into pieces whose inverses you already know
For practical problem-solving, these two tools will handle the vast majority of cases you encounter.
Region of Convergence
Not every function can be Laplace transformed, and not every value of $s$ makes the integral converge. Understanding where and when the transform exists is important.
When Does the Laplace Transform Exist?
The integral $\int{0}^{\infty} f(t) e^{-st} \, dt$ converges if:
The function is locally integrable on $[0, \infty)$. This is a technical condition meaning the function isn't too wild or discontinuous.
The function has exponential growth or slower. Specifically, if $|f(t)| \leq M e^{\alpha t}$ for some constants $M$ and $\alpha$ and all sufficiently large $t$, then the transform exists. Here $\alpha$ determines how fast the function can grow.
The second condition is the practical one: the function $f(t)$ cannot grow faster than an exponential. Most functions you encounter in applications satisfy this.
The Region of Convergence (ROC)
For functions that satisfy the above conditions, the integral converges absolutely in a half-plane of the complex $s$-plane:
$$\operatorname{Re}(s) > a$$
where $a$ is called the abscissa of absolute convergence. This value $a$ depends on the growth rate of $f(t)$:
If $f(t)$ grows like $e^{\alpha t}$, then $a = \alpha$
If $f(t)$ decays (like $e^{-\alpha t}$ with $\alpha > 0$), then $a < 0$
If $f(t)$ is bounded, then $a \leq 0$
Key insight: The ROC is always a right half-plane. It looks like a vertical line in the complex plane with all points to the right of that line included.
On the boundary line $\operatorname{Re}(s) = a$, convergence may or may not occur. For our purposes, the important fact is that within the half-plane $\operatorname{Re}(s) > a$, the integral converges absolutely and the transform is well-defined.
Key Properties and Theorems
The Initial Value Theorem
The initial value theorem lets you find the initial behavior of $f(t)$ directly from its Laplace transform without inverting:
$$\lim{t \to 0^{+}} f(t) = \lim{s \to \infty} s \cdot F(s)$$
This is useful when you want to check that your transform makes sense—you can verify that the initial value matches what you expect.
The Final Value Theorem
The final value theorem tells you what happens to $f(t)$ as $t \to \infty$:
$$\lim{t \to \infty} f(t) = \lim{s \to 0^{+}} s \cdot F(s)$$
Important caveat: This theorem only works if the limit on the right actually exists and if all poles of $s \cdot F(s)$ lie strictly in the left half-plane (meaning they all have negative real parts). The second condition is crucial—if there are poles on the imaginary axis or in the right half-plane, the system doesn't settle to a steady state, and the theorem doesn't apply.
The final value theorem is particularly useful in control systems: it tells you the steady-state behavior of the system without solving the full time-domain equation.
Laplace Transform and Differential Equations
Here's where the power of the Laplace transform becomes clear. When you transform a linear ordinary differential equation with constant coefficients, the result is an algebraic equation in $F(s)$.
For example, consider the simple differential equation: $$\frac{df}{dt} + 2f(t) = u(t)$$
with initial condition $f(0) = 0$ and where $u(t)$ is some input function.
Applying the Laplace transform to both sides converts it to: $$s \cdot F(s) + 2F(s) = U(s)$$
where $U(s)$ is the transform of $u(t)$. This is now just algebra: factor out $F(s)$ and solve: $$F(s) = \frac{U(s)}{s + 2}$$
Then apply the inverse transform to get $f(t)$ back. The key transformation rule is that $\mathcal{L}\{\frac{df}{dt}\} = s \cdot F(s) - f(0)$, which automatically incorporates the initial condition.
<extrainfo>
Relationship to the Z-Transform
The Laplace transform has a discrete-time cousin called the Z-transform, used for analyzing discrete-time systems. Just as the Laplace transform works with continuous functions $f(t)$, the Z-transform works with sequences of discrete values. The two are closely related: in some sense, the Z-transform is to discrete systems what the Laplace transform is to continuous systems. However, the Z-transform has its own properties and is used in digital signal processing and discrete control systems.
</extrainfo>
<extrainfo>
The Laplace-Stieltjes Transform
There's a generalization called the Laplace-Stieltjes transform for functions $g(t)$ of bounded variation (roughly, functions with controlled oscillation):
$$\int{0}^{\infty} e^{-st} \, dg(t)$$
If $g(t)$ is differentiable with derivative $f(t)$ (that is, $g'(t) = f(t)$), then this transform equals the ordinary Laplace transform of $f(t)$. This generalization is theoretically important but rarely comes up in standard engineering applications.
</extrainfo>
Stability and the Region of Convergence
One of the most important applications of Laplace transform theory is determining system stability.
For a linear time-invariant system, the impulse response is the output you get when the input is a Dirac delta function $\delta(t)$. If we call this impulse response $h(t)$, then its Laplace transform $H(s)$ is called the transfer function of the system.
Stability condition: A linear time-invariant system is stable if and only if the region of convergence of its transfer function $H(s)$ includes the imaginary axis—that is, the line $\operatorname{Re}(s) = 0$.
Since the ROC is always a right half-plane $\operatorname{Re}(s) > a$, including the imaginary axis means $a < 0$. This is equivalent to saying:
All poles of $H(s)$ must lie strictly in the left half-plane (they must have negative real parts).
This is a fundamental result in control systems: you can determine whether a system is stable by looking at where the poles of its transfer function are located. No need to solve differential equations or simulate the system—just check the pole locations.
Summary
The Laplace transform is a bridge between two worlds:
Time domain: where we write differential equations
Frequency domain: where those equations become algebra
By transforming to the frequency domain, solving algebraically, and then transforming back, we can solve problems that would be difficult in the time domain alone. The region of convergence and the properties of poles tell us important information about system behavior, particularly stability. These ideas form the foundation for analysis and design of control systems, filter design, and countless other engineering applications.
Flashcards
What is the general purpose of the Laplace transform regarding functions of a real variable $t$?
It converts a function of a real non-negative variable $t$ into a function of a complex variable $s$.
What is the mathematical integral definition of the Laplace transform $F(s)$?
$F(s)=\int{0}^{\infty}f(t)e^{-st}dt$
How does the Laplace transform change differentiation and integration from the time domain to the Laplace domain?
It changes them into multiplication and division by the complex parameter $s$.
What is the primary advantage of using the Laplace transform to solve ordinary differential equations?
It allows them to be solved as algebraic polynomial equations.
How are the time-domain function and its Laplace transform usually denoted in notation?
The time-domain function is a lowercase symbol $f(t)$ and the transform is an uppercase symbol $F(s)$.
What is the definition of the unilateral (one-sided) Laplace transform?
$F(s)=\int{0}^{\infty}f(t)e^{-st}dt$ for $t \ge 0$.
What is the definition of the bilateral (two-sided) Laplace transform?
$F(s)=\int{-\infty}^{\infty}f(t)e^{-st}dt$
How can the unilateral Laplace transform be derived as a special case of the bilateral transform?
By multiplying $f(t)$ by the Heaviside step function before applying the bilateral definition.
What integral formula defines the inverse Laplace transform?
The Bromwich integral: $f(t)=\frac{1}{2\pi i}\int{\gamma-i\infty}^{\gamma+i\infty}F(s)e^{st}ds$.
Which specific line must the contour $\operatorname{Re}(s)=\gamma$ lie on for the Bromwich integral?
Inside the region of convergence (to the right of all singularities).
What is the integral definition of the Laplace–Stieltjes transform for a function $g$?
$\int{0}^{\infty}e^{-st}dg(t)$ (where $g$ is of bounded variation).
Under what condition does the Laplace–Stieltjes transform of $g$ coincide with the ordinary Laplace transform of $f$?
When $g$ is the antiderivative of $f$.
What is the relationship between the Laplace transform and the Z-transform?
The Z-transform is the discrete-time analogue of the Laplace transform.
What mathematical expression represents the initial value theorem?
$\lim{t\to 0^{+}} f(t)=\lim{s\to\infty} s F(s)$
What mathematical expression represents the final value theorem?
$\lim{t\to\infty} f(t)=\lim{s\to 0^{+}} s F(s)$
What stability condition must be met for the final value theorem to be valid?
The poles of $s F(s)$ must lie in the left half-plane.
What is a necessary condition for the existence of the Laplace transform of $f(t)$ on $[0,\infty)$?
$f(t)$ must be locally integrable.
What defines the growth condition for a function of 'exponential type' to ensure Laplace convergence?
$|f(t)|\le M e^{\alpha t}$ for some constants $M$ and $\alpha$.
In the complex plane, what shape is the region where the Laplace integral converges absolutely?
A half-plane defined by $\operatorname{Re}(s) > a$.
What does the region of conditional convergence for the Laplace transform include?
All $s$ with $\operatorname{Re}(s) > a$ and potentially points on the boundary line $\operatorname{Re}(s)=a$.
When is a linear time-invariant system considered stable based on its Laplace transform region of convergence (ROC)?
If the ROC includes the line $\operatorname{Re}(s)=0$.
What requirement must the poles of an impulse-response transform meet for system stability?
All poles must have negative real parts.
Quiz
Laplace transform - Core Foundations Quiz Question 1: What integral formula defines the Laplace transform of a function $f(t)$?
- $F(s)=\displaystyle\int_{0}^{\infty} f(t)\,e^{-st}\,dt$ (correct)
- $F(s)=\displaystyle\int_{-\infty}^{\infty} f(t)\,e^{-st}\,dt$
- $F(s)=\displaystyle\int_{0}^{\infty} f(t)\,e^{st}\,dt$
- $F(s)=\displaystyle\int_{0}^{\infty} f'(t)\,e^{-st}\,dt$
Laplace transform - Core Foundations Quiz Question 2: According to the initial value theorem, what limit equals $\displaystyle\lim_{t\to0^{+}}f(t)$?
- $\displaystyle\lim_{s\to\infty} s\,\mathcal{L}\{f\}(s)$ (correct)
- $\displaystyle\lim_{s\to0^{+}} s\,\mathcal{L}\{f\}(s)$
- $\displaystyle\lim_{s\to\infty} \frac{\mathcal{L}\{f\}(s)}{s}$
- $\displaystyle\lim_{s\to\infty} \mathcal{L}\{f\}(s)$
Laplace transform - Core Foundations Quiz Question 3: How is the unilateral (one‑sided) Laplace transform of a function $f(t)$ (for $t\ge 0$) defined?
- $F(s)=\displaystyle\int_{0}^{\infty} f(t)\,e^{-st}\,dt$ (correct)
- $F(s)=\displaystyle\int_{0}^{\infty} f(t)\,e^{st}\,dt$
- $F(s)=\displaystyle\int_{-\infty}^{\infty} f(t)\,e^{-st}\,dt$
- $F(s)=\displaystyle\int_{-\infty}^{\infty} f(t)\,e^{st}\,dt$
Laplace transform - Core Foundations Quiz Question 4: In the Bromwich integral for the inverse Laplace transform, where must the vertical contour line $\operatorname{Re}(s)=\gamma$ be placed?
- To the right of all singularities of $F(s)$ (correct)
- Exactly through the leftmost pole of $F(s)$
- Along the imaginary axis ($\operatorname{Re}(s)=0$)
- At the abscissa of absolute convergence $a$
Laplace transform - Core Foundations Quiz Question 5: How is the $Z$‑transform related to the Laplace transform?
- It is the discrete‑time analogue of the Laplace transform (correct)
- It is the complex conjugate of the Laplace transform
- It is the derivative of the Laplace transform with respect to $s$
- It is the inverse operation of the Laplace transform
Laplace transform - Core Foundations Quiz Question 6: When the Laplace transform is applied to a differential equation, how do the initial values of the unknown function appear in the transformed equation?
- As algebraic terms added to the transformed equation (correct)
- They are eliminated completely
- They become new differential equations in the s‑domain
- They are converted into exponential functions of s
Laplace transform - Core Foundations Quiz Question 7: What is the definition of the Laplace–Stieltjes transform for a function $g(t)$ of bounded variation?
- $\displaystyle\int_{0}^{\infty} e^{-st}\,dg(t)$ (correct)
- $\displaystyle\int_{0}^{\infty} e^{-st}\,g(t)\,dt$
- $\displaystyle\int_{-\infty}^{\infty} e^{-st}\,dg(t)$
- $\displaystyle\int_{0}^{\infty} e^{st}\,dg(t)$
Laplace transform - Core Foundations Quiz Question 8: In the contour integral used for the inverse Laplace transform, which exponential factor multiplies the Laplace transform inside the integrand?
- $e^{st}$ (correct)
- $e^{-st}$
- $s\,e^{st}$
- $\frac{1}{s}\,e^{st}$
Laplace transform - Core Foundations Quiz Question 9: When the Laplace transform is applied, integral equations are converted into what type of equations in the $s$‑domain?
- Algebraic polynomial equations (correct)
- Differential equations
- Integral equations remain unchanged
- Transcendental equations
Laplace transform - Core Foundations Quiz Question 10: What exponential factor appears in the integrand of the Laplace transform definition?
- $e^{-st}$ (correct)
- $e^{st}$
- $e^{-s/t}$
- $e^{s t}$
Laplace transform - Core Foundations Quiz Question 11: What necessary condition must $f(t)$ satisfy on $[0,\infty)$ for its Laplace transform to exist?
- $f(t)$ must be locally integrable on $[0,\infty)$ (correct)
- $f(t)$ must be bounded on $[0,\infty)$
- $f(t)$ must be continuously differentiable on $[0,\infty)$
- $f(t)$ must be of exponential type
Laplace transform - Core Foundations Quiz Question 12: When applying the Laplace transform to a linear ordinary differential equation with constant coefficients, how do the initial conditions appear in the transformed equation?
- As algebraic terms involving the initial values multiplied by powers of s. (correct)
- They disappear entirely from the s‑domain equation.
- They become additional differential operators with respect to s.
- They appear as exponential factors e^{-st} multiplied by the initial values.
Laplace transform - Core Foundations Quiz Question 13: Beyond the half‑plane Re(s) > a, which additional points may belong to the region of conditional convergence?
- Possibly points on the boundary line Re(s) = a. (correct)
- All points where Re(s) < a.
- Only points with zero imaginary part.
- No additional points; only the half‑plane is included.
Laplace transform - Core Foundations Quiz Question 14: In the notation $F(s)$ for the Laplace transform, what does the variable $s$ represent?
- Complex frequency variable (correct)
- Time variable
- Amplitude scaling factor
- Phase angle
Laplace transform - Core Foundations Quiz Question 15: For which region of the complex $s$‑plane does the Laplace integral converge absolutely?
- The half‑plane $\operatorname{Re}(s) > a$ (correct)
- The half‑plane $\operatorname{Re}(s) < a$
- The vertical line $\operatorname{Re}(s)=a$
- The entire complex plane
Laplace transform - Core Foundations Quiz Question 16: Which function is multiplied by $f(t)$ to obtain the unilateral (one‑sided) Laplace transform from the bilateral definition?
- Heaviside step function $u(t)$ (correct)
- Dirac delta $\delta(t)$
- Sign function $\operatorname{sgn}(t)$
- Unit ramp $r(t)$
Laplace transform - Core Foundations Quiz Question 17: For a linear time‑invariant system to be stable, where must all of its poles lie in the $s$‑plane?
- In the left half‑plane (negative real parts) (correct)
- In the right half‑plane (positive real parts)
- On the imaginary axis (zero real part)
- Anywhere as long as the ROC includes $\operatorname{Re}(s)=0$
What integral formula defines the Laplace transform of a function $f(t)$?
1 of 17
Key Concepts
Laplace Transforms
Laplace Transform
Unilateral Laplace Transform
Bilateral Laplace Transform
Laplace–Stieltjes Transform
Inverse and Theorems
Inverse Laplace Transform
Bromwich Integral
Post’s Inversion Formula
Initial Value Theorem (Laplace Transform)
Final Value Theorem (Laplace Transform)
Convergence and Stability
Region of Convergence (Laplace Transform)
Definitions
Laplace Transform
An integral transform that converts a time‑domain function f(t) into a complex‑frequency function F(s) via \(F(s)=\int_{0}^{\infty}f(t)e^{-st}\,dt\).
Unilateral Laplace Transform
The one‑sided version of the Laplace transform defined for t ≥ 0, often used for causal signals.
Bilateral Laplace Transform
The two‑sided Laplace transform extending integration over the entire real line, \(F(s)=\int_{-\infty}^{\infty}f(t)e^{-st}\,dt\).
Inverse Laplace Transform
The operation that recovers f(t) from F(s) using the Bromwich contour integral or equivalent formulas.
Laplace–Stieltjes Transform
A generalization of the Laplace transform defined for functions of bounded variation via \(\int_{0}^{\infty}e^{-st}\,dg(t)\).
Bromwich Integral
The contour integral \(\frac{1}{2\pi i}\int_{\gamma-i\infty}^{\gamma+i\infty}F(s)e^{st}\,ds\) used to compute the inverse Laplace transform.
Post’s Inversion Formula
An alternative expression for the inverse Laplace transform involving limits of higher‑order derivatives.
Initial Value Theorem (Laplace Transform)
A theorem stating \(\lim_{t\to0^{+}}f(t)=\lim_{s\to\infty}s\,\mathcal{L}\{f\}(s)\) when the limits exist.
Final Value Theorem (Laplace Transform)
A theorem stating \(\lim_{t\to\infty}f(t)=\lim_{s\to0^{+}}s\,\mathcal{L}\{f\}(s)\) provided the poles of \(s\mathcal{L}\{f\}(s)\) lie in the left half‑plane.
Region of Convergence (Laplace Transform)
The set of complex s values for which the Laplace integral converges, determining system stability and transform existence.