Generalised Gagliardo–Nirenberg Inequalities Using Weak Lebesgue Spaces and BMO

Using elementary arguments based on the Fourier transform we prove that for ${1 \leq q < p < \infty}$ and ${s \geq 0}$ with s > n(1/2 ? 1/p), if ${f \in L^{q,\infty} (\mathbb{R}^n) \cap \dot{H}^s (\mathbb{R}^n)}$ , then ${f \in L^p(\mathbb{R}^n)}$ and there exists a constant c _p,q,s such that $$\| f \|_{L^{p}} \leq c_{p,q,s} \| f \|^\theta _{L^{q,\infty}} \| f \|^{1-\theta}_{\dot{H}^s},$$ where 1/p = θ/q + (1?θ)(1/2?s/n). In particular, in ${\mathbb{R}^2}$ we obtain the generalised Ladyzhenskaya inequality ${\| f \| _{L^4} \leq c \| f \|^{1/2}_{L^{2,\infty}} \| f \|^{1/2}_{\dot{H}^1}}$ .We also show that for s = n/2 and q > 1 the norm in ${\| f \|_{\dot{H}^{n/2}}}$ can be replaced by the norm in BMO. As well as giving relatively simple proofs of these inequalities, this paper provides a brief primer of some basic concepts in harmonic analysis, including weak spaces, the Fourier transform, the Lebesgue Differentiation Theorem, and Calderon–Zygmund decompositions.     

Pointwise convergence in Pringsheim’s sense of the summability of Fourier transforms on Wiener amalgam spaces

