Fixed points and iterations of mean-type mappings

Let (X, d) be a metric space and T: X → X a continuous map. If the sequence (T ⁿ ) _n∈? of iterates of T is pointwise convergent in X, then for any x ∈ X, the limit $$\mu _T (x) = \mathop {\lim }\limits_{n \to \infty } T^n (x)$$ is a fixed point of T. The problem of determining the form of µ _T leads to the invariance equation µ _T ○ T = µ _T , which is difficult to solve in general if the set of fixed points of T is not a singleton. We consider this problem assuming that X = I ^p , where I is a real interval, p ≥ 2 a fixed positive integer and T is the mean-type mapping M =(M ₁,...,M _p ) of I ^p . In this paper we give the explicit forms of µ_M for some classes of mean-type mappings. In particular, the classical Pythagorean harmony proportion can be interpreted as an important invariance equality. Some applications are presented. We show that, in general, the mean-type mappings are not non-expansive.     

Estimates for Sobolev norms of triangular mappings

An increasing triangular mapping T on the n-dimensional cube Θ = [0, 1] ⁿ transforming a measure μ to a measure ν is considered, where μ and ν are absolutely continuous Borel probability measures having densities ρ _μ and ρ _ν . It is shown that if there exist positive constants ? and M such that ? < ρ _ν < M, ? < ρ _ν < M, there exist numbers α, β > 1 such that p = αβ(n ? 1)^?1 (α + β)^?1 > 1 and ρ _μ ∈ W ^1,α (Θ), ρ _ν ∈ W ^1,β ) (Θ), where W ^1,q denotes a Sobolev class, then the mapping T belongs to the class W ^1,p (Θ).     

Global Hölder estimates for optimal transportation

We generalize the well-known result due to Caffarelli concerning Lipschitz estimates for the optimal transportation T of logarithmically concave probability measures. Suppose that T: ? ^d → ? ^d is the optimal transportation mapping µ = e ^?V dx to ν = e ^?W dx. Suppose that the second difference-differential V is estimated from above by a power function and that the modulus of convexity W is estimated from below by the function A _q |x|^1+q , q ≥ 1. We prove that, under these assumptions, the mapping T is globally Hölder with the Hölder constant independent of the dimension. In addition, we study the optimal mapping T of a measure µ to Lebesgue measure on a convex bounded set K ? ? ^d . We obtain estimates of the Lipschitz constant of the mapping T in terms of d, diam(K), and DV, D ² V.     

Polar factorization of conformal and projective maps of the sphere in the sense of optimal mass transport

Let M be a compact Riemannian manifold and let μ, d be the associated measure and distance on M. Robert McCann, generalizing results for the Euclidean case by Yann Brenier, obtained the polar factorization of Borel maps S: M → M pushing forward μ to a measure ν: each S factors uniquely a.e. into the composition S = T ? U, where U: M → M is volume preserving and T: M → M is the optimal map transporting μ to ν with respect to the cost function d²/2.In this article we study the polar factorization of conformal and projective maps of the sphere S ⁿ . For conformal maps, which may be identified with elements of O_o(1, n+1), we prove that the polar factorization in the sense of optimal mass transport coincides with the algebraic polar factorization (Cartan decomposition) of this Lie group. For the projective case, where the group GL+(n + 1) is involved, we find necessary and sufficient conditions for these two factorizations to agree.     

Universally L 1 good sequences with gaps tending to infinity

We construct a sequence (n _k ) such that n _{k + 1} − n _k → ∞ and for any ergodic dynamical system (X, Σ, μ, T) and f ε L ¹(μ) the averages converge to ∝ _X f dμ for μ almost every x. Since the above sequence is of zero Banach density this disproves a conjecture of J. Rosenblatt and M. Wierdl about the nonexistence of such sequences. Research supported by the Hungarian National Foundation for Scientific research T049727.     

On the irreducibility of multivariate subresultants

