Bramburger Jason J, Goluskin David
Department of Mathematics and Statistics, University of Victoria, Victoria, British Columbia, Canada V8P 5C2.
Proc Math Phys Eng Sci. 2020 Sep;476(2241):20200450. doi: 10.1098/rspa.2020.0450. Epub 2020 Sep 16.
Many monostable reaction-diffusion equations admit one-dimensional travelling waves if and only if the wave speed is sufficiently high. The values of these minimum wave speeds are not known exactly, except in a few simple cases. We present methods for finding upper and lower bounds on minimum wave speed. They rely on constructing trapping boundaries for dynamical systems whose heteroclinic connections correspond to the travelling waves. Simple versions of this approach can be carried out analytically but often give overly conservative bounds on minimum wave speed. When the reaction-diffusion equations being studied have polynomial nonlinearities, our approach can be implemented computationally using polynomial optimization. For scalar reaction-diffusion equations, we present a general method and then apply it to examples from the literature where minimum wave speeds were unknown. The extension of our approach to multi-component reaction-diffusion systems is then illustrated using a cubic autocatalysis model from the literature. In all three examples and with many different parameter values, polynomial optimization computations give upper and lower bounds that are within 0.1% of each other and thus nearly sharp. Upper bounds are derived analytically as well for the scalar reaction-diffusion equations.
许多单稳反应扩散方程当且仅当波速足够高时才允许一维行波存在。除了少数简单情况外,这些最小波速的值并不确切知道。我们提出了寻找最小波速上下界的方法。它们依赖于为动力系统构建捕获边界,该动力系统的异宿连接对应于行波。这种方法的简单版本可以通过解析方法实现,但通常会给出关于最小波速的过于保守的界。当所研究的反应扩散方程具有多项式非线性时,我们的方法可以使用多项式优化通过计算实现。对于标量反应扩散方程,我们提出一种通用方法,然后将其应用于文献中最小波速未知的例子。然后使用文献中的一个三次自催化模型来说明我们的方法对多组分反应扩散系统的扩展。在所有三个例子以及许多不同的参数值下,多项式优化计算给出的上下界彼此相差在0.1%以内,因此几乎是精确的。对于标量反应扩散方程,也通过解析方法导出了上界。