All Questions
Tagged with pseudo-differential-operators differential-operators
28 questions
1
vote
1
answer
207
views
Differential operators in $\Bbb R^n$
Put $P_j=\frac{\partial}{\partial \xi_j}$ et $Q_j=2 i \xi_j$ with$\xi=\left(\xi_1, \ldots, \xi_n\right)$ et $x=\left(x_1, \ldots, x_n\right)$. How to prove :
$\exp \left(\sum_{j=1}^n x_j P_j\right)(...
- 501
2
votes
0
answers
106
views
Evaluate action of $f(\frac{d}{dx})$ using the Fourier/Laplace transform
Consider a function $f(x)$ that is numerically defined in $-1 \leq x \leq 1$ interval (assume $N$ samples). I am trying to compute the action of $f(d/dx)$ on a function $g(x)$ using the Fourier ...
- 350
1
vote
0
answers
104
views
Kernel representation of a power of (pseudo-)differential operator
Let $\mathcal{T}$ be a (pseudo-)differential operator that admits the following kernel representation:
\begin{equation}
\mathcal{T}f(x) = \int_{-\infty}^{\infty} K(x,t)f(t)dt.
\end{equation}
What can ...
- 350
4
votes
1
answer
311
views
Conormal distributions and the wave front set
Let $X$ be a smooth closed manifold and $Y$ a regular submanifold. For all conormal distributions at $Y$ on $X$, their wave front set is contained in the conormal bundle of $Y$. Is the reciprocal true?...
3
votes
0
answers
129
views
Reasons behind different conventions for symbol of operator
I've come across two slightly different conventions for the symbol of a differential operator $D$ (let's say on $\mathbb{R}^n$) and haven't thought much about the motivation behind them until now.
The ...
- 1,903
3
votes
1
answer
131
views
Positivity of an operator on a compact subset of a manifold
Let $E$ and $F$ be two vector bundles over manifold $X$. Let $P:\Gamma(E)\to \Gamma(F)$ be a self-adjoint differential operator over $X$. Define inner product on the spaces $\Gamma(E)$ of smooth ...
- 563
1
vote
1
answer
197
views
Pseudo-differential operators and differential operator
I am totally new to pseudo-differential operators and I’m wondering if a differential operator is a pseudo-differential operator.
So, I want to show , using the definition of the symbol given by ...
- 97
4
votes
3
answers
644
views
Question about the regularity of fractional Heat equation
Let $\Omega$ be a bounded smooth domain of $\mathbb{R}^n$, $0<s<1$ and $(-\Delta)^s$ denotes the restricted fractional Laplacian. Let consider the following fractional Heat equation:
$$
\...
- 371
1
vote
0
answers
76
views
PDE on an open ball with prescribed value on some open subsets
Suppose that we have a $r$-order differential operator $L:C^r(B^n, \mathbb{R})\to C^0(B^n,\mathbb{R})$ where $B^n $ is the open unitary ball in $\mathbb{R}^n$ (we can assume for simplicity that it ...
- 2,533
3
votes
0
answers
81
views
Conformal manifolds produce Fredholm modules-pseudodifferential operator
This question is a continuation of the discussion which can be found here. From the exterior derivative one constructs an operator $S$ with the property that the graph of $S$ is the (closure of) the ...
- 9,330
3
votes
0
answers
128
views
Dixmier traces, Wodzicki residue and residues of zeta functions
Let $M$ be an $n$ dimensional closed manifold and consider an elliptic, pseudodifferential operator $P$ of order $-n$. Here are some facts which I had learned so far:
1. There exists a density defined ...
- 9,330
5
votes
0
answers
143
views
Extension of elliptic complex to an exact sequence
This questions concerns elliptic complexes and is closely related to Green's operator of elliptic differential operator.
Let $T_f:\Gamma(E)\rightarrow\Gamma(F)$ be an elliptic partial ...
- 5,824
2
votes
1
answer
127
views
Positive form for a homogeneous elliptic pde
I have a pde of the following form:
\begin{align}
&P(x,D)u = f \text{ on } \Omega, \\
&P(x,D) = \sum\limits_{|\alpha|=2m}a_\alpha(x)D^{\alpha},
\end{align}
where one can assume that $f$ ...
- 537
3
votes
0
answers
588
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 ...
- 509
3
votes
0
answers
68
views
Pseudodifferential calculus for the Diffeomorphism Invariant Geometry
In the paper "Local Index Formula in Noncommutative Geometry" Connes and Moscovici build the spectral triple $(A,H,D)$ where $A=C^{\infty}_c(P) \rtimes \Gamma$ where $\Gamma$ is an arbitrary subgroup ...
- 9,330
4
votes
0
answers
46
views
Spectrum of the hypoelliptic transverse signature operator
Let $D$ be the transverse signature operator constructed by Connes and Moscovici in the paper "Local index formula in Noncommutative Geometry":this is first order hypoelliptic pseudodifferential ...
- 9,330
2
votes
1
answer
499
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 ...
- 61
1
vote
0
answers
158
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})$ ,
...
- 135
5
votes
1
answer
270
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\...
- 305
1
vote
1
answer
184
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 ...
- 8,071
1
vote
0
answers
77
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$: ...
- 313
17
votes
4
answers
3k
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 ...
- 376
1
vote
1
answer
209
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,329
5
votes
1
answer
449
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 \...
- 1,329
13
votes
1
answer
1k
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. ...
- 2,998
7
votes
2
answers
807
views
When is a Pseudo-differential operator trace class or in Dixmier ideal?
Let's denote the set of all Pseudo-differential operators with symbol of “order” $d$ by $\Psi_d(M)$ and Sobolev space on $M$ by $H_s(M)$. It is known that
If $P\in\Psi_d(M)$ Then $P$ extends to a ...
7
votes
3
answers
627
views
Criteria for Positivity of Pseudoddifferential Operators on Manifolds
Let $(M,g)$ be a Riemannian Manifold and $L^2$ the Hilbert space given by the volume form associated to the metric. Let $L_0^2$ be the subspace which is orthogonal to the constant functions. When is ...
- 225
10
votes
0
answers
409
views
Between Being a Connection and Being an Elliptic Operator
Let $E$ be a smooth complex vector bundle over a smooth compact manifold $M$ and let $H$ be the $Z_{2}$-graded (with the $Z_{2}$-grading given by even/odd forms) Hilbert space of $L_{2}$ (with respect ...
- 505