Boundary Value Problems — Question 7

PDF ↗

Question 7

Consider a singular-endpoint problem on 0<x≤10<x\leq 1: (x2y′)′=0,y(1)=1.(x^2y')'=0,\qquad y(1)=1. An additional condition at zero is to be imposed through a limit or regularity requirement. The differential equation is initially required only for x>0x>0.

Tasks

  1. Find every solution on (0,1](0,1] satisfying the right boundary condition. Identify why zero is not a regular endpoint of the normalized equation.

  2. Select the solutions that remain bounded as x↓0x\downarrow 0, and separately those with finite weighted energy ∫01x2(y′)2dx\int_0^1x^2(y')^2dx. Determine whether these two selections agree.

  3. Replace boundedness by lim⁡x↓0xy(x)=k\lim_{x\downarrow 0}xy(x)=k, with kk prescribed. Find the unique solution for every real kk and its limiting weighted derivative lim⁡x↓0x2y′(x)\lim_{x\downarrow 0}x^2y'(x).

  4. Decide whether a continuous solution can satisfy y(0)=0y(0)=0 and y(1)=1y(1)=1. Explain why two stated endpoint values do not justify invoking the usual regular boundary-value theory at this singular endpoint.

Original worksheet page 1: question and worked solution for 8-1-007
Show solutionHide solution

Question 7 – Solution

Strategy. Solve on the open interval first, then apply each proposed endpoint condition to the possible singular term.

Step 1: Find the family on the actual domain. Integration gives x2y′=Cx^2y'=C and y=A−C/xy=A-C/x. Incorporating y(1)=1y(1)=1, write y=1−k+k/x,k∈ℝ.\boxed{y=1-k+k/x,\qquad k\in\mathbb R.} For x>0x>0 the normalized equation is y″+(2/x)y′=0y''+(2/x)y'=0. Its coefficient 2/x2/x is singular at zero; the original leading coefficient also vanishes there.

Step 2: Test boundedness and energy. Boundedness at zero forces k=0k=0, giving y≡1y\equiv 1. Since y′=−k/x2y'=-k/x^2, ∫01x2(y′)2dx=limt↓0k2(1t−1).\int_0^1x^2(y')^2dx=\lim_{t\downarrow 0}k^2\left(\frac 1t-1\right). This is infinite for k≠0k\ne 0 and zero for k=0k=0. Thus boundedness and finite weighted energy select the same single solution in this family.

Step 3: Prescribe a weighted endpoint value. For the displayed family, limx↓0xy(x)=k,limx↓0x2y′(x)=−k.\lim_{x\downarrow 0}xy(x)=k,\qquad \boxed{\lim_{x\downarrow 0}x^2y'(x)=-k.} Therefore each real prescribed weighted limit selects exactly one solution, including unbounded solutions when k≠0k\ne 0. A weighted boundary condition is not the same as an ordinary finite value y(0)y(0).

Step 4: Test the proposed continuous boundary data. A continuous extension is bounded, so it must be y≡1y\equiv 1 and must have y(0)=1y(0)=1. Consequently no continuous solution satisfies y(0)=0,y(1)=1y(0)=0,y(1)=1. One cannot assign an unrelated value at zero and retain continuity. Regular endpoint theory requires hypotheses on the normalized coefficients that fail here; the explicit family and its limits decide this problem instead.

Original worksheet page 2: question and worked solution for 8-1-007

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