具有集群行为的捕食者-食饵反应扩散系统的稳定性和Turing不稳定性

考虑了具有集群行为的鱼群捕食者-食饵反应扩散系统.通过详细分析系统在唯一正常数平衡解处线性化系统的特征方程的根在复平面上的分布情况,讨论系统唯一正常数平衡解的局部渐近稳定性以及Turing不稳定性,并且利用MATLAB软件对所获得的理论结论进行了数值验证.     

用图灵机计算热传导方程

研究了带初值的热传导方程广义解的可计算性。首先,给出TTE的一些基本概念,然后,通过广义函数的理论得出热传导方程的基本解;最后,运用广义函数卷积的可计算性质得到最后证明。     

具有饱和效应的任意阶自催化反应扩散模型的Turing不稳定性和Hopf分支

利用Hopf分支理论,研究一类具有饱和效应的任意阶自催化反应扩散模型.首先,对常微分系统给出正平衡点的稳定性,且以a为分支参数给出Hopf分支的存在性及稳定性;其次,对扩散系统建立由扩散引起的Turing不稳定性,同时给出Hopf分支的存在性;最后,用数值模拟实例验证理论分析结果的正确性.     

金属胶束催化体系中经Turing分支形成的空间有序结构与催化活性

摘要基于金属胶束催化反应的三元复合物动力学模型, 分析了金属胶束作为一类特殊的超分子体系, 其参与催化反应的特殊动力学行为与体系中可能出现的自组织结构的关系. 研究结果表明, 在一定的边界条件下, 即使基元反应是线性化学反应步骤, 由于扩散步骤与化学反应的耦合, 以及非理想性的组分热力学行为, 也将不可避免地出现经Turing分支形成的浓度场空间自组织. 计算结果表明, 这种宏观有序结构的形成将使金属胶束催化体系中呈现出以存在反应活性极高的位点为特征的反应活性的空间有序分布; 从自组织理论的角度对这类胶束体系催化活性的时空有序特征给予一定程度的阐释.     

一类带有反应扩散项和非单调功能反应函数的食饵-捕食系统的Turing不稳定性

研究了带有反应扩散项和非单调功能反应函数的食饵-捕食系统,分析了系统的局部稳定性,并且推导出了系统空间齐次和非齐次常数平衡解Turing不稳定的精确的参数范围.应用数值模拟进一步说明了理论推导的正确性.     

Investigations on the approximability and computability of the Hilbert transform with applications

It was recently shown that on a large class of important Banach spaces there exist no linear methods which are able to approximate the Hilbert transform from samples of the given function. This implies that there is no linear algorithm for calculating the Hilbert transform which can be implemented on a digital computer and which converges for all functions from the corresponding Banach spaces. The present paper develops a much more general framework which also includes non-linear approximation methods. All algorithms within this framework have only to satisfy an axiom which guarantees the computability of the algorithm based on given samples of the function. The paper investigates whether there exists an algorithm within this general framework which converges to the Hilbert transform for all functions in these Banach spaces. It is shown that non-linear methods give actually no improvement over linear methods. Moreover, the paper discusses some consequences regarding the Turing computability of the Hilbert transform and the existence of computational bases in Banach spaces.     

Turing instability for a semi-discrete Gierer-Meinhardt system

In this paper, we investigate the spatial patterns of a Gierer-Meinhardt system where the space is discrete in two dimensions with the periodic boundary condition and time is continuous, in contrast to the continuum models. The conditions of Turing instability are obtained by linear analysis and a series of numerical simulations are performed. In the instability region, we have shown that this system can produce a number of different patterns such as stripes and snowflake pattern, other than ubiquitous fix-spotted patterns. As mentioned, the results are substantiated only by means of snapshots of the apatial grid. However, we also give some analysis by using the time series at three random grids and of the average value of states, that is, the stable state patterns can be observed. On the other hand, the effects of varying parameters on pattern formation are also discussed. Moreover, simulations for fixed parameters and special initial conditions indicate that the initial conditions can alter the structure of patterns. The patterns can form as a consequence of cellular interaction. So patterns arising from a semi-discrete model can present simulations on a geometrically accurate representation in biology. As a result, our work is interesting and important in ecology.     

非线性反应－扩散系统中时－空有序结构的多重稳定性

本文讨论非线性反应－扩散系统中产生时－空有序结构的非唯一性和稳定性。基于“从双重稳定性到时间振荡和空间有序结构”的思想，研究了扩展布鲁塞尔模型（ＥｘｔｅｎｄｅｄＢｒｕｓｓｅｌａｔｏｒ）的时－空行为。模型的总体分析和数值模拟表明，在适当的条件下模型可呈现非常丰富的多重稳定性现象，包括空间均匀的定态、空间均匀的时间振荡态和空间不均匀的定态之间的三重稳定性现象。     

Chaotic Turing pattern formation in spatiotemporal systems

The problem of Turing pattern formation has attracted much attention in nonlinear science as well as physics, chemistry and biology. So far spatially ordered Turing patterns have been observed in stationary and oscillatory media only. In this paper we find that spatially ordered Turing patterns exist in chaotic extended systems. And chaotic Turing patterns are strikingly rich and surprisingly beautiful with their space structures. These findings are in sharp contrast with the intuition of pseudo-randomness of chaos. The richness and beauty of the chaotic Turing patterns are attributed to a large variety of symmetry properties realized by various types of self-organizations of partial chaos synchronizations.     

分析中的可计算性

工程和自然科学中大量的科学计算问题,需要可靠的计算方法和计算软件,通常的实数浮点表示方法只提供了一种逼近实数的基本方法.对实数的不同逼近方法诱导不同的可计算性.对实数的重新理解和认识是研究分析中可计算性的重要基础.Klaus Weihrauch基于第二型图灵计算模型,引入了基于无穷串的可计算函数的概念,并建立了第二型能行计算理论.有关可计算实数理论的几种经典模型可以统一在第二型能行计算理论框架中.对于一般的集合,为研究其中元素的可计算性,引入基于字母集Σ的表示系统.形式上是一个部分函数υ∶Σ＊→M或δ∶Σω→M（称为命名系统）,不同命名系统下刻画不同的逼近方法,诱导出不同的可计算性,在能行拓扑空间中诱导出不同的拓扑.拓扑与命名系统之间的内在联系,使得抽象空间中可计算性的研究得到自然延伸.