Conservation and bifurcation of an invariant torus of a vector field

We consider small perturbations with respect to a small parameter ε≥0 of a smooth vector field in ℝ^n+m possessing an invariant torusT ^m. The flow on the torusT ^m is assumed to be quasiperiodic withm basic frequencies satisfying certain conditions of Diophantine type; the matrix Ω of the variational equation with respect to the invariant torus is assumed to be constant. We investigate the existence problem for invariant tori of different dimensions for the case in which Ω is a nonsingular matrix that can have purely imaginary eigenvalues. Translated fromMatematicheskie Zametki, Vol. 61, No. 1, pp. 34–44, January, 1997. Translated by S. K. Lando     

Smooth approximation of mather sets of monotone twist mappings

In the theory of monotone twist mappings of a cylinder one constructs for every rotation number α invariant minimal sets M_α. In this paper an approximation of these Mather sets by smooth invariant curves M^v_α is devised, which for v → 0 converge to M_α almost everywhere. The main point of the construction is that the approximating curves M^v_α form for v > 0 a smooth foliation. The approximation is achieved with the help of a regularized version of the Percival variational problem. © 1994 John Wiley & Sons, Inc.     

Aubry‐Mather theory and periodic solutions of the forced Burgers equation

Consider a Hamiltonian system with Hamiltonian of the form H(x, t, p) where H is convex in p and periodic in x, and t and x ∈ ℝ¹. It is well‐known that its smooth invariant curves correspond to smooth Z²‐periodic solutions of the PDE u_t + H(x, t, u)_x = 0. In this paper, we establish a connection between the Aubry‐Mather theory of invariant sets of the Hamiltonian system and Z²‐periodic weak solutions of this PDE by realizing the Aubry‐Mather sets as closed subsets of the graphs of these weak solutions. We show that the complement of the Aubry‐Mather set on the graph can be viewed as a subset of the generalized unstable manifold of the Aubry‐Mather set, defined in (2.24). The graph itself is a backward‐invariant set of the Hamiltonian system. The basic idea is to embed the globally minimizing orbits used in the Aubry‐Mather theory into the characteristic fields of the above PDE. This is done by making use of one‐ and two‐sided minimizers, a notion introduced in [12] and inspired by the work of Morse on geodesics of type A [26]. The asymptotic slope of the minimizers, also known as the rotation number, is given by the derivative of the homogenized Hamiltonian, defined in [21]. As an application, we prove that the Z²‐periodic weak solution of the above PDE with given irrational asymptotic slope is unique. A similar connection also exists in multidimensional problems with the convex Hamiltonian, except that in higher dimensions, two‐sided minimizers with a specified asymptotic slope may not exist. © 1999 John Wiley & Sons, Inc.     

Isomorphism and Measure Rigidity for Algebraic Actions on Zero-Dimensional Groups

We consider mixing ^d-actions on compact zero-dimensional abelian groups by automorphisms. Rigidity of invariant measures does not hold for such actions in general; we present conditions which force an invariant measure to be Haar measure on an affine subset. This is applied to isomorphism rigidity for such actions. We develop a theory of halfspace entropies which plays a similar role in the proof to that played by invariant foliations in the proof of rigidity for smooth actions.     

Uniform algebras on the sphere invariant under group actions

It is shown under certain conditions that a uniform algebra on the unit sphere S in C ² that is invariant under the action of the 2-torus must be C(S). Contrasting with this, an example is presented showing that the statement becomes false when 2 is replaced by n > 2. It is also shown that C(M) is the only uniform algebra on a smooth manifold M that is invariant under a transitive Lie group action on its maximal ideal space. The results presented answer a question raised by Ronald Douglas in connection with a conjecture of William Arveson.     

An example of an SL2-Hilbert scheme with multiplicities

In [AB05], Alexeev and Brion have introduced the notion of invariant Hilbert schemes. We determine the invariant Hilbert scheme of the zero fibre of the moment map of an action of SL₂ on ( \mathbbC² ) ^?6 {\left( {{\mathbb{C}^2}} \right)^{ \oplus 6}} as one of the first examples of invariant Hilbert schemes with multiplicities. While doing this, we present a general procedure for realizing these calculations. We also consider questions of smoothness and connectedness and thereby show that our Hilbert scheme gives a resolution of singularities of the symplectic reduction of the action.     

