Young measures generated by a class of integrands: a narrow epicontinuity and applications to Homogenization

Given a subset E of convex functions from into which satisfy growth conditions of order p>1 and an open bounded subset of , we establish the continuity of a map μΦ_μ from the set of all Young measures on equipped with the narrow topology into a set of suitable functionals defined in and equipped with the topology of Γ-convergence. Some applications are given in the setting of periodic and stochastic homogenization.     

Elliptic equations for measures: Regularity and global bounds of densities

We consider elliptic equations of the form L^*μ=ν for measures on . The membership of solutions in the Sobolev classes is established under appropriate conditions on the coefficients of L. Bounds of the form (x)CΦ(x)⁻¹ for the corresponding densities are obtained.     

Interpolatory Subdivision Schemes Induced by Box Splines

This paper is devoted to a study of interpolatory refinable functions. If a refinable function φ on ^sis continuous and fundamental, i.e., φ(0)=1 and φ(α)=0 for α ^s\{0}, then its corresponding mask bsatisfies b(0)=1 and b(2α)=0 for all α ^s\{0}. Such a refinement mask is called an interpolatory mask. We establish the existence and uniqueness of interpolatory masks which are induced by masks of box splines whose shifts are linearly independent.     

Enumerating Permutation Polynomials I: Permutations with Non-Maximal Degree

Let be a conjugation class of permutations of a finite field _q. We consider the function N (q) defined as the number of permutations in for which the associated permutation polynomial has degree <q−2. In 1969, Wells proved a formula for N_[3](q) where [k] denotes the conjugation class of k-cycles. We will prove formulas for N_[k](q) where k=4,5,6 and for the classes of permutations of type [2 2],[3 2],[4 2],[3 3] and [2 2 2]. Finally in the case q=2ⁿ, we will prove a formula for the classes of permutations which are product of 2-cycles.     

Hölder continuity conditions for the solvability of Dirichlet problems involving functionals with free discontinuities

The paper deals with the problem of minimizing a free discontinuity functional under Dirichlet boundary conditions. An existence result was known so far for C¹(∂Ω) boundary data û. We show here that the same result holds for ûC^0,μ(∂Ω) if and it cannot be extended to cover the case . The proof is based on some geometric measure theoretic properties, in part introduced here, which are proved a priori to hold for all the possible minimizers.     

A Class of Polynomials over Finite Fields

Generalizing the norm and trace mappings for _q^r/ _q, we introduce an interesting class of polynomials over finite fields and study their properties. These polynomials are then used to construct curves over finite fields with many rational points.     

Compressing Mappings on Primitive Sequences over Z/(2) and Its Galois Extension

Let f(x) be a strongly primitive polynomial of degree n over Z/(2^e), η(x₀,x₁,…,x_e−2) a Boolean function of e−1 variables and (x₀,x₁,…,x_e−1)=x_e−1+η(x₀,x₁,…,x_e−2)G (f(x),Z/(2^e)) denotes the set of all sequences over Z/(2^e) generated by f(x), F₂^∞ the set of all sequences over the binary field F₂, then the compressing mapping

Full-size image

is injective, that is, for , G(f(x),Z/(2^e)), = if and only if Φ( )=Φ( ), i.e., ( ₀,…, _e−1)=( ₀,…, _e−1) mod 2. In the second part of the paper, we generalize the above result over the Galois rings.     

Invariants of 2×2-Matrices over Finite Fields

Let _q be the finite field with q elements, q=p^ν, p a prime, and Mat_2.2( _q) the vector space of 2×2-matrices over . The group GL(2, ) acts on Mat_2,2( _q) by conjugation. In this note, we determine the invariants of this action. In contrast to the case of an infinite field, where the trace and determinant generate the ring of invariants, several new invariants appear in the case of finite fields.     

Abelian fourfold of Mumford-type and Kuga-Satake varieties

Let X be a complex abelian fourfold of Mumford-type and let V = H¹(X, ). The complex Mumford-Tate group of X is isogenous to SL(2)³. We recover information about the Hodge structure of X using representations of the Lie algebras (2)³ and (8) acting on V . Using these techniques we show that there is a Kuga-Satake variety A associated to X in such a way that A is isogenous to X³².     

Analytic eigendistributions and applications to homogeneous trees

