All Questions
Tagged with fa.functional-analysis sobolev-spaces
652 questions
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,145
2
votes
0
answers
62
views
Localized estimate for divergence free vector field
Suppose $\Omega \subset \mathbb{R}^3$ is a simply connected Lipchitz domain. For a divergence free field $w\in [L^2(\Omega)]^d$, it is well known that there exists a vector field $v\in [W^{1,2}(\Omega)...
- 31
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
124
views
Uniqueness in interpolation of Hilbert spaces
I am wondering under what condition it is true that for Hilbert spaces $H$ and $H_0$ such that $H \hookrightarrow H_0$ there is uniqueness in the existence of a Hilbert space $H_1 \hookrightarrow H$ ...
- 21
2
votes
0
answers
160
views
Understanding the Bochner space $W^{1,q}\bigl([0,T], L^p(U) \bigr)$ in terms of the Fréchet derivative
In the context of linear parabolic equations, the Sobolev space $W^{1,q}\bigl([0,T], L^p(U) \bigr)$ appears all the time. Here, $U$ is some bounded region of $\mathbb{R}^n$ and $1<p,q<\infty$.
...
- 3,477
2
votes
0
answers
153
views
Riesz’s representation theorem in a weak form
Let $\Omega$ be a bounded domain with smooth boundary in $\mathbb{R}^N$ $(N\geq 3)$, $\phi\in H_0^1(\Omega)$ is a solution of $$
\begin{cases}\Delta \phi+ \phi=h & \text { in } \Omega, \\ \phi=0 &...
- 471
2
votes
0
answers
78
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
2
votes
0
answers
259
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 ...
- 149
2
votes
0
answers
150
views
Reference for weighted Sobolev spaces
I'm looking for a comprehensive reference illustrating, from the ground up, the basics of weighted Sobolev Spaces on Lipschitz domains (this case should be included, but I don't need less than it). ...
- 235
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
190
views
Inequality on the dual space of $H^s$
Does there exist a theorem that allow us to say that, if we have an estimate on the Sobolev space $H^s\,,\, s\geq 0$ then we can deduce an estimate on the dual space $H^{-s}$ ?
For instance, assume ...
- 93
2
votes
0
answers
121
views
Interpolation of Sobolev/Besov spaces in the limiting case q = ∞
I'm interested in the interpolation space ($1\le p_0,p_1\le\infty$, $0<\theta<1$)
$$
X=(L_{p_0}(0;1),W^1_{p_1}(0,1))_{\theta,q}\quad\text{with}\quad q=\infty\ \ \text{and}\ \ p_0\ne p_1 .
$$
It ...
- 61
2
votes
0
answers
559
views
Multiplication in Sobolev space with negative exponent
My initial problem is the following: I would like to estimate $\lVert f^2\rVert_{H^{-2}}$ in the sense of Sobolev embeddings, where $f:\Omega \rightarrow \mathbb{R}$ is a function defined on a bounded ...
- 914
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
0
answers
225
views
Sobolev (Triebel-Lizorkin) norm estimate for $F \circ u - F \circ v$
Let $F \in C^1(\mathbb R^d;\mathbb R)$ be such that $F(0) = 0$ and
$$|F'(\tau v + (1 - \tau)w)| \leq \mu(\tau)(G(v) + G(w))$$
for some $\mu \in L^1([0,1])$ and some non-negative $G \in C^0(\mathbb R^d;...
- 233
2
votes
0
answers
65
views
Regularity of solution to first order time dependent variational problem
Consider the following first order evolution problem over some regular bounded domain $\Omega\subset\Bbb R^d$
$$\frac{\partial\phi}{\partial t}(\mathbf{x},t) +\vec V(\mathbf{x},t)\cdot \nabla\phi(\...
- 153
2
votes
0
answers
94
views
From some priori estimates can we estimate higher Sobolev norm?
Suppose $u$ is a smooth function on bounded set $\Omega$ with smooth boundary such that
$$\|u\|_{W^{1,p}(\Omega)}\le C\|\phi\|_{W^{1-1/p,p}(\partial\Omega)}$$
where $u|_{\partial\Omega}=\phi$.
Can we ...
- 309
2
votes
0
answers
125
views
Regularity up to boundary of a solution $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ to $\Delta^2 u = -\text{div}\, F$
Let $\Omega\subset \Bbb R^n$ be a $C^{2}$ domain (open and bounded) and let $p\in(1,\infty)$. Suppose $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ is a weak solution to the fourth-order elliptic system
...
- 1,245
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,215
2
votes
0
answers
57
views
Is this Beppo-Levi curl space a Banach space?
Let us define the quotient space:
$$ V = \{ \mathbf{u} \in L^2_{loc}(\mathbb{R}^3; \mathbb{R}^3) : \operatorname{curl} \mathbf u \in L^2(\mathbb{R}^3; \mathbb{R}^3) \} / \nabla H^1_{loc}(\mathbb{R}^3)....
- 163
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
223
views
Interpolation of embedded Hilbert spaces and intersection
I'm wondering under what hypothesis it is true a property like
$$[\mathcal{H}_1\cap X, \mathcal{H}_2\cap X]_{\theta}=\mathcal{H}_1\cap X\cap [\mathcal{H}_1, \mathcal{H_2}]_{\theta}$$
where $\mathcal{H}...
- 81
2
votes
0
answers
1k
views
Compact embedding of the Sobolev space $H^m(\Omega)$ and $L^2(\Omega)$ from Rellich-Kondrachov theorem
From the Rellich-Kondrachov theorem we know that $H^m(\Omega)\hookrightarrow_c L^2(\Omega)$ when $\Omega$ is bounded of class $C^1$ and $m\geq 1$ is an integer. Also this is not true if $\Omega:=\...
- 657
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
395
views
A question in Sobolev spaces involving time
Let $X$ be a Banach space, we understand $L^1(0, T, X)$ is the space of strongly measurable functions from $[0, T]$ valued in $X$, that is integrable. Assume ${\bf u}\in L^1(0, T, X)$, we say ${\bf v}\...
- 637
2
votes
0
answers
137
views
Conditions on the inequality with a gauge norm
Let $\Phi(x)=\int_0^x \phi(y)\,dy$, $x \in \mathbb{R}_+$, be an N-function, and let $u$ be locally inferable on $\mathbb{R}_+$. Consider the gauge norm
$$
\rho_{\Phi,u}(f)=\inf\{\lambda>0: \int_{\...
- 343
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
159
views
Explicit homeomorphism between $L^p$ and Sobolev Space
From the Anderson-Kadec theorem, we know that all separable infinite-dimensional Banach spaces are homeomorphic. I'm wondering, is there an explicit such homeomorphism between $W^{p,k}(\mathbb{R}^n)$ ...
- 5,405
2
votes
0
answers
115
views
If $u_n \to u$ in $H^1_0(\Omega)$, does $\chi_{\{u_n = 0\}} \to g$ for some $g$ in some space, for a subsequence?
Let $\Omega$ be a bounded and smooth domain.
Suppose we have $u_n \to u$ in $H^1_0(\Omega)$. We know that for a subsequence, $\chi_{\{u_n = 0\}} \rightharpoonup f$ to some $f$, weak-* in $L^\infty(\...
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
274
views
Gagliardo-Nirenberg inequality for periodic functions?
I am interested in a Gagliardo-Nirenberg type inequality for functions in the space
$$H^1_T(\mathbb{R}^n)=\lbrace \psi=u+iv\in H^1_{loc}(\mathbb{R}^n,\mathbb{C}):\psi(x)=\psi(x_1+T,...,x_n+T)\rbrace$$
...
- 383
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
279
views
Relationship between $p$-capacity and Riesz $s$-capacity of a set
What is the relationship between the definitions of $s$-capacity (page 13 here) and $p$-capacity (here) of a set?
Are they equivalent? If not, what inequalities hold? What is the difference (in terms ...
- 839
2
votes
0
answers
54
views
example in $L^p_{s}-$Sobolev spaces
We define $L^p-$
Sobolev spaces as follows:
$$L^p_s(\mathbb R^d)=\{f\in \mathcal{S}'(\mathbb R^d): \mathcal{F}^{-1} [\langle \cdot \rangle^s \mathcal{F}(f)] \in L^p(\mathbb R^d) \}$$
where $\langle \...
- 305
2
votes
0
answers
255
views
Sobolev Multiplication on non-compact manifold
We know that for a compact Riemannian $n$-dim manifold $(M,g)$(the boundary could be nonempty), the Sobolev Multiplication Theorem states that $L^p_k\times L^q_l⟶L^r_m$, where $1/r−m/n>1/p−k/m+1/...
- 1,915
2
votes
0
answers
81
views
Sobolev extension with boundary condition
Let $\Omega$ be a Lipschitz bounded domain of $\mathbb{R}^n$, divided in two Lipschitz subdomains $\Omega_1$ and $\Omega_2$ such that $\Omega_1 \cap \Omega_2 = \emptyset$. We define the following ...
- 143
2
votes
0
answers
331
views
Sobolev embeddings for vector-valued functions
I would like to know if there is a simple extension of the standard Sobolev embeddings for functions taking values in another Euclidean space.
In particular, let $\Omega \subset \mathbb{R}^n$ be a ...
2
votes
0
answers
672
views
Intersection of Sobolev space with the space of continuous functions
While doing some problems, I came across the space $H=H^1(\Omega) \cap C(\Omega)$, where $\Omega$ is subset of $\mathbb{R^n}$. So far, by definition of these subspaces, We know that none of these are ...
- 141
2
votes
0
answers
116
views
Density of $C^0(\Bbb R^{n}\times (0,T))$ and $C^{\infty}_c(\Bbb R^{n}\times (0,T))$ in $L_{p,q}(\Bbb R^n_T)$
Let the space $L_{p,q}(\Bbb R^n_T)$ be defined as the set of all measurable $f:\Bbb R^{n}\times(0,T)\to\Bbb R$ such that $||f||_{p,q}<\infty$, where
$$
||f||_{p,q}:=\left(\int_0^T\left( \int_{\Bbb ...
- 1,245
2
votes
0
answers
65
views
Generalized Besov spaces with different integrability and smoothness in space and time?
Consider the family of Besov spaces $B_{p,q}^{s}(\mathbb{R})$ with $0<p,q \leq \infty$ and $s \in \mathbb{R}$.
Is there a natural way to define spaces of generalized functions $f(t,x) \in \mathcal{...
- 2,306
2
votes
0
answers
2k
views
Reference for a proof of the Gagliardo-Nirenberg Interpolation Inequality?
In the book Linear and Quasi-linear Evolution Equations in Hilbert Spaces by Cherrier and Milani, Theorem 1.5.2, we are given the following version of the GN interpolation inequality:
Let $\Omega\...
- 1,247
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
0
answers
64
views
The continuity of $L^2$ gradient on moving domain
I post this on MSE too. Sorry for this short cross posting. But I stuck in this problem for a while... I don't know what the right tool should be used to handle the moving domain problem...
Let $I:=(...
- 679
2
votes
0
answers
207
views
Smoothing properties of analytic semigroups
Assume $A$ is a second order operator, generator of a positive analytic semigroup on the $L^p$-spaces with $p\in (1,\infty)$ and domain $D(A_p)=W^{2,p}$. Do we have regularity estimates
$\|T_p(t)f\|_{...
- 21
2
votes
0
answers
166
views
Getting an a priori energy estimate from PDE weak formulation
On a bounded domain $\Omega$, I have two functions $u$ and $v$ in $L^2(0,T;H^1(\Omega))\cap H^1(0,T;(H^1(\Omega))^*)$ satisfying
$$\frac{d}{dt}\int u^2 + c_1\int |\nabla u|^2 + n\int u^2 \leq n\int uv$...
2
votes
0
answers
82
views
Properties of a Sobolev bound
I am interested in computing
$$
A:=\inf_{f\in L^{2}(\mathbb{R}^3)}\frac{||K^{\frac{1}{4}}f||_2^2}{||f||_{\frac{5}{2}}^2}
$$
where $K:=-\Delta+1$. We call $f_c$ the function that saturates the bound.
...
- 193
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
552
views
Normed space between $H^{0+}$ and $L^2$
Cosider a function $f\in L^2(\mathbb{R}^3)$ with consider the following condition.
$$\int_{\mathbb{R}^3}\frac{|\widehat{f}(x)|}{1+|x|^{3/2}}dx<+\infty \, .\qquad\mbox{(*)} \, $$
Of course if $f\in ...
- 943