arxiv: v1 [math-ph] 4 Feb 2008

Transcription

1 On the local energy decay of solutions of the Dirac equation in the non-extreme Kerr-Newman metric, I arxiv:8.4v1 [math-ph] 4 Feb 8 M. Winklmeier, O. Yamada November 8, 18 Abstract 375.ptWe investigate the local energy decay of solutions of the Dirac equation in the non-extreme Kerr-Newman metric. First, we write the Dirac equation as a Cauchy problem and define the Dirac operator. It is shown that the Dirac operator is selfadjoint in a suitable Hilbert space. With the RAGE theorem, we show that for each particle its energy located in any compact region outside of the event horizon of the Kerr-Newman black hole decays in the time mean. 1 Introduction The Kerr-Newman metric is the most general stationary solution of Einstein s field equations and has the physical interpretation of a massive charged rotating black hole. The physical parameters M, Q and a = J/M have the interpretation as mass, electric charge and angular momentum parameter. As in flat spacetime, a spin- 1 particle is described by a Dirac equation. In the Kerr- Newman metric, the Dirac equation is given by the coupled system of partial differential equations see, e.g., [Pag76], [Cha98] where R := R+Â Ψ = 1 imr R t,ϕ + imr R t,ϕ R t,ϕ imr, R t,ϕ + imr  := D L t,ϕ + D L t,ϕ L t,ϕ + D D L t,ϕ winklmeier@math.unibe.ch yamadaos@se.ritsumei.ac.jp 1

2 and D := amcosθ, 3 R t,ϕ ± := r ± i [ r +a i t +ai ] ϕ +eqr on r +,, 4 L t,ϕ ± := θ + cotθ [ asinθ i t + 1 sinθ i ] on,π. 5 ϕ The physical parameters m and e are the mass and the electric charge of the spin- 1 - particle which is described by the wave function Ψ. The functions and Σ are given by r = r Mr+a +Q = r M +a +Q M, Σr,θ = r +a cos θ. According to the black hole parameters M, Q and a, three cases can arise: If a + Q M <, then the function has exactly two distinct zeros; this case is called the non-extreme Kerr-Newman metric. If a + Q M =, then the function has exactly one zero; this case is referred to as the extreme Kerr-Newman metric. In both cases the metric is interpreted physically as the spacetime generated by a charged rotating massive black hole. If a +Q M >, then the function has no zeros; in this case the Kerr-Newman metric has no interpretation as the metric of a black hole. It is a remarkable fact that the Dirac equation 1 can be separated into ordinary differential equations. This was first shown by Chandrasekhar [Cha76].The first step is to separate the dependence on the coordinates t and ϕ by the ansatz Ψr,θ,ϕ,t = e iωt Ψr,θ,ϕ, 6 ω R. We call ω an energy eigenvalue of equation 1 if it has a solution of the form 6 which is square integrable in the sense explained below in section. The separation of the Dirac equation into ordinary differential equations is achieved by the ansatz X rs + θ Ψr,θ,ϕ,t = e iωt e iκϕ X + rs θ X + rs + θ X rs θ with κ Z+ 1. One obtains two differential equations, the so-calledradial equation for the radial coordinate r and the so-called angular equation for the angular coordinate θ. Both equations can be written as eigenvalue problems for selfadjoint operators in appropriate Hilbert spaces. The spectrum of the corresponding angular operator consists of simple and discrete eigenvalues which are unbounded from below and above see, e.g., [Win6]. Belgiorno and Martellini [BM99] showed that the spectrum of the radial equation comprises all of the real axis. Recently, it was shown that in the non-extreme Kerr-Newman metric no embedded eigenvalues exist. In the extreme Kerr-Newman case, however, embedded eigenvalues can existsee[sch4] and[wy6]. In this paper we investigate the local energy decay of solutions of the Dirac equation1. We assume that the non-extreme case holds, that is, there are no energy eigenvalues.

