Isometries and Hermitian operators on complex symmetric sequence spaces

We consider a complex symmetric sequence space E that possesses the Fatou property and is different from l₂. We prove that, for every surjective linear isometry V on E, there exist λ _n ∈ ? with |λ _n | = 1 and a bijective mapping π on the set ? of natural numbers such that

$$V\left( {\left\{ {\xi _n } \right\}_{n \in \mathbb{N}} } \right) = \left\{ {\lambda _n \xi _{\pi (n)} } \right\}_{n \in \mathbb{N}}$$

for every {ξ _n {_n∈? ∈ E.

     

Moderate deviation principle for <Emphasis Type="Italic">m</Emphasis>-dependent random variables<Superscript>*</Superscript>

Let {X _n }_n?≥?1 be a sequence of strictly stationary m-dependent random variableswith EX₁ = 0 and \( \mathrm{E}{X}_1^2<\infty \), and let (b _n ) be an increasing sequence of positive numbers such that b _n ?↑?∞ and \( {b}_n/\sqrt{n}\downarrow 0\kern0.5em \mathrm{as}\kern0.5em n\to \infty \). We establish a moderate deviation principle of \( {\left({b}_n\sqrt{n}\right)}^{-1}{\sum}_{i=1}^n{X}_i \) under the condition

$$ \underset{n\to \infty }{\lim \sup}\frac{1}{b_n^2}\log \left[n\mathbf{P}\left(\left|{X}_1\right|>{b}_n\sqrt{n}\right)\right]=-\infty, $$

which is weaker than the classical exponential integrability condition. The results in the present paper weaken the assumptions of Chen [5] and extend partially the results of Eichelsbacher and Löwe [10].     

On the exceptional sets in Sylvester expansions*

For any x ?? (0, 1], let the series \( {\sum}_{n=1}^{\infty }1/{d}_n(x) \) be the Sylvester expansion of x, where {d _j (x),?j?≥?1} is a sequence of positive integers satisfying d₁(x)?≥?2 and d_j?+?1(x)?≥?d _j (x)(d _j (x)???1)?+?1 for j?≥?1. Suppose ? : ? → ?⁺ is a function satisfying ?(n+1) – ? (n) → ∞ as n → ∞. In this paper, we consider the set

$$ E\left(\phi \right)=\left\{x\kern0.5em \in \left(0,1\right]:\kern0.5em \underset{n\to \infty }{\lim}\frac{\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)}{\phi (n)}=1\right\} $$

and quantify the size of the set in the sense of Hausdorff dimension. As applications, for any β > 1 and γ > 0, we get the Hausdorff dimension of the set \( \left\{x\in \kern1em \left(0,1\right]:\kern0.5em {\lim}_{n\to \infty}\left(\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)\right)/{n}^{\beta }=\upgamma \right\}, \) and for any τ > 1 and η > 0, we get a lower bound of the Hausdorff dimension of the set \( \left\{x\kern0.5em \in \kern0.5em \left(0,1\right]:\kern1em {\lim}_{n\to \infty}\left(\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)\right)/{\tau}^n=\eta \right\}. \)     

On Haar series of <Emphasis Type="Italic">A</Emphasis>–integrable functions

In this paper we obtain a necessary and sufficient condition on the sequence of natural numbers {q _n } such that the almost everywhere convergence of the cubic partial sums S _qn (x) of the multiple Haar series Σ_n a _nχ_n(x) and the condition lim inf \(\lambda \cdot mes\left\{ {x:\begin{array}{*{20}{c}} {\sup } \\ n \end{array}\left| {S{}_{qn}\left( x \right)} \right| \succ \lambda } \right\} = 0\), imply that the coefficients a _n can be uniquely determined by the sum of the series. Also, we have obtained a necessary and sufficient condition for the series \(\sum\limits_{n = 1}^\infty {{\varepsilon _n}{a_n}} {\chi _n}\left( x \right)\) with an arbitrary bounded sequence {ε _n} to be a Fourier-Haar series of an A-integrable function.     

On series by Haar system

The paper considers the series by Haar system \(\sum\limits_{n = 1}^\infty {a_n \chi _n (x)} \), satisfying the conditions \(\sum\limits_{n = 1}^\infty {a_n^2 \chi _n^2 (x)} = \infty \) and a _n χ _n (x) → 0 almost everywhere. Some theorems about correcting a function on sets of arbitrarily small measures are proved.     

