## Abstract

Discontinuous Galerkin (DG) methods are a popular class of numerical techniques to solve partial differential equations due to their higher order of accuracy. However, the inter-element discontinuity of a DG solution hinders its utility in various applications, including visualization and feature extraction. This shortcoming can be alleviated by postprocessing of DG solutions to increase the inter-element smoothness. A class of postprocessing techniques proposed to increase the inter-element smoothness is SIAC filtering. In addition to increasing the inter-element continuity, SIAC filtering also raises the convergence rate from order \(k + 1\) to order \(2k + 1\). Since the introduction of SIAC filtering for univariate hyperbolic equations by Cockburn et al. (Math Comput 72(242):577–606, 2003), many generalizations of SIAC filtering have been proposed. Recently, the idea of dimensionality reduction through rotation has been the focus of studies in which a univariate SIAC kernel has been used to postprocess a two-dimensional DG solution (Docampo-Sánchez et al. in Multi-dimensional filtering: reducing the dimension through rotation, 2016. arXiv preprint arXiv:1610.02317). However, the scope of theoretical development of multidimensional SIAC filters has never gone beyond the usage of tensor product multidimensional B-splines or the reduction of the filter dimension. In this paper, we define a new SIAC filter called hexagonal SIAC (HSIAC) that uses a nonseparable class of two-dimensional spline functions called hex splines. In addition to relaxing the separability assumption, the proposed HSIAC filter provides more symmetry to its tensor-product counterpart. We prove that the superconvergence property holds for a specific class of structured triangular meshes using HSIAC filtering and provide numerical results to demonstrate and validate our theoretical results.

### Similar content being viewed by others

## Notes

In spline theory, the first-order central B-spline is often denoted as \(b_0(x)\).

The scaling of the HSIAC filter in this case does not change since the underlying hexagonal mesh has not changed.

## References

Adjerid, S., Baccouch, M.: The discontinuous Galerkin method for two-dimensional hyperbolic problems. part I: superconvergence error analysis. J. Sci. Comput.

**33**(1), 75–113 (2007)Adjerid, S., Baccouch, M.: The discontinuous Galerkin method for two-dimensional hyperbolic problems part II: a posteriori error estimation. J. Sci. Comput.

**38**(1), 15–49 (2009)Archibald, R., Gelb, A., Gottlieb, S., Ryan, J.K.: One-sided post-processing for the discontinuous Galerkin method using ENO type stencil choosing and the local edge detection method. J. Sci. Comput.

**28**(2–3), 167–190 (2006)Bramble, J.H., Schatz, A.H.: Higher order local accuracy by averaging in the finite element method. Math. Comput.

**31**(137), 94–111 (1977)Cangiani, A., Dong, Z., Georgoulis, E.H., Houston, P.: hp-version discontinuous Galerkin methods for advection–diffusion–reaction problems on polytopic meshes. ESAIM Math. Model. Numer. Anal.

**50**(3), 699–725 (2016)Cockburn, B., Fu, G., Sayas, F.: Superconvergence by M-decompositions. part I: general theory for HDG methods for diffusion. Math. Comput.

**86**, 1609–1641 (2016)Cockburn, B., Luskin, M., Shu, C.W., Süli, E.: Enhanced accuracy by post-processing for finite element methods for hyperbolic equations. Math. Comput.

**72**(242), 577–606 (2003)Cohen, E., Riesenfeld, R.F., Elber, G.: Geometric Modeling with Splines—An Introduction. A K Peters, Natick (2001)

de Boor, C., Höllig, K., Riemenschneider, S.: Box Splines. Springer, New York (1993)

Docampo-Sánchez, J., Ryan, J.K., Mirzargar, M., Kirby, R.M.: Multi-dimensional filtering: reducing the dimension through rotation (2016). arXiv preprint arXiv:1610.02317

Entezari, A.:

*Optimal Sampling Lattices and Trivariate Box Splines*. Ph.D. thesis, Simon Fraser University, Burnaby, BC, Canada, Canada (2007)Jallepalli, A., Docampo-Sánchez, J., Ryan, J.K., Haimes, R., Kirby, R.M.: On the treatment of field quantities and elemental continuity in fem solutions. IEEE Trans. Vis. Comput. Graph. (2017)

**(accepted)**Ji, L., van Slingerland, P., Ryan, J.K., Vuik, K.: Superconvergent error estimates for a position-dependent Smoothness-Increasing Accuracy-Conserving filter for DG solutions. Math. Comput.

**83**, 2239–2262 (2014)Ji, L., Van Slingerland, P., Ryan, J.K., Vuik, K.: Superconvergent error estimates for position-dependent Smoothness-Increasing Accuracy-Conserving (SIAC) post-processing of discontinuous Galerkin solutions. Math. Comput.

**83**(289), 2239–2262 (2014)Ji, L., Xu, Y., Ryan, J.K.: Accuracy enhancement of the linear convection–diffusion equation in multiple dimensions. Math. Comput.

