0
votes
1answer
15 views

About Sobolev-Poincare inequality on compact manifolds

Let $2^* = \frac{2n}{n-2}$ where $n$ is the dimension of a compact closed manifold $M$. We get from the Sobolev/Poincare inequality the identity $$\lVert u \rVert_{2^*} \leq C\lVert \nabla u ...
2
votes
1answer
26 views

Morrey's inequality

From PDE Evans, 2nd edition, page 281: Now \begin{align} \int_0^s \int_{\partial B(0,1)} |Du(x+tw)| \, dS(w) dt &=\int_0^s \int_{\partial B(x,t)} \frac{|Du(y)|}{t^{n-1}} \, dS(y) dt \\ ...
3
votes
0answers
23 views

Hopf lemma for generalized normal derivatives

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. If $u\in C^2(\Omega)\cap C_0(\overline{\Omega})$ is a superharmonic function ($-\Delta u\ge 0)$ then, Hopf Boundary Lemma does implies that ...
1
vote
0answers
26 views

About a property of weighted Sobolev spaces

If we define the weighted Sobolev norm as $$ \|f\|_{H^{s,k}(\mathbb R^n)} := \|(1+|x|^2)^{k/2} (\sqrt{1-\Delta})^s f \|_{L^2(\mathbb R^n)} $$ where $f(x):\mathbb R^n \to \mathbb R$ and $\Delta$ is ...
0
votes
1answer
41 views

Trace-zero functions in $W^{1,p}$

This is an excerpt of a textbook's proof for a theorem (Trace-zero functions in $W^{1,p}$), from PDE Evans, 2nd edition, page 275. Next let $\zeta \in C^\infty(\mathbb{R}_+)$ satisfy $$\zeta ...
3
votes
1answer
40 views

Trace Theorem question

From PDE Evans, page 272. My question is towards the bootom of this post. THEOREM 1 (Trace Theorem). Assume $U$ is bounded and $\partial U$ is $C^1$. Then there exists a bounded linear operator ...
1
vote
1answer
41 views

Extension Theorem

From PDE Evans, 2nd edition, pages 268-270. My question is at the bottom of this post. THEOREM 1 (Extension Theorem). Assume $U$ is bounded and $\partial U$ is $C^1$. Select a bounded open set $V$ ...
0
votes
1answer
23 views

Is $H^{1}(R;H^1(R^n))=H^1(R^{n+1})$?