Let P₁,…,P_n be generic homogeneous polynomials in n variables of degrees d₁,…,d_n respectively. We prove that if ν is an integer satisfying ∑_i=1ⁿd_i?n+1?min{d_i}<ν, then all multivariate subresultants associated to the family P₁,…,P_n in degree ν are irreducible. We show that the lower bound is sharp. As a byproduct, we get a formula for computing the residual resultant of $\text{ρ?ν+n?1}\text{n?1}$ smooth isolated points in $\text{P}{}^{\mathrm{<mspace\; sp="0.2"\; width="2px"\; linebreak="nobreak"\; is="true"></mspace><mtext>n?1</mtext>}}\text{.}$To cite this article: L. Busé, C. D'Andrea, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Sequences of contractions on L1-spaces

Let T_n, n = 1,2,… be a sequence of linear contractions on the space where is a finite measure space. Let M be the subspace of L¹ for which T_ng → g weakly in L¹ for g?M. If T_n1 → 1 strongly, then T_nf → f strongly for all f in the closed vector sublattice in L¹ generated by M.This result can be applied to the determination of Korovkin sets and shadows in L¹. Given a set G ? L¹, its shadow S(G) is the set of all f?L¹ with the property that T_nf → f strongly for any sequence of contractions T_n, n = 1, 2,… which converges strongly to the identity on G; and G is said to be a Korovkin set if S(G) = L¹. For instance, if 1 ?G, then, where M is the linear hull of G and $\text{B}$_M is the sub-σ-algebra of $\text{B}$ generated by {x?X: g(x) > 0} for g?M. If the measure algebra is separable, has Korovkin sets consisting of two elements.     

On two-sided and asymptotic estimates for the norms of embedding operators of into L q (dμ)

Explicit upper and lower estimates are given for the norms of the operators of embedding of , n ∈ ?, in L _q (dµ), 0 < q < ∞. Conditions on the measure µ are obtained under which the ratio of the above estimates tends to 1 as n → ∞, and asymptotic formulas are presented for these norms in regular cases. As a corollary, an asymptotic formula (as n → ∞) is established for the minimum eigenvalues λ_{1, n, β} , β > 0, of the boundary value problems (?d ²/dx ²) ⁿ u(x) = λ|x| ^β?1, x ∈ (?1, 1), u ^(k)(±1) = 0, k ∈ {0, 1, ..., n ? 1}.     

Patterson-Sullivan-type measures on Riccati foliations with quasi-Fuchsian holonomy

We consider Riccati foliations ?_ρ with hyperbolic leaves, over a finite hyperbolic Riemann Surface S, constructed by suspending a representation ρ: π ₁(S) → PSL(2,?) in a quasi-Fuchsian group. The foliated geodesic flow has a repeller-attractor dynamic with generic statistics µ⁺ and µ^? for positive and negative times, respectively. These measures have a common projection to a harmonic measure μ_ρ for the Riccati foliation. We describe μ _ρ ⁺ , μ _ρ ^- and μ_ρ in terms of the Patterson-Sullivan construction, and we show that the measures μ_ρ provide examples of the conformal harmonic measures introduced by M. Brunella.     

Rigidity and stability of the Leibniz and the chain rule

We study rigidity and stability properties of the Leibniz and chain rule operator equations. We describe which non-degenerate operators V, T ₁, T ₂,A: C ^k (?) → C(?) satisfy equations of the generalized Leibniz and chain rule type for f, g ∈ C ^k (?), namely, V (f · g) = (T ₁ f) · g + f · (T ₂ g) for k = 1, V (f · g) = (T ₁ f) · g + f · (T ₂ g) + (Af) · (Ag) for k = 2, and V (f ○ g) = (T ₁ f) ○ g · (T ₂ g) for k = 1. Moreover, for multiplicative maps A, we consider a more general version of the first equation, V (f · g) = (T ₁ f) · (Ag) + (Af) · (T ₂ g) for k = 1. In all these cases, we completely determine all solutions. It turns out that, in any of the equations, the operators V, T ₁ and T ₂ must be essentially equal. We also consider perturbations of the chain and the Leibniz rule, T (f ○ g) = Tf ○ g · Tg + B(f ○ g, g) and T (f · g) = Tf · g + f · Tg + B(f, g), and show under suitable conditions on B in the first case that B = 0 and in the second case that the solution is a perturbation of the solution of the standard Leibniz rule equation.     

