Questions tagged [sobolev-spaces]

A Sobolev space is a vector space of functions equipped with a norm that is a combination of Lp-norms of the function itself and its derivatives up to a given order.

431 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3 votes
0 answers
82 views

Existence for $-\Delta u + (g(x)-\Delta u)^+\varphi(u) = f(x)$

Let $\Omega$ be a smooth bounded domain. Consider the equation $$-\Delta u + (g(x)-\Delta u)^+\varphi(u) = f(x)$$ $$u|_{\partial\Omega} = 0$$ where $f,g$ are smooth functions on $\Omega$ and $\varphi$...
C_Al's user avatar
  • 241
3 votes
0 answers
99 views

Is there a weak isometric completion to a $W^{2,2}$ isometric immersion?

Let $g$ be a smooth Riemannian metric on $\mathbb{R}^d$. Let $D=D^k \subseteq \mathbb{R}^d$ be the $k$-dimensional closed unit disk. ($k<d$). Suppose we are given a $W^{2,2}$ isometric immersion $...
Asaf Shachar's user avatar
  • 6,611
3 votes
0 answers
445 views

Fractional sobolev spaces

On the whole space $\mathbb R^d$, the fractional Sobolev space $H_s(\mathbb R^d)$ of order $s\in \mathbb R$ can be defined as the subspace of tempered distributions $T$ such that $\mathcal F T \in L^...
Thomas's user avatar
  • 610
3 votes
0 answers
192 views

Meromorphic continuation of resolvent of free Laplacian on homogeneous Sobolev space

Let $n \ge 2$. Set $\dot{H}^1(\mathbb{R}^n)$ to be the homogeneous Sobolev space, defined as the Hilbert completion of $C_0^\infty(\mathbb{R}^n)$ with respect to the norm $\| \varphi \|^2_{\dot{H}^1} \...
JZS's user avatar
  • 469
3 votes
0 answers
656 views

What is the optimal constant for the injection of $H^1$ into $L^\infty$ on an interval?

Let $I\subset \mathbb R$ be an interval, $1\leq p\leq \infty$, and $W^{1,p}(I)$ the usual Sobolev space. It is known that the injection $W^{1,p}(I)\hookrightarrow L^\infty(I)$ holds, i.e. there exists ...
JKLM's user avatar
  • 31
3 votes
0 answers
286 views

Gagliardo-Nirenberg inequality with a BMO term

