The tag has no usage guidance.

learn more… | top users | synonyms

35
votes
8answers
4k 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 ...
1
vote
0answers
47 views

Domain of operator

Let be $\lambda\in C^{*}$. Consider the following operator: $ T_{\lambda}=-\Delta_{R^{2}}++\frac{\lambda^{2} }{4} (x^{2}+y^{2})+i\lambda N$, where $N=(x \frac{d }{dy} -y \frac{d }{dx})$ , ...
4
votes
0answers
140 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 ...
9
votes
3answers
2k 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: $\...
0
votes
0answers
21 views

how can we extend this result [duplicate]

Let $T_{a},a\in C$ be a closed operator defined on $D$ subspace of $L^{2}(R)$ onto $L^{2}(R)$ $(T_{a}: D\rightarrow L^{2}(R) )$ with $D$ contains a Schawrz space $S$ $\Big<\psi,T_{a}\varphi\...
4
votes
2answers
109 views

The square root of Laplacian with nonconstant coefficent

I am still a newbie to $\Psi$DO-Operators. As far as i understood, one can easily compute the square root of the Laplace operator $\Delta$ by $$(-\Delta)^{1/2} \ u=\mathcal{F}^{-1}(\|\xi\| \widehat{u}...
1
vote
1answer
76 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}$...
2
votes
0answers
49 views

Order of metaplectic operator

I have a weak background on this subject. Suppose $S$ be a $2m \times 2m$ symplectic matrix of order $n$. Suppose $W_S$ be the corresponding metaplectic operator on $\mathcal{S}(\mathbb{R}^m)$, the ...
15
votes
1answer
257 views

What is the significance of Hochschild homology of pseudo-differential operators?

I want to ask what is the motivation for people to compute the Hochschild homology for the algebra of pseudo-differential operators on a given manifold. While surveying the literature, it seems much ...
2
votes
0answers
32 views

Show that a very regular kernel $k(x,y)$ has operator $K : \mathcal{E}'(\Omega) \to \mathcal{D}'(\Omega)$ which is pseudo-local

I am reading Francois Treves' Introduction to pseduodifferential and Fourier integral operators, vol. I. I am having trouble understanding the proof of Lemma 2.1, which is stated as follows. Let $\...
5
votes
1answer
168 views

What is a good reference for conormal distributions?

May I humblely ask what is a good reference for conormal distributions (for student with some rudimentary pseudo-differential operator background)? I heard from my advisor that it is useful in index ...
5
votes
0answers
66 views

Do pseudo-differential operators preserve smoothness without compact support assumption?

I've been reading Lawson's book, Spin Geometry recently. In this book, a pseudo-differential operator is defined as a linear map on Schwartz space $P\colon \mathcal{S} \longrightarrow \mathcal{S} $ by ...
4
votes
1answer
88 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 ...
4
votes
2answers
121 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\...
6
votes
3answers
318 views

Characteristic Variety of the Principal Symbol solves PDE system?