On One Method for the Introduction of Local Coordinates in a Neighborhood of an Invariant Toroidal Set

We consider one method for the introduction of local coordinates in a neighborhood of an m-dimensional invariant torus of a dynamical system of differential equations in the Euclidean space R ⁿ in dimensions satisfying the inequalities m + 1 < n 2m.     

Local characterization of invariant sets of an autonomous differential inclusion

Summary An application in robotics motivates us to characterize the evolution of a subset in state space due to a compact neighborhood of an arbitrary dynamical system—an instance of a differential inclusion. Earlier results of Blagodat·skikh and Filippov (1986) and Butkovskii (1982) characterize the boundary of theattainable set and theforward projection operator of a state. Our first result is a local characterization of the boundary of the forward projection ofa compact regular subset of the state space. Let the collection of states such that the differential inclusion contains an equilibrium point be called asingular invariant set. We show that the fields at the boundary of the forward projection of a singular invariant set are degenerate under some regularity assumptions when the state-wise boundary of the differential inclusion is smooth. Consider instead those differential inclusions such that the state-wise boundary of the problem is a regular convex polytope—a piecewise smooth boundary rather than smooth. Our second result gives conditions for theuniqueness andexistence of the boundary of the forward projection of a singular invariant set. They characterize the bundle of unstable and stable manifolds of such a differential inclusion.     

The information cocycle andɛ-bounded codes

We shall prove here that Bowen’s bounded codes lead to a cocycle-coboundary equation which can be exploited in various ways: through central limit theorems, through the related information variance or through a certain group invariant. Another result which emerges is that it is impossible to boundedly code two Markov automorphisms when one is of maximal type and the other is not. The functions which appear in the above cited cocycle-coboundary equation may belong to variousL ^p spaces. We devote a section to this problem. Finally we show that the information cocycle associated with small smooth partitions of aC ² Anosov diffeomorphism preserving a smooth probability is, in a sense, canonical.     

An invariant‐region‐preserving limiter for DG schemes to isentropic Euler equations

In this article, we introduce an invariant‐region‐preserving (IRP) limiter for the p‐system and the corresponding viscous p‐system, both of which share the same invariant region. Rigorous analysis is presented to show that for smooth solutions the order of approximation accuracy is not destroyed by the IRP limiter, provided the cell average stays away from the boundary of invariant region. Moreover, this limiter is explicit, and easy for computer implementation. A generic algorithm incorporating the IRP limiter is presented for high order finite volume type schemes as long as the evolved cell average of the underlying scheme stays strictly within the invariant region. For high order discontinuous Galerkin (DG) schemes to the p‐system, sufficient conditions are obtained for cell averages to stay in the invariant region. For the viscous p‐system, we design both second and third order IRP DG schemes. Numerical experiments are provided to test the proven properties of the IRP limiter and the performance of IRP DG schemes.     

Topological and analytical properties of Sobolev bundles,I: The critical case

We study the interrelationship between topological and analytical properties of Sobolev bundles and describe some of their applications to variational problems on principal bundles. We in particular show that the category of Sobolev principal G-bundles of class W ^2,m/2 defined over M ^m is equivalent to the category of smooth principal G-bundles on M and give a characterization of the weak sequential closure of smooth principal G-bundles with prescribed isomorphism class. We also prove a topological compactness result for minimizing sequences of a conformally invariant Yang-Mills functional.      

Random perturbations of transformations of an interval

Let μ^ε be invariant measures of the Markov chainsx _n ^F which are small random perturbations of an endomorphismf of the interval [0,1] satisfying the conditions of Misiurewicz [6]. It is shown here that in the ergodic case μ^ε converges as ε→0 to the smoothf-invariant measure which exists according to [6]. This result exhibits the first example of stability with respect to random perturbations while stability with respect to deterministic perturbations does not take place.     

Smooth partitions of Anosov diffeomorphisms are weak Bernoulli

It is shown that smooth partitions are weak Bernoulli forC ² measure preserving Anosov diffeomorphisms. A related type of coding is defined and an invariant discussed. Supported by the Sloan Foundation and NSF GP-14519.     

