Maximal, potential and singular operators in vanishing generalized Morrey spaces

We introduce vanishing generalized Morrey spaces ${V\mathcal{L}^{p,\varphi}_\Pi (\Omega), \Omega \subseteq \mathbb{R}^n}$ with a general function ${\varphi(x, r)}$ defining the Morrey-type norm. Here ${\Pi \subseteq \Omega}$ is an arbitrary subset in Ω including the extremal cases ${\Pi = \{x_0\}, x_0 \in \Omega}$ and Π = Ω, which allows to unify vanishing local and global Morrey spaces. In the spaces ${V\mathcal{L}^{p,\varphi}_\Pi (\mathbb{R}^n)}$ we prove the boundedness of a class of sublinear singular operators, which includes Hardy-Littlewood maximal operator and Calderon-Zygmund singular operators with standard kernel. We also prove a Sobolev-Spanne type ${V\mathcal{L}^{p,\varphi}_\Pi (\mathbb{R}^n) \rightarrow V\mathcal{L}^{q,\varphi^\frac{q}{p}}_\Pi (\mathbb{R}^n)}$ -theorem for the potential operator I ^α . The conditions for the boundedness are given in terms of Zygmund-type integral inequalities on ${\varphi(x, r)}$ . No monotonicity type condition is imposed on ${\varphi(x, r)}$ . In case ${\varphi}$ has quasi- monotone properties, as a consequence of the main results, the conditions of the boundedness are also given in terms of the Matuszeska-Orlicz indices of the function ${\varphi}$ . The proofs are based on pointwise estimates of the modulars defining the vanishing spaces     

Generalized Lax-Milgram theorem in Banach spaces and its application to the elliptic system of boundary value problems

We generalize the well-known Lax-Milgram theorem on the Hilbert space to that on the Banach space. Suppose that ${a(\cdot, \cdot)}$ is a continuous bilinear form on the product ${X\times Y}$ of Banach spaces X and Y, where Y is reflexive. If null spaces N _X and N _Y associated with ${a(\cdot, \cdot)}$ have complements in X and in Y, respectively, and if ${a(\cdot, \cdot)}$ satisfies certain variational inequalities both in X and in Y, then for every ${F \in N_Y^{\perp}}$ , i.e., ${F \in Y^{\ast}}$ with ${F(\phi) = 0}$ for all ${\phi \in N_Y}$ , there exists at least one ${u \in X}$ such that ${a(u, \varphi) = F(\varphi)}$ holds for all ${\varphi \in Y}$ with ${\|u\|_X \le C\|F\|_{Y^{\ast}}}$ . We apply our result to several existence theorems of L ^r -solutions to the elliptic system of boundary value problems appearing in the fluid mechanics.     

Triplets of Closely Embedded Dirichlet Type Spaces on the Unit Polydisc

We propose a general concept of triplet of Hilbert spaces with closed embeddings, instead of continuous ones, and we show how rather general weighted $L^2$ spaces yield this kind of generalized triplets of Hilbert spaces for which the underlying spaces and operators can be explicitly calculated. Then we show that generalized triplets of Hilbert spaces with closed embeddings can be naturally associated to any pair of Dirichlet type spaces $\mathcal{D }_\alpha (\mathbb{D }^N)$ of holomorphic functions on the unit polydisc $\mathbb{D }^N$ and we explicitly calculate the associated operators in terms of reproducing kernels and radial derivative operators. We also point out a rigging of the Hardy space $H^2(\mathbb{D }^N)$ through a scale of Dirichlet type spaces and Bergman type spaces.     

Erratum to “Variable exponent Herz spaces”, Mediterr. J. Math. DOI: 10.1007/s00009-013-0285-x, 2013

We fill in a gap in the proof of Theorem 5.1 of [1] on the boundedness of sublinear operators of singular type in variable exponent Herz type spaces ${H^{p(\cdot),q(\cdot),\alpha (\cdot)}(\mathbb{R}^n)}$ . When q is constant, the formulation of Theorem 5.1 from [1] remains the same. In the case where q is variable, Theorem 5.1 needs a more precise formulation with respect to some auxiliary parameters of the space (not reflected in the notation ${H^{p(\cdot),q(\cdot),\alpha (\cdot)}(\mathbb{R}^n)}$ of the space).     

