Asymptotic periodicity of the Volterra equation with infinite delay

For some species, hereditary factors have great effects on their population evolution, which can be described by the well-known Volterra model. A model developed is investigated in this article, considering the seasonal variation of the environment, where the diffusive effect of the population is also considered. The main approaches employed here are the upper-lower solution method and the monotone iteration technique. The results show that whether the species dies out or not depends on the relations among the birth rate, the death rate, the competition rate, the diffusivity and the hereditary effects. The evolution of the population may show asymptotic periodicity, provided a certain condition is satisfied for the above factors. (c) 2006 Elsevier Ltd. All rights reserved.

Traveling wave front for the Fisher equation on an infinite band region

Instead of discussing the existence of a one-dimensional traveling wave front solution which connects two constant steady states, the present work deals with the case connecting a constant and a nonhomogeneous steady state on an infinite band region. The corresponding model is the well-known Fisher equation with variational coefficient and Dirichlet boundary condition. (c) 2006 Elsevier Ltd. All rights reserved.

An Infinite Pebble Game and Applications

We generalize the well-known pebble game to infinite dag's, and we use this generalization to give new and shorter proofs of results in different areas of computer science (as diverse as "logic of programs" and "formal language theory"). Our applications here include a proof of a theorem due to Salomaa, asserting the existence of a context-free language with infinite index, and a proof of a theorem due to Tiuryn and Erimbetov, asserting that unbounded memory increases the power of logics of programs. The original proofs by Salomaa, Tiuryn, and Erimbetov, are fairly technical. The proofs by Tiuryn and Erimbetov also involve advanced techniques of model theory, namely, back-and-forth constructions based on a variant of Ehrenfeucht-Fraisse games. By contrast, our proofs are not only shorter, but also elementary. All we need is essentially finite induction and, in the case of the Tiuryn-Erimbetov result, the compactness and completeness of first-order logic.

Stochastic switching in infinite dimensions with applications to random parabolic PDE

© 2015 Society for Industrial and Applied Mathematics.We consider parabolic PDEs with randomly switching boundary conditions. In order to analyze these random PDEs, we consider more general stochastic hybrid systems and prove convergence to, and properties of, a stationary distribution. Applying these general results to the heat equation with randomly switching boundary conditions, we find explicit formulae for various statistics of the solution and obtain almost sure results about its regularity and structure. These results are of particular interest for biological applications as well as for their significant departure from behavior seen in PDEs forced by disparate Gaussian noise. Our general results also have applications to other types of stochastic hybrid systems, such as ODEs with randomly switching right-hand sides.

A class of generalized Lévy Laplacians in infinite dimensional calculus

A class of generalized Lévy Laplacians which contain as a special case the ordinary Lévy Laplacian are considered. Topics such as limit average of the second order functional derivative with respect to a certain equally dense (uniformly bounded) orthonormal base, the relations with Kuo’s Fourier transform and other infinite dimensional Laplacians are studied.

Coupled consolidation of a solid, infinite cylinder using a Terzaghi formulation

Axisymmetric consolidation is a classical boundary value problem for geotechnical engineers. Under some circumstances an analysis in which the changes in pore pressure, effective stress and displacement can be uncoupled from each other is sufficient, leading to a Terzaghi formulation of the axisymmetric consolidation equation in terms of the pore pressure. However, representation of the Mandel-Cryer effect usually requires more complex, coupled, Biot formulations. A new coupled formulation for the plane strain, axisymmetric consolidation problem is presented for small, linear elastic deformations. A single, easily evaluated parameter couples changes in pore pressure to changes in effective stress, and the resulting differential equation for pore pressure dissipation is very similar to Terzaghi’s classic formulation. The governing equations are then solved using finite differences and the consolidation of a solid infinite cylinder analysed, calculating the variation with time and with radius of the excess pore pressure and the radial displacement. Comparison with a previously published semi-analytical solution indicates that the formulation successfully embodies the Mandel-Cryer effect.

Whitney's type theorems for infinite dimensional spaces

It is proved that for any $f$ is an element of $C^k(L,R)$, where k is a natural number and L is a closed linear subspace of a nuclear Frechet space $X$, the function $f$ can be extended to a function of class $C^{k-1}$ defined on the entire space $X$. It is also proved that for any $f$ is an element of $C^k(L, R)$, where $k$ is a natural number of infinity and L is a closed linear subspace of a dual $X$ of a nuclear Frechet space, the function $f$ can be extended to a function of class $C^k$ defined on the entire space $X$. In addition, it is proved that under these conditions, the existence of a linear extension operator is equivalent to the complementability of the subspace.

An infinite-dimensional separable pre-Hilbert space non-homeomorphic to any of its closed hyperplanes

An example is constructed of an infinite-dimensional separable pre-Hilbert space non-homeomorphic to any of its closed hyperplanes.

Counterexample to Peano's theorem in infinite-dimensional F '-spaces

Let $E$ be a nonnormable Frechet space, and let $E'$ be the space of all continuous linear functionals on $E$ in the strong topology. A continuous mapping $f : E' \to E'$ such that for any $t_0\in R$ and $x_0\in E'$, the Cauchy problem $\dot x= f(x)$, x(t_0) = x_0$ has no solutions is constructed.

Simple heuristics: From one infinite regress to another?

Gigerenzer, Todd, and the ABC Research Group argue that optimisation under constraints leads to an infinite regress due to decisions about how much information to consider when deciding. In certain cases, however, their fast and frugal heuristics lead instead to an endless series of decisions about how best to decide.