Convolution Integrals — Question 4

PDF ↗

Question 4

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.

Let ff be real and piecewise continuous on each finite interval, with |f(t)|≤1|f(t)|\le 1. Consider y″+2y′+2y=f(t),y(0)=y′(0)=0.y''+2y'+2y=f(t),\qquad y(0)=y'(0)=0. We seek the smallest constant MM such that |y(t)|≤M|y(t)|\le M for every admissible input and every t≥0t\ge 0.

Tasks

  1. Find the impulse-response kernel hh and express yy by convolution. Compute ∫0∞h\int_0^\infty h.

  2. Compute ∫0∞|h|\int_0^\infty|h| exactly by summing half-periods, and prove it is a uniform response bound.

  3. Construct an input attaining ∫0T|h|\int_0^T|h| at any prescribed T>0T>0. Prove that your uniform bound is sharp, and decide whether it can be attained at a finite time.

  4. Give an explicit two-level input on [0,2π][0,2\pi] whose response at 2π2\pi exceeds 1/21/2. Explain the error in using the signed kernel integral as the universal bound.

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

Question 4 – Solution

Strategy. A sign-changing kernel can reinforce a suitably chosen sign-changing input. Its signed area loses that information.

Step 1: Recover the kernel. The zero-data transform gives Y=F/[(s+1)2+1]Y=F/[(s+1)^2+1], so h(t)=e−tsin⁡t,y=h*f,∫0∞h(t)dt=12.h(t)=e^{-t}\sin t,\qquad y=h*f,\qquad \int_0^\infty h(t)\,dt=\tfrac 12. For example, the last integral follows from the antiderivative −e−t(sin⁡t+cos⁡t)/2-e^{-t}(\sin t+\cos t)/2.

Step 2: Sum the absolute areas. Put q=e−πq=e^{-\pi}. The first positive lobe has area A0=(1+q)/2A_0=(1+q)/2. Each later absolute lobe is qq times its predecessor, so M=∫0∞|h|=1+q2(1−q).\boxed{M=\int_0^\infty|h|=\frac{1+q}{2(1-q)}.} For every admissible input, |y(t)|≤∫0t|h(t−u)|du≤M|y(t)|\le\int_0^t|h(t-u)|\,du\le M.

Step 3: Prove sharpness and distinguish attainment. For any T>0T>0, set fT(u)=sgn⁡(sin⁡(T−u))(0≤u≤T),fT(u)=0(u>T),f_T(u)=\operatorname{sgn}(\sin(T-u))\quad(0\le u\le T), \qquad f_T(u)=0\quad(u>T), with arbitrary values in [−1,1][-1,1] at zeros. This input is admissible and y(T)=∫0T|h(T−u)|du=∫0T|h(v)|dvy(T)=\int_0^T|h(T-u)|\,du=\int_0^T|h(v)|\,dv. These values approach MM as T→∞T\to\infty, so any smaller proposed constant fails for some finite TT. However, the absolute kernel has a strictly positive tail after every finite TT, so |y(T)|<M|y(T)|<M for every input at every finite time. The universal supremum is sharp but is not attained.

Step 4: Refute the signed-area bound explicitly. Take f=−1f=-1 on (0,π)(0,\pi), f=1f=1 on (π,2π)(\pi,2\pi) and zero afterward. This is the preceding construction for T=2πT=2\pi. Therefore y(2π)=A0(1+q)=(1+q)22>12.y(2\pi)=A_0(1+q)=\boxed{\frac{(1+q)^2}{2}>\frac 12}. The signed integral describes cancellation within the kernel, as for a constant input’s limiting response. An arbitrary bounded input can reverse its own sign so that both lobes contribute positively; the absolute area is the appropriate worst-case quantity.

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

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