# Tagged Questions

89 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, ...
95 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) ...
217 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 ...
212 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 ...
133 views

### Is the ideal membership problem solvable for differential ideals? Is there a good notion of a Gröbner basis?

Let $K$ be a field of characteristic zero. Let $\Omega = K[x_1, \dots, x_n, dx_1, \dots, dx_n]$ be the differential ring of algebraic differential forms over $K[X_1, \dots, X_n]$. Is there an ...
395 views

### Precise versions of “differential operators are unbounded but closed linear operators”

I am trying to understand to what extent the following result of Hille is an extension of the usual theorems on differentiation under the integral sign. Theorem (Hille). Let $(\Omega,\Sigma,\mu)$ ...
975 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 ...
245 views

### Fredholm alternative result for general elliptic system?

Now I have known that Fredholm alternative result is valid for the strong elliptic system. But I'm not sure that is it still valid for the general elliptic system, in which the second-order heading ...
337 views

### Does the operator $\mathrm{id}-t\Delta$ or its Green's function have a name?

Consider a Riemannian manifold and let $\mathrm{id}$ be the identity operator, let $\Delta$ be the scalar, negative-semidefinite Laplace-Beltrami operator, and let $t > 0$ be a parameter. Does ...
259 views

### Leibniz rule for Pseudo-differential operators of negative order

Does anyone know of some good references for a fractional Leibniz rule for pseudo-differential operators of negative order? As a specific example, I would like to compute $\partial_{x}^{-1}(uv)$, ...
843 views

### book on PDE on manifolds

let $M$ be a Riemannian manifold and $\alpha$ be any some unknown form on $M$. I am interested in solutions or some references of the equation of type $(d + \delta) \alpha = 0$ where $\delta$ is the ...
359 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 ...
446 views

### A name for PDE systems which are neither under- nor overdetermined?

The concepts of overdetermined and underdetermined PDE systems are well known. However, all sources I have so far looked into appear to avoid giving any name to PDE systems which are neither ...
Hi, Consider a system of linear differential equations $${d f \over dz} = A(z) f,$$ where $A(z)$ is a matrix-function. If $z \in \mathbb{R}$ and the function is periodic $A(z) = A(z + T)$, ...
Let $P = a_n(x) D_x^n + a_{n-1}(x) D_x^{n-1} + \ldots + a_0(x)$ be a linear ordinary differential operator with polynomial (or real analytic) coefficients $a_j(x)$. Suppose that $a_n(x)$ doesn't ...