Chaos caused by a strong-mixing measure-preserving transformation

The chaos caused by a strong-mixing preserving transformation is discussed and it is shown that for a topological spaceX satisfying the second axiom of countability and for an outer measurem onX satisfying the conditions: (i) every non-empty open set ofX ism-measurable with positivem-measure; (ii) the restriction ofm on Borel σ-algebra ℬ(X) ofX is a probability measure, and (iii) for everyY⊂X there exists a Borel setB⊂ℬ(X) such thatB⊃Y andm(B) =m(Y), iff:X→X is a strong-mixing measure-preserving transformation of the probability space (X, ℬ(X),m), and if {m}, is a strictly increasing sequence of positive integers, then there exists a subsetC⊂X withm (C) = 1, finitely chaotic with respect to the sequence {m _i}, i.e. for any finite subsetA ofC and for any mapF:A→X there is a subsequencer _i such that lim_i→∞ f ^r i(a) =F(a) for anya ∈A. There are some applications to maps of one dimension. the National Natural Science Foundation of China.     

Implicatively selector sets

Let A⊆N={0,1,2,...} and β be an n-ary Boolean function. We call A a β-implicatively selector (β-IS) set if there exists an n-ary selector general recursive function f such that (∀x₁,...,x_n)(β(χ(x₁),...,χ(x_n))=1⟹f(x₁,...,x_n)∈A), where χ is the characteristic function of A. Let F^(m), m≥1, be the family of all d _m+1 ^* -IS sets, where , F⁽⁰⁾=N, and F^(∞) is the class of all subsets in N. The basic result of the article says that the family of all β-IS sets coincides with one of F^(m), m≥0, or F^(∞), and, moreover, the inclusions F⁽⁰⁾⊂F⁽¹⁾⊂...⊂F^(∞) hold. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 145–153, March–April, 1996.     

The nonlinear version of Pazy’s local existence theorem

LetX be a real Banach space,U ⊂X a given open set,A ⊂X×X am-dissipative set andF:C(0,a;U) →L ^∞(0,a;X) a continuous mapping. Assume thatA generates a nonlinear semigroup of contractionsS(t): {ie221-2}) → {ie221-3}), strongly continuous at the origin, withS(t) compact for allt>0. Then, for eachu ₀ ∈ {ie221-4}) ∩U there existsT ∈ ]0,a] such that the following initial value problem: (du(t))/(dt) ∈Au(t) +F(u)(t),u(0)=u ₀, has at least one integral solution on [0,T]. Some extensions and applications are also included.     

Banach spaces with a weak cotype 2 property

