Abstract
We present high-order, finite element–based Second Moment Methods (SMMs) for solving radiation transport problems in two spatial dimensions. We leverage the close connection between the Variable Eddington Factor (VEF) method and SMM to convert existing discretizations of the VEF moment system to discretizations of the SMM moment system. The moment discretizations are coupled to a high-order Discontinuous Galerkin discretization of the SN transport equations. We show that the resulting methods achieve high-order accuracy on high-order (curved) meshes, preserve the thick diffusion limit, and are effective on a challenging multimaterial problem both in outer fixed-point iterations and in inner preconditioned iterative solver iterations for the discrete moment systems. We also present parallel scaling results and provide direct comparisons to the VEF algorithms from which the SMM algorithms were derived.
I. INTRODUCTION
The Second Moment Method (SMM), introduced by Lewis and Miller Jr.,[Citation1] is an iterative, moment-based algorithm for solving the Boltzmann transport equation in applications such as nuclear reactor design, medical physics, and high energy density physics. The original concept was to iteratively couple the transport equation to a diffusion equation with linear, transport-dependent source terms that vanish when the solution is a linear function in angle.[Citation2] The transport-dependent source terms “correct” the diffusion approximation such that upon iterative convergence, the corrected diffusion equation can reproduce the transport solution. Using the corrected diffusion solution to compute slow-to-converge physics, such as scattering, provides iterative acceleration, leading to a robust algorithm where the cost scales independent of the mean free path.
SMM can also be viewed as a member of a broader class of multiscale methods, known as moment or high-order low-order methods, developed to solve high-dimensional kinetic equations in the context of multiphysics simulations (see Ref. [Citation3] for Chacón et al.’s 60-year history review) where the kinetic equation is iteratively coupled to a small number of its moments through discrete closures. In the case of SMM, the corrected diffusion equation can be viewed as a two-moment moment system closed with additive closures. Such methods are automatically asymptotic preserving (i.e., preserve the thick diffusion limit); are conservative even when a nonconservative discretization of the kinetic equation is used; and can be directly coupled to other physics components in the simulation, isolating the expensive, high-dimensional kinetic equation from the evolution of stiff multiphysics. Furthermore, the rapid and robust convergence of moment methods is maintained even when the kinetic and moment equations are discretized independently.[Citation4] These so-called independent moment methods[Citation5] allow the flexibility to choose the discretization of the moment system to meet the requirements of the overall algorithm such as computational efficiency and multiphysics compatibility.
SMM is particularly closely related to another moment method known as the Variable Eddington Factor (VEF)[Citation6] or Quasi-Diffusion[Citation7] method. The SMM and VEF algorithms are differentiated only by their choice of closure: SMM uses additive, linear closures while VEF uses multiplicative, nonlinear closures. VEF’s multiplicative closures affect the moment operator (i.e., the left-hand side of the linear system ), resulting in a non-self-adjoint moment system that has been difficult to discretize and precondition effectively (Ref. [Citation8] and the references therein). SMM’s use of additive closures results in a moment system where the closures appear as source terms only, leading to clear computational advantages over VEF. In particular, the self-adjoint structure of the diffusion approximation is preserved, allowing the use of simpler iterative schemes, such as conjugate gradient, to solve the discretized moment system. By contrast, VEF’s generally nonsymmetric discrete moment system requires the use of general-purpose solvers, such as GMRES or BiCGStab, which typically require more computation and memory. SMM can also directly leverage existing discretization and preconditioning strategies developed for standard elliptic problems that would not be possible for the unusual structure of the VEF moment system. Furthermore, where the VEF closures are well defined only when the transport solution is strictly positive, the SMM closures are valid for any transport solution, including solutions that possess negativities arising in underresolved calculations.
In the process of performing a Fourier stability analysis of the VEF method, Cefus and Larsen[Citation9] found that SMM can be viewed as a VEF method that has been linearized about a linearly anisotropic solution and that the SMM and VEF algorithms had similar iterative convergence properties. We stress that even though SMM can be viewed as a linearized VEF method, the SMM moment system is still simply an algebraic reformulation of the transport equation and is thus able to achieve the full transport physics even when the problem is not diffusive. The methods’ close iterative convergence rates indicate that SMM has the potential to converge as quickly as VEF while using a moment system that is less expensive to invert at each iteration and more robust to negativities in the transport solution.
In this paper, we leverage the close connection between SMM and VEF—both through linearization and by algebraically reformulating the closures—to convert the Discontinuous Galerkin (DG) and mixed finite element independent VEF methods presented in Refs. [Citation8] and [Citation10], respectively, to the corresponding independent SMMs. The SMM moment discretizations are coupled to a high-order DG discretization of the Discrete Ordinates transport equations to solve problems from linear transport.
Our motivation for this work is in the context of high energy density physics simulations where the tightly coupled simulation of hydrodynamics and thermal radiative transfer is required, the latter of which typically employs the angular model. We are interested in designing discretizations for the SMM moment system that can be scalably solved with existing preconditioning technology and are compatible with the high-order finite element, Lagrangian hydrodynamics framework being developed at the Lawrence Livermore National Laboratory (LLNL),[Citation11] where the thermodynamic variables are represented using discontinuous finite elements. Both the DG and mixed finite element approaches satisfy this compatibility requirement by producing the SMM scalar flux solution in a DG finite element space. The mixed finite element discretization has the added benefit that the SMM diffusion operator exactly matches the mixed finite element techniques used for radiation diffusion calculations at LLNL.[Citation12,Citation13] In such case, the existing diffusion package could be elevated to a transport algorithm by simply supplying a modified, transport-dependent source term to the linear and nonlinear solvers already in place for diffusion, thereby easing the implementational burden associated with multiphysics coupling and maintaining disparate code bases for diffusion and transport.
We note that mixed finite elements are also used for radiation diffusion–based reactor physics calculations[Citation14–16] for which the mixed finite element SMM could also serve as a drop-in replacement. We also present a continuous finite element [Continuous Galerkin (CG)] discretization for the SMM moment system as a CG-based VEF algorithm was found to perform as well as DG-based algorithms while solving for fewer moment unknowns and requiring simpler preconditioning strategies.[Citation8]
Since the left-hand side of the SMM moment system is equivalent to radiation diffusion, consistent SMMs can be designed by using any of the diffusion discretizations developed for consistent Diffusion Synthetic Acceleration (DSA)[Citation17] methods such as by Warsa et al.,[Citation18] Adams and Martin,[Citation19] Wang and Ragusa,[Citation20] and Haut et al.[Citation21] Furthermore, many consistent DSA schemes can be scalably solved with preconditioned iterative solvers, e.g., Refs. [Citation20] and [Citation21]. The design of efficient, consistent SMM algorithms then only requires developing consistent discretizations for the SMM correction sources.
Thus, in the case of SMM, the consistent approach is likely to be effective in achieving our research goals of multiphysics compatibility and scalable preconditioned iterative solvers for the discretized moment system. However, such a method would not enjoy the flexibilities discussed above and, in particular, would preclude the possibility of a SMM algorithm acting as a drop-in replacement for an existing diffusion package.
Previous work on discrete SMMs is limited in the literature. Stehle et al.[Citation22] developed a domain decomposition method where SMM was used to couple transport and diffusion domains through interface conditions. The SMM moment system and correction sources were discretized to be algebraically consistent with the simple corner balance[Citation23] transport method. Anistratov et al.[Citation24] investigated a multilevel-in-energy algorithm for neutron transport problems. The discretization of the moment system was designed to be consistent with a lowest-order DG discretization of the transport equations. This method can be viewed as a linearization of the DG VEF method from Anistratov and Warsa.[Citation25] Neither of these methods attain higher than second-order accuracy or are compatible with curved meshes. Furthermore, independent SMMs have not yet been investigated.
We proceed as follows. First, we introduce a general framework for the iterative moment algorithm in the context of the monoenergetic, fixed-source transport problem with isotropic scattering. We illustrate the iteration in a general context by abstracting away the choice of closure (i.e., VEF versus SMM) as well as casting the moment system in first- or second-order form. We also demonstrate that the SMM and VEF algorithms are related through linearization using the Gateaux derivative. Next, we provide background on the relevant finite element technology used to discretize the transport and SMM moment equations on curved meshes and discuss the discretization overlap that occurs in computing the SMM correction sources and the transport equation’s scattering source. We derive DG, CG, Raviart Thomas (RT) mixed finite element, and hybridized Raviart Thomas (HRT) mixed finite element SMM moment system discretizations through their close connection to the corresponding discrete VEF methods derived in Refs. [Citation8] and [Citation10]. We then present numerical results. We show that the SMMs converge the scalar flux with optimal accuracy on a manufactured transport problem and preserve the diffusion limit on an orthogonal and a curved mesh. We also compare the performance of the methods on a multimaterial problem and show parallel scaling results. Finally, we give conclusions and recommendations for future work.
II. MOMENT METHODS FOR RADIATION TRANSPORT
We take the monoenergetic, fixed-source transport problem with isotropic scattering given by EquationEqs. (1a)(1a) (1a) and Equation(1b)(1b) (1b) as our model problem:
where and are the spatial and angular variables, respectively; is the angular flux; is the spatial domain of the problem with its boundary; and are the total and scattering macroscopic cross sections, respectively; is a fixed source; is the inflow boundary function.
In this section, we derive the moment system and its boundary conditions. Because of the streaming term , angular moments always produce more unknowns than equations. We define two types of closures that give rise to the VEF and SMM moment systems. We then describe the iterative schemes used to solve the coupled transport-moment systems. The section concludes with a discussion of the close connection between the VEF and SMM algorithms established by Cefus and Larsen.[Citation9]
II.A. Derivation of Moment System
The moment system comprises the zeroth and first angular moments of the transport equation:
where = absorption macroscopic cross section; and = zeroth and first moments of the fixed source ; , , and = zeroth, first, and second angular moments of the angular flux, respectively. We refer to the first three moments of the angular flux as the scalar flux, current, and pressure, respectively.
Boundary conditions are derived by manipulating partial currents. Let denote the partial currents where is the outward unit normal to the boundary of the domain. The net current can be expressed in terms of the partial currents and is manipulated to yield
Defining
the boundary conditions for the moment system are
where is the incoming partial current computed using the inflow boundary function .
Combined, the moment system is given by
In three dimensions, there are 10 unknowns corresponding to the scalar flux, the three components of the current, and the six unique components of the symmetric pressure tensor but only four equations arising from the scalar zeroth moment and vector first moment equations. In addition, we have only one equation on the boundary but two unknowns corresponding to the normal component of the current and the boundary functional . Thus, we need to provide additional symmetric tensor and scalar-valued equations on the interior and boundary of the domain, respectively, to form a solvable system of equations. These additional equations are referred to as closures. For the moment methods considered in this paper, the closures are exact such that the moment system is an equivalent reformulation of the transport equation and trivial in that the transport solution must already be known to define the closures.
Remark 1: When the discretized moment and transport equations are not algebraically consistent (e.g., in the context of an independent moment method), the moments of the angular flux and the solution of the moment system will not be equivalent; they will differ on the order of the spatial and angular discretization errors associated with the discrete transport and moment systems. To notationally separate the two scalar flux solutions, we use (varphi) to denote the moment system’s scalar flux and (phi) for the zeroth moment of the angular flux. Since the two solutions differ on the order of the discretization error, we can approximate and without altering the overall transport algorithm’s order of accuracy in space or angle.
II.B. VEF and SMM Closures
We consider two types of closures for the pressure and boundary functional that give rise to the VEF and SMM algorithms. For VEF, the pressure and boundary functional are closed by multiplying and dividing by the scalar flux:
where
are the Eddington tensor and boundary factor, respectively. Since for the continuous equations, , these closures are simply algebraic manipulations of the pressure and boundary functional. When the transport and moment systems are discretized independently, the closure procedure induces errors on the order of the discretization error that can safely be ignored without altering the discrete transport algorithm’s spatial or angular order of accuracy (see Remark 1). Note that the VEF closures are bounded, nonlinear functions of the transport solution due to their normalization by the scalar flux. Furthermore, this normalization means the VEF closures do not depend on the magnitude of the angular flux—only its angular shape. If is a linearly anisotropic function for some spatially dependent functions and , then and .
On the other hand, SMM uses additive closures of the following form:
where
are the SMM correction tensor and boundary factor, respectively. Here, denotes the identity tensor. In the same way that the VEF closures are derived by multiplying and dividing by the scalar flux, the SMM closures are formulated by adding and subtracting the scalar flux. Analogously to VEF, this closure procedure is simply an algebraic reformulation of the pressure and boundary functional for the continuous equations. When discretized independently, is on the order of the discretization error, and by the same arguments used for VEF, this numerical discrepancy can be ignored. Due to their additive formulation, the SMM closures are linear functions of the transport solution that depend on both the magnitude and angular shape of the transport solution. The SMM closures and vanish when the transport solution is linearly anisotropic. The factors of and used in the correction tensor and boundary factor, respectively, cause the SMM moment system to match the radiation diffusion equation with Marshak boundary conditions when the transport solution is linearly anisotropic.
Using these closures in EquationEqs. (6)(4) (4) , the VEF and SMM moment systems are given by
and
respectively. By eliminating the first moment equation, the moment system can be recast as a second-order partial differential equation. For VEF, the second-order form is
while for SMM we have
Here, boundary conditions are specified by EquationEqs. (12c)(12c) (12c) and Equation(13c)(13c) (13c) for the VEF and SMM second-order forms, respectively. In both cases, the moment system is equivalent to radiation diffusion with Marshak boundary conditions when the transport solution is linearly anisotropic. Note that the left-hand side of the VEF operator is non-self-adjoint due to the presence of the Eddington tensor inside the divergence while the SMM left-hand side is simply the self-adjoint radiation diffusion approximation. Observe that the SMM correction source, shares the same mathematical structure as the differential term in the VEF operator, , and thus will have analogous discretization challenges. In this paper, we leverage recently developed discretization techniques for the VEF moment system to derive discretizations for the SMM moment system.
II.C. The Moment Method Algorithm
Moment methods solve the coupled transport-moment system simultaneously. The transport equation is used to provide the VEF or SMM closures while the moment system is used to compute the moment-dependent physics. In the present discussion, the moment system’s scalar flux solution is used to compute the isotropic scattering source. In this way, the coupling of the angular phase space induced by integrating over angle is avoided, allowing use of the transport sweep to efficiently invert the transport equation’s streaming and collision operator. Simple iterative schemes often converge rapidly and robustly due to the closures’ weak dependence on the transport solution.
We first introduce notation that abstracts away the choice of the closures and casting the moment system in first- or second-order form. Let denote one of the moment systems derived in Sec. II.B with the moment system’s unknowns. For example, could represent the VEF moment system in first-order form given by Eqs. Equation(12)(8) (8) where would include both the scalar flux and the current. In the case of the second-order form, we would set since the scalar flux is the only unknown. For VEF, is nonlinear in and linear in the moments . For SMM, is linear in both arguments.
The moment algorithm solves the coupled system given by
where transport boundary conditions are specified in EquationEq. (1b)(1b) (1b) . The moment system’s boundary conditions are given by EquationEq. (12c)(12c) (12c) for a VEF method and EquationEq. (13c)(13c) (13c) for SMM. Here, the moment system is coupled to the transport equation through the closures, and the transport equation’s scattering source is coupled to the moment system through the moment system’s scalar flux. We have increased the complexity of the problem by adding the moment system’s unknowns. In the case of VEF, the coupled system in EquationEq. (16)(16a) (16a) is also nonlinear due to the use of nonlinear closures. However, solving the coupled system is still advantageous due to the ability to use the transport sweep and the rapid convergence of the closures.
Let:
represent the streaming and collision operator. The coupled transport-moment system can then be rewritten as
By linearly eliminating the angular flux, the coupled system is equivalent to
Observe that EquationEq. (19)(19) (19) is now a function of the moment solution only. That is, we can define
and equivalently solve . In this reduced problem, the angular flux appears only as an auxiliary variable used to compute the residual and we say that the angular flux is determined by the moment system. This reduced formulation has much lower dimension than the original coupled system given in EquationEq. (16)(16a) (16a) but has the same solution. Because of this, advanced solvers for can be applied that would otherwise be impractical for EquationEq. (16)(16a) (16a) due to the storage and computational costs associated with the high dimensionality of the angular flux.
We now leverage the structure of the VEF and SMM moment systems to further simplify the above algorithm. Let
represent the VEF moment system such that . We then have that
Operating by the inverse of the VEF moment system, the coupled transport-VEF system is equivalent to
For SMM, the moment system is of the form
where is a diffusion operator and includes the moments of the fixed-source and the transport-dependent correction sources. The root-finding problem is then equivalent to
Thus, for both VEF and SMM, the solution of the coupled transport-moment system is the fixed point:
where is given by
for VEF and
for SMM. The fixed-point operator is applied in two stages. Stage 1: Apply a transport sweep to invert the streaming and collision operator on a scattering source formed from the moment system’s scalar flux. Stage 2: Solve the moment system using the closures computed with the angular flux from Stage 1. The definitions of the fixed-point operator show the key differences between the VEF and SMM algorithms. VEF has a transport-dependent left-hand-side operator while the right-hand-side sources are fixed. On the other hand, SMM has transport-dependent sources but a fixed left-hand-side operator corresponding to radiation diffusion.
The simplest algorithm to solve is fixed-point iteration:
where is an initial guess. This process is repeated until the difference between successive iterates is small enough. We will also use Anderson acceleration,[Citation26] a more advanced algorithm for solving fixed-point problems that stores a set of previous evaluations of the fixed-point operator and chooses the next iterate by finding the optimal linear combination of the operator evaluations that minimizes the residual . For a storage cost of moment system-sized vectors, Anderson acceleration increases iterative efficiency and robustness. We stress that the fixed-point problem in EquationEq. (29)(29) (29) corresponds to the reduced formulation where the angular flux is determined by the moment system, avoiding the need to store angular flux–sized vectors. The coupling between the transport and moment equations for the VEF and SMM algorithms is depicted in . Convergence of the fixed-point iteration is expected to be rapid since the closures are weak functions of the transport solution.[Citation7]
Remark 2: The changing left-hand-side operator in the VEF algorithm means that costs associated with forming a new sparse matrix, such as finite element assembly and solver setup [e.g., lower-upper factorization or the algebraic multigrid (AMG) setup phase], must be incurred at each iteration. Since SMM’s left-hand side is iteratively fixed, setup costs need be incurred only once, amortizing them over the entire iteration. Furthermore, less computational work is needed to assemble a right-hand-side vector than is needed to assemble a left-hand-side sparse matrix. Finally, SMM requires solving only the self-adjoint diffusion operator at each iteration whereas VEF requires the solution of a generally nonsymmetric operator. In this way, simpler iterative solvers can be applied to the SMM moment system that would not be convergent for the VEF moment system. For example, we will use conjugate gradient to solve three of the proposed SMM discretizations while the analogous VEF methods require the use of nonsymmetric solvers such as BiCGStab or GMRES. Thus, it is expected that SMM’s fixed-point operator will be less expensive to evaluate than VEF’s.
II.D. Connection via Linearization
In the process of performing a Fourier stability analysis of the VEF algorithm, Cefus and Larsen[Citation9] showed that SMM is equivalent to the VEF algorithm linearized about a linearly anisotropic solution. Here, we use this connection between VEF and SMM to provide an alternate method for deriving the SMM closures. We stress that the pressure and boundary functional are both linear functions of the angular flux. Thus, the following linearizations of the pressure and boundary functional do not possess linearization error and are instead simply algebraic reformulations.
We first derive the functional derivatives of the Eddington tensor and boundary factor. We use the Gateaux derivative,[Citation27] a generalization of the directional derivative that supports taking derivatives of functionals. The Gateaux derivative of a functional evaluated at some function in the direction of is defined as
Assuming continuity of , the Gateaux derivative is equivalent to
This second definition is preferred as it leads to simpler calculations by leveraging the familiar machinery of the partial derivative. For multivariate arguments, such as when and for some , the Gateaux derivative is applied in a manner analogous to the partial derivative where differentiation is applied to one variable at a time with the rest fixed. Using the Gateaux derivative, the first-order Taylor series of expanded about is
In this way, the Gateaux derivative can be used to apply the action of the Jacobian in the linearization process.
Here, we seek to expand the pressure and boundary functional about a linearly anisotropic solution using the Gateaux derivative. Let be such a linearly anisotropic approximation to the transport problem at hand. Using EquationEq. (31)(31) (31) , the Gateaux derivative of the Eddington tensor at in the direction is
where we have used the quotient rule and have set , , and . Since is linearly anisotropic, . Thus, the Gateaux derivative of the Eddington tensor is equivalent to
where is the SMM correction tensor defined in EquationEq. (11a)(11a) (11a) . By an analogous calculation, the Gateaux derivative of the Eddington boundary factor is
where
given that is linearly anisotropic. Thus, the Gateaux derivative of the Eddington boundary factor and the SMM boundary correction factor are related by
where is the SMM boundary factor defined in EquationEq. (11b)(11b) (11b) .
We now linearize the pressure and boundary functional using the above functional derivatives of the VEF closures. Let represent the solution of the coupled transport-moment system where, without loss of generality, we consider the moment system to be written in second-order form. Further, we set to be the linearly anisotropic approximation of the coupled system. Here, we consider the moment solution to be an independent variable. Using the Gateaux derivative, we can write the first-order Taylor series expansion of the pressure as
where since the SMM correction tensor is linear and zero when the argument is linearly anisotropic, respectively. Further, we have simplified by ignoring terms on the order of the discretization error (see Remark 1). Using , observe that the extreme left-hand sides and right-hand sides of the linearized pressure exactly match the SMM closure given in EquationEq. (10a)(10a) (10a) .
Analogously, the first-order Taylor series expansion of the boundary functional is
where we have applied the same arguments to simplify and as was used for the pressure. Recognizing that , the linearized boundary functional is equivalent to the SMM closure in EquationEq. (10b)(10b) (10b) .
Remark 3: While angular quadrature rules can exactly evaluate , it is not possible to exactly integrate with numerical quadrature due to the numerator’s integrand having a discontinuous derivative. Generally, , , and must all be computed in the same manner, either analytically or by angular quadrature, to ensure the discrete boundary conditions reduce to the Marshak case when the transport solution is linearly anisotropic.
In the VEF algorithm, the Eddington tensor and boundary factor are the only sources of nonlinearity. Thus, the linearized algorithm is equivalent to the original VEF algorithm with and replaced with and , respectively. Such an algorithm is equivalent to SMM. Because of this, SMM can be viewed as a VEF algorithm that has been linearized about a linearly anisotropic solution.
Remark 4: Although SMM can be viewed as a VEF algorithm that has been linearized about a linearly anisotropic solution, we stress that the linearization is actually exact since the pressure and boundary functional are linear functions of the transport solution. In other words, SMM is still simply an algebraic reformulation of the transport equation and is thus accurate even in transport regimes.
III. FINITE ELEMENT PRELIMINARIES
In this section, we provide background on the finite element technology used to discretize the transport and SMM moment systems. We describe the machinery used to represent high-order meshes and the related transformations used to integrate the bilinear and linear forms that comprise the discretizations. Finally, we define the finite element spaces used to approximate the angular flux, scalar flux, and current in subsequent sections.
III.A. Description of the Mesh
Let be the domain of the problem tessellated into a collection of elements such that
where is a quadrilateral element in the mesh obtained as the image of the reference square under an invertible, polynomial mapping . Here, the element transformation belongs to where is the space of polynomials of degree at most in each variable. We use a nodal basis to describe the element transformation. Let denote the Gauss-Lobatto points in the interval . The points on the unit square are given by the twofold Cartesian product of the one-dimensional points. Further, let denote the Lagrange interpolating polynomial that satisfies where is the Kronecker delta. The set of functions forms a basis for . For each element , the mapping is of the form
where , , and = control points for element . A quadratic quadrilateral mesh is depicted in , where, for example, the left element is described by the control points labeled Observe that the control points along the interface between the two elements are shared, ensuring that the mesh is continuous. The reference space to physical space transformation for the left element is depicted in .
We define the set of unique faces in the mesh as with the set of interior faces in the mesh and the set of boundary faces so that . We will often work with piecewise functions defined element-wise on the mesh. On an interior face between two arbitrary elements and , we use the convention that is a unit vector perpendicular to the shared face pointing from to . For a piecewise polynomial described by for and for , the average, , and jump, , of across the face are defined as
with an analogous definition for vector-valued piecewise functions. On boundary faces, the jump and average are defined as
and likewise for vectors on the boundary. We note that a piecewise-continuous function satisfies and on each interior face.
Finally, we define the “broken” gradient, denoted by , obtained by applying the gradient locally on each element. That is,
The broken gradient is important for piecewise-discontinuous functions where the global gradient is not well defined due to the discontinuities present at interior mesh interfaces.
III.B. Integration Transformations
The mesh transformations are used to facilitate numerical integration on arbitrary elements. Let denote the reference coordinates and denote the physical coordinates. The Jacobian of the transformation is
with its determinant. The partial derivatives of the mesh transformation are computed using the basis expansion of the mesh transformations. In other words,
where = gradient with respect to the reference coordinates . In this paper, integration over the domain is implicitly computed in reference space using the following sum:
This provides a systematic way to integrate over arbitrary domains composed of arbitrarily shaped elements as well as the use of numerical quadrature rules defined on the reference element .
We now discuss the transformations used to represent the integrand of EquationEq. (47)(47) (47) in reference space. For a scalar function , denote by its representation in reference space. The functions and are related by
where denotes the inverse mesh transformation. Integration over the physical element is then equivalent to
Using the chain rule, the gradient transforms as
In this way, the gradient in physical space can be computed using the Jacobian of the mesh transformation and the gradient in reference space.
For the vector-valued functions used in the RT space, the contravariant Piola transformation is used[Citation28,Citation29]:
where and = representations of a vector in physical and reference space, respectively. Members of the RT space have a continuous normal component, a requirement of any - conforming space.[Citation30] The contravariant Piola transformation represents vectors on the so-called tangent space spanned by the columns of the Jacobian matrix . Using this basis, the components of a contravariant vector represent the normal and tangential components of the vector along a face. This facilitates the sharing of degrees of freedom that represent the normal component across interior mesh interfaces, enforcing the normal continuity required by .
For a contravariant vector,
The gradient transforms as
where
represents the portion of the transformation of the gradient arising from the derivatives of the Piola transformation. This result is derived by direct computation in Ref. [Citation10], Appendix A, where implementation details are also provided. We note that is related to the Hessian of the mesh transformation and is thus zero when the mesh transformation is affine such that for some and independent of . In addition, , a result known as the Piola identity.[Citation28] Using the Piola identity, the linearity of the trace, and the invariance of the trace under similarity transformations, the divergence of a contravariant vector transforms as
Thus,
Combining the results from EquationEqs. (52)(52) (52) and (Equation56(56) (56) ) yields
where is the normal vector in reference space corresponding to the physical space normal . In other words, the contravariant Piola transformation preserves the normal component.
In this paper, integration is implicitly computed using numerical quadrature on the reference element. Integration over surfaces is performed over the one-dimensional reference element using the transformed element of length.
III.C. Finite Element Spaces
Here, we define the finite element spaces used to approximate the transport and SMM moment systems. These finite element spaces are defined on the mesh or the interior skeleton of the mesh and consist of an element-local function space and a set of interelement matching conditions. The combination of a smooth element-local space and suitable matching conditions allows these finite-dimensional spaces to be subspaces of Sobolev spaces such as , , and .
III.C.1. Discontinuous Galerkin
Let denote the space of polynomials of at most degree mapped from the reference element. That is,
where indicates a function defined on the reference element. The delineation between and is required when non-affine mesh transformations are used. In such case, even if . In other words, the solution can be nonpolynomial due to the composition with the inverse mesh transformation.
The DG space is a finite-dimensional subspace of the space defined by
the space of square-integrable functions. We denote the degree- DG space with
so that each function is a piecewise polynomial mapped from the reference element with no continuity requirements enforced between elements. shows the distribution of degrees of freedom in a mesh for the space . The Gauss-Legendre interpolation points are used to define the nodal basis for the local polynomial space to highlight that degrees of freedom are not shared between elements.
III.C.2. Continuous Finite Element
The continuous finite element (CG) space is a finite-dimensional subspace of the Sobolev space defined as
the space of square-integrable functions with square-integrable gradient. It can be shown that if a piecewise function —the space of continuous functions with zero continuous derivatives—and satisfies for each , then (see Ref. [Citation30], Sec. 3.2.1). In other words, a finite-dimensional subspace of must be continuous across interior mesh interfaces and have a locally smooth function space on each element. Thus, we take the degree- continuous finite element space to be
Here, since is continuous and for each . We use a nodal basis for that employs points on the boundary of the element such as the Gauss-Lobatto points. This allows the sharing of degrees of freedom between elements that strongly enforces the continuity requirements of the discrete space. The distribution of unknowns for the space is shown in . Observe that degrees of freedom are shared between neighboring elements along the interior interfaces between elements.
III.C.3. Raviart Thomas, Broken RT, and RT Trace Space
The RT space is a finite-dimensional subspace of the space, where
is the space of square-integrable, vector-valued functions with square-integrable divergence.[Citation31,Citation32] It can be shown that when satisfies the following: (1) is locally smooth on each element such that for each and (2) is continuous across each interior face. It is also desirable that the divergence of a vector in the degree- RT space belongs to the degree- DG space . Let denote the space of polynomials of at most and in the first and second variables, respectively, such that . The RT space uses the local polynomial space on each element. In this way, the divergence of any vector belongs to , the polynomial space used by on each element. Finally, the contravariant Piola transformation, defined in EquationEq. (51)(51) (51) , is used to facilitate the sharing of the degrees of freedom that represent the normal component across an interior face in the mesh.
The degree- RT space is then
where
denotes the required RT element-local polynomial space composed with the contravariant Piola transformation. The constraint for each interior face holds only when has a continuous normal component. Thus, since and each element of has a continuous normal component, .
depicts the degrees of freedom in on a mesh. The black circles and red squares denote degrees of freedom representing the and components, respectively. Observe that on each element, the component is quadratic in the direction and linear in the direction with the opposite holding for the component. Furthermore, the degrees of freedom representing the normal component are shared between elements, ensuring that for each interior face and .
We also define two related spaces that arise in hybridizing a RT discretization. The first is the broken RT space , defined as the degree- RT space without the requirement of continuity in the normal component. That is,
Note that and that belongs to if and only if on all interior mesh faces. For the broken space, the degrees of freedom are distributed as in ; however, degrees of freedom are not shared between elements. Instead, these degrees of freedom are duplicated so that the normal component is doubly defined on interior interfaces.
Second, we define the interior trace of the RT space. This space represents the normal component of along the interior faces in the mesh. Let be the space of univariate polynomials with degree at most defined over the reference line and
the associated polynomials mapped to physical space. The trace space is then
The interior trace space for , , is depicted in . Note that these degrees of freedom are exactly the degrees of freedom corresponding to the normal component of on the interior faces of the mesh.
IV. TRANSPORT DISCRETIZATION
We discretize the transport equations with a high-order DG spatial discretization compatible with curved meshes such as from Woods[Citation33] or Haut et al.[Citation34] In , the transport equation is collocated at discrete angles , and integration over the unit sphere is approximated using a suitable angular quadrature rule . We use to denote the angular flux in discrete direction such that . The DG discretization approximates each using the degree- DG finite element space . Through finite element interpolation, can be evaluated at any point in the mesh. The SMM closures are computed using the angular quadrature and finite element interpolation with
In light of Remark 3, we elect to use , as defined in EquationEq. (36)(36) (36) , in place of the factor of that scales the zeroth moment term in the boundary correction. Here, is approximated with quadrature according to
With this discrete definition, the boundary conditions for the continuous system from EquationEq. (13c)(13c) (13c) are now modified to
where is defined using the discrete definition in EquationEq. (69b)(69b) (69b) . We also approximate the inflow partial current using quadrature with .
In the limit as , and the discrete so that the continuous boundary condition is recovered. This discrete prescription ensures that the boundary correction factor will vanish when the discrete transport solution is a linear function in angle and was found to be a requirement to obtain the correct moment solution and preserve the optimal convergence rate of the moment algorithm in the thick diffusion limit. Note that we use the same notation to denote the analytic and discrete SMM closures for notational simplicity. For the remainder of this paper, only the discrete definitions of the closures given by EquationEqs. (69a)(69a) (69a) and Equation(69b)(69b) (69b) will be used.
Where needed, we compute the broken divergence of the SMM correction tensor using the finite element interpolation operator for . In other words,
where and are the second and zeroth moments of the discrete angular flux, respectively, and the broken derivatives are applied to the finite element interpolation operators used to represent the angular flux on each element.
Remark 5: For VEF, the discrete closures are locally represented in space as ratios of polynomials and are thus rational functionals (see Ref. [Citation8], Sec. 4). The bilinear and linear forms that comprise the VEF moment system discretization will then contain numerical integration error since rational functions cannot be integrated exactly with numerical quadrature. For SMM, the linear closures simply inherit the finite element representation used for the angular flux. In this way, the SMM moment system can be integrated exactly with numerical quadrature.
Remark 6: The VEF closures are normalized and thus are only well defined for strictly positive angular fluxes, requiring the use of a negative flux fixup for robustness. The SMM closures are not normalized and are thus well defined even when the transport solution contains zeros or nonphysical negativities arising from numerical error. This could be particularly beneficial in shielding or other deep-penetration problems where the solution is significantly attenuated. Here, we leverage this behavior to build an algorithm that remains robust to numerically induced negativities both with and without the use of a negative flux fixup.
The SMM scalar flux is coupled to the transport equation through the scattering source. We use a mixed-space scattering mass matrix to support the use of differing finite element spaces for the SMM scalar flux and the angular flux. In other words, the scattering mass matrix is assembled using test functions from the space used to approximate the angular flux and trial functions from the space used to approximate the SMM scalar flux.
V. DISCRETE SMMs
In this section, we leverage the close connection between VEF and SMM to systematically convert the existing VEF methods derived in Refs. [Citation8] and [Citation10] to discretizations of the SMM moment system. In particular, we derive analogs of the Interior Penalty (IP) DG, Continuous Finite Element, RT mixed finite element, and HRT mixed finite element methods. The IP method is derived by linearizing the IP VEF discretization about a linearly anisotropic solution. The RT mixed finite element method is derived by algebraically manipulating the RT VEF discretization. The continuous finite element and HRT methods are found by leveraging their close connection to the IP and unhybridized RT methods, respectively. We have elected to derive the IP and RT methods via linearization and algebraic manipulation, respectively, to give examples of these two equivalent strategies. However, either method can be used to convert any discretization of the VEF moment system to a discretization of the SMM moment system.
V.A. Discontinuous Galerkin and Continuous Finite Element
Here, we linearize an existing DG VEF method about a linearly anisotropic solution to derive an analogous SMM moment system discretization. Note that since the transport equation is linear, the linearization process does not alter the transport equation, and thus, we need only to linearize the VEF moment system to derive the SMM moment system. Let represent the DG VEF moment system. Here, is nonlinear in , due to the nonlinear Eddington tensor and boundary factor, but linear in . Further, we set to be the linearly anisotropic approximation to the coupled transport-VEF system. The linearized operator is then
where denotes the Gateaux derivative defined in EquationEq. (31)(31) (31) . We have simplified using the linearity of in the second argument. Furthermore, the directional derivative of the Eddington tensor satisfies with an analogous result for the directional derivative of the Eddington boundary factor. Since is linearly anisotropic, represents a radiation diffusion system. The correction sources are then given by : the directional derivative of the VEF operator evaluated at in the direction where is fixed at the linearly anisotropic moment solution . We proceed by evaluating the IP VEF method from Ref. [Citation8], Sec. 5.2.1, at a linearly anisotropic transport solution to define the diffusion discretization and then derive the correction source by applying the Gateaux derivative to each term in the VEF discretization.
From Ref. [Citation8], EquationEq. (59)(59) (59) , the IP VEF discretization is as follows: Find such that
where is the penalty parameter. This discretization is derived by approximating the scalar flux and each component of the current with a degree- DG finite element space. The first moment equation is integrated-by-parts twice in order to derive a discrete elimination of the current. The numerical flux is chosen so that the current can be eliminated on each element, leading to a discretization of the second-order form of the VEF equations. The symmetric, positive semi-definite penalty bilinear form is added to stabilize the discretization. It is well known that is required to ensure that the penalty bilinear form dominates the negative definite terms in the discretization, resulting in an overall linear system that is positive definite and stable with respect to and .[Citation35,Citation36] We note that the penalty parameter’s proportionality constant is often problem dependent. While the penalty term is required for stability, the presence of the penalty term degrades the performance of multigrid preconditioners, and thus, specialized solvers, such as the uniform subspace correction preconditioner developed by Pazner and Kolev,[Citation37] must be used to achieve a preconditioned iterative solver that converges independent of the mesh size, polynomial degree, and penalty parameter.
Olivier et al.[Citation8] also present discretizations of the VEF moment system that are analogs of the second method of Bassi and Rebay (BR2)[Citation38] and the Local Discontinuous Galerkin (LDG) method.[Citation39] These methods use alternate stabilization techniques that avoid the problem-dependent prescription of the penalty parameter. However, the BR2 and LDG stabilization terms are more expensive to compute (and more complicated to implement). Only minor differences in solution quality and iterative efficiency were seen among IP, BR2, and LDG, and CG. Thus, for clarity of presentation, we present only the IP and CG methods.
Evaluating the VEF data when the angular flux is linearly anisotropic gives
where is computed using the quadrature rule following EquationEq. (70)(70) (70) . The use of numerical quadrature to evaluate this term is motivated by Remark 3. The diffusion operator is then
where is the diffusion coefficient. The above corresponds to a standard IP discretization of radiation diffusion with Marshak boundary conditions. Note that the right-hand side includes additional sources depending on since we have not made the assumption that the transport equation’s fixed source is at most linearly anisotropic, as is customary for the diffusion approximation. Inclusion of the first moment of the source facilitates investigating the accuracy of the method with the method of manufactured solutions (MMS) on a transport problem as performed in Sec. VI.A.
Next, we must determine the correction terms by computing the directional derivative of each term in the VEF discretization [EquationEq. (74)(74) (74) ] with fixed. For terms without VEF data, the directional derivative is zero as they do not depend on the transport solution. For the boundary factor–dependent term, the correction term is
where is the correction factor defined in EquationEq. (69b)(69b) (69b) that uses quadrature to compute the angular moments of the discrete transport solution. We have used and have made the approximation that (see Remark 1). Analogously, for terms with the Eddington tensor,
where is the correction tensor from EquationEq. (69a)(69a) (69a) and we have again made the approximation that . Thus, the correction terms can be derived by setting terms without angular flux dependence to zero and replacing
The IP SMM discretization is then: Find such that
where the local divergence of the correction tensor is computed with EquationEq. (72)(72) (72) . The above represents a standard IP discretization of diffusion with Marshak boundary conditions that is corrected by transport-dependent volumetric and boundary source terms.
A continuous finite element discretization can be extracted from EquationEq. (80)(80) (80) by setting the test and trial spaces to , the degree- continuous finite element space. For any function ,
In addition, satisfies (Ref. [Citation30], Proposition 3.2.1). In other words, the space has the required continuity to allow the broken and global gradients to be equal for any . Since DG is used for the transport discretization, the correction tensor is still generally discontinuous across interior mesh interfaces such that is nonzero. Thus, the CG SMM moment discretization is: Find such that
The CG SMM moment discretization can also be derived directly from the CG VEF moment discretization in Ref. [Citation8], EquationEq. (77)(77) (77) , via linearization or algebraically manipulating the closures.
V.B. Raviart Thomas and HRT
From Ref. [Citation10], EquationEq. (61)(61) (61) , the RT VEF discretization is: Find such that
where are implicitly represented with the contravariant Piola transformation. Here, the presence of the Eddington tensor inside the strong form of the first moment’s divergence term prevents the straightforward application of standard mixed finite element techniques. To illustrate this, we multiply this divergence term by a test function and integrate over a single element :
where is the numerical flux for the product of the Eddington tensor and VEF scalar flux that arises due to the discontinuous approximations used for the angular flux, and thus the Eddington tensor, and VEF scalar flux.
When assembled into a global system, the element-boundary term gives rise to an interior face term of the form
along with a contribution on the boundary of the domain related to the boundary conditions that we omit for clarity of presentation. Note that has a continuous normal component but discontinuous tangential components. Thus, when , the interior face term vanishes since . For a general Eddington tensor, however, this term remains, requiring the application of DG-like techniques to treat the discontinuity in . We also note that the volumetric term requires computing the gradient of an vector, a procedure significantly complicated by the use of the Piola transformation (see Ref. [Citation10], Sec. 3.2 for more details). Note that Olivier and Haut[Citation10] also present a VEF discretization where each component of the current is approximated with continuous finite elements. However, such a method could not be scalably preconditioned and solved even for a radiation diffusion problem where and . Thus, we do not consider this method here.
We first undo the choice of numerical flux and the application of the boundary conditions. We chose the following numerical flux for the product of the Eddington tensor and VEF scalar flux:
This choice allows the RT VEF discretization to limit to a standard RT discretization of radiation diffusion in the thick diffusion limit. Noting that VEF closes the pressure as , we write the numerical flux term in terms of a numerical flux for the pressure denoted by . By solving for in EquationEq. (12c)(12c) (12c) , the boundary scalar flux is given by
so that
Thus, we can recast the RT VEF first moment [EquationEq. (83b)(83b) (83b) ] in terms of the unclosed pressure as
where we have substituted the pressure in place of the product . In this form, the SMM discretization can be derived by defining the pressure on the interior of the domain, the numerical flux of the normal component of the pressure on interior faces, and the boundary conditions.
On the interior of the domain, we use the SMM closure . The volumetric term is then
Here, since for (Ref. [Citation30], Proposition 3.2.2). For the numerical flux, we simply use the average:
With this choice of numerical flux, the interior face bilinear form simplifies to
where since the normal component is continuous for . Finally, on the boundary of the domain, we solve the SMM boundary conditions in EquationEq. (71)(71) (71) for the scalar flux and insert this relationship into to yield
Thus, the RT SMM discretization is: Find such that
Observe that the left-hand side of EquationEqs. (94)(94a) (94a) is equivalent to an RT discretization of radiation diffusion with Marshak boundary conditions.
The HRT discretization can be derived by directly applying the standard hybridization process (see Ref. [Citation13] and the references therein) to the RT SMM moment system. That is, the current is approximated in the broken RT space , and continuity of the current in the normal component is enforced with a Lagrange multiplier defined on the trace space of , . The use of a discontinuous approximation for the scalar flux and current allows eliminating these variables locally on each element in favor of the Lagrange multiplier. This reduced system is both significantly smaller than the block system and can be effectively preconditioned with AMG. Once the Lagrange multiplier has been solved for, the scalar flux and current can be found through element-local back substitution. A derivation of a hybridized radiation diffusion method is outlined in Ref. [Citation10], Sec. 7.1.
The hybridized system is: Find such that
where
is the source term for the RT SMM discretization. As noted in Ref. [Citation13], hybridization can be viewed as an algebraic process similar to static condensation. Furthermore, it was shown in Ref. [Citation10], Sec. 7.1, that the weak continuity condition in EquationEq. (95c)(95c) (95c) implies that the normal component of the current is continuous in a pointwise, strong sense. Thus, the unhybridized RT and HRT discretizations are equivalent. The details of an efficient implementation are discussed in Ref. [Citation10], Sec. 7.3, and Ref. [Citation13].
VI. RESULTS
We now present numerical results demonstrating the iterative efficiency and computational performance of the discrete SMMs. The SMMs are compared to the VEF algorithms from Olivier et al.[Citation8] and Olivier and Haut.[Citation10] The methods were implemented using the Modular Finite Element Method (MFEM) finite element framework.[Citation40] We use MFEM’s conjugate gradient and BiCGStab implementations along with BoomerAMG from the hypre sparse linear algebra library.[Citation41] KINSOL, from the Sundials package,[Citation42] provided the Anderson-accelerated fixed-point solvers. As described in Ref. [Citation42], Sec. 2, the fixed-point iteration is terminated when the maximum norm of the difference between successive iterates is below the iterative tolerance. We use the high-order DG transport solver from Haut et al.[Citation34] to invert the streaming and collision operator needed in the moment algorithms. We refer to the methods as IP, CG, RT, and HRT for the interior penalty, continuous finite element, Raviart Thomas, and hybridized Raviart Thomas methods, respectively. For IP, we use
following the standard prescription used for model elliptic problems[Citation35,Citation43] unless otherwise specified.
The IP methods are preconditioned using the subspace correction method introduced in Ref. [Citation37] and extended to the nonsymmetric VEF system in Ref. [Citation8], Sec. 6. This method is a two-stage preconditioner that applies AMG to the DG system assembled onto a continuous finite element space and uses a simple Jacobi smoother to attack errors present in the degrees of freedom located on mesh interfaces. The CG and HRT methods are preconditioned by AMG. Finally, the RT methods are preconditioned with block preconditioners.[Citation44] The RT methods admit a block system of the form
where = total interaction mass matrix; = absorption mass matrix; and = discrete divergence and gradient, respectively; and = source terms. For SMM, . For VEF, depends on the Eddington tensor, and thus, is in general not proportional to the transpose of the divergence matrix . We use block diagonal and lower block triangular preconditioners of the form
where is an approximate Schur complement formed using the lumped total interaction mass matrix computed by summing the off-diagonal entries of into the diagonal and setting the off-diagonal entries to zero. Lumping an mass matrix produces a diagonal matrix, and thus, can be formed efficiently without fill-in. The approximate inverse of the diagonal preconditioner is applied with approximate inverses of the diagonal blocks while the lower block triangular inverse is applied with block forward substitution. We use a single iteration of Gauss-Seidel and AMG to approximately invert the total interaction mass matrix and approximate Schur complement, respectively.
Note that for MINRES to effectively solve the RT SMM system, the system must be represented in a symmetric indefinite form and the preconditioner must be symmetric positive definite. Thus, for RT SMM, we multiply the top row of EquationEq. (98)(98) (98) by negative three so that the off-diagonal blocks are symmetric and the scaled is negative definite. For the block diagonal preconditioner, is scaled by positive three so that is symmetric, positive definite. Finally, we note that the lower block triangular preconditioner is a nonsymmetric operator and thus cannot be used with MINRES. More details on the preconditioning strategies used to solve the moment systems are provided in Ref. [Citation8], Sec. 6, and Ref. [Citation10], Sec. 6.4.
VI.A. Method of Manufactured Solutions
The accuracy of the methods is determined with the MMS. The solution is set to
where
Here, is used to ensure and and are used to test spatially dependent, nonisotropic inflow boundary conditions. The domain is . With these definitions
This leads to an exact Eddington tensor that is dense and spatially varying. The MMS and are substituted into the transport equation to solve for the MMS source that forces the solution to EquationEq. (100)(100) (100) .
The accuracy of the SMM discretizations is investigated in isolation by computing the SMM closures from the MMS angular flux and setting the sources and to the moments of the MMS source. This is accomplished by projecting the MMS angular flux onto a degree- DG finite element space and using Level Symmetric angular quadrature to compute the SMM closures, the moments of the MMS source, and the inflow partial current . The SMM moment systems are then solved as if , , , , and are given data. Errors are calculated with the norm for scalars and the norm for vectors given by
and
respectively. We also use the projection operator such that
for some . In particular, is used to project the exact MMS scalar flux onto a finite element grid function in order to investigate a superconvergence property of mixed finite elements.
We use refinements of a third-order mesh created by distorting an orthogonal mesh according to the velocity field of the Taylor-Green vortex. This mesh distortion is generated by advecting the mesh control points with
where the final time and
is the analytic solution of the Taylor-Green vortex. Three hundred forward Euler steps were used to advect the mesh. An example mesh is shown in .
shows the error in the scalar flux on this MMS problem for a range of finite element polynomial degrees. All four methods achieve optimal convergence. The IP and CG, and RT and HRT methods have nearly identical error behavior, respectively, with the RT and HRT methods having a lower constant. This is expected since the RT and HRT methods solve for both the scalar flux and current and thus do more computational work than IP and CG.
investigates a superconvergence property of mixed finite elements and the error behavior of the current. The order of accuracy and constant for the RT and HRT methods was experimentally determined by computing the error on four mesh sizes and applying logarithmic regression. We compare the scalar flux accuracy, the scalar flux accuracy when the exact solution is first projected onto using the projection operator , and the accuracy of the current. As seen in , the scalar flux converges optimally. For standard mixed finite element radiation diffusion, the projected error measure should superconverge at and the current should be . However, on this quadratically anisotropic transport problem, the superconvergence property is lost as the projected error measure converges at only . Furthermore, the current converges at only for odd polynomial degrees and for even. This behavior was also seen in Ref. [Citation10] for the RT and HRT VEF methods. We note that the RT and HRT SMM moment discretizations produce solutions that are equivalent to machine precision. This differs from the behavior observed for the VEF methods where RT and HRT differed on the order of the discretization error.[Citation10] This may be due to the ability to exactly integrate the closure terms whereas with VEF the closures cannot be integrated exactly (see Remark 5).
VI.B. Thick Diffusion Limit
The iterative convergence rates of the SMM algorithms are investigated in the thick diffusion limit. The material data are set to
where is a parameter that characterizes the mean free path and the thick diffusion limit corresponds to the limit . We use two coarse meshes that do not resolve the mean free path to stress test the convergence of the SMM algorithm. The first is an orthogonal mesh with . The second is the triple point mesh shown in . On the triple point mesh, the angular flux is only approximately inverted due to the presence of reentrant faces that give rise to upper block triangular entries in the streaming and collision operator. The upper block triangular portion is iteratively lagged so that the classical transport sweep can be applied. Because of this approximation, iterative convergence of the moment algorithms is expected to degrade on the triple point mesh. On both meshes, we use Level Symmetric S4 angular quadrature. The SMM and VEF algorithms are compared using . The coupled transport-moment systems are solved with fixed-point iteration to a tolerance of .
shows the number of iterations to convergence on the orthogonal mesh as . Compared to VEF, SMM converged one to two iterations slower. All of the SMMs required the same number of iterations, indicating the algorithm is insensitive to the choice of moment discretization on this single material problem. Lineouts of the solution are shown in demonstrating that the methods are converging to the physically realistic diffusion solution as .
Iteration counts and lineouts are presented in and , respectively, for the thick diffusion limit test on the triple point mesh. Following the prescription of the penalty parameter used for IP VEF on this problem given in Ref. [Citation8], EquationEq. (94)(94a) (94a) , the IP SMM penalty parameter was scaled by a factor of 169 to ensure stability of the moment system’s discretization on the highly distorted triple point mesh. Here, the IP and CG methods and the RT and HRT methods converge equivalently, but unlike on the orthogonal mesh problem, these two sets of methods show different performance for the intermediate values of for both VEF and SMM. In particular, RT and HRT SMM required five more iterations to converge compared to IP and CG for both and . This behavior is also seen for the RT and HRT VEF methods. Generally, convergence was slower on the triple point mesh than on the orthogonal mesh. However, this discrepancy is reduced as . The lineouts indicate that all methods attain the nontrivial, diffusion solution. Nonmonotonic oscillations are observed at the center of the solutions due to imprinting of the highly distorted mesh. Qualitatively, the RT and HRT methods show more oscillations, suggesting they are more sensitive to mesh distortion than the IP and CG methods, which might also explain their slower convergence compared to IP and CG on intermediate values of .
VI.C. Crooked Pipe
We now show convergence in outer fixed-point iterations and inner preconditioned linear solver iterations on a more realistic, multimaterial problem. The geometry and materials are shown in . The problem consists of two materials, the wall and the pipe, which have an 1000× difference in total interaction cross section. Time dependence is mocked by including artificial absorption and sources that correspond to backward Euler time integration. The time step is set so that and the initial condition is . The absorption and source are then and . The boundary conditions are set so that isotropic inflow of magnitude enters on the left entrance of the pipe with vacuum on all other surfaces. A Level Symmetric S12 angular quadrature set is used. The zero and scale negative flux fixup,[Citation45] a sweep-compatible fixup that zeros out negativities and rescales so that balance is preserved, is used inside the transport sweep to ensure positivity of the angular flux unless otherwise noted. Timing data are presented as the minimum time recorded across five repeated runs.
The efficiencies of the outer fixed-point and inner preconditioned linear iterations are investigated by refining in and on a uniform mesh of quadrilateral elements that are aligned with the materials in the problem. The outer solver is Anderson-accelerated fixed-point iteration with a small Anderson space of size two. Anderson acceleration is not required for convergence but does provide more uniform convergence with respect to refining in . The outer and inner iterative tolerances were and , respectively. The IP methods were preconditioned by the uniform subspace correction method, CG and HRT with AMG, and RT with block preconditioners. The nonsymmetric lower block triangular and symmetric block diagonal preconditioners were used for the RT VEF and RT SMM moment systems, respectively. The VEF moment systems were solved with BiCGStab while the IP, CG, and HRT SMM moment systems were solved with conjugate gradient. The RT SMM moment system was solved with MINRES. Note that the lower block triangular preconditioner used to precondition the RT VEF moment system is more expensive, and thus more effective, than the block diagonal preconditioner used for RT SMM. However, the lower block triangular preconditioner cannot be used with MINRES since it is not symmetric. The previous outer iteration’s moment solution was used as an initial guess for the inner iteration so that the initial guess becomes progressively more accurate as the outer iteration converges.
presents the number of Anderson-accelerated fixed-point iterations until convergence for the four SMM algorithms, each compared to the corresponding VEF algorithm with an analogous discretization for the moment system. Convergence was identical for the IP and CG, and RT and HRT SMM methods, respectively. Compared to VEF, SMM converged between two iterations faster and three iterations slower.
The average number of inner iterations per outer iteration is presented in . All methods were scalable in and . Recall that different solvers were used to solve the VEF and SMM moment systems for each discretization type. In particular, BiCGStab performs roughly twice as much work per iteration as conjugate gradient, and thus, the IP, CG, and HRT SMM moment solves need only take fewer than twice as many iterations as the corresponding VEF moment system to be cheaper in cost. This is corroborated by , where the average amount of time spent solving the moment systems is shown. Here, the IP and CG SMM moment solves are shown to be cheaper than the corresponding VEF moment solve, especially for and . The VEF and SMM HRT moment solves were roughly equal in cost. The RT SMM moment solve was more expensive than the RT VEF moment solve due to the use of differing preconditioners. Block diagonal–preconditioned MINRES applied to the symmetric SMM moment operator did not outperform lower block triangular–preconditioned BiCGStab applied to the nonsymmetric VEF moment system. This indicates that it might be advantageous to use lower block triangular preconditioning and BiCGStab to solve the RT SMM moment system even though the system is symmetric.
shows the average cost per outer iteration of assembling the VEF and SMM moment systems. Recalling Remark 2, SMM is expected to have lower assembly costs due to the reduced cost associated with assembling a linear form versus a bilinear form. For the most refined problem with , assembling the VEF moment system was 2.7×, 4.3×, 1.8×, and 2.2× as expensive as assembling the SMM moment system for the IP, CG, RT, and HRT discretizations, respectively. Assembly is a much larger cost than solving the resulting linear system iteratively. For example, the assembly cost for IP VEF ranges between 3.4× and 6.3× more expensive than the solve cost. For IP SMM, this ratio ranged only between 1.5× and 3.4×, suggesting that assembly occupies a relatively smaller portion of the IP SMM cost at each iteration compared to IP VEF.
Next, we discuss the total cost of solving the crooked pipe problem with VEF and SMM. shows the total cost of the full VEF and SMM algorithms for each discretization type on refinements of the crooked pipe. For a given discretization type, the algorithm that required the fewest sweeps was cheapest. On the most refined problem with , the discretization choice and closure choice led to a relative standard deviation of only 10% in total run time. In other words, because of the high cost of the transport sweep, the algorithmic choices investigated here lead to only a small change in total run time.
In light of Remark 6, we investigate the sensitivity of the SMMs to the use of a negative flux fixup. presents the number of Anderson-accelerated fixed-point iterations to convergence for the four SMMs with and without the negative flux fixup. Use of the fixup resulted in equivalent convergence to within iterations indicating that SMM can converge robustly without a negative flux fixup.
VI.D. Spatial Convergence to SN Solution
In this section, we compare the solutions generated by IP SMM and a reference transport solution taken to be the high-order DG discretization and DSA preconditioner of Haut et al.[Citation21] as the mesh is refined. We use the thick diffusion limit problem from Sec. VI.B with on an orthogonal mesh. This comparison is facilitated by the following bound on the error. Let the asymptotic spatial error for the SMM and solutions in isolation be written as follows:
where is the exact solution; and are the solutions generated by SMM and , respectively; are the error constants; is the mesh size; is the finite element polynomial degree. Using the triangle inequality, observe that
Thus, we expect the difference between the solutions generated by SMM and to converge with order . Note that this behavior is dependent on both solutions being in the asymptotic error regime such that their errors are well characterized by . Because of this, we use refinements of a nonuniform mesh built from a tensor product of the one-dimensional Chebyshev points. The clustering of the Chebyshev points at the end points allows such a mesh to capture the boundary layer in the thick diffusion limit problem. An example mesh is shown in .
shows the norm between the SMM and solutions as a function of , the maximum characteristic mesh length in the mesh. We use Level Symmetric S4 angular quadrature and . The solutions are computed on four meshes built from 61, 81, 101, and 121 Chebyshev points in each direction. Using , EquationEq. (110)(110) (110) predicts that the two solutions will converge at . Using logarithmic regression, the experimentally observed order of convergence was . This result indicates that SMM does in fact converge to the solution and can converge with high-order accuracy on a problem that is smooth in space and angle, corroborating the claims made in Remark 4.
VI.E. Weak Scaling
We present a weak scaling study of the IP SMM and IP VEF algorithms with on the crooked pipe problem from Sec. VI.C. Uniform refinements are used in tandem with increasing the parallel partitioning by a factor of 4 so that the number of degrees of freedom per processor remains fixed. The following results were generated on 29 nodes of the rztopaz machine at LLNL, which has two 18-core Intel Xeon E5-2695 CPUs and 128 Gbytes of memory per node. Timing data are presented as the minimum time measured across three repeated runs.
We use a parallel block Jacobi transport sweep to approximately invert the streaming and collision operator at each iteration. That is, each processor performs a local sweep on its processor-local domain using incoming angular flux information from the previous iteration. This allows each processor to sweep independently from each other at the expense of no longer exactly inverting the streaming and collision operator. In many problems of interest, a parallel block Jacobi–based algorithm can outperform a full parallel sweep–based algorithm since parallel block Jacobi converges quickly when the mean free path is small, the previous time step’s solution often provides a good initial guess, and parallel block Jacobi has lower communication costs compared to the full parallel sweep.
Results are presented for SMM without a negative flux fixup applied to the angular flux since convergence was not affected by the lack of a negative flux fixup in the serial crooked pipe problem from Sec. VI.C. However, the zero and scale fixup is still used for comparisons to VEF since a fixup is required for the VEF closures to be well defined.
shows the inner and outer iteration counts in the weak scaling study. Here, the outer iteration scales with the problem size due to the use of the approximate parallel block Jacobi sweep. Compared to VEF, SMM required more iterations to converge, suggesting SMM is more sensitive to the parallel block Jacobi sweep than VEF. This sensitivity could arise from SMM’s use of unnormalized closures that depend on both the transport solution’s magnitude and angular shape whereas VEF uses more stable, normalized closures that depend only on the angular shape of the solution.
The VEF and SMM moment systems were solved with uniform subspace correction–preconditioned BiCGStab and conjugate gradient, respectively. The previous outer iteration’s solution was used as an initial guess for the inner solver. Both methods were scalable in terms of the average number of iterations to converge at each outer iteration. However, VEF shows a clear dependence on the weak scaled problem size in terms of the maximum number of inner iterations required, rising from 18 BiCGStab iterations at the smallest problem size to 95 at the largest. On the other hand, the maximum number of conjugate gradient iterations in the SMM algorithm varied only between 27 and 37. Because of the lagging of angular flux data on parallel boundaries, the closures have nonphysical discontinuities in the early stages of the iteration. For VEF, these nonphysical discontinuities affect the left-hand side of the moment system, degrading the effectiveness of the preconditioned iterative solver. The SMM algorithm avoids this behavior because the nonphysical closure terms are present in the source terms only.
Timing data are provided in for the average parallel block Jacobi sweep cost, the average cost of forming and solving the moment system, and the total cost. Observe that the average sweep cost is higher for VEF due to the additional costs associated with applying the negative flux fixup within the sweep. As expected, the moment solve cost is lower for SMM compared to VEF with VEF approximately 1.7× more expensive per iteration. On the largest problem, the total cost of the algorithm was 8% lower for SMM compared to VEF. Note that this is despite SMM requiring 52 more sweeps than VEF on this problem size. This discrepancy is caused by both the faster sweep times from not using a fixup and the faster SMM moment solve.
We stress that we have used a fixup only to ensure that the moment system’s closures are computed using a positive solution as discussed in Remark 6. For moment methods in a multiphysics setting, the intent is to use the moment system’s solution to couple to other physics components. Thus, applying the fixup to the angular flux within the sweep increases the cost of the sweep but does not alter the overall simulation’s robustness to negativity. Because of this, SMM’s ability to converge without a fixup provides a computational advantage over VEF.
Finally, we discuss the weak scaling efficiency of the algorithms. Let EquationEq. (111)(111) (111) denote the weak scaling efficiency where ideal weak scaling is characterized by :
Because of the unavoidable communication costs associated with solving elliptic equations, ideal weak scaling is not expected. In addition, the problem size per processor was chosen based on the computation and storage costs associated with the high-dimensional transport sweep not the lower-dimensional moment solve. This leads to lower parallel efficiency in the moment solve due to the small number of moment unknowns per processor inducing higher relative communication overhead. shows the weak scaling efficiency of the average inner solve cost, the average assembly moment system assembly cost, and the total cost of the algorithm for the IP VEF and IP SMM algorithms. The total solve weak scales poorly due to the dependence on the number of outer iterations on the parallel partitioning from the use of the parallel block Jacobi sweep. Both the VEF and SMM moment solves saturate near 20% efficient while assembly scales at 60% for both methods.
VI.F. Strong Scaling
Finally, we investigate strong scaling for the IP VEF and IP SMM algorithms with on the crooked pipe problem from Sec. VI.C. The problem size was fixed at 28 672 equally sized elements with S12 angular quadrature. This led to 285 048 scalar flux unknowns and 21 676 032 angular flux unknowns. Fixed-point iteration without Anderson acceleration was used. The outer and inner tolerances were and , respectively. As with the weak scaling from the previous section, a parallel block Jacobi sweep was used to invert the streaming and collision operator, and a negative flux fixup is used for VEF only. Timing data are reported as the minimum time measured across three repeated runs. Performance is characterized on a single node of the rztopaz machine.
presents the outer and inner iteration data for the strong scaling study. SMM took between 1 and 10 outer, fixed-point iterations more to converge than VEF. As with weak scaling, VEF shows an increase in the maximum number of inner iterations as the parallel partitioning increases, which is not present for the SMM moment solve. Both methods were uniform in average number of inner iterations.
The strong scaling speedup, defined equivalently to in EquationEq. (111)(111) (111) , is plotted in . Here, ideal speedup is . The average moment system assembly cost scales well for both VEF and SMM due to its low communication overhead with VEF and SMM achieving speedups using 32 processors of 25.2× and 24.2×, respectively. The inner solve requires more communication, and thus, the speedup on 32 processors for the average inner solve cost was reduced to 12× and 13.2× for VEF and SMM, respectively. The total cost is primarily hindered by the scaling of outer iterations with processors. The total speedup on 32 processors was 9.8× for VEF and 11.4× for SMM.
VII. CONCLUSIONS
We have presented a framework for moment methods that encompasses the VEF method and the SMM. Both methods are iterative schemes to solve the Boltzmann transport equation centered around the use of the first two angular moments of the transport equation with suitable closures to accelerate slow-to-converge physics such as scattering. The VEF and SMM algorithms are differentiated only by their choice of closure: VEF uses nonlinear, multiplicative closures while SMM uses linear, additive closures. We demonstrated the close connection between these two algorithms both by way of algebraically reformulating the closures that define each moment method and through linearization of the VEF algorithm about a linearly anisotropic solution. We stress that this linearization process is actually exact since the transport equation itself is linear, and thus, the SMM algorithm can obtain the transport solution even in transport regimes.
The close connection between the VEF and SMM algorithms was used to convert existing independent VEF methods—where the closed moment system is not discretized to be algebraically equivalent to the moments of the discrete transport equation—into corresponding discrete SMMs. In particular, we use algebraic manipulations and linearization to systematically convert the IP, continuous finite element (CG), RT mixed finite element, and HRT mixed finite element VEF moment system discretizations from Olivier et al.[Citation8] and Olivier and Haut[Citation10] into discretizations of the SMM moment system. Due to iteratively lagging the additive SMM closures in the SMM algorithm, the discrete SMM moment systems represent standard IP, CG, RT, and HRT discretizations of radiation diffusion with transport-dependent correction sources and can thus directly leverage existing preconditioned iterative solver technology. We use the subspace correction preconditioner from Pazner and Kolev[Citation37] for the IP discretization, AMG for CG and HRT, and AMG-based block preconditioners for RT. The resulting discretizations and solvers are coupled to a high-order DG discretization of the transport equations to form robust and efficient independent SMMs for linear, steady-state transport problems.
The SMMs were verified to converge the scalar flux with optimal accuracy on refinements of a third-order mesh using a manufactured, quadratically anisotropic transport solution. As with the mixed finite element VEF methods from Olivier and Haut,[Citation10] the RT and HRT SMMs exhibited suboptimal convergence for the current. The iterative efficiency of the algorithms was tested in the thick diffusion limit on an orthogonal mesh and a severely distorted, third-order mesh generated with a Lagrangian hydrodynamics code. In both cases, the SMMs converged robustly and performed similarly to the analogous VEF methods.
The methods were also tested on a multimaterial problem designed to emulate the first time step of a thermal radiative transfer calculation. This problem had a 1000× difference in total cross section and sharp material discontinuities that were aligned with the mesh. Using solvers designed for symmetric problems, the SMM moment systems were efficiently solved uniformly with respect to the mesh size and polynomial degree. Using a small Anderson space of size two, the outer fixed-point iteration converged robustly as well. Compared to VEF, the SMMs converged nearly identically with some discretizations and problem sizes converging up to two iterations faster and others no more than three iterations slower. While the SMM moment system was cheaper to assemble and solve than the corresponding VEF moment system, the overall time-to-solution varied by only a relative standard deviation of 10% across the four discretizations and two closures. This invariance in cost is due to the high cost of the transport sweep, which dominates the cost of the operations associated with the moment system. We also demonstrated that the SMMs were able to robustly converge even without a negative flux fixup, an advantage over VEF which requires a negative flux fixup to guarantee the VEF closures are well defined.
We demonstrated that the IP SMM solution converged to the transport solution on a thick diffusion limit problem. Using a fixed angular quadrature rule, the SMM and solutions were compared as the mesh was refined and seen to converge at the expected, optimal order of convergence. This result indicates that the SMM algorithm does produce high-fidelity, transport solutions.
Finally, we conducted weak and strong scaling studies to demonstrate the scalability of the IP SMM algorithm. We used a parallel block Jacobi transport sweep to invert the streaming and collision operator in parallel. Parallel block Jacobi allows each processor to sweep its local domain independently at the expense of no longer being an exact inversion of the streaming and collision operator. The SMMs generally required more outer iterations than the corresponding VEF method. The IP SMM inner solve was more robust to the parallel partitioning, avoiding the scaling of the maximum number of inner iterations required to converge at each outer iteration exhibited by the IP VEF method. These discrepancies may be due to differences in how the VEF and SMM closures interact with the parallel block Jacobi sweep. Because of SMM’s faster moment assembly and moment solve and SMM’s ability to run without a negative flux fixup, SMM was able to outperform VEF in total time-to-solution by 8% on the largest weak scaling problem. On 32 processors, SMM attained a strong scaling speedup of 11.4×.
Overall, the SMM iteration was insensitive to the choice of discretization with fixed-point iteration counts roughly independent of the choice of the discretization for the SMM moment system. Furthermore, the convergence rates of the SMM and VEF algorithms were similar with only minor differences in iterations to convergence. Thus, this study indicates that the independent moment algorithm will be robust and efficient regardless of the chosen discretization technique for the moment system or the choice of closure. The discretization and closure then have the flexibility to be chosen to satisfy the requirements of the larger algorithm such as to maximize computational efficiency, improve multiphysics compatibility, or simplify software design and maintenance. In these regards, SMM is preferred since the SMM moment systems were cheaper to assemble and solve and simpler to implement than the corresponding VEF method.
For computational efficiency and software design purposes, we recommend the CG-based method since the CG SMM moment system had the fewest unknowns, was the cheapest to assemble and solve, and required the simplest discretization and preconditioning techniques. The IP- and RT-based SMMs are recommended for our intended multiphysics application in the hydrodynamics framework of Ref. [Citation11] since both methods produce solutions in a compatible, discontinuous finite element space and are cheaper to solve and simpler to implement than the corresponding VEF-based algorithms. Furthermore, RT SMM has the distinct advantage that the left-hand-side diffusion operator is equivalent to the RT-based diffusion operator already implemented in Ref. [Citation11], allowing the design of a transport algorithm that can reuse existing software.
We stress that suboptimal convergence of the current was observed for both RT VEF and RT SMM, and thus, it is not clear whether an RT-based moment method would truly improve physics compatibility with other mixed finite element–based multiphysics components. In the future, we plan to investigate whether the algorithmic flexibility seen here for the steady-state, linear transport problem extends to more complex and numerically demanding applications such as thermal radiative transfer and radiation hydrodynamics.
Disclosure Statement
No potential conflict of interest was reported by the author(s).
Additional information
Funding
References
- E. LEWIS and W. MILLER Jr., “A Comparison of P1 Synthetic Acceleration Techniques,” Trans. Am. Nucl. Soc., 23, 202 (1976).
- M. L. ADAMS and E. W. LARSEN, “Fast Iterative Methods for Discrete-Ordinates Particle Transport Calculations,” Prog. Nucl. Energy, 40, 1, 3 (2002); https://www.sciencedirect.com/science/article/pii/S0149197001000233.
- L. CHACÓN et al., “Multiscale High-Order/Low-Order (HOLO) Algorithms and Applications,” J. Comput. Phys., 330, 21 (2017); https://doi.org/10.1016/j.jcp.2016.10.069.
- J. WARSA and D. ANISTRATOV, “Two-Level Transport Methods with Independent Discretization,” J. Comput. Theor. Transport, 47, 4–6, 424 (2018); http://dx.doi.org/10.1080/23324309.2018.1497991.
- D. Y. ANISTRATOV and V. Y. GOL’DIN, “Nonlinear Methods for Solving Particle Transport Problems,” Transp. Theory Stat. Phys., 22, 2–3, 125 (1993); http://dx.doi.org/10.1080/00411459308203810.
- D. MIHALAS, Stellar Atmospheres, W. H. Freeman and Company (1978).
- V. Y. GOL’DIN, “A Quasi-Diffusion Method of Solving the Kinetic Equation,” USSR Comput. Math. Math. Phys., 4, 136 (1964).
- S. OLIVIER et al., “A Family of Independent Variable Eddington Factor Methods with Efficient Preconditioned Iterative Solvers,” J. Comput. Phys., 473, 111747 (2023); https://www.sciencedirect.com/science/article/pii/S0021999122008105.
- G. R. CEFUS and E. W. LARSEN, “Stability Analysis of the Quasideffusion and Second Moment Methods for Iteratively Solving Discrete-Ordinates Problems,” Transp. Theory Stat. Phys., 18, 5–6, 493 (1989); http://dx.doi.org/10.1080/00411458908204700.
- S. OLIVIER and T. S. HAUT, “High-Order Mixed Finite Element Variable Eddington Factor Methods” (2023); https://arxiv.org/abs/2301.04758.
- V. A. DOBREV, T. V. KOLEV, and R. N. RIEBEN, “High-Order Curvilinear Finite Element Methods for Lagrangian Hydrodynamics,” SIAM J. Sci. Comput., 34, 5, B606 (2012); https://doi.org/10.1137/120864672.
- P. G. MAGINOT and T. A. BRUNNER, “Lumping Techniques for Mixed Finite Element Diffusion Discretizations,” J. Comput. Theor. Transport, 47, 4–6, 301 (2018); http://dx.doi.org/10.1080/23324309.2018.1461653.
- V. DOBREV et al., “Algebraic Hybridization and Static Condensation with Application to Scalable H(div) Preconditioning,” SIAM J. Sci. Comput., 41, 3, B425 (2019); http://dx.doi.org/10.1137/17M1132562.
- J. LAUTARD and F. MOREAU, “A Fast 3-d Parallel Diffusion Solver Based on a Mixed-Dual Finite Element Approximation,” Proc. Topl. Mtg. Mathematical Methods and Supercomputing in Nuclear Applications, Karlsruhe, Germany, 1993, American Nuclear Society (1993).
- J. P. HENNART, E. H. MUND, and E. D. VALLE, “A Composite Nodal Finite Element for Hexagons,” Nucl. Sci. Eng., 127, 2, 139 (1997); http://dx.doi.org/10.13182/NSE97-A28593.
- A.-M. BAUDRON and J.-J. LAUTARD, “Minos: A Simplified Pn Solver for Core Calculation,” Nucl. Sci. Eng., 155, 2, 250 (2007); http://dx.doi.org/10.13182/NSE07-A2660.
- R. ALCOUFFE, “Diffusion Synthetic Acceleration Methods for the Diamond-Differenced Discrete-Ordinates Equations,” Nucl. Sci. Eng., 64, 344 (1977); http://dx.doi.org/10.13182/NSE77-1.
- J. S. WARSA, T. A. WAREING, and J. E. MOREL, “Fully Consistent Diffusion Synthetic Acceleration of Linear Discontinuous SN Transport Discretizations on Unstructured Tetrahedral Meshes,” Nucl. Sci. Eng., 141, 3, 236 (2002); http://dx.doi.org/10.13182/NSE141-236.
- M. L. ADAMS and W. R. MARTIN, “Diffusion Synthetic Acceleration of Discontinuous Finite Element Transport Iterations,” Nucl. Sci. Eng., 111, 2, 145 (1992); http://dx.doi.org/10.13182/NSE92-A23930.
- Y. WANG and J. C. RAGUSA, “Diffusion Synthetic Acceleration for High-Order Discontinuous Finite Element Sn Transport Schemes and Application to Locally Refined Unstructured Meshes,” Nucl. Sci. Eng., 166, 2, 145 (2010); http://dx.doi.org/10.13182/NSE09-46.
- T. S. HAUT et al., “Diffusion Synthetic Acceleration Preconditioning for Discontinuous Galerkin Discretizations of SN Transport on High-Order Curved Meshes,” SIAM J. Sci. Comput., 42, 5, B1271 (2020); http://dx.doi.org/10.1137/19M124993X.
- N. D. STEHLE, D. Y. ANISTRATOV, and M. L. ADAMS, “A Hybrid Transport-Diffusion Method for 2D Transport Problems with Diffusive Subdomains,” J. Comput. Phys., 270, 325 (2014); http://dx.doi.org/10.1016/j.jcp.2014.03.056.
- P. G. MAGINOT, P. F. NOWAK, and M. L. ADAMS, “A Review of the Upstream Corner Balance Spatial Discretization,” Proc. Int. Conf. Mathematics and Computational Methods Applied to Nuclear Science and Engineering (M&C 2017), Jeju, Korea, 2017.
- D. Y. ANISTRATOV et al., “Multilevel Second-Moment Methods with Group Decomposition for Multigroup Transport Problems,” Proc. Int. Conf. Mathematics and Computational Methods Applied to Nuclear Science and Engineering (M&C 2021), Virtual Meeting, October 3–7, 2021, American Nuclear Society (2021).
- D. Y. ANISTRATOV and J. S. WARSA, “Discontinuous Finite Element Quasi-Diffusion Methods,” Nucl. Sci. Eng., 191, 2, 105 (2018); http://dx.doi.org/10.1080/00295639.2018.1450013.
- D. G. ANDERSON, “Iterative Procedures for Nonlinear Integral Equations,” J. ACM, 12, 4, 547 (Oct 1965); http://dx.doi.org/10.1145/321296.321305.
- M. VAĬNBERG, Variational Methods for the Study of Nonlinear Operators, with a Chapter on Newton’s Method by L. V. KANTOROVICH and G. P. AKILOV, Translated and Supplemented by A. FEINSTEIN, Holden-Day Series in Mathematical Physics, San Francisco, California (1964).
- P. CIARLET, Three-Dimensional Elasticity, in Mathematical Elasticity, Elsevier Science (1988).
- M. E. ROGNES, R. C. KIRBY, and A. LOGG, “Efficient Assembly of H (div) and H (curl) Conforming Finite Elements,” SIAM J. Sci. Comput., 31, 6, 4130 (2010); http://dx.doi.org/10.1137/08073901X.
- A. QUARTERONI and A. VALLI, Numerical Approximation of Partial Differential Equations, Springer, Berlin, Heidelberg (1994).
- P. A. RAVIART and J. M. THOMAS, “A Mixed Finite Element Method for 2-nd Order Elliptic Problems,” Lecture Notes in Mathematics, pp. 292–315, Springer Berlin Heidelberg (1977).
- P. RAVIART and J. THOMAS, “Dual Finite Element Models for Second Order Elliptic Problems,” Energy Methods in Finite Element Analysis, p. 175.
- D. WOODS, “Discrete Ordinates Radiation Transport Using High-Order Finite Element Spatial Discretizations on Meshes with Curved Surfaces,” PhD Dissertation, Oregon State University (2018).
- T. S. HAUT et al., “An Efficient Sweep-Based Solver for the SN Equations on High-Order Meshes,” Nucl. Sci. Eng., 193, 746 (2019); http://dx.doi.org/10.1080/00295639.2018.1562778.
- D. N. ARNOLD, “An Interior Penalty Finite Element Method with Discontinuous Elements,” SIAM J. Numer. Anal., 19, 4, 742 (Aug. 1982); http://dx.doi.org/10.1137/0719052.
- D. N. ARNOLD et al., “Unified Analysis of Discontinuous Galerkin Methods for Elliptic Problems,” SIAM J. Numer. Anal., 39, 5, 1749 (2002); http://dx.doi.org/10.1137/S0036142901384162.
- W. PAZNER and T. KOLEV, “Uniform Subspace Correction Preconditioners for Discontinuous Galerkin Methods with hp-Refinement,” Communications on Applied Mathematics and Computation, Lawrence Livermore National Laboratory (July 2021).
- F. BASSI and S. REBAY, “A High Order Discontinuous Galerkin Method for Compressible Turbulent Flows,” Discontinuous Galerkin Methods, pp. 77–88, B. COCKBURN, G. E. KARNIADAKIS, and C.-W. SHU, Eds., Springer, Berlin Heidelberg (2000).
- B. COCKBURN and C.-W. SHU, “The Local Discontinuous Galerkin Method for Time-Dependent Convection-Diffusion Systems,” SIAM J. Numer. Anal., 35, 6, 2440 (Dec. 1998); http://dx.doi.org/10.1137/S0036142997316712.
- R. ANDERSON et al., “MFEM: A Modular Finite Element Methods Library,” Computers and Mathematics with Applications (July 2020).
- R. D. FALGOUT and U. M. YANG, “Hypre: A Library of High Performance Preconditioners,” Proc. Int. Conf. Computational Science (ICCS 2002), Amsterdam, The Netherlands, April 21–24, 2002, Part III, p. 632, Springer-Verlag, Berlin, Heidelberg (2002).
- A. C. HINDMARSH et al., “SUNDIALS: Suite of Nonlinear and Differential/Algebraic Equation Solvers,” ACM Trans. Math. Software, 31, 3, 363 (2005); http://dx.doi.org/10.1145/1089014.1089020.
- F. BASSI and S. REBAY, “A High-Order Accurate Discontinuous Finite Element Method for the Numerical Solution of the Compressible Navier–Stokes Equations,” J. Comput. Phys., 131, 2, 267 (1997); http://dx.doi.org/10.1006/jcph.1996.5572.
- M. BENZI, G. H. GOLUB, and J. LIESEN, “Numerical Solution of Saddle Point Problems,” Acta Numer., 14, 1 (2005); http://dx.doi.org/10.1017/S0962492904000212.
- S. HAMILTON, M. BENZI, and J. WARSA, “Negative Flux Fixups in Discontinuous Finite Element SN Transport,” Proc. Int. Conf. Mathematics, Computational Methods and Reactor Physics (M&C 2009), Saratoga Springs, New York, May 3–7, 2009, American Nuclear Society (2009).