For questions about or related to Sobolev spaces, which are function spaces equipped with a norm combining norms of a function and its derivatives.

learn more… | top users | synonyms

0
votes
0answers
4 views

Closed Operator on a Sobolev spaces

I am wondering if the following differential operator $A:D(A)( \subset {\bf{H}}) \to {\bf{H}}$ defined on the sobolev space $\mathbf{H}=H_{0}^{k}(0,1)\times {{L}^{2}}(0,1)\text{ }$ is a closed ...
0
votes
1answer
12 views

Density of $C\infty([0,T];V)$ in $W(0,T;V,V)$.

Let $W=\{ u \in L^2(0,T;V) : u_t \in L^2(0,T;V)\}$ where $V$ is a Hilbert space in the Gelfand triple $V \subset H \subset V^*$ and $u_t$ is the weak time derivative. Is it true that ...
3
votes
2answers
38 views

Fractional Sobolev space $H^{1/2}(-\pi,\pi)$

Let $H^{1/2}(-\pi,\pi)$ be the space of $L^2$ functions whose Fourier series coefficients $\{c_n\}_n$ satisfy the summability constraint $\sum_n |n| |c_n|^2 < \infty$. Are functions in ...
0
votes
2answers
25 views

$G(f) \le \|f\|_{H^s(\mathbb R)},\; s>2 \Rightarrow G(f) \le \|f\|_{H^2(\mathbb R)}$?

If a quantity of a function $f$, call $G(f)$ satisfies $$ G(f) \le \|f\|_{H^s(\mathbb R)} $$ for all $s>2$, then can I conclude that this holds for the limiting case $s\to 2$: $$ G(f) \le ...
5
votes
0answers
35 views

$H^{1/2}$ function but not better

I am looking for an example of a function $f: [0, 1] \longrightarrow \mathbb{R}$ that is in the Sobolev space of order $1/2$, $H^{1/2}([0, 1])$, but not in the Sobolev space of order $1/2 + ...
1
vote
1answer
30 views

Estimating the rate of convergence of $|S_Nf-f|$ given that $\|f\|_{H^s}\leq 1$

Given that the Soloblev space norm $$\|f\|_{H^s}^2=|\widehat{f}(0)|^2+\sum_{n\in\mathbb{Z}}|n|^{2s}|\widehat{f}(n)|^2.$$ and the inequality $$\|f(\cdot +\theta)-f\|_{L^2}\leq 2\pi ...
-1
votes
0answers
43 views

Prove that $W_{k}^{p}(\mathbb R^d)\subset \mathscr{C}^{0}_{0}(\mathbb R^d)$ [closed]

The Sobolev Spaces are defined by $W_{p}^{k}(\mathbb R^d)=\left\{f \in L^{p}(\mathbb R^d): D^{\alpha}f \in L^{p}(\mathbb R^d), \forall \alpha \in \mathbb N_{0}^{d}, |\alpha| \leq k\right\}$. And ...
0
votes
0answers
22 views

bounding supremum with Sobolev embedding theorem

I consider $d \geq 2$ and the domain $ D = [0,1]^d$. I consider a function $f : D \to \mathbb{R}$ that is $k$ times continuously differentiable. [$k$ can be specified as large as possible.] I am ...
1
vote
1answer
31 views

Estimating the modulus of continuity of translation in $L^2$ by a Sobolev norm of the function

For any $s\in \mathbb{R}$ define the Hilbert space $H^s(\mathbb{T})$ by means of norm $$\|f\|^2_{H^s}=|\widehat{f}(0)|^2+\sum_{n\in\mathbb{Z}}|n|^{2s}|\widehat{f}(n)|^2.$$ Show that for any $0\leq ...
0
votes
1answer
61 views

The proof of a Sobolev embedding inequality by a compactness argument

I want to prove the following If $N\ge 3$ there exists a constant $c_0=c_0(\Omega)$ such that for all $\alpha\ge 1$ and $z\in H^1(\Omega)$ \begin{align} ...
1
vote
0answers
13 views

$\left\|f\right\|_{L^{\infty}(\mathbb R^d)} \leq K \left\|f\right\|_{H^{s}(\mathbb R^d)}$

The Swchartz, $\mathcal S(\mathbb R^d)=\left\{f\in C^{\infty}(\mathbb r^d): \sup_{x\in \mathbb R^d}(1+|x|^{2})^{\frac{k}{2}}\sum_{|\alpha\leq l|}|D^{\alpha}f(x)|< \infty\right\}$, for all $k, l \in ...
2
votes
1answer
29 views

