0
votes
0answers
11 views

Question regarding the dual space of $H_0^1(\Omega)$

Given $\Omega\in R^N$ open bounded with smooth boundary. We define $H^{-1}$ to be the dual space of $H_0^1(\Omega)$ and from Evan's PDE book, chapter $5$, we know that for any $f\in H^{-1}$, there ...
0
votes
0answers
12 views

Sobolev spaces of maps between manifolds and the Palais-Smale Condition

I'm currently reading some papers by Uhlenbeck on harmonic maps. She mentions the following facts: Let $M^m$ and $N^n$ be compact Riemannian manifolds, $N$ embedded isometrically into Euclidean ...
0
votes
2answers
50 views

Sobolev space on union of two open sets

Let $\Omega_1,\Omega_2 \subset \mathbb{R}^n$ be open sets. Let $p \in [1,\infty]$. Let $u: \Omega_1 \cup \Omega_2 \to \mathbb{R}$ be a function such that $u|_{\Omega_1} \in W^{1,p}(\Omega_1)$ and ...
1
vote
1answer
23 views

Counterexample for existence of a minimiser in a variational problem

I'm trying to find an example of a minimisation problem of the form $$ \inf \{ J(u) := \int_{\Omega} f(x)|u(x)| + |\nabla u(x)|^2:\, u \in H^1, \, \int u = 1\}$$ with $\Omega$ an open and bounded ...
0
votes
0answers
14 views

finding the solution space of helmholtz equation with mixed boundary?