**81**, 1929–1950 (2012)Ji, L., Xu, Y., Ryan, J.K.: Negative-order norm estimates for nonlinear hyperbolic conservation laws. J. Sci. Comput.

**54**(2–3), 531–548 (2013)King, J., Mirzaee, H., Ryan, J.K., Kirby, R.M.: Smoothness-Increasing Accuracy-Conserving (SIAC) filtering for discontinuous Galerkin solutions: improved errors versus higher-order accuracy. J. Sci. Comput.

**53**(1), 129–149 (2012)Meng, X., Ryan, J.K.: Discontinuous Galerkin methods for nonlinear scalar hyperbolic conservation laws: divided difference estimates and accuracy enhancement. Numer. Math.

**136**, 27–73 (2016)Meng, X., Ryan, J.K.: Divided difference estimates and accuracy enhancement of discontinuous Galerkin methods for nonlinear symmetric systems of hyperbolic conservation laws. IMA J. Numer. Anal. (2016). doi:10.1093/imanum/drw072

Mirzaee, H.:

*Smoothness-Increasing Accuracy-Conserving filters (SIAC) for Discontinuous Galerkin Solutions*. Ph.D. thesis, University of Utah, Salt Lake City, Utah, USA (2012)Mirzaee, H., Ji, L., Ryan, J.K., Kirby, R.M.: Smoothness-Increasing Accuracy-Conserving (SIAC) postprocessing for discontinuous Galerkin solutions over structured triangular meshes. SIAM J. Numer. Anal.

**49**(5), 1899–1920 (2011)Mirzaee, H., King, J., Ryan, J.K., Kirby, R.M.: Smoothness-Increasing Accuracy-Conserving filters for discontinuous Galerkin solutions over unstructured triangular meshes. SIAM J. Sci. Comput.

**35**(1), A212–A230 (2013)Mirzaee, H., Ryan, J.K., Kirby, R.M.: Quantification of errors introduced in the numerical approximation and implementation of Smoothness-Increasing Accuracy-Conserving (SIAC) filtering of discontinuous Galerkin (DG) fields. J. Sci. Comput.

**45**(1–3), 447–470 (2010)Mirzaee, H., Ryan, J.K., Kirby, R.M.: Efficient implementation of Smoothness-Increasing Accuracy-Conserving (SIAC) filters for discontinuous Galerkin solutions. J. Sci. Comput.

**52**(1), 85–112 (2012)Mirzaee, H., Ryan, J.K., Kirby, R.M.: Smoothness-Increasing Accuracy-Conserving (SIAC) filters for discontinuous Galerkin solutions: application to structured tetrahedral meshes. J. Sci. Comput.

**58**(3), 690–704 (2014)Mirzargar, M.:

*A Reconstruction Framework for Common Sampling Lattices*. Ph.D. thesis, University of Florida, Gainesville, Florida, USA (2012)Mirzargar, M., Entezari, A.: Voronoi splines. IEEE Trans. Signal Process.

**58**(9), 4572–4582 (2010)Mirzargar, M., Entezari, A.: Quasi interpolation with voronoi splines. IEEE Trans. Vis. Comput. Graph.

**17**(12), 1832–1841 (2011)Mirzargar, M., Ryan, J.K., Kirby, R.M.: Smoothness-Increasing Accuracy-Conserving (SIAC) filtering and quasi-interpolation: a unified view. J. Sci. Comput.

**67**(1), 237–261 (2016)Nektar++ (2016). http://www.nektar.info

Ryan, J.K., Cockburn, B.: Local derivative post-processing for the discontinuous Galerkin method. J. Comput. Phys.

**228**(23), 8642–8664 (2009)Ryan, J.K., Shu, C.W.: One-sided post-processing technique for the discontinuous Galerkin methods. Methods Appl. Anal.

**10**(2), 295–308 (2003)Senechal, M.: Quasicrystals and Geometry. CUP Archive, Cambridge (1996)

Steffen, M., Curtis, S., Kirby, R.M., Ryan, J.K.: Investigation of Smoothness-Increasing Accuracy-Conserving filters for improving streamline integration through discontinuous fields. IEEE Trans. Vis. Comput. Graph.

**14**(3), 680–692 (2008)Van De Ville, D., Blu, T., Unser, M., Philips, W., Lemahieu, I., Van de Walle, R.: Hex-splines: a novel spline family for hexagonal lattices. IEEE Trans. Image Process.

**13**(6), 758–772 (2004)Walfisch, D., Ryan, J.K., Kirby, R.M., Haimes, R.: One-sided Smoothness-Increasing Accuracy-Conserving filtering for enhanced streamline integration through discontinuous fields. J. Sci. Comput.

**38**(2), 164–184 (2009)

## Acknowledgements

