For questions about or related to Sobolev spaces, which are function spaces equipped with a norm combining norms of a function and its derivatives.

learn more… | top users | synonyms

10
votes
2answers
403 views

Extension and trace operators for Sobolev spaces

Given that $\Omega \subset \mathbb{R}^{n}$ is an open, convex, Lipschitz bounded set. Let $O \subset \Omega$ be open bounded set then consider. $$u_{m} \rightharpoonup^{*} u \text{ in } ...
5
votes
1answer
278 views

Stokes theorem and Sobolev spaces.

I am interested under which regularity condition is Stokes' theorem is still valid. For concreteness I am interested in the following problem Let's consider a domain $\Omega$ in $\mathbb{R}^{3}$ ...
2
votes
1answer
74 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
74 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) = ...
0
votes
0answers
33 views

Showing equivalence of weak convergence on closed and open intervals

Quick question. Let $I$ be an open bounded subset of $\mathbb{R}^{n}$. If I am given that $u_{m},u \in W^{1,\infty}(I)$ and I want to show that $u_{m} \rightharpoonup^{*} u$ in $L^{\infty}(I)$. Then I ...
2
votes
0answers
54 views

Sobolev spaces necessary and sufficient condition

I am studying PDE now using mostly Evan's book. I have been thinking about the following problem and I don't know whether there is a solution or not. Problem Formulation: Let $A$ be a subset of ...
2
votes
0answers
46 views

Relationship between eigenvalues of differential operator and eigenvalues of its adjoint operator.

I am considering $L\phi = -\triangle \phi + u \cdot \nabla \phi$ and its "adjoint" operator $L^* \phi = -\triangle \phi - \nabla \cdot (\phi u)$ on a bounded domain $\Omega \subseteq \mathbb{R}^n$. ...
4
votes
0answers
284 views

How to prove comparison principle for parabolic PDE (nonlinear)

Suppose $F:\mathbb{R} \to \mathbb{R}$ is smooth with $F(x) > 0$ for $x > 0$ and $F:(0,\infty) \to (0,\infty)$ continuous and increasing with $F(0) = 0$. Consider the PDE $$u_t = \Delta F(u) ...
2
votes
1answer
31 views

What is the metric on ${(L^{p}(\Omega))}^N$? (prove that sobolev spaces uniformly convex)

Here what I've done to prove that Sobolev Spaces $W^{(m,p)}(\Omega)$ are uniformly convex for $1<p<\infty$ Given integers $n\geq 1,k\geq0$, we define $N(n,m)$ as the number of multi-indices ...
1
vote
1answer
39 views

Is 'f' belong sobolev?

I was trying to show that the function $$f(x) = \dfrac{x^{1/2}}{1+x^2} \in W^{1,3/2} (0,\infty)$$ that is, have to show that $$f\in L^{3/2}(0,\infty)$$ and $$f_x\in L^{3/2}(0,\infty).$$
2
votes
1answer
219 views

Chain rule for weak derivatives of $f(u)$ where $f'$ is not bounded but $u$ is?

Let $f:\mathbb{R} \to \mathbb{R}$ be $C^1$. Suppose $u$ has a weak derivative $u_x$. I want the chain rule $$\partial_x (f(u)) = f'(u)u_x$$ to hold. We know this holds if $f'$ is bounded. But I don't ...
4
votes
1answer
174 views

First eigenvalue of Laplacian and Poincaré inequality

Any idea on how to solve: $\int_{\Omega} |\nabla u|^2 d^n x=\lambda_1\int_{\Omega}u^2 d^n x$, with $u\in H^1_0(\Omega)$ and $\Omega\subset\mathbb{R}^n$, and $\lambda_1$ the first eigenvalue of the ...
2
votes
1answer
61 views

bilinear continuous, coercive form

