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

10
votes
2answers
756 views

Sobolev space is an algebra

How do you prove that the Sobolev space $H^s(\mathbb{R}^n)$ is an algebra if $s>\frac{n}{2}$, i.e. if $u,v$ are in $H^s(\mathbb{R}^n)$, then so is $uv$? Actually I think we should also have ...
2
votes
1answer
310 views

relation between $W^{1,\infty}$ and $C^{0,1}$

I know that $f \in C^{0,1}_{loc}(U)\Leftrightarrow f \in W^{1,\infty}_{loc}(U)$ and I have a reference for this. I would like a reference or a explanation for $C^{0,1} = W^{1,\infty}$ on domain ...
4
votes
1answer
532 views

Sobolev embedding for $W^{1,\infty}$?

From the Evans'PDE book I learned $W^{1,\infty}(U)$ coincide with Lipschitz continuous $C^{0,1}(U)$ with $U\in\Bbb{R}^n(n\geqslant1)$ is bounded and $\partial U\in C^1$. I wonder the counterpart ...
5
votes
2answers
136 views

Sobolev spaces - about smooth aproximation

Consider $\Omega $ a open and bounded set of $R^n$ . Let $u \in H^{1}(\Omega)$ a bounded function. I know that exists a sequence $u_m \in C^{\infty} (\Omega) $ where $u_m \rightarrow u$ in ...
3
votes
2answers
121 views

Boundedness of functions in $W_0^{1,p}(\Omega)$

Let $\Omega\subset\mathbb{R}^N$ be a bounded regular domain and $p\in (1,\infty)$. Suppose that $u\in W_0^{1,p}(\Omega)$ and $u$ is locally essentially bounded. Does this implies that $u$ is globally ...
1
vote
2answers
88 views

Discontinuous Sobolev Function

I'm trying to show that there's an $f \in H^1(\mathbb{R}^2)$ which is not ae equal to a continuous function. Per a couple of suggestions, I've decided to look at the function $f(x) = ...
5
votes
1answer
282 views

Question about definition of Sobolev spaces

I'm trying to understand the following definition: which can also be found here on page 136. Question 1: Closure with respect to what norm? It's not given in the definition. Question 2: Do I have ...
2
votes
2answers
213 views

variational problem-exercice

Let $\Omega$ an open bounded connexe and regular, and let $f \in L^2(\Omega)$ We consider the variational problem: find $u \in H^1(\Omega)$ such: $$\displaystyle\int_{\Omega} A \nabla u \cdot \nabla v ...
10
votes
3answers
343 views

Are polynomials dense in Gaussian Sobolev space?

Let $\mu$ be standard Gaussian measure on $\mathbb{R}^n$, i.e. $d\mu = (2\pi)^{-n/2} e^{-|x|^2/2} dx$, and define the Gaussian Sobolev space $H^1(\mu)$ to be the completion of ...
1
vote
1answer
336 views

Delta Dirac Function

Show that $\delta$, function of Dirac, defined than $\left<{\delta_0,\phi}\right> = \phi(0)$ belongs to $W^{-1,p}(]-1,1[)$ and $\delta_0 \notin L^p(-1,1)$ $\forall p\geq 1$. How I will be able ...
10
votes
1answer
491 views

Understanding a theorem concerning Sobolev spaces

I have two doubts in the proof of the theorem below. If you want the detaIls can be found here. Theorem A Let $q$ a given real number $q>p$. Let $u \in W^{1,p}$ be a solution to (E2). Assume ...
3
votes
1answer
135 views

Gauss–Ostrogradsky formula for Distributions

