Convolution Integrals — Question 6

PDF ↗

Question 6

All functions are causal (zero for t<0t<0). Use the one-sided Laplace transform and (f*g)(t)=∫0tf(t−u)g(u)du(f*g)(t)=\int_0^t f(t-u)g(u)\,du. Write Ha(t)=0H_a(t)=0 for t<at<a and 11 for t≥at\ge a. Values at isolated endpoints do not affect an ordinary integral.

Three identical smoothing stages each have causal kernel ka(t)=ae−atk_a(t)=a e^{-at}, where a>0a>0. Their cascade has kernel ra=ka*ka*kar_a=k_a*k_a*k_a.

Tasks

  1. Compute the two-stage and three-stage kernels by direct integration.

  2. Find the transform of rar_a and justify why the grouping of the convolutions does not matter.

  3. Find the unique peak of rar_a, its height and its initial value and slope. Compare these with a single stage.

  4. Compute the mass and mean time of both kernels. Explain what is preserved by cascading and what changes. You may derive needed exponential moments by integration by parts.

Original worksheet page 1: question and worked solution for 4-9-006
Show solutionHide solution

Question 6 – Solution

Strategy. Equal exponential factors leave polynomial integrals inside the convolution. Unit mass is preserved while the response is spread over time.

Step 1: Integrate the cascade. Directly, (ka*ka)(t)=a2e−at∫0t1du=a2te−at,ra(t)=a3e−at∫0tudu=12a3t2e−at.(k_a*k_a)(t)=a^2e^{-at}\int_0^t1\,du=a^2t e^{-at}, \qquad r_a(t)=a^3e^{-at}\int_0^t u\,du =\boxed{\tfrac 12a^3t^2e^{-at}}.

Step 2: Check transforms and grouping. For real s>−as>-a, Ra(s)=[a/(s+a)]3R_a(s)=[a/(s+a)]^3. Both groupings integrate the same product ka(t−u−v)ka(u)ka(v)k_a(t-u-v)k_a(u)k_a(v) over u,v≥0u,v\ge 0, u+v≤tu+v\le t. The continuous integrand is integrable on this bounded triangle, so reversing the integration order proves associativity directly.

Step 3: Compare the peak and onset. For t>0t>0, ra′=12a3e−att(2−at)r_a'=\tfrac 12a^3e^{-at}t(2-at). Thus the unique maximum is at t=2/at=2/a, with height 2ae−22ae^{-2}. Also ra(0)=ra′(0)=0r_a(0)=r_a'(0)=0. A single stage has maximum aa at zero and right derivative −a2-a^2 there. The cascade begins more smoothly, reaches its peak later and has a lower peak.

Step 4: Compute mass and mean time. Integration by parts yields ∫0∞tne−atdt=n!/an+1\int_0^\infty t^n e^{-at}\,dt=n!/a^{n+1} for nonnegative integers nn. Hence ∫ka=1,∫ra=1,∫tka(t)dt=1a,∫tra(t)dt=3a.\int k_a=1,\quad\int r_a=1,\qquad \int t k_a(t)\,dt=\frac 1a,\quad \int t r_a(t)\,dt=\frac 3a. Since both masses are one, these first moments are their mean times. The total area is preserved; the mean time triples. The cascade remains positive at every t>0t>0, so its later peak is not a literal waiting interval with zero output. The figure uses a=1a=1 and the same vertical scale for both.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 4-9-006

Original worksheet layout. Use Enlarge or open the PDF for a closer view.