The purpose of this paper is to establish bilinear estimates in Besov spaces generated by the Dirichlet Laplacian on a domain of Euclidian spaces. These estimates are proved by using the gradient estimates for heat semigroup together with the Bony paraproduct formula and the boundedness of spectral multipliers.
The purpose of this paper is to give a definition and prove the fundamental properties of Besov spaces generated by the Neumann Laplacian. As a by-product of these results, the fractional Leibniz rule in these Besov spaces is obtained.
In the whole space $mathbb R^d$, linear estimates for heat semi-group in Besov spaces are well established, which are estimates of $L^p$-$L^q$ type, maximal regularity, e.t.c. This paper is concerned with such estimates for semi-group generated by the Dirichlet Laplacian of fractional order in terms of the Besov spaces on an arbitrary open set of $mathbb R^d$.
We identify explicitly the fractional power spaces for the $L^2$ Dirichlet Laplacian and Dirichlet Stokes operators using the theory of real interpolation. The results are not new, but we hope that our arguments are relatively accessible.
We prove thatthe Banach space $(oplus_{n=1}^infty ell_p^n)_{ell_q}$, which is isomorphic to certain Besov spaces, has a greedy basis whenever $1leq p leqinfty$ and $1<q<infty$. Furthermore, the Banach spaces $(oplus_{n=1}^infty ell_p^n)_{ell_1}$, with $1<ple infty$, and $(oplus_{n=1}^infty ell_p^n)_{c_0}$, with $1le p<infty$ do not have a greedy bases. We prove as well that the space $(oplus_{n=1}^infty ell_p^n)_{ell_q}$ has a 1-greedy basis if and only if $1leq p=qle infty$.
This paper is devoted to giving definitions of Besov spaces on an arbitrary open set of $mathbb R^n$ via the spectral theorem for the Schrodinger operator with the Dirichlet boundary condition. The crucial point is to introduce some test function spaces on $Omega$. The fundamental properties of Besov spaces are also shown, such as embedding relations and duality, etc. Furthermore, the isomorphism relations are established among the Besov spaces in which regularity of functions is measured by the Dirichlet Laplacian and the Schrodinger operators.