All Questions
130 questions
2
votes
1
answer
168
views
A question about series involving a Sobolev functions
Let $\Omega\subset\mathbb{R}^n$ open, bounded and smooth. Let $\lambda_j$ and $e_j$, $j\in\mathbb{N}$, be the eigenvalue and the corresponding eigenfunctions of the Laplacian operator $-\Delta$ in $\...
- 339
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
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
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
2
votes
1
answer
301
views
Simplicity of eigenvalues
Consider the Sturm-Liouville operator$$Au = -(pu')' + qu \text{ on }I = (0, 1),$$where $p \in C([0, 1])$, $p \ge \alpha > 0$ on $I$, and $q \in C([0, 1])$. No further assumptions are made; in ...
- 369
2
votes
1
answer
140
views
interpret of Picone inequality for non-regular functions
Assume $\Omega \subset \mathbb{R}^N$, $ N>4 $ is open set.
There is a well-known picone identity that says
Let $u,v \in C^2(\Omega)$ satisfy $v>0$ and $-\Delta v \geq 0$ in $\Omega$. The ...
- 371
2
votes
1
answer
800
views
Interpolation in Sobolev spaces
Let $H^s$, $0\leq s<\infty$ be the $L^2$ based Sobolev spaces such that
$$
\hat{f}(\xi)(1+|\xi|^2)^{s/2} \in L^2.
$$
Let $r_1,r_2,p_1,p_2>0$ be given parameters. Assume that a linear operator $...
- 843
2
votes
1
answer
149
views
The infinite set of $SBV$ function?
Let $u\in SBV(\Omega)$ where by $SBV$ we denote the special bounded variation function and $\Omega\subset \mathbb R^N$ is open bounded.
Let's identify $u$ by its approximation representative (see ...
- 679
2
votes
1
answer
108
views
Follow up question to: Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$
This is a follow up question of the question Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$
Let $\Omega
\subset
\mathbb{R}^{N}$
...
- 135
2
votes
1
answer
307
views
Question regarding to approximate continuity
Given $u\in BV(R^N)$, we say $u$ is approximate continuous at $x$ and the approximation limit is $l\in R$ if
$$ \lim_{r\to 0}\frac{\mathcal{L}^N(B(x,r)\cap \{|u-l|>\epsilon\})}{r^N} =0 $$
for all $...
- 679
2
votes
0
answers
120
views
On mollifiers acting between $L^2$ and Sobolev spaces
(I'm reposting here this question from MSE as it didn't receive any answer for two weeks.)
Consider a sequence of finite lattices in $\mathbb{R}^n$ defined by
$$L_k= [-k,k]^n \cap 2^{-k}\cdot \mathbb{...
- 505
2
votes
0
answers
170
views
finite dimensionality of a subspace of a Banach space
Let $H$ be the space of measurable functions on $(0,1)$ such that
$$ \|u\|_{H}^2 = \int_0^1 x^2\,|\partial_x u|^2\,dx + \int_{0}^1 |u|^2\,dx <\infty.$$
Let $C>0$ be a constant. Suppose that $W \...
- 4,135
2
votes
0
answers
188
views
Self-adjointness of fractional laplacian
Lets consider the following functional analytic definition of the fractional Laplacian: Consider a (complete, connected, oriented) Riemannian manifold $(M,g)$ with corresponding Laplacian $\Delta_{g}$....
- 1,171
2
votes
0
answers
130
views
Smoothness of Radon transform
Let $f:\mathbb R^n \to \mathbb R$ be density function (i.e nonnegative function which integrates to $1$), and consider its Radon transform $R[f]$ defined by
$$
R[f](w,b) := \int_{\mathbb R^n}\delta(x^\...
- 6,853
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
2
votes
1
answer
174
views
Is the graph of a Sobolev function path connected?
Let $\Omega$ be a bounded, open, simply connected subset of $\mathbb R^n$ with Lipschitz boundary.
Question: Does every function in the Sobolev space $W^{1,1} (\Omega)$
admit a representative whose ...
- 6,155
2
votes
0
answers
72
views
Product of Besov and Lorentz functions
Let us fix $n\in\mathbb{N}^+$ and $p,q\in [1,\infty)$. Given $r_1,r_2,r_3\in[1,\infty)$, I would like to understand whether we have the bound
$$
\|fg\|_{L^{q,r_3}(\mathbb{R}^n)}\lesssim \|f\|_{B^{n/p}...
- 282
2
votes
0
answers
42
views
Generalized Hardy operator and Lorentz gamma spaces
I would like to find an inequality which would 'place' the generalized Hardy operator $\int_0^th(y)dy\int_y^tk^*(s)ds$ in between two Lorentz gamma spaces.
Any literature or ideas would be greatly ...
- 109
2
votes
0
answers
160
views
Approximation in fractional Sobolev space
Assume $\Omega\subset \Bbb R^d$ is Lipschitz open set. Let $p\geq 1$ and $0<s\leq 1/p$.
How to prove that $C_c^\infty(\Omega)$ is dense in $W^{s,p}(\Omega)$?
Recall that,
$$|u|^p_{W^{s,p}(\Omega)}= ...
- 1,101
2
votes
0
answers
90
views
Invariance under diffeomorphisms of the Hajlasz-Sobolev spaces
In this post it was shown that if $\Omega$ and $\Omega'$ are diffeomorphic non-empty open domains in some Euclidean space then the corresponding local Sobolev spaces are diffeomorphic with ...
- 5,405
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
0
answers
194
views
A question regarding mollifiers on Sobolev spaces on closed manifolds
Let $M$ be a closed Riemannian manifold and denote by $H^s(M), \, s\in \mathbb{R} $ the standard Sobolev spaces on $M$ defined using powers of $1+\triangle$. Let $J_n: \mathcal{D}'(M)\rightarrow \...
- 505
2
votes
0
answers
115
views
Does this Sobolev-space like construction have a name?
Take $\Omega \subset \mathbb{R}^n$ arbitrary then define as $X$ the closure of $C^1(\Omega) \cap W^{1,1}(\Omega)$ w.r.t. the norm $f \mapsto \left\lVert f \right\rVert_{\infty} + \left\lVert \nabla f \...
- 305
2
votes
1
answer
191
views
Sobolev inequality involving summing from $j = 0$ to $m - 2$, exists constant
Let $I = (0, 1)$ and $1 \le q < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|D^{(m - 1)}u\|_{L^q(I)} + \sum_{j = 0}^{m - 2} \|D^ju\|_{L^\infty(I)} \le \...
user80013
2
votes
0
answers
184
views
Modify the jump set of $BV$ function
Let $u\in BV(\Omega)$ be a function of bounded variation where $\Omega\subset \mathbb R^N$ is open bounded with smooth boundary. We use $Du$ to denote the weak derivative of $u$. (So $Du$ is a Radon ...
- 679
2
votes
0
answers
150
views
Completion of $C_{0,rad}^{\infty}(\Omega)$ with respect to the norm $\|u\|= \Bigg(\int_{\Omega} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $
I have a question that it seems simple but I can not solve it.
Let $\Omega$ be the unit ball centered at zero in $\mathbb{R}^N$, $N>4$. Assume that $C_{0,rad}^{\infty}(\Omega)$ is the space of all ...
- 371
2
votes
0
answers
448
views
Lebesgue point and regularity of functions
A known theorem says that for $f \in L_{loc}^1(\mathbb{R}^d)$, almost every point is a Lebesgue point.
I know too a theorem saying that for $f \in W_{loc}^{1,p}(\mathbb{R}^d)$ , every point is a ...
- 21
2
votes
1
answer
208
views
Does a particular iteration produce a weak solution to a non linear pde?
Consider the following non linear pde in the unknown $v(x,y)$:
$$ \frac{\partial v(x,y)}{\partial x} +
\Big(\frac{\partial v(x,y)}{\partial x} \Big)^2 = e^{2 ty}-1 $$
where $t$ is some fixed small ...
- 3,245
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
1
answer
120
views
Sobolev-type estimate for irrational winding on a torus
Let $\mathbb{T} = \{ (x, y) \in \mathbb{R}^2 \}/_{x \mapsto x + 1, y \mapsto y + 1}$ be a real 2-torus. Let $\mathscr{C}^{\infty}_0(\mathbb{T})$ be the subset of $\mathscr{C}^{\infty}(\mathbb{T})$ of ...
- 227
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
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
1
vote
1
answer
154
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
1
vote
1
answer
110
views
Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{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 ...
- 135
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
1
vote
1
answer
176
views
Classical fixed-point argument and invertible function
Let $n\in\mathbb{N}$ and $W^{1,\infty}(\mathbb{R}^n)=\lbrace f:\mathbb{R}^n\rightarrow \mathbb{R}^n : \text{ f is bounded and Lipschitz continuous } \rbrace$. Suppose $f\in W^{1,\infty}(\mathbb{R}^n)$ ...
- 237
1
vote
1
answer
277
views
Checking the uniform denseness of a set in $C([0, 1], \mathbb{R}^2)$
Let $\lambda:[0, 1]\to \mathbb{R}$, and $b_{1j}, b_{2j}:[0, 1] \to \mathbb{R}$, $j = 1, \ldots, m$ be smooth functions. Consider the following two sets
$$\begin{align*}
S_1 &= \left\{ \begin{...
- 119
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
1
vote
0
answers
78
views
Trace theorem for $L^2([0,1]; H^k(S^2))$
Consider a function $u$ in $L^2([0,1]; H^k(S^2))$ where $k$ is a positive integer.
Where would $u(0)$ live (or $u(r)$ for some fixed $r \in [0,1]$)? Is there a version of the trace theorem saying that ...
- 969
1
vote
0
answers
123
views
Dependence of Sobolev embedding theorem constant on smoothness
Assume that $\Omega \subset \mathbb{R}^d$ is "nice" enough and $k$ is a positive real number. Using the Sobolev embedding theorem, we can get that
$$
\|f\|_{W^{0,2d/(d-2k)}\ \ \ \ \ (\Omega)}...
- 11
1
vote
0
answers
108
views
Existence of a smooth extension
In the three dimensional Euclidean space $\mathbb R^3$ let us define the hypersurface
$$ S= \{(x,y,z) \in \mathbb R^3\,:\, z^2= x^2+y^2\}.$$
Suppose that $f \in C^{\infty}(S)$. Does there exist $u\in ...
- 4,135
1
vote
0
answers
98
views
Two definitions of Sobolev spaces and the trace theorem
Let $M=[0,\infty) \times S^2$. We have the regular regular Sobolev space $H^1(M)$.
We also have the space $H^1\bigg([0,\infty); H^1(S^2)\bigg)$. Are those two spaces the same? Does one contain the ...
- 969
1
vote
0
answers
56
views
Monotonically increasing and bounded function is in $BV_{loc}$?
For any $n\in \mathbb{N}$ let $f_n:\mathbb{R}\to [0,1]$ be monotonically increasing and $\lim_{x\to -\infty} f_n(x)=0$ and $\lim_{x\to \infty} f_n(x)=1$. It follows $f_n$ is differentiable a.e..
I'm ...
- 173
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
1
vote
0
answers
91
views
A bilinear estimates involving critical Sobolev norms
Given $q>1$, consider the critical Sobolev space $W^{n/q,q}(\mathbb{R}^n)$, which fails to embed in $L^{\infty}(\mathbb{R}^n)$. I'm wondering if we can recover some critical estimate by considering ...
- 943
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
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,135
1
vote
0
answers
331
views
Verifying a claim regarding $H^1$ weak convergence and $L^2$ strong convergence on a surface
I'm reading a paper whose first section discussed $H^1$ maps defined on star-shaped sets, but I got stuck in verifying a claim for quite a while. I'm now thinking the claim is wrong, but it's hard to ...
- 1,350