Suppose Δ̃ is the Laplace-Beltrami operator on the sphere $S^{d-1},{\Delta }_{\rho }^{k}f\left(x\right)={\Delta }_{\rho }{\Delta }_{\rho }^{k-1}f\left(x\right)$ and ${\Delta }_{\rho }f\left(x\right)=f\left(\rho x\right)-f\left(x\right)$ where ρ ∈ SO(d). Then ${\omega }^m{(f,t)}_{L_p\left(S^{d-1}\right)}\equiv sup\parallel {\Delta }_{\rho }^{m}f{\parallel }_{L_p\left(S^{d-1}\right)}:\rho \in SO\left(d\right),ma{x}_{x\in S^{d-1}}\rho x·x\ge cost$ and $K̃ₘ{(f,t^m)}_p\equiv inf\parallel f-g{\parallel }_{L_p\left(S^{d-1}\right)}+t^m\parallel {(-\Delta ̃)}^{m/2}g{\parallel }_{L_p\left(S^{d-1}\right)}:g\in \left({(-\Delta ̃)}^{m/2}\right)$ are equivalent for 1 < p < ∞. We note that for even m the relation was recently investigated by the second author. The equivalence yields an extension of the results on sharp Jackson inequalities on the sphere. A new strong converse inequality for $L_p\left(S^{d-1}\right)$ given in this paper plays a significant role in the proof.

Let $G$ be any group containing an infinite elementary amenable subgroup and let $2\&lt;p\&lt;\infty$. We construct an exhaustion of ${\ell }^{p}G$ by closed invariant subspaces which all intersect trivially a fixed non-trivial closed invariant subspace. This is an obstacle to ${\ell }^p$-dimension and gives an answer to a question of Gaboriau.

Let $\mathrm{\Delta }$ be thick affine building of type ${\tilde{G}}_2$ the Laplace operators of $\mathrm{\Delta }$; associated with a pair $(y_1,y_2)$; is the Poisson transform of a suitable finitely additive measure on the maximal boundary $\mathrm{\Omega }$ of $\mathrm{\Delta }$; by using only the combinatorial structure of $\mathrm{\Delta }$.

Recently it was proved for 1 < p < ∞ that ${\omega }^m{(f,t)}_p$, a modulus of smoothness on the unit sphere, and $K̃ₘ{(f,t^m)}_p$, a K-functional involving the Laplace-Beltrami operator, are equivalent. It will be shown that the range 1 < p < ∞ is optimal; that is, the equivalence ${\omega }^m{(f,t)}_p\approx K̃ₘ{(f,t^r)}_p$ does not hold either for p = ∞ or for p = 1.

The properties of shift invariant operators $Q_h$ are proved: It is shown that Q has polynomial order r iff r is the rate of convergence of $Q_h$. A weak saturation theorem is given. If f is replaced by $Q_{f}h$ in the weak saturation formula the asymptotics of the expression is calculated. Moreover, bootstrap approximation is introduced.

We compute the Hilbert series of the complex Grassmannian using invariant theoretic methods. This is made possible by showing that the denominator of the $q$-Hilbert series is a Vandermonde-like determinant. We show that the $h$-polynomial of the Grassmannian coincides with the $k$-Narayana polynomial. A simplified formula for the $h$-polynomial of Schubert varieties is given. Finally, we use a generalized hypergeometric Euler transform to find simplified formulae for the $k$-Narayana numbers,...

We give new characterizations of the analytic Besov spaces $B_p$ on the unit ball $𝔹$ of ${ℂ}^n$ in terms of oscillations and integral means over some Euclidian balls contained in $𝔹$.

The vertex algebra ${𝒲}_{1+\infty ,c}$ with central charge $c$ may be defined as a module over the universal central extension of the Lie algebra of differential operators on the circle. For an integer $n\ge 1$, it was conjectured in the physics literature that ${𝒲}_{1+\infty ,-n}$ should have a minimal strong generating set consisting of $n^2+2n$ elements. Using a free field realization of ${𝒲}_{1+\infty ,-n}$ due to Kac–Radul, together with a deformed version of Weyl’s first and second fundamental theorems of invariant theory for the standard representation...

Let $L\left(H\right)$ denote the algebra of operators on a complex infinite dimensional Hilbert space $H$. For $A,B\in L\left(H\right)$, the generalized derivation ${\delta }_{A,B}$ and the elementary operator ${\Delta }_{A,B}$ are defined by ${\delta }_{A,B}\left(X\right)=AX-XB$ and ${\Delta }_{A,B}\left(X\right)=AXB-X$ for all $X\in L\left(H\right)$. In this paper, we exhibit pairs $(A,B)$ of operators such that the range-kernel orthogonality of ${\delta }_{A,B}$ holds for the usual operator norm. We generalize some recent results. We also establish some theorems on the orthogonality of the range and the kernel of ${\Delta }_{A,B}$ with respect to the wider class of unitarily invariant...

