Our goal in this article is to construct HK-Sobolev spaces on $\R^\infty$ which contains Sobolev spaces as dense embedding. We discuss that the sequence of weak solution of Sobolev spaces are convergence strongly in HK-Sobolev space. Also, we obtain that the Sobolev space through Bessel Potential is densely contained in HK-Sobolev spaces. Finally we find sufficient condition for the solvability of the divergence equation $\nabla.F= f,$ for $f$ is an element of the subspace $K{S^p}[\R_I^n]$ and $n \in \N$, in the SoboHK-Sobolev space $WS^{k,p}[\R_I^n] $ with the help of Fourier transformation.
In the paper we investigate the properties of spaces with generalized smoothness, such as Calderón spaces that include the classical Nikolskii-Besov spaces and many of their generalizations, and describe differential properties of generalized Bessel potentials that include classical Bessel potentials and Sobolev spaces. Kernels of potentials may have non-power singularity at the origin. With the help of order-sharp estimates for moduli of continuity of potentials, we establish the criteria of embeddings of potentials into Calderón spaces, and describe the optimal spaces for such embeddings.
Construction of Reproducing Kernel Hilbert Spaces Associated with the Laplace--Bessel Operator
Voronezh State University（沃罗涅什国立大学）；Belgorod State National Research University (BelGU)（别尔哥罗德国立研究大学）；Kadyrov Chechen State University（卡德罗夫车臣国立大学）；National Research University Higher School of Economics（国立高等经济大学）
Let $\{λ_n\}_n \in \ell^\infty(\mathbb{N})$. In 1960, R. Schatten \cite{SCHATTEN} studied operators of the form $\sum_{n=1}^{\infty}λ_n (x_n\otimes \bar{y_n})$, where $\{x_n\}_n$, $\{y_n\}_n$ are orthonormal sequences in a Hilbert space. In 2007, P. Balazs \cite{BALAZS3} generalized this by replacing $\{x_n\}_n$ and $\{y_n\}_n$ by Bessel sequences. In this paper, we generalize this by studying the operators of the form $\sum_{n=1}^{\infty}λ_n (A^*_nx_n\otimes \bar{B^*_ny_n})$, where $\{A_n\}_n$ and $\{B_n\}_n$ are operator-valued Bessel sequences and $\{x_n\}_n$, $\{y_n\}_n$ are sequences in t…
In this paper n-dimensional Sobolev type spaces $ E_α^{s,p}(\R^n_+)$ $(α\in \R^n,\;\;α_1> -\frac{1}{2},...,α_n>-\frac{1}{2}, s\in \R, p\in [1,+\infty])$ are defined on $\R^n_+$ by using Fourier-Bessel transform. Some properties including completeness and embedding results for these spaces are obtained, Poincaré's inequality and Reillich theorem are proved.
Consider the multidimensional Bessel operator $$B f(x) = -\sum_{j=1}^N \left(\partial_j^2 f(x) +\frac{α_j}{x_j} \partial_j f(x)\right), \quad x\in(0,\infty)^N. $$ Let $d = \sum_{j=1}^N \max(1,α_j+1)$ be the homogeneous dimension of the space $(0,\infty)^N$ equipped with the measure $x_1^{α_1}... x_N^{α_N} dx_1...dx_N$. In the general case $α_1,...,α_N >-1$ we prove multiplier theorems for spectral multipliers $m(B)$ on $L^{1,\infty}$ and the Hardy space $H^1$. We assume that $m$ satisfies the classical Hörmander condition $$\sup_{t>0} \left||η(\cdot) m(t\cdot)\right||_{W^{2,β}(\mathbb{R})}<\in…
We characterize the Hardy space $H^1$ in the rational Dunkl setting associated with the reflection group $\mathbb Z_2^n$ by means of Riesz transforms. As a corollary we obtain a Riesz transform characterization of $H^1$ for product of Bessel operators in $(0,\infty)^n$.
We prove that for a bounded domain $Ω\subset \mathbb R^n$ which is Gromov hyperbolic with respect to the quasihyperbolic metric, especially when $Ω$ is a finitely connected planar domain, the Sobolev space $W^{1,\,\infty}(Ω)$ is dense in $W^{1,\,p}(Ω)$ for any $1\le p<\infty$. Moreover if $Ω$ is also Jordan or quasiconvex, then $C^{\infty}(\mathbb R^n)$ is dense in $W^{1,\,p}(Ω)$ for $1\le p<\infty$.
In the Euclidean setting the Sobolev spaces $W^{α,p}\cap L^\infty$ are algebras for the pointwise product when $α>0$ and $p\in(1,\infty)$. This property has recently been extended to a variety of geometric settings. We produce a class of fractal examples where it fails for a wide range of the indices $α,p$.
We consider function spaces of Besov, Triebel-Lizorkin, Bessel-potential and Sobolev type on $\R^d$, equipped with power weights $w(x) = |x|^γ$, $γ>-d$. We prove two-weight Sobolev embeddings for these spaces. Moreover, we precisely characterize for which parameters the embeddings hold. The proofs are presented in such a way that they also hold for vector-valued functions.
Consider the Bessel operator with a potential on L^2((0,infty), x^a dx), namely Lf(x) = -f"(x) - a/x f'(x) + V(x)f(x). We assume that a>0 and V\in L^1_{loc}((0,infty), x^a dx) is a non-negative function. By definition, a function f\in L^1((0,infty), x^a dx) belongs to the Hardy space H^1(L) if sup_{t>0} |e^{-tL} f| \in L^1((0,infty), x^a dx). Under certain assumptions on V we characterize the space H^1(L) in terms of atomic decompositions of local type. In the second part we prove that this characterization can be applied to L for a \in (0,1) with no additional assumptions on the potential V.
We study properties of the classical fractional Sobolev spaces (or Bessel potential spaces) on non-Lipschitz subsets of $\mathbb{R}^n$. We investigate the extent to which the properties of these spaces, and the relations between them, that hold in the well-studied case of a Lipschitz open set, generalise to non-Lipschitz cases. Our motivation is to develop the functional analytic framework in which to formulate and analyse integral equations on non-Lipschitz sets. In particular we consider an application to boundary integral equations for wave scattering by planar screens that are non-Lipschit…
We establish new approximation results, in the sense of Lusin, of Sobolev functions by Lipschitz ones, in some classes of non-doubling metric measure structures. Our proof technique relies upon estimates for heat semigroups and applies to Gaussian and $RCD(K, \infty)$ spaces. As a consequence, we obtain quantitative stability for regular Lagrangian flows in Gaussian settings.
We refine and generalize several interpolation inequalities bounding the $L^p$ norm of a probability density with respect to the reference measure $μ$ by its Sobolev norm and the Kantorovich distance to $μ$ on a smooth weighted Riemannian manifold satisfying $CD(0, \infty)$ condition.
A necessary and sufficient condition for fractional Orlicz-Sobolev spaces to be continuously embedded into $L^\infty(\mathbb R^n)$ is exhibited. Under the same assumption, any function from the relevant fractional-order spaces is shown to be continuous. Improvements of this result are also offered. They provide the optimal Orlicz target space, and the optimal rearrangement-invariant target space in the embedding in question. These results complement those already available in the subcritical case, where the embedding into $L^\infty(\mathbb R^n)$ fails. They also augment a classical embedding t…
In our companion paper (S.N. Chandler Wilde, D.P. Hewett, A. Moiola, Sobolev spaces on non-Lipschitz subsets of $\mathbb{R}^n$ with application to boundary integral equations on fractal screens, 2016) we studied a number of different Sobolev spaces on a general (non-Lipschitz) open subset $Ω$ of $\mathbb{R}^n$, defined as closed subspaces of the classical Bessel potential spaces $H^s(\mathbb{R}^n)$ for $s\in\mathbb{R}$. These spaces are mapped by the restriction operator to certain spaces of distributions on $Ω$. In this note we make some observations about the relation between these spaces of…
We prove that all the composition operators $T_f(g):= f\circ g$, which take the Adams-Frazier space $W^{m}_{p}\cap \dot{W}^{1}_{mp}(\mathbb{R}^n)$ to itself, are continuous mappings from $W^{m}_{p}\cap \dot{W}^{1}_{mp}(\mathbb{R}^n)$ to itself, for every integer $m\geq 2$ and every real number $1\leq p<+\infty$. The same automatic continuity property holds for Sobolev spaces $W^m_p(\mathbb{R}^n)$ for $m\geq 2$ and $1\leq p<+\infty$.
We show that in a bounded Gromov hyperbolic domain $Ω$ smooth functions with bounded derivatives $C^\infty(Ω)\cap W^{k,\infty}(Ω)$ are dense in the homogeneous Sobolev spaces $L^{k,p}(Ω)$.
We show that in a bounded simply connected planar domain $Ω$ the smooth Sobolev functions $W^{k,\infty}(Ω)\cap C^\infty(Ω)$ are dense in the homogeneous Sobolev spaces $L^{k,p}(Ω)$.
We study in this article the Improved Sobolev inequalities with Muckenhoupt weights within the framework of stratified Lie groups. This family of inequalities estimate the Lq norm of a function by the geometric mean of two norms corresponding to Sobolev spaces W(s;p) and Besov spaces B(-b, infty, infty). When the value p which characterizes Sobolev space is strictly larger than 1, the required result is well known in R^n and is classically obtained by a Littlewood-Paley dyadic blocks manipulation. For these inequalities we will develop here another totally different technique. When p = 1, thes…
We show the density of smooth Sobolev functions $W^{k,\infty}(Ω)\cap C^\infty(Ω)$ in the Orlicz-Sobolev spaces $L^{k,Ψ}(Ω)$ for bounded simply connected planar domains $Ω$ and doubling Young functions $Ψ$.
We study perturbed Bessel operators $L_{m^2}=- \partial^2_x + ( m^2 - \frac14 )\frac{1}{x^2} + Q(x)$ on $L^2]0,\infty[$, where $m\in\mathbb{C}$ and $Q$ is a complex locally integrable potential. Assuming that $Q$ is integrable near $\infty$ and $x\mapsto x^{1-\varepsilon}Q(x)$ is integrable near $0$, with $\varepsilon\ge0$, we construct solutions to $L_{m^2} f = - k^2 f$ with prescribed behaviors near $0$. The special cases $m=0$ and $k=0$ are included in our analysis. Our proof relies on mapping properties of various Green's operators of the unperturbed Bessel operator. Then we determine all …
It is known that classical Hardy and Sobolev inequalities hold when the exponent $p$ and the dimension $N$ satisfy $p < N < \infty$. In this note, we consider two limits of Hardy and Sobolev inequalities as $p \nearrow N$ and $N \nearrow \infty$ in some sense.
Given $p \in (1,\infty)$, let $(\operatorname{X},\operatorname{d},μ)$ be a metric measure space with uniformly locally doubling measure $μ$ supporting a weak local $(1,p)$-Poincaré inequality. For each $θ\in [0,p)$, we characterize the trace space of the Sobolev $W^{1}_{p}(\operatorname{X})$-space to lower codimension-$θ$ content regular closed subsets $S \subset \operatorname{X}$. In particular, if the space $(\operatorname{X},\operatorname{d},μ)$ is Ahlfors $Q$-regular for some $Q \geq 1$ and $p \in (Q,\infty)$, then we get an intrinsic description of the trace-space of the Sobolev $W^{1}_{p…
On the framework of the 2-adic group Z_2, we study a Sobolev-like inequality where we estimate the L^2 norm by a geometric mean of the BV norm and the Besov space B(-1,\infty,\infty) norm. We first show, using the special topological properties of the p-adic groups, that the set of functions of bounded variations BV can be identified to the Besov space B(1,\infty,1). This identification lead us to the construction of a counterexample to the improved Sobolev inequality.
It has been known that sharp Sobolev embeddings into weak Lebesgue spaces are non-compact but the question of whether the measure of non-compactness of such an embedding equals to its operator norm constituted a well-known open problem. The existing theory suggested an argument that would possibly solve the problem should the target norms be disjointly superadditive, but the question of disjoint superadditivity of spaces $L^{p,\infty}$ has been open, too. In this paper, we solve both these problems. We first show that weak Lebesgue spaces are never disjointly superadditive, so the suggested te…
This paper studies the inclusions between different Sobolev-Lorentz spaces $W^{1,(p,q)}(Ω)$ defined on open sets $Ω\subset {\mathbf{R}^n},$ where $n \ge 1$ is an integer, $1<p<\infty$ and $1 \le q \le \infty.$ We prove that if $1 \le q<r \le \infty,$ then $W^{1,(p,q)}(Ω)$ is strictly included in $W^{1,(p,r)}(Ω).$ We show that although $H^{1,(p,\infty)}(Ω) \subsetneq W^{1,(p,\infty)}(Ω)$ where $Ω\subset {\mathbf{R}}^n$ is open and $n \ge 1,$ there exists a partial converse. Namely, we show that if a function $u$ in $W^{1,(p,\infty)}(Ω), n \ge 1$ is such that $u$ and its distributional gradient …
Fix $λ>0$. Consider the Bessel operator $\triangle_λ:=-\frac{d^2}{dx^2}-\frac{2λ}{x} \frac d{dx}$ on $\mathbb{R_+}$, where $\mathbb{R_+}:=(0,\infty)$ and $dm_λ:=x^{2λ}dx$ with $dx$ the Lebesgue measure. We provide a deeper study of the Bessel Riesz transform and fractional integral operator via the related Besov and Triebel--Lizorkin spaces associated with $\triangle_λ$. Moreover, we investigate some possible characterization of the commutator of fractional integral operator, which was missing in the literature of the Bessel setting.
In this paper we present a new characterization of the Sobolev space $W^{1,p}$, $1<p<\infty$ which is a higher dimensional version of a result of Waterman. We also provide a new and simplified proof of a recent result of Alabern, Mateu and Verdera. Finally, we generalize the results to the case of weighted Sobolev spaces with respect to a Muckenhoupt weight.
We present an elementary proof of a well-known theorem of Cheeger which states that if a metric-measure space $X$ supports a $p$-Poincaré inequality, then the $N^{1,p}(X)$ Sobolev space is reflexive and separable whenever $p\in (1,\infty)$. We also prove separability of the space when $p=1$. Our proof is based on a straightforward construction of an equivalent norm on $N^{1,p}(X)$, $p\in [1,\infty)$, that is uniformly convex when $p\in (1,\infty)$. Finally, we explicitly construct a functional that is pointwise comparable to the minimal $p$-weak upper gradient, when $p\in (1,\infty)$.
We prove that for a bounded simply connected domain $Ω\subset \mathbb R^2$, the Sobolev space $W^{1,\,\infty}(Ω)$ is dense in $W^{1,\,p}(Ω)$ for any $1\le p<\infty$. Moreover, we show that if $Ω$ is Jordan, then $C^{\infty}(\mathbb R^2)$ is dense in $W^{1,\,p}(Ω)$ for $1\le p<\infty$.
Let $L_{q,μ}$, $1\leq q\leq\infty$, denotes the weighted $L_q$ space of functions on the unit ball $\Bbb B^d$ with respect to weight $(1-\|x\|_2^2)^{μ-\frac12},\,μ\ge 0$, and let $W_{2,μ}^r$ be the weighted Sobolev space on $\Bbb B^d$ with a Gaussian measure $ν$. We investigate the probabilistic linear $(n,δ)$-widths $λ_{n,δ}(W_{2,μ}^r,ν,L_{q,μ})$ and the $p$-average linear $n$-widths $λ_n^{(a)}(W_{2,μ}^r,μ,L_{q,μ})_p$, and obtain their asymptotic orders for all $1\le q\le \infty$ and $0<p<\infty$.
The author establishes some geometric criteria for a Haj\lasz-Sobolev $\dot M^{s,\,p}_\ball$-extension (resp. $\dot M^{s,\,p}_\ball$-imbedding) domain of ${\mathbb R}^n$ with $n\ge2$, $s\in(0,\,1]$ and $p\in[n/s,\,\infty]$ (resp. $p\in(n/s,\,\infty]$). In particular, the author proves that a bounded finitely connected planar domain $\boz$ is a weak $α$-cigar domain with $α\in(0,\,1)$ if and only if $\dot F^s_{p,\,\infty}({\mathbb R}^2)|_\boz=\dot M^{s,\,p}_\ball(\boz)$ for some/all $s\in[α,\,1)$ and $p=(2-\az)/(s-α)$, where $\dot F^s_{p,\,\infty}({\mathbb R}^2)|_\boz$ denotes the restriction o…
On any complete Riemannian manifold $M$ and for all $p\in [2,\infty)$, we prove a family of second order $L^{p}$-interpolation inequalities that arise from the following simple $L^{p}$-estimate valid for every $u \in C^{\infty}(M)$: $$ \|\nabla u\|_{p}^p \leq \|u Δ_{p} u\|_1\in [0,\infty], $$ where $Δ_p$ denotes the $p$-Laplace operator. We show that these inequalities, in combination with abstract functional analytic arguments, allow to establish new global Sobolev regularity results for $L^p$-solutions of the Poisson equation for all $p\in (1,\infty)$, and new global Sobolev regularity resul…
Let $λ>0$, $p\in((2\lz+1)/(2\lz+2), 1]$, and $\triangle_λ\equiv-\frac{d^2}{dx^2}-\frac{2λ}{x} \frac d{dx}$ be the Bessel operator. In this paper, the authors establish the characterizations of atomic Hardy spaces $H^p((0, \infty), dm_λ)$ associated with $\triangle_λ$ in terms of the radial maximal function, the nontangential maximal function, the grand maximal function, the Littlewood-Paley $g$-function and the Lusin-area function, where $dm_λ(x)\equiv x^{2λ}\,dx$. As an application, the authors further obtain the Riesz transform characterization of these Hardy spaces.
We consider a Sturm--Liouville $Ly=-y''+q(x)y$ in space $L_2[0,π]$ with potential from Sobolev space $W_2^{-1}[0,π]$. Moreover, we assume, that $q=u'$, where $u\in L_2[0,π]$. We consider Direchlet boundary conditions $y(0)=y(π)=0$, although we can treat a boundary conditions of Sturm type. It is known, that operators of such class have a discrete spectr with only accumulation point $+\infty$ and the system $\{y_k\}_1^\infty$ of eigen and associated functions is a Riesz basis in $L_2[0,π]$. Moreover, this basis is a Hilbert--Schmidt perturbation of the basis $\{sin(kx)\}_1^\infty$. In this pape…
In this note we prove that: \begin{theorem} for $2\leq s<\frac{n}{2}$ or $1\leq s<\frac{2n}{n+1}$ or $1\leq s<\frac{n}{2}$ but n is even, $(-Δ)^{s}(u)=|u|^{q-2}u,q=\frac{2n}{n-2s}$ has infinitely many sign changing solutions or equivalently we can say that there exist solutions $u_{k}$ such that $\int u_{k}(-Δ)^{s}(u_{k})dx \to \infty$ as $k\to \infty$ \end{theorem}
We prove results on complex interpolation of vector-valued Sobolev spaces over the half-line with Dirichlet boundary condition. Motivated by applications in evolution equations, the results are presented for Banach space-valued Sobolev spaces with a power weight. The proof is based on recent results on pointwise multipliers in Bessel potential spaces, for which we present a new and simpler proof as well. We apply the results to characterize the fractional domain spaces of the first derivative operator on the half line.
In this paper, the authors characterize Sobolev spaces $W^{α,p}({\mathbb R}^n)$ with the smoothness order $α\in(0,2]$ and $p\in(\max\{1, \frac{2n}{2α+n}\},\infty)$, via the Lusin area function and the Littlewood-Paley $g_λ^\ast$-function in terms of centered ball averages. The authors also show that the condition $p\in(\max\{1, \frac{2n}{2α+n}\},\infty)$ is nearly sharp in the sense that these characterizations are no longer true when $p\in (1,\max\{1, \frac{2n}{2α+n}\})$. These characterizations provide a new possible way to introduce fractional Sobolev spaces with smoothness order in $(1,2]$…
Given $n \in \mathbb{N}_*$, a compact Riemannian manifold $M$ and a Sobolev map $u \in W^{n/(n + 1), n + 1} (\mathbb{S}^n; M)$, we construct a map $U$ in the Sobolev-Marcinkiewicz (or Lorentz-Sobolev) space $W^{1, (n + 1, \infty)} (\mathbb{B}^{n + 1}; M)$ such that $u = U$ in the sense of traces on $\mathbb{S}^{n} = \partial \mathbb{B}^{n + 1}$ and whose derivative is controlled: for every $λ> 0$, $$ λ^{n + 1} \big\vert\big\{ x \in \mathbb{B}^{n + 1} : \vert D U (x)\vert > λ\big\}\big\vert \le γ\Big(\int_{\mathbb{S}^n}\int_{\mathbb{S}^n} \frac{\vert u (y) - u (z)\vert^{n + 1}}{\vert y - z\vert…
We study properties of $W_0^{1,p}(\mathbb{R}_+,t^β)$ - the completion of $C_0^\infty(\mathbb{R}_+)$ in the power-weighted Sobolev spaces $W^{1,p}(\mathbb{R}_+,t^β)$, where $β\in\mathbb{R}$. Among other results, we obtain the analytic characterization of $W_0^{1,p}(\mathbb{R}_+,t^β)$ for all $β\in \mathbb{R}$. Our analysis is based on the precise study the two trace operators: $Tr^{0}(u):= \lim_{t\to 0} u(t)$ and $Tr^{\infty}(u):= \lim_{t\to \infty} u(t)$, which leads to the analysis of the asymptotic behavior of functions from $W_0^{1,p}(\mathbb{R}_+,t^β)$ near zero or infinity. The obtained s…
Given a compact manifold $N^n$, an integer $k \in \mathbb{N}_*$ and an exponent $1 \le p < \infty$, we prove that the class $C^\infty(\overline{Q}^m; N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the strong topology in the Sobolev space $W^{k, p}(Q^m; N^n)$ when the homotopy group $π_{\lfloor kp \rfloor}(N^n)$ of order $\lfloor kp \rfloor$ is trivial. We also prove the density of maps that are smooth except for a set of dimension $m - \lfloor kp \rfloor - 1$, without any restriction on the homotopy group of $N^n$
It is known that functions in a Sobolev space with critical exponent embed into the space of functions of bounded mean oscillation, and therefore satisfy the John-Nirenberg inequality and a corresponding exponential integrability estimate. While these inequalities are optimal for general functions of bounded mean oscillation, the main result of this paper is an improvement for functions in a class of critical Sobolev spaces. Precisely, we prove the inequality \[\mathcal{H}^β_{\infty}(\{x\in Ω:|I_αf(x)|>t\})\leq Ce^{-ct^{q'}}\] for all $\|f\|_{L^{N/α,q}(Ω)}\leq 1$ and any $β\in (0,N]$, where $Ω…
We consider the imbedding inequality || f ||_{L^r(R^d)} <= S_{r,n,d} || f ||_{H^{n}(R^d)}; H^{n}(R^d) is the Sobolev space (or Bessel potential space) of L^2 type and (integer or fractional) order n. We write down upper bounds for the constants S_{r, n, d}, using an argument previously applied in the literature in particular cases. We prove that the upper bounds computed in this way are in fact the sharp constants if (r=2 or) n > d/2, r=infinity, and exhibit the maximising functions. Furthermore, using convenient trial functions, we derive lower bounds on S_{r,n,d} for n > d/2, 2 < r < infinit…
