The micro-local-analysis tag has no wiki summary.

**6**

votes

**2**answers

1k 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: ...

**6**

votes

**1**answer

636 views

### Pseudo-differential operators which are independent of lower order perturbations

In the area of pseudo-differential operators, we know that for elliptic type or real principal type operators reductions are independent of lower order terms. For example, if $P$ is zeroth order real ...

**6**

votes

**0**answers

215 views

### Non-characteristic maps (ala D-modules)

I am trying to understand a `well known' fact (see Kashiwara'sIntroduction to microlocal analysis page 63, remark 4.8) about non-characteristic morphisms. Here is ...

**5**

votes

**1**answer

320 views

### propagation of singularities & the Schrodinger equation

I've been thinking about the following propagation of singularities result:
Let $X$ be a compact manifold, and let $P$ be a differential operator (of, say, order $m$) on $X$ whose principal symbol ...

**3**

votes

**1**answer

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

**3**

votes

**1**answer

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

**3**

votes

**1**answer

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

**3**

votes

**1**answer

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

**2**

votes

**2**answers

115 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

**1**answer

87 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

121 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)
...

**2**

votes

**0**answers

72 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

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

**2**

votes

**0**answers

74 views

### the relation between a continuous family of distributions and a distribution of 2 variables

Let X,Y be smooth manifolds and let $f:X \to C^{-\infty}(Y)$ be a continuous map, where $ C^{-\infty}(Y)$ is the space of generalized functions on $Y$ equipped with the weak topology. By Schwartz ...

**1**

vote

**1**answer

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

**1**

vote

**1**answer

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

144 views

### Characteristic variety of a D-module along smooth pullback

All varieties are over the complex numbers. Given a smooth variety $X$, write $T^* X$ for its cotangent bundle.
For a morphism of smooth varieties $f: X \to Y$ write $f_{\pi}: T^*Y \times_Y X \to ...

**1**

vote

**0**answers

101 views

### base change for distributions

For distributions on smooth manifolds one can consider the push-forward which is defined for proper maps, and the pull-back which is defined under certain condition on the wave front set see ...

**0**

votes

**1**answer

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

**0**

votes

**1**answer

271 views

### From microlocal to local

Assume $u\in L^2(\mathbb{R}^n)$ and let $(x_0, \xi _0) \in T^\ast \mathbb{R}^n = \mathbb{R}^n_x \times \mathbb{R}^n_\xi $. Assume I can find $a\in C^\infty (T^\ast \mathbb{R}^n)$ which is also bounded ...