Let X be a Riemann domain over ${ℂ}^k\times {ℂ}^{\ell }$. If X is a domain of holomorphy with respect to a family ℱ ⊂(X), then there exists a pluripolar set $P\subset {ℂ}^k$ such that every slice $X_a$ of X with a∉ P is a region of holomorphy with respect to the family ${f|}_{X_a}:f\in ℱ$.

We prove an interpolatory estimate linking the directional Haar projection $P^{\left(\epsilon \right)}$ to the Riesz transform in the context of Bochner-Lebesgue spaces $L^p(ℝⁿ;X)$, 1 < p < ∞, provided X is a UMD-space. If ${\epsilon }_{i₀}=1$, the result is the inequality $\left|\right|P^{\left(\epsilon \right)}{u\left|\right|}_{L^p(ℝⁿ;X)}{\le C\left|\right|u\left|\right|}_{L^p(ℝⁿ;X)}^{1/}\left|\right|R_{i₀}u{\left|\right|}_{L^p(ℝⁿ;X)}^{1-1/}$, (1) where the constant C depends only on n, p, the UMD-constant of X and the Rademacher type of $L^p(ℝⁿ;X)$. In order to obtain the interpolatory result (1) we analyze stripe operators $S_{\lambda }$, λ ≥ 0, which are used as basic building blocks to dominate the directional Haar projection....

Let $f:{\mathbb{P}}^k\to {\mathbb{P}}^k$ be a dominating rational mapping of first algebraic degree $\lambda \ge 2$. If $S$ is a positive closed current of bidegree $(1,1)$ on ${\mathbb{P}}^k$ with zero Lelong numbers, we show – under a natural dynamical assumption – that the pullbacks ${\lambda }^{-n}{\left(f^n\right)}^{*}S$ converge to the Green current $T_f$. For some families of mappings, we get finer convergence results which allow us to characterize all $f^{*}$-invariant currents.

A compact set $K\subset {ℂ}^N$ satisfies Łojasiewicz-Siciak condition if it is polynomially convex and there exist constants B,β > 0 such that $V_K\left(z\right)\ge B{\left(dist(z,K)\right)}^{\beta }$ if dist(z,K) ≤ 1. (LS) Here $V_K$ denotes the pluricomplex Green function of the set K. We cite theorems where this condition is necessary in the assumptions and list known facts about sets satisfying inequality (LS).

The Cauchy problem for the system of linear generalized ordinary differential equations in the J. Kurzweil sense $\mathrm{d}x\left(t\right)=\mathrm{d}{A}_0\left(t\right)·x\left(t\right)+\mathrm{d}{f}_0\left(t\right)$, $x\left(t_0\right)=c_0$ $(t\in I)$ with a unique solution $x_0$ is considered. Necessary and sufficient conditions are obtained for a sequence of the Cauchy problems $\mathrm{d}x\left(t\right)=\mathrm{d}{A}_k\left(t\right)·x\left(t\right)+\mathrm{d}{f}_k\left(t\right)$, $x\left(t_k\right)=c_k$ $(k=1,2,\cdots )$ to have a unique solution $x_k$ for any sufficiently large $k$ such that $x_k\left(t\right)\to x_0\left(t\right)$ uniformly on $I$. Presented results are analogous to the sufficient conditions due to Z. Opial for linear ordinary differential systems....

We extend a result of the second author [27, Theorem 1.1] to dimensions $d\ge 3$ which relates the size of $L^p$-norms of eigenfunctions for $2<p<2(d+1)/d-1$ to the amount of $L^2$-mass in shrinking tubes about unit-length geodesics. The proof uses bilinear oscillatory integral estimates of Lee [22] and a variable coefficient variant of an "$ϵ$ removal lemma" of Tao and Vargas [35]. We also use Hörmander’s [20] $L^2$ oscillatory integral theorem and the Cartan–Hadamard theorem to show that, under the assumption of nonpositive...

The harmonic Cesàro operator is defined for a function f in $L^p\left(ℝ\right)$ for some 1 ≤ p < ∞ by setting $\left(f\right)\left(x\right):={\int }_x^{\infty }(f\left(u\right)/u)du$ for x > 0 and $\left(f\right)\left(x\right):=-{\int }_{-\infty }^x(f\left(u\right)/u)du$ for x < 0; the harmonic Copson operator ℂ* is defined for a function f in $L{¹}_{loc}\left(ℝ\right)$ by setting $*\left(f\right)\left(x\right):=(1/x){\int }^{x₀}f\left(u\right)du$ for x ≠ 0. The notation indicates that ℂ and ℂ* are adjoint operators in a certain sense. We present rigorous proofs of the following two commuting relations: (i) If $f\in L^p\left(ℝ\right)$ for some 1 ≤ p ≤ 2, then ${\left(\left(f\right)\right)}^{\wedge }\left(t\right)=*\left(f̂\right)\left(t\right)$ a.e., where f̂ denotes the Fourier transform of f. (ii) If $f\in L^p\left(ℝ\right)$ for some 1 < p ≤ 2, then...