Multidimensional integral operators with homogeneous kernels of compact type and multiplicatively weakly oscillating coefficients

In the space L _p (? ⁿ ), 1 < p < +∞, we consider a new class of integral operators with kernels homogeneous of degree ?n, which includes the class of operators with homogeneous SO(n)-invariant kernels; we study the Banach algebra generated by such operators with multiplicatively weakly oscillating coefficients. For operators from this algebra, we define a symbol in terms of which we formulate a Fredholm property criterion and derive a formula for calculating the index. An important stage in obtaining these results is the establishment of the relationship between the operators of the class under study and the operators of one-dimensional convolution with weakly oscillating compact coefficients.     

The boundedness and the fredholm property of integral operators with anisotropically homogeneous kernels of compact type and variable coefficients

In the space L _p (? ⁿ ), 1 < p < ??, we study a new wide class of integral operators with anisotropically homogeneous kernels. We obtain sufficient conditions for the boundedness of operators from this class. We consider the Banach algebra generated by operators with anisotropically homogeneous kernels of compact type and multiplicatively slowly oscillating coefficients. We establish a relationship between this algebra and multidimensional convolution operators, and construct a symbolic calculus for it. We also obtain necessary and sufficient conditions for the Fredholm property of operators from this algebra.     

Potentials with product kernels in grand Lebesgue spaces: One-weight criteria*

We study the boundedness problem for fractional integral operators with product kernels and corresponding strong fractional maximal operators in unweighted and weighted grand Lebesgue spaces. Among other statements, we prove that the one-weight inequality $ {{\left\| {{T_{\alpha }}\left( {f{w^{\alpha }}} \right)} \right\|}_{{L_w^{{q),\theta q/p}}}}}\leqslant c{{\left\| f \right\|}_{{L_w^{{p),\theta }}}}} $ , where q is the Hardy–Littlewood–Sobolev exponent of p, holds for potentials with product kernels T _α if and only if the weight w belongs to the Muckenhoupt class A _1+q/p′ defined with respect to n-dimensional intervals with sides parallel to the coordinate axes. We also provide a motivation of choosing θq/p as the second parameter of the target space.     

Regularity results for fully nonlinear integro-differential operators with nonsymmetric positive kernels

In this paper, we consider fully nonlinear integro-differential equations with possibly nonsymmetric kernels. We are able to find different versions of Alexandroff–Backelman–Pucci estimate corresponding to the full class ${\mathcal {S}^{\mathfrak {L}_0}}$ of uniformly elliptic nonlinear equations with 1?<?σ?<?2 (subcritical case) and to their subclass ${\mathcal {S}_{\eta}^{\mathfrak {L}_0}}$ with 0?<?σ?≤ 1. We show that ${\mathcal {S}_{\eta}^{\mathfrak {L}_0}}$ still includes a large number of nonlinear operators as well as linear operators. And we show a Harnack inequality, H?lder regularity, and C ^1,α -regularity of the solutions by obtaining decay estimates of their level sets in each cases.     

On the limiting case for boundedness of the B-Riesz potential in B-Morrey spaces

We consider the generalized shift operator associated with the Laplace-Bessel differential operator $$ \Delta _B = \sum\limits_{i = 1}^n {\frac{{\partial ^2 }} {{\partial x_j^2 }}} + \sum\limits_{i = 1}^k {\frac{{\gamma _i }} {{x_i }}\frac{\partial } {{\partial x_i }}} $$ , and study the modified B-Riesz potential ? _{α, β} generated by the generalized shift operator acting in the B-Morrey space in the limiting case. We prove that the operator ? _{α, β}, 0 < α < n + |γ|, is bounded from the B-Morrey space L _{(n+|γ|?λ)/α,λ,γ} (? _k,+ ⁿ ) to the B-BMO space BMO _γ (? _k,+ ⁿ ).     

Pointwise estimates for Lagrange interpolation polynomials

