Questions tagged [pseudo-differential-operators]

This tag is for questions regarding to the Pseudo-differential operator, acting on a space of functions on a differentiable manifold, that can locally be described by definite rules using a certain function. It satisfies estimates for the derivatives analogous to the estimates for derivatives of polynomials, which are symbols of differential operators.

Filter by
Sorted by
Tagged with
-4 votes
0 answers
95 views

Lawson and Michelsohn's Spin Geometry book - pieces that do not fit

This is from Lawson and Michelsohn's book "Spin Geometry", there is a problem here, there are pieces that do not fit. In (4.3) and (4.4) shows how to construct the operator $Q$ from $P$ and ...
user avatar
  • 101
0 votes
0 answers
27 views

Reference to master parametrix

I am requestion a reference to master parametix in PDEs, pseudo-differential operators. Any recomandations please.
user avatar
  • 388
3 votes
0 answers
109 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 ...
user avatar
  • 1,779
2 votes
2 answers
225 views

Reference for commutator estimate

I'm interested in Sobolev space estimates for commutators involving a pseudodifferential operator and a Fourier multiplier. More specifically, suppose $p = p(x,\xi) \in S_{1,0}^{m_1}$ and let $q = q(\...
user avatar
  • 473
3 votes
0 answers
111 views

Does convolution by a Schwartz function preserve symbol classes?

I am working on a problem involving pseudodifferential operators, and I need a property of the operator "convolution by a Schwartz function". I apologize in advance if the question is ...
user avatar
  • 363
3 votes
1 answer
121 views

Positivity of an operator on a compact subset of a manifold

Let $E$ and $F$ be two vector bundles over manifold $X$. Let $P:\Gamma(E)\to \Gamma(F)$ be a self-adjoint differential operator over $X$. Define inner product on the spaces $\Gamma(E)$ of smooth ...
user avatar
0 votes
0 answers
52 views

A question about parametrix

