All Questions
130 questions
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
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
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
6
votes
1
answer
378
views
Optimal constant in Sobolev embedding
It is well-known that the Sobolev space $H^1(0,s)$ embeds continuously in the space of continuous functions $C[0,s]$; in fact, Marti has found in 1983 that the optimal embedding constant is $\sqrt{\...
- 3,388
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
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
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
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
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
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
4
votes
1
answer
225
views
Approximate constant function
Let $f:[0,1]^2 \rightarrow \mathbb C$ be an $H^1$ function with the property that $f(x,x)=0$ and $\Vert f \Vert_{L^2[0,1]}=1.$
Does there exist a constant $c>0$ such that any such function ...
- 192
4
votes
1
answer
308
views
Adjoint of the multiplication operator on a Sobolev space
Let $f\colon\mathbb{R}^n\rightarrow\mathbb{C}$ be a bounded function with a bounded first derivative. Then the multiplication operator $H^1(\mathbb{R}^n)\ni x\mapsto A_f x:=fx\in H^1(\mathbb{R}^n)$ is ...
- 128k
3
votes
1
answer
496
views
"Square root" of multiplication operator on Sobolev space
Let $f:\mathbb{R}^n\rightarrow\mathbb{R}$ be a non-negative, smooth, uniformly bounded function with uniformly bounded first derivative. Then $f$ defines a bounded operator on $L^2(\mathbb{R}^n)$ as ...
- 1,903
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
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 ...
6
votes
1
answer
2k
views
Sobolev functions on $\mathbb{R}^N$ cannot be discontinuous on a $(N-1)$-dimensional submanifold
How can one prove (or where can I find a proof) that if $u \in W^{1,p}(\Omega)$, where $\Omega \subset \mathbb{R}^N$, then $u$ cannot have a $(N-1)$-manifold of discontinuity points?
- 839
3
votes
0
answers
135
views
Boundary behavior of $H^2_0(\Omega)$ functions
If $u \in H^2_0(\Omega)$, is it true that $$u(x) \le C\mathrm{dist}(x,\partial \Omega)^2$$ as $x$ goes to the boundary?
user123672
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
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
3
votes
1
answer
170
views
A specific problem on : Can bounding the Sobolev norm, bound a higher derivative?
Let $f \in H^k(\mathbb{R}^m)$, $k>\frac{m}{2}$. Given any $f$, such that $\|f\|_{H^k(\mathbb{R}^m)}<K$ , and any $\phi \in C^{\infty}(\mathbb{R}^m)\cap H^k(\mathbb{R}^m)$, such that $\|\phi\|_{...
- 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
0
votes
1
answer
136
views
A question on existence of a Sobolev Hilbert space, where convergence implies uniform convergence [closed]
Is there a Sobolev Hilbert space $H^k(\Omega)$($\Omega$ open subset of $\mathbb{R}^m$, with a smooth boundary), for some $k \in \mathbb{N}$, such that, any sequence in the space $C^0(\bar{\Omega})\cap ...
- 698
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
3
votes
1
answer
142
views
PDE satisfied by projection of a function onto a subspace
Given an open bounded set $D\subset \mathbb R^N$, let $f\in W^{-1,q}(D)$ and let $u$ be a Sobolev function $u\in W_0^{1,p}(D)$ such that $u$ solves the PDE
$$
\begin{cases}
-\Delta_p u=f\;\text{in $D$}...
- 261
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
5
votes
2
answers
2k
views
Chain-rule and change of variables in BV/Sobolev
A lot of results are available for the following chain-rule problem:
(CRP1) Let $f\colon \mathbb R \to \mathbb R$ be a $C^1$/Lipschitz function and let $g \colon \mathbb R^d \to \mathbb R$ be a ...
- 608
0
votes
1
answer
385
views
Functions satisfying Neumann boundary condition
I have a question about functions satisfying a condition.
Let $D \subset \mathbb{R}^d$ be a Lipschitz domain. That is, for each $x \in \partial D$, there exists an open neighborhood $U$ of $x$ in $\...
- 721
-2
votes
2
answers
325
views
$f\in (W^{1,p}(\Omega)\cap C(\Omega) \cap L^{\infty}(\Omega))\setminus C(\bar{\Omega})$, $f=0$ on $\partial \Omega$ imply $f\in W^{1,p}_{0}(\Omega)$?
Q1:
Let $p\geq 1$, and let $f\in W^{1,p}(\Omega)\cap C(\Omega)$. Assume also
$f\in L^{\infty}(\Omega)$ and $f=0$ on $\partial \Omega$. Is it true that
$f\in W^{1,p}_{0}(\Omega)$ even if $f\notin C(\...
- 852
0
votes
1
answer
165
views
Is there an example of a one to one and onto mapping between these two spaces?
Let $\Omega$ be a convex open subset of $\mathbb{R}^d$ with a smooth boundary. Is there an example of a one to one and onto mapping of the form $$L^{d+1}(\Omega) \to W^{1,d+1}(\Omega)$$
- 698
4
votes
1
answer
785
views
What is the dual space of $L^p$(conservative vector fields on a bounded set)?
First, some background: I wanted to prove that, if $f$ is a measurable function such that $\nabla f\in L^p_\text{loc}(\mathbb R^n)$, then $f\in L^p_\text{loc}(\mathbb R^n)$, $p\in(1,\infty)$. This is ...
- 391
0
votes
0
answers
81
views
Differential operator and equivalence
Here is the problem:
I have a certain PDE and there is the nonlinear terme $h$, I have as data:
$f \in H_0^2(0,L)$,,,$g \in {H^1}(0,L)$ with ${g_x}(0) = {g_x}(L) = 0$
Now on consider the fnction $$h(...
- 617
0
votes
0
answers
308
views
Invertible operator
We consider the operator $$T=I + {{{\partial ^2}} \over {\partial {x^2}}}:{H^2}(0,L) \cap H_0^1(0,L) \to {L^2}(0,L)$$
We hope to prove that $T$ is invertible if and only if $L = n\pi $.
and for this ...
- 617
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
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
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
3
votes
1
answer
670
views
A specific mollified functions in the Sobolev space H^1(R)
Let $u>0$ be in $H^{1}(\mathbb{R})=W^{1,2}(\mathbb{R})$, we know that the set of $C^{\infty}$ functions with compact support are dense in the Sobolev space $H^{1}(\mathbb{R})$. Hence, we have a ...
- 31
1
vote
0
answers
117
views
The eigenfunction of modified $1$-laplace equation?
Let $\Omega\subset \mathbb R^2$ be open bounded with smooth boundary. It is well known that the laplace equation
$$
-\Delta u=0
$$
has a set of eigenvalues $0<\lambda_1<\lambda_2\leq\lambda_3<...
- 679
5
votes
3
answers
2k
views
Morrey's inequality for Sobolev spaces of fractional order
Let $H^s(\mathbb T)$, where $s\in\mathbb R$, be the space of $2\pi$-periodic functions (or distributions), $u(x)=\sum_{k\in\mathbb Z}\hat u_k\,\mathrm{e}^{ikx}$, such that
$$
\|u\|_{H^s}^2=\sum_{k\...
- 2,933
4
votes
1
answer
1k
views
Density argument with Schwartz functions?
I was wondering whether the Schwartz functions are also dense in
$$\{f \in L^2(\mathbb{R}^n); \int_{\mathbb{R}^n} |x|^2 |f(x)|^2 dx + \int_{\mathbb{R}^n}|\xi|^2 |\hat{f}(\xi)|^2 d \xi < \infty\}$$
...
- 129
4
votes
1
answer
3k
views
Are compactly supported continuous functions dense in the Continuous functions of Sobolev space? [closed]
I have a question about Sobolev space.
Let $\Omega$ be an open subset of $\mathbb{R}^{d}$,
we consider the Sobolev space
$H^{1}(\Omega):=\left\{ u \in L^{2}(\Omega) : D_{j}u \in L^{2}(\Omega), j=1,...
- 721