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

0
votes
2answers
23 views

Inner Product Representation of Functional on $H^1_0$

Let $T\colon H^1_0(\mathbb{R})\to \mathbb{R}, \;T(f)=\int f'\phi \;dx$, where $\phi\in L^2$ is fixed. By Hölder, $|T(f)|\leq\|\phi\|_2\|f'\|_2\leq C \|f\|_{H^1_0}$, i.e. $T$ is continuous. Therefore, ...
0
votes
2answers
72 views

How to prove $H^1(M) \subset H^s(M)$ is a continuous embedding for manifold $M$?

Let $M$ be a $C^k$ manifold for some integer $k$. How does one show that $$H^1(M) \subset H^s(M)$$ is continuous, where $s \in (0,1)$? I was planning to pull back the norms onto a subset $D_i$ of ...
2
votes
1answer
67 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
1answer
23 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 ...
2
votes
1answer
26 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, ...
2
votes
1answer
68 views

Weak convergence in $L^{2}(0,T;H^{-1}(\Omega))$

What does weak convergence in $L^{2}(0,T;H^{-1}(\Omega))$ means? $\Omega$ is open, bounded, has boundary smooth and etc...
2
votes
1answer
64 views

Relation between $L^1(\partial\Omega)$ and the surface integral on $C^1$ domains

Let $\Omega \subset \mathbb{R}^n$ be a $C^{1}$ bounded domain. It is possible to define the space $L^1(\partial\Omega)$ as the set of functions $u\colon \partial\Omega \to \mathbb{R}$ with the finite ...
2
votes
1answer
90 views

An example of self-adjoint and positive operator

Let $\Omega\subset R^2 $ and let $H=H_0^1(\Omega)\cap H^2(\Omega)$ with inner product : $\langle u,v\rangle_H =\langle u,v\rangle_{L^2(\Omega)} + \langle\Delta u,\Delta v\rangle_{L^2(\Omega)}$. I am ...
2
votes
1answer
144 views

Dual space norms and equivalence

Suppose $S(r)$ is set parametrised by $r \in [0,T]$. Let $\phi_t^s : H^1(S(t)) \to H^1(S(s))$ is a linear homeomorphism. Suppose $\lVert \cdot \rVert_{H^1(S(t))}$ and $\lVert \phi_t^s(\cdot) ...
1
vote
1answer
23 views

poincare-sobolev inequality

How can we prove this inequality? For $q=\frac{np}{n-p}$ and $1\leq p<n$, there is a constant $c=c(n,p)$ such that if $u\in W^{1,p}(B_r)$, then ...
1
vote
1answer
35 views

Completeness of Sobolev space constructed from seminorm

Define $W^{p,r}(\mathbb{R}^d):=\{f\in L^p(\mathbb{R}^d) : D^\alpha f\in L^p(\mathbb{R}^d), \forall 0<|\alpha|\le r\}$ where $1\le p\le\infty$. Let the seminorm on $W^{p,r}(\mathbb{R}^d)$ be ...
1
vote
1answer
70 views

Hardy-Littlewood-Sobolev fractional integration inequality fails at endpoints

Here's a version of the theorem: If $1 < p, r < \infty$ and $ 0 < \alpha < n $ be such that $ \frac{1}{p} + \frac{ \alpha }{ n} = \frac{1}{r} + 1 $. Then for any $ f \in L^p ( \mathbb R ^n ...
1
vote
1answer
28 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
1answer
67 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
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 ...
1
vote
1answer
37 views

Is there any Banach space $X$ that $L^2(\Omega)$ is compactly embedded into?

Let $\Omega \subset \mathbb{R}^n$. Is there a good (*) Banach space $X$ that $L^2(\Omega)$ is compactly embedded into: $$L^2(\Omega) \subset\!\subset X$$? If not compactly embedding, I at least would ...
1
vote
1answer
40 views

If $f\in L^2$, has the equation $u_{xx}=f$ an unique solution $u\in H^2\cap H_0^1$?

