All Questions
24 questions with no upvoted or accepted answers
8
votes
0
answers
278
views
Pseudodifferential operators on compact manifolds with boundary
I have heard that the square root of the Dirichlet (or the Neumann) Laplacian is not a pseudodifferential operator on compact manifolds with boundary. The context in which this was said was that ...
- 81
8
votes
0
answers
349
views
Finding a dimension-free bound for a certain multiplier on Euclidean space
The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
- 141
7
votes
0
answers
132
views
Smoothing property of a certain singular integral operator of non-convolution type
For simplicity, suppose that the dimension $d=2$, and let $g_s(x)$ be the Coulomb or Riesz potential defined by
$$g_s(x) := \begin{cases} -\frac{1}{2\pi}\ln|x|, & {s=0} \\ c_s|x|^{-s},& {0<...
- 873
7
votes
0
answers
3k
views
Definition of homogeneous Sobolev spaces
As we know the inhomogeneous Sobolev space (we only consider $s>0$)
$${H}^{s}\left(\mathbb{R}^{n}\right)=\left\{f \in L^2(\mathbb{R}^n):\int_{\mathbb{R}^{n}}|\xi|^{2 s}|\hat{f}(\xi)|^{2} \mathrm{d} ...
- 633
7
votes
0
answers
927
views
What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?
I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it.
Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$ \operatorname{supp} \phi \...
- 1,051
4
votes
0
answers
127
views
Algebra properties regarding Gevrey spaces: closed under multiplication
In page 24 of the paper Landau Damping: Paraproducts and Gevrey Regularity, the authors claimed an algebra property of Gevrey spaces, the formula (3.14), without giving a proof. So I'm asking for a ...
- 517
4
votes
0
answers
170
views
Pointwise convergence of the eigenfunctions expansion of $f(x)=\frac{1}{|x|}$
Let $\Omega\subset \mathbb{R}^n$ a bounded domain with smooth boundary, $0<\lambda_1\leq \lambda_2 \leq \dots \leq \lambda_k\leq \dots$ the Dirichlet eigenvalues and $\{w_k\}_{k=1}^{+\infty}$ an $L^...
user39481
4
votes
0
answers
551
views
$f,g , |f|f, |g|g \in A(\mathbb R) \ \text{(Banach algebra)} \implies \left\|f|f|- g|g|\right\|\leq C \left \|f-g\right \|$?
Let $f\in L^{1}(\mathbb R)$ and it Fourier transform, $\hat{f} (y) : = \int _ {\mathbb R} f(x) e^{-2\pi i x\cdot y} dx ; y \in \mathbb R ;$ and consider Fourier algebra
$$A(\mathbb R):= \{f\in L^{1}(...
- 1,051
4
votes
0
answers
433
views
Scattering for rapidly decaying solutions of NLS
Cazenave and Weissler proved in their paper "Rapidly Decaying Solutions
of the Nonlinear Schrödinger Equation" the following property.
Given the problem
\begin{equation}
\left\{
\begin{array}{rl}
...
- 403
2
votes
0
answers
180
views
Approximating $L^p$ functions by eigenfunctions of Laplacian
I'm reading a paper https://www.sciencedirect.com/science/article/pii/S0022039608004932.
In this paper, the authors assume that $\mathcal{O}$ is a bounded domain of $\mathbb{R}^N$ with $C^m$ boundary ...
- 121
2
votes
0
answers
206
views
Failure of Calderón–Zygmund inequality at the endpoints
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$I'd like to prove that the famous Calderón–Zygmund elliptic estimate $$ \norm{ \partial_{ij}u }_{L^p} \leq C \norm{\Delta u }_{L^...
- 457
2
votes
0
answers
126
views
On the infimium of a functional
Let $(M^n,g)$ be a closed Riemannian manifold. Define
$$\lambda(g)=\inf\{\mathcal{F}(g,f),\;0<f\in C^{\infty}(M),\; \int_Mf^2\;d\nu=1\},$$
where $$\mathcal{F}(g,f)=\int_M\left(|\nabla f|^2+ af^2\...
- 169
2
votes
0
answers
110
views
If $f_j\to f$ in $L^1(\Bbb R^n)$ then $Tf_j\to Tf$ in $L^{1,\infty}(\Bbb R^n)$
Let's define $A:=\{f\in L^1(\Bbb R^n)\cap L^2(\Bbb R^n)\;:\;f\;\mbox{has compact support}\}$. So $A$ is dense in $L^1(\Bbb R^n)$.
Given then $f\in L^1(\Bbb R^n)$; by density there exists $\{f_j\}_j\...
user76025
2
votes
0
answers
119
views
Find $U \in H^1(\Omega \times (0,\infty))$ such that $\nabla E(u-\bar u)\nabla U \geq 0?$ (PDE harmonic extension)
Let $\Omega$ be a bounded smooth domain. Given $u \in H^{\frac 12}(\Omega)$ with mean value $\bar u = 0$, let $Eu = v \in H^1(\Omega \times (0,\infty))$ solve
$$\int_0^\infty\int_\Omega \nabla v\nabla ...
- 49
1
vote
0
answers
43
views
If a weighted Laplacian's eigenfunction is zero in an open set, when is it identically zero?
Let $m, s \in ([0, 1]^d \rightarrow \mathbb{R}_{\geq 0}$). Define a weighted Laplacian $\Delta_{m, s}f$ evaluated at $x \in [0, 1]^d$ to be:
$m(x) \cdot \text{div} ( s(x) \nabla f(x))$.
What ...
- 93
1
vote
0
answers
82
views
For any $\beta>0$, there is a constant $c>0$ such that $\left\|(1-\Delta)^{\frac{\beta}{2}} f\right\|_{\infty} \leq c\|f\|_{C_b^\beta}$
For any $n \in \mathbb{Z}^{+}$, let $C_b^n\left(\mathbb{R}^d\right)$ be the class of real functions $f$ on $\mathbb{R}^d$ with continuous derivatives $\left\{\nabla^i f\right\}_{0 \leq i \leq n}$ such ...
- 835
1
vote
0
answers
57
views
How to show the solution map of NLS is not smooth?
Let $u(\delta, t)$ satisfy
$$iu_t +\Delta u+ |u|^{2k}u=0, \quad u(0)=\delta v_0$$
Note that the mapping:
$$\delta v_0\mapsto u(\delta, t)= S(t)(\delta v_0)-i\int_0^tS(t-\tau)(|u|^{2k}u)(\tau)d\tau $$
...
- 325
1
vote
0
answers
260
views
Closure of smooth functions in Besov spaces
For real numbers $\alpha > \beta$, we know there is a continuous embedding of Besov spaces $B^\alpha_{\infty,\infty}\subset B^\beta_{\infty,\infty}$. We take the closure of the intersection $C^{\...
- 253
1
vote
0
answers
103
views
Choosing the weight in a particular definition of Besov spaces
Following Giovanni Leoni's excellent book (or the Wikipedia article) one possible way to define the Besov spaces $B^{s,p,\theta}(\mathbb R ^d)$, with $s\in(0,1)$ the fractional "order of derivative" ...
- 5,380
1
vote
0
answers
192
views
The decay rate of the spectrum of the Gaussian kernel on compact manifolds
It seems that the $k^{th}$ largest eigenvalue of the intergral operator induced on $S^n$ by the Gaussian kernel, $e^{-\frac{\vert \vec{x} - \vec{y} \vert _2^2}{2\sigma^2}}$ decays as $k^{-k}$. This is ...
- 617
1
vote
0
answers
62
views
Reference request - Compact embedding of intermediate space
Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$.
...
- 679
1
vote
0
answers
164
views
How to use, $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in a Banach space $C([0,T]; M^{p,1})$?
(May be this is very basic question for MO)
(For details or this question you may see the paper page no. 9, MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; ...
- 1,051
0
votes
0
answers
36
views
Sufficient condition for interpolation
If we have a couple of two compatible banach spaces (in this sense) $(X,Y)$ and a sequence of Banach spaces $\{Z\}_{\theta\in[0,1]}$ which are intermediate between $X$ and $Y$ satisfying:
$Z_0=X$, $...
- 101
0
votes
0
answers
75
views
$|\partial $ as Fourier multiplier
I have the following nonlinear dispersive PDEs
$$i \partial_t u- \partial_x^2 u =|\partial_x| |u|^2$$
where $f$ is some nice complex-valued function.
I am trying to use the ansatz $u(t,x) = e^{i \...
- 159