BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//jEvents 2.0 for Joomla//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:STANDARD
DTSTART:20231105T010000
RDATE:20240310T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20241103T010000
RDATE:20250309T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20251102T010000
RDATE:20260308T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20261101T010000
RDATE:20270314T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20271107T010000
RDATE:20280312T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20281105T010000
RDATE:20290311T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20230419T130000
RDATE:20231105T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20240310T030000
RDATE:20241103T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20250309T030000
RDATE:20251102T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20260308T030000
RDATE:20261101T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20270314T030000
RDATE:20271107T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20280312T030000
RDATE:20281105T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:e892d0476c13db855fb3a7656c4eb2af
CATEGORIES:Applied and Computational Math Seminar
CREATED:20240416T221749
SUMMARY:Computer-assisted proofs for differential equations with non-polynomial nonlinearities via the FFT.
LOCATION:Hill 425
DESCRIPTION:<div class="x_elementToProof" style="border: 0px; font-style: inherit; font
 -variant: inherit; font-weight: inherit; font-size: 15px; line-height: inhe
 rit; font-family: Calibri, Helvetica, sans-serif; margin: 0px; padding: 0px
 ; vertical-align: baseline; color: #000000; text-align: left; text-indent: 
 0px;">This presentation introduces a methodology for generating computer-as
 sisted proofs (CAPs) to establish the existence of solutions for nonlinear 
 differential equations with non-polynomial analytic nonlinearities. Our app
 roach integrates the Fast Fourier Transform (FFT) algorithm with interval a
 rithmetic and a Newton-Kantorovich argument to construct CAPs effectively. 
 Notably, to rigorously manage the Fourier coefficients of the nonlinear ter
 m Fourier series, we leverage insights from complex analysis and the Discre
 te Poisson Summation Formula. We showcase the applicability of our method t
 hrough two examples: firstly, verifying the existence of periodic orbits in
  the Mackey-Glass (delay) equation, and secondly, proving the existence of 
 periodic localized traveling waves in the two-dimensional suspension bridge
  equation.</div><div class="x_elementToProof" style="border: 0px; font-styl
 e: inherit; font-variant: inherit; font-weight: inherit; font-size: 15px; l
 ine-height: inherit; font-family: Calibri, Helvetica, sans-serif; margin: 0
 px; padding: 0px; vertical-align: baseline; color: #000000; text-align: lef
 t; text-indent: 0px;">&nbsp;</div>
CONTACT:Jean-Philippe Lessard (McGill University)
DTSTAMP:20260901T115201
DTSTART;TZID=America/New_York:20240419T130000
DTEND;TZID=America/New_York:20240419T140000
SEQUENCE:0
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR