On implicit Runge-Kutta methods with a stability function having distinct real poles

Because of their potential for offering a computational speed-up when used on certain multiprocessor computers, implicit Runge-Kutta methods with a stability function having distinct poles are analyzed. These are calledmultiply implicit (MIRK) methods, and because of the so-calledorder reduction phenomenon, their poles are required to be real, i.e., only real MIRK's are considered. Specifically, it is proved that a necessary condition for aq-stage, real MIRK to beA-stable with maximal orderq+1 is thatq=1, 2, 3 or 5. Nevertheless, it is shown that for every positive integerq, there exists aq-stage, real MIRK which is stronglyA ₀-stable with orderq+1, and for every evenq, there is aq-stage, real MIRK which isI-stable with orderq. Finally, some useful examples of algebraically stable real MIRK's are given.This work was supported by the National Aeronautics and Space Administration under NASA Contract No. NAS1-18107 while the author was in residence at the Institute for Computer Applications in Science and Engineering (ICASE), NASA Langley Research Center, Hampton, VA 23665-5225.     

Uniform approximation with rational functions having negative poles

A general theory of uniform approximation with rational functions having negative poles is developed. An existence theory is given and local characterization and uniqueness results are developed. Algorithms for computing these approximants are given, together with numerical results.     

On tori without conjugate points

Summary In this paper we consider Riemannian metrics without conjugate points on an n-torus. Recent work of J. Heber established that the gradient vector fields of Busemann functions on the universal cover of such a manifold induce a natural foliation (akin to the weak stable foliation for a Riemannian manifold with negative sectional curvature) on the unit tangent bundle. The main result in the paper is that the metric is flat if this foliation is Lipschitz. We also prove that this foliation is Lipschitz if and only if the metric has bounded asymptotes. This confirms a conjecture of E. Hopf in this case.Oblatum 22-IX-1993 & 25-IV-1994Supported in part by NSF grant #DMS90-01707 and #DMS85-05550 while at MSRISupported by an NSF Postdoctoral Fellowship     

An inverse eigenvalue problem: ComputingB-stable Runge-Kutta methods having real poles

The implementation of implicit Runge-Kutta methods requires the solution of large sets of nonlinear equations. It is known that on serial machines these costs can be reduced if the stability function of ans-stage method has only ans-fold real pole. Here these so-called singly-implicit Runge-Kutta methods (SIRKs) are constructed utilizing a recent result on eigenvalue assignment by state feedback and a new tridiagonalization, which preserves the entries required by theW-transformation. These two algorithms in conjunction with an unconstrained minimization allow the numerical treatment of a difficult inverse eigenvalue problem. In particular we compute an 8-stage SIRK which is of order 8 andB-stable. This solves a problem posed by Hairer and Wanner a decade ago. Furthermore, we finds-stageB-stable SIRKs (s=6,8) of orders, which are evenL-stable.     

On complex and noncommutative tori

The ``noncommutative geometry' of complex algebraic curves is studied. As a first step, we clarify a morphism between elliptic curves, or complex tori, and -algebras , or noncommutative tori. The main result says that under the morphism, isomorphic elliptic curves map to the Morita equivalent noncommutative tori. Our approach is based on the rigidity of the length spectra of Riemann surfaces.

     

On birational equivalence of algebraic tori

The faithful representations of quasisplit k-tori are studied. The old-standing conjecture of the rationality of stably rational tori is proved. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 60, Algebra, 2008.     

On the road towards multidimensional tori

The problem of persistence of four-frequency tori is considered in models represented by the coupled periodically driven self-oscillators. We show that the adding the third oscillator gives rise to destruction of the three-frequency tori, with appearance of regions of either chaotic attractors or four-frequency tori. As the coupling strength decreases, the four-frequency tori dominate, and the amplitude threshold of their occurrence vanishes. Also, for three oscillators, a domain of complete synchronization of the system by the external driving can disappear.     

On a pairing for algebraic tori

Let T be an algebraic torus over a field F. There is a pairing between the groups of torsors for the torus T and its dual with values in the third Galois cohomology group over all field extensions of F. We study the kernel of this pairing.     

On Otsuki tori and their Willmore energy

Otsuki tori in the three-dimensional unit sphere are studied. From calculations of the Willmore energy, the lower and upper bound estimates for the Otsuki tori are established. Invariance of the Otsuki tori under antipodal maps is also considered and, in such cases, better lower bound estimates of their Willmore energies are obtained.     

A stability result for general linear methods with characteristic function having real poles only

It is shown that there exist A-stable multistep formulae, with a characteristic function havings poles, all of which are real, with orderp satisfyingp>s+1. This contradicts the widely held belief thatp=s+1 is the maximum possible order of such a method.     

On the poles of topological zeta functions

We study the topological zeta function associated to a polynomial with complex coefficients. This is a rational function in one variable, and we want to determine the numbers that can occur as a pole of some topological zeta function; by definition these poles are negative rational numbers. We deal with this question in any dimension. Denote has a pole in . We show that is a subset of ; for and , the last two authors proved before that these are exactly the poles less than . As the main result we prove that each rational number in the interval is contained in .