All Questions
Tagged with fa.functional-analysis sobolev-spaces
652 questions
1
vote
0
answers
83
views
Boundedness of a function that satisfies a PDE-type inequality
Let $\Omega$ be a bounded Lipschitz domain, and let $u\colon[-T,0]\times \Omega \to \mathbb{R}$ be a function with $u(-T)=0$.
Suppose that
$$\sup_{-T \leq t \leq 0} \int_\Omega |(u(t)-k)^+|^2 + \int_{...
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
2
votes
0
answers
93
views
Multiplier operators on anisotropic weighted $L^2$ spaces
Suppose $\mathcal{M}$ is a multiplier operator on $L^2(\mathbb{R})$, in the sense that, for any $u(x)\in L^2(\mathbb{R})$,
$\widehat{\mathcal{M}u}(k)=m(k)\hat{u}(k),$
where the scalar complex function ...
- 21
0
votes
0
answers
64
views
Approx the jump point of a $BV$ function from both hand side
Let $I=(-1,1)$ be an interval in one dimension. Let $u\in BV(I)$ be defined as
$$
u(x)=
\begin{cases}
0,&\text{ if }x\in(-1,0)\\
1,&\text{ if }x\in(0,1)
\end{cases}
$$
Clearly, we have $u\in ...
- 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
491
views
$L^\infty-L^1$ smoothing effect for the heat equation
Let $\Omega$ be a bounded domain in $\mathbb{R}^n$.
Let $u \in L^2(0,T;V)$ be the weak solution of the heat equation
$$u_t - \Delta u = 0$$
$$u(0) = u_0$$
where $u_0$ is bounded initial data. Here ...
- 21
6
votes
1
answer
945
views
Are Sobolev spaces on non-compact manifolds separable?
If $M$ is a Riemannian manifold that is not compact, is it true that the Sobolev spaces on $M$, $W^{k,p}(M)$, still be separable (for $p < \infty$)?
- 83
10
votes
1
answer
973
views
$\int\limits_{\Omega}{uvdx}<\infty,\forall v\in H_0^1(\Omega)$ implies $u\in L^{6/5}(\Omega)$
I posted this question first in Math.StackExchange one week ago here, but I didn't get an answer or a helpful comment so I repost it here:
Let $d=3$ and $\Omega\subset \mathbb R^d$ is a bounded ...
- 261
2
votes
0
answers
69
views
Doubts regarding pre-compactness of bounded sequence of measure valued functions
Given:
$\phi(x,\lambda) : \Omega$X$\mathbb R \to \mathbb R^{n}$ be a Caratheodory vector such that for each $M \gt 0 $, $\alpha_{M}(x) = max_{|u| \leq M} |\phi(x,u)| \in L^{2}_{loc} (\Omega)$ .
...
- 121
2
votes
0
answers
114
views
What is $(L^2(M), H^1_0(M))_{\frac 12}$ on a smooth manifold with boundary?
Let $M$ be a smooth compact manifold. If $M$ is closed, we have that the interpolation space
$$(L^2(M), H^1(M))_{\frac 12}=H^{\frac 12}(M)$$
(see Taylor's book on PDE for example). Suppose $M$ has a ...
- 251
6
votes
1
answer
916
views
Rellich-Kondrachov compacteness Theorem for the Euclidean space with Gaussian measure
Let $\gamma_n: \mathbb{R}^n\to\mathbb{R}$ be the Gaussian distribution function defined by
$$
\gamma_n(x):=(2 \pi)^{-\frac{n}{2}} e^{-\frac{|x|^2}{2}}.
$$
Let $d\gamma_n$ denote the following measure ...
5
votes
1
answer
481
views
A continuous path between two Sobolev functions
Let $\Omega\subset \mathbb R^N$ be open bounded, smooth boundary. Let $u_1$, $u_2\in H^{1}(\Omega)$ such that $T[u_1]=T[u_2]=T[\omega]$ where $T$ stands for the trace operator and $\omega\in H^1(\...
- 679
0
votes
0
answers
470
views
Derivatives of Mollified functions
I'm reading Controlled Diffusion Process by N.V. Krylov. On page 87-88, in the proof of theorem II.6.1, it says the following:
Let $\sigma(t,x)$ be a matrix of dimension $d\times d$, and let $b(t,x)$ ...
- 131
12
votes
2
answers
847
views
When is the closed unit ball in a smaller Banach space closed in a larger Banach space?
Recently I saw an interesting lemma:
For any $s>0$, the closed unit ball in $H^s$ is also closed in the $L^2$ norm. That is, suppose $u_j\in H^s$ and $\|u_j\|_{H^s}\le 1$. Suppose $u_j\to u$ in $L^...
- 5,169
3
votes
0
answers
74
views
Trace space of $\{ t^su \in L^2(0,\infty;X) \mid t^su_t \in L^2(0,\infty;Y)\}$ for $s \in (-\frac 12, \frac 12)$
Let $s \in (-\frac 12,\frac 12)$ and let $X=D(\Lambda)$ be a Hilbert space with $\Lambda$ the infinitesimal generator of a bounded semigroup of class $C^0$ in $Y$ (which is another Hilbert space), and ...
- 251
3
votes
0
answers
392
views
Compact embedding of ${\rm L}^1_{loc}$ space
I was reading one preprint and stumbled upon a part in the proof where one particular embedding was used. Namely:
Let $\Omega\subset{\bf R}^2$ be open and bounded and let $p\in\langle
1,2\rangle$. ...
- 165
1
vote
0
answers
205
views
A Question about compactness of an embedding into $L^p$ spaces
Assume $ \Omega \subset \mathbb{R}^N$ is a smooth bounded domain. There is well known Hardy inequality that says
For any $ u \in W_0^{1,2}(\Omega) $, $N\geq3$ we have
$$ \Lambda \int_{\Omega} \frac{u^...
- 371
1
vote
1
answer
672
views
Fractional Sobolev spaces on the circle with a Littlewood-Paley characterisation
Fractional Sobolev space $H^s_p(\mathbb R), s>0, 1<p<\infty$ is a space of tempered distributions $f$ that satisfy $F^{-1}((1+|\xi|^2)^{s/2} F(f)) \in L_p(\mathbb R)$.
Here, $F$ denotes the ...
- 225
4
votes
3
answers
1k
views
A space of distributions vanishing on the boundary
The revised question
After more reflection on the problem, I might have found the answer by myself. Let $U$ be an open subset of $M$, irrespective of whether it has a boundary or not. Let
$$\mathcal ...
- 5,407
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
1
vote
0
answers
108
views
How to define Biharmonic operator for second order sobolev spaces
I am studying an article Link of Article. There author assumes that $\Omega \subset \mathbb{R}^N$, $ N>4 $ . Some where in the paper we have
$$ \Delta^2 (\cdot) - \frac{\lambda}{|x|^4} (\cdot) : W^...
- 371
12
votes
0
answers
476
views
Are Sobolev trace spaces equal from both sides of the boundary?
Let $\Omega\subset\mathbb R^n$ be a bounded open set and $\Omega'$ the complement of its closure.
Assume $\partial\Omega=\partial\Omega'$.
Are the quotient spaces $W^{1,p}(\Omega)/W^{1,p}_0(\Omega)$ ...
- 8,086
1
vote
0
answers
185
views
Weighted Sobolev spaces over open/closed intervals
I am escalating this question from SE, as I have been unable to obtain any guidence in relation to a possible solution.
Some context, I am working with weighted Sobolev spaces of the form $W^{m,2}(I,...
- 11
5
votes
2
answers
2k
views
Completion of $C_0^{\infty}(\mathbb{R}^N)$ with norm $\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $
I have a question that I could not find it any where.
Is the completion of $C_0^{\infty}(\mathbb{R}^N)$ with the respect to norm
$$\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \...
- 371
3
votes
1
answer
607
views
Extension by zero in Sobolev spaces
Let $\Omega$ be an open bounded set of $R^n$, and let $\omega$ be an open subset of $\Omega$ s.t $\overline{\omega} \subset \Omega.$
For $f\in H_0^1(\omega)$, it is known that the extension of $f$ to ...
- 33
5
votes
2
answers
936
views
Second order differentiability of subharmonic function almost everywhere?
The following general definition of subharmonic function comes from the classical text book [elliptic partial differential equations of second order] by Gilbarg and Trudinger.
We call a function $u$ ...
- 1,350
0
votes
1
answer
491
views
Is this set of function belongs to $L^\infty$?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $u\in SBV\cap L^\infty(\Omega)$ be given. We write
$$
Du = \nabla u\lfloor \mathcal L^N + (u^+-u^-)\otimes \nu_u\mathcal H^{N-...
- 679
2
votes
0
answers
142
views
Points are removable for weakly differentiable functions
If $\Omega \subseteq \mathbb{R}^N$ is an open set and $N \ge 2$, then any point $a \in \Omega$ is removable for weakly differentiable maps: for each function $u \in W^{1, 1} (\Omega \setminus \{a\})$, ...
- 2,834
2
votes
0
answers
223
views
One parameter family of elliptic equations
Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi_\varepsilon + \sum_i a_i(x, \varepsilon)\partial_i \varphi_\varepsilon + \varphi_\varepsilon = N(\...
- 21
5
votes
1
answer
2k
views
Are piecewise linear functions dense in $W^{1,\infty}$?
Are piecewise linear functions dense in $W^{1,\infty}$ ?
- 393
2
votes
0
answers
467
views
Reference request: The compactness and compact embedding in Besov Space?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...
- 679
4
votes
0
answers
121
views
The best constant in Poincare-liked inequality in $BV$ and $BD$ space
This question has been posted on Math Stack exchange for a while and received no response. So I decide to move it here to get more attention.
Let $\Omega\subset \mathbb R^N$ be open, bounded and with ...
- 679
1
vote
0
answers
173
views
Regularity of weak solution
I have also posted the question here. Let me explain what difficulties I have. In fact, one may write
\begin{equation}
\partial_1(f-\partial_1 u)=0
\end{equation}
in $\Omega$. Then one may have the ...
- 223
2
votes
0
answers
396
views
"Friedrichs extension Laplacian" vs "Weak Laplacian" and fractional powers
Take $\Omega$ to be a bounded domain and consider Neumann BCs.
In some works, I see that a Laplacian $(-\Delta_D)^{\frac 12}$ is defined as an operator with domain $H^1(\Omega)$, and in other works, ...
- 21
2
votes
0
answers
52
views
About norm on $H^{\frac 12}(M \times \{0,1\})$
Let $X=M \times \{0,1\}$ with $M$ a smooth compact manifold without boundary.
Define the fractional Sobolev space $H^{\frac 12}(X) = (L^2(X), H^1(X))_{\frac 12}$, as the real interpolation space ...
- 171
2
votes
2
answers
357
views
Composition operators on fractional-order (periodic) Sobolev spaces
(The question was originally posted on MSE.)
Preliminaries: We know that the fractional-order Sobolev spaces $\mathrm{H}^s(\mathbb{R})$ and $\mathrm{H}^s(\mathbb{T})$ are closed under multiplication ...
- 63
0
votes
1
answer
214
views
Sobolev chain rule on non-compact manifolds
Let $(M,g)$ be a non-compact Riemannian manifold (not of bounded geometry).
Let $f:\mathbb{R} \to \mathbb{R}$ be $C^1$ with $f'$ bounded and $f(0)=0$. Is the Sobolev chain rule valid for functions $...
- 1
1
vote
1
answer
210
views
Is it true that for dimension d=3, if $v\in H_0^1(\Omega)$ but $v\notin L_\infty(\Omega)$ then exponent of v or -v is not summable?
I have the following Question:
1) Is it true that
if $\Omega\subset\mathbb R^3$, $\Omega$ - bounded, $v\in H_0^1(\Omega)$ but $v\notin L_\infty(\Omega)$ implies $\int\limits_{\Omega}{e^vdx}=+\infty$ ...
- 261
0
votes
0
answers
54
views
Differentiation of $(u(t),v(t))_{L^2(\Omega)}$ when $u, v \in H^1(I\times \Omega)$
Let $I=(0,\infty)$. Consider $u, v \in L^2(I;H^1(\Omega))$ with $u_t, v_t \in L^2(I;L^2(\Omega))$ where $\Omega$ is a bounded doamin.
Is it true that
$$\frac{d}{dt}(u(t),v(t))_{L^2(\Omega)} = (u'(t), ...
- 1
0
votes
1
answer
770
views
About weak derivatives [closed]
I have a question about weak derivatives.
Let $u,v \in L^{1}_{loc}(U)$ (the space of locally integrable functions) for some
open set $\emptyset \neq U \in \mathbb{R}^{n}$. We often say that $v$ is ...
- 721
2
votes
1
answer
453
views
Does strong convergence in $W_p^1$ imply strong convergence of derivatives of absolute values in $L_p$?
Let $G$ be a Lipshitz domain and $u_n \to u$ in $W_p^1(G)$. Is it correct, that $\frac{\partial |u_n|}{\partial x_m} \to \frac{\partial |u|}{\partial x_m}$ in $L_p(G)$?
I know, that $\frac{\partial |...
6
votes
2
answers
2k
views
Equivalent Norms on Sobolev Spaces
When $k$ is a positive integer and $1<p<\infty$, we know that there is some
$C>0$ such that for all $u\in W^{k,p}\left(\mathbb{R}^{N}\right) :$
$$
\left\Vert \left( -I+\Delta\right) ^{\...
- 233
0
votes
1
answer
781
views
How to modify a $H^1$ weak convergence sequence so that I have the $L^2$ equi-integrability of gradient?
Assume $u_n\to u$ weakly in $H^1(\Omega)$ where $\Omega\subset \mathbb R^N$ is open bounded Lipschitz boundary.
My goal is to find a new sequence $\bar u_n$ and a new function $\bar u$ such that
$\...
- 679
2
votes
1
answer
232
views
Generalization of maximum principle to other norms
Consider the Laplace equation $\Delta u=0$ in $\Omega \subset \mathbb{R}^d$ with Dirichlet boundary conditions, i.e. $u=g$ on $\delta \Omega$. By the maximum principle we know that the solution $u$ ...
- 2,286
4
votes
1
answer
3k
views
Besov and Triebel-Lizorkin spaces
Let me start with a couple of notational reminders. For $\xi\in \mathbb R^n$,
$$
1=\varphi_{0}(\xi)+\sum_{\nu \ge 1}\varphi_{\nu}(\xi),\quad \varphi_{0}\in C^\infty_c(\mathbb R^{n}),\quad \varphi_{\nu}...
- 16.2k
7
votes
1
answer
1k
views
Chain rule for weakly differentiable functions
Given are $f\in L^1(\mathbb R^n)$, $f>0$, such that $\log f\in L^1_{\mathrm{loc}}(\mathbb R^n)$ and $\nabla \log f = g$ in the sense of distributions, with $g\in L^1_{\mathrm{loc}}(\mathbb R^n)\cap ...
- 459
0
votes
1
answer
154
views
Sobolev type embedding
Consider a compact manifold $M$ and a point $q \in M$. Let us say that
that the following inequality holds:
$$
\Vert \varphi u\Vert_{L^p} \leq C\Vert \varphi u\Vert_{H^1},$$ where $\varphi \in C^\...
- 1
1
vote
0
answers
207
views
Vector valued Sobolev spaces
My question is in reference to this question previously asked here. As asked there, consider a function $f \in H^s_x(L^2_y) \cap L^2_x(H^s_y)$. In the notation of Lions and Magenes (Chapter 4, Vol 2), ...
- 11
1
vote
1
answer
732
views
Norm equivalent to Sobolev norm? [closed]
On the hyperbolic space $\mathbb{H}^n$, it is known that the spectrum of the Laplacian satisfies $\text{Spec}(-\Delta) \subset [\frac{(n - 1)^2}{4}, \infty)$. Consider the operator $P = -\Delta + a$, ...
- 11
1
vote
1
answer
618
views
Condition to obtain a not compact embedding
I have the two spaces $W_0^{1,p}$ with the norme $$||u||^p=||u||^p_{L^p}+||\nabla u||^p_{L^p}$$ and $$L^{p^*}_{\alpha}=\{ u~\text{measurable}, \int_{\Omega} (|x|^{\alpha} u(x)|)^{p^*} dx<\infty\}$$ ...
- 277