The Dichotomy Problem for Orbital Measures of SU(n)

For many orbital measures μ, on SU(n), we show that either μ^k ∈ L² or μ^k is singular to L¹. The least k for which μ^k ∈ L² is determined and is shown to be the minimum k for which the k-fold product of the conjugacy class supporting the measure has positive measure. It would be interesting to know if all orbital measures satisfy this dichotomy.     

The Dichotomy Problem for Orbital Measures of <Emphasis Type="Italic">SU</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)

For many orbital measures μ, on SU(n), we show that either μ^k ∈ L² or μ^k is singular to L¹. The least k for which μ^k ∈ L² is determined and is shown to be the minimum k for which the k-fold product of the conjugacy class supporting the measure has positive measure. It would be interesting to know if all orbital measures satisfy this dichotomy.     

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss     

Conjugacy classes and finite p-groups

Let G be a finite p-group, where p is a prime number, and a ∈ G. Denote by Cl(a) = {gag⁻¹| g ∈ G} the conjugacy class of a in G. Assume that |Cl(a)| = pⁿ. Then Cl(a) Cl(a⁻¹) = {xy | x ∈ Cl(a), y ∈ Cl(a⁻¹)} is the union of at least n(p − 1) + 1 distinct conjugacy classes of G. Received: 16 December 2004     

Higher order Riesz transforms associated with Bessel operators

In this paper we investigate Riesz transforms R _μ ^(k) of order k≥1 related to the Bessel operator Δ_μ f(x)=-f”(x)-((2μ+1)/x)f’(x) and extend the results of Muckenhoupt and Stein for the conjugate Hankel transform (a Riesz transform of order one). We obtain that for every k≥1, R _μ ^(k) is a principal value operator of strong type (p,p), p∈(1,∞), and weak type (1,1) with respect to the measure dλ(x)=x ^2μ+1  dx in (0,∞). We also characterize the class of weights ω on (0,∞) for which R _μ ^(k) maps L ^p (ω) into itself and L ¹(ω) into L ^1,∞(ω) boundedly. This class of weights is wider than the Muckenhoupt class of weights for the doubling measure dλ. These weighted results extend the ones obtained by Andersen and Kerman.     

On projectively normal embeddings of generalk-gonal curves

Fix integersg, k andt witht>0,k≥3 andtk<g/2−1. LetX be a generalk-gonal curve of genusg andR∈Pic ^k (X) the uniqueg _k ¹ onX. SetL:=K _X⊗(R ^*)^⊗t.L is very ample. Leth _L:X→P(H ⁰(X, L)^*) be the associated embedding. Here we prove thath _L(X) is projectively normal. Ifk≥4 andtk<g/2−2 the curveh _L(X) is scheme-theoretically cut out by quadrics. The author was partially supported by MURST and GNSAGA of CNR (Italy).     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-singular dichotomy for orbital measures of classical simple Lie algebras

We prove that the G-invariant orbital measures supported on adjoint orbits in the Lie algebra of a classical, compact, connected, simple Lie group satisfy a smoothness dichotomy: Either μ ^k is singular to Lebesgue measure or μ ^k ∈ L ². The minimum k for which μ ^k ∈ L ² is specified and is also the minimum k such that the k-fold sum of the orbit has positive measure. S. K. Gupta appreciates the hospitality of the Department of Pure Mathematics at the University of Waterloo where some of this research was done. K. E. Hare was supported in part by NSERC.     

Tracking and invariance problems for some classes of discrete delay systems

Consider the system with perturbation g _k ∈ ℝ ⁿ and output z _k = Cx _k . Here, A _k ,A _k ^(s) ∈ ℝ ^{n × n} , B _k ⁽¹⁾ ∈ ℝ ^{n × p} , B _k ⁽²⁾ ∈ ℝ ^{n × m} , C ∈ ℝ ^{p × n} . We construct a special Lyapunov-Krasovskii functional in order to synthesize controls u _k ⁽¹⁾ and u _k ⁽²⁾ for which the following properties are satisfied:

Derived length and products of conjugacy classes

