Exact constants in inequalities of the jackson type for quadrature formulas

We prove that if is the error of a simple quadrature formula and ω(ε, δ)₁ is the integral modulus of continuity, then, for any δ ≥/π andn,r = 1, 2, …, the following equality is true: whereD _r is the Bernoulli kernel.     

Directional approximation of functions of two variables in the spaces ℒ p (R2) and ℒ p (R + 2 )

Let r ∈ N, α, t ∈ R, x ∈ R ², f: R ² → C, and denote $ \Delta _{t,\alpha }^r (f,x) = \sum\limits_{k = 0}^r {( - 1)^{r - k} c_r^k f(x_1 + kt\cos \alpha ,x_2 + kt\sin \alpha ).} $ In this paper, we investigate the relation between the behavior of the quantity $ \left\| {\int\limits_E {\Delta _{t,\alpha }^r (f, \cdot )\Psi _n (t)dt} } \right\|_{p,G} , $ as n → ∞ (here, E ? R, G ∈ {R ², R ₊ ² }, and ψ _n ∈ L ₁(E) is a positive kernel) and structural properties of function f. These structural properties are characterized by its “directional” moduli of continuity: $ \omega _{r,\alpha } (f,h)_{p,G} = \mathop {\sup }\limits_{0 \leqslant t \leqslant h} \left\| {\Delta _{t,\alpha }^r (f)} \right\|_{p,G} . $ Here is one of the results obtained. Theorem 1. Let E and A be intervals in R ₊ such that A ? E, f ∈ L _p (G), α ∈ [0, 2π] when G =R ² and α ∈ [0, π/2] when G = R ₊ ² Denote Δ _{n, k} = ∫ _A t ^k ψ _n (t)dt. If there exists an r ∈ N such that, for any m ∈ N, we have Δ _{m, r} > 0, Δ _{m, r + 1} < ∞, and $ \mathop {\lim }\limits_{n \to \infty } \frac{{\Delta _{n,r + 1} }} {{\Delta _{n,r} }} = 0,\mathop {\lim }\limits_{n \to \infty } \Delta _{n,r}^{ - 1} \int\limits_{E\backslash A} {\Psi _n = 0} , $ then the relations $ \mathop {\lim }\limits_{n \to \infty } \Delta _{n,r}^{ - 1} \left\| {\int\limits_E {\Delta _{t,\alpha }^r (f, \cdot )\Psi _n dt} } \right\|_{p,G} \leqslant K, \mathop {\sup }\limits_{t \in (0,\infty )} t^r \omega _{r,\alpha } (f,t)_{p,G} \leqslant K $ are equivalent. Particular methods of approximation are considered. We establish Corollary 1. Let p, G, α, and f be the same as in Theorem 1, and $ \sigma _{n,\alpha } (f,x) = \frac{2} {{\pi n}}\int\limits_{R_ + } {\Delta _{t,\alpha }^1 (f,x)} \left( {\frac{{\sin \frac{{nt}} {2}}} {t}} \right)^2 dt. $ Then the relations $ \mathop {\underline {\lim } }\limits_{n \to \infty } \frac{{\pi n}} {{\ln n}}\left\| {\sigma _{n,\alpha } (f)} \right\|_{p,G} \leqslant K Let r ∈ N, α, t ∈ R, x ∈ R ², f: R ² → C, and denote In this paper, we investigate the relation between the behavior of the quantity as n → ∞ (here, E ⊂ R, G ∈ {R ², R ₊²}, and ψ _n ∈ L ₁(E) is a positive kernel) and structural properties of function f. These structural properties are characterized by its “directional” moduli of continuity: Here is one of the results obtained. Theorem 1. Let E and A be intervals in R ₊ such that A ⊂ E, f ∈ L _p (G), α ∈ [0, 2π] when G =R ² and α ∈ [0, π/2] when G = R ₊² Denote Δ _{n, k} = ∫ _A t ^k ψ _n (t)dt. If there exists an r ∈ N such that, for any m ∈ N, we have Δ _{m, r} > 0, Δ _{m, r + 1} < ∞, and then the relations are equivalent. Particular methods of approximation are considered. We establish Corollary 1. Let p, G, α, and f be the same as in Theorem 1, and Then the relations and are equivalent. Original Russian Text ? N.Yu. Dodonov, V.V. Zhuk, 2008, published in Vestnik Sankt-Peterburgskogo Universiteta. Seriya 1. Matematika, Mekhanika, Astronomiya, 2008, No. 2, pp. 23–33.     

