All Questions
Tagged with fa.functional-analysis sobolev-spaces
652 questions
3
votes
0
answers
210
views
Meromorphic continuation of resolvent of free Laplacian on homogeneous Sobolev space
Let $n \ge 2$. Set $\dot{H}^1(\mathbb{R}^n)$ to be the homogeneous Sobolev space, defined as the Hilbert completion of $C_0^\infty(\mathbb{R}^n)$ with respect to the norm $\| \varphi \|^2_{\dot{H}^1} \...
- 481
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
4
votes
1
answer
534
views
The existence of adjoint operator for Sobolev spaces $W^{k,p}(S^2, \mathbb R^n)$
It is known that if $D:H_1 \to H_2$ is a bounded operator between Hilbert spaces, then there exists an adjoint operator $D^* : H_2 \to H_1$ (the field is just $\mathbb R$ rather than $\mathbb C$, so ...
- 2,789
4
votes
0
answers
89
views
How can I can derive an explicit bound for the solution of the poisson's PDE?
i need some help on this question
Let $\Omega$ be an open subset of $\mathbb{R}^{2}$ (say a square) with
$\partial{\Omega} =\Gamma_{1} \cup \Gamma_{2} \cup\Gamma_{3} \cup\Gamma_{4}$. A structure ...
- 41
0
votes
0
answers
59
views
Differential operator
One define the operator $T$ as :$$T: = (I - {{{\partial ^2}} \over {\partial {x^2}}}):H_0^1(0,L) \cap {H^2}(0,L) \to {L^2}(0,L)
$$ let $f \in H_0^2(0,L) \cap {H^4}(0,L)$. What can we say about ${T^{ - ...
- 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
1
vote
1
answer
162
views
Regularity of integral kernel
Let $\Omega \subset \mathbb{R}^n$ be some open set.
If, for all $\psi \in L^2(\Omega)$ and some fixed integral kernel $k \in L^2(\Omega\times \Omega)$ and $\ell>0$, it is true that both
$\int_{\...
- 305
9
votes
4
answers
911
views
Can a $W^{1,2}$ map from the disk to the circle restrict to a degree one map on the boundary?
The restriction of a continuous map $D^2\to S^1$ to $\partial D^2\to S^1$ must have degree zero. Is that statement true or false if the map is only $W^{1,2}(D^2;S^1)$ and continuous on $\partial D^2$?
...
3
votes
0
answers
789
views
What is the optimal constant for the injection of $H^1$ into $L^\infty$ on an interval?
Let $I\subset \mathbb R$ be an interval, $1\leq p\leq \infty$, and $W^{1,p}(I)$ the usual Sobolev space. It is known that the injection $W^{1,p}(I)\hookrightarrow L^\infty(I)$ holds, i.e. there exists ...
- 31
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
2
answers
2k
views
Fractional-order Rellich–Kondrashov Theorem
The following is known:
Let $s \in (0,1)$ and $p \in [1,\infty)$ be such that $sp < n$. Let $q \in [1, p^*_{n,s})$ with $p^*_{n,s} = np/(n-sp)$, $\Omega \subset \mathbb R^n$ be a bounded ...
- 446
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
1
vote
3
answers
192
views
An acting condition for a superposition operator from $H^1(\Omega)$ to $H^1(\Omega)$
If i take $v\in H^1(\Omega)$ where
$$
H^1(\Omega)=\{u\in L^2(\Omega), \frac{\partial u}{\partial x_i}\in L^2(\Omega), i=1,\ldots,N\}
$$
$\Omega$ is bounded open set from $\mathbb{R}^N$
What is the ...
- 277
0
votes
0
answers
89
views
If $H$ is the closure of the set of solenoidal smooth vecor fields in $L^2$ and $P_H$ denote the orthogonal projection onto $H$, then $P_HH_0^1⊆H_0^1$
Let
$d\in\mathbb N$
$\Lambda\subseteq\mathbb R^d$ be open
$\mathcal V:=\left\{\phi\in C_c^\infty(\Lambda,\mathbb R^d):\nabla\cdot\phi=0\right\}$ and $$H:=\overline{\mathcal V}^{\left\|\;\cdot\;\right\...
- 167
0
votes
0
answers
107
views
Is $(u\cdot\nabla)v\in H^1$, if $u,v\in H^2$?
Let
$d\in\left\{2,3\right\}$ with
$\Lambda\subseteq\mathbb R^d$ be bounded and open with $\partial\Lambda\in C^1$
In Lemma 6.1 of Navier-Stokes Equations and Nonlinear Functional Analysis by Roger ...
- 167
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
9
votes
1
answer
1k
views
Noncompactness of the Sobolev embedding in the critical exponent case
Let $\Omega \subset \mathbb R^n$ be a bounded domain with a Lipschitz boundary and $n > p \ge 1$.
It is well known that up to the critical exponent $p^* = pn/(n − p)$, i.e. $q < p^*$, the ...
- 446
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
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
3
votes
0
answers
285
views
Error estimate on convolution of mollifiers
Given $u\in W^{1}_{p}(\omega)$ with $1\leq p\leq \infty$, and the mollifier $\rho\in C_0^{\infty}(R^d)$ with support $B_1$ is a unit ball centered at the origin, $\rho\geq 0$ and $\int_{B_1} \rho = 1$....
- 133
3
votes
1
answer
605
views
how to use the sobolev inequality to obtain the embedding theorem
I am reading Luca Capogna's article An Embedding theorem and the Harnack inequalitiy for nonlinear subelliptic equations. In this article, the authors proved the following theorem
(Theorem 2.3) Let ...
- 287
0
votes
0
answers
215
views
Intersection of weighted Sobolev spaces
Consider the Sobolev spaces with $p=2$, defined for $s \in \mathbb{R}$ as
\begin{equation}
W^{s} = \left\{ u \in \mathcal{S}', \ (1 + \lvert \cdot \rvert^2)^{{s}/{2}} \widehat{u} \in L_2 \right\}.
\...
- 2,306
4
votes
1
answer
2k
views
Homogeneous fractional Sobolev spaces
Given $s\in (0,1)$ and a measurable function $u:\mathbb{R^n}\to\mathbb{C}$, let us define $$\|u\|_{\dot H^s(\mathbb{R}^n)}^2:=\iint\frac{|u(x)-u(y)|^2}{|x-y|^{n+2s}}\,dx\,dy$$
and let $\dot H^s(\...
- 3,146
2
votes
1
answer
147
views
Showing existence of minimisers with single integral constraint on a possibly non-Lipschitz domain?
Consider a domain $\mathcal{D}$ which is a right circular cylinder in $\mathbb{R}^3$, with radius 1 and height 1, say. The boundary of $\mathcal{D}$, which I denote by $\partial\mathcal{D}$ consists ...
- 155
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
3
votes
1
answer
350
views
Gradient zero a.e on the the zero set
In Brezis Functional Analysis Page 314 Point 4 it is given that for u in $W^{1,p}(\Omega)$ where $\Omega$ is any open set then $\nabla u=0$ a.e on the set where $\{u(x)=k\}$, k is a constant.
How ...
- 31
1
vote
1
answer
1k
views
Introductory text to Sobolev spaces and PDE's [closed]
I'm looking for a good introductory to Sobolev, preferably with an emphasis to their relationship to PDE's analysis.
I have only seen thus far Giovanni Leoni's "First Course in Sobolev Spaces" which ...
- 3,574
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
0
votes
0
answers
378
views
compact injection
Put:
$D=\{u\in L^{2}(\mathbb{R}^{n})| x^{\alpha}D^{\beta}_{x}u\in L^{2}(\mathbb{R}^{n}), \forall \alpha,\beta \in \mathbb{N}^{m}:|\alpha|+|\beta|\leq 2 \}$
Why $D \hookrightarrow L^{2}(\mathbb{R}^{n}...
- 135
5
votes
0
answers
340
views
Real interpolation of weighted Sobolev spaces with different weights
Let $\Omega \subseteq \mathbb{R}^n$ be open and let $w_0$ and $w_1$ be measurable and almost everywhere positive and finite functions defined on $\Omega$. Let $L^2_{w_0}(\Omega)$ be the weighted ...
5
votes
1
answer
365
views
Does the Nash inequality hold on manifolds with Lipschitz boundary?
Let $N$ be a smooth manifold without boundary of dimension $n$. $M$ is a manifold with Lipschitz boundary if $M \subset N$, $M$ and $N$ are of the same dimension, and in the charts of $N$, the ...
- 687
3
votes
2
answers
279
views
Nice way to express $H^{-1}(\mathbb{S}^1)$
I am looking for a good way to write down what $H^{-1}(\mathbb{S}^1)$ is. What do I mean by this: Well, certainly one can define this space via charts that map from the sphere into $\mathbb{R}^2$ and ...
- 33
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
4
votes
1
answer
364
views
$\forall g\in L^2(\Omega)$ exists $g_n\in H_0^1(\Omega)$ and $\epsilon>0$ s.t $g_n(x)\to g(x),\,a.e$ and $|g_n(x)|\leq |g(x)|+\epsilon$
I asked this question on MSE here some time ago, but I couldn't get an answer. There was a suggestion in the comments for a counterexample using a fat Cantor set, but I couldn't show a contradiction ...
- 261
1
vote
0
answers
588
views
How is the duality pairing of $H^{1/2}$ and $H^{-1/2}$ defined on a subset of the boundary?
Let $\Omega\in \mathbb{R}^d$,for $d\in \{2,3\}$ be a bounded polyhedral set with $n$ boundary faces labeled $\{e_i\}_{i=1}^n$.
Let $\vec{q}\in H^{\mathrm{div}}(\Omega).$ Given $u\in H^{1/2}(\...
- 142
4
votes
1
answer
257
views
condition for $f \in H^{1/2} \cap C^0$
I need to show that for $f \in H^{1/2}(S^1) \cap C^0(S^1)$ we have :
$$ \iint\limits_{S^1 \times S^1}{ \frac{|f(x)-f(y)|^2}{\sin^2(\pi(x-y))}dx dy}< + \infty $$
and that, conversely, if $f$ is a ...
- 41
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$...
1
vote
1
answer
158
views
Nonlinear elliptic problem involving the p-laplacian, Hölder inequality
I am studying the paper On some nonlinear elliptic problems for $p$-Laplacian in $\mathbb{R}^n$ by Abdelouahed El Khalil and Said El Manouni Mohammed Ouanan.
I have a problem understanding one step ...
- 73
21
votes
1
answer
3k
views
Density of polynomials in $C^k(\overline\Omega)$
Let $\Omega$ be an open and bounded subset of $\mathbb{R}^2$ and let $C^k(\Omega)$, $1\leq k<\infty$, be the space of functions $f$ with continuous derivatives of order $\leq k$ in $\Omega$, ...
- 4,034
2
votes
2
answers
339
views
List of tensor product spaces with uniform crossnorms
Let $H^{(j)}$ and $G^{(j)}$ be Banach spaces for $j\in\{1,\dots,n\}$. Call norms $\|\cdot\|_{H}$ and $\|\cdot\|_{G}$ on the algebraic tensor products
$H:=\bigotimes_{j=1}^n H^{(j)}$ and $G:=\...
- 302
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
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
1
vote
1
answer
243
views
$L^\infty(0,T;X) \cap C([0,T];Y) \subset C([0,T];X)$ for $X \subset Y$ dense?
is the Inclusion stated in the title true? In my case the spaces (essentially) are $X = H^1(\Omega)$ and $Y = L^2(\Omega)$ for $\Omega \subset \mathbb{R}$ bounded. My first try was to show
$\lim_{t_1 ...
- 11
0
votes
3
answers
320
views
Exists $C = C(\epsilon, q)$ such that $\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)}$ for all $W^{1, 1}(0, 1)$? [closed]
Let $1 \le p < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|u\|_{L^p(0, 1)} \le \epsilon \|u'\|_{L^1(0, 1)} + C\|u\|_{L^1(0, 1)} \text{ for all }u \in W^{1,...
user81900