Conley index of Poincaré maps in isolating segments

We calculate the discrete-time Conley index of the Poincaré map of a time-periodic ordinary differential equation in an isolated invariant set generated by a periodic isolating segment. As an application, we present results on the existence of bounded solutions of some planar equations.     

On Friedrichs-Poincaré-type inequalities

Friedrichs- and Poincaré-type inequalities are important and widely used in the area of partial differential equations and numerical analysis. Most of their proofs appearing in references are the argument of reduction to absurdity. In this paper, we give direct proofs of Friedrichs-type inequalities in H¹(Ω) and Poincaré-type inequalities in some subspaces of W1,p(Ω). The dependencies of the inequality coefficients on the domain Ω and some sub-domains are illustrated explicitly.     

Splitting theorem, Poincaré-Hopf theorem and jumping nonlinear problems

In this paper, we establish a Gromoll-Meyer splitting theorem and a shifting theorem for J∈C^2-0(E,R) and by using the finite-dimensional approximation, mollifiers and Morse theory we generalize the Poincaré-Hopf theorem to J∈C¹(E,R) case. By combining the Poincaré-Hopf theorem and the splitting theorem, we study the existence of multiple solutions for jumping nonlinear elliptic equations.     

Periodic solutions for doubly nonlinear evolution equations

We discuss the existence of periodic solution for the doubly nonlinear evolution equation A(u^′(t))+∂?(u(t))∋f(t) governed by a maximal monotone operator A and a subdifferential operator ∂? in a Hilbert space H. As the corresponding Cauchy problem cannot be expected to be uniquely solvable, the standard approach based on the Poincaré map may genuinely fail. In order to overcome this difficulty, we firstly address some approximate problems relying on a specific approximate periodicity condition. Then, periodic solutions for the original problem are obtained by establishing energy estimates and by performing a limiting procedure. As a by-product, a structural stability analysis is presented for the periodic problem and an application to nonlinear PDEs is provided.     

Normal Forms for Nonautonomous Differential Equations

We extend Henry Poincarés normal form theory for autonomous differential equations x=f(x) to nonautonomous differential equations x=f(t, x). Poincarés nonresonance condition λ_j−∑ⁿ_i=1 ?_iλ_i≠0 for eigenvalues is generalized to the new nonresonance condition λ_j∩∑ⁿ_i=1 ?_iλ_i=∅ for spectral intervals.     

Meromorphic solutions of a Riccati differential equation with a doubly periodic coefficient

We treat a Riccati differential equation w^′+w²+p(z)=0, where p(z) is a nonconstant doubly periodic meromorphic function. Under certain assumptions, every solution is meromorphic in the whole complex plane. We show that the growth order of it is equal to 2, and examine the frequency of α-points and poles. Furthermore, the number of doubly periodic solutions is discussed.     

Existence and uniqueness of positive periodic solutions of functional differential equations

In this paper we consider the existence and uniqueness of positive periodic solution for the periodic equation y′(t)=−a(t)y(t)+λh(t)f(y(t−τ(t))). By the eigenvalue problems of completely continuous operators and theory of α-concave or −α-convex operators and its eigenvalue, we establish some criteria for existence and uniqueness of positive periodic solution of above functional differential equations with parameter. In particular, the unique solution y_λ(t) of the above equation depends continuously on the parameter λ. Finally, as an application, we obtain sufficient condition for the existence of positive periodic solutions of the Nicholson blowflies model.     

Certain differential equations have only isolated periodic orbits

Summary Some results of Poincaré and Dulac concerning non-isolated periodic orbits and singular cycles in the plane are here extended to certain classes of autonomous analytic ordinary differential equations of higher dimension. The equations in these classes are then shown to have only isolated periodic orbits provided that all their critical points satisfy a simple condition. A further condition at infinity can ensure that the equation has only finitely many periodic orbits.     

The set of periodic scalar differential equations with cubic nonlinearities

We study the structure induced by the number of periodic solutions on the set of differential equations x^′=f(t,x) where f∈C³(R²) is T-periodic in t, fx³(t,x)<0 for every (t,x)∈R², and f(t,x)→?∞ as x→∞, uniformly on t. We find that the set of differential equations with a singular periodic solution is a codimension-one submanifold, which divides the space into two components: equations with one periodic solution and equations with three periodic solutions. Moreover, the set of differential equations with exactly one periodic singular solution and no other periodic solution is a codimension-two submanifold.     

The Poincaré series of a simple complete ideal of a two-dimensional regular local ring

The aim of this work is to introduce both a classical and a motivic Poincaré series associated with a residually rational simple complete m-primary ideal ℘ of a two-dimensional regular local ring (R,m). We describe them in terms of the generators of the value semigroup of ℘, and compare them with the Poincaré series arising from a general element f for ℘.     

