Math 2.0

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

Laplace transform of the Dirac delta

Builds on Laplace transformDirac delta functionDirac measureLaplace–Stieltjes transform

Example

Let a≥0a \ge 0 and let δa\delta_a be the Dirac delta at aa, that is, the Dirac measure that gives mass 11 to the point aa. The delta is not a function, so its Laplace transform is defined as the Laplace–Stieltjes transform of the measure. The point 00 is included in the domain of integration: ℒ{δa}(s)=∫[0,∞)e−st dδa(t)=e−as(s∈ℂ).\mathcal{L}\{\delta_a\}(s) = \int_{[0, \infty)} e^{-st}\, d\delta_a(t) = e^{-as} \quad (s \in \C). Check: integrating a continuous function against δa\delta_a evaluates it at aa, and t↦e−stt \mapsto e^{-st} is continuous. In particular ℒ{δ0}=1\mathcal{L}\{\delta_0\} = 1, with the convention that the lower limit is 0−0^-. This is consistent with the Laplace transform of the step H(t−a)H(t - a), which is e−as/se^{-as}/s. Indeed, the delta is the derivative of the step, and differentiation multiplies the transform by ss when the initial value is 00.

Reading path

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

  1. Construction of the reals from Cauchy sequences concept
  2. Element definition
  3. Function concept
  4. Integers object
  5. Laplace–Stieltjes transform concept
  6. Ordered field definition
  7. Proposition concept
  8. Random experiment concept
  9. Rational numbers object
  10. Set definition
  11. Laplace transform definition
  12. Ring of integers statement
  13. Disjunction definition
  14. Implication definition
  15. Predicate definition
  16. Ordered pair definition
  17. Heaviside step function object
  18. Union definition
  19. Sample space definition
  20. Existential quantifier definition
  21. The rationals form a field statement
  22. Universal quantifier definition
  23. Cartesian product definition
  24. Dirac delta function object
  25. Subset definition
  26. The rationals form an ordered field statement
  27. Uniqueness quantifier definition
  28. Binary relation definition
  29. Universal set definition
  30. Order on the reals definition
  31. Power set definition
  32. Complement definition
  33. Function definition
  34. Interval definition
  35. Sigma-algebra definition
  36. Indicator function definition
  37. Event definition
  38. Probability axioms concept
  39. Probability measure definition
  40. Dirac measure definition
  41. Laplace transform of the Dirac delta example

Further reading

  1. Web https://en.wikipedia.org/wiki/Dirac_delta_function
About this page
Tag2XK0YX7VMC
URIm2://2XK0YX7VMC
Kindexample
WritingW0 stub
MSC44A10, 46F12
IllustratesLaplace transform
UsesLaplace transform, Dirac delta function, Dirac measure, Laplace–Stieltjes transform

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.