Math 2.0

Integral transforms, operational calculus Definition

Convolution on the half-line

Builds on Lebesgue integralConvolution on the line

Definition

Let f,g ⁣:[0,∞)→ℂf, g \colon [0, \infty) \to \C be locally integrable, that is, Lebesgue integrable on [0,T][0, T] for every T>0T > 0. The convolution of ff and gg is the function f∗gf * g on [0,∞)[0, \infty) given by (f∗g)(t)=∫0tf(τ) g(t−τ) dτ(f * g)(t) = \int_0^t f(\tau) \, g(t - \tau) \, d\tau at each t≥0t \ge 0 at which the Lebesgue integral converges absolutely.

Remarks

The integral converges for almost every tt, and f∗gf * g is again locally integrable. If ff and gg are continuous, then f∗gf * g is defined everywhere and continuous, with (f∗g)(0)=0(f * g)(0) = 0. Extending ff and gg by 00 on (−∞,0)(-\infty, 0) turns this into the convolution on the line.

Example: for integers m,n≥0m, n \ge 0, the functions tmt^m and tnt^n give (tm∗tn)(t)=∫0tτm(t−τ)n dτ=m! n!(m+n+1)! tm+n+1,(t^m * t^n)(t) = \int_0^t \tau^m (t - \tau)^n \, d\tau = \frac{m! \, n!}{(m + n + 1)!} \, t^{m + n + 1}, by the Beta integral; for m=n=0m = n = 0 this is 1∗1=t1 * 1 = t.

Non-example: f(t)=1/tf(t) = 1/t for t>0t > 0 is not integrable on [0,1][0, 1], so it is not locally integrable on [0,∞)[0, \infty). Indeed (f∗1)(t)=∫0tdτ/τ(f * 1)(t) = \int_0^t d\tau / \tau diverges for every t>0t > 0.

Reading path

To understand this page from the ground up, read these 3 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. Convolution on the line concept
  2. Lebesgue integral concept
  3. Convolution on the half-line definition

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Convolution
About this page
TagVDMCEPTTXB
URIm2://VDMCEPTTXB
Kinddefinition
WritingW0 stub
MSC44A35, 44A40
DefinesConvolution on the half-line
UsesLebesgue integral, Convolution on the line

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

Used by