<Emphasis Type="Italic">AF</Emphasis>-subalgebras of a <Emphasis Type="Italic">C*</Emphasis>-algebra generated by a mapping

In this paper we consider a C*-subalgebra of the algebra of all bounded operators B(l²(X)) on the Hilbert space l²(X)) with one generating element T _φ induced by a mapping φ of a set X into itself. We prove that such a C* -algebra has an AF-subalgebra and establish commutativity conditions for the latter. We prove that a C* -algebra generated by a mapping produces a dynamic system such that the corresponding group of automorphisms is invariant on elements of the AF- subalgebra.     

Invariance of a Shift-Invariant Space in Several Variables

In this article we study invariance properties of shift-invariant spaces in higher dimensions. We state and prove several necessary and sufficient conditions for a shift-invariant space to be invariant under a given closed subgroup of \mathbb R^d{\mathbb {R}^d}, and prove the existence of shift-invariant spaces that are exactly invariant for each given subgroup. As an application we relate the extra invariance to the size of support of the Fourier transform of the generators of the shift-invariant space. This work extends recent results obtained for the case of one variable to several variables.     

Non-random Invariant Sets for Some Systems of Parabolic Stochastic Partial Differential Equations

Abstract

In this article we investigate a class of non-autonomous, semilinear, parabolic systems of stochastic partial differential equations defined on a smooth, bounded domain 𝒪 ? ? ⁿ and driven by an infinite-dimensional noise defined from an L ²(𝒪)-valued Wiener process; in the general case the noise can be colored relative to the space variable and white relative to the time variable. We first prove the existence and the uniqueness of a solution under very general hypotheses, and then establish the existence of invariant sets along with the validity of comparison principles under more restrictive conditions; the main ingredients in the proofs of these results consist of a new proposition concerning Wong–Zakaï approximations and of the adaptation of the theory of invariant sets developed for deterministic systems. We also illustrate our results by means of several examples such as certain stochastic systems of Lotka–Volterra and Landau–Ginzburg equations that fall naturally within the scope of our theory.     

Remarks on the long time behaviour of the solutions of hamilton-jacobi equations

We study the Navier-Stokes equations, written in a domain of R ³ which is invariant under rotation around the vertical axis, or in the whole space R ³; the solutions seeked are also invariant by that rotation, and we look for conditions on the initial data which are close to the natural assumptions in the case of two space dimensions.     

Two-dimensional invariant tori in the neighborhood of an elliptic equilibrium of Hamiltonian systems

In this paper, we prove that a Hamiltonian system possesses either a four-dimensional invaxiant disc or an invariant Cantor set with positive （n ＋ 2）-dimensional Lebesgue measure in the neighborhood of an elliptic equilibrium provided that its lineaxized system at the equilibrium satisfies some small divisor conditions. Both of the invariant sets are foliated by two-dimensional invaxiant tori carrying quasi-oeriodic solutions.     

On Birkhoff Theorems for Lagrangian invariant tori with closed orbits

We show that a C¹ torus that is homologous to the zero section, invariant by the geodesic flow of a symmetric Finsler metric in T², and possesses closed orbits is a graph of the canonical projection. This result, together with the result obtained by Bialy in 1989 for continuous invariant tori without closed orbits of symmetric Finsler metrics in T², shows that the second Birkhoff Theorem holds for C¹ Lagrangian invariant tori of symmetric Finsler metrics in the two torus. We also study the first Birkhoff Theorem for continuous invariant tori of Finsler metrics in T² and give some sufficient conditions for a continuous minimizing torus with closed orbits to be a graph of the canonical projection. Partially supported by CNPq, FAPERJ, TWAS     

On smoothness and invariance properties of the gauss-newton method

We consider systems of m nonlinear equations in m + p unknowns which have p-dimensional solution manifolds. It is well-known that the Gauss-Newton method converges locally and quadratically to regular points on this manifold. We investigate in detail the mapping which transfers the starting point to its limit on the manifold. This mapping is shown to be smooth of one order less than the given system. Moreover, we find that the Gauss-Newton method induces a foliation of the neighborhood of the manifold into smooth submanifolds. These submanifolds are of dimension m, they are invariant under the Gauss-Newton iteration, and they have orthogonal intersections with the solution manifold.