Blow-up alternative for a semilinear evolution equation (source code)

= Blow-up alternative for a semilinear evolution equation

For a locally Lipschitz semilinear evolution, a maximal mild solution either exists for all positive time or its phase-space norm becomes unbounded as the finite maximal time is approached.