All Questions
Tagged with fa.functional-analysis sobolev-spaces
652 questions
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
89
views
Domain where the fractional Laplacian operator is a closed operator
Consider the fractional Laplacian defined by
$$(-\Delta)^s u(x) = P.V. \int_{\mathbb{R}^N} \frac{u(x) - u(y)}{|x - y|^{N + 2s}}dy, \ s \in (0,1).$$
Also consider that
$$D((-\Delta)^s) = \{u \in H^s(\...
- 111
1
vote
0
answers
52
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 ...
- 287
1
vote
0
answers
157
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 ...
- 820
1
vote
0
answers
353
views
$H^{1/2}(0,1)$ and continuous functions
It is known that $H^s(0,1)$ embeds into Hoelder continuous functions for $s>1/2$. I am not interested in Hoelder continuity, but merely in continuity: do I get the continuous embedding $H^{1/2}(0,1)...
- 235
1
vote
0
answers
128
views
Self-ajointness of the Laplacian over a Riemannian manifold with boundary
I have some doubts about on a passage found on this article (https://arxiv.org/pdf/1510.08136.pdf).
Let
$(M,g)$ be a Riemannian manifold with boundary;
$E\to M$ be an hermitian fiber bundle;
$\Delta$ ...
- 141
1
vote
1
answer
329
views
Hölder continuity of Radon transform of smooth function
Given an integrable function (e.g a probability density function) $f:\mathbb R^n \to \mathbb R$, let $R[f]$ be its Radon transform defined by
$$
R[f](w,b) := \int_{\mathbb R^n} \delta(x^\top w - b)f(x)...
- 6,853
1
vote
0
answers
254
views
Sobolev variant of Wasserstein space
Let $\mathcal{P}(\mathbb{R}^n)$ be the set of Borel probability measures on the Euclidean space $\mathbb{R}^n$ and consider thereof consisting of all probability measures $\mathbb{P}$ satisfying $\int\...
- 5,405
1
vote
0
answers
110
views
Properties of Sobolev spaces $W^{k,p}(\Omega, E)$ where $E$ is a Banach space
$\newcommand{\R}{\mathbb R}$Let $E$ be a Banach space with norm $\|\cdot\|_E$ and let $\Omega\subset \R^n$ be an open set.
For $k\geq 0, p\geq 1$ we define $W^{k,p}(\Omega, E)$, the Sobolev space of ...
- 2,533
1
vote
0
answers
82
views
Extreme case of K-interpolation
Suppose $X_0$ and $X_1$ are Banach spaces living in a larger Banach space
$X$. The $K$-functional is defined for each $f\in X_0+X_1$ and $t>0$ as
$$K(f,t,X_0,X_1)=\inf\{\|f_0\|_{X_0}+t\|f_1\|_{X_1}:...
- 319
1
vote
0
answers
93
views
$H^s$ norm of dispersive semigroup
The Bourgain space is $X^{s,b} := X^{s,b}(\mathbb R \times \mathbb{T}^3)$ is the completion of $C^\infty (\mathbb R; H^s(\mathbb{T}^3))$ under the norm
$$\| u\|_{X^{s,b}}:= \|e^{- i t \triangle} u(t,x)...
- 159
1
vote
1
answer
277
views
Intersection of the kernel with the interpolation space
$\DeclareMathOperator\Ker{Ker}$Given two Banach spaces $X$ and $Y$ with a continuous inclusion $X\subset Y$, and another couple $X’ \subset Y’$ with the same properties. Take $f : Y \longrightarrow ...
- 11
1
vote
0
answers
53
views
Stability of Hajłasz-Sobolev class under post-composition
Informally: When is a Sobolev function, post-composed by a vector-valued function still Sobolev?
Assumptions/Setup
Let $(X,d_X,m_X)$ and $(Y,d_Y,m_Y)$ be complete and separable metric measure spaces; ...
- 5,405
1
vote
0
answers
79
views
Reference for smoothness of Nemytskii operator on fractional Sobolev spaces
Let $\varphi:\mathbb{R}\to\mathbb{R}$ be smooth and bounded (together with all of its derivatives). Define the operator
$$
\big(N_\varphi x\big)(t)=\varphi\big(x(t)\big)
$$
for $x\in H^s(T^d)$, the ...
- 93
1
vote
0
answers
56
views
Smooth approximation in Sobolev spaces for surfaces with boundary
Let $\mathbb{D}$ be the unit disk in $\mathbb{C}$ with closure $\overline{\mathbb{D}}$, and let $\varphi:\partial \mathbb{D}\to \partial \mathbb{D}$ be any continuous homeomorphism. Let $\mu$ be a ...
- 163
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
298
views
Is there a generalization of the Agmon-Douglis-Nirenberg regularity theorem for elliptic equations to domains with corners?
The Agmon-Douglis-Nirenberg theorem(s) state(s) that whenever $f\in W^{m,p}(\Omega)$ where $\Omega$ is a bounded open set of class $C^{m+2}$, then there is a unique solution $u\in W^{m+2,p}(\Omega)$ ...
- 597
1
vote
0
answers
103
views
Regularity results for non uniform elliptic equation
I have seen some regularity result for ellptic PDE but all of them consist of uniform elliptic one. For instance,
$$\nabla \cdot (\gamma(x) \nabla u)=F \text{ in } \Omega\qquad u=\phi \text{ on }\...
- 309
1
vote
0
answers
189
views
Complete set of orthonormal functions on $W^{2,2}([0,1]^2, \mathbb{R}^2)$
Consider $L^2([0,1],\mathbb{R})$.
Then,
$$1, \sqrt{2} \cos(2 \pi j x), \sqrt{2} \sin(2 \pi j x ), \quad j =1,2,\ldots$$
is a Schauder basis on $L^2([0,1], \mathbb{R})$.
I am curious, how does this ...
- 61
1
vote
0
answers
248
views
Is the spectral fractional Sobolev norm equivalent to other norms (e.g. Gagliardo...)?
Let $s \in (0, 1)$ and $\Omega$ be a bounded subdomain of $\mathbb R^n$ with polygonal/polyhedral boundary. Let $\Delta$ be the Laplace-Dirichlet operator on $\Omega$ (i.e. the Laplace operator with ...
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
223
views
Is this mixed-Sobolev interpolation inequality valid?
By $L^p_T\dot H^s$ I mean the space $L^p([0, T] \to \dot H^s)$ where as usual
$$\|u\|_{\dot H^s}^2 = \int_{\mathbb R^d} |\hat u(\xi)|^2 |\xi|^{2s} ~d\xi.$$
Of course, we can interpolate in the time ...
- 708
1
vote
0
answers
89
views
Derivation in Sobolev space [closed]
Let $f\in W^{1,\infty}(]0,T[)$ $(0<T\le\infty)$ such that
$f(x)>0$ a.e. $x\in\mathopen]0,T[$ and let
$$g(x)=e^{-\int_0^x \frac{ds}{f(s)}}$$
Formally $g' = -\frac{1}{f}g$.
How can I justify this ...
- 19
1
vote
0
answers
130
views
Fractional Sobolev embedding theorem
Let $\psi \in C^\infty_c(\mathbb R^N)$ be a test function with support iN $B(0,R)$. Is it true that the following inequality holds
$$\int_{B(0,R)} \psi^2 u^{\frac{4}{1+\beta}} dx \le R^{1+\beta} \int_{...
- 99
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
441
views
Stein's extension operator for fractional Sobolev spaces
In his book Singular Integrals and Differentiability Properties of Functions,
Stein constructs an extension operator $\mathcal{E}:W^{m,p}(\Omega)\rightarrow
W^{m,p}(\mathbb{R}^{N})$, $m\in\mathbb{N}$, ...
- 411
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
203
views
Uniformly local Sobolev spaces and interpolation
Let $d\in\mathbb{N}^+$, $s\geq 0$, and consider the uniformly local Sobolev space
$$H^s_{u,loc}(\mathbb{R}^d):=\{f\in H^s_{loc}(\mathbb{R}^d)\,s.t.\,\|f\|_{H^s_{u,loc}}:=\sup_{x\in \mathbb{R}^d} \|f\|...
- 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
231
views
Dual space of mean-free Sobolev space
I am considering the space $V:=\{v \in H^1(\Omega): \int_\Omega v = 0\}$ of mean free functions. What is the dual space of this space? Is the dual space given by $D:= \{f \in (H^1(\Omega))^*: \langle ...
- 11
1
vote
0
answers
110
views
Trace and second-order inverse trace on space with Gibbs measure
Consider $(t, x)\in [0,T]\times (\mathbb{R}^d,d\mu)$, where the measure $d\mu(x)=K^{-1}\exp(-U(x))dx$ is a reasonable Gibbs measure (it satisfies a Poincaré or log-Sobolev inequality. One can, for ...
- 73
1
vote
0
answers
237
views
Little help showing strong convergence in $H^1$
Let $u_n $ be a sequence in $H^1 (\Omega,\mathbb{C})$ where $\Omega \subset \mathbb{R} ^N$ is bounded. Assume that we know that all the functions $u_n$ are smooth and $\Vert u_n \Vert _{C^m} \leq K(m,...
- 383
1
vote
0
answers
48
views
Integrability condition on function determining PDE domain
I'm currently looking through the following paper which examines some dynamics of the Airy$_2$ process: https://arxiv.org/pdf/1106.2717.pdf
On page 2, there appears a PDE of the form
$\partial_t u +...
- 123
1
vote
0
answers
78
views
Inequality for fractional power norm (sectorial operators)
How could we prove following inequality:
$\int\limits_{0}^{l} u^{3}(x) dx \leq \sqrt{l} \cdot|| u||_{\frac{1}{2}}^{3}$
where
$ || u ||_{\frac{1}{2}} = ||A^{\frac{1}{2}}(u)||_{L^{2}} + || u ||_{L^{...
- 31
1
vote
0
answers
181
views
A characterization for periodic Sobolev set?
Notations:
$
H_{per}^s(0,2\pi):= \{f \in L^2(0,2\pi): \sum_{n \in \mathbb{Z}} (1+n^2)^s \vert \hat f(n) \vert^2 < +\infty \}
$,
$
H_{per}^{\infty}(0,2\pi):= \bigcap_{s>0} H_{per}^s(0,2\pi)
$,...
- 269
1
vote
0
answers
198
views
Sobolev embedding in complete manifold
Let $(M,g)$ be a complete Riemannian $m$-manifold, with bounded geometry and $m\geq2$. Suppose that $(M,g)$ admits a bounded geometry.
Q Can we show that for $k-\frac{m}{p}\geq l-\frac{m}{q}$, we ...
- 1,915
1
vote
0
answers
196
views
Compact embedding result
Let $\tau$ and $\ell$ be positive numbers. We know that the space $H^2(0,\ell)\cap H^1_0(0,\ell)$ is compactly embedded into $L^6(0,\ell)$. Now, is the space $L^2(0,\tau;H^2(0,\ell)\cap H^1_0(0,\ell))$...
- 395
1
vote
0
answers
862
views
Why is $H^{1/2}$ a Hilbert space?
Let $n\in\mathbb{N}$ and $\Omega \subseteq \mathbb{R}^n$ sufficiently smooth. Then we have the Hilbert space $H^1(\Omega)$ and the trace operator $\operatorname{tr}: H^1(\Omega) \to L^2(\partial \...
1
vote
0
answers
80
views
Unclear inequality of L2 norms (Poisson equation for modeling flow)
I encountered a problem working through a paper about modeling flow with the use of the Poisson equation (source given below). There appears an inequality of L2 norms I don't understand so far. Your ...
- 11
1
vote
0
answers
52
views
Approximating norms using numerical integration? [closed]
I have a sequence of functions $u_m$ in $H^1(\Omega)$, where $\Omega$ is Lipschitz such that $u_m(x)=\int_{|y|\le \epsilon} \, f_m(x,y) \, dy$, but the integral cannot be expressed in terms of ...
- 141
1
vote
0
answers
387
views
Fast growing unbounded functions in the Sobolev space $H^1(\Omega)$
I am looking for unbounded functions that grow rapidly fast near the origin, but are in the Sobolev space $H^1{(\Omega)}$, where $\Omega$ is a unit square centered at the origin.
I already know about ...
- 141
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
84
views
Coercivity of $\int (\Delta u + u)^2$ on a subspace of $H^2$?
Let $\Omega = [0,L] \times [0,2\pi]$ and split its boundary into $\Gamma_d = \{0,L\} \times [0,2\pi]$, $\Gamma^1_p = [0,L] \times \{0\}$, $\Gamma^2_p = [0,L] \times\{2\pi\}$. Consider the following ...
- 111
1
vote
0
answers
110
views
Trace embedding and unbounded domain
Let $D\subset\mathbb{R}^d$ be an open domain and let consider the open cylinder $D\times (0,T)\subset\mathbb{R}^{d+1}$ where $T\in (0,+\infty)$ arbitrary. Let $H^{1}(D\times (0,T))$ be the Sobolev ...
- 33
1
vote
0
answers
179
views
Positive square roots of inverse operators on different Sobolev spaces
Let $D$ be a self-adjoint (in the $H^0$-inner product) first-order differential operator on a manifold $M$, where $H^i$ stands for the $i$-th Sobolev space on $M$. Then $D$ extends to a bounded ...
- 1,903
1
vote
0
answers
90
views
Compactness of a lifted multiplication operator
If $M$ is a non-compact smooth manifold, then an analogue of Rellich's lemma states that the operator of multiplication by a compactly supported function $f:M\rightarrow\mathbb{C}$ is a compact ...
- 1,903
1
vote
0
answers
112
views
Notations - Hardy and Sobolev Spaces [duplicate]
After some confusion on my part, I wanted to know is there a profound mathematical reason why both Hardy spaces and Sobolev spaces are denoted by $H^p$(1). Is it just coincidence? Does it have any ...
- 3,574
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