×

A hybrid semi-Lagrangian DG and ADER-DG solver on a moving mesh for Liouville’s equation of geometrical optics. (English) Zbl 07797634

Summary: Liouville’s equation describes light propagation through an optical system. It governs the evolution of an energy distribution, the basic luminance, on phase space. The basic luminance is discontinuous across optical interfaces, as is described by non-local boundary conditions at each optical interface. Curved optical interfaces manifest themselves as moving boundaries on phase space. A common situation is that an optical system is described by a piecewise constant refractive index field. Away from optical interfaces, the characteristics of Liouville’s equation reduce to straight lines. This property is exploited in the novel solver developed in this paper by employing a semi-Lagrangian discontinuous Galerkin (SLDG) scheme away from optical interfaces. Close to optical interfaces we apply an ADER discontinuous Galerkin (ADER-DG) method on a moving mesh. The ADER-DG method is a fully discrete explicit scheme which must obey a CFL condition that restricts the stepsize, whereas the SLDG scheme can be CFL-free. A moving mesh is used to align optical interfaces with the mesh. Very small elements cannot always be avoided, even when applying mesh refinement. Local time stepping is introduced in the solver to ensure these very small elements only have a local impact on the stepsize. By construction we allow elements of SLDG type to run at a stepsize independent of these small elements. The proposed SLDG scheme uses the exact evolution of the solution, as is described by the characteristics, to update the numerical solution. We impose the condition that no characteristic emanating from an SLDG element can cross an optical interface. In the novel hybrid SLDG and ADER-DG solver this condition is used to naturally divide the spatio-temporal domain into different regions, describing where the SLDG scheme and where the ADER-DG scheme need to be used. An intermediate element is introduced to efficiently couple an SLDG region with an ADER-DG region. Numerical experiments validate that the hybrid solver obeys energy conservation up to machine precision and numerical convergence results show the expected order of convergence. The performance of the hybrid solver is compared to a pure ADER-DG scheme with global time stepping to show the efficiency of the hybrid solver. In particular, a speed-up of 1.6 to 10, in favour of the hybrid solver, for computation times up to 4 minutes was seen in an example. Finally, the hybrid solver and the pure ADER-DG scheme are compared to quasi-Monte Carlo ray tracing. In the examples considered, amongst the three methods the hybrid solver is shown to converge the fastest to high accuracies.

MSC:

65Mxx Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems
76Mxx Basic methods in fluid mechanics
35Lxx Hyperbolic equations and hyperbolic systems

Software:

sldg

References:

