Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [micro-local-analysis]

The tag has no usage guidance.

2
votes
0answers
41 views

Entire analytic functions with entire analytic Fourier transform, and corresponding distributions

I'm interested in the Fourier transform on a space of distributions that includes more than the usual tempered distributions, and in particular allows for $\delta$-distributions supported at complex ...
4
votes
0answers
155 views

How to visualize the Microsupport of a Sheaf?

I am looking through Persistent homology and microlocal sheaf theory to learn a bit on barcodes. They are require the notion of a microsupport of a sheaf, looks like it could be a rather concrete ...
0
votes
1answer
62 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 ...
9
votes
2answers
213 views

Trace on $\mathcal{S}(\mathbb{R}^k) \mathbin{\hat{\otimes}_\pi} \mathcal{S}'(\mathbb{R}^k)$

I asked this question on Math StackExchange, but it did not receive an answer, despite my offering a bounty to attract attention. I am unsure whether it is appropriate for this venue, but I thought ...
4
votes
1answer
180 views

Wavefront set and Duhamel's principle

Consider the Cauchy problem: $$ \frac{\partial u}{\partial t} + \mathrm{i}\mkern1mu A(x,D_x) u = f \quad 0< t < T; \qquad u = u_0 \quad \text{when}\; t = 0, $$ where $A$ has real principal ...
3
votes
1answer
90 views

Interesting (non) examples of singular support

I'm trying to better understand singular support of sheaves on smooth manifolds---to this end: What are examples of conical subsets of $T^*X$ that cannot arise as the singular support of a sheaf on $...
1
vote
0answers
129 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 ...
1
vote
0answers
65 views

Propagation of singularities and the Schrodinger equation

I always thought that the propagation of singularities theorem by Hörmander says (on $\mathbb R^n$ for a classical symbol $p(x,\xi)=\xi^2+V(x)$) that for a Schrödinger equation $$(i \partial_t-p(x,D))...
4
votes
0answers
113 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 ...
3
votes
0answers
256 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 ...
1
vote
0answers
30 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 ...
10
votes
1answer
273 views

Is every endomorphism of the sheaf of holomorphic functions on a disk a differential operator?

Let $D= \{z\in \mathbb{C}:|z| < 1\}$ be the unit disk. And consider the sheaf of holomorphic functions $\mathcal{O}_{D}$. Question (?) : Is there a sheaf endomorphisms $\phi : \mathcal{O}_D \to \...
0
votes
0answers
47 views

Proving a particular set is total

Let $\Omega \subset \subset \mathbb{R}^2$ and suppose that $b(x^1,x^2)$ is a smooth function. Consider the uncountable set $\mathbb{A}=\{ ((x^1)^k \xi^k + b(x^1,x^2))e^{i\xi x^2}\} \cup \{1\}$ where $...
4
votes
2answers
223 views

Composition of a smoothing operator with an $L^2$-bounded operator, non-compact Riemannian manifold

I'm trying to close in on a definitive answer to my own question BVPs for elliptic PDOs: When do Green functions ($L^2$ inverses) define pseudo-differential operators in the interior?, and think I ...
11
votes
4answers
595 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 ...
1
vote
1answer
185 views

Microlocal proof of Wigner semicircle theorem?

Something I really enjoy about Tao's writing is that he proves the same theorem over and over. While I complain a bit sometimes about clarity, this is a heuristic that I very much believe in. This ...
1
vote
0answers
90 views

Interpretation of Smoothing Operators as $\Psi$DO's

In most of the computations I've seen involving pseudodifferential operators (referred to as $\Psi$DO's from now on) we do not have true equality. Instead we often only have equivalence of operators, ...
3
votes
1answer
188 views

Characterisation of the wavefront set

I am totally new to microlocal analysis, and have been studying Jared Wunsch's notes. I have been puzzling over the properties of the wavefront set. Let $X$ be a compact Riemannian manifold, and $\...
1
vote
1answer
400 views

Schwartz kernel theorem

I would like to understand how the Schwartz kernel theorem works for some more difficult cases and therefore would like to discuss an example from scratch: Let the Dirichlet Laplacian on the half-...
1
vote
0answers
35 views

Show that if $a$ belongs to the symbol class $S^m_{\rho , \delta}$ for $\rho > 1$, then in fact $a \in S^{-\infty}$

I'm trying to learn more tools from microlocal analysis by reading Grigis and Sjostrand's Microlocal analysis for differential operators. In the first chapter, they define the standard $C^\infty$ ...
20
votes
7answers
2k views

Applications of Microlocal Analysis?

What examples are there of striking applications of the ideas of Microlocal Analysis? Ideally i'm looking for specific results in any of the relevant fields (PDE, algebraic/differential geometry/...
1
vote
0answers
47 views

Normal form of Principal type $\Psi$DO's

Suppose we have a pseudo differential operator of principal type with a complex symbol and such that the poisson bracket of the real and imaginary parts on the characteristic set is non-negative.I ...
3
votes
0answers
184 views

Inverse of pseudo differential operator

Let $\operatorname{Op}_h(x,D)(a)$ denote the Weyl-quantisation of a symbol $a$. Is there an explicit way to invert this pseudo-differential operator in an asymptotic series? By this I mean, can we ...
3
votes
1answer
225 views

Help understand a calculation involving RHom of sheaves on manifolds

I am reading a paper and there is some computation of RHom of sheaves that I don't understand. I hope this is the right place to ask. It is this paper, example 3.10 , page 25 arxiv.org/pdf/1005.1517v4....
1
vote
0answers
22 views

Sufficient conditions for a conormal vector to be regular for an orbit stratification