I am trying to prove the Gagliardo--Nirenberg type inequality: $$ \Vert\nabla u\Vert_{L^{2p}(\mathbb{R}^{N})}\leq c|u|_{\operatorname*{BMO}% (\mathbb{R}^{N})}\Vert\nabla^{2}u\Vert_{L^{p}(\mathbb{R}^{N}...
Gio67's user avatar
  • 401
3 votes
0 answers
76 views

Smoothing inside the null space of a partial differential operator

Let $L$ be a linear partial differential operator with smooth coefficients in $U\subset\Bbb R^n$ and let $u\in W^{k,p}_{loc}(U)$ with $k\in\Bbb N$ and $p\in[1,\infty[$ satisfy $Lu=0$ in the ...
Lapasotka's user avatar
3 votes
0 answers
252 views

Error estimate on convolution of mollifiers

Given $u\in W^{1}_{p}(\omega)$ with $1\leq p\leq \infty$, and the mollifier $\rho\in C_0^{\infty}(R^d)$ with support $B_1$ is a unit ball centered at the origin, $\rho\geq 0$ and $\int_{B_1} \rho = 1$....
user177196's user avatar
3 votes
0 answers
535 views

Time-dependent Sobolev spaces

Given the Sobolev space $H^1((a,b);H^2(\mathbb{R}))$ and a function $g$ in that space. Consider now another function $f \in C_c^{\infty}((a,b) \times \mathbb{R}).$ Then for almost any $t \in (a,b)$ we ...
Rabio's user avatar
  • 31
3 votes
0 answers
106 views

Constant in a trace Sobolev theorem for concave domains

I wonder is the following inequality is true/known: Let $\Omega\subset \mathbb{R}^n$ be a (locally) Lipschitz domain which is the complement of a convex set, then $$ \int_{\partial\Omega} |u|^2 ds \...
poupy's user avatar
  • 175
3 votes
0 answers
217 views

Wavelet characterization of Sobolev spaces

We know that there exist wavelets generating orthonormal bases in Sobolev spaces $W^{p,s}(\mathbb R^n)$, where $p$ is the index of integral and $s$ is the index of smoothness. Consider the orthonormal ...
Danqing's user avatar
  • 231
3 votes
0 answers
273 views

Traces of fractional Sobolev spaces $W^{s,p}$ with $0<s<1/p$

I've stumbled upon a problem involving the trace of a function in a fractional Sobolev space of the form $W^{s,2}(H)$, where $H$ is a half-plane in $\mathbb{R}^2$. Would it be possible to define a ...
B.R. Smith's user avatar
3 votes
0 answers
73 views

Trace space of $\{ t^su \in L^2(0,\infty;X) \mid t^su_t \in L^2(0,\infty;Y)\}$ for $s \in (-\frac 12, \frac 12)$

Let $s \in (-\frac 12,\frac 12)$ and let $X=D(\Lambda)$ be a Hilbert space with $\Lambda$ the infinitesimal generator of a bounded semigroup of class $C^0$ in $Y$ (which is another Hilbert space), and ...
C_Al's user avatar
  • 241
3 votes
0 answers
339 views

Compact embedding of ${\rm L}^1_{loc}$ space

I was reading one preprint and stumbled upon a part in the proof where one particular embedding was used. Namely: Let $\Omega\subset{\bf R}^2$ be open and bounded and let $p\in\langle 1,2\rangle$. ...
Semmel's user avatar
  • 165
3 votes
0 answers
127 views

Existence of at least one positive solution for semilinear biharmonic equation with critical exponent

Let $\Omega \subset \mathbb{R}^N$, $N\geq 5$. Now assume the biharmonic problem with singular term as follow \begin{cases} ‎\Delta^2u=‎‎\lambda ‎‎\dfrac{u}{|x|^4}‎‎+u^{‎p}‎ & \mathrm{in}‎\hspace{...
Hheepp's user avatar
  • 361
3 votes
0 answers
97 views

Are functions whose partial derivatives are simple functions dense in $W^{1,\infty}$?

In a 2D domain, are the functions whose partial derivatives are simple functions dense in $W^{1,\infty}$ ?
Buyang LI's user avatar
  • 393
3 votes
0 answers
104 views

Rearrangement in Bessel function spaces

I consider, for $0<s<1$, the Bessel function space $$ L^{s,2}(\mathbb{R}^d) = \left\{f\in L^2(\mathbb{R}^n) : (1+|\cdot|)^{s/2}\hat{f}(\cdot)\in L^2(\mathbb{R}^n)\right\}. $$ The question I ...
Siminore's user avatar
  • 459
3 votes
0 answers
72 views

Pointwise (a.e) evaluation of $\sum_{n \geq 0}(u,w_n)_{L^2}w_n$ and equalities in $L^2$

Let $w_n$ be a orthonormal basis of $L^2(\Omega)$. Given $u \in L^2$ we can write $$u=\sum_{n \geq 0}(u,w_n)_{L^2}w_n.$$ Suppose $w_n$ are the eigenfunctions of the Neumann Laplacian. We can write $$\...
EasyStarter's user avatar
3 votes
0 answers
578 views

Lipschitz continuity of a composition operator

Let $M$ be a compact Riemannian submanifold of $\mathbb{R}^K$, $U\subset \mathbb{R}^K$ an open neighboorhood of $M$ such that the shortest point Projection $P_M\colon U\rightarrow M$ is well-defined ...
user35593's user avatar
  • 2,286
3 votes
0 answers
394 views

Bounded functions dense in Sobolev Spaces

Let $M$ be a complete Riemannian manifold. Is it always true that the subspace $C^2_b(M)\cap W^{2,p}(M)$ is dense in $W^{2, p}(M)$, where $C^2_b(M)$ denotes the space of functions that are uniformly ...
Matthias Ludewig's user avatar
3 votes
0 answers
184 views

Existence of solution to weak form of linear equation with boundary integral (parabolic PDE)

Let $W(0,T) := \{ u \in L^2(0,T;H^{\frac 12}(\partial\Omega)) \mid u_t \in L^2(0,T;H^{-\frac{1}{2}}(\partial\Omega))\}$. Let $\gamma$ and $\xi$ denote the trace map and its right inverse. Does there ...
DeleMax's user avatar
  • 93
3 votes
0 answers
630 views

The definition of $W_0^{1,\infty}$

I know how to define $W_0^{1,p}(\Omega)$, $\Omega\subset R^N$ open bounded smooth boundary, for any $1\leq p<\infty$. However, for definition of $W_0^{1,\infty}(\Omega)$, I always confused. ...
JumpJump's user avatar
  • 679
3 votes
0 answers
223 views

Strong solution to $u_t - \Delta_p u = f$

For $p > 1$, consider the equation $$\langle u_t, v \rangle + \int_\Omega |\nabla u|^{p-2}\nabla u \nabla v = \langle f, v \rangle$$ $$u(0) = u_0$$ $$u|_{\partial\Omega} =0$$ for all $v \in W^{1,p}(...
jamesC's user avatar
  • 65
3 votes
0 answers
140 views

convergence of $e^{it\Delta}f$

I heard of a conjecture that $e^{it\Delta}f\rightarrow f$ a.e. as $t\rightarrow 0$ for $f\in H^{1/4+\epsilon}$ but couldn't find a proper reference.
user57563's user avatar
3 votes
0 answers
507 views

Existence and smoothness of convolutions of distributions in Sobolev spaces

Let $f\in H^{s_1}(\mathbb{R}^n)$ and $g\in H^{s_2}(\mathbb{R}^n)$, where $s_1, s_2 \in \mathbb{R}$ and can be positive or negative. It is easy to show that $f *g$ is defined pointwise when $s_1+s_2\...
Zorgoth's user avatar
  • 256
3 votes
0 answers
199 views

Degree of a function in $H^{\frac{1}{2}}(\mathbb{S}^1,\mathbb{S}^1)$

We can define the degree of a function $f \in H^{\frac{1}{2}}(\mathbb{S}^1,\mathbb{S}^1)$ as $$\mathrm{deg} \hspace{1mm} f = \frac{1}{2\pi i} \int_{\mathbb{S}^1} f^{-1} \frac{\partial f}{\partial \...
Gatz''s user avatar
  • 31
3 votes
0 answers
237 views

$\tilde{u}=0,\ a.e.\ x\in\Gamma$?

Suppose $\Omega\subset\mathbb{R}^n$ is a bounded domain. Let $u\in H_0^1(\Omega)$ and $\tilde{u}\in L^2(\Omega)$ satisfies $$\int_\Omega\nabla u\nabla v=\int_\Omega \tilde{u}v,\ \forall\ v\in C_0^{\...
Tomás's user avatar
  • 71
3 votes
0 answers
709 views

Open sets and Poincaré's inequality

In many references, Poincaré inequality is presented in the following way : Let $\Omega\subset \mathbb R^d$ an open bounded set. We can find a constant $C$ which depend of $\Omega$ such that for ...
Davide Giraudo's user avatar
3 votes
0 answers
288 views

Where can I find interpolation inequalities for derivatives of the following form?

Here they are: $$||f||_{\infty} \leq C ||f||_q^{\frac {qk} {n+kq}} \left( \sum_{|\mu|=k} ||D^\mu f||_{BMO} \right)^{ \frac n {n+kq}}$$ and $$||f||_{Lip_\alpha} \leq C ||f||_q^{\frac {qk} {n+kq} \frac ...
Evgeniy Lokharu's user avatar
2 votes
0 answers
50 views

Fractional powers of Dirichlet-to-Neumann map to derive estimate for PDE

Assume $\Omega$ is an open, bounded subset of $\mathbb R^3$ with smooth boundary $\partial \Omega= \Gamma$. For $u \in H^{1/2}(\Gamma)$, let $U \in H^1(\Omega)$ denote the weak solution of the ...
BBB's user avatar
  • 31
2 votes
0 answers
69 views

Any solution of an evolution problem tends to a steady state in $L^2$?

I have a general question. Suppose that we have the following simple evolution problem $\begin{cases} \dfrac{\partial u}{\partial t}-\Delta u=f(u), & (t,x)\in (0,\infty)\times\Omega\\ \dfrac{\...
Bogdan's user avatar
  • 1,330
2 votes
0 answers
152 views

Does integration by parts formula hold in $H^1(0,T,L^2(\Omega))$?

Let $\Omega$ be an open set from $\mathbb{R}^N$. How can we prove that if $u,v\in H^1(0,T,L^2(\Omega))$ (in Bochner sense) then $(u\cdot v)'\in L^2(0,T,L^1(\Omega))$ with $(uv)'=u'v+v'u$ and the ...
Bogdan's user avatar
  • 1,330
2 votes
0 answers
73 views

How to define the Sobolev quotient space $H^s(Γ)/{\mathbb R}$

Let $\Gamma$ be the boundary of a Lipschitz domain $\Omega\subset \mathbb R^3$. Denote by $H^s(\Gamma)$ the usual scalar Sobolev space for $s\in\mathbb R$. I want to know the definition of the ...
SAKLY's user avatar
  • 63
2 votes
0 answers
61 views

Derivative of a functional involving integral and level set

Let $\Omega$ be a bounded smooth domain. For $u\colon \Omega \to \mathbb{R}$, define the functional $$F(u) = \int_{\{u=0\}}g(x) \; \mathrm{d}x$$ where eg. $u \in H^2(\Omega) \cap C^0(\bar\Omega)$ and ...
Blah000's user avatar
  • 29
2 votes
0 answers
139 views

$H^s$-mild solution for Navier–Stokes : why do we restrict attention to the function spaces "without Fourier zero mode"? (Related to Terence Tao blog)

This question has been triggered by the Definition 32 and Remark 33 in the blog of Terence Tao. There, every function space is restricted to ones without the Fourier zeroth mode. And the Remark 33 ...
Isaac's user avatar
  • 2,727
2 votes
0 answers
165 views

finite dimensionality of a subspace of a Banach space

Let $H$ be the space of measurable functions on $(0,1)$ such that $$ \|u\|_{H}^2 = \int_0^1 x^2\,|\partial_x u|^2\,dx + \int_{0}^1 |u|^2\,dx <\infty.$$ Let $C>0$ be a constant. Suppose that $W \...
Ali's user avatar
  • 4,077
2 votes
0 answers
40 views

Blow up for certain classes of distributions

Let $\mathbb D$ be the open unit disc centered at the origin and let $u \in H^{-N}(\mathbb D)$ be a distribution for some natural number $N>0$. Suppose that $$u|_{\mathbb D\setminus \{0\}} \in C^{\...
Ali's user avatar
  • 4,077
2 votes
0 answers
62 views

Localized estimate for divergence free vector field

Suppose $\Omega \subset \mathbb{R}^3$ is a simply connected Lipchitz domain. For a divergence free field $w\in [L^2(\Omega)]^d$, it is well known that there exists a vector field $v\in [W^{1,2}(\Omega)...
Ryan Li's user avatar
  • 21
2 votes
0 answers
128 views

Self-adjointness of fractional laplacian

Lets consider the following functional analytic definition of the fractional Laplacian: Consider a (complete, connected, oriented) Riemannian manifold $(M,g)$ with corresponding Laplacian $\Delta_{g}$....
B.Hueber's user avatar
  • 987
2 votes
0 answers
70 views

Sobolev inequalities in weighted Sobolev spaces

My definition for "weighted Sobolev space" $W^{1,p} _w (\Omega)$ is just a set of functions with the property that they admit distributional derivatives and that $$ \int_\Omega |f|^p (x) w(x)...
tommy1996q's user avatar
2 votes
0 answers
112 views

Uniqueness in interpolation of Hilbert spaces

I am wondering under what condition it is true that for Hilbert spaces $H$ and $H_0$ such that $H \hookrightarrow H_0$ there is uniqueness in the existence of a Hilbert space $H_1 \hookrightarrow H$ ...
rafoub92's user avatar
2 votes
0 answers
118 views

Understanding the Bochner space $W^{1,q}\bigl([0,T], L^p(U) \bigr)$ in terms of the Fréchet derivative

In the context of linear parabolic equations, the Sobolev space $W^{1,q}\bigl([0,T], L^p(U) \bigr)$ appears all the time. Here, $U$ is some bounded region of $\mathbb{R}^n$ and $1<p,q<\infty$. ...
Isaac's user avatar
  • 2,727
2 votes
0 answers
55 views

Inequality for a weighted bilinear form in Fourier variables

Let $\phi:\Bbb R^d\setminus\{0\}\to [0,\infty)$ be a continuous and symmetric, i.e., $\phi(-\xi)=\phi(\xi)$. Let $F:\Bbb R\to[0,\infty)$ be increasing and $L-$Lipschitz with $F(0)=0$. Consider the ...
Guy Fsone's user avatar
  • 1,033
2 votes
0 answers
124 views

A question about Gauss-Green formula - a weaker assumption

The question I have in mind is the following: how can we prove that for any $v\in H^1(\Omega)$ and for any $u\in H^1(\Omega)$ with $\Delta u\in L^2(\Omega)$ the Gauss-Green identity takes place $$\...
Bogdan's user avatar
  • 1,330
2 votes
0 answers
70 views

Zero trace Sobolev space on Carnot group

Let $\mathbb{G}=(\mathbb{R}^{n},\circ)$ be a Lie group on $\mathbb{R}^n$ and $\mathfrak{g}$ be the corresponding Lie algebra of $\mathbb{G}$. Let $X_{1},\ldots,X_{m}$ be the left invariant vector ...
Houa's user avatar
  • 561
2 votes
0 answers
235 views

Research in analysis of PDEs

I am currently figuring out what topic to work on for my undergraduate thesis and was able to narrow it down to mathematical analysis. As of now, I have two main options: a thesis working on Sobolev ...
Gab Romero's user avatar
2 votes
1 answer
214 views

Periodic solution for linear parabolic equation - existence, regularity

I am interested in proving the existence and regularity of solution to the following problem: $$\begin{cases} \dfrac{\partial y}{\partial t}(t,x)-\Delta y(t,x)+c(t,x)y(t,x)=f(t,x), & (t,x)\in (0,T)...
Bogdan's user avatar
  • 1,330
2 votes
0 answers
163 views

How to show that these two functions are $L^\infty$ multipliers?

Suppose there are two multipliers, $$m_1(\xi)=\frac{|\xi|^s}{(1+|\xi|^2)^\frac{s}{2}}$$ and $$m_2(\xi)=\frac{(1+|\xi|^2)^\frac{s}{2}}{1+|\xi|^s}$$ where $s\in (0,\infty)$. My question is: are they $L^\...
Jiawen Zhang's user avatar
2 votes
0 answers
95 views

How can I show that the exponents are not blowing up?

I have this situation: supposing that $\Omega$, is an open, bounded subset of $\mathbb{R}^N$, $N>2$. Given $t_0>0$ and $\overline{n}>0$, let's consider $\overline{t}=t_0+1$, $m>\overline{t}...
Silvinha's user avatar
2 votes
0 answers
127 views

Reference for weighted Sobolev spaces

I'm looking for a comprehensive reference illustrating, from the ground up, the basics of weighted Sobolev Spaces on Lipschitz domains (this case should be included, but I don't need less than it). ...
Lilla's user avatar
  • 225

1 2
3
4 5
9