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
270 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
81 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
30 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
126 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
130 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
109 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
34 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
88 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
58 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
64 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
219 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
89 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
55 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 ...
2
votes
0answers
161 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
324 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
386 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
93 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
96 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
119 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
86 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
94 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
73 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
65 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
74 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
96 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
90 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
140 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
68 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
77 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
189 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
130 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
311 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
97 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
85 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
286 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
28 views

$L^2$-Sobolev space

I am looking at the proof of the following lemma and I don't understand the conclusion. Lemma: For $k\geq 0$ integer, let $f=\sum_{n\in \mathbb{Z^d}}{c_n\chi_n}\in L^2(\mathbb{T}^d)$. Then $$f\in ...
1
vote
0answers
21 views

A calculation for an open ball in $\mathbb{R}^N$ and function space.

Let $B_r(x)$ denoting the ball of center $x$ and radius $r>0$. We denote by $\lambda_{1,\,B_\rho(y)}$ the first eigenvalue of $-\Delta$ in $W^{1,\,2}_0\left(B_\rho(y)\right)$ and by ...
1
vote
0answers
39 views

Existence of weak solution to $-\Delta u =0$, $u|_{\Gamma_1} = g$ and $u_{\Gamma_2} = 0$?

Let $\Omega$ be a compact Riemannian manifold with $\partial\Omega = \Gamma_1 \cup \Gamma_2$ a union of disjoint sets. Let $g \in H^s(\Gamma_1)$ and consider $$-\Delta u = 0 \text{ on $\Omega$}$$ ...
1
vote
0answers
33 views

$L^{\infty}$ estimate on the boundary by means of Sobolev norms in the interior

I am studying this paper http://143.248.27.21/mathnet/paper_file/washington/gunther/cpde.pdf and I have a doubt I have not been able to solve since yesterday. In page 14, just before the last bunch of ...
1
vote
0answers
45 views

Negative index Sobolev spaces, properties

I was hoping to find some references for the following facts: Let $\Omega$ be a bounded domain with smooth boundary in $\mathbb{R}^n$. (i) If $\nabla p$ is a distribution in $H^{-1}(\Omega)$ then ...
1
vote
0answers
29 views

Prove weak derivative commutes with difference quotient

Let $U$ be an open set in $\mathbb{R}^n$,$f:U\to \mathbb{R},f\in W^{1,p}(U)$. Let $\tau_{h,i}f(x)=\frac{f(x+he_i)-f(x)}{h},h>0$ Given any compact $V\subset U$, show there exists $h_0>0$ such ...
1
vote
0answers
28 views

Does Gagliardo-Nirenberg inequality in unbounded domain still hold?

Often we have the following Gagliardo-Nirenberg inequality: Let $1\leq p_1, p_2\leq \infty$, $0\leq r<l (r, l\in Z_+)$. Suppose that the number $$ \theta=\frac{n/p-n/p_1-r}{n/p_2-n/p_1-l} $$ ...
1
vote
0answers
29 views

Compute the value of the Sobolev norm in $H^{-1/2}$

I am working with finite elements using domain decomposition in 2D and one of the solutions I need to obtain is the co-normal derivative of the solution along a segment that is the intersection of two ...
1
vote
0answers
48 views

When is the convolution of a product the product of convolutions?

Although the convolution of the product is not the product of the convolution, i.e. $$fg*h\neq (f*h)(g*h).$$ I am wondering if this true (for a suitable class of functions) in the limit when one ...
1
vote
0answers
42 views

The weak convergence between $L^2$ and $H^1$

If the sequence $u_n\in H^1(R^n)$, $n\geq 3$ and $u_n$ weak converges to $u$ in $H^1(R^n)$, if we can get $u_n$ weak converges to $u$ in $L^2(R^n)$? Furthermore, if we can have $\nabla u_n$ weak ...
1
vote
0answers
21 views

Dual of $L^\infty(I,H^1(M))$

What is the dual of $L^\infty(I,H^1(M))$? Any references? Where $H^1(M)$ is Sobolev space, and $I$ is some interval in $\mathbb{R}$, and $M$ is a compact manifold, like the $n$-dimensional torus.
1
vote
0answers
42 views

sobolev spaces integral estimation

if I have a sequence $f_k\in W_{1,p}(\Omega)$ which converge weakly to some function $ f $ and I know that $\nabla f_k-\nabla f\to 0$ in $L_{p}^{loc}(\Omega)$ I try to estimate the integral ...
1
vote
0answers
30 views

Hardy inequality punctured space

given the minimization problem: $inf \ \frac{\int_{\Omega} |\nabla u|^p }{ \int_{\Omega} \frac{|u|^p}{|x|^p} } ,\ \ p>1$ infimum taken on all smooth functions with compact support in the ...
1
vote
0answers
33 views

C^1 is not dense in Holder space

Let $\overline{\Omega}$ be a bounded, closed and convex set of $\mathbb{R}^n$. Prove that $C^1(\overline{\Omega})$, the space of continuously differentiable functions on $\overline{\Omega}$, is not ...
1
vote
0answers
27 views

How to integrate functions in n dimensional space?

I have a question about an example of functions in Sobolev space. But I think you can give a hint without knowing the Sobolev space because I just want to know how to integrate a function with ...