Vertical versus horizontal Poincaré inequalities on the Heisenberg group

Let ? = 〈a, b|a[a, b] = [a, b]a ∧ b[a, b] = [a, b]b〉 be the discrete Heisenberg group, equipped with the left-invariant word metric d _W (·, ·) associated to the generating set {a, b, a ^?1, b ^?1}. Letting B _n = {x ∈ ?: d _W (x, e _?) ? n} denote the corresponding closed ball of radius n ∈ ?, and writing c = [a, b] = aba ^?1 b ^?1, we prove that if (X, ‖ · ‖X) is a Banach space whose modulus of uniform convexity has power type q ∈ [2,∞), then there exists K ∈ (0, ∞) such that every f: ? → X satisfies $$\sum\limits_{k = 1}^{{n^2}} {\sum\limits_{x \in {B_n}} {\frac{{\left\| {f(x{c^k}) - f(x)} \right\|_X^q}}{{{k^{1 + q/2}}}}} } \leqslant K\sum\limits_{x \in {B_{21n}}} {(\left\| {f(xa) - f(x)} \right\|_X^q + \left\| {f(xb) - f(x)} \right\|_X^q)} $$ . It follows that for every n ∈ ? the bi-Lipschitz distortion of every f: B _n → X is at least a constant multiple of (log n)^1/q , an asymptotically optimal estimate as n → ∞.     

Engel type identities with derivations for right ideals in prime rings

Let R be a prime ring of char R≠2, d a non-zero derivation of R and ρ a non-zero right ideal of R such that [[d(x),d(y)]_n [y,x]_m] = 0 for all x,y ∈ ρ or [[d(x),d(y)]_n d[y,x]_m] = 0 for all x,y ∈ ρ, n, m ≥ 0 are fixed integers. If [ρ,ρ]ρ ≠ 0, then d(ρ)ρ = 0.     

On the eigenvalues of the fredholm operator

We prove that if ω(t, x, K ₂ ^(m) )?c(x)ω(t) for allxε[a, b] andx ε [0,b-a] wherec ∈L ¹(a, b) and ω is a modulus of continuity, then λ _n =O(n ^?m-1/2ω(1/n)) and this estimate is unimprovable.     

Characterization of a class of bivariate distribution functions

Let F_X,Y(x,y) be a bivariate distribution function and P_n(x), Q_m(y), n, m = 0, 1, 2,…, the orthonormal polynomials of the two marginal distributions F_X(x) and F_Y(y), respectively. Some necessary conditions are derived for the co-efficients c_n, n = 0, 1, 2,…, if the conditional expectation E[P_n(X) ∥ Y] = c_nQ_n(Y) holds for n = 0, 1, 2,…. Several examples are given to show the application of these necessary conditions.     

Two-point Taylor expansions in the asymptotic approximation of double integrals. Application to the second and fourth Appell functions

The main difficulty in Laplace's method of asymptotic expansions of double integrals is originated by a change of variables. We consider a double integral representation of the second Appell function F₂(a,b,b^′,c,c^′;x,y) and illustrate, over this example, a variant of Laplace's method which avoids that change of variables and simplifies the computations. Essentially, the method only requires a Taylor expansion of the integrand at the critical point of the phase function. We obtain in this way an asymptotic expansion of F₂(a,b,b^′,c,c^′;x,y) for large b, b^′, c and c^′. We also consider a double integral representation of the fourth Appell function F₄(a,b,c,d;x,y). We show, in this example, that this variant of Laplace's method is uniform when two or more critical points coalesce or a critical point approaches the boundary of the integration domain. We obtain in this way an asymptotic approximation of F₄(a,b,c,d;x,y) for large values of a,b,c and d. In this second example, the method requires a Taylor expansion of the integrand at two points simultaneously. For this purpose, we also investigate in this paper Taylor expansions of two-variable analytic functions with respect to two points, giving Cauchy-type formulas for the coefficients of the expansion and details about the regions of convergence.     

Two Conditions for Infinite Groups to Satisfy Certain Laws

Let G be an infinite group and m {2^k | k N^*}. In this paper, we prove that G satisfies the law [x_m, y_m] = 1 if and only if in any two infinite subsets X and Y of G, there exist a X and b Y such that [a^m,b^m] = 1. We also prove that G satisfies the law (x₁^mx₂^m x_n^m)² = 1 if and only if in any n infinite subsets X₁, X₂,..., X_n, there exist a_i X_i (i = 1,..., n) such that (a₁^ma₂^m a_n^m)² = 1.2000 Mathematics Subject Classification: 20F99     