We study the Banach spacesX with the following property: there is a numberδ in ]0,1[ such that for some constantC, any finite dimensional subspaceE ⊂X contains a subspaceF ⊂E with dimF≧δ dimE which isC-isomorphic to a Euclidean space. We show that if this holds for someδ in ]0,1[ then it also holds for allδ in ]0,1[ and we estimate the functionC=C(δ). We show that this property holds iff the “volume ratio” of the finite dimensional subspaces ofX are uniformly bounded. We also show that (althoughX can have this property without being of cotype 2)L ₂(X) possesses this property iffX if of cotype 2. In the last part of the paper, we study theK-convex spaces which have a dual with the above property and we relate it to a certain extension property.     

Generalization of the fricke theorem on entire functions of finite index

We prove that, for every sequence (a _k) of complex numbers satisfying the conditions Σ(1/|a _k |) < ∞ and |a _k+1| − |a _k | ↗ ∞ (k → ∞), there exists a continuous functionl decreasing to 0 on [0, + ∞] and such thatf(z) = Π(1 −z/|a _k |) is an entire function of finitel-index.     

Enveloping Σ-C *-algebra of a smooth Frechet algebra crossed product by ℝ,K-theory and differential structure inC *-algebras

Given anm-tempered strongly continuous action α of ℝ by continuous^*-automorphisms of a Frechet^*-algebraA, it is shown that the enveloping ↡-C ^*-algebraE(S(ℝ, A^∞, α)) of the smooth Schwartz crossed productS(ℝ,A ^∞, α) of the Frechet algebra A^∞ of C^∞-elements ofA is isomorphic to the Σ-C ^*-crossed productC ^*(ℝ,E(A), α) of the enveloping Σ-C ^*-algebraE(A) ofA by the induced action. WhenA is a hermitianQ-algebra, one getsK-theory isomorphismRK _*(S(ℝ, A^∞, α)) =K ^*(C ^*(ℝ,E(A), α) for the representableK-theory of Frechet algebras. An application to the differential structure of aC ^*-algebra defined by densely defined differential seminorms is given.     

On tame operators between non-archimedean power series spaces

Let p ∈ {1, ∞}. We show that any continuous linear operator T from A1 (a) to Ap (b) is tame, i.e., there exists a positive integer c such that sup x||Tx||k/|x|ck ∞ for every k ∈ N. Next we prove that a similar result holds for operators from A∞(a) to Ap(b) if and only if the set Mb,a of all finite limit points of the double sequence (bi /aj ) i,j∈N is bounded. Finally we show that the range of every tame operator from A∞(a) to A∞(b) has a Schauder basis.     

Uniform algebras as Banach spaces

Let A be a closed subalgebra of the complex Banach algebra C(S), containing the constant functions. We assume that one has found a probability measureμ on S and a function F from L^∞(μ) such that: 1)|F|= 1 a.e. relative to μ; 2) F _μ ε A¹; 3) F is a limit point of the unit ball of the algebra A in the topology δ(L^∞(μ), L¹(μ)). One proves in the paper that under these conditions the space A** contains a complement space, isometric to H^∞. The measure μ and the function F, satisfying the conditions l)-3) indeed exist if the maximal ideal space of the algebra A contains a non-one-point part (and it is very likely that such aμ. and F exist whenever the algebra A is not self-adjoint). Thus, the above-formulated result allows us to extend A. Pelczynski's theorem (Ref, Zh. Mat., 1975, 1B894) regarding the space H^∞ to a very broad class of uniform algebras. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 65, pp. 80–89, 1976.     

One-Sided Ideal Growth of Free Associative Algebras

Let R be a finitely generated associative algebra with unity over a finite field \Bbb F_q{\Bbb F}_q . Denote by a _n (R) the number of left ideals J ⊂ R such that dim R/J = n for all n ≥ 1. We explicitly compute and find asymptotics of the left ideal growth for the free associative algebra A _d of rank d with unity over \Bbb F_q{\Bbb F}_q , where d ≥ 1. This function yields a bound a _n (R) ≤ a _n (A _d ), n ? \Bbb Nn\in{\Bbb N} , where R is an arbitrary algebra generated by d elements. Denote by m _n (R) the number of maximal left ideals J ⊂ R such that dim R/J = n, for n ≥ 1. Let d ≥ 2, we prove that m _n (A _d ) ≈ a _n (A _d ) as n → ∞.     

On the growth of an entire dirichlet series

We establish the relation between the increase of the quantityM(σ,F) = ∣a ₀∣ + ∑ _n=1 ^∞ ∣a _n ∣ exp (σλ _n ) and the behavior of sequences (|a _n |) and (λ _n ), where (λ _n ) is a sequence of nonnegative numbers increasing to + ∞, andF(s) =a ₀ + ∑ _n=1 ^∞ a _n e ^sλn ,s=σ+it, is the Dirichlet entire series. Lviv University, Lviv. Translated from Ukrainskii Matematicheskii Zhurmal, Vol. 51, No. 8, pp. 1149–1153, August, 1999.     

Linear groups with minimality condition for some infinite-dimensional subgroups

Let F be a field, let A be a vector space over F, and let GL(F, A) be the group of all automorphisms of the space A. If H is a subgroup of GL(F, A), then we set aug dim_F (H) = dim_F (A(ωFH)), where ωFH is the augmentation ideal of the group ring FH. The number aug dim_F (H) is called the augmentation dimension of the subgroup H. In the present paper, we study locally solvable linear groups with minimality condition for subgroups of infinite augmentation dimension. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 11, pp. 1476–1489, November, 2005.     

Three classes of smooth Banach submanifolds in B(E,F)

