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

2
votes
0answers
49 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
31 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$. ...
2
votes
0answers
54 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.
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 ...
2
votes
0answers
29 views

Dual space of Sobolev functions with homogenous neumann BC

Let $\Omega$ be a bounded Lipschitz-domain with outward normal vector $\nu$ and let us take a look at the Sobolev-spaces $H^1:=H^1(\Omega)$, $H^1_0:=H^1_0(\Omega)$ and ...
2
votes
0answers
50 views

A regularity result for a parabolic PDE? Want $u' \in L^\infty((0,T)\times \Omega)$

Let $f \in L^\infty((0,T)\times \Omega)$ and let $g \in L^\infty((0,T)\times \Omega)$ satisfy $$0 < a \leq g(x,t) \leq b\quad\text{for all $(x,t)$}$$ $$\frac{dg}{dt} \in L^\infty((0,T)\times ...
2
votes
0answers
17 views

$T: H^{-\infty}(R^n) \to H^\infty(R^n)$ continuous iff $T: H^{-r}(R^n) \to H^s(R^n)$ bounded for all $r,s>0$?

Denote by $H^s(\mathbb{R}^n)$ the Sobolev space on $\mathbb{R}^n$ of order $s \in \mathbb{R}$ and recall that we have $H^s(\mathbb{R}^n)^\ast \cong H^{-s}(\mathbb{R}^n)$ for the dual space of ...
2
votes
0answers
43 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 ...
2
votes
0answers
142 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 ...
2
votes
0answers
76 views

(Sobolev space) A star domain in $\Bbb R^n$

We know the theorem: If $\Omega$ is a star domain in $\Bbb R^n$, then $C^{\infty}(\overline{\Omega})$ is dense in $W^{k,p}(\Omega)$. It means that ...
2
votes
0answers
25 views

Time continuity of a solution to the generalized porous medium equation

Let $\Phi(x,s)$ be a smooth, non-negative function with $\Phi(\cdot,0)=0$ and $\Phi$ increasing in $s$ and $\partial_s \Phi(x,0)=0$ and $\Omega$ be a bounded smooth domain. Now assume there is a weak ...
2
votes
0answers
106 views

Variation on the Sobolev space $H^1_0$

Let $\Omega\subset\mathbb{R}^n$ be a bounded open set, let $$ C^1_0(\overline\Omega) = \{u\in C^1(\Omega)\cap C(\overline\Omega):u|_{\partial\Omega}=0\}, $$ and let $C^1_c(\Omega)$ be the space of ...
2
votes
0answers
110 views

Generalized chainrule for Sobolev functions with a cut-off

let $\Omega\subset\mathbb{R}^n$ be a bounded domain and $f\in C^1(\bar\Omega \times (0,g(x)),[0,1])$ and $f(x,\cdot)$ increasing and $g(x)\in\mathbb{R}$ continuous (maybe better, Lipschitz?). I want ...
2
votes
0answers
94 views

Don't understand proof of global solution to parabolic PDE

Let $u \in L^p(0,T;V)$ denote the solution to the parabolic PDE $$u_t + \Delta u = f\qquad\text{a.e $t \in [0,T]$}$$ where $u_t \in L^q(0,T;V^*).$ We have the usual assumptions on $V \subset H \subset ...
2
votes
0answers
31 views

PDEs on noncylindrical domains

Can someone give me some information about this area? PDEs on non-cylindrical domains I take to mean parabolic (let's fixed parabolic) PDEs on domains which evolve in time. What is the state of ...
2
votes
0answers
80 views

$L^\infty(0,T;L^\infty(\Omega))$ embedding into continuous functions?

For each $t$, let $u(t):\Omega \to \mathbb{R}$ be a function defined on a bounded domain $\Omega \subset \mathbb{R}^n$. We can think of this as $$u(t)(x) = u(t,x)$$ for $x \in \Omega.$ If $\nabla u ...
2
votes
0answers
56 views

Extending $W^{2,n}(\Omega)\cap C^2(\Omega)$-functions to $W^{2,n}(\Omega)$

I have the following theorem: Let $u\in C^2(\Omega)\cap W^{2,n}(\Omega)$ satisfy $Lu\geq f$ for $f\in L^n(\Omega)$. Then for any ball $B_{2R} = B_{2R}(y)\subset\Omega$ and $p>0$ where $u$ is ...
2
votes
0answers
57 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
0answers
133 views

Is the Laplace operator in Sobolev space $W^{2,1}$ sectorial?

Let $\Delta$ be the Laplace operator, that is $\Delta f = f''$. It is well known (see, e.g. this lecture notes, Chapter 2) that $\Delta\colon D(\Delta) \to L^1(0,1)$ with domain $D(\Delta) = ...
2
votes
0answers
76 views

Solving Dirichlet problem by means of potential theory

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain and consider the Dirichlet problem with $f\in H^{-1}(\Omega)$ $$\tag{1}-\Delta u=f$$ Is there a way to solve this problem by using ...
2
votes
0answers
159 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 ...
2
votes
0answers
236 views

Showing that smoothing operators are compact

Suppose I have a bounded, linear map $T: H^1(X) \to H^1(X)$ such that $T(H^1(X)) \subset C^\infty(X)$. Is $T$ a compact operator? I'm guessing this depends on whether or not $X$ is (pre)compact, and ...
2
votes
0answers
196 views

Stampacchia Theorem: $\nabla G(u)=G'(u)\nabla u$?

Let $\Omega\subset\mathbb{R}^N$ be a bounded domain and $G:\mathbb{R}\to\mathbb{R}$ a Lipschitz function with $G(0)=0$. Stampacchia's Theorem states that if $u\in W_0^{1,p}(\Omega)$, then $G(u)\in ...
2
votes
0answers
66 views

$H^s(\mathbb{T})$ space is a Banach algebra with pointwise product

I have ran across the following theorem but the given proof does not convince me. Theorem Let $u, v \in H^s(\mathbb{T})$ with $s>1/2$. Then the pointwise product $uv$ is in $H^s(\mathbb{T})$ and ...
2
votes
0answers
91 views

A question on weakly convergence and norm convergence.

Let $2 \le p<\frac{2n}{n-2}$. Suppose that a sequence $\{u_k\}_k\subset H^1(\mathbb{R}^n)$ weakly converges to $u \in H^1(\mathbb{R}^n)$, and hence weakly converges to $u$ in $L^p(\mathbb{R}^n)$. ...
2
votes
0answers
72 views

Sobolev spaces in $\mathbb R^n$ with functions having support on a closed set

I am interested in $H^s$ Sobolev spaces in $\mathbb R^n$ which have functions with support in a given closed set $K$ , denoted by $H^s_K$. Here $K$ is the complement of some bounded open set $\Omega$. ...
2
votes
0answers
85 views

Limit in norm of a Sobolev space

I consider, for $s>\frac{1}{2}$, the space $L^{2,-s}(\mathbb{R}^3)=\bigg\{f: \int_{\mathbb{R}^3}|f(x)|^2(1+|x|^2)^{-s}<\infty\bigg\}$ and I have to show that the function ...
2
votes
0answers
62 views

How to find a basis of $H^2(-N,N)$?

I need to find an orthonormal basis of $H^2(-N,N)$ where $N \in \mathbb{N}$ and $H^2$ denotes the Sobolev space $W^2_2$. I have no idea how to start. A hint to some literatur would be perfect.
2
votes
0answers
149 views

Why is this function space dense in this Bochner-type space? (Rogers and Renardy)

Let $\phi(t) = \sum_{i=1}^N\beta_i(t)\phi_i(x)$, where $\phi_i$ is basis for space $V$, and $\beta_i \in C_c^\infty(0,T).$ Renardy and Rogers says that 1) Functions of the above form are dense in ...
2
votes
0answers
56 views

Inequality involving Bessel potential.

I'm not able to prove the following inequality: Fix $s>0$ $$\|fg\|_{H^s}\lesssim \|fJ^sg\|_{L^2}+\|gJ^sf\|_{L^2},$$ where $\widehat{J^sf}(\xi)=(1+|\xi|^2)^{s/2}\hat{f}(\xi)$ (Bessel potential). ...
2
votes
0answers
71 views

Bound for a Sobolev function in an integral

For a compact bounded set $\Omega$, for the expression $$\int_\Omega \Delta u (\nabla u \cdot \nabla f)$$ where $u \in H^2$ and $f \in C^\infty$, is it possible to show that the expression is $\geq$ ...
2
votes
0answers
91 views

Convergence of Schwartz kernels implies convergence of operators

Let $K$ be a smoothing operator on $\mathbb{R}^n$, i.e., it defines a map on all Sobolev spaces $K\colon H^r(\mathbb{R}^n) \to H^s(\mathbb{R}^n)$ for all $r, s \in \mathbb{R}$. Now (a variation of) ...
2
votes
0answers
34 views

Unusual Compact Embeddings

Can anybody give a reference to the following two facts? The embeddings $$H_0^{1,2}(\mathbb R^n)\to L^2(\partial B_1(0))$$ and $$H^{1,2}(\partial B_1(0))\to H^{1/2,2}(\partial B_1(0))$$ are compact? ...
2
votes
0answers
209 views

When the weak derivative just is the strong (or classical) derivative?

When the weak derivative just is the strong (or classical) derivative? For instance, can we prove that weak derivate $Du\in C^\alpha$(or $C^0$) implies $u\in C^{1,\alpha}$(or $C^1$).
2
votes
0answers
82 views

Weak derivative and homeomorphisms commute

Suppose $\phi:H^1(S) \to H^2(R)$ is a linear homeomorphism, where $S$ and $R$ are compact surfaces in $\mathbb{R}^n$. Let $\varphi \in D(0,T;H^1(S))$ be a $H^1(S)$-valued $C_c^\infty(0,T)$ function. ...
2
votes
0answers
129 views

Sobolev-type inequality.

Let $0<\alpha<n$, $1<p<q<\infty$ and $\frac{1}{q}=\frac{1}{p}-\frac{\alpha}{n}$. Then: $$\left\|\int_{\mathbb{R}^n} \frac{f(y)dy}{|x-y|^{n-\alpha}} \right\|_{L^q(\mathbb{R}^n)} \leq ...
2
votes
0answers
62 views

Differential of a Sobolev map between manifolds

Let $\Sigma, M$ be compact Riemannian manifolds. By embedding $M$ isometrically into $\mathbb{R}^N$, one can define the Sobolev spaces $W^{k,p}(\Sigma, M)$ by $$W^{k,p}(\Sigma,M) = \{ u \in ...
2
votes
0answers
167 views

About Sobolev Embedding Theorem

I want to know that how the statement below holds. The statement : There exists a constant $C = C(s)$ such that the continuous embedding of $W^{s,2}$ into the space of uniformly bounded, continuous ...
2
votes
0answers
75 views

ODE with irregular coefficient

Here's a simple ODE \begin{align} &\frac{d}{dx}h(x)=a(h(x))\\ &h(0)=x_0 \end{align} I want the solution $h(x)$ to be (at least) continuous with its first and second order derivative exist only ...
2
votes
0answers
172 views

An exercise about Sobolev Spaces

Let $\Omega\subset\mathbb{R}^n$ be an limited open set of class $C^1$ and $1\leq p<\infty$. Show that $$\bigcap_{m=0}^{\infty}W^{m,p}(\Omega)=C^{\infty}(\overline{\Omega}).$$
2
votes
0answers
127 views

How can we glue Sobolev functions?

Let $u:A\cup B\to R$ be a function (where $A$ and $B$ are disjoint connected sets and $A\cup B$ is connected) such that $u$ restrict to $A$ and to $B$ are in $W^{1, p}$. Which result guarantees me ...
2
votes
0answers
271 views

Weak convergence and limit of this sequence

Let $f_n$ be bounded uniformly in the $H^1$ norm, so we have (weak convergence) $$f_n \rightharpoonup f \qquad \text{in} \qquad H^1(\Omega\times [0,T]).$$ Then by compact embedding, we have strong ...
2
votes
0answers
88 views

Compactness of an embedding between weighted spaces

I read somewhere that if: $N\geq 2$ is an integer, $p\in ]1,N[$, $r>N/p$, $m\in L^r(0,a)$ (with $a>0$) and $m>0$ a.e. in $(0,a)$, then the weighted Sobolev space $W^{1,p^\prime} ...
2
votes
0answers
80 views

Extension of Uncertainty Relations to a specific potential in Schrödinger Equation

Given some $\|\psi \|$ $\in$ $L^2 (\mathbb R^n) $ such that $\| \psi \|_2 =1$ and a function (potential) $V: \mathbb R^n \rightarrow \mathbb R$. The Schorödinger equation tells us that $-\triangle ...
2
votes
0answers
251 views

Adjoint of multiplication operator on Sobolev space

This is sort of an idle question, and I'll admit I didn't think very hard about it. Let $H^1 = H^1(\mathbb{R}^n)$ be the Sobolev space with norm $||f||_{H^1}^2 = ||f||_{L^2(\mathbb{R}^n)}^2 + ...
1
vote
0answers
9 views

$\left\|f\right\|_{L^{\infty}(\mathbb R^d)} \leq K \left\|f\right\|_{H^{s}(\mathbb R^d)}$

The Swchartz, $\mathcal S(\mathbb R^d)=\left\{f\in C^{\infty}(\mathbb r^d): \sup_{x\in \mathbb R^d}(1+|x|^{2})^{\frac{k}{2}}\sum_{|\alpha\leq l|}|D^{\alpha}f(x)|< \infty\right\}$, for all $k, l \in ...
1
vote
0answers
22 views

Discrete Poincare Inequality

For the sake of this question, let $\Omega \subset \mathbb{R^2}$ be a regular domain. In variational problems involving the Sobolev space $W^{1,1}(\Omega)$ (or $BV(\Omega)$) one often uses the Sobolev ...
1
vote
0answers
29 views

Approximating by smooth functions with compact support.

Consider a bounded domain $D \subset \mathbb{R}^n$ and the Sobolev space $H^1_{0}(D):=\overline{C_c^{\infty}(D)}^{W^{1, 2}(D)}$. Further, consider a Sobolev function which happens to be smooth: $u\in ...
1
vote
0answers
19 views

Property of intersections of Bochner spaces

My question: Assume I have a function $ u \in H^2(0,T;L^2(\Omega)) \cap L^2(0,T;H^2(\Omega))$. Now I want to bound the gradient of $u$. Can I deduce that $u \in H^1(0,T;H^1(\Omega))$ and under which ...
1
vote
0answers
30 views

Is Sobolev regularity propagated under evolution?

Given a well-posed initial problem in a domain $\Omega$ of the form: \begin{equation} \square\phi=f \end{equation} where $\square$ is the wave operator, $f\in L^{2}(\Omega)$, with initial ...