Pattern formation in the thiourea-iodate-sulfite system: Spatial bistability, waves, and stationary patterns

We present a detailed study of the reaction-diffusion patterns observed in the thiourea-iodate-sulfite (TuIS) reaction, operated in open one-side-fed reactors. Besides spatial bistability and spatio-temporal oscillatory dynamics, this proton autoactivated reaction shows stationary patterns, as a result of two back-to-back Turing bifurcations, in the presence of a low-mobility proton binding agent (sodium polyacrylate). This is the third aqueous solution system to produce stationary patterns and the second to do this through a Turing bifurcation. The stationary pattern forming capacities of the reaction are explored through a systematic design method, which is applicable to other bistable and oscillatory reactions. The spatio-temporal dynamics of this reaction is compared with that of the previous ferrocyanide-iodate-sulfite mixed Landolt system.     

Quantum Principles and Mathematical Computability

Taking the view that computation is after all physical, we argue that physics, particularly quantum physics, could help extend the notion of computability. Here, we list the important and unique features of quantum mechanics and then outline a quantum mechanical “algorithm” for one of the insoluble problems of mathematics, the Hilbert's tenth and equivalently the Turing halting problem. The key element of this algorithm is the computability and measurability of both the values of physical observables and of the quantum-mechanical probability distributions for these values.     

Spontaneous Formation of Microgroove Arrays on the Surface of p‐Type Porous Silicon Induced by a Turing Instability in Electrochemical Dissolution

Self‐organization plays an imperative role in recent materials science. Highly tunable, periodic structures based on dynamic self‐organization at micrometer scales have proven difficult to design, but are desired for the further development of micropatterning. In the present study, we report a microgroove array that spontaneously forms on a p‐type silicon surface during its electrodissolution. Our detailed experimental results suggest that the instability can be classified as Turing instability. The characteristic scale of the Turing‐type pattern is small compared to self‐organized patterns caused by the Turing instabilities reported so far. The mechanism for the miniaturization of self‐organized patterns is strongly related to the semiconducting property of silicon electrodes as well as the dynamics of their surface chemistry.     

Non-Uniformity and Generalised Sacks Splitting

We show that there do not exist computable functions f ₁(e, i), f ₂(e, i), g ₁(e, i), g ₂(e, i) such that for all e, i ∈ ω, (1) $ {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)} \leqslant _{{\rm T}} {\left( {W_{e} - W_{i} } \right)}; $ (2) $ {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)} \leqslant _{{\rm T}} {\left( {W_{e} - W_{i} } \right)}; $ (3) $ {\left( {W_{e} - W_{i} } \right)} \not\leqslant _{{\rm T}} {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)} \oplus {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)}; $ (4) $ {\left( {W_{e} - W_{i} } \right)} \not\leqslant _{{\rm T}} {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)}{\text{unless}}{\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\emptyset};{\text{and}} $ (5) $ {\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)}{\text{unless}}{\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\emptyset}. $ It follows that the splitting theorems of Sacks and Cooper cannot be combined uniformly.     

修正的Leslie-Gower捕食者-食饵扩散模型解的整体性态

讨论带有一般扩散的修正的Leslie-Gower捕食者-食饵模型解的整体性态。发现仅带有一般扩散的系统与相应的常微分系统解的动力学行为相似。所以,一般扩散不能导致Turing不稳定现象发生。     

A moving grid finite element method applied to a model biological pattern generator

Many problems in biology involve growth. In numerical simulations it can therefore be very convenient to employ a moving computational grid on a continuously deforming domain. In this paper we present a novel application of the moving grid finite element method to compute solutions of reaction–diffusion systems in two-dimensional continuously deforming Euclidean domains. A numerical software package has been developed as a result of this research that is capable of solving generalised Turing models for morphogenesis.     

Turing pattern formation for reaction–convection–diffusion systems in fixed domains submitted to toroidal velocity fields

We have studied the effect of advection on reaction–diffusion equations by using toroidal velocity fields. Turing patterns formation in diffusion–advection–reaction problems was studied specifically, considering the Schnackenberg and glycolysis reaction kinetics models. Four cases were analyzed and solved numerically using finite elements. For glycolysis models, the advective effect modified the form of Turing patterns obtained with diffusion–reaction; whereas for Schnackenberg problems, the original patterns distorted themselves slightly, making them rotate in direction of the velocity field. We have also determined that the advective effect surpassed the diffusive one for high values of velocity and instability driven by diffusion was eliminated. On the other hand the advective effect is not considerable for very low values in the velocity field, and there was no modification in the original Turing pattern.     

Numerical approximation of Turing patterns in electrodeposition by ADI methods

In this paper we study the numerical approximation of Turing patterns corresponding to steady state solutions of a PDE system of reaction–diffusion equations modeling an electrodeposition process. We apply the Method of Lines (MOL) and describe the semi-discretization by high order finite differences in space given by the Extended Central Difference Formulas (ECDFs) that approximate Neumann boundary conditions (BCs) with the same accuracy. We introduce a test equation to describe the interplay between the diffusion and the reaction time scales. We present a stability analysis of a selection of time-integrators (IMEX 2-SBDF method, Crank–Nicolson (CN), Alternating Direction Implicit (ADI) method) for the test equation as well as for the Schnakenberg model, prototype of nonlinear reaction–diffusion systems with Turing patterns. Eventually, we apply the ADI-ECDF schemes to solve the electrodeposition model until the stationary patterns (spots & worms and only spots) are reached. We validate the model by comparison with experiments on Cu film growth by electrodeposition.     

On nonlinear coupled diffusions in competition systems

A class of reaction-diffusion systems modeling plant growth with spatial competition in saturated media is presented. We show, in this context, that standard diffusion can not lead to pattern formation (Diffusion Driven Instability of Turing). Degenerated nonlinear coupled diffusions inducing free boundaries and exclusive spatial diffusions are proposed. Local and global existence results are proved for smooth approximations of the degenerated nonlinear diffusions systems which give rise to long-time pattern formations. Numerical simulations of a competition model with degenerate/non degenerate nonlinear coupled diffusions are performed and we carry out the effect of the these diffusions on pattern formation and on the change of basins of attraction.