Nonconstant Coefficient IVP’s — Question 1

PDF ↗

Question 1

Use ordinary one-sided Laplace integrals for real ss. Where justified, write Y(s)=ℒ{y}(s)Y(s)=\mathcal L\{y\}(s) and use ℒ{ty}=−Y′(s)\mathcal L\{ty\}=-Y'(s). Check existence and initial compatibility before treating a formal solution in ss as a transform.

Consider the regular IVP (1+t)y′+y=1,y(0)=0,t≥0.(1+t)y'+y=1,\qquad y(0)=0,\qquad t\ge 0. An answer in terms of a convergent parameter integral is acceptable for YY.

Tasks

  1. Derive the differential equation satisfied by YY. Differentiate the entire transform of y′y' when handling ty′ty'.

  2. Solve that equation using an integrating factor and a condition at s=∞s=\infty that a bounded time function must satisfy.

  3. Identify the inverse and verify the original IVP. Check your parameter-integral expression directly against its forward transform.

  4. State the exact real transform domain and derive the leading large-ss behavior from the initial slope.

Original worksheet page 1: question and worked solution for 4-6-001
Show solutionHide solution

Question 1 – Solution

Strategy. Multiplication by time makes a differential equation in the transform variable. Its integration constant must be selected using transform behavior.

Step 1: Differentiate the full derivative transform. Here ℒ{y′}=sY\mathcal L\{y'\}=sY, so ℒ{ty′}=−(Y+sY′)\mathcal L\{ty'\}=-(Y+sY'). The transformed equation is sY−Y−sY′+Y=1/s,Y′−Y=−1/s2,s>0.sY-Y-sY'+Y=1/s,\qquad \boxed{Y'-Y=-1/s^2},\quad s>0. Treating ℒ{ty′}\mathcal L\{ty'\} as only −sY′-sY' would introduce an erroneous extra term.

Step 2: Select the integration constant. Multiply by e−se^{-s}. A bounded function has Y=O(1/s)Y=O(1/s) as s→∞s\to\infty, hence e−sY→0e^{-s}Y\to 0. Integration from ss to infinity gives Y(s)=es∫s∞e−uu2du.\boxed{Y(s)=e^s\int_s^\infty\frac{e^{-u}}{u^2}\,du.} The other homogeneous term is CesCe^s, incompatible with that bound unless C=0C=0. The inverse identified below is bounded, so this selection is self-consistent and verified rather than assumed without a check.

Step 3: Identify and forward-check the inverse. The original left side is [(1+t)y]′[(1+t)y]', giving (1+t)y=t(1+t)y=t and y(t)=t1+t.\boxed{y(t)=\frac{t}{1+t}.} Its derivative is (1+t)−2(1+t)^{-2}, so (1+t)y′+y=1(1+t)y'+y=1 and y(0)=0y(0)=0. For s>0s>0, substitution u=s(1+t)u=s(1+t) gives ℒ{(1+t)−1}=es∫s∞e−u/udu\mathcal L\{(1+t)^{-1}\}=e^s\int_s^\infty e^{-u}/u\,du. Thus the forward transform is 1/s−es∫s∞e−u/udu1/s-e^s\int_s^\infty e^{-u}/u\,du, equal to the boxed parameter integral by integration by parts. The regular first-order IVP is unique.

Step 4: Check domain and onset. Since y→1y\to 1 and is nonnegative, its exact domain is s>0\boxed{s>0}. At the origin y′(0)=1y'(0)=1, and the substitution v=stv=st gives s2Y(s)=∫0∞e−vv1+v/sdv→1.s^2Y(s)=\int_0^\infty e^{-v}\frac{v}{1+v/s}\,dv\longrightarrow 1. The integrand is dominated by ve−vve^{-v}, so dominated convergence justifies the limit. Thus Y∼1/s2Y\sim 1/s^2, matching the zero initial value and unit initial slope.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 4-6-001

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