Fundamental Sets of Solutions — Question 6

PDF ↗

Question 6

Let D=ℝ\{0}D=\mathbb R\setminus\{0\}. On this disconnected domain, consider y″=0y''=0 and the two functions u(t)=1,v(t)={−1,t<0,1,t>0.u(t)=1,\qquad v(t)=\begin{cases}-1,&t<0,\\1,&t>0.\end{cases} A solution means a C2C^2 function on DD; no matching condition at zero is imposed.

Tasks

  1. Verify that both functions solve the equation and are linearly independent on DD.

  2. Do their constant linear combinations represent every solution on DD? Give a decisive counterexample and compare their independence on each connected component.

  3. Find the full solution family on DD and an explicit independent spanning set. Prove why at least four functions are needed.

  4. Describe every solution satisfying y(1)=0y(1)=0, y′(1)=1y\prime(1)=1. Explain why those data do not determine a unique solution on all of DD.

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

Question 6 – Solution

Strategy. Each connected component has its own integration constants because zero is excluded and no matching rule is imposed.

Step 1: Verify and test independence. Both functions are constant on each component, so both have zero second derivative on DD. If Au+Bv=0Au+Bv=0 on DD, the positive side gives A+B=0A+B=0 and the negative side gives A−B=0A-B=0. Thus A=B=0A=B=0.

Step 2: Test spanning. Every combination Au+BvAu+Bv is constant on each side, so it cannot represent the solution y=ty=t. The pair is independent on DD but does not span its solution space. On either individual component, v=uv=u or v=−uv=-u, so the restricted pair is dependent.

Step 3: Exhibit all four freedoms. Integrating separately gives y(t)={A−+B−t,t<0,A++B+t,t>0.\boxed{y(t)=\begin{cases}A_-+B_-t,&t<0,\\A_++B_+t,&t>0.\end{cases}} Let χ+\chi_+ equal 11 for t>0t>0 and 00 for t<0t<0, and let χ−=1−χ+\chi_-=1-\chi_+. An independent spanning set is {χ−,tχ−,χ+,tχ+}.\{\chi_-,\ t\chi_-,\ \chi_+,\ t\chi_+\}. Restriction to either side proves independence by the independence of 1,t1,t. Each of the four displayed constants can be chosen freely, so the space has dimension four and no set with fewer than four functions spans it. All four functions are smooth on DD.

Step 4: Impose data on one component. On the positive side, B+=1B_+=1 and A+=−1A_+=-1. Thus y=t−1y=t-1 for t>0t>0, while A−,B−A_-,B_- remain arbitrary for t<0t<0. Initial-value uniqueness controls the connected interval containing the initial point; it supplies no information across the excluded point.

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

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