In the study of partial differential equations, it is often considered enough to analyze the principal symbols and their characteristic variety (see for example, http://www.sciencedirect.com/science/...
2
votes
1answer
303 views

Pseudo-differential evolution equation

I'm looking for results (or some ideas) on the following kind of pseudo-differential evolution equation: $$ \frac{\partial u(t,x)}{\partial t} = \int_{-\infty}^{t} B(t-s,x)\, A(x,D_{x})u(s,x)\,ds \; ;...
2
votes
0answers
65 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 ...
4
votes
2answers
163 views

Differential structures and K-homology groups

What is an example of a (compact) manifold, which has two non-equivalent differential structures such that the K-homology groups are non-isomorphic? If no such example exists, i.e. "K-homology does ...
1
vote
1answer
116 views

Schwartz kernel

Up on Schwartz kernel theorem we know that the kernel of an integral operator belongs to distribution space S'(R^n). Moreover, we know that the kernel K is $C^{\infty}$ off diagonal in $\mathbb{R}^n \...
1
vote
0answers
113 views

Looking for some “nontrivial” examples of pseudodifferential operators/symbols

I'm reading up on $\Psi DO$'s and trying to find some examples of symbols that are not quite so trivial. Obviously, the first example of a symbol that most people talk about is just a polynomial in $\...
2
votes
1answer
68 views

Locality of homogeneous pseudo-differential operator

Let $P$ be a polynomial in several variables, and let $P(D)$ be the corresponding differential operator. Obviously, $P(D)$ is a local operator, in the sense that I need only to know the function $u$ ...
9
votes
0answers
230 views

Does hypoellipticity imply the existence of a parametrix?

Let $M$ be a smooth manifold, like $\mathbb{R}^n$ for instance. The existence of a parametrix for an operator $P$ on $C^\infty(M)$ in any reasonable pseudodifferential calculus implies that $P$ is ...
1
vote
0answers
48 views

Equivalence of fractional power of second-order positive differential operator as pseudodifferential operator and a fractional definition

Let $A$ be a second-order differential operator on a closed manifold $M$ satisfying $$(Au,u) \geq 0$$ with $A=-\Delta$ the Laplace-Beltrami the model case. One can define for $s \in (0,1)$ the ...
2
votes
1answer
153 views

Elliptic regularity of second order pseudos

Let $M$ be a compact manifold. Choose a point $q \in M$. Let $P$ be a second order positive self-adjoint pseudodifferential operator such that $\text{Spec}(P) \subset (0, \infty)$. Also, we know that ...
1
vote
1answer
143 views

Ask the validity of Tauberian lemma in Sogge's book

In C.D.Sogge's Fourier Integrals in Classical Analysis pp.128-129, he proved Lemma4.2.3(Tauberian Lemma): Lemma. Let$g(\lambda)$ be a piece-wise continuous tempered function of $\mathbb{R}$. Assume ...
6
votes
2answers
237 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 ...
2
votes
1answer
75 views

Compactness of Weyl pseudodifferential operators with integrable symbols

Given a tempered distribution $s \in \mathcal{S}'(\mathbb{R}^{2d})$, define the Weyl pseudodifferential operator of symbol $s$ as the mapping $\mathcal{S}(\mathbb{R}^{d}) \rightarrow \mathcal{S}'(\...
1
vote
0answers
39 views

Recursive formula for symbol of resolvent on noncompact manifold

On a compact Riemannian manifold $(M,g)$ without boundary it was shown (by R. Seeley) how to define the complex power of an elliptic classical pseudodifferential operator $A$ of positive order $m$: ...
3
votes
1answer
246 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 ...
19
votes
6answers
4k 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 ...
4
votes
1answer
116 views

Abstract stationary phase

I have been reading Semi-classical analysis by Guillemin and Sternberg. At the end of Chapter 8, they gave an abstract version of the stationary phase method. I have a hard time figuring out what $a_i$...
3
votes
1answer
231 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 ...
11
votes
1answer
363 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 ...
13
votes
4answers
1k views

Green's operator of elliptic differential operator

Let $P:\Gamma(E)\rightarrow\Gamma(F)$ be an elliptic partial differential operator, with index $=0$ and closed image of codimension $=1$, between spaces $\Gamma(E)$ and $\Gamma(F)$ of smooth sections ...
3
votes
1answer
153 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 ...
2
votes
1answer
104 views

Paraproduct and Fourier series

I know that it's possible to define the paraproduct $T_a u$ when $a=a(x)\in L^{\infty}$ and $u\in H^s$ and in this case $T_a u\in H^s$. Remark: $T_a u$ is the pseudo differential operator with symbol ...
3
votes
1answer
200 views

Extension of pseudodifferential operators

I'm very sorry if this is the wrong place to ask this question, but I've asked it on StackExchange and received no answers. ( http://math.stackexchange.com/questions/813063/convergence-to-a-schwartz-...
8
votes
3answers
468 views

How to define the square root of $1-\Delta $?

If $M$ is a Riemannian manifold with $\Delta $ its Laplacian, how can we define $(1-\Delta)^{1/2}$? The book I am reading says that $(1-\Delta)^{1/2}$ is an invertible first-order pseudo-differential ...
2
votes
0answers
124 views

Extension of a bounded operator on manifold

I have a problem, which is quite urgent, as I have only today discovered an error in a proof i had in a thesis which is to be handed in tomorrow. The problem, if stated in as full generality as ...
3
votes
0answers
83 views

Closure of pseudodifferential operators of order 0 on compact manifolds

Let $M$ be a compact manifold. If we have a pseudodifferential operator $P$ of order $0$ on $M$, then $P$ is pseudolocal, i.e., every commutator $[f,P]$ with a continuous function $f \in C(M)$ is a ...
1
vote
1answer
85 views

Estimate the analytical wavefront set $WF_A(u)$ given $WF_A(A_K u)$

Let $X$ and $Y$ be two real-analytic manifolds and $Z \subset X \times Y$ be a real-analytic embedded closed submanifold. Suppose now that $K \in \mathscr D'(X \times Y)$ is a distribution conormal to ...
4
votes
1answer
197 views

Practical way to check whether a distribution is conormal

Let $X$ be a $C^\infty$-manifold, $Y$ be its $C^\infty$-submanifold. Hörmander defines the set $I^m(X,Y)$ of conormal distributions as the set of all $u \in \mathscr D'(X)$ such that $$ L_1 \...
3
votes
1answer
123 views

Support-preserving pseudodifferential operators

Let $A = F^{-1}\sigma F$ be a pseudodifferential operator acting on functions on $\mathbb R^n$, where $F$, $F^{-1}$ are the direct and inverse Fourier transforms respectively and $\sigma$ is the ...
21
votes
2answers
854 views

Applications of Atiyah-Singer using pseudodifferential operators

Though the Atiyah-Singer index theorem holds for pseudodifferential operators, all the applications of the index theorem I know of only need it for Dirac-type operators. I know that pseudodifferential ...
4
votes
6answers
786 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 $...
2
votes
0answers
215 views

Schwartz kernel of a pseudodifferential operator with singular symbols

If we have a smooth symbol $r(x,\xi)$ of order $d$ the corresponding pseudodifferential operator $P$ is integral operator with kernel given by $$K(x,y)=\int_{\mathbb{R}^n}e^{i(x-y)\cdot \xi} r(x,\xi)...
10
votes
1answer
496 views

Atiyah-Singer for pseudodifferential operators via heat kernel?

The Atiyah-Singer theorem for Dirac-type operators can be proved using the heat kernel and this proof has an advantage over the proof via K-theory, because the first is local but the latter is not. ...
8
votes
2answers
705 views

Why take 'complex powers' of pseudo-differential operators?

Given a pseudo-differential operator $P$ of order zero, Seeley showed that the holomorphic family of operators $\lbrace P^{z} : z\in \mathbb{C} \rbrace$ of all complex powers is contained in the ...
6
votes
1answer
370 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 $...
7
votes
2answers
1k 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}...