Questions tagged [differential-operators]
Elliptic, parabolic and hyperbolic operators. Laplace, Laplace-Beltrami, Schrödinger, Dirac. Exterior derivative and Lie derivative operators.
56
questions
11
votes
2
answers
1k
views
Elliptic operators corresponds to non vanishing vector fields
Added, June 19, 2019: The main motivation of this post is to associate an index to differential operator associated to a dynamical system such that the index has an interesting ...
7
votes
1
answer
2k
views
Pochhammer symbol of a differential, and hypergeometric polynomials
I have a minor result which I'm sure has come up somewhere before but I can't seem to find it.
Consider a confluent hypergeometric function of the form
$$\newcommand{\ff}{{}_1F_1}
\ff(b+k;b;z)\...
26
votes
2
answers
2k
views
Codimension of the range of certain linear operators
Assume that $P(x,y), Q(x,y) \in \mathbb{R}[x,y]$ are two polynomials. We define a linear map
$D$ on $\mathbb{R}[x,y]$ with $D(U)=PU_{x}+QU_{y}$. In fact $D$ is the differential operator corresponding ...
5
votes
1
answer
412
views
Fredholm index vs. Limit cycle theory
Let $A$ be the algebra of all smooth functions $f: \mathbb{R}^2 \to \mathbb{R}$ such that $f$ is flat at the origin and is real analytic on $\mathbb{R}^2 \setminus \{0\}$.
Let $B $ be ...
3
votes
3
answers
612
views
Expansions of iterated, or nested, derivatives, or vectors--conjectured matrix computation
The entry OEIS A139605 (also related OEIS A145271) has a matrix computation for the partition polynomials that represent the expansions of iterated derivatives, or vectors in differential geometry,
$...
5
votes
1
answer
559
views
differential operator power coefficients
Let $(F(x)\frac{d}{dx})^n=\sum_{i=1}^n H_{n,i}(F, F', F^{(2)}, \ldots , F^{(n)})\frac{d^i}{dx^i}$. I'm curious about the exact formula for $H_{n,i}(y_0, y_1, \ldots , y_n)$. What is known about it?
81
votes
3
answers
12k
views
Intuitive explanation for the Atiyah-Singer index theorem
My question is related to the question Explanation for the Chern Character to this question about Todd classes, and to this question about the Atiyah-Singer index theorem.
I'm trying to learn the ...
20
votes
1
answer
1k
views
Derivation on real analytic manifolds
Let $M$ be a real analytic manifold. By $C^{\omega}(M)$ we mean the algebra of all analytic functions from $M$ to $\mathbb{R}$. Assume that $D$ is a derivation on $C^{\omega}(M)$ .
Is there a ...
16
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 ...
9
votes
2
answers
1k
views
Differentiation of functions over graphs
In short: There are various ways to define differentiation over a graph. I am trying to get the big picture, like a more complete and structured bestiary.
Definitions.
Let $G=(V,E)$ be a directed ...
6
votes
2
answers
1k
views
The adjoint operators as elliptic operators
Edit:
It seems that the link "https://cms.math.ca/Events/Toulouse2004/abs/ss7.html#lt" which contains a talk by Loic Teyssier about homological equations and vanishing cycles is temporally ...
4
votes
0
answers
325
views
The Moyal action of a planar vector field
Let $X=P\frac{\partial}{\partial x}+Q\frac{\partial}{\partial y}$ be a polynomial vector field on $\mathbb{R}^{2}$. Consider the following (Moyal) operator on $\mathbb{C}[x,y]$:
$\tilde{D}_{X}(f)=...
2
votes
1
answer
315
views
The study of dynamics of a polynomial vector field via Green's function methods
In the litterature, in particular in the papers on dynamical investigation of polynomial vector fields on the plane, are there some research devoting to study the Green's function for the PDE which is ...
2
votes
0
answers
423
views
A Generalized De Rham cohomology
Edit According to the comment of Alex Degtyarev, I deleted the last part of the previous version.
Let $E$ be a real vector space. The complex valued $k$- tensors on $E$ is denoted by $L_{\mathbb{C}}^{...
1
vote
2
answers
461
views
Non-closed range space of Laplace operators?
Set $ -\Delta: H^2(\mathbb{R}^3) \subseteq L^2(\mathbb{R}^3) \to L^2(\mathbb{R}^3) $. Then $ \mathcal{R}(-\Delta) $ is non-closed?
Sorry if this question is trivial. I am not familiar with theory of ...
28
votes
6
answers
3k
views
Why is there no symplectic version of spectral geometry?
First, recall that on a Riemannian manifold $(M,g)$ the Laplace-Beltrami operator $\Delta_g:C^\infty(M)\to C^\infty(M)$ is defined as
$$
\Delta_g=\mathrm{div}_g\circ\mathrm{grad}_g,
$$
where the ...
25
votes
5
answers
5k
views
Book Recommendation - PDE's for geometricians / topologists
I am looking for recommendations for a book on partial differential equations, which is not written for applied mathematicians but rather focused on geometry and applications in topology, as well as ...
18
votes
2
answers
2k
views
Eigenvalues of the Laplace-Beltrami operator on a compact Riemannnian manifold
Let $(M,g)$ be a compact Riemannian manifold, and let $\Delta_g$ be its Laplace-Beltrami operator. A "well-known fact" is that the eigenvalues of $\Delta_g$ have finite multiplicity and tend to ...
14
votes
1
answer
988
views
Computing spectra without solving eigenvalue problems
There is a rather remarkable conjecture formulated in this paper, "Computing spectra without solving eigenvalue problems," https://arxiv.org/pdf/1711.04888.pdf and in this talk by Svitlana Mayboroda ...
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. ...
11
votes
4
answers
3k
views
Symbol of pseudodiff operator
Hello,
I am trying to understand the calculus of pseudodifferential operators on manifolds. All the textbooks I could put my hand on define the principal symbol of a pseudodifferential operator ...
10
votes
1
answer
770
views
Boundary terms of formal adjoints of differential operators
Let $M$ be a compact manifold with boundary. If we have two vector bundles $E, F \to M$ with inner products and a differential operator $D: C^{\infty}(E) \to C^{\infty}(F)$ then $D$ admits a formal ...
8
votes
3
answers
773
views
What does the flow of the principal symbol of the differential operator tell us about the PDE?
Disclaimer: Let me apologize in advance for asking this slightly vague question
Let $M$ be a manifold and let $P$ be a partial differential operator acting on $C^{\infty}(M)$. Associated to $P$ there'...
8
votes
0
answers
565
views
Can we use sheaf cohomology to say anything interesting for vector bundles with non-flat connections?
Given a vector bundle $E \to M$ with connection $\nabla$, we get a twisted de Rham sequence using the exterior covariant derivative:
$$0 \to \mathcal{E} \xrightarrow{d^\nabla} \Omega^1_M \otimes \...
8
votes
1
answer
322
views
Does the normal ordered product on differential operators lift to $U\left(\mathfrak{gl}_n\right)$?
Let $n\in\mathbb N$. Let $k$ be a commutative ring in which $1,2,3,\ldots$ are invertible. Let $\Omega$ denote the $k$-algebra of polynomial differential operators on $n$ variables $x_1$, $x_2$, ..., $...
8
votes
1
answer
2k
views
Radon-Nikodym derivatives as limits of ratios
Let $\mu_1$ and $\mu_2$ be measures with $\mu_1 \ll \mu_2$. Suppose we can characterize (a version of) their Radon-Nikodym derivative this way:
$$\frac{d\mu_1}{d\mu_2}(x) = \lim_{n \to \infty} \frac{\...
8
votes
2
answers
1k
views
What is the smallest $C^*$-algebra containing the "standard" pseudodifferential operators?
Is $\Psi^0(\mathbb{R})$ (pseudodifferential operators with symbols obeying
$
|\partial^\alpha_x \partial^\beta_\xi a(x,\xi)| \leq C_{\alpha,\beta} (1+|\xi|)^{-|\beta|}
$
) a $C^*$-algebra?
In other ...
8
votes
0
answers
355
views
Noncommutative geometry and line length
I would like to understand, in some formal sense, the relation between the Dirac operator and the line length introduced by Connes in noncommutative geometry. If $D$ is the Dirac operator, he sets $ds ...
7
votes
0
answers
181
views
$\eta$ invariants of Pin+ manifolds $\mathbb{RP}^{8k}$
In general, I am curious about the 'quantization' of $\eta$-invariants on Pin+ manifold, i.e., what is the 'minimal unit' of $\eta$-invariants on a manifold with certain choice of Pin+ structure.
...
7
votes
2
answers
552
views
Line graphs called "graph derivatives": any intuition?
Short version: in several papers, line graphs (and closely related graphs) are called graph derivatives or derived graphs; is there any intuition for such terminologies, in connection with the ...
7
votes
1
answer
505
views
Decomposition of linear partial differential operators
I was wondering about the following:
Let $M$ be a smooth, second-countable (possibly noncompact) manifold and let $E$ and $F$ be smooth vector bundles over $M$.
Can every smooth linear partial ...
7
votes
3
answers
598
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 ...
6
votes
1
answer
2k
views
is $\nabla \cdot ( c^2 \nabla)$ a Laplace-Beltrami operator?
Someone mentioned, in passing, to me that $u \mapsto \nabla \cdot ( c^2 \nabla u)$ is a Laplace-Beltrami operator. Does anyone have some insight into this? From my understanding, the Laplace-operator ...
6
votes
1
answer
330
views
Elliptic operator with finite spectrum?
Is it possible for a (non-symmetric) elliptic differential operator to have finite spectrum. If so, is there an explicit example?
6
votes
1
answer
1k
views
Laplace-Beltrami and the isometry group
H$\vphantom{a}$i. Consider the Laplacian on $\mathbb R^n$,
$$
\Delta=\partial_i^2
$$
It is easy to prove that the most general differential operator that commutes with rotations and translations is ...
6
votes
0
answers
263
views
How to prove that the Laplace oparator of the Heisenberg group is sub-elliptic?
The Heisenberg group $H^3$ is the set $\mathbb C\times \mathbb R$ endowed with the group law
$$ (z,t)\cdot(w,s) =\left (z+w, \,t+s+\tfrac{1}{2}\Im m(z \bar{w})\right). $$
For $z=x+ i y \in \mathbb C$ ...
5
votes
0
answers
278
views
The Spectrum of certain differential operators
We fix a Hilbert space isomorphism $\phi:H^{1}\to H^{2}$. Here by $H^{s},\;s=1,2,\;$ we mean the sobolev space on $\mathbb{R}^{2}$ or $S^{2}$.
We consider the following polynomial vector field on ...
5
votes
1
answer
2k
views
Relation between harmonic vector field and harmonic 1-form
Definition 1: A unit vector field $X$ side to be harmonic if it is critical point for the following energy function
$$E(X)=\frac{1}{2}\int_M\|dX\|^2dvol_g=\frac{m}{2}vol(M,g)+\int_M\|\nabla X\|^...
5
votes
0
answers
259
views
Differential operators that preserve real-rootedness
Is there some description of polynomial differential operators, $\mathcal{D}=\sum f_i(x) D_x^i$ such that, if $h$ is a polynomial all of whose roots are in $[0,1]$, then so are all the roots of $\...
5
votes
2
answers
789
views
index of a family of Dirac operators in $K^1$
Suppose I have a family of Dirac operators over a compact base space B. From the paper of Atiyah and Singer about skew adjoint Fredholm operators we know that it has an index in $K^1(B)$.
Suppose ...
5
votes
1
answer
614
views
The "Rolle theorem" for sections of a vector bundle
1) Assume that $E\to M$ is a smooth real vector bundle and $\nabla$ is a connection. (We do not assume any metric compatibility since we do not fix a metric on $E$). Assume that ...
4
votes
0
answers
384
views
A 4th-order linear PDE
I am interested in the following type of $4$-th order linear PDE with $2$ variables (i.e., $x$ and $t$):
$x^3 f_{xxxt}+ f =0$
Does anyone know if this type of PDE already appeared in the literature? ...
4
votes
1
answer
368
views
Differential inequalities under which a flat function must be identically zero
Let $f:\mathbb{R}\to \mathbb{R}$ be a smooth function which is flat at $0\in \mathbb{R}$. That is $f^{(k)}(0)=0,\; k=0,1,2,\ldots $.
Assume that $|f''(x)|\leq M|f(x)|\quad \forall x\in \mathbb{R}$ ...
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 ...
4
votes
0
answers
73
views
The sum of linear partial differential operators of equal strength
If $P$ and $P'$ are linear partial differential operators with constant complex coefficients on $U = \mathring U \subseteq \Bbb R^m$, we say that $P \sim P'$ if and only if $\dfrac {\tilde P} {\tilde {...
4
votes
2
answers
465
views
How to compute the index of such operator?
Let $M$ be a compact Riemannian manifold, with $R$ nowhere-vanishing vector field on $M$(whose orbit may be closed/ not closed). $E$ and $F$ are two vector bundle (Edit: which are sub-bundles of $\...
3
votes
2
answers
381
views
Asymptotic behavior of the solution of the high degree differential equation $(x^{2n}y^{(n)})^{(n)}-x^2y=\lambda \; y$
The following differential equation has two independent solutions, one of the two is decreasing exponentially at infinity (k-Bessel function).
$$(x^2y')'-x^2y=\lambda \;y$$
Now for a higher-degree ...
2
votes
1
answer
393
views
Unusual problem of calculus-of-variations. Attempt 2
I already tried to ask the same question here Unusual problem of calculus-of-variations, but I did a huge mistake and have no time to understand it. In the past post, I tried to simplify the problem, ...
2
votes
0
answers
108
views
Uniform upper bound for dim of kernel and codimension of range of certain familly of PDE
A polynomial vector field of degree $n$ on $S^{2}$ is the Poincare compactification of a $n$ degree polynomial vector field on $\mathbb{R}^{2}$.It is a real analytic vector field on $S^{2}$ which ...
2
votes
1
answer
303
views
Parabolic PDE Long Time Asymptotics and Elliptic Operator Spectrum
How does one show directly that the solution following parabolic partial differential equation (PDE) of $p(t,v)$ approaches its stationary solution which is a solution of an elliptic partial ...