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

learn more… | top users | synonyms

3
votes
1answer
158 views

adjoint of this closed (?) operator

I am currently dealing with an unbounded operator $T:\{f \in L^2(-2\pi,2\pi); f \in AC((-2\pi,2\pi)), T(f) \in L^2, \lim_{x \rightarrow \pm 2 \pi} f(x)g(x)=0\} \subset L^2(-2\pi,2\pi)\rightarrow ...
2
votes
1answer
80 views

Proper domain for operators

in this paper on arxiv in equation 27, two operators $$A_m^* = (1-x^2)^{\frac{1}{2}} \frac{d}{dx} + \frac{mx}{\sqrt{1-x^2}}$$ and $$A_m = - \frac{d}{dx}(1-x^2)^{\frac{1}{2}} + ...
0
votes
0answers
82 views

Functional Calculus and Fredholm index

Let $-\Delta: W^{2,2} \subset L^2(\mathbb{S}^2) \rightarrow L^2(\mathbb{S}^2)$. Then it is "easy" to show that $-\Delta $ is self-adjoint. Now, I am looking for closed operators $T$ and $T^*$ of order ...
0
votes
1answer
60 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 ...
14
votes
2answers
564 views

Exact Definition of Dirac Operator

Many definitions of the Dirac operator in the tradition of the Physics literature are hard to grasp for a mathematician. I would like to ask for a precise, general, definition of the Dirac operator ...
0
votes
1answer
144 views

Cauchy problem for an overdetermined system of PDE

