Real Eigenvalues — Question 8

PDF ↗

Question 8

Let X′=(3−24−3)X,x(0)=1,y(T)=b,T>0.X'=\begin{pmatrix}3&-2\\4&-3\end{pmatrix}X,\qquad x(0)=1,\qquad y(T)=b, \quad T>0. Only the initial value q=y(0)q=y(0) is unknown. These conditions concern different times; they are not a complete initial state at one time.

Tasks

  1. Find the real eigenpairs and write the solution in terms of qq.

  2. Derive the equation that qq must satisfy. Identify every positive time at which its coefficient vanishes.

  3. At the exceptional time, classify all values of bb by whether there are zero, one, or infinitely many solutions. Explain why uniqueness for an IVP is not contradicted.

  4. For other times, give qq explicitly and its change under a measurement error b↦b+δb\mapsto b+\delta. Describe what happens near the exceptional time.

Original worksheet page 1: question and worked solution for 5-7-008
Show solutionHide solution

Question 8 – Solution

Strategy. Two real exponential modes can cancel in an endpoint observation even when the full state remains uniquely determined by its initial data.

Step 1: Find the two modes. The characteristic polynomial is λ2−1\lambda^2-1. Eigenvectors are (1,1)T(1,1)^T for 11 and (1,2)T(1,2)^T for −1-1. The data (1,q)T(1,q)^T give coefficients 2−q2-q and q−1q-1, so X=(2−q)et(11)+(q−1)e−t(12).\boxed{X=(2-q)e^t\binom 11+(q-1)e^{-t}\binom 12.}

Step 2: Locate the singular observation time. The endpoint condition becomes b=2eT−2e−T+q(2e−T−eT).b=2e^T-2e^{-T}+q(2e^{-T}-e^T). The coefficient of qq vanishes exactly when e2T=2e^{2T}=2, hence T*=12ln⁡2\boxed{T_*=\tfrac 12\ln 2}, the unique positive exceptional time.

Step 3: Classify compatibility at that time. At T*T_*, the equation reduces to b=2b=\sqrt 2. If b=2b=\sqrt 2, every real qq gives a solution; otherwise none does. There is never exactly one at this time. Distinct qq specify distinct initial states. In fact x(T*)=(3−q)/2x(T_*)=(3-q)/\sqrt 2, so the full states remain different even though their second components agree. Each individual IVP still has its unique solution. The figure shows three such second components.

Step 4: Quantify sensitivity away from the exception. For T≠T*T\ne T_* there is exactly one solution, with q=b−2eT+2e−T2e−T−eT,Δq=δ2e−T−eT.\boxed{q=\frac{b-2e^T+2e^{-T}}{2e^{-T}-e^T},\qquad \Delta q=\frac{\delta}{2e^{-T}-e^T}.} The denominator tends to zero as T→T*T\to T_*, so the absolute amplification factor diverges. This is a poorly conditioned recovery of missing initial data, not loss of uniqueness for a fully specified IVP. For a fixed nonzero δ\delta, the recovered initial error can become arbitrarily large.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 5-7-008

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