Elliptic, parabolic and hyperbolic operators. Laplace, Laplace-Beltrami, Schrödinger, Dirac. Exterior derivative and Lie derivative operators.

learn more… | top users | synonyms

10
votes
0answers
617 views

How hard is it to make a differential operator Hermitian?

Let $M$ be a closed finite-dimensional smooth manifold (over $\mathbb R$). Let $C^\infty(M) = C^\infty(M,\mathbb C)$ be the algebra of smooth complex-valued functions on $M$, with the natural complex ...
7
votes
0answers
86 views

Euler number of the complex of basic forms

Let $G$ be a compact Lie group and $\pi:P \to M$ a principal $G$-bundle. I would like to understand the geometry of $M$ through $P$ with the $G$-action. I am trying to understand the Hopf bundle ...
7
votes
0answers
325 views

Why should the Laplacian in $\mathbb{C}^n$ act on a specific line bundle over the quadric $x^2=0$ in $\mathbb{P}^{n-1}$?

I recently encountered the following nice fact, and I'm wondering if it's part of a more general story. Let $x\in \mathbb{C}^n$ satisfy $$x^2:=\sum_i x_i^2 = 0,$$ and consider functions $f(x)$ ...
7
votes
0answers
279 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 ...
6
votes
0answers
216 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 ...
5
votes
0answers
294 views

Kernel of Bianchi operator: Is a (smooth tame) Frechet manifold?