An analytic distribution on is an element, ν, of the dual of the space of analytic functions on K. In particular, ν defines a linear functional on the polynomial ring . In this work, we study the converse problem: given a linear functional on , try to find a minimal set K such that ν extends to an analytic distribution on K. This study was motivated by the desire to generalize a result that allows the representation of functions on a homogeneous tree as integrals of z-harmonic functions oven a certain interval. A function f on a homogeneous tree T of degree q+1 is said to be z-harmonic, if μ₁f=zf, where μ₁ is the nearest neighbor averaging operator. It was proved in [Cohen, Colonna, Adv. Appl. Math. 20 (1998) 253–274] that if |f(v)|MC^|v| for constants M>0 and , then there exist z-harmonic functions k_z such that where I is the interval with endpoints . In the present paper, we study the case when the above exponential growth condition holds with , which necessitates replacing k_z(v) dz with an analytic distribution ν_v satisfying the z-harmonicity condition μ₁ν=zν. We show that to each function on the tree satisfying the above exponential growth condition there corresponds an eigendistribution on an elliptical region containing I as the interval between its foci.     

Probabilistic and average widths of multivariate Sobolev spaces with mixed derivative equipped with the Gaussian measure

We present sharp bounds on the Kolmogorov probabilistic (N,δ)-width and p-average N-width of multivariate Sobolev space with mixed derivative

Full-size image (1K)

, equipped with a Gaussian measure μ in , that is where 1<q<∞,0<p<∞, and ρ>1 is depending only on the eigenvalues of the correlation operator of the measure μ (see (4)).     

Universal Functions on Complex General Linear Groups

In 1929, Birkhoff proved the existence of an entire function F on with the property that for any entire function f there exists a sequence {a_k} of complex numbers such that {F(ζ+a_k)} converges to f (ζ) uniformly on compact sets. Luh proved a variant of Birkhoff's theorem and the second author proved a theorem analogous to that of Luh for the multiplicative group *. In this paper extensions of the above results to the multi-dimensional case are proved. Let M(n,  ) be the set of all square matrices of degree n with complex coefficients, and let G=GL(n,  ) be the general linear group of degree n over . We denote by (G) the set of all holomorphic functions on G. Similarly, we define ( ). Let K be the (G)-hull of a compact set K in G. Finally we denote by B(G) the set of all compact subsets K of G with K=K such that there exists a holomorphic function f on M(n,  ) with f(0)(f(K)), where (f(K)) is the ( )-hull of f(K). Our main result is the following. There exists a holomorphic function F on G such that for any KB(G), for any function f holomorphic in some neighbourhood of K, and for any >0, there exists CG with max_ZK |F(CZ)−f(Z)|<.     

Discrete Fourier–Neumann series

Let J_μ denote the Bessel function of order μ. The systemwith n=0,1,…,α>−1, and where p_s denotes the sth positive zero of J_α(ax), is orthonormal in . In this paper, we study the mean convergence of the Fourier series with respect to this system. Also, we describe the space in which the span of the system is dense.     

Classification Theorems for General Orthogonal Polynomials on the Unit Circle

The set of all probability measures σ on the unit circle splits into three disjoint subsets depending on properties of the derived set of {|_n|²dσ}_n0, denoted by Lim(σ). Here {_n}_n0 are orthogonal polynomials in L²(dσ). The first subset is the set of Rakhmanov measures, i.e., of σ with {m}=Lim(σ), m being the normalized (m( )=1) Lebesgue measure on . The second subset Mar( ) consists of Markoff measures, i.e., of σ with mLim(σ), and is in fact the subject of study for the present paper. A measure σ, belongs to Mar( ) iff there are >0 and l>0 such that sup{|a_n+j|:0jl}>, n=0,1,2,…,{a_n} is the Geronimus parameters (=reflectioncoefficients) of σ. We use this equivalence to describe the asymptotic behavior of the zeros of the corresponding orthogonal polynomials (see Theorem G). The third subset consists of σ with {m}Lim(σ). We show that σ is ratio asymptotic iff either σ is a Rakhmanov measure or σ satisfies the López condition (which implies σMar( )). Measures σ satisfying Lim(σ)={ν} (i.e., weakly asymptotic measures) are also classified. Either ν is the sum of equal point masses placed at the roots of zⁿ=λ, λ , n=1,2,…, or ν is the equilibrium measure (with respect to the logarithmic kernel) for the inverse image under an m-preserving endomorphism z→zⁿ, n=1,2,…, of a closed arc J (including J= ) with removed open concentric arc J₀ (including J₀=). Next, weakly asymptotic measures are completely described in terms of their Geronimus parameters. Finally, we obtain explicit formulae for the parameters of the equilibrium measures ν and show that these measures satisfy {ν}=Lim(ν).     

