Long periodic shadowing

A general theorem for establishing the existence of a true periodic orbit near a numerically computed pseudoperiodic orbit of an autonomous system of ordinary differential equations is presented. For practical applications, a Newton method is devised to compute appropriate pseudoperiodic orbits. Then numerical considerations for checking the hypotheses of the theorem in terms of quantities which can be computed directly from the pseudoperiodic orbit and the vector field are addressed. Finally, a numerical method for estimating the Lyapunov exponents of the true periodic orbit is given. The theory and computations are designed to be applicable for unstable periodic orbits with long periods. The existence of several such periodic orbits of the Lorenz equations is exhibited. This revised version was published online in June 2006 with corrections to the Cover Date.     

Periodic orbits of delay differential equations under discretization

This paper deals with the long-time behaviour of numerical solutions of delay differential equations that have asymptotically stable periodic orbits. It is shown that Runge-Kutta discretizations of such equations have attractive invariant curves which approximate the periodic orbit with the order of the method. The research by this author has been made possible by a fellowship of the Royal Netherlands Academy of Arts and Sciences.     

High-order adaptive finite element-singly implicit Runge-Kutta methods for parabolic differential equations

We describe an adaptive mesh refinement finite element method-of-lines procedure for solving one-dimensional parabolic partial differential equations. Solutions are calculated using Galerkin's method with a piecewise hierarchical polynomial basis in space and singly implicit Runge-Kutta (SIRK) methods in time. A modified SIRK formulation eliminates a linear systems solution that is required by the traditional SIRK formulation and leads to a new reduced-order interpolation formula. Stability and temporal error estimation techniques allow acceptance of approximate solutions at intermediate stages, yielding increased efficiency when solving partial differential equations. A priori energy estimates of the local discretization error are obtained for a nonlinear scalar problem. A posteriori estimates of local spatial discretization errors, obtained by order variation, are used with the a priori error estimates to control the adaptive mesh refinement strategy. Computational results suggest convergence of the a posteriori error estimate to the exact discretization error and verify the utility of the adaptive technique.This research was partially supported by the U.S. Air Force Office of Scientific Research, Air Force Systems Command, USAF, under Grant Number AFOSR-90-0194; the U.S. Army Research Office under Contract Number DAAL 03-91-G-0215; by the National Science Foundation under Grant Number CDA-8805910; and by a grant from the Committee on Research, Tulane University.     

Two-sided approximation to periodic solutions of ordinary differential equations

Summary A two-sided approximation to the periodic orbit of an autonomous ordinary differential equation system is considered. First some results about variational equation systems for periodic solutions are obtained in Sect. 2. Then it is proved that if the periodic orbit is convex and stable, the explicit difference solution approximates the periodic orbit from the outer part and the implicit one from the inner part respectively. Finally a numerical example is given to illustrate our result and to point out that the numerical solution no longer has a one-sided approximation property, if the periodic orbit is not convex.The Work is supported by the National Natural Science Foundation of China     

Certified error bounds for uncertain elliptic equations

In many applications, partial differential equations depend on parameters which are only approximately known. Using tools from functional analysis and global optimization, methods are presented for obtaining certificates for rigorous and realistic error bounds on the solution of linear elliptic partial differential equations in arbitrary domains, either in an energy norm, or of key functionals of the solutions, given an approximate solution. Uncertainty in the parameters specifying the partial differential equations can be taken into account, either in a worst case setting, or given limited probabilistic information in terms of clouds.     

Transversality in scalar reaction-diffusion equations on a circle

We prove that stable and unstable manifolds of hyperbolic periodic orbits for general scalar reaction-diffusion equations on a circle always intersect transversally. The argument also shows that for a periodic orbit there are no homoclinic connections. The main tool used in the proofs is Matano's zero number theory dealing with the Sturm nodal properties of the solutions.     

Second-order type-changing evolution equations with first-order intermediate equations

This paper presents a partial classification for C^∞ type-changing symplectic Monge-Ampère partial differential equations (PDEs) that possess an infinite set of first-order intermediate PDEs. The normal forms will be quasi-linear evolution equations whose types change from hyperbolic to either parabolic or to zero. The zero points can be viewed as analogous to singular points in ordinary differential equations. In some cases, intermediate PDEs can be used to establish existence of solutions for ill-posed initial value problems.     

A numerical verification method for a periodic solution of a delay differential equation