Is $H^{1}(R;H^1(R^n))=H^1(R^{n+1})$, where $H^1(R;H^1(R^n))=\{f\colon R\to H^1(R^n)\colon \int \|f(t,\cdot)\|_{H^1}^2\,dt <\infty \quad \text{and} \int \|f'(t,\cdot)\|_{H^1}^2\,dt <\infty \}$ ...
2
votes
0answers
57 views

Is this distributional laplacean a measure?

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. Suppose that $0<k<t<1$ and $\Phi$ is a mooth function satisfying: $\Phi(x)=0$ for $x\le k$, $\Phi(x)=1$ for $x\ge t$. Take $u\in ...
0
votes
1answer
13 views

About the weighted Sobolev norm

I'm wondering that the Sobolev norm with weight $$ \|f\|_{H^{s,k}(\mathbb R^n)} := \|(1+|x|^2)^{k/2} (\sqrt{1-\Delta})^s f \|_{L^2(\mathbb R^n)} $$ is equivalent to the norm $$ ...
2
votes
1answer
48 views

Can we conclude that $\Delta (\Phi\circ u)$ is a measure, given that $\Phi$ is a particular smooth function and $u$ is in some Sobolev space?

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. Assume that $u\in W_0^{1,2}(\Omega)$ is such that $\Delta u$ is a measure. Let $\Phi$ be a smooth function in $\mathbb{R}$, such that ...
2
votes
0answers
27 views

Mollification of functions in $L^2(0,T;H^1)\cap H^1(0,T;H^{-1})$

Let $u \in L^2(0,T;H^1(\Omega))\cap H^1(0,T;H^{-1}(\Omega))$ where $\Omega \subset \mathbb{R}^n$ is a bounded domain. I know that (eg. from Wloka or Hunter's PDE notes) that there is a mollification ...
3
votes
1answer
67 views

Properties of weak derivatives in Sobolev spaces

In PDE Evans 2nd edition, pages 261-263, there is a theorem and its proof which concerns the four properties of weak derivatives. Unfortunately, I do not understand the fourth property, which I will ...
0
votes
1answer
31 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\{ ...
2
votes
0answers
22 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 ...
5
votes
0answers
103 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.. ...
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
22 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
59 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 ...
3
votes
0answers
39 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
43 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} ...
1
vote
2answers
66 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 ...
2
votes
0answers
49 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 ...
0
votes
1answer
50 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 ...
3
votes
2answers
68 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
36 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 ...
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
23 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
37 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
51 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 ...
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 ...
3
votes
1answer
33 views

Smooth function composed with sobolev function vanishes at 0

Let $\Omega$ be a bounded domain with sufficiently smooth boundary. Let $u \in W^{1, 2}_{0}(\Omega)$ and $F \in C^{\infty}(\mathbb{R} \rightarrow \mathbb{R})$ such that $F(u(x)) = 0$ for almost every ...
2
votes
1answer
60 views

Characterization of Sobolev Space

I have just started learning about Sobolev spaces. So this might be trivial. I am working through the book "Partial Differential Equations" by Lawrence Evans, it came highly recommended. Taking ...
1
vote
0answers
50 views

eignvalues of Laplacian operator and distributions

Let $\Omega$ be open and bounded in $\mathbb{R}^n$ and $I$ an 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 eigenvalues ...
0
votes
1answer
27 views

Question on Gagliardo-Nirenberg.

On page 679 of this paper, the authors claim they can get a special case of Gagliardo-Nirenberg with a constant of 1/2. They prove this using functions in $C_0^\infty(\mathbb{R}^2)$, for which the ...
3
votes
1answer
57 views

Elliptic PDEs in Banach space

The standard textbooks discuss weak solutions and regularities in Hilbert spaces $W^{k,2}.$ I could not find a good reference on the theory based on Banach spaces $W^{k,p}.$ It would be good to point ...
1
vote
1answer
66 views

$L^\infty$ bound on solution of $u_t -\Delta u =f$ where $f \in L^\infty$ and $u_0 \in L^\infty$??

Let $u_0 \in L^\infty(\Omega)$ and $f \in L^\infty((0,T)\times\Omega)$ and consider $$u_t - \Delta u = f$$ $$u(0) = u_0$$ with some boundary conditions. Consider the weak form ...
1
vote
2answers
49 views

Why does Boundary $H^2$ regularity fail for trace non-zero functions?

In Evans, Section 6.3, Theorem 4; we know that if $\Omega$ is a bounded region in $\mathbb{R}^n$ with smooth boundary (say), and $u\in H_0^1(\Omega)\cap H^2(\Omega)$ then we have the bound ...
1
vote
1answer
22 views

Approximating with a sequence convergent in multiple Sobolev Norms.

I'm stuck proving a Gagliardo-Nirenberg Interpolation-type inequality. Typically authors prove the inequality for functions of their favorite regularity and try a density argument. This often ...
1
vote
1answer
58 views

The completion of $C_c^\infty(M)$ with respect to $\lVert \nabla u\rVert_{L^2(M)}$ on a compact Riemannian manifold

Let $M$ be a compact smooth Riemannian manifold (eg. a smooth hypersurface) and let $X$ be the space given as the completion of $C_c^\infty(M)$ with respect to the norm $\left(\int_{M} |\nabla ...
0
votes
1answer
24 views

Looking for a “trace inequality” of normal derivative in $L^1$

Let $U = \Omega \times (0,\infty)$ with $\partial U = \Omega \times \{0\}$. Let $w \in H^1(U)$ with $(w|_{\partial U})^{\frac 1 m} \in L^1(\partial U)$. I am looking for a trace inequality of the ...
0
votes
1answer
30 views

If $u_n$ is bounded and pointwise convergent, then $u_n$ convges in $W_{2,p}$.

I'm reading this paper about solving semilinear elliptic pde's through iterated approximations. The line i'm trying to understand is "Then, since $u_k = Tu_{k-1}$ and since $\{u_k\}$ is a bounded, ...
4
votes
2answers
61 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 ...
3
votes
0answers
45 views

Missing step in Evan's PDE?

In the attached proof, I am having trouble justifying the presence of "$x_n^{p-1}$" in eh line immediately below "Thus" and "Letting $m\to\infty$". I understand he uses Minkowski's inequality, and ...
0
votes
1answer
25 views

Coercivity for functional and complete orthonormal system

Consider with $\rho \in W^{1,2}([0,\pi])$ the following functional $$J(\rho)=\frac{1}{2}\int_{0}^{\pi}{\rho^2\,dx}$$ I know that in the $L^{2}([0,\pi])$ the coercivity condition is satisfied, but i'm ...
0
votes
0answers
13 views

what does well posdeness results tells us concerning non linear evolution equations?

Consider a nonlinear Shr\"odinger equation, $$iu_{t}+\bigtriangleup u + f(u)= 0, u(0)= u_{0}$$ where $u(t, x)$ is complex valued function of $(t,x) \in \mathbb R \times \mathbb R^{n}$, $i=\sqrt{-1}, ...
2
votes
1answer
67 views

Proving $u\mapsto |u|^2u$ is Lipschitz on bounded subsets of $H^2(\Omega)\cap H_0^1(\Omega).$

I'm reading a paper and am stumped verifying two details. Let $\Omega$ be a bounded region in $\mathbb{R}^2$ with smooth boundary. I'd like to show that the map $u\mapsto |u|^2u$ is a map from ...
2
votes
2answers
72 views

Variational methods : Why i can't apply this theorem?

Consider the following problem: Find a weak solution for $$u'' + u = \sin t ,\,\, 0 < t < \pi$$ $$u(0) = u(\pi)=0 $$ the corresponding functional for the problem is $\varphi(u) = ...