Difference analogue of the Lemma on the Logarithmic Derivative with applications to difference equations

The Lemma on the Logarithmic Derivative of a meromorphic function has many applications in the study of meromorphic functions and ordinary differential equations. In this paper, a difference analogue of the Logarithmic Derivative Lemma is presented and then applied to prove a number of results on meromorphic solutions of complex difference equations. These results include a difference analogue of the Clunie Lemma, as well as other results on the value distribution of solutions.Comment: 12 pages. To appear in the Journal of Mathematical Analysis and Application

Nevanlinna theory for the difference operator

Certain estimates involving the derivative $f\mapsto f'$ of a meromorphic function play key roles in the construction and applications of classical Nevanlinna theory. The purpose of this study is to extend the usual Nevanlinna theory to a theory for the exact difference $f\mapsto \Delta f=f(z+c)-f(z)$. An $a$-point of a meromorphic function $f$ is said to be $c$-paired at z\in\C if $f(z)=a=f(z+c)$ for a fixed constant c\in\C. In this paper the distribution of paired points of finite-order meromorphic functions is studied. One of the main results is an analogue of the second main theorem of Nevanlinna theory, where the usual ramification term is replaced by a quantity expressed in terms of the number of paired points of $f$. Corollaries of the theorem include analogues of the Nevanlinna defect relation, Picard's theorem and Nevanlinna's five value theorem. Applications to difference equations are discussed, and a number of examples illustrating the use and sharpness of the results are given.Comment: 19 page

Finite-order meromorphic solutions and the discrete Painleve equations

Let w(z) be a finite-order meromorphic solution of the second-order difference equation w(z+1)+w(z-1) = R(z,w(z)) (eqn 1) where R(z,w(z)) is rational in w(z) and meromorphic in z. Then either w(z) satisfies a difference linear or Riccati equation or else equation (1) can be transformed to one of a list of canonical difference equations. This list consists of all known difference Painleve equation of the form (1), together with their autonomous versions. This suggests that the existence of finite-order meromorphic solutions is a good detector of integrable difference equations.Comment: 34 page

The C-metric as a colliding plane wave space-time

It is explicitly shown that part of the C-metric space-time inside the black hole horizon may be interpreted as the interaction region of two colliding plane waves with aligned linear polarization, provided the rotational coordinate is replaced by a linear one. This is a one-parameter generalization of the degenerate Ferrari-Ibanez solution in which the focussing singularity is a Cauchy horizon rather than a curvature singularity.Comment: 6 pages. To appear in Classical and Quantum Gravit

Movable algebraic singularities of second-order ordinary differential equations

Any nonlinear equation of the form y''=\sum_{n=0}^N a_n(z)y^n has a (generally branched) solution with leading order behaviour proportional to (z-z_0)^{-2/(N-1)} about a point z_0, where the coefficients a_n are analytic at z_0 and a_N(z_0)\ne 0. We consider the subclass of equations for which each possible leading order term of this form corresponds to a one-parameter family of solutions represented near z_0 by a Laurent series in fractional powers of z-z_0. For this class of equations we show that the only movable singularities that can be reached by analytic continuation along finite-length curves are of the algebraic type just described. This work generalizes previous results of S. Shimomura. The only other possible kind of movable singularity that might occur is an accumulation point of algebraic singularities that can be reached by analytic continuation along infinitely long paths ending at a finite point in the complex plane. This behaviour cannot occur for constant coefficient equations in the class considered. However, an example of R. A. Smith shows that such singularities do occur in solutions of a simple autonomous second-order differential equation outside the class we consider here

A nonlocal connection between certain linear and nonlinear ordinary differential equations/oscillators

We explore a nonlocal connection between certain linear and nonlinear ordinary differential equations (ODEs), representing physically important oscillator systems, and identify a class of integrable nonlinear ODEs of any order. We also devise a method to derive explicit general solutions of the nonlinear ODEs. Interestingly, many well known integrable models can be accommodated into our scheme and our procedure thereby provides further understanding of these models.Comment: 12 pages. J. Phys. A: Math. Gen. 39 (2006) in pres

Algebraic entropy for algebraic maps

We propose an extension of the concept of algebraic entropy, as introduced by Bellon and Viallet for rational maps, to algebraic maps (or correspondences) of a certain kind. The corresponding entropy is an index of the complexity of the map. The definition inherits the basic properties from the definition of entropy for rational maps. We give an example with positive entropy, as well as two examples taken from the theory of Backlund transformations