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
120 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 ...
6
votes
0answers
104 views
+50

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 ...
6
votes
0answers
108 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
122 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
85 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 ...
5
votes
0answers
47 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
63 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
67 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
137 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
121 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
107 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
117 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
112 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
102 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
33 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
109 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
64 views

why $ \nabla v_n \to \nabla v \ \ (a.e.)$ and $ v_n \to v $

Can someone see the 10th line of page 9 in this article and give a hint that why $$ \nabla v_n \to \nabla v \ \ (a.e.)$$ and $$ v_n \to v $$ and how with theorem 2.1 we could conclude there exists $ ...
4
votes
0answers
85 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
51 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
87 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
256 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
84 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
115 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
94 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
123 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
137 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
188 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 ...
4
votes
0answers
81 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 ...
3
votes
0answers
31 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
35 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
35 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
62 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
40 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
36 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
54 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
63 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
61 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
70 views

Positive part of $y$ with $y\in L^2(0,T; H_0^1(\Omega))$ and $y'\in L^2(0,T; H^{-1}(\Omega))$

Let $\Omega \subset \mathbb R^n$ be a domain, sufficiently smooth. Let $T>0$. Define the space $W(0,T)$ by $$ W(0,T) = \{ y \in L^2(0,T; H^1_0(\Omega)): \ y'\in L^2(0,T;H^{-1}(\Omega)),\ $$ where ...
3
votes
0answers
42 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
146 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 ...
3
votes
0answers
68 views

Hopf lemma for generalized normal derivatives

Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. If $u\in C^2(\Omega)\cap C_0(\overline{\Omega})$ is a superharmonic function ($-\Delta u\ge 0)$ then, Hopf Boundary Lemma does implies that ...
3
votes
0answers
115 views

Regularity of a Weak Solution to Fokker-Planck Equation

Suppose that $\rho \in L^1(\mathbb{R}^n \times (0,T))$ for every $T < \infty$ is a weak solution of the PDE \begin{align} \partial_t\rho &= \Delta \rho + \text{div}(\rho\nabla\Psi(x))\\ \rho(t ...
3
votes
0answers
47 views

Missing step in Evan's PDE?

In the attached proof, I am having trouble justifying the presence of "$x_n^{p-1}$" in eh line immediately below "Thus" and "Letting $m\to\infty$". I understand he uses Minkowski's inequality, and ...
3
votes
0answers
55 views

Problem of convergence of characteristic functions

Let $\Omega \subset \mathbb{R}^{n}$ be bounded and open. Assume that $a: \Omega \times \mathbb{R} \times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}$ is a Caratheodory function which means $a(x,.,.)$ is ...
3
votes
0answers
57 views

estimations of solutions

Let $\Omega=\mathbb{R}^2_+=\{(x,y) \in \mathbb{R}^2; y > 0\}$, $f \in L^2(\Omega)$, $\lambda \in \mathbb{R}^*_+$, $A=(a_{ij})_{1\leq i,j \leq 2}$, $a_{ij} \in \mathbb{R}$ and there exist $\alpha ...
3
votes
0answers
66 views

Sobolev Spaces and Convergence

I have a question about one of my homework question. I have been struggling for a while and I really need some help. Assume $N>2$ and $u_k$ is a bounded sequence in $W^{1,2}(\mathbb{R}^N)$ ...
3
votes
0answers
84 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 ...
3
votes
0answers
63 views

$f, f|f| \in L^{1} (\mathbb R) \cap C_{0} (\mathbb R) \implies |f| \in H_{1} (\mathbb R)$?

Suppose $f \ \text{and} \ f|f|\in L^{1}(\mathbb R).$ Then, clearly, $|f|\in L^{2}(\mathbb R)$ and therefore by Plancheral theorem, we get, $\widehat{|f|} \in L^{2}(\mathbb R).$ Also, assume, $f, ...