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

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 ...
0
votes
1answer
24 views

Norm in homogeneous Sobolev space

I'm having doubts on the definition of the norm in the space $H_0^2$ defined over the (rectangular) domain $\Omega \subset \mathbb{R}^2$ as follows $$ H_0^2(\Omega) = \left\{ v \in L^2(\Omega): v = ...
2
votes
1answer
47 views

Definition of Hölder Spaces of maps between manifolds (also Sobolev Spaces of these maps)

Let $M$ be a Riemannian manifold, $N$ a manifold, $k\in \mathbb{N}$, $\alpha\in(0,1)$ Question: How exactly is the Hölder space $C^{k,\alpha}(M,N)$ and the sobolev space $W^k_p(M,N)$ defined? Are ...
1
vote
1answer
36 views

functions in $H_0^1(\Omega) \cap C(\overline{\Omega})$ are zero on the boundary

I want to solve the following problem Let $\Omega \subseteq \mathbb{R}^n$ be a bounded open set with $C^\infty$-smooth boundary. Show that for any $u \in H_0^1(\Omega) \cap C(\overline{\Omega})$ ...
0
votes
1answer
44 views

Weak derivative of logarithm function

everybody! I am trying to calculate the weak derivative of the function $$u(x)=\log\log\left(1+\frac{1}{|x|}\right)$$ where $x \in B(0,1)$. I know that $$\nabla ...
1
vote
1answer
32 views

Question about Fourier transforms of gradient, curl and divergence

Consider a vector field $v:\mathbb{R}^3\rightarrow\mathbb{R}^3$. Denote by $F_u$ the Fourier transform of a scalar or vector field $u$. Can one finds an equality relation between ...
1
vote
1answer
16 views

Compact support of derivatives of $u$ in weak sense

I would like to know if let $u:\mathbb{R}^n\to \mathbb{R}$ be a function in $W^{k,p}(\mathbb{R}^n)$ such that $u$ has compact support in $\mathbb{R}^n$ then, for each $|\alpha|\le k,$ $D^\alpha u$ ...
1
vote
1answer
84 views

Integration by parts formula on unbounded manifold

Let $M$ be a closed Riemannian manifold and set $X = M \times [0,\infty)$ with the trivial product metric induced. If $u$ and $v$ are functions defined on $X$, how do I know that the formula $$\int_X ...
5
votes
1answer
57 views

Schrödinger operator with delta (zero range) interaction.

I am reading the book of Albeverio named Solvable models in quantum mechanics. In the first chapter it is explained how to realize the operator $"-\Delta+\delta_0"$ as a self adjoint operator on ...
1
vote
2answers
40 views

Characterization of $H^k$ by Fourier transform

Let $u\in H^k(\mathbb{R}^n)$ a function with complex-valued. Question 1: If $u\in H^k(\mathbb{R}^n)$ and $D^\alpha u\in L_2(\mathbb{R}^n)$, by definition for each $|\alpha|\le k,$ then we have ...
0
votes
1answer
60 views

Self-adjoint extension of the Laplacian

Let $M$ be a complete Riemannian manifold and $-\Delta$ denote the Laplace-Beltrami operator on $M$. We can prove that $(-\Delta f, g) = (\nabla f, \nabla g) = (f, -\Delta g)$, when $f, g \in ...
0
votes
0answers
16 views

Step of proof Hardy's Inequality [duplicate]

I trying to prove the Hardy's Inequality, by Evans book. I need of a little help in the step: If $u\in L^1(B(0,r))$ satisfying $$(2-n)\int_{B(0,r)}\frac{u^2}{|x|^2}dx=2\int_{B(0,r)}u ...
0
votes
1answer
28 views

The Sobolev type embedding for negative Sobolev space

Given $\Omega\in \mathbb R^N$ open bounded smooth boundary, assume $u_n$, $u\in L^q(\Omega,\mathbb R^d)$ for some $d\in\mathbb N$ and $1<q<\frac{N}{N-1}$. We also assume that $u_n\to u$ weakly ...
1
vote
1answer
43 views

Density of $C_c^\infty$ in $W_0^{1,2}$

