All Questions
78 questions
3
votes
0
answers
14
views
On compact embeddings in weighted Riesz potential spaces
I wonder if there is any references for the study of the following type of spaces
$$ X_{\delta,\alpha}=\{ u\in L^2_\delta(\mathbb{R}^n):\, u= (-\Delta)^\alpha f \quad\text{for some}\quad f\in L^2_{\...
- 4,145
8
votes
0
answers
103
views
Sobolev embedding theorems in vector bundles on non-compact manifolds
Let $(M,g)$ be a smooth (not necessarily compact) Riemannian $n$-manifold. It is well-known that dealing with Sobolev spaces in the general non-compact case becomes tricky, since for instance, there ...
- 1,429
3
votes
1
answer
224
views
Extension of Sobolev function defined on unit cube
Im wondering about theorems concerning extending Sobolev functions defined on the $d$-dimensional unit cube to all of $\mathbb{R}^d$. More precisely, given $f:[0,1]^d \to \mathbb{R}$ with $f\in H^k([0,...
- 93
3
votes
1
answer
187
views
Is this property preserved under weak$^*$ convergence?
Let $1 \le p < n$ and let $p^*$ be the Sobolev conjugate of $p$, i.e. $p^* = np/(n - p)$. Let $(\Omega_m)$ be an increasing sequence of bounded, convex and open sets such that $$ \lim_{m \to \infty}...
2
votes
1
answer
117
views
Special density on $L^2$
Let $\Omega\subset\mathbb{R}^N$ be a bounded domain, and $u\in L^2(\Omega)$ with $0\leq u(x)\leq 1$ a.e. on $\Omega$. It is well known that $C^{\infty}_c(\Omega)$ is dense in $L^2(\Omega)$. Because $C^...
- 1,759
3
votes
0
answers
167
views
Bounding the $L^{p*}$ norm from below for functions satisfying a $p$-capacity estimate
If $1 \le p < n$, the $p$-capacity of a compact set $A \subset \mathbb{R}^n$ with respect to an open set $U$ containing it is defined as $$\text{Cap}_p(A, U) := \inf \left\{\int_U |\nabla u|^p \, ...
7
votes
1
answer
580
views
Sobolev spaces are smooth? Their dual is strictly convex?
Do you know any reference which says something about the:
Smoothness of the Sobolev space $W^{1,p}(\Omega)$ i.e. if the duality mapping $J\colon W^{1,p}(\Omega)\to W^{1,p}(\Omega)^*$ is a singleton.
...
- 1,759
8
votes
1
answer
496
views
A fractional weighted Poincaré inequality
Does there exists a constant $C>0$ such that
$$ \int_{-1}^1 \lvert x\rvert\lvert\partial_x u\rvert^2 \,dx \geq C\, \lVert u\rVert^2_{H^{1/2}((-1,1))},$$
for all $u\in C^{\infty}_0((-1,1))$?
- 4,145
0
votes
1
answer
154
views
Finite dimensionality of a subspace
Let $c>0$ and let $Y$ be the space of all distributions of compact support in $(-1,1)$ with singular support at $\{0\}$. Let $X$ be subspace of $Y$ such that for any $\phi \in X$ there holds:
$$ \...
- 4,145
5
votes
1
answer
216
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,145
0
votes
0
answers
142
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
1
vote
1
answer
219
views
Does Newton-Leibnitz apply to Sobolev space
For a function $u\in W^{1,p}$, we always use a sequence of $C^1$ function to approach it and derive the consequences. However, can we just claim for a.e. x, y:
$$u(x)-u(y)= \int_0^1 Du(y+t(x-y))\cdot (...
- 421
1
vote
1
answer
161
views
About the continuity of the integral on the boundary of a ball
I’m considering a $H^1$ function u on a open domain D. Is the integral:
$$ \int_{\partial B_r(x)} u \hspace{2pt}dH^{n-1}$$
continuous with respect to x?
I tried to prove that it’s differential by ...
- 421
0
votes
1
answer
711
views
Lipschitz domains ambiguous definitions
I use a lot in the study of pde bounded Lipschitz domains $\Omega\subseteq\mathbb{R}^N$. However I have noticed that there are some major differences in their definitions. I will put here two of them, ...
- 1,759
1
vote
0
answers
72
views
Compute surface Sobolev norm using local coordinate
For a bounded $\Omega\subset \mathbb{R}^n$ with Lipschitz boundary, there are various definitions of fractional Sobolev spaces (a.k.a. Sobolev-Slobodeckij spaces) on $\partial \Omega$, either by using ...
- 503
1
vote
1
answer
675
views
First derivative of cut off function
I am working on proving the following: Let $\rho(x)= \frac{2}{2+x^2}$, $\theta >1$ (assumed integer here) and $B \subset H^1_{ul}$,(uniformly local Sobolev space), be any subset which is bounded in ...
- 159
2
votes
0
answers
229
views
Weighted Sobolev norm in terms of Spherical harmonics coefficients
Let $M = [1,\infty) \times S^2$.
Consider the weighted Sobolev space $H^k_{\delta}(M)$ with the Sobolev norm:
$$\lVert u \rVert_{k,\delta}^2 := \sum_{n=0}^k \int_M |D^nu \,r^{n-\delta}|^2 r^{-3} dV $$
...
- 969
0
votes
1
answer
109
views
Does a weakly convergent sequence in $W^{1,p}(B_1)$ which also converges in $C^{0,\alpha}(B_1)$ converges strongly in $W^{1,p}(B_1)$?
Given a sequence $u_k\in W^{1,p}(B_1)\cap C^{\alpha}(B_1)$ such that $\|u_k\|_{C^{\alpha}(B_1)}\le 1$ for all $k\in \mathbb N$. Suppose we have
$$
u_k \rightharpoonup u\;\;\mbox{weakly in $W^{1,p}(B_1)...
- 261
2
votes
0
answers
252
views
Dense property of intersection of Sobolev space
I'm using Muscalu and Schlag's textbook (online notes) to study Littlewood-Paley theory in harmonic analysis, where I encounter the following claim:
Pick an arbitrary real number $s$, we have that the ...
- 197
0
votes
1
answer
142
views
Showing that a Gaussian achieves equality in a logarithmic Sobolev inequality
Consider the following Logarithmic Sobolev inequality on page 210 of Analysis by by Elliott H. Lieb, Michael Loss (GSM 14): for $f\in H^1(\mathbb R^n),$ and $a>0$ any positive number,
$$
\frac{a^2}{...
- 1,755
0
votes
0
answers
981
views
Weak $H^1$ convergence implies strong $L^p_{\text{loc}}$ convergence
On page 210 of Analysis by by Elliott H. Lieb, Michael Loss (GSM 14), there is a theorem stating that if $f_j \to f$ weakly in $H^1(\mathbb R^n)$ then $\mathbf 1_A f_j \to \mathbf 1_A f$ strongly in $...
- 1,755
2
votes
1
answer
2k
views
Sobolev embedding for fractional Sobolev spaces
Let $\Omega\subset\mathbb{R}^2$ be open and of class $C^1$. The Sobolev embedding theorem implies that if $u\in W^{k,2}(\Omega)$ and if $k\in\mathbb{N}: k\geq 2$, then $u$ is continuous.
Question. ...
- 347
1
vote
0
answers
81
views
Compact imbedding for weight space
We begin with some definitions. Let $\gamma \geqslant 1,\,p \in \left[ {1,\infty } \right)$, we define
$$L_\gamma ^p\left( {0,1} \right) = \left\{ {v:\left( {0,1} \right) \to \mathbb{R}:{{\left\| v \...
- 183
1
vote
0
answers
119
views
Can $H_{\mathrm{rad}}^s(\mathbb{R}^n)$ compactly embedded in $L^{\sigma}(\mathbb{R}^n)$?
$\DeclareMathOperator\rad{rad}$
Can $H_{\mathrm{rad}}^s(\mathbb{R}^n)$ be compactly embedded in $L^{\sigma}(\mathbb{R}^n)$?
In $H_{\rad}^1(\mathbb{R}^3)$, by Struass estimate $|f(x)| \lesssim |x|^{-1} ...
- 429
1
vote
0
answers
74
views
Fourier transform of a Sobolev function dependent on a "parameter"
Let $u\in\mathcal{S}(\mathbb{R}^n)$, let $V\in W^{1,1}_\text{loc}(\mathbb{R}^n\times\mathbb{R}^+)$, such that
$$ V(x,0)=u(x),\quad V(x,\cdot)\in C^0([0,\infty)),\quad\forall x\in\mathbb{R}^n,$$
and ...
- 339
3
votes
0
answers
117
views
Are continuous harmonic maps between Riemannian manifolds smooth up to the boundary?
Let $M,N$ be smooth, connected, compact, oriented, two-dimensional Riemannian manifolds, with $C^k$ boundaries.
Let $f:M \to N$ be a Lipschitz continuous weakly harmonic map**, and assume that $f(\...
- 6,741
2
votes
0
answers
156
views
On sup over boundaries of Sobolev functions
In Gilbarg-Trudinger's section on the maximum principle for weak solutions, the sup of a boundary of a Sobolev function defined as follows:
Let $\Omega$ be a bounded domain in $\mathbb{R}^n$. For $u, ...
- 353
5
votes
0
answers
140
views
Measure of the boundary of an BV-extension domain: do we have $|\nabla Eu|(\partial \Omega)=0?$
Let $\Omega\subset \Bbb R^d$ be open. The space $BV(\Omega)$ consists in functions $u\in L^1(\Omega)$ with bounded variation, i.e. $|u|_{BV(\Omega) }<\infty$ where
\begin{align}\label{eq:bounded-...
- 1,101
5
votes
1
answer
260
views
Approximate Sobolev embedding
It is well-known in $H^2(\mathbb R^3)$ embeds into $L^{\infty}(\mathbb{R}^3).$ Now consider a function $u \in \ell^{\infty}(h\mathbb Z^3)$ and a grid of points $x \in h\mathbb{Z}^3.$
We then define ...
- 124
1
vote
0
answers
126
views
Continuity of Helmholtz-Hodge projection in $H^1(\Omega)$
Let $\Omega \subset \mathbb{R}^d$ (for simplicity $d = 2$ or $3$) be a bounded Lipschitz domain. For any vector-valued function $\mathbf{f} \in \mathbf{L}^2(\Omega):= \left ( L^2(\Omega) \right )^d$, ...
- 23
1
vote
1
answer
101
views
Poincaré-type Inequality
In Lieb's paper "On the lowest eigenvalue of the Laplacian
for the intersection of two domains" one finds the following remark:
Let $u\in L_{loc}^p(\mathbb{R}^N)$ with $\nabla u \in L^{p}$ and $\|\...
- 69
2
votes
2
answers
251
views
inequality involving the fractional Sobolev space
Let $X_{0}$ be the Sobolev space defined on $(1, 2)$ by $X_{0}(1,2)= \{u\in H^s(\mathbb R): u=0 \text{ in } \mathbb R-(1, 2)\}.$ Is it possible to determine the constant $C$ of the inequality
$$|u(x)...
- 407
1
vote
1
answer
148
views
Understanding a family of Sobolev-type inequalities
I am reading Aspects of Sobolev-Type Inequalities by professor Laurent Saloff-Coste, where I found a claim on page 66 claiming the following:
Denote the following inequality as $S_{r,s}^{\theta}$: $\...
- 11
3
votes
1
answer
374
views
Positive part of Cauchy sequence of Sobolev functions is again Cauchy
Let $p\geq 1$ and consider the space $W^{1,p}(B)$ where $B\subset \mathbb{R}^{n}$ is the standard unit ball. Moreover, let $f_{k} \in C^{\infty}(B)$ be a Cauchy sequence in $W^{1,p}(B)$ of smooth ...
- 49
1
vote
1
answer
2k
views
Sobolev embedding in the space of continuous functions [duplicate]
Let $I = \mathbb{R}$ and let $W^{1,2}(I,\mathbb{R})$ be the Sobolev space of function from $I$ to $\mathbb{R}$ (one time weakly differentiable and contained in $L^{2}$) and $C^{0}(I,\mathbb{R})$ be ...
- 11
1
vote
0
answers
511
views
Weak derivative under the integral sign
Let $\Omega$ be a bounded and regular open subset $\Omega$ of $\mathbb{R}^N$ and $u:[0,\infty)\times \Omega\to \mathbb{R}$ be a smooth function (for example a smooth solution to a PDE). Thus the ...
- 161
2
votes
0
answers
240
views
Discrete Sobolev embedding
It is true in one dimension that $H^1$ is continuously embedded in $L^{\infty}.$
Now, consider a compact interval $[0,1]$ with a partition $I_n:=([m/n,(m+1)/n])_{m \in \left\{0,...,n-1 \right\}}$ and ...
2
votes
1
answer
93
views
About the continuity of a function on BV
For a fixed $u \in BV(\mathbb{R}^N)$, consider the function
$h:(0,+\infty) \to BV(\mathbb{R}^N)$, given by
$h(t) = u (tx)$.
Is $h$ continuous?
- 33
2
votes
1
answer
563
views
Density in fractional Sobolev space
Suppose $s∈(0,1)$, $D$ is an open set in $\mathbb{R}^d$. Define
$$
H^s=(1−\Delta)^{-s/2}L^2\left(\mathbb{R}^d\right),
$$
$$
H^s_D=\left\{f\in H^s:f=0 \mbox{ a.e. on } D^c\right\}.
$$
Q: Is $C^\...
- 515
1
vote
1
answer
380
views
Existence and regularity for fractional Poisson-type equation
According to Theorem 2.7 in the paper https://arxiv.org/pdf/1704.07560.pdf, we have the following classical results.
Let $s \in (0,1)$ and $1<p<\infty$. Then for any $F \in L^p(\mathbb{R}^n)$ ...
1
vote
2
answers
138
views
Unboundedness of the Sobolev norm of a sequence : Does it follow from Sobolev embedding?
Let $\{f_n\}$ be a sequence of functions that are continuous and lying in $H^k(\mathbb{R}^m)$. Assuming $k>\frac{m}{2}$, and if $f_n \to f$ pointwise, where $f\in H^k(\mathbb{R}^m)$, such that $f$ ...
- 698
6
votes
2
answers
353
views
Bounded deformation vs bounded variation
Let $BV(\mathbb R^n; \mathbb R^n)$ be the space of (vector-valued) functions of bounded variation and let $BD(\mathbb R^n;\mathbb R^n)$ the space of functions with bounded deformation. They are made ...
- 608
4
votes
1
answer
202
views
Removable set for Sobolev space
It is well known that if $\Omega\subset\mathbb{R}^{N}$ open, $F\subset\Omega$ closed, such that $\mathcal{H}^{N−1}(F)=0$,where $\mathcal{H}^{N−1}$ denotes (N-1) dimensional Hausdorff measure, then $W^{...
- 43
4
votes
0
answers
159
views
inverse of sobolev riemannian metric still sobolev?
Given a covariant riemannian metric of certain sobolev class (i.e. with square-integrable weak derivatives up to a large enough integer order) on a (compact, if necessary) finite-dimensional smooth ...
- 101
4
votes
0
answers
174
views
Constant in trace theorem for balls
Consider the standard open ball $B_r:=\left\{x ; \left\lvert x \right\rvert \le R \right\}.$
The trace theorem tells us any function in $W^{k,p}(B_r)$ can be restricted to a function $W^{k-1,p}(\...
user127450
1
vote
0
answers
45
views
Shifting Sobolev norms in a hyperbolic estimate
Suppose $\Omega$ is a bounded domain and $\omega \subset \Omega$. Suppose we have the following estimate:
$$ \|u\|_{H^1((0,T) \times\Omega)} \leq C (\|u\|_{H^1((0,T) \times \omega)} + \|\Box u\|_{L^2((...
- 4,145
3
votes
1
answer
431
views
Can I approximate a function of bounded variation with orthogonal polynomial?
Let function $u\in BV(\Omega)$ be a function of bounded variation and $\Omega\subset \mathbb R^2$ be a smooth domain. I know it is possible to approximate function $u$ with polynomials, i.e.,
$$
u = \...
- 133
1
vote
1
answer
165
views
Morrey condition (integral condition) and (local) Holder condition
Let $x \in \mathbb{R}^n$ and $f:\mathbb{R^n} \to \mathbb{R}$ be a non-negative function such that $f(x)=0$. Is it true that (assuming $\alpha,\beta>0$)
$$\limsup_{r \to 0} r^{-\alpha \beta}\frac{...
- 839
2
votes
1
answer
963
views
Is the Delta distribution a continuous functional on $H^1(\mathbb{R})$? [closed]
While it is easy to see that $H^1(\mathbb{R})$ are Hölder $1/2$-continuous, I started wondering whether this implies that $\delta_x(\varphi)=\varphi(x)$ is continuous as a functional
$$\delta_x:H^1(\...
- 95
9
votes
1
answer
1k
views
Traces of Sobolev spaces
Is there a simple proof of the following fact?
Theorem. Let $\Omega\subset\mathbb{R}^n$ be a bounded and smooth domain. If $n>2$, then $W^{1,n-1}(\partial\Omega)\subset
W^{1-\frac{1}{n},n}(\...
- 28k