Let $\Omega\subset\mathbb{R}^N$ be a bounded domain and $u\in W^{1,p}(\Omega)$, $v\in L^{p'}(\Omega)^N$ with $p\in (1,\infty)$. Let $\operatorname{div}(v)$ be the divergence of $v$ in the sense of ...
3
votes
1answer
650 views

Acting of a dual pairing in Sobolev Spaces

I have a question about the Sobolev Space $H^1_0(U)$, where $U$ is a open subset of $\mathbb{R}^n$. Let us denote with $H^{-1}(U)$ the dual space of $H^1_0$. How is the acting of $H^{-1}$ and $H^1_0$ ...
2
votes
1answer
224 views

Sobolev inequality

If $f\in H^2(\mathbb R^2)$, I want to show that $||f||_{L^\infty}\le c||f||_{H^2}$ $||f||_{L^\infty}\le c||f||_{H^1} [1+\ln(1+||f||_{H^2})]$ For 1, I use $||f||_{L^\infty}\le \sup_{x\in \mathbb ...
1
vote
3answers
549 views

Weak convergence and strong convergence

Suppose $f_i$ is uniformly bounded in $W^{1,p}$ for some $+\infty>p>1$, then by passing to a sub-sequence, we can suppose $f_i$ is weakly convergent to $f$ in $W^{1,p}$. Assume furthermore that ...
2
votes
1answer
91 views

Relation between Sobolev Space $W^{1,\infty}$ and the Lipschitz class

I have a Sobolev space related question. In the book 'Measure theory and fine properties of functions' by Lawrence Evans. I know the result that states that for $f: \Omega \rightarrow \mathbb{R}$. $f$ ...
0
votes
1answer
305 views

sobolev spaces - product of two functions

I am working in a exercise, to my solution works I need the following affirmation is true: Let $\varphi : R \rightarrow R$ a convex and smooth function. Let $u \in H^{1}(U)$ a bounded function and $v ...
4
votes
2answers
181 views

How to prove that $\lVert \Delta u \rVert_{L^2} + \lVert u \rVert_{L^2}$ and $\lVert u \rVert_{H^2}$ are equivalent norms?

How to prove that $\lVert \Delta u \rVert_{L^2} + \lVert u \rVert_{L^2}$ and $\lVert u \rVert_{H^2}$ are equivalent norms on a bounded domain? I hear there is a way to do it by RRT but any other way ...
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
148 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 ...
3
votes
1answer
124 views

variational question

Let $\Omega$ a bounded domain, connexe and regular, and let $f \in L^2(\Omega).$ Let the variational problem: Find $u \in H^1(\Omega)$ such $$\int_{\Omega} \nabla u \nabla v dx + (\int_{\Omega} u ...
2
votes
1answer
605 views

Poincare Inequality

In page 290 of this book, Evans prove the Poincare inequality (Theorem 1) arguing by contradiction. Is there a direct proof of this theorem (Theorem 1) without arguing by contradiction?
2
votes
3answers
694 views

Help with Evans PDE problem

I have trouble proving the following problem (Evans PDE textbook 5.10. #15). Could anyone kindly help me solving the problem? I know that I should somehow use Poincare inequality but I still cannot ...
1
vote
2answers
204 views

Eignvalues of Laplacian operator and Sobolev spaces

Let $\Omega$ an open bounded in $\mathbb{R}^n$ and $I$ un interval in $\mathbb{R}$, let $t_0 \in I$, $f\in H^1_0(\Omega)$, $g\in L^2(\Omega)$. Let $(\lambda_n)_{n\in \mathbb{N}}$ the eigen values od ...
1
vote
2answers
347 views

Question about limits of weakly convergent sequence in $H^1_0(\Omega)$

Let $H = H_{0}^{1}(\Omega)$ where $\Omega$ is a bounded domain in $R^N$ whose boundary $\partial\Omega$ is a smooth manifold. We know that the embedding $$H\hookrightarrow L^s(\Omega)$$ is compact for ...
-1
votes
2answers
117 views

finite elements-exercice

We consider in $\mathbb{R}^2$ the set of points $$\{M_1(-1,1),M_2(0,1), M_3(2,1),M_4(-1,0),M_5(1,0),M_6(2,0)\}$$ Let $\Omega$ a rectangular structure consisting of the heads $\{M_4(-1,0),M_6(2,0), ...
9
votes
1answer
397 views

$C^\infty_{0}(\bar\Omega)$ dense in $W^{k,p}(\Omega)$: the closure is necessary?

It is a fundamental result of Sobolve space that Let $\Omega = \mathbb{R}^d$ or $\mathbb{R}^d_+$, then $C^\infty_{0}(\bar\Omega)$ is dense in $W^{k,p}(\Omega)$. However, in some literatures, ...
7
votes
1answer
988 views

Vector, Hilbert, Banach, Sobolev spaces

Trying to wrap my head around all these different spaces. Which one is the most general? Can you summarize the differences between them? Is there a notable space that I missed?
10
votes
1answer
347 views

Why no trace operator in $L^2$?

We have trace operator which allows us to define boundary values of an $H^1$ function. This is because of the fact that $C^\infty$ is dense in $H^1$ under the $H^1$ norm, I believe. I'm sure either ...
5
votes
1answer
201 views

Spectrum of Laplace operator

How can I prove that the spectrum of the Laplace operator $\Delta: H^2(\mathbb{R}^N)\subset L^2(\mathbb{R}^N)\rightarrow L^2(\mathbb{R}^N)$ is $\sigma(\Delta)=]-\infty,0]$?
4
votes
0answers
75 views

$u\in W^{1,p}(B)$ implies $u\in W^{1,p}(\partial B_t)$ for almost $t\in (0,1]$?

Suppose that $u\in W^{1,p}(B)$ where $B=B(0,1)\subset\mathbb{R}^N$ and $p\geq 1$. It was showed on this post (as an application of Fubini's theorem) that for almost $t\in (0,1]$ $$u_{|\partial ...
13
votes
1answer
357 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 ...
7
votes
1answer
231 views

Function in $H^1(\Omega)$ which cannot be extended to a greater Sobolev Space

The problem is like this: Consider the open set $\Omega \in \Bbb{R}^2$ by $\Omega=\{(x,y) : 0<x<1, 0<y<x^2 \}$ Is $\Omega$ with Lipschitz boundary? (i.e. the boundary is ...
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} ...
4
votes
2answers
69 views

Bounded data means bounded solution to parabolic PDE

Let $u_0 \in L^\infty(\Omega)$ and $f \in L^\infty((0,T)\times\Omega).$ Consider $$u_t - \Delta u = f$$ $$u|_{\partial\Omega} = 0$$ $$u(0) = u_0$$ or more generally replace $\Delta$ with a suitable ...
4
votes
1answer
92 views

Can $u\in W_0^{1,p}\cap L^\infty$ be approximated by a sequence $u_k\in C_0^\infty $ with $\|u_k\|_\infty$ bounded?

Assume that $\Omega\subset\mathbb{R}^N$ is a bounded Lipschitz domain and let $p\in [1,\infty)$. Suppose that $u\in W_0^{1,p}(\Omega)\cap L^\infty (\Omega)$. Is it possible to approximate $u$ by a ...
4
votes
1answer
156 views

What can be said about the eigenvalues of the Laplace operator in $H^k(\mathbb{T}^2)$

Consider the Laplace operator $$\Delta: H^{k+2}(\mathbb{T}^2) \to H^k(\mathbb{T}^2)$$ where $\mathbb{T^2}$ is the two-dimensional torus (which is a compact manifold without boundary), so that $$ ...
4
votes
1answer
155 views

Need help understanding this proof of regularity of traveling wave solutions to the Gross-Pitaevskii equation

These are actually 4 question about a proof given in this paper. Any hint to solutions for any of these questions would be much appreciated! Lemma 1. Assume $v$ is a solution to the equation ...
4
votes
1answer
201 views

The dual of the Sobolev space $W^{k,p}$

The dual of the Sobolev space if defined to be $$(W^{k,p}(\Omega))' = W_0^{-k,p'}(\Omega)$$ where $\frac 1 p + \frac 1 {p'} = 1$. Why makes this definition sense, especially why do we have ...
4
votes
1answer
974 views

Characterization of the $H^{-1}$-norm in Evans's PDE book

I'm reading through the Sobolev Spaces section in Evans's Partial Differential Equations book, and I was stuck on a theorem characterizing the $H^{-1}$ norm. On page 299 Theorem 1 (in the second ...
3
votes
1answer
137 views

A real analysis question

I would like to ask if the following statement is true or not: Let $u,v:\Omega\subset% %TCIMACRO{\U{211d} }% %BeginExpansion \mathbb{R} %EndExpansion ^{N}\rightarrow% %TCIMACRO{\U{211d} }% ...
2
votes
1answer
108 views

Example of linear parabolic PDE that blows up

Does anyone have an example of a linear parabolic PDE that blows up in finite time in a Sobolev space setting? How does one show blow up for that particular example? The one in Evans unfortunately is ...
2
votes
1answer
93 views

A question about a Sobolev space trace inequality (don't understand why it is true)

Let $\Omega$ be an open set with boundary $\partial\Omega$. Let $u \in H^1(\Omega)$. There exists a $\lambda \in \mathbb{R}$ such that $$\int_\Omega |\nabla u |^2 + ...
2
votes
2answers
332 views

Proof of Sobolev Inequality Theroem

I have a short question about the proof of Theorem 2 below. I have included Theorem 1's statement since it is used in the proof of Theorem 2. Definition: If $1 \leq p < n$, the Sobolev Conjugate ...
2
votes
1answer
354 views

Sobolev Embedding (Case: p=N)

Let $\Omega\subset\mathbb{R}^N$ be a regular bounded domain. Suppose $p=N$, then by Sobolev theorem, we have that for fixed $q\in [1,\infty)$ $$\|u\|_q\leq C\|u\|_{1,N}\ ,\forall\ u\in ...
0
votes
1answer
56 views

Find minimal $\alpha_3$ such that $u\in H^3(\Omega)$ and $u(x,y,z)=x^\alpha(1-x)y(1-y)z(1-z)$

My instructor presented me the quiz below but forgot to define key terms such as minimality and $H^3$. Quiz Let $u(x,y,z)=x^\alpha(1-x)y(1-y)z(1-z)$. Find the minimal $\alpha_3$ such that $u\in ...
8
votes
2answers
523 views

Sobolev meets Wiener

Even though the Wiener process (Brownian motion) is continuous, it has no derivative at any point. Does it at least have weak derivatives?
7
votes
1answer
271 views

Do the two limits coincide?

Let $a$ be a non negative (positive almost everywhere) weight in $L_{loc}^1(\Omega)$, $\Omega\subseteq\mathbb{R}^n$ is open. For $\varphi\in C_c^{\infty}(\Omega)$ define $$ ...
6
votes
1answer
105 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 ...
4
votes
1answer
166 views

The dual space of the Sobolev space $H_0^1$

I am slightly confused about the properties of the dual space of the Sobolev space $H_0^1$ as outlined on page 299 in Evans. In particular, following the notation in the book, item 3 says that ...