1 Introduction

At the beginning of a paper devoted to a re-visitation of the spatial asymptotic theory in neutron transport the following question may be immediately asked: is it still worth doing it and to what objective? The computational power that is nowadays available with modern computers is such that the historical methods aiming at reducing the transport equation to a tractable form with limited computational resources seem completely useless and unworthy of any attention.

It is the authors’ opinion that it is still worth knowing about the asymptotic approach to neutron transport for several reasons. The methodology is physically very rich and mathematically elegant, and it allows a deep understanding of transport phenomena in multiplying systems. Therefore it is certainly educationally very useful, as it may give a good opportunity to better comprehend the basic principles of nuclear reactor physics. Furthermore, its fundamentals and its results may throw some further light on the multiscale modern methodology for the simulation of nuclear reactor cores and still be of help for various applications.

The idea of the asymptotic reactor theory is rooted in the early developments of nuclear reactor physics. Some ideas leading to the asymptotic theory can be found in a work devoted to study the modelling of the neutron slowing-down process, where also the basics of the \(\hbox {B}_{\mathrm {N}}\) method are illustrated [1]. Weinberg and Wigner observed that the theory of a homogeneous reactor can be reduced, at least approximately, to the theory of an infinite system [2]. They were thus able to give a consistent formulation of the first and second fundamental theorems of reactor physics, which concern the energy separability of the neutron distribution and the criticality theory. The validity of such theorems and their possible practical implications are discussed in some further works, e.g. [3,4,5]. The mathematical foundations of the theory are laid down by Case, Ferziger and Zweifel [6].

Some more recent works show how the theory can still play an important role for various applications; for instance, the idea presented in [7] to study the neutronics of lattices can be easily related to the asymptotic approach. In another work [8], an asymptotic-based leakage model is developed to account for the neutron transfer between homogeneous regions in the process of multigroup constant generation. Some applications in the time-dependent domain have also been attempted, leading to accurate full transport solutions and to a better understanding of the propagation phenomena in pulsed experiments [9].

The idea of approaching the solution of the transport equation using a Fourier transform goes back to the pioneering work by Case, De Hoffmann and Placzek [10]. In their work, a fully analytical solution to the transport equation is obtained in the infinite medium assuming the number of secondaries per collision to be smaller than one, which leads to a physically significant solution in the whole phase space domain. On the other hand, when assuming a number of secondaries per collision larger than one, the Fourier transform technique is still applicable, as shown in [10], leading to an oscillatory behaviour of the solution. As a consequence, the solution retains a physical meaning in a subdomain where it is nonnegative. This is the basis of spatial asymptotic theory and will be used throughout this work.

The following sections present the main aspects of asymptotic theory and its important consequences for the physical description of a chain-reaction nuclear reactor. The separability theorem is then established for both the neutron flux and the net current. The derivation of Fick’s law allows obtaining a consistent expression for the energy-dependent diffusion coefficient.

2 The fundamentals of the method

Before entering a more mathematically consistent analysis, some intuitive considerations can help in the understanding of the asymptotic idea. For large nuclear reactors, where the neutron balance is dominated by fissions, the experimental observation shows that, “if one looks from far enough”, only the global macroscopic behaviour of the neutron population may be detected. Therefore, only the macroscopic distribution of the neutrons is observed, which may be superimposed to a more detailed local microscopic behaviour that the observer cannot perceive. The interest is thus focused on the whole core, rather than on the fine structure at the pin-cell level. The spatially asymptotic observer is interested in the global behaviour of the reactor; for this observer the system can also be considered as materially homogeneous. In practical applications this is the case if cross sections are homogenized by means of a proper averaging process, at least on optically large spatial portions of the system. In elementary reactor theory based on the diffusion model for the homogeneous reactor one finds that the neutron population appears to be distributed as the fundamental Helmholtz eigenfunction for the geometry considered. However, in cases of practical interest in nuclear engineering, this is very close to reality also beyond the simple diffusion model, implying that the system is spatially “diffusive”. One could thus think of solving the problem in an infinite system, accepting solutions that are not everywhere physically meaningful, as being negative, but yielding the almost correct solution if one restricts his interest to the spatial domain of the reactor. This approach allows the elimination of the problem of the boundary conditions, and hence it is expected that the results may deteriorate if the contribution of boundary effects becomes important. As a consequence, the theory that is being developed will turn out to be adequate only for optically large systems.

The possibility to extend the system to infinity has very important mathematical consequences. As we will see in the following, it is possible to preliminarily remove the spatial detail and thus to concentrate on the energy and angular aspects of the transport phenomenon.

