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

1
vote
0answers
27 views

How to integrate functions in n dimensional space?

I have a question about an example of functions in Sobolev space. But I think you can give a hint without knowing the Sobolev space because I just want to know how to integrate a function with ...
1
vote
0answers
41 views

Doubt about convergence of a sequence in $H^1(\mathbb{R}^3)$

Let's consider a sequence $\{f_n\}_n$ of $C^\infty_0(\mathbb{R}^3)$ complex-valued functions and suppose thet $f_n\to f$ strongly in $H^1(\mathbb{R}^3)$. What can I say about the convergence of the ...
0
votes
1answer
16 views

sequence in $H_0^1(0,1)\setminus D(0,1)$

Consider $D(0,1)=\{f\in C^{\infty}(0,1); supp(f)\subset (0,1)\;\text{compakt}\}$ and $H_0^1(0,1)=\overline{D(0,1)}^{\|\cdot\|_{1,2}}$, with the norm ...
1
vote
1answer
30 views

Lower semicontinuity of ${\dot{H}}^1$ norm

I have a in $H^1(\mathbb{R^N})$ uniformly bounded sequence $u_n \in H^1$. I also know $u_n\to u$ in $L^p$ for every $2\leq p < 2^\ast$, where $\ast$ means the Sobolev exponent. Can I conclude that ...
1
vote
1answer
77 views

Fundamental theorem of calculus in Sobolev Space $H^1$

I would like to know whether the the Fundamental theorem of calculus (Part II) can be applied in the following setting. Let $(a,b)$ be an open interval in $R^1$. Let $u \in H^1((a,b))$ with $u(a)=0$ ...
3
votes
1answer
29 views

The range of Sobolev spaces to which the function $r^\beta\sin\beta\theta$ belongs

I am learning about Sobolev space, and I am working on the following problem from "The mathematical theory of finite element methods" by Brenner. To make the problem a little bit easier for me, I ...
3
votes
1answer
82 views

Is $\|\nabla u\|_2$ a norm on $W^{1,2}(\mathbb{R}^N)$

Is $\|\nabla u\|_2$ a norm on $W^{1,2}(\mathbb{R}^N)$? I know when $\Omega$ is bounded, $\|\nabla u \|_2$ defines a equivalent norm on $W_0^{1,2}(\Omega)$ with $\|u\|_{1,2}$. And to me it seems ...
1
vote
0answers
23 views

Is $W(0,T;H^1, L^2) \cap L^\infty(0,T;L^\infty(M))$ dense in $W(0,T;H^1, H^{-1})$?