Let $\Omega \subset \mathbb{R}^N$ be a bounded open set and let $(f_n) \subset L^2(\Omega)$. Suppose there exists $f \in L^2(\Omega)$ such that $$\int_{\Omega} f_n \varphi \rightarrow \int_{\Omega} f ...
1
vote
1answer
34 views

About the definition of Sobolev Spaces

I'm studying Sobolev Space and I have a question about the definition: Def.: The Sobolev Space $W^{k,p}(U)$ consists of all locally summable functions $u:U\to \mathbb{R}$ such that for each ...
0
votes
0answers
34 views

A question in partial differential equation.

Suppose a.b is bounded in $L^2(0,T;H^{-1}(\Omega))$; $a\geq \alpha>0$ almost everywhere in $\Omega\times(0,T)$ and $a\in L^\infty(\Omega\times(0,T))$. Is $b\in L^2(0,T;H^{-1}(\Omega))$?
1
vote
1answer
41 views

Integral of $au^2$ where $a$ is continuous and $u \in W_0^{1,2}(\Omega)$

Let $\Omega \subset \mathbb{R}^N$ be a smooth domain with bounded complement. Let $a \in C(\Omega)$ and let $u \in W_0^{1,2}(\Omega)$. Suppose that $a > 0$ in $\Omega$ and $\displaystyle ...
1
vote
0answers
64 views

How to prove $H_0^1(\Omega)=H_0(div;\Omega)\cap H_0(curl;\Omega)$

It was shown in the book "Finite Elements Methods for Navier-Stokes Equations" by Girault and Raviart that $$H_0^1(\Omega)=H_0(\operatorname{div};\Omega)\cap H_0(\operatorname{curl};\Omega).$$ The ...
0
votes
1answer
22 views

Question about a bounded sequence in $W^{1,1}$ admitting a weakly convergent subsequence

Let $B$ be the unit ball in $\mathbb{R}^{12}$ and $f_n\in L^7(B)$ such that $\lVert f_n \rVert_{W^{1,4}(B)}$ is bounded. Is it true that there exists a subsequence weakly convergent in $W^{1,1}(B)$? ...
0
votes
1answer
49 views

Remark below the proof of Rellich-Kondrachov compactness theorem

The following if a remark left at the end of the proof of the RK compactness theorem p.274 Evans. Here I think I got through everything more or less, but have trouble proving the final claim $$ ...
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 ...
2
votes
2answers
215 views

Laplace operator defined on a Sobolev space