Let $\Omega\subset \mathbb{R}^2$ be a bounded set and $\Omega' \subset \Omega$ such that $\partial\Omega \cap \partial\Omega' = \emptyset$ $$ \left\{ \begin{align} k^2 u + \Delta u &= 0 \quad ...
3
votes
0answers
62 views

Equivalence of two definitions of weak solution (from a book, I don't understand something!!!!)

Consider $$y_t - \Delta y = f$$ $$y(0) = y_0$$ with zero boundary condition. Let $a(t,.,.)$ be the bilinear form associated to $-\Delta$. We have two definitions of weak solutions: We have $y \in ...
2
votes
0answers
42 views

Proving a PDE has a particular weak form (check my proof please!)

Let $u_t - \Delta u = f$ hold in $L^2(0,T;H^{-1})$ for a solution $u \in L^2(0,T;H^1_0)$ with $u_t \in L^2(0,T;H^{-1})$. This means $$\int_0^T \left(\langle u_t(t), v(t)\rangle + \int_\Omega \nabla ...
-1
votes
0answers
26 views

Inequality in $H^2$

I have tried to prove this result, but it seems too hard. Need Help. Let $U\subseteq\mathbb{R}^n$ a bounded set with smooth boundary, and the differential operator: ...
1
vote
1answer
26 views

Density of $C\infty([0,T];V)$ in $W(0,T;V,V)$.

Let $W=\{ u \in L^2(0,T;V) : u_t \in L^2(0,T;V)\}$ where $V$ is a Hilbert space in the Gelfand triple $V \subset H \subset V^*$ and $u_t$ is the weak time derivative. Is it true that ...
0
votes
1answer
62 views

The proof of a Sobolev embedding inequality by a compactness argument

I want to prove the following If $N\ge 3$ there exists a constant $c_0=c_0(\Omega)$ such that for all $\alpha\ge 1$ and $z\in H^1(\Omega)$ \begin{align} ...
2
votes
1answer
40 views

weak solution of poisson equation

Consider the equation , with $u\in H^1$ $$\begin{cases}\Delta u = f & \text{in }\Omega\\ \displaystyle \frac{\partial u}{\partial \nu} = 0 & \text{in } \partial \Omega\end{cases}$$ where $\nu$ ...
1
vote
1answer
33 views

Two theorems about approximation by smooth functions

Let $U$ be an open subset of $\mathbb{R}^{n}$. The following are two theorems taken from the chapter about Sobolev Spaces of the Evans' book. Theorem 1 Assume $u\in W^{k,p}(U)$ for some $1\le ...
2
votes
1answer
66 views

Is it true that $L^2$ is compactly embedded in $(W^{1,2}_{0})^{\ast}$?

Is it true that $L^{2}(\mathbb R^{n})$ is compactly embedded in $(W^{1,2}_{0}(\mathbb R^{n}))^{\ast}$? If so, how can I prove it? Context I've just started to study Functional Analysis. I tried to ...
2
votes
1answer
34 views

Product of weakly differentiable functions

Let $ u,v \in W^{1,1}_\mathrm{loc}(\Omega) $ and assume that $ uv \in L^{1}_\mathrm{loc}(\Omega) $ and $ u\, Dv + v \,Du \in L^{1}_\mathrm{loc}(\Omega) $. I want to prove that $ uv \in ...
1
vote
1answer
32 views

Smoothing effect for weak solutions of heat equation

Let $u_0 \in L^2$ and $f \in L^2(0,T;H^{-1})$ and consider the solution $u \in L^2(0,T;H^1)\cap H^1(0,T;H^{-1})$ of $$u_t - \Delta u = f$$ $$u(0) = u_0$$ with some BC (eg. zero Dirichlet). I am ...
1
vote
1answer
33 views

Which functions lies in $H^{loc}_{s}\setminus H_{s}$?

We put $H^{s}=$The Sobolev spaces, and $H^{loc}_{s}=$The localized Sobolev spaces. We note that, $H_{s}\subset H^{loc}_{s};$ also this. Bit roughly speaking, I am interested in knowing that how big ...
1
vote
0answers
31 views

Is Sobolev regularity propagated under evolution?

Given a well-posed initial problem in a domain $\Omega$ of the form: \begin{equation} \square\phi=f \end{equation} where $\square$ is the wave operator, $f\in L^{2}(\Omega)$, with initial ...
0
votes
0answers
58 views

Characterization of $H^{-1}(U)$

I am trying to understand the proof of characterization of $H^{-1}(U)$ as in Evan's Partial Differential equations. My questions is different to that of this link. In the theorem regarding the same, ...
1
vote
1answer
43 views

Strong maximum principle for weak solutions?

For a general linear parabolic equation, is a strong maximum principle possible when the solutions are merely weak solutions (i.e. they lie in a Bochner space)? Is there some proof possible that does ...
3
votes
0answers
33 views

Weakening Sobolev coefficient in an elliptic estimate.

One of the classical estimates for Sobolev norms and elliptic operators is the following: let $L$ be an elliptic operator of order $l$, then there is some $C > 0$ such that for all $u \in H^{s+l}$ ...
0
votes
1answer
48 views

How do the existence and $L^p$ integrability of weak derivative affect the smoothness of Sobolev functions?

In the definition of Sobolev spaces, let us say the space $W^{1,p}(\Omega)$, where $\Omega$ is an open subset of $\mathbb{R}^n$. What contributes more to the smoothness of a function $f$: 1-The fact ...
2
votes
0answers
36 views

Research papers of monotone/pseudomonotone operators with applications to PDEs

I have recently been studying how coercive, pseudomonotone operators are used to prove the existence of solutions to elliptic boundary value problems. I have been studying the book "Nonlinear Partial ...
0
votes
0answers
59 views

About the image of the trace operator for Sobolev spaces.

Let $\Omega\subset\mathbb{R}^N$ be a bounded convex domain. Once every convex function is locally Lipschitz, we have that $\partial\Omega$ is Lipschitz, therefore, the trace operator $T: ...
2
votes
1answer
42 views

Global bounded solution of $u_{tt}=\Delta u-mu+h$ in the Hilbert space $X=H_{0}^{1}\left(\Omega\right)\times L^{2}\left(\Omega\right)$

Let $\Omega$ be an open subset of $\mathbb{R^n}$. Consider the linear wave equation $$\begin{cases} \dfrac{\partial^{2}}{\partial t^{2}}u\left(t,x\right)=\Delta ...
1
vote
1answer
59 views

Hardy's inequality

Hardy's inequality (for integrals, I think) presented in Evans' PDE book (pages 296-297) contains a formula whose notation is substantially different than the conventional estimate presentation of ...
0
votes
1answer
34 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
39 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
52 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
31 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 ...
1
vote
1answer
47 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 ...
4
votes
1answer
54 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
49 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
62 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
19 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
49 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
37 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
93 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
32 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
18 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
32 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
117 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
30 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
43 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
71 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
78 views

Regularity of a Weak Solution to Fokker-Planck Equation

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
49 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
92 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
55 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
53 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 ...