Let f ∈ C[?1, 1]. Let the approximation rate of Lagrange interpolation polynomial of f based on the nodes $ \left\{ {\cos \frac{{2k - 1}} {{2n}}\pi } \right\} \cup \{ - 1,1\} $ be Δ _{n + 2}(f, x). In this paper we study the estimate of Δ _{n + 2}(f,x), that keeps the interpolation property. As a result we prove that $$ \Delta _{n + 2} (f,x) = \mathcal{O}(1)\left\{ {\omega \left( {f,\frac{{\sqrt {1 - x^2 } }} {n}} \right)\left| {T_n (x)} \right|\ln (n + 1) + \omega \left( {f,\frac{{\sqrt {1 - x^2 } }} {n}\left| {T_n (x)} \right|} \right)} \right\}, $$ where T _n (x) = cos (n arccos x) is the Chebeyshev polynomial of first kind. Also, if f ∈ C ^r [?1, 1] with r ≧ 1, then $$ \Delta _{n + 2} (f,x) = \mathcal{O}(1)\left\{ {\frac{{\sqrt {1 - x^2 } }} {{n^r }}\left| {T_n (x)} \right|\omega \left( {f^{(r)} ,\frac{{\sqrt {1 - x^2 } }} {n}} \right)\left( {\left( {\sqrt {1 - x^2 } + \frac{1} {n}} \right)^{r - 1} \ln (n + 1) + 1} \right)} \right\}. $$      

Algebras of Convolution Type Operators with Piecewise Slowly Oscillating Data. I: Local and Structural Study

Let ${\mathcal{B}_{p,w}}$ be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space ${L^{p}(\mathbb{R}, w)}$ , where ${p \in (1, \infty)}$ and w is a Muckenhoupt weight. We study the Banach subalgebra ${\mathfrak{A}_{p,w}}$ of ${\mathcal{B}_{p,w}}$ generated by all multiplication operators aI ( ${a \in PSO^{\diamond}}$ ) and all convolution operators W ⁰(b) ( ${b \in PSO_{p,w}^{\diamond}}$ ), where ${PSO^{\diamond} \subset L^{\infty}(\mathbb{R})}$ and ${PSO_{p,w}^{\diamond} \subset M_{p,w}}$ are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of ${\mathbb{R} \cup \{\infty\}}$ , and M _p,w is the Banach algebra of Fourier multipliers on ${L^{p}(\mathbb{R}, w)}$ . Under some conditions on the Muckenhoupt weight w, we construct a Fredholm symbol calculus for the Banach algebra ${\mathfrak{A}_{p,w}}$ and establish a Fredholm criterion for the operators ${A \in \mathfrak{A}_{p,w}}$ in terms of their Fredholm symbols. To study the Banach algebra ${\mathfrak{A}_{p,w}}$ we apply the theory of Mellin pseudodifferential operators, the Allan–Douglas local principle, the two idempotents theorem and the method of limit operators. The paper is divided in two parts. The first part deals with the local study of ${\mathfrak{A}_{p,w}}$ and necessary tools for studying local algebras.     

Central limit theorems for moving average processes*

Let $ {{\left( {{\xi_n}} \right)}_{{n\in \mathbb{Z}}}} $ be a stationary sequence of real random variables with E ξ ₀ = 0 and infinite variance. Furthermore, assume that $ {{\left( {{c_n}} \right)}_{{n\in \mathbb{Z}}}} $ is a sequence of real numbers and $ {X_n}=\sum {_{{j\in \mathbb{Z}}}{c_j}{\xi_{n-j }}} $ is a moving average processes driven by $ {{\left( {{\xi_n}} \right)}_{{n\in \mathbb{Z}}}} $ . By using a decomposition of the moving average processes, a central limit theorem for the partial sums $ \sum\nolimits_{k=1}^n {{X_k}} $ is established. As applications, we obtain some central limit theorems for stationary dependent sequences $ {{\left( {{\xi_n}} \right)}_{{n\in \mathbb{Z}}}} $ , such as associated sequence, martingale difference, and so on.     

