Questions tagged [fractional-sobolev-spaces]

This tag is devoted to any problem concerning fractional Sobolev spaces which are approximation of the classical Sobolev spaces

There are two version of Fractional sobolev spaces .

Definition1: (Via Galiardo semi-norm) Let $1\leq p\leq +\infty$, $0<s<1$ and $\Omega\subseteq \mathbb{R}^n$ an open set. The [fractional Sobolev space $W^{s,p}(\Omega)$][2] is defined to be

$$ W^{s,p}(\Omega) = \left\{ u\in L^p(\Omega) : \frac{|u(x)-u(y)|}{|x-y|^{\frac{n}{p} + s}} \in L^p(\Omega\times\Omega) \right\} $$

equipped with the norm

$$ \|u\|_{W^{s,p}(\Omega)} = \left( \int_\Omega |u|^p \; dx + \int_\Omega\int_\Omega \frac{|u(x)-u(y)|^p}{|x-y|^{n+ sp}} \; dx dy \right)^{1/p}. $$

Definition2:(Via Fourier Transform) For $s\in\mathbb{R}$, $1<p<\infty$, and $n\geq 1$, define the [Sobolev space $H^{s,p}(\mathbb{R}^{n})$][1] by $$H^{s,p}(\mathbb{R}^{n}):=\left\{f\in\mathcal{S}(\mathbb{R}^{n}) : \|(\langle{\xi}\rangle^{s}\widehat{f})^{\vee}\|_{L^{p}}<\infty\right\}$$, equipped with norm $$\|f\|_{H^{s,p}}=\|(\langle{\xi}\rangle^{s}\widehat{f})^{\vee}\|_{L^{p}}$$

Where, $$\langle{\xi}\rangle^{s} =(1+|\xi|^2)^s$$

365 questions
15
votes
1 answer

Sobolev space with negative index

The Dirac delta function is in the Sobolev space $H^{-1/2-\epsilon}(\mathbb{R})=W^{-1/2-\epsilon,2}(\mathbb{R})$ for $\epsilon>0$, but it is a distribution as opposed to a function in the traditional sense. On the other hand we have…
14
votes
2 answers

How to think of homogeneous Sobolev spaces

The homogeneous Sobolev space $\dot H^s(\mathbb{R}^d)$ can be defined as the completion of $\mathscr{S}(\mathbb{R}^d)$ (the space of Schwartz functions) under the norm $$ \|f\|_{\dot H^s(\mathbb{R}^d)} = \||\xi|^s\hat{f}\|_{\mathbb{R}^d}. $$ The…
9
votes
2 answers

Charcteristic function not in a fractional Sobolev space

I am trying to show that for any Lebesgue measurable set of finite positive measure $E$, the characteristic function $\chi_E$ is not in $H^{\frac{1}{2}}(\mathbb{R}^n)$. I found somewhere that it would be enough to show instead that $$…
8
votes
1 answer

Fourier multipliers on $L^2(\mu)$

On $L^2(\mathbb{R}^d)$, we have $T_m$ defined $\widehat{T_m f} = m \widehat{f}$ is a bounded operator on $L^2$ if and only if $m \in L^\infty$. What can be said about the same problem for more general measures? For example, I am interested in…
8
votes
1 answer

Relationship between Sobolev-Slobodeckij spaces and Besov spaces

I am trying to understand these two different ways of defining fractional Sobolev spaces. In particular, I want to determine embeddings or equality between the Besov spaces $B^{s}_{p,p}$ and the Slobodeckij spaces $W^{s,p}$. I have read somewhere…
8
votes
1 answer

Which Sobolev spaces are function spaces?

Let us consider the Sobolev space $W^{s,p}(\mathbb R^n)$, $s \in \mathbb R$ (I am most interested in the case $n=1$). If $s \geq 0$, it embeds to $L^p(\mathbb R^n)$, so its elements may be interpreted as functions (modulo redefinitions on sets of…
8
votes
1 answer

Heat semigroup norm between fractional Sobolev and $L^p$ spaces

What is the actual inequality that holds for the heat semigroup between fractional Sobolev space $W^{2\alpha,p}$ and classical Lebesgue space $L^q$? I am trying to derive an inequality $$ \lvert\lvert e^{t\Delta}f \rvert\rvert_{W^{2\alpha,p}} \leq…
8
votes
1 answer

Embeddings between Hölder spaces $ C^{0,\beta} \hookrightarrow C^{0, \alpha} .$

Let $ \Omega \subset \mathbb R^n $ be an open subset and let $ 0 < \alpha < \beta \leq 1.$ We consider the space of Hölder continuous functions $C^{0, \alpha}$ which is a Banach space endowed with the norm $$ \| f\|_{C^{0, \alpha}} := \| f…
7
votes
1 answer

fractional Sobolev spaces for periodic functions

Let us denote by $L^2([0,2\pi])$ the space of all periodic functions that are square integrable. Usually one defines the $H^s$-space for $s>0$ by \begin{align} H^s([0,2\pi]) = \left\{ u \in L^2([0,2\pi]) \, \bigg| \, \int_{(0,2\pi)} \int_{(0,2\pi)}…
7
votes
1 answer

Sobolev embedding for the $L^q$ norm.

Suppose $f \in H^1(\mathbb R^2)$, where $H^1$ is the Sobolev space, then how to use this information to bound $\Vert f \Vert_{L^q}$, where $q>2$? It seems like Sobolev embedding, but it's not.
7
votes
0 answers

Comparaison of two version of Fractional sobolev spaces: what do we have $W^{s,p}(\mathbb{R}^{n})=H^{s,p}(\mathbb{R}^{n})$?

There are two version of Fractional sobolev spaces . Definition1: (Via Galiardo semi-norm) Let $1\leq p\leq +\infty$, $0
6
votes
1 answer

Motivation for the fractional Sobolev spaces

I am strying studying on my own parabolic PDEs throughout the book "Linear and Quasi-linear Equations of Parabolic Type" by Vsevolod A. Solonnikov, Nina Uraltseva, Olga Ladyzhenskaya, but there is one thing that I do not understand: why we are…
6
votes
3 answers

Fractional Sobolev Spaces and Trace Theory

I've been working with fractional Sobolev Spaces for a while and I still don't get how is it connected to trace theory, is there any literature which goes deeper into such relationship? From the boook Fractional Spaces for the Theory of Elliptic…
6
votes
0 answers

Is being in the Sobolev space of power $\frac{d}{2}$ necessary for having well defined point evaluations?

From the Sobolev embedding theorem we know that for $\alpha = \frac{d}{2}$, $W^{\alpha, 2}(\mathbb{R}^d)$ is continuously embedded in $C^0(\mathbb{R}^d)$. Especially the point evaluations are in the dual of $W^{\alpha, 2}(\mathbb{R}^d)$ and thus…
1
2 3
24 25