Table Of Laplace Transforms — Question 9

PDF ↗

Question 9

Use causal one-sided Laplace transforms. Write Ha(t)=0H_a(t)=0 for t<at<a and 11 for t≥at\ge a. Ordinary functions are zero for t<0t<0. Justify the table entries and operational rules you use; give exact expressions.

A measured response is known to lie in the three-mode family f(t)=c1e−t+c2e−2t+c3e−3t.f(t)=c_1e^{-t}+c_2e^{-2t}+c_3e^{-3t}. The available data are f(0)=0f(0)=0, f′(0)=0f'(0)=0 and f″(0)=2f''(0)=2.

Tasks

  1. Recover the three coefficients and prove uniqueness within the stated family.

  2. Construct F(s)F(s) by table lookup and simplify it to one rational expression. Check its leading large-ss term against the data.

  3. Prove that the recovered function is positive for every t>0t>0 despite a negative coefficient. Find its unique global maximum.

  4. Compute its area and exact real transform domain. Explain why the three measurements would not identify a unique response without the three-mode assumption.

Original worksheet page 1: question and worked solution for 4-10-009
Show solutionHide solution

Question 9 – Solution

Strategy. The assumed modes turn derivative data into a finite linear system. A negative coefficient need not make their sum negative.

Step 1: Solve and prove uniqueness. The data give c1+c2+c3=0,−c1−2c2−3c3=0,c1+4c2+9c3=2.c_1+c_2+c_3=0,\quad -c_1-2c_2-3c_3=0,\quad c_1+4c_2+9c_3=2. Adding the first two equations gives c2=−2c3c_2=-2c_3, and the first then gives c1=c3c_1=c_3. Substitution into the third gives 2c3=22c_3=2. Every coefficient is forced, proving uniqueness: (c1,c2,c3)=(1,−2,1)\boxed{(c_1,c_2,c_3)=(1,-2,1)}.

Step 2: Assemble the rational transform. The table yields F=1s+1−2s+2+1s+3=2(s+1)(s+2)(s+3).F=\frac 1{s+1}-\frac 2{s+2}+\frac 1{s+3} =\boxed{\frac 2{(s+1)(s+2)(s+3)}}. Near zero, f=t2+O(t3)f=t^2+O(t^3), so its leading transform is 2/s32/s^3, matching the quotient. The 1/s1/s and 1/s21/s^2 terms cancel exactly.

Step 3: Establish positivity and the peak. Factor the function as f=e−t(1−e−t)2f=e^{-t}(1-e^{-t})^2. It is positive for every t>0t>0 and zero at 00. Put x=e−t∈(0,1]x=e^{-t}\in(0,1]. The function x(1−x)2x(1-x)^2 has derivative (1−x)(1−3x)(1-x)(1-3x) with respect to xx; along increasing tt its unique interior maximum is at x=1/3x=1/3. Therefore tmax=ln⁡3,f(tmax)=4/27.\boxed{t_{\max}=\ln 3,\qquad f(t_{\max})=4/27.}

Step 4: Check area, domain and identifiability. The area is 1−2/2+1/3=1/31-2/2+1/3=\boxed{1/3}. The nonzero e−te^{-t} tail gives exact real domain s>−1s>-1. Without the mode restriction, adding any multiple of t3e−tt^3e^{-t} would preserve all three measured derivatives but change the response. Thus the identification is unique within the stated model, not among all smooth functions.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 4-10-009

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