Exotic symmetric space over a finite field, I

Let V be a 2n-dimensional vector space over an algebraically closed field k with ch k ≠ 2. Let G = GL(V) and H = Sp_2n be the symplectic group obtained as H = G ^θ for an involution θ on G. We also denote by θ the induced involution on $ \mathfrak{g} $ = Lie G. Consider the variety G/H × V on which H acts naturally. Let $ \mathfrak{g}_{\mathrm{nil}}^{{-\theta }} $ be the set of nilpotent elements in the -1 eigenspace of θ in $ \mathfrak{g} $ . The role of the unipotent variety for G in our setup is played by $ \mathfrak{g}_{\mathrm{nil}}^{{-\theta }} $ × V, which coincides with Kato’s exotic nilpotent cone. Kato established, in the case where k = C, the Springer correspondence between the set of irreducible representations of the Weyl group of type C _n and the set of H-orbits in $ \mathfrak{g}_{\mathrm{nil}}^{{-\theta }} $ × V by applying Ginzburg theory for affine Hecke algebras. In this paper we develop a theory of character sheaves on G/H × V, and give an alternate proof for Kato’s result on the Springer correspondence based on the theory of character sheaves.     

Predual Spaces of Banach Completions of Orlicz-Hardy Spaces Associated with Operators

Let L be a linear operator in L ²(? ⁿ ) and generate an analytic semigroup {e ^?tL } _t??0 with kernels satisfying an upper bound of Poisson type, whose decay is measured by ??(L)??(0,??]. Let ?? on (0,??) be of upper type 1 and of critical lower type $\widetilde{p}_{0}(\omega)\in(n/(n+\theta(L)),1]$ and ??(t)=t ^?1/?? ^?1(t ^?1) for t??(0,??). In this paper, the authors first introduce the VMO-type space VMO _??,L (? ⁿ ) and the tent space $T^{\infty}_{\omega,\mathrm{v}}({\mathbb{R}}^{n+1}_{+})$ and characterize the space VMO _??,L (? ⁿ ) via the space $T^{\infty}_{\omega,\mathrm{v}}({{\mathbb{R}}}^{n+1}_{+})$ . Let $\widetilde{T}_{\omega}({{\mathbb{R}}}^{n+1}_{+})$ be the Banach completion of the tent space $T_{\omega}({\mathbb{R}}^{n+1}_{+})$ . The authors then prove that $\widetilde{T}_{\omega}({\mathbb{R}}^{n+1}_{+})$ is the dual space of $T^{\infty}_{\omega,\mathrm{v}}({\mathbb{R}}^{n+1}_{+})$ . As an application of this, the authors finally show that the dual space of $\mathrm{VMO}_{\rho,L^{\ast}}({\mathbb{R}}^{n})$ is the space B _??,L (? ⁿ ), where L ^* denotes the adjoint operator of L in L ²(? ⁿ ) and B _??,L (? ⁿ ) the Banach completion of the Orlicz-Hardy space H _??,L (? ⁿ ). These results generalize the known recent results by particularly taking ??(t)=t for t??(0,??).     

On one complement to the Hölder inequality: I

