BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//132.216.98.100//NONSGML kigkonsult.se iCalcreator 2.20.4//
BEGIN:VEVENT
UID:20251121T162516EST-8649lVU2tO@132.216.98.100
DTSTAMP:20251121T212516Z
DESCRIPTION:Title: Computer-assisted proofs for a nonlinear heat equation i
 n the complex plane of time\n\nAbstract:\n\nIn this talk\, we consider a c
 omplex valued nonlinear heat equation. It is well-known that solutions of 
 a real valued nonlinear heat equation blow up in finite time. Our aim of t
 his project is to find out the dynamics of such a blow-up with computer as
 sistance. Extending the time variable of the nonlinear heat equation into 
 the complex plane\, the blow-up point\, which exists on the real line\, sh
 ows a branching singularity. We give a proof of the branching singularity 
 using a rigorous integrator based on semigroup theory. Additionally\, we a
 lso show a computer-assisted proof of global existence of the solution on 
 a straight path from the origin.\n	This is joint work with Jean-Philippe Le
 ssard (9IÖÆ×÷³§Ãâ·Ñ)\, Jonathan Jaquette (Brandeis University)\, and 
 Hisashi Okamoto (Gakushuin University).\n
DTSTART:20190916T200000Z
DTEND:20190916T210000Z
LOCATION:Room 1104\, Burnside Hall\, CA\, QC\, Montreal\, H3A 0B9\, 805 rue
  Sherbrooke Ouest
SUMMARY:Akitoshi Takayasu (University of Tsukuba)
URL:/mathstat/channels/event/akitoshi-takayasu-univers
 ity-tsukuba-299937
END:VEVENT
END:VCALENDAR