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
70 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 $R^n$....
2
votes
0answers
58 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
208 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
42 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
69 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 $H^1_{\nabla_0}:=H^1_{\nabla_0}(\...
2
votes
0answers
61 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
436 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
86 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 $\overline{C^{\infty}(\overline{\...
2
votes
0answers
32 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
148 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
141 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
47 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
102 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
74 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
69 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 $u=...
2
votes
0answers
347 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) = W^{2,1}(0,...
2
votes
0answers
108 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
60 views

Multipliers in trace spaces

I need a reference for the following fact. Let $\Omega \subset \mathbb R^n$ be an open domain with $C^{1,1}$ boundary (maybe, less regularity is needed). Let $H^{1/2}(\Gamma)$ be the trace space of $H^...
2
votes
0answers
167 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
741 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 W_0^...
2
votes
0answers
114 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
44 views

“Compensated weak compactness” in $W^{1,1}$

In a problem I'm working on I want to show that a bounded sequence $\{u_n\} \subset W_0^{1,1}((0,1))$ converges weakly. Of course, since $W^{1,1}$ is not reflexive I don't get this for free. The ...
2
votes
0answers
100 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
126 views

A question on a bounded sequence in $H^1(\mathbb{R}^n)$.

Let $r>0$, and $2 \le q \le 2^*$. Suppose that $\{u_k\}_k$ is a bounded sequence in $H^1(\mathbb{R}^n)$ and $\lim_{k\to \infty} \sup_{y \in \mathbb{R}^n} \int_{B_r(y)}|u_k|^q dx \rightarrow 0.$ ...
2
votes
0answers
108 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
107 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 $$f(x)=\frac{e^{i\sqrt{\...
2
votes
0answers
84 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
186 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
76 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
79 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
111 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
53 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
98 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
160 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 C\...
2
votes
0answers
78 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 W^{k,p}(\...
2
votes
0answers
83 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
201 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
134 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
377 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
103 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} ((0,a),m^{...
2
votes
0answers
82 views

Difference between $C^\infty (U)$ and $C^\infty (\overline U)$

I am learning Sobolev spaces. There seem to be a difference while approximating a function in $W^{k,P}(\Omega)$ by smooth function $C^\infty (\Omega)$ and $C^\infty ( \overline \Omega)$, where we use $...
2
votes
0answers
89 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
323 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
19 views

Definition of the space $H^s(\mathbb{R}^n)$

The following is the definition of the space $H^s(\mathbb{R}^n)$ in Hunter's Applied Analysis: Here a regular distribution is a tempered distribution $T_f$ such that it is given by $$ T_f(\varphi)=\...
1
vote
0answers
22 views

How can we extend $\operatorname{div}:C_c^\infty(\Omega)^d\to L^p(\Omega)$ to $W_0^{1,\:p}(\Omega)^d$?

Let $d\in\mathbb N$ and $p\ge 1$ $\lambda$ be the Lebesgue measure on $\mathbb R^d$ $\Omega\subseteq\mathbb R^d$ be open and $$W_0^{1,\:p}(\Omega):=\overline{C_c^\infty(\Omega)}^{\left\|\;\cdot\;\...
1
vote
0answers
10 views

Fourier coefficients of $\;\log\log$

I was curious if there is an effective way to compute (the asymptotic of) the Fourier coefficients of $$ F(x)= \log\log\left(\frac{1}{\left\lvert x\right\rvert}\right) \cdot \chi\left(\left\lvert x\...
1
vote
0answers
70 views

Name of a Sobolev/Poincare type inequality

It is a basic analysis exercise to verify that for $u \colon [0,1] \times [0,\infty) \to \mathbb R$, if $u(0,t) = 0$ for all $t$, then $$ ||u(\cdot,t)||_\infty \leq ||u_x(\cdot,t)||_2,$$ where the ...
1
vote
0answers
64 views

Sobolev Space dual

I'm interested in the dual space of the Sobolev space $H^1(\Omega)$ for $\Omega$ a bounded smooth domain. Of course, because $H^1(\Omega)$ being a Hilbert space, it's dual is isomorphic to itself, but ...
1
vote
0answers
14 views

Bound on Rayleigh quotient on $H^{1}_{\text{per}}[0,1]^{n}$

Let $Q=[0,1]^{n}$. Define a $Q$-periodic function as follows: A function $f:\mathbb{R}^{n}\to\mathbb{C}$ is said to be $Q$-periodic if for any $x\in\mathbb{R}^{n}$ and any $z\in\mathbb{Z}^{n}$, it ...
1
vote
0answers
10 views

$||D_hu||_{L^2(Q_+)} \leq ||\nabla u||_{L^2(Q_+)}$ for $u \in H_0^1(Q_+)$

I want to show the following statement: Given $u \in H^1_0(Q_+)$ with $supp(u) \subset \{x \in \mathbb{R}^n\ | \ (\sum_{i=1}^{n-1} |x_i|^2)^{1/2}< 1 - \delta, \ 0 \leq x_n < 1-\delta \}$ y $...