Lyapunov functions for trichotomies with growth rates

We consider linear equations x^′=A(t)x that may exhibit stable, unstable and central behaviors in different directions, with respect to arbitrary asymptotic rates ecρ(t) determined by a function ρ(t). For example, the usual exponential behavior with ρ(t)=t is included as a very special case, and when ρ(t)=logt we obtain a polynomial behavior. We emphasize that we also consider the general case of nonuniform exponential behavior, which corresponds to the existence of what we call a ρ-nonuniform exponential trichotomy. This is known to occur in a large class of nonautonomous linear equations. Our main objective is to give a complete characterization in terms of strict Lyapunov functions of the linear equations admitting a ρ-nonuniform exponential trichotomy. This includes criteria for the existence of a ρ-nonuniform exponential trichotomy, as well as inverse theorems providing explicit strict Lyapunov functions for each given exponential trichotomy. In the particular case of quadratic Lyapunov functions we show that the existence of strict Lyapunov sequences can be deduced from more algebraic relations between the quadratic forms defining the Lyapunov functions. As an application of the characterization of nonuniform exponential trichotomies in terms of strict Lyapunov functions, we establish the robustness of ρ-nonuniform exponential trichotomies under sufficiently small linear perturbations. We emphasize that in comparison with former works, our proof of the robustness is much simpler even when ρ(t)=t.     

Robustness of nonuniform exponential dichotomies in Banach spaces

We give conditions for the robustness of nonuniform exponential dichotomies in Banach spaces, in the sense that the existence of an exponential dichotomy for a given linear equation x^′=A(t)x persists under a sufficiently small linear perturbation. We also establish the continuous dependence with the perturbation of the constants in the notion of dichotomy and of the “angles” between the stable and unstable subspaces. Our proofs exhibit (implicitly) the exponential dichotomies of the perturbed equations in terms of fixed points of appropriate contractions. We emphasize that we do not need the notion of admissibility (of bounded nonlinear perturbations). We also obtain related robustness results in the case of nonuniform exponential contractions. In addition, we establish an appropriate version of robustness for nonautonomous dynamical systems with discrete time.     

Center manifolds for infinite delay

We obtain a C¹ center manifold theorem for perturbations of delay difference equations in Banach spaces with infinite delay. Our results extend in several directions the existing center manifold theorems. Besides considering infinite delay equations, we consider perturbations of nonuniform exponential trichotomies and generalized trichotomies that may exhibit stable, unstable and central behaviors with respect to arbitrary asymptotic rates ecρ(n) for some diverging sequence ρ(n). This includes as a very special case the usual exponential behavior with ρ(n)=n.     

Lyapunov sequences for exponential trichotomies

For a linear cocycle with discrete time, we give a complete characterization of nonuniform exponential trichotomies in terms of strict Lyapunov sequences. We also obtain inverse theorems by constructing explicitly strict Lyapunov sequences for each nonuniform exponential trichotomy. These are constructed in terms of Lyapunov norms, with respect to which the nonuniform behavior of the trichotomies becomes uniform. We also obtain a corresponding version of the results for cocyles over measure-preserving transformations.     

King type modification of q-Bernstein-Schurer operators

Very recently the q-Bernstein-Schurer operators which reproduce only constant function were introduced and studied by C. V. Muraru (2011). Inspired by J. P. King, Positive linear operators which preserve x ² (2003), in this paper we modify q-Bernstein-Schurer operators to King type modification of q-Bernstein-Schurer operators, so that these operators reproduce constant as well as quadratic test functions x ² and study the approximation properties of these operators. We establish a convergence theorem of Korovkin type. We also get some estimations for the rate of convergence of these operators by using modulus of continuity. Furthermore, we give a Voronovskaja-type asymptotic formula for these operators.     

On smoothness of a fundamental solution to a second order hyperbolic equation

We consider the problem of constructing a fundamental solution to a second order hyperbolic linear equation with variable coefficients depending on the space variable x ∈ ? ⁿ . Under the assumption of high but finite smoothness of the coefficients, we write out the structure of a fundamental solution, establish smoothness of the coefficients of the expansion of its singular part, and characterize smoothness of the regular part.     