Let $-\infty<a<b<+\infty$ and $f\in L^2(a,b)$. Is it possible to prove that the equation $u_{xx}=f$ has an unique solution $u\in H^2(a,b)\cap H_0^1(a,b)$? If so, how can we prove it? ...
1
vote
1answer
42 views

Solution regularity of the heat equation after $t>\varepsilon$

Consider the heat equation \begin{align} \partial_t u - \Delta u &= 0 && \mbox{ in }Q=\Omega\times[0,T] \\ u &= 0 && \mbox{ on }\partial \Omega \times [0,T] \\ u(\cdot,0) ...
1
vote
1answer
68 views

weak differentiability of log log function

I want to understand why the following function has a weak derivative in two or three dimensions: $w(x) = \ln |\ln|x|| , x \in B_{1/2}(0)$. Can I say that if I have a strong derivative (except for ...
1
vote
1answer
79 views

property of local Sobolev space

The local Sobolev space,defined as $W^{k,p}_{loc}(\Omega)$, is the space such that for any $u \in W^{k,p}_{loc}(\Omega)$ and any compact $V\subset \Omega$, $u \in W^{k,p}(V)$. I am just wondering if ...
1
vote
1answer
77 views

First order weak derivatives of $f(x)=|x|^r$

Let $f(x)=|x|^r$ for a given real number $r$. Show that $f$ has first order weak derivatives on the unit ball $B_1(0)\subset \mathbb{R}^n$ provided that $r > 1-n$. Does anyone have an idea on how ...
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
1answer
54 views

p--laplacian problem

For $f \in W^{-1,p'}(\Omega)$, $f \geq 0$, we definr $v,$ $v_{\epsilon}$, $g_{\epsilon}$ by $$-\mathrm{div}(|Dv|^{p-2} Dv)=f \quad \mbox{in} \mathcal{D}'(\Omega), \quad v \in W^{1,p}_0(\Omega)$$ with ...
0
votes
1answer
27 views

Question on Gagliardo-Nirenberg.

On page 679 of this paper, the authors claim they can get a special case of Gagliardo-Nirenberg with a constant of 1/2. They prove this using functions in $C_0^\infty(\mathbb{R}^2)$, for which the ...
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 ...
0
votes
1answer
133 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 ...
0
votes
1answer
31 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 ...
0
votes
1answer
59 views

What is the Frechet derivative of $(u^+)^q$?

I know that if we define $E[u]=\int_\Omega u^+dx$, where $\Omega$ is compact in $R^n$ and $u\in H_0^1(\Omega)$, $u^+:=\max\{u,0\}$, then $E[u]$ is not Frechet differentiable. However, if now I define ...
0
votes
1answer
61 views

Using Cauchy Schwarz for functions in Sobolev Space

Hi I just want to confirm something simple and check that the following is allowed: The Cauchy-Schwarz inequality states if $A = ((a_{ij}))$ is a symmetric, non-negative $n \times n$ matrix then ...
0
votes
1answer
30 views

$g=(g_1,…,g_N)$ $Q$ periodic implies $\int_Q \operatorname{div} g=0$?

Let $g_i:\mathbb{R}^N\to\mathbb{R}$ ($i=1,...N$) with $g_i\in W^{1,\infty}(\mathbb{R}^N)$ and define $g=(g_1,...,g_N)$. Let $G=\operatorname{div}g$, where $\operatorname{div}g=\frac{\partial ...
0
votes
1answer
161 views

Simple heat equation, solution regularity

I have a small problem with a regularity result for a simple parabolic heat equation: Given a $C^2$ open subset of $\mathbb R^n$ called $\Omega$, and a time $T > 0$, i have the following heat ...
0
votes
1answer
43 views

Elimination of a singularity

Let $z=a+ib$ with $b>0$; the function $$f(x)=\frac{e^{iz|x|}}{|x|}$$ is in $L^2(\mathbb{R}^3)$; in fact ...