Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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.

1
vote
2answers
39 views

Unboundedness of the Sobolev norm of a sequence : Does it follow from Sobolev embedding?

Let $\{f_n\}$ be a sequence of functions that are continuous and lying in $H^k(\mathbb{R}^m)$. Assuming $k>\frac{m}{2}$, and if $f_n \to f$ pointwise, where $f\in H^k(\mathbb{R}^m)$, such that $f$ ...
3
votes
1answer
105 views

A specific problem on : Can bounding the Sobolev norm, bound a higher derivative?

Let $f \in H^k(\mathbb{R}^m)$, $k>\frac{m}{2}$. Given any $f$, such that $\|f\|_{H^k(\mathbb{R}^m)}<K$ , and any $\phi \in C^{\infty}(\mathbb{R}^m)\cap H^k(\mathbb{R}^m)$, such that $\|\phi\|_{...
1
vote
1answer
69 views

Density on a specific functional space.

I have a question about density. It's probably trivial but I am just learning functional analysis so nothing is trivial to me. Here is my question. Let $$ \mathcal{X}\colon=\mathcal{H}^1(0,1;\mathbb{...
5
votes
2answers
200 views

Making the Fourier transform quantitative

I am undergraduate Physics student and understand that this is a professional mathematics forum. But due to perhaps broader interest, I hope this question is suitable for this website. I understand ...
3
votes
0answers
60 views

Fractional embedding inequality with $L^{\infty}$ norm

Here we consider the fractional Sobolev spaces and suppose $u$ is a vector function in $\mathbb R^2$. For $q>2$, is the following always true? $$\Vert Du \Vert_{L^{\infty}(\mathbb R^2)} \leq C\Vert ...
5
votes
2answers
214 views

Bounded deformation vs bounded variation

Let $BV(\mathbb R^n; \mathbb R^n)$ be the space of (vector-valued) functions of bounded variation and let $BD(\mathbb R^n;\mathbb R^n)$ the space of functions with bounded deformation. They are made ...
2
votes
1answer
87 views

Removable set for Sobolev space

It is well known that if $\Omega\subset\mathbb{R}^{N}$ open, $F\subset\Omega$ closed, such that $\mathcal{H}^{N−1}(F)=0$,where $\mathcal{H}^{N−1}$ denotes (N-1) dimensional Hausdorff measure, then $W^{...
0
votes
1answer
103 views

$f_n$ is bounded in $C(0,T;H^2(0,L))$ so is $f_n^p$?

Let $1<p<\infty$, and $f_n$ be a bounded sequence in $C(0,T;H^2(0,L))$. It looks obvious to me that $f_n^p$ is also bounded in $C(0,T;H^2(0,L))$. When we take the derivative of $f^p(t)$ twice we ...
5
votes
0answers
67 views

Positive splitting of Sobolev convergence

Let $f,g,h \in H^1(\mathbb{R}^n)$ be non-negative Sobolev functions wuch that $f^2 = g^2 + h^2$. Let also $\{f_k\} \subseteq H^1(\mathbb{R}^n)$ be non-negative Sobolev functions such that $f_k \to f$ ...
-1
votes
0answers
45 views

A usage of mean value theorem for Nemytskii operators

Let $F$ be a real-valued continuously differentiable function over $\mathbb{R}$. Let $\Omega$ be a bounded set in $\mathbb{R}^2$; and $w_1$ and $w_2$ be in $H^1_0(\Omega)$. I am doing this calculation ...
6
votes
1answer
217 views

Convolution with semigroup: does this belong to the Sobolev space $W^{1,1}$?

Let $X$ be a Banach space, $T(t)$ be a strongly continuous semigroup on $X$, and $f\in L^1(0,\tau;X)$. It has been implied that the integral $$v(t)=\int_0^t T(t-s)f(s)ds,\quad t\in [0,\tau]$$ is not ...
4
votes
0answers
62 views

Superposition operator from Sobolev space to Lebesgue space

Let $\Omega$ be a bounded, connected set in $\mathbb{R}^2$ with smooth boundary. I am wondering under what conditions on the real function $f(x):\mathbb{R}\to \mathbb{R}$ the superposition operator $F(...
1
vote
0answers
110 views

Compact embedding result

Let $\tau$ and $\ell$ be positive numbers. We know that the space $H^2(0,\ell)\cap H^1_0(0,\ell)$ is compactly embedded into $L^6(0,\ell)$. Now, is the space $L^2(0,\tau;H^2(0,\ell)\cap H^1_0(0,\ell))$...
1
vote
0answers
119 views

Why is $H^{1/2}$ a Hilbert space?

Let $n\in\mathbb{N}$ and $\Omega \subseteq \mathbb{R}^n$ sufficiently smooth. Then we have the Hilbert space $H^1(\Omega)$ and the trace operator $\operatorname{tr}: H^1(\Omega) \to L^2(\partial \...
2
votes
1answer
80 views

Fredholmness of formal selfadjoint operator $AA^*$ and Fredholmenss of $A$

Let $X$ and $Y$ be Hilbert spaces with respective inner products $\langle , \rangle_{X,Y}$. Let $A:X \rightarrow Y$ be a bounded linear operator. Assume there is a non-degenerate sesquilinear product $...
1
vote
0answers
78 views

How do we know the mollification is in the Sobolev space?

The first theorem of section 5.3. in Evan's PDE discusses approximating a function in $W^{p, k}$ by it's mollifications. Suppose $k$ is a positive integer, $1\leq p <\infty$ and $U$ is an open ...
2
votes
0answers
60 views

Sobolev extension with boundary condition

Let $\Omega$ be a Lipschitz bounded domain of $\mathbb{R}^n$, divided in two Lipschitz subdomains $\Omega_1$ and $\Omega_2$ such that $\Omega_1 \cap \Omega_2 = \emptyset$. We define the following ...
0
votes
0answers
23 views

Extension operator from $H^{\frac{1 }{2}}(\partial\Omega)$ to $H^1(\Omega)$ with a parameter

Let $\Omega$ be a bounded smooth domain in $R^n$, then it is known that there is a bounded extension operator from $H^{\frac{1 }{2}}(\partial\Omega)$ to $H^1(\Omega)$, i.a. a linear map $J:H^{\frac{1 }...
3
votes
1answer
81 views

Measurability of specific function

Let $I\subset\mathbb{R}$ denote an open and bounded interval of the real line, $H_0^1(I)$ all quadratic integrable Sobolev functions and $C(\bar{I})$ all continuous functions on said interval. Since ...
0
votes
0answers
75 views

What is a relation between energy space and $L^p_s-$Sobolev spaces?

We define energy space $$E= \left\{ f\in \mathcal{S}'(\mathbb R^d): \|\nabla f\|_{L^2} + \|xf\|_{L^2} < \infty \right\}.$$ and Sobolev spaces $$L^p_s(\mathbb R^d)=\{f\in \mathcal{S}'(\mathbb R^...
0
votes
1answer
55 views

A question on existence of a Sobolev Hilbert space, where convergence implies uniform convergence [closed]

Is there a Sobolev Hilbert space $H^k(\Omega)$($\Omega$ open subset of $\mathbb{R}^m$, with a smooth boundary), for some $k \in \mathbb{N}$, such that, any sequence in the space $C^0(\bar{\Omega})\cap ...
3
votes
0answers
83 views

inverse of sobolev riemannian metric still sobolev?

Given a covariant riemannian metric of certain sobolev class (i.e. with square-integrable weak derivatives up to a large enough integer order) on a (compact, if necessary) finite-dimensional smooth ...
1
vote
0answers
44 views

Unclear inequality of L2 norms (Poisson equation for modeling flow)

I encountered a problem working through a paper about modeling flow with the use of the Poisson equation (source given below). There appears an inequality of L2 norms I don't understand so far. Your ...
0
votes
0answers
21 views

Approximation in parabolic Sobolev spaces

I am given the following function: fix any $p$ and $\beta \in (0,1)$ $$ u \in L^{p-\beta}(0,T;W^{1,p-\beta}(\Omega)) \quad \text{and} \quad \frac{du}{dt} \in L^{\frac{p-\beta}{p-1}}(0,T; W^{-1,\frac{...
4
votes
2answers
122 views

Can we stay invertible while approximating linear maps in Sobolev spaces?

Let $\Omega \subseteq \mathbb{R}^n$ be an open bounded domain with a smooth boundary. Fix $1<p<n$. Let $A \in W^{1,p}(\Omega;\text{End}(\mathbb{R}^n)) \cap C(\Omega;\text{End}(\mathbb{R}^n))$ ...
3
votes
0answers
53 views

Constant in trace theorem for balls

Consider the standard open ball $B_r:=\left\{x ; \left\lvert x \right\rvert \le R \right\}.$ The trace theorem tells us any function in $W^{k,p}(B_r)$ can be restricted to a function $W^{k-1,p}(\...
3
votes
0answers
59 views

Is a relatively weakly compact subset of $W^{1,1}(\Omega)$ metrizable?

Let $\Omega$ be a domain with smooth boundary. Let $S\subset W^{1,1}(\Omega)$ be a relatively weakly compact set. Is it true that $(S,w)$ is metrizable? Since $S$ is relatively weakly compact, it ...
1
vote
1answer
68 views

Steklov averages and negative parabolic sobolev spaces

Suppose one is given a function $$ w \in L^p(0,T;W^{1,p}(\Omega)) \qquad \text{and} \qquad \frac{dw}{dt} \in L^{p'}(0,T; W^{-1,p'}(\Omega)) $$ I am interested if the following holds: Denote the ...
0
votes
0answers
51 views

Sobolev embeddings for vector-valued functions

I would like to know if there is a simple extension of the standard Sobolev embeddings for functions taking values in another Euclidean space. In particular, let $\Omega \subset \mathbb{R}^n$ be a ...
3
votes
1answer
70 views

PDE satisfied by projection of a function onto a subspace

Given an open bounded set $D\subset \mathbb R^N$, let $f\in W^{-1,q}(D)$ and let $u$ be a Sobolev function $u\in W_0^{1,p}(D)$ such that $u$ solves the PDE $$ \begin{cases} -\Delta_p u=f\;\text{in $D$}...
1
vote
0answers
44 views

Approximating norms using numerical integration? [closed]

I have a sequence of functions $u_m$ in $H^1(\Omega)$, where $\Omega$ is Lipschitz such that $u_m(x)=\int_{|y|\le \epsilon} \, f_m(x,y) \, dy$, but the integral cannot be expressed in terms of ...
1
vote
0answers
61 views

Fast growing unbounded functions in the Sobolev space $H^1(\Omega)$

I am looking for unbounded functions that grow rapidly fast near the origin, but are in the Sobolev space $H^1{(\Omega)}$, where $\Omega$ is a unit square centered at the origin. I already know about ...
2
votes
1answer
162 views

Estimates for the Sobolev inequality

How to prove the Sobolev estimate: If $\Omega$ is a bounded open subset of $\mathbb R^N$, then for any $q>1$ $$ \|u\|_{L^{q}(\Omega)} \leq C|\Omega|^{1/q} q^{1- 1/N}\| \nabla u \|_{L^{N} (\Omega)...
4
votes
1answer
129 views

Weak closedness of the extremal set to a linear inequality

Let $\mathcal{H}$ be a Hilbert space, let $p\ge 2$, and consider a bounded linear operator $ T\colon \mathcal{H}\to L^p(\mathbb R^d). $ Is the set $M=\{f\in \mathcal H\ :\ \|Tf\|_{L^p}= \|T\|\|f\|...
2
votes
0answers
132 views

Intersection of Sobolev space with the space of continuous functions

While doing some problems, I came across the space $H=H^1(\Omega) \cap C(\Omega)$, where $\Omega$ is subset of $\mathbb{R^n}$. So far, by definition of these subspaces, We know that none of these are ...
7
votes
3answers
217 views

Smallness of cut-off functions at critical Sobolev regularity

Consider the class of functions $$X:=\{f\in \mathcal{C}_0^{\infty}(\mathbb{R})\;s.t.\;f\equiv 1 \mbox{ in a neighbourhood of}\;\;x=0\}$$ Is it true that, for every $\varepsilon > 0$, I can find $...
5
votes
1answer
171 views

Regularity of the Jacobian of a $W^{2,n}$ Sobolev mapping

Given a mapping in the Sobolev space $f\in W^{2,n}_{\rm loc}(\mathbb{R}^n,\mathbb{R}^n)$ I would like to know what is the Sobolev regularity of the Jacobian $J_f=\operatorname{det} Df$. It is well ...
3
votes
1answer
320 views

A Poincaré-type inequality: proof or counterexample

The following is a simplified version of a Poincaré-type inequality that I'm studying; I'd like to prove it (the inequality) or find a counter example. Consider a function $f:[0,1]^2\rightarrow\mathbb{...
3
votes
0answers
67 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$...
3
votes
0answers
37 views

Is a Sobolev map with smooth minors smooth on the whole domain?

This question is related (but not identical) to this question. Let $d>2$ be an integer and let $2 \le k \le d-1$ be a fixed integer. Suppose that at least one of $k,d$ is not even. Let $\Omega$ be ...
1
vote
0answers
32 views

Fourier Lapalacian over periodic end

This is a technical question on Taubes' paper: Gauge theory over periodic end. on Page 378. Recall that: Let $Y$ be a closed manifold, with $b_1=1$, and $\tilde Y$ be the $\mathbb Z$-covering of $...
1
vote
1answer
60 views

Relation between a norm and norm of Besov spaces

Let $(H, \|\cdot\|)$ be a Hilbert space, $A \colon D(A)\subset H \longrightarrow H$ generates an analytic semigroup $T(t)$ on $H$. We define the following Banach space with the respect norm $$F=\{x\in ...
1
vote
0answers
39 views

Shifting Sobolev norms in a hyperbolic estimate

Suppose $\Omega$ is a bounded domain and $\omega \subset \Omega$. Suppose we have the following estimate: $$ \|u\|_{H^1((0,T) \times\Omega)} \leq C (\|u\|_{H^1((0,T) \times \omega)} + \|\Box u\|_{L^2((...
5
votes
0answers
199 views

Is a Sobolev map with smooth minors smooth?

$\newcommand{\Cof}{\text{cof}}$ Let $d>2$ be an integer and let $2 \le k \le d-1$ be a fixed integer. Suppose that $k,d$ are both even. Let $\Omega$ be an open subset of $\mathbb{R}^d$, and let $f \...
1
vote
1answer
171 views

Continuity of a multiplication operator in fractional Sobolev space

Let $\Gamma$ be a regular boundary of a $C^{k,1}$ domain $\Omega$ and $H^s(\Gamma)$, $s\in(0,1)$, denote the fractional Sobolev space on $\Gamma$. Suppose I define a multiplication operator $M_\phi:H^...
1
vote
0answers
76 views

Exponential decay of a convolution

Let $z=(x,y) \in \mathbb{R}^N \times (0,+\infty)$, and let $$ P_m(z)=y^{2s} |z|^{-\frac{N+2s}{2}} K_{\frac{N+2s}{2}}(m|z|), $$ where $N \geq 3$ is an integer, $0<s<1$ and $K_{\frac{N+2s}{2}}$ ...
0
votes
0answers
67 views

How does the constant in Sobolev trace theorem depend on the domain geometric property?

Consider a domain $\Omega$ with Lipschitz boundary, $\Omega \subset \Re^N$ we can define fraction Sobolev seminorm $|\cdot|_{1/2, \partial \Omega}$: $$ |g|_{1/2,\partial \Omega}^2=\int_{\partial \...
3
votes
1answer
84 views

Fractional Sobolev spaces of order 0

For $1\leq p <+\infty$, $0<s<1$ and $\Omega\subset R^n$ domain, the fractional Sobolev space $W^{s,p}$ is defined as $$W^{s,p}(\Omega):=\big\{f \in L^p(\Omega)\colon \int_{\Omega} \int_{\...
3
votes
1answer
190 views

Regularity of solutions to $-\Delta u = \operatorname{div} F$, $F\in L^1$

Let $\Omega\subset\mathbb{R}^n$ be a bounded domain with smooth boundary. What are the regularity results for solutions to $$ -\Delta u= \operatorname{div} F, \qquad F\in L^1(\Omega,\mathbb{R}^n)? $$...
0
votes
0answers
54 views

Regularity of level sets of Sobolev derivatives

I am interested in the regularity of the sets $$U_{\lambda}:=\{x: |\nabla^k u(x)|> \lambda \}$$ for a function $u\in W^{k,p}(R^d)$ with compact support. We can choose a lower semicontinuous ...