On the range of random walk

Let {S _n , n=0, 1, 2, …} be a random walk (S _n being thenth partial sum of a sequence of independent, identically distributed, random variables) with values inE _d , thed-dimensional integer lattice. Letf _n =Prob {S ₁ ≠ 0, …,S _n −1 ≠ 0,S _n =0 |S ₀=0}. The random walk is said to be transient if and strongly transient if . LetR _n =cardinality of the set {S ₀,S ₁, …,S _n }. It is shown that for a strongly transient random walk with p<1, the distribution of [R _n −np]/σ √n converges to the normal distribution with mean 0 and variance 1 asn tends to infinity, where σ is an appropriate positive constant. The other main result concerns the “capacity” of {S ₀, …,S _n }. For a finite setA inE _d , let C(A=Σ _x∈A ) Prob {S _n ∉A, n≧1 |S ₀=x} be the capacity ofA. A strong law forC{S ₀, …,S _n } is proved for a transient random walk, and some related questions are also considered. This research was partially supported by the National Science Foundation.     

Higher integrability for minimizers of variational integrals with nonstandard growth

We consider a (possibly) vector-valued function u: Ω→R ^N, Ω⊂R ⁿ, minimizing the integral , whereD _iu=∂u/∂x _i, or some more general functional retaining the same behaviour; we prove higher integrability forDu:D ₁u,…,D_n−1u∈L^q, under suitable assumptions ona _i(x).

---

Sunto Consideriamo una funzione u: Ω→R ^N, Ω⊂R ⁿ che minimizzi l'integrale , doveD _iu=∂u/∂x_i, o un funzionale con un comportamento simile; sotto opportune ipotesi sua _i(x), dimostriamo la seguente maggiore integrabilità perDu:D ₁u,…,D_n−1uεL^q.

     

On conditions under which the sum of self-adjoint operators with given integer spectra is a scalar operator

We describe the set of parameters γ for which there exists a decomposition of the operator γI _H in a sum of n self-adjoint operators with spectra from the sets M ₁, …, M _n, M _i = 0, 1, …, k _i, for n ≥ 4 and, in some cases, for n = 3. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 4, pp. 470–477, April, 2008.     

A Weighted Erdős-Ginzburg-Ziv Theorem

An n-set partition of a sequence S is a collection of n nonempty subsequences of S, pairwise disjoint as sequences, such that every term of S belongs to exactly one of the subsequences, and the terms in each subsequence are all distinct so that they can be considered as sets. If S is a sequence of m+n−1 elements from a finite abelian group G of order m and exponent k, and if is a sequence of integers whose sum is zero modulo k, then there exists a rearranged subsequence of S such that . This extends the Erdős–Ginzburg–Ziv Theorem, which is the case when m = n and w_i = 1 for all i, and confirms a conjecture of Y. Caro. Furthermore, we in part verify a related conjecture of Y. Hamidoune, by showing that if S has an n-set partition A=A₁, . . .,A_n such that |w_iA_i| = |A_i| for all i, then there exists a nontrivial subgroup H of G and an n-set partition A′ =A′₁, . . .,A′_n of S such that and for all i, where w_iA_i={w_ia_i |a_i∈A_i}.     

Inclusion-exclusion inequalities

Ifμ is a positive measure, andA ₂, ...,A _n are measurable sets, the sequencesS ₀, ...,S _n andP _[0], ...,P _[n] are related by the inclusion-exclusion equalities. Inequalities among theS _i are based on the obviousP _[k]≧0. Letting =the average average measure of the intersection ofk of the setsA _i , it is shown that (−1) ^k Δ ^k M _i ≧0 fori+k≦n. The casek=1 yields Fréchet’s inequalities, andk=2 yields Gumbel’s and K. L. Chung’s inequalities. Generalizations are given involvingk-th order divided differences. Using convexity arguments, it is shown that forS ₀=1, whenS ₁≧N−1, and for 1≦k<N≦n andv=0, 1, .... Asymptotic results asn → ∞ are obtained. In particular it is shown that for fixedN, for all sequencesM ₀, ...,M _n of sufficiently large length if and only if for 0<t<1.     

Boundedness and compactness of the embedding between spaces with multiweighted derivatives when 1 ⩽ <Emphasis Type="Italic">q</Emphasis> < <Emphasis Type="Italic">p</Emphasis> < ∞

