The signature four elliptic theory of Ramanujan is provided with a counterpart to the Jacobian modular sine; this counterpart yields natural direct proofs of several hypergeometric identities recorded by Ramanujan, bypassing the signature four transfer principle of Berndt et al. [‘Ramanujan’s theories of elliptic functions to alternative bases’, Trans. Amer. Math. Soc. 347 (1995), 4163–4244].

Let P and Q be relatively prime integers greater than 1, and let f be a real valued discretely supported function on a finite dimensional real vector space V. We prove that if $f_{P}(x)=f(Px)-f(x)$ and $f_{Q}(x)=f(Qx)-f(x)$ are both $\Lambda $ -periodic for some lattice $\Lambda \subset V$ , then so is f (up to a modification at $0$ ). This result is used to prove a theorem on the arithmetic of elliptic function fields. In the last section, we discuss the higher rank analogue of this theorem and explain why it fails in rank 2. A full discussion of the higher rank case will appear in a forthcoming work.

Let $F_{n}$ and $L_{n}$ be the Fibonacci and Lucas numbers, respectively. Four corresponding zeta functions in $s$ are defined by

$$\begin{eqnarray}\unicode[STIX]{x1D701}_{F}(s):=\mathop{\sum }_{n=1}^{\infty }{\displaystyle \frac{1}{F_{n}^{s}}},\quad \unicode[STIX]{x1D701}_{F}^{\ast }(s):=\mathop{\sum }_{n=1}^{\infty }{\displaystyle \frac{(-1)^{n+1}}{F_{n}^{s}}},\quad \unicode[STIX]{x1D701}_{L}(s):=\mathop{\sum }_{n=1}^{\infty }{\displaystyle \frac{1}{L_{n}^{s}}},\quad \unicode[STIX]{x1D701}_{L}^{\ast }(s):=\mathop{\sum }_{n=1}^{\infty }{\displaystyle \frac{(-1)^{n+1}}{L_{n}^{s}}}.\end{eqnarray}$$

$R(\unicode[STIX]{x1D70C}),Q(\unicode[STIX]{x1D70C}),$

$P(\unicode[STIX]{x1D70C})$

$\unicode[STIX]{x1D70C}$

$0<\unicode[STIX]{x1D70C}<1$

$s$

$m$

$$\begin{eqnarray}\mathop{\sum }_{s=1}^{m}(t_{s}\unicode[STIX]{x1D701}_{F}(2s)+u_{s}\unicode[STIX]{x1D701}_{F}^{\ast }(2s)+v_{s}\unicode[STIX]{x1D701}_{L}(2s)+w_{s}\unicode[STIX]{x1D701}_{L}^{\ast }(2s))=0\end{eqnarray}$$

$t_{s},u_{s},v_{s},w_{s}\in \mathbb{Q}$

$(1\leq s\leq m)$

$\mathbb{Q}$

$m$

$-2\unicode[STIX]{x1D701}_{F}(2)+\unicode[STIX]{x1D701}_{F}^{\ast }(2)+5\unicode[STIX]{x1D701}_{L}^{\ast }(2)=0$

$2s$

We prove model completeness for the expansion of the real field by the Weierstrass ℘ function as a function of the variable z and the parameter (or period) τ. We need to existentially define the partial derivatives of the ℘ function with respect to the variable z and the parameter τ. To obtain this result, it is necessary to include in the structure function symbols for the unrestricted exponential function and restricted sine function, the Weierstrass ζ function and the quasi-modular form E2 (we conjecture that these functions are not existentially definable from the functions ℘ alone or even if we use the exponential and restricted sine functions). We prove some auxiliary model-completeness results with the same functions composed with appropriate change of variables. In the conclusion, we make some remarks about the non-effectiveness of our proof and the difficulties to be overcome to obtain an effective model-completeness result, and how to extend these results to appropriate expansion of the real field by automorphic forms.

We count how many ‘different’ Morse functions exist on the 2-sphere. There are several ways of declaring that two Morse functions f and g are ‘indistinguishable’ but we concentrate only on two natural equivalence relations: homological (when the regular sublevel sets f and g have identical Betti numbers) and geometric (when f is obtained from g via global, orientation-preserving changes of coordinates on S2 and ℝ). The count of homological classes is reduced to a count of lattice paths confined to the first quadrant. The count of geometric classes is reduced to a count of certain labeled trees, which is encoded by certain elliptic integrals.

We obtain several determinant evaluations, related to affine root systems, which provide elliptic extensions of Weyl denominator formulas. Some of these are new, also in the polynomial special case, while others yield new proofs of the Macdonald identities for the seven infinite families of irreducible reduced affine root systems.

Let $w(z)$ be an arbitrary transcendental solution of the fourth (respectively, second) Painlevé equation. Concerning the frequency of poles in $|z|\le r$, it is shown that $n(r,w)\gg r^2$ (respectively, $n(r,w)\gg r^{3/2}$), from which the growth estimate $T(r,w)\gg r^2$ (respectively, $T(r,w)\gg r^{3/2}$) immediately follows.

AMS 2000 Mathematics subject classification: Primary 34M55; 34M10

Differential changes of time involving two parameters are considered. Universal expressions for dynamical variables of interest in Keplerian motion allow us to reduce the integration of the time transformations to that of integrands depending on an eccentric-like universal anomaly. Elliptic integrals and functions are required to complete the integration.

This paper develops a planetary theory in three dimensions with elliptic functions and elliptic integrals. In an earlier treatment, (Williams, Van Flandern, and Wright, 1987) presented a two dimensional planetary theory to the first order of a Picard iteration. The theory did avoid expansions in powers of the ratio of the semi-major axes and it contained only two explicit small divisors, n – n′ and 2n – n′. These advantages are retained in the new theory and in fact no small divisors appear explicitly. Secular terms are removed by adopting an averaging technique rather than continuing the Picard iteration. The Lie series method of (Deprit, 1969) is chosen for the averaging. In order to simplify the Lie operator, the framework for the problem is chosen to be the circular restricted three body problem written in the polar-nodal coordinates of Whittaker. The algorithm is described and a few representative terms are discussed.