Questions tagged [sobolev-spaces]
A Sobolev space is a vector space of functions equipped with a norm that is a combination of Lp-norms of the function itself and its derivatives up to a given order.
1,037
questions
1
vote
0
answers
74
views
First-order interpolation inequalities with weights by L.Caffarelli, R.Kohn and L.Nirenberg
L. Caffarelli, R. Kohn and L. Nirenberg showed in this article that, under some conditions, the following weighted interpolation inequality is valid
THEOREM: There exists a positive constant $C$ such ...
- 585
2
votes
0
answers
70
views
Zero trace Sobolev space on Carnot group
Let $\mathbb{G}=(\mathbb{R}^{n},\circ)$ be a Lie group on $\mathbb{R}^n$ and $\mathfrak{g}$ be the corresponding Lie algebra of $\mathbb{G}$. Let $X_{1},\ldots,X_{m}$ be the left invariant vector ...
- 561
1
vote
1
answer
139
views
Dense properties of weighted Sobolev space define on $\mathbb{R}^n$
Consider the usual Sobolev space $H^1(\mathbb{R}^n)$ and $H^1_0(\mathbb{R}^n)$, where $H^1_0(\mathbb{R}^n)$ is the closure of $C_0^\infty(\mathbb{R}^n)$ with respect to the norm of $H^1(\mathbb{R}^n)$....
- 561
0
votes
1
answer
79
views
Derivative in Sobolev space extended by zero
Let $u(x) \in H^1_0$ is a complex function in sobolev space extension by zero.
How to find $J'(u)$ for
$$
J(u)= \int\limits_0^l |u(x)|^2\operatorname{d\!}x\;??
$$
In $L_2$ it's easy:
$$
J'(u) = \left(\...
- 3
5
votes
1
answer
213
views
Bounds on dimension of a subspace
Let $I=(0,1)$ and let $C>1$ be a constant. Let $L^2(I)$ and $H^1(I)$ be the standard Sobolev spaces on $I$. Suppose that $U$ is a subspace of $H^1(I)$ with the additional property that:
$$ \| u\|_{...
- 4,089
5
votes
1
answer
294
views
Optimal constant to compare $L^2$ norm of smooth function on $[0, 1]$ to a grid
Suppose that $f \colon [0, 1] \to \mathbb{R}$ is a $C^\infty$ function satisfying the constraints
$$
f(0) = f'(0) = f(1) = f'(1) = 0, \quad \mbox{and} \quad \int_0^1 (f''(y))^2 \, dy \leq 1.
$$
...
- 342
6
votes
1
answer
276
views
The Cauchy problem in general relativity, hyperbolic PDEs, and Sobolev spaces on manifolds
(I apologize in advance if this question is ill-posed or not suitable for Math Overflow, I am not yet a research mathematician, just a student.)
Let $(\Sigma,\bar{g})$ be an $n$-dimensional Riemannian ...
- 161
1
vote
1
answer
160
views
Higher integrability for Sobolev functions - part 2
This is a follow-up to the question asked in Higher integrability for Sobolev functions
Updated question: Given the very helpful counterexamples and the ideas, I have the following question: Suppose ...
- 483
5
votes
3
answers
589
views
Higher integrability for Sobolev functions
Let $u \in W^{1,2}(\mathbb{R}^2)$ be a given function satisfying $$\frac{1}{|B_r|}\int_{B_r(x)} |\nabla u|^2 dy \leq \frac{1}{r^{\delta}}$$ for all $r \leq 1$, $x \in \mathbb{R}^2$ and some fixed $\...
- 483
0
votes
0
answers
134
views
Is $C^\infty(\Omega) \cap W^{s_1,p_1}(\Omega)$ dense in $W^{s_2,p_2}(\Omega)$ if $W^{s_1,p_1}(\Omega) \subset W^{s_2,p_2}(\Omega)$?
Background: The proof of Theorem 6.4 in http://mate.dm.uba.ar/~jrossi/Fractional-1-lapla-07_02_2015.pdf, I want to use the density that $C^\infty(\Omega) \cap W^{r_0,q_0}(\Omega) \cap L^2(\Omega)$ is ...
- 1
4
votes
2
answers
301
views
Lebesgue differentiation theorem at boundary points for Sobolev traces
$\newcommand{\R}{\mathbb R}$
Let $\Omega\subset \R^d$ be a smooth, bounded open set and fix $p\geq 1$.
Fact 1: the usual Lebesgue differentiation theorem says that, if $u\in L^p(\Omega)$, then
$$
u(x)...
- 5,163
0
votes
2
answers
138
views
Perhaps an application of Hardy's inequality
Let $f \in H_{0}^{1}(0,1)$ and $\lambda >0$ big enough. Consider $0 <\alpha < 1$ and some $k > 0$. I would like to show the following inequality
$$
\int_{\lambda^{-k}}^{1}|f(x)|^{2}dx \leq ...
- 241
-3
votes
1
answer
68
views
Sobolev embedding [closed]
I was trying to understand Sobolev embedding, some results about this topic are not clear to me.
My question is the following:
what are the condition on $p_1 , \alpha_1, p_2 $and $\alpha_2$ for
$W^{...
- 35
3
votes
0
answers
86
views
Using a maximum principle to deduce regularity
Suppose $\Omega \subset \mathbb{R}$ is an bounded domain and that $u \in C(0,T; H^{2}) \cap L^{2}(0,T; H^{3})$ where $T >0$.
Consider the PDE on $\Omega \times [0,T]$
$$ \partial_{t}u = a_{1}(x,t) \...
- 131
3
votes
0
answers
91
views
Functions whose zero extension are in $H^1$
Let $W^{1,p}(\Omega)$ be the classical Sobolev space on an open set $\Omega\subseteq \mathbb{R}^N$. Denote by $W_0^{1,p}(\Omega)$ the closure of $C_c^\infty(\Omega)$ in $W^{1,p}(\Omega)$.
Question.
...
- 356
4
votes
0
answers
128
views
Given $a>0$, find $b>0$ for which $\|\langle x\rangle^{-b}|\partial_x|^{1/2}f\|_{L^2}\lesssim\|\partial_x f\|_{L^2}+\|\langle x\rangle^{-a}f\|_{L^2}$
I have asked the same question on MathSE. I was thinking about the following problem.
Problem. Given $\alpha>0$, find all values of $\beta\geq 0$ such that the following estimate is true for all $\...
- 1,055
3
votes
0
answers
159
views
Interpolation between Sobolev spaces
In the classical book $Interpolation$ $Spaces$ by Joran Bergh and Jorgen Lofstrom, the Sobolev norm is defined by
$$\|f\|_{H_p^s}=\|D^sf\|_{L^p}$$
where $D^sf$ is defined by the Fourier transform
$$(D^...
- 71
4
votes
2
answers
284
views
Equivalence between two Sobolev norms on manifolds
On a compact Riemannian manifold $(M,g)$ without boundary, there are two ways to define a Sobolev norm on $M$. Assume that $f\in C^\infty(M)$ in the following.
Use pseudo-differential operators on $M$...
- 71
5
votes
1
answer
320
views
Sobolev embedding on sphere
Let $S$ be a two-dimensional sphere, $\Delta$ be the Laplace-Beltrami operator on $S$ and $L^p(S)$, $p\geq 1$, be the usual $L^p$ space of real-valued functions on $S$. We also set $\|f\|_{H^\alpha(S)}...
- 552
2
votes
1
answer
218
views
The space of Sobolev maps between Riemannian manifolds
Let $\mathcal{M}, \mathcal{N}$ be two Riemannian manifods. Suppose that $\mathcal{N}$ is properly and isometrically embedded in $\mathbb{R}^n$. The space of Sobolev maps between $\mathcal{M}$ and $\...
- 379
1
vote
0
answers
47
views
A question of interpolation space on homogeneous Carnot group
Let $\mathbb{G}$ be the homogeneous Carnot group on $\mathbb{R}^{n}$ defined as follows:
A homogeneous Lie group $\mathbb{G}=(\mathbb{R}^{n},\circ)$ is called a homogeneous Carnot group (or a ...
- 265
4
votes
2
answers
150
views
A ball with slit at the radius is not $W^{1,1}$-extension domain
Recall that: A domain $\Omega\subset \mathbb{R}^d$ is an $W^{1,1}$-extension domain if there exists an operator $E:W^{1,1}(\Omega)\to W^{1,1}(\mathbb{R^d})$ and a constant $c= c(d,\Omega)>0$ such ...
- 1,033
2
votes
0
answers
239
views
Research in analysis of PDEs
I am currently figuring out what topic to work on for my undergraduate thesis and was able to narrow it down to mathematical analysis. As of now, I have two main options: a thesis working on Sobolev ...
- 151
4
votes
0
answers
98
views
Interpolation on Sobolev space on $[0, 1]^d$ over finite meshes
Let $\Omega = [0, 1]^d$ and suppose that $f \colon \Omega \to \mathbb{R}$ lies in order $m > d/2$ Sobolev space; i.e.,
$$
\|f\|_{H^m(\Omega)}^2 = \sum_{|\alpha| \leq m} \|D^\alpha f\|_{L^2(\Omega)}^...
- 342
1
vote
0
answers
45
views
Error bounds for Sobolev space norm approximation on a finite grid
Suppose that $f : [0, 1] \to \mathbb{R}$ is an element of the order-$k$ Sobolev space,
\begin{multline}
f^{(k - 1)}~\text{is absolutely continuous},\quad \|f\|_{W^k}^2 := \int_0^1 f^{(k)}(x)^2 \, dx &...
- 342
0
votes
0
answers
83
views
Extension for fractional Sobolev spaces, s>0
In their paper, Fractional Sobolev extension and imbedding, the author describes all extension domains for $s \in (0,1)$ -- meaning spaces functions in which are not required to have weak derivatives. ...
- 93
4
votes
0
answers
261
views
Fourier characterization of weighted Sobolev space $W^{1,2}(\mathbb R^n, \gamma_n)$
For integers $n \ge 1$ and $m \ge 0$, the Sobolev space $W^{m,2}(\mathbb R^n)$ is characterized by
$$
f \in W^{m,2}(\mathbb R^n) \text{ iff } \tilde f_m \in L^2(\mathbb R^n),
\label{1}\tag{1}
$$
where ...
- 6,726
2
votes
1
answer
149
views
Is the measure density condition a necessary condition for bounding the Sobolev norm $W^{n,p}(\Omega)$ by the extremal terms?
Let $\Omega \subseteq \mathbb{R}^M$ be a measurable subset of positive measure. R. A. Adams and J. Fournier in their article have proven that if $\Omega$ satisfies the so-called weak cone property, ...
- 768
3
votes
1
answer
418
views
On the domain of the Neumann Laplacian
Let $U$ be a bounded domain of $\mathbb{R}^d$, and write $m$ for the Lebesgue measure on $U$. For $k=1,2$, we denote by $H^k(U)$ the set of all locally $m$-integrable functions $u\colon U \to \mathbb{...
- 701
1
vote
1
answer
134
views
Proof that sesquilinear form in is coercive
Define $\mathbb{W} = H_{0}^{1}(-1,1) \times H_{0}^{1}(-1,1)$, where $u \in H_{0}^{1}(-1,1)$ if $u,u^{\prime} \in L^{2}(-1,1)$ and $u(-1) = u(1) = 0$. Consider the sesquilinear form $a: \mathbb{W} \...
- 241
2
votes
1
answer
220
views
Periodic solution for linear parabolic equation - existence, regularity
I am interested in proving the existence and regularity of solution to the following problem:
$$\begin{cases} \dfrac{\partial y}{\partial t}(t,x)-\Delta y(t,x)+c(t,x)y(t,x)=f(t,x), & (t,x)\in (0,T)...
- 1,330
5
votes
1
answer
321
views
Weak Hessian of the distance function
If $\Omega\subset\mathbf{R}^d$ has a smooth boundary it is known that the distance function $\mathrm{d}_\Omega:x\mapsto \mathrm{d}(x,\partial\Omega)$ is smooth on a neighborhood of $\partial\Omega$. ...
- 2,710
3
votes
1
answer
408
views
Endpoint Calderon-Zygmund inequality of nonlocal fractional laplacian
For $s\in(0,1],$ consider the following non-local fractional laplacian:
$$(-\Delta)^sv= f ~~\text{on } \mathbb{R}^n.$$
Then how to use "the standard elliptic estimate" to obtain:
for $p\in[...
- 631
3
votes
0
answers
52
views
Sufficient conditions for the weight function to have compact embedding of a weighted Sobolev space
Let $\rho$ be a smooth density function on $\mathbb{R}^N$, that is, $\rho(x)\ge 0$ for all $x\in\mathbb{R}^N$ and $\int_{\mathbb{R}^N}\rho(x) dx=1$. Let $L^p_\rho(\mathbb{R}^N)=\{f: \int_{\mathbb{R}^N}...
- 311
1
vote
1
answer
78
views
How to calculate the infimum of Yamabe functional on upper hemisphere
We introduce the following functional to study Yamabe problem with boundary.
$$
Q_g(\varphi)=\frac{\int_M\left(|\nabla \varphi|_g^2+\frac{n-2}{4(n-1)} R_g \varphi^2\right) d v+\frac{n-2}{2} \int_{\...
- 217
1
vote
0
answers
124
views
When can we characterize Sobolev space $W^{2k,p}(\Omega)$ only via the Laplacian-like terms
One of the characterizations of the fractional Sobolev space $W^{s,p}(\mathbb{R}^n)$ uses the Fourier transform $\mathcal{F}$:
$f \in W^{s,p}(\mathbb{R}^n)$ iff $f$ is a tempered distribution such ...
- 768
20
votes
3
answers
1k
views
Convergence of convex functions
I can prove the following result.
Theorem 1. Let $f_n:\mathbb{R}^n\to \mathbb{R}$ be a sequence of convex functions
that converges almost everywhere to a function $f:\mathbb{R}^n\to\mathbb{R}$.
Then ...
- 27.3k
2
votes
1
answer
91
views
Equivalence of Hilbert space norm associated to the harmonic oscillator and a sum of Sobolev and weighted $L^2$ norms
I have seen an equivalence claimed in a few places, but I do not know of a reference that actually proves it with details and it has been a while since I took graduate courses on all this. Apologies ...
- 175
1
vote
0
answers
118
views
Uniform norm bounds for linear approximation of 1-Lipschitz functions
This problem seems like it should be quite easy/standard, but I've not found a solution written down anywhere.
Consider the set of 1-Lipschitz functions on the $[0,d]$ interval. Define the linear ...
- 181
2
votes
1
answer
149
views
Function monotony between [0,T] and $L^2$
Let $\Omega\subseteq\mathbb{R}^N$ be a bounded and smooth domain. If $z:[0,T]\to L^2(\Omega)$ is a function in $H^1([0,T],L^2(\Omega))$ with the property that $z'(t)(x):=z'(t,x)>0$ a.e. on $\Omega$ ...
- 1,330
5
votes
0
answers
202
views
Proof of density of smooth functions in $H(\operatorname{curl})$ with $L^2$ tangential trace
I am trying to understand the proof of the following statement that is presented in the book “Finite Element Methods for Maxwell's Equations” by Peter Monk. The original source of the proof is a 1997 ...
0
votes
0
answers
134
views
Concentration compactness lemma and the best Sobolev constant
It is well known that the best Sobolev constant can be achieved on $\mathbf{R}^n$. More precisely, we have the following theorem (A):
Let $\frac{1}{q}=\frac{1}{2}-\frac{1}{n}$, $$S=\inf\limits_{{u\in ...
- 631
4
votes
1
answer
402
views
Smooth approximation of the $\max\{0,x\}$ function with controlled derivatives
Motivation/Hand-Wavy Question:
In this post, it was asked what the best local approximation of $f(x):=\max\{0,x\}$ is by a polynomial of a given degree; with the answer provided by Chebyshev's ...
- 4,969
4
votes
1
answer
932
views
Chain rule in Sobolev space
In the theory of Sobolev space, we have the following chain rule:
For a uniformly Lipschitz function $F : \mathbf{R}\to \mathbf{R}$ such that $F(0)=0$,
and $u\in W^{1,1}(\mathbf{R}^n)$, then we have ...
- 631
3
votes
1
answer
429
views
Equivalence between two fractional Sobolev spaces
For $s \in (0,1)$, we consider the spectral fractional Laplacian
\begin{align}
(-\Delta)^{-s}u = \sum_{k=1}^{\infty}\lambda_k^{-s}(\phi_k,u)_{L^2}\phi_k
\end{align}
where
\begin{align*}
\begin{cases}
...
- 161
2
votes
0
answers
165
views
How to show that these two functions are $L^\infty$ multipliers?
Suppose there are two multipliers,
$$m_1(\xi)=\frac{|\xi|^s}{(1+|\xi|^2)^\frac{s}{2}}$$
and
$$m_2(\xi)=\frac{(1+|\xi|^2)^\frac{s}{2}}{1+|\xi|^s}$$
where $s\in (0,\infty)$. My question is: are they $L^\...
- 71
4
votes
0
answers
68
views
Maximal function estimate for differential quotient of function satisfying $\nabla f \in BMO$
For a function $f \in W^{1,p}(\mathbb R^N)$, it is well-known that there exists a constant $C_N$ (dependent on $N$) such that
$$
|f(x)-f(y)| \le C_N|x-y|(\mathcal M|\nabla f|(x) + \mathcal M|\nabla f|(...
- 61
5
votes
1
answer
192
views
Is the support of a Sobolev function a varifold?
$\DeclareMathOperator{\graph}{\operatorname{graph}}$
I would like to know if, given $f\in W^{1,2}(\mathbb{R}^n,\mathbb{R})$, it is true that we can always cover $\graph(f)\subset\mathbb{R}^{n+1}$ with ...
- 1,037
0
votes
1
answer
179
views
Sobolev space and weak maximum principle
Let $\Omega$ be a smooth bounded domain, $H^1(\Omega) :=\{u: u, Du\in L^2(\Omega)\},$
and $H^1_0(\Omega)$ is the closure of $C^{\infty}_{c}(\Omega)$ in $H^1(\Omega)$. Define:
$\sup_{\partial\Omega } ...
- 631
6
votes
1
answer
161
views
Sobolev space is spanned by distributions supported on half-lines?
I asked this question on Mathematics Stack Exchange previously.
This seems to be a very basic property of Sobolev spaces, but I wasn't able to find a proof for it.
For any $s \leq 1/2$,
$$H^s(\mathbb{...
- 86