1 Introduction

The sixth closest of all moons and smallest of the Galilean moons of Jupiter, Europa has a radius of 1560 km (Nimmo et al. 2007), the majority of which is taken by the silicate core. Surrounding the silicate core is believed to be a vast, contiguous liquid water oceanic layer (Carr et al. 1998), itself encased by a water ice shell, which forms the Europan surface. The oceanic layer is generally understood to be approximately 100 km thick (Pappalardo et al. 1999), whereas there is less consensus on the thickness of the ice crust. It is estimated to be between 1 and 30 km thick (Billings and Kattenhorn 2005), with the lower estimates drawn from analysis of the mechanical flexure of the ice (Figueredo et al. 2002; Nimmo et al. 2007), and the higher estimates based on a thermodynamic analysis of the crust (Hussmann et al. 2002; McKinnon 1999; Ojakangas and Stevenson 1989), with analyses of surface impact cratering yielding intermediate values (Greeley et al. 1998; Moore et al. 1998; Schenk 2002).

Tidal flexing due to the obliquity of Europa’s orbit around Jupiter heats the Europan silicate core (Cassen et al. 1979), which combined with the ice crust acting as a lid, allows the subsurface ocean to remain liquid and maintain potentially habitable conditions. As a result, Europa is seen as a primary candidate for harbouring extraterrestrial life (Schulze-Makuch and Irwin 2001; Kargel et al. 2000; Greenberg et al. 2000), and consequently the ocean-ice system is of great scientific curiosity.

The distance between Earth and the Jovian system restricts the possible observation of Europa by terrestrial telescopes. Fortunately, the icy surface of Europa has been observed by multiple NASA missions to the outer solar system (Pioneers 1 and 2, Voyagers 1 and 2, Galileo, New Horizons and Juno), which have yielded many images across the surface, although with variable quality. The upcoming Europa Clipper mission is, however, the first mission that is principally concerned with Europa, promising to provide a much higher resolution representation of the surface (Bayer et al. 2019). However, with the Clipper aiming to arrive at Europa in 2030, in the interim the existing images must be used; in the present work, the main source of observational data is the Galileo mission. These images reveal what is thought to be the youngest and smoothest surface of any body in the solar system. The surface smoothness is likely to be due to resurfacing (Leonard et al. 2018), with a period of 20–180 million years. Nevertheless, the surface exhibits many notable features. These features can be classified into three broad categories; approximately circular uplifts and depressions called Lenticulae (Culha and Manga 2016), Chaos regions (Leonard et al. 2022), characterised by particularly jagged and broken terrain (Collins and Nimmo 2009), and Lineae, the focus of this work, which are linear features that cross the Europan surface at multiple scales from minor  100 m features to moon-spanning  1000 km long features. These features are theorised to be either active fractures or structures that were initially fractures in the ice crust (Helfenstein and Parmentier 1983).

If the lineae are in fact fractures (where the term ’fracture’ will be used here to denote any discontinuity in the ice matrix, open or closed, that may develop in response to stress concentration), then they are thought to exist due to the presence of subsurface liquid water (Pappalardo et al. 1999; Carr et al. 1998).

Work previously conducted has used Linear Elastic Fracture Mechanics (LEFM) methods to investigate fracturing of the Europan crust concerning different aspects of the system, including cycloidal features (Marshall and Kattenhorn 2005; Poinelli et al. 2019) or the presence of subsurface water sills (Craft et al. 2016). In particular, Lee et al. (2005) discussed the capacity for vertical penetration of surface fractures, concluding that total crust penetration to the oceanic layer is feasible. This is disputed by Qin et al. (2007), who posited that normal stresses upon the fractures were insufficiently considered, and that this correction would prevent fractures from penetrating to the ocean. Vertical fracture propagation was further investigated by Rudolph and Manga (2009) and Walker et al. (2021), who concluded that total penetration was unlikely. Rudolph and Manga (2009) reported that penetration was only viable for crust thicknesses less than 2.5 km, which is below most estimates. The work undertaken in Trumbo and Brown (2023) and Carnahan et al. (2022) further suggest that surface-ocean interaction is present, though through alternate methodology. Trumbo and Brown (2023) posits that surface CO\(_2\) serves as indirect evidence of surface-ocean linkage, while Carnahan et al. (2022) suggests post impact viscous deformation may lead to sustained surface-ocean exchange. In summation it is presently disputed whether fractures can penetrate to the ocean.

In this work, the nucleation and propagation of Europan surface fractures in response to Jovian tidal forcing is modelled in multiple temporal regimes, using a first-principles fracture mechanics growth model, with geometric representation of individual fractures, combining damage-informed fracture nucleation and energy-based fracture growth simulation. In doing so, this work aims to help ascertain whether Europan lineae are fracture-like features, and to then also further investigate the lineae’s large-scale behaviour.

2 Methodology

2.1 Tidal Stress Model