weak solution of poisson equation

Consider the equation , with $u\in H^1$ $$\begin{cases}\Delta u = f & \text{in }\Omega\\ \displaystyle \frac{\partial u}{\partial \nu} = 0 & \text{in } \partial \Omega\end{cases}$$ where $\nu$ ...
3
votes
1answer
52 views

Closure of $C_0^{\infty}$ in $W^{k,p}(\Omega)$

Why is it that in the definition of $W_0^{k,p}(\Omega)$ for $\Omega$ with boundary smooth enough, we only have $D^{\alpha}u$ for all $0\leq|\alpha|\leq k-1$ vanishing at the boundary and not ...
0
votes
0answers
25 views

Traces of Sobolev functions in an unbounded domain

I have a doubt concerning the trace of Sobolev functions. Let $C=\Omega\times(0,\infty)$ an infinite cylinder of basis a smooth domain $\Omega$ of $\mathbb{R}^{N}$ and consider the classical Sobolev ...
1
vote
0answers
27 views

Discrete Poincare Inequality

For the sake of this question, let $\Omega \subset \mathbb{R^2}$ be a regular domain. In variational problems involving the Sobolev space $W^{1,1}(\Omega)$ (or $BV(\Omega)$) one often uses the Sobolev ...
1
vote
1answer
31 views

Two theorems about approximation by smooth functions

Let $U$ be an open subset of $\mathbb{R}^{n}$. The following are two theorems taken from the chapter about Sobolev Spaces of the Evans' book. Theorem 1 Assume $u\in W^{k,p}(U)$ for some $1\le ...
0
votes
0answers
10 views

Sobolev spaces and Lipsschitz continuity [duplicate]

How to show that u $\epsilon$ ${W^{1,\infty}(\Omega)}$ if and only if u is Lipschitz continuous. But I suggested to use the fact that u is Lipshtz means that there is a constant $L>0$ such that ...
1
vote
1answer
34 views

Is the sum of two Sobolev spaces defined on two different sets the Sobolev space defined on the union of these two sets?

Is it true that $H^1(\Omega_1 \cup \Omega_2 )=H^1(\Omega_1)+H^1(\Omega_2)$? Below, we already have a counterexample. Let me ask further. If I impose $\Omega_1 \cap \Omega_2=\emptyset$, is there still ...
2
votes
1answer
65 views

Is it true that $L^2$ is compactly embedded in $(W^{1,2}_{0})^{\ast}$?

Is it true that $L^{2}(\mathbb R^{n})$ is compactly embedded in $(W^{1,2}_{0}(\mathbb R^{n}))^{\ast}$? If so, how can I prove it? Context I've just started to study Functional Analysis. I tried to ...
2
votes
1answer
33 views

Product of weakly differentiable functions

Let $ u,v \in W^{1,1}_\mathrm{loc}(\Omega) $ and assume that $ uv \in L^{1}_\mathrm{loc}(\Omega) $ and $ u\, Dv + v \,Du \in L^{1}_\mathrm{loc}(\Omega) $. I want to prove that $ uv \in ...
0
votes
0answers
21 views

associating a function v \in H^{k+1}(K) with a polynomial function

for all $v\in H^{k+1}(K)$ we can associate a polynomial $p\in P_k$ (space of polynomial functions with degree $\leq k$), defined by $\forall \alpha \in N^n$, with $|\alpha|\leq k,\ \int_K ...
2
votes
1answer
29 views

An inequality using Sobolev norms

Let $\| \cdot \|_{H^s(\mathbb R)}$ be the usual Sobolev norm in $\mathbb R$ and $r>0$. If we have $$ \|f\|_{L^\infty(\mathbb R)} \le \| f\|_{H^k(\mathbb R)} $$ for all $k>r$, then the inequality ...
0
votes
2answers
24 views

Constructing a function $u\in (W_0^{1,p}(B)\cap C(B))\setminus C(\overline{B})$.

Let $B\subset \mathbb{R}^2$ be the unit "open" ball with centre in origin. Define a function $u:\overline{B}\to \mathbb{R}$ in the folllowing way: let $(x,y)=(r\cos\theta,r\sin\theta)$ with $r\in ...
1
vote
0answers
29 views

Approximating by smooth functions with compact support.

Consider a bounded domain $D \subset \mathbb{R}^n$ and the Sobolev space $H^1_{0}(D):=\overline{C_c^{\infty}(D)}^{W^{1, 2}(D)}$. Further, consider a Sobolev function which happens to be smooth: $u\in ...
3
votes
0answers
39 views