Ruzsa’s constant on additive functions

A function f : N → R is called additive if f(mn)= f(m)+f(n)for all m, n with(m, n)= 1. Let μ(x)= max n≤x(f(n)f(n + 1))and ν(x)= max n≤x(f(n + 1)f(n)). In 1979, Ruzsa proved that there exists a constant c such that for any additive function f , μ(x)≤ cν(x 2 )+ c f , where c f is a constant depending only on f . Denote by R af the least such constant c. We call R af Ruzsa's constant on additive functions. In this paper, we prove that R af ≤ 20.     

Random fields associated with multiple points of the Brownian motion

Let X_t be the Brownian motion in $\text{R}$^d. The random set Γ = {(t₁,…, t_n, z): X_tl = ··· = X_tn = z} in $\text{R}$^{d + n} is empty a.s. except in the following cases: (a) n = 1, d = 1, 2,…; (b) d = 2, n = 2, 3,…; (c) d = 3, n = 2. In each of these cases, a family of random measures M_λ concentrated on Γ is constructed (λ takes values in a certain class of measures on $\text{R}$^d). Measures M_λ characterize the time-space location of self-intersections for Brownian paths. If n = d = 1, then M_λ(dt, dz) = λ(dz) N_z(dt) where N₂ is the local time at z. In the case n = 2, the set Γ can be identified with the set of Brownian loops. The measure M_λ “explodes” on the diagonal {t₁ = t₂} and, to study small loops, a random distribution which regularizes M_λ is constructed.     

Metric entropy of the integration operator and small ball probabilities for the Brownian sheet

Let T_d : L₂([0, 1]^d) → C([0, 1]^d) be the d-dimensional integration operator. We show that its Kolmogorov and entropy numbers decrease with order at least k⁻¹ (log k)d− 1/2. From this we derive that the small ball probabilities of the Brownian sheet on [0, 1]^d under the C([0, 1]^d)-norm can be estimated from below by exp(−Cɛ⁻²¦ log ɛ¦^2d−1), which improves the best known lower bounds considerably. We also get similar results with respect to certain Orlicz norms.     

An abstract approach to Loewner chains

We present a new geometric construction of Loewner chains in one and several complex variables which holds on complete hyperbolic complex manifolds and prove that there is essentially a one-to-one correspondence between evolution families of order d and Loewner chains of the same order. As a consequence, we obtain a univalent solution (f _t : M → N) of any Loewner-Kufarev PDE. The problem of finding solutions given by univalent mappings (f _t : M → ? ⁿ ) is reduced to investigating whether the complex manifold ∪ _t≥0 f _t (M) is biholomorphic to a domain in ? ⁿ . We apply such results to the study of univalent mappings f: B ⁿ → ? ⁿ .     

On operator norms of submatrices

Both of the following conditions are equivalent to the absoluteness of a norm ν in $\text{C}$ⁿ: (1) for all n×n diagonal matrices D=(d_k), the subordinate operator norm N_ν(D)=max_k|d_k|; (2) for all n×n matrices A, N_ν(A) ?N_ν(|A|). These conditions are modified for partitioned matrices by replacing absolute values with norms of blocks. A generalization of absoluteness is thus obtained.     

A central limit theorem for a weighted power variation of a Gaussian process*

