A characterization of some q-orthogonal polynomials

We show that the only orthogonal polynomials satisfying a q-difference equation of the form π(x)D _q P _n (x) = (α _n x + β _n )P _n (x) + γ _n P _n−1(x) where π(x) is a polynomial of degree 2, are the Al-Salam Carlitz 1, little and big q-Laguerre, the little and big q-Jacobi, and the q-Bessel polynomials. This is a q-analog of the work carried out in [1]. 2000 Mathematics Subject Classification Primary—33C45, 33D45     

Completeness of orthogonal systems in asymmetric spaces with sign-sensitive weight

We study the problem on the completeness of orthogonal systems in asymmetric spaces with sign-sensitive weight. Theorems of general form are obtained. In particular, the necessary and sufficient conditions on α, β, q ₁, and q ₂ for which the known orthogonal systems are everywhere dense in asymmetric spaces L _(α,β);q ([0, 1]) are found. Theorem. Let α, β, q ₁, q ₂ ∈ [1,+∞]. The following orthogonal systems are dense in asymmetric spaces L _(α,β);q ([0, 1]) if and only if either max{α, β, q ₁, q ₂} < + ∞ or max {α, β} < +∞, q ₁ = q ₂ = +∞: trigonometric, algebraic, Haar’s system, Meyer’s system of wavelets, Shannon-Kotel’nikov wavelets, Stromberg and Lemarie-Battle wavelets, the Walsh system, and the Franklin system. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 24, Dynamical Systems and Optimization, 2005.     

On simple modules of Hecke algebras of type Dn

This is a continuation of our previous work. We classify all the simple ℋ_q(D _n )-modules via an automorphismh defined on the set { λ | D^λ ≠ 0}. Whenf _n(q) ≠ 0, this yields a classification of all the simple ℋ ^q (D _n)- modules for arbitrary n. In general ( i. e., q arbitrary), if λ⁽¹⁾ = λ⁽²⁾,wegivea necessary and sufficient condition ( in terms of some polynomials ) to ensure that the irreducible ℋ_q,1(B _n )- module D^λ remains irreducible on restriction to ℋ_q(D _n ).     

Maximal subgroups of odd index in finite groups with simple linear,unitary, or symplectic socle

We give a classification of maximal subgroups of odd index in finite groups whose socle is isomorphic to one of the groups PSL _n (q), PSU _n (q), or PSp _n (q) for n ≥ 13.     

Sur la singularité des produits de Riesz et des mesures spectrales associées à la somme des chiffres

Using a property of generalized characters, we first prove that two Riesz products with constant coefficients and distinct Fourier spectra are mutually singular. IfS _r (n) denotes the sum of digits in ther-adic representation of the integern, the same technique allows us to establish the mutual singularity of the spectral measures of the sequences: α(n)=exp[2iπaS _p (n)],β(n)=exp[2iπbS _q (n)], for every pair of integersp≠q, a, b being real numbers such thata(p−1)∉ {tiZ} andb(q−1)∉Z. This result has been proved by T. Kamae whenp andq are two relatively prime integers.      

Asymptotic behavior of positive solutions of fourth-order nonlinear difference equations

We consider a class of fourth-order nonlinear difference equations of the form {fx006-01} where α, β are ratios of odd positive integers and {p _n}, {q _n} are positive real sequences defined for all n ∈ ℕ(n ₀). We establish necessary and sufficient conditions for the existence of nonoscillatory solutions with specific asymptotic behavior under suitable combinations of convergence or divergence conditions for the sums {fx006-02}. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 1, pp. 8–27, January, 2008.     

Necessary and sufficient conditions for boundedness of commutators of strongly singular integral operators with weighted Lipschitz functions

In this paper, we prove the commutator T _b generated by the strongly singular integral operator T and the function b is bounded from L ^p (w) to L ^q (w ^1−q ) if and only if b ∈ Lip _β (w), where w ∈ A ₁, 0 < β < 1, 1 < p < n/β and 1/q = 1/p − β/n. To do this, we first show a maximal function estimate for the commutator.     

Approximations simultanées de nombres algébriques de Q p par des rationnels

 In this paper, we prove that if β₁,…, β _n are p-adic numbers belonging to an algebraic number field K of degree n + 1 over Q such that 1, β₁,…,β _n are linearly independent over Z, there exist infinitely many sets of integers (q ₀,…, q _n ), with q ₀ ≠ 0 and

A generalization of a result of Dembowski and Wagner

The famous Dembowski-Wagner theorem gives various characterizations of the classical geometric 2-design PG _n-1(n, q) among all 2-designs with the same parameters. One of the characterizations requires that all lines have size q + 1. It was conjectured [2] that this is also true for the designs PG _d (n, q) with 2 ≤ d ≤  n − 1. We establish this conjecture, hereby improving various previous results.     

