3
votes
1answer
355 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
103 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
101 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) ...
6
votes
3answers
226 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 ...
4
votes
1answer
216 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 ...
3
votes
1answer
135 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 ...
1
vote
1answer
430 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)$ ...
13
votes
5answers
1k 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 ...
7
votes
2answers
257 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 ...
3
votes
1answer
342 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 ...
2
votes
1answer
269 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)$, ...
1
vote
3answers
854 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 ...
3
votes
0answers
360 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 ...
3
votes
1answer
452 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 ...
4
votes
2answers
417 views

Is there a generalization of Floquet theory to elliptic functions?

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)$, ...
3
votes
5answers
470 views

Analytic hypoellipticity of linear ordinary differential operators

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