Nonconstant Coefficient IVP’s — Question 8

PDF ↗

Question 8

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.

Classify the data for which a twice continuously differentiable solution on [0,∞)[0,\infty) can satisfy t2y″+2ty′−2y=0,y(0)=a,y′(0)=b.t^2y''+2ty'-2y=0,\qquad y(0)=a,\qquad y'(0)=b. For a smooth exponential-order function with a=0a=0, you may use lim⁡s→∞s2Y(s)=b\lim_{s\to\infty}s^2Y(s)=b.

Tasks

  1. Find the compatibility condition at zero and solve the time equation for t>0t>0 using trial powers tmt^m.

  2. Derive the second-order differential equation for YY, accounting for the effect of two parameter derivatives on the initial terms.

  3. Solve the transformed equation using trial powers sms^m. Determine what the condition Y→0Y\to 0 fixes and what initial information is still needed.

  4. Classify all admissible pairs (a,b)(a,b), verify the resulting solutions, and state their exact transform domains. Is specifying only y(0)y(0) enough for uniqueness?

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

Question 8 – Solution

Strategy. Singular coefficients can erase initial data from the transformed equation. Recover admissibility and the remaining amplitude separately.

Step 1: Check compatibility and time powers. At zero, the equation requires a=0\boxed{a=0}. For t>0t>0, trial powers give m(m−1)+2m−2=(m−1)(m+2)=0m(m-1)+2m-2=(m-1)(m+2)=0. The two independent solutions are tt and t−2t^{-2}, so y=Ct+Dt−2y=Ct+Dt^{-2}. They span the solutions on (0,∞)(0,\infty) because the normalized equation is regular there. Continuity at zero forces D=0D=0; the initial slope then sets C=bC=b.

Step 2: Transform the polynomial coefficients. For sufficiently large ss, ℒ{t2y″}=d2ds2[s2Y−sa−b]=2Y+4sY′+s2Y″,\mathcal L\{t^2y''\}=\frac{d^2}{ds^2}[s^2Y-sa-b] =2Y+4sY'+s^2Y'', while 2ℒ{ty′}=−2Y−2sY′2\mathcal L\{ty'\}=-2Y-2sY'. Adding −2Y-2Y gives s2Y″+2sY′−2Y=0.\boxed{s^2Y''+2sY'-2Y=0.} Both aa and bb vanished under differentiation; their disappearance is not permission to ignore the time-domain data.

Step 3: Select the transform and its amplitude. Trial powers of ss have exponents one and −2-2, yielding Y=As+B/s2Y=As+B/s^2 on s>0s>0. A genuine transform of an exponential-order continuous function tends to zero at large ss, so A=0A=0. This still leaves BB arbitrary. The supplied initial-slope limit gives B=b\boxed{B=b} and hence Y=b/s2Y=b/s^2. The initial-value limit sY→0sY\to 0 also agrees with the necessary datum a=0a=0.

Step 4: Verify and classify uniqueness. All and only the data a=0,b∈ℝ\boxed{a=0,\ b\in\mathbb R} are admissible, with unique solution y=bt\boxed{y=bt}. Substitution gives 0+2tb−2bt=00+2tb-2bt=0, and both data hold. For b≠0b\ne 0, the exact domain is s>0s>0; the signed linear tail diverges at or below zero. For b=0b=0, the zero function has transform zero for every real ss. Specifying only y(0)=0y(0)=0 leaves the entire family btbt, so it does not determine a unique solution at this singular point.

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

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