All Questions
17 questions
0
votes
1
answer
53
views
Exponentially weighted norms are not equivalent
Let $\|u\|^2_{L^2_\eta}$ be the exponentially weighted norm of the space of functions $u(x)$ for which $u(x)\mathrm{e}^{\eta\cdot x}$ with $\eta\in \mathbb{R}$ is in $L^2(\mathbb{R})$. How can I show ...
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
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
1
vote
1
answer
179
views
On the compact embedding of Sobolev space
In dimension three, we know that the Sobolev space $W^{\frac{13}{11},11}(D)$ is compactly embedded into $W^{1,11}(D)$, where $D$ is a bounded domain in $R^3$ with smooth boundary. My question is: Does ...
- 31
2
votes
2
answers
450
views
The compact embedding of $H^{1/2}_{2\pi}$ in $L^s(0, 2\pi)$
Consider the fractional Sobolev space $H^{1/2}_{2\pi}$. This space consists of the functions $u$ in the space $L^2(0, 2\pi)$ whose coefficients of their Fourier expansion $$u(t)=a_0+\sum_{k=1}^{\infty}...
4
votes
2
answers
364
views
Equivalence between two Sobolev norms on manifolds
On a compact Riemannian manifold $(M,g)$ without boundary, there are two ways to define a Sobolev norm on $M$. Assume that $f\in C^\infty(M)$ in the following.
Use pseudo-differential operators on $M$...
- 71
6
votes
2
answers
1k
views
Exercise 8.13 - Brezis
Let $1 \leq p < \infty$ and $u \in W^{1,p}(\mathbb{R}$). Set
$$
D_{h}u(x) = \frac{1}{h}(u(x+h) - u(x)), \ \ x \in \mathbb{R}, h> 0
$$
Show that $D_{h}u \to u'$ in $L^{p}(\mathbb{R}$) as $h \to ...
- 241
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
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
0
votes
1
answer
110
views
Functions for which $|f^{(k)}|_{C^{0,\alpha}(0,1)} \le \Vert f \Vert_{L^1(0,1)}$
Let $f \in C^k(0,1)$ and assume that the $k$-th derivative is $\alpha$-Hölder continuous. Assume that $f(x) = 0$ in a fixed interval $(a,b) \subset (0,1)$. Can we characterize (or at least find some ...
- 131
7
votes
2
answers
3k
views
Arzelà-Ascoli theorem and Hölder spaces
Let $B\subset \mathbb{R}^n$ be a open ball. Let $\{f_i\}$ be a sequence of functions bounded in the Hölder norm $C^{k,\alpha}(B)$ for a given integer $k\geq 0$ and $\alpha\in (0,1)$.
Does there exist ...
- 21.8k
4
votes
1
answer
225
views
Approximate constant function
Let $f:[0,1]^2 \rightarrow \mathbb C$ be an $H^1$ function with the property that $f(x,x)=0$ and $\Vert f \Vert_{L^2[0,1]}=1.$
Does there exist a constant $c>0$ such that any such function ...
- 192
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
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
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
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
4
votes
1
answer
1k
views
Sobolev-Slobodeckij spaces for p=infinity
For $1\leq p<\infty$ an approach to define fractional Sobolev spaces is by Sobolev-Slobodeckij spaces a generalisation of Hölder continuity. For example letting $U\subset\mathbb{R}^n$ then,
$
\...
- 3,217