Let m ≥ 2, the numbers p ₁,…, p _m ∈ (1, +∞] satisfy the inequality \(\frac{1}{{{p_1}}} + ...\frac{1}{{{p_m}}} < 1\), and γ₁ ∈ L ^p1(?¹), …, γ _m ∈ \({L^{{p_m}}}\)(?¹). We prove that, if the set of “resonance” points of each of these functions is nonempty and the “nonresonance” condition holds (both concepts have been introduced by the author for functions of spaces L ^p (?¹), p ∈ (1, +∞]), we have the inequality \(\mathop {\sup }\limits_{a,b \in {R^1}} \left| {\int\limits_a^b {\prod\limits_{k = 1}^m {\left[ {{\gamma _k}\left( \tau \right) + \Delta {\gamma _k}\left( \tau \right)} \right]} d\tau } } \right| \leqslant C{\prod\limits_{k = 1}^m {\left\| {{\gamma _k} + \Delta {\gamma _k}} \right\|} _{L_{{a_k}}^{{p_k}}}}\left( {{\mathbb{R}^1}} \right)\), where the constant C > 0 is independent of functions \(\Delta {\gamma _k} \in L_{{a_k}}^{{p_k}}\left( {{\mathbb{R}^1}} \right)\) and \(L_{{a_k}}^{{p_k}}\left( {{\mathbb{R}^1}} \right) \subset {L^{{p_k}}}\left( {{\mathbb{R}^1}} \right)\), 1 ≤ k ≤ m are some specially constructed normed spaces. In addition, we give a boundedness condition for the integral of the product of functions over a subset of ?¹.     

Algebras of Convolution Type Operators with Piecewise Slowly Oscillating Data. II: Local Spectra and Fredholmness

Let ${\mathcal{B}_{p,w}}$ be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space ${L^p(\mathbb{R},w)}$ , where ${p\in(1,\infty)}$ and w is a Muckenhoupt weight. We study the Banach subalgebra ${\mathfrak{U}_{p,w}}$ of ${\mathcal{B}_{p,w}}$ generated by all multiplication operators aI ( ${a\in PSO^\diamond}$ ) and all convolution operators W ⁰(b) ( ${b\in PSO_{p,w}^\diamond}$ ), where ${PSO^\diamond\subset L^\infty(\mathbb{R})}$ and ${PSO_{p,w}^\diamond\subset M_{p,w}}$ are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of ${\mathbb{R}\cup\{\infty\}}$ , and M _p,w is the Banach algebra of Fourier multipliers on ${L^p(\mathbb{R},w)}$ . Under some conditions on the Muckenhoupt weight w, using results of the local study of ${\mathfrak{U}_{p,w}}$ obtained in the first part of the paper and applying the theory of Mellin pseudodifferential operators and the two idempotents theorem, we now construct a Fredholm symbol calculus for the Banach algebra ${\mathfrak{U}_{p,w}}$ and establish a Fredholm criterion for the operators ${A\in\mathfrak{U}_{p,w}}$ in terms of their Fredholm symbols. In four partial cases we obtain for ${\mathfrak{U}_{p,w}}$ more effective results.     

On the best constants in the Khintchine inequality for Steinhaus variables

Let S _j : (Ω, P) → S ¹ ? ? be an i.i.d. sequence of Steinhaus random variables, i.e. variables which are uniformly distributed on the circle S ¹. We determine the best constants a _p in the Khintchine-type inequality $${a_p}{\left\| x \right\|_2} \leqslant {\left( {{\text{E}}{{\left| {\sum\limits_{j = 1}^n {{x_j}{S_j}} } \right|}^p}} \right)^{1/p}} \leqslant {\left\| x \right\|_2};{\text{ }}x = ({x_j})_{j = 1}^n \in {{\Bbb C}^n}$$ for 0 < p < 1, verifying a conjecture of U. Haagerup that $${a_p} = \min \left( {\Gamma {{\left( {\frac{p}{2} + 1} \right)}^{1/p}},\sqrt 2 {{\left( {{{\Gamma \left( {\frac{{p + 1}}{2}} \right)} \mathord{\left/ {\vphantom {{\Gamma \left( {\frac{{p + 1}}{2}} \right)} {\left[ {\Gamma \left( {\frac{p}{2} + 1} \right)\sqrt \pi } \right]}}} \right. \kern-\nulldelimiterspace} {\left[ {\Gamma \left( {\frac{p}{2} + 1} \right)\sqrt \pi } \right]}}} \right)}^{1/p}}} \right)$$ . Both expressions are equal for p = p ₀ }~ 0.4756. For p ≥ 1 the best constants a _p have been known for some time. The result implies for a norm 1 sequence x ∈ ? ⁿ , ‖x‖₂ = 1, that $${\text{E}}\ln \left| {\frac{{{S_1} + {S_2}}}{{\sqrt 2 }}} \right| \leqslant {\text{E}}\ln \left| {\sum\limits_{j = 1}^n {{x_j}{S_j}} } \right|$$ , answering a question of A. Baernstein and R. Culverhouse.     

