Abstract We consider the scalar wave equation in the Kerr geometry for Cauchy data which is smooth and compactly supported outside the event horizon. We derive an integral representation which expresses the solution as a superposition of solutions of the radial and angular ODEs which arise in the separation of variables. In particular, we prove completeness of the solutions of the separated ODE...

We extract verified algorithms for exact real number computation from constructive proofs. To this end we use a coinductive representation of reals as streams binary signed digits. The main objective paper is the formalisation proof that numbers are closed with respect to limits. All proofs theorem and first application implemented in Minlog system extracted terms further translated into Haskel...

If D is a bounded open subset of C", the set H = {ƒ: D —> C| ƒ is holomorphic and SD\f\ 2 < +°°} is a separable infinite-dimensional Hubert space relative to the inner product <ƒ, g) = fDfg. The completeness of H can be seen from Cauchy integral estimates. Similar estimates show that for any p E D the functional ƒ H* ƒ(/?),ƒ£ H, is continuous. Thus there is a unique element KD(z, p) E f/ (as a ...

A subset E of a metric space (X, d) is totally bounded if and only if any sequence of points in E has a Cauchy subsequence. We call a sequence (xn) statistically quasiCauchy if st − limn→∞ d(xn+1, xn) = 0, and lacunary statistically quasi-Cauchy if Sθ − limn→∞ d(xn+1, xn) = 0.Weprove that a subset E of ametric space is totally bounded if and only if any sequence of points in E has a subsequence...

The N-extended supersymmetric self-dual Poincaré supergravity equations provide a natural local description of supermanifolds possessing hyperkähler structure. These equations admit an economical formulation in chiral superspace. A reformulation in harmonic superspace encodes self-dual supervielbeins and superconnections in a graded skew-symmetric supermatrix superfield prepotential satisfying ...

We consider QED in a constant axial vector background. Lorentz invariance violation(LIV) occurs through radiative corrections. A detailed study of the phenomenology of the model is carried out, clarifying important issues related to the various regularizations employed . In this context, the physical meaning of the cutoffs induced by LIV is emphasized. Finally, finite temperature radiative corr...

In this work, we use Lorentz invariance violation (LIV) introduced as a generic modification to particle dispersion relations to study some consequences of single photon emission, known as vacuum Cherenkov radiation, and photon decay processes in cosmic and gamma rays. These processes are forbidden in a Lorentz invariant theory but allowed under the hypothesis of LIV. We show that the emission ...

Let D be the sheaf of analytic differential operators of n variables x1, . . . , xn. We consider a left ideal I of D generated by {l1, . . . , lm} which are in the Weyl algebra D = C〈x1, . . . , xn, ∂1, . . . , ∂n〉. If no confusion arises, we also denote by I the left ideal D ·{l1, . . . , ln} in D. Assume that D/I is holonomic. It was proved by M.Kashiwara that the germs of the k-th extension ...

In this contribution we deal with the development, theoretical examination and numerical examples of a method of lines approximation for the Cauchy problem for elliptic partial differential equations. We restrict ourselves to the Laplace equation. A more general elliptic equation containing a diffusion coefficient will be considered in a forthcoming paper. Our main results are the regularizatio...