Non-isochronicity of the center in polynomial Hamiltonian systems

In 2002 Jarque and Villadelprat proved that planar polynomial Hamiltonian systems of degree 4 have no isochronous centers and raised an open question for general planar polynomial Hamiltonian systems of even degree. Recently, it was proved that a planar polynomial Hamiltonian system is non-isochronous if a quantity, denoted by M_2m−2, can be computed such that M_2m−2≤0. As a corollary of this criterion, the open question was answered for those systems with only even degree nonlinearities. In this paper we consider the case of M_2m−2>0 and give a new criterion for non-isochronicity. Applying the new criterion, we also answer the open question for some cases in which some terms of odd degree are included.     

Weak shadowing for discrete dynamical systems on nonsmooth manifolds

In J. Math. Anal. Appl. 189 (1995) 409-423, Corless and Pilyugin proved that weak shadowing is a C⁰ generic property in the space of discrete dynamical systems on a compact smooth manifold M. In our paper we give another proof of this theorem which does not assume that M has a differential structure. Moreover, our method also works for systems on some compact metric spaces that are not manifolds, such as a Hilbert cube (or generally, a countably infinite Cartesian product of manifolds with boundary) and a Cantor set.     

Finite-to-one maps into Euclidean manifolds and spaces with disjoint disks properties

It is shown that every Euclidean manifold M has the following property for any m?1: If f:X→Y is a perfect surjection between finite-dimensional metric spaces, then the mapping space C(X,M) with the source limitation topology contains a dense Gδ-subset of maps g such that dimBm(g)?mdimf+dimY−(m−1)dimM. Here, Bm(g)={(y,z)∈Y×M||f−1(y)∩g−1(z)|?m}. The existence of residual sets of finite-to-one maps into product of manifolds and spaces having disjoint disks properties is also obtained.     

On a property of functions on the sphere and its application

Given a continuous function f:S^m+n−2→R^m, and n points u₁,u₂,…,u_n∈S^m+n−2; does there exist a rotation r∈SO(m+n−1) such that f(ru₁)=f(ru₂)=?=f(ru_n)? In this paper, we study the property of a continuous map from a sphere to a Euclidean space by using the theory of Smith periodic transformation and Brouwer degree of map theorem. The conjecture is proved under the case of n=2 and m being even. Furthermore, this conjecture is proved for the case when u_j⋅u_j+1=λ and the dimension of the sphere is not less than m+n−2. This paper generalizes the Borsuk-Ulam theorem and then presents its application.     

Qualitative analysis of a SIR epidemic model with saturated treatment rate

On account of the effect of limited treatment resources on the control of epidemic disease, a saturated removal rate is incorporated into Hethcote’s SIR epidemiological model (Hethcote, SIAM Rev. 42:599–653, 2000). Unlike the original model, the model has two endemic equilibria when R ₀<1. Furthermore, under some conditions, both the disease free equilibrium and one of the two endemic equilibria are asymptotically stable, i.e., the model has bistable equilibria. Therefore, disease eradication not only depends on R ₀ but also on the initial sizes of all sub-populations. By the Poincaré-Bendixson theorem, Poincaré index, center manifold theorem, Hopf bifurcation theorem and Lyapunov-Lasalle theorem, etc., the existence and asymptotical stability of the equilibria, the existence, stability and direction of Hopf bifurcation are discussed, respectively.     

Comparing Zagreb indices for connected graphs

It was conjectured that for each simple graph G=(V,E) with n=|V(G)| vertices and m=|E(G)| edges, it holds M₂(G)/m≥M₁(G)/n, where M₁ and M₂ are the first and second Zagreb indices. Hansen and Vuki?evi? proved that it is true for all chemical graphs and does not hold in general. Also the conjecture was proved for all trees, unicyclic graphs, and all bicyclic graphs except one class. In this paper, we show that for every positive integer k, there exists a connected graph such that m−n=k and the conjecture does not hold. Moreover, by introducing some transformations, we show that M₂/(m−1)>M₁/n for all bicyclic graphs and it does not hold for general graphs. Using these transformations we give new and shorter proofs of some known results.     

Length problems for automorphisms of modules over local rings

Let R be a local ring and M a free module of a finite rank over R. An element τ ∈ Aut_RM is said to be simple if τ ≠ 1 fixes a hyperplane of M.We shall show that for any σ ∈ Aut_RM there exist a basis X for M and ρ ∈ Aut_RM such that ρ acts as a permutation on X and ρ⁻¹σ is a product of m or less than m simple elements in Aut_RM, where m is the order of the invariant factors of σ modulo the maximal ideal of R.Also we shall investigate the problem treated by E.W. Ellers and H. Ishibashi [Factorizations of transformations over a valuation ring, Linear Algebra Appl. 85 (1987) 17-27], in which they showed that σ is a product of simple elements and gave an upper bound of the smallest number of such factors of σ, whereas in the present paper we will give lower bounds of σ in case that R is a local domain. Moreover we will factorize θσ as a product of symmetries and transvections for some θ the matrix of which is diagonal.     

