BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Blake Barker (Brigham Young University\, USA)
DTSTART:20201110T150000Z
DTEND:20201110T160000Z
DTSTAMP:20260423T024749Z
UID:CRM-CAMP/13
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CRM-CAMP/13/
 ">Recent progress in proving stability of traveling waves in the 1D Navier
 -Stokes equations using rigorous computations</a>\nby Blake Barker (Brigha
 m Young University\, USA) as part of CRM CAMP (Computer-Assisted Mathemati
 cal Proofs) in Nonlinear Analysis\n\n\nAbstract\nWe discuss recent progres
 s developing and applying rigorous computation to prove stability of trave
 ling waves in the 1D Navier-Stokes equation. In particular\, we talk about
  rigorous computation of the Evans function\, an analytic function whose z
 eros correspond to eigenvalues of the linearized PDE problem. Nonlinear st
 ability results by Zumbrun and collaborators show that the underlying trav
 eling waves are stable if there are no eigenvalues in the right half of th
 e complex plane. Thus one may use rigorous computation of the Evans functi
 on to prove nonlinear-orbital stability of traveling waves.\n
LOCATION:https://researchseminars.org/talk/CRM-CAMP/13/
END:VEVENT
END:VCALENDAR