Asymptotic average shadowing property on compact metric spaces

We prove that if for a continuous map f$f$ on a compact metric space X$X$, the chain recurrent set, R(f)$R\left(f\right)$ has more than one chain component, then f$f$ does not satisfy the asymptotic average shadowing property. We also show that if a continuous map f$f$ on a compact metric space X$X$ has the asymptotic average shadowing property and if A$A$ is an attractor for f$f$, then A$A$ is the single attractor for f$f$ and we have A=R(f)$A=R\left(f\right)$. We also study diffeomorphisms with asymptotic average shadowing property and prove that if M$M$ is a compact manifold which is not finite with dimM=2$dimM=2$, then the C¹$C^1$ interior of the set of all C¹$C^1$ diffeomorphisms with the asymptotic average shadowing property is characterized by the set of Ω$\Omega$-stable diffeomorphisms.     

Iterative approximation of solutions of nonlinear equations of Hammerstein type

Suppose X$X$ is a real q$q$-uniformly smooth Banach space and F,K:X→X$F,K:X\to X$ are Lipschitz ?$?$-strongly accretive maps with D(K)=F(X)=X$D\left(K\right)=F\left(X\right)=X$. Let u^∗$u^{\ast }$ denote the unique solution of the Hammerstein equation u+KFu=0$u+KFu=0$. An iteration process recently introduced by Chidume and Zegeye is shown to converge strongly to u^∗$u^{\ast }$. No invertibility assumption is imposed on K$K$ and the operators K$K$ and F$F$ need not be defined on compact subsets of X$X$. Furthermore, our new technique of proof is of independent interest. Finally, some interesting open questions are included.     

Upper bounds for the number of zeroes for some Abelian integrals

Consider the vector field x^′=−yG(x,y),y^′=xG(x,y)$x^{\prime }=-yG(x,y),y^{\prime }=xG(x,y)$, where the set of critical points {G(x,y)=0}$\{G(x,y)=0\}$ is formed by K$K$ straight lines, not passing through the origin and parallel to one or two orthogonal directions. We perturb it with a general polynomial perturbation of degree n$n$ and study the maximum number of limit cycles that can bifurcate from the period annulus of the origin in terms of K$K$ and n$n$. Our approach is based on the explicit computation of the Abelian integral that controls the bifurcation and on a new result for bounding the number of zeroes of a certain family of real functions. When we apply our results for K≤4$K\le 4$ we recover or improve some results obtained in several previous works.     

A new upper bound on the acyclic chromatic indices of planar graphs

An acyclic edge coloring of a graph G$G$ is a proper edge coloring such that no bichromatic cycles are produced. The acyclic chromatic index a^′(G)$a^{\prime }\left(G\right)$ of G$G$ is the smallest integer k$k$ such that G$G$ has an acyclic edge coloring using k$k$ colors. It was conjectured that a^′(G)≤Δ+2$a^{\prime }\left(G\right)\le \Delta +2$ for any simple graph G$G$ with maximum degree Δ$\Delta$. In this paper, we prove that if G$G$ is a planar graph, then a^′(G)≤Δ+7$a^{\prime }\left(G\right)\le \Delta +7$. This improves a result by Basavaraju et al. [M. Basavaraju, L.S. Chandran, N. Cohen, F. Havet, T. Müller, Acyclic edge-coloring of planar graphs, SIAM J. Discrete Math. 25 (2011) 463–478], which says that every planar graph G$G$ satisfies a^′(G)≤Δ+12$a^{\prime }\left(G\right)\le \Delta +12$.     

Cone monotone mappings: Continuity and differentiability

We generalize some results of Borwein, Burke, Lewis, and Wang to mappings with values in metric (resp. ordered normed linear) spaces, and we define two classes of monotone mappings between an ordered linear space and a metric space (resp. ordered linear space): K$K$-monotone dominated and cone-to-cone monotone mappings. K$K$-monotone dominated mappings naturally generalize mappings with finite variation (in the classical sense) and K$K$-monotone functions defined by Borwein, Burke and Lewis to mappings with domains and ranges of higher dimensions. First, using results of Veselý and Zají?ek, we show some relationships between these classes. Then, we show that every K$K$-monotone function f:X→R$f:X\to \mathbb{R}$, where X$X$ is any Banach space, is continuous outside of a set which can be covered by countably many Lipschitz hypersurfaces. This sharpens a result due to Borwein and Wang. As a consequence, we obtain a similar result for K$K$-monotone dominated and cone-to-cone monotone mappings. Finally, we prove several results concerning almost everywhere differentiability (also in metric and w^∗$w^{\ast }$-senses) of these mappings.     

Zero separation results for solutions of second order linear differential equations

