Math 2.0

Functional analysis Distributions and generalized functions Object

Dirac delta function

Builds on Heaviside step functionLaplace transform

Description

Let Cc∞(ℝ)C_c^\infty(\mathbb{R}) be the space of infinitely differentiable functions φ:ℝ→ℂ\varphi : \mathbb{R} \to \mathbb{C} that vanish outside a bounded set. The Dirac delta is the distribution δ\delta that maps each test function φ∈Cc∞(ℝ)\varphi \in C_c^\infty(\mathbb{R}) to δ[φ]=φ(0)\delta[\varphi] = \varphi(0). Informally, one writes ∫−∞∞δ(t) φ(t) dt=φ(0)\int_{-\infty}^{\infty} \delta(t)\, \varphi(t)\, dt = \varphi(0), as if δ\delta were a function that is 00 away from 00 and has total integral 11. No actual function has this property. The delta is a generalized function.

Remarks

As a measure, δ\delta gives the mass 11 to each set that contains 00 and the mass 00 to the other sets. The shifted delta δ(t−a)\delta(t - a) maps φ\varphi to φ(a)\varphi(a). For a>0a > 0, its Laplace transform is e−ase^{-a s}, and for a=0a = 0 the usual convention gives 11. In the sense of distributions, δ\delta is the derivative of the Heaviside step function. In differential equations, δ(t−a)\delta(t - a) models an impulse: a large force that acts for a very short time around t=at = a.

Reading path

To understand this page from the ground up, read these 4 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. Function concept
  2. Laplace transform definition
  3. Heaviside step function object
  4. Dirac delta function object

Where this leads

19 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Dirac_delta_function, As a distribution
  2. Web https://en.wikipedia.org/wiki/Dirac_delta_function, As a measure
  3. Web https://en.wikipedia.org/wiki/Dirac_delta_function, Properties
About this page
Tag0KPHENZ5S7
URIm2://0KPHENZ5S7
Aliasesunit-impulse, dirac-delta
Kindobject
WritingW1 stated
MSC46F10
UsesHeaviside step function, Laplace transform
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • section Invariants: a table of the main invariants (0 of 1)
  • edge instance_of out (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