**1**

vote

**1**answer

132 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 ...

**0**

votes

**0**answers

58 views

### inverse of operator [migrated]

I want to calculate the inverse of the operator
$T=-\frac{\partial^{2} }{\partial x^{2}}-\frac{\partial^{2}}{\partial y^{2}}-(x^{2}+y^{2})+2( x\frac{\partial }{\partial y}-y\frac{\partial ...

**4**

votes

**1**answer

78 views

### Zeroes of global sections killed by differential operators

I asked this question some two weeks ago on StackExchange, but received no feedback of any sort ...
Let $X$ be a compact connected Riemann surface and let $\Phi:M\rightarrow N$ be an elliptic ...

**21**

votes

**1**answer

702 views

### Harmonic spinors on closed hyperbolic manifolds

Does anyone know an example of a closed spin hyperbolic manifold of dimension 3 or greater such that the kernel of the Dirac operator is non-trivial?
I'm mainly interested in the 3-dimensional case ...

**1**

vote

**0**answers

80 views

### A specific type of first-order nonlinear ordinary differential equation

I am trying to divide $\mathbb{R}^+\times \mathbb{R}^+$ into some curves so that the integration of the function $ h(x)h(y) $(where $h(x)$ is a $C^1$ function from $\mathbb{R}^+\to \mathbb{R}^+$ that ...

**8**

votes

**1**answer

117 views

### Generalized Dirac operators

So far I met three definitions of the so called generalized Dirac operator(or Dirac type operators. Everything takes place over Riemannian manifols $M$ and we have smooth hermitian vector bundle $S ...

**2**

votes

**0**answers

72 views

### How can I prove that this D-module is free?

I have the following setup, I expect that it is studied in the theory of $D$-modules, and I apologize in advance if I am wrong.
First, I have an algebra $A$ of differential operators on $n$ ...

**5**

votes

**0**answers

81 views

### Spectra of Dirac operators

1. Suppose that $M$ is a spin manifold. The spin structure of $M$ is not uniquely defined: in other words, $M$ may have many
nonequivalent spin structures. For each choice of spin structure there is ...

**2**

votes

**1**answer

120 views

### Local form of Dirac operator

I have the following question.
Provided that $E\to M$ is vector bundle and that a Clifford module $Cl(T^*M)$ acts on $\Gamma(E)$ via Clifford multiplication $c$, the Dirac operator of this Clifford ...

**2**

votes

**1**answer

74 views

### Strongly continuous semigroups and symbols of pseudo differential operators

I am considering the Cauchy IVP for the evolution equation
$$u_t + \Psi u =0$$
where $\Psi$ is a linear pseudo differential operator with symbol $\widehat{\Psi}\left(\underline{\xi}\right)$.
The ...

**2**

votes

**2**answers

134 views

### Finding a specific Global Smooth Function

Any help with this problem would be appreciated. Thanks
Suppose $(M^3,g)$ is a smooth compact Riemannian manifold with smooth boundary and $\gamma$ is a simple smooth orientable curve in $M$. Does ...

**2**

votes

**0**answers

73 views

### Lie algebra (co)homology of the Lie algebra of differential operators

Let $X$ be an algebraic variety (or a complex manifold) over $\mathbb C$. Let $D(X)$ be its algebra of differential operators. Mostly I am interested in algebraic differential operators, but the case ...

**5**

votes

**0**answers

81 views

### Analytic continuation of $\mathfrak{so}(n)$ algebras to real $n$?

In a 1988 paper "The Lie algebras $\mathfrak{gl}(\lambda)$ and cohomologies of Lie algebras of differential operators", Feigin defined the analytic continuation of $\mathfrak{sl}(n)$ algebras (over ...

**0**

votes

**1**answer

79 views

### Explicit solution for one-dimensional Gelfand problem

I wonder if the ODE
$y''+e^{y}=a$
can be solved explicitly. For $a=0$, it is well-known that there is a two-parameter family of explicit solutions
$y=\ln(2)-2\ln(\cosh(cx+d))+2\ln(c)$, $c,d \in ...

**4**

votes

**1**answer

144 views

### Elliptic Operators on Vector Bundles

I know the kernel of an elliptic operator on a compact manifold has finite dimension. Is the kernel of an elliptic operator on sections of a vector bundle a finite dimensional space?

**17**

votes

**0**answers

767 views

### Unifying (& “justifying”) the various definitions for differential operators

Reading about differential operators in different sources I've picked up several definitions which are not obviously equivalent (to me). Here they are:
Definition 1 ("naive"): Let $X$ be a (real) ...

**6**

votes

**1**answer

251 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 ...

**8**

votes

**0**answers

204 views

### Is the formal neighborhood of the diagonal a generalization of the Jet bundle?

Let $f: X \to S$ be a morphism of locally ringed spaces and $\triangle: X \to X \times_S X$ the corresponding diagonal morphism with kernel sheaf $\mathcal{I} = \ker \triangle^{\flat}$.
...

**1**

vote

**0**answers

90 views

### Eigenvalues of the D'Alembertian operator

My question about the spectral theory of the D'Alembertian operator on a Lorentzian manifolds (say the spacetime $M^{3+1}$) given by $$\square = -\partial_{t}^2 + \Delta$$ for the metric $g=(-+++)$. ...

**3**

votes

**1**answer

100 views

### Lifting a differential operator

Let $D$ be a differential operator acting between the spaces of smooth sections of two vector bundles $E,F$ over compact manifold $M$. If $M$ is not simply connected one can construct the universal ...

**14**

votes

**2**answers

651 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 derivational operator correspond ...

**6**

votes

**0**answers

96 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

86 views

### Differentially closed fields

Let F be a field. Recall that an additive map $d: F\rightarrow F$ is said to be a derivation if $d(ab)=ad(b)+d(a)b$.
Now let $F$ be a ring and let $d$ be a derivation of $F$. Examples I have in mind ...

**3**

votes

**0**answers

102 views

### Spectrum of the Laplace-Beltrami operator on a domain of finite volume in the hyperbolic space $H^n$

What is known about the ($L^2$) spectrum of the minus Laplace-Beltrami operator ($- \Delta$) with zero boundary conditions on $B =H^n/\Gamma$, where $H^n$ is $n$-dimensional hyperbolic space ...

**7**

votes

**2**answers

155 views

### Existance of Integrating Factors, a Constructive Proof

Being a novice with differential equations, I recently learned that if $\mu$ is an integrating factor for $\frac{dy}{dx}f(x,y)+ g(x,y)=0$, then the corresponding 1-form, $\mu fdy+\mu g dx$, is exact.
...

**7**

votes

**1**answer

203 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$, ..., ...

**0**

votes

**0**answers

79 views

### Spectrum of the Grassmannian Laplacian

The spectrum of the Laplacian (with respect to the Fubini--Study metric) was addressed in this old question. Does anyone know if these results have been extended to the Grassmannians?

**4**

votes

**2**answers

118 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 ...

**4**

votes

**1**answer

705 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}
...

**0**

votes

**2**answers

211 views

### Diffusion on a semi-Riemannian manifold?

A great deal of literature exists on the heat equation and heat kernel for a Riemannian manifold. The Laplace-Beltrami operator in the given metric replaces the flat Laplacian in the heat equation, ...

**2**

votes

**2**answers

329 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 ...

**4**

votes

**2**answers

587 views

### Elliptic operators corresponds to non vanishing vector fields

Let $X$ be a non vanishing vector field on a compact manifold $M$. The only differential operator associated with $X$ which I am aware of, is the derivational operator $D(g)=X.g$. Unfortunately ...

**8**

votes

**0**answers

73 views

### Holomorphic natural bundles and operators

I am wondering up to what extent the classical theory of (smooth) natural bundles and natural operations extends to the holomorphic setting.
After a quick thought, I've gone through the standard ...

**4**

votes

**1**answer

179 views

### Differential Operators On A Curve And On Osculating Circle

Given a 1D Riemannian manifold $\Gamma$ embedded in 2D Euclidean space (e.g. a parametric curve on a plane $\mathbb{R}^{2}$ ), and point $x_{0}\in \Gamma$, we denote $S^{1}(x_{0})$ the circle ...

**8**

votes

**2**answers

684 views

### Atiyah Singer index theorem and Hodge de Rham operator

When I read about Atiyah Singer index theorem I met the following example: let $M$ is (orientable closed smooth) Riemannian manifold and consider Hodge-de Rham Dirac operator defined by $d+d^*$ ...

**5**

votes

**0**answers

119 views

### Differential operators acting on the Schwartz space

I asked a similar question on math stack exchange but didn't get an answer so I will try to ask it here. Any help/suggestion is most than welcome!
Let $D$ be a linear differential operator with ...

**1**

vote

**0**answers

83 views

### Mean value operator on Riemannian manifold

Let $(M,g)$ a Riemannian manifold. Further $M$ should be a harmonic space, that is $M$ is a symmetric and simply connected space of rank 1. (Example: Spheres $S^n$)
Consider the mean value operator, ...

**0**

votes

**0**answers

35 views

### Deciding whether linear equations are solvable over specific subrings of $K(x_1,..,x_n)$

The definition of 'linear equations are solvable' which is meant here is
Let $R$ be a commutative ring (associative and with unity).
For given $m \in \mathbb{N}$ and $b \in R$,
it is decideable ...

**2**

votes

**0**answers

87 views

### Rellich Embedding Theorem for the $2$-Sphere

I'm trying to understand the Rellich-Embedding Theorem in the non-flat case by looking at the $2$-sphere. To be precise, for $S$ the spinor bundle of $S^2$; $L^2(S^2)$ the space of square integrable ...

**4**

votes

**1**answer

71 views

### Getting out a system of linear ODEs by knowing the Magnus expansion

Assume we are given for a transition between two time points $t_0 = 0$ and $t_1$ a matrix relationship, eventually describing the solution of a system of linear with non-constant coefficients,
...

**2**

votes

**1**answer

154 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

**1**answer

94 views

### Estimate for differential of inverse map

Let $f: M \to N$ be a diffeomorphism between two riemannian Manifolds. Suppose there exist constants $0 < c \leq C$ such that for all $p \in M$, we have $c \leq |df_p| \leq C$. Here, $df$ denotes ...

**5**

votes

**0**answers

226 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 ...

**19**

votes

**3**answers

1k views

### How we do actually compute the topological index in Atiyah-Singer?

This is migrated by math.stackexchange as I did not receive an answer. I do not know if it is too naive for this site.
I am taking a lectured class in Atiyah-Singer this semester. While the class is ...

**5**

votes

**1**answer

148 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
...

**5**

votes

**0**answers

87 views

### Ring of SO(n)-invariant differential operators on M_n,m

I'm reading through Stephen Gelbart's paper "A Theory of Stiefel Harmonics." (http://www.ams.org/journals/tran/1974-192-00/S0002-9947-1974-0425519-8/).
There comes a point in the paper (Lemma 2.8) ...

**2**

votes

**0**answers

86 views

### $\eta$-invariants of Riemann Surface

I am curious about a concrete computation of $\eta$-invariants for Riemann surface, e.g. Torus.
Is there any nice review or notes talking about the computation? Or is it possible to express it as ...

**5**

votes

**0**answers

102 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.
...

**0**

votes

**1**answer

391 views

### Operator theory of the Hessian

How can I learn more about the operator theory of the Hessian? The Hessian of a function $u : \Omega \rightarrow \mathbb R$ over a domain $\Omega \subseteq \mathbb R^n$ is the matrix of second ...

**2**

votes

**0**answers

382 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 ...