MathCastle
Differential EquationsHardExistence, Uniqueness & Bifurcations

Existence, Uniqueness & Bifurcations · Hard problem

For y′=y2y' = y^2, y(0)=1y(0) = 1, the Picard–Lindelöf theorem on the rectangle ∣t∣≤a|t| \le a, ∣y−1∣≤b|y - 1| \le b guarantees a solution on ∣t∣≤h|t| \le h with h=min⁡ ⁣(a,bM)h = \min\!\left(a, \dfrac{b}{M}\right), where M=max⁡∣f∣M = \max |f| on the rectangle. Taking aa as large as you like and choosing b>0b > 0 optimally, what is the largest hh the theorem guarantees?