The transport equation may be written using a proper kernel \(P\left( {{\varvec{r}'\rightarrow \varvec{r}},E'\rightarrow E, {\varvec{\Omega }}} \right) \) so that

$$\begin{aligned} P\left( {\varvec{r}'\rightarrow \varvec{r},E'\rightarrow E, {\varvec{\Omega }}} \right) \hbox {d}\varvec{r}\hbox {d}E\hbox {d}{\varvec{\Omega }} \end{aligned}$$
(1)

describes the probability for a neutron isotropically generated by fission with energy \(E'\) at the spatial point \(\varvec{r}'\) to suffer a last collision within \(\hbox {d}\varvec{r}\), resulting in its emission with energy between E and \(E+\hbox {d}E\) and direction within the solid angle \(\hbox {d}{\varvec{\Omega }}\) around the direction \({\varvec{\Omega }}\). In the transfer from point \(\varvec{r}'\) to \(\varvec{r}\) through streaming and scatterings it is assumed that the neutron is not further multiplied. The transport equation can thus be written as:

$$\begin{aligned}&{{{\varvec{\Omega }}}} \cdot \nabla \phi \left( {{\varvec{r}},E,{\varvec{\Omega }}} \right) + \varSigma \left( E \right) \phi \left( {{\varvec{r}},E,{\varvec{\Omega }}} \right) \nonumber \\&\quad = \int _{{\mathfrak {R}^3}} \hbox {d}{\varvec{r}}'\left\{ \int \hbox {d}E'\chi \left( {E'} \right) \left[ {\int \hbox {d}E''\nu {\varSigma _f}\left( {E''} \right) \oint \hbox {d}{\varvec{\Omega }}'\phi \left( {{\varvec{r}}',E'',{\varvec{\Omega }}'} \right) } \right] \right. \nonumber \\&\qquad \left. \times P\left( {{\varvec{r}}' \rightarrow {\varvec{r}},E' \rightarrow E, {\varvec{\Omega }}} \right) \right\} \nonumber \\&\qquad + {{\chi \left( {{E}} \right) } \over {4\pi }}\int \hbox {d}E'\nu {\varSigma _f}\left( {E'} \right) \oint \hbox {d}{\varvec{\Omega }}'\phi \left( {{\varvec{r}}',E',{\varvec{\Omega }}'} \right) . \end{aligned}$$
(2)

Above Eq. (2) is a homogeneous (source-free) equation. The existence of a nontrivial solution that does not vanish everywhere in phase space can be studied introducing an eigenvalue. For instance, a factor 1/k can be introduced to multiply both terms in the r.h.s. of Eq. (2). In this case, k takes the meaning of multiplication factor and its determination is known as the criticality problem of nuclear reactor physics. However, in the present treatment, we prefer to discuss the problem of the existence through a different point of view, leading to an alternative formulation of the criticality problem involving a quantity that is known as the material buckling of the system.

The idea behind asymptotic theory amounts to assuming an infinite medium for which the structure of the transfer kernel simplifies, as it only depends on the distance between the point at which the neutron is generated by fission and the point at which it is observed to reach the energy considered. Furthermore, the emission direction shows an azimuthal symmetry; hence, it is possible to explicitly write down the infinite medium kernel averaged on the fission spectrum as:

