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
8 views

A diffeomorphism between manifolds (or surfaces) that preserves the mean value of functions

Let $M$ and $N$ be two Riemannian manifolds with $f:N \to M$ a diffeomorphism with the following properties: for all $u \in H^1(M)$, $\hat u := u\circ f$ satisfies $\hat u\in H^1(N)$ and furthermore ...
1
vote
1answer
24 views

Constant in Sobolev-Poincare inequality on compact manifold $M$; how does it depend on $M$?

Let $M$ be a smooth compact Riemannian manifold of dimension $n$. Let $p$ and $q$ be related by $\frac 1p = \frac 1q - \frac 1n$. There is a constant $C$ such that for all $u \in W^{1,q}(M)$ ...
0
votes
1answer
26 views

The range of the distributional laplacean, defined in $W_0^{1,1}(\Omega)$.

Let $\Omega\subset \mathbb{R}^N$ be a bounded, smooth domain. Assume that $u\in W_0^{1,1}(\Omega)$ and consider the distributional laplacean of $u$; $\Delta u$. My question is: when is $\Delta u\in ...
0
votes
1answer
15 views

Green identity for measures with compact support

Let $\Omega\subset\mathbb{R}^N$ be a bounded, smooth domain. Assume that $\mu \in \mathcal{M}(\Omega)$ has compact support in $\Omega.$ Let $u\in W_0^{1,1}(\Omega)$ be a solution of $$ \left\{ ...
1
vote
1answer
27 views

Proving that weak limit in $L^p$ and strong limit in $H^{-1}$ are the same

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain. Let $p \geq 1$ and suppose that $u_n \rightharpoonup u$ in $L^p(\Omega)$ and $u_n \to v$ in $H^{-1}(\Omega)$. How to show that $u=v$? I can do ...
0
votes
1answer
32 views

A technical step in proving Hardy's inequality

A technical step in proving Hardy's inequality $$ \int_{B(0,r)}\frac{\mu^{2}}{|x|^{2}}dx\le C\int_{B(0,r)}(|D\mu|^{2}+\frac{\mu^{2}}{r^{2}})dx $$ where $n>3, r>0, \mu\in H^{1}(B(0,r))$ is to ...
1
vote
0answers
24 views

Want a dense subset of a Sobolev-Bochner space!!

Let $U \subset \mathbb{R}^n$ be a bounded domain. Let $$W=\{ u \in L^2(0,T;H^1(U))\cap L^\infty(0,T;L^\infty(U)) : u' \in L^2(0,T;H^{-1}(U))\}$$ and let $$D=\{u \in L^2(0,T;H^1(U)) \cap ...
2
votes
0answers
18 views

Local Mollification of a $L^1$ function

Let $f$ be a $L^1(\Omega)$ function, where $\Omega\subseteq \mathbb{R}^2$ is a smooth and bounded domain. Then can we find a fuction $\phi\in W_0^{2,2}$ suct that $\phi>0$ in $\Omega$ and ...
3
votes
1answer
24 views

Sobolev's inequality from Reed & Simon vol. II

In Reed & Simon vol. II, an inequality called Sobolev's inequality is stated in Eq. (IX.19): Let $0<\lambda<n$ and suppose that $f\in L^p(R^n)$, $h \in L^r(R^n)$ with $p^{-1} + r^{-1} + ...
1
vote
1answer
45 views

If $Du=0$ a.e. , does $u=c$ a.e.?

Let $W^{1,p}(U)$ be the Sobolev space, where $U$ is a connected bounded domain in $\mathbb{R}^n$ and $u\in W^{1,p}(U)$ satisfying $Du=0$ a.e. in $U$. Then $u$ is constant a.e. in $U$. I don't ...
0
votes
0answers
36 views

How to use the trace theorem to prove that a set is not empty?

Particularly, I would like an explanation of the following application of the trace theorem. Thanks.
1
vote
1answer
28 views

The Nash inequality on a compact manifold without a boundary.

Let $M$ be a compact manifold without boundary. Does the Nash inequality $$\lVert u \rVert^{1+\frac 2n}_{L^2} \leq C\lVert u \rVert^{\frac 2n}_{L^1} \lVert \nabla u \rVert_{L^2}$$ or something ...
2
votes
1answer
71 views

Sobolev Spaces and Derivative

I need help on the problem 8.9 at page 238 of the book "Functional Analysis, Sobolev Spaces and Partial Differential Equations" by Haim Brezis. Set $I=(0,1)$. Let $u \in W^{2,p}(I)$ with ...
5
votes
0answers
99 views

Sobolev spaces and using monotone convergence theorem (don't understand a paper)

I'm reading this paper. In it there the following argument (see page 240). Firstly, what precisely does the author mean by the displayed equation after 66? The PDE in (65) only holds weakly.. ...
0
votes
1answer
64 views

Weak Derivative Heaviside function

I have to prove that the Heaviside function $$ H(x):=\begin{cases} 1 &\mbox{if } x \in [0,+\infty) \\ 0 &\mbox{otherwise}\end{cases} $$ doesn't admit weak derivative in ...
1
vote
1answer
25 views

A priori estimates for functions in $C_0^\infty (\overline{\Omega})$.

Let $u\in C_0^\infty (\overline{\Omega})$, where $\Omega\subset \mathbb{R}^N$ is a bounded domain. Fix some $a\in \Omega$ and choose $r>0$ such that $\overline{\Omega}\subset B(a,r)$. Define ...
0
votes
1answer
21 views

If $u \in L^2(0,T;H^1)$ with $u_t \in L^2(0,T;H^1)$ and $u$ and $u_t$ are bounded, is $u \in C([0,T];L^\infty$)?

Let $u \in L^2(0,T;H^1(\Omega))$ with $u_t \in L^2(0,T;H^{-1}(\Omega))$ so $$\int_0^T u(t)\varphi'(t) = -\int_0^T u'(t)\varphi(t)$$ holds for all $\varphi \in C_c^\infty(0,T)$. Suppose we know ...
3
votes
1answer
58 views

Characterization of weak solution

5 Nonlinear elliptic variational inequalities Preliminaries In order to explain the importance of elliptic variational inequalities, first consider the weak solution of the linear ...
-2
votes
0answers
20 views

Sobolev space: $\vert u\vert^{p-2}u $ belongs to $u\in W^{1,p'}(\Omega)$

Show that if $p\geq2$ and $u\in W^{1,p}(\Omega)$ then the function $\vert u\vert^{p-2}u $ belongs to $u\in W^{1,p'}(\Omega)$
4
votes
1answer
113 views

If $u_n \to u$ in $C([0,T];H^{-1})$ and $\lVert u_n\rVert_{L^\infty} \leq C$ then $u_n(t) \rightharpoonup u(t)$ in $L^1(\Omega)$?

Let $u_n \to u$ strongly in $C([0,T];H^{-1}(\Omega))$ and suppose that $u_n$ is uniformly bounded in $L^\infty((0,T)\times\Omega)$. Then $$u_n(t) \to u(t)$$ weakly in $L^1(\Omega)$ for each $t$? Can ...
1
vote
1answer
18 views

Spherical rearrangement

Let $u\colon\Omega\subset\mathbb{R}^N\to\mathbb{R}$ be a non negative measurable function, and $\Omega$ open and bounded. Consider $u^*$ the spherical rearrangement $$ u^*(x)=\sup\{t\geq0 : \mu\{x: ...
3
votes
0answers
35 views

Regularity of a Weak Solution

Suppose that $\rho \in L^1(\mathbb{R}^n \times (0,T))$ for every $T < \infty$ is a weak solution of the PDE \begin{align} \partial_t\rho &= \Delta \rho + \text{div}(\rho\nabla\Psi(x))\\ \rho(t ...
2
votes
1answer
40 views

Want to show $\lim_{\epsilon \to 0}\frac{1}{\epsilon} \int_0^T \langle u_t(t), T_\epsilon(u(t)) \rangle = \int_\Omega |u(T)| - \int_\Omega |u(0)|$

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and let $u \in L^2(0,T;H^1(\Omega))$ with $u_t \in L^2(0,T;H^{-1}(\Omega))$. Define the truncation function$$T_\epsilon(x) = \begin{cases} ...
2
votes
1answer
35 views

What is the dual of $A\cap B$

I encountered with some elliptic problem which admits a variational formulation in terms of space $X$ and I need to understand its dual. Suppose that $2<p<\infty$, $\Omega\subset {\mathbb R}^d$ ...
2
votes
1answer
31 views

Convergence in $L^p$ plus bounded gradient implies that the limit belongs to $W^{1,p}$?

I have a question with this problem I have found in the latest edition of the book Functional analysis, Sobolev Spaces author Haim Brezis pag 264 Remark 4 Let $(u_n) \subset W^{1,p} $ such that $u_n ...
1
vote
1answer
28 views

Equivalent Definitions of Negative Order Sobolev Spaces

Ignoring fractional sobolev spaces, if we restrict ourselves to $k>0$ when $k$ is an integer, then the Sobolev space of order $k$, for $W^{k,p}(\mathbb{R})$ is the space of functions $f$ such that ...
1
vote
2answers
63 views

Inverse Laplace operator $\Delta^{-1}$ and Sobolev spaces

I'm looking for some regularity results for the inverse Laplace operator. More precisely - we're set in $\mathbb{R}^3$ and we are looking at the operator $$ \Delta^{-1}f = \frac{x}{|x|^3} \ast f$$ I'd ...
-1
votes
0answers
22 views

Regurarity Theory on Sobolev Spaces.

I would like to solve next problem: Show that $u\in W^{1,p}(B_{\frac{1}{2}})$ then, $\left|u(x)-u(0)\right|\leq C.\left|x\right|^{1+\alpha}$ for any $C>0$ end $\alpha\in(0,1)$.
0
votes
1answer
41 views

Spectrum of the operator $A(f,g)=(g,\Delta f-f)$

Let $\Omega$ be an open set in $\mathbb{R^n}$. We consider the product Hilbert space $H=H^1_0(\Omega)\times L^2(\Omega)$ with the norm $$|(f,g)|^2=\int_\Omega (|\nabla f|^2+|f|^2+|g|^2 ) dx$$ We ...
1
vote
1answer
76 views

On the density of $\mathcal{C}^\infty(\Omega) \cap W^{1,\infty}(\Omega)$ in $W^{1,\infty}(\Omega)$

Let $\Omega$ be an open set of $\mathbb{R}^n$ ($n\ge 1$). We know that the Meyers-Serrin theorem isn't true in $W^{1,\infty}(\Omega)$. But is it true that $\mathcal{C}^\infty(\Omega) \cap ...
2
votes
0answers
48 views

Why is this bilinear form elliptic on $H^1_0$?

I have the following bilinear form: $$ a(v,w) = \int_\Omega \nabla v(x) \cdot \nabla w(x)dx + \int_\Omega \left( \sum_{i=1}^n \beta_i v_{x_i}(x) \right) w(x) dx $$ where $\Omega \subset ...
1
vote
1answer
21 views

poincare-sobolev inequality

How can we prove this inequality? For $q=\frac{np}{n-p}$ and $1\leq p<n$, there is a constant $c=c(n,p)$ such that if $u\in W^{1,p}(B_r)$, then ...
0
votes
1answer
47 views

negative Sobolev space contains $L^1$ for a compact domain

I'd like to use something like Aubin-Lions lemma for the following spaces: $$ C^{0, \alpha}(B) \subset L^1(B) \subset W^{-1, q}(B),$$ with $B \subset \mathbb{R}^n$ being a compact, say a closed ball ...
0
votes
1answer
34 views

Chain rule for $(f(u))'$ when $u \in H^1$ and $f$ is only piecewise Lipschitz?

Let $f:\mathbb{R} \to \mathbb{R}$ be a peicewise lipschitz function, eg. $f(x) = \chi_{(0,1)}(x)$. Let $\Omega$ be a bounded domain in $\mathbb{R}^n$ and let $u \in H^1(\Omega)$. Is the chain rule ...
3
votes
2answers
67 views

If $u=v$ on $A \subset \Omega$, then $\nabla u = \nabla v$ on $A$ too

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and let $A \subset \Omega$ be measure nonzero. For $u, v \in H^1(\Omega)$, if $u=v$ (a.e) on $A$, how to prove that $\nabla u = \nabla v$ on $A$? ...
1
vote
0answers
35 views

A bound on $\nabla u$ in $L^\infty(0,T;L^2)$; how to make argument rigorous?

Suppose $u \in L^2(0,T;L^2)$, $u_t \in L^2(0,T;H^{-1})$ and $f \in L^\infty((0,T)\times\Omega)$. I have the weak form $$\langle u_t, \varphi \rangle_{H^{-1}, H^1} + \int_\Omega\nabla u \nabla \varphi ...
2
votes
2answers
32 views

Asymptotics of a Sobolev function on unbounded interval

Suppose $f : (0,\infty) \to \mathbb{R}$ is locally $H^1$ and $\int_0^\infty (|f'(t)|^2 + |f(t)|^2) e^{-t} dt$ is finite. Is then $\lim_{t \to \infty} e^{-t} |f(t)|^2 = 0$?
5
votes
3answers
70 views

For which $s\in\mathbb R$, $H^s(\mathbb T)$ is 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 ...
0
votes
0answers
42 views

p--laplacian problem

For $f \in W^{-1,p'}(\Omega)$, $f \geq 0$, we definr $v,$ $v_{\epsilon}$, $g_{\epsilon}$ by $$-\mathrm{div}(|Dv|^{p-2} Dv)=f \quad \mbox{in} \mathcal{D}'(\Omega), \quad v \in W^{1,p}_0(\Omega)$$ with ...
0
votes
1answer
22 views

A bound in Sobolev spaces of negative order

Let's consider the domain $U=[-\pi,\pi]\times[-1,1]$. Assume that we have two functions $f\in H^2$ and $g\in H^{1/2}$. I wonder if the following bound is true: $$ \|f g_{x_1}\|_{H^{-0.5}(U)}\leq ...
0
votes
2answers
22 views

Inner Product Representation of Functional on $H^1_0$

Let $T\colon H^1_0(\mathbb{R})\to \mathbb{R}, \;T(f)=\int f'\phi \;dx$, where $\phi\in L^2$ is fixed. By Hölder, $|T(f)|\leq\|\phi\|_2\|f'\|_2\leq C \|f\|_{H^1_0}$, i.e. $T$ is continuous. Therefore, ...
2
votes
1answer
25 views

$ \int_U |Du|^2\leq (\int_U u^2)^{1/2} (\int_U |D^2 u|^2 )^{1/2}$ for $u\in H^1_0(U)\cap H^2(U)$

This is an exercise in Evans's book PDE. For $u \in C_c^\infty(U)$, we have $$ \int_U |Du|^2\leq (\int_U u^2)^{1/2} (\int_U |D^2 u|^2 )^{1/2}$$ by Holder inequality and ...
2
votes
2answers
34 views

$f\in W^{1,p}((0,1))$ is absolute continuous

This is an exercise in Evans's PDE book $f\in W^{1,p}((0,1))$ is absolute continuous where $1\leq p < \infty $ Try : By definition of sobolev space, $f$ has weak derivative $f'$ So $$\ast\ ...
4
votes
1answer
49 views

Sobolev spaces in one-dimensional vs multidimensional

Here in Wikipedia, it is said that in the one-dimensional case, it is enough to assume that the $(k-1)$-th derivative of the function $f$, is differentiable almost everywhere and is equal almost ...
0
votes
2answers
36 views

estimating $L^p$ norm of $\frac{x}{|x|^3} \ast (-\text{div}_x \ldots)$

I've been having problems with following an argument in a paper I'm reading, I hope someone can help me understand the point. Suppose $f(t,\cdot,\cdot)$ is a $C_0^1 (\mathbb{R}^6)$ function for all ...
2
votes
1answer
48 views

A compactness result: if $f_n(u_n) \rightharpoonup w$ in $L^2(0,T;L^2)$, then $f_n(u_n) \to w$ in $L^2(s,T;H^{-1})$ for all $s > 0$.

Let $f_n \to f$ on compact subsets of the real line. If $u_m \rightharpoonup u$ in $L^2(0,T;H^1) \cap L^p(0,T;L^p)$ and $f_n(u_n) \rightharpoonup w$ in $L^2(0,T;L^2)$, then $f_n(u_n) \to w$ in ...
1
vote
1answer
40 views

Small question about strong convergence

I have a small question I have that $ \lambda_1 ||v_0||^2_{L^2(0,1)}=||v_0||^2_{H^1_0(0,1)}$ and that $v_n\rightarrow v_0$ on $L^2$ (strongly) From the Poicaré inequality i have that ...
-2
votes
1answer
57 views

eigenvalues to Laplacian

Let $\Omega$ be a bounded subset of $\mathbb R^d$ and let $g\in L^2(\Omega )$. Let $(\lambda_n)_{n\in \mathbb{N}}$ be the eigenvalues of the Laplacian operator $\Delta$, and $(e_n)_n$ the ...
0
votes
1answer
41 views

Hölder-Zygmund Spaces on compact sets and for integer smoothness parameters

I know from Triebl, Theory of Function Spaces II, that for $\alpha \notin \mathbb{N}$ Hölder-Zygmund Spaces on $\mathbb{R}$ are equal to the classical Hölder Spaces. However, I have two questions ...
0
votes
0answers
31 views

When can we interchange summation with $L^2$ inner product?

(This question concerns a step in the solution given to Eignvalues of Laplacian operator and Sobolev spaces.) Why can we interchange the sum and the $L^2$ inner product in the following? $$(\sum_n ...