Deformation of the Europan crust, and therefore the growth of fractures in the crust, is presently thought to be primarily a consequence of the tidal stresses resulting from Europa’s orbit around Jupiter (Helfenstein and Parmentier 1983). Therefore, the stresses driving the fracture growth model are computed with a tidal stress model, first conceived by Wahr et al. (2009).

The tidal stress model incorporates two stressors: diurnal tides, and Non-Synchronous Rotation (NSR). Other sources of tidal stress are possible, such as orbital obliquity (Bills 2005; Rhoden et al. 2011), or liberational tides (Van Hoolst et al. 2008). These, however, are assumed to be second-order effects by Wahr et al. (2009), and this assumption is maintained in the present work. It is, however, worth noting that the analytical form of the tidal stress solution is readily amenable to the inclusion of further stressors, with more recent literature supporting the non-negligibility of these effects (Rhoden et al. 2010; Rhoden and Hurford 2013).

The diurnal tides are a consequence of Europa’s orbital eccentricity, and exert stresses of approximate magnitude 100 kPa, where the stress field has a period of one Europan day, defined as one orbit around Jupiter (3.5 Earth days), with rate \(f_\textrm{diurnal}\). NSR stresses (McEwen 1986) only arise due to the presence of a contiguous subsurface ocean, which mechanically decouples the crust from the silicate core. Even though the core is tidally locked, the free floating crust is able to rotate at a slightly different rate, \(f_\textrm{diurnal} + f_\textrm{NSR}\), where \(f_\textrm{NSR}\) is the NSR rate. The NSR period on Europa is estimated to be between \(10^5\) and \(10^9\) years (Geissler et al. 1998). As the crust is rotating with respect to the parent body, the tidal bulge (Melosh 1980) passes across the surface and imparts stress in doing so. The resultant NSR stress is dependent on both \(f_\textrm{NSR}\) and the viscosity of the ice, with possible values from  0 Pa to 3 MPa.

The tidal stresses are calculated using a model based upon the theory developed by Wahr et al. (2009). This model uses the base gravitational potential to derive closed-form analytical expressions for tidal stress exerted upon the surface, given a location and a time, where the time is measured from Europan periapsis (the closest approach of Europa to Jupiter).

The model assumes a four-layered Maxwell solid (Jaeger et al. 2007) structure for Europa, consisting of the silicate core, an oceanic layer of liquid water, followed by the ice crust itself divided into an inner viscoelastic, warm and ductile layer (hereafter the ductile layer) and an outer cold, brittle layer (hereafter the brittle layer). The model returns the stress tensor, \(\tau\), though given the context there are no stresses in the r direction, leaving only \(\tau _{\theta \theta }\), \(\tau _{\phi \phi }\) and \(\tau _{\theta \phi } = \tau _{\phi \theta }.\)

The tidal stresses fields as generated by the present implementation are shown in Fig. 1, with the stresses generated by Wahr et al. (2009) shown for comparison.

Fig. 1
figure 1

Tidal stress fields for one hemisphere of the Europan surface. The two hemispheres’ stress fields are identical. a The result from the current implementation. The scalar field corresponds to the most-tensile component of the stress tensor. b The same field from Wahr et al. (2009). Strong correlation between the two is observed

The base model only yields the surface stress, however, whereas the present work requires knowledge of the stress at depth. To this end, the stress at a point on the surface is multiplied by a simple factor \(F_\textrm{Depth}\), defined as

$$\begin{aligned} F_\textrm{Depth} = \frac{r}{R_\textrm{Europa}} \end{aligned}$$
(1)

where r is the radial value at a given depth and \(R_\textrm{Europa}\) is the outer radius of Europa (see Table 1).

2.2 Fracture Model

This work uses the Imperial College Geomechanics Toolkit (ICGT) (Thomas et al. 2020) as the fracture simulator. The following section describes its operation pertinent to its usage in this context.

2.2.1 Mechanical Deformation

The mechanical deformation of the ice matrix in response to tidal stresses is computed in a three-dimensional volumetric domain using a linear-elastic finite element model (Cook et al. 2007). This calculation assumes that the brittle ice layer behaves as a linear elastic and isotropic material, which is expected for ice at the temperatures found on the Europan surface, which are estimated to be 110 K at the equator, and 50 K at the poles (Ashkenazy 2019). Under these assumptions the stress and strain are governed as

$$\begin{aligned} \sigma = \textbf{D}(\varepsilon - \varepsilon _0) + \sigma_0 \end{aligned}$$
(2)

where \(\sigma\) is the Cauchy stress tensor, \(\varepsilon\) is the infinitesimal strain tensor, \(\textbf{D}\) is the linear elastic stiffness matrix, and \(\sigma_0\) and \(\varepsilon _0\) are the initial stress and strain respectively. The force balance of this system is then as follows

$$\begin{aligned} \underline{\delta }\sigma + F = 0 \end{aligned}$$
(3)

where \(\underline{\delta }\) is the differential matrix operator and F is the summation of all body forces exerted upon the object.

