The Poincaré—Lyapunov—Liouville—Arnol'd theorem

Moscow State University. Translated from Funktsional'nyi Analiz i Ego Prilozheniya, Vol. 28, No. 2, pp. 67–69, April–June, 1994.     

From

Let be a space of finite type. Set as usual, and define the mod support of by for 0.$"> Call sparse if there is no with

Then we show the relation for any finite type space with being sparse.

As a special case, we have and the main theorem of Ravenel, Wilson and Yagita is also generalized in terms of the mod support.

     

Coloring

If and , then define the graph to be the graph whose vertex set is with two vertices being adjacent iff there are distinct such that . For various and and various , typically or , the graph can be properly colored with colors. It is shown that in some cases such a coloring can also have the additional property that if is an isometric embedding, then the restriction of to is a bijection onto .

     

Polynomials in

A positive semidefinite polynomial is said to be if is a sum of squares in , but no fewer, and is a sum of squares in , but no fewer. If is not a sum of polynomial squares, then we set .

It is known that if , then . The Motzkin polynomial is known to be . We present a family of polynomials and a family of polynomials. Thus, a positive semidefinite polynomial in may be a sum of three rational squares, but not a sum of polynomial squares. This resolves a problem posed by Choi, Lam, Reznick, and Rosenberg.

     

again

It is shown that if, for an entire function,

where , then

In the proof, the zeros of the function are redistributed to minimize the large values of .

     

Estimates of

We extend a result of Ramaré and Rumely, 1996, about the Chebyshev function in arithmetic progressions. We find a map such that and 0)}$">, whereas is a constant. Now we are able to show that, for ,

and, for ,

\frac{x}{2\ln x}.\end{displaymath}">

     

Embeddings of

We show that there is only one embedding of in at the prime , up to self-maps of . We also describe the effect of the group of self-equivalences of at the prime on this embedding and then show that the Friedlander exceptional isogeny composed with a suitable Adams map is an involution of whose homotopy fixed point set coincide with

     

Wavelet bases in

Some years ago, compactly supported divergence-free wavelets were constructed which also gave rise to a stable (biorthogonal) wavelet splitting of . These bases have successfully been used both in the analysis and numerical treatment of the Stokes and Navier-Stokes equations. In this paper, we construct stable wavelet bases for the stream function spaces . Moreover, -free vector wavelets are constructed and analysed. The relationship between and are expressed in terms of these wavelets. We obtain discrete (orthogonal) Hodge decompositions.

Our construction works independently of the space dimension, but in terms of general assumptions on the underlying wavelet systems in that are used as building blocks. We give concrete examples of such bases for tensor product and certain more general domains . As an application, we obtain wavelet multilevel preconditioners in and .

     

Rudin-Shapiro-like polynomials in

We examine sequences of polynomials with coefficients constructed using the iterations , where is the degree of and is the reciprocal polynomial of . If these generate the Rudin-Shapiro polynomials. We show that the norm of these polynomials is explicitly computable. We are particularly interested in the case where the iteration produces sequences with smallest possible asymptotic norm (or, equivalently, with largest possible asymptotic merit factor). The Rudin-Shapiro polynomials form one such sequence.

We determine all of degree less than 40 that generate sequences under the iteration with this property. These sequences have asymptotic merit factor 3. The first really distinct example has a of degree 19.

     

Powers of

We prove that the Cech-Stone remainder of the integers, , maps onto its square if and only if there is a nontrivial map between two of its different powers, finite or infinite. We also prove that every compact space that maps onto its own square maps onto its own countable infinite product.

     

Lipscomb's space

It is known that Lipscomb's space can be imbedded in Hilbert's space . Let be the imbedded version of endowed with the -induced topology. We show how to construct as the attractor of an iterated function system containing an infinite number of affine transformations of . In this way we answer an open question of J.C. Perry.

     

Connecting Lemmas

Like the closing lemma, the connecting lemma is of fundamental importance in dynamical systems. Hayashi recently proved the connecting lemma for stable and unstable manifolds of a hyperbolic invariant set. In this paper, we prove several very general connecting lemmas. We simplify Hayashi's proof and extend the results to more general cases.

     

and applications

We study an analogue of the classical theory of weights in without assuming that the underlying measure is doubling. Then, we obtain weighted norm inequalities for the (centered) Hardy-Littlewood maximal function and corresponding weighted estimates for nonclassical Calderón-Zygmund operators. We also consider commutators of those Calderón- Zygmund operators with bounded mean oscillation functions (), extending the main result from R. Coifman, R. Rochberg, and G. Weiss, Factorization theorems for Hardy spaces in several variables, Ann. of Math. 103 (1976), 611-635. Finally, we study self-improving properties of Poincaré-B.M.O. type inequalities within this context; more precisely, we show that if is a locally integrable function satisfying for all cubes , then it is possible to deduce a higher integrability result for , assuming a certain simple geometric condition on the functional .     

The algebra

We study a class of endomomorphism algebras of certain -permutation modules over the Hecke algebra of type , whose summands involve both parabolic and quasi-parabolic subgroups, and prove that these algebras are integrally free and quasi-hereditary, and are stable under base change. Some consequences for decomposition numbers are discussed.

     

Derived equivalence in

We present a proof that Broué's Abelian Defect Group Conjecture is true for the principal -block of the group . Okuyama has independently obtained the same result using a different approach.

     

On contractible

We present a very short proof of a well-known result, that for each there exists a contractible -dimensional compactum, non-embeddable into .