Let E, F be two Banach spaces, and B(E, F), Φ(E, F), SΦ(E, F) and R(E,F) be the bounded linear, Fredholm, semi-Frdholm and finite rank operators from E into F, respectively. In this paper, using the continuity characteristics of generalized inverses of operators under small perturbations, we prove the following result Let ∑ be any one of the following sets {T ∈ Φ(E, F) IndexT =const, and dim N(T) = const.}, {T ∈ SΦ(E, F) either dim N(T) = const. ＜ ∞ or codim R(T) = const.＜ ∞} and {T ∈ R(E, F) RankT =const.＜∞}. Then ∑ is a smooth submanifold of B(E, F) with the tangent space TA∑ = {B ∈ B(E,F) BN(A) (∪) R(A)} for any A ∈ ∑. The result is available for the further application to Thom's famous results on the transversility and the study of the infinite dimensional geometry.     

Differentiation in the branges spaces and embedding theorems

The boundedness conditions for the differentiation operator in Hilbert spaces of entire functions (Branges spaces) and conditions under which the embedding K_и⊂L₂(μ) holds in spaces K_и associated with the Branges spacesH(E) are studied. Measure μ such that the above embedding is isometric are of special interest. It turns out that the condition E'/E∈H^∞(C⁺) is sufficient for the boundedness of the differentiation operator inH(E). Under certain restrictions on E, this condition is also necessary. However, this fact fails in the general case, which is demonstrated by the counterexamples constructed in this paper. The convex structure of the set of measures μ such that the embedding K_E ^* _/E⊂L²(μ) is isometric (the set of such measures was described by de Brages) is considered. Some classes of measures that are extreme points in the set of Branges measures are distinguished. Examples of measures that are not extreme points are also given. Bibliography: 7 titles. Translated fromProblemy Matematicheskogo Analiza, No. 19, 1999, pp. 27–68.     

Exact controllability for the wave equation with variable coefficients