Non-Uniformity and Generalised Sacks Splitting

We show that there do not exist computable functions f ₁(e, i), f ₂(e, i), g ₁(e, i), g ₂(e, i) such that for all e, i ∈ ω, (1) $ {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)} \leqslant _{{\rm T}} {\left( {W_{e} - W_{i} } \right)}; $ (2) $ {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)} \leqslant _{{\rm T}} {\left( {W_{e} - W_{i} } \right)}; $ (3) $ {\left( {W_{e} - W_{i} } \right)} \not\leqslant _{{\rm T}} {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)} \oplus {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)}; $ (4) $ {\left( {W_{e} - W_{i} } \right)} \not\leqslant _{{\rm T}} {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)}{\text{unless}}{\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\emptyset};{\text{and}} $ (5) $ {\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)}{\text{unless}}{\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\emptyset}. $ It follows that the splitting theorems of Sacks and Cooper cannot be combined uniformly.     

On the annihilators and attached primes of top local cohomology modules

Let ${\mathfrak{a}}$ be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. It is shown that ${{\rm Ann}_R(H_{\mathfrak{a}}^{{\rm dim} M}(M))= {\rm Ann}_R(M/T_R(\mathfrak{a}, M))}$ , where ${T_R(\mathfrak{a}, M)}$ is the largest submodule of M such that ${{\rm cd}(\mathfrak{a}, T_R(\mathfrak{a}, M)) < {\rm cd}(\mathfrak{a}, M)}$ . Several applications of this result are given. Among other things, it is shown that there exists an ideal ${\mathfrak{b}}$ of R such that ${{\rm Ann}_R(H_{\mathfrak{a}}^{{\rm dim} M}(M))={\rm Ann}_R(M/H_{\mathfrak{b}}^{0}(M))}$ . Using this, we show that if ${ H_{\mathfrak{a}}^{{\rm dim} R}(R)=0}$ , then ${{{\rm Att}_R} H^{{\rm dim} R-1}_{\mathfrak a}(R)= \{\mathfrak{p} \in {\rm Spec} R | \,{\rm cd}(\mathfrak{a}, R/\mathfrak{p}) = {\rm dim} R-1\}.}$ These generalize the main results of Bahmanpour et al. (see [2, Theorem 2.6]), Hellus (see [7, Theorem 2.3]), and Lynch (see [10, Theorem 2.4]).     

Commutators of Marcinkiewicz integral with rough kernels on Sobolev spaces

In this paper, the authors give the boundedness of the commutator [b, ??_??,?? ] from the homogeneous Sobolev space $\dot L_\gamma ^p \left( {\mathbb{R}^n } \right)$ to the Lebesgue space L ^p (? ⁿ ) for 1 < p < ??, where ??_??,?? denotes the Marcinkiewicz integral with rough hypersingular kernel defined by $\mu _{\Omega ,\gamma } f\left( x \right) = \left( {\int_0^\infty {\left| {\int_{\left| {x - y} \right| \leqslant t} {\frac{{\Omega \left( {x - y} \right)}} {{\left| {x - y} \right|^{n - 1} }}f\left( y \right)dy} } \right|^2 \frac{{dt}} {{t^{3 + 2\gamma } }}} } \right)^{\frac{1} {2}} ,$ , with ?? ?? L ¹(S ^n?1) for $0 < \gamma < min\left\{ {\frac{n} {2},\frac{n} {p}} \right\}$ or ?? ?? L(log⁺ L) ^?? (S ^n?1) for $\left| {1 - \frac{2} {p}} \right| < \beta < 1\left( {0 < \gamma < \frac{n} {2}} \right)$ , respectively.     

