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
128 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
66 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
55 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
23 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
41 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
51 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
24 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
35 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
35 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
50 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
34 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
45 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
16 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
72 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
17 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
41 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
40 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})$?
2
votes
0answers
93 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
1answer
40 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
23 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
132 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
62 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
53 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
50 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
265 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
109 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?
8
votes
0answers
143 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 ...
3
votes
0answers
50 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
249 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
109 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
69 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 ...
1
vote
1answer
47 views

help to prove $||u||_{W^{2,2}(\Omega) }\le C ||\Delta u ||_{L^2(\Omega )} $

Can some one give a reference or hint for proving $$||u||_{W^{2,2}(\Omega)} \le C ||\Delta u ||_{L^2(\Omega )} $$
0
votes
0answers
32 views

This Sobolev function is continuous?

Let $\Omega \subset R^n $ $(n \geq 2) $ an open bounded domain with smooth boundary $u \in W^{ 1,p}(\Omega)\cap L^{\infty}(\Omega)$ ($p \geq 2$ fixed). Suppose that exist $M > 0$ such that $$ ...
3
votes
1answer
91 views

$-\Delta u - \alpha u^{1/3} = 0$ implies $u \equiv 0$ if $\alpha$ is small

Let $\Omega$ be a domain in $\mathbb{R}^{d}$ with smooth boundary. Let $u(x)$ be a $H^{1}(\Omega)$ solution of the equation $-\Delta u - \alpha u^{1/3} = 0$, $u|_{\partial \Omega} = 0$. The problem I ...
1
vote
0answers
26 views

Compactness of Pseudo-differential Operators on $H^s(\mathbb R^n)$?

The Sobolev space of order $s\in\mathbb R$ in $\mathbb R^n$, denoted by $H^s(\mathbb R^n)$, is defined as follows: $$H^{s}(\mathbb R^n):=\{u\in\mathscr{S}^{'}(\mathbb R^n): \exists f\in ...
1
vote
1answer
62 views

weak* convergence definition in Sobolev space

I have a question which might quite trivial but I would appreciate any assistance. Why does it follow that for Sobolev spaces, say $W^{1,p}(\Omega)$, where $\Omega \subset \mathbb{R}^n$, it follows ...
2
votes
0answers
43 views

Verify that the unbounded function belongs to $W^{1,n}$ [duplicate]

Verify that if $n > 1$, the unbounded function $u = \log \log \left(1+\frac 1{|x|}\right)$ belongs to $W^{1,n}(U)$, for $U=B^0(0,1)$. This is PDE Evans, 2nd edition: Chapter 5, Exercise 14. ...
0
votes
1answer
52 views

Bounded Right Inverse

If a linear operator between two Banach spaces is surjective and bounded, can we get any information about a right inverse? For example, is it bounded? Thanks, trying to understand trace operator ...
2
votes
1answer
69 views

Delta distribution as a bounded linear functional

Let $\Omega \subset \mathbb{R}^n$ be a domain with $0 \in \Omega$. For which $n \in \mathbb{N}$ is the Dirac-delta distribution a bounded linear functional on $H_{0}^{1}(\Omega)$, that is to say, an ...
1
vote
0answers
63 views

Proof of weak derivatives in Evans PDE?

In the textbook of Partial differential equation of Evans. Why from $\int_U(v-\overline v)\phi dx=0$ for all $\phi \in C_c^\infty (U)$, we can get $v-\overline v=0$ a.e.? How to prove it? ...
2
votes
1answer
49 views

Why does this completion of a Sobolev space contain constant functions? Please explain text.

Below, $\mathcal{C} = \Omega \times (0,\infty)$, $x$ refers to the variable in $\Omega$ and $y$ to the variable in $(0,\infty)$, and $\Omega$ is a bounded smooth domain. $tr_\Omega:H^1(C) \to ...
3
votes
1answer
48 views

Using Mac Shane's Lemma

Let $I \subset \mathbb{R}^{N}$ be a convex, bounded open set with Lipschitz boundary $\partial I$. Let $\lbrace u_{n} \rbrace_{n}$ and $u$ be such that $$ u_{n} \rightharpoonup^{*} u~~ \text{ in }~ ...
1
vote
1answer
143 views

Estimate $L^{2p}$ norm of the gradient by the supremum of the function and $L^p$ norm of the Hessian

Prove $$\|Du\|_{L^{2p}(U)} \le C\|u\|_{{L^\infty}(U)}^{1/2} \|D^2 u\|_{L^p(U)}^{1/2}$$ for $1 \le p < \infty$ and all $u \in C_c^\infty(U)$. This is PDE Evans, 2nd edition: Chapter 5, Exercise ...
1
vote
1answer
58 views

$\int_\Omega |\nabla u^+|^2 \, dx$ is not differentiable with respect to $u$ in $W_0^{1,2}(\Omega)$

Let $u \in W_0^{1,2}(\Omega)$, where $\Omega$ is some domain in $\mathbb{R}^N$, $N \geq 1$. Denote $u^+ := \max\{u, 0\}$. (It is know that $u^+$ also belongs to $W_0^{1,2}(\Omega)$ (see, e.g., ...
2
votes
0answers
37 views

Inequality involving $H^s$ and $L^2$.

I have this inequality which I don't see how to prove it. We have $F \in C^s$, and $u\in H^s$. I want to show that: $$\| F\circ u \|_{H^s} \leq C(\| F \circ u \|_{L^2}+\sum_{r=1}^s \sum_{j=1}^r ...
1
vote
1answer
73 views

Deriving $|u(x)-u(y)|\le|x-y|^{1-\frac 1p}\left(\int_0^1 |u'|^p \, dt \right)^{1/p}$

Assume $n=1$ and $u \in W^{1,p}(0,1)$ for some $1 \le p < \infty$. (a) Show that $u$ is equal a.e. to an absolutely continuous function and $u'$ (which exists a.e.) belongs to $L^p(0,1)$. ...
0
votes
1answer
81 views

The Trace Theorem for $W^{1,p}$ functions

I'm trying to understand the proof of the trace theorem. This is from a course I am taking, so I will write out what we have done explicitly. $\textbf{Trace Theorem}$ Suppose $\Omega ...