$\DeclareMathOperator\id{id}$Let $D$ be a differential operator, and $Q$ a parametrix of $D$, i.e., $$ QD=\id-S_0 ,\qquad DQ=\id-S_1$$ where $S_0$, $S_1$ are operators with smooth kernels. A special ...
user avatar
3 votes
0 answers
82 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_{\...
user avatar
0 votes
0 answers
35 views

Planck function associated to the metric on the phase space

Let $g_X,X\in\mathbb{R}^{2n}$ be a Riemannian metric and let $Q$ be the associated quadratic form. For the uncertainty principle to hold we need \begin{equation} \tag{1} \forall X \in \mathbb{R}^{2n}, ...
user avatar
2 votes
0 answers
57 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 ...
user avatar
  • 339
0 votes
0 answers
237 views

Holder continuity relative to Rellic-Kondrachov compactness via the nonlinear Aronsson operator

Connected to the question, Does Morrey's inequality contextually relate to Rellic-Kondrachov compactness? An analysis of the well-known nonlinear Aronsson operator gives $C^{(1, \frac{1}{3})}$ ...
user avatar
1 vote
0 answers
281 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, ...
user avatar
3 votes
0 answers
176 views

Sobolev spaces and spectral theorem

Consider a generalised harmonic oscillator of the form $$ A(x,D_x) = \langle x \rangle (1-\Delta_x)\langle x \rangle, \quad x \in \mathbb{R}^n, $$ where $\langle x \rangle = (1+|x|^2)^{1/2}.$ The ...
user avatar
1 vote
0 answers
43 views

Regularity and existence linear parabolic fractional equation

\begin{equation} \begin{cases} a(x, t)u_t+(-\Delta)^{\sigma}u+b(x,t)u=f(x,t), & \text{in } \mathbb{R}^n \times [0, T) \\ u(x,0)=u_0(x), & \text{in } \mathbb{R}^n \end{cases} \end{...
user avatar
  • 11
0 votes
1 answer
151 views

Metric / strong slope restriction of function on unit ball in $\mathbb R^m$

Diclaimer. I'm not sure this is the right venue for this question, but I'll give it a try Definition [Strong / metric slope]. Given a complete metric space $(M,d)$ and a function $f:M \to (-\infty,+\...
user avatar
  • 5,580
3 votes
0 answers
53 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 ...
user avatar
  • 445
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 ...
user avatar
1 vote
0 answers
64 views

Well-posedness for a wave equation with degenerate coefficients

Let $\Omega$ be a bounded domain with smooth boundary and consider the following initial boundary value problem: \begin{equation}\label{pf0} \begin{aligned} \begin{cases} t\partial_t(t\partial_t u)-\...
user avatar
  • 2,858
4 votes
0 answers
95 views

Pseudodifferential Operators and Functional Calculus

I hope this is not too naive a question for MO. I've been taking a mathematical physics course, and was shown how operators like $\sqrt{1-\Delta}$ could be defined by taking multiplication operators ...
user avatar
  • 313
1 vote
0 answers
199 views

History of microlocal analysis

Was the study of pseudo-differential operators the basis for the birth of microlocal analysis? I'm trying to find out how this branch of analysis was developed...
user avatar
  • 97
1 vote
0 answers
78 views

Pseudo-differential operators and differetial operator

Hello I am totally new to Pseudo-differential operators and I’m wondering if a differential operator is a pseudo-differential operator. So, I want to show , using the definition of the symbol given ...
user avatar
  • 97
1 vote
1 answer
122 views

Fourier transform for $H^2(\mathbb{R}^N)$, $N\geq 5$

How i can prove that if $u\in H^2(\mathbb{R}^N)$ then $u\in \mathcal{F}(L^{p^*}(\mathbb{R}^N))$, where $1/p+1/{p^*}=1,$ $2\leq p<2N/(N-4)$?
user avatar
  • 67
2 votes
0 answers
125 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 ...
user avatar
1 vote
1 answer
148 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}...
user avatar
  • 1,167
3 votes
3 answers
493 views

Question about the regularity of fractional Heat equation

Let $\Omega$ be a bounded smooth domain of $\mathbb{R}^n$, $0<s<1$ and $(-\Delta)^s$ denotes the restricted fractional Laplacian. Let consider the following fractional Heat equation: ‎$‎‎$‎ ‎\...
user avatar
  • 339
3 votes
0 answers
66 views

Pseudodifferential operator associated to a self-adjoint extension of a symmetric operator on an incomplete manifold

Let $D$ be the Dirac operator acting on a spinor bundle $S$ over a complete Riemannian manifold $M$. Then $D$ is an essentially self-adjoint operator on $L^2(S)$. Suppose there is a compact subset $K\...
user avatar
  • 1,779
1 vote
1 answer
576 views

Kernel of the composition of operators

Let $X \subset \mathbb{R}^{n}$, $Y \subset \mathbb{R}^{m}$, and $Z \subset \mathbb{R}^{p}$ be open subsets, and let $K_P \in C_0^\infty(X \times Y)$ and $K_Q \in C_0^{\infty}(Y \times Z)$. Then, $K_P$ ...
user avatar
1 vote
1 answer
98 views

Extension of pseudodifferential operators to Sobolev spaces

Let $\Omega$ be a open subset of $\mathbb{R}^{d}$ and define \begin{eqnarray*} \mathcal{S}^m(\Omega ) &=&\left\{ \begin{array}{c} a\in C^\infty(\Omega \times \mathbb{R}^{d}): \hbox{for all ...
user avatar
1 vote
0 answers
42 views

The order of regularity improving for elliptic operator with rough coefficients

Let $\frac12<\alpha<1$ and let $L(x)$ be a first order overdetermined elliptic operator with coefficients in $C^\alpha$. We means $L(x)=\sum_{j=1}^nA_j(x)\partial_j$ where $A_j:\mathbb R^n\to\...
user avatar
  • 619
2 votes
1 answer
218 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-...
user avatar
2 votes
1 answer
196 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 ...
user avatar
7 votes
1 answer
882 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 ...
user avatar
  • 519
1 vote
0 answers
71 views

PDE on an open ball with prescribed value on some open subsets

Suppose that we have a $r$-order differential operator $L:C^r(B^n, \mathbb{R})\to C^0(B^n,\mathbb{R})$ where $B^n $ is the open unitary ball in $\mathbb{R}^n$ (we can assume for simplicity that it ...
user avatar
2 votes
2 answers
211 views

Self-adjoint extensions for pseudo-differential operators

The class $\Sigma^1$ of symbols on $\mathbb R^{2n}$ is made with $C^\infty$ functions $a$ of $X=(x,\xi)\in \mathbb R^n\times\mathbb R^n$ such that $$ \vert\partial_X^\alpha a\vert\le C_\alpha(1+\vert ...
user avatar
  • 13.2k
3 votes
0 answers
78 views

Conformal manifolds produce Fredholm modules-pseudodifferential operator

This question is a continuation of the discussion which can be found here. From the exterior derivative one constructs an operator $S$ with the property that the graph of $S$ is the (closure of) the ...
user avatar
  • 8,660
3 votes
0 answers
114 views

Dixmier traces, Wodzicki residue and residues of zeta functions

Let $M$ be an $n$ dimensional closed manifold and consider an elliptic, pseudodifferential operator $P$ of order $-n$. Here are some facts which I had learned so far: 1. There exists a density defined ...
user avatar
  • 8,660
0 votes
1 answer
118 views

Associating a pseudo-differential operator to the symbol in the SG setting

We all know that given a symbol $a(x,\xi) \in S^{\mu,\rho}(\mathbb{R}^n,\mathbb{R}^n)$, a pseudo-differential operator can be defined as \begin{equation} Op(a)u(x)=(2\pi)^{-n}\int \int e^{i(x-x')\cdot ...
user avatar
5 votes
0 answers
130 views

Extension of elliptic complex to an exact sequence

This questions concerns elliptic complexes and is closely related to Green's operator of elliptic differential operator. Let $T_f:\Gamma(E)\rightarrow\Gamma(F)$ be an elliptic partial ...
user avatar
  • 5,122
3 votes
0 answers
109 views

Examples of unbounded pseudo-differential operators in $L^{\infty}$

During my graduate studies I've been told that pseudo-differential operators with symbols in $S^0=S^0_{1,0}$ (the simplest class) are bounded $L^2 \to L^2$, and also $L^p \to L^p$ for all $p \in (1, \...
user avatar
1 vote
0 answers
252 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 ...
user avatar
0 votes
1 answer
39 views

References for the study of parameter dependent symbols $s(t,x,\xi)$ having low regularity in parameter($t$)

I am currently studying parameter dependent symbols, $s(t,x,\xi)$, where $t\in [0,1],x\in \Omega, \xi \in \mathbb{R^n}$. I wanted to know how the low regularity (for example, $s$ is just continuous w....
user avatar
1 vote
0 answers
96 views

Integrability, quantum ergodicity, and observable algebra

Consider (for simplicity and definiteness) the Laplacian on a compact Riemannian manifold $M$. Let $\phi_k$, $E_k$ be its eigenfunctions and eigenvalues in increasing order. Quantum ergodicity is ...
user avatar
  • 543
3 votes
0 answers
99 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$. ...
user avatar
  • 1,779
5 votes
1 answer
301 views

Is this a pseudodifferential operator?

Let $M$ be a non-compact manifold and $D$ a first-order self-adjoint elliptic differential operator on $M$. Then is the bounded operator $$A:=\sqrt{(D^2+1)^{-1}}:L^2(M)\rightarrow H^1(M)$$ a ...
user avatar
  • 1,779
1 vote
1 answer
133 views

Inverse of holomorphic elliptic differential operator

Consider the Beltrami-Laplacian $\Delta$ on $\mathbb{S}^n$ with standard metric. One can define a family of operators $A(z):H^1(\mathbb{S}^n)\to H^1(\mathbb{S}^n)$ as the following $$A(z)=\Delta+z$$ ...
user avatar
  • 553
2 votes
1 answer
300 views

Barry Simon's decay of eigenfunctions for pseudo differential operators

In his celebrated paper on Schrödinger semigroups, Barry Simon proves the following result. Let $V_{-} \in K_\nu$, $V_{+} \in K_\nu^{\mathrm{loc}}$ and suppose that $Hu=Eu$ where $E$ is the ...
user avatar
  • 419
1 vote
1 answer
94 views

Expressing a matrix operator as a sum of an identity and a compact operator

My problem concerns with the unique solvability of a linear system of integral equations. In my problem, as I was able to write the system in matrix form: $$ M \begin{align} \begin{bmatrix} ...
user avatar
2 votes
1 answer
91 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$ ...
user avatar
1 vote
0 answers
53 views

Bound of analytic torsion for a line bundle

Let $E\rightarrow X$ be a line bundle over a compact Riemann surface. Let $\Delta_{E}$ be the Dolbeault Laplacian $\Delta_{\overline{\partial}}$ extended to sections of $E$. Let $g_1, g_2$ be two ...
user avatar
  • 5,911
4 votes
0 answers
202 views

One-parameter unitary group preserving invariant domain of infinitesimal generator

Let $\mathcal{H}$ be a separable Hilbert space (e.g. $L^{2}(\mathbb{R}^{d}))$, and let $\mathcal{D}_{1}\subset\mathcal{H}$ be a dense subspace (e.g. $\mathcal{S}(\mathbb{R}^{d})$). Suppose that an ...
user avatar