The Law of the Iterated Logarithm for Finitely Inhomogeneous Random Walks

The Hartman–Wintner–Strassen law of the iterated logarithm states that if X ₁, X ₂,… are independent identically distributed random variables and S _n =X ₁+???+X _n , then

$\limsup_{n}S_{n}/\sqrt{2n\log \log n}=1\quad \text{a.s.},\qquad \liminf_{n}S_{n}/\sqrt{2n\log \log n}=-1\quad \text{a.s.}$

if and only if EX ₁ ² =1 and EX ₁=0. We extend this to the case where the X _n are no longer identically distributed, but rather their distributions come from a finite set of distributions.

     

A Refinement of the Kolmogorov–Marcinkiewicz–Zygmund Strong Law of Large Numbers

Let {X _n ; n≥1} be a sequence of independent copies of a real-valued random variable X and set S _n =X ₁+???+X _n , n≥1. This paper is devoted to a refinement of the classical Kolmogorov–Marcinkiewicz–Zygmund strong law of large numbers. We show that for 0<p<2,

$\sum_{n=1}^{\infty}\frac{1}{n}\biggl(\frac{|S_{n}|}{n^{1/p}}\biggr)<\infty\quad \mbox{almost surely}$

if and only if

$\begin{cases}\mathbb{E}|X|^{p}<\infty &; \mbox{if }0 < p < 1,\\\mathbb{E}X=0,\ \sum_{n=1}^{\infty}\frac{|\mathbb{E}XI\{|X|\leq n\}|}{n}<\infty,\mbox{ and }\\\sum_{n=1}^{\infty}\frac{\int_{\min\{u_{n},n\}}^{n}\mathbb{P}(|X|>t)\,dt}{n}<\infty &; \mbox{if }p = 1,\\\mathbb{E}X=0\mbox{ and }\int_{0}^{\infty}\mathbb{P}^{1/p}(|X|>t)\,dt<\infty,&;\mbox{if }1 < p < 2,\end{cases}$

where \(u_{n}=\inf \{t:~\mathbb{P}(|X|>t)<\frac{1}{n}\}\), n≥1. Versions of the above result in a Banach space setting are also presented. To establish these results, we invoke the remarkable Hoffmann-Jørgensen (Stud. Math. 52:159–186, 1974) inequality to obtain some general results for sums of the form \(\sum_{n=1}^{\infty}a_{n}\|\sum_{i=1}^{n}V_{i}\|\) (where {V _n ; n≥1} is a sequence of independent Banach-space-valued random variables, and a _n ≥0, n≥1), which may be of independent interest, but which we apply to \(\sum_{n=1}^{\infty}\frac{1}{n}(\frac{|S_{n}|}{n^{1/p}})\).

     

Boundedness and compactness of an integral operator in a mixed norm space on the polydisk

We study the following integral type operator

$T_g (f)(z) = \int\limits_0^{z_{} } { \cdots \int\limits_0^{z_n } {f(\zeta _1 , \ldots ,\zeta _n )} g(\zeta _1 , \ldots ,\zeta _n )d\zeta _1 , \ldots ,\zeta _n } $

in the space of analytic functions on the unit polydisk U ⁿ in the complex vector space ?ⁿ. We show that the operator is bounded in the mixed norm space

Open image in new window

, with p, q ∈ [1, ∞) and α = (α₁, …, α_n), such that α_j > ?1, for every j = 1, …, n, if and only if \(\sup _{z \in U^n } \prod\nolimits_{j = 1}^n {\left( {1 - \left| {z_j } \right|} \right)} \left| {g(z)} \right| < \infty \). Also, we prove that the operator is compact if and only if \(\lim _{z \to \partial U^n } \prod\nolimits_{j = 1}^n {\left( {1 - \left| {z_j } \right|} \right)} \left| {g(z)} \right| = 0\).

     

Divided differences for functions of two variables for irregularly spaced arguments