2.2.2 Fracture Nucleation

The initial state of the domain in the simulation is homogeneous and isotropic, barring certain simulation exceptions (see Sect. 3.3.2). Fractures may either be inserted into the domain with either prescribed locations or a probabilistic distribution, or be nucleated in accordance to the mechanical state of the ice. The present work uses the geomechanical computation method.

In this method, the equivalent strain \({\widetilde{\varepsilon }}\) is used to determine the locations for new fractures in accordance to the approach developed by Mazars et al. (2015). The nucleation sites are selected to be those locations at which \({\widetilde{\varepsilon }}\) is greater than a critical nucleation strain \(\varepsilon _c\), as follows

$$\begin{aligned} {\widetilde{\varepsilon }}\ =\ \bigl \Vert \langle \varepsilon \rangle \bigr \Vert _2^2\ \ge \ \varepsilon _c \end{aligned}$$
(4)

where \(\varepsilon\) is the strain tensor and \({\widetilde{\varepsilon }}\) is the norm of the positive strain tensor (Saceanu et al. 2022). Each nucleation site is then assigned an exclusion radius, so that multiple fractures are not inserted upon one another.

The fractures are inserted at each site as circular discs, comprised of a number of fracture tips. These tips act as the mechanical sources of fracture growth. In the practical modelling of the system, however, there is a limitation on the number of fractures that may be nucleated, so that the number of fracture nuclei does not become computationally unfeasible (see Fig. 2). Consequently, after the calculation of \({\widetilde{\varepsilon }}\) at all potential sites, the fractures are nucleated at sites of descending \({\widetilde{\varepsilon }}\), starting with the largest value, if there are more sites fulfilling the \({\widetilde{\varepsilon }}\ \ge \ \varepsilon _c\) criterion than are permitted by the maximum fracture nucleation parameter. This is to prevent any bias introduced by the order in which the sites are inspected.

Fig. 2
figure 2

One hemisphere of the result of an unrestricted nucleation run, yielding 1198 individual fractures shown in blue. The longer of the two horizontal lines at the top (North) and bottom (South) of the figure are 2000 km long. As the domain being modelled is a 1:1 representation of Europa, the outer radius of the domain is \(1.56 \times 10^3\) km (Color figure online)

2.2.3 Fracture Growth

Fracture growth in the simulator, assuming a quasi-static regime, is governed by the three Stress Intensity Factors (SIFs) for opening, in-plane, and out-of-plane deformation (\(K_\textrm{I}\), \(K_\textrm{II}\), and \(K_\textrm{III}\) respectively). Each SIF is calculated for each fracture tip in accordance to the displacement correlation method (Nejati et al. 2015). The computed SIFs are then used to determine whether or not a given fracture tip will grow, and if so, the extent of the growth (Paluszny and Zimmerman 2013).

The determination of whether the tip will extend is drawn from the criterion developed by Richard et al. (2014). This is a mixed-mode propagation criterion that compares the evaluated SIFs to the critical stress intensity factor, \(K_\textrm{IC}\), at each fracture tip, as follows

$$\begin{aligned} \frac{K_\textrm{I}}{2} + \frac{1}{2}\sqrt{K_\textrm{I}^2 + 4(\alpha _1 K_\textrm{II})^2 + 4(\alpha _2 K_\textrm{III})^2}\ \ge \ K_\textrm{IC} \end{aligned}$$
(5)

where \(\alpha _1\) is the ratio of mode I (opening) fracture toughness to mode II (in-plane shear), and \(\alpha _2\) the ratio of mode I toughness to mode III (out-of-plane shear) toughness.

The degree and direction of crack extension are then computed for tips that fulfil the propagation criterion. The extension criterion used in this work (Thomas et al. 2020) is a two-step Paris-type (Paris and Erdogan 1963) law, in which the extension magnitude is dependent on the strain energy release rate at the tip, \(\mathcal {G}\), the original radius of a given fracture, \(\Delta a_\textrm{v}\), and two empirical parameters, \(\beta _{f}\) and \(\beta _{n}\). The energy release rate \(\mathcal {G}\) is calculated using an I-integral as described by Nejati et al. (2015), \(\Delta a_\textrm{v}\) is a known quantity, and \(\beta _{f}\) and \(\beta _{n}\) are assigned standard values (see Table 1). The first step is to calculate the maximum allowed extension, as follows

$$\begin{aligned} \Delta a_{f} = \Delta a_\textrm{v}\left( \frac{\mathcal {G}_{f}}{\mathcal {G}_\textrm{v}}\right) ^{\beta _{f}} \end{aligned}$$
(6)

where \(\Delta a_{f}\) is the maximum extension allowed for any tip comprising a fracture, and \(\mathcal {G}_{f}\) and \(\mathcal {G}_\textrm{v}\) are the highest value of \(\mathcal {G}\) of any tip in the fracture, and the highest value of \(\mathcal {G}\) in the whole volume, respectively. The extension for an individual fracture tip, \(\Delta a_{n}\), is given by

