0
votes
1answer
13 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 ...
1
vote
1answer
64 views

Imbedding theorem for Sobolev space $D^{k,p}$

I can't find any reference on the imbedding theorem for the Sobolev space $D^{k,p}$, which is defined by $$D^{k,p}(\Omega)=\{u\in L_{loc}^{1}(\Omega)|D^{k} u\in L^{p}(\Omega)\}.$$ Is it the same as ...
2
votes
1answer
71 views

Why is $-\Delta+1$ an isomorphism between Sobolev space $W^{2,p}$ and $L^p\,$?

Consider the linear elliptic operator $L: W^{2,p}(\mathbb{R}^N)\to L^p(\mathbb{R}^N)$ defined by $Lu=-\Delta u + u$. Can we prove that $L$ is an isomorphism for all $p\geq 1$? It can be proved that it ...
2
votes
1answer
26 views

Product of Hölder and Sobolev functions

Here $C^{\kappa , \lambda} ( \overline{\Omega} ) = \left\{ h|_{\overline{\Omega}} :h \in C^{\kappa , \lambda} ( \mathbb{R}^{n} ) \text{ and } h \text{ has compact support} \right\}$ denotes $\kappa$ ...
0
votes
1answer
28 views

Some properties of capacity

Let $\Omega\subset\mathbb{R}^N$. For $K\subset \Omega$ we can define the $p$-capacity, $p\in (1,\infty)$ as the number $$\operatorname{cap}_p(K)=\inf \int_\Omega |\nabla u|^p$$ where the infimum is ...
2
votes
0answers
27 views

$(g,f)_{L^2} \le C||g||_{H^{-s}}||f||_{H^s}$ right or wrong?

I am proving something, and I may need the following inequality: $$ (g,f)_{L^2} \le C||g||_{H^{-s}}||f||_{H^s} $$ where $(g,f)_{L^2} $ is inner product and $f$ and $g$ have higher enough regularity ...
1
vote
1answer
32 views

Does $C([0,T];H^{s+1}) \cap C^1([0,T];H^{s})=C^1([0,T];H^{s+1})$?

I have asked this question with other problems, but about this part nobody answers. So I want to ask again, and put some details in it. My question is whether the following equality is correct. If it ...
3
votes
1answer
62 views

Differences between $-\Delta: H_0^1(\Omega)\to H^{-1}(\Omega)$ and $-\Delta: H^2(\Omega)\cap H_0^1(\Omega)\to L^2(\Omega)$

I'll try to explain what I want to know: Let $\Omega\subset\mathbb{R}^n$ be a bounded domain. When we look to $-\Delta: H^2(\Omega)\cap H_0^1(\Omega)\to L^2(\Omega)$, the meaning of $-\Delta$ is ...
5
votes
1answer
46 views

Is the gradient operator surjective?

Let $\Omega \subset \mathbb{R}^{n}$ be open and bounded with Lipschitz boundary. Is the gradient operator $\nabla :H^{1} ( \Omega ) \rightarrow L^{2} ( \Omega )$ surjective? Here $H^{1} ( \Omega ) ...
0
votes
1answer
22 views

About an estimate of theorem 3 in Chapter 12 of Evans' book

This is the proof of theorem 3 in Chapter 12 of Evans' book as the following picture. I really don't understand why $|F(Du,u_t,u)|\le C(|Du|+|u_t|+|u|)$, because he didn't give us any restriction on ...
1
vote
1answer
24 views

On defining appropriate energy. Any principle?

I am reading Evans' book Partial differential equations. but I am really curious about how he define the appropriate energy? Is there any principle or rule to do this things? Because I notice that ...
5
votes
0answers
74 views

Gradient on Sobolev spaces

Suppose I have a function $\Phi \in L_p(\Omega)$ and $\nabla\Phi \in W^{-\alpha}_p(\Omega)$, $1<p<\infty$ and where $\Omega\subset\mathbb{R}^n$ is a bounded domain. Can I conclude that $\Phi\in ...
2
votes
1answer
78 views

Why are so many inequalities and estimate in PDEs?

I want to study PDEs, but when I read some PDEs books, I notice that there are so many inequalities here and always do estimates. I really want to know why there are so many inequalities here and ...
3
votes
0answers
45 views

Closure of Schwartz space in homogeneous Besov space