Divided differences forf (x, y) for completely irregular spacing of points (x _i ,y _i ) are developed here by a natural generalization of Newton's scheme. Existing bivariate schemes either iterate the one-dimensional scheme, thus constraining (x _i ,y _i ) to be at corners of rectangles, or give polynomials Σa _jk x ^j y ^k having more coefficients than interpolation conditions. Here the generalizedn ^th divided difference is defined by (1)\(\left[ {01... n} \right] = \sum\limits_{i = 0}^n {A_i f\left( {x_i , y_i } \right)} \) where (2)\(\sum\limits_{i = 0}^n {A_i x_i^j , y_i^k = 0} \), and 1 for the last or (n+1)^th equation, for every (j, k) wherej+k=0, 1, 2,... in the usual ascending order. The gen. div. diff. [01...n] is symmetric in (x _i ,y _i ), unchanged under translation, 0 forf (x, y) an, ascending binary polynomial as far asn terms, degree-lowering with respect to (X, Y) whenf(x, y) is any polynomialP(X+x, Y+y), and satisfies the 3-term recurrence relation (3) [01...n]=λ{[1...n]?[0...n?1]}, where (4) λ= |1...n|·|01...n?1|/|01...n|·|1...n?1|, the |...i...| denoting determinants inx _i ^j y _i ^k . The generalization of Newton's div. diff. formula is (5)

$$\begin{gathered} f\left( {x, y} \right) = f\left( {x_0 , y_0 } \right) - \frac{{\left| {\alpha 0} \right|}}{{\left| 0 \right|}}\left[ {01} \right] + \frac{{\left| {\alpha 01} \right|}}{{\left| {01} \right|}}\left[ {012} \right] - \frac{{\left| {\alpha 012} \right|}}{{\left| {012} \right|}}\left[ {0123} \right] + \cdots + \hfill \\ + \left( { - 1} \right)^n \frac{{\left| {\alpha 01 \ldots n - 1} \right|}}{{\left| {01 \ldots n - 1} \right|}}\left[ {01 \ldots n} \right] + \left( { - 1} \right)^{n + 1} \frac{{\left| {\alpha 01 \ldots n} \right|}}{{\left| {01 \ldots n} \right|}}\left[ {01 \ldots n} \right], \hfill \\ \end{gathered} $$     

A remark on the existence of entire large and bounded solutions to a (<Emphasis Type="Italic">k</Emphasis><Subscript>1</Subscript>, <Emphasis Type="Italic">k</Emphasis><Subscript>2</Subscript>)-Hessian system with gradient term

In this paper, we study the existence of positive entire large and bounded radial positive solutions for the following nonlinear system