We consider a new Sobolev type function space called the space with multiweighted derivatives $ W_{p,\bar \alpha }^n $ W_{p,\bar \alpha }^n , where $ \bar \alpha $ \bar \alpha = (α ₀, α ₁,…, α _n ), α _i ∈ ℝ, i = 0, 1,…, n, and $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} ,

Polynomial solutions of quasi-homogeneous partial differential equations

By means of a method of analytic number theory the following theorem is proved. Letp be a quasi-homogeneous linear partial differential operator with degreem,m > 0, w.r.t a dilation given by ( a₁, …, a_n). Assume that either a₁, …, a_n are positive rational numbers or for some Then the dimension of the space of polynomial solutions of the equationp[u] = 0 on ℝⁿ must be infinite     

Schur convexity and Schur multiplicative convexity for a class of symmetric functions with applications

For x = (x ₁, x ₂, …, x _n ) ∈ (0, 1 ] ⁿ and r ∈ { 1, 2, … , n}, a symmetric function F _n (x, r) is defined by the relation

A limit theorem for the moments of sums of independent random variables

Forn≧1, letS _n=ΣX _n,i (1≦i≦r _n <∞), where the summands ofS _n are independent random variables having medians bounded in absolute value by a finite number which is independent ofn. Letf be a nonnegative function on (− ∞, ∞) which vanishes and is continuous at the origin, and which satisfies, for some for allt≧1 and all values ofx. Theorem.For centering constants c _n,let S _n − c _n converge in distribution to a random variable S. (A)In order that Ef(S_n − c_n) converge to a limit L, it is necessary and sufficient that there exist a common limit (B)If L exists, then L<∞ if and only if R<∞, and when L is finite, L=Ef(S)+R. Applications are given to infinite series of independent random variables, and to normed sums of independent, identically distributed random variables.     

Exact asymptotic behaviour of the codimensions of some P.I. algebras

Letc _n (A) denote the codimensions of a P.I. algebraA, and assumec _n (A) has a polynomial growth: . Then, necessarily,q∈ℚ [D3]. If 1∈A, we show that , wheree=2.71…. In the non-unitary case, for any 0<q∈ℚ, we constructA, with a suitablek, such that . In memory of S. A. Amitsur, our teacher and friend Partially supported by Grant MM404/94 of Ministry of Education and Science, Bulgaria and by a Bulgarian-American Grant of NSF. Partially supported by NSF grant DMS-9101488.     

Ergodic averages on spheres

LetU ₁,U ₂, …,U _n denoten commuting ergodic invertible measure preserving flows on a probability space (X,Σ,m). LetS _r denote the sphere of radiusr inR ⁿ , and α_r the rotationally invariant unit measure onS _r. WriteU ^tx to denote x wheret=(t ₁ …,t_n). Define the ergodic averaging operator . This paper shows that these averages converge for eachf ∈L ^p(X), p>n/(n−1), n≥3. This is closely related to the work on differentiation by E. M. Stein, S. Wainger, and others. Because of their work, the necessary maximal inequality transfers quite easily. The difficulty is to show that we have convergence on a dense subspace. This is done with the aid of a maximal variational inequality. Partially supported by NSF grant DMS-8910947.     

Central polynomials and matrix invariants

LetK be a field, charK=0 andM _n (K) the algebra ofn×n matrices overK. If λ=(λ₁,…,λ _m ) andμ=(μ ₁,…,μ _m ) are partitions ofn ² let wherex ₁,…,x _n ²,y ₁,…,y _n ² are noncommuting indeterminates andS _n ² is the symmetric group of degreen ². The polynomialsF ^{λ, μ} , when evaluated inM _n (K), take central values and we study the problem of classifying those partitions λ,μ for whichF ^{λ, μ} is a central polynomial (not a polynomial identity) forM _n (K). We give a formula that allows us to evaluateF ^{λ, μ} inM(K) in general and we prove that if λ andμ are not both derived in a suitable way from the partition δ=(1, 3,…, 2n−3, 2n−1), thenF ^{λ, μ} is a polynomial identity forM _n (K). As an application, we exhibit a new class of central polynomials forM _n (K). In memory of Shimshon Amitsur Research supported by a grant from MURST of Italy.     

The structure of generic subintegrality