We describe a numerical method with guaranteed accuracy to enclose a periodic solution for a system of delay differential equations. Using a certain system of equations corresponding to the original system, we derive sufficient conditions for the existence of the solution, the satisfaction of which can be verified computationally. We describe the verification procedure in detail and give a numerical example.     

Derivation of continuous explicit two-step Runge–Kutta methods of order three

We describe a construction of continuous extensions to a new representation of two-step Runge–Kutta methods for ordinary differential equations. This representation makes possible the accurate and reliable estimation of local discretization error, facilitates the efficient implementation of these methods in variable stepsize environment, and adapts readily to the numerical solution of a class of delay differential equations. A number of numerical tests carried out on the obtained methods of order 3 with quadratic interpolants show their efficiency and robust performance which allow them to compete with the state-of-the-art dde23 code from Matlab.     

Numerical pricing of options using high-order compact finite difference schemes

We consider high-order compact (HOC) schemes for quasilinear parabolic partial differential equations to discretise the Black–Scholes PDE for the numerical pricing of European and American options. We show that for the heat equation with smooth initial conditions, the HOC schemes attain clear fourth-order convergence but fail if non-smooth payoff conditions are used. To restore the fourth-order convergence, we use a grid stretching that concentrates grid nodes at the strike price for European options. For an American option, an efficient procedure is also described to compute the option price, Greeks and the optimal exercise curve. Comparisons with a fourth-order non-compact scheme are also done. However, fourth-order convergence is not experienced with this strategy. To improve the convergence rate for American options, we discuss the use of a front-fixing transformation with the HOC scheme. We also show that the HOC scheme with grid stretching along the asset price dimension gives accurate numerical solutions for European options under stochastic volatility.     

Error analysis and applications of the Fourier-Galerkin Runge-Kutta schemes for high-order stiff PDEs

An integrating factor mixed with Runge-Kutta technique is a time integration method that can be efficiently combined with spatial spectral approximations to provide a very high resolution to the smooth solutions of some linear and nonlinear partial differential equations. In this paper, the novel hybrid Fourier-Galerkin Runge-Kutta scheme, with the aid of an integrating factor, is proposed to solve nonlinear high-order stiff PDEs. Error analysis and properties of the scheme are provided. Application to the approximate solution of the nonlinear stiff Korteweg-de Vries (the 3rd order PDE, dispersive equation), Kuramoto-Sivashinsky (the 4th order PDE, dissipative equation) and Kawahara (the 5th order PDE) equations are presented. Comparisons are made between this proposed scheme and the competing method given by Kassam and Trefethen. It is found that for KdV, KS and Kawahara equations, the proposed method is the best.     

Efficient computation of characteristic roots of delay differential equations using LMS methods

We aim at the efficient computation of the rightmost, stability-determining characteristic roots of a system of delay differential equations. The approach we use is based on the discretization of the time integration operator by a linear multistep (LMS) method. The size of the resulting algebraic eigenvalue problem is inversely proportional to the steplength. We summarize theoretical results on the location and numerical preservation of roots. Furthermore, we select nonstandard LMS methods, which are better suited for our purpose. We present a new procedure that aims at computing efficiently and accurately all roots in any right half-plane. The performance of the new procedure is demonstrated for small- and large-scale systems of delay differential equations.     

The analytical solution of two interesting hyperbolic problems as a test case for a finite volume method with a new grid refinement technique

A finite volume method with grid adaption is applied to two hyperbolic problems: the ultra-relativistic Euler equations, and a scalar conservation law. Both problems are considered in two space dimensions and share the common feature of moving shock waves. In contrast to the classical Euler equations, the derivation of appropriate initial conditions for the ultra-relativistic Euler equations is a non-trivial problem that is solved using one-dimensional shock conditions and the Lorentz invariance of the system. The discretization of both problems is based on a finite volume method of second order in both space and time on a triangular grid. We introduce a variant of the min-mod limiter that avoids unphysical states for the Euler system. The grid is adapted during the integration process. The frequency of grid adaption is controlled automatically in order to guarantee a fine resolution of the moving shock fronts. We introduce the concept of “width refinement” which enlarges the width of strongly refined regions around the shock fronts; the optimal width is found by a numerical study. As a result we are able to improve efficiency by decreasing the number of adaption steps. The performance of the finite volume scheme is compared with several lower order methods.     

Asymptotic behavior of weak solutions for the relativistic Vlasov-Maxwell equations with large light speed