[1] van Gestel, R. A.M.; Anthonissen, M. J.H.; ten Thije Boonkkamp, J. H.M.; IJzerman, W. L., An ADER discontinuous Galerkin method on moving meshes for Liouville’s equation of geometrical optics (2022), Available at SSRN 4177663 · Zbl 1508.65148
[2] van Lith, B. S.; ten Thije Boonkkamp, J. H.M.; IJzerman, W. L.; Tukker, T. W., A novel scheme for Liouville’s equation with a discontinuous Hamiltonian and applications to geometrical optics. J. Sci. Comput., 739-771 (2016) · Zbl 1372.65328
[3] Einkemmer, L., A performance comparison of semi-Lagrangian discontinuous Galerkin and spline based Vlasov solvers in four dimensions. J. Comput. Phys., 937-951 (2019) · Zbl 1416.65347
[4] Qiu, J.-M.; Shu, C.-W., Positivity preserving semi-Lagrangian discontinuous Galerkin formulation: theoretical analysis and application to the Vlasov-Poisson system. J. Comput. Phys., 8386-8409 (2011) · Zbl 1273.65147
[5] Rossmanith, J. A.; Seal, D. C., A positivity-preserving high-order semi-Lagrangian discontinuous Galerkin scheme for the Vlasov-Poisson equations. J. Comput. Phys., 6203-6232 (2011) · Zbl 1419.76506
[6] Besse, N.; Deriaz, E.; Madaule, É., Adaptive multiresolution semi-Lagrangian discontinuous Galerkin methods for the Vlasov equations. J. Comput. Phys., 376-417 (2017) · Zbl 1380.65249
[7] Cai, X.; Boscarino, S.; Qiu, J.-M., High order semi-Lagrangian discontinuous Galerkin method coupled with Runge-Kutta exponential integrators for nonlinear Vlasov dynamics. J. Comput. Phys. (2021) · Zbl 07510239
[8] Einkemmer, L., High performance computing aspects of a dimension independent semi-Lagrangian discontinuous Galerkin code. Comput. Phys. Commun., 326-336 (2016) · Zbl 1348.35004
[9] Giraldo, F. X.; Restelli, M., A study of spectral element and discontinuous Galerkin methods for the Navier-Stokes equations in nonhydrostatic mesoscale atmospheric modeling: equation sets and test cases. J. Comput. Phys., 3849-3877 (2008) · Zbl 1194.76189
[10] Guo, W.; Nair, R. D.; Qiu, J.-M., A conservative semi-Lagrangian discontinuous Galerkin scheme on the cubed sphere. Mon. Weather Rev., 457-475 (2014)
[11] Tavelli, M.; Boscheri, W., A high-order parallel Eulerian-Lagrangian algorithm for advection-diffusion problems on unstructured meshes. Int. J. Numer. Methods Fluids, 332-347 (2019)
[12] van Gestel, R. A.M.; Anthonissen, M. J.H.; ten Thije Boonkkamp, J. H.M.; IJzerman, W. L., An energy conservative hp-method for Liouville’s equation of geometrical optics. J. Sci. Comput., 1-35 (2021) · Zbl 1496.65187
[13] Dumbser, M.; Käser, M.; Toro, E. F., An arbitrary high-order discontinuous Galerkin method for elastic waves on unstructured meshes-V. Local time stepping and p-adaptivity. Geophys. J. Int., 695-717 (2007)
[14] Dumbser, M., Arbitrary-Lagrangian-Eulerian ADER-WENO finite volume schemes with time-accurate local time stepping for hyperbolic conservation laws. Comput. Methods Appl. Mech. Eng., 57-83 (2014) · Zbl 1423.76296
[15] Minoli, C. A.A.; Kopriva, D. A., Discontinuous Galerkin spectral element approximations on moving meshes. J. Comput. Phys., 1876-1902 (2011) · Zbl 1210.65164
[16] Chalmers, N.; Krivodonova, L., A robust CFL condition for the discontinuous Galerkin method on triangular meshes. J. Comput. Phys. (2020) · Zbl 1453.65267
[17] Dumbser, M.; Balsara, D. S.; Toro, E. F.; Munz, C.-D., A unified framework for the construction of one-step finite volume and discontinuous Galerkin schemes on unstructured meshes. J. Comput. Phys., 8209-8253 (2008) · Zbl 1147.65075
[18] Mattheij, R. M.M.; Rienstra, S. W.; ten Thije Boonkkamp, J. H.M., Partial Differential Equations: Modeling, Analysis, Computation (2005), SIAM · Zbl 1090.35001
[19] Filosa, C., Phase Space Ray Tracing for Illumination Optics (2018), Eindhoven University of Technology, Ph.D. thesis
[20] Leobacher, G.; Pillichshammer, F., Introduction to Quasi-Monte Carlo Integration and Applications (2014), Springer · Zbl 1309.65006
[21] Chaves, J., Introduction to Nonimaging Optics (2017), CRC Press
[22] Ning, X.; Winston, R.; O’Gallagher, J., Dielectric totally internally reflecting concentrators. Appl. Opt., 300-305 (1987)
[23] Griffiths, D. J., Introduction to Electrodynamics, American Association of Physics Teachers (2005)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.