Math 2.0

Integral transforms, operational calculus Laplace transform: definition and convergence Proposition

Laplace transform tends to zero at infinity

Builds on Laplace transformAbscissa of absolute convergenceDominated convergence theorem

Statement

Let f ⁣:[0,∞)→ℂf \colon [0, \infty) \to \C be measurable, and assume that ∫0∞∣f(t)∣e−σ0t dt<∞\int_0^\infty \abs{f(t)} e^{-\sigma_0 t}\, dt < \infty for some real σ0\sigma_0. Let F(s)=∫0∞f(t)e−st dtF(s) = \int_0^\infty f(t) e^{-st}\, dt be its Laplace transform, defined for Re⁡s≥σ0\operatorname{Re} s \ge \sigma_0. Then sup⁡Re⁡s=σ∣F(s)∣→0(σ→+∞).\sup_{\operatorname{Re} s = \sigma} \abs{F(s)} \to 0 \quad (\sigma \to +\infty). That is, F(s)→0F(s) \to 0 as Re⁡s→+∞\operatorname{Re} s \to +\infty, uniformly in Im⁡s\operatorname{Im} s.

Remarks

For Re⁡s=σ≥σ0\operatorname{Re} s = \sigma \ge \sigma_0, ∣F(s)∣≤∫0∞∣f(t)∣e−σt dt\abs{F(s)} \le \int_0^\infty \abs{f(t)} e^{-\sigma t}\, dt. The integrand decreases to 00 for each t>0t > 0 as σ→∞\sigma \to \infty and is bounded by ∣f(t)∣e−σ0t\abs{f(t)} e^{-\sigma_0 t}, so the right side tends to 00 by dominated convergence. The hypothesis says that σ0\sigma_0 lies to the right of the abscissa of absolute convergence, or on it. Example: ℒ{eat}(s)=1/(s−a)\mathcal{L}\{e^{at}\}(s) = 1/(s - a) tends to 00 as Re⁡s→∞\operatorname{Re} s \to \infty. Consequence: functions such as 11, ss, ese^{s} or a rational function P/QP/Q with P≠0P \ne 0 and deg⁡P≥deg⁡Q\deg P \ge \deg Q are not Laplace transforms of any such ff. The constant 11 is the transform of the Dirac delta, which is a measure and not a function.

Going deeper

For a student

The test is used in partial fraction inversion: only proper rational functions, with numerator degree less than denominator degree, are inverted to ordinary functions. Improper parts correspond to the Dirac delta and its derivatives, which belong to the Laplace transform of distributions. The initial value theorem refines the statement: if f(t)→cf(t) \to c as t→0+t \to 0^+, then sF(s)→csF(s) \to c, so F(s)F(s) behaves like c/sc/s.

Reading path

To understand this page from the ground up, read these 16 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 absolute convergence concept
  2. Almost everywhere concept
  3. Function concept
  4. Integrable function concept
  5. Integral of a non-negative function concept
  6. Lebesgue integral concept
  7. Measurable function concept
  8. Sequence definition
  9. Laplace transform definition
  10. Monotone convergence theorem statement
  11. Real sequence definition
  12. Bounded sequence definition
  13. Limit inferior definition
  14. Fatou's lemma statement
  15. Dominated convergence theorem statement
  16. Laplace transform tends to zero at infinity statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Laplace_transform
About this page
TagN2JFN9VHD9
URIm2://N2JFN9VHD9
Kindstatement, proposition
WritingW0 stub
MSC44A10
StatusThis copy of the site has no build data. Run m2 status N2JFN9VHD9.
AboutLaplace transform
UsesLaplace transform, Abscissa of absolute convergence, Dominated convergence 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.