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

8
votes
0answers
182 views

prove or disprove an inequality on bounds of derivatives for radial functions

Suppose $f$ is a radial function, i.e., $f(x)=f(|x|)$, and $f \in C^\infty(\bar{B})$, where $\bar{B}$ is the closure of the unit ball in $\mathbb{R}^n$. Prove or disprove the following. Given any ...
8
votes
0answers
125 views

Two definitions of $H^1(\partial\Omega)$, one using charts and one use tangential gradients

Let $\Omega$ be a bounded Lipschitz domain with boundary $\partial\Omega$. There are two ways to define a space $H^1(\partial\Omega)$: By using charts, we can define $H^1(\partial\Omega)$ to ...
7
votes
0answers
121 views
+50

Question about boundedness of a sequence in $ W^{3,q} $ for any $ 1\leq q < \frac{N}{N-1} $

I have asked this question several months ago, I have understood every thing and there are good comments and they have helped me , but only I have a question about tomas comment, how can ...
6
votes
0answers
60 views

Trace theorems for arbitrary differentiability $k$, with embedding constants under control as $k\to\infty$

The usual trace theorem (with non-optimal exponents, but I don't care for those at the moment) says that $$ W^{1,p}(\Omega)\hookrightarrow L^p(\partial\Omega) $$ for Lipschitz domains. When ...
6
votes
0answers
98 views

Energy inequalities with negative sobolev number.

Let $\phi\in H^{s}$ such that the following energy inequality is true: $$\|\phi(t,\cdot)\|_s \le\int^t_0 C \| P\phi(t,\cdot)\|_s \, dt $$ where $P$ is a strictly hyperbolic linear operator. For ...
6
votes
0answers
118 views

Sobolev space on $M \times [0,\infty)$, $M$ compact closed manifold

Consider a manifold of the form $M \times [0,\infty)$, where $M$ is a closed compact manifold without boundary. So $M \times [0,\infty)$ is a semi-infinite cylinder. I want to know information about ...
6
votes
0answers
127 views

Proposed proof of analysis result

Hi please advise on my proof of the following result: Assume that $I \subset \mathbb{R}^{n}$ is convex, bounded open set with Lipschitz boundary and let $u_{m},u$ be such that $$u_{m} ...
5
votes
0answers
139 views
+50

Regularity of a weak solution

The problem is formulated as follows: Let $\Omega\subset\mathbb{R}^2$ a bounded Lipschitz domain. For $u\in L_2(\Omega)$ one can define the one dimensional weak dirivative $\partial_1 u$. Now define ...
5
votes
0answers
79 views

Sobolev type embedding

Consider a compact manifold $M$ and a point $q \in M$. Let us say that that the following inequality holds: $$ \Vert \varphi u\Vert_{L^p} \leq C\Vert \varphi u\Vert_{H^1},$$ where $\varphi \in ...
5
votes
0answers
49 views

$H^{1/2}$ function but not better

I am looking for an example of a function $f: [0, 1] \longrightarrow \mathbb{R}$ that is in the Sobolev space of order $1/2$, $H^{1/2}([0, 1])$, but not in the Sobolev space of order $1/2 + ...
5
votes
0answers
72 views

Weakening Sobolev coefficient in an elliptic estimate.

One of the classical estimates for Sobolev norms and elliptic operators is the following: let $L$ be an elliptic operator of order $l$, then there is some $C > 0$ such that for all $u \in H^{s+l}$ ...
5
votes
0answers
82 views

Does the Gagliardo–Nirenberg interpolation inequality hold on compact closed manifolds?

The Gagliardo–Nirenberg interpolation inequality on a bounded domain is of the form $$|D^j u|_{L^p} \leq C_1|D^m u|_{L^r}^\alpha|u|_{L^q}^{1-\alpha} + C_2|u|_{L^s}$$ where are there restrictions on ...
5
votes
0answers
144 views

Sobolev spaces and using monotone convergence theorem (don't understand a paper)

I'm reading this paper. In it there the following argument (see page 240). Firstly, what precisely does the author mean by the displayed equation after 66? The PDE in (65) only holds weakly.. ...
5
votes
0answers
130 views

Gradient on Sobolev spaces

Suppose I have a function $\Phi \in L_p(\Omega)$ and $\nabla\Phi \in W^{-\alpha}_p(\Omega)$, $1<p<\infty$ and where $\Omega\subset\mathbb{R}^n$ is a bounded domain. Can I conclude that $\Phi\in ...
5
votes
0answers
109 views

Extension of Rellich's theorem: Embedding “sort of” compact in the limit case?

Let $\Omega$ be a domain with a nice boundary (i.e., smoothness of the boundary shall not be central to my question). Now it well-known that the embedding $\iota \colon W^{1,p}(\Omega) \to ...
5
votes
0answers
84 views

$u\in W^{1,p}(B)$ implies $u\in W^{1,p}(\partial B_t)$ for almost $t\in (0,1]$?

Suppose that $u\in W^{1,p}(B)$ where $B=B(0,1)\subset\mathbb{R}^N$ and $p\geq 1$. It was showed on this post (as an application of Fubini's theorem) that for almost $t\in (0,1]$ $$u_{|\partial ...
5
votes
0answers
119 views

Is this function in the Sobolev space $H^{2,-s}(\mathbb{R}^3)$?

I have the function $$f(x)=\frac{e^{iz|x-y|}}{4\pi|x-y|}$$ with $y\in\mathbb{R}^3$ and $\Im z>0$. Let $s>\frac{1}{2}$. Clearly it is not in $H^{2,-s}(\mathbb{R}^3)$ for the singularity of order ...
5
votes
0answers
121 views

Splitting the action of functionals in duals of Sobolev spaces

Update: After some more thinking and asking I've come to the conclusion that there is no reasonable way to achieve this for all possible $\varphi$ because of the mixed terms. I believe something ...
5
votes
0answers
104 views

Can we do some scaling argument in the presence of inhomogeneous norms?

Notation: $B^n_R$ stands for the ball of radius $R$ in $\mathbb{R}^n$. $\hat{f}$ stands for the Fourier transform of $f$. Question. The following inequality holds true for all $f\in ...
4
votes
0answers
30 views

Proof of Sobolev imbedding theorem in Adams

I am struggling to understand the proof of the Sobolev embedding theorem given in Sobolev Spaces by Adams. Specifically section 4.25 (2003 edition). The aim is to prove $W^{m,1}(\Omega) \to ...
4
votes
0answers
54 views

Is $C^\infty_{0}(\bar{\Omega})$ dense in the hilbert space $W^{2,2}(\Omega)\cap W^{1,2}_{0}(\Omega)$

Assume $\Omega$ is open bounded domain in $\mathbb R^n$ Is $C^\infty_{0}(\bar{\Omega})$ dense in the hilbert space $W^{2,2}(\Omega)\cap W^{1,2}_{0}(\Omega)$ with inner product ...
4
votes
0answers
40 views

Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$ for some $\overline{p}>p*'$

Let $\Omega \subset \mathbb{R}^{N}$ be a smooth bounded domain , $g:\Omega\times\mathbb{R}\rightarrow\mathbb{R}$ is a Caratheodory function such that $g(x,t)=0$ for $t\leq0$ . Suppose that ...
4
votes
0answers
118 views

Question 13 in Taylor's PDE vol III section 16.1.

My question comes from Taylor's PDE textbook, volume III. Consider a semilinear hyperbolic system, $u_t=Lu+g(u)$, $u(0)=f$, where $Lu=\sum_j A_j \partial_{x_j}u$, $g(0)=0, \ |g'(u)| \le C$, take ...
4
votes
0answers
95 views

The equivalent definition of $W_0^{1,\infty}(\Omega)$

Usually, for $1\leq p<\infty$, we define $W_0^{1,p}(\Omega)$, where $\Omega$ is open bounded smooth boundary, by taking the closure of $C_c^\infty(\Omega)$ under $W^{1,p}$ norm. However, we don't ...
4
votes
0answers
56 views

I want to proof that the lebesgue measure of the set below is positiva. Help me!

Let $\Omega$ be a domain limited with smooth boundary in $\mathbb{R}^{n}$ and consider the Sobolev space $H^{1}_{0}(\Omega)$ equiped with the norm $||u||=\int_{\Omega}|\nabla u|^{2}dx$. Let ...
4
votes
0answers
96 views

Equivalence of two definitions of weak solution (from a book, I don't understand something!!!!)

Consider $$y_t - \Delta y = f$$ $$y(0) = y_0$$ with zero boundary condition. Let $a(t,.,.)$ be the bilinear form associated to $-\Delta$. We have two definitions of weak solutions: We have $y \in ...
4
votes
0answers
302 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) ...
4
votes
0answers
87 views

$f_n \rightharpoonup f$ in $L^q(Q)$ $\forall q < \infty$ and $f_n' \rightharpoonup f'$ in $L^2(0,T;H^{-1})$ implies $f_n \to f$

(... in $C^0([0,T]; H^{-1})$. ) Let $f_n$ be a sequence of functions defined on $Q:=(0,T)\times \Omega$, where $\Omega$ is a bounded domain. I have read this: Since $f_n \rightharpoonup f$ in ...
4
votes
0answers
116 views

If $u$ has a weak derivative and $f$ is $C^1$ does $fu$ have a weak derivative (fractional Sobolev space and weak time derivatives)

Let $\Omega$ be an open bounded set. Let $s \in (0,1)$ and $H^s(\Omega) := W^{s,2}(\Omega).$ Let $f \in C^1([0,T]\times \Omega)$ and $u \in L^2(0,T;H^s(\Omega))$ with weak derivative $u' \in ...
4
votes
0answers
99 views

Regularity theorem for Laplacian

Let $\Omega \subset \mathbb R^d$ be a bounded domain, $d>2$. Let $f \in C^\infty(\Omega)$. If $u \in L^2$ is a distributional solution of $\Delta u = f$ in $\Omega$ then $u \in C^\infty(\Omega)$ ...
4
votes
0answers
130 views

Moduli of smoothness, Besov spaces, and Sobolev spaces

For $1\leq p\leq\infty$, the $r$-th order $L^p$-modulus of smoothness is \begin{equation} \omega_r(u,t,\Omega)_p=\sup_{|h|\leq t}\|\Delta_h^ru\|_{L^p(\Omega_{rh})} \end{equation} where ...
4
votes
0answers
142 views

Show that the following $u\in L^{\infty}\cap H^1(B)$ is a weak solution to the given system.

Let $B=B_{\exp(-2)}\subset\mathbb{R}^2$. I would like to show that a weak solution to the following system (in $B$): \begin{align*} \triangle u_1&=-2|Du|^2(u_1+u_2)/(1+|u|^2)\\ \triangle ...
4
votes
0answers
189 views

Existence of weak solution in Sobolev space $W^{1,p}$

Let $B\colon W^{1,p}\times W^{1,q}\rightarrow \mathbb{R}$ and $\frac{1}{p}+\frac{1}{q}=1$ , $p>2$ where $$B[u,v]=\int \left( Du \,Dv+ h u v \right)\, dx$$ where $h>0$. I am interested to prove ...
3
votes
0answers
33 views

The best constant in Poincare-liked inequality in BV space

Let $\Omega\subset \mathbb R^N$ open bounded smooth boundary. Then we could prove that for any $u\in BV(\Omega)$ and $\omega\in \operatorname{ker}\mathcal E $, where $\mathcal E$ denotes the ...
3
votes
0answers
39 views

How can we show that $u$ as a weak solution has properties $u \in L^{\infty}(\Omega)$ , $ u>0 $

Let $\Omega$ be an open domain in $\mathbb {R^n}$ and $f \in C^{\infty}(\Omega)$ then how can we prove there is a weak solution $u \in ‎‎ W^{2,2}(\Omega) \cap W^{1,2}_0(\Omega) \cap ...
3
votes
0answers
36 views

Sobolev multiplication $\otimes$ of $H^1=W^{1,2}$ in vector bundles.

Let $E\to X$ be a vector bundle with an inner product and fix a reference connection $A_0$ on $E$. Then for $1\leq p < \infty$ and $k\geq 0$ we can define the Sobolev space $W^{k,p}(E)$ as the ...
3
votes
0answers
36 views

A linear functional of $H^k$

Define $H^k$ as usual: $$H^k=\left\{f; \int (1+|\xi|^2)^k|\widehat{f}(\xi)|^2d\xi<\infty\right\}$$ Define $l(u)=\int (1+|\xi|^2)^k\widehat{u}(\xi)d\xi$, how to show that $l\in (H^k)^*$. I tried ...
3
votes
0answers
142 views

Complicated convergence of nonlinear term

Let $1<p<\infty$, $\Omega\subset\mathbb{R}^m$ be open, bounded with $\partial\Omega\in C^1$. Assume that $u_k\to u$ weakly in $W^{1,p}(\Omega;\mathbb{R}^n)$. We know that $u_k\to u$ strongly in ...
3
votes
0answers
142 views

Prove difference quotient converges to weak derivative in $L^p$

I am trying to solve the following exercise: Let $U$ be an open set in $\mathbb{R}^n$ and let $V$ be a compact subset with Lipschitz boundary. Assume that $f$ is in $L^p(U)$ with $1<p<\infty$ ...
3
votes
0answers
47 views

Regularity of weak solution for $u_t - \Delta u = f$ with $u(0) = u_0 \in L^1(\Omega)$

Let $\Omega$ be a bounded domain, and consider the equation $$u_t - \Delta u = f$$ $$u(0) = u_0 \in L^1(\Omega)$$ with Neumann BCs (or Dirichlet if convenient) where $f$ is smooth. Using ...
3
votes
0answers
43 views

if $\Delta u = |\nabla u|^{3/2}$ then $u \in C^{\infty}$

Suppose $u \in H^1_{\text{loc}}(\mathbb{R^2})$. I want to show that if $\Delta u = |\nabla u|^{3/2}$ in the distributional sense then $u \in C^{\infty}$. I know that since $\nabla u \in L^2$ (I'll ...
3
votes
0answers
70 views

What is a good way to prove the weak form of the Sobolev embedding theorem?

From Richard Melrose, From microlocal to global analysis, Chapter 1, Problem 11. Suppose $u\in L^{2}(\mathbb{R}^{n})$ and that $$ D_{1}D_{2}\cdots D_{n}\mu\in (1+|x|)^{-n-1}L^{2}(\mathbb{R}^{n}) $$ ...
3
votes
0answers
50 views

Sobolev estimation of second derivative against Laplacian and higher terms

Given $u \in H^2(\Omega)$ (and $\Omega \subseteq \mathbb{R}^n$ with appropriate properties) is there a way to estimate the norm of the second derivative $\Vert D^2 u\Vert_{L^2(\Omega)}^2$ against the ...
3
votes
0answers
39 views

Proposed proof of continuous operator on Sobolev space

Hi I am interested in a question about continuity: Assume that $\Omega \subset \mathbb{R}^{n}$ is bounded and consider operator $$f:W^{1,p}(\Omega) \times L^{p}(\Omega;\mathbb{R}^{n}) \rightarrow ...
3
votes
0answers
65 views

Function with divergence, curl and normal trace on boundary equals zero is zero

Let $u\in H^1(\Omega)$ with $\nabla\times u=0$ in $\Omega\subset\mathbb{R}^3$ (open bounded domain), $u\times n=0$ on $\partial\Omega$ (where $n$ is a a normal vector to $\partial\Omega$), ...
3
votes
0answers
73 views

Proving continuity on Sobolev space with weak topology

Hi I am interested in proving that an operator $$\eta : W^{1,p}(\Omega) \times L^{p}(\Omega) \rightarrow L^{p'}(\Omega)$$ is (weak $\times$ norm, norm) continuous. I want to know if it is viable to ...
3
votes
0answers
22 views

Inverse continuous

According Dehman, Gérard and Lebeau in "Stabilization and control for the nonlinear Schrödinger equation on a compact surface" (Math. Z. (2006) 254:729–749, DOI 10.1007/s00209-006-0005-3) is claimed ...
3
votes
0answers
65 views

Existence theorem on weak solutions of ordinary differential equations

Consider an ordinary vector-valued differential equation of the form $$ \begin{align*} \dot y(t) &= f(t,y(t)), \\ y(0) &= y_0 \in \mathbb{R}^n. \end{align*} $$ It is well known that if $f$ is ...
3
votes
0answers
44 views

Can we expect, $h\ast \mu \in L^{2}(\mathbb R, (1+|x|^{2})^{s})$ for $h\in \mathcal{S}(\mathbb R), \mu\in M(\mathbb R)$ and $s>1/2$?

We put, $M(\mathbb R)=$ The space of complex bounded Borel measure on $\mathbb R$ [With each complex Borel measure $\mu$ on $\mathbb R$ there is associated a set function $|\mu|,$ the total variation ...
3
votes
0answers
147 views

What domains of $\mathbb{R}^n$ have the property that $H^1(\Omega)=H^1_0(\Omega)$?

i wonder what are sufficient conditions on an unbounded domain of $R^n$ called $\Omega$ to get : $C_c^\infty (\Omega)$ dense in $H^1 (\Omega)$ ? where $C_c^\infty$ stands for the set of functions with ...