On the prime geodesic theorem for hyperbolic 3‐manifolds

Through the Selberg zeta approach, we reduce the exponent in the error term of the prime geodesic theorem for cocompact Kleinian groups or Bianchi groups from Sarnak's to . At the cost of excluding a set of finite logarithmic measure, the bound is further improved to .     

S. G Mikhlin (1908 – 1990)

Our concern is to find a representation theorem for operators in B(c(X), c(Y)) where X and Y are Banach spaces with Y containing an isomorphic copy of c₀. Cass and Gao [1] obtained a representation theorem that always applies if Y does not contain an isomorphic copy of c₀. Maddox [3], Melvin - Melvin [4], and Robinson [5] consider operators in B(c(X), c(Y)) that are given by matrices. In this paper we show that Cass's and Gao's result in [1] can be extended, when Y contains an isomorphic copy of c₀, to certain operators that we call represent able. In addition, we show that when Y contains an isomorphic copy of co there are always operators that fall outside the scope of our representation theorem. Light is also cast on a theorem given in Maddox [3, Theorem 4.2] and [5, Theorem IV].     

Erratum to: “The Gromov norm of the product of two surfaces” [Topology 44 (2005) 321–339]

We report an error in the proof of Lemma 2.7 of the original article. This invalidates one direction of our main theorem.     

Addendum to “A definable nonstandard enlargement”

?o?'s theorem for bounded D ‐ultrapowers, D being the ultrafilter introduced by Kanovei and Shelah [4], is established. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

“Unintended effects”: A theorem for complex systems

Unintended effects are well known to economists and sociologists and their consequences may be devastating. The main objective of this article is to formulate a mathematical theorem, based on Gödel's famous incompleteness theorem, in which it is shown, that from the moment deontical modalities (prohibition, obligation, permission, and faculty) are introduced into the social system, responses are allowed by the system that are not produced, however, prohibited responses or unintended effects may occur. © 2014 Wiley Periodicals, Inc. Complexity 21: 342–354, 2015     

The generalized tilt formula

A convex hull construction in Minkowski space defines a canonical cell decomposition for a cusped hyperbolicn-manifold. An algorithm to compute the canonical cell decomposition uses the concept of the tilt of ann-simplex relative to each of its (n–1)-dimensional faces. An essential tool for computing tilts is the tilt theorem. The tilt theorem was previously known only in dimensionsn3, and the proof was needlessly complicated. Here we offer a new, simplified proof which applies in all dimensions. We also offer a second geometric interpretation of the tilt.     

Corrigendum to “Discrepancy principle for the dynamical systems method” [Communications in Nonlinear Science and Numerical Simulation 10 (2005) 95–101]

Consider an operator equation B(u) − f = 0 in a real Hilbert space. Let us call this equation ill-posed if the operator B′(u) is not boundedly invertible, and well-posed otherwise. The dynamical systems method (DSM) for solving this equation consists of a construction of a Cauchy problem, which has the following properties: (1) it has a global solution for an arbitrary initial data, (2) this solution tends to a limit as time tends to infinity, (3) the limit is the minimal-norm solution to the equation B(u) = f. A global convergence theorem is proved for DSM for equation B(u) − f = 0 with monotone operators B.     

Euler’s fixed point theorem: The axis of a rotation

We give an elementary proof of what is perhaps the earliest fixed point theorem; namely Leonhard Euler’s theorem of 1775 on the existence of an axis v for any three-dimensional rotation R. The proof is constructive and shows that no multiplications are required to compute v. Dedicated to the memory of Leonhard Euler, “The Master of us all”, on the occasion of the 300th anniversary of his birth     

Topology of compact space forms from Platonic solids. I.

The problem of classifying, up to isometry, the orientable 3-manifolds that arise by identifying the faces of a Platonic solid was completely solved in a nice paper of Everitt [B. Everitt, 3-manifolds from Platonic solids, Topology Appl. 138 (2004) 253-263]. His work completes the classification begun by Best [L.A. Best, On torsion-free discrete subgroups of PSL₂(C) with compact orbit space, Canad. J. Math. 23 (1971) 451-460], Lorimer [P.J. Lorimer, Four dodecahedral spaces, Pacific J. Math. 156 (2) (1992) 329-335], Prok [I. Prok, Classification of dodecahedral space forms, Beiträge Algebra Geom. 39 (2) (1998) 497-515], and Richardson and Rubinstein [J. Richardson, J.H. Rubinstein, Hyperbolic manifolds from a regular polyhedron, Preprint]. In this paper we investigate the topology of closed orientable 3-manifolds from Platonic solids. Here we completely recognize those manifolds in the spherical and Euclidean cases, and state topological properties for many of them in the hyperbolic case. The proofs of the latter will appear in a forthcoming paper.     

Notes on “stability and chaos control of regularized Prabhakar fractional dynamical systems without and with delay”

This comment is to point out some mistakes made in the paper (Shiva et al in MATH METHOD APPL SCI 42(7):2302‐2323, 2019). The stability of Prabhakar fractional dynamical systems without and with time delay is addressed. Lyapunov stability theorem is extended to these systems. But the proof process is wrong as the memory property of fractional calculus. It is necessary to point out these errors to avoid misleading. Finally, a counterexample is proposed against the proposed theorem.     

On sufficient optimality conditions : PMM vol. 42, no. 6, 1978, pp. 1131–1135

Sufficient conditions of optimality of the control in a nonlinear system are given. This involves a demand for existence of a function with specified properties. If this function is defined in a special manner, then the theorem derived in the paper yields the known theorem of Krotov [1]. A certain relaxation of the sufficient conditions given in [1] is obtained for the problems of the time optimal response in autonomous systems.     