Let G be a supersolvable group and A be a conjugacy class of G. Observe that for some integer η(AA ⁻¹) > 0, AA ⁻¹ = {ab ⁻¹: a, b ∈ A} is the union of η(AA ⁻¹) distinct conjugacy classes of G. Set C _G (A) = {g ∈ G: a ^g = a for all a ∈ A. Then the derived length of G/C _G (A) is less or equal than 2η(AA ⁻¹) − 1.     

Schouten curvature functions on locally conformally flat Riemannian manifolds

Consider a compact Riemannian manifold (M, g) with metric g and dimension n ≥ 3. The Schouten tensor A _g associated with g is a symmetric (0, 2)-tensor field describing the non-conformally-invariant part of the curvature tensor of g. In this paper, we consider the elementary symmetric functions {σ _k (A _g ), 1 ≤ k ≤ n} of the eigenvalues of A _g with respect to g; we call σ _k (A _g ) the k-th Schouten curvature function. We give an isometric classification for compact locally conformally flat manifolds which satisfy the conditions: A _g is semi-positive definite and σ _k (A _g ) is a nonzero constant for some k ∈ {2, ... , n}. If k = 2, we obtain a classification result under the weaker conditions that σ₂(A _g ) is a non-negative constant and (M ⁿ , g) has nonnegative Ricci curvature. The corresponding result for the case k = 1 is well known. We also give an isometric classification for complete locally conformally flat manifolds with constant scalar curvature and non-negative Ricci curvature. Udo Simon: Partially supported by Chinese-German cooperation projects, DFG PI 158/4-4 and PI 158/4-5, and NSFC.     

The range of a projection of small norm inl 1 n

It is proved that there exists a positive function Φ(∈) defined for sufficiently small ∈ 〉 0 and satisfying lim_t→0 Φ(∈) =0 such that for any integersn 〉>0, ifQ is a projection ofl ₁ ⁿ onto ak-dimensional subspaceE with ‖|Q‖|≦1+∈ then there is an integerh〉=k(1−Φ(∈)) and anh-dimensional subspaceF ofE withd(F,l ₁ ^h ) 〈= 1+Φ (∈) whered(X, Y) denotes the Banach-Mazur distance between the Banach spacesX andY. Moreover, there is a projectionP ofl ₁ ⁿ ontoF with ‖|P‖| ≦1+Φ(∈). Author was partially supported by the N.S.F. Grant MCS 79-03042.     

A nilpotent Roth theorem

Let T and S be invertible measure preserving transformations of a probability measure space (X, ℬ, μ). We prove that if the group generated by T and S is nilpotent, then exists in L ²-norm for any u, v∈L ^∞(X, ℬ, μ). We also show that for A∈ℬ with μ(A)>0 one has . By the way of contrast, we bring examples showing that if measure preserving transformations T, S generate a solvable group, then (i) the above limits do not have to exist; (ii) the double recurrence property fails, that is, for some A∈ℬ, μ(A)>0, one may have μ(A∩T _-n A∩S ^{- n} A)=0 for all n∈ℕ. Finally, we show that when T and S generate a nilpotent group of class ≤c, in L ²(X) for all u, v∈L ^∞(X) if and only if T×S is ergodic on X×X and the group generated by T ^-1 S, T ^-2 S ²,..., T ^-c S ^c acts ergodically on X. Oblatum 19-V-2000 & 5-VII-2001?Published online: 12 October 2001     

A theorem of the Wiener—Tauberian type forL 1(H n)

The Heisenberg motion groupHM(n), which is a semi-direct product of the Heisenberg group Hⁿ and the unitary group U(n), acts on Hⁿ in a natural way. Here we prove a Wiener-Tauberian theorem for L¹ (Hⁿ) with this HM(n)-action on Hⁿ i.e. we give conditions on the “group theoretic” Fourier transform of a functionf in L¹ (Hⁿ) in order that the linear span of^gf : g∈HM(n) is dense in L¹(Hⁿ), where^gf(z, t) =f(g·(z, t)), forg ∈ HM(n), (z,t)∈Hⁿ.     

Construction of multivariate compactly supported orthonormal wavelets

We propose a constructive method to find compactly supported orthonormal wavelets for any given compactly supported scaling function φ in the multivariate setting. For simplicity, we start with a standard dilation matrix 2I_2×2 in the bivariate setting and show how to construct compactly supported functions ψ₁,. . .,ψ_n with n>3 such that {2^kψ_j(2^kx−ℓ,2^ky−m), k,ℓ,m∈Z, j=1,. . .,n} is an orthonormal basis for L₂(ℝ²). Here, n is dependent on the size of the support of φ. With parallel processes in modern computer, it is possible to use these orthonormal wavelets for applications. Furthermore, the constructive method can be extended to construct compactly supported multi-wavelets for any given compactly supported orthonormal multi-scaling vector. Finally, we mention that the constructions can be generalized to the multivariate setting. Dedicated to Professor Charles A. Micchelli on the occasion of his 60th birthday Mathematics subject classifications (2000) 42C15, 42C30.     

Dynamical Borel-Cantelli lemmas for gibbs measures

LetT: X→X be a deterministic dynamical system preserving a probability measure μ. A dynamical Borel-Cantelli lemma asserts that for certain sequences of subsetsA _n ⊃ X and μ-almost every pointx∈X the inclusionT ⁿ x∈A _n holds for infinitely manyn. We discuss here systems which are either symbolic (topological) Markov chain or Anosov diffeomorphisms preserving Gibbs measures. We find sufficient conditions on sequences of cylinders and rectangles, respectively, that ensure the dynamical Borel-Cantelli lemma. Partially supported by NSF grant DMS-9732728. Partially supported by NSF grant DMS-9704489.     

Marcinkiewicz Integrals with Non-Doubling Measures

Let μ be a positive Radon measure on which may be non doubling. The only condition that μ must satisfy is μ(B(x, r)) ≤ Cr ⁿ for all , r > 0 and some fixed constants C > 0 and n ∈ (0, d]. In this paper, we introduce the Marcinkiewicz integral related to a such measure with kernel satisfying some H?rmander-type condition, and assume that it is bounded on L ²(μ). We then establish its boundedness, respectively, from the Lebesgue space L ¹(μ) to the weak Lebesgue space L ^1,∞(μ), from the Hardy space H ¹(μ) to L ¹(μ) and from the Lebesgue space L ^∞(μ) to the space RBLO(μ). As a corollary, we obtain the boundedness of the Marcinkiewicz integral in the Lebesgue space L ^p (μ) with p ∈ (1,∞). Moreover, we establish the boundedness of the commutator generated by the RBMO(μ) function and the Marcinkiewicz integral with kernel satisfying certain slightly stronger H?rmander-type condition, respectively, from L ^p (μ) with p ∈ (1,∞) to itself, from the space L log L(μ) to L ^1,∞(μ) and from H ¹(μ) to L ^1,∞(μ). Some of the results are also new even for the classical Marcinkiewicz integral. The third (corresponding) author was supported by National Science Foundation for Distinguished Young Scholars (No. 10425106) and NCET (No. 04-0142) of China.     

Multiparameter inverse problem of approximation by functions with given supports

Let L _p (S), 0 < p < +∞, be a Lebesgue space of measurable functions on S with ordinary quasinorm ∥·∥ _p . For a system of sets {B _t |t ∈ [0, +∞) ⁿ } and a given function ψ: [0, +∞) ⁿ ↦ [ 0, +∞), we establish necessary and sufficient conditions for the existence of a function f ∈ L _p (S) such that inf {∥f − g∥ _p ^p g ∈ L _p (S), g = 0 almost everywhere on S\B _t } = ψ (t), t ∈ [0, +∞) ⁿ . As a consequence, we obtain a generalization and improvement of the Dzhrbashyan theorem on the inverse problem of approximation by functions of the exponential type in L ₂. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 8, pp. 1116–1127, August, 2006.     

The Calderón reproducing formula, windowed X-ray transforms, and radon transforms in LP-spaces

The generalized Calderón reproducing formula involving “wavelet measure” is established for functions f ∈ L^p(ℝⁿ). The special choice of the wavelet measure in the reproducing formula gives rise to the continuous decomposition of f into wavelets, and enables one to obtain inversion formulae for generalized windowed X-ray transforms, the Radon transform, and k-plane transforms. The admissibility conditions for the wavelet measure μ are presented in terms of μ itself and in terms of the Fourier transform of μ. Acknowledgements and Notes. Partially sponsored by the Edmund Landau Center for research in Mathematical Analysis, supported by the Minerva Foundation (Germany).     

Sanov’s Theorem for White Noise Distributions and Application to the Gibbs Conditioning Principle

We consider a positive distribution Φ such that Φ defines a probability measure μ=μ _Φ on the dual of some real nuclear Fréchet space. A large deviation principle is proved for the family {μ _n ,n≥1} where μ _n denotes the image measure of the product measure μ _Φ ⁿ under the empirical distribution function L _n . Here the rate function I is defined on the space ℱ′ _θ (N′)₊ and agrees with the relative entropy function  . As an application, we cite the Gibbs conditioning principle which describes the limiting behaviour as n tends to infinity of the law of k tagged particles Y ₁,…,Y _k under the constraint that L _n ^Y belongs to some subset A ₀.