Let $\dot{B}^s_{\infty,\infty}(\mathbb{R}^d)$ denote the homogeneous Besov space of order $s$ with second and third index $\infty$, i. e. the homogeneous Zygmund space. Let $\mathcal{S}(\mathbb{R}^d)$ ...
3
votes
0answers
47 views

$f, f|f| \in L^{1} (\mathbb R) \cap C_{0} (\mathbb R) \implies |f| \in H_{1} (\mathbb R)$?

Suppose $f \ \text{and} \ f|f|\in L^{1}(\mathbb R).$ Then, clearly, $|f|\in L^{2}(\mathbb R)$ and therefore by Plancheral theorem, we get, $\widehat{|f|} \in L^{2}(\mathbb R).$ Also, assume, $f, ...
2
votes
2answers
70 views

Directional derivative in a Sobolev-like inequality

I am trying to do the following problem: Let $\Omega \subset \subset \overline{\mathbb{R}_{+}^{n+1}} = \{ (x, x_{n+1}); \, x_{n+1}\geq 0\}$ (i.e., $\Omega$ is bounded inside the closed upper ...
0
votes
1answer
54 views

A version of Rellich-Kondrachov's theorem

Let $D$ be a bounded open subset with smooth boundary in $\mathbb{R}^n$ , $k$ be positive integer, and $p \in [1,\infty)$ such that $kp < n$. Let $q\in[1,\dfrac{np}{n-kp}) $ and put $T(u) = u$ ...
0
votes
1answer
31 views

Let $u \in W^{1,p} (D)$ and $v \in W^{1,q} (D)$ . Then $uv$ belongs to $ W^{1,1} (D)$

Let $D$ be an open subset of $\mathbb{R}^n$ , $p$ and $q$ be in $(1,\infty)$ such that $p^ {-1} +q^ {-1} = 1$. Let $u \in W^{1,p} (D)$ and $v \in W^{1,q} (D)$ . Then $uv$ belongs to $ W^{1,1} (D)$ ...
0
votes
2answers
41 views

There are $u$ in $W^{1,p}(D)$ and a subsequence $\left\{ u_{m_{k}}\right\} $ such that $\left\{ u_{m_{k}}\right\} $ weakly converges to $u$.

Let $D$ be a bounded open subset with smooth boundary in $\mathbb{R}^n$, $p \in (1,\infty)$, and {$u_m$} be a bounded sequence in $W^{1,p}(D)$. Then there are $u$ in $W^{1,p}(D)$ and a subsequence ...
4
votes
3answers
108 views

Prove that there is a weak solution in $W^{1,2}_0$$(D)$ to following equation $\Delta u+\cos u=0$.

Let $D$ be the open bounded smooth subset in $\mathbb{R}^{n}$. Prove that there is a weak solution in $W^{1,2}_0$$(D)$ to following equation $$\Delta u+\cos u=0.$$ Help me some hints to start. ...
4
votes
2answers
90 views

Prove that $\int_{D}\nabla u\cdot\nabla vdx=\int_{D}uv\,dx=0$

Let $D$ be the open bounded subset in $\mathbb{R}^{n}$ with smooth boundary, $\alpha$ and $\beta$ be different non-null real numbers, and $u$ and $v$ be in $W_0^{1,2}(D)\setminus\left\{ 0\right\} $ ...
1
vote
1answer
40 views

Does there exist a weak solution in $W^{1,2}_0(\Omega)$ to the following equation: $-\Delta u+bu=f$?

Let $\Omega$ be a smooth bounded open subset in $\mathbb{R^3}$, $f$ and $b$ be in $L^2(\Omega)$ such that $b$ is non-negative on $\Omega$. Does there exist a weak solution in $W^{1,2}_0(\Omega)$ to ...
1
vote
1answer
76 views

Inequality for function in certain Sobolev space

I have to prove the following inequality for a function $u$ in $H^1(\mathbb{R}^3)$: $$\int_{B_r}\vert u\vert^q\leq C\bigg(\int_{B_r}\vert\nabla u\vert^2\bigg)^a\bigg(\int_{B_r}\vert ...
2
votes
1answer
48 views

Is $f \in W^{1,1}[a,b]$ equivalent to $f$ absolutely continuous on $[a,b]$?

$f$ is a function defined on $[a,b]$. Then $f \in W^{1,1}$ is equivalent to $f$ is absolutely continuous?
2
votes
0answers
33 views

Properties of the first eigenvalue of the $p$-Laplace operator

Let $\Omega\subset\mathbb{R}^n$ be a bounded domain and $p\in (1,\infty)$, $p\neq 2$. Consider the usual Sobolev space $W_0^{1,p}(\Omega)$ and its dual $W^{-1,p'}(\Omega)$, where $1/p+1/p'=1$. Define ...
0
votes
1answer
46 views

weak solution for a simple boundary problem

Consider a smooth, bounded and convex domain $K$ in $R^n$ such that $K\subset \{ x_1 = 0 \}$ and $\Omega $ a bounded convex domain (not necessarily smooth) such that $\partial \Omega \supset K$. ...
1
vote
1answer
42 views

Strong differentiability in Sobolev spaces

My question is: how can one prove that if $\phi\in H^{n}(a,b)$ for all positive integer $n$, then $\phi\in C^{\infty}(a,b)$? $H^{n}(a,b)$ denotes de Sobolev space of the real interval $(a,b)$. For my ...
0
votes
2answers
78 views

What is the closure of $ C^\infty_c(\mathbb{R}^n\setminus\{0\})$ in Sobolev $ W^{1,p} $ norm?

For $1 \leq p < \infty, n\geq 1 $ my guess of the answer was $ W^{1,p}(\mathbb{R}^n)$ but I can't prove the inclusion $ \overline{C^\infty_c(\mathbb{R}^n\setminus\{0\})} \subseteq ...
2
votes
1answer
31 views

Quantifying Ill-posedness using Sobolev Space Estimates

I've been learning about ill-posed/inverse problems, and I'm having a hard time parsing/understanding the following, which seems crucial to the theory: Say we have an operator ...
0
votes
0answers
24 views

$u \in H^n$ then also $|u|^2 \in H^n$ for complex valued function in Sobolev space

Suppose that a complex valued function $u$ is in the Sobolev space $H^n(R^n) = W^{n,2}$. Is it necessarily true that $|u|^2 \in H^n$ ? The result is true for real - valued functions since we know ...
0
votes
0answers
20 views

estimate for a function in the H^s space

Consiser $f \in H^s(R^n)$ $(s> n/2)$. Show that : $$ |f(x) - f(y)| \leq \gamma_s(|x-y|) || f||_s , \ \ \forall x,y \in R^n .$$ Where $\gamma_s(|x-y|) = 2 (2 ...
2
votes
1answer
57 views

basic exercise distribution theory

Consider $f \in L^{2}(R^n)$ with $\Delta f \in L^{2}(R^n) $. Show that ${\partial}^{|\alpha| } , (|\alpha| \leq 2 )f \in L^{2}(R^n)$. (the derivatives is in the distribution sense). My book gives ...
2
votes
1answer
46 views

How to show that $W^{2,\infty}(B_1)=C^{1,1}(\bar B_1)$?

Suppose that $B_1$ is the open unit ball in $\mathbb R^n$, denote $W^{2,\infty}(B_1)$ be the sobolev spaces and $C^{1,1}(\bar B_1)$ is the Holder spaces. It seems the equality ...
2
votes
2answers
107 views

Natural growth conditions and weak solutions for inhomogenous systems.

Let $\Omega\subset \mathbb{R}^n, \ n\geq 2$ be a bounded Lipschitz domain. Consider the following inhomogenous system (in divergence form) subject to zero Dirichlet boundary conditions: ...
0
votes
1answer
36 views

Relation between $p$-superharmonic functions and concave functions

If I understood correctly what I read. In the one-dimensional situation the $p$ -superharmonic functions are exactly the concave functions and in several dimensions, the concave functions are ...
1
vote
1answer
65 views

Estimate divergence by gradient in H1

I am currently trying to fully understand the stationary Stokes equations of incompressible fluid. In the mixed form (homogeneous boundary data), for $\Omega\subset\mathbb{R}^d$, $d\in\{2,3\}$, a ...
4
votes
0answers
120 views

Show that the following $u\in L^{\infty}\cap H^1(B)$ is a weak solution to the given system.

Let $B=B_{\exp(-2)}\subset\mathbb{R}^2$. I would like to show that a weak solution to the following system (in $B$): \begin{align*} \triangle u_1&=-2|Du|^2(u_1+u_2)/(1+|u|^2)\\ \triangle ...
0
votes
0answers
59 views

Sobolev maps between manifolds.

Let $M, N$ be smooth compact Riemannian manifolds. I have a reference that defines the $k$th Sobolev space of maps from $M$ to $N$, denoted $H^k(M, N)$, by saying that one only needs to check that ...
7
votes
2answers
171 views

Definition of weak solutions from geometrical point of view

Why are weak solutions defined like: A function $u \in H^1(\Omega)$ is a weak solution of $$ Lu:=\operatorname{div}(A\nabla u)+b\cdot\nabla u+cu=f+\operatorname{div}F, \;\text{in } \Omega $$ if ...
2
votes
2answers
88 views

Is $H_0^1([a,b]) \subset C([a,b],\mathbb{R})$?

i have a small question : how to see that $H_0^1([a,b])\subset C([a,b],\mathbb{R})$? Please Thank you
1
vote
1answer
153 views

Compact, continuous embeddings of $H^s := W^{s,2} \leftrightarrow C^{(\alpha)}$

The sobolev-space $H^s([-\pi,\pi])$ can be embedded into $C^{(\alpha)}([-\pi,\pi])$ (space of $\alpha$-Hölder-continuous functions) and vice-versa. My question is for which exponents $s, \alpha$ can ...
1
vote
1answer
45 views

equality involving smooth functions (capacity theory)

This implication is true ? I believe that is .. Consider $E$ a compact subset of $R^n$. $1< q < p$ . Supoose that for all $\Omega \subset R^n$ ($\Omega$ open )occurs ...
0
votes
0answers
63 views

In what Sobolev classes are the following functions

I need a little help. In what Sobolev classes are the following (give the answer for both $H^{s}$ and $H_{\mathrm{loc}}^{s}$) a. $\delta(x)$ b. $H(x)=\left\{\begin{matrix} 1, x\geq 0\\ 0, x<0 ...
2
votes
1answer
66 views

construction of a smooth function using mollifiers

let $r>0$ and $B(x_0, r) \subset R^n$ . My problem is construct a function $u \in C^{\infty}_{0}(B(x_0, 2r))$ using mollification satisfying $$u = 1 \text{ on } \overline{B(x_0, r)} $$ and $$ ...
2
votes
0answers
55 views

weak derivative and the value of a integral

Let $0 < r < R$ and $p>1$ and consider the function $$u(x) = \displaystyle\frac{\displaystyle\int_{|x|}^{R} t^{-1 }dt}{\displaystyle\int_{r}^{R} t^{-1 }dt},$$ if $r < |x|< R$ , and ...
2
votes
1answer
63 views

Making a function in $W^{1,2}$ continuous

Let $\Omega$ be an open domain in $\mathbb{R}^n$, $u\in W^{1,2}(\Omega)$ and assume that for any $y$ in $\Omega$ $$\lim_{\varrho \to 0} \operatorname{osc}(u,B(y,\varrho)) \rightarrow 0 , \varrho ...
6
votes
1answer
121 views

Caccioppoli-Leray Inequality for De Giorgi's regularity theorem

I am studying De Giorgi's proof of Holder continuity of solutions of elliptic equations with bounded measurable coefficients. This is the translation of the original paper De Giorgi paper At page ...
4
votes
1answer
82 views

$\Delta u = \operatorname{div}f \ \ \mbox{in} \ \ B_1, f \in L^2 \Rightarrow \nabla u \in L^2$

I'm looking for results like, If $f \in L^p$ and $$ \begin{array}{rclcl} \Delta u & = & \operatorname{div}f & \mbox{in} & B_1\\ u&=&0& \mbox{on}& \partial B_1 ...
2
votes
0answers
157 views

A bounded sequence

I have a question please : Let $f:[0,2\pi]\times \mathbb{R} \rightarrow \mathbb{R}$ a differential function satisfying : $\displaystyle k^2\leq \liminf_{|x|\rightarrow \infty} \frac{f(t,x)}{x}\leq ...
3
votes
1answer
78 views

Property of the difference quotient in Evans(Partial Differential Equations)

Why holds the property of the difference quotient in Evans(Partial Differential Equations) \begin{equation} \int_{U}v D_k^{-h}dx = -\int_U w D_k^hv dx \end{equation} for $v,w \in H^{1}_0(U)$ (16) in ...