Exact stability sets for a linear difference system with diagonal delay

This paper is devoted to the stability analysis of a delay difference system of the form xn+1=axn−k+byn, yn+1=cxn+ayn−k, where a, b and c are real numbers and k is a positive integer. We establish some exact conditions for the zero solution of the system to be asymptotically stable.     

Estimating the parameters of a truncated normal distribution

Let ø(x) be a truncated normal pdf over the interval [a,b], that is, assume ø(x)=exp[-(x–μ)²/2σ²]/∝^b_aexp[-(x–μ)²/2σ²]dx for - ∞<a?x?b?< + ∞ and zero elsewhere. Suppose that X₁,X₂,…,X_n is a random sample of size n from this truncated distribution. Using known properties of exponential families of distributions and the system of Legendre polynomials over the interval [-1,1], we examine the maximum likelihood estimation of the parameters μ and σ².     

A connection between a generalized Pascal matrix and the hypergeometric function

The n × n generalized Pascal matrix P(t) whose elements are related to the hypergeometric function ₂F₁(a, b; c; x) is presented and the Cholesky decomposition of P(t) is obtained. As a result, it is shown that

Full-size image

is the solution of the Gauss's hypergeometric differential equation,

x(1 − x)y″ + [1 + (a + b − 1)x]y′ − ABY = 0

. where a and b are any nonnegative integers. Moreover, a recurrence relation for generating the elements of P(t) is given.     

A combinatorial condition on a certain variety of groups

Let n be an integer and B_n \mathcal B_n be the variety defined by the law [xⁿ,y][x,yⁿ]^-1 = 1.¶ Let B_n^* \mathcal B_n^* be the class of groups in which for any infinite subsets X, Y there exist x ? X x \in X and y ? Y y \in Y such that [xⁿ,y][x,yⁿ]^-1 = 1. For $ n \in {\pm 2, 3\} $ n \in {\pm 2, 3\} we prove that¶ B_n^* = B_n èF \mathcal B_n^* = \mathcal B_n \cup \mathcal F , F \mathcal F being the class of finite groups. Also for $ n \in {- 3, 4\} $ n \in {- 3, 4\} and an infinite group G which has finitely many elements of order 2 or 3 we prove that G ? B_n^* G \in \mathcal B_n^* if and only if G ? B_n G \in \mathcal B_n .     

Weakly Regular Semigroups of Isotone Transformations

Let X be a partially ordered set and O(X) be the semigroup of all mappings X → X that preserve the order, i.e., x ≤ y ? xα ≤ yα for all x, y ∈ X. It is proved that the semigroup O(X) is weakly regular in the wide sense if and only if at least one of the following conditions holds: (1) X is a quasi-complete chain; (2) the elements of X are not comparable pairwise; (3) X = Y ∪ Z, where y < z for y ∈ Y, z ∈ Z; (4) X = Y ∪ Z, where y ₀ ∈ Y, z ₀ ∈ Z, and y ₀ < z for z ∈ Z, y < z0 for y ∈ Y; (5) X = {a, c} ∪ B, where a < b < c for b ∈ B; (6) X = {1, 2, 3, 4, 5, 6}, where 1 < 4, 1 < 5, 2 < 5, 2 < 6, 3 < 4, 3 < 6. Moreover, if X is a quasi-ordered set but not partially ordered, then the semigroup O(X) is weakly regular in the wide sense if and only if x ≤ y for all x, y ∈ X.     

Algebras with bracket

An algebra with bracket is an associative algebra A equipped with a bilinear operation [−,−] satisfying [a · b, c] = [a, c]·b+a · [b, c]. Our main result claims that the operad corresponding to algebras with bracket is Koszul.     

On the existence of certain measures appearing in distance geometry

Abstract. We prove the following result: Let X be a compact connected Hausdorff space and f be a continuous function on X x X. There exists some regular Borel probability measure m\mu on X such that the value of¶¶ ò\limit _X f(x,y)dm(y)\int\limit _X f(x,y)d\mu (y) is independent of the choice of x in X if and only if the following assertion holds: For each positive integer n and for all (not necessarily distinct) x₁,x₂,...,x_n,y₁,y₂,...,y_n in X, there exists an x in X such that¶¶ ?_i=1ⁿ f(x_i,x)=?_i=1ⁿ f(y_i,x).\sum\limits _{i=1}^n f(x_i,x)=\sum\limits _{i=1}^n f(y_i,x).     