$$\begin{aligned} \Delta a_{n} = \Delta a_{f}\left( \frac{\mathcal {G}_{n}}{\mathcal {G}_{f}}\right) ^{\beta _{n}} \end{aligned}$$
(7)

where \(\mathcal {G}_{n}\) is the value of \(\mathcal {G}\) at the tip. Each tip that passes the propagation criterion will then extend by \(\Delta a_{n}\).

The propagation angle criterion described by Richard et al. (2005) yields two angles to control propagation—the perpendicular and tangent angles to the fracture front. For simplicity, in the present work only the perpendicular angle is used, and is calculated as follows

$$\begin{aligned} \varphi \ =\ \mp \left[ A \frac{\mid K_\textrm{II} \mid }{K_\textrm{I} + \mid K_\textrm{II} \mid + \mid K_\textrm{III} \mid } + B \left( \frac{\mid K_\textrm{II} \mid }{K_\textrm{I} + \mid K_\textrm{II} \mid + \mid K_\textrm{III} \mid }\right) ^2\right] \end{aligned}$$
(8)

where \(A = 140^{\circ }\) and \(B = -70^{\circ }\). Further details on this methodology have been given by Paluszny and Zimmerman (2013) and Thomas et al. (2020).

2.3 Time Progression

To capture both diurnal and NSR effects, uniform time-stepping is insufficient. Therefore, two timesteps are used; a diurnal timestep and an NSR timestep, where these intervals alternate along with model growth steps (which are iterative and do not progress time) as follows. The simulator first calculates the stress field at time zero, and iterates through growth steps until either steady state is achieved, or a prescribed maximum number of steps is reached. The simulation time is then incremented by one diurnal timestep, the stress field recalculated, and the growth steps iterate once more. In simulation runs that do not consider NSR, this is the entire algorithm. When NSR effects (primarily stress field translation) are included, after a defined number of diurnal cycles the simulation time is incremented by an NSR timestep, which is orders of magnitude larger than the diurnal timestep. Details of the involved parameters are shown in Table 4 and a schematic representation is shown in Fig 3. In this manner, millions of years of evolution can be simulated while maintaining a temporal resolution sufficient to capture the changes that occur on an hourly basis.

Fractures are assumed to approach a steady state in the diurnal simulation periods before the stress field translates after an NSR timestep, enabling further evolution in the new stress environment. Fracture evolution as a function of time has not been a focus of this work to date, and so the motivator for this time progression scheme was to ensure that both modelled tidal effects, diurnal and NSR, have influence on the results.

Fig. 3
figure 3

A not-to-scale schematic representation of the time progression in this simulation. The red lines indicate simulated time steps. In this represented case, there are 4 NSR time increments, which are on the order of 10\(^5\)–10\(^7\) years depending on configuration. This leads to five simulated diurnal periods, where each diurnal period consists of 16 modelled increments which have durations of 1–10 h depending on configuration. The number of increments in both cases are low compared to that used in practice and are selected to maintain figure readability (Color figure online)

3 Simulation Setup

3.1 Simulation Domain

The simulation domain selected for this work consists of the entire surface of Europa, with the inclusion of the subsurface layers (excluding the silicate core), and also excluding 30\(^\circ\) cones around the poles (to remove limited numerical artefacting in the polar vicinity). The model domain is shown in Fig 4. To generate the stress field, the tidal stress model described prior is evaluated at every node in the domain.

The outer surface of the ice, and the interior surface, are set as Dirichlet boundaries. The interior faces exposed by the removal of the polar cones are set as symmetric boundaries to minimise their influence. The tidal stresses are applied as volumetric body forces.

Fig. 4
figure 4

The modelled domain, where the black sphere represents the silicate core, and the colours give the instantaneous tidal stress across the surface, in this case at periapsis. The radius of the outer sphere is \(1.56 \times 10^3\) km (Color figure online)

3.2 Physical Parameters

The physical quantities that parameterise the system along with their values are detailed in Table 1. The physical parameters for ice on Europa are associated with very low temperatures, and therefore the references given in the table have been obtained from low temperature testing, where possible. The literature for ice at these temperatures is not extensive, however, especially in the Europa context, and so where low temperature experiments are not available, best estimates are used. The parameters of relevance affected by temperature are fracture toughness (Liu and Miller 1979) and ultimate tensile strength (Haynes 1978), although both show only a weak correlation with temperature. The Young’s modulus of ice shows a discrepancy between laboratory and field measurement, although in the case of Europa this has been resolved by Nimmo (2004) where the laboratory value is determined to be the superior estimate, also showing low sensitivity to this quantity in the Europa system. The only free parameter is the NSR angular rate, \(f_\textrm{NSR}\), as the NSR period is not well constrained; it has a lower bound between \(10^4\) years (Geissler et al. 1998) and \(7\times 10^5\) years (Ashkenazy et al. 2023) and an indeterminate upper bound as very high NSR periods would be undetectable. The angular rate of 1.7434 \(\times\) 10\(^{-14}\) rad s\(^{-1}\) (corresponding to a period of 1.42 \(\times\) 10\(^{7}\) years) has been selected such that the NSR stresses yielded are of the same order as the diurnal stresses. This is so that neither effect will dominate over the other.