On the Denseness of Rational Systems

This note characterizes the denseness of rational systems

Full-size image

in C[−1, 1], where the nonreal poles in {a_k}^∞_k=1 \[−1, 1] are paired by complex conjugation. This extends an Achiezer's result.     

Stability and other limit laws for exit times of random walks from a strip or a halfplane

We show that the passage time, T^*(r), of a random walk S_n above a horizontal boundary at r (r≥0) is stable (in probability) in the sense that as r→∞ for a deterministic function C(r)>0, if and only if the random walk is relatively stable in the sense that as n→∞ for a deterministic sequence B_n>0. The stability of a passage time is an important ingredient in some proofs in sequential analysis, where it arises during applications of Anscombe's Theorem. We also prove a counterpart for the almost sure stability of T^*(r), which we show is equivalent to E|X|<∞, EX>0. Similarly, counterparts for the exit of the random walk from the strip {|y|≤r} are proved. The conditions arefurther related to the relative stability of the maximal sum and the maximum modulus of the sums. Another result shows that the exit position of the random walk outside the boundaries at ±r drifts to ∞ as r→∞ if and only if the random walk drifts to ∞.     

An inverse scattering problem for the Schrödinger equation in a semiclassical process

We study a direct and an inverse scattering problem for a pair of Hamiltonians (H(h),H₀(h)) on , where H₀(h)=−h²Δ and H(h)=H₀(h)+V, V is a short-range potential and h is the semiclassical parameter. First, we show that if two potentials are equal in the classical allowed region for a fixed non-trapping energy, the associated scattering matrices coincide up to O(h^∞) in . Then, for potentials with a regular behaviour at infinity, we study the inverse scattering problem. We show that in dimension n3, the knowledge of the scattering operators S(h), , up to O(h^∞) in , and which are localized near a fixed energy λ>0, determine the potential V at infinity.     

A mixed hook-length formula for affine Hecke algebras

Let be the affine Hecke algebra corresponding to the group GL_l over a p-adic field with residue field of cardinality q. We will regard as an associative algebra over the field . Consider the -module W induced from the tensor product of the evaluation modules over the algebras and . The module W depends on two partitions λ of l and μ of m, and on two non-zero elements of the field . There is a canonical operator J acting on W; it corresponds to the trigonometric R-matrix. The algebra contains the finite dimensional Hecke algebra H_l+m as a subalgebra, and the operator J commutes with the action of this subalgebra on W. Under this action, W decomposes into irreducible subspaces according to the Littlewood–Richardson rule. We compute the eigenvalues of J, corresponding to certain multiplicity-free irreducible components of W. In particular, we give a formula for the ratio of two eigenvalues of J, corresponding to the “highest” and the “lowest” components. As an application, we derive the well known q-analogue of the hook-length formula for the number of standard tableaux of shape λ.     

Multifractal formalism for self-similar measures with weak separation condition

For any self-similar measure μ on satisfying the weak separation condition, we show that there exists an open ball U₀ with μ(U₀)>0 such that the distribution of μ, restricted on U₀, is controlled by the products of a family of non-negative matrices, and hence μ|_U0 satisfies a kind of quasi-product property. Furthermore, the multifractal formalism for μ|_U0 is valid on the whole range of dimension spectrum, regardless of whether there are phase transitions. Moreover the dimension spectra of μ and μ|_U0 coincide for q0. This result unifies and improves many of the recent works on the multifractal structure of self-similar measures with overlaps.     

Galois Reconstruction of Finite Quantum Groups

Let be a (small) category and let F:  →  alg_f be a functor, where alg_f is the category of finite-dimensional measured algebras over a field k (or Frobenius algebras). We construct a universal Hopf algebra A_aut(F) such that F factorizes through a functor :  →  coalg_f(A_aut(F)), where coalg_f(A_aut(F)) is the category of finite-dimensional measured A_aut(F)-comodule algebras. This general reconstruction result allows us to recapture a finite-dimensional Hopf algebra A from the category coalg_f(A) and the forgetful functor ω: coalg_f(A) →  alg_f: we have A  A_aut(ω). Our universal construction is also done in a C*-algebra framework, and we get compact quantum groups in the sense of Woronowicz.