Fundamental Sets of Solutions — Question 2

PDF ↗

Question 2

For the equation y″−y=0y''-y=0 on ℝ\mathbb R, consider the parameter-dependent pair u=et+e−t,vα=et+αe−t,α∈ℝ.u=e^t+e^{-t},\qquad v_\alpha=e^t+\alpha e^{-t},\quad \alpha\in\mathbb R. Coefficients in a fundamental set must be constant in tt.

Tasks

  1. Verify both solutions and find all α\alpha for which the pair is fundamental.

  2. For those parameters, find the coefficients of the solution with y(0)=0y(0)=0, y′(0)=1y\prime(0)=1 in this pair.

  3. As α→1\alpha\to 1, compare the behavior of these coefficients with the behavior of the represented solution. Can large coefficients alone establish large solution values?

  4. Construct from u,vαu,v_\alpha a companion with data (0,1)(0,1) that extends to a well-defined function at α=1\alpha=1. Explain why simply setting α=1\alpha=1 in the original pair fails.

Original worksheet page 1: question and worked solution for 3-6-002
Show solutionHide solution

Question 2 – Solution

Strategy. Track the initial-data vectors as the two proposed basis elements approach dependence.

Step 1: Test independence. Each exponential solves y″−y=0y''-y=0, so both combinations do. The data vectors at zero are (2,0)(2,0) and (1+α,1−α)(1+\alpha,1-\alpha), with determinant 2(1−α)2(1-\alpha). The pair is fundamental exactly when α≠1\alpha\ne 1. At 11, both functions equal uu.

Step 2: Fit the data. In y=Au+Bvαy=Au+Bv_\alpha, the data require 2A+(1+α)B=0,(1−α)B=1.2A+(1+\alpha)B=0,\qquad (1-\alpha)B=1. Thus A=−1+α2(1−α),B=11−α.\boxed{A=-\frac{1+\alpha}{2(1-\alpha)},\qquad B=\frac 1{1-\alpha}.}

Step 3: Simplify before taking a limit. Substitution cancels the large terms exactly: Au+Bvα=12(et−e−t)=sinh⁡t.Au+Bv_\alpha=\tfrac 12(e^t-e^{-t})=\sinh t. Both coefficients grow without bound in magnitude near α=1\alpha=1, while the function is independent of α\alpha. Large coordinates in a nearly dependent pair do not imply large values of the function on a fixed interval.

Step 4: Replace the collapsing direction. Define, for α≠1\alpha\ne 1, zα=vα−(1+α)u/21−α=sinh⁡t.z_\alpha=\frac{v_\alpha-(1+\alpha)u/2}{1-\alpha}=\sinh t. This extends by z1=sinh⁡tz_1=\sinh t and has data (0,1)(0,1). The pair u,z1u,z_1 remains fundamental. The original pair at α=1\alpha=1 contains only one effective direction and cannot supply the requested nonzero slope.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 3-6-002

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