Planar Beurling Transform and Bergman Type Spaces

In this paper we describe the actions of the operator $S_\mathbb{D }$ or its adjoint $S_\mathbb{D }^*$ on the poly-Bergman spaces of the unit disk $\mathbb{D }.$ Let $k$ and $j$ be positive integers. We prove that $(S_\mathbb{D })^{j}$ is an isometric isomorphism between the true poly-Bergman subspace $\mathcal{A }_{(k)}^2(\mathbb{D })\ominus N_{(k),j}$ onto the true poly-Bergman space $\mathcal{A }_{(j+k)}^2(\mathbb{D }),$ where the linear space $N_{(k),j}$ have finite dimension $j.$ The action of $(S_\mathbb{D })^{j-1}$ on the canonical Hilbert base for the Bergman subspace $\mathcal{A }^2(\mathbb{D })\ominus \mathcal{P }_{j-1},$ gives a Hilbert base $\{ \phi _{ j , k } \}_{ k }$ for $\mathcal{A }_{(j)}^2(\mathbb{D }).$ It is shown that $\{ \phi _{ j , k } \}_{ j, k }$ is a Hilbert base for $L^2(\mathbb{D },d A)$ such that whenever $j$ and $k$ remain constant we obtain a Hilbert base for the true poly-Bergman space $\mathcal{A }_{(j)}^2(\mathbb{D })$ and $\mathcal{A }_{(-k)}^2(\mathbb{D }),$ respectively. The functions $\phi _{ j , k }$ are polynomials in $z$ and $\overline{z}$ and are explicitly given in terms of the $(2,1)$ -hypergeometric polynomials. We prove explicit representations for the true poly-Bergman kernels and the Koshelev representation for the poly-Bergman kernels of $\mathbb{D }.$ The action of $S_\Pi $ on the true poly-Bergman spaces of the upper half-plane $\Pi $ allows one to introduce Hilbert bases for the true poly-Bergman spaces, and to give explicit representations of the true poly-Bergman and poly-Bergman kernels.     

Boundedness and Compactness of Pseudodifferential Operators with Non-Regular Symbols on Weighted Lebesgue Spaces