Let $M$ be a smooth compact manifold, $\mathcal{S}=\Gamma(\odot^2T^*M)$ the smooth tame Frechet space of smooth symmetric $2$-covariant tensors, and $\mathcal{M}=\Gamma(\odot^2_+T^*M)$ the smooth tame ...
5
votes
0answers
131 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. Let $\Omega$ denote the $k$-algebra of polynomial differential operators on $n$ variables $x_1$, $x_2$, ..., $x_n$ over $k$. (The multiplication in ...
5
votes
0answers
171 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 ...
4
votes
0answers
351 views

Monodromy of differential equations

Let $D$ an ordinary differential equation (let's assume $D$ only has regular singularities). Suppose $D$ = $D_0$$\partial$, where $\partial$ is $q\frac{d}{dq}$ My question is: Does there exist any ...
4
votes
0answers
303 views

Why should we consider D-module on flag variety of Lie algebra?

Why don't we stay at D-module on base affine space but go to study flag variety of Lie algebra? I remembered there are nice papers of Bernstein-Gelfand-Gelfand and Gelfand-Kirillov discussing the ...
3
votes
0answers
62 views

Chain rule for weakly differentiable functions

Given are $f\in L^1(\mathbb R^n)$, $f>0$, such that $\log f\in L^1_{\mathrm{loc}}(\mathbb R^n)$ and $\nabla \log f = g$ in the sense of distributions, with $g\in L^1_{\mathrm{loc}}(\mathbb R^n)\cap ...
3
votes
0answers
54 views

Boundedness Spectral Triple Axioms for de Rham Complex

In Connes' axioms for a spectral triple $(A,H,D)$, they have a representation of an algebra $A$ in bounded operators on a Hilbert space $H$, and (unbounded) operator $D$, such that $[D,a]$ is bounded. ...
3
votes
0answers
278 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} ...
3
votes
0answers
261 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 ...
3
votes
0answers
376 views

PDES - from Vector fields whose inner product with their vector Laplacian equals norm of the vector field

Let $g(x_{1},........,x_{n}) = \sum_{i=1}^{n}g_{i}(x_{1},\cdots,x_{n})e_{i}$ be a function in $\mathbb{C}^n$ ($e_{i}$ are the standard bases). Let $\nabla^{2}$ be the vector Laplacian. Let ...
2
votes
0answers
286 views

Differential and pre-differential of Jacobi identity

Let M be a manifold. To what extent all Lie algebra structures with tensorial property on $\chi^{\infty}(M)$ are studied? That is a Lie algebra structure for which $[X,fY]=f[X,Y]$. (For ...
2
votes
0answers
63 views

[This might be a easy question]: A possible trace (inequality) defined under negative Sobolev scale

I have a stupid question: Why is that not possible (if it is not) to define the trace of a function in a very weak regularity space $H^{-s}(\partial \Omega)$? We usually encounter trace theorem as ...
2
votes
0answers
36 views

what and where is Dubrovin's tri-differential operator?

IFF memory serves, Dubrovin made good use of a tridiffereential operator long before H & R fluxes. What did he use it for and where?
2
votes
0answers
108 views

Intuition behind Stokes operator?

I know that the definition of the Stokes operator (which appears in the functional form of the Navier-Stokes equations) is  $$A = -P_L Δ$$ where $Δ$ is the Laplacian, and $P_L$ is the Leray ...
2
votes
0answers
113 views

Estimates of eigenvalues of elliptic operators on compact manifolds

The classical Weyl law says that if $\Delta$ is the Laplace operator on functions on a compact Riemannian manifold $(M^n,g)$, $n>2$, then its $k$th eigenvalue satisfies the asymptotic formula ...
2
votes
0answers
99 views

Discrete p-Laplacian

One of the definitions of the discrete (weighted) $p$-Laplacian is the following: $$\Delta_{p,w}u(x):=\sum_y |u(y)-u(x)|^{p-2}(u(y)-u(x))w(x,y).$$ Consider the one dimensional case. Then the free ...
2
votes
0answers
101 views

“simulteneous eigenvectors” under the full set of weighted Laplacians on a $g$-fold product of the Poincare half plane

This question is closely related to the following MO question Characterizing the real analytic Eisenstein series Let $\mathfrak{h}=\{z=x+iy\in\mathbf{C}\}$ be the Poincare upper half plane endowed ...
2
votes
0answers
81 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
0answers
120 views

Is Laplacian a surjective operator?

For a closed manifold the laplacian is almost surjective operator since the index of $\Delta$ is zero and there is no a non constant harmonic function. So the codimension of the image ...
2
votes
0answers
180 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]$: ...
2
votes
0answers
275 views

Cyclic vector theorem

Could be proved the cyclic vector theorem for a differential module (over a differential field of characteristic zero) by using the fact that the ring of differential operators (over the same ...
2
votes
0answers
172 views

root system generalizations of Sekiguchi-Debiard (aka Laplace-Beltrami) operators

For the root system $A_n$, taking the limit $q = t^\alpha$ and $t \to 1$, and letting $Y = (t-1) X -1$ one obtains from the Macdonald operator the so-called Sekiguchi-Debiard operator: $$D_\alpha(X) ...
2
votes
0answers
481 views

What essential property justifies the name “derivative”?

Most, if not all, of the notions of derivative that I have so far seen have the property that they are locally defined -- meaning that the derivative of a map-type object at a point depends on the map ...
2
votes
0answers
104 views

Invariant linear manifolds for multiplication by the independent variable in L^2 (R)

In general I am trying to determine when the self-adjoint operator $M$ of multiplication by the independent variable in $L^2 (\mathbb{R})$ has a symmetric restriction to a dense linear manifold ...
1
vote
0answers
23 views

Equivalence of fractional power of second-order positive differential operator as pseudodifferential operator and a fractional definition

Let $A$ be a second-order differential operator on a closed manifold $M$ satisfying $$(Au,u) \geq 0$$ with $A=-\Delta$ the Laplace-Beltrami the model case. One can define for $s \in (0,1)$ the ...
1
vote
0answers
83 views

derivative of the adiabatic limit of the eta invariant

To ask my question I have to write down the setup. Basically the setup is the adiabatic limit of the reduced eta invariant of Dirac operator associated to the submersion metric and connection. So if ...
1
vote
0answers
27 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$: ...
1
vote
0answers
145 views

Existence of solution?

I am sorry if this question is not at the MO level. But I have not found a reference so I would like ask it here. Follow this paper :http://www.math.ku.dk/~hugger/articles/CTAC2003.pdf Let ...
1
vote
0answers
132 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 ...
1
vote
0answers
23 views

Differential operator with codimension 2 singularity in the domain

The soft version of the question is as follows: suppose I have a linear operator, and I know it is a 'nice' differential operator on its domain minus a singular set of codimension two. Does the ...
1
vote
0answers
60 views

Parabolic partial differential equation, initial conditions

Let $U\subset\mathbb{R}^n$ be open bounded, $T>0$. Given the parabolic PDE $$\partial_tf+a\partial_xf+b\partial_{xx}f = g \qquad (1)$$ I'm interested in the initial and boundary conditions that ...
1
vote
0answers
96 views

Action of Landweber-Novikov algebra on infinite polynomial ring

Denote $\text{Aut}(\hat{{\mathbb A}}^1)$ be the affine group over ${\mathbb Z}$ that sends some ring $R$ to the strict automorphisms of $R[[t]]$, i.e. those of the form $X\mapsto X + r_1 X^2 + r_2 X^3 ...
1
vote
0answers
228 views

Formula for the curvature of an induced connection

Let $\pi_P:P\to M$ be a principal $G$-bundle on a manifold $M$ endowed with a connection $A$ and $\pi_Q:Q\to M$ be a principal $H$-bundle on a manifold $M$. Let $f:P\to Q$ be a morphism of bundles ...
1
vote
0answers
187 views

Non-linear Perturbation Operator Examples

Consider a non-linear operator $\cal H$ which maps a function to a function (e.g., a map from a starting wave function $f(x,y,z)$ to a later wave function according to some non-linear PDE) and an ...
1
vote
0answers
317 views

Definition of spectral gradient

Consider this differential operator $$ \mathcal{H}(\phi(\mathbf{x})) = -\triangle + V(\mathbf{x})H_\epsilon (\phi(\mathbf{x})) $$ where $\mathbf{x} \in \mathbb{R}^2$, $\phi : \mathbb{R}^2 \rightarrow ...
1
vote
0answers
167 views

Spektrum of special Laplace type operator

How can I find Eigenvalues of the differential operator $-\frac{d^2}{dt^2} + \mathrm{sin} =\Delta + \mathrm{sin}$, defined on $M=S^1$, the 1-Sphere? It seems that the underlying ODE is pretty much ...
1
vote
0answers
307 views

Some help with differential operators

Hello I am trying to follow the derivation of the Generalized Cornish Fisher Expansion from this paper. I dont see how the author goes from equation (21) to (22). For one to be able to do this ...
1
vote
0answers
119 views

Relation between different spatial derivatives of a random field (related to complex integral and/or bessel function)

2 random fields $b$ and $c$ are derived from random field $a$ by $b=\nabla^2a\equiv(\partial_{xx}+\partial_{yy})a $ and $c \equiv c_1+i c_2 = (\partial_{xx}-\partial_{yy}+2i \partial_{xy}) a$. ...
1
vote
0answers
271 views

Differential operator with image of its Frechet derivative in the nullspace of operator adjoint?

Is there an example of a differential operator $A(z)$ with parameter $z \in \mathbb{R}^d$ and Frechet derivative $A_z(z)$ such that $\mathrm{im}(A_z(z)) \subseteq \mathrm{ker}(A^T(z))$. Can this still ...
0
votes
0answers
37 views

comparison principle for viscosity solution to linear nonlocal equation with drift

I met a problem about comparison principle for nonlocal equation when I study SDEs driven by Levy noise. Since, I have no background about PDEs, it may be a stupid question: $$Iu=\lambda ...
0
votes
0answers
87 views

Uniqueness of a Integro-parabolic differential equation?

Let $r, q,\lambda,\sigma,\kappa,\mu$ are positive real numbers and let $c(t)$ is a differential function of $t$. $\Gamma(\eta)$ is a probability density function. When I consider price of American ...
0
votes
0answers
94 views

Elliptic PDE-Fredholm PDE(Is there a contradictory situation)

Let $E$ be a smooth vector bundle on a closed manifold $M$. Assume that $D:\Gamma^{\infty}(E)\to \Gamma^{\infty}(E)$ is a diff. operator which is a fredhoolm operator, in the algebraic ...
0
votes
0answers
136 views

Existence of the Dirichlet heat kernel for arbitrary open subsets?

consider first of all an open and bounded subset $\Omega\subset\mathbb{R}^n$, s.t. the boundary $\partial \Omega$ is a manifold of class $C^2$. Then I know that there exists a Dirichlet heat kernel, ...
0
votes
0answers
301 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 ...
0
votes
0answers
167 views

Equivariant integration (localization formula)

We consider the action of $S^{1}$ on $S^{2}$ by rotation respect the vertical axes. We want to integrate the $2-$ equivariant form $$\alpha(X)= -X\cos(\phi) +\sin(\phi)\,d\phi\,d\theta.$$ We have ...