Double Extensions of Dynamical Systems and Construction of Mixing Filtrations. II. Quasihyperbolic Toral Automorphisms

Let T be an automorphism (an invertible measure preserving transformation) of a probability space and let U be a unitary operator on defined by . Let and be the generators of symmetric Markov transition semigroups acting on L₂. It is assumed that A_s and A_u satisfy the relations U_-1 A_s U =^-1 A_sand U^-1 A_u U A_u for some > 1. A nonnegative self-adjoint operator A on L₂ with the properties UA=AU and A_u+A_s A is called a T-invariant minorant for (A_u, A_s). Assuming that A_u and A_s commute, certain assumptions on a function f L₂ in terms of such a minorant are proposed under which the sequence (f T^k, k Z) satisfies the functional form of the central limit theorem and the law of the iterated logarithm. A special case of these assumptions was considered in an earlier paper by the author. Quasihyperbolic toral automorphisms are considered as an application. Bibliography: 9 titles.     

Commutators in model spaces

Let θ be an inner function, let K _θ = H ² ⊖ θH ², and let S_θ : K_θ → S_θ be defined by the formula S_θf = P_θzf, where f ∈ K_θ is the orthogonal projection of H² onto K_θ. Consider the set A of all trace class operators L : K_θ → K_θ, L = ∑(·,u_n)v_n, ∑∥u_n∥∥v_n∥ < ∞ (u_n, v_n ∈ K_θ), such that ∑ū_n v_n ∈ H ₀ ¹ . It is shown that trace class commutators of the form XS_θ − S_θX (where X is a bounded linear operator on K_θ) are dense in A in the trace class norm. Bibliography: 2 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 333, 2006, pp. 54–61.     

Extensions of dynamical systems and the martingale approximation method

Let T be a measure-preserving transformation of a probability space (X, F, μ) and let A be the generator of a μ-symmetric Markov process with state space X. Under the assumption that A is an “eigenvector” for T an extension of T is constructed in terms of A. By means of this extension a version of the central limit theorem is proved via approximation by martingales. Bibliography: 5 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 216, 1994, pp. 10–19. Translated by V. Sudakov.     

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.     

The character table of the group GL 2(Q) when extended by a certain group of order two

LetG denote either of the groupsGL ₂(q) or SL₂(q). Then θ :G →G given by θ(A) = (A ^t)^t, whereA ^t denotes the transpose of the matrixA, is an automorphism ofG. Therefore we may form the groupG.θ> which is the split extension of the groupG by the cyclic group θ of order 2. Our aim in this paper is to find the complex irreducible character table ofG. θ.     

Packing dimension and Ahlfors regularity of porous sets in metric spaces

Let X be a metric measure space with an s-regular measure μ. We prove that if A ì X{A\subset X} is r{\varrho} -porous, then dim_p(A) ￡ s-cr^s{{\rm {dim}_p}(A)\le s-c\varrho^s} where dim_p is the packing dimension and c is a positive constant which depends on s and the structure constants of μ. This is an analogue of a well known asymptotically sharp result in Euclidean spaces. We illustrate by an example that the corresponding result is not valid if μ is a doubling measure. However, in the doubling case we find a fixed N ì X{N\subset X} with μ(N) = 0 such that dim_p(A) ￡ dim_p(X)-c(log\tfrac1r)^-1r^t{{\rm {dim}_p}(A)\le{\rm {dim}_p}(X)-c(\log \tfrac1\varrho)^{-1}\varrho^t} for all r{\varrho} -porous sets A ì X\ N{A \subset X{\setminus} N} . Here c and t are constants which depend on the structure constant of μ. Finally, we characterize uniformly porous sets in complete s-regular metric spaces in terms of regular sets by verifying that A is uniformly porous if and only if there is t < s and a t-regular set F such that A ì F{A\subset F} .     

Lie jets and symmetries of prolongations of geometric objects

The Lie jet L _θ λ of a field of geometric objects λ on a smooth manifold M with respect to a field θ of Weil A-velocities is a generalization of the Lie derivative L _v λ of a field λ with respect to a vector field v. In this paper, Lie jets L _θ λ are applied to the study of A-smooth diffeomorphisms on a Weil bundle T ^A M of a smooth manifold M, which are symmetries of prolongations of geometric objects from M to T ^A M. It is shown that vanishing of a Lie jet L _θ λ is a necessary and sufficient condition for the prolongation λ ^A of a field of geometric objects λ to be invariant with respect to the transformation of the Weil bundle T ^A M induced by the field θ. The case of symmetries of prolongations of fields of geometric objects to the second-order tangent bundle T ² M are considered in more detail.     

Almost automorphic solutions to integral equations on the line

Given a∈L ¹(ℝ) and A the generator of an L ¹-integrable family of bounded and linear operators defined on a Banach space X, we prove the existence of almost automorphic solution to the semilinear integral equation u(t)=∫ _−∞ ^t a(t−s)[Au(s)+f(s,u(s))]ds for each f:ℝ×X→X almost automorphic in t, uniformly in x∈X, and satisfying diverse Lipschitz type conditions. In the scalar case, we prove that a∈L ¹(ℝ) positive, nonincreasing and log-convex is already sufficient.     

