Adhesion of cells to one another and their environment is an important regulator of many biological processes but has proved difficult to incorporate into continuum mathematical models. This paper develops further the new modelling approach proposed by Armstrong et al. (A continuum approach to modelling cell–cell adhesion, J. Theor. Biol. 243: 98–113, 2006). The models studied in the present paper use an integro-partial differential equation for cell behaviour, in which the integral represents the sensing by cells of their local environment. This enables an effective representation of cell–cell adhesion, as well as random cell movement, and cell proliferation. The authors use this modelling approach to investigate the ability of cell–cell adhesion to generate spatial patterns during cell aggregation. The model is also extended to give a new representation of cancer growth, whose solutions reflect the balance between cell–cell and cell–matrix adhesion in regulating cancer invasion. The non-local term in these models means that there is no standard theory from which one can deduce the boundedness required for biological realism: specifically, solutions for cell density must lie between zero and a positive density corresponding to close cell packing. Here the authors derive a number of conditions, each of which is sufficient for the required boundedness, and they demonstrate numerically that cell density increases above the upper bound for some parameter sets not satisfying these conditions. Finally the authors outline what they regard as the main mathematical challenges for future work on boundedness in models of this type.

We consider a solution of a mono-component oil and wax. The latter is dissolved in the oil if the temperature is above the so-called cloud point (which depends on the concentration) and it segregates in the form of solid crystals if temperature is below the cloud point. As the solid fraction of wax increases, the diffusivity of liquid wax in the oil decreases (gelification), eventually vanishing. We study a one-dimensional model where temperature is initially above the cloud point and then it is lowered to induce diffusion and gelification. We formulate the relevant mathematical problem (a free boundary problem), studying its well-posedness and showing some qualitative results.

Quaternionic vector mKDV equations are derived from the Cartan structure equation in the symmetric space = Sp(n+1)/Sp(1) × Sp(n). The derivation of the soliton hierarchy utilizes a moving parallel frame and a Cartan connection 1-form ω related to the Cartan geometry on modelled on . The integrability structure is shown to be geometrically encoded by a Poisson–Nijenhuis structure and a symplectic operator.

We present a two-dimensional micro-scale model for crystal dissolution and precipitation in a porous medium. The local geometry of the pore is represented as a thin strip and the model allows for changes in the pore volume. A formal limiting argument, for the limit of the width of the strip going to zero, leads to a system of one-dimensional effective upscaled equations. We show that the effective equations allow for travelling-wave solutions and prove the existence and uniqueness of these. Numerical solutions of the effective equations are compared with numerical solutions of the original equations on the thin strip and with analytical results. We also show that a model from the literature that does not allow changes in the pore volume can be obtained from the present model as a formal limit.

We show that lattice dynamical systems naturally arise on infinite-dimensional invariant manifolds of reaction–diffusion equations with spatially periodic diffusive fluxes. The result connects wave-pinning phenomena in lattice differential equations and in reaction–diffusion equations in inhomogeneous media. The proof is based on a careful singular perturbation analysis of the linear part, where the infinite-dimensional manifold corresponds to an infinite-dimensional centre eigenspace.

Let E be a Banach space, with unit ball BE. We study the spectrum and the essential spectrum of a composition operator on H∞(BE) determined by an analytic symbol with a fixed point in BE. We relate the spectrum of the composition operator to that of the derivative of the symbol at the fixed point. We extend a theorem of Zheng to the context of analytic symbols on the open unit ball of a Hilbert space.

As did the very first ISLAND workshop, ISLAND 3 took place on the Hebridean island of Islay, providing a beautiful and serene surrounding for the meeting which ran for over four days. Building on the success of the previous meetings, ISLAND 3 saw the largest number (so far) of participants coming from countries all over the world. A complete list can be found below.

An integrable two-component analogue of the two-dimensional long wave – short wave resonance interaction (2c-2d-LSRI) system is studied. Wronskian solutions of 2c-2d-LSRI system are presented. A reduced case, which describes resonant interaction between an interfacial wave and two surface wave packets in a two-layer fluid, is also discussed.