New multi-dimensional Wiener amalgam spaces \(W_c(L_p,\ell _\infty )(\mathbb{R }^d)\) are introduced by taking the usual one-dimensional spaces coordinatewise in each dimension. The strong Hardy-Littlewood maximal function is investigated on these spaces. The pointwise convergence in Pringsheim’s sense of the \(\theta \) -summability of multi-dimensional Fourier transforms is studied. It is proved that if the Fourier transform of \(\theta \) is in a suitable Herz space, then the \(\theta \) -means \(\sigma _T^\theta f\) converge to \(f\) a.e. for all \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) . Note that \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset W_c(L_r,\ell _\infty )(\mathbb{R }^d) \supset L_r(\mathbb{R }^d)\) and \(W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d) \supset L_1(\log L)^{d-1}(\mathbb{R }^d)\) , where \(1 . Moreover, \(\sigma _T^\theta f(x)\) converges to \(f(x)\) at each Lebesgue point of \(f\in W_c(L_1(\log L)^{d-1},\ell _\infty )(\mathbb{R }^d)\) .     

Lower and upper bounds of Dirichlet eigenvalues for totally characteristic degenerate elliptic operators

Let λkbe the k-th Dirichlet eigenvalue of totally characteristic degenerate elliptic operator-ΔB defined on a stretched cone B0 ■ [0,1) × X with boundary on {x1 = 0}. More precisely,ΔB=(x1αx1)2+ α2x2+ + α2xnis also called the cone Laplacian. In this paper,by using Mellin-Fourier transform,we prove thatλk Cnk2 n for any k 1,where Cn=(nn+2)(2π)2(|B0|Bn)-2n,which gives the lower bounds of the Dirchlet eigenvalues of-ΔB. On the other hand,by using the Rayleigh-Ritz inequality,we deduce the upper bounds ofλk,i.e.,λk+1 1 +4n k2/nλ1. Combining the lower and upper bounds of λk,we can easily obtain the lower bound for the first Dirichlet eigenvalue λ1 Cn(1 +4n)-12n2.     

A sharp equivalence between H ∞ functional calculus and square function estimates

Let (T _t ) _{t?≥ 0} be a bounded analytic semigroup on L ^p (Ω), with 1?<?p?<?∞. Let ?A denote its infinitesimal generator. It is known that if A and A ^* both satisfy square function estimates ${\bigl\|\bigl(\int_{0}^{\infty} \vert A^{\frac{1}{2}} T_t(x)\vert^2 {\rm d}t \bigr)^{\frac{1}{2}}\bigr\|_{L^p} \lesssim \|x\|_{L^p}}$ and ${\bigl\|\bigl(\int_{0}^{\infty} \vert A^{*\frac{1}{2}} T_t^*(y) \vert^2 {\rm d}t \bigr)^{\frac{1}{2}}\bigr\|_{L^{p^\prime}} \lesssim \|y\|_{L^{p^\prime}}}$ for ${x\in L^p(\Omega)}$ and ${y\in L^{p^\prime}(\Omega)}$ , then A admits a bounded ${H^{\infty}(\Sigma_\theta)}$ functional calculus for any ${\theta>\frac{\pi}{2}}$ . We show that this actually holds true for some ${\theta<\frac{\pi}{2}}$ .     

Optimal initial value conditions for the existence of strong solutions of the Boussinesq equations

Consider the instationary Boussinesq equations in a smooth bounded domain \(\Omega \subseteq \mathbb {R}^3\) with initial values \(u_0 \in L^2_{\sigma }(\Omega )\) , \( \theta _0 \in L^2(\Omega )\) and gravitational force \(g\) . We call \((u,\theta )\) strong solution if \((u,\theta )\) is a weak solution and additionally Serrin’s condition \(u \in L^s(0,T; L^q(\Omega ))\) holds where \( 1 satisfy \(\frac{2}{s} + \frac{3}{q} =1\) . In this paper we show that \(\int _0^{\infty } \Vert e^{-tA} u_0 \Vert _q^s \, dt < \infty \) is necessary and sufficient for the existence of such a strong solution \((u,\theta )\) in a sufficiently small interval \([0,T[\, , 0 < T\le \infty \) . Furthermore we show that strong solutions are uniquely determined and that they are smooth if the data are smooth. The crucial point is the fact that we have required no additional integrability condition for \(\theta \) in the definition of a strong solution \((u,\theta )\) .     

The error term in the Sato–Tate conjecture

Let \({f(z) = \sum_{n=1}^\infty a(n)e^{2\pi i nz} \in S_k^{\mathrm{new}}(\Gamma_0(N))}\) be a newform of even weight \({k \geq 2}\) that does not have complex multiplication. Then \({a(n) \in \mathbb{R}}\) for all n; so for any prime p, there exists \({\theta_p \in [0, \pi]}\) such that \({a(p) = 2p^{(k-1)/2} {\rm cos} (\theta_p)}\) . Let \({\pi(x) = \#\{p \leq x\}}\) . For a given subinterval \({[\alpha, \beta]\subset[0, \pi]}\) , the now-proven Sato–Tate conjecture tells us that as \({x \to \infty}\) , $$ \#\{p \leq x: \theta_p \in I\} \sim \mu_{ST} ([\alpha, \beta])\pi(x),\quad \mu_{ST} ([\alpha, \beta]) = \int\limits_{\alpha}^\beta \frac{2}{\pi}{\rm sin}^2(\theta) d\theta. $$ Let \({\epsilon > 0}\) . Assuming that the symmetric power L-functions of f are automorphic, we prove that as \({x \to \infty}\) , $$ \#\{p \leq x: \theta_p \in I\} = \mu_{ST} ([\alpha, \beta])\pi(x) + O\left(\frac{x}{(\log x)^{9/8-\epsilon}} \right), $$ where the implied constant is effectively computable and depends only on k,N, and \({\epsilon}\) .     

Estimates of three classical summations on the spaces F_p~(α,q)(R~n)(0 < p ≤ 1)

We obtain the boundedness on ˙Fα,qp(Rn) for the Poisson summation and Gauss summation. Their maximal operators are proved to be bounded from˙Fα,qp(Rn) to L∞(Rn).For the maximal operator of the Bochner-Riesz summation, we prove that it is bounded from˙Fα,qp(Rn) to Lpnn-pα,∞(Rn).     

Sur un problème de capitulation du corps ℚ\sqrt {p_1 p_2 } , i dont le 2-groupe de classes est élémentaire

Let p ₁ ≡ p ₂ ≡ 1 (mod 8) be primes such that \(\left( {\tfrac{{p_1 }} {{p_2 }}} \right) = - 1\) and \(\left( {\tfrac{2} {{a + b}}} \right) = - 1\) , where p ₁ p ₂ = a ²+b ². Let \(i = \sqrt { - 1} \) , d = p ₁ p ₂, \(\Bbbk = \mathbb{Q}(\sqrt {d,} i),\Bbbk _2^{(1)} \) be the Hilbert 2-class field and \(\Bbbk ^{(*)} = \mathbb{Q}(\sqrt {p_1 } ,\sqrt {p_2 } ,i)\) be the genus field of \(\Bbbk \) . The 2-part \(C_{\Bbbk ,2} \) of the class group of \(\Bbbk \) is of type (2, 2, 2), so \(\Bbbk _2^{(1)} \) contains seven unramified quadratic extensions \(\mathbb{K}_j /\Bbbk \) and seven unramified biquadratic extensions \(\mathbb{L}_j /\Bbbk \) . Our goal is to determine the fourteen extensions, the group \(C_{\Bbbk ,2} \) and to study the capitulation problem of the 2-classes of \(\Bbbk \) .     

Principal Eigenvalue of p-Laplacian Operator in Exterior Domain

We consider an eigenvalue problem of the form $$\left.\begin{array}{cl}-\Delta_{p} u = \lambda\, K(x)|u|^{p-2}u \quad \mbox{in}\quad \Omega^e\\ u(x) =0 \quad \mbox{for}\quad \partial \Omega\\ u(x) \to 0 \quad \mbox{as}\quad |x| \to \infty,\end{array} \right \}$$ where \({\Omega \subset \mathrm{I\!R\!}^N}\) is a simply connected bounded domain, containing the origin, with C ² boundary \({\partial \Omega}\) and \({\Omega^e:=\mathrm{I\!R\!^N} \setminus \overline{\Omega}}\) is the exterior domain, \({1 < p < N, \Delta_{p}u:={\rm div}(|\nabla u|^{p-2} \nabla u)}\) is the p-Laplacian operator and \({K \in L^{\infty}(\Omega^e) \cap L^{N/p}(\Omega^e)}\) is a positive function. Existence and properties of principal eigenvalue λ ₁ and its corresponding eigenfunction are established which are generally known in bounded domain or in \({\mathrm{I\!R\!}^N}\) . We also establish the decay rate of positive eigenfunction as \({|x| \to \infty}\) as well as near ?Ω.     

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.     

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.     

Quenched to annealed transition in the parabolic Anderson problem

We study limit behavior for sums of the form $\frac{1}{|\Lambda_{L|}}\sum_{x\in \Lambda_{L}}u(t,x),$ where the field $\Lambda_L=\left\{x\in {\bf{Z^d}}:|x|\le L\right\}$ is composed of solutions of the parabolic Anderson equation $$u(t,x) = 1 + \kappa \mathop{\int}_{0}^{t} \Delta u(s,x){\rm d}s + \mathop{\int}_{0}^{t}u(s,x)\partial B_{x}(s). $$ The index set is a box in Z ^d , namely $\Lambda_{L} = \left\{x\in {\bf Z}^{\bf d} : |x| \leq L\right\}$ and L = L(t) is a nondecreasing function $L : [0,\infty)\rightarrow {\bf R}^{+}. $ We identify two critical parameters $\eta(1) < \eta(2)$ such that for $\gamma > \eta(1)$ and L(t) = e^{γ t} , the sums $\frac{1}{|\Lambda_L|}\sum_{x\in \Lambda_L}u(t,x)$ satisfy a law of large numbers, or put another way, they exhibit annealed behavior. For $\gamma > \eta(2)$ and L(t) = e^{γ t} , one has $\sum_{x\in \Lambda_L}u(t,x)$ when properly normalized and centered satisfies a central limit theorem. For subexponential scales, that is when $\lim_{t \rightarrow \infty} \frac{1}{t}\ln L(t) = 0,$ quenched asymptotics occur. That means $\lim_{t\rightarrow \infty}\frac{1}{t}\ln\left (\frac{1}{|\Lambda_L|}\sum_{x\in \Lambda_L}u(t,x)\right) = \gamma(\kappa),$ where $\gamma(\kappa)$ is the almost sure Lyapunov exponent, i.e. $\lim_{t\rightarrow \infty}\frac{1}{t}\ln u(t,x)= \gamma(\kappa).$ We also examine the behavior of $\frac{1}{|\Lambda_L|}\sum_{x\in \Lambda_L}u(t,x)$ for L = e ^{γ t} with γ in the transition range $(0,\eta(1))$      

Uniqueness properties of degenerate elliptic operators

Let ?? be an open subset of R ^d and ${ K=-\sum^d_{i,j=1}\partial_i\,c_{ij}\,\partial_j+\sum^d_{i=1}c_i\partial_i+c_0}$ a second-order partial differential operator with real-valued coefficients ${c_{ij}=c_{ji}\in W^{1,\infty}_{\rm loc}(\Omega),c_i,c_0\in L_{\infty,{\rm loc}}(\Omega)}$ satisfying the strict ellipticity condition ${C=(c_{ij}) >0 }$ . Further let ${H=-\sum^d_{i,j=1} \partial_i\,c_{ij}\,\partial_j}$ denote the principal part of K. Assuming an accretivity condition ${C\geq \kappa (c\otimes c^{\,T})}$ with ${\kappa >0 }$ , an invariance condition ${(1\!\!1_\Omega, K\varphi)=0}$ and a growth condition which allows ${\|C(x)\|\sim |x|^2\log |x|}$ as |x| ?? ?? we prove that K is L ₁-unique if and only if H is L ₁-unique or Markov unique.     

Boundedness of Generalized Riesz Transforms on Orlicz–Hardy Spaces Associated to Operators

Let ${\Phi}$ be a continuous, strictly increasing and concave function on (0, ∞) of critical lower type index ${p_\Phi^- \in(0,\,1]}$ . Let L be an injective operator of type ω having a bounded H _∞ functional calculus and satisfying the k-Davies–Gaffney estimates with ${k \in {\mathbb Z}_+}$ . In this paper, the authors first introduce an Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ in terms of the non-tangential L-adapted square function and then establish its molecular characterization. As applications, the authors prove that the generalized Riesz transform ${D_{\gamma}L^{-\delta/(2k)}}$ is bounded from the Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz space ${L^{\widetilde{\Phi}}(\mathbb{R}^n)}$ when ${p_\Phi^- \in (0, \frac{n}{n+ \delta - \gamma}]}$ , ${0 < \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz–Hardy space ${H^{\widetilde \Phi}(\mathbb{R}^n)}$ when ${p_\Phi^-\in (\frac{n}{n + \delta+ \lfloor \gamma \rfloor- \gamma},\,\frac{n}{n+ \delta- \gamma}]}$ , ${1\le \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the weak Orlicz–Hardy space ${WH^\Phi(\mathbb{R}^n)}$ when ${\gamma = \delta}$ and ${p_\Phi=n/(n + \lfloor \gamma \rfloor)}$ or ${p_\Phi^-=n/(n + \lfloor \gamma \rfloor)}$ with ${p_\Phi^-}$ attainable, where ${\widetilde{\Phi}}$ is an Orlicz function whose inverse function ${\widetilde{\Phi}^{-1}}$ is defined by ${\widetilde{\Phi}^{-1}(t):=\Phi^{-1}(t)t^{\frac{1}{n}(\gamma- \delta)}}$ for all ${t \in (0,\,\infty)}$ , ${p_\Phi}$ denotes the strictly critical lower type index of ${\Phi}$ , ${\lfloor \gamma \rfloor}$ the maximal integer not more than ${\gamma}$ and ${(p_-(L),\,p_+(L))}$ the range of exponents ${p \in[1,\, \infty]}$ for which the semigroup ${\{e^{-tL}\}_{t >0 }}$ is bounded on ${L^p(\mathbb{R}^n)}$ .     

One-radius results for supermedian functions on {\mathbb R^d} , d ≤ 2

A classical result states that every lower bounded superharmonic function on ${\mathbb{R}^{2}}$ is constant. In this paper the following (stronger) one-circle version is proven. If ${f : \mathbb{R}^{2} \to (-\infty,\infty]}$ is lower semicontinuous, lim inf_|x|→∞ f (x)/ ln |x| ≥ 0, and, for every ${x \in \mathbb{R}^{2}}$ , ${1/(2\pi) \int_0^{2\pi} f(x + r(x)e^{it}) \, dt \le f(x)}$ , where ${r : \mathbb{R}^{2} \to (0,\infty)}$ is continuous, ${{\rm sup}_{x \in \mathbb{R}^{2}} (r(x) - |x|) < \infty},$ , and ${{\rm inf}_{x \in \mathbb{R}^{2}} (r(x)-|x|)=-\infty}$ , then f is constant. Moreover, it is shown that, assuming r ≤ c| · | + M on ${\mathbb{R}^d}$ , d ≤ 2, and taking averages on ${\{y \in \mathbb{R}^{d} : |y-x| \le r(x)\}}$ , such a result of Liouville type holds for supermedian functions if and only if c ≤ c ₀, where c ₀ = 1, if d = 2, whereas 2.50 < c ₀ < 2.51, if d = 1.     

On the stationary Navier–Stokes flows around a rotating body

Consider the stationary motion of an incompressible Navier–Stokes fluid around a rotating body $ \mathcal{K} = \mathbb{R}^3 \, \backslash \, {\Omega}$ which is also moving in the direction of the axis of rotation. We assume that the translational and angular velocities U, ω are constant and the external force is given by f = div F. Then the motion is described by a variant of the stationary Navier–Stokes equations on the exterior domain Ω for the unknown velocity u and pressure p, with U, ω, F being the data. We first prove the existence of at least one solution (u, p) satisfying ${\nabla u, p \in L_{3/2, \infty} (\Omega)}$ and ${u \in L_3, \infty (\Omega)}$ under the smallness condition on ${|U| + |\omega| + ||F||_{L_{3/2, \infty} (\Omega)}}$ . Then the uniqueness is shown for solutions (u, p) satisfying ${\nabla u, p \in L_{3/2, \infty} (\Omega) \cap L_{q, r} (\Omega)}$ and ${u \in L_{3, \infty} (\Omega) \cap L_{q*, r} (\Omega)}$ provided that 3/2 <? q <? 3 and ${{F \in L_{3/2, \infty} (\Omega) \cap L_{q, r} (\Omega)}}$ . Here L _q,r (Ω) denotes the well-known Lorentz space and q* =? 3q /(3 ? q) is the Sobolev exponent to q.     

A Tauberian theorem for ℓ-adic sheaves on \mathbb{A} 1

Let K ∈ L ¹(?) and let f ∈ L ^∞(?) be two functions on ?. The convolution $$ \left( {K*F} \right)\left( x \right) = \int_\mathbb{R} {K\left( {x - y} \right)f\left( y \right)dy} $$ can be considered as an average of f with weight defined by K. Wiener’s Tauberian theorem says that under suitable conditions, if $$ \mathop {\lim }\limits_{x \to \infty } \left( {K*F} \right)\left( x \right) = \mathop {\lim }\limits_{x \to \infty } \int_\mathbb{R} {\left( {K*A} \right)\left( x \right)} $$ for some constant A, then $$ \mathop {\lim }\limits_{x \to \infty } f\left( x \right) = A $$ We prove the following ?-adic analogue of this theorem: Suppose K, F, G are perverse ?-adic sheaves on the affine line $ \mathbb{A} $ over an algebraically closed field of characteristic p (p ≠ ?). Under suitable conditions, if $ \left( {K*F} \right)|_{\eta _\infty } \cong \left( {K*G} \right)|_{\eta _\infty } $ , then $ F|_{\eta _\infty } \cong G|_{\eta _\infty } $ , where η _∞ is the spectrum of the local field of $ \mathbb{A} $ at ∞.     

On the dependency for asymptotically independent estimates

Suppose ${\widehat{\theta}_1}$ and ${\widehat{\theta}_2}$ are asymptotically independent non-lattice with a joint second order Edgeworth expansion in n ^?1/2. Then the ?? dependency coefficient is $$\alpha \left(\widehat{\theta}_1, \widehat{\theta}_2 \right) = n^{-1/2} C + O \left(n^{-1} \right),$$ where ${C = (4 \pi)^{-1}\exp (-1/2) (\tau^2_1 + \tau^2_2) ^{1/2}}$ for ${\tau_1, \tau_2}$ their joint skewness coefficients.     

Embeddings of Müntz Spaces: Composition Operators

Given a strictly increasing sequence ${\Lambda = (\lambda_n)}$ of nonnegative real numbers, with ${\sum_{n=1}^\infty \frac{1}{\lambda_n}<\infty}$ , the Müntz spaces ${M_\Lambda^p}$ are defined as the closure in L ^p ([0, 1]) of the monomials ${x^{\lambda_n}}$ . We discuss how properties of the embedding ${M_\Lambda^2\subset L^2(\mu)}$ , where?μ is a finite positive Borel measure on the interval [0, 1], have immediate consequences for composition operators on ${M^2_\Lambda}$ . We give criteria for composition operators to be bounded, compact, or to belong to the Schatten–von Neumann ideals.     

Strong convergence of a proximal point algorithm with bounded error sequence

Given any maximal monotone operator ${A: D(A)\subset H \rightarrow 2^H}$ in a real Hilbert space H with ${A^{-1}(0) \ne \emptyset}$ , it is shown that the sequence of proximal iterates ${x_{n+1}=(I+\gamma_n A)^{-1}(\lambda_n u+(1-\lambda_n)(x_n+e_n))}$ converges strongly to the metric projection of u on A ^?1(0) for (e _n ) bounded, ${\lambda_n \in (0,1)}$ with ${\lambda_n \to 1}$ and γ _n  > 0 with ${\gamma_n \to\infty}$ as ${n \to \infty}$ . In comparison with our previous paper (Boikanyo and Moro?anu in Optim Lett 4(4):635–641, 2010), where the error sequence was supposed to converge to zero, here we consider the classical condition that errors be bounded. In the case when A is the subdifferential of a proper convex lower semicontinuous function ${\varphi :H \to (-\infty,+ \infty]}$ , the algorithm can be used to approximate the minimizer of φ which is nearest to u.