In order to give an elementwise characterization of a subintegral extension of ℚ-algebras, a family of generic ℚ-algebras was introduced in [3]. This family is parametrized by two integral parameters p ⩾ 0,N ⩾ 1, the member corresponding top, N being the subalgebraR = ℚ [{γ_n|n ⩾ N}] of the polynomial algebra ℚ[x₁,…,x _p, z] inp + 1 variables, where . This is graded by weight (z) = 1, weight (x _i) =i, and it is shown in [2] to be finitely generated. So these algebras provide examples of geometric objects. In this paper we study the structure of these algebras. It is shown first that the ideal of relations among all the γ_n’s is generated by quadratic relations. This is used to determine an explicit monomial basis for each homogeneous component ofR, thereby obtaining an expression for the Poincaré series ofR. It is then proved thatR has Krull dimension p+1 and embedding dimensionN + 2p, and that in a presentation ofR as a graded quotient of the polynomial algebra inN + 2p variables the ideal of relations is generated minimally by elements. Such a minimal presentation is found explicitly. As corollaries, it is shown thatR is always Cohen-Macaulay and that it is Gorenstein if and only if it is a complete intersection if and only ifN + p ⩽ 2. It is also shown thatR is Hilbertian in the sense that for everyn ⩾ 0 the value of its Hilbert function atn coincides with the value of the Hilbert polynomial corresponding to the congruence class ofn.     

Classification of quasifinite\mathcal{W}_\infty -modules-modules

It is proved that an irreducible quasifinite -module is a highest or lowest weight module or a module of the intermediate series; a uniformly bounded indecomposable weight -module is a module of the intermediate series. For a nondegenerate additive subgroup Λ ofF _n, whereF is a field of characteristic zero, there is a simple Lie or associative algebraW(Λ,n)⁽¹⁾ spanned by differential operatorsuD ₁ ^m …D ₁ ^m foru ∈F[Γ] (the group algebra), andm _i≥0 with , whereD _i are degree operators. It is also proved that an indecomposable quasifinite weightW(Λ,n)⁽¹⁾-module is a module of the intermediate series if Λ is not isomorphic to ℤ. Supported by NSF grant no. 10471091 of China and two grants “Excellent Young Teacher Program” and “Trans-Century Training Programme Foundation for the Talents” from the Ministry of Education of China.     

Domination inequality for martingale transforms of a Rademacher sequence

Letf _n = Σ _k=1 ⁿ v _k r _k ,n=1,…, be a martingale transform of a Rademacher sequence (r _n)and let (r _n ^′ ) be an independent copy of (r _n).The main result of this paper states that there exists an absolute constantK such that for allp, 1≤p<∞, the following inequality is true: In order to prove this result, we obtain some inequalities which may be of independent interest. In particular, we show that for every sequence of scalars (a _n)one has where is theK-interpolation norm between ℓ₁ and ℓ₂. We also derive a new exponential inequality for martingale transforms of a Rademacher sequence. This research was supported in part by an NSF grant and an FRPD grant at NCSU.     

Asymptotics of degrees of someS n-sub regular representations

The numbers % MathType!End!2!1!, λ ⊢n appear in the enumeration of various objects, as well as coefficients inS _nrepresentations associated with products of higher commutators. We study their asymptotics asn→∞ and show that if (λ₁, λ₂, …)≈(α ₁,α ₂, …)n, if (λ′₁, λ′₂, …)≈(β ₁,β ₂, …)n and ifγ=1− Σ _k⩽1(α _k⩽1+β _k⩽1), then % MathType!End!2!1!. Work partially supported by N.S.F. Grant No. DMS 94-01197.     

Irreducibility of the punctual quotient scheme of a surface

It is shown that the punctual quotient schemeQ _l ^r parametrizing all zero-dimensional quotients of lengthl and supported at some fixed point O∈A ² in the plane is irreducible.     

On the weighted elliptic problems involving multi-singular potentials and multi-critical exponents

Suppose Ω belong to R^N（N≥3） is a smooth bounded domain,ξi∈Ω,0〈ai〈√μ,μ：=（（N-1）/2）^2,0≤μi〈（√μ-ai）^2,ai〈bi〈ai＋1 and pi：=2N/N-2（1＋ai-bi）are the weighted critical Hardy-Sobolev exponents, i = 1, 2,..., k, k ≥ 2. We deal with the conditions that ensure the existence of positive solutions to the multi-singular and multi-critical elliptic problem ∑i=1^k（-div（｜x-ξi｜^-2ai△↓u）-μiu/｜x-ξi｜^2（1＋ai）-u^pi-1/｜x-ξi｜^bipi）=0with Dirichlet boundary condition, which involves the weighted Hardy inequality and the weighted Hardy-Sobolev inequality. The results depend crucially on the parameters ai, bi and #i, i -- 1, 2,..., k.