2
votes
1answer
38 views

Limit of the p-norm of a function on subdomains equals the p-norm of the function on the union domain

Let $\Omega$ be an open subset in $\mathbb{R}^n$. Given a measurable function $f$, define $$ ||f||_{p,\Omega}=\inf_{a\in\mathbb{R}}||f-a||_{L^p{(\Omega})}. $$ Let $\{\Omega_n\}$ be a sequence of open ...
3
votes
0answers
32 views

Can we expect, $h\ast \mu \in L^{2}(\mathbb R, (1+|x|^{2})^{s})$ for $h\in \mathcal{S}(\mathbb R), \mu\in M(\mathbb R)$ and $s>1/2$?

We put, $M(\mathbb R)=$ The space of complex bounded Borel measure on $\mathbb R$ [With each complex Borel measure $\mu$ on $\mathbb R$ there is associated a set function $|\mu|,$ the total variation ...
1
vote
0answers
28 views

Is Sobolev space $H^{s}(\mathbb R),$ for $s>\frac{1}{2},$ closed under point wise multiplication? [duplicate]

We note that, $L^{2}(\mathbb R)$ is not closed under point wise multiplication. Let $s>\frac{1}{2};$ and we define Sobolev space, as follows: $H^{s}(\mathbb R)=\{f\in L^{2}(\mathbb ...
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 \}$ ...
1
vote
1answer
25 views

Difference in Definitions of Quasiconvexity

So I've seen a few different definitions of quasiconvexity of a function and I cannot, after a bit of working, figure out how all of them are related: Let $X$ be a convex subset of a real vector ...
1
vote
1answer
27 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 ...
1
vote
1answer
30 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
77 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 ...
0
votes
1answer
51 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 ...
6
votes
3answers
83 views

For which $s\in\mathbb R$, is $H^s(\mathbb T)$ 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 ...
1
vote
1answer
42 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 ...
3
votes
1answer
34 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 ...
1
vote
1answer
34 views

Operator compact on $H^1 (0,\pi)$

Consider the operator $K\colon H^1(0,\pi)\to H^1(0,\pi)$ defined by duality (Riesz. Theorem) as $$ \langle K\phi,\psi\rangle = \int_{0}^{\pi}{\phi(x)\psi(x)\,dx} $$ for all $\psi \in H^1(0,\pi)$, ...
2
votes
2answers
56 views

Equivalent norm in Sobolev space

Let $\rho\in H^{1}(0,\pi)$ be a function, and consider the functional $$ I(\rho)=\bigg(\int_{0}^{\pi}{\sqrt{\rho^2(t)+\dot\rho^2(t)}\,dt}\bigg)^2. $$ I'm asking if it is equivalent to the norm $$ ...
0
votes
2answers
26 views

Quadratic Minimization

Consider a functional $I\colon H \to R$ on $H$ Banach space, sufficiently regular. Is in generally true that $$ \inf_{\rho \in H}{I^2(\rho)}=\Big(\inf_{\rho \in H}{I(\rho)} \Big)^2 \quad ? $$ If ...
1
vote
2answers
56 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 ...
0
votes
1answer
43 views

Question about injection on an unbounded space

I have this space $$C_0((0,+\infty))=\left\lbrace u,u\in C((0,+\infty)),\lim_{t\rightarrow +\infty} u(t)=0\right\rbrace$$ with the norm $$||u||_{\infty}=\sup_{t\geq0}|u(t)|$$ how to prove that ...
3
votes
0answers
46 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 ...
2
votes
1answer
44 views

Discontinuous function in $W^{1, 1}(\mathbb{R}^{2})$

What's an example of a bounded function in $W^{1, 1}(\mathbb{R}^{2})$ which is discontinuous? Can this function be discontinuous on a set of positive measure?
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 ...
1
vote
1answer
71 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
81 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
42 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
39 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
37 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
36 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
109 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
64 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
26 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
31 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
91 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
100 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
71 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
55 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
82 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
63 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
45 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
134 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
107 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
48 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
81 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 ...
3
votes
1answer
54 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
41 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
62 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
47 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
81 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
32 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
30 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 ...