Math 2.0

Integral transforms, operational calculus General theory of integral transforms Theorem

Abelian theorems for integral transforms

Builds on Laplace transformAbelian and Tauberian theoremsDominated convergence theorem

Statement

Let f ⁣:[0,∞)→ℂf \colon [0, \infty) \to \C be locally integrable, and let F(s)=∫0∞f(t)e−st dtF(s) = \int_0^\infty f(t) e^{-st}\, dt be its Laplace transform. Let c∈ℂc \in \C.

  1. (Behaviour at infinity.) If 1T∫0Tf(t) dt→c\frac{1}{T} \int_0^T f(t)\, dt \to c as T→∞T \to \infty, then F(s)F(s) converges for every real s>0s > 0, and sF(s)→cs F(s) \to c as s→0+s \to 0^+. In particular this holds when f(t)→cf(t) \to c as t→∞t \to \infty.
  2. (Behaviour at zero.) If ∫0∞∣f(t)∣e−s0t dt<∞\int_0^\infty \abs{f(t)} e^{-s_0 t}\, dt < \infty for some real s0s_0, and f(t)→cf(t) \to c as t→0+t \to 0^+, then sF(s)→cs F(s) \to c as s→+∞s \to +\infty through real values.

Remarks

Both parts compare ff with the constant cc, using s∫0∞e−st dt=1s \int_0^\infty e^{-st}\, dt = 1 for s>0s > 0. For part 2, write sF(s)−c=s∫0∞(f(t)−c)e−st dtsF(s) - c = s\int_0^\infty (f(t) - c) e^{-st}\, dt; the part of the integral over [0,δ][0, \delta] is small because ff is close to cc there, and the rest tends to 00 by dominated convergence. For part 1, integrate by parts with U(T)=∫0TfU(T) = \int_0^T f to get sF(s)=s2∫0∞U(T)e−sT dTsF(s) = s^2 \int_0^\infty U(T) e^{-sT}\, dT, and use s2∫0∞Te−sT dT=1s^2 \int_0^\infty T e^{-sT}\, dT = 1. Example: for f(t)=1+e−tf(t) = 1 + e^{-t}, F(s)=1/s+1/(s+1)F(s) = 1/s + 1/(s + 1), so sF(s)→1=lim⁡t→∞f(t)sF(s) \to 1 = \lim_{t \to \infty} f(t) as s→0+s \to 0^+, and sF(s)→2=f(0)sF(s) \to 2 = f(0) as s→∞s \to \infty. The converses are false without extra conditions; they are the Tauberian theorems.

Going deeper

For a student

In engineering these are the final value theorem and the initial value theorem. They read off the limits of a solution of a linear differential equation from its transform without inverting it. Part 1 is the Laplace analogue of the fact that Cesàro summability implies Abel summability. Analogous Abelian theorems hold for other transforms, such as the Stieltjes and Mellin transforms: an asymptotic behaviour of the function gives a matching asymptotic behaviour of the transform.

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. Abelian and Tauberian theorems 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. Abelian theorems for integral transforms statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Abelian_and_Tauberian_theorems
About this page
Tag16W9PP8ET0
URIm2://16W9PP8ET0
Kindstatement, theorem
WritingW0 stub
MSC44A10, 40E05
StatusThis copy of the site has no build data. Run m2 status 16W9PP8ET0.
AboutLaplace transform, Abelian and Tauberian theorems
UsesLaplace transform, Abelian and Tauberian theorems, 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.