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
1answer
16 views

To what fractional Sobolev spaces does the step function belong? (Sobolev-Slobodeckij norm of step function)

I'm new to fractional Sobolev spaces and I'm curious about the regularity of some simple functions like e.$\,$g. step functions in order to understand these spaces better. In more detail, for $\Omega ...
0
votes
1answer
33 views

Sobolev space for Mixed Dirichlet - Neumann boundary condition

Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...
1
vote
1answer
31 views

Can we say $\| f\|_{\dot H^s(\mathbb R^n)} \le \| f \|_{\dot H^q(\mathbb R^n)}$ if $s\le q$?

If $s\le q$, then can we say that $$ \| f\|_{\dot H^s(\mathbb R^n)} \le \| f \|_{\dot H^q(\mathbb R^n)} $$ holds? Here the homogeneous Sobolev seminorm $\|f\|_{\dot H^s(\mathbb R^n)} = ...
1
vote
1answer
25 views

Is there a name for embedding of Lebesgue spaces $L^q(a,b) ⊂ L^p(a,b)$

Let $1 ≤ p ≤ q ≤ ∞$ then $L^q(a,b) ⊂ L^p(a,b)$ where $L^q(a,b), L^p(a,b)$ are Lebesgue spaces Is there a name for this relationship? Is this the Sobolev embedding theorem?
1
vote
0answers
23 views

Under some regularity assumptions to the boundary $\partial\Omega$, the first weak eigenfunction of $-\Delta$ in $\Omega$ is also a strong one

Let $\Omega\subseteq\mathbb R^n$ be a bounded domain, $H:=W_0^{1,2}(\Omega)$ be the Sobolev space, $C^{2,\alpha}(\Omega)$ be the Hölder space for some $\alpha\in (0,1]$ and ...
2
votes
1answer
255 views

Sobolev space $H^2$ norm in terms of gradient

Is it the case that $$|v|_{H^2(\Omega)}^2 = |v|_{H^1(\Omega)}^2 + \int_\Omega\sum_{i=1}^n |\nabla v_{x_i}|^2?$$ I think yes but I have never seen anybody write it like this. I guess generalisations ...
3
votes
1answer
32 views

Sobolev spaces and the domain of fractional Laplacian

I'm reading this paper on arxiv link. So far OK. Now this I don't understand. Take $s=\frac 12$. They say that by density the operator $(-\Delta)^s$ is defined on $\mathbb{H}^s(\Omega)$. ...
3
votes
2answers
111 views

Weak formulation for nonhomogeneous problem $-\Delta u = 0$

I am wondering about the definition of weak solution to the nonhomogeneous problem $$-\Delta u = 0 \text{ in }\Omega$$ $$u = g \text{ in }\partial\Omega$$ given $g \in H^{\frac 12}(\partial\Omega)$. ...
0
votes
1answer
25 views

Continuously differentiable functions are weakly differentiable