Existence theorem on weak solutions of ordinary differential equations

Consider an ordinary vector-valued differential equation of the form $$ \begin{align*} \dot y(t) &= f(t,y(t)), \\ y(0) &= y_0 \in \mathbb{R}^n. \end{align*} $$ It is well known that if $f$ is ...
2
votes
1answer
51 views

If $u\in W_{0}^{1,p}(\Omega)\cap C(\Omega)$ and $N$ is a nodal domain of $u$ , then does it follow that $u\in W_{0}^{1,p}(N)$?

Assume that $\Omega\subset\mathbb{R}^{n}$ is a bounded domain and that $u\in W_{0}^{1,p}(\Omega)\cap C(\Omega)$ . Let $N\not=\emptyset$ be a nodal domain of $u$ , that is, a connected component ...
0
votes
1answer
22 views

Weak derivatives equals zero

Im just learning sobovel space, I was wondering if the weak derivate holds similar things of the original derivate. Let $U\subset \mathbb{R^n}$ is a open set, and $u\in W^{1,p}$ if $$Du=0 \ \ a.e$$ ...
0
votes
1answer
30 views

Sobolev embedding counterexample

I trying to find a counterexample to show that $$W^{1,p}(\mathbb{R ^n}) \nsubseteq C^{0,\alpha}(\mathbb{R^n}) $$ for $p>n$ and $\alpha > 1 -\frac{n}{p}$. No clue yet, thanks for your help.
4
votes
0answers
28 views

Differentiation in Besov-Zigmund spaces

This is my second question in a short time on Besov spaces. I apologize. I am having a rough time with them and I really need to understand this spaces quickly. The besov spaces ...
1
vote
1answer
29 views

Smoothing effect for weak solutions of heat equation

Let $u_0 \in L^2$ and $f \in L^2(0,T;H^{-1})$ and consider the solution $u \in L^2(0,T;H^1)\cap H^1(0,T;H^{-1})$ of $$u_t - \Delta u = f$$ $$u(0) = u_0$$ with some BC (eg. zero Dirichlet). I am ...
1
vote
0answers
21 views

Property of intersections of Bochner spaces

My question: Assume I have a function $ u \in H^2(0,T;L^2(\Omega)) \cap L^2(0,T;H^2(\Omega))$. Now I want to bound the gradient of $u$. Can I deduce that $u \in H^1(0,T;H^1(\Omega))$ and under which ...
-1
votes
0answers
27 views

Canonical injection from $H^1(K)$ in $L^2(K)$ is compact? $K$ compact and connected [closed]

Where can i find a proof that the canonical injection from $H^1(K)$ in $L^2(K)$ is compact? $K$ compact and connected
0
votes
0answers
32 views

When is the second derivative of a $H^{1}$ function in $L^{2}$?