Table 1 Summary of physical parameters

3.2.1 Love Numbers

The Love numbers, h, k and l, are complex dimensionless quantities that parameterise the rigidity of a body in response to tidal forcing, where in this work h describes the amplitude of the radial displacement of the Europan surface, l describes the tangential components of the displacement, and k is not used. Details about Love numbers are given by Agnew (2015). The tidal response of the layers not directly considered by the simulator, such as the silicate core, are incorporated into the model through their effect on the Love numbers.

The tidal stress simulator used in this work relies on computed second-degree Love numbers, which are taken from Wahr et al. (2009) and detailed in Table 3 with the necessary parameters in Table 2. The Love numbers are very weakly dependent on the NSR period, and the imaginary component is always substantially smaller than the real component. Therefore, variations in the material properties yield no significant change in these quantities; see Wahr et al. (2009) for further detail. With regard to the present work, any changes that would arise in the Love numbers due to alteration of the model are not considered due to the insignificant magnitude of the differences that would ensue.

Table 2 Summary of parameters pertinent to Love numbers, taken from Wahr et al. (2009)
Table 3 Model Love numbers, taken from Wahr et al. (2009)

3.3 Geometric and Model Parameters

The domain of Europa is defined using a boundary representation of three dimensional non-uniform rational b-splines. The spline object is then meshed volumetrically with an octree method, using isoparameteric tetrahedra and triangles. The resultant mesh is at 1:1 scale to Europa. The meshes begin with approximately 70,000 nodes and 50,000 elements, which climbs to a maximum of approximately 600,000–800,000 nodes and elements as the simulation develops. The simulations presented in this work were run on a 44-core Intel Xeon Gold 6238 CPU at 2.10 GHz, with 64 GB of system memory. The simulations take between one to three days to execute.

3.3.1 Layering

The simulations executed in this work primarily fall under two configurations, the layered and non-layered cases. In the simpler non-layered case, the silicate core is encased in a thick brittle ice layer and nothing else, as a control for a Europa without a contiguous oceanic layer and weaker tidal heating effect. In this case the ice is modelled as being 140 km thick, assuming the absence of an oceanic layer. This brittle ice uses the values listed in Table 1.

The other case is that of the layered moon, incorporating both the oceanic layer and ice layer, in which the ice layer is subdivided into a deeper, warmer, ductile layer, and an outer, colder, brittle layer. The thickness of the simulation domain is forced to be larger than the physical situation due to modelling constraints on thin domains. In reality, the ice crust is believed to be a maximum of 2% (assuming the maximum estimate of 30 km) of the total body radius, which is presently unfeasibly thin for the numerical model and computational time constraints. To counteract this the thickness of the ice layer is increased from an estimated 20–60 km and the oceanic layer reduced to 80 km from 100 km. It is not well understood where the division from ductile to brittle ice lies, nor how sharp or blurred the boundary may be, therefore as a first-line assumption the ductile and brittle ice layers are both taken to be half of the overall ice thickness. Thus the layers in the three layer case are organised as follows: 80 km thick ocean, 30 km thick ductile ice and 30 km thick brittle ice (see Fig. 5).

Fig. 5
figure 5

Schematic representations of the two layering cases for comparison. Not to scale. a Shows the single layered configuration. Radius of the wedge is 1560 km. b Shows the three layered configuration. Radius of the wedge is 1560 km

Although the simulation domain is dimensionally inaccurate to the most attested values, the stress calculation is wholly derived from the most well-understood physical parameters, with only the simulation domain being altered and therefore the effect on the results is expected to be minimal.

In the layered case, the oceanic layer is modelled as a soft body that is unable to fracture. The ductile layer is modelled with the same physical parameters as the brittle layer at the interface between the two layers, and the physical parameters are set to those of ice at 0 \(^\circ\)C at the ice-ocean interface, with the values changing monotonically with depth between the two interfaces.

3.3.2 Melt-Water Lenses

Another tested scenario is the presence of subsurface melt-water lenses (Vilella et al. 2020). These lenses have been theorised to be the motivating phenomena behind the formation of chaos terrain, and possibly also the lenticulae, on the Europan surface (Schmidt et al. 2011), by inducing increased fracturing in the region between the lens and the surface, and thus allowing liquid water from the lens to float “rafts” on the surface creating these features once refrozen.

The lenses are modelled in this work as spherical regions of heterogeneity in the brittle ice, wherein 16 such regions are distributed randomly throughout the brittle layer. The material properties of the ice within these regions are changed to that of the oceanic layer, to model the liquid water present within the lens. The diameters of the regions are randomly assigned between 5 and 80 km, using the observed sizes of lenticulae and chaos as a guide (Schmidt et al. 2011; Culha and Manga 2016).

