六边形格子态斑图的数值模拟

采用双层耦合的Lengel-Epstein模型, 通过改变两子系统图灵模的强度比, 获得了四种的六边形格子态和多种非格子态结构. 模拟结果表明: 反应扩散系统的格子态结构由三套子结构叠加而成, 是两图灵模的波数比和强度比共同作用的结果, 两模的强度比决定了三波共振的具体模式; 另外, 系统选择格子态斑图所需的两图灵模的强度比大于非格子态斑图的强度比; 逐步增加两图灵模强度比, 出现的斑图趋于从复杂到简单变化. 深入研究发现: 不同互质数对(a, b)对应的格子态斑图的稳定性不同, 其中(3, 2)对应的格子态结构最为稳定.     

Pf ≠ NPf for almost all f

We discuss the question of Ralf‐Dieter Schindler whether for infinite time Turing machines P^f = NP^f can be true for any function f from the reals into ω₁. We show that “almost everywhere” the answer is negative.     

Hopf bifurcation and Turing instability in spatial homogeneous and inhomogeneous predator-prey models

This paper is concerned with two-species spatial homogeneous and inhomogeneous predator-prey models with Beddington-DeAngelis functional response. For the spatial homogeneous model, the asymptotic behavior of the interior equilibrium and the existence of Hopf bifurcation of nonconstant periodic solutions surrounding the interior equilibrium are considered. Furthermore, the direction of Hopf bifurcation and the stability of bifurcated periodic solutions are investigated. For the model with no-flux boundary conditions, Turing instability of the interior equilibrium solution is studied. In particular, Turing instability region regarding the parameters is established. Finally, to verify our theoretical results, some numerical simulations are also included.     

Turing pattern selection in a reactionben diffusion epidemic modelast

We present Turing pattern selection in a reaction—diffusion epidemic model under zero-flux boundary conditions. The value of this study is twofold. First, it establishes the amplitude equations for the excited modes, which determines the stability of amplitudes towards uniform and inhomogeneous perturbations. Second, it illustrates all five categories of Turing patterns close to the onset of Turing bifurcation via numerical simulations which indicates that the model dynamics exhibits complex pattern replication: on increasing the control parameter v, the sequence “H₀ hexagons → H₀-hexagon-stripe mixtures → stripes → H_π-hexagon-stripe mixtures → H_π hexagons” is observed. This may enrich the pattern dynamics in a diffusive epidemic model.     

一类植物-草食动物扩散系统的动力学分析

考虑一类植物-草食动物扩散系统的动力学性质. 首先, 用上下解方法和抛物方程的比较定理, 证明该系统解的全局存在性、耗散性和持续性; 其次, 基于椭圆算子主特征值理论和Lyapunov函数方法, 给出常值稳态解的存在性、 局部和全局渐近稳定性, 并建立系统产生图灵不稳定的判别准则; 最后, 通过数值模拟验证所得结果的有效性.     

Stability Analysis of a Diffusive Predator-prey Model with Hunting Cooperation

In this paper, we are concerned with the dynamics of a diffusive predator-prey model that incorporates the functional response concerning hunting cooperation. First, we investigate the stability of the semi-trivial steady state. Then, we investigate the influence of the diffusive rates on the stability of the positive constant steady state. It is shown that there exists diffusion-driven Turing instability when the diffusive rate of the predator is smaller than the critical value, which is dependent on the diffusive rate of the prey, and the semi-trivial steady state and the positive constant steady state are both locally asymptotically stable when the diffusive rate of the predator is larger than the critical value. Finally, the nonexistence of nonconstant steady states is discussed.     

基于比率依赖的Leslie捕食扩散模型的Turing不稳定性

针对一类带有比率依赖的HollingⅡ型功能反应的Leslie捕食模型的扩散问题进行研究.首先得到无扩散时正平衡点的稳定条件,讨论在正平衡点附近Hopf分支的存在性和稳定性;其次,讨论了扩散存在时对正平衡点稳定性产生的影响;最后给出数值模拟验证.     

Formation and control of Turing patterns and phase fronts in photonics and chemistry

We review the main mechanisms for the formation of regular spatial structures (Turing patterns) and phase fronts in photonics and chemistry driven by either diffraction or diffusion. We first demonstrate that the so-called ‘off-resonance’ mechanism leading to regular patterns in photonics is a Turing instability. We then show that negative feedback techniques for the control of photonic patterns based on Fourier transforms can be extended and applied to chemical experiments. The dynamics of phase fronts leading to locked lines and spots are also presented to outline analogies and differences in the study of complex systems in these two scientific disciplines.     

Conservative cross diffusions and pattern formation through relaxation

This paper is aimed at studying the formation of patches in a cross-diffusion system without reaction terms when the diffusion matrix can be negative but with positive self-diffusion. We prove existence results for small data and global a priori bounds in space–time Lebesgue spaces for a large class of ‘diffusion’ matrices. This result indicates that blow-up should occur on the gradient. One can tackle this issue using a relaxation system with global solutions and prove uniform a priori estimates. Our proofs are based on a duality argument à la M. Pierre which we extend to treat degeneracy and growth of the diffusion matrix.We also analyze the linearized instability of the relaxation system and a Turing type mechanism can occur. This gives the range of parameters and data for which instability may occur. Numerical simulations show that patterns arise indeed in this range and the solutions tend to exhibit patches with stiff gradients on bounded solutions, in accordance with the theory.