Skip to main content

All Questions

26 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
8 votes
0 answers
278 views

Pseudodifferential operators on compact manifolds with boundary

I have heard that the square root of the Dirichlet (or the Neumann) Laplacian is not a pseudodifferential operator on compact manifolds with boundary. The context in which this was said was that ...
student's user avatar
  • 81
7 votes
0 answers
80 views

Given composition rules, determining whether a continuous map between smooth functions is a pseudodifferential operator

Let $M$ be a closed manifold, and let $P:C^{\infty}(M)\rightarrow C^{\infty}(M)$ be a continuous linear map in the smooth Fréchet topologies. In what is to come, if it helps, one can assume further ...
MyShepherd's user avatar
4 votes
0 answers
2k views

Fourier transform of $C^\infty_0$, smooth functions vanishing at infinity

Is there a proper description of the space $$\{\hat f\ | \ f\in C^\infty \ s.t. \forall \alpha\in\mathbb{N}^n,\forall \epsilon>0\exists K\subseteq \mathbb{R}^n\ K\ \text{compact};\ \sup_{x\in \...
toraus's user avatar
  • 41
4 votes
0 answers
237 views

Contact manifolds and pseudodifferential operators

By way of background, I am currently trying to understand the theory of pseudodifferential operators in the context of contact geometry. I have some knowledge of pseudodifferential operators on ...
user93630's user avatar
3 votes
0 answers
82 views

Dirichlet-to-Neumann map is analytic

Let $M^n$, $n \geq 2$, be a compact smooth manifold with boundary and let $I \ni t \mapsto g_t$ be an analytic (with respect to t) $1$-parameter family of Riemannian metrics on $M$. For each $t \in I$,...
Eduardo Longa's user avatar
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 ...
geometricK's user avatar
  • 1,903
3 votes
0 answers
98 views

Semiclassical analysis and reflection law

I was curious about the following vague question. In pseudodifferential calculus and semi-classical analysis there are various theorems that relate geodesics of the underlying space to the behavior of ...
Ivan's user avatar
  • 445
3 votes
0 answers
114 views

Parametrix of external product of elliptic operators

Let $S$ and $T$ be Dirac-type operators on vector bundles $E\rightarrow M$ and $F\rightarrow N$ respectively, where $M$ and $N$ are manifolds. Suppose $Q_S$ and $Q_T$ are parametrices for $S$ and $T$. ...
geometricK's user avatar
  • 1,903
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 ...
Math's user avatar
  • 509
2 votes
0 answers
67 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 ...
Hheepp's user avatar
  • 371
2 votes
0 answers
159 views

Principal symbol of a non-local operator and Atiyah–Singer index formula

I am trying to understand the Atiyah–Singer index formula for pseudo-differential operators. As far as I understood, the Fredholm index of the operator $A$ on a manifold can be computed just from the ...
IgnoranteX's user avatar
2 votes
0 answers
315 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 ...
Math's user avatar
  • 509
2 votes
0 answers
40 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 ...
Umberto Lupo's user avatar
2 votes
0 answers
240 views

Proof of Taylor's Schwartz kernel estimate of pseudodifferential operators

I am interested in the proof of the following result which gives an estimate on the Schwartz Kernel of a $\Psi$DO. There is one aspect the proof that is not clear to me which I would like to ask the ...
ClemensB's user avatar
2 votes
0 answers
188 views

Hypoelliptic pseudodifferential operators and Fredholm equations?

I read here the following: The parametrix is a useful concept in the study of elliptic differential operators and, more generally, of hypoelliptic pseudodifferential operators with variable ...
PtF's user avatar
  • 383
1 vote
0 answers
97 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}\...
B.Hueber's user avatar
  • 1,171
1 vote
0 answers
323 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, ...
Nagaraj Iyengar's user avatar
1 vote
0 answers
67 views

Regularity and existence linear parabolic fractional equation

\begin{equation} \begin{cases} a(x, t)u_t+(-\Delta)^{\sigma}u+b(x,t)u=f(x,t), & \text{in } \mathbb{R}^n \times [0, T) \\ u(x,0)=u_0(x), & \text{in } \mathbb{R}^n \end{cases} \end{...
Mat's user avatar
  • 11
1 vote
0 answers
74 views

Well-posedness for a wave equation with degenerate coefficients

Let $\Omega$ be a bounded domain with smooth boundary and consider the following initial boundary value problem: \begin{equation}\label{pf0} \begin{aligned} \begin{cases} t\partial_t(t\partial_t u)-\...
Ali's user avatar
  • 4,135
1 vote
0 answers
55 views

The order of regularity improving for elliptic operator with rough coefficients

Let $\frac12<\alpha<1$ and let $L(x)$ be a first order overdetermined elliptic operator with coefficients in $C^\alpha$. We means $L(x)=\sum_{j=1}^nA_j(x)\partial_j$ where $A_j:\mathbb R^n\to\...
Liding Yao's user avatar
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 ...
Overflowian's user avatar
  • 2,533
1 vote
0 answers
180 views

Implicit function theorem for operators

Let $P: (-a,a) \rightarrow \Psi_h^0(\mathbb{R}),$ be a pseudodifferential operator in Weyl quantization with $(-a,a) \ni z \mapsto P(z)$ depending smoothly on this parameter $z$. Note that this ...
gipom's user avatar
  • 115
1 vote
0 answers
61 views

Convergence of PDE/PsiDE - expansion of pseudo-differential operators

I have am working with a nonlinear pseudo-differential evolution equation of the form $$u_t + \mathcal{N}(u) + \mathcal{D}_{\epsilon} u = 0$$ where $\mathcal{N}$ is a nonlinear operator and $\mathcal{...
Frubiclé's user avatar
  • 155
1 vote
0 answers
70 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 ...
Ali's user avatar
  • 4,135
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$: ...
harlekin's user avatar
  • 313
0 votes
0 answers
244 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})}$ ...
Nagaraj Iyengar's user avatar