Math 2.0

Integral transforms, operational calculus Laplace transform: operational rules Proposition

Integration in the transform variable

Builds on Laplace transformFunction of exponential orderFubini's theorem

Statement

Let f ⁣:[0,∞)→ℂf \colon [0, \infty) \to \C be piecewise continuous and of exponential order aa, that is, ∣f(t)∣≤Meat\abs{f(t)} \le M e^{a t} for all t≥0t \ge 0. Assume that ∫01∣f(t)∣/t dt<∞\int_0^1 \abs{f(t)} / t \, dt < \infty, which holds for example when lim⁡t→0+f(t)/t\lim_{t \to 0^+} f(t)/t exists. Let FF be the Laplace transform of ff. Then for every real s>as > a, ℒ{f(t)t}(s)=∫s∞F(σ) dσ,\mathcal{L}\left\{\frac{f(t)}{t}\right\}(s) = \int_s^\infty F(\sigma) \, d\sigma, where the integral on the right is taken along the real axis and converges.

Remarks

Write ∫s∞F(σ) dσ=∫s∞∫0∞f(t)e−σt dt dσ\int_s^\infty F(\sigma) \, d\sigma = \int_s^\infty \int_0^\infty f(t) e^{-\sigma t} \, dt \, d\sigma and swap the integrals with Fubini's theorem. The swap is allowed because ∫0∞∣f(t)∣e−st/t dt<∞\int_0^\infty \abs{f(t)} e^{-s t} / t \, dt < \infty under the hypotheses. The inner integral is ∫s∞e−σt dσ=e−st/t\int_s^\infty e^{-\sigma t} \, d\sigma = e^{-s t} / t. Example: with f(t)=sin⁡tf(t) = \sin t, one gets ℒ{sin⁡t/t}(s)=∫s∞dσ/(σ2+1)=π/2−arctan⁡s\mathcal{L}\{\sin t / t\}(s) = \int_s^\infty d\sigma / (\sigma^2 + 1) = \pi/2 - \arctan s. The hypothesis at 00 is needed: for f=1f = 1, the function 1/t1/t has no Laplace transform, and ∫s∞dσ/σ\int_s^\infty d\sigma / \sigma diverges.

Going deeper

For a student

The rule gives transforms of functions such as sin⁡t/t\sin t / t and (1−e−t)/t(1 - e^{-t})/t that are hard to compute directly. Letting s→0+s \to 0^+ in the example, with a limit argument, recovers the Dirichlet integral ∫0∞sin⁡t/t dt=π/2\int_0^\infty \sin t / t \, dt = \pi / 2. Compare differentiation in the transform variable.

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. Euclidean space object
  2. Function concept
  3. Function of exponential order concept
  4. Function of several variables concept
  5. Laplace transform definition
  6. Iterated integral definition
  7. Limit of a function of several variables concept
  8. Continuity in R^n definition
  9. Double integral definition
  10. Fubini's theorem statement
  11. Integration in the transform variable statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Laplace_transform
About this page
TagGXX2WPVRJ2
URIm2://GXX2WPVRJ2
Kindstatement, proposition
WritingW0 stub
MSC44A10
StatusThis copy of the site has no build data. Run m2 status GXX2WPVRJ2.
AboutLaplace transform
UsesLaplace transform, Function of exponential order, Fubini's theorem

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

No page links to this page yet.