Math 2.0

Integral transforms, operational calculus Laplace transform: operational rules Proposition

Linearity of the Laplace transform

Builds on Laplace transformLinearity of the integralAbscissa of convergence

Statement

Let f,g ⁣:[0,∞)→ℂf, g \colon [0, \infty) \to \C be integrable on each interval [0,T][0, T] with T>0T > 0, and let α,β∈ℂ\alpha, \beta \in \C. Let s∈ℂs \in \C be such that the Laplace integrals F(s)=∫0∞f(t)e−st dtF(s) = \int_0^\infty f(t) e^{-st}\, dt and G(s)=∫0∞g(t)e−st dtG(s) = \int_0^\infty g(t) e^{-st}\, dt both converge. Then the Laplace integral of αf+βg\alpha f + \beta g converges at ss, and ℒ{αf+βg}(s)=αF(s)+βG(s).\mathcal{L}\{\alpha f + \beta g\}(s) = \alpha F(s) + \beta G(s).

Remarks

By linearity of the integral, ∫0T(αf+βg)e−st dt=α∫0Tfe−st dt+β∫0Tge−st dt\int_0^T (\alpha f + \beta g) e^{-st}\, dt = \alpha \int_0^T f e^{-st}\, dt + \beta \int_0^T g e^{-st}\, dt for each TT, and the limit of a sum is the sum of the limits. So the identity holds on the half-plane Re⁡s>max⁡(σc(f),σc(g))\operatorname{Re} s > \max(\sigma_c(f), \sigma_c(g)), where σc\sigma_c is the abscissa of convergence. Example: cosh⁡t=12(et+e−t)\cosh t = \frac{1}{2}(e^t + e^{-t}) has transform 12(1s−1+1s+1)=ss2−1\frac{1}{2}\left(\frac{1}{s - 1} + \frac{1}{s + 1}\right) = \frac{s}{s^2 - 1} for Re⁡s>1\operatorname{Re} s > 1. The transform of αf+βg\alpha f + \beta g may converge on a larger half-plane than those of ff and gg: for f(t)=1+etf(t) = 1 + e^t and g(t)=−etg(t) = -e^t, both have abscissa 11, while f+g=1f + g = 1 has abscissa 00.

Going deeper

For a student

Linearity is the reason the Laplace transform fits linear differential equations with constant coefficients: together with the rule for derivatives, it turns the equation into an algebraic equation for FF. In operator language, ℒ\mathcal{L} is a linear map from a space of functions (for instance those of exponential order) to a space of holomorphic functions on half-planes. Combined with Lerch's uniqueness theorem, linearity also makes the inverse transform linear.

Reading path

To understand this page from the ground up, read these 11 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Abscissa of convergence concept
  2. Function concept
  3. Partition of an interval definition
  4. Laplace transform definition
  5. Mesh of a partition definition
  6. Riemann sum definition
  7. Riemann integrable function definition
  8. Riemann integral definition
  9. Definite integral definition
  10. Linearity of the integral statement
  11. Linearity of the Laplace transform statement

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Laplace_transform
About this page
TagSHX9JPKJBE
URIm2://SHX9JPKJBE
Kindstatement, proposition
WritingW0 stub
MSC44A10
StatusThis copy of the site has no build data. Run m2 status SHX9JPKJBE.
AboutLaplace transform
UsesLaplace transform, Linearity of the integral, Abscissa of convergence

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by