Estimates for derivatives of holomorphic functions in a hyperbolic domain

Let f(z) be a holomorphic function in a hyperbolic domain Ω. For 2?n?8, the sharp estimate of |f(n)(z)/f^′(z)| associated with the Poincaré density λΩ(z) and the radius of convexity ρΩc(z) at z∈Ω is established for f(z) univalent or convex in each Δc(z) and z∈Ω. The detailed equality condition of the estimate is given. Further application of the results to the Avkhadiev-Wirths conjecture is also discussed.     

A Gerschgorin theorem for linear difference equations and eigenvalues of matrix products

The Gerschgorin circle theorem is used here to give sufficient conditions for the solution space of the difference equation x(m+1) = A (m+1)x(m) to admit a type of exponential dichotomy. The result obtained is then used to establish a result on regions of eigenvalue inclusion for the product of finitely many square matrices. An application to differential equations is also given.     

Computer Algebra and Bifurcations

In this paper we will present the family of Newton algorithms. From the computer algebra point of view, the most basic of them is well known for the local analysis of plane algebraic curves f(x,y)=0 and consists in expanding y as Puiseux series in the variable x. A similar algorithm has been developped for multi-variate algebraic equations and for linear differential equations, using the same basic tools: a “regular” case, associated with a “simple” class of solutions, and a “simple” method of calculus of these solutions; a Newton polygon; changes of variable of type ramification; changes of unknown function of two types y=ct ^μ+? or y=exp?(c/t ^μ)?. Our purpose is first to define a “regular” case for nonlinear implicit differential equations f(t,y,y′)=0. We will then apply the result to an explicit differential equation with a parameter y′=f(y,α) in order to make a link between the expansions of the solutions obtained by our local analysis and the classical theory of bifurcations.     

Ergodicity for time-changed symmetric stable processes

In this paper we study ergodicity and related semigroup property for a class of symmetric Markov jump processes associated with time-changed symmetric α$\alpha$-stable processes. For this purpose, explicit and sharp criteria for Poincaré type inequalities (including Poincaré, super Poincaré and weak Poincaré inequalities) of the corresponding non-local Dirichlet forms are derived. Moreover, our main results, when applied to a class of one-dimensional stochastic differential equations driven by symmetric α$\alpha$-stable processes, yield sharp criteria for their various ergodic properties and corresponding functional inequalities.     

Self-energy of one electron in non-relativistic QED

We investigate the self-energy of one electron coupled to a quantized radiation field by extending the ideas developed in Hainzl (Ann. H. Poincaré, in press). We fix an arbitrary cut-off parameter Λ and recover the α²-term of the self-energy, where α is the coupling parameter representing the fine structure constant. Thereby we develop a method which allows to expand the self-energy up to any power of α. This implies that perturbation theory in α is correct if Λ is fix. As an immediate consequence we obtain enhanced binding for electrons.     

An approximation property of exponential functions

We solve the inhomogeneous linear first order differential equations of the form y′(x) ? λy(x) = Σ _m=0 ^∞ a _m (x ? c) ^m , and prove an approximation property of exponential functions. More precisely, we prove the local Hyers-Ulam stability of linear first order differential equations of the form y′(x) = λy(x) in a special class of analytic functions.     

Periodic solutions for a nonautonomous ordinary differential equation

We consider the nonautonomous differential equation of second order x^″+a(t)x−b(t)x²+c(t)x³=0, where a(t),b(t),c(t) are T-periodic functions. This is a biomathematical model of an aneurysm in the circle of Willis. We prove the existence of at least two positive T-periodic solutions for this equation, using coincidence degree theories.     

Exponentially small splitting of separatrices in a weakly hyperbolic case

We validate the Poincaré-Melnikov method in the singular case of high-frequency periodic perturbations of the Hamiltonian h₀(x,y)=(1/2)y²-x³+x⁴ under appropriate conditions, which among other things, imply that we are considering the bifurcation case when the character of the fixed point changes from parabolic in the unperturbed case to hyperbolic in the perturbed one. The splitting is exponentially small.     

On linear systems with quasiperiodic coefficients and bounded solutions

For a discrete dynamical system ω _n =ω₀+αn, where a is a constant vector with rationally independent coordinates, on thes-dimensional torus Ω we consider the setL of its linear unitary extensionsx _n+1=A(ω₀+αn)x _n , whereA (Ω) is a continuous function on the torus Ω with values in the space ofm-dimensional unitary matrices. It is proved that linear extensions whose solutions are not almost periodic form a set of the second category inL (representable as an intersection of countably many everywhere dense open subsets). A similar assertion is true for systems of linear differential equations with quasiperiodic skew-symmetric matrices.