We consider in this paper the evolution systemy″−Ay=0, whereA =∂ _i(a_ij∂_j) anda _ij ∈C ¹ (ℝ⁺;W ^1,∞ (Ω)) ∩W ^1,∞ (Ω × ℝ⁺), with initial data given by (y ₀,y ₁) ∈L ²(Ω) ×H ⁻¹ (Ω) and the nonhomogeneous conditiony=v on Γ ×]0,T[. Exact controllability means that there exist a timeT>0 and a controlv such thaty(T, v)=y′(T, v)=0. The main result of this paper is to prove that the above system is exactly controllable whenT is “sufficiently large”. Moreover, we obtain sharper estimates onT.     

K-Theory of pseudodifferential operators with semi-periodic symbols

Let 𝔄 denote the C^*-algebra of bounded operators on L ² ℝ generated by: (i) all multiplications a(M) by functions a∈C[ − ∞, + ∞], (ii) all multiplications by 2π-periodic continuous functions, and (iii) all operator of the form F ⁻¹ b(M)F, where F denotes the Fourier transform and b∈C[ − ∞, + ∞]. A given A ∈ 𝔄 is a Fredholm operator if and only if σ(A) and γ(A) are invertible, where σ denotes the continuous extension of the usual principal symbol, while γ denotes an operator-valued “boundary principal symbol” (the “boundary” here consists of two copies of the circle, one at each end of the real line). We give two proofs of the fact that K ₀(𝔄) is isomorphic to ℤ and that K ₁(𝔄) is isomorphic to ℤ ⊕ ℤ . We do it first by computing the connecting mappings in the six-term exact sequence associated to σ. For the second proof, we show that the image of γ is isomorphic to the direct sum of two copies of the crossed product , where α denotes the translation-by-one automorphism. Its K-theory can be computed using the Pimsner–Voiculescu exact sequence, and that information suffices for the analysis of the standard cyclic exact sequence associated to γ. Received: February 2006     

Instances of the Conjecture of Chang

We consider various forms of the Conjecture of Chang. Part A constitutes an introduction. Donder and Koepke have shown that if ρ is a cardinal such that ρ ≧ ω₁, and (ρ⁺⁺,ρ⁺↠(ρ⁺, ρ), then 0⁺ exists. We obtain the same conclusion in Part B starting from some other forms of the transfer hypothesis. As typical corollaries, we get: Theorem A.Assume that there exists cardinals λ, κ, such that λ ≧ K ⁺ ≧ω₂ and (λ⁺, λ)↠(K ⁺,K. Then 0⁺ exists. Theorem B.Assume that there exists a singularcardinal κ such that(K ⁺,K↠(ω₁, ω₀. Then 0⁺ exists. Theorem C.Assume that (λ ⁺⁺, λ). Then 0⁺ exists (also ifK=ω ₀. Remark. Here, as in the paper of Donder and Koepke, “O⁺ exists” is a matter of saying that the hypothesis is strictly stronger than “L(μ) exists”. Of course, the same proof could give a few more sharps overL(μ), but the interest is in expecting more cardinals, coming from a larger core model. Theorem D.Assume that (λ ⁺⁺, λ)↠(K ⁺, K) and thatK≧ω ₁. Then 0⁺ exists. Remark 2. Theorem B is, as is well-known, false if the hypothesis “κ is singular” is removed, even if we assume thatK≧ω ₂, or that κ is inaccessible. We shall recall this in due place. Comments. Theorem B and Remark 2 suggest we seek the consistency of the hypothesis of the form:K ⁺, K↠(ω_n +1, ω_n), for κ singular andn≧0. 0266 0152 V 3 The consistency of several statements of this sort—a prototype of which is (N _ω+1,N _ω)↠(ω₁, ω₀) —have been established, starting with an hypothesis slightly stronger than: “there exists a huge cardinal”, but much weaker than: “there exists a 2-huge cardinal”. These results will be published in a joint paper by M. Magidor, S. Shelah, and the author of the present paper.     

On a problem in additive number theory

For a set A, let P(A) be the set of all finite subset sums of A. We prove that if a sequence B={b ₁<b ₂<⋯} of integers satisfies b ₁≧11 and b _n+1≧3b _n +5 (n=1,2,…), then there exists a sequence of positive integers A={a ₁<a ₂<⋯} for which P(A)=ℕ∖B. On the other hand, if a sequence B={b ₁<b ₂<⋯} of positive integers satisfies either b ₁=10 or b ₂=3b ₁+4, then there is no sequence A of positive integers for which P(A)=ℕ∖B.     

Limit algebras of differential forms in non-commutative geometry

Given a C*-normed algebra A which is either a Banach *-algebra or a Frechet *-algebra, we study the algebras Ω_∞ A and Ω_ε A obtained by taking respectively the projective limit and the inductive limit of Banach *-algebras obtained by completing the universal graded differential algebra Ω*A of abstract non-commutative differential forms over A. Various quantized integrals on Ω_∞ A induced by a K-cycle on A are considered. The GNS-representation of Ω_∞ A defined by a d-dimensional non-commutative volume integral on a d ⁺-summable K-cycle on A is realized as the representation induced by the left action of A on Ω*A. This supplements the representation A on the space of forms discussed by Connes (Ch. VI.1, Prop. 5, p. 550 of [C]).     

Weighted approximation of random functions

ＷＥＩＧＨＴＥＤＡＰＰＲＯＸＩＭＡＴＩＯＮＯＦＲＡＮＤＯＭＦＵＮＣＴＩＯＮＳＹＵＪＩＡＲＯＮＧＡｂｓｔｒａｃｔ：Ｌｅｔ（Ω,Ａ,Ｐ）ｂｅａｐｒｏｂａｂｉｌｉｔｙｓｐａｃｅ,Ｘ（ｔ,ω）ａｒａｎｄｏｍｆｕｎｃｔｉｏｎｃｏｎｔｉｎｕｏｕｓｉｎｐｒｏｂａｂ...     

Norm conditions for real-algebra isomorphisms between uniform algebras

Let A and B be uniform algebras. Suppose that α ≠ 0 and A ₁ ⊂ A. Let ρ, τ: A ₁ → A and S, T: A ₁ → B be mappings. Suppose that ρ(A ₁), τ(A ₁) and S(A ₁), T(A ₁) are closed under multiplications and contain expA and expB, respectively. If ‖S(f)T(g) − α‖_∞ = ‖ρ(f)τ(g) − α‖_∞ for all f, g ∈ A ₁, S(e ₁)⁻¹ ∈ S(A ₁) and S(e ₁) ∈ T(A ₁) for some e ₁ ∈ A ₁ with ρ(e ₁) = 1, then there exists a real-algebra isomorphism $ \tilde S $ \tilde S : A → B such that $ \tilde S $ \tilde S (ρ(f)) = S(e ₁)⁻¹ S(f) for every f ∈ A ₁. We also give some applications of this result.