All Questions
Tagged with fa.functional-analysis sobolev-spaces
278 questions with no upvoted or accepted answers
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
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
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
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
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
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_{...
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
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
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
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
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
0
answers
80
views
Sobolev embedding on warped product
Consider the warped product $X = M \times \mathbb{R}$, with the metric $g = dr^2 + \varphi(r) g_M$, where $M$ is a compact manifold. Consider the Sobolev space $H^1(X)$ and let $H^1_{rad}(X)$ denote ...
user73978
1
vote
0
answers
191
views
$L^2$ bound on solution of PDE in terms of $L^2$ norm of initial value
Let $u \in H^1((0,T)\times S)$ be the unique solution of
$$u_{tt} + \Delta u =0$$
$$u|_{t=0}= u_0$$
$$u|_{t=T}=0$$
where $u_0 \in H^{\frac 12}(S)$ and $S$ is some Euclidean hypersurface without ...
- 21
1
vote
0
answers
116
views
Strong solution to parabolic equation without differentiability assumption on coefficient?
Consider on $(0,T)\times \Omega$, $\Omega$ a bounded domain
$$u_t(t,x) - a(u(t,x))\Delta u(t,x) = f(t,x)$$
$$u|_{\partial\Omega} = 0$$
where $a$ is real-valued and satisfies
$C_1 \leq a(r) \leq C_2$ ...
- 251
1
vote
0
answers
120
views
Fractional Poincare inequality on closed manifold
Let $u \in H^{\frac 12}(M)$ on a compact closed Riemannian manifold. Can someone refer me to a source where the inequality
$$\lVert u - \bar u \rVert_{L^{2^*}} \leq C|u|_{H^{\frac 12}}$$
is proved, or ...
- 11
1
vote
0
answers
218
views
Compact embedding
Let $\Omega$ be a domain in $\mathbb{R}^d$ (not necessarily bounded, no regularity assumption) and $K \subset \Omega$ a compact.
Is it true that the embedding $H^1_0(\Omega) \rightarrow L^2_K(\Omega)$...
- 185
1
vote
0
answers
123
views
$L^p$ norm of solution to porous medium equation decreases in time: how to make formal calculation rigorous?
Let $u \in C^0([0,\infty);L^1(M)) \cap W^{1,1}_{\text{loc}}((0,\infty);L^1(M))$ with $u(t) \in H^1(M)$ for a.e. $t$ be the solution of the porous medium equation $\dot u = \Delta (u^m)$ on a compact (...
- 13
1
vote
0
answers
305
views
Adjoint operator in sobolev space
Let $g\in H_0^1(\Omega)\cap W^{2,\infty}(\Omega),$ and let us define the operator $B : y \to g y$ from $H:=H_0^1(\Omega)\cap H^2(\Omega)$ to $H$, which we endowed with norm $|u|=(\|u\|^2 +\|\Delta u\|...
- 51
1
vote
0
answers
618
views
A question on a variant of Hardy's inequality.
I would like to know a proof of a variant of Hardy's inequality below. Could anyone introduce me a reference or give me a proof? Thank you very much for your assistance.
Set $0<r<\frac{2(n-s)...
- 11
0
votes
0
answers
100
views
Construct a bi-Lipschitz mapping that maps a cube to a ball which has the same center with the cube
A mapping $f: \mathbb{R}^n\to \mathbb{R}^n$ is said to be $K$-bi-Lipschitz, $K>1$, if
\begin{equation*}
\dfrac{1}{K}\leqslant \dfrac{|f(x)-f(y)|}{|x-y|}\leqslant K,
\end{equation*}
for any $x,y\in \...
- 69
0
votes
0
answers
112
views
Vector field connecting two points
I'm now working on somehow an inverse problem of an ODE:
Suppose we have a ODE on $\mathbb{R}^{n}$: $\dot{x} = f(x)$, denote the solution to the ODE starting at $a$ as $x_{f,a}$(t).
Now there is a ...
- 1
0
votes
0
answers
80
views
Relationship between two minimization problems
Let $1 \le p < n$ and $p^* = np/(n - p)$. Let $B \subset \mathbb{R}^n$ be a closed ball and let $\Omega \subset \mathbb{R}^n$ be an open set containing $B$. We denote by $W^{1, p}_{B}(\Omega)$ the ...
0
votes
0
answers
143
views
A Poincaré inequality holds for $p>2$ but fails for $p\leqslant 2$
I am confused with the following example taken from page 6 of Sobolev Met Poincaré, by Hajłasz and Koskela (MR1683160, Zbl 0954.46022).
Let $(X,d,\mu)$ be a metric measure space and let $\Omega\subset ...
- 69
0
votes
0
answers
55
views
Time regularity vs space regularity for parabolic PDE
Suppose that there exist separable Hilbert spaces $V, H, X$ such that $V\hookrightarrow H\hookrightarrow X\hookrightarrow V'\,$ continuously, where $V'$ denotes the dual of the Hilbert space $V$. Let ...
- 311
0
votes
0
answers
109
views
A Lipschitz function induced by the infimum of the length of curves
Recently I have read a paper, Quasiconformal Images of Hölder Domains, written by S. M. Buckley in 2004, published by Annales Academiæ Scientiarum Fennicæ Mathematica. I am confused about page 33 of ...
- 69
0
votes
0
answers
211
views
Gauss transformation in fractional Sobolev space
Let $g_{\mu}(x) = \mu^{d/2}\exp(-\pi\mu|x|^2)$ for every $\mu > 0$. Prove that
$$
\int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}} u\right|^{2} \geq \int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}...
- 101
0
votes
0
answers
37
views
Finding an element of Gelfand triple with a designated time derivative
Let $V$ be a real separable Banach space and $H$ be a real separable Hilbert space such that
\begin{equation}
V \subset H \subset V'
\end{equation}
where $V'$ is the dual of $V$ and the inclusions are ...
- 3,477
0
votes
0
answers
67
views
Constants in the entropy number of the Sobolev space
For a Sobolev space with $W^s(\Omega)$, where $\Omega\subset R^d$ is a compact space with smooth boundary, we know that the entropy number satisfies $e(\delta, W^s(\Omega, 1),\|\cdot\|_{L_\infty})\leq ...
- 39
0
votes
0
answers
119
views
About definition of stable solution. $Q_u(\phi) \ge 0$ for all $\phi \in C_c^1(\Omega)$ replaced by "for all $\phi \in W_0^{1,2}(\Omega)$"
I want to ask about a remark about the stable solution of elliptic PDE Remark 1.1.1.
We say $u$ is stable solution of $-\Delta u=f(u) \ \text { in } \Omega$ and $u=0$ on $\partial \Omega$ if it ...
- 809
0
votes
0
answers
149
views
Validity of Hölder inequality for the homogeneous Besov spaces $\dot{B}^0_{1,2}(\mathbb{R}^n)$ and $\dot{B}^0_{2,2}(\mathbb{R}^n)=L^2(\mathbb{R}^n)$
I am looking at Corollary 1. in p.244-245 of the book
"Sobolev Spaces of Fractional Order,
Nemytskij Operators,
and Nonlinear
Partial Differential Equations" (1996) by Thomas Runst
Winfried ...
- 3,477
0
votes
0
answers
78
views
Sobolev trace inequality with exterior domains
Let $x_1\in \mathbb{R}^n$, $n\geq 3$, $\Omega=\mathbb{R}^n\backslash B_1(x_1)$, define $D_{\Omega}$ by taking the closure of $C_{c}^{\infty}(\overline{\Omega})$ under the norm
\begin{align*}
\|u\|_{D_{...
- 471
0
votes
0
answers
142
views
Is $C^\infty(\Omega) \cap W^{s_1,p_1}(\Omega)$ dense in $W^{s_2,p_2}(\Omega)$ if $W^{s_1,p_1}(\Omega) \subset W^{s_2,p_2}(\Omega)$?
Background: The proof of Theorem 6.4 in http://mate.dm.uba.ar/~jrossi/Fractional-1-lapla-07_02_2015.pdf, I want to use the density that $C^\infty(\Omega) \cap W^{r_0,q_0}(\Omega) \cap L^2(\Omega)$ is ...
- 1
0
votes
0
answers
103
views
Extension for fractional Sobolev spaces, s>0
In their paper, Fractional Sobolev extension and imbedding, the author describes all extension domains for $s \in (0,1)$ -- meaning spaces functions in which are not required to have weak derivatives. ...
- 93
0
votes
0
answers
152
views
Concentration compactness lemma and the best Sobolev constant
It is well known that the best Sobolev constant can be achieved on $\mathbf{R}^n$. More precisely, we have the following theorem (A):
Let $\frac{1}{q}=\frac{1}{2}-\frac{1}{n}$, $$S=\inf\limits_{{u\in ...
- 705
0
votes
0
answers
21
views
Estimatives for elliptic systems involving the laplacian
Considering the problem
\begin{equation}
\left\{
\begin{array}[c]{11}
\Delta(\Delta \chi -\chi) = 0 & \text{in } \Omega, \\
\Delta \chi -\chi = h_2 - h_1, & \text{on } \partial\Omega \\
\end{...
- 101
0
votes
0
answers
165
views
Compact embedding of Lipschitz continuous functions
Let $(X,d,\mu)$ be a metric measure space, not necessarily with $\mu(X)<\infty$. I would like to study the embedding of $W^{1,2}(X)\cap \mathrm{Lip}(X)$ into $L^2(X)$. Are there simple conditions ...
- 3,388