“…Then the fact that lim^_>Xo+ u{x, to) < 0 implies that a{t) cannot be bounded in the vicinity of t = to-□ (f) The solution of (4.1) exists. Since by assumption c(x, to) > 0 for Xo < x < s(t0), there must be points in a small neighborhood (xo,Xo + £) *n w^ich u(x,to) > -1, where u{x,t0) coincides with lim/o_ u(x,t),u solving (SSP) for t < to-Using once more Proposition 3.2 and [24], existence and uniqueness are guaranteed. □ If Xo = 0 we modify the boundary conditions at x = 0 for / > t0 introducing a waiting time r as described in Sec.…”