Is there a characterisation of all functions $\phi\in H^{1}$ such that for given functions$\{g^{ij}\in L^{\infty}\}$ then $\sum_{ij} g^{ij}\phi,_{ij}\in L^{2}$ where $\phi,_{ij}=\frac{\partial ...
1
vote
1answer
33 views

tempered distribution and sobolev spaces

The Schwartz space $\mathcal S(\mathbb R^d)$ is the set of all complex-valued function $f \in C^{\infty}(\mathbb R^d)$ such that $\sup_{x\in \mathbb R^d}|x^{\alpha}D^{\beta}f(x)|<\infty$ where ...
1
vote
1answer
33 views

Which functions lies in $H^{loc}_{s}\setminus H_{s}$?

We put $H^{s}=$The Sobolev spaces, and $H^{loc}_{s}=$The localized Sobolev spaces. We note that, $H_{s}\subset H^{loc}_{s};$ also this. Bit roughly speaking, I am interested in knowing that how big ...
1
vote
0answers
31 views

Is Sobolev regularity propagated under evolution?

Given a well-posed initial problem in a domain $\Omega$ of the form: \begin{equation} \square\phi=f \end{equation} where $\square$ is the wave operator, $f\in L^{2}(\Omega)$, with initial ...
0
votes
0answers
52 views

Characterization of $H^{-1}(U)$

I am trying to understand the proof of characterization of $H^{-1}(U)$ as in Evan's Partial Differential equations. My questions is different to that of this link. In the theorem regarding the same, ...
13
votes
1answer
158 views

Pointwise estimate for a sequence of mollified functions

In the answer to Characterisation of one-dimensional Sobolev space Tomás wrote ... let $\eta_\delta$ be the standard mollifier sequence. Let $u_\delta=\eta_\delta\star u$ and note that for any ...
5
votes
1answer
117 views

Besov spaces---concrete description of spatial inhomogeneity

Some very pedestrian questions about Besov spaces. Just to fix notation: 1.Let $f \in \mathcal{S}'$, the space of tempered distributions. 2.$\Psi, \{ \Phi_n \}_{n \geq 0} \subset \mathcal{S}$ such ...
0
votes
0answers
23 views

Find $u:[0,T]\to H^2$ such that $u(0)=u_0\in H^2$ and $u_t(0)=u_1\in H^1$.

Let $u_0\in H^2$ and $u_1\in H^1$. If we define $$ \begin{align*}u:[0,T]&\longrightarrow L^2\\ t&\longmapsto u_0+\int_0^tu_1\;ds \end{align*}$$ then $u(0)=u_0$. Furthermore, the weak ...
1
vote
1answer
39 views

Strong maximum principle for weak solutions?

For a general linear parabolic equation, is a strong maximum principle possible when the solutions are merely weak solutions (i.e. they lie in a Bochner space)? Is there some proof possible that does ...
6
votes
1answer
104 views

Is a Sobolev function absolutely continuous with respect to a.e.segment of line?

Let $p\in [1,\infty]$ and take $u\in W^{1,p}(\mathbb{R}^N)$. It is a well know result that $u$ is absolutely continuous (A.C) on a.e. segment of line parallel to the coordinate axes. It seems to me ...
0
votes
2answers
38 views

Continuation of $W^{1,p}_0$-functions

I know that for an open set $\Omega \subset \mathbb{R}^n$ and $1 \leq p \leq \infty$, a function $u \in W^{1,p}_0(\Omega)$ can be continued to a function $v \in W^{1,p}(\mathbb{R}^n)$ by setting $v=u$ ...
6
votes
0answers
99 views

Proposed proof of analysis result

Hi please advise on my proof of the following result: Assume that $I \subset \mathbb{R}^{n}$ is convex, bounded open set with Lipschitz boundary and let $u_{m},u$ be such that $$u_{m} ...
1
vote
0answers
32 views

Can the closure of a geodesic chart of a manifold without boundary (and with bounded geometry) be defined as a compact manifold with boundary?

Let $(M,g)$ be a $d$-dimensional smooth, riemannian manifold without boundary, which is geodesically complete, connected, has positive injectivity radius and a bounded geometry (i.e. all derivatives ...
2
votes
1answer
33 views

Is $C(\mathbb R) \subset H_{s}^{loc}$ (localized Sobolev space)?

We put, Sobolev space $$H_{s}=H_{s}(\mathbb R)=\{f\in L^{2}(\mathbb R):[\int_{\mathbb R} |\hat{f}(\xi)|^{2}(1+|\xi|^{2})^{s}d\xi]^{1/2}<\infty \}.$$ If $U$ is an open set in $\mathbb R,$ the ...
2
votes
2answers
37 views

Boundedness of Volterra operator with Sobolev norm

Consider the subspace of $C^\infty([0,1])$ functions in the Sobolev space $H^1$. I want to know whether the Volterra operator \begin{equation} V(f)(t) = \int_0^t f(s) \, ds \end{equation} is bounded ...
3
votes
1answer
60 views

Is $C^\infty_0$ dense in $C^\infty$ w.r.t. $\|\cdot\|_{L^p}$ and $\|\cdot\|_{W^{1,p}}$?

Is the space $C^\infty_0(\Omega)$ of smooth functions with compact support, dense in the set of smooth functions $C^\infty(\Omega)$ with respect to the norms $\|\cdot\|_{L^p}$ and the Sobolev-Norm ...
3
votes
2answers
147 views

Characterisation of one-dimensional Sobolev space

I've got some doubts proving that $$H^1_0((a,b))=\{u\in AC([a,b]): u'\in L^2 \text{ and } u(a)=u(b)=0\}:=X.$$Let $$\mathcal A=\{v\in C^2([a,b]):v(a)=v(b)=0\}.$$ $H^1_0((a,b))\subseteq X.$ Let ...
4
votes
1answer
77 views

Example of a function $u\in L^\infty(0,T,H^1)$ such that $u_t\notin L^\infty(0,T,H^1)$

Could someone give me an example of a function $u\in L^\infty(0,T,H^1)$ such that $u_t$ exists (in the distributional sense), $u_t\in L^\infty(0,T,L^2)$ and $u_t\notin L^\infty(0,T,H^1)$? Thanks. ...