$$\begin{aligned} P_{\infty } \left( {\left| {\varvec{r}-\varvec{r}'} \right| ,E,\frac{\left( {\varvec{r}-\varvec{r}'} \right) \cdot {\varvec{\Omega }}}{\left| {\varvec{r}-\varvec{r}'} \right| }} \right) \equiv \int \hbox {d}{E}'\chi (E')P({\varvec{r}}'\rightarrow {\varvec{r}},E'\rightarrow E, {\varvec{\Omega }}) \end{aligned}$$
(3)

Introducing the fission emission density as:

$$\begin{aligned} M\left( {\varvec{r}}\right) =\int \hbox {d}E \nu \varSigma _{f} \left( E \right) \oint \hbox {d}{\varvec{\Omega }}\phi \left( {\varvec{r},E,{\varvec{\Omega }}} \right) , \end{aligned}$$
(4)

it is possible to write the transport equation in the following form:

$$\begin{aligned}&{\varvec{\Omega }}\cdot \nabla \phi \left( {\varvec{r},E,{\varvec{\Omega }}} \right) +\varSigma \left( E \right) \phi \left( {\varvec{r},E,{\varvec{\Omega }}} \right) \nonumber \\&\quad =\int _{{\mathfrak {R}}^{3}} \hbox {d}{{\varvec{r}}}'M({\varvec{r}}')P_{\infty }\left( |{\varvec{r}}-{\varvec{r}}'|, E, \frac{({\varvec{r}}-{\varvec{r}}')\cdot {\varvec{\Omega }}}{|{\varvec{r}}-{\varvec{r}}'|}\right) +\frac{\chi (E)}{4\pi }M({\varvec{r}}). \end{aligned}$$
(5)

3 The transport equation in the Fourier transformed space

The integral term in the r.h.s. of Eq. (5) is of convolution type, and it is therefore suggesting the use of the Fourier transform [11] to deal with the problem. In the following the Fourier transform operator shall be denoted by the symbol \(\mathcal {F}\). From the properties of the kernel appearing in Eq. (3), it is straightforward to demonstrate that its Fourier transform takes the form:

$$\begin{aligned} \mathcal {F}\left\{ {P_{\infty } \left( {\left| {\varvec{r}} \right| ,E,\frac{\varvec{r}\cdot {\varvec{\Omega }}}{\left| {\varvec{r}} \right| }} \right) } \right\} =P_{F} \left( {k,E,\frac{\varvec{k}\cdot {\varvec{\Omega }}}{k}} \right) . \end{aligned}$$
(6)

Applying the Fourier transform to all the terms of Eq. (5) and making use of the convolution theorem, the following equation is obtained:

$$\begin{aligned} \left[ {\varSigma \left( E \right) -i{\varvec{\Omega }}\cdot \varvec{k}} \right] \phi _{F} \left( {\varvec{k},E,{\varvec{\Omega }}} \right) =M_{F} \left( {\varvec{k}} \right) \left[ {\left( {2\pi }\right) ^{\nicefrac {3}{2}}P_{F} \left( {k,E,\frac{\varvec{k}\cdot {\varvec{\Omega }}}{k}} \right) +\frac{\chi (E)}{4\pi }}\right] . \end{aligned}$$
(7)

It is now possible to divide both sides by the term \(\left[ {\varSigma \left( E \right) -i{\varvec{\Omega }}\cdot \varvec{k}} \right] \), multiply by \(\nu \varSigma _{f} \left( E \right) \) and integrate over angle and energy, in order to reconstruct the Fourier transform of the fission emission density on the l.h.s. of the equation. At last one finds:

$$\begin{aligned} \left\{ 1-\int \hbox {d}E\nu \varSigma _{f} \left( E \right) \oint \hbox {d}{\varvec{\Omega }}\frac{\left( {2\pi } \right) ^{\nicefrac {3}{2}}P_{F} \left( {k,E,\dfrac{\varvec{k}\cdot {\varvec{\Omega }}}{k}} \right) +\dfrac{\chi (E)}{4\pi }}{\varSigma \left( E \right) -i{\varvec{\Omega }}\cdot \varvec{k}}\right\} M_{F} \left( {\varvec{k}} \right) =0. \end{aligned}$$
(8)

The consequences of this result are very important. It is obvious that \(M_{F} \left( {\varvec{k}} \right) \) cannot vanish for all values of \(\varvec{k}\in \mathfrak {R}^{\mathrm {3}}\), because this would imply an everywhere vanishing solution for the angular flux in the transformed space as well as in the real geometrical space. As a consequence, its coefficient must vanish at some points in the transformed space to assure that \(M_{F} \left( {\varvec{k}} \right) \) can take there some non-zero values, explicitly:

$$\begin{aligned} 1=\int \hbox {d}E\nu \varSigma _{f} \left( E \right) \mathop \int \nolimits _{-1}^{1} \hbox {d}\mu \frac{\left( {2\pi } \right) ^{\nicefrac {5}{2}}P_{F} \left( {k,E,\mu } \right) +\dfrac{\chi (E)}{2}}{\varSigma \left( E \right) -i\mu }. \end{aligned}$$
(9)

This equation constitutes a criticality condition, and we shall see that the value of k for which it is satisfied establishes the wavelength of the spatial solution and hence the spatial domain in which it is physical meaningful.

In order to investigate on the nature of Eq. (9), let us consider the auxiliary problem of the determination of the solution \(\varphi \) of the transport equation in an infinite nonmultiplying medium injected by a fission point source:

$$\begin{aligned} {\varvec{\Omega }}\cdot \nabla \varphi \left( {\varvec{r},E,{\varvec{\Omega }}} \right) +\varSigma \left( E \right) \varphi \left( {\varvec{r},E,{\varvec{\Omega }}} \right) =P_{\infty } \left( {r,E,\dfrac{\varvec{r}\cdot {\varvec{\Omega }}}{r}} \right) +\dfrac{\chi (E)}{4\pi }\delta \left( {\varvec{r}} \right) . \end{aligned}$$
(10)

If the Fourier transform is taken, one obtains:

$$\begin{aligned} \left[ {\varSigma \left( E \right) -i{\varvec{\Omega }}\cdot \varvec{k}} \right] \varphi \left( {\varvec{k},E,{\varvec{\Omega }}} \right) =P_{F} \left( {k,E,\dfrac{\varvec{k}\cdot {\varvec{\Omega }}}{k}} \right) +\dfrac{\chi (E)}{\left( {2\pi } \right) ^{\nicefrac {3}{2}}4\pi }. \end{aligned}$$
(11)

By dividing by \(\left[ {\varSigma \left( E \right) -i{\varvec{\Omega }}\cdot \varvec{k}} \right] \) and integrating over direction it is immediate to find the following expression for the total flux \(\varphi _{0} \):

$$\begin{aligned} \varphi _{0} \left( {k,E} \right) =\dfrac{1}{\left( {2\pi } \right) ^{\nicefrac {3}{2}}}\int \nolimits _{-1}^{1} \hbox {d}\mu \frac{\left( {2\pi } \right) ^{\nicefrac {5}{2}}P_{F} \left( {k,E,\mu }\right) +\dfrac{\chi (E)}{2}}{\varSigma (E)-i\mu }. \end{aligned}$$
(12)

In conclusion, Eq. (9) is perfectly equivalent to the following condition involving the Fourier transform of the solution of problem (10):

$$\begin{aligned} \left( {2\pi } \right) ^{\nicefrac {3}{2}}\int \hbox {d}E\nu \varSigma _{f} \left( E \right) \varphi _{0} \left( {k,E} \right) =1. \end{aligned}$$
(13)

It can be verified that no matter what approximate energy model is adopted (see a following section for examples), \(\varphi _{0} \) is a monotonous decreasing function of the transformation parameter k; hence, also the energy integral appearing in the r.h.s. of Eq. (12) is a decreasing function of k. Consequently, if

$$\begin{aligned} \left( {2\pi } \right) ^{\nicefrac {3}{2}}\int \hbox {d}E\nu \varSigma _{f} \left( E \right) \varphi _{0} \left( {0,E} \right) >1, \end{aligned}$$
(14)

a unique real value of k shall satisfy Eq. (13). Such value is known as the material buckling of the problem and is denoted by \(B_{M} \). Condition (14) assumes the same physical role as the requirement in elementary criticality theory that the infinite medium multiplication factor must be larger than unity in order to allow to obtain a critical finite system. Criticality conditions in the multigroup model are also discussed in the following.

4 On the space–energy form of the neutron flux and its separability theorem

The discussion carried out in the previous section leads to very important consequences for the space–energy form of the solution of the transport equation. It has been concluded that only for \(k=B_{M} \), i.e. at the points belonging to a spherical surface of radius \(B_{M} \), the transform of the fission emission density can take nonzero values. Henceforth, to yield a nonzero solution in the geometrical space, on such surface it must be singular, namely it shall be of the following form:

$$\begin{aligned} M_{F} \left( {\varvec{k}} \right) =\dfrac{\delta \left( {k-B_{M} } \right) }{B_{M}^{2} }U\left( {B_{M} {\varvec{\omega }}} \right) , \end{aligned}$$
(15)

where \({\varvec{\omega }}\) is the direction of the vector \(\varvec{k}\) in the transformed space and the term \(B_{M}^{2} \) is irrelevant being the problem homogeneous and it is introduced to simplify algebra. The function U is quite arbitrary, and it is chosen in order to establish the symmetries and describe the geometrical configuration of the system. In “Appendix A” some simple cases are illustrated.

Applying the inverse Fourier transformation to the angular flux as obtained from Eq. (7), having substituted expression (15), it is possible to write an explicit expression for the angular flux:

$$\begin{aligned} \phi \left( {\varvec{r},E,{\varvec{\Omega }}} \right) =\dfrac{1}{4\pi }\oint \hbox {d}{\varvec{\omega }} U\left( {B_{M} {\varvec{\omega }}} \right) \dfrac{4\pi P_{F} \left( {B_{M} ,E,{\varvec{\omega }}\cdot {\varvec{\Omega }}} \right) +\dfrac{\chi \left( E \right) }{\left( {2\pi } \right) ^{\nicefrac {3}{2}}}}{\varSigma \left( E \right) -iB_{M} {\varvec{\omega }}\cdot {\varvec{\Omega }}}e^{-iB_{M} {\varvec{\omega }}\cdot \varvec{r}}. \end{aligned}$$
(16)

The total flux can be obtained by angular integration as:

$$\begin{aligned} \varPhi \left( {\varvec{r},E} \right) =\dfrac{1}{4\pi }{\oint }\hbox {d}{\varvec{\omega }} U\left( {B_{M} {\varvec{\omega }}} \right) e^{-iB_{M} {\varvec{\omega }}\cdot \varvec{r}}{\oint }d{\varvec{\Omega }}\dfrac{4\pi P_{F} \left( {B_{M} ,E,{\varvec{\omega }}\cdot {\varvec{\Omega }}} \right) +\dfrac{\chi (E)}{\left( {2\pi } \right) ^{\nicefrac {3}{2}}}}{\varSigma \left( E \right) -iB_{M} {\varvec{\omega }}\cdot {\varvec{\Omega }}}. \end{aligned}$$
(17)

Carrying out the integration over \({\varvec{\Omega }}\) first and noticing that the results of the first integral shall not depend on \({\varvec{\omega }}\), one can write the following important result for the total flux:

$$\begin{aligned} \varPhi \left( {\varvec{r},E} \right) =\varPsi \left( {E;B_{M} } \right) \oint \hbox {d}{\varvec{\omega }}U\left( {B_{M} {\varvec{\omega }}} \right) e^{-iB_{M} {\varvec{\omega }}\cdot \varvec{r}}\equiv \varPsi \left( {E;B_{M} } \right) f\left( {\varvec{r};B_{M} } \right) , \end{aligned}$$
(18)

which constitutes an explicit and general expression of the space–energy separability theorem of reactor physics (first fundamental theorem [2]). The function \(\varPsi \) is the flux energy spectral function that is only dependent on the material buckling, defined as:

$$\begin{aligned} \varPsi \left( {E;B_{M} } \right) =\dfrac{1}{4\pi }\oint \hbox {d}{\varvec{\Omega }}\dfrac{4\pi P_{F} \left( {B_{M} ,E,{\varvec{\omega }}\cdot {\varvec{\Omega }}} \right) +\dfrac{\chi (E)}{\left( {2\pi } \right) ^{\nicefrac {3}{2}}}}{\varSigma \left( E \right) -iB_{M} {\varvec{\omega }}\cdot {\varvec{\Omega }}}. \end{aligned}$$
(19)

It can be immediately proven that the spatial shape f of the total flux, and, hence, the total flux itself fulfils the Helmholtz equation, namely:

$$\begin{aligned} \nabla ^{2}\varPhi \left( {\varvec{r},E} \right) +B_{M}^{2} \varPhi \left( {\varvec{r},E} \right) =0. \end{aligned}$$
(20)

The validity of the results established by Eqs. (1820) is quite general, as they have been derived without any approximation of the exact transport model beyond the space asymptotic assumption. The validity, obviously, extends when applying all the approximations that are usually adopted in practical applications, such as the energy discretization (multigroup approach), angular expansions (e.g. spherical harmonics approximations), angular discretizations (discrete ordinate schemes) and/or spatial discretization.

At last, it is easy to write down an explicit expression for the fission density, upon inverse transformation of Eq. (15), as

$$\begin{aligned} M\left( {\varvec{r}} \right) ={\oint }\hbox {d}{\varvec{\omega }}U\left( {B_{M} {\varvec{\omega }}} \right) e^{-iB_{M} {\varvec{\omega }}\cdot \varvec{r}}. \end{aligned}$$
(21)

A useful reciprocity relationship is also easily demonstrated using Eq. (16), as:

$$\begin{aligned} \phi \left( {\varvec{r},E,{\varvec{\Omega }}} \right) =\phi \left( {-\varvec{r},E,-{\varvec{\Omega }}} \right) . \end{aligned}$$
(22)

5 On the space–energy form of the neutron current and its separability theorem

While the separability theorem for the neutron flux is well established and known, not so much interest seems to have been focused towards the behaviour of the neutron current in the space–energy domain. However, it is worthwhile to investigate the consequences of the previous results also in relation to the neutron current. From the definition of the net current:

$$\begin{aligned} \varvec{J}\left( {\varvec{r},E} \right) =\oint \hbox {d}{\varvec{\Omega }}\phi \left( {\varvec{r},E,{\varvec{\Omega }}} \right) {\varvec{\Omega }} \end{aligned}$$
(23)

it is possible to write:

$$\begin{aligned} \varvec{J}\left( {\varvec{r},E} \right) =\dfrac{1}{4\pi }\oint \hbox {d}{\varvec{\omega }}U\left( {B_{M} {\varvec{\omega }}} \right) e^{-iB_{M} {\varvec{\omega }}\cdot \varvec{r}}\left\{ {\oint \hbox {d}{\varvec{\Omega }}\dfrac{4\pi P_{F} \left( {B_{M} ,E,{\varvec{\omega }}\cdot {\varvec{\Omega }}} \right) +\dfrac{\chi (E)}{\left( {2\pi } \right) ^{\nicefrac {3}{2}}}}{\varSigma \left( E \right) -iB_{M} {\varvec{\omega }}\cdot {\varvec{\Omega }}}{\varvec{\Omega }}} \right\} .\nonumber \\ \end{aligned}$$
(24)

The integration over \({\varvec{\Omega }}\) is carried out firstly, and by a reasoning similar to the one made for the total flux, one obtains:

(25)

where

$$\begin{aligned} \mathbb {P}_{F} \left( {B_{M} ,E} \right) =\oint \hbox {d}{\varvec{\Omega }}P_{F} \left( {B_{M} ,E,{\varvec{\omega }}\cdot {\varvec{\Omega }}} \right) , \end{aligned}$$
(26)

independent of unit vector \({\varvec{\omega }}\), and the current spectral function of the net current is obviously defined as:

(27)

Through the discussion above it is thus verified that also the net neutron current is separable in space and energy. Furthermore, it turns out to be proportional to the gradient of total flux, Eq. (25), establishing a Fickian feature for the asymptotic transport process. A straightforward definition of the diffusion coefficient stems from Eq. (25):

(28)

The above definition may be practically useful, for instance, to obtain group diffusion constants for nuclear reactor full core simulations. Some further elaborations and numerical examples are found in the next section.

6 Some applications and numerical illustrations

In this section some applications are presented, referring to the multigroup model that allows a simple analytical approach. In particular, the theory is applied to the one- and two-group cases and some parametric numerical results are presented.

6.1 The study of the criticality condition in the one-group model

In order to derive the criticality condition in the one-group model, Eq. (13) is used, namely:

$$\begin{aligned} \left( {2\pi } \right) ^{\nicefrac {3}{2}}\nu \varSigma _{f} \varphi _{0} \left( k \right) =1. \end{aligned}$$
(29)

It is then required to determine the total neutron flux in response to a localized fission source by solving the following transport equation in the transformed space:

$$\begin{aligned} {\varvec{\Omega }}\cdot \nabla \varphi \left( {\varvec{r},{\varvec{\Omega }}} \right) +\varSigma \varphi \left( {\varvec{r},{\varvec{\Omega }}} \right) =P_{\infty } \left( {r,\dfrac{\varvec{r} \cdot {\varvec{\Omega }}}{r}} \right) +\dfrac{1}{4\pi }\delta \left( {\varvec{r}} \right) . \end{aligned}$$
(30)

It is straightforward to obtain

$$\begin{aligned} \left[ {\varSigma -i{\varvec{\Omega }}\cdot \varvec{k}} \right] \varphi \left( {\varvec{k},{\varvec{\Omega }}} \right) =\dfrac{\varSigma _{s} }{4\pi }\varphi _{0} \left( k \right) +\dfrac{1}{\left( {2\pi } \right) ^{\nicefrac {3}{2}}4\pi }, \end{aligned}$$
(31)

and consequently:

$$\begin{aligned} \varphi _{0} \left( k \right) =\dfrac{1}{\left( {2\pi } \right) ^{\nicefrac {3}{2}}}\oint \hbox {d}{\varvec{\Omega }}\dfrac{1}{\varSigma \left( E \right) -i\varvec{k}\cdot {\varvec{\Omega }}}\left[ {\dfrac{\varSigma _{s} }{4\pi }\varphi _{0} \left( k \right) +\dfrac{1}{\left( {2\pi } \right) ^{\nicefrac {3}{2}}4\pi }} \right] , \end{aligned}$$
(32)

and, performing the integration:

$$\begin{aligned} \varphi _{0} \left( k \right) =\dfrac{1}{\left( {2\pi } \right) ^{\nicefrac {3}{2}}}\frac{\dfrac{1}{k}\tan ^{-1}\dfrac{k}{\varSigma }}{1-\dfrac{\varSigma _{s} }{k}\tan ^{-1}\dfrac{k}{\varSigma }}. \end{aligned}$$
(33)

At last, using Eq. (29), the final form of the criticality condition takes the form:

$$\begin{aligned} \nu \varSigma _{f} \dfrac{\dfrac{1}{k}\tan ^{-1}\dfrac{k}{\varSigma }}{1-\dfrac{\varSigma _{s} }{k}\tan ^{-1}\dfrac{k}{\varSigma }}\equiv f\left( k \right) =1, \end{aligned}$$
(34)

which allows to determine the critical buckling \(B_{M} \) and has a validity in the transport model within the space asymptotic theory. In the limiting case of small values of \(k/\varSigma \), one retrieves the well-known diffusion result:

$$\begin{aligned} B_{M}^{2} =\dfrac{k_{\infty } -1}{L^{2}}, \end{aligned}$$
(35)

with the usual definitions of the diffusion parameters. Observing Eq. (34), one can immediately notice a similarity with the eigenvalue equation for the infinite medium characterized by a number of secondaries per collision smaller than one [12]. However, in such a case, the two solutions will turn out to be purely imaginary, yielding the diffusive portion of the solution in the infinite medium. On the contrary, Eq. (34) yields a real solution for k.

A plot of the critical function f is reported in Fig. 1 for different values of the number of neutrons emitted per scattering \(c=\varSigma _{s} /\varSigma \), clearly showing that it is monotonously decreasing with k, as anticipated. The critical values of k obtained by diffusion theory are also marked in the graph. As can be seen in the graph and better shown in Table 1, the difference between diffusion and the asymptotic transport model increases as c is reduced.

Fig. 1
figure 1

Behaviour of the critical function f for different values of the number of secondaries per scattering c (the total cross section \(\varSigma \) is assumed unitary and \(k_{\infty } =1.2)\). The critical condition in diffusion theory is identified by the marker *

It is also possible to obtain a consistent formula for the diffusion coefficient applying formula (28) for the specific case and obtaining the explicit expression:

$$\begin{aligned} D\left( {B_{M} } \right) =\dfrac{\varSigma }{B_{M}^{2} }\left[ {\dfrac{1}{\dfrac{\varSigma }{B_{M} }\tan ^{-1}\dfrac{B_{M} }{\varSigma }}-1} \right] . \end{aligned}$$
(36)

The above formulation can also be retrieved as a limit of the diffusion coefficient that may be defined within the spherical harmonics method, as it has been recently shown [13].

Table 1 Comparison between the critical bucklings evaluated using diffusion theory (\(k_\mathrm{diff} \)) and asymptotic transport (\(k_\mathrm{asymp} \)) for different values of c (the total cross section \(\varSigma \) is assumed unitary)

6.2 The two-group case

Let us consider a problem characterized by only thermal fissions, emitting neutrons only in the fast group (\(\chi _{1} =1\)). The emissions from scattering are assumed to be isotropic, and up-scattering is absent. To apply Eq. (13) the following system of coupled equations has to be solved in the Fourier transformed space:

$$\begin{aligned} \left\{ {{\begin{array}{*{20}c} {{\varvec{\Omega }}\cdot \nabla \varphi _{1} \left( {\varvec{r},{\varvec{\Omega }}} \right) +\varSigma _{1} \varphi _{1} \left( {\varvec{r},{\varvec{\Omega }}} \right) =\dfrac{\varSigma _{11} }{4\pi }\varphi _{1,0} +\dfrac{1}{4\pi }\delta \left( {\varvec{r}} \right) } \\ {{\varvec{\Omega }}\cdot \nabla \varphi _{2} \left( {\varvec{r},{\varvec{\Omega }}} \right) +\varSigma _{2} \varphi _{2} \left( {\varvec{r},{\varvec{\Omega }}} \right) =\dfrac{\varSigma _{22} }{4\pi }\varphi _{2,0} +\dfrac{\varSigma _{21} }{4\pi }\varphi _{1,0} .} \\ \end{array} }} \right. \end{aligned}$$
(37)

Using the results derived in the previous subsection it is possible to obtain for the total flux in the fast group:

$$\begin{aligned} \varphi _{1,0} \left( k \right) =\dfrac{1}{\left( {2\pi } \right) ^{\nicefrac {3}{2}}}\dfrac{\dfrac{1}{k}\tan ^{-1}\dfrac{k}{\varSigma _{1} }}{1-\dfrac{\varSigma _{11} }{k}\tan ^{-1}\dfrac{k}{\varSigma _{1} }}, \end{aligned}$$
(38)

and, using this result in the second equation, the total flux for the thermal group is also obtained:

$$\begin{aligned} \varphi _{2,0} \left( k \right) =\dfrac{1}{\left( {2\pi } \right) ^{\dfrac{3}{2}}} \dfrac{\dfrac{\varSigma _{21} }{k}\tan ^{-1}\dfrac{k}{\varSigma _{1} }}{1-\dfrac{\varSigma _{11} }{k}\tan ^{-1}\dfrac{k}{\varSigma _{1} }}\dfrac{\dfrac{1}{k}\tan ^{-1}\dfrac{k}{\varSigma _{2} }}{1-\dfrac{\varSigma _{22}}{k}\tan ^{-1}\dfrac{k}{\varSigma _{2} }}. \end{aligned}$$
(39)

In conclusion, for the particular physical problem of interest, the criticality condition shall be written in the following form:

$$\begin{aligned} \nu \varSigma _{f,2} \dfrac{\dfrac{\varSigma _{21} }{k}\tan ^{-1}\dfrac{k}{\varSigma _{1} }}{1-\dfrac{\varSigma _{11} }{k}\tan ^{-1}\dfrac{k}{\varSigma _{1} }}\dfrac{\dfrac{1}{k}\tan ^{-1}\dfrac{k}{\varSigma _{2} }}{1-\dfrac{\varSigma _{22} }{k}\tan ^{-1}\dfrac{k}{\varSigma _{2} }}\equiv f\left( k \right) =1. \end{aligned}$$
(40)

The above results can be easily generalized by induction to any number of energy groups.

Some numerical results are now presented for a system characterized by the material data given in Table 2. The plot of the two-group critical function f is reported in Fig. 2. Again the monotonicity of the function is demonstrated. The value taken at \(k=0\) corresponds to the value of \(k_{\infty } \) characterizing the material.

Table 2 Two-group material data. The corresponding value of \(k_{\infty } \) is 1.08428
Fig. 2
figure 2

Behaviour of the critical function f in the two-group model. The critical condition in diffusion theory is identified by the magenta marker

6.3 The neutron spectral functions for the flux and current and the diffusion coefficient in the two-group model

The spectral functions can be easily written down in the two-group model by preliminarily constructing the Fourier transform of the transport kernel as:

$$\begin{aligned} P_{g,F} \left( {B_{M} ,{\varvec{\omega }}\cdot {\varvec{\Omega }}} \right) =\dfrac{1}{4\pi }\varSigma _{g1} \varphi _{1,0} \left( {B_{M} } \right) =\dfrac{1}{4\pi }\mathbb {P}_{F} \left( {B_{M} ,E} \right) ,\quad g=1, 2. \end{aligned}$$
(41)

From definition (19) one can write the following expressions:

$$\begin{aligned}&\varPsi _{1} \left( {B_{M} } \right) =\dfrac{1}{\left( {2\pi } \right) ^{\nicefrac {3}{2}}}\dfrac{1}{B_{M} }\tan ^{-1}\dfrac{B_{M} }{\varSigma _{1} }\left[ {\dfrac{\varSigma _{11} }{B_{M} }\tan ^{-1}\dfrac{B_{M} }{\varSigma _{1} }-1} \right] , \end{aligned}$$
(42)
$$\begin{aligned}&\varPsi _{2} \left( {B_{M} } \right) =\dfrac{1}{\left( {2\pi } \right) ^{\nicefrac {3}{2}}}\dfrac{1}{B_{M} }\tan ^{-1}\dfrac{B_{M} }{\varSigma _{2} }\left[ {\dfrac{\varSigma _{21} }{B_{M} }\tan ^{-1}\dfrac{B_{M} }{\varSigma _{1} }} \right] . \end{aligned}$$
(43)

In Fig. 3 the spectral indexes for the flux \(I_{f} \equiv \varPsi _{2} /\varPsi _{1} \) and for the current are represented. As can be seen, larger differences are evidenced for smaller values of k.

Fig. 3
figure 3

Spectral indexes for the flux (left) and for the current (right) in two-group theory as functions of \(B_{M} \)

The diffusion coefficients for each group are easily derived as:

$$\begin{aligned} D_{g} \left( {B_{M} } \right) =\dfrac{\varSigma _{g} }{B_{M} }\tan ^{-1}\dfrac{B_{M} }{\varSigma _{1} }\left[ {\dfrac{1}{\frac{\varSigma _{g} }{B_{M} }\tan ^{-1}\dfrac{B_{M} }{\varSigma _{g} }}-1} \right] , \quad g=1, 2. \end{aligned}$$
(44)
Fig. 4
figure 4

Behaviour of the two-group diffusion coefficients as functions of \(B_{M} \). The \(\hbox {P}_{1}\)-diffusion values are identified with the black marker

Equation (44) has the same structure as the one for the monokinetic case for both groups. This result is physically consistent for the specific case considered in which all fission neutrons are emitted in group 1 and there is no up-scattering from group 2.

Figure 4 illustrates the behaviour of the two-group diffusion coefficients. The graphs show a consistent difference with respect to the values provided by the use of the standard \(\hbox {P}_{\mathrm {1}}\)-diffusion model, which is obtained in the limit \(B_{M} \rightarrow 0\). This effect may result in a relevant impact for the accuracy of the neutronic calculations performed with the diffusion model for nuclear reactor cores [14].

7 Conclusions

The space asymptotic approach is presented in this paper for applications to the study of the neutron transport in critical nuclear reactors. The implications of the asymptotic assumption are briefly discussed on a physical ground. The transport equation is then analysed applying the Fourier integral transform. This procedure allows to establish important theoretical results for the transport model. At first, the criticality theory can be given a consistent formulation, leading to an explicit and general formula, valid for any energy approach. The classic space–energy separability theorem stems quite naturally from the theory. It is then shown that the separability property can be extended also to the net neutron current. Furthermore, the expression obtained for the current leads to a straightforward definition of the energy-dependent diffusion coefficient.

To better highlight the features of the asymptotic procedure, some numerical analyses are presented in the one- and two-group models. Some results for the critical parameters and for the energy spectra for the neutron flux as well as for the current are illustrated. In particular, the results presented in two-group theory suggest that the alternative definitions of the multigroup diffusion coefficient may be more adequate than the standard ones for the simulations of nuclear reactor cores. Such definition may prove to be useful in energy collapsing procedures.