Applying the boundedness on weighted Lebesgue spaces of the maximal singular integral operator S _* related to the Carleson?CHunt theorem on almost everywhere convergence, we study the boundedness and compactness of pseudodifferential operators a(x, D) with non-regular symbols in ${L^\infty(\mathbb{R}, V(\mathbb{R})), PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ and ${\Lambda_\gamma(\mathbb{R}, V_d(\mathbb{R}))}$ on the weighted Lebesgue spaces ${L^p(\mathbb{R},w)}$ , with 1?< p <? ?? and ${w\in A_p(\mathbb{R})}$ . The Banach algebras ${L^\infty(\mathbb{R}, V(\mathbb{R}))}$ and ${PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ consist, respectively, of all bounded measurable or piecewise continuous ${V(\mathbb{R})}$ -valued functions on ${\mathbb{R}}$ where ${V(\mathbb{R})}$ is the Banach algebra of all functions on ${\mathbb{R}}$ of bounded total variation, and the Banach algebra ${\Lambda_\gamma(\mathbb{R}, V_d(\mathbb{R}))}$ consists of all Lipschitz ${V_d(\mathbb{R})}$ -valued functions of exponent ${\gamma \in (0,1]}$ on ${\mathbb{R}}$ where ${V_d(\mathbb{R})}$ is the Banach algebra of all functions on ${\mathbb{R}}$ of bounded variation on dyadic shells. Finally, for the Banach algebra ${\mathfrak{A}_{p,w}}$ generated by all pseudodifferential operators a(x, D) with symbols ${a(x, \lambda) \in PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ on the space ${L^p(\mathbb{R}, w)}$ , we construct a non-commutative Fredholm symbol calculus and give a Fredholm criterion for the operators ${A \in \mathfrak{A}_{p,w}}$ .     

The Essential Norm of Operators on {A^p_\alpha(\mathbb{B}_n)}

In this paper we characterize the compact operators on the weighted Bergman spaces ${A^p_\alpha(\mathbb{B}_n)}$ when 1 < p < ∞ and α > ?1. The main result shows that an operator on ${A^p_\alpha(\mathbb{B}_n)}$ is compact if and only if it belongs to the Toeplitz algebra and its Berezin transform vanishes on the boundary of the ball.     

Duality of weighted anisotropic Besov and Triebel–Lizorkin spaces

Let A be an expansive dilation on ${{\mathbb R}^n}$ and w a Muckenhoupt ${\mathcal A_\infty(A)}$ weight. In this paper, for all parameters ${\alpha\in{\mathbb R} }$ and ${p,q\in(0,\infty)}$ , the authors identify the dual spaces of weighted anisotropic Besov spaces ${\dot B^\alpha_{p,q}(A;w)}$ and Triebel?CLizorkin spaces ${\dot F^\alpha_{p,q}(A;w)}$ with some new weighted Besov-type and Triebel?CLizorkin-type spaces. The corresponding results on anisotropic Besov spaces ${\dot B^\alpha_{p,q}(A; \mu)}$ and Triebel?CLizorkin spaces ${\dot F^\alpha_{p,q}(A; \mu)}$ associated with ${\rho_A}$ -doubling measure??? are also established. All results are new even for the classical weighted Besov and Triebel?CLizorkin spaces in the isotropic setting. In particular, the authors also obtain the ${\varphi}$ -transform characterization of the dual spaces of the classical weighted Hardy spaces on ${{\mathbb R}^n}$ .     

True Poly-Bergman and Poly-Bergman Kernels for the Complement of a Closed Disk

Let $k$ and $j$ be positive integers. We prove that the action of the two-dimensional singular integral operators $(S_\Omega )^{j-1}$ and $(S_\Omega ^*)^{j-1}$ on a Hilbert base for the Bergman space $\mathcal{A }^2(\Omega )$ and anti-Bergman space $\mathcal{A }^2_{-1}(\Omega ),$ respectively, gives Hilbert bases $\{ \psi _{\pm j , k } \}_{ k }$ for the true poly-Bergman spaces $\mathcal{A }_{(\pm j)}^2(\Omega ),$ where $S_\Omega $ denotes the compression of the Beurling transform to the Lebesgue space $L^2(\Omega , dA).$ The functions $\psi _{\pm j,k}$ will be explicitly represented in terms of the $(2,1)$ -hypergeometric polynomials as well as by formulas of Rodrigues type. We prove explicit representations for the true poly-Bergman kernels and more transparent representations for the poly-Bergman kernels of $\Omega $ . We establish Rodrigues type formulas for the poly-Bergman kernels of $\mathbb{D }$ .     

Averaged Pointwise Bounds for Deformations of Schrödinger Eigenfunctions

Let (M,g) be an n-dimensional, compact Riemannian manifold and ${P_0(\hbar) = -\hbar{^2} \Delta_g + V(x)}$ be a semiclassical Schrödinger operator with ${\hbar \in (0,\hbar_0]}$ . Let ${E(\hbar) \in [E-o(1),E+o(1)]}$ and ${(\phi_{\hbar})_{\hbar \in (0,\hbar_0]}}$ be a family of L ²-normalized eigenfunctions of ${P_0(\hbar)}$ with ${P_0(\hbar) \phi_{\hbar} = E(\hbar) \phi_{\hbar}}$ . We consider magnetic deformations of ${P_0(\hbar)}$ of the form ${P_u(\hbar) = - \Delta_{\omega_u}(\hbar) + V(x)}$ , where ${\Delta_{\omega_u}(\hbar) = (\hbar d + i \omega_u(x))^*({\hbar}d + i \omega_u(x))}$ . Here, u is a k-dimensional parameter running over ${B^k(\epsilon)}$ (the ball of radius ${\epsilon}$ ), and the family of the magnetic potentials ${(w_u)_{u\in B^k(\epsilon)}}$ satisfies the admissibility condition given in Definition 1.1. This condition implies that k ≥ n and is generic under this assumption. Consider the corresponding family of deformations of ${(\phi_{\hbar})_{\hbar \in (0, \hbar_0]}}$ , given by ${(\phi^u_{\hbar})_{\hbar \in(0, \hbar_0]}}$ , where $$\phi_{\hbar}^{(u)}:= {\rm e}^{-it_0 P_u(\hbar)/\hbar}\phi_{\hbar}$$ for ${|t_0|\in (0,\epsilon)}$ ; the latter functions are themselves eigenfunctions of the ${\hbar}$ -elliptic operators ${Q_u(\hbar): ={\rm e}^{-it_0P_u(\hbar)/\hbar} P_0(\hbar) {\rm e}^{it_0 P_u(\hbar)/\hbar}}$ with eigenvalue ${E(\hbar)}$ and ${Q_0(\hbar) = P_{0}(\hbar)}$ . Our main result, Theorem1.2, states that for ${\epsilon >0 }$ small, there are constants ${C_j=C_j(M,V,\omega,\epsilon) > 0}$ with j = 1,2 such that $$C_{1}\leq \int\limits_{\mathcal{B}^k(\epsilon)} |\phi_{\hbar}^{(u)}(x)|^2 \, {\rm d}u \leq C_{2}$$ , uniformly for ${x \in M}$ and ${\hbar \in (0,h_0]}$ . We also give an application to eigenfunction restriction bounds in Theorem 1.3.     

On The Structure of A Commutative Banach Algebra Generated By Toeplitz Operators With Quasi-Radial Quasi-Homogeneous Symbols

Let ${\mathcal{A}_{\lambda}^2(\mathbb{B}^n)}$ denote the standard weighted Bergman space over the unit ball ${\mathbb{B}^n}$ in ${\mathbb{C}^n}$ . New classes of commutative Banach algebras ${\mathcal{T}(\lambda)}$ which are generated by Toeplitz operators on ${\mathcal{A}_{\lambda}^2(\mathbb{B}^n)}$ have been recently discovered in Vasilevski (Integr Equ Oper Theory 66(1):141?C152, 2010). These algebras are induced by the action of the quasi-elliptic group of biholomorphisms of ${\mathbb{B}^n}$ . In the present paper we analyze in detail the internal structure of such an algebra in the lowest dimensional case n?=?2. We explicitly describe the maximal ideal space and the Gelfand map of ${\mathcal{T}(\lambda)}$ . Since ${\mathcal{T}(\lambda)}$ is not invariant under the *-operation of ${\mathcal{L}(\mathcal{A}_{\lambda}^2(\mathbb{B}^n))}$ its inverse closedness is not obvious and is proved. We remark that the algebra ${\mathcal{T}(\lambda)}$ is not semi-simple and we derive its radical. Several applications of our results are given and, in particular, we conclude that the essential spectrum of elements in ${\mathcal{T}(\lambda)}$ is always connected.     

A Note on Variable Exponent Hörmander Spaces

In this paper we introduce the variable exponent Hörmander spaces and we study some of their properties. In particular, it is shown that ${{(\mathcal{B}_{p_{(\cdot)}}^{c}(\Omega))^{\prime}}}$ is isomorphic to ${{\mathcal{B}^{loc}_{\widetilde{p^\prime(\cdot)}(\Omega)}}}$ (Ω open set in ${{\mathbb{R}^n, p? > 1}}$ and the Hardy–Littlewood maximal operator M is bounded in ${L_p(\cdot))}$ extending a Hörmander’s result to our context. As a consequence, a number of results on sequence space representations of variable exponent Hörmander spaces are given.     

Unitary Equivalence of Proper Extensions of a Symmetric Operator and the Weyl Function

Let A be a densely defined simple symmetric operator in ${\mathfrak{H}}$ , let ${\Pi=\{\mathcal{H},\Gamma_0, \Gamma_1}\}$ be a boundary triplet for A ^* and let M(·) be the corresponding Weyl function. It is known that the Weyl function M(·) determines the boundary triplet Π, in particular, the pair {A, A ₀}, uniquely up to the unitary similarity. Here ${A_0 := A^* \upharpoonright \text{ker}\, \Gamma_0 ( = A^*_0)}$ . At the same time the Weyl function corresponding to a boundary triplet for a dual pair of operators defines it uniquely only up to the weak similarity. We consider a symmetric dual pair {A, A} with symmetric ${A \subset A^*}$ and a special boundary triplet ${\widetilde{\Pi}}$ for{A, A} such that the corresponding Weyl function is ${\widetilde{M}(z) = K^*(B-M(z))^{-1} K}$ , where B is a non-self-adjoint bounded operator in ${\mathcal{H}}$ . We are interested in the problem whether the result on the unitary similarity remains valid for ${\widetilde{M}(\cdot)}$ in place of M(·). We indicate some sufficient conditions in terms of the operators A ₀ and ${A_B= A^* \upharpoonright \text{ker}\, (\Gamma_1-B \Gamma_0)}$ , which guaranty an affirmative answer to this problem. Applying the abstract results to the minimal symmetric 2nth order ordinary differential operator A in ${L^2(\mathbb{R}_+)}$ , we show that ${\widetilde{M}(\cdot)}$ defined in ${\Omega_+ \subset \mathbb{C}_+}$ determines the Dirichlet and Neumann realizations uniquely up to the unitary equivalence. At the same time similar result for realizations of Dirac operator fails. We obtain also some negative abstract results demonstrating that in general the Weyl function ${\widetilde{M}(\cdot)}$ does not determine A _B even up to the similarity.     

Local {W^{2,m(\cdot)}_{loc}}regularity for p(.)-Laplace equations

We study ${W^{2,m(\cdot)}_{loc}}$ regularity for local weak solutions of p(·)-Laplace equations where ${p\in C^1(\Omega) \cap C(\overline{\Omega})}$ and ${\min_{x\in \overline{\Omega}} p(x) > 1}$ .     

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.     

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.     

L^{\infty } estimation of tensor truncations

Tensor truncation techniques are based on singular value decompositions. Therefore, the direct error control is restricted to $\ell ^{2}$ or $L^{2}$ norms. On the other hand, one wants to approximate multivariate (grid) functions in appropriate tensor formats in order to perform cheap pointwise evaluations, which require $\ell ^{\infty }$ or $L^{\infty }$ error estimates. Due to the huge dimensions of the tensor spaces, a direct estimate of $\left\| \cdot \right\| _{\infty }$ by $\left\| \cdot \right\| _{2}$ is hopeless. In the paper we prove that, nevertheless, in cases where the function to be approximated is smooth, reasonable error estimates with respect to $\left\| \cdot \right\| _{\infty }$ can be derived from the Gagliardo–Nirenberg inequality because of the special nature of the singular value decomposition truncation.     

A T(1)-Theorem for non-integral operators

Let $X$ be a space of homogeneous type and let $L$ be a sectorial operator with bounded holomorphic functional calculus on $L^2(X)$ . We assume that the semigroup $\{e^{-tL}\}_{t>0}$ satisfies Davies–Gaffney estimates. Associated with $L$ are certain approximations of the identity. We call an operator $T$ a non-integral operator if compositions involving $T$ and these approximations satisfy certain weighted norm estimates. The Davies–Gaffney and the weighted norm estimates are together a substitute for the usual kernel estimates on $T$ in Calderón–Zygmund theory. In this paper, we show, under the additional assumption that a vertical Littlewood–Paley–Stein square function associated with $L$ is bounded on $L^2(X)$ , that a non-integral operator $T$ is bounded on $L^2(X)$ if and only if $T(1) \in BMO_L(X)$ and $T^{*}(1) \in BMO_{L^{*}}(X)$ . Here, $BMO_L(X)$ and $BMO_{L^{*}}(X)$ denote the recently defined $BMO(X)$ spaces associated with $L$ that generalize the space $BMO(X)$ of John and Nirenberg. Generalizing a recent result due to F. Bernicot, we show a second version of a $T(1)$ -Theorem under weaker off-diagonal estimates, which gives a positive answer to a question raised by him. As an application, we prove $L^2(X)$ -boundedness of a paraproduct operator associated with $L$ . We moreover study criterions for a $T(b)$ -Theorem to be valid.