The oscillation of solutions of f^″+Af=0$f^{″}+Af=0$ is discussed by focusing on four separate situations. In the complex case A$A$ is assumed to be either analytic in the unit disc D$\mathbb{D}$ or entire, while in the real case A$A$ is continuous either on (−1,1)$(-1,1)$ or on (0,∞)$(0,\infty )$. In all situations A$A$ is expected to grow beyond bounds that ensure finite oscillation for all (non-trivial) solutions, and the separation between distinct zeros of solutions is considered.     

Approximation of solutions of Hammerstein equations with bounded strongly accretive nonlinear operators

Suppose X$X$ is a real q$q$-uniformly smooth Banach space and F,K:X→X$F,K:X\to X$ are bounded strongly accretive maps with D(K)=F(X)=X$D\left(K\right)=F\left(X\right)=X$. Let u^∗$u^{\ast }$ denote the unique solution of the Hammerstein equation u+KFu=0$u+KFu=0$. A new explicit coupled iteration process is shown to converge strongly to u^∗$u^{\ast }$. No invertibility assumption is imposed on K$K$ and the operators K$K$ and F$F$ need not be defined on compact subsets of X$X$. Furthermore, our new technique of proof is of independent interest. Finally, some interesting open questions are included.     

A note on Schweizer–Smital chaos

In this paper, we consider a continuous map f:X→X$f:X\to X$, where X$X$ is a compact metric space, and prove that for any positive integer N$N$, f$f$ is Schweizer–Smital chaotic if and only if f^N$f^N$ is too.     

Quadrature rule for Abel’s equations: Uniformly approximating fractional derivatives

An automatic quadrature method is presented for approximating fractional derivative D^qf(x)$D^{q}f\left(x\right)$ of a given function f(x)$f\left(x\right)$, which is defined by an indefinite integral involving f(x)$f\left(x\right)$. The present method interpolates f(x)$f\left(x\right)$ in terms of the Chebyshev polynomials in the range [0, 1] to approximate the fractional derivative D^qf(x)$D^{q}f\left(x\right)$ uniformly for 0≤x≤1$0\le x\le 1$, namely the error is bounded independently of x$x$. Some numerical examples demonstrate the performance of the present automatic method.     

On the sum of two closed subspaces

If U,V$U,V$ are closed subspaces of a Fréchet space, then E$E$ is the direct sum of U$U$ and V$V$ if and only if E^′$E^{\prime }$ is the algebraic direct sum of the annihilators U^°$U^{°}$ and V^°$V^{°}$. We provide a simple proof of this (possibly well-known) result.     

Stable orbit equivalence of Bernoulli actions of free groups and isomorphism of some of their factor actions

We give an elementary proof for Lewis Bowen’s theorem saying that two Bernoulli actions of two free groups, each having arbitrary base probability spaces, are stably orbit equivalent. Our methods also show that for all compact groups K$K$ and every free product Γ$\Gamma$ of infinite amenable groups, the factor Γ?K^Γ/K$\Gamma ?K^{\Gamma }/K$ of the Bernoulli action Γ?K^Γ$\Gamma ?K^{\Gamma }$ by the diagonal K$K$-action is isomorphic with a Bernoulli action of Γ$\Gamma$.     

Weak convergence of the Stratonovich integral with respect to a class of Gaussian processes

For a Gaussian process X$X$ and smooth function f$f$, we consider a Stratonovich integral of f(X)$f\left(X\right)$, defined as the weak limit, if it exists, of a sequence of Riemann sums. We give covariance conditions on X$X$ such that the sequence converges in law. This gives a change-of-variable formula in law with a correction term which is an Itô integral of f^?$f^{?}$ with respect to a Gaussian martingale independent of X$X$. The proof uses Malliavin calculus and a central limit theorem from Nourdin and Nualart (2010) [8]. This formula was known for fBm with H=1/6$H=1/6$ Nourdin et al. (2010) [9]. We extend this to a larger class of Gaussian processes.     

Analysis of symmetric matrix valued functions I

For any symmetric function f:Rⁿ?Rⁿ$f:{\mathbb{R}}^n?{\mathbb{R}}^n$, one can define a corresponding function on the space of n×n$n\times n$ real symmetric matrices by applying f$f$ to the eigenvalues of the spectral decomposition. We show that this matrix valued function inherits from f$f$ the properties of continuity, Lipschitz continuity, strict continuity, directional differentiability, Frechet differentiability, continuous differentiability.     

On testing Hamiltonicity of graphs

