13.07.2015 Views

High-Order, Finite-Volume Methods in Mapped Coordinates

High-Order, Finite-Volume Methods in Mapped Coordinates

High-Order, Finite-Volume Methods in Mapped Coordinates

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

given byx 1 = 1.7 + [0.074 (2ξ 1 − 1) + 0.536] cos [ 2πξ 2 + s<strong>in</strong> −1 (0.416) s<strong>in</strong>(2πξ 2 ) ] ,x 2 = 1.66 [0.074 (2ξ 1 − 1) + 0.536] s<strong>in</strong>(2πξ 2 ),(53)for 0 ≤ ξ 1 , ξ 2 ≤ 1. We seek the solution of∇ 2 Φ(x) = ρ(x), x ∈ Ω, (54)satisfy<strong>in</strong>g homogeneous Dirichlet boundary conditions <strong>in</strong> the radial (ξ 1 ) directionΦ(X(0, ξ 2 )) = Φ(X(1, ξ 2 )) = 0, 0 ≤ ξ 2 ≤ 1, (55)and periodic boundary conditions <strong>in</strong> the azimuthal (ξ 2 ) direction. To test theaccuracy of our discretization, we employ a manufactured solution procedureand compute a right-hand side ρ correspond<strong>in</strong>g to a predeterm<strong>in</strong>ed, analyticallyprescribed solution. After form<strong>in</strong>g and solv<strong>in</strong>g the l<strong>in</strong>ear system result<strong>in</strong>gfrom our discretization us<strong>in</strong>g the right-hand side so obta<strong>in</strong>ed, we can computethe discretization error s<strong>in</strong>ce the exact solution is known. In particular, we setΦ(x) = ˜Φ(X −1 (x)), where˜Φ(ξ 1 , ξ 2 ) = 4ξ 1 (1 − ξ 1 ) [1 + 0.1 s<strong>in</strong>(8πξ 2 )] . (56)Us<strong>in</strong>g (56), we apply the divergence theorem to compute the <strong>in</strong>tegral of ρ overa mapped grid cell X(V ) as∫X(V )ρ(x)dx =∑ 2∑∫±=+,− d=1A ± d(J −1 N T N∇ ξ ˜Φ ) d dA ξ. (57)S<strong>in</strong>ce the mapp<strong>in</strong>g (53) is prescribed us<strong>in</strong>g simple analytic formulas, the transformationmatrix N and its Jacobian J are also explicitly available. Theone-dimensional <strong>in</strong>tegrals <strong>in</strong> (57) are evaluated us<strong>in</strong>g the DQAG <strong>in</strong>tegratorfrom QUADPACK [13], which implements a globally adaptive Gauss-Kronrodquadrature to prescribed relative and absolute tolerances. For the convergenceresults presented below, the relative and absolute tolerances were set to 10 −12to reduce the quadrature error well below the discretization errors be<strong>in</strong>g measured,yield<strong>in</strong>g a nearly exact evaluation of the the <strong>in</strong>tegral (57).The discretization described above was implemented <strong>in</strong> a test code us<strong>in</strong>g theChombo <strong>in</strong>frastructure [14]. The result<strong>in</strong>g l<strong>in</strong>ear system was solved us<strong>in</strong>g apreconditioned conjugate gradient (PCG) solver from the Hypre library [15].The Hypre PCG solver accommodates the 5×5 stencil generated by the fourthorderdiscretization at each grid cell. Given the positive-def<strong>in</strong>ite, self-adjo<strong>in</strong>tproperty of the l<strong>in</strong>ear operator, a possible alternative approach would havebeen to employ a multigrid solver. We do not, however, have a multigrid solveravailable that can accommodate a 5×5 stencil, <strong>in</strong>clud<strong>in</strong>g the multigrid solversavailable <strong>in</strong> Hypre. We therefore employ the Hypre PFMG multigrid solver16

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!