Robustness via Lyapunov functions

For nonautonomous linear equations x^′=A(t)x, we give a complete characterization of nonuniform exponential dichotomies in terms of strict quadratic Lyapunov functions. Nonuniform exponential dichotomies include as a very special case uniform exponential dichotomies. In particular, we construct explicitly strict Lyapunov functions for each exponential dichotomy. As a nontrivial application, we establish in a simple and direct manner the robustness of nonuniform exponential dichotomies under sufficiently small linear perturbations. This represents a considerable simplification of former work.     

Conjugacies for linear and nonlinear perturbations of nonuniform behavior

We construct topological conjugacies between linear and nonlinear evolution operators that admit either a nonuniform exponential contraction or a nonuniform exponential dichotomy. We consider evolution operators defined by nonautonomous differential equations x^′=A(t)x+f(t,x) in a Banach space. The conjugacies are obtained by first considering sufficiently small linear and nonlinear perturbations of linear equations x^′=A(t)x. In the case of linear perturbations, we construct in a more or less explicit manner topological conjugacies between the two linear flows. In the case of nonlinear perturbations, we obtain a version of the Grobman-Hartman theorem for nonuniformly hyperbolic dynamics. Furthermore, all the conjugacies that we construct are locally Hölder continuous provided that the vectors fields are of class C¹. As a byproduct of our approach, we give conditions for the robustness of strong nonuniform exponential behavior, in the sense that under sufficiently small perturbations the structure determined by the stable and unstable bundles persists up to small variations. We also show that the constants determining the nonuniform exponential contraction or nonuniform exponential dichotomy vary continuously with the perturbation. All the results are obtained in Banach spaces.     

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.     

An Excursion into Nonlinear Ramsey Theory

Formulas for two-color Rado numbers have been established for many families of linear equations. However, there are no explicit formulas for two-color Rado numbers for any nonlinear equations. In this paper, we will establish formulas for the two-color Rado numbers for three families of equations: x + y ⁿ = z, x + y ² + c = z, and x +  y ² = az , where c and a are positive integers.     

On pre-periods of discrete influence systems

We investigate mappings of the form $\text{g = ƒA}$ where ƒ is a cyclically monotonous mapping of finite range and A is a linear mapping given by a symmetric matrix. We give some upper bounds on the pre-period of g, i.e. the maximum q for which all g(x),g²(x),…,g^q(x) are distinct.     

Optimal rates of convergence in the Weibull model based on kernel-type estimators

Let F be a distribution function in the maximal domain of attraction of the Gumbel distribution such that −log(1−F(x))=x^1/θL(x) for a positive real number θ, called the Weibull tail index, and a slowly varying function L. It is well known that the estimators of θ have a very slow rate of convergence. We establish here a sharp optimality result in the minimax sense, that is when L is treated as an infinite dimensional nuisance parameter belonging to some functional class. We also establish the rate optimal asymptotic property of a data-driven choice of the sample fraction that is used for estimation.     

Rectifiable oscillations of self-adjoint and damped linear differential equations of second-order

Asymptotic and oscillatory behaviours near x=0 of all solutions y=y(x) of self-adjoint linear differential equation (Ppq): ^′(py^′)+qy=0 on (0,T], will be studied, where p=p(x) and q=q(x) satisfy the so-called Hartman-Wintner type condition. We show that the oscillatory behaviour near x=0 of (Ppq) is characterised by the nonintegrability of on (0,T). Moreover, under this condition, we show that the rectifiable (resp. unrectifiable) oscillations near x=0 of (Ppq) are characterised by the integrability (resp. nonintegrability) of on (0,T). Next, some invariant properties of rectifiable oscillations in respect to the Liouville transformation are proved. Also, Sturm?s comparison type theorem for the rectifiable oscillations is stated. Furthermore, previous results are used to establish such kind of oscillations for damped linear second-order differential equation y^″+g(x)y^′+f(x)y=0, and especially, the Bessel type damped linear differential equations are considered. Finally, some open questions are posed for the further study on this subject.     