The Neumann problem for some degenerate elliptic equations

In the paper we study the equation L _u = f, where L is a degenerate elliptic operator, with Neumann boundary condition in a bounded open set μ. We prove existence and uniqueness of solutions in the space H(μ) for the Neumann problem.     

Renorming in the space of Bochner integrable functionsL 1(μ,X)

A sufficient condition is given when a subspaceL⊂L ₁(μ,X) of the space of Bochner integrable function, defined on a finite and positive measure space (S, Φ, μ) with values in a Banach spaceX, is locally uniformly convex renormable in terms of the integrable evaluations {∫ _A fdμ;f∈L}. This shows the lifting property thatL ₁(μ,X) is renormable if and only ifX is, and indicates a large class of renormable subspaces even ifX does not admit and equivalent locally uniformly convex norm.     

Three-term recurrence relations with matrix coefficients. The completely indefinite case

In the space {ol _p ² of vector sequences, we consider the symmetric operatorL generated by the expression (lu)j:=Bj ^uj+1+Aj ^uj+ _B ^j−1/* uj−1, whereu−1 = 0,u ₀,u ₁, … ∈ ℂ ^p ,A _j andB _j arep × p matrices with entries from ℂ,A _j ^* =A_j, and the inversesB _j ⁻¹ (j = 0, 1, …) exist. We state a necessary and sufficient condition for the deficiency numbers of the operatorL to be maximal; this corresponds to the completely indefinite case for the expressionl. Tests for incomplete indefiniteness and complete indefiniteness forl in terms of the coefficientsA _j andB _j are derived. Translated fromMatematicheskie Zametki, Vol. 63, No. 5, pp. 709–716, May, 1998. This research was supported by the Russian Foundation for Basic Research under grant No. 96-01-00333.     

Connections between the approximative and spectral properties of metric automorphisms

To each automorphism T of a Lebesgue space (X, @#@) there corresponds a unitary operator U_T in the space L²(X,), defined by the formula (U_Tf) (x) = f (Tx),f L²(X,), x X. In this note we investigate the special properties of the operator U_T as a function of the rate of approximation of the automorphism T by periodic transformations (for the definition of the rate of approximation of a metric automorphism see [1]).Translated from Matematicheskie Zametki, Vol. 13, No. 3, pp.403–409, March, 1973.     

Inverse problems for Sturm—Liouville operators with potentials in Sobolev spaces: Uniform stability

Two inverse problems for the Sturm-Liouville operator Ly = s-y″ + q(x)y on the interval [0, fy] are studied. For θ ⩾ 0, there is a mapping F:W ₂^θ → l _B ^θ, F(σ) = {s _k }₁^∞, related to the first of these problems, where W ₂^∞ = W ₂^∞[0, π] is the Sobolev space, σ = ∫ q is a primitive of the potential q, and l _B ^θ is a specially constructed finite-dimensional extension of the weighted space l ₂^θ, where we place the regularized spectral data s = {s _k }₁^∞ in the problem of reconstruction from two spectra. The main result is uniform lower and upper bounds for ∥σ - σ₁∥_θ via the l _B ^θ-norm ∥s − s₁∥_θ of the difference of regularized spectral data. A similar result is obtained for the second inverse problem, that is, the problem of reconstructing the potential from the spectral function of the operator L generated by the Dirichlet boundary conditions. The result is new even for the classical case q ∈ L ₂, which corresponds to θ = 1.     

Reciprocity transformations for radial nonlinear heat equations

Nonlocal transformations of some quasilinear parabolic equations which describe spherically symmetric heat conduction and diffusion processes are considered. One of them transforms the equationr ⁿ⁻¹θ _t =(r ⁿ⁻¹|θ _r | ^l θ _r ) _r to an equation of the same type but with a different value of the exponent n. Another transformation reduces the equationr ⁿ⁻¹θ _t =(r ⁿ⁻¹θ⁻²θ _r ) _r to an equation with coefficients which do not depend on the space variable. The third nonlocal transformation preserves the equationrθ _t =(rθ ⁻¹θ _r ) _r . Some exact solutions of the mentioned equations are analyzed. Bibliography: 15 titles. Dedicated to V. A. Solonnikov on his sixtieth anniversary Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 213, 1994, pp. 151–163. Translated by S. Yu. Pilyugin     

Bernstein and Gelfand widths of certain classes of analytic functions. II

The Gelfand widths of the unit ball of H²(ν) (the weighted Hardy space) with respect to the metric of the space L_∞(T_r) are considered (here T_r is the circle of radius r centered at the origin), as well as the Bernstein widths of the unit ball of H^∞ with respect to the metric of the space L₂(T_r, μ). Asymptotic formulas for the widths in question are established for arbitrary measures ν, μ. Bibliography: 5 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 232, 1996, pp. 134–140. Translated by S. V. Kislyakov.     

Cramér-type conditions and quadratic mean differentiability

Summary Let (Ω,A) be a measurable space, let Θ be an open set inR ^k , and let {P _θ; θ∈Θ} be a family of probability measures defined onA. Let μ be a σ-finite measure onA, and assume thatP _θ≪μ for each θ∈Θ. Let us denote a specified version ofdP _θ /d _μ byf(ω; θ). In many large sample problems in statistics, where a study of the log-likelihood is important, it has been convenient to impose conditions onf(ω; θ) similar to those used by Cramér [2] to establish the consistency and asymptotic normality of maximum likelihood estimates. These are of a purely analytical nature, involving two or three pointwise derivatives of lnf(ω; θ) with respect to θ. Assumptions of this nature do not have any clear probabilistic or statistical interpretation. In [10], LeCam introduced the concept of differentially asymptotically normal (DAN) families of distributions. One of the basic properties of such a family is the form of the asymptotic expansion, in the probability sense, of the log-likelihoods. Roussas [14] and LeCam [11] give conditions under which certain Markov Processes, and sequences of independent identically distributed random variables, respectively, form DAN families of distributions. In both of these papers one of the basic assumptions is the differentiability in quadratic mean of a certain random function. This seems to be a more appealing type of assumption because of its probabilistic nature. In this paper, we shall prove a theorem involving differentiability in quadratic mean of random functions. This is done in Section 2. Then, by confining attention to the special case when the random function is that considered by LeCam and Roussas, we will be able to show that the standard conditions of Cramér type are actually stronger than the conditions of LeCam and Roussas in that they imply the existence of the necessary quadratic mean derivative. The relevant discussion is found in Section 3. This research was supported by the National Science Foundation, Grant GP-20036.     

Fractal penrose tiles II: Tiles with fractal boundary as duals of penrose triangles

Summary Suppose given a quasi-periodic tiling of some Euclidean space E _u which is self-similar under the linear expansiong: E_μ→E_μ. It is known that there is an embedding of E_μ into some higher-dimensional space ℝ ^N and a linear automorphism with integer coefficients such that E _u ⊂ ℝ ^N is invariant under andg is the restriction of to E _u . Let E _s be the -invariant complement of E _u , and . If certain conditions are fulfilled (e.g. must be a lattice automorphism,g ^* is an expansion), we construct a self-similar tiling of E _s whose expansion isg ^*, using the information contained in the original tiling of E_μ. The term “Galois duality” of tilings is motivated by the fact that the eigenvalues ofg ^* are Galois conjugates of those ofg. Our method can be applied to find the Galois duals which are given by Thurston, obtained in a somewhat other way for the case that dim E_μ=1, andg is the multiplication by a cubic Pisot unit. Bandt and Gummelt have found fractally shaped tilings which can be considered as strictly self-similar modifications of the kites-and-darts, and the rhombi tilings of Penrose. As one of the examples, we show that these fractal versions can be constructed by dualizing tilings by Penrose triangles.     

Connexité des sous-niveaux des fonctionnelles intégrales

Let (T, ℐ, μ) be a σ-finite atomless measure space,p∈[1,∞),E a real Banach space andf a measurable function:E xT→ℝ. We denote byF the functionalF: and byDom(F) its domain, it is the set {uεL ^p(T,E):ū(t)=f(u),t)εL ¹(T)}, and we prove that the sublevelsS(λ)={u:F(u)≤λ} are all connected in the subspaceDom(F) of the Banach spaceL ^p(T, E).     

Version of the Grothendieck theorem for subspaces of analytic functions in lattices

A version of Grothendieck’s inequality says that any bounded linear operator acting from a Banach lattice X to a Banach lattice Y acts from X(ℓ²) to Y (ℓ²) as well. A similar statement is proved for Hardy-type subspaces in lattices of measurable functions. Namely, let X be a Banach lattice of measurable functions on the circle, and let an operator T act from the corresponding subspace of analytic functions X_A to a Banach lattice Y or, if Y is also a lattice of measurable functions on the circle, to the quotient space Y/Y_A. Under certain mild conditions on the lattices involved, it is proved that T induces an operator acting from X_A(ℓ²) to Y (ℓ²) or to Y/Y_A(ℓ2), respectively. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 327, 2005, pp. 5–16.     

Sarason's transform in a Sobolev space

The lassical Sarason transform is the canonical isomorphism of the model space H²/gqH² (θ is an inner function generated by a single point mass) onto the standard L² space. In the paper the image of the space of smooth functions H ₂ ¹ ={f: f′ ε H²} under this transform is described in explicit terms. Pointwise estimates of the model operator in H ₂ ¹ /θH ₂ ¹ are obtained. Bibliography: 5 titles. Translated fromZapiski Nauchnykh Seminarov POMI. Vol. 206, 1993, pp. 33–39. Translated by I. Boricheva.