We present a systematic construction of the discrete KP hierarchy in terms of Sato–Wilson-type shift operators. Reductions of the equations in this hierarchy to 1+1-dimensional integrable lattice systems are considered, and the problems that arise with regard to the symmetry algebra underlying the reduced systems as well as the ultradiscretizability of these systems are discussed. A scheme for constructing ultradiscretizable reductions that give rise to Yang–Baxter maps is explained in two explicit examples.

We describe a family of integrable lattice maps related to the known quad maps Q4. The integrability criterion we use is the vanishing of the algebraic entropy. The family has the advantage of being parametrized rationally: all its parameters are unconstrained.

This paper is concerned with the properties of differential-geometric-type Poisson brackets specified by a differential operator of degree 2. It also considers the conditions required for such a Poisson bracket to form a bi-Hamiltonian structure with a hydrodynamic-type Poisson bracket.

We study a non-commutative version of the Kadomtsev-Petviashvili equations and construct a family of solutions generalizing naturally the soliton to the non-commutative setting. From this we derive explicit solution formulas as well for the scalar as for the matrix-Kadomtsev-Petviashvili equation which still depend on operator parameters.

In this paper, we discuss implications of the results obtained in [5]. It was shown there that eigenvectors of the Bethe algebra of the quantum N Gaudin model are in a one-to-one correspondence with Fuchsian differential operators with polynomial kernel. Here, we interpret this fact as a separation of variables in the N Gaudin model. Having a Fuchsian differential operator with polynomial kernel, we construct the corresponding eigenvector of the Bethe algebra. It was shown in [5] that the Bethe algebra has simple spectrum if the evaluation parameters of the Gaudin model are generic. In that case, our Bethe ansatz construction produces an eigenbasis of the Bethe algebra.

We prove the modularity of minimally ramified ordinary residually reducible p-adic Galois representations of an imaginary quadratic field F under certain assumptions. We first exhibit conditions under which the residual representation is unique up to isomorphism. Then we prove the existence of deformations arising from cuspforms on GL2(AF) via the Galois representations constructed by Taylor et al. We establish a sufficient condition (in terms of the non-existence of certain field extensions which in many cases can be reduced to a condition on an L-value) for the universal deformation ring to be a discrete valuation ring and in that case we prove an R=T theorem. We also study reducible deformations and show that no minimal characteristic 0 reducible deformation exists.

In this article, we explore a beautiful idea of Skinner and Wiles in the context of GSp(4) over a totally real field. The main result provides congruences between automorphic forms which are Iwahori-spherical at a certain place ω, and forms with a tamely ramified principal series at ω, Thus, after base change to a finite solvable totally real extension, one can often lower the level at ω. For the proof, we first establish an analogue of the Jacquet–Langlands correspondence, using the stable trace formula. The congruences are then obtained on inner forms, which are compact at infinity modulo the centre, and split at all the finite places. The crucial ingredient allowing us to do so, is an important result of Roche on types for principal series representations of split reductive groups.

We associate two almost Cp-representations to a (ϕ,Γ)-module, and we compute their dimensions and heights. As a corollary, we get a full faithfulness result for Be-representations.

In this paper we consider the dynamical system involved by the Ricci operator on the space of Kähler metrics of a Fano manifold. Nadel has defined an iteration scheme given by the Ricci operator and asked whether it has some non-trivial periodic points. First, we prove that no such periodic points can exist. We define the inverse of the Ricci operator and consider the dynamical behaviour of its iterates for a Fano Kähler–Einstein manifold. Then we define a finite-dimensional procedure to give an approximation of Kähler–Einstein metrics using this iterative procedure and apply it on ℂℙ2 blown up in three points.

The arithmetic is interpreted in all the groups of Richard Thompson and Graham Higman, as well as in other groups of piecewise affine permutations of an interval which generalize the groups of Thompson and Higman. In particular, the elementary theories of all these groups are undecidable. Moreover, Thompson's group F and some of its generalizations interpret the arithmetic without parameters.