Let ρ be a real-valued function on [0, T], and let LSI(ρ) be a class of Gaussian processes over time interval [0, T], which need not have stationary increments but their incremental variance σ(s, t) is close to the values ρ(|t ? s|) as t → s uniformly in s ∈ (0, T]. For a Gaussian processesGfrom LSI(ρ), we consider a power variation V _n corresponding to a regular partition π _n of [0, T] and weighted by values of ρ(·). Under suitable hypotheses on G, we prove that a central limit theorem holds for V _n as the mesh of π _n approaches zero. The proof is based on a general central limit theorem for random variables that admit a Wiener chaos representation. The present result extends the central limit theorem for a power variation of a class of Gaussian processes with stationary increments and for bifractional and subfractional Gaussian processes.     

On σ-algebras related to the measurability of compositions

Given a measurable space (T, F), a set X, and a map ?: T → X, the σ-algebras N _Ф = ?_?∈Φ N _?, and M _Φ = ?_?∈Φ N _?, where G _?(t) = (t, ?(t)) and Φ ? X ^T , are considered. These σ-algebras are used to characterize the (F, B, ?)-measurability of the compositions g ○ ? and f о G _?, where g: X → Y, f: T × X → Y, and (Y, ?) is a measurable space. Their elements are described without using the operations ? ^?1 and G _? ^?1 .     

A new proof of a theorem of Petersen

Let M be an n-dimensional complete Riemannian manifold with Ricci curvature n- 1. By developing some new techniques, Colding(1996) proved that the following three conditions are equivalent: 1)dGH(M, S~n) → 0; 2) the volume of M Vol(M) → Vol(S~n); 3) the radius of M rad(M) →π. By developing a different technique, Petersen(1999) gave the 4th equivalent condition, namely he proved that the n + 1-th eigenvalue of M, λ_(n+1)(M) → n, is also equivalent to the radius of M, rad(M) →π, and hence the other two.In this paper, we use Colding's techniques to give a new proof of Petersen's theorem. We expect our estimates will have further applications.     

Cantor-Lebesgue theorem for double trignometric series

Let ∥·∥ be a norm in R² and let γ be the unit sphere induced by this norm. We call a segment joining points x,y ε R² rational if (x₁ ? y₁)/(x₂ ? y₂) or (x₂ ? y₂)/(x₁ ? y₁) is a rational number. Let γ be a convex curve containing no rational segments. Satisfaction of the condition $$T_\nu (x) = \sum\nolimits_{\parallel n\parallel = \nu } {c_n e^{2\pi i(n_1 x_1 + n_2 x_2 )} } \to 0(\nu \to \infty )$$ in measure on the set e? [- 1/2,1/2)×[- 1/2, 1/2) =T² of positive planar measure implies ∥T _v ∥L₄ (T²) → 0(v → ∞). if, however, γ contains a rational segment, then there exist a sequence of polynomials {T _v } and a set E ? T², ¦E¦ > 0, such that T _v (x) → 0(v → ∞) on E; however, ¦c_n¦ ? 0 for ∥n∥ → ∞.     

Regular graphs of large girth and arbitrary degree

For every integer d≥10, we construct infinite families {G _n } _n∈? of d+1-regular graphs which have a large girth ≥log _d |G _n |, and for d large enough ≥1.33 · log _d |G _n |. These are Cayley graphs on PGL ₂(F _q ) for a special set of d+1 generators whose choice is related to the arithmetic of integral quaternions. These graphs are inspired by the Ramanujan graphs of Lubotzky-Philips-Sarnak and Margulis, with which they coincide when d is a prime. When d is not equal to the power of an odd prime, this improves the previous construction of Imrich in 1984 where he obtained infinite families {I _n } _n∈? of d + 1-regular graphs, realized as Cayley graphs on SL ₂(F _q ), and which are displaying a girth ≥0.48·log _d |I _n |. And when d is equal to a power of 2, this improves a construction by Morgenstern in 1994 where certain families {M _n } _n∈N of 2 ^k +1-regular graphs were shown to have girth ≥2/3·log₂ ^k |M _n |.