$$\left\{ {\begin{array}{*{20}c}{S_{k_1 } \left( {\lambda \left( {D^2 u_1 } \right)} \right) + a_1 \left( {\left| x \right|} \right)\left| {\nabla u_1 } \right|^{k_1 } = p_1 \left( {\left| x \right|} \right)f_1 \left( {u_2 } \right)} & {for x \in \mathbb{R}^N ,} \\{S_{k_2 } \left( {\lambda \left( {D^2 u_2 } \right)} \right) + a_2 \left( {\left| x \right|} \right)\left| {\nabla u_2 } \right|^{k_2 } = p_2 \left( {\left| x \right|} \right)f_2 \left( {u_1 } \right)} & {for x \in \mathbb{R}^N .} \\\end{array} } \right.$$

Here \({S_{{k_i}}}\left( {\lambda \left( {{D^2}{u_i}} \right)} \right)\) is the k _i -Hessian operator, a ₁, p ₁, f ₁, a ₂, p ₂ and f ₂ are continuous functions.

     

On the principal ideal theorem and spectral synthesis on discrete Abelian groups

For positive integers n, m, and h, we let \({\rho\hat (\mathbb{Z}_n, m, h)}\) denote the minimum size of the h-fold restricted sumset among all m-subsets of the cyclic group of order n. The value of \({\rho\hat (\mathbb{Z}_n, m, h)}\) was conjectured for prime values of n and h = 2 by Erd?s and Heilbronn in the 1960s; Dias da Silva and Hamidoune proved the conjecture in 1994 and generalized it for an arbitrary h, but little is known about the case when n is composite. Here we exhibit an explicit upper bound for all n, m, and h; our bound is tight for all known cases (including all n, m, and h with \({n \leqq 40}\)). We also provide counterexamples for conjectures made by Plagne and by Hamidoune, Lladó, and Serra.     

On basicity of perturbed system of exponents in Lebesgue space with variable summability factor

In this paper, the system of exponents \(\{ e^{i\lambda _n t} \} _{n \in Z} \) is considered, where {λ _n } ? R has the following asymptotic form: λ _n = n ? α sign n + O(|n|^?β). Basis properties of this system in Lebesgue space with variable summability factor are investigated.     

Sharp Estimates for Mean Square Approximations of Classes of Differentiable Periodic Functions by Shift Spaces

Let L₂ be the space of 2π-periodic square-summable functions and E(f, X)₂ be the best approximation of f by the space X in L₂. For n ∈ ? and B ∈ L₂, let \({{\Bbb S}_{B,n}}\) be the space of functions s of the form \(s\left( x \right) = \sum\limits_{j = 0}^{2n - 1} {{\beta _j}B\left( {x - \frac{{j\pi }}{n}} \right)} \). This paper describes all spaces \({{\Bbb S}_{B,n}}\) that satisfy the exact inequality \(E{\left( {f,{S_{B,n}}} \right)_2} \leqslant \frac{1}{{^{{n^r}}}}\parallel {f^{\left( r \right)}}{\parallel _2}\). (2n–1)-dimensional subspaces fulfilling the same estimate are specified. Well-known inequalities are for approximation by trigonometric polynomials and splines obtained as special cases.     

Acceleration of convergence of general linear sequences by the Shanks transformation

The Shanks transformation is a powerful nonlinear extrapolation method that is used to accelerate the convergence of slowly converging, and even diverging, sequences {A _n }. It generates a two-dimensional array of approximations \({A^{(j)}_n}\) to the limit or anti-limit of {A _n } defined as solutions of the linear systems

$A_l=A^{(j)}_n +\sum^{n}_{k=1}\bar{\beta}_k(\Delta A_{l+k-1}),\ \ j\leq l\leq j+n,$

where \({\bar{\beta}_{k}}\) are additional unknowns. In this work, we study the convergence and stability properties of \({A^{(j)}_n}\) , as j → ∞ with n fixed, derived from general linear sequences {A _n }, where \({{A_n \sim A+\sum^{m}_{k=1}\zeta_k^n\sum^\infty_{i=0} \beta_{ki}n^{\gamma_k-i}}}\) as n → ∞, where ζ _k  ≠ 1 are distinct and |ζ ₁| = ... = |ζ _m | = θ, and γ _k  ≠ 0, 1, 2, . . .. Here A is the limit or the anti-limit of {A _n }. Such sequences arise, for example, as partial sums of Fourier series of functions that have finite jump discontinuities and/or algebraic branch singularities. We show that definitive results are obtained with those values of n for which the integer programming problems

$\begin{array}{ll}{\quad\quad\quad\quad\max\limits_{s_1,\ldots,s_m}\sum\limits_{k=1}^{m}\left[(\Re\gamma_k)s_k-s_k(s_k-1)\right],}\\ {{\rm subject\,to}\,\, s_1\geq0,\ldots,s_m\geq0\quad{\rm and}\quad \sum\limits_{k=1}^{m} s_k = n,}\end{array}$

have unique (integer) solutions for s ₁, . . . , s _m . A special case of our convergence result concerns the situation in which \({{\Re\gamma_1=\cdots=\Re\gamma_m=\alpha}}\) and n = mν with ν = 1, 2, . . . , for which the integer programming problems above have unique solutions, and it reads \({A^{(j)}_n-A=O(\theta^j\,j^{\alpha-2\nu})}\) as j → ∞. When compared with A _j ? A = O(θ ^j j ^α ) as j → ∞, this result shows that the Shanks transformation is a true convergence acceleration method for the sequences considered. In addition, we show that it is stable for the case being studied, and we also quantify its stability properties. The results of this work are the first ones pertaining to the Shanks transformation on general linear sequences with m > 1.

     

Sharp weak bounds for <Emphasis Type="Italic">n</Emphasis>-dimensional fractional Hardy operators

We obtain the operator norms of the n-dimensional fractional Hardy operator H _α (0 < α < n) from weighted Lebesgue spaces \(L_{\left| x \right|^\rho }^p (\mathbb{R}^n )\) to weighted weak Lebesgue spaces \(L_{\left| x \right|^\beta }^{q,\infty } (\mathbb{R}^n )\).     

A note on the normalizing sequences for sums of linear processes in the case of negative memory

We consider the partial-sum process \( {S}_n(t)={\sum}_{k=0}^{\left\lfloor nt\right\rfloor }{X}_k \) of linear processes \( {X}_n={\sum}_{i=0}^{\infty }{c}_i{\upxi}_{n-i} \) with independent identically distributed innovations {ξ _i } belonging to the domain of attraction of α-stable law (0 < α ≤ 2). If |c _k |?=?k ^?γ?,?k?∈???,?γ?> max(1, 1/α), and \( {\sum}_{k=0}^{\infty}\kern0.5em ck=0 \) (the case of negative memory for the stationary sequence {X _n }), then it is known that the normalizing sequence of S _n (1) can grow as n ^1/α?γ+1 or remain bounded if the signs of the coefficients are constant or alternate, respectively. It is of interest to know whether it is possible, given ? ∈ (0, 1/α ? γ + 1), to change the signs of c _k so that the rate of growth of the normalizing sequence would be n ^? . In this paper, we give the positive answer: we propose a way of choosing the signs and investigate the finite-dimensional convergence of appropriately normalized S _n (t) to linear fractional Lévy motion.     

Values of general dirichlet series and simultaneous diophantine approximation

We show a joint denseness theorem for values of a general Dirichlet series \( \sum\nolimits_{n = 1}^\infty {{{\text{a}}_n}{{\text{e}}^{ - {\lambda_n}s}}} \) in a certain class and its derivatives, where the numbers {λ _n } are not necessarily linearly independent over \( \mathbb{Q} \).     

Reconstructing a matrix from a partial sampling of Pareto eigenvalues

Let Λ={λ ₁,…,λ _p } be a given set of distinct real numbers. This work deals with the problem of constructing a real matrix A of order n such that each element of Λ is a Pareto eigenvalue of A, that is to say, for all k∈{1,…,p} the complementarity system

$x\geq \mathbf{0}_n,\quad Ax-\lambda_k x\geq \mathbf{0}_n,\quad \langle x, Ax-\lambda_k x\rangle = 0$

admits a nonzero solution x∈? ⁿ .

     

Carleson measures,BMO spaces and balayages associated to Schrdinger operators

Let L be a Schrdinger operator of the form L =-? + V acting on L~2(R~n), n≥3, where the nonnegative potential V belongs to the reverse Hlder class B_q for some q≥n. Let BMO_L(R~n) denote the BMO space associated to the Schrdinger operator L on R~n. In this article, we show that for every f ∈ BMO_L(R~n) with compact support, then there exist g ∈ L~∞(R~n) and a finite Carleson measure μ such that f(x) = g(x) + S_(μ,P)(x) with ∥g∥∞ + |||μ|||c≤ C∥f∥BMO_L(R~n), where S_(μ,P)=∫(R_+~(n+1))Pt(x,y)dμ(y, t),and Pt(x, y) is the kernel of the Poisson semigroup {e-~(t(L)~(1/2))}t0 on L~2(R~n). Conversely, if μ is a Carleson measure, then S_(μ,P) belongs to the space BMO_L(R~n). This extends the result for the classical John-Nirenberg BMO space by Carleson(1976)(see also Garnett and Jones(1982), Uchiyama(1980) and Wilson(1988)) to the BMO setting associated to Schrdinger operators.     

Isometric multipliers of a vector valued Beurling algebra on a discrete semigroup

Let (S,ω) be a weighted abelian semigroup, let M _ω (S) be the semigroup of ω-bounded multipliers of S, and let \(\mathcal {A}\) be a strictly convex commutative Banach algebra with identity. It is shown that T is an onto isometric multiplier of \(\ell ^{1}(S,\omega , \mathcal {A})\) if and only if there exists an invertible σ ∈ M _ω (S), a unitary point \(a \in \mathcal {A}\), and a k>0 such that \(T(f)= ka{\sum }_{x \in S} f(x)\delta _{\sigma (x)}\) for each \(f={\sum }_{x \in S}f(x)\delta _{x} \in \ell ^{1}(S,\omega ,\mathcal {A})\). It is also shown that an isomorphism from \(\ell ^{1}(S_{1},\omega _{1},\mathcal {A})\) onto \(\ell ^{1}(S_{2},\omega _{2}, \mathcal {B})\) induces an isomorphism from \(M(\ell ^{1}(S_{1},\omega _{1},\mathcal {A}))\), the set of all multipliers of \(\ell ^{1}(S_{1},\omega _{1},\mathcal {A})\), onto \(M(\ell ^{1}(S_{2},\omega _{2},\mathcal {B}))\).