All Questions
Tagged with pseudo-differential-operators ap.analysis-of-pdes
62 questions
59
votes
9
answers
10k
views
Motivation for and history of pseudo-differential operators
Suppose you start from partial differential equations and functional analysis (on $\mathbb R^n$ and on real manifolds). Which prominent example problems lead you to work with pseudo-differential ...
- 5,327
42
votes
5
answers
6k
views
Why is symplectic geometry so important in modern PDE ?
First, we recall that symplectic manifold is a smooth manifold, $M$, equipped with a closed nondegenerate differential 2-form, $\omega$, called the symplectic form. The study of symplectic manifolds ...
- 1,644
29
votes
6
answers
10k
views
Square roots of the Laplace operator
In several places in the literature (e.g. this paper of Caffarelli and Silvestre), I've seen an integral formula for fractional Laplacians. I'd like to understand it. In this question, I'll stick to ...
- 27.7k
14
votes
4
answers
1k
views
Is every continuous microlocal operator a pseudo-differential operator?
Let $\mathcal S'=\mathcal S'(\mathbb R^n)$ be the Schwartz distribution space.
Suppose $A\colon\mathcal S'\to\mathcal S'$ is linear, continuous and microlocal.
By being microlocal I mean that the wave ...
- 8,086
14
votes
2
answers
2k
views
Applications of pseudodifferential operators to PDE
I am planning to build a PDE course centred around pseudodifferential operators. I know some important applications of pseudodifferential operators to PDEs, but I don't know enough to get the whole ...
12
votes
1
answer
1k
views
applications of C$^*$-algebras in the field of PDEs
I know only a little bit about C$^*$-algebras and I want a to know if you know a nice apllication or the influence of them in the field of partial differential equations (it is better that it is ...
11
votes
1
answer
668
views
Is every continuous endomorphism of the Schwartz space a pseudo-differential operator?
Let $\mathcal{S}:= \mathcal{S}(\mathbb{R}^n)$ be the Schwartz space of smooth functions with rapid decay. The question is pretty simply stated in the title. Pseudo-differential act continuously on the ...
- 7,789
11
votes
2
answers
1k
views
what's the motivation of Weyl calculus ?
In the pseudo-differential operator theory, we can define a pseudo-differential operator by $$a(x,D)u=(2\pi)^{-n}\int{a(x,\xi)e^{i\langle x-y,\xi \rangle}u(y)dyd\xi}$$ with $a(x,\xi)$ belong to some ...
- 1,644
11
votes
1
answer
1k
views
Research topics in microlocal analysis
Before asking this question here I did some research on web but I would like to get the opinion of those directly interested if there are any , (as I did in this thread Research topics in distribution ...
- 589
11
votes
3
answers
3k
views
Characterization of inverse differential operators
If I have a partial differential operator $p(D)$, where $p$ is a polynomial with constant coefficients and $D$ is the derivative in Euclidean space. Its inverse is easily described in Fourier space: $\...
- 21.5k
9
votes
2
answers
620
views
Pseudodifferential operators on spaces with boundary
Consider the upper half space $\mathbb{R}^n_{+} = \{x = (x_1,..,x_n) \in \mathbb{R}^n : x_n \geq 0\}$. Consider the Laplacian on this space with either the Dirichlet boundary condition or the Neumann ...
- 93
8
votes
1
answer
712
views
Pseudo-differential operators with compactly supported symbols
If the symbol $p(x,\xi)$ of a pseudodifferential operator $P$ has compact $x$-support, then for any Schwartz function $f$, $Pf$ has compact $x$-support.
Is the reverse true? Namely that if some PDO $...
- 728
8
votes
2
answers
2k
views
when a pseudo-differential operators to be compact?
In the theory of Pseudo-differential operators,when a symbol $a(x,\xi)\in S^{0}$,then the operator $a(x,D)$ defined by$$a(x,D)u=\int{e^{ix\xi}a(x,\xi)\widehat{u}}d \xi$$ is $L^2$ bounded.$ $
My ...
- 1,644
8
votes
2
answers
2k
views
(sharp)Garding's inequality and inequality with lower bounds
The origin of Garding's inequality was an effort to solve Dirichlet's problem for linear elliptic operators of high even order.Let $$P(x,D)= \sum a_{\alpha}(x)D^{\alpha}$$ with principal part $$P_{2m}...
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
7
votes
6
answers
2k
views
Fractional Leibniz formula
Let $T=(-\Delta)^{1/2}$.
Can we have estimates, similar to the one below
$$
\| T^{\alpha}(fg)-(T^{\alpha}f)g-f(T^{\alpha}g) \|_p \leq \|T^{\alpha-1}f\|_p \|T^{\alpha-1}g\|_p,
$$
hold in $L^p$, where $...
- 1,644
7
votes
2
answers
517
views
Do pseudo-differential operators form a sheaf of algebras?
Let $M$ be a smooth manifold.
I have been trying to figure out from the literature I know whether (any flavor of) pseudo-differential operators form a sheaf of algebras (w.r.t. the usual topology on ...
- 7,789
7
votes
0
answers
80
views
Given composition rules, determining whether a continuous map between smooth functions is a pseudodifferential operator
Let $M$ be a closed manifold, and let $P:C^{\infty}(M)\rightarrow C^{\infty}(M)$ be a continuous linear map in the smooth Fréchet topologies. In what is to come, if it helps, one can assume further ...
- 808
5
votes
1
answer
301
views
$L^p$-estimates for elliptic pseudodifferential operators
Assume we have an pseudodifferential operator
$P:\mathcal{S}(\mathbb{R}^n) \rightarrow \mathcal{S}(\mathbb{R}^n), Pf(x) = (2\pi)^{-n/2}\int\mathrm{d}\xi\; p(x,\xi)\,\hat{f}(\xi)e^{i\xi x}$
acting on ...
- 381
5
votes
1
answer
2k
views
Does the 'reproducing kernel formula' for a bounded open set $U$ define an equivalent norm on the Sobolev space $H^1_0(U)$
We refer to the 'reproducing convolution formula with a kernel' for an open bounded domain $U$ of $R^n$, $n \geq 2$ discussed in the paper of G. Talenti (Annali de Matematica, Dec 1976) on Best ...
5
votes
1
answer
270
views
Positivity of semiclassical pseudodifferential operators
Let me first give some background. (My reference is Martinez's book An introduction to semiclassical and microlocal analysis)
Let $m\in\mathbb{R}$, and $p(x,\xi):\mathbb{R}^n_x\times\mathbb{R}^n_\xi\...
- 305
4
votes
1
answer
161
views
Commutator representation of certain smoothing operators
I have a question regarding the classical trace $\text{Tr} \colon \Psi^{-\infty}(S^1)\to \mathbb C$ on pseudodifferential operators of infinite negative order (i.e. smoothing operators), defined over ...
- 313
4
votes
0
answers
2k
views
Fourier transform of $C^\infty_0$, smooth functions vanishing at infinity
Is there a proper description of the space $$\{\hat f\ | \ f\in C^\infty \ s.t. \forall \alpha\in\mathbb{N}^n,\forall \epsilon>0\exists K\subseteq \mathbb{R}^n\ K\ \text{compact};\ \sup_{x\in \...
- 41
4
votes
0
answers
237
views
Contact manifolds and pseudodifferential operators
By way of background, I am currently trying to understand the theory of pseudodifferential operators in the context of contact geometry. I have some knowledge of pseudodifferential operators on ...
- 41
3
votes
1
answer
678
views
Is this kernel space of finite dimension ?
Assume that $P \in \Psi^{m}(X)$ (X is a $C^{\infty}$ manifold)is properly supported and has a real principal part p which is homogeneous of degree m.I'm interested in the existence theorem(at least ...
- 1,644
3
votes
1
answer
811
views
Application of Egorov's Theorem for Pseudodifferential Operators
Let $\;P_{0} \in OPS^{m}_{1,0}(\mathbb{R}^{n} \; \times \; \mathbb{R}^{n})\;$, $\;A \in OPS^{1}(\mathbb{R}^{n} \; \times \; \mathbb{R}^{n})$ and $S(t)$ the solution operator of the scalar hyperbolic ...
- 55
3
votes
1
answer
398
views
Elliptic Fourier integral operators
I know what it means for a pseudodifferential operator $A\in\Psi(\mathbb{R}^n)$ to be elliptic at a point $(x,\xi)\in T^*\mathbb{R}^n$: the principal symbol of $A$ is non-vanishing at the point.
But ...
- 31
3
votes
1
answer
375
views
Exponential decay for the gradient of a solution
Dear all,
I would like to prove the exponential decay of the derivatives of a solution to the following equation in $\mathbb{R}^N$:
$$
\sqrt{-\Delta+m^2} u +u= f(u),
$$
where I can assume that $m \neq ...
- 31
3
votes
1
answer
151
views
Symbol estimates using metric on the phase space
Consider the symbols introduced by Beals and Fefferman in which the symbol estimates are of the form:
\begin{equation}\tag{1}
\label{eq1}
|\partial_x^\beta\partial_\xi^\alpha a(x,\xi)| \leq C_{\...
3
votes
0
answers
82
views
Dirichlet-to-Neumann map is analytic
Let $M^n$, $n \geq 2$, be a compact smooth manifold with boundary and let $I \ni t \mapsto g_t$ be an analytic (with respect to t) $1$-parameter family of Riemannian metrics on $M$. For each $t \in I$,...
- 2,095
3
votes
0
answers
129
views
Reasons behind different conventions for symbol of operator
I've come across two slightly different conventions for the symbol of a differential operator $D$ (let's say on $\mathbb{R}^n$) and haven't thought much about the motivation behind them until now.
The ...
- 1,903
3
votes
0
answers
98
views
Semiclassical analysis and reflection law
I was curious about the following vague question. In pseudodifferential calculus and semi-classical analysis there are various theorems that relate geodesics of the underlying space to the behavior of ...
- 445
3
votes
0
answers
114
views
Parametrix of external product of elliptic operators
Let $S$ and $T$ be Dirac-type operators on vector bundles $E\rightarrow M$ and $F\rightarrow N$ respectively, where $M$ and $N$ are manifolds. Suppose $Q_S$ and $Q_T$ are parametrices for $S$ and $T$. ...
- 1,903
3
votes
0
answers
588
views
Propagation of Singularities
I'm following the book "Elementary Introduction To The Theory Of Pseudodifferential Operators" by X. S. Raymond and the Joshi Lectures Notes - https://arxiv.org/pdf/math/9906155.pdf - to prove the ...
- 509
2
votes
3
answers
541
views
BVPs for elliptic PDOs: When do Green functions ($L^2$ inverses) define pseudo-differential operators in the interior?
I asked the following question on math.SE (https://math.stackexchange.com/questions/2420298/bvps-for-elliptic-pdos-when-do-green-functions-l2-inverses-define-pseudo-d) just over two months ago, and it ...
- 159
2
votes
1
answer
244
views
Smoothness of distributions defined by oscillation integrals
In M.A. Shubin's book Pseudodifferential Operators and Spectral Theory, we have the following statement.
Let $X\subset\mathbb{R}^n$ be an open set, and fix a symbol $a\in S_{\varrho,\delta}^m(X\...
- 1,247
2
votes
1
answer
260
views
Metric on the phase space
I am studying PDEs whose symbols satisfy
\begin{equation}
|\partial^\alpha_\xi\partial^\beta_xp(x,\xi)| \lesssim M(x,\xi)\Psi(x,\xi)^{-|\alpha|}\Phi(x,\xi)^{-|\beta|}
\end{equation}
for all multi-...
2
votes
1
answer
473
views
Question on definition of Dirichlet to Neumann operator
Assume $\Omega$ is an open, bounded subset of $\mathbb R^3$ with a
$C^2-$ boundary $\partial \Omega= \Gamma$. For $f \in
H^{1/2}(\Gamma)$, let $F \in H^1(\Omega)$ denote the weak solution of
the ...
- 227
2
votes
1
answer
895
views
Generalized Friedrichs Lemma
Taylor's PUP book on pseudodifferential operators in II.7 has an extension of the pseudodifferential version of Friedrichs' lemma to generalized Friedrichs' mollifiers $J_\epsilon$ on a compact ...
- 233
2
votes
0
answers
67
views
Asking a reference for a fact about nonlocal operators
Let assume that $u$ is smooth enough and $ -\Delta (u \phi) \in L^1(\Omega)$ for any $\phi \in C_c^{\infty}(\Omega)$. Then it easily follows that $ -\Delta u \in L^1_{\mathrm{loc}}(\Omega)$ by ...
- 371
2
votes
0
answers
159
views
Principal symbol of a non-local operator and Atiyah–Singer index formula
I am trying to understand the Atiyah–Singer index formula for pseudo-differential operators. As far as I understood, the Fredholm index of the operator $A$ on a manifold can be computed just from the ...
- 41
2
votes
0
answers
315
views
Support of a microlocal defect measure
I'm trying to complete the proof of the Theorem 6.1 in the notes https://www.math.u-psud.fr/~nb/articles/coursX.pdf, which ensures, under certain conditions, that the support of the microlocal defect ...
- 509
2
votes
1
answer
127
views
Positive form for a homogeneous elliptic pde
I have a pde of the following form:
\begin{align}
&P(x,D)u = f \text{ on } \Omega, \\
&P(x,D) = \sum\limits_{|\alpha|=2m}a_\alpha(x)D^{\alpha},
\end{align}
where one can assume that $f$ ...
- 537
2
votes
0
answers
40
views
Production of $H^s$ singularities in the strictly hyperbolic Cauchy problem
This question is a spin-off from Hyperbolic PDEs - Proof that the restriction of a locally $H^s$ solution to a spacelike hypersurface is locally in $H^s$ as I am trying to find a solution without ...
- 503
2
votes
0
answers
240
views
Proof of Taylor's Schwartz kernel estimate of pseudodifferential operators
I am interested in the proof of the following result which gives an estimate on the Schwartz Kernel of a $\Psi$DO. There is one aspect the proof that is not clear to me which I would like to ask the ...
- 53
2
votes
0
answers
188
views
Hypoelliptic pseudodifferential operators and Fredholm equations?
I read here
the following:
The parametrix is a useful concept in the study of elliptic
differential operators and, more generally, of hypoelliptic
pseudodifferential operators with variable ...
- 383
1
vote
1
answer
378
views
Easy Garding Inequality
Easy Garding Inequality states that if $a=a(x,\xi)$ is a symbol in $S=\{a\in C^{\infty}||\partial_{\alpha}a|<C_{\alpha} \hspace{2mm} \forall \alpha\}$ with $a\geq \gamma >0 $ on $\mathbb{R}^{2n}$...
- 4,135
1
vote
1
answer
193
views
Reference for singular integral operators such as $(-\Delta)^{-1}$ or $\nabla(-\Delta)^{-1}$
I'm currently working on understanding certain mean-field limits in kinetic theory, and the equations I'm working with are usually of the form
$$\partial_t f +v\cdot\nabla_x f \pm c\nabla(-\Delta)^{-1}...
- 1,247
1
vote
0
answers
97
views
Oscillatory integrals and regularity
Let $U\subset\mathbb{R}^{d}$ be open and $N\in\mathbb{N}$. Furthermore, let $a\in\mathcal{S}^{m}_{\rho,\sigma}(U\times\mathbb{R}^{N})$ be a symbol and $\Phi\in C^{\infty}(U\times (\mathbb{R}^{N}\...
- 1,171
1
vote
0
answers
323
views
Does Morrey's inequality contextually relate to Rellic-Kondrachov compactness?
I have been reflecting on this question, and want to share my thinking thus far. I'd be grateful for the community's inputs.
We refer to Morrey's inequality, Theorem 4 on pp 266 of Evan's book on PDE, ...