Let $M$ be a compact Riemannian manifold that is closed. Define $$W(0,T, H^1, L^2) = \{ u \in L^2(0,T;H^1(M)) \mid u_t \in L^2(0,T;L^2(M))\}$$ $$W(0,T, H^1, H^{-1}) = \{ u \in L^2(0,T;H^1(M)) \mid u_t ...
0
votes
2answers
66 views

Does the existence of weak derivatives require the lower order derivatives also to exist?

I just want to confirm that for weak derivatives you don't require the lower order derivatives to exist in order for the higher order derivatives to exist?
3
votes
1answer
65 views

What does $|Du| \leq 1 $ a.e. mean for $u\in L^2(\mathbb{R}^n)$.

What does $|Du| \leq 1 $ a.e. mean for $u\in L^2(\mathbb{R}^n)$. In the paper that I am reading, the authors used the notation $|Du| \leq 1 $ a.e. I know when $u\in W^{1,p}(\mathbb{R}^n)$ then ...
1
vote
1answer
55 views

Is the set of smooth functions with zero mean dense in the space of Sobolev functions with zero mean?

Given a Lipschitz domain $\Omega$ in $\mathbb{R}^n$, I know that the space of infinitely differentiable functions with compact support $C^\infty_0 (\Omega) $ is dense in the Sobolev space ...
0
votes
2answers
67 views

Question about this problem If $u \in H^1(U)$, then $Du=0$ a.e. on the set $\{u=0\}$

In this problem If $u \in H^1(U)$, then $Du=0$ a.e. on the set $\{u=0\}$ I don't understand this part: $$ \int_U \partial_i u^\epsilon\,v\,dx\to 0\tag w$$ for all $v\in L^2(U)$, but now we only ...
2
votes
2answers
35 views

$ \int_{\mathbb R^d}\int_{\mathbb R^d}b(x,y)\,f(x)\,f(y)dx\,dy \leq ||b_+||_{L^2(\mathbb R^d\times \mathbb R^d)}||f||_{L^2(\mathbb R^d)}^2 $

We are given the following, $$ b:\mathbb R^d \times \mathbb R^d \rightarrow \mathbb R,\;\; f:\mathbb R^d\rightarrow \mathbb R $$ and $$ f\in L^2(\mathbb R^d)\; ,\;b\in L^2(\mathbb R^d\times \mathbb ...
1
vote
1answer
53 views

weak* convergence in Sobolev space

Consider $\Omega \subset \mathbb{R}^{N}$, open and bounded. If $u_{n} \rightharpoonup^{*} u$ in $W^{1,\infty}_{0}(\Omega)$, then does it follow that $u_{n} \rightharpoonup^{*} u$ in ...
2
votes
0answers
34 views

Why this function is in $C^\infty((0,\infty);H^1(\Omega))$?

Let $\lambda_j$ be the eigenvalues of the Neumann Laplacian on a bounded domain $\Omega$ with eigenvectors $\varphi_j$, which we know are smooth. Given a function $u \in H^{\frac 12}(\Omega)$ with ...
2
votes
1answer
24 views

Characterization of Sobolev space $H^m(\mathbb R^n)$ with $m\in\mathbb N_0$?

I want to show that if $m\in\mathbb N_0:=\mathbb N\cup\{0\}$ then $$H^m(\mathbb R^n):=\{u\in\mathscr{S}^\prime(\mathbb R^n): \exists f\in L^2(\mathbb R^n); \partial^\alpha f\in L^2(\mathbb R^n)\ ...
0
votes
1answer
119 views

Compact embedding of anisotropic Sobolev space

I am interested to know if the following result for anisotrpic Sobolev spaces is correctly presented. Also, does anyone have a good reference for this? Or can maybe confirm this result in its current ...
0
votes
1answer
44 views

The minimizing problem over a sequence of shrinking balls

Let $B(0,r)\subset \mathbb R^3$ be a ball centered at $0$ with radius $r$. Define $$ \mathcal A_r:=\{u\in H_0^1(B(0,r)),\,\,\|u\|_{L^{q+1}}=1\}$$ where $1<q<5$. Hence we know that each ...
1
vote
1answer
61 views

Question of $u\in L^p(U)$ does not have a trace on $\partial U$. [duplicate]

Let $U$ be bounded, with $C^1$ boundary. Show that a "typical" function $u\in L^p(U)$ does not have a trace on $\partial U$. More precisely, prove that does not exist a bounded linear operator ...
1
vote
0answers
50 views

Poincare inequality on a domain for functions with mean value zero

Let $C=\Omega \times (0,\infty)$ for a bounded $C^1$ domain $\Omega$. Consider a function $u \in H^1(C)$. Write $u=u(x,y)$ where $x \in \Omega$ and $y \in (0,\infty).$ Is it true that if $u \in ...
0
votes
1answer
20 views

If given $F(u_k)\to F(u)$ and $F'(u_k)\nabla u_k \to F'(u)\nabla u$ in $L^p$, why we have $F(u) \in W^{1,p}$ and $\nabla F(u)=F'(u)\nabla u?$

If $F$ continuous, $u_k \in C^{\infty}(\overline U)$, $u \in W^{1,p} (U)$. If given $F(u_k)\to F(u)$ and $F'(u_k)\nabla u_k \to F'(u)\nabla u$ in $L^p$, why we have $$F(u) \in W^{1,p}$$ and $$\nabla ...
2
votes
1answer
36 views

Approximation of Sobolev space functions by smooth functions

I am learning about the Sobolev spaces from the book "Theoretical numerical analysis : a functional analysis framework" by Atkinson and Ham. Here is the excerpt from the book that I do not ...
0
votes
1answer
42 views

How to prove the chain rule with respect to weak derivatives?

The following theorem is on the textbook "weak differentialble functions". I found it confusing from the absolutely continuous part. I am writing to ask is this the only way to prove it? Can anyone ...
0
votes
1answer
22 views

Is $H^1(0,\infty) \subset C^0([0,\infty))$?

Is it true that $H^1(0,\infty) \subset C^0([0,\infty))$ is a continuous embedding? How would I prove it? I do know this holds for bounded domains in one dimension but here we have the half line. ...
0
votes
0answers
33 views

Why is this integral involving the mean value function zero?

Let $u$ and $v$ belong to $H^1(\Omega \times (0,\infty))$ on a bounded domain $\Omega$. Define $$(Au)(y) := \frac{1}{|\Omega|}\int_\Omega u(x,y)\;\mathrm{d}x.$$ We have that $Au \in H^1(0,\infty)$. ...
0
votes
1answer
31 views

How to compute the $H^{-s}(\Omega)$-norm of a function?

Suppose to have a sufficiently regular domain $\Omega\subseteq\mathbb{R}^d$. I know that, for $s\in\mathbb{R}_+$, the space $H^{-s}(\Omega)$ is defined as the dual of $H^s_0(\Omega)$, endowed with the ...
1
vote
0answers
48 views

$-\Delta u = f$ in $L^2(0,T;H^{-1}(\Omega))$ (as opposed to $H^{-1}(\Omega)$)

Why does nobody consider the equation $-\Delta u = f$ in the space $L^2(0,T;H^{-1}(\Omega))$? Eg. given $f \in L^2(0,T;L^2(\Omega))$ find a solution $u \in L^2(0,T;H^1_0(\Omega))$ such that ...
1
vote
0answers
31 views

Show that elements $u \in W^{1,\infty}(U)$ have continuous representatives

Let $U$ be a bounded, open subset of $\mathbb{R}^n$, and suppose that the boundary $\partial U$ is of class $C^1$. Suppose that $u \in W^{1, \infty}(U)$. I wish to prove that there exists a ...
1
vote
0answers
40 views

Inclusion of Sobolev spaces with fractional order

Let $W^{k,p}\mathbb(R^n)$ the usual Sobolev space. We know that if $k>l$ and $1\leq p<q<\infty$, $(k-l)p<n$ and $$\frac{1}{q}=\frac{1}{p}-\frac{k-l}{n}$$ then ...
1
vote
0answers
15 views

what is the difference between renormalized solution and entropy solutions for nonlinear elliptic PDE?

I want to know the difference between renormalized solution and entropy solutions for nonlinear elliptic PDE when right hand side of the elliptic operator is $L^1.$ Also how does right hand side with ...
0
votes
0answers
69 views

Product rule in fractional Sobolev spaces

I have to prove the following inequality $$\Vert fg\Vert_{H^s(\mathbb{R}^3)}\leq C \Vert f\Vert_{H^\sigma(\mathbb{R}^3)}\Vert g\Vert_{H^{s+1}(\mathbb{R}^3)}$$ with $s\geq 0$, ...
1
vote
1answer
16 views

Equivalent Solovec norms (atypical)

I have $s\in\mathbb{R}$ and I'm looking at the space $H^s$ of functions $f$, such that $$\lVert f\rVert_{H^s}^2:=\int_\mathbb{R} (1+\lvert x\rvert^2)^s\lvert f(x)\rvert^2\,dx<\infty.$$ I want to ...
1
vote
2answers
51 views

Infimum of $\frac{||u'||^p_{L^p}}{||u||^p_{L^p}}$ for $u \in W^{1,p}_0((0,1))$

Good afternoon everyone! It is very easy to show that the infimum mentioned in the title is strictly positive, but it seems much more difficult to show that it is attained within the Sobolev space of ...
2
votes
1answer
38 views

Are trace function embedded in $L^\infty$?

Consider a bounded domain $\Omega \subset \mathbb R^d$ with a Lipschitz boundary (could also be a smooth boundary). Is the trace space $H^{1/2}(\partial\Omega)$ embedded in $L^\infty(\partial\Omega)$? ...
1
vote
0answers
39 views

Boundedness of Helmholtz projection

Let's cosider the Helmoltz projection $P$ into solenoidal subspace defined as $$P=I-\nabla div\Delta^{-1}$$ What can I say about its boundedness as an operator in $H^s(\mathbb{R^3})$?
1
vote
0answers
80 views

Leibnitz rule for fractional derivatives

I need to estimate the following norm $$\Vert fg\Vert_{H^{\frac{1}{2}}(\mathbb{R}^3)}$$ Is there some product rule for the fractional derivative?
2
votes
0answers
28 views

log-sobolev inequalities for infinite measures.

I was wondering if we could have log-sobolev inequalities for infinite measures, most notably Lebesgue measure. I presume this is false, but I haven't been able to construct one. I tried playing ...
1
vote
0answers
21 views

Relationships among different definitions of Sobolev spaces

In Tsybakov's book(Page 51), Sobolev space (or Ellipsoid) for positive smoothness parameter $s$ is defined with sequential model, i.e. the series of the Fourier coefficients is finite. On the other ...
2
votes
1answer
104 views

Laplacian and Hodge Laplacian

I am new to the theory of differential forms, but there is one thing that I don't get at all. Imagine that you are on the sphere $\mathbb{S}^2$, then the Laplacian $- \Delta$ is known to be a ...
2
votes
1answer
58 views

weak convergence of $L^2$ implies weak convergence of $W_0^{1,2}$ (up to a subsequence)?

In the paper that I am reading, it says that if $\{u_n\}$ are bounded in $W_0^{1,2} (\Omega)$ (bounded $\Omega\subset \mathbb{R}^N$) and $u_n \rightharpoonup u$ weakly in $L^2 (\Omega)$, then there ...
0
votes
1answer
52 views

Differential operator a bounded operator or not?

Is the operator $T$ a bounded operator mapping $T: H^n([0,\pi]) \rightarrow H^{n-1}([0,\pi])$ ($H^n$ is the n-th Sobolev space with respect to $L^2$) or not? The operator itself is given by ...
1
vote
1answer
46 views

Stuck with this function

im trying to find the values of $\alpha \in \mathbb{R}$ for which the function $f: B_2(0,\frac{1}{2}) \rightarrow \mathbb{R} $, $ x \mapsto |\log(\|x\|_2)|^\alpha$ is in $L^2(B_2(0,\frac{1}{2}))$ and ...
0
votes
0answers
36 views

$\sup$ of a $C^s$ smooth function.

I want to prove that for a function $F\in C^k(\mathbb{R}^n)$ which vanishes at zero, and a function $u\in H^k(\mathbb{R}^n)$we get: $$\left\| \int_{r=0}^1 F'(ru)(\cdot)dr \right\|_{L^{\infty}} \leq ...
0
votes
1answer
209 views

Chain rule in a Sobolev space

(Chain rule) Assume $F : \mathbb{R} \to \mathbb{R}$ is $C^1$, with $F'$ bounded. Suppose $U$ is bounded and $u \in W^{1,p}(U)$ for some $1 \le p \le \infty$. Show $$v :=F(u) \in W^{1,p}(U) \quad ...
0
votes
2answers
94 views

first order weak derivative of function $ f(x) = |x| $

let $f(x)= |x| $ how can I calculate the first order weak derivative of this function in $x=0$? Does anyone have an idea on how to calculate this?
4
votes
0answers
67 views

why $ \nabla v_n \to \nabla v \ \ (a.e.)$ and $ v_n \to v $

Can someone see the 10th line of page 9 in this article and give a hint that why $$ \nabla v_n \to \nabla v \ \ (a.e.)$$ and $$ v_n \to v $$ and how with theorem 2.1 we could conclude there exists $ ...
2
votes
0answers
41 views

if $\Delta u = |\nabla u|^{3/2}$ then $u \in C^{\infty}$

Suppose $u \in H^1_{\text{loc}}(\mathbb{R^2})$. I want to show that if $\Delta u = |\nabla u|^{3/2}$ in the distributional sense then $u \in C^{\infty}$. I know that since $\nabla u \in L^2$ (I'll ...
0
votes
1answer
239 views

If $u \in H^1(U)$, then $Du=0$ a.e. on the set $\{u=0\}$

Provide details for the following alternative proof that if $u \in H^1(U)$, then $$Du = 0 \text{ a.e. } \, \text{ on the set } \{u=0\}. $$ Let $\phi$ be a smooth, bounded and nondecreasing ...
1
vote
1answer
95 views

If $u \in W^{1,p}(U)$, prove that $Du=0$ a.e. on the set $\{u=0\}$.

Assume $1 \le p \le \infty$ and $U$ is bounded. (a) Prove that if $u \in W^{1,p}(U)$, then $|u| \in W^{1,p}(U)$. (b) Prove $u \in W^{1,p}(U)$ implies $u^+,u^- \in W^{1,p}(U)$, and ...
1
vote
2answers
65 views

About an uncommon theorem of Morrey

I am searching for a reference with the following result: Let $\Omega \subset R^n$ an open bounded domain with smooth boundary . Let $2\leq p < n$ and $u \in W^{1,p}(\Omega)\cap ...