3 We do not employ the separation ansatz described above, but we rewrite the Dirac equation as a Cauchy problem. After some transformations, we obtain the equation i t Ψx,θ,ϕ,t = Sx,θ 1 HΨx,θ,ϕ,t 7 where Sx,θ is a bounded and boundedly invertible 4 4-matrix and H is the formal Dirac operator associated with the Dirac equation 1. We show that the expression H on the right hand side has a selfadjoint realisation H in an appropriate Hilbert space Theorem.1. The operator H can be written as the sum over partial wave operators H κ, κ Z. In order to apply the RAGE theorem to the Dirac operator, we show in Theorem 3.3 that it enjoys a Rellich type property. One of our main results in this paper is Theorem 4. which shows the local energy decay of the wave functions in the time mean: Let U κ be the group associated with the skew-selfadjoint operator is 1 H κ. Then, any function f which is subjected to the time evolution given by 7 satisfies lim T [ 1 T R T T R ] U κ tfx,θ dxdθ dt =. C 4 for every R >. Since the expression in the square brackets is related to the energy of the particle described by f at time t in the region Ω := R,R,π, this result is related to the decay of the particle s energy in Ω. The above result remains valid eqr if the bounded electric potential r +a given by the background metric is substituted by a possibly unbounded potential q satisfying q C 1 qr r +,, lim r r exists, q r = Or, as r. The local energy decay has also been investigated by Finster, Kamran, Smoller and Yau [FKSY3]. They restrict the Dirac operator to an annulus outside the event horizon and impose Dirichlet type boundary conditions so that the restricted operator has purely discrete spectrum. Hence the propagator associated with it is a sum of projections. Extending the radii of the annulus to the event horizon and infinity, respectively, the sum of the propagator representation becomes an integral. Our approach, however, deals directly with the Dirac operator in the exterior of the black hole. Using the fact that the partial wave operators H κ have no point spectrum, the local energy decay of wave functions with initially compact support follows by methods from scattering theory. In particular, we do not impose any additional boundary conditions. Transformation of the Dirac equation to a Cauchy problem To investigate the time evolution of solutions of the time-dependent Dirac equation we rewrite it as a Cauchy problem. In the following, we use the Pauli matrices to abbreviate notation: 1 σ 1 =, σ 1 = i i, σ 3 =

