Lecture 16 Wednesday, May 25, 2005 Consider the linear advection equation φ t + V φ = 0 (1) or in 1D φ t + uφ x = 0. In upwinding, we choose the discretization of the spatial derivative based on the sign of u. if u > 0, we use φ x (e.g., D φ = φi φi 1 x ) if u < 0, we use φ + x (e.g., D + φ = φi+1 φi x ) if u = 0, do nothing Using ENO we construct higher order approximations to φ x φ + x. Here we describe the WENO (weighted essentially non-oscillatory) method, which gives a better approximation of φ x than ENO. The following is Osher Fedkiw, 3.4. 1 Hamilton-Jacobi WENO When calculating (φ x ) i, the third order accurate HJ ENO scheme uses a subset of {φ i 3, φ i 2, φ i 1, φ i, φ i+1, φ i+2 } depending on how the stencil is chosen. In fact, there are exactly three possible HJ ENO approximations to (φ x ) i. Defining v 1 = D φ i 2, v 2 = D φ i 1, v 3 = D φ i, v 4 = D φ i+1 v 5 = D φ i+2 allows us to write φ 1 x = v 1 3 7v 2 6 + 11v 3 6 (2) φ 2 x = v 2 6 + 5v 3 6 + v 4 3 (3) 1
φ 3 x = v 3 3 + 5v 4 6 v 5 6 (4) as the three potential HJ ENO approximations to φ x. The goal of HJ ENO is the choose the single approximation with the least error by choosing the smoothest possible polynomial interpolation of φ. In [3], Liu et. al. pointed out that the ENO philosophy of picking exactly one of three cidate stencils is overkill in smooth regions where the data is well behaved. They proposed a Weighted ENO (WENO) method that takes a convex combination of the three ENO approximations. Of course, if any of the three approximations interpolate across a discontinuity, it is given minimal weight in the convex combination in order to minimize its contribution the resulting errors. Otherwise, in smooth regions of the flow, all three approximations are allowed to make a significant contribution in a way that improves the local accuracy from third order to fourth order. Later, Jiang Shu [2] improved the WENO method by choosing the convex combination weights in order to obtain the optimal fifth order accuracy in smooth regions of the flow. In [1], following the work on HJ ENO in [5], Jiang Peng extended WENO to the Hamilton-Jacobi framework. This Hamilton-Jacobi WENO or HJ WENO scheme turns out to be very useful for solving equation 1 as it reduces the errors by more than an order of magnitude over the third order accurate HJ ENO scheme for typical applications. The HJ WENO approximation of (φ x ) i is a convex combination of the approximations in equations 2, 3 4 given by φ x = ω 1 φ 1 x + ω 2 φ 2 x + ω 3 φ 3 x (5) where the 0 ω k 1 are the weights with ω 1 +ω 2 +ω 3 = 1. The key observation for obtaining high order accuracy in smooth regions is that weights of ω 1 =.1, ω 2 =.6 ω 3 =.3 give the optimal fifth order accurate approximation to φ x. While this is the optimal approximation, it is only valid in smooth regions. In nonsmooth regions, this optimal weighting can be very inaccurate we are better off with digital (ω k = 0 or ω k = 1) weights that choose a single approximation to φ x, i.e. the HJ ENO approximation. Reference [2] pointed out that setting ω 1 =.1 + O(( x) 2 ), ω 2 =.6 + O(( x) 2 ) ω 3 =.3 + O(( x) 2 ) still gives the optimal fifth order accuracy in smooth regions. In order to see this, we rewrite these as ω 1 =.1 + C 1 ( x) 2, ω 2 =.6 + C 2 ( x) 2 ω 3 =.3 + C 3 ( x) 2 plug them into equation 5 to obtain.1φ 1 x +.6φ 2 x +.3φ 3 x (6) C 1 ( x) 2 φ 1 x + C 2 ( x) 2 φ 2 x + C 3 ( x) 2 φ 3 x (7) 2
as the two terms that are added up to give the HJ WENO approximation to φ x. The term given by equation 6 is the optimal approximation which gives the exact value of φ x plus an O(( x) 5 ) error term. Thus, if the term given by equation 7 is O(( x) 5 ), then the entire HJ WENO approximation is O(( x) 5 ) in smooth regions. To see that this is the case, first note that each of the HJ ENO φ k x approximations gives the exact value of φ x, denoted φ E x, plus an O(( x) 3 ) error term (in smooth regions). Thus, the term in equation 7 is C 1 ( x) 2 φ E x + C 2 ( x) 2 φ E x + C 3 ( x) 2 φ E x (8) plus an O(( x) 2 )O(( x) 3 ) = O(( x) 5 ) term. Since, each of the C k are O(1), as is φ E x, this appears to be an O(( x) 2 ) term at first glance. However, since ω 1 +ω 2 +ω 3 = 1, we have C 1 +C 2 +C 3 = 0 implying that the term in equation 8 is identically zero. Thus, the HJ WENO approximation is O(( x) 5 ) in smooth regions. Note that [3] obtained only fourth order accuracy, since they chose ω 1 =.1 + O( x), ω 2 =.6 + O( x) ω 3 =.3 + O( x). In order to define the weights, ω k, we follow [1] estimate the smoothness of the stencils in equations 2, 3 4 as S 1 = 13 12 (v 1 2v 2 + v 3 ) 2 + 1 4 (v 1 4v 2 + 3v 3 ) 2 (9) S 2 = 13 12 (v 2 2v 3 + v 4 ) 2 + 1 4 (v 2 v 4 ) 2 (10) S 3 = 13 12 (v 3 2v 4 + v 5 ) 2 + 1 4 (3v 3 4v 4 + v 5 ) 2 (11) respectively. Using these smoothness estimates, we define α 1 = α 2 =.1 (S 1 + ɛ) 2 (12).6 (S 2 + ɛ) 2 (13) α 3 =.3 (S 3 + ɛ) 2 (14) with ɛ = 10 6 max { v1, 2 v2, 2 v3, 2 v4, 2 v5 2 } + 10 99 (15) where the 10 99 term is set to avoid division by zero in the definition of the α k. This value for epsilon was first proposed by Fedkiw et al. [4] where the 3
first term is a scaling term that aids in the balance between the optimal fifth order accurate stencil the digital HJ ENO weights. In the case that φ is an approximate signed distance function, the v k which approximate φ x are approximately equal to one so that the first term in equation 15 can be set to 10 6. This first term can then absorb the second term yielding ɛ = 10 6 in place of equation 15. Since the first term in equation 15 is only a scaling term, it is valid to make this v k 1 estimate in multidimensions as well. A smooth solution has small variation leading to small S k. If the S k are small enough compared to ɛ then equations 12, 13 14 become α 1.1ɛ 2, α 2.6ɛ 2 α 3.3ɛ 2 exhibiting the proper ratios for the optimal fifth order accuracy. That is, normalizing the α k to obtain the weights ω 1 = α 1 (16) ω 2 = ω 3 = α 2 (17) α 3 (18) gives (approximately) the optimal weights of ω 1 =.1, ω 2 =.6 ω 3 =.3 when the S k are small enough to be dominated by ɛ. Nearly optimal weights are also obtained when the S k are larger than ɛ as long as all the S k are approximately the same size as is the case for sufficiently smooth data. On the other h, if the data is not smooth as indicated by large S k, then the corresponding α k will be small compared to the other α k s giving that particular stencil limited influence. If two of the S k are relatively large, then their corresponding α k s will both be small the scheme will rely most heavily on a single stencil similar to the digital behavior of HJ ENO. In the unfortunate instance that all three of the S k are large, the data is poorly conditioned none of the stencils are particularly useful. This case is problematic for the HJ ENO method as well, but fortunately it usually occurs only locally in space time allowing the methods to repair themselves after the situation subsides. (φ + x ) i is constructed with a subset of {φ i 2, φ i 1, φ i, φ i+1, φ i+2, φ i+3 }. Defining v 1 = D + φ i+2, v 2 = D + φ i+1, v 3 = D + φ i, v 4 = D + φ i 1 v 5 = D + φ i 2 allows us to use equations 2, 3 4 as the three HJ ENO approximations to (φ + x ) i. Then the HJ WENO convex combination is given by equation 5 with the weights given by equations 16, 17 18. References [1] Jiang, G.-S. Peng, D., Weighted ENO Schemes for Hamilton Jacobi Equations, SIAM J. Sci. Comput. 21, 2126-2143 (2000). 4
[2] Jiang, G.-S. Shu, C.-W., Efficient Implementation of Weighted ENO Schemes, J. Comput. Phys. 126, 202-228 (1996). [3] Liu, X.-D., Osher, S. Chan, T., Weighted Essentially Non-Oscillatory Schemes, J. Comput. Phys. 126, 202-212 (1996). [4] Fedkiw, R., Merriman, B., Osher, S., Simplified Upwind Discretization of Systems of Hyperbolic Conservation Laws Containing Advection Equations, J. Comput. Phys. 157, 302-326 (2000). [5] Osher, S. Shu, C.-W., High Order Essentially Non-Oscillatory Schemes for Hamilton-Jacobi Equations, SIAM J. Numer. Anal. 28, 902-921 (1991). 5