3.3.3 Parameter Summary

The model parameters are summarised in Table 4. The maximum growth steps parameter, \(n_\textrm{Growth}\), controls how many times fractures may extend within a given diurnal timestep. The maximum step extension, \(e_\textrm{Step}\), is a multiplier on the initial fracture radius to control the maximum extension allowed in a given growth step (i.e. with the given values for initial fracture radius and maximum step extension of 10 and 2 km respectively, the maximum distance a fracture tip may extend is 20 km, even if the result returned by Eq. 5 is larger). The mid-step and NSR step nucleation parameters, \(N_\textrm{Step}\) and \(N_\textrm{NSR}\), denote the number of new additional fractures allowed to nucleate in the middle of an NSR timestep and at the end of an NSR timestep, respectively.

Table 4 Summary of model parameters

4 Results and Discussion

The results of simulations conducted with a single layer and three layers are shown in Figs. 6 and 7, respectively. Both simulations operate under the diurnal regime, excluding the NSR stress field translation. The initial nucleation number was 20, with an additional twenty nucleations added after every eight diurnal time steps. In the three-layer scenario, the ocean has a thickness of 80 km, followed by a 30 km thick ductile layer, and topped with a 30 km thick brittle layer. Both cases undergo the nucleation of 60 fractures over the course of the simulation run. For the cases with limited nucleation sites, as these, fractures are nucleated first in regions where most damage is present, so as to capture the progression of damage in the most relevant locations first, before re-evaluating stresses.

Fig. 6
figure 6

Single layer growth for a diurnal regime. a The y-axis or equatorial view. The longer of the two horizontal lines at the top and bottom of the figure are 2000 km long. b The z-axis or polar view. The outer black circle has a diameter of 2000 km. c A detail of one primary fracture cluster. d A detail of the profile of one representative fracture. The cyan denotes the silicate core boundary and the orange denotes the longest span of 212 km. e Shows the plan view of the same fracture (Color figure online)

Fig. 7
figure 7

Three-layer growth for a diurnal regime. a The y-axis or equatorial view. The longer of the two horizontal lines at the top and bottom of the figure are 2000 km long. b The z-axis or polar view. Red circles denote fracture nucleation outside the primary clusters. The outer black circle has a diameter of 2000 km. c Detail of one primary fracture cluster. d Detail of the profile of one representative fracture. The cyan denotes the silicate core boundary and the orange denotes the longest span of 292 km. The ‘spikes’ are numerical artefacts. e Plan view of the same fracture (Color figure online)

Figures 6a, 7a, as well as 6b, 7b show a view of the entire simulation domain from the y-axis and z-axis, respectively, offering an overview of the entire fracture pattern. Notably, fractures nucleate in two distinct, nearly symmetric clusters, directly corresponding to the most tensile regions depicted in Fig. 1. These patterns are likely to repeat a stagger as a function of time, with subsequent effects of healing and interaction which are not taken into account in the present models. The resulting fracture patterns exhibit similarities, although the three-layer case reveals some nucleation occurring outside of the main clusters and within the compressive region, as highlighted by the red circles in Fig. 7b. This is hypothesised to be a result of the layering within the domain, which intensifies stress concentrations, thereby promoting additional nucleation at these sites. Figures 6c and 7c provide a closer examination of the respective primary fracture clusters. Both reveal a shared overall structure—a distinct North–South aligned feature to the East of the cluster and a curved feature to the West. The East–West fracture asymmetry is explained by the diurnal asymmetric behaviour depicted in Fig. 8, where (a) illustrates the most East-leaning stress field, and 8b shows the most West-leaning. The stress magnitude of the East-leaning state is significantly larger, thus exerting dominance over the fracture growth behaviour throughout the growth cycle, resulting in the fracture clusters adopting its characteristic form.

Fig. 8
figure 8

Differing times in the diurnal stress field with the final state of the associated surface-intersecting fracture patterns to show how the pattern matches the stress field. a Shows the most Easterly lean of the tensile region, where one can see how the right-hand of the pattern aligns with the stress field. b The corresponding Westerly lean, where one can see how the left-hand of the patterns aligns with the stress field

When comparing Fig. 7c, to Fig. 6c, a qualitative difference is the relative lack of growth of the smaller fractures beyond the major observed features. This suggests that in the three-layer case, a greater amount of stress is dissipated through deformation in the dominant fractured regions, resulting in lesser-magnitude stress intensity factors (SIFs) for the remaining network. Figures  6d, e and 7d, e are views of a selected representative primary feature fracture. The (d) subfigures provide a profile view from East to West, where the cyan surface represents the silicate core boundary. The (e) subfigures offer a plan view looking down to the surface. The plan views exhibit a similar form, with minimal deflection from the initial fracture plane, attributable to the absence of rapid spatial changes in the stress field, allowing predominantly linear extension.