Consider the Laplace operator $$A:W^{2,2}(\mathbb{R})\to L^2(\mathbb{R})\;\;\\A u = -u^{\prime \prime}$$ I want to know why this operator is closed (I'm using the closed graph theorem): Let ...
1
vote
2answers
27 views

Does $a_n \in H^1(\mathbb R^n)$ and $b_n \rightharpoonup 0$ in $H^1(\mathbb R^n)$ imply $\langle a_n, b_n \rangle \to 0$?

I have a question mainly in functional analysis. Suppose that $H^1(\mathbb R^n)$ is the standard Sobolev space that we all know. My question is as follows: Does $a_n \in H^1(\mathbb R^n)$, $|a_n| ...
1
vote
2answers
52 views

Counter example in Sobolev spaces: Is there a standard example for showing that $H^1(\mathbb{R}^2)\not\subset L^\infty(\mathbb R^2)$?

One way to define the Sobolev space $H^s(\mathbb{R}^n)$ is as the completion of the $C^\infty$ functions on $\mathbb{R}^n$ under the norm $$\lVert f \rVert_{H^s(\mathbb{R}^n)}:= \left( ...
1
vote
0answers
42 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 ...
0
votes
1answer
44 views

If $u \in H^1(0,\infty)$, does $u_x(\infty) = 0$?

Let $u \in H^1(0,\infty)$. Then is it true that $u'(x) \to 0$ as $x \to \infty$? I am wondering by Green's formula/IBP in this setting; do I get something like $$\int_0^\infty u_{xx}v = ...
0
votes
0answers
32 views

Sobolev space for Mixed Dirichlet - Neumann boundary condition

Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...
0
votes
0answers
25 views

Approximation of Sobolev functions by Polynomials

If $\Omega$ is star-shaped with respect to a ball, then Dupont and Scott show in "Polynomial approximation of functions in Sobolev spaces" that $$ \inf_{p\in \pi_{k-1}(\Omega)}\|u-p\|_{L^\infty}\leq ...
1
vote
1answer
42 views

Can we conclude that $v_{n}\rightarrow v$ in $L^{\infty}\left(\Omega\right)$ if $p>N$

Let $\Omega\subset\mathbb{R}^{N}$ be a smooth bounded domain, $v_{n}\rightharpoonup v$ in $W_{0}^{1,p}\left(\Omega\right)$ , $\left\Vert v_{n}\right\Vert _{W_{0}^{1,p}}=1$ $\forall n$ . So we ...
0
votes
2answers
51 views

is a convex continuous function absolutely continuous

Does a continuous convex function $\mathbb{R} \to \mathbb{R}$ belong to $W^{1,1}_{loc}$ ? thank you.
1
vote
1answer
59 views

Does weak convergence in $W^{1,p}$ imply strong convergence in $L^q$?

Does weak convergence in $W^{1,p}(\Omega)$ imply strong convergence in $L^q(\Omega)$ when $\Omega$ is bounded? If $f_j$ converges weakly to $f$ in $W^{1,p}$, what can we say about the $L^q$ ...
2
votes
1answer
65 views

Related question to : If $u \in H^1(U)$, then $Du=0$ a.e. on the set $\{u=0\}$

This problem was asked in here. I need to ask something. Provide details for the following alternative proof that if $u \in H^1(U)$, then $$Du = 0 \text{ a.e. } \, \text{ on the set } \{u=0\}. $$ ...
8
votes
0answers
183 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 ...
2
votes
1answer
49 views

Showing Sobolev space $W^{1,2}$ is a Hilbert space

I have the Sobolev space $W^{1,2}$ consisting of all continuous functions $f \in L^2(\mathbb{R})$ such that there exists an $f'$ with $f(b) - f(a) = \int_a ^b f'(t) dt$. $W^{1,2}$ has inner product ...
1
vote
1answer
52 views

Extension of bounded operators between norm spaces

Let $X$ and $Y$ be two Banach Spaces and $X_1$ be a subspace of $X$. If $T$ is a bounded linear operator from $X_1\to Y$, then, this is an extension of $T$ from $X\to Y$ such that $\|T\|_{X}\le ...
5
votes
1answer
104 views

Regularity theorem for PDE: $-\Delta u \in C(\overline{\Omega})$ implies $u\in C^1(\overline{\Omega})$?

I stumbled over this question in the context of PDE theory: Let $U$ be connected,open and bounded in $\mathbb{R}^n$ and $u \in C^0(\overline{U}) \cap C^2(U)$ and $\Delta u \in C^0(\overline{U})$ with ...
1
vote
1answer
61 views

Example 3, Sobolev space Evans

In the following example p.260 Evans. I think I understand everything except for one calculus fact in the second last equation: $$ \int_{\partial ...
0
votes
0answers
61 views

Elliptic W^{2,p}-estimates for a Neumann problem.

Consider the simplest elliptic-Neumann problem in $\Omega\subset \mathbb{R}^n$: $$ -\Delta u+u=f\quad \text{in } \Omega, \quad \frac{\partial u}{\partial \nu}=0\quad \text{on } \partial \Omega. ...
1
vote
2answers
105 views

Definition of Sobolev spaces: Fourier transform of tempered distribution

I consider in "McLean - Strongly Elliptic Systems and Boundary Integral Equations" the definition of the Sobolev space for $s \in \mathbb R$ $$ H^s(\mathbb R^n) := \{u \in \mathcal S^*(\mathbb R^n) ...
2
votes
1answer
52 views

Construction of a function $u$ such that $u \in W^{2,2}(\Omega) \cap W_0^{1,2}(\Omega)$ and $u \not\in W_0^{2,2}(\Omega)$

I'm wondering about an example of a function $u \in W^{2,2}(\Omega) \cap W_0^{1,2}(\Omega)$ such that $u \not\in W_0^{2,2}(\Omega)$. Clearly $W_0^{2,2}(\Omega) \subset W^{2,2}(\Omega) \cap ...
3
votes
1answer
24 views

If $u \in H^{\frac 12}(\Omega)$ and $c \in \mathbb{R}$ is $(u-c)^+ \in H^{\frac 12}(\Omega)$ too?

If $u \in H^{\frac 12}(\Omega)$ and $c$ is a constant, is the function $$(u-c)^+ \in H^{\frac 12}(\Omega)?$$ Here $(x)^+$ is $x$ when $x > 0$ and $0$ otherwise. If it were $H^1$ then it is a true ...
0
votes
1answer
37 views

Sobolev/Lebesgue norm estimates in $\mathbb{R}^3$

I'm currently working on a project in which I have to establish some estimates for some global Sobolev and Lebesgue norms. We know that if we have a bounded domain $\Omega$, then for any $q \leq p^*$ ...
4
votes
1answer
56 views

How would I show a functional is linear and bounded?

Using the following results, for any $f \in H^1(a,b)$, $f$ is continuous on $[a,b]$, and therefore, $$ \int_a^b f(x) dx = f(\zeta)$$ for some $\zeta \in (a,b)$. In addition $$f(c) = f(\zeta) + ...
0
votes
0answers
30 views

Estimates of $L^2$-orthogonal projection in $H^1$ and $H^{-1}$-norm

suppose we have a finite element space $M_k$ of $L^2(\Omega)$ and the orthogonal projector $Q_k$, defined by $(Q_k w,v)=(w,v)$ for all $w \in L^2(\Omega)$ and $v\in M_k$. My aim is prove the ...
0
votes
1answer
34 views

Lebesgue integration by parts in Sobolev space $W^{1,2}(\mathbb{R})$

Let $\phi, \psi \in W^{1,2}(\mathbb{R}) \subset L^2(\mathbb{R})$ and we want to integrate by parts the following piece: $$\int_{\mathbb{R}}\phi(x)\psi'(x)dx$$ Supposedly, it should look like this: ...
1
vote
1answer
29 views

logarithmic sobolev inequalities

I'm reading a paper about PDE in fluid dynamics, where it used something called logarithmic sobolev inequalities: $$||\nabla u||_{\infty}\leq C||\omega||_{\infty} (1+\ln ||u||_m)$$ Where ...
0
votes
1answer
32 views

How does $\inf_{c \in \mathbb{R}} \lVert u - c \rVert_{L^2} \le \lVert \nabla u \rVert_{L^2}$ imply this inequality?

Let $M$ be a compact Riemann manifold with boundary. I want to know, given the inequalities $$ \vert T u \vert_{H^{1/2} (\partial M)} \le C \lVert \nabla u \rVert_{L^2(M)} + \lVert u ...
1
vote
1answer
29 views

Canonical projection of $W^{1,p}(\mathbb{R}^N)$ onto $W_0^{1,p}(\Omega)$

Suppose we have a bounded domain $\Omega \subset \mathbb{R}^N$ with sufficiently smooth boundary $\partial \Omega$. The Sobolev spaces $W^{1,p}(\mathbb{R}^N)$ and $W_0^{1,p}(\Omega)$ are defined as ...
2
votes
1answer
49 views

Confusion about inclusions of dual spaces

We have the triple inclusions $H^1_0(\Omega)\subset L^2(\Omega)\subset H^{-1}(\Omega)$, where the second inclusion is not literal but in the sense of distributions. Related to this answer, why is the ...
0
votes
1answer
33 views

What is the norm of $H^4(0, 1) \cap H_0^2(0, 1)$?

Let $I = (0, 1)$ and $H_0^2(I) = \{u \in L^2(I) : u', u'' \in L^2(I), u = u' = 0 \;\; \text{on} \;\; \partial I\}$. What is the norm of $$H^4(I) \cap H_0^2(I)?$$ $\|u\|_{H^4(I)} = \Big[ ...