Harmonic manifolds with some specific volume densities

We show that a noncompact, complete, simply connected harmonic manifold (M ^d, g) with volume densityθ _m(r)=sinh^d-1 r is isometric to the real hyperbolic space and a noncompact, complete, simply connected Kähler harmonic manifold (M ^2d, g) with volume densityθ _m(r)=sinh^2d-1 r coshr is isometric to the complex hyperbolic space. A similar result is also proved for quaternionic Kähler manifolds. Using our methods we get an alternative proof, without appealing to the powerful Cheeger-Gromoll splitting theorem, of the fact that every Ricci flat harmonic manifold is flat. Finally a rigidity result for real hyperbolic space is presented.     

Global solutions for nonlinear Klein-Gordon equations in infinite homogeneous waveguides

In this paper we prove a global existence result for nonlinear Klein-Gordon equations in infinite homogeneous waveguides, R×M, with smooth small data, where M=(M,g) is a Zoll manifold, or a compact revolution hypersurface. The method is based on normal forms, eigenfunction expansion and the special distribution of eigenvalues of the Laplace-Beltrami on such manifolds.     

Embeddings of homology equivalent manifolds with boundary

We prove a theorem on equivariant maps implying the following two corollaries:(1) Let N and M be compact orientable n-manifolds with boundaries such that M⊂N, the inclusion M→N induces an isomorphism in integral cohomology, both M and N have (n−d−1)-dimensional spines and . Then the restriction-induced map Embm(N)→Embm(M) is bijective. Here Embm(X) is the set of embeddings X→Rm up to isotopy (in the PL or smooth category).(2) For a 3-manifold N with boundary whose integral homology groups are trivial and such that N?D³ (or for its special 2-spine N) there exists an equivariant map , although N does not embed into R³.The second corollary completes the answer to the following question: for which pairs (m,n) for each n-polyhedron N the existence of an equivariant map implies embeddability of N into Rm? An answer was known for each pair (m,n) except (3,3) and (3,2).     

Higher-order recurrences for Bernoulli numbers

Euler's well-known nonlinear relation for Bernoulli numbers, which can be written in symbolic notation as n(B₀+B₀)=−nBn−1−(n−1)Bn, is extended to n(Bk₁+?+Bkm) for m?2 and arbitrary fixed integers k₁,…,km?0. In the general case we prove an existence theorem for Euler-type formulas, and for m=3 we obtain explicit expressions. This extends the authors' previous work for m=2.     

Characterizing local rings via homological dimensions and regular sequences

Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If the G_C-dimension of M/aM is finite for all ideals a generated by an R-regular sequence of length at most d−t then either the G_C-dimension of M is at most t or C is a dualizing complex. Analogous results for other homological dimensions are also given.     

Nonlinear evolution equations and the Euler flow

A new theorem on abstract nonlinear equations of evolution is proved. As an application, the existence, uniqueness, regularity, and continuous dependence on the data are proved for the solution of the Euler equation for incompressible fluids in a bounded domain in R^m.     

The Conley conjecture for Hamiltonian systems on the cotangent bundle and its analogue for Lagrangian systems

In this paper, the Conley conjecture, which was recently proved by Franks and Handel [J. Franks, M. Handel, Periodic points of Hamiltonian surface diffeomorphism, Geom. Topol. 7 (2003) 713-756] (for surfaces of positive genus), Hingston [N. Hingston, Subharmonic solutions of Hamiltonian equations on tori, Ann. Math., in press] (for tori) and Ginzburg [V.L. Ginzburg, The Conley conjecture, arXiv: math.SG/0610956v1] (for closed symplectically aspherical manifolds), is proved for C¹-Hamiltonian systems on the cotangent bundle of a C³-smooth compact manifold M without boundary, of a time 1-periodic C²-smooth Hamiltonian H:R×T^*M→R which is strongly convex and has quadratic growth on the fibers. Namely, we show that such a Hamiltonian system has an infinite sequence of contractible integral periodic solutions such that any one of them cannot be obtained from others by iterations. If H also satisfies H(−t,q,−p)=H(t,q,p) for any (t,q,p)∈R×T^*M, it is shown that the time-1-map of the Hamiltonian system (if exists) has infinitely many periodic points siting in the zero section of T^*M. If M is C⁵-smooth and dimM>1, H is of C⁴ class and independent of time t, then for any τ>0 the corresponding system has an infinite sequence of contractible periodic solutions of periods of integral multiple of τ such that any one of them cannot be obtained from others by iterations or rotations. These results are obtained by proving similar results for the Lagrangian system of the Fenchel transform of H, L:R×TM→R, which is proved to be strongly convex and to have quadratic growth in the velocities yet.     