In contrast, the profile perspectives reveal a contrast in terms of the existence of multiple layers. Figure 6d depicts the ovoid shape of fractures in the unlayered case, which extend through the entire crust to the silicate core. This aligns with the anticipated outcome when modelling a fracture in a weakly spatially-varying stress field. On the other hand, Fig. 7d takes on a different configuration—the fracture does not breach the oceanic layer. Instead, it assumes a crescent shape, with the leading edges of the fracture being deflected away from the oceanic layer. This phenomenon may be attributed to the less favourable conditions for fracture growth in the ductile ice compared to the brittle ice layer.

Figure 9 illustrates the outcomes of a single-layer simulation under an NSR regime, conducted for approximately \(10^8\) Earth years. The mechanical properties employed are consistent with the previous single-layer case. Throughout the simulation, a total of eighty fractures are nucleated, including several smaller nucleations during the mid-diurnal phase.

Fig. 9
figure 9

Single layer growth for an NSR regime. a Gives the y-axis or equatorial view. The longer of the two horizontal lines at the top and bottom of the figure are 2000 km long. b Gives the z-axis or polar view. The outer black circle has a diameter of 2000 km. c Shows one of the two primary (first to nucleate) fracture clusters. d Shows one of the secondary fracture clusters

Figure 9a shows minimal deviation from Figs. 67a, aside from a reduction in out-of-cluster nucleations. In Fig. 9b, the effect of the NSR regime becomes evident, revealing three distinct pairs of fracture clusters. The relative formation periods of the clusters are distinguishable by observing the comparative development of the primary fractures in each cluster, where the most developed cluster is usually the first to have formed (see Fig. 9c). This suggests that, although the highest stresses for fracture nucleation are concentrated in the tensile region, which hosts the fracture clusters, there are still sufficiently strong tides present in other parts of the crust to drive additional fracture growth away from these regions. Notice that the secondary fracture cluster seen in Fig. 9d is also significantly more diffuse and less developed than the primary cluster in Fig. 9c. This underlying mechanism that drives increased separation in the later nucleation sites is probably related to the local release of stresses within the more developed clusters.

The simulation depicted in Fig. 9 is quantified in Fig. 10 using P metrics that have been slightly modified (Pierce 2017). In this scheme, Pij represents a metric in which i denotes the dimension of the sample domain, and j signifies the dimension of the sampled quantity. For instance, P32 quantifies the area of fractures in the domain per unit volume. In this study, the P20, P21, P30, and P32 metrics are employed (Dershowitz et al. 2020). Notably, the P20 and P21 metrics are modified to specifically account for the amount (P20) and length (P21) of intersections of fractures with the external surface of the ice, representing the theoretically visible portion of the fractures. This stems from the fact that the sole observational data available for Europa concerning fracturing and lineae are mission images capturing the surface. Therefore, these images constitute the only elements in this study directly connected to observations.

Fig. 10
figure 10

Fracture intensities for the simulation shown in Fig. 9. a A modified P20 metric to only consider the number of fractures that intersect the outer surface against simulation step. b A modified P21 metric to only consider the length of fracture intersection with the outer surface of the ice against simulation step. c The P30 metric against simulation step. d The P32 metric against simulation step

The P20 metric, plotted in Fig. 10a, initiates from 0, indicating that no fractures are permitted to nucleate in contact with any boundary. P20 then increases in a step-wise manner thereafter. This suggests that the fractures in growth progress at a closely matched rate, resulting in their simultaneous intersection with the boundary. This pattern is observed again in Fig. 10b, where the P21 metric is plotted, with a slight later evolution as compared to the progression of amount of fractures generated (P20). Figure 10a, b demonstrate that subsequent nucleations have a less significant impact on the surface compared to the initial fracture cluster, and that the pattern is dominated by the rapid growth of initially nucleated fractures.

The steep rises seen in the P30 metric (Fig. 10c) correspond to the major nucleation events that occur at the NSR time scale, with the lesser steps corresponding to nucleations during the mid-diurnal-cycle. Figure 10d plots the evolution of the P32 fracture surface intensity metric, revealing a gradual yet steady increase in fracture area, which stands in contrast to the sharp ascent observed in the P20 and P21 metrics, corresponding to fracture amount and fracture line intersections with the surface. This can be attributed to the fact that subsurface behaviour remains largely unaffected by surface interaction, allowing fractures to persist in their growth even when the rate of surface intersection growth has decelerated. The P32 metric encompasses fractures that have not breached the surface, which grow under the surface without having a surface footprint. However, as previously discussed, primary fractures typically exhibit concurrent growth, resulting in relatively inactive fractures remaining entirely within the subsurface.