On the maximum of the minimum of a sum

LetB denote the closure of a bounded open set of points inE ⁿ with Jordan content |B|>0 and letc>0 be constant. Typical of the expressions considered is $$M(N,c) = \max _{\left\{ {x_j } \right\}} \min _{x \in B} \sum\limits_{j = 1}^N {\left| {x - x_j } \right|^{ - c} } ,x_j \in E^n$$ Together with its analogs and extensions, the problem forc has a long history, associated with the names of Fekete, Leja, Pólya, Szegö, Frostman and Carleson, to mention just a few. It involves the notions of generalized capacity, transfinite diameter, and equilibrium potential. Here we consider the casec≧n and its extensions, for which the prior history seems less comprehensive. Illustrative of the results obtained are the three equations $$\mathop {\lim }\limits_{N \to \infty } \frac{{M(N,n)}}{{N\log N}} = \frac{{\omega (n)}}{{\left| B \right|}},\mathop {\lim }\limits_{N \to \infty } \frac{{M(N,c)}}{{N^{{c \mathord{\left/ {\vphantom {c n}} \right. \kern-\nulldelimiterspace} n}} }} = \frac{{L(n,c)}}{{\left| B \right|^{{c \mathord{\left/ {\vphantom {c n}} \right. \kern-\nulldelimiterspace} n}} }},\mathop {\lim }\limits_{c \to \infty } L(n,c)^{{1 \mathord{\left/ {\vphantom {1 c}} \right. \kern-\nulldelimiterspace} c}} = \mathop {\lim }\limits_{N \to \infty } \frac{{\left( {\left| B \right|/N} \right)^{{1 \mathord{\left/ {\vphantom {1 n}} \right. \kern-\nulldelimiterspace} n}} }}{{\varrho (N)}}$$ In the firstc=n and ω (n) is the volume of the unit ball. In the secondc>n and existence of the limit is asserted, 0<L(n,c)<∞. In the third, ? (N) is the smallest value such thatN spheres of radius ? (N) can coverB. The results would be unchanged if we requiredx _j ∈B instead ofx _j ∈E ⁿ in the definition ofM(N, c).     

Free resolutions over short Gorenstein local rings

Let R be a local ring with maximal ideal ${\mathfrak{m}}$ admitting a non-zero element ${a\in\mathfrak{m}}$ for which the ideal (0 : a) is isomorphic to R/aR. We study minimal free resolutions of finitely generated R-modules M, with particular attention to the case when ${\mathfrak{m}^4=0}$ . Let e denote the minimal number of generators of ${\mathfrak{m}}$ . If R is Gorenstein with ${\mathfrak{m}^4=0}$ and e ?? 3, we show that ${{\rm P}_{M}^{R}(t)}$ is rational with denominator H _R (?t) =?1 ? et?+?et ² ? t ³, for each finitely generated R-module M. In particular, this conclusion applies to generic Gorenstein algebras of socle degree 3.     

A commutant realization of Odake’s algebra

The bcβγ-system $ \mathcal{W} $ of rank 3 has an action of the affine vertex algebra $ {V_0}\left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ , and the commutant vertex algebra $ \mathcal{C}=\mathrm{Com}\left( {{V_0}\left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right),\mathcal{W}} \right) $ contains copies of V _?3/2 $ \left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ and Odake’s algebra $ \mathcal{O} $ . Odake’s algebra is an extension of the N = 2 super-conformal algebra with c = 9, and is generated by eight fields which close nonlinearly under operator product expansions. Our main result is that V _?3/2 $ \left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ and $ \mathcal{O} $ form a Howe pair (i.e., a pair of mutual commutants) inside $ \mathcal{C} $ . More generally, any finite-dimensional representation of a Lie algebra $ \mathfrak{g} $ gives rise to a similar Howe pair, and this example corresponds to the adjoint representation of $ \mathfrak{s}{{\mathfrak{l}}_2} $ .