# Questions tagged [micro-local-analysis]

The micro-local-analysis tag has no usage guidance.

**2**

votes

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**4**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**7**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**3**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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$ ...