Results from a simulation featuring inserted meltwater lens heterogeneities are presented in Fig. 11. In Fig. 11a, a primary fracture cluster is depicted, resembling those previously discussed. However, some fractures have nucleated in the vicinity of a subsurface lens. Figure 11b displays a ‘standard’ vertically orientated fracture, similar to those observed in the preceding three-layer models. Notably, Fig. 11c showcases a fracture proximate to the lens with a horizontal orientation, a characteristic that is not observed in the absence of the lens. Figure 11d shows that despite the original fracture nucleus being inserted with an initially semi-vertical alignment, commonly observed in other results, the fracture rapidly grows changing its orientation to become parallel with the ice surface, above the lens. This phenomenon suggests that the horizontal fractures, when parallel and in proximity to the surface, may weaken and disrupt the surface, potentially contributing to the formation of the observed chaos or lenticulae features.

Fig. 11
figure 11

A three-layered diurnal regime simulation, with melt-water lenses inserted into the ice. a A primary fracture cluster. The red circle denotes the approximate location of an inserted subsurface melt-water lens. Notice the upturned fractures in the vicinity of the lens. b Profile of a representative fracture, indicated by an arrow. The fracture length as shown in black is 170 km. The blue denotes the silicate layer boundary, and the green denotes the outer surface of Europa. c The profile of an upturned fracture, indicated by an arrow. Fracture length as shown in orange is 79 km. d An alternate view of the fracture in c, parallel to the surface. Notice the pronounced deflection (shown by the red line) of the original fracture nucleus (denoted by the blue line) to align with the silicate layer (denoted by the cyan mesh) and therefore also align with the surface. Further notice the divergence between the standard, representative fracture shown in b and the surface parallel fracture in c, d, underlining the speciation of the upturned, surface-parallel fractures (Color figure online)

Figure 12 shows a number of simulation runs with varying conditions of NSR, layering, heterogeneities, and temporal resolution, amongst other quantities. Together, these illustrate how the combination of the modelled physical processes can produce a more complete model of how the Europan surface may develop as a function of time. In Fig. 12a, b, the smaller discs are fractures that nucleated but their growth did not progress thereafter. In the depicted cases the only nucleation limit applied in a minimum spacing at the nucleation time, so that no further fracture is nucleated in the vicinity of a recently nucleated fracture location without recalculating the stress field (as the new fracture is likely to have affected the stress distribution at the nucleated site). This lax constraint leads to a substantially higher number of fractures being nucleated, in this case yielding 1198 separate fracture nuclei. These findings suggest that the majority of the surface experiences significant stress, leading to periodic fracture nucleation.

Fig. 12
figure 12

A consolidation of multiple simulations into one domain. a A primary fracture cluster. The many smaller fractures are the result of a nucleation without a quantity cap. b The z-axis or polar view. The outer black circle has a diameter of 2000 km. c A representative region of the Europan surface, approximately 230 km square, Image Credit: NASA JPL. d The same fracture cluster as a but only showing surface intersecting traces. e The same fracture cluster as a, but only showing surface intersecting fractures. f The same region imaged in c with an edge detection filter to better emphasise the lineae, again approximately 230 km square

Figure 12d shows only traces of fractures that intersect the surface of Europa, which would have a visible footprint on the surface. Figure 12e shows the same, but also including the 3D shape of the fracture surface at depth. Figure 12d, e show an individual fracture cluster, a group of larger fractures that concentrates to form these structured patterns. Clusters can be qualitatively compared to images of the Europan surface, taken by the Galileo mission (see Fig. 12c, f). Both patterns displays similar characteristics of fracture cross-cutting and clustering, in particular regarding the North–South oriented features interspersed with weaker East–West features, collectively surrounded, by a number of smaller fractures with disparate orientations.

5 Concluding Remarks

The growth of fracture networks on the Europan surface has been investigated using a finite element fracture simulator, to qualitatively determine whether the behaviour of the large-scale lineae observed on the surface can be modelled by linear elastic fracture mechanics. The preliminary set of fracture patterns appears to show consistency with observations of Europan lineae. Fractures distribute in particular around the equatorial region, and self-organise to form networks that qualitatively resemble some of the features observed on the surface of Europa. Interesting behaviour in the unobserved subsurface is also simulated, especially with regards to meltwater lenses and their effect upon surface features. In the vicinity of these lenses fractures are observed to adopt a horizontal orientation parallel to the surface, providing a potential rationale for the development of chaos regions in the weakened zones formed above lenses. These findings serve as a proof of concept of this modelling approach in this context and are the basis for ongoing work into lineae behaviour on the Europan surface. In the context of fracture mechanics, this application presents a challenging high-density fracture growth scenario, in a layered medium subjected to constant in situ stress variations. As opposed to traditional simulations, the scale and magnitude of spatially and temporally varying stresses requires constant re-evaluation of the nucleation and growth of fractures in the domain. Further work requires investigation into the effects of layering, material property definition, heterogeneities, fracture healing, and the representation of denser fracture systems. This approach is also particularly well-disposed to studying the effect of strike-slip along lineae and the possible consequences of this for resurfacing.