On the diophantine equation x 2 + 2 a · 3 b · 11 c = y n

In this note, we find all the solutions of the Diophantine equation x ² + 2 ^a · 3 ^b · 11 ^c = y ⁿ , in nonnegative integers a, b, c, x, y, n ≥ 3 with x and y coprime.     

Structural Stability of Constrained Polynomial Systems

The structural stability of constrained polynomial differentialsystems of the form a(x, y)x'+b(x, y)y'=f(x, y), c(x, y)x'+d(x,y)y'=g(x, y), under small perturbations of the coefficientsof the polynomial functions a, b, c, d, f and g is studied.These systems differ from ordinary differential equations at‘impasse points’ defined by ad–bc=0. Extensionsto this case of results for smooth constrained differentialsystems [7] and for ordinary polynomial differential systems[5] are achieved here. 1991 Mathematics Subject Classification34C35, 34D30.     

The diophantine equation x 2 + 2 a · 17 b = y n

Let ?, ? be the sets of all integers and positive integers, respectively. Let p be a fixed odd prime. Recently, there have been many papers concerned with solutions (x, y, n, a, b) of the equation x ² + 2 ^a p ^b = y ⁿ , x, y, n ε ?, gcd(x, y) = 1, n ? 3, a, b ε ?, a ? 0, b ? 0. And all solutions of it have been determined for the cases p = 3, p = 5, p = 11 and p = 13. In this paper, we mainly concentrate on the case p = 3, and using certain recent results on exponential diophantine equations including the famous Catalan equation, all solutions (x, y, n, a, b) of the equation x ²+2 ^a · 17 ^b = y ⁿ , x, y, n ε ?, gcd(x, y) = 1, n ? 3, a, b ∈ ?, a ? 0, b ? 0, are determined.     

Explicit construction of general multivariate Padé approximants to an Appell function

Properties of Padé approximants to the Gauss hypergeometric function ₂F₁(a,b;c;z) have been studied in several papers and some of these properties have been generalized to several variables in [6]. In this paper we derive explicit formulae for the general multivariate Padé approximants to the Appell function F₁(a,1,1;a+1;x,y)=_i,j=0(axⁱy^j/(i+j+a)), where a is a positive integer. In particular, we prove that the denominator of the constructed approximant of partial degree n in x and y is given by , where the integer m, which defines the degree of the numerator, satisfies mn+1 and m+a2n. This formula generalizes the univariate explicit form for the Padé denominator of ₂F₁(a,1;c;z), which holds for c>a>0 and only in half of the Padé table. From the explicit formulae for the general multivariate Padé approximants, we can deduce the normality of a particular multivariate Padé table. AMS subject classification 41A63, 41A21     

Carlitz and the general 3φ2

In a letter dated March 3, 1971, L. Carlitz defined a sequence of polynomials, Φ _n (a,b; x, y; z), generalizing the Al-Salam & Carlitz polynomials, but closely related thereto. He concluded the letter by stating: “It would be of interest to find properties of Φ _n (a, b; x, y; z) when all the parameters are free.” In this paper, we reproduce the Carlitz letter and show how a study of Carlitz’s polynomials leads to a clearer understanding of the general ₃Φ₂ (a, b, c; d; e; q, z). Dedicated to my friend, Richard Askey. 2000 Mathematics Subject Classification Primary—33D20. G. E. Andrews: Partially supported by National Science Foundation Grant DMS 0200047.     

On symmetric basic sequences in lorentz sequence spaces II

It is shown that if {y _n} is a block of type I of a symmetric basis {x _n} in a Banach spaceX, then {y _n} is equivalent to {x _n} if and only if the closed linear span [y _n] of {y _n} is complemented inX. The result is used to study the symmetric basic sequences of the dual space of a Lorentz sequence spaced(a, p). Let {x _n,f _n} be the unit vector basis ofd(a, p), for 1≤p<+∞. It is shown that every infinite-dimensional subspace ofd(a, p) (respectively, [f _n] has a complemented subspace isomorphic tol _p (respectively,l _q, 1/p+1/q=1 when 1<p<+∞ andc ₀ whenp=1) and numerous other results on complemented subspaces ofd(a, p) and [f _n] are obtained. We also obtain necessary and sufficient conditions such that [f _n] have exactly two non-equivalent symmetric basic sequences. Finally, we exhibit a Banach spaceX with symmetric basis {x _n} such that every symmetric block basic sequence of {x _n} spans a complemented subspace inX butX is not isomorphic to eitherc ₀ orl _p, 1≤p<+∞.