1 Introduction
Since the first observations of the solar wind by the probes Luna 2 and Mariner 2 (Gringauz et al. Reference Gringauz, Bezrukikh, Ozerov and Rybchinskii1962; Neugebauer & Snyder Reference Neugebauer and Snyder1962), the scientific community has been trying to model its origin in the solar corona. Analytical solutions were first derived in simple cases such as the hydrodynamic limit in one dimension (Parker Reference Parker1958) or the magnetic case in one dimension (Weber & Davis Reference Weber and Davis1967) and two dimensions (Sakurai Reference Sakurai1985). It was not until the end of the 20th century that computational capabilities became sufficient to handle magnetohydrodynamic (MHD) numerical simulations, coupling the Navier–Stokes and Maxwell's equations for simple configurations (Endler Reference Endler1971; Pneuman & Kopp Reference Pneuman and Kopp1971; Keppens & Goedbloed Reference Keppens and Goedbloed1999). It then became possible to use directly magnetograms derived from observations as a lower boundary condition to obtain data-driven numerical simulations (Mikic, Linker & Colborn Reference Mikic, Linker and Colborn1996; Usmanov Reference Usmanov1996; Linker et al. Reference Linker, Mikić, Biesecker, Forsyth, Gibson, Lazarus, Lecinski, Riley, Szabo and Thompson1999). The most elaborate coronal models nowadays are able to incorporate complex physics such as a realistic transition region, Alfvén waves and thermal conduction (van der Holst et al. Reference van der Holst, Sokolov, Meng, Jin, Manchester, Tóth and Gombosi2014; Pinto & Rouillard Reference Pinto and Rouillard2017; Mikić Reference Mikić2018; Réville Reference Réville2020; Chhiber et al. Reference Chhiber, Usmanov, Matthaeus and Goldstein2021). However the model presented here is at early stage of development, and will thus rely on the polytropic assumption (quasi-isothermal heating of the corona) (Leitner et al., Reference Leitner, Poedts, Lani, Perri, Brchnelova and Baratashvillisubmitted). All of these codes use the finite volume (FV) technique, taking advantage of the conservative form of the MHD equations to ensure a proper conservation of mass (with sometimes additional assumptions such as Reynolds averaging, see McComb Reference McComb1990; Usmanov et al. Reference Usmanov, Matthaeus, Breech and Goldstein2011).
The solar surface (when the transition region is not included, so at the beginning of the corona) is usually modelled as a perfect conductor with a prescribed surface magnetic field taken from a solar magnetogram. The domain is extended sufficiently outwards in the direction normal to the solar surface to allow the flow to become supersonic. In our application, this interface is also set according to the requirements of coupling with the EUropean Heliospheric FORecasting Information Asset (EUHFORIA) code (Poedts Reference Poedts2020) which is establishing itself as a standard tool in Europe for space weather predictions (Pomoell & Poedts Reference Pomoell and Poedts2018; Scolini et al. Reference Scolini, Verbeke, Poedts, Chané, Pomoell and Zuccarello2018, Reference Scolini, Rodriguez, Mierla, Pomoell and Poedts2019). The domain that has to be simulated is therefore a sphere of radius of roughly $21R_\text {Sun}$ with a spherical cut-out in the middle with a radius of $R_\text {Sun}$. It aims at providing key physical quantities for the coupling with heliospheric model EUHFORIA (see an example application in Samara et al. Reference Samara, Pinto, Magdalenić, Wijsen, Jercić, Scolini, Jebaraj, Rodriguez and Poedts2021). At this stage, we only focus on steady-state global corona simulations with fixed magnetograms as photospheric boundary conditions. In the future, this work will be extended to time-dependent problems, where the magnetograms will be updated roughly every hour of physical time.
Providing a high-quality mesh is essential both for the accuracy of the solution as well as the convergence process. If the mesh has locally high skewness, the numerical fluxes (which are computed from linearly reconstructed states), especially near the boundary where the mesh is more distorted, might be affected. Similarly, mesh size affects the amount of numerical dissipation in the domain. Thus, if we have cells of a very high aspect ratio, the numerical dissipation in each direction is effectively different, leading to the lack of consistency and possibly the lack also accuracy. In addition to accuracy, MHD coronal codes also have to converge in reasonable times (for space weather operations, so at maximum a couple of hours), leading to various strategies in meshing the domain: choice between Cartesian and spherical coordinates, stretched grids, adaptive mesh refinement (AMR), unstructured meshes, Yin-Yang grids (Kageyama & Sato Reference Kageyama and Sato2004; Shiota et al. Reference Shiota, Kataoka, Miyoshi, Hara, Tao, Masunaga, Futaana and Terada2014), to name a few. There are indeed several methods in which such a domain can be discretised.
In numerical codes which employ structured meshes, use is typically made of what can be referred to as a $UV$ mapping (Cosker, Krumhuber & Hilton Reference Cosker, Krumhuber and Hilton2011), i.e. a sphere obtained by mapping a two-dimensional (2D) rectangular grid onto the spherical surface, with ‘$U$’ and ‘$V$’ denoting the axes of the 2D texture. This results in a spherical surface mesh defined by a number of lines of latitude and longitude. For our purposes, the spherical surface mesh is extended radially outwards, where the surface layer at each radius is equivalent to the one beneath it, but scaled. In practice, the complete three-dimensional (3D) domain with such a topology can be discretised using three parameters: the number of sections in the longitudinal, latitudinal and radial directions.
In geodesy, cartography or graphical modelling, however, other approaches are also used. The $UV$-mapped sphere results in a mesh which has much finer elements near the poles compared with the equatorial regions. It is oftentimes useful to have roughly same-sized elements everywhere on the spherical surface, for which then the Goldberg–Coxeter construction can be utilised (Goldberg Reference Goldberg1937). In its simplest form, the latter gives the Goldberg polyhedron and the geodesic polyhedron. The surface of the Goldberg polyhedron consists of a combination of hexagons and pentagons, whereas the geodesic polyhedron consists of triangles. Although these configurations are usually discussed exclusively in the context of spherical surface meshing, it is easy to extend these surface grids to fill the entire 3D domain, just like the $UV$-mapped sphere discussed previously.
In order to choose which of these two mesh topologies is the most suitable for which type of a simulation, the factors to consider must first be formulated.
First, the mesh resolution distribution is an important factor. In order to model the solar weather features having the highest significance for the Earth, it is important that mainly the regions near the equator are well resolved in MHD simulations.
Second, another important factor is how the mesh affects the convergence. It should be noted that, in this paper, the convergence of the solution is assessed by evaluating the residual in the solution computed as
in which $a$ is the physical quantity of interest and $i$ and $t$ the spatial and temporal indices. Once the residual reaches a certain level, generally below $-3$ to $-4$ for the pressure and density, the solution no longer changes visibly between subsequent iterations and the convergence of the solver is assumed. The coronal simulations in three dimensions are computationally very heavy as they consist of millions of elements and typically run for hours up to days even on high-performance computing (HPC) systems. A poorly designed grid might increase the required computational resources significantly and even prevent the simulations from converging in the first place. This is due to the fact that while the continuous values of the solution are solved in cell centre values, the spatial derivatives are represented through Gauss’ theorem as fluxes across the cell faces. Obviously, larger cells will lead to larger numerical dissipation, generally easing convergence, but also less-physical solutions due to the missing resolution. Second, although the FV method can, in principle, use all polyhedral cell shapes, the reconstruction of the fluxes which happens on the cell boundaries and the related accuracy depend on the cell shapes and how well the face normals are aligned with the direction of the propagating waves.
Third, it should also be considered that some coronal simulations might require a different resolution than others. This could be the case, for example, when strong but small surface magnetic structures are present. In this case, it is advantageous if the mesh configuration allows for easy adaptability of its resolution.
Finally, there is also another aspect to consider when dealing with gravitationally stratified MHD media. The numerical code must hold the hydrostatic equilibrium with a very good accuracy in order not to introduce spurious fluxes in the solution, as these might affect the actual physical behaviour of the structures of interest. However, a highly accurate numerical approximation of such flows (close to the hydrostatic equilibrium) might be very challenging for FV schemes because they introduce a truncation error and do not necessarily exactly preserve
in which $\phi$ is the gravitational potential, $\rho$ is the density and $p$ the pressure. A very high grid resolution might then be needed, making the convergence of such simulations challenging as well as expensive. Examples of such effects have been reported by, for example, Fuchs et al. (Reference Fuchs, McMurry, Mishra and Waagan2011), Popov et al. (Reference Popov, Walder, Folini, Goffrey, Baraffe, Constantino, Geroux, Pratt, Viallet and Käppeli2019) and Krause (Reference Krause2019). Similar phenomena were also observed in the simulations presented further on in this paper, because they are close or at hydrostatic equilibrium in addition to having their pressure and density profiles spanning several orders of magnitude.
Käppeli & Mishra (Reference Käppeli and Mishra2019) proposed corrections to their numerical scheme such that these effects are to some extent mitigated, which is what they refer to as making the scheme well-balanced. However, the implementation of such corrections might be both time-consuming or even not entirely possible for all numerical solvers. In addition, these corrections have not yet been developed for all numerical schemes. If that is the case, choosing the correct grid to be as uniform as possible is essential to prevent such spurious fluxes due to these numerical inaccuracies (also here referred to as mesh artefacts). With the correct selection of the mesh topology, these effects can be mitigated altogether in the majority of the domain, even when using standard schemes that are not well-balanced.
To summarise, when working on coronal MHD simulations dominated by hydrostatic equilibrium, the factors to consider when choosing the mesh topology and design are:
(i) resolution distribution;
(ii) resolution adaptability;
(iii) convergence performance; and
(iv) size of the mesh artefacts.
These factors, which (to the best of the authors’ knowledge) have never been addressed in detail in available literature about MHD simulations of global solar corona, will be analysed and will be the main focus in this paper which is organised as follows:
(i) § 2 discusses the mesh geometries considered in the study in more detail and introduces the numerical code used to run the coronal MHD simulations;
(ii) § 3 presents the numerical results corresponding to different mesh topologies along with the convergence histories, timings and an evaluation of the strength of the mesh artefacts;
(iii) § 4 analyses these results further and formulates recommendations depending on the mesh application; and
(iv) § 5 provides a summary of the conclusions.
2 Methods
Now that the basic problem has been introduced, the two mesh configurations of interest will be revisited in more detail. Section 2.1 elaborates on the two topologies. Section 2.2 discusses how the selected configurations are transformed into the full domains and the final types of grids generated for the simulations in this paper. Finally, § 2.3 presents a short overview of the MHD solver which has been used for all computations in this work.
2.1 Mesh topologies
Two basic mesh topologies are studied in this paper. The first topology can be retrieved from the Goldberg–Coxeter construction as the Goldberg or the geodesic polyhedron. Both the geodesic polyhedron and the Goldberg polyhedron are based on an icosahedron; whereas the Goldberg polyhedron is the dual of a Geodesic polyhedron and vice versa. This is illustrated in figure 1, where the Goldberg polyhedron is shown as a grey solid element and the geodesic polyhedron in a black wireframe.
As can be seen from figure 1, the surface elements of the Goldberg and geodesic polyhedra are pentagons and hexagons in the case of the former and triangles in the case of the latter. An icosahedron-based spherical surface (from now on, referred to as an icosphere) can also consist of quadrilateral elements. This can be preferable for some CFD numerical codes, because these quadrilateral surface elements in 3D result in hexahedrals. The three icospherical configurations discussed are shown in figure 2.
Further refinement of the surface geometry is then possible via subdivision of the existing elements. An example of this for a triangle-based icosphere is shown in figure 3, where the level-two subdivision is the first subdivision of the basic construction from figure 1. This means that the surface resolution is limited to levels, where the next refinement level will have, in this case, four times as many elements as the previous level.
The second topology studied is the $UV$-mapped sphere, which is created from a 2D planar, regular mesh projected onto a spherical surface. This results in a spherical surface grid which has a certain number of lines of latitude and lines of longitude, usually with a constant angular spacing between them. Although, by default, the majority of the surface elements are quadrilaterals, this projection is degenerate near the poles where the meridians meet, locally creating triangular elements (prismatic cells in three dimensions).
The two topologies are shown side by side in figure 4. These are the surface grids that are used in the rest of the paper. The reason why the geodesic polyhedron is picked instead of the Goldberg polyhedron is the fact that the CFD code used to run the simulations is not capable of handling heptahedrons (formed from pentagons) and octahedrons (formed from hexagons) which would be created should the Goldberg polyhedron be used for a construction of the full 3D domain. The quadrilateral-based icosphere is not discussed further because it is less uniform, so when compared with the triangle-based icosphere, the mesh artefacts were seen to be far more amplified. As the CFD code used in present work can handle prism elements just as well as hexahedrons, there was no reason to not favour the triangle-based icosphere with weaker mesh artefacts.
2.2 Mesh generation
The surface meshes shown in the figure 4 above were generated using Blender.Footnote 1 Blender was chosen because it is powerful at visualisation even when it comes to large meshes, it is good at 2D mesh analysis, supported by all platforms and because the authors have past experience with this software package. Once generated, it was exported into the Stanford format, which is a polygon file format containing a simple description of the domain as a list of nominally flat polygons. The type of the polygons along with the list of boundary elements and normals are specified according to the format standard.Footnote 2
Afterwards a Python script was made to transform the surface geometries into a complete 3D domain according to a predefined radial discretisation function. The radial discretisation for these two grid types is independent of the topology. The principle of generating the 3D mesh from the surface mesh is shown in figure 5 for both triangular elements turning into prisms and quadrilateral elements turning into hexahedrons. The radius of the vertices of the basic element on the surface (white) is scaled according to $dR$ in the direction outward and the new surface element added. Then, the combination of this newly added element, the base element and the walls created by the radial extrusion are defined as the new stacked 3D cell. This stacking is applied for each new layer of surface elements, until the desired outer radius of $21 R_\text {Sun}$ is reached. Thus, the first and last layer of the 2D elements represent the inlet and outlet boundaries, respectively, for the computational domain.
The details about the grids used are listed in table 1. The basic $UV$ mesh ($\#$1) was derived from the mesh commonly used by the Wind-Predict code (Perri et al. Reference Perri, Brun, Strugarek and Réville2020) for MHD simulations with real magnetograms (Leitner et al., Reference Leitner, Poedts, Lani, Perri, Brchnelova and Baratashvillisubmitted). This is a good reference of what resolution is generally required to sufficiently resolve coronal features and what type of $UV$ sphere is used for it. The number of elements is 1.71 million instead of 1.57 million ($192\times 64\times 128$) because of the required handling of the polar regions to turn the degenerated prisms into hexahedrons, which results in additional elements being added on both sides of the domain, as shown later in figure 7(b).
The second mesh is based on the geodesic polyhedron with a level-six surface division. This division level was selected in order to have the surface element size close to the polar regions around the same size as for the $UV$ mesh ($\#$1), which are the regions where these $UV$ cells are the smallest. This was done since the accuracy of the results is partly dependent on the numerical dissipation caused by the mesh, which is the smallest, and thus the most critical, for the most refined locations. As especially later in the magnetogram test case we also focus on the flow behaviour in the polar regions, it is crucial to have sufficient (or at least comparable) minimum accuracy everywhere in the flow field when comparing the grids. However, because the icospheric mesh has the same mesh size almost everywhere whereas the default $UV$ mesh has finer elements near the poles, this also means that the level-six division mesh is much finer (roughly a factor of three) around the equator. Thus, when the same radial spacing is applied as in case of the $UV$ mesh, the total number of elements is significantly larger (3.9 million).
Finally, having the same radial discretisation is important when comparing the structures in the velocity field between the solutions using the two mesh topologies. However, it would be bad practice to compare the convergence histories of these two grids ($\#$1 and $\#$2) in order to evaluate their performance, because higher overall numerical dissipation (here of the $UV$ mesh, because it has locally much coarser elements than the icospheric mesh) makes the simulation easier to converge by default, regardless of the topology. Thus, another icospheric mesh (geodesic polyhedron) was created, also with a sixth-level surface division, but with far fewer steps in the radial direction, to make comparison of convergence histories possible, with 1.3 million elements ($\#$3).
The default radial discretisation for the first two grids along with an enlarged view near the inner boundary is shown in figure 6. The cells are the finest near the inlet to resolve the magnetic field gradients properly.
2.3 MHD simulations
The COOLFluiD (Computational Object-Oriented Libraries for Fluid Dynamics) solver was used for all our CFD simulations. COOLFluiD is a framework for scientific HPC for multi-physics simulations (Kimpe et al. Reference Kimpe, Lani, Quintino, Poedts and Vandewalle2005; Lani et al. Reference Lani, Quintino, Kimpe, Deconinck, Vandewalle and Poedts2006, Reference Lani, Villedieu, Bensassi, Kapa, Vymazal, Yalim and Panesi2013) with application to space re-entry flows (Panesi et al. Reference Panesi, Lani, Magin, Pinna, Chazot and Deconinck2007; Degrez et al. Reference Degrez, Lani, Panesi, Chazot and Deconinck2009; Mena et al. Reference Mena, Pepe, Lani and Deconinck2015; Zhang, Lani & Panesi Reference Zhang, Lani and Panesi2016), radiation (Santos & Lani Reference Santos and Lani2016), magnetospheric/solar plasmas (Alvarez Laguna et al. Reference Alvarez Laguna, Lani, Deconinck, Mansour and Poedts2016, Reference Alvarez Laguna, Ozak, Lani, Mansour, Deconinck and Poedts2019; Alonso Asensio et al. Reference Alonso Asensio, Alvarez Laguna, Aissa, Poedts, Ozak and Lani2019) and focus on algorithmic developments for high-speed flows (Lani, Mena & Deconick Reference Lani, Mena and Deconick2011; Vandenhoeck & Lani Reference Vandenhoeck and Lani2019).
Compared with state-of-the-art numerical tools for global coronal simulations, COOLFluiD-MHD (Yalim et al. Reference Yalim, Vanden Abeele, Lani, Quintino and Deconinck2011; Lani, Yalim & Poedts Reference Lani, Yalim and Poedts2014) is an implicit solver (using a backward Euler time discretisation scheme), which means that Courant–Friedrichs–Lewy (CFL) numbers much higher than one (up to several thousands in some applications) can be afforded for converging to steady state. This makes the solution process much faster (up to a factor of 30${\times }$, see Leitner et al., Reference Leitner, Poedts, Lani, Perri, Brchnelova and Baratashvillisubmitted), at the expense of increased memory requirements (which is not really an issue on modern HPC systems with hundreds or thousands of CPU cores) when compared with time explicit solvers. In addition, COOLFluiD operates on unstructured grids, making it an ideal tool in order to study various mesh topologies and compare with structured $UV$ grids.
The code relies on a second-order accurate FV discretisation for solving the ideal MHD equations with hyperbolic divergence cleaning in conservation form and Cartesian coordinates (more details are given in Yalim et al. Reference Yalim, Vanden Abeele, Lani, Quintino and Deconinck2011; Lani et al. Reference Lani, Yalim and Poedts2014):
in which ${E}$ is the total energy, $\boldsymbol {B}$ is the magnetic field, $\boldsymbol {v}$ is the velocity, $\boldsymbol {g}$ is the gravitational acceleration, $\rho$ is the density and $p$ is the thermal gas pressure. The gravitational acceleration is given by $\boldsymbol {g}(r) = -(G M_\odot /r^2)\, \hat {\boldsymbol {e}}_r$ and the identity dyadic $\boldsymbol{\mathsf{I}} = \hat {\boldsymbol {e}}_x \otimes \hat {\boldsymbol {e}}_x + \hat {\boldsymbol {e}}_y \otimes \hat {\boldsymbol {e}}_y + \hat {\boldsymbol {e}}_z \otimes \hat {\boldsymbol {e}}_z$. All of the variables are non-dimensional. The magnetic field is adimensionalised by the value of $2.2\times 10^{-4}$ T ($B_{{\rm ref}}$), the velocity field using the value of $4.8 \times 10^{5}\,{\rm m}\,{\rm s}^{-1}$ ($V_{{\rm ref}}$), the density by $1.67\times 10^{-13}$ ($\rho _{{\rm ref}}$), and the reference length is set to the Solar radius ($l_{{\rm ref}}$). To close the ideal MHD equations, the ideal equation of state is used. More information about the setup of the MHD solver including verification and validation can be found in Leitner et al. (Reference Leitner, Poedts, Lani, Perri, Brchnelova and Baratashvillisubmitted). The COOLFluiD-MHD solver is weakly coupled to COOLFluiD-Poisson, another FV code solving the Poisson equation on the same mesh in order to provide the potential-field source surface (PFSS) corresponding to real magnetogram data ($B_r$) which are prescribed as the inner boundary condition.
The MHD boundary conditions are prescribed as follows. On the inner boundary, the values for $B_r$ and $B_\theta$ are prescribed according to the PFSS solution computed from the magnetogram values:
where the subscript $b$ indicates the boundary. The $\rho _{b}$ term is a geometric parameter given as $\sqrt {x_{b}^2 + y_{b}^2}$.
These spherical magnetic field components are then converted back to the Cartesian components $B_x$, $B_y$ and $B_z$ and using the inner state and the boundary state values defined previously, the ghost cell values are computed.
For velocity, a small positive outflow is prescribed in terms of $V_r$ and $V_\theta$ in a way that any poloidal flux is removed:
The $V_\phi$ component is set according to whether the simulation is with rotation on or not. By default, for a stationary simulation:
Just like in the case of the magnetic field, the transformation to the Cartesian coordinates then takes place and the respective $V_x$, $V_y$ and $V_z$ ghost cell values are prescribed.
The density and pressure on the boundary are set to $1.67\times 10^{-16}\,{\rm kg}\,{\rm m}^{-3}$ and $4.16\times 10^{-2}$ Pa. The divergence cleaning term $\phi$ in the ghost cell is set such that its value is exactly zero on the boundary:
where the $g$ subscript refers to the ghost state and the $i$ subscript to the inner state.
On the outer boundary, the Neumann boundary conditions are prescribed. For the density and pressure, this is
to ensure continuity of the temperature. The divergence cleaning constant $\phi$ is set to its reference value, typically zero:
The spherical components of the velocity field are assumed to be continuous:
which, just like in case of the inner boundary, is implemented by first the spherical-to-Cartesian and then Cartesian-to-spherical transformations. The azimuthal and polar components of the magnetic field are also assumed to be continuous and the radial component is scaled in the direction outwards:
3 Results
The factors to consider when performing a mesh topology trade-off are, as introduced in § 1, the convergence performance, the resolution distribution, the adaptability and the ability of the mesh to minimise spurious numerical fluxes. This last aspect should be touched upon in more detail before proceeding onto the convergence of the MHD simulations and general performance, because the mesh non-uniformities giving rise to these spurious fluxes have not yet been discussed.
None of the topologies are perfectly uniform. In case of the icosphere, most nodes have six neighbouring nodes connected to them apart from a few places (here referred to as knots) where only five neighbouring nodes are present. These are the regions in the Goldberg polyhedron (the dual to the current geodesic configuration) where the elements are pentagons instead of hexagons. One such knot is visualised in figure 7(a). The knot thus creates five lines, connecting it to other knots, on which the mesh lines change directions.
The reason why these regions are problematic is the fact that mesh orthogonality and skewness here change a lot (in the longitudinal and latitudinal directions), see figure 8. With increased skewness, there is greater misalignment between the directions joining the centroids of the neighbouring cells and the face normals. This introduces excessive cross-dissipation and, thus, might change the solution. The solution is not necessarily better for a non-skewed mesh, because what matters for accuracy is whether the face normals are aligned with the propagating waves. However, this skewness can change the solution locally, which is what we see as these mesh artefacts. This increase in skewness is only in the latitudinal and longitudinal directions, not in radial. Thus, it is also expected that the errors will be observed mainly in the longitudinal and latitudinal components of the velocity, $V_\theta$ and $V_\phi$, around these knot regions.
On the other hand, a non-adjusted $UV$ sphere has degenerate elements near the poles, which means that in the full 3D domain, instead of hexahedrons, the polar regions are composed of prisms. In order to run simulations on fully hexahedral meshes instead of hybrid meshes (with both prismatic and hexahedral cells), the geometry of these prismatic polar regions was adjusted in a way to transform the prism cells into hexahedrons. This was achieved by adding new vertices and re-adjusting the existing cell edges. Several different techniques were attempted to achieve this result and, at the same time, to also keep the aspect ratio of the neighbouring cells at a reasonable value. The schematics of the configuration which was observed to produce the smallest mesh artefacts from the configurations tested is shown in figure 7(b).
It is expected that the spurious fluxes will be mostly present in these non-uniform regions; around the knots in the icospheric mesh and around the polar regions in the $UV$ mesh.
3.1 Dipole artefacts
First, the simple case of a rotating magnetic dipole was computed because, here, the possible mesh artefacts would be rather easy to identify. The magnetic field configuration and amplitude (in Gauss) is shown in figure 9. The dipole was rotating with a prescribed boundary value of
The mesh artefacts were not observable in any of the solution fields apart from the azimuthal and polar velocity components, $V_\theta$ and $V_\phi$, as expected based on the above-introduced arguments. Indeed, here the artefacts could be observed in case of the icospheric mesh around the knot regions. As the mesh of the $UV$ sphere is completely uniform around the equatorial regions, where in this case the majority of the dynamics occurred, no artefacts were observable in the $UV$ mesh results. The comparison between the two solutions for $V_\theta$ is shown in figure 10. Although the results projected onto the $X$ plane look the same, the mesh artefacts can be easily spotted when the isosurface of the $V_\theta$ component is plotted of roughly $-9\,{\rm km}\,{\rm s}^{-1}$. In this case, the location of the ripples in the isosurface corresponds exactly to the mesh knots.
A similar phenomenon can be observed, even more pronounced, in the polar velocity component, $V_\phi$. In this case, the icospheric mesh artefacts are even more amplified and can be identified even on the projected $X$ plane, as displayed in figure 11. The isosurface of $V_\phi$ of approximately $-1.5\,{\rm km}\,{\rm s}^{-1}$ is in this case completely distorted. These artefacts did not diminish even with increased discretisation since even then, the mesh knots with high skewness are still present.
A better visualisation of the icospheric artefacts can be made by projecting these two velocity components on the outer boundary, where they would otherwise have fairly smooth profiles. This is shown in figure 12. From this perspective, it is clearly noticeable how these regions of high distortion can be traced to the mesh knots and their connecting lines.
From these plots on the outer boundary in figure 12, it was also determined that for the current configuration, locally, the worst-case scenario errors in $V_\theta$ and $V_\phi$ reached 15–20 % and up to 30–40 %, respectively. Though these errors are contained in relatively small lines, they do significantly distort the local solution.
Before moving further, however, it should be investigated how these spurious fluxes behave in simulations with stronger dynamics, which can be expected for more realistic magnetogram-based simulations. The rotating dipole was thus revisited, this time with double the imposed boundary value of $V_\phi$ to make it rotate faster and strengthen the existing physical velocity features.
For the icospheric mesh, the results are shown in figure 13 in terms of $V_\theta$, $V_\phi$ and their respective isosurfaces. Especially in case of $V_\phi$ it is clear that the distortion is much less evident than it was in figure 11, which is observable both on the $X$-plane-projected field as well as on the smoothness of the isosurface. Indeed, from analysing these results, it is apparent that the effects of the spurious fluxes remain the same and do not scale with the actual, physical fluxes in the simulation. This means that for the MHD simulations with more pronounced solution features, such as those in which an actual surface magnetogram is used, the spurious fluxes due to the mesh knots could still be almost or completely negligible. For example, here, the relative error in $V_\phi$ decreased to around 15 %. This is due to the fact that even with the increased $V_\phi$ from the faster rotation, the absolute errors in $V_\phi$ due to the artefacts remained roughly the same. This is also the case for most magnetogram-driven simulations.
Thus, the magnetogram-based simulations were studied next.
3.2 Magnetogram artefacts
To observe whether such strong spurious fluxes are also present in the results of more complex simulations with stronger dynamics, a data-driven test case was run. Here, the surface magnetic field was not dipole-like but a real solar magnetogram, from the solar eclipse of 1999 (near the solar maximum). The magnetic field configuration is shown in figure 14.
The $V_\phi$ and $V_\theta$ solution fields projected onto the $X$ plane, including the isosurfaces, are shown in figures 15 and 16, respectively. Note that the contours are not exactly the same, even outside of the mesh-compromised regions. This is due to the fact that as mentioned in § 2, the two topologies have a completely different surface resolution distributions, which affect the treatment of the surface magnetic fields and, thus, also the shape of the formed structures.
In this case, with complex flow dynamics, it is more difficult to determine which features are caused by the mesh non-uniformities. The easiest method is to directly compare the two results, because the topologies have the non-uniformities at different locations. When comparing the $V_\phi = -1.5\,{\rm km}\,{\rm s}^{-1}$ isosurface in figure 15, a clear knot line can be seen in the solution from the icospheric mesh, though compared with the other features its magnitude is much smaller than what was seen for the $V_\phi$ component of the rotating dipole. Here, this artefact barely compromises the accuracy of the simulation result.
Similar lines were not observed in the $V_\theta$ contours, which are shown in figure 16. On the contrary, because, in this case, the flow features were present everywhere including around the polar regions, the mesh artefacts were far more pronounced around the poles in case of the $UV$ mesh where these regions are highly distorted.
3.3 Numerical performance
Having now a good indication of the real appearance of the spurious fluxes in the solutions computed with the different mesh topologies, their numerical performance is discussed. In case of magnetogram-based simulations, the flow phenomena often also occur around the polar regions. In these regions, the distortion in the $UV$ mesh is very high and, therefore, the convergence of the $UV$ mesh is generally worse than that of the icospheric mesh.
To illustrate this point, a magnetogram from 1995 was chosen, the magnetic field configuration of which is shown in figure 17. This magnetogram was selected for this purpose because it is from the solar minimum, when the magnetic field is similar to that of a simple dipole, and so there should be only very weak structures in the polar regions (and so the artefacts could be easily spotted).
The $UV$ sphere simulation during two different stages of convergence is shown in figure 18. Despite the fact that there should be very little to almost no outflow or other dynamics around the poles, spurious outflow around the poles (in the red box) is generated at the beginning of the convergence process due to the high local mesh distortion. This then takes a few hundred iterations to be removed from the solution (see the comparison with the solution 500 iterations later, on the right). This issue is not present if the icospheric mesh is used instead, as the distortion due to the knots is not as significant.
This phenomenon can be also identified in the convergence curve of the map from 1999 discussed previously (here the residual is computed from the $V_x$ component), see figure 19. While the icospheric mesh ($\#$2) residual starts decreasing monotonically after around 1500 iterations, oscillations in the residual can be seen in the case of the $UV$ mesh ($\#$1), precisely because of this polar region problems. For this simulation, a CFL number of 1 for both meshes was used specifically to illustrate this issue and to be able to make the comparison fairer.
The simulation was also ran for longer to achieve proper convergence with a much higher CFL progression, starting from $4$ and then being doubled each 1000 iterations. The convergence results for the $V_x$ component is presented in figure 20. The oscillations due to the polar regions are still apparent in case of the $UV$ mesh between 500 and 1500 iterations, whereas there are no such oscillations present in the icospheric mesh curve.
From this convergence history, intriguingly, it seems as if the $UV$ mesh performed better anyway as it reaches the $V_x$ residual of $< -3$ earlier than its icospheric counterpart, despite the oscillation. Note that here, this residual is defined as $\rm {res}(V_x) = \log \sqrt {\sum _i(V_{x,i}^t - V_{x,i}^{t+1})^2}$ with $i$ being the index for space and $t$ the index for time. Another factor must be considered here as well, however, to explain this phenomenon, and that is the overall mesh size.
As the radial distribution is the same and the surface resolution of the icospheric mesh ($\#$2) much finer, the total number of elements is 3.9 million for the icospheric mesh and only 1.7 million for the $UV$ mesh (see table 1 and § 2). Coarser mesh can be seen as a source of additional numerical dissipation, which means generally easier convergence. In this case, it is impossible to match the number of cells and the radial discretisation simultaneously between the two grids due to the different topologies. The one level below the current surface discretisation of the icosphere would create a mesh that is four times coarser, which would not be sufficient to capture the magnetogram features appropriately.
Thus, a similar, but much smaller icospheric mesh was also used, with the same surface discretisation but with coarser radial discretisation, adding up to roughly 1.33 million elements ($\#$3) and, thus, being comparable to the $UV$ mesh ($\#$1) (see table 1 and § 2). Their convergence comparison is shown in figure 21, again for the $V_x$ component. From this plot, it is apparent that the convergence of the icospheric topology is better than that of the $UV$ topology when the level of the mesh-associated numerical dissipation is similar.
For these three grids, the results of the timings are listed in table 2. Using the two icospheric meshes, an equivalent mesh was created through linear interpolation which had the same number of elements as the $UV$ mesh for easier comparison. From this approximation, it is apparent that the icospheric simulation is roughly 20 % faster for the same number of cells. This is also indicated by the number of Krylov sub-iterations (within the generalised minimal residual algorithm solving the linear discretised system) between subsequent simulation steps that are required, which is much higher for the $UV$ mesh compared with its icospheric counterparts.
4 Discussion
From § 3, it is clear that both topologies have their strengths and weaknesses. In § 1, four different criteria where introduced to aid the mesh trade-off process for the coronal MHD simulations:
(i) the resolution distribution;
(ii) the resolution adaptability;
(iii) the convergence performance; and
(iv) the size of the mesh artefacts.
These are elaborated on in more detail hereafter, also considering the results from § 3. Subsequently, recommendations are drawn.
4.1 Resolution distribution
In the context of the coronal MHD simulations for modelling space weather, it is essential that sufficient resolution is available near the equatorial regions. The default $UV$ topology provides the opposite: for a constant angular distribution, which is used in most structured-grid solvers, the highest resolution is actually available in the polar regions and the elements around the equator are the largest. In case of the $UV$ topology, this could be remedied by applying a varying angular distribution to match the cell sizes more closely, or even by concentrating the lines of latitude around the equator to create a positive refinement bias near this region. Such modification could, however, be time-consuming or even impossible to implement for some solvers. Furthermore, it would also have to be considered separately for each magnetogram because especially the coronal simulations of the solar maxima might have also very strong features in the polar regions which could, in turn, influence the structures near the equator. In addition, even if one managed to define the latitudinal discretisation such that the cells would have roughly the same volume everywhere on the spherical surface, the aspect ratio of the cells would still be very different. Such a mesh cell would have a small extent in the longitudinal direction near the equator compared with its latitudinal extent and vice versa near the poles, biasing the resolution in the domain that way.
From this perspective, the geodesic polyhedron-based topology has an advantage, because even without additional manipulation of the mesh, the surface cell sizes are, by default, approximately the same everywhere on the surface. Thus, there are no regions with clear refinement advantage.
4.2 Surface resolution adaptability
Some coronal simulations are based on magnetograms with fairly fine features, resulting in strong streamers and gradients. Hence, in such cases, higher surface refinement might be necessary to capture all this phenomena. From this perspective, the icospheric mesh has a clear disadvantage. As the surface elements are generated by splitting of the coarser-level elements, the number of the elements in the mesh cannot be arbitrary. In the performed simulations, the level-six division was applied in both icospheric grids ($\#$2 and $\#$3). This means that because the level-six subdivision has 20 480 surface elements, the level-seven subdivision would have 81 920 and the mesh size would, hence, increase by a factor of four for the same radial spacing, resulting in over 15 million elements. On the other hand, the level-five mesh would have only 5120 surface cells and so not even a million cells in the full 3D domain, which was found to be unsatisfactory with even the simplest magnetograms. Thus, in this sense, the icospheric mesh is not very adaptable when it comes to the longitudinal and latitudinal resolution.
Obviously, the mesh could have been adapted such that fewer elements would be used further away from the surface or only some surface elements would be split further, but it is likely that introducing such non-uniformities would only enhance the presence of the spurious fluxes, as was observed in case of the polar regions of the $UV$ mesh where such manipulation was performed.
Note that the radial discretisation is not addressed here because the focus in this paper is on surface topology. The radial discretisation (and, thus, radial resolution) is completely independent of the surface grid and, thus, not a factor in the trade-off.
4.3 Convergence performance
Due to the highly distorted polar regions, as listed in table 2, the icospheric mesh has a superior convergence performance when the mesh size is similar. It does not have oscillations in its residual due to spurious outflows near the heavily distorted regions, the iteration steps require fewer sub-iterations and also the CPU time per iteration is shorter.
4.4 Mesh artefacts size
Finally, the size of the mesh artefacts should be touched upon. For the applied topologies, the mesh artefacts were only observable in the $\theta$ and $\phi$ components of the velocity field. The case of a rotating dipole showed the significance of these artefacts due to the knots in the icospheric mesh (the regions were the Goldberg polyhedron has pentagons instead of hexagons) in relatively feature-less simulations. The artefacts were mostly contained to lines connecting these knots, but locally creating deviations of up to 20 % in $V_\theta$ and of up to 40 % in $V_\phi$.
However, when more dynamics was introduced to the simulation by doubling the rotation speed, the relative strength of these artefacts decreased significantly. In the case of a magnetogram-based coronal simulation, the artefacts in $V_\phi$ and $V_\theta$ could be barely seen because it was the strong dynamics of the coronal features that dominated the velocity field. The features were smooth and apart from one line on the example $V_\theta$ isosurface, the icospheric mesh structure could not be recognised in the solution.
Should the presence of the knots significantly distort a region of high importance, it is always possible to rotate the mesh such that different regions are distorted and compose the final solution from the two separate simulations made in this way. For the demonstration of this principle, the dipolar solution with the $V_\theta$ artefacts is shown in figure 22, where the mesh was rotated by $30^{\circ }$ around the positive $Z$ axis. It is seen that now the mesh artefacts are at different locations. Thus, it is much easier to identify these features as mesh artefacts and also to see what the solution at these locations would have been had they not been present (in this case symmetric around the $Z$ axis, as expected).
The application on the real magnetogram case also illustrated a problem with the artefacts of the $UV$ mesh. For the dipole, there are no features present around the polar regions, thus the effect of the polar distortion was not readily observable in figure 10 or 11. In case of a magnetogram-based simulation, however, these polar-region-associated distortions caused quite significant deformation of the $V_\theta$ structures. Although the polar zones are not typically the primary focus of coronal simulations when it comes to space-weather applications, especially during the solar maxima these regions might result in strong features affecting the dynamics of the flow also closer to the equator. Thus, the effects of these possible polar artefacts should be evaluated even when only the solution around the equator is considered to be of significance.
All of the conclusions drawn in the previous four subsections are briefly summarised in table 3.
4.5 Recommendations
The major challenge associated with using the icosphere was related to the relatively major spurious flows in otherwise feature-less simulations (such as the slow rotating dipole), with the artefacts mostly located around the knot lines. Although it is simple to identify these artefacts in the solution of a dipole, telling the spurious and physical fluxes apart could be much more challenging for a magnetogram-based simulation with strong features (even though it was observed that with these strong features, the relative strength of the mesh artefacts was not large).
In this case, a good solution would be to run the case twice for verification purposes, where in the second run, the mesh would be rotated in the polar direction by a few degrees. In this way, the locations of the knots and the knot lines would move and affect a different part of the solution domain, as shown in figure 22. Thus, from the comparison between these two results, the effects of the artefacts could be isolated and, if needed, removed.
The major drawbacks of using the $UV$ mesh were found to be the unfavourable resolution distribution (from the perspective of space-weather applications) and the heavily distorted polar regions, where the latter significantly compromised the accuracy of the results near the poles and also affected the convergence of the simulation.
The unfavourable resolution distribution could be mitigated by re-mapping of the $UV$ sphere, where constant angular spacing would be abolished and the lines of the latitude would be concentrated closer together near the equator. Although this would make the mesh generation and handling more complicated, it could allow for even coarser meshes and more efficient computations. However, even then there would still be a resolution bias, since the aspect ratio of the resulting cells would vary greatly across the domain.
A possibility to improve the $UV$ mesh distortion is to further experiment with methods to deal with the degenerate elements near the poles. For example, the domain can be split into two segments with additional boundary conditions at the poles (see, e.g., Perri et al. Reference Perri, Brun, Strugarek and Réville2020), such that the degenerated regions are omitted. Whether such a solution leads to physical results is, however, debatable.
In summary, because the polar region distortion caused highly observable spurious flows also in the magnetogram-based simulations and since the $UV$-mapped mesh was observed to have worse convergence, based on our results, it is generally recommended to use the icospheric mesh (geodesic polyhedron-based), possibly with a simulation re-run after the mesh is angularly shifted in the polar direction to isolate the spurious fluxes.
5 Conclusions
The purpose of this work was to discuss the different mesh topologies applicable for coronal MHD simulations and outline their benefits and disadvantages. The coronal MHD simulations had a spherical domain of $21 R_\text {Sun}$ with a spherical $R_\text {Sun}$ cut-out in the middle, representing the Solar surface.
Two basic surface mesh topologies were investigated; a topology based on the $UV$ mapping (here referred to as a $UV$ sphere) and a topology based on the geodesic polyhedron (here referred to as an icospheric mesh). The former has a constant angular spacing between the quadrilateral elements, whereas the latter has equally sized triangular elements on the surface. The $UV$ sphere has distorted regions near the poles, where the originally quadrilateral elements degenerate, whereas the icospheric mesh has what we refer to as knots on the surface in the regions where its dual construction, the Goldberg polyhedron, contains pentagons instead of hexagons.
The configurations have been discussed from a variety of perspectives, such as their computational performance, adaptability, resolution distribution and the size of the mesh artefacts. The mesh artefacts were caused due to spurious numerical fluxes in simulations close to the hydrostatic equilibrium (with a state-of-the-art FV scheme that was not strictly well-balanced) and in all cases, they were only observable in the $\theta$ and $\phi$ velocity components. The COOLFluiD platform with a steady-state implicit scheme was used for the ideal MHD simulations.
First, a simple rotating magnetic dipole was computed, showing relatively significant spurious fluxes in case of the icospheric mesh, mainly on the lines connecting the nonuniform knot regions. Afterwards, the same rotating dipole was simulated with double the rotation speed, which revealed that although the spurious fluxes were still present, their relative magnitude was much smaller compared with the strength of the actual physical features. This demonstrated that these mesh artefacts become less significant if there are stronger structures in the solution. From this, it is inferred that these artefacts might not be so problematic for simulations with strong dynamics, such as those based on magnetograms instead of simple dipole configurations.
Therefore, magnetogram-based simulations were also performed, using magnetogram data from 1999 (solar maximum) and 1995 (solar minimum). The results from 1999 were investigated to evaluate the significance of the mesh effects. The icospheric mesh artefacts were hardly detectable. On the other hand, because the coronal features here extended well into the polar regions where the $UV$ mesh has a large non-uniformity, it was the $UV$-mesh-based solution that suffered from strong artefacts in these zones.
Afterwards, the convergence was also assessed. Here, monitoring the convergence progress of the 1995 simulation revealed that the $UV$ mesh suffers from worse convergence due to the highly distorted polar regions. This showcased itself in the convergence curve of the 1999 map in the form of oscillations in the residual. Timing of the simulation using a variety of grids and interpolation revealed that the icospheric mesh converges faster with fewer sub-iterations needed between the iteration steps.
In the discussion, it has been elaborated on that the topology which is more appropriate for a coronal MHD simulation highly depends on the simulation features. For relatively feature-less simulations close to a hydrostatic equilibrium, the icospheric mesh might introduce too many artefacts in the solution if the scheme is not well balanced. The $UV$ mesh has much smoother features near the equator and might, hence, be more appropriate if the polar regions are not of interest.
On the other hand, in magnetogram-based simulations where stronger features are present in the domain including in the polar regions, the icospheric mesh provides the benefit of almost equally sized cells everywhere on the surface and no regions with of high refinement or distortion bias. It also converges faster than the $UV$ mesh for the same number of elements.
Some recommendations have also been formulated on how to further improve the mesh performance. For the $UV$-mapped mesh, the lines of latitude could be concentrated closer towards the equator to better resolve the actual region of interest and, thus, run more efficiently. The distortion in the polar zones could be reduced by further experimenting with the transformation of the degenerate prism elements, or by splitting the domain into two segments with additional boundary conditions. For the icospheric mesh, if the possible effects of the mesh artefacts on the solution cannot be estimated a priori, two separate simulations could be run, with the mesh being rotated by a few degrees angularly such that the knot lines affect a different portion of the domain. Comparison of such two solutions would allow for isolation of the mesh effects and provide a reliable solution.
Acknowledgements
The corresponding author thanks the referees for their constructive feedback.
Editor S. Tobias thanks the referees for their advice in evaluating this article.
Funding
This work has been granted by the AFOSR basic research initiative project FA9550-18-1-0093. This project has also received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 870405 (EUHFORIA 2.0) and the ESA project ‘Heliospheric modelling technique’ (Contract No. 4000133080/20/NL/CRS). F.Z. is supported by a postdoctoral mandate from KU Leuven Internal Funds (PDMT1/21/028). These results were also obtained in the framework of the projects C14/19/089 (C1 project Internal Funds KU Leuven), G.0D07.19N (FWO-Vlaanderen), SIDC Data Exploitation (ESA Prodex-12), and Belspo projects BR/165/A2/CCSOM and B2/191/P1/SWiM. The resources and services used in this work were provided by the VSC (Flemish Supercomputer Centre), funded by the Research Foundation - Flanders (FWO) and the Flemish Government.
Declaration of interests
The authors report no conflict of interest.
Data availability statement
The data supporting the results of this study can be made available from the corresponding author upon request.