Questions tagged [micro-local-analysis]
The micro-local-analysis tag has no usage guidance.
96
questions
1
vote
1
answer
136
views
Hörmander’s propagation of singularities in two variables
I am trying to apply the propagation of singularities theorem to a distribution $u \in D’(M \times M)$ that verifies $Pu = f$, with $P$ a linear differential operator and $f \in D’(M \times M)$, as ...
- 51
0
votes
0
answers
31
views
What is the wavefront set of the characteristic function on a domain with $C^k$ boundary?
Based on Wavefront set of characteristic function of rough set.
Let $\chi_K$ be the function equal to $1$ on $K$ where $K\subset\mathbb{R}^n$ of $C^k$-regularity .
What is $WF(\chi_K)$?
- 101
1
vote
0
answers
75
views
Oscillatory integrals and regularity
Let $U\subset\mathbb{R}^{d}$ be open and $N\in\mathbb{N}$. Furthermore, let $a\in\mathcal{S}^{m}_{\rho,\sigma}(U\times\mathbb{R}^{N})$ be a symbol and $\Phi\in C^{\infty}(U\times (\mathbb{R}^{N}\...
- 701
0
votes
2
answers
170
views
Well-defined distribution and its singular support
Let $f$ be a smooth function on $X$, an open subset of $\mathbb{R}^n$, with $Im(f) \geq 0$. Let us fix an $\epsilon > 0$.
Let $T_{\epsilon} := \frac{1}{f(x)+i\epsilon} $ in $D’(X)$.
Now if we ...
- 51
2
votes
1
answer
124
views
Microlocal approach to definition of product of distributions
My question may be simple to an expert, but I'm not:
Let's consider $u \in C^{s}(\mathbb{R}^d)$ be a Hölder function sor some $s\in [0,1/2)$ which we may take very close to $0$.
Of course, $u^2 \in C^{...
- 479
3
votes
0
answers
30
views
Conditions ensuring that the paraproduct remainder is well-defined
In short, my question is: are there conditions that one can impose on two tempered distributions $u$ and $v$ that will guarantee that the paraproduct remainder $R(u,v)$ is well-defined and is "...
- 593
3
votes
0
answers
147
views
Sharpest version of semiclassical Calderon-Vaillancourt theorem
Let $S$ be the space of symbols defined by $$S:=\{a\in C^{\infty}(T^*\mathbb{R}^d):\forall \alpha,\beta\in\mathbb{Z}^d,\, |\partial_x^{\alpha}\partial_{\xi}^{\beta}a(x,\xi)|\le C_{\alpha\beta}\},$$ ...
- 804
6
votes
0
answers
168
views
Product of distributions under wavefront set condition is zero
Assume $u, v \in \mathcal{D}'(\mathbb{R}^n)$ are distributions with compact support. Denote by $\operatorname{WF}(\bullet) \subset T^*\mathbb{R}^n \setminus 0$ the wavefront set of a distribution $\...
- 501
3
votes
0
answers
95
views
Definition clarification: "regular directed distributions"
(I asked this question on math.stackexchange (see here) but didn't receive any reaction, hence I try it here. If it does not fit within here, just let me know in the comments.)
In the definition of ...
- 701
4
votes
0
answers
63
views
Local energy estimate in a semiclassical regime
Let us consider $h_n=(2n+1)^{-1/2}\to 0$ as $n\to \infty$ be a small parameter, which we just write as $h$ for convenience, and $u_h : \mathbb{R} \to \mathbb{R}$ be functions satisfying $Pu_h=0$ (I ...
- 479
2
votes
0
answers
120
views
Product of Heavisides: calculus vs Fourier transform vs wavefront set
I decided to ask this question here, since I did not get any answer from MSE and perhaps this topic is somewhat far from MSE's topics. I am following the paper here. I am trying to understand how to ...
- 121
2
votes
2
answers
271
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(\...
- 593
0
votes
0
answers
94
views
Confusion about notation
I recently came across the following generalization of the Darboux-Weinstein lemma:
Let $N$ be a manifold endowed with two symplectic forms $\omega_1, \omega_2$, and let $P$ be a compact submanifold ...
- 1
4
votes
0
answers
137
views
What role do semiclassical methods play in the study of Ginzburg--Landau-type equations?
As far as I understand, semiclassical limits are used in quantum mechanics to analyse equations that depend on a small parameter $\hbar$. Apparently studying properties of the PDE as $\hbar \to 0$ ...
- 4,556
3
votes
1
answer
211
views
do hyperfunction solutions always exist?
I have two questions---the second question (which is what I'm really interested in) is a generalization of the first, but I think the first may be more likely to get an answer. I'll be happy with an ...
- 2,991
3
votes
0
answers
117
views
"higher" micro-support
Recall that for a sheaf $F$ on an analytic manifold $X$ the micro-support consists of those $\omega\in T^*X$ for which there exists a $C^1$ function $f$ defined around $\pi(\omega)$ with $f(\pi(\omega)...
- 2,718
19
votes
1
answer
1k
views
Algebraic microlocal analysis and nonlinear PDE
Though originating in the study of linear partial differential equations, microlocal analysis has become an invaluable tool in the study of nonlinear pde. Of particular importance has been the ...
- 593
7
votes
0
answers
468
views
What's the definition of a microlocal sheaf?
I'm slowly becoming familiar with what microsupport of a sheaf is, but none of the references I've seen give a definition of what a microlocal sheaf should be in general.
In this paper of ...
- 181
2
votes
0
answers
59
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 ...
- 359
4
votes
0
answers
119
views
If theorem valid for compactly supported distribution then is it also valid for tempered distribution?
I have seen many theorem which Author wanted to prove for tempered distribution, but without saying anything proves for compactly supported distribution.
For instance,
Theorem: Any $A \in \Psi^{m}$ ...
- 309
0
votes
0
answers
239
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})}$ ...
1
vote
0
answers
291
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, ...
3
votes
0
answers
39
views
Partial hypoellipticity
The question is posed specifically about the wave equation and is related to partial hypoellipticity of the wave equation. Let $\Omega \subset \mathbb R^n$, $M=(0,T)\times \Omega$ and $\Gamma=(0,T)\...
- 3,863
4
votes
0
answers
165
views
Can the existence of geodesics be deduced from properties of the Laplacian?
As I understand it, the semiclassical trace formula in particular relates lengths of geodesics to eigenvalues of the Laplacian.
Is it possible to prove that every compact Riemannian manifold has a ...
- 8,613
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 ...
9
votes
0
answers
341
views
Bernoulli-like polynomials
Let $\psi_0 (x,t)=\frac{te^{xt}}{1-e^{-t}}$. Then
$$\psi_0(0,t)=\frac{t}{1-e^{-t}};$$
$$\psi_0(x,t)=1+\sum_{n=1}^\infty \frac{t^n}{n!} B_n(x)$$
where $B_n$ is a monic polynomial of degree $n.$
Now ...
- 351
5
votes
1
answer
191
views
Why do people study Weyl asymptotics and partial-spectral-projections?
The major focus of the research that my advisor has me doing centers around the idea of asymptotic behavior of partial-spectral-projections on compact manifolds. In a few sentences, here is the ...
- 357
1
vote
0
answers
237
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...
- 97
1
vote
0
answers
98
views
Wave front set and differential operator
A simple result of microlocal analysis would be, if P is a differential operator then $WF(Pu) \subseteq WF(u)$, where WF denotes the wave front set of the distribution.
Can anyone give me an example ...
- 97
4
votes
1
answer
177
views
Distribution boundary value of analytic function and wave front sets
Assume $f(z)$ is analytic in the tube domain $\mathbb R^n\oplus iC$, where $C\subset \mathbb R^n$ is a convex cone. Under the assumption $|f(x+iy)|\leq 1/|y|^k$, we know by a Theorem of Martineau (see ...
- 315
1
vote
0
answers
41
views
Is the cone $\Sigma(T)$ orthogonal to the singular support of a distribution?
Hello I am totally new to microlocal analysis and I have a question. Is the cone $\Sigma(T)$ orthogonal to the singular support of a distribution?
$$\xi \notin \Sigma(T) \iff \exists V\ conic\ ...
- 97
7
votes
0
answers
219
views
Smoothness of solution map for PDE
I am wondering what sort of results are available for the following sort of problem, or where to look in the literature for work dealing with such problems, especially in the degenerate elliptic ...
- 2,139
4
votes
0
answers
303
views
Properties of microlocalization
Let $i: M\hookrightarrow X$ be the inclusion of a closed submanifold in a smooth manifold $X$. I denote by $T_MX$ the normal bundle to $M$ in $X$, by $T^{\ast}_MX$ its dual bundle, and by $D^b(X)$ the ...
- 283
1
vote
0
answers
91
views
Extension of a compactly supported pseudo-differential operator
Let $\Omega$ be a open subset of $\mathbb{R}^{d}$ and $P \in \Psi^{m}(\Omega)$ a compactly supported pseudo-differential operator, that is, the kernel of $P$, is compact. Is it true that $P$ extends ...
- 459
2
votes
0
answers
54
views
Wave equation with data on null surfaces
Consider the solid cone $C$ as the region inside $z=1-\sqrt{x^2+y^2}$ and bounded by $0\leq z\leq 1$. Now let us define $$\Omega= \{z=\frac{1}{2}\} \cap C\quad \text{and}\quad \Sigma= (\partial C \cap ...
- 3,863
6
votes
1
answer
1k
views
How to understand the Fourier-Sato transform and microlocalization functors?
Given a smooth real vector bundle $\pi: E \to M$ I can look at the (bounded from below) derived category of sheaves on $E$. Since $E$ admits a very natural action of $\mathbb{R}^{\geq 0}$ by scaling, ...
- 273
1
vote
1
answer
685
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$ ...
- 459
5
votes
1
answer
326
views
Wavefront set of characteristic function of rough set
It is a standard exercise to show that if $X\subseteq\mathbb{R}^n$ has smooth boundary, then the characteristic function $1_X$ has wavefront set $$\{(x,\xi)\in\partial X\times\mathbb{R}^n\setminus\{0\}...
- 804
9
votes
2
answers
673
views
Weyl law for (non-semiclassical) Schrodinger operator
The Weyl law for a semiclassical Schrodinger operator
$$ A_h\ := \ -h^2\Delta+V(x) $$
on an $d$-dimensional complete Riemannian manifold $M$
says that the number $N(A_h,1)$ of eigenvalues of $A_h$ ...
- 508
3
votes
0
answers
183
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 ...
- 313
11
votes
2
answers
1k
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 ...
- 22.2k
0
votes
1
answer
137
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 ...
11
votes
2
answers
404
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 ...
- 923
3
votes
1
answer
298
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 ...
- 43
4
votes
1
answer
227
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 $...
- 41
1
vote
0
answers
283
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 ...
- 459
1
vote
0
answers
186
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))...
- 11
4
votes
0
answers
226
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 ...
- 923
3
votes
0
answers
512
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 ...
- 459
1
vote
0
answers
36
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 ...
- 453