← 2024 Paper 1

UPSC 2024 Maths Optional Paper 1 Q7a — Step-by-Step Solution

15 marks · Section B

Picard's Existence/Uniqueness Theorem; Lipschitz Condition · ODEs · Read the full method →

Question

State the uniqueness theorem for the existence of a unique solution of the IVP dydx=f(x,y)\dfrac{dy}{dx}=f(x,y), y(x0)=y0y(x_0)=y_0 in the rectangle R:xx0a,yy0bR:|x-x_0|\le a,\,|y-y_0|\le b. Test the existence and uniqueness of the solution of dydx=2y,  y(1)=0\dfrac{dy}{dx}=2\sqrt{y},\;y(1)=0. If more than one solution exists, find all of them.

Technique

State Picard–Lindelöf; check Lipschitz via f/y\partial f/\partial y; construct the non-unique solution family by patching.

Solution

Picard–Lindelöf Theorem

Let f(x,y)f(x,y) be continuous on R:xx0a,yy0bR:|x-x_0|\le a,\,|y-y_0|\le b, and satisfy a Lipschitz condition in yy on RR:

f(x,y1)f(x,y2)Ly1y2|f(x,y_1)-f(x,y_2)|\le L|y_1-y_2|

for some L>0L>0. Let M=maxRfM=\max_R|f| and h=min(a,b/M)h=\min(a,b/M). Then the IVP has a unique solution on xx0h|x-x_0|\le h.

Application to f(x,y)=2yf(x,y)=2\sqrt{y}, y(1)=0y(1)=0

Continuity: 2y2\sqrt{y} is continuous on y0y\ge 0. Existence is guaranteed by Peano’s theorem.

Lipschitz check: f/y=1/y\partial f/\partial y=1/\sqrt{y}\to\infty as y0+y\to 0^+. More directly, for y1,y20y_1,y_2\ge 0:

2y12y2=2y1y2y1+y2 as y1,y20.|2\sqrt{y_1}-2\sqrt{y_2}|=\frac{2|y_1-y_2|}{\sqrt{y_1}+\sqrt{y_2}}\to\infty\text{ as }y_1,y_2\to 0.

No Lipschitz constant exists on any rectangle containing (1,0)(1,0). Picard’s theorem does not guarantee uniqueness.

All Solutions

The IVP y'=2\sqrt y, y(1)=0 has infinitely many solutions. The trivial solution y\equiv0 (grey) runs along the x-axis; for each a\ge1 the curve y_a stays at 0 until x=a and then lifts off as (x-a)^2. Three members (a=1,2,3) are shown; every a\in[1,\infty) satisfies the equation and the initial condition, so uniqueness fails — exactly as the Lipschitz check predicted.

Separating variables for y>0y>0: dy/(2y)=dxy=x+Cdy/(2\sqrt{y})=dx\Rightarrow \sqrt{y}=x+C. With y(1)=0y(1)=0: C=1C=-1, so one solution is y=(x1)2y=(x-1)^2 for x1x\ge 1.

But y0y\equiv 0 also satisfies the ODE and y(1)=0y(1)=0.

General family. For each a1a\ge 1, define

ya(x)={0,xa,(xa)2,x>a.y_a(x)=\begin{cases}0, & x\le a,\\(x-a)^2, & x>a.\end{cases}

At the join x=ax=a: yay_a is continuous (both give 00) and yay_a' is continuous (both give 00). Each piece satisfies the ODE. And ya(1)=0y_a(1)=0 since a1a\ge 1.

Answer

  ya(x)={0,xa(xa)2,x>afor any a[1,).  \boxed{\;y_a(x)=\begin{cases}0,&x\le a\\(x-a)^2,&x>a\end{cases}\quad\text{for any }a\in[1,\infty).\;}

There are infinitely many solutions. The case a=1a=1 gives y=(x1)2y=(x-1)^2 for x>1x>1; aa\to\infty gives y0y\equiv 0.

We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 13 years, mapped. Get the take-away PDF free.