1
vote
1answer
30 views

Bounding Sobolev Norms *Below*

Firstly, apologies if this is a duplicate question - I've looked, but can't find this question on SE (or elsewhere online); if it is, please let me know and I'll remove it. I am trying to bound the ...
0
votes
0answers
34 views

Question about functions in Sobolev space.

Let $\Omega$ be a bounded Lipschitz domain in $\mathbb{R}^n$. If I consider a function $g:\mathbb{R}\rightarrow\mathbb{R}$ which has the following properties: $$ |g(x)|\leq M \qquad |g(x)-g(y)|\leq ...
1
vote
1answer
41 views

What is the usual norm of $\mathbb{H_0^1}$?

What is the usual norm of product of sobolev spaces $\mathbb{H_0^1}=H_0^1 \times H_0^1=W^{1,2}\times W^{1,2}$? In my work i need to prove that the norm endowed by the inner product ...
2
votes
0answers
130 views

Using the Sobolev-Nirenberg-Gagliardo inequality in a proof

If $1 \leq p < n$. The Gagliardo-Nirenberg-Sobolev inequality states that there exists a constant C such that $||u||_{L^{p^{*}}(\mathbb{R}^{n})} \leq C||Du||_{L^{p}(\mathbb{R}^{n})}$ for all $u ...
0
votes
1answer
34 views

Showing that function are equal almost everywhere in Sobolev Spaces

Consider the Holder space $C^{0,1-\frac{n}{p}}(\mathbb{R}^{n})$ and the Sobolev Space $W^{1,p}(\mathbb{R}^{n})$. Take $u_{m} \in C_{c}^{\infty}(\mathbb{R}^{n})$ such that Morrey's Inequality we have ...
3
votes
2answers
146 views

Poincare Inequality implies Equivalent Norms

I am currently working through the subject of Sobolev Spaces using the book 'Partial Differential Equations' by Lawrence Evans. After the result proving the Poincare Inequality it says the following ...
4
votes
1answer
55 views

Is it true that $2^p\|f\|^p_{L_p}+2^p\|f'\|^p_{L_p} >2\|f\|^p_{L_\infty}$?

For any $C^1$ function defined in $(0,1)$, is it true that $$ 2^p\|f\|^p_{L_p}+2^p\|f'\|^p_{L_p} >2\|f\|^p_{L_\infty} $$ If it is true, how to prove it?
3
votes
0answers
97 views

Proving norm equivalence in $W^{1-1/p,p}(\Omega)$

Define for $p\in [1,\infty)$ and $\Omega=(0,1)^N\subset\mathbb{R}^N$ $$W^{1-1/p,p}(\Omega)=\left\{u\in L^p(\Omega): \ \int_\Omega\int_\Omega\frac{|u(x)-u(y)|^p}{|x-y|^{N-1+p}}dxdy<\infty\right\}$$ ...
-1
votes
1answer
582 views

Sobolev space - norm $H^1$ and $H^1_0$

When we defined on $H^1_0$ the norm $$||v||_{H^1_0}=||v||_{L^2}+||\nabla v||_{L^2}$$ can we tell that $$||u||_{H^1_0} = ||u||_{H^1}?$$ Thank's
2
votes
1answer
453 views

Why do we need semi-norms on Sobolev-spaces?

I have been studying Sobolev spaces and easy PDEs on those spaces for a while now and keep wondering about the norms on these spaces. We obviously have the usual norm $\|\cdot\|_{W^{k,p}}$, but some ...
0
votes
1answer
73 views

Inner product spaces of smooth functions

In the space $C^1([0,1])$ where each $f$ is an element of the space and $$||f||= \left(\int_0^1\left(|f|^2+|f'|^2\right)dx \right)^{1/2}$$ How can it be shown that $||\cdot||$ is a norm of the space?
1
vote
1answer
67 views

$H^1$ function with smallest seminorm

Let $\Omega\subset\mathbb R^d$ be a Lipschitz domain and $u\in H^1(\Omega)$. Find a $w\in H^1(\Omega)$ with the same boundary values but minimal seminorm on $H^1(\Omega)$. I've read that harmonic ...
0
votes
1answer
290 views

norm of sobolev space $H^{1/2}$

Let $\Omega\subset\mathbb R^d$ a Lipschitz domain and $\Gamma:=\partial\Omega$. For $u\in C^{\infty}(\Gamma)$ we define $$||u||_{H^{1/2}(\Gamma)} = \inf_{\substack{v\in H^1(\Omega) \\ v|_\Gamma =u}} ...
5
votes
1answer
208 views

Proving an alternative norm on Sobolev space is equivalent to usual norm

I have this exercice and my problel is only in item 4, and i will desespere. Let $f \in L^2(\mathbb{R}^n).$ 1- Why the equation $\Delta u - u = \dfrac{\partial f}{\partial x_i}$ admits a unique ...
2
votes
1answer
44 views

Regularity and the Varitational Inequality

Let $K = \left\{ v \in H_0^1(\Omega) \, : \, v \geq 0 \right\}$, further suppose $\Omega$ has the regularity property that $||v||_{H^2} \leq C(\Omega)||\Delta v||_{L^2}$, for all $v \in ...
1
vote
0answers
102 views

Hölder norm estimates

How do you prove the following estimate for composition of functions: If $k\geq 1$, then there exists a constant $c=c(k,\alpha)$ such that $$ \|f_1\circ g_1-f_2\circ g_2\|_{k,\alpha}\leq ...
0
votes
1answer
94 views

Sobolev spaces doubt

Can somebody help me with this doubt? Let $\Omega$ an open set and $A$ be any finite subset of points of $\Omega.$ Is it true the following inequality? $\vert v(a) \vert \leq C \| v \|_p ...
7
votes
1answer
206 views

Help me understand this proof (showing that something is a norm).

I am reading the following paper: Takáč, Peter On the Fredholm alternative for the p-Laplacian at the first eigenvalue. Indiana Univ. Math. J. 51 (2002), no. 1, 187–237. I need help to understand the ...
4
votes
1answer
381 views

Poincaré's lemma with norm in $H_{0}^{1}$

I wonder why $\| u\|_{H_0^1} = \int_{\Omega} |Du|^2$ for u in $H_0^1(\Omega)$, with $\Omega = (-1,1)$? I might be wrong but isn't $\| u\|_{H^1} = \| u\|_{L^2} + \| Du\|_{L^2}$? How come that $\| ...
1
vote
1answer
265 views

Do Lipschitz-continuous funcions have weak derivatives on bounded open sets?

Let $\Omega\in\mathbb{R}^n$ be open and bounded. I'm wondering if a function $f\in C^{0,1}(\Omega)$ (a Lipschitz-continuous one) is also an element of $W^{1,2}(\Omega)$ (that is the space of weakly ...
2
votes
1answer
153 views

Equivalents norms in Sobolev Spaces

I know that this is classical but I have never do the calculations to show that the norms in the sobolev space $W^{k,p}(\Omega)$ \begin{equation} \|u\|_{k,p,\Omega}= \Bigl(\int_{\Omega} ...
1
vote
1answer
463 views

Poincaré inequality in unbounded domain

Help me please, how can I to show that Poincaré inequality in unbounded domain doesn't holds? Thanks a lot! If $\Omega$ is a bounded domain and $u \in H_{0}^{1}(\Omega)$ the following inequality ...