This work was sponsored in part by the Air Force Office of Scientific Research (AFOSR), Computational Mathematics Program (Program Manager: Dr. Jean-Luc Cambier), under Grant Nos. FA9550-12-1-0428 (first and fourth author), FA8655-13-1-3017 (third author). The second and fourth authors are sponsored in part by the Army Research Office (Program manager: Dr. Mike Coyle) under Grant No. W911NF-15-1-0222. In addition, the authors would like to acknowledge the anonymous reviewers for providing comments that improved the manuscript.

## Author information

### Authors and Affiliations

### Corresponding author

## Ethics declarations

### Conflict of interest

The authors declare that they have no conflict of interest.

## Additional information

In honor of Prof. Chi-Wang Shu’s 60th Birthday.

## Appendix

### Appendix

In this appendix, we provide some details for the box-spline-based formulation of hex splines. This formulation provides a compact and efficient mechanism to evaluate and study the properties of higher order hex splines. We start the discussion with a brief introduction to box splines as one of the most generic spline functions.

A box spline \(\mathbb {R}^d\) is defined by a set of *n* vectors \(\xi _1, \ldots , \xi _n \in \mathbb {R}^d\). Geometrically, a box spline is the shadow of a hypercube in \(\mathbb {R}^n\) that has been projected onto \(\mathbb {R}^d\) where \( n > d\). Each \(\xi \) denotes the shadow of an edge of the hypercube in \(\mathbb {R}^n\). The simplest box spline in \(\mathbb {R}^d\) corresponds to the case where \(d=n\). In this case, a box spline is defined as the (normalized) indicator function of the parallelepiped formed by the *d* vectors in \(\mathbb {R}^d\).

where \(\varXi :=[\xi _1, \ldots , \xi _n]\) denotes the matrix of directions. For \(n > d\), a box spline can be defined recursively as

where \(\varXi \cup \xi _k\) denotes the addition of \(\xi _k\) to the matrix of direction \( \varXi \cup \xi _k := [\xi _1,\cdots , \xi _n, \xi _k] \). The convolution in the relation above can be considered as smearing the original box spline \(M_{\varXi }\) along the new direction \(\xi _k\). Consequently, the support of the new box spline \(M_{\varXi \cup \xi _k}\) can be considered as the Minkowski sum of the vectors in \(\varXi \cup \xi _k\). Figure 13 demonstrates the idea behind the convolution in Eq. 31 graphically. Similarly, the convolution of two box splines together results in a new box spline

Note that the vectors can appear with some multiplicity in the matrix of directions of a box spline.

The matrix of directions fully specifies all the properties of \(M_{\varXi }\) but the order of the vectors in \(\varXi \) does not have any effect on its properties. For instance, let \(\kappa \) denote the minimum number of directions whose removal from \(\varXi \) makes the remaining directions not span \(\mathbb {R}^d\). The value of \(\kappa \) specifies the order of continuity of a box spline. That is, a box spline formed by \(\varXi \) is \(C^{\kappa -2}\) continuous [9]. A box spline is a piecewise polynomial function and can be efficiently evaluated using the recursive definition in Eq. 30 or using a Fourier transform analysis [9]. It is worth mentioning that the derivatives of \(M_{\varXi }\) in any direction \(Z \in \varXi \) can be exactly evaluated using a differencing operator

where \(\varXi \backslash Z\) denotes removal of direction *Z* from the matrix of direction and \(\partial _{Z}\) denotes a backward difference operator in the direction of *Z*. In general, the derivative of \(M_{\varXi }\) in any arbitrary direction can still be rewritten in terms of (a linear combination of) the derivatives in the direction *Z* where \(Z \in \varXi \) [9, Lemma 34]. The interested reader can consult [9] for a thorough discussion of box splines and it properties.

Both B-splines and hex splines can be written in terms of box splines. For example, the first-order hex spline can be written and evaluated as a summation of the indicator function of three parallelepipeds that constitute the Voronoi cell of the hexagonal lattice (i.e., the hexagon presented in Fig. 1b). Each parallelepiped can be represented using a box spline

where \(\xi _i\) represents the \(i^{th}\) column of matrix \(\mathbf {H}_3\). Figure 14 demonstrates the decomposition of the first-order hex spline into three box splines. We can now use the box spline convolution rule in order to write the higher order hex splines as

where \(( \eta _1)^{*n}\) is a short-hand notation for *n*-times self-convolution.

For example, the second-order hex spline can be written in terms of six box splines

Not that unlike B-splines, the derivatives of a hex spline cannot be written in terms of lower order hex splines. However, the derivatives of hex splines can be written compactly in terms of the derivative of its constituent box splines (see Eq. 33), and be exactly evaluated using difference operators [9, Lemma 34].

## Rights and permissions

## About this article

### Cite this article

Mirzargar, M., Jallepalli, A., Ryan, J.K. *et al.* Hexagonal Smoothness-Increasing Accuracy-Conserving Filtering.
*J Sci Comput* **73**, 1072–1093 (2017). https://doi.org/10.1007/s10915-017-0517-5

Received:

Revised:

Accepted:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s10915-017-0517-5