4
$\begingroup$

Let

$$ P \;\colon\; \Gamma_\Sigma(E) \to \Gamma_\Sigma(\tilde E^\ast) $$

be a formally self-adjoint hyperbolic linear differential operator ($\tilde E^\ast$ denotes the densitized dual of a smooth vector bundle $E$) which has unique advanced and retarded Green functions $\mathrm{G}_{\pm}$. Then by prop. 2.1 in

  • Igor Khavkine, "Covariant phase space, constraints, gauge and the Peierls formula", Int. J. Mod. Phys. A, 29, 1430009 (2014) (arXiv:1402.1282)

there is an exact sequence of vector spaces of smooth sections the form

$$ 0 \to \Gamma_{\Sigma,cp}(E) \overset{P}{\longrightarrow} \Gamma_{\Sigma,cp}(\tilde E^\ast) \overset{\mathrm{G}}{\longrightarrow} \Gamma_{\Sigma,scp}(E) \overset{P}{\longrightarrow} \Gamma_{\Sigma,scp}(\tilde E^\ast) \to 0 \,, $$

where $\mathrm{G} := \mathrm{G}_+ - \mathrm{G}_-$ is the causal Green function, where "cp" means compact support and "scp" means spacelike compact support.

This implies in particular that linear functionals on the space $ker_{scp}(P)$ of solutions are equivalently those linear functionals on all compactly supported sections which are "distributional weak solutions" in that they vanish on the image of $P$:

$$ \left( ker_{scp}(P) \right)^\ast \underset{\simeq}{\overset{(-)\circ \mathrm{G}}{\longrightarrow}} \left( \Gamma_{\Sigma,cp}(\tilde E^\ast)/im(P) \right)^\ast $$

Question: With the usual topologies from distribition theory, is the analogous map of linear topological duals of topological vector spaces still an isomorphism?

$\endgroup$
2

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.