Let $k\in \mathbb{R}, k\neq 1$, consider the space $$ V = \{u\in H^1(0,1): u(0) = ku(1)\}$$ Let $$a(u,v) = \int_0^1 (u'v'+ uv)\; dx - \left(\int_0^1 u\; dx\right) \left(\int_0^1 v\; ...
1
vote
1answer
39 views

Is the set $\{ u \in H^1(\Omega) : 0 < a \leq u(x) \leq b\quad \text{a.e.}\}$ closed?

Is the set $\{ u \in H^1(\Omega) : 0 < a \leq u(x) \leq b\quad \text{a.e.}\}$ closed? $\Omega \subset \mathbb{R}^1$ is an interval. There is an embedding into $C^0(\Omega)$. But not sure if this ...
3
votes
1answer
171 views

Function in $H^1$, but not continuous

By the Sobolev embedding theorem, if $\Omega$ is bounded, $H^s(\Omega)\subset C(\Omega)$ for $s>1$, in $\mathbb R^2$. Where I can find a counterexample (if one exists) for the case $s=1$? I mean a ...
0
votes
1answer
49 views

Leibniz's rule in $W^{1,\,p}(\Omega)\cap L^\infty(\Omega)$

Is it true? If $\Omega\subset\mathbb{R}^n$ is bounded and $u,v\in W^{1,\,p}(\Omega)\cap L^\infty(\Omega)$, then $uv\in W^{1,\,p}(\Omega)\cap L^\infty(\Omega)$ and $$\nabla(uv)=u\nabla v+v\nabla u.$$ ...
2
votes
1answer
39 views

Show that this simple functional is not bounded below

Define $\varphi(u) = \displaystyle\int_{0}^{1} \displaystyle\frac{{|u'| }^2}{2} - \displaystyle\frac{{u }^2}{4} - hu \ dt$, $u \in H^{1}_{0}(0,1)$ where $h: [0,1] \rightarrow R$ is a continuous ...
3
votes
1answer
136 views

A literature reference for Sobolev mappings $W^{m,p}(M,N)$ for M, N smooth Riemannian manifolds

Anyone know a respectable reliable reference for the definition of Sobolev mappings $W^{m,p}(M,N)$ for M, N smooth compact Riemannian manifolds. It suffices for m natural and $p\geq 1$
1
vote
2answers
114 views

Discontinuous Sobolev Function

I'm trying to show that there's an $f \in H^1(\mathbb{R}^2)$ which is not ae equal to a continuous function. Per a couple of suggestions, I've decided to look at the function $f(x) = ...
1
vote
1answer
129 views

Convergence in $L^2$ of difference quotients to derivative of function in $H^1$

Is it true that if $u\in H^1({\mathbb R})$, then $(u(x+h)-u(x))/h$ converges to $u'(x)$ in $L^2({\mathbb R})$, as $h\to 0$? It's hard for me to get a handle on this, since $u'$ doesn't have to be ...
1
vote
1answer
76 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 ...
0
votes
1answer
870 views

proof on Poincare's inequality.

This might be a silly question. So basically, I have proved the Poincare's inequality for $p=1$ case. That is, for $u\in W^{1,1}(\Omega)$, I have $||u-\bar{u}||_{L^1}\leq C||\nabla u||_{L^1}$. Here ...
2
votes
2answers
376 views

dual of $H^1_0$: $H^{-1}$ or $H_0^1$?

I have a problem related to dual of Sobolev space $H^1_0$. By definition, the dual of $H^1_0$ is $H^{-1}$, which contains $L^2$ as a subspace. However, from Riesz representation theorem, dual of a ...
1
vote
1answer
31 views

Extension of a function from the edge.

How can I extend the function $f\in W^{1-\frac{1}{p},p}(\mathbb R\times\lbrace0\rbrace)$ up to $g\in W^{1,p}(\mathbb R\times(0,\infty))$?
1
vote
0answers
61 views

Don't understand a PDE argument involving $L^p$ norms and inequalities

I'm reading this paper. I do not understand how the author proves Corollary 5.12 for the case $p=2$. He addresses everything except $p=2$ but claims it holds for all $p$. Can someone help me to see ...
1
vote
1answer
74 views

convergence in L^{1} strong

I search an proof of this lemma: First,we have this definition: we tell that an sequence $f^{\epsilon}$ is equi integrable if $$\forall \eta, \exists \delta > 0, |E|\leq \delta \implies ...
1
vote
0answers
45 views

Variable density in the equation of motion

At a fixed point in time, consider the equation of motion $$ \nabla \cdot \boldsymbol \sigma(u) + \boldsymbol f = \rho \ddot{\boldsymbol u} \quad \text{in $\Omega \subset \mathbb R^d$} $$ for a ...
1
vote
1answer
43 views

Sobolev inequality in negative index

For $s>n/2$, is it true that $$ \int |fg| dx\leq ||f||_{H^s}||g||_{H^{-s}}?$$ This inequality is used on pg 398 of the Majda Bertozzi book on Vorticity and Incompressible flow but I can't make ...
2
votes
1answer
109 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
70 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$ ...
1
vote
1answer
68 views

Somewhat L2 against H1 estimate; an inequality in H1

somehow I'm a little slow on this one: Let $\Omega = [0,1]^2 \subseteq \mathbb{R}^2$ and $\emptyset \neq D \subsetneq \Omega$. Do constants $c_1,c_2,c_2\in\mathbb{R}_{\geq 0}$ exist such that $$ c_1 ...
2
votes
2answers
66 views

Product of Sobolev functions

Suppose that $\Omega$ is 2-dimensional bounded open set with smooth boundary and $f\in W^{2,2}( \Omega) $ and $ g,h\in W^{1,2} ( \Omega) $. What can we say about the regularity of the product of ...
1
vote
1answer
45 views

Limiting argument when proving inequality in Sobolev space

I found this limiting argument very common in proving inequalities in Sobolev spaces. Basically, what people do is to observe that test functions (smooth functions with compact support) are dense in ...
1
vote
1answer
88 views

Notion for weak derivatives of $L^p(0,T,X)$-functions

A definition in Evan's PDE-book from chapter 5.9.2 says (let $X$ be a Banach space): Let $u\in L^1(0,T,X)$. We say $v\in L^1(0,T,X)$ is the weak derivative of $u$ provided $$\int_0^T \phi'(t)u(t)dt = ...
2
votes
0answers
111 views

Sobolev Spaces separable

How do I demonstrate that the Sobolev spaces $W^{1,\infty}$ is not separable? PS: I know that space $L^{1,\infty}$ is not separable but was unable to use this information.
3
votes
0answers
57 views

estimations of solutions

Let $\Omega=\mathbb{R}^2_+=\{(x,y) \in \mathbb{R}^2; y > 0\}$, $f \in L^2(\Omega)$, $\lambda \in \mathbb{R}^*_+$, $A=(a_{ij})_{1\leq i,j \leq 2}$, $a_{ij} \in \mathbb{R}$ and there exist $\alpha ...
2
votes
2answers
67 views

Density in $H^1_0$

Let $\Omega = \mathbb{R}^2_+=\{(x,y)\in \mathbb{R}^2; y>0\}$ and let $v \in H^1_0(\Omega)$. For $h \neq 0$ we define $D_h v = \dfrac{v(x+h,y)-v(x,y)}{h}$ such as $\forall \varphi \in ...
1
vote
1answer
90 views

Sobolev space-exercice [closed]

Let $\Omega = \mathbb{R}^2_+$. My question is: how we prove that if $v \in H^2(\Omega)$ such as $v(x,0)=0$, then $\dfrac{\partial v}{\partial x} \in H^1_0(\Omega)$ ?
0
votes
1answer
34 views

Composition with exponent Sobolev Space

I have a problem with following statement: We have $f \in W^{1,1}(B) (B-ball\ in\ \mathbb{R^n}), \ \nabla f \ e^{f} - $ integrable $\Rightarrow \ e^f \in W^{1,1}$ I've started with a sequence of ...
5
votes
1answer
192 views

Subdifferential boundary conditions: Testing with $L^2$ or $H^{1/2}$ functions

My question was essentially this: Does it make a difference if I test subdifferential boundary conditions with functions from $L^2(\Gamma)$ or $H^{1/2}(\Gamma)$? In the following, I will phrase the ...
0
votes
1answer
53 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 ...
1
vote
1answer
149 views

Definition of fractional Laplacian on a compact manifold?

How does one define the fractional Laplacian operator $(-\Delta)^s$ on a compact Riemannian manifold? In $\mathbb{R}^n$, it is defined $$ (-\Delta)^s f(x) = c_{n,s} \int_{\mathbb{R}^n} \frac{f(x) - ...
2
votes
1answer
100 views

Poincaré inequality for a subspace of $H^2(\Omega)$

Suppose that $\Omega\subset\mathbb{R}^d$ is a smooth, bounded, and connected domain. Let \begin{equation} H=\{u\in H^2(\Omega):\int_\Omega u(x) dx=0 ~\text{and}~ \nabla u\cdot v=0~ ...
2
votes
1answer
45 views

how to prove that this weak solution is subharmonic?

My question is about this article http://hal.inria.fr/docs/00/12/87/60/PDF/fbpLaplacian.pdf. My question is : Consider a smooth, bounded and convex domain $K$ in $R^n$ such that $K\subset \{ x_1 = ...
3
votes
1answer
71 views

Why is this estimate using a compact embedding in a sobolev space true?

Let $\Omega\subset\mathbb{R}^3$ be a bounded Lipschitz-domain. We then have, for $s\in[1,6)$ the compact embedding $H^1(\Omega)\stackrel{c}{\hookrightarrow}L^s(\Omega)$ ensuring the existence of a ...
2
votes
1answer
42 views

Functions of Sobolev space with asymptotic decay

Define a subspace of the Sobolev space $H^1(\mathbb R^d)$ to be $$ X=\{u\in H^1(\mathbb R^d), |u(x)|=O(|x|^{1-d}), \text{ as } |x|\rightarrow +\infty\} $$ Is there a norm $\|\cdot\|_X$ such that $(X, ...
3
votes
1answer
197 views

Having trouble understanding the finite element method

I am trying to read some sources on how to implement the finite element method and I am having difficulty putting all the concepts together. I can read and understand the Galerkin approach just fine. ...
0
votes
1answer
43 views

Isomorphism between Sobolev space and L^p

Let $L_1$ be an elliptic PDE operator $L_1:W^{2,p}\rightarrow L^p$ and $L_2=e^fL_1$ where f is a bounded function. I proved $L_1$ is an isomorphism, can I conclude $L_2$ is an isomorphism?
3
votes
1answer
49 views

What does it mean for a distribution to be in $L_2$?

I am new to Sobolev space and distribution theory. So here is what I know. Distributions are linear functionals on $C_0^\infty$. Let's look at the simplest Sobolev space. $H^1(\Omega)$ is equal to the ...
1
vote
1answer
65 views

minimizes the functional to solve a pde

I am trying to do this exercise: Let $\Omega$ a open bounded domain in $R^n$. Consider the Dirichlet problem $$ \left\{ \begin{array}{ccccccc} -\Delta u = \lambda \sin (u) + f , \ \text{in ...