Let $\Omega\subseteq\mathbb R^n$ be a bounded domain and $u\in C^1(\Omega)$. I want to show, that $u$ is weakly differentiable, i.e. $$\int_\Omega\psi\frac{\partial u}{\partial ...
0
votes
2answers
90 views

The space $\{ u \in H^1(\Omega) \mid \Delta u \in L^2(\Omega)\}$

For a open Lipschitz domain $\Omega$, consider the space $$A =\{ u \in H^1(\Omega) \mid \Delta u \in L^2(\Omega)\}.$$ Now I heard somewhere that all the second derivatives of a function $u$ are ...
0
votes
1answer
100 views

Weak convergence and convergence almost everywhere

If a bounded sequence $(u_n)$ converge weakly to $u$ in $W^{1,p}(\Omega)$ (Where $\Omega$ is an open bounded from $\mathbb{R}^N$ and $N>p$) Have we that $u_n(x)$ converge to $u(x)$ almost ...
2
votes
1answer
2k views

question 9 - chap 5 evans PDE

The question is : Integrate by parts to prove : $$\int_{U} |Du|^p \ dx \leq C \left(\int_{U} |u|^p \ dx\right)^{1/2} \left(\int_{U} |D^2 u|^p \ dx\right)^{1/2}$$ for $ 2 \leq p < \infty$ ...
2
votes
0answers
25 views

Reference request: The compactness and compact embedding in Besov Space?

This post has been on MathOverflow for couple of days but receive no response. So I put it here hoping for more attentions. Thank you guys! Let $\Omega\subset \mathbb R^N$ be open bounded with ...
1
vote
1answer
25 views

Weak convergence in the Sobolev space and compact embeddedness

Let $\Omega\subseteq\mathbb R^n$ be a bounded domain $H:=W_0^{1,2}(\Omega)$ be the Sopolev space $u\in C^0\left(\overline\Omega\times [0,\infty)\right)\cap C^{2,1}\left(\Omega\times ...
1
vote
2answers
53 views

Deny Lions Lemma

I am working through the finite element book by Ciarlet and am currently looking at the Deny Lion's Lemma (Theorem 3.1.1 p. 115). The Lemma essentially wants to show that $\inf_{p \in P_{k}}\Vert v ...
8
votes
0answers
134 views

Question about boundedness of a sequence in $ W^{3,q} $ for any $ 1\leq q < \frac{N}{N-1} $

I have asked this question several months ago, I have understood every thing and there are good comments and they have helped me , but only I have a question about tomas comment, how can ...
4
votes
0answers
119 views

Question 13 in Taylor's PDE vol III section 16.1.

My question comes from Taylor's PDE textbook, volume III. Consider a semilinear hyperbolic system, $u_t=Lu+g(u)$, $u(0)=f$, where $Lu=\sum_j A_j \partial_{x_j}u$, $g(0)=0, \ |g'(u)| \le C$, take ...
1
vote
1answer
18 views

Convergence of a sequence of Hölder continuous functions with respect to the Sobolev norm

Let $\Omega\subseteq\mathbb R^n$ be a bounded domain, $W_0^{1,2}(\Omega)$ be the Sobolev space and $C^{2,\alpha}$ be the Hölder space for some $\alpha\in (0,1]$. Suppose $(u_k)_{k\in\mathbb ...
4
votes
0answers
30 views

Proof of Sobolev imbedding theorem in Adams

I am struggling to understand the proof of the Sobolev embedding theorem given in Sobolev Spaces by Adams. Specifically section 4.25 (2003 edition). The aim is to prove $W^{m,1}(\Omega) \to ...
6
votes
0answers
157 views

Regularity of a weak solution

The problem is formulated as follows: Let $\Omega\subset\mathbb{R}^2$ a bounded Lipschitz domain. For $u\in L_2(\Omega)$ one can define the one dimensional weak dirivative $\partial_1 u$. Now define ...
2
votes
1answer
32 views

Space between $L^1$ and $BV$?

I am looking for a function space $X_s$ such that this space has following properties: $X_s$ is a Banach space, and has lower semi-continuous properties with respect to $L^p$ strong convergence. I ...
3
votes
0answers
33 views

The best constant in Poincare-liked inequality in BV space

Let $\Omega\subset \mathbb R^N$ open bounded smooth boundary. Then we could prove that for any $u\in BV(\Omega)$ and $\omega\in \operatorname{ker}\mathcal E $, where $\mathcal E$ denotes the ...
0
votes
0answers
30 views

Trace zero not needed for $H^2$ regularity if $V_N\subset H^2$ is finite dim?

Reading Evans and this note after asking this question, I have been thinking about the estimates for interior/global regularity in Evans, 6.3.1, theorem 1, and thoerem 4 in 6.3.2, of the form ...
0
votes
1answer
41 views

$L^2$ inner product split over sub-domains in $\mathbb{R}^3$

I have a bounded Lipschitz domains $\Omega, \Omega_1, \Omega_2 \subset \mathbb{R}^3$ such that $\overline{\Omega}=\overline{\Omega}_1 \cup \overline{\Omega}_2$ and $\Omega_1 \cap \Omega_2=\emptyset$. ...
0
votes
1answer
26 views

Existence of the first weak eigenvalue of the Laplacian in a bounded domain

Let $\Omega\subseteq\mathbb R^n$ be a bounded domain and $$H:=W_0^{1,2}(\Omega):=\left\{u\in L^2(\Omega):\nabla u\in L^2(\Omega)\right\}$$ be the Sobolev space, where $\nabla u$ denotes the weak ...
2
votes
1answer
90 views

Show that $\frac{\int_\Omega|\nabla u|^2+\int_\Omega\alpha|u|^2}{\int_\Omega|u|^2}$ attains a minimum in $W_0^{1,2}(\Omega)$

Let $\Omega\subseteq\mathbb{R}^n$ be a bounded domain $H:=W_0^{1,2}(\Omega)$ be the Sobolev space $|\;\cdot\;|_p$ be the seminorm $$|u|_p^p:=\int_\Omega|\nabla u|^p\;d\lambda^n\;\;\;\text{for ...
1
vote
2answers
70 views

$\Delta u$ is bounded. Can we say $u\in C^1$?

Let $\Omega\subset\mathbb{R}^n$ be a bounded open set. Let us say it has a Lipschitz boundary. Consider the Laplacian $\Delta$ in the classical sense. Suppose $\Delta u=\frac{\partial^2}{\partial ...
1
vote
1answer
24 views

Derivative of highest order is enough for the Sobolev norm?

Thinking about the partial derivative in this question $\Delta u$ is bounded. Can we say $u\in C^1$? of mine, I encountered this post. Equivalent Norms on Sobolev Spaces I wonder if this hold when ...
2
votes
1answer
63 views

If $u_{n}\rightharpoonup u$ in $W_{0}^{1,p}\left(\Omega\right)$ , do we have $u_{n}^{+}\rightharpoonup u^{+}$? [closed]

If $u_{n}\rightharpoonup u$ in $W_{0}^{1,p}\left(\Omega\right)$ , do we have $u_{n}^{+}\rightharpoonup u^{+}$ and $u_{n}^{-}\rightharpoonup u^{-}$ in $W_{0}^{1,p}\left(\Omega\right)$ and vise ...
0
votes
1answer
915 views

proof on Poincare's inequality.

This might be a silly question. So basically, I have proved the Poincare's inequality for $p=1$ case. That is, for $u\in W^{1,1}(\Omega)$, I have $||u-\bar{u}||_{L^1}\leq C||\nabla u||_{L^1}$. Here ...
0
votes
1answer
24 views

Prove that each $W_0^{1,2}$-function is weakly differentiable

Let $\Omega\subseteq\mathbb R^n$ be open. $u\in\mathcal L^1_\text{loc}(\Omega)$ is called weakly differentiable $:\Leftrightarrow$ $\exists v\in\mathcal L^1_\text{loc}(\Omega;\mathbb R^n)$ with ...
1
vote
1answer
29 views

Sobolev norm in the definition of Sobolev spaces

I've seen the Sobolev space defined as: The Sobolev space $H^k(\Omega)$ is the set of all functions $u \in L_2(\Omega)$ for which the weak derivative $\partial^\alpha u \in L_2(\Omega)$ for all ...
1
vote
1answer
30 views

The intersection of $BV$ space.

Given $\Omega\subset \mathbb R^N$ open bounded smooth boundary. We define $$ TV(u,\alpha):=\sup\left\{\int_\Omega u\operatorname{div}v\,dx,\, v\in C_c^\infty(\Omega;\,\mathbb ...
1
vote
0answers
20 views

The relation of the Homogeneous Sobolev norm and general Sobolev norm

I'm wondering if the inequality $$ \left\| F\right\|_{\dot H^k(\mathbb R^n)} \le C\left\| f\right\|_{L^\infty(\mathbb R^n)} \left\| f\right\|_{\dot H^k(\mathbb R^n)} $$ holds for $k\in[0,10]$ then $$ ...
3
votes
1answer
34 views

Definition of Sobolev space $H^s$ and domain of $-\Delta^s$

The spaces below are on $\partial\Omega$, the boundary of a bounded smooth domain $\Omega$. I read this in the book on page 141. Define $H^2 := \{ u \in L^2 \mid (-\Delta u) \in L^2\}$. And ...
2
votes
1answer
49 views

Confusion about inclusions of dual spaces

We have the triple inclusions $H^1_0(\Omega)\subset L^2(\Omega)\subset H^{-1}(\Omega)$, where the second inclusion is not literal but in the sense of distributions. Related to this answer, why is the ...
1
vote
0answers
43 views

How to apply Sobolev inequalities?

I'm struggling with an application of Sobolev inequalities in Evans' book. He presents his argument like this: For $4<p<5$ we have $2(p-1)=2(p-4)+6=2(p-4)+ 2^*$ and therefore $$\left( ...
3
votes
1answer
26 views

Bessel potential space: Proof of completeness

I want to know a proof that the (one-dimensional) Bessel potential space (for $p=2$) $$H^s(\mathbb{R})=\left\{f:\mathbb{R}\to\mathbb{C}:\int_{\mathbb{R}}(1+\lvert \xi\rvert^2)^{\frac{s}{2}}\lvert ...
0
votes
1answer
15 views

standard mollifier (comparing the definition in Evans and wiki)

Hi I am looking at the definition of standard mollifier $\eta$ in Evans, and the $\eta$ from wiki enter link description here Have a very basic question, is the $\eta$ in Evans also compactly ...
-1
votes
2answers
36 views

Difference quotients and weak derivatives (Evans 5.8.2 theorem 3) [closed]

Could anyone give a proof on the remark below the theorem? Basically it is problem 11 I think the proof relates to example 19.19 (p.375) in enter link description here But I really do not ...
2
votes
0answers
33 views

A quick question in PDE and evaluation of norms, need verification

Given $I\subset \mathbb R^N$ open bounded. Then we define two quantities $$ Q_1=\sup\left\{ \int_\Omega u\,\text{div}\phi\,dx, \,\phi\in C_c^\infty(\Omega;\,\mathbb R^2), \,\|\phi\|_{L^\infty}\leq ...
1
vote
0answers
27 views

How to derive this Sobolev-type inequality in $\mathbb R^3$?

Does anyone know a simple way to derive the following inequality for smooth, compactly supported functions in $\mathbb R^3$? $$ \max \,\{ |u(x)| \mid x \in \mathbb R^3 \} \;\leq\; K\|\, Du ...
1
vote
0answers
25 views

Example of function in $H^1(U)$ which is not continuous, where $U \subset R^2$ has a smooth boundary. [duplicate]

Does anyone have a nice geometric example of function in $H^1(U)$ which is not continuous, where $U \subset R^2$ and has a smooth boundary. I want something that is easy to remember.
0
votes
1answer
26 views

Sobolev spaces, extensions and embeddings

I have the following statement whith an argumentation which I do not understand. Fix integers $k,l$ such that $0\leq l\leq k$. Then the identity map on $C^\infty(\mathbb{T}^d)$ extends to the ...
1
vote
1answer
50 views

Composition operators on fractional-order Sobolev spaces

Preliminaries: We know that the fractional-order Sobolev spaces $\mathrm{H}^s(\mathbb{R})$ and $\mathrm{H}^s(\mathbb{T})$ are closed under multiplication provided $s > 1/2$. This is proved for ...
8
votes
3answers
243 views

For which $s\in\mathbb R$, is $H^s(\mathbb T)$ a Banach algebra?

According to Theorem 4.39 in Adams & Fournier Sobolev Spaces: If $mp>n$, $m\in\mathbb N$, then $W^{m,p}(\Omega)$ is a Banach algebra, provided that $\Omega\subset\mathbb R^n$ satisfies the ...
1
vote
0answers
19 views

Multiplication by a Cutoff and Convergence in $H^s(\mathbb R^n)$

I'm trying to teach myself some things about Sobolev spaces out of McLean, Strongly Elliptic Systems and Boundary Integral Equations. Exercise 3.14 has me stumped for no reason: Let $K_j \subset ...
1
vote
1answer
70 views

Sobolev functions counterexample

Let $A=(0,1)^{d}$.Does anyone have a simple example of a funtion in $H_0^1(A)\cap H^2(A)$ that is not in $H^2_0(A)$? Thanks a lot.
1
vote
0answers
12 views

Sobolev space trace theory on $M \times [0,T]$

Let $M$ be a compact Riemannian manifold without a boundary. I wonder how the trace map $T:H^1(M \times [0,T]) \to H^{\frac 12}(M \times \{0,T\})$ is exactly.. can I split it into two trace maps for ...
11
votes
1answer
695 views

Hille Yosida theorem application

Disclaimer: pretty long and specific (contraction semi groups involved). I have fourth order parabolic equation $$ u_t + \Delta^2 u = 0 $$ on $U_T = U \times [0,T]$. $U \subset \mathbb{R}^m$ is a ...