Distribution of a certain partition function modulo powers of primes

In this paper, we study a certain partition function a(n) defined by Σ _n≥0 a(n)q ⁿ := Π _n=1(1 − q ⁿ )⁻¹(1 − q ²ⁿ )⁻¹. We prove that given a positive integer j ≥ 1 and a prime m ≥ 5, there are infinitely many congruences of the type a(An + B) ≡ 0 (mod m ^j ). This work is inspired by Ono’s ground breaking result in the study of the distribution of the partition function p(n).     

On the generalization of the D. H. Lehmer problem

Let n ≥ 2 be a fixed positive integer, q ≥ 3 and c be two integers with （n, q） = （c, q） = 1. We denote by rn（51, 52, C; q） （δ 〈 δ1,δ2≤ 1） the number of all pairs of integers a, b satisfying ab ≡ c（mod q）, 1 〈 a ≤δ1q, 1 ≤ b≤δ2q, （a,q） = （b,q） = 1 and nt（a＋b）. The main purpose of this paper is to study the asymptotic properties of rn （δ1, δ2, c; q）, and give a sharp asymptotic formula for it.     

Some asymptotic Bessel function ratios

We derive leading terms in the expansion of ratios of the formB _n+α(nβ)/B_n(nβ) for largen, whereB _n(x) is any one of the Bessel functionsJ _n(x), Y_n(x), H_n(x),I _n(x) andK _n(x).     

On a class of hyperbolic 3-orbifolds of small volume and small heegaard genus associated to 2-bridge links

We consider a class of hyperbolic 3-orbifoldsO(α/β); the underlying topological space of such an orbifold is the 3-sphere and the singular set is obtained by adding the two standard (upper and lower) unknotting tunnels to a 2-bridge linkL(α/β) (and associating branching order two to both unknotting tunnels). These 3-orbifolds are extremal with respect to the notion of Heegaard genus or Heegaard number of 3-orbifolds; it is to be expected that they are also extremal with respect to the volume, that is the smallest volume hyperbolic 3-orbifolds should belong to this or some closely related class. We show that an orbifoldO(α/β) has a uniqueD ₂-covering by an orbifoldℒ _n(α/β) wose space is the 3-sphere and whose singular set is the same 2-bridge linkL(α/β) used for the construction ofO(α/β); moreoverO(α/β) is hyperbolic if and only ifℒ _n(α/β) is hyperbolic. As the volumes of the orbifoldsℒ _n(α/β) are known resp. can be computed, this allows to compute the volumes of the orbifoldsO(α/β). The problem of computation of volumes remains open for some closely related classes of 3-orbifolds which are also extremal with respect to the Heegaard genus (for example associating a branching order bigger than two to one or both unknotting tunnels).     

Distance-Regular (0,α)-Reguli

We introduce distance-regular (0,α)-reguli and show that they give rise to (0,α)-geometries with a distance-regular point graph. This generalises the SPG-reguli of Thas [14] and the strongly regular (α,β)-reguli of Hamilton and Mathon [9], which yield semipartial geometries and strongly regular (α,β)-geometries, respectively. We describe two infinite classes of examples, one of which is a generalisation of the well-known semipartial geometry T_n^*(B) arising from a Baer subspace PG(n, q) in PG(n, q²). Research Fellow supported by the Flemish Institute for the Promotion of Scientific and Technological Research in Industry (IWT), grant no. IWT/SB/13367/Tonesi Research assistant of the Fund for Scientific Research Flanders (FWO-Vlaanderen).     

Quasirecognition by prime graph of F4(q) where q?=?2n?>?2

The prime graph of a finite group G is denoted by Γ(G). In this paper as the main result, we show that if G is a finite group such that Γ(G) = Γ(F ₄(q)), where q = 2 ⁿ  > 2, then G has a unique nonabelian composition factor isomorphic to F ₄(q). We also show that if G is a finite group satisfying |G| = |F ₄(q)| and Γ(G) = Γ(F ₄(q)), where q = 2 ⁿ  > 2, then G @ F₄(q){G \cong F_4(q)}. As a consequence of our result we give a new proof for a conjecture of Shi and Bi for F ₄(q) where q = 2 ⁿ  > 2.     

The Fourier transform of order statistics with applications to Lorentz spaces