Topology of compact space forms from Platonic solids. II

The problem of classifying, up to isometry, the orientable 3-manifolds that arise by identifying the faces of a Platonic solid was completely solved in a nice paper of Everitt [B. Everitt, 3-manifolds from Platonic solids, Topology Appl. 138 (2004) 253-263]. His work completes the classification begun by Best [L.A. Best, On torsion-free discrete subgroups of PSL₂(C) with compact orbit space, Canad. J. Math. 23 (1971) 451-460], Lorimer [P.J. Lorimer, Four dodecahedral spaces, Pacific J. Math. 156 (2) (1992) 329-335], Prok [I. Prok, Classification of dodecahedral space forms, Beiträge Algebra Geom. 39 (2) (1998) 497-515; I. Prok, Fundamental tilings with marked cubes in spaces of constant curvature, Acta Math. Hungar. 71 (1-2) (1996) 1-14], and Richardson and Rubinstein [J. Richardson, J.H. Rubinstein, Hyperbolic manifolds from a regular polyhedron, preprint]. In a previous paper we investigated the topology of closed orientable 3-manifolds from Platonic solids in the spherical and Euclidean cases, and completely classified them, up to homeomorphism. Here we describe many topological properties of closed hyperbolic 3-manifolds arising from Platonic solids. As a consequence of our geometric and topological methods, we improve the distinction between the hyperbolic “Platonic” manifolds with the same homology, which up to this point was only known by computational means.     

Complex<Emphasis Type="BoldItalic">n</Emphasis>-dimensional manifolds with a real<Emphasis Type="BoldItalic">n</Emphasis><Superscript>2</Superscript>-dimensional automorphism group

The main theorem of this article is a characterization of non compact simply connected complete Kobayashi hyperbolic complex manifold of dimension n≽ 2 with real n ²-dimensional holomorphic automorphism group. Together with the earlier work [11, 12] and [13] of Isaev and Krantz, this yields a complete classification of the simply-connected, complete Kobayashi hyperbolic manifolds with dim_ℝ Aut (M) ≽ (dim_ℂ M)².     

Note on: N.E. Aguilera, M.S. Escalante, G.L. Nasini, “The disjunctive procedure and blocker duality”

Aguilera et al. [Discrete Appl. Math. 121 (2002) 1–13] give a generalization of a theorem of Lehman through an extension of the disjunctive procedure defined by Balas, Ceria and Cornuéjols. This generalization can be formulated as(A) For every clutter , the disjunctive index of its set covering polyhedron coincides with the disjunctive index of the set covering polyhedron of its blocker, .In Aguilera et al. [Discrete Appl. Math. 121 (2002) 1–3], (A) is indeed a corollary of the stronger result(B) .Motivated by the work of Gerards et al. [Math. Oper. Res. 28 (2003) 884–885] we propose a simpler proof of (B) as well as an alternative proof of (A), independent of (B). Both of them are based on the relationship between the “disjunctive relaxations” obtained by and the set covering polyhedra associated with some particular minors of .     

A vector bundle proof of Poncelet’s closure theorem

There are few different proofs of the celebrated Poncelet closure theorem about polygons simultaneously inscribed in a smooth conic and circumscribed around another. We propose a new proof, based on the link between Schwarzenberger bundles and Poncelet curves.     

Periodic solutions of ẋ(t) = –f(x(t), x(t – 1))

The existence of periodic solutions of general first order nonlinear difference-differential equations is shown using an appropriate cone of initial data and an asymptotic fixed point theorem.     

Asymptotic stability and smooth equivalence op ordinary equations : PMM vol.40, n 6, 1976, pp. 1048–1057

Under certain specified conditions the asymptotic stability is a coarse property [1],(i.e. addition of fairly smooth functions to the right-hand sides of equations, does not disturb the asymptotic stability). It is shown below that in this cage the unperturbed system is coarse in a more general sense, namely, any smooth system acted upon by fairly small smooth perturbations, can be returned to its unperturbed state by a smooth reversible transformation. The value and order of the perturbations and the domain of existence of the transformation are all estimated explicitly. The condition required for the above assertion to hold, is that of the existence of a Liapunov function admitting, together with its derivative, specified estimates. This requirement holds, in particular, in the case when the right-hand sides of the unperturbed system are homogeneous functions, the position of equilibrium is asymptotically stable, and its neighborhood contains no solutions bounded when −∞ <t < ∞ (see [1]). If the system is analytic, the requirement will hold in at least all critical cases investigated in which the asymptotic stability with t → ∞ or t → −∞ is fixed, since in these cases the Liapunov function will be analytic, or simply polynomial. It follows therefore from the theorem which we prove, that in all the cases in question, the system is reduced by a smooth transformation, to the polynomial form. If the unperturbed system is linear, then from the theorem proved follows a theorem on linearization appearing in [2]; if the system is nonlinear but of second order, a theorem from [3] ensues. The results obtained in this paper for the nonlinear autonomous systems are extended to the case when the perturbations are continuous and bounded functions of time. This makes possible the investigation of the dynamics of the process in the neighborhood of asymptotically stable equilibria and of periodic modes, ignoring a wide range of external perturbations.     

Erratum to: “A linear vizing‐like relation relating the size and total domination number of a graph”

The proof of the main theorem in the paper [1] is incorrect as it is missing an important case. Here we complete the proof by giving the missing case. © 2007 Wiley Periodicals, Inc. J Graph Theory 54: 350–353, 2007