The Hadamard parametrix on globally hyperbolic spacetimes with Robin boundary conditions: Fundamental solutions and Hadamard states
On a $d$-dimensional, $d\geq 2$, globally hyperbolic spacetime with a timelike boundary $(\mathcal{M},g)$, we investigate the Klein-Gordon equation with Robin boundary conditions. First of all, we prove existence and uniqueness of the advanced and retarded fundamental solutions, discussing in addition their structural properties. Secondly, under the hypothesis of infinitesimal convexity of $\partial\mathcal{M}$ and of local finiteness of boundary reflections for broken null bicharacteristics, we characterize their wavefront set in the interior $\mathring{\mathcal{M}}$, using the propagation of singularities theorem of Melrose and Sjöstrand. In the second part of the paper, we introduce a notion of Robin-Hadamard two-point correlation function as a positive distribution on $\mathcal{M}\times\mathcal{M}$ with prescribed antisymmetric part and singular structure, the latter being characterized in terms of its wavefront set. We complement this definition with a local Hadamard form. Up to a smooth remainder, this consists of the standard directed Hadamard parametrix together with additional contributions associated with the reflected null rays. Their coefficients are determined by transport equations supplemented by Robin matching conditions at the boundary. The construction applies to an arbitrary, but finite number of reflections. We prove that this local formulation is equivalent to the wavefront set condition, thereby establishing a counterpart of Radzikowski's theorem in the presence of a timelike boundary. Finally, starting from the ground state on suitable static backgrounds and using a deformation argument, we prove existence of Robin-Hadamard two-point correlation functions on the class of spacetimes considered.