We study here the behavior of time periodic weak solutions for the relativistic Vlasov-Maxwell boundary value problem in a three-dimensional bounded domain with strictly star-shaped boundary when the light speed becomes infinite. We prove the convergence toward a time periodic weak solution for the classical Vlasov-Poisson equations.     

Long term dynamics of a reaction-diffusion system

We study a reaction-diffusion system of two parabolic differential equations describing the behavior of a nuclear reactor. We provide existence results for nontrivial periodic solutions, nonexistence results for stationary solutions and we prove that, depending on the value of the parameters, either the system admits a compact global attractor, or the solutions are unbounded.     

Spline collocation for strongly elliptic equations on the torus

Summary We prove convergence and error estimates in Sobolev spaces for the collocation method with tensor product splines for strongly elliptic pseudodifferential equations on the torus. Examples of applications include elliptic partial differential equations with periodic boundary conditions but also the classical boundary integral operators of potential theory on torus-shaped domains in three or more dimensions. For odd-degree splines, we prove convergence of nodal collocation for any strongly elliptic operator. For even-degree splines and midpoint collocation, we find an additional condition for the convergence which is satisfied for the classical boundary integral operators. Our analysis is a generalization to higher dimensions of the corresponding analysis of Arnold and Wendland [4].     

The solvability of some chemotaxis systems

In this paper, we study the local existence and uniqueness of classical solutions to a wide class of systems of chemotaxis equations. These systems are essentially quasi-linear strongly coupled partial differential equations. We also study the maximal interval of existence in time of solutions. The results are illustrated in application to a number of partial differential equation models arising in biology.     

Multigrid and multilevel methods for quadratic spline collocation

Multigrid methods are developed and analyzed for quadratic spline collocation equations arising from the discretization of one-dimensional second-order differential equations. The rate of convergence of the two-grid method integrated with a damped Richardson relaxation scheme as smoother is shown to be faster than 1/2, independently of the step-size. The additive multilevel versions of the algorithms are also analyzed. The development of quadratic spline collocation multigrid methods is extended to two-dimensional elliptic partial differential equations. Multigrid methods for quadratic spline collocation methods are not straightforward: because the basis functions used with quadratic spline collocation are not nodal basis functions, the design of efficient restriction and extension operators is nontrivial. Experimental results, with V-cycle and full multigrid, indicate that suitably chosen multigrid iteration is a very efficient solver for the quadratic spline collocation equations. Supported by Communications and Information Technology Ontario (CITO), Canada. Supported by the Mathematical, Information, and Computational Sciences Division subprogram of the Office of Computational and Technology Research, U.S. Department of Energy, under Contract W-31-109-Eng-38.     

Convergence rate of numerical solutions to SFDEs with jumps

In this paper, we are interested in numerical solutions of stochastic functional differential equations with jumps. Under a global Lipschitz condition, we show that the pth-moment convergence of Euler-Maruyama numerical solutions to stochastic functional differential equations with jumps has order 1/p for any p≥2. This is significantly different from the case of stochastic functional differential equations without jumps, where the order is 1/2 for any p≥2. It is therefore best to use the mean-square convergence for stochastic functional differential equations with jumps. Moreover, under a local Lipschitz condition, we reveal that the order of mean-square convergence is close to 1/2, provided that local Lipschitz constants, valid on balls of radius j, do not grow faster than logj.     

Solutions of quasi-geostrophic turbulence in multi-layered configurations

We consider quasi-geostrophic (QG) models in two- and three-layers that are useful in theoretical studies of planetary atmospheres and oceans. In these models, the streamfunctions are given by (1+2) partial differential systems of evolution equations. A two-layer QG model, in a simplified version, is dependent exclusively on the Rossby radius of deformation. However, the f-plane QG point vortex model contains factors such as the density, thickness of each layer, the Coriolis parameter, and the constant of gravitational acceleration, and this two-layered model admits a lesser number of Lie point symmetries, as compared to the simplified model. Finally, we study a three-layer oceanography QG model of special interest, which includes asymmetric wind curl forcing or Ekman pumping, that drives double-gyre ocean circulation. In three-layers, we obtain solutions pertaining to the wind-driven doublegyre ocean flow for a range of physically relevant features, such as lateral friction and the analogue parameters of the f-plane QG model. Zero-order invariants are used to reduce the partial differential systems to ordinary differential systems. We determine conservation laws for these QG systems via multiplier methods.