This question is strictly related to this one. Let us consider the differential system with constant coefficients $$\left(\begin{array}{ccc} B_{11} & B_{12} & 0\\ ...
1
vote
1answer
90 views

Heat Kernel estimate at the level of the form

Let $(M,g)$ be a compact Riemannian manifold. It is known there exist Gaussian estimates of the heat kernel and its derivatives acting on functions on $M$. The kind of estimate I'm looking for could ...
0
votes
1answer
164 views

How to solve this differential equation with an infinite sum?

I would like to find solutions of the following differential equation: $ \sum_{1}^{\infty} a_n f(nx) + f''(x)+ x^2 f(x)=\lambda f(x)$ For example in space of function from $\mathbb R^*$ to $\mathbb ...
2
votes
1answer
58 views

Local fractional Sobolev inequality

If $\mathcal{X}$ is a smooth cutoff near 0 in $\mathbb{R}^n$, then $M_0 = \mathcal{X}(-\Delta+Id)\mathcal{X}$ is a self-adjoint operator in $L^2(\mathbb{R}^n)$. Because $M_0$ is semi-positive and the ...
12
votes
4answers
561 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 ...
2
votes
0answers
91 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 ...
5
votes
1answer
244 views

Killing vector fields on sphere

Let $u$ be a smooth function on $\mathbb S^2$, and assume that for every killing vector field $V$ on $\mathbb S^2$. $$\int_{\mathbb S^2} V(u) x_j dS=0\text{,}\forall j=1,2,3$$ Is $u$ necessarily ...
9
votes
1answer
182 views

When are the Dolbeault and de Rham dgas homotopy equivalent?

Let $M$ be a compact Kahler manifold. Then the Hodge decomposition says that the Dolbeault dga (of forms of all bidegree) and the de Rham dga on $\Omega_{\mathbb C}^\bullet(M)$ have isomorphic ...
0
votes
0answers
33 views

inverse of partial differential operator

I have a bounded degree hermitian partial differential operator over $\mathbb{R}^3$: $D=\sum_{i,j,k,l,m,n\in{\{0,1,..5\}}} a_{i,j,k,l,m,n} x^iy^jz^k \frac{\partial^l}{\partial x^l} ...
1
vote
0answers
129 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 ...
3
votes
0answers
49 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. ...
2
votes
0answers
77 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 ...
3
votes
1answer
93 views

Horizontal lift of differential operator

On a Riemannian manifold $M$, there is a canonical horizontal lift $X^{\mathrm{hor}}$ of vector fields $X$ to $TM$, which is characterized by the two properties that $X^{\mathrm{hor}}$ is a ...
0
votes
0answers
75 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 ...
2
votes
0answers
109 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 ...
1
vote
0answers
120 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 ...
0
votes
1answer
192 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 ...
6
votes
0answers
185 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 ...
4
votes
1answer
112 views

Euclidean Algorithm for differential operators

While perusing through the article "Algorithms for solving linear ordinary differential equations" by Winfried Fakler (a pdf can be found through a google search), I noticed Faker mentioning on page 2 ...
0
votes
1answer
33 views

Pullback via flow as operator group

Let $X$ be a vector field on a manifold $M$ that induces a complete flow $\Theta_t$. Then the operator family $\Theta_t^*$, $$\Theta_t^*u(x) = u(\Theta_t(x))$$ is a strongly continuous semigroup of ...
1
vote
0answers
21 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 ...
3
votes
1answer
410 views

Helmholtz equation Poynting vector integral

The Maxwell's equation for harmonic time dependent field in vacuum is \begin{align} \nabla \times B + i\omega E &= 0\\ \nabla \times E - i\omega B &= 0 \\ \nabla \cdot B &= 0 \\ \nabla ...
0
votes
0answers
116 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, ...
4
votes
1answer
164 views

Vector Laplace Beltrami operator of the Gauss map

Consider an abstract surface $(M,g)$ embedded into $\mathbb{R}^3$ via $f:M \to \mathbb{R}^3$. Denote by $N:M \to \mathbb{R}^3$ the Gauss map (normal field) of the surface. Write the Laplace Beltrami ...
0
votes
1answer
286 views

Yang-Mills equations are not elliptic [closed]

How does one prove that the Yang-Mills equations (from classical Yang-Mills theory) are not elliptic? Alternatively, how does one calculate the principal symbol of the Yang-Mills equations? Can ...
-4
votes
1answer
184 views

Derivatives of infinite order [closed]

Is there any sense of taking an infinite number of derivatives? Is it discussed in the literature? For example, can one make sense of $$\frac{\partial^{\infty}f(x_1,x_2,\cdots)}{\partial x_1 ...
4
votes
1answer
128 views

Differential Operator Simplification

Does anyone know the explicit formulation for the $q_k$'s in, $$(x+D)^n=\sum_{k=0}^n q_k(x)D^k\ \ \ \ ?$$ I know that $e^{-x^2/2+x}$ is a fixed point of $(x+D)$. I also, know that ...
0
votes
0answers
104 views

projecting Laplacian onto tangent and normal bundles of submanifold

If I have a simple linear differential equation involving covariant derivatives such as $\nabla^2 g_{\mu\nu}+ 2g_{\mu\nu}=0$ on a (pseudo-Riemannian) manifold, and I have (say a codimension-2) ...
1
vote
0answers
133 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]$: ...
1
vote
1answer
116 views

Laplacian on space of measures

Let $X$ be a compact Riemannian manifold and let $\mathcal{M}(X)$ be the space of regular finite Borel measures with the total variation as norm. The Laplace-Belrami-Operator $\Delta$ on $X$ with ...
2
votes
1answer
85 views

Eigenvalue problem of an operator involving the exterior derivative of differential forms

Consider two functions $\alpha,\beta: \mathbb{R}^2 \to \mathbb{R}$, where $\alpha$ is given and we look for solutions $\beta$ such that $$*(d\alpha \wedge d\beta) = \lambda \beta$$ for some $\lambda ...
1
vote
1answer
158 views

de Rahm Laplace operator on forms bounded

Let $M$ be a closed differentiable manifold. Let $E^{p}(M)$ be the vector space of $p$-forms on $M$ equipped with the $L^{2}$-inner product $(\alpha, \beta) = \int_{M}\alpha \wedge \star \beta$. The ...
0
votes
0answers
290 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 ...
6
votes
3answers
232 views

On formal solutions to differential equations

Let $k$ be a field of characteristic zero. Put $K=k[\![ t]\!]$ and $W=k\langle t,\partial\rangle / ([\partial,t]=1)$. Then $W$ operates on $K$ in the obvious way ($\partial f = \frac{d f}{dt}$), and ...
13
votes
2answers
510 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 ...
7
votes
0answers
82 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 ...
1
vote
0answers
58 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 ...
13
votes
1answer
467 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 ...
7
votes
0answers
318 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)$ ...
1
vote
1answer
65 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 ...
4
votes
1answer
142 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
vote
0answers
90 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 ...
2
votes
0answers
244 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} ...
4
votes
1answer
220 views

Question about a (relatively simple looking) differential operator and its eigenvalues

A colleague and I are interested in a specific differential operator on the reals. The differential operator L is of the form $L=-(1+x^{2})\frac{d^{2}}{dx^{2}}+c_{1}x\frac{d}{dx}+c_{2}x^{2}$ for ...
2
votes
2answers
231 views

Schrodinger's equation via Spectral Theorem

How do you prove basic facts on the Schrodinger equation using the spectral theorem? More precisely, here is what I have in mind. The version of the Spectral Theorem I am familiar with is the ...