4 In addition, let 1 I σj I =, β =, Σ 1 I j =, j = 1,,3. σ j For the ϕ-coordinate we always assume the boundary condition Ψr,θ,ϕ = Ψr,θ,ϕ+ π. In the rest of the paper we use the notation Ω 3 :=,,π [,π, Ω :=,,π. Theorem.1. Assume that the function has at least one real zero that is, either the extreme or the non-extreme Kerr-Newman case holds and denote the largest zero by r +. Define the new radial coordinate x, by dx dr = r +a r. 8 To keep notation simple, we often write r instead rx. A function Ψ is a solution of the Dirac equation 1 if and only if i t Ψ = S 1 HΨ 9 where Ψx,θ,ϕ,t = sinθ 1/ Ψrx,θ,ϕ,t, 1 S = I + a sinθ r +a σ, σ H = H 1 +H, h1 H 1 =, h h1 1 = σ 3 i r r +a σ 1 i θ +σ 1 sinθ i, ϕ H = 1 I r +a ai I ϕ +eqr mr I r +a + am cosθ ii I r +a. ii Moreover, the operator H defined by H Ψ = HΨ, DH = C Ω is essentially selfadjoint in the Hilbert space L Ω 3 4 and the operator S 1 H is essentially selfadjoint in the Hilbert space L S Ω 3 4 := L Ω 3 4 given by Ψ, Φ S = Ψ, SΦ = R with scalar product, S accordingly, the norm on L S Ω 3 will be denoted by S. Ψx,θ,ϕ, Sx,θΦx,θ,ϕ C 4dxdθdϕ; 4

5 Let H be the closure of H. Then S 1 H is the closure of S 1 H, and we call S 1 H the time-independent Dirac operator in the Kerr-Newman metric. Remark.. Observe that for each x,θ,,π the matrix Sx,θ is bounded and boundedly invertible since a sinθ rx +a a rx rx +a 1. Therefore, the norms on L Ω 3 4 and L S Ω 3 4 are equivalent. Proof of Theorem.1. First we rearrange equation 1 such that all time derivatives are on the left hand side and all other terms are on the right hand side, thus we obtain [ iσ 3 + a sinθ σ ] 1 iσ 3 r +a i = σ 1 t Ψx,θ,ϕ,t [ I + I x + r +a iσ iσ θ σ 1 r +a i sinθ σ 1 ϕ + 1 r +a iσ 3 ai iσ 3 ϕ +eqr + imr σ3 r +a + am ] cosθ σ3 Ψx,θ,ϕ,t. σ3 r +a σ3 Multiplication from the left by iσ 3 iσ 3 yields [ I + a ] sinθ σ r +a i σ t Ψx,θ,ϕ,t [ σ3 = i σ 3 x + σ1 r +a i σ 1 θ σ + r +a i sinθ σ ϕ 1 I r +a ai I ϕ +eqr mr I r +a + am cosθ I r +a = H 1 +H Ψx,θ,ϕ,t, ii ] ii Ψx,θ,ϕ,t thus the first assertion of the theorem is proved. By Remark. the norms on L Ω 3 4 and LS Ω 3 4 are equivalent. Hence, H is essentially selfadjoint in L Ω 3 4 if and only if S 1 H is so in LS Ω 3 4. Therefore, it suffices to show that H is essentially selfadjoint. Since ϕ with the boundary condition stated at the beginning of this section has the complete system of eigenfunctions e iκϕ κ Z+1/ and all the differential expressions 5

6 in the equation above commute with ϕ, each Ψ L Ω 3 R has a representation Ψx,θ,ϕ,t = κ Z+1/ Ψ satisfies 9 if and only if each Ψ κ satisfies e iκϕ Ψ κ x,θ,t. i t Ψκ = S 1 H κ Ψ κ 1 where H κ, H κ 1 and H κ are obtained from H, H 1 and H by substituting i ϕ with κ. Moreover, H is essentially selfadjoint if and only if each partial wave operator H κ the restriction of H to the partial wave space represented by e iκϕ is essentially selfadjoint. In Proposition.4 below, it is shown that h κ 1,, defined by h κ 1, Ψκ = h κ 1 Ψκ, Dh κ 1, = C Ω, 13 is essentially selfadjoint in L Ω with the usual scalar product. Since both H 1 and S 1 have diagonal structure and H κ defines a bounded selfadjoint operator on LS Ω 4, the assertion on the essential selfadjointness of H κ, κ Z, and therefore of H follows. Lemma.3. For κ Z+1/ let 1 A κ := 1 θ + κ sinθ 1 1 and define the unitary matrix W := 1. i The operator A κ is the angular part of the Dirac equation 1 arising from Chandrasekhar s separation process in the case a =. i For each κ Z + 1/, the operator A κ with domain C,π is essentially selfadjoint in L,π, dθ. We denote its closure again by A κ. It is compactly invertible and its spectrum consists of simple eigenvalues only, given by λ κ m := signm κ 1 + m, m = ±1, ±,. We denote the corresponding normalized eigenfunctions by g κ m. ii For every m Z\{} we have λ κ m = λ κ m and σ 3 g κ m = g κ m. iii WA κ W 1 = W 1 A κ W = iσ 3 A κ. iv W 1 h κ 1 W = W 1 σ 3 W i x r +a A κ = σ 3 i x r +a A κ. 6

7 Proof. For i, we refer to [Win6]. Statements iii and iv are easily verified by direct computation. To prove ii we observe that all eigenvalues of A κ are simple and that 1 A κ σ 3 g κ m = σ 3σ 3 A κ σ 3 g κ m = 1 1 = 1 1 A κ g 1 m κ 1 A 1 κ gm κ 1 = λκ m g 1 m κ = λκ m σ 3gm κ. = λκ m σ 3gm κ. Proposition.4. The minimal operator h κ 1, defined in 13 by h κ 1, ψ = hκ 1 ψ = σ 3 i r r +a σ 1 i θ +σ 1 sinθ i ψ, ϕ Dh κ 1, = C,,π is essentially selfadjoint in the space L Ω 4. Proof. Obviously, h κ 1 is hermitian and h κ 1, is symmetric. Hence, the lemma is proved if we have shown that kerh κ 1, ±i = {}. The equality hκ 1, ψ = ±iψ is equivalent to [ W 1 h κ 1, W ]W 1 ψ = ±iw 1 ψ with the matrix W as defined in Lemma.3. If we set ϕ := W 1 ψ, then, by Lemma.3, the equation above is equivalent to [σ 3 i ] + x r +a A κ ϕ = ±iϕx,θ. 14 Since the set of eigenfunctions of the operator A κ, denoted by g κ n as in Lemma.3, is complete in L,π, dθ, we can expand the function ϕ in 14 as ϕx,θ = m Z\{} ξ m xg κ mθ with functions ξ m L,,dx. Thus 14 yields ±i m Z\{} ξ m xg m θ = m Z\{} = m Z\{} i x σ 3ξ m xg κ mθ+ m Z\{} i x ξ mxg m θ+ λκ m r +a ξ mxgmθ. κ r +a ξ mxa κ g κ mθ 7

8 Taking the scalar product with g µ θ in C and integrating with respect to θ yields on the left hand side ±i m Z\{} and on the right hand side m Z\{} = Hence we obtain ξ m g κ m θg µ θ C dθ = ±i = ±iξ µ m Z\{} ξ m g κ m θg µ θ dθ C i x ξ mxg m θ+ λκ m r +a ξ mxgmθ, κ g µ θ dθ C m Z\{} + m Z\{} i x ξ mx λ κ m r +a ξ mx g m θ, g µ θ C dθ = i x ξ mx+ λκ m r +a ξ mx. g m θ, g µ θ C dθ g m θ, g µ θ C dθ ±iξ µ x = i x ξ µx+ λκ µ r +a ξ µx. 15 An analogous procedure with g µ gives ±iξ µ x = i x ξ µx+ λκ µ r +a ξ µx. 16 Combining equations 15 and 16 we obtain ±i ξ µ = ξ µ Themultiplicationoperator λκ µ that the operator i d dx i d dx λ κ µ r +a i d dx i d dx λκ µ r +a ξ µ. 17 ξ µ r +a isboundedon L,,dxanditiswellknown with domain C, is essentially selfadjoint in L,,dx, see, for instance, [Wei87, Ch.6.B]. Hence the same is true for λ κ m r +a d i dx and equation 17 has only the trivial solution in L,,dx. d i dx λκ µ r +a This, however, implies that also equation 14 has only the trivial solution and the lemma is proved. Let H κ be the unique selfadjoint extension of H κ see 1. The following result is proved in [Sch4]. Proposition.5. For each half-integer κ, the spectrum σh κ coincides with R, and H κ has no eigenvalues. 8

9 3 Rellich property Definition 3.1. Let Ω be an open set in R n and T a selfadjoint operator on L Ω. We say that T has the Rellich property, if the following is true: Let F DT be such that there exists a positive constant K such that f + Tf K, f F. Then F is precompact in L loc Ω for every bounded open set Ω Ω, that is, every sequence f n n F has a subsequence f nk k which convergesstronglyin L Ω. As usual, we identify functions f F with the corresponding functions f Ω L Ω. The classical result that differential operators in L R d have the Rellich property is cited in the appendix. The aim of this section is to show that H κ has the Rellich property. First we proof the following technical lemma needed for Theorem 3.3. Lemma 3.. Let W and A κ, κ Z+1/ be defined as in Lemma.3 and let H κ be the Dirac operator in the κ-th partial wave space see Theorem.1. Then there exists a positive constant K such that R x Ψ jx,θ j=1 C + r +a A κψ j x,θ C dθdx K S 1 H κ Ψ S + Ψ S for all Ψ = t Ψ 1,Ψ DS 1 H κ where Ψ j L S Ω, j = 1,. Proof. First assume Ψ C Ω 4. Observe that 1 I + asinθ r +a βσ 1, r,θ,,π. With the notation of Section we write S 1 H κ as the sum of an unbounded operator S 1 H κ 1 and a bounded S 1 H κ and obtain Recall that 18 S 1 H κ Ψ S 1 S 1 H κ 1 Ψ S S 1 H κ Ψ S = 1 S 1/ H κ 1 Ψx,θ C 4dxdθ S 1 H κ Ψ S R 1 H κ 1 Ψx,θ C 4 4dxdθ S 1 H κ Ψ S. 19 H κ 1 = = R σ3 i σ3 + x [ σ3 i + σ3 x W 1 A κ W r +a r +a iaκ i A κ W 1 A κ W by Lemma.3. Since the first matrix in the above representation is unitary, we obtain ]. 9

10 H κ R 1 Ψx,θ C dxdθ = R i x Ψx,θ+ iaκ r +a Ψx, θ dθdx ia κ C 4 = j=1 R i x Ψ jx,θ+ r +a ia κψ j x,θ dθdx C [ π ] = j=1 R x Ψ jx,θ + C r +a A κψ j x,θ C dθdx π + Ψ j x,θ, R xr +a A κ Ψ j x,θ dθdx C where in the last step we have used that i x is symmetric and A κ commutes with i x and performed integration by parts. There are no boundary terms since Ψ has compact support. There exists a positive constant C such that d dxr +a = dr d dxdr r +a = d r +a dr r +a = r +a r r +a + r M r +a C r +a 1 since the term in is continuous and tends to zero for x ±. Moreover, for every ε > Ψ j, A xr +a κ Ψ j L Ω Ψ j L Ω xr +a A κ Ψ j L Ω ε Ψ j L Ω 1 ε A xr +a κ Ψ j. L Ω Hence, from 19,, 1 and we obtain S 1 H κ Ψ 1 4 j=1 R [ x Ψ jx,θ + 1 ] C ε C r +a A κψ j x,θ C dθdx ε 4 Ψ L Ω 4 S 1 H κ Ψ S. 1

11 C If we choose ε small enough such that ε < 1 and observe that Ψ L Ω 4 S 1/ Ψ S then we can choose an K > large enough such that the estimate in the assertion holds. For any Ψ DH κ there exists a sequence Ψ n n such that Ψ n Ψ, H κ Ψ n H κ Ψ in LS Ω. Noticethatforthis sequencealsotheleft hand sideof 18convergesbythe dominated convergence theorem. Therefore, assertion holds for all Ψ DH κ. Note that K does not depend on Ψ but only on the L -bound C of d dr r +a. Theorem 3.3 Rellich property. Let κ be any half integer, R > and set Let Ψ n n DH κ such that Ω,R := R,R π,π, 3 Ψ n S + H κ Ψ n S K, n N, for some constant K >. Then there exists a subsequence Ψ nl l and a Φ L Ω,R 4 such that in L S Ω,R 4. Ψ nl Φ as l Remark 3.4. As usual, we identify elements Ψ L Ω 4 with elements of Ψ L Ω,R 4 by restriction. The assertion of the Theorem implies that there exists a subsequence Ψ nl l and a Φ L Ω 4 such that χ R Ψ nl χ R Φ as l in L S Ω 4. Proof of Theorem 3.3. Since the norms on LS Ω 4 and L Ω 4 are equivalent, it suffices to consider convergence in the latter space. Let Ψ n =: ψn, 1 ψn with ψn j L Ω, j = 1,. Lemma 3. and the existence of a positive constant δ > such that r +a δ, x R,R imply that there is an K > such that R π R x ψj n x,θ + A κ ψn j x,θ C dxdθ C j=1 K Ψ n S + Hκ Ψ n S KK, 4 for n N. Since L,π, dθ has a basis of orthonormal eigenfunctions g κ m m of A κ with corresponding eigenvalues λ κ m, m Z\{}, see Lemma.3. Hence ψ 1 n can be expanded in the double Fourier series ν,m u n = ν,mα ν,m,n e iνπx/r g κ mθ, α ν,m,n = 1 R R α ν,m,n = 1 R R R R ψ 1 n x,θ, e iνπx/r g κ m θ C dxdθ ψ 1 n dxdθ 1 R Ψ S. 11

12 Moreover, inequality 4 yields [ νπ/r +λ κ m ] α ν,m,n KK. ν,m For fixed ν,m the sequence α ν,m,n n is a bounded sequence, hence it contains a subsequence such that α ν,m,nl nl is a Cauchy sequence for any ν,m by a diagonal series argument. Thus for arbitray L > it follows that 1 R R R ψ 1 n l ψ 1 n j dxdθ = 1 R R R = νπ/r +λ κ m L + νπ/r +λ κ m L νπ/r +λ κ m L ψ 1 n l ψ 1 n j dxdθ = ν,m α ν,m,nl α ν,m,nj α ν,m,nl α ν,m,nj [ νπ/r +λ κ m ] α ν,m,nl α ν,m,nj νπ/r +λ κ m α ν,m,nl α ν,m,nj + KK 1+L, which shows that ψ nl l is a Cauchy sequence in L Ω. With the same argument we find that also the sequence ψ n l l, contains a convergent subsequence in L Ω. 4 Weak local energy decay Since H κ, κ Z\{} is selfadjoint in L S Ω 4, it is generator of a unitary group U κ t := exp its 1 H κ. 5 Theorem 4.1. Let κ Z\{}, R > and Ψ DH κ. For any sequence t n n R there exist a subsequence t nl l and Φ L Ω 4 such that in L Ω 4. U κ t nl Ψ Φ as l Proof. Let Ψ n := U κ t n Ψ. Then, for all n N, Ψ n S + S 1 H κ Ψ n S = U κ t n Ψ S + S 1 H κ U κ t n Ψ S = U κ t n Ψ S + U κ t n S 1 H κ Ψ S = Ψ S + S 1 H κ Ψ S. Thus the assertion follows by Theorem 3.3 with K = Ψ + H κ Ψ. Theorem 4.. For every R > and Φ LS Ω the time mean of the localization of Φ in R,R,π is to zero: [ 1 T R ] π lim U κ tφx,θ dxdθ dt =. T T C 4 T R 1

13 Proof. It is well-known that in the non-extreme Kerr-Newman case the operator H κ has no eigenvalues [Sch4], [WY6], see also Proposition.5. Let χ R x be the characteristic function of R, R. Then, the Rellich property Theorem 3.3 implies that χ R H κ +i 1 is a compact operator. Therefore, the assertion follows from the RAGE theorem, see [RS79]. The decay of the partial waves implies the decay of the solutions of the original Cauchy problem 9: Theorem 4.3. Let Ψ L S Ω 3 4. Its Fourier expansion Ψx,θ,ϕ = converges strongly in L S Ω 3 4 and κ Z+1/ κ Z+1/ e iκϕ Ψ κ x,θ Ψ κ x,θ S <. Then Ψx,θ,ϕ,t = e iκϕ U κ tψ κ x,θ κ Z+1/ is the unique weak solution of i t Ψ = S 1 H Ψ, Ψ = Ψ cf. 9 in L S Ω 3 4 and satisfies lim T for any R >. [ 1 T R T T R ] S 1/ Ψx,θ,ϕ,t dxdθdϕ dt = C 4 Remark 4.4. The above results remain still valid if the electric potential eqr in 4 is substituted by any real-valued C 1 qr -function qr defined on [r +, such that lim r r exists and q r = O1 as r. A Equivalent representations of the time-independent Dirac operator Remark A.1. Ifwedonotapplythetransformations8and1tothewavefunction Ψ, the time-independent Dirac equation takes the form i t Ψ = S 1 Ĥ Ψ 6 with Ĥ = Ĥ1 +H with H as in Theorem.1 and 13

14 ĥ1 Ĥ 1 =, ĥ1 ĥ 1 = σ 3 r +a i r r +a σ 1 i Ĥ is formally symmetric in the Hilbert space with the scalar product Ψ, Φ S = r + θ + cotθ L S := L r +,,π [,π 1 +σ sinθ i. ϕ Ψr,θ,ϕ, Sr,θ,ϕ Φr,θ,ϕ C 4 r +adr sinθdθdϕ. Remark A.. In Theorem.1 we have equipped the Hilbert space L,,π,π with a scalar product, S such that H is formally symmetric. Alternatively, we can work with the usual scalar product, but then we have to define the Dirac operator in the following way: H Ψ = S 1/ HS 1/ Ψ, D H = C,,π [,π4 on L,,π [,π 4 equipped with the usual scalar product Ψ, Φ = R Ψx,θ,ϕ, Φx,θ,ϕ C 4dxdθdϕ. Note that S leaves the space C,,π [,π 4 invariant. B Rellich s theorem Theorem B.1 Rellich s theorem. Let d N, K R d compact and Ω a bounded open neighbourhood of K. Further let s > t N. Then for each c > the set F := {u H s R d : u H s R d c, suppu K} is precompact in H t Ω, i.e., for each sequence f n n F there exists an f H t R d and a subsequence f nk k such that f nk f in H t Ω. Proof. See, e.g., [Miz73]. Acknowledgements M. W. is grateful for the hospitality at Ritsumeikan University, Kusatsu. The research work on this paper started during her visit at Ritsumeikan University, Kusatsu, supported by Open Research Center Project for Private Universities: matching fund subsidy from MEXT,

15 References [BM99] [BS6] F. Belgiorno and M. Martellini. Quantum properties of the electron field in Kerr-Newman black hole manifolds. Phys. Lett. B, 4531-:17, D. Batic and H. Schmid. The Dirac propagator in the Kerr-Newman metric. Progr. Theoret. Phys., 1163: , 6. [Cha76] S. Chandrasekhar. The solution of Dirac s equation in Kerr geometry. Proc. Roy. Soc. London Ser. A, : , [Cha98] S. Chandrasekhar. The mathematical theory of black holes. Oxford Classic Texts in the Physical Sciences. The Clarendon Press Oxford University Press, New York, Reprint of the 199 edition. [FKSY3] F. Finster, N. Kamran, J. Smoller, and S.-T. Yau. The long-time dynamics of Dirac particles in the Kerr-Newman black hole geometry. Adv. Theor. Math. Phys., 71:5 5, 3. [Miz73] [Pag76] [RS79] [Sch4] S. Mizohata. The theory of partial differential equations. Cambridge University Press, New York, Translated from the Japanese by Katsumi Miyahara. D. N. Page. Dirac equation around a charged, rotating black hole. Phys. Rev., D14: , Michael Reed and Barry Simon. Methods of modern mathematical physics. III. Academic Press [Harcourt Brace Jovanovich Publishers], New York, Scattering theory. H. Schmid. Bound state solutions of the Dirac equation in the extreme Kerr geometry. Math. Nachr., 74/75:117 19, 4. [Wei87] J. Weidmann. Spectral theory of ordinary differential operators, volume 158 of Lecture Notes in Mathematics. Springer-Verlag, Berlin Heidelberg New York London Paris Tokyo, [Win6] M. Winklmeier. The angular part of the Dirac equation in the Kerr-Newman metric: Estimates for the eigenvalues. PhD thesis, Universität Bremen, 6. [WY6] M. Winklmeier and O. Yamada. Spectral analysis of radial Dirac operators in the Kerr-Newman metric and its applications to time-periodic solutions. J. Math. Phys., 471:153, 17, 6. 15