Let a complex reductive group $G$ act on a $\mathbb{C}^{n}$ with finitely many orbits. Let $\mathcal{S}$ be the stratification of $\mathbb{C}^{n}$ according to these orbits. Let $(x,\xi) \in T_S^{*}\...
2
votes
1answer
123 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 $\...
3
votes
0answers
205 views

Intuition behind the Duistermaat-Guillemin version of Weyl's law

The theorem in question (see this paper), after a modification by Ivrii (see this paper) states the following: Let $(M, g)$ be a compact Riemannian manifold of dimension $n \geq 2$. Assume that the ...
6
votes
3answers
675 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
0answers
70 views

Combining microlocal Helgason's support and Holmgren's theorem to prove injectivity of limited-angle Radon transform

This questions is slightly related to Kashiwara's watermelon theorem and Microlocal version of Helgason's (support) and Holmgren's theorems, in which I asked for some references. Now I ...
3
votes
1answer
300 views

Wave front set from the FBI or Segal-Bergman transform (and a motivation)

In the André Martinez's notes "Introduction to microlocal and semiclassical analysis" the Wave Front Set is defined as the complement of the set of points having neighborhoods where the FBI transform ...
3
votes
1answer
367 views

Kashiwara's watermelon theorem and Microlocal version of Helgason's (support) and Holmgren's theorems

I would like to find good references for the theorems mentioned above in the title. I am reading chapter VIII of Hörmander's classic, but I wonder whether there is something more up-to-date. My ...
1
vote
1answer
169 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 ...
2
votes
0answers
98 views

Resolvent estimate of hyperbolic Laplacian [closed]

Consider the Laplacian $-\Delta$ on the hyperbolic space $\mathbb{H}^n$. For $\lambda \in \mathbb{C} \setminus [0, \infty)$, do we have resolvent estimates of the form $$\Vert (-\Delta - \lambda I)^{-...
2
votes
1answer
367 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 \; ;...
6
votes
2answers
3k views

Fourier transform of compactly supported distribution is smooth

My advisor made the comment that if $u\in \mathcal{E}'$ is a compactly supported distribution, then $\hat{u}(\xi)\in C^{\infty}(\mathbb{R}^n)$ is actually a smooth function (not merely a distribution ...
1
vote
0answers
164 views

Exact Functors from Perverse Sheaves

Pretty sure this is a simple question, but there's something I'm missing here. For context, I'm reading 'An Elementary Construction of Perverse Sheaves' by MacPherson and Vilonen. A key aspect of the ...
3
votes
1answer
481 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 ...
2
votes
2answers
227 views

Some Questions from Reading on Wave Front Set from Hormander's Linear PDE Vol. 1

In Hormander's Linear PDE Vol. 1 (pg 252-253, before the definition of wave front set is introduced), Lemma $8.1.1$ says that if $\phi \in C_{0}^{\infty}$ and $v \in \mathcal{E}^{\prime}$, then $\...
2
votes
0answers
120 views

$D^{\infty}$ modules on analytic spaces

In Mebkhout's paper on Local Cohomology of Analytic Spaces, the following theorem is stated: Let $X$ be a complex smooth manifold and $Y$ is an analytic subspace of $X$. Then $\mathcal{D}_X^{\infty}\...
3
votes
1answer
220 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
0answers
171 views

geometric irregularities in pde's

The following question is intended for a person more acquainted with the works of Yves Laurent. see: http://archive.numdam.org/article/ASENS_1987_4_20_3_391_0.pdf (French) http://link.springer.com/...
1
vote
1answer
131 views

wavefront is a coisotropic

I'm thinking about the following example: Let $u_k:=e^{i(kx_1+k^2x_2)}$, where $k\in\mathbb{N}$ and $x_1,x_2\in\mathbb{R}$. Then for the sequence $h_k:=1/(k\sqrt{1+k^2})$ ($h_k\rightarrow0$ as $k\...
4
votes
1answer
169 views

Real-analytic variant of theorem 4.2.5 of Duistermaat's “FIO”, 1996

Theorem 4.2.5 of Duistermaat's "Fourier Integral Operators", 1996, states: Let $A \in I^m(X,Y,C)$ be an elliptic Fourier Integral Operator of order $m$, associated to a bijective canonical ...
0
votes
1answer
245 views

semiclassical principal symbol

What is the semiclassical principal symbol $\sigma_h$ of the operator $h^2\Delta-1$ (here $\Delta=-\sum_j\partial^{2}_{x_j}$)? $h^2\Delta-1$ is a second order semiclassical partial differential ...
1
vote
1answer
105 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 ...
2
votes
1answer
155 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 ...
4
votes
1answer
194 views

Interpretation of the integral “with respect to a plane wave” in terms of Radon transform

This question might have a formulation in higher dimensions, but for now let's deal with the 2 dimensional Radon transform: $\newcommand{\R}{\mathbb{R}}$ $$ Rf(\varphi,s)=\int_{-\infty}^\infty f(s\...
4
votes
0answers
176 views

What's a good resource for Hormander symbols of type (1/2, 1/2)?

I'm currently working with some pseudodifferential operators of Hormander class $L^{m}_{\frac{1}{2},\frac{1}{2}}$ and unfortunately many of the usual tools break down, due to difficulties with their ...
2
votes
0answers
179 views

A microlocal representation for quantum operator dynamics

In Maciej Zworski's book $\textit{Semiclassical Analysis}$, an important step in proving $L^p$ bounds on quasimodes is deriving a microlocal oscillatory integral representation formula for families of ...
4
votes
1answer
286 views

C^\infty versus semiclassical wavefront sets

Zworski states that if $u$ is a compactly supported distribution, independent of the semiclassical parameter $h$, then the relationship between the $C^\infty$ and semiclassical wavefront sets of $u$ ...