Traveling Waves in Spatial SIRS Models

We study traveling wavefront solutions for two reaction-diffusion systems, which are derived respectively as diffusion approximations to two nonlocal spatial SIRS models. These solutions characterize the propagating progress and speed of the spatial spread of underlying epidemic waves. For the first diffusion system, we find a lower bound for wave speeds and prove that the traveling waves exist for all speeds bigger than this bound. For the second diffusion system, we find the minimal wave speed and show that the traveling waves exist for all speeds bigger than or equal to the minimal speed. We further prove the uniqueness (up to translation) of these solutions for sufficiently large wave speeds. The existence of these solutions are proved by a shooting argument combining with LaSalle's invariance principle, and their uniqueness by a geometric singular perturbation argument.