An accelerated Newton method for equations with semismooth Jacobians and nonlinear complementarity problems

We discuss local convergence of Newton’s method to a singular solution x ^* of the nonlinear equations F(x) =  0, for $F:{\mathbb{R}}^n \rightarrow {\mathbb{R}}^n$ . It is shown that an existing proof of Griewank, concerning linear convergence to a singular solution x ^* from a starlike domain around x ^* for F twice Lipschitz continuously differentiable and x ^* satisfying a particular regularity condition, can be adapted to the case in which F′ is only strongly semismooth at the solution. Further, Newton’s method can be accelerated to produce fast linear convergence to a singular solution by overrelaxing every second Newton step. These results are applied to a nonlinear-equations reformulation of the nonlinear complementarity problem (NCP) whose derivative is strongly semismooth when the function f arising in the NCP is sufficiently smooth. Conditions on f are derived that ensure that the appropriate regularity conditions are satisfied for the nonlinear-equations reformulation of the NCP at x ^*.     

Second order linear O.D.E. and Riccati equations

We prove that approximate solutions of the Riccati equation ?′ + ?² = a(x) yield asymptotic solutions y = e^∝x?(s)ds of the second order linear equation y″ = a(x)y. We show that the iterative scheme ?₀ = a, ?_{n + 1}² = a ? ?_n′ leads to asymptotic solutions of the cited linear equation in many interesting cases.     

Cyclotomy and addition sets

In this paper, we develop methods to solve the polynomial congruence θ(x)θ(x^g) ≡ d + λ(1 + x +… + x^p?1) (mod x^p ? 1), where p is an odd prime and θ(x) is a polynomial with nonnegative integral coefficients. Using these methods, we construct some new addition sets that are the unions of index classes for some primes p. We also establish the nonexistence of both the (95, 10, 1, 18)-addition set and the (95, 10, 1, 56)-addition set.     

On the convergence of the linear means of Jacobi series at Lebesgue points in the case of half-integer α

We investigate the convergence of the linear means of the Fourier-Jacobi series of functions ?(x) from the weight space L _α,β for x = 1 for the case in which this point is a Lebesgue point for ?. We establish su.cient summability conditions depending on the behavior of the function on the closed interval [?1, 0] and on the properties of the matrix involved in the summation method.     

Homoclinic bifurcations at the onset of pulse self-replication

We establish a series of properties of symmetric, N-pulse, homoclinic solutions of the reduced Gray-Scott system: u^″=uv², v^″=v−uv², which play a pivotal role in questions concerning the existence and self-replication of pulse solutions of the full Gray-Scott model. Specifically, we establish the existence, and study properties, of solution branches in the (α,β)-plane that represent multi-pulse homoclinic orbits, where α and β are the central values of u(x) and v(x), respectively. We prove bounds for these solution branches, study their behavior as α→∞, and establish a series of geometric properties of these branches which are valid throughout the (α,β)-plane. We also establish qualitative properties of multi-pulse solutions and study how they bifurcate, i.e., how they change along the solution branches.     

The Hukuhara-Kneser property for parabolic systems with nonlinear boundary conditions

We analyze the asymptotic behavior as x → ∞ of the product integral Π_x0^xe^A(s)ds, where A(s) is a perturbation of a diagonal matrix function by an integrable function on [x₀,∞). Our results give information concerning the asymptotic behavior of solutions of certain linear ordinary differential equations, e.g., the second order equation y″ = a(x)y.     

Arithmetical properties of a sequence arising from an arctangent sum

The sequence {xn} defined by xn=(n+xn−1)/(1−nxn−1), with x₁=1, appeared in the context of some arctangent sums. We establish the fact that xn≠0 for n?4 and conjecture that xn is not an integer for n?5. This conjecture is given a combinatorial interpretation in terms of Stirling numbers via the elementary symmetric functions. The problem features linkage with a well-known conjecture on the existence of infinitely many primes of the form n²+1, as well as our conjecture that (1+¹²)(1+²²)?(1+n²) is not a square for n>3. We present an algorithm that verifies the latter for n?¹⁰³²⁰⁰.