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.

Alternative expressions to (17) are obta<strong>in</strong>ed by replac<strong>in</strong>g the averages 〈f〉 i+12 edand/or 〈g〉 i+1 used <strong>in</strong> the transverse gradients G ⊥,d2 ed 0 by the correspond<strong>in</strong>gface-centered po<strong>in</strong>twise values f i+1 and/or g 2 ed i+ 1 ed, respectively.2We then approximate the divergence of a flux bywhere∫X(V i )∇ x · Fdx ≈ h D−1D ∑∑d=1 ±=+,−±F di± 1 (19)ed,2F di+ 1 2 ed =D∑〈Nd〉 s i+1ed〈F s 〉 12 i+s=1+ h2 D∑12s=12 ed()G ⊥,d0 (〈Nd〉 s 1 i+·2 ed()G ⊥,d0 (〈F s 〉 1 i+ ed) .2(20)The column vectors {〈Nd〉 s i+1ed, s = 1, . . . , D} are computed on each face us<strong>in</strong>g2(11) and (13), with fourth-order accurate quadratures replac<strong>in</strong>g the <strong>in</strong>tegrals<strong>in</strong> (11). The fourth-order average of F can be computed us<strong>in</strong>g (4).We can apply this approach to compute a fourth-order accurate approximationto the cell volumes by tak<strong>in</strong>g F(x) = x. In that case,∫∇ x · Fdx = D × <strong>Volume</strong>(X(V i )),X(V i )and the volume of the cell can be written as the discrete divergence of fluxes.Such a flux form is convenient for ma<strong>in</strong>ta<strong>in</strong><strong>in</strong>g conservation and freestreampreservation for adaptive mesh ref<strong>in</strong>ement on mapped grids [11].3 Application to Elliptic EquationsIn this section, we apply the mapped grid, f<strong>in</strong>ite-volume formalism describedabove to obta<strong>in</strong> a fourth-order accurate f<strong>in</strong>ite-volume discretization of a selfadjo<strong>in</strong>tequation∇ · F(x) = ρ(x), x ∈ Ω ⊂ R 2 , (21)whereF(x) ≡ D(x)∇Φ(x), (22)and the matrix coefficient D is such that the second-order differential operator<strong>in</strong> (21)-(22) is elliptic. Assum<strong>in</strong>g a mapp<strong>in</strong>g (5) of the physical doma<strong>in</strong> Ω toa computational doma<strong>in</strong>, we have <strong>in</strong> the latter us<strong>in</strong>g (6)F = D∇ X ξ∇ ξ Φ ≡ J −1 DN∇ ξ Φ. (23)8

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

Saved successfully!

Ooh no, something went wrong!