Let us fix a function f(n)=o(nlnn)$f\left(n\right)=o(nlnn)$ and real numbers 0≤α<β≤1$0\le \alpha <\beta \le 1$. We present a polynomial time algorithm which, given a directed graph G$G$ with n$n$ vertices, decides either that one can add at most βn$\beta n$ new edges to G$G$ so that G$G$ acquires a Hamiltonian circuit or that one cannot add αn$\alpha n$ or fewer new edges to G$G$ so that G$G$ acquires at least e^−f(n)n!$e^{-f\left(n\right)}n!$ Hamiltonian circuits, or both.     

Galois points for a plane curve in characteristic two

Let C$C$ be an irreducible plane curve. A point P$P$ in the projective plane is said to be Galois with respect to C$C$ if the function field extension induced by the projection from P$P$ is Galois. We denote by δ^′(C)${\delta }^{\prime }\left(C\right)$ the number of Galois points contained in P²?C${\mathbb{P}}^2?C$. In this article we will present two results with respect to determination of δ^′(C)${\delta }^{\prime }\left(C\right)$ in characteristic two. First we determine δ^′(C)${\delta }^{\prime }\left(C\right)$ for smooth plane curves of degree a power of two. In particular, we give a new characterization of the Klein quartic in terms of δ^′(C)${\delta }^{\prime }\left(C\right)$. Second we determine δ^′(C)${\delta }^{\prime }\left(C\right)$ for a generalization of the Klein quartic, which is related to an example of Artin–Schreier curves whose automorphism group exceeds the Hurwitz bound. This curve has many Galois points.     

Quadratic covariation estimates in non-smooth stochastic calculus

Given a Brownian Motion W$W$, in this paper we study the asymptotic behavior, as ε→0$\epsilon \to 0$, of the quadratic covariation between f(εW)$f\left(\epsilon W\right)$ and W$W$ in the case in which f$f$ is not smooth. Among the main features discovered is that the speed of the decay in the case f∈C^α$f\in C^{\alpha }$ is at least polynomial in ε$\epsilon$ and not exponential as expected. We use a recent representation as a backward–forward Itô integral of [f(εW),W]$[f\left(\epsilon W\right),W]$ to prove an ε$\epsilon$-dependent approximation scheme which is of independent interest. We get the result by providing estimates to this approximation. The results are then adapted and applied to generalize the results of Almada Monter and Bakhtin (2011) and Bakhtin (2011) related to the small noise exit from a domain problem for the saddle case.     

Which finite simple groups are unit groups?

We prove that if G$G$ is a finite simple group which is the unit group of a ring, then G$G$ is isomorphic to: (a) a cyclic group of order 2; or (b) a cyclic group of prime order 2^k−1$2^k-1$ for some k$k$; or (c) a projective special linear group _PSLn(_F2)${PSL}_n\left({\mathbb{F}}_2\right)$ for some n≥3$n\ge 3$. Moreover, these groups do all occur as unit groups. We deduce this classification from a more general result, which holds for groups G$G$ with no non-trivial normal 2-subgroup.     

Partial rigidity of degenerate CR embeddings into spheres

In this paper, we study degenerate CR embeddings f$f$ of a strictly pseudoconvex hypersurface M⊂Cⁿ⁺¹$M\subset {\mathbb{C}}^{n+1}$ into a sphere S$\mathbb{S}$ in a higher dimensional complex space C^N+1${\mathbb{C}}^{N+1}$. The degeneracy of the mapping f$f$ will be characterized in terms of the ranks of the CR second fundamental form and its covariant derivatives. In 2004, the author, together with X. Huang and D. Zaitsev, established a rigidity result for CR embeddings f$f$ into spheres in low codimensions. A key step in the proof of this result was to show that degenerate mappings are necessarily contained in a complex plane section of the target sphere (partial rigidity). In the 2004 paper, it was shown that if the total rank d$d$ of the second fundamental form and all of its covariant derivatives is <n$<n$ (here, n$n$ is the CR dimension of M$M$), then f(M)$f\left(M\right)$ is contained in a complex plane of dimension n+d+1$n+d+1$. The converse of this statement is also true, as is easy to see. When the total rank d$d$ exceeds n$n$, it is no longer true, in general, that f(M)$f\left(M\right)$ is contained in a complex plane of dimension n+d+1$n+d+1$, as can be seen by examples. In this paper, we carry out a systematic study of degenerate CR mappings into spheres. We show that when the ranks of the second fundamental form and its covariant derivatives exceed the CR dimension n$n$, then partial rigidity may still persist, but there is a “defect” k$k$ that arises from the ranks exceeding n$n$ such that f(M)$f\left(M\right)$ is only contained in a complex plane of dimension n+d+k+1$n+d+k+1$. Moreover, this defect occurs in general, as is illustrated by examples.