I need to find the maximal solution with
y(0)=1 and y(0)=-1
for the equation
y' = y^2 - 1
with t and y being real numbers.
By seperating so
y^2=1
and then integrating and isolating, I have found that
y = ±(3*t + 3*c)^(1/3)
where c is a constant, and to forfill the initial value problem needs to be 1/3, which gives me
y = ±(3*t + 1)^(1/3)
But I don't know if this is a maximal solution. How do I check if it is a maximal solution?