Topological structure of complete Riemannian manifolds with cyclic holonomy groups

Let M be a complete m-dimensional Riemannian manifold with cyclic holonomy group, let X be a closed flat manifold homotopy equivalent to M, and let L→X be a nontrivial line bundle over X whose total space is a flat manifold with cyclic holonomy group. We prove that either M is diffeomorphic to X×Rm-dimX or M is diffeomorphic to L×Rm-dimX−1.     

An intrinsic characterization of developable surfaces

We consider the classical theorem saying that if f: M → R³ is a Riemannian surface in R³ without planar points and with vanishing Gaussian curvature, then there is an open dense subset M′ of M such that around each point of M′ the surface f is a cylinder or a cone or a tangential developable. As we shall show below, the theorem, in fact, belongs to affine geometry. We give an affine proof of this theorem. The proof works in Riemannian geometry as well. We use the proof for solving the realization problem for a certain class of affine connections on 2-dimensional manifolds. In contrast with Riemannian geometry, in affine geometry, cylinders, cones as well as tangential developables can be characterized intrinsically, i.e. by means of properties of any nowhere flat induced connection. According to the characterization we distinguish three classes of affine connections on 2-dimensional manifolds, i.e. cylindric, conic and TD-connections.     

Existence and uniqueness of solutions to neutral stochastic functional differential equations with infinite delay

This paper investigates the existence and uniqueness theorem of solutions to neutral stochastic differential equations with infinite delay (short for INSFDEs) at a space BC((-∞,0];R^d). Under the uniform Lipschitz condition, linear growth condition is weaken to obtain the moment estimate of the solution for INSFDEs. Furthermore, the existence, uniqueness theorem of the solution for INSFDEs is derived, and the estimate for the error between approximate solution and exact solution is given. On the other hand, under the linear growth condition, the uniform Lipschitz condition is replaced by the local Lipschitz condition, the existence, uniqueness theorem is also valid for INSFDEs on [t₀,T]. Moreover, the existence, uniqueness theorem still holds on interval [t₀,∞), where t₀∈R is an arbitrary real number.     

Global solutions of the fast diffusion equation with gradient absorption terms

We investigate the existence of nonnegative weak solutions to the problem ut=Δ(um)−p|∇u| in Rn×(0,∞) with ⁺(1−2/n)<m<1. It will be proved that: (i) When 1<p<2, if the initial datum u₀∈D(Rn) then there exists a solution; (ii) When 1<p<(2+mn)/(n+1), if the initial datum u₀(x) is a bounded and nonnegative measure then the solution exists; (iii) When (2+mn)/(n+1)?p<2, if the initial datum is a Dirac mass then the solution does not exist. We also study the large time behavior of the L¹-norm of solutions for 1<p?(2+mn)/(n+1), and the large time behavior of t1/β‖u(⋅,t)−Ec(⋅,t)L^∞_‖ for (2+mn)/(n+1)<p<2.     

Rings of matrix invariants in positive characteristic

Denote by R_n,m the ring of invariants of m-tuples of n×n matrices (m,n?2) over an infinite base field K under the simultaneous conjugation action of the general linear group. When char(K)=0, Razmyslov (Izv. Akad. Nauk SSSR Ser. Mat. 38 (1974) 723) and Procesi (Adv. Math. 19 (1976) 306) established a connection between the Nagata-Higman theorem and the degree bound for generators of R_n,m. We extend this relationship to the case when the base field has positive characteristic. In particular, we show that if 0<char(K))?n, then R_n,m is not generated by its elements whose degree is smaller than m. A minimal system of generators of R_2,m is determined for the case char(K)=2: it consists of 2^m+m−1 elements, and the maximum of their degrees is m. We deduce a consequence indicating that the theory of vector invariants of the special orthogonal group in characteristic 2 is not analogous to the case char(K)≠2. We prove that the characterization of the R_n,m that are complete intersections, known before when char(K)=0, is valid for any infinite K. We give a Cohen-Macaulay presentation of R_2,4, and analyze the difference between the cases char(K)=2 and char(K)≠2.     

The semiclassical resolvent and the propagator for non-trapping scattering metrics

Consider a compact manifold with boundary M with a scattering metric g or, equivalently, an asymptotically conic manifold (M^○,g). (Euclidean Rn, with a compactly supported metric perturbation, is an example of such a space.) Let Δ be the positive Laplacian on (M,g), and V a smooth potential on M which decays to second order at infinity. In this paper we construct the kernel of the operator ⁻¹(h²Δ+V−²(λ₀±i0)), at a non-trapping energy λ₀>0, uniformly for h∈(0,h₀), h₀>0 small, within a class of Legendre distributions on manifolds with codimension three corners. Using this we construct the kernel of the propagator, e−it(Δ/2+V), t∈(0,t₀) as a quadratic Legendre distribution. We also determine the global semiclassical structure of the spectral projector, Poisson operator and scattering matrix.