We present a formula for the Fourier transforms of order statistics in ℝ ⁿ showing that all these Fourier transforms are equal up to a constant multiple outside the coordinate planes in ℝ ⁿ . Fora ₁≥...≥a _n≥0 andq>0, denote by ℓ _w,q ⁿ then-dimensional Lorentz space with the norm ‖(x ₁,...,x _n)‖=(a ₁(x ₁ ^* ) ^q +...+a _n(x _n ^* ) ^q )^1/q , where (x ₁ ^* ,...,x _n ^* ) is the non-increasing permutation of the numbers |x ₁|,...,|x _n|. We use the above mentioned formula and the Fourier transform criterion of isometric embeddability of Banach spaces intoL _q [10] to prove that, forn≥3 andq≤1, the space ℓ _w,q ⁿ is isometric to a subspace ofL _q if and only if the numbersa ₁,...,a _n form an arithmetic progression. Forq>1, all the numbersa _i must be equal so that ℓ _w,q ⁿ = ℓ _q ⁿ . Consequently, the Lorentz function spaceL _w,q(0, 1) is isometric to a subspace ofL _q if and only ifeither 0<q<∞ and the weightw is a constant function (so thatL _w,q=L_q),or q≤1 andw(t) is a decreasing linear function. Finally, we relate our results to the theory of positive definite functions. Both authors were supported in part by the NSF Workshop in Linear Analysis and Probability held at Texas A&M University in August 1993. The work was done during the first author’s visit to Texas A&M University.     

The Helmholtz decomposition of weightedLq-spaces for Muckenhoupt weights

We consider weights of Muckenhoupt classA _q, 1<q<∞. For a bounded Lipschitz domain Ω⊂ℝⁿ we prove a compact embedding and a Poincaré inequality in weighted Sobolev spaces. These technical tools allow us to solve the weak Neumann problem for the Laplace equation in weighted spaces on ℝⁿ, ℝⁿ ₊, on bounded and on exterior domains Ω with boundary of classC ¹, which will yield the Helmholtz decomposition ofL _ω ^q(Ω)ⁿ for general ω∈A _q. This is done by transferring the method of Simader and Sohr [4] to the weighted case. Our result generalizes a result of Farwig and Sohr [2] where the Helmholtz decomposition ofL _ω ^p(Ω)ⁿ is proved for an exterior domain and weights of Muckenhoupt class without singularities or degeneracies in a neighbourhood of ϖΩ.

---

Sunto In questo lavoro consideriamo dei pesi della classe di MuckenhouptA _q, 1<q<∞. Per un dominio limitato lipschitziano Ω⊂ℝⁿ, dimostriamo una immersione compatta ed una disuguaglianza di Poincaré in spazi di Sobolev con peso. Questa tecnica ci consente di risolvere il problema debole di Neumann per l’equazione di Laplace in spazi pesati in ℝⁿ, ℝⁿ ₊ in domini limitati ed in domini esterni con frontiera di classeC ¹, che conduce alla decomposizione di Helmholtz diL _ω ^q(Ω)ⁿ per un qualsiasi ω∈A _q. Il risultato è ottenuto trasferendo il metodo di Simader e Sohr [4] al caso pesato. Quello qui presente estende un risultato di Farwig e Sohr [2] dove la decomposizione di Helmholtz diL _ω ^q(Ω)ⁿ è dimostrata per domini esterni e pesi della classe di Muckenhoupt privi di singolarità in un intorno di ϖΩ.

     

Cyclic branched coverings of lens spaces

Some infinite family is constructed of orientable three-dimensional closed manifoldsM _n (p, q), where n ≥ 2, p ≥ 3, 0 < q < p, and (p, q) = 1, such that M _n (p, q) is an n-fold cyclic covering of the lens space L(p, q) branched over a two-component link.     

A family of second degree semi-classical forms of class <Emphasis Type="Italic">s</Emphasis>=1

Let u(β ₀) be the regular form fulfilling (u(β ₀))_2n+1=β ₀(u(β ₀))_2n ,n≥0 where β ₀ is an arbitrary complex number in such a way that for β ₀=0 one has the symmetric forms. Recently, the second degree symmetric semi-classical forms (when β ₀=0) of class s≤1 were determined. In this paper, we determine all the semi-classical forms u(β ₀) of class s=1, which are also of second degree when β ₀≠0.     

Direct Constructions of Hyperplanes of Dual Polar Spaces Arising from Embeddings

Let e be one of the following full projective embeddings of a finite dual polar space Δ of rank n ≥ 2: (i) The Grassmann-embedding of the symplectic dual polar space Δ ≅ DW(2n – 1, q); (ii) the Grassmann-embedding of the Hermitian dual polar space Δ ≅ DH(2n – 1, q ²); (iii) the spin-embedding of the orthogonal dual polar space Δ ≅ DQ(2n, q); (iv) the spin-embedding of the orthogonal dual polar space Δ ≅DQ ⁻(2n + 1, q). Let H_e{\mathcal{H}_{e}} denote the set of all hyperplanes of Δ arising from the embedding e. We give a method for constructing the hyperplanes of H_e{\mathcal{H}_{e}} without implementing the embedding e and discuss (possible) applications of the given construction.