This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

An adaptive wavelet method for nonlinear partial differential equations with applications to dynamic damage modeling

Cale Harnish Luke Dalessandro Karel Matouš [email protected] Daniel Livescu Department of Aerospace and Mechanical Engineering, University of Notre Dame, Notre Dame, Indiana 46556, USA Department of Intelligent Systems Engineering, Indiana University, Bloomington, Indiana 47405, USA Computer and Computational Sciences Division, Los Alamos National Laboratory, Los Alamos, New Mexico 87545, USA
Abstract

Multiscale and multiphysics problems need novel numerical methods in order for them to be solved correctly and predictively. To that end, we develop a wavelet based technique to solve a coupled system of nonlinear partial differential equations (PDEs) while resolving features on a wide range of spatial and temporal scales. The algorithm exploits the multiresolution nature of wavelet basis functions to solve initial-boundary value problems on finite domains with a sparse multiresolution spatial discretization. By leveraging wavelet theory and embedding a predictor-corrector procedure within the time advancement loop, we dynamically adapt the computational grid and maintain accuracy of the solutions of the PDEs as they evolve. Consequently, our method provides high fidelity simulations with significant data compression. We present verification of the algorithm and demonstrate its capabilities by modeling high-strain rate damage nucleation and propagation in nonlinear solids using a novel Eulerian-Lagrangian continuum framework.

keywords:
Multiresolution analysis, Wavelets, Adaptive algorithm with error control, High-strain rate damage mechanics, High-performance computing

1 Introduction

This work details a novel numerical method capable of modeling multiphysics problems while resolving features on a wide range of spatial and temporal scales. Considering that many engineering applications must incorporate failure modes into material models, the potential of our algorithm is demonstrated by modeling the dynamic damage of a nonlinear solid. The behavior of damaged material has been the subject of extensive research [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]. Early damage models were simple in nature and classified material failure based on comparing the state of stress or strain to empirically measured values [16, 17, 18, 19, 20, 21, 22]. Fracture mechanics provides a more theoretical approach and analytically describes the forces required to open and grow a crack [23, 24, 25]. Alternatively, this work applies thermodynamically consistent computational damage mechanics to model the effects of damage [26].

Continuum damage mechanics has been used to model several failure modes such as: fatigue [27], creep [28], ductile damage [29, 30, 31], brittle damage [32, 33, 34], isotropic damage [35], and anisotropic damage [36, 37]. This work leverages concepts from the reference map technique [38] to extend the Lagrangian constitutive theory from [39, 40, 41] into the Eulerian frame and model rate-dependent isotropic damage. Our coupling of the Eulerian-Lagrangian frames combines the advantages of resolving large deformations on an Eulerian discretization with a constitutive damage model from a Lagrangian description and is one of the novelties of this work. The derivation of the energy based damage model is thermodynamically motivated and incorporates the irreversible nature of the damage process [42, 43].

In general, material failure does not occur only between two adjacent atomic layers [10]. Instead, cracks develop with a finite thickness of a characteristic length-scale, lωl_{\omega}, and have a process zone at the crack-tip [44, 45, 46, 47]. At the microscale one may find voids and material defects, microcracks can be observed at the mesoscale, and at the macroscale these imperfections coalesce into macrocracks [48]. These features have very small spatial and temporal scales which prove challenging for both experimental measurement [49, 50, 51, 52, 53, 54, 55] and computational modeling [39, 56]. However, computational models of damage have become increasingly important to bridge the gap between theoretical predictions and experimental design.

The computational difficulty of damage modeling has so far been addressed through a variety of numerical techniques. For example, the integral equations from peridynamics are used in [57] to better model the discontinuous nature of cracks. A mesh-free smooth particle hydrodynamic (SPH) simulation was used in [58] to model damage under compressive loading. Finite element methods (FEM) have incorporated rate dependent damage models [59] and cohesive zone models [60] to simulate fracture in brittle materials (e.g., concrete, ceramics, PMMA). The extended finite element method (XFEM) has been used [61] to model a crack with arbitrary discontinuities instead of remeshing. Alternatively, [62, 63] only resolves the damaged material on the microscale and assumes a separation of scales to model its effect on the macroscale using computational homogenization [39, 64, 40, 41]. In contrast, an adaptive space-time discontinuous Galerkin method is used in [65] to provide high resolution simulations, revealing new solution features (e.g., a quasi-singular structure in the velocity response).

In other works, the challenge of multiscale modeling has been met through adaptive mesh refinement (AMR) [66, 67], multigrid methods [68, 69, 70], Chimera overset grids [71], or remeshing/refining FEM [72, 73, 74, 75]. However, these approaches are computationally expensive in the context of damage modeling since the spatial and temporal location of interesting solution features are not known a priori. This work develops an alternative adaptive discretization strategy to resolve all relevant scales from the characteristic length scale of damage to the size of the macroscopic material. In particular, we use wavelet basis functions to approximate solutions to coupled systems of nonlinear partial differential equations (PDEs) in a monolithic multiscale solver.

Wavelet based numerical methods are particularly well suited for modeling multiscale and multiphysics problems, because they can dynamically adapt the discretization to discover spatial scales [76, 77]. Furthermore, current wavelet solvers have achieved several notable accomplishments, including: significant data compression [78, 79, 80], bounded energy conservation [81, 82], modeling stochastic systems [83], multiscale model reduction [84], and solving coupled systems of nonlinear PDEs [85, 86, 87, 88, 89]. However, some implementations only solve PDEs in infinite or periodic domains (e.g., [90, 91, 92]), some do not utilize the data compression ability of wavelets, resulting in a costly uniform grid (e.g., [82, 93, 94]), and some use finite difference methods to calculate the spatial derivatives, reducing the ability to control accuracy (e.g., [85, 86, 87, 95]).

We present a predictor-corrector algorithm designed to advance the state of wavelet-based methods by leveraging the successes of past solvers and developing strategies to mitigate their limitations. We use differentiable wavelet bases to numerically solve nonlinear initial–boundary value problems. We use second-generation wavelets near spatial boundaries to produce multiresolution spatial discretizations on finite domains. Furthermore, the lowest resolution is defined with the minimum number of collocation points required to support the basis functions, thereby improving the ability to compress data. Additionally, we compute spatial derivatives by operating directly on the wavelet bases. We use error estimates for the wavelet representation of fields, their spatial derivatives, and the aliasing errors associated with nonlinear terms to construct a sparse, dynamically adaptive computational grid for each unknown that provides the required accuracy and approaches the theoretical a priori guarantee. Moreover, we employ an embedded Runge-Kutta integration to control the temporal accuracy as the solution of the PDE evolves. Therefore our adaptive multiresolution discretization is guided directly by the wavelet operators and is one of the novelties of this work.

An overview of wavelet theory and the wavelet operations required to solve PDEs is presented in Section 2. Then, our algorithm, the Multiresolution Wavelet Toolkit (MRWT) is described and verification examples are presented in Section 3. Next, the Eulerian-Lagrangian model of dynamic damage growth in nonlinear materials is derived in Section 4. Finally, Section 5 shows results from modeling high-strain rate damage nucleation and propagation, illustrating the benefits of applying this novel numerical method to multiscale and multiphysics problems.

2 Multiresolution analysis

The proposed numerical method exploits the properties of wavelet basis functions and builds the computational grid using the wavelet operators. Therefore it is essential to provide a brief summary of wavelet theory. In particular, the following outlines the construction of wavelet basis functions and defines the operations needed to build a sparse grid and solve nonlinear PDEs.

2.1 Wavelet basis functions

A multiresolution analysis (MRA) provides the formal mathematical definition of a wavelet family of basis functions [96]. An MRA of an NN-dimensional domain ΩN\Omega\subset\mathbb{R}^{N} consists of a sequence of nested approximation spaces 𝑽j\boldsymbol{V}_{j} and their associated dual spaces 𝑽~j\widetilde{\boldsymbol{V}}_{j} such that the union of these spaces is the L2(Ω)L^{2}(\Omega) space [97]. The wavelet spaces 𝑾j\boldsymbol{W}_{j}, and their associated dual spaces 𝑾~j\widetilde{\boldsymbol{W}}_{j} are then defined as the complements of the approximation spaces 𝑽j\boldsymbol{V}_{j} in 𝑽j+1\boldsymbol{V}_{j+1} [98, 82]

𝑽j\displaystyle\boldsymbol{V}_{j} 𝑽j+1,\displaystyle\subset\boldsymbol{V}_{j+1}, j=1𝑽j¯\displaystyle\overline{\bigcup_{j=1}^{\infty}\boldsymbol{V}_{j}} =L2(Ω),\displaystyle=L^{2}(\Omega), 𝑽j+1\displaystyle\boldsymbol{V}_{j+1} =𝑽j𝑾j.\displaystyle=\boldsymbol{V}_{j}\oplus\boldsymbol{W}_{j}. (1)

Furthermore, NN-dimensional representations can be constructed through NN tensor products of the one-dimensional (11D) spaces VjV_{j} and WjW_{j}. For example, the approximation spaces in a three-dimensional (33D) setting become

𝑽j\displaystyle\boldsymbol{V}_{j} =VjVjVj,\displaystyle=V_{j}\otimes V_{j}\otimes V_{j},
𝑽j\displaystyle\boldsymbol{V}_{j} =(Vj1Wj1)(Vj1Wj1)(Vj1Wj1).\displaystyle=\left(V_{j-1}\oplus W_{j-1}\right)\otimes\left(V_{j-1}\oplus W_{j-1}\right)\otimes\left(V_{j-1}\oplus W_{j-1}\right). (2)

In general, this produces 2N2^{N} types of basis from each possible combination of VjV_{j} and WjW_{j} spaces. The scaling functions ϕkj(x)\phi_{k}^{j}(x) and dual scaling functions ϕ~kj(x)\widetilde{\phi}_{k}^{j}(x) are the 11D basis functions in the spaces VjV_{j} and V~j\widetilde{V}_{j} respectively, whereas the wavelets ψkj(x)\psi_{k}^{j}(x) and dual wavelets ψ~kj(x)\widetilde{\psi}_{k}^{j}(x) are the 11D basis functions in the spaces WjW_{j} and W~j\widetilde{W}_{j} respectively. Note that the multiresolution nature of 11D wavelets requires the use of two types of indices. One to define the resolution level jj\in\mathbb{Z}, and another to define the spatial locations kk\in\mathbb{Z} on a particular resolution level jj. Furthermore, any basis with jj and kk designation is constructed through dilations and translations such that

ϕ2kj+1(x)\displaystyle\phi_{2k}^{j+1}(x) =ϕkj(2x2kΔxj+1),\displaystyle=\phi_{k}^{j}(2x-2k\Delta x_{j+1}), ϕ~2kj+1(x)\displaystyle\widetilde{\phi}_{2k}^{j+1}(x) =2ϕ~kj(2x2kΔxj+1),\displaystyle=2\ \widetilde{\phi}_{k}^{j}(2x-2k\Delta x_{j+1}),
ψ2kj+1(x)\displaystyle\psi_{2k}^{j+1}(x) =ψkj(2x2kΔxj+1),\displaystyle=\psi_{k}^{j}(2x-2k\Delta x_{j+1}), ψ~2kj+1(x)\displaystyle\widetilde{\psi}_{2k}^{j+1}(x) =2ψ~kj(2x2kΔxj+1),\displaystyle=2\ \widetilde{\psi}_{k}^{j}(2x-2k\Delta x_{j+1}), (3)

where Δxj+1\Delta x_{j+1} is the grid spacing on level j+1j+1. An additional index λ\lambda\in\mathbb{Z} is introduced for multidimensional wavelets to simplify notation and denote specific VjV_{j} and WjW_{j} combinations as shown in Table 1. The local index kk is reset for each jj and λ\lambda combination.

Table 1: Notation for multidimensional basis in 3\mathbb{R}^{3}.
Ψkjλ(x){}^{\lambda}\Psi_{\vec{k}}^{j}(\vec{x}) Three-dimensional basis
Ψkj0(x){}^{0}\Psi_{\vec{k}}^{j}(\vec{x}) ϕk1j(x1)ϕk2j(x2)ϕk3j(x3)\phi_{k_{1}}^{j}(x_{1})\ \phi_{k_{2}}^{j}(x_{2})\ \phi_{k_{3}}^{j}(x_{3})
Ψkj1(x){}^{1}\Psi_{\vec{k}}^{j}(\vec{x}) ψk1j(x1)ϕk2j(x2)ϕk3j(x3)\psi_{k_{1}}^{j}(x_{1})\ \phi_{k_{2}}^{j}(x_{2})\ \phi_{k_{3}}^{j}(x_{3})
Ψkj2(x){}^{2}\Psi_{\vec{k}}^{j}(\vec{x}) ϕk1j(x1)ψk2j(x2)ϕk3j(x3)\phi_{k_{1}}^{j}(x_{1})\ \psi_{k_{2}}^{j}(x_{2})\ \phi_{k_{3}}^{j}(x_{3})
Ψkj3(x){}^{3}\Psi_{\vec{k}}^{j}(\vec{x}) ψk1j(x1)ψk2j(x2)ϕk3j(x3)\psi_{k_{1}}^{j}(x_{1})\ \psi_{k_{2}}^{j}(x_{2})\ \phi_{k_{3}}^{j}(x_{3})
Ψkj4(x){}^{4}\Psi_{\vec{k}}^{j}(\vec{x}) ϕk1j(x1)ϕk2j(x2)ψk3j(x3)\phi_{k_{1}}^{j}(x_{1})\ \phi_{k_{2}}^{j}(x_{2})\ \psi_{k_{3}}^{j}(x_{3})
Ψkj5(x){}^{5}\Psi_{\vec{k}}^{j}(\vec{x}) ψk1j(x1)ϕk2j(x2)ψk3j(x3)\psi_{k_{1}}^{j}(x_{1})\ \phi_{k_{2}}^{j}(x_{2})\ \psi_{k_{3}}^{j}(x_{3})
Ψkj6(x){}^{6}\Psi_{\vec{k}}^{j}(\vec{x}) ϕk1j(x1)ψk2j(x2)ψk3j(x3)\phi_{k_{1}}^{j}(x_{1})\ \psi_{k_{2}}^{j}(x_{2})\ \psi_{k_{3}}^{j}(x_{3})
Ψkj7(x){}^{7}\Psi_{\vec{k}}^{j}(\vec{x}) ψk1j(x1)ψk2j(x2)ψk3j(x3)\psi_{k_{1}}^{j}(x_{1})\ \psi_{k_{2}}^{j}(x_{2})\ \psi_{k_{3}}^{j}(x_{3})

In many cases the wavelet basis functions do not have a closed-form expression, instead they are defined in terms of four types of filter coefficients (i.e., hi,h~i,gi,h_{i},\ \widetilde{h}_{i},\ g_{i}, and g~i\widetilde{g}_{i}) [91, 99] which satisfy orthogonality relations

hih~i\displaystyle h_{i}\ \widetilde{h}_{i} =1,\displaystyle=1, gig~i\displaystyle g_{i}\ \widetilde{g}_{i} =1,\displaystyle=1,
hig~i\displaystyle h_{i}\ \widetilde{g}_{i} =0,\displaystyle=0, gih~i\displaystyle g_{i}\ \widetilde{h}_{i} =0,\displaystyle=0, (4)

symmetry relations

gi+1\displaystyle g_{i+1} =(1)i+1h~i,\displaystyle=(-1)^{i+1}\ \widetilde{h}_{-i}, g~i+1\displaystyle\widetilde{g}_{i+1} =(1)i+1hi,\displaystyle=(-1)^{i+1}\ h_{-i}, (5)

and refinement relations

ϕkj(x)\displaystyle\phi_{k}^{j}(x) =i=pphiϕ2k+ij+1(x),\displaystyle=\sum_{i=-p}^{p}h_{i}\ \phi_{2k+i}^{j+1}(x), ϕ~kj(x)\displaystyle\widetilde{\phi}_{k}^{j}(x) =i=pph~iϕ~2k+ij+1(x),\displaystyle=\sum_{i=-p}^{p}\widetilde{h}_{i}\ \widetilde{\phi}_{2k+i}^{j+1}(x),
ψkj(x)\displaystyle\psi_{k}^{j}(x) =i=ppgiϕ2k+ij+1(x),\displaystyle=\sum_{i=-p}^{p}g_{i}\ \phi_{2k+i}^{j+1}(x), ψ~kj(x)\displaystyle\widetilde{\psi}_{k}^{j}(x) =i=ppg~iϕ~2k+ij+1(x).\displaystyle=\sum_{i=-p}^{p}\widetilde{g}_{i}\ \widetilde{\phi}_{2k+i}^{j+1}(x). (6)

The parameter pp is defined by the length of the filter coefficients and reflects the properties of the basis (e.g., the number of vanishing moments or the degree of continuity) [91]. Typically the wavelet basis are defined for infinite or periodic domains and modifications are necessary for representation on finite domains [100, 101].

There are many families of wavelet basis functions which satisfy Eqs. 1 to 2.1 and this work in particular uses the Deslauriers-Dubuc wavelets [102, 103]. These basis functions are sometimes referred to as the biorthogonal interpolating wavelet family [104], or the auto-correlation of the Daubechies wavelets [80]. Additionally, second generation wavelets are used near spatial boundaries [99].

2.2 Wavelet transformations

Space is discretized by projecting each continuous function f(x)f(\vec{x}), defined on the NN-dimensional finite domain ΩN\Omega\subset\mathbb{R}^{N}, onto the basis functions Ψkjλ(x){}^{\lambda}\Psi_{\vec{k}}^{j}(\vec{x}). With an infinite number of resolution levels the representation is exact and, due to the nested nature of the approximation spaces, the λ=0\lambda=0 basis are needed only on the lowest resolution

f(x)=ki[0,2p]𝕕k10Ψk10(x)+j=1λ=12N1k𝕕kjλΨkjλ(x).\displaystyle f(\vec{x})=\sum_{k_{i}\in[0,2p]}{}^{0}\mathbb{d}_{\vec{k}}^{1}\ {}^{0}\Psi_{\vec{k}}^{1}(\vec{x})+\sum_{j=1}^{\infty}\sum_{\lambda=1}^{2^{N}-1}\sum_{\vec{k}}{}^{\lambda}\mathbb{d}_{\vec{k}}^{j}\ {}^{\lambda}\Psi_{\vec{k}}^{j}(\vec{x}). (7)

Note that in Eq. 7 the lowest resolution level (i.e., λ=0\lambda=0 and j=1j=1) is defined by a uniform grid of 2p+12p+1 points in each direction. This choice maximizes the compression ability of wavelets since it is the minimum number of points required to support one Ψk10(x){}^{0}\Psi_{\vec{k}}^{1}(\vec{x}) basis at the center of the domain (see Table 1). All other points on the lowest resolution level (coarse grid) correspond to the second generation wavelets defined for a finite domain. The coefficients 𝕕kjλ{}^{\lambda}\mathbb{d}_{\vec{k}}^{j} are defined by integrating the field with the dual basis

𝕕kjλ(f)=f(x)Ψ~kjλ(x)dΩ.\displaystyle{}^{\lambda}\mathbb{d}_{\vec{k}}^{j}(f)=\int f(\vec{x})\ {}^{\lambda}\widetilde{\Psi}_{\vec{k}}^{j}(\vec{x})\ \mathrm{d}\Omega. (8)

Using the Deslauriers-Dubuc wavelet family, the integrals in Eq. 8 are solved exactly and are replaced with the matrix operator \mathbbbF\mathbbb{F}, defined in terms of the filter coefficients, as described in [105, 106]. Repeated application of this operator yields all of the wavelet coefficients on each resolution level. For continuous functions f(x)f(\vec{x}), the magnitude of coefficients 𝕕kjλ{}^{\lambda}\mathbb{d}_{\vec{k}}^{j} decreases as the resolution level increases. Therefore, the infinite sum in Eq. 7 is truncated by limiting the number of resolution levels to jmaxj_{\mathrm{max}}\in\mathbb{Z} such that the magnitude of all wavelet coefficients above jmaxj_{\mathrm{max}} are below a prescribed tolerance ε\varepsilon. This truncated wavelet projection results in the discretization

fj(x)=ki[0,2p]𝕕k10Ψk10(x)+j=1jmaxλ=12N1k𝕕kjλΨkjλ(x),\displaystyle f_{j}(\vec{x})=\sum_{k_{i}\in[0,2p]}{}^{0}\mathbb{d}_{\vec{k}}^{1}\ {}^{0}\Psi_{\vec{k}}^{1}(\vec{x})+\sum_{j=1}^{j_{\mathrm{max}}}\sum_{\lambda=1}^{2^{N}-1}\sum_{\vec{k}}{}^{\lambda}\mathbb{d}_{\vec{k}}^{j}\ {}^{\lambda}\Psi_{\vec{k}}^{j}(\vec{x}), (9)

defined on a dense grid with uniform spacing given by jmaxj_{\mathrm{max}}. However this discretization can be made sparse by leveraging the unique mapping between the wavelet indices and the NN-dimensional spatial coordinate of a collocation point in the domain given by ϑ:(j,λ,k)xN\vartheta:(j,\lambda,\vec{k})\rightarrow\vec{x}\in\mathbb{R}^{N}

xi\displaystyle x_{i} =ai+(2ki+bin(λ)i)biaip 2j+1.\displaystyle=a_{i}+(2k_{i}+\mathrm{bin}(\lambda)_{i})\frac{b_{i}-a_{i}}{p\ 2^{j+1}}. (10)

In the above, aia_{i} and bib_{i} are respectively the lower and upper bounds of the ithi^{\mathrm{th}} direction in the NN-dimensional finite domain. Additionally, bin(λ)i\mathrm{bin}(\lambda)_{i} corresponds to the ithi^{\mathrm{th}} bit of the binary representation of λ\lambda (e.g., in 3\mathbb{R}^{3}, bin(λ=6)=011\mathrm{bin}(\lambda=6)=011). The inverse mapping, ϑ1:xN(j,λ,k)\vartheta^{-1}:\vec{x}\in\mathbb{R}^{N}\rightarrow(j,\lambda,\vec{k}), requires first specifying jj, then λ\lambda, then k\vec{k}

j\displaystyle j =max(ji),withji=min({j[1,jmax]:xiaimodbiaip2j+1=0}),\displaystyle=\max\left(j_{i}\right),\qquad\mathrm{with}\qquad j_{i}=\min\left(\left\{j\in[1,j_{\mathrm{max}}]:x_{i}-a_{i}\bmod\frac{b_{i}-a_{i}}{p2^{j+1}}=0\right\}\right),
bin(λ)i\displaystyle\mathrm{bin}(\lambda)_{i} =(xiai)p2j+1biaimod2,\displaystyle=\frac{\left(x_{i}-a_{i}\right)p2^{j+1}}{b_{i}-a_{i}}\bmod 2,
ki\displaystyle k_{i} =(xiai)p2jbiaiλi2.\displaystyle=\frac{\left(x_{i}-a_{i}\right)p2^{j}}{b_{i}-a_{i}}-\frac{\lambda_{i}}{2}. (11)

Therefore, the omission of small wavelet coefficients on resolution levels j[1,jmax]j\in[1,j_{\mathrm{max}}] corresponds to the omission of collocation points in the computational domain and this procedure results in

fε(x)=ki[0,2p]𝕕k10Ψk10(x)+j=1jmaxλ=12N1k|𝕕|ε𝕕kjλΨkjλ(x),\displaystyle f_{\varepsilon}(\vec{x})=\sum_{k_{i}\in[0,2p]}{}^{0}\mathbb{d}_{\vec{k}}^{1}\ {}^{0}\Psi_{\vec{k}}^{1}(\vec{x})+\sum_{j=1}^{j_{\mathrm{max}}}\sum_{\lambda=1}^{2^{N}-1}\sum_{\begin{subarray}{c}\vec{k}\\ |\mathbb{d}|\geq\varepsilon\end{subarray}}{}^{\lambda}\mathbb{d}_{\vec{k}}^{j}\ {}^{\lambda}\Psi_{\vec{k}}^{j}(\vec{x}), (12)

defined on a sparse, multiresolution spatial discretization with a priori knowledge of the spatial error [85, 87, 95]

f(x)fε(x)𝒪(ε).\displaystyle||f(\vec{x})-f_{\varepsilon}(\vec{x})||_{\infty}\leq\mathcal{O}(\varepsilon). (13)

Using the Deslauriers-Dubuc wavelet family, the wavelet coefficients are mapped back to field values using the matrix operator \mathbbbB=\mathbbbF1\mathbbb{B}=\mathbbb{F}^{-1}, also defined in terms of the filter coefficients as described in [105, 106]. The structure of these matrices are similar to those used in [91, 107]. Though like [108], we modify these matrices near spatial boundaries to account for a finite domain.

The use of matrix operators presents the opportunity to replace the cumbersome notation of Eq. 12 with index notation and implied summation

fε(x)\displaystyle f_{\varepsilon}(\vec{x}) =\mathbbbdm1mN𝚿(x)m1mN,\displaystyle=\mathbbb{d}_{m_{1}\ldots\ m_{N}}\ \mathbf{\Psi}(\vec{x})_{m_{1}\ldots\ m_{N}}, (14)

where \mathbbbd\mathbbb{d} is an NN-dimensional array of wavelet coefficients and 𝚿(x)\mathbf{\Psi}(\vec{x}) is an NN-dimensional array of wavelet basis functions. Figure 1 illustrates \mathbbbd\mathbbb{d} in 22D and 33D settings and shows how the notation has been simplified in Eq. 14 as these arrays have a unique index m\vec{m} for every jj, λ\lambda, and k\vec{k} through the mapping

mi(j,λ,k)=ki+bin(λ)i×(p 2j+1).\displaystyle m_{i}(j,\lambda,\vec{k})=k_{i}+\mathrm{bin}(\lambda)_{i}\times(p\ 2^{j}+1). (15)
Refer to caption
Figure 1: Array of \mathbbbd\mathbbb{d} in 22D and 33D settings.

With x3\vec{x}\in\mathbb{R}^{3}, the 33D representation of f(x)f(\vec{x}) given by Eq. 8 and its inverse become

𝕕m1m2m3=𝔽m1n1𝔽m2n2𝔽m3n3fn1n2n3andfm1m2m3=𝔹m1n1𝔹m2n2𝔹m3n3𝕕n1n2n3,\displaystyle\mathbb{d}_{m_{1}m_{2}m_{3}}=\mathbb{F}_{m_{1}n_{1}}\ \mathbb{F}_{m_{2}n_{2}}\ \mathbb{F}_{m_{3}n_{3}}\ f_{n_{1}n_{2}n_{3}}\qquad\mathrm{and}\qquad f_{m_{1}m_{2}m_{3}}=\mathbb{B}_{m_{1}n_{1}}\ \mathbb{B}_{m_{2}n_{2}}\ \mathbb{B}_{m_{3}n_{3}}\ \mathbb{d}_{n_{1}n_{2}n_{3}}, (16)

on each level jj, where 𝒇\boldsymbol{f} is a 33D array of field values. The application of the \mathbbbF\mathbbb{F} operators is sometimes called a forward wavelet transform (FWT) or wavelet analysis, whereas application of the \mathbbbB\mathbbb{B} operators is sometimes called a backward wavelet transform (BWT) or wavelet synthesis [91, 109]. These matrices are sparse, banded, and constant in time. Due to these properties, the \mathbbbF\mathbbb{F} and \mathbbbB\mathbbb{B} matrices are never fully assembled, and only nonredundant nonzero entries are stored in memory. Therefore, the FWT and BWT operations have a matrix-free computational implementation.

2.3 Wavelet derivatives

Additionally, the evaluation of spatial derivatives must be defined in order to approximate the solution of PDEs. The Deslauriers-Dubuc wavelet family is continuous and differentiable, with the smoothness of the basis analyzed in [110] and summarized in [105, 106]. This continuity allows the spatial derivative operator to act directly on the basis functions

αxiαf(x)\displaystyle\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}f(\vec{x}) αxiα(\mathbbbdm1mN𝚿(x)m1mN)=\mathbbbdm1mNα𝚿(x)m1mNxiα.\displaystyle\approx\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}\bigg{(}\mathbbb{d}_{m_{1}\ldots\ m_{N}}\ \mathbf{\Psi}(\vec{x})_{m_{1}\ldots\ m_{N}}\bigg{)}=\mathbbb{d}_{m_{1}\ldots\ m_{N}}\frac{\partial^{\alpha}\mathbf{\Psi}(\vec{x})_{m_{1}\ldots\ m_{N}}}{\partial x_{i}^{\alpha}}. (17)

As in [79], we project the spatial derivative of the basis back onto the wavelet basis and this combination of differentiation and projection transforms Eq. 17 into

αxiαf(x)\displaystyle\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}f(\vec{x}) 𝔻m1mNn1nN(α,i)\mathbbbdn1nN𝚿(x)m1mN,\displaystyle\approx{}^{(\alpha,i)}\mathbb{D}_{m_{1}\ldots\ m_{N}}^{n_{1}\ldots\ n_{N}}\ \mathbbb{d}_{n_{1}\ldots\ n_{N}}\ \mathbf{\Psi}(\vec{x})_{m_{1}\ldots\ m_{N}}, (18)

where the operator \mathbbb(α,i)D{}^{(\alpha,i)}\mathbbb{D} is defined in terms of “connection coefficients” that result from evaluating the integral

𝔻λ,j,kβ,r,l(α,i)\displaystyle{}^{(\alpha,i)}\mathbb{D}_{\lambda,j,\vec{k}}^{\beta,r,\vec{l}} =αxiα(Ψlrβ(x))Ψ~kjλ(x)dx,\displaystyle=\int\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}\bigg{(}{}^{\beta}\Psi_{\vec{l}}^{r}(\vec{x})\bigg{)}\ {}^{\lambda}\widetilde{\Psi}_{\vec{k}}^{j}(\vec{x})\ \mathrm{d}\vec{x}, (19)

for all possible combinations of β,λ,r,j\beta,\lambda,r,j\in\mathbb{Z} present in the multidimensional wavelet discretization. Much like the integrals in Eq. 8, leveraging the properties of wavelet basis functions allows the integrals in Eq. 19 to be solved exactly and expressed in terms of eigenvector solutions and the four types of filter coefficients (i.e., h,h~,g,h,\ \widetilde{h},\ g, and g~\widetilde{g}). Application of the \mathbbb(α,i)D{}^{(\alpha,i)}\mathbbb{D} operator results in a discrete approximation of the αth\alpha^{\mathrm{th}} order derivative in the ii-direction with the spatial error

||αfxiα\displaystyle\bigg{|}\bigg{|}\frac{\partial^{\alpha}f}{\partial x_{i}^{\alpha}} αfjxiα||𝒪(ε1αp).\displaystyle-\frac{\partial^{\alpha}f_{j}}{\partial x_{i}^{\alpha}}\bigg{|}\bigg{|}_{\infty}\leq\mathcal{O}\left(\varepsilon^{1-\frac{\alpha}{p}}\right). (20)

Note that Eq. 20 reflects the error of the dense fjf_{j} discretization and not the sparse fεf_{\varepsilon} discretization since the derivation from [105] assumes a dense grid up to level jmaxj_{\mathrm{max}}. Details on how to apply the \mathbbb(α,i)D{}^{(\alpha,i)}\mathbbb{D} operator can be found in A. Much like the \mathbbbF\mathbbb{F} and \mathbbbB\mathbbb{B} operators, the \mathbbbD\mathbbb{D} operator is also sparse and constant in time. Therefore it too has a mostly matrix-free computational implementation which leverages recurrence patterns to compress the memory requirements.

2.4 Nonlinear operations

In order to numerically solve nonlinear PDEs, the discrete analogs of nonlinear operations must be well defined. This would be computationally expensive to perform in the wavelet representation because it requires a convolution operation. Instead, inspired by pseudo-spectral solvers, this work performs nonlinear operations point-wise in the physical domain. Specifically, for each nonlinear operation, a BWT maps the wavelet coefficients to their corresponding field values. Then, the nonlinear operation is approximated by acting on field values at each collocation point. Finally, a FWT of the result returns each collocation point to the wavelet domain. While this approach is more computationally efficient, it introduces aliasing errors. An estimate of the magnitude of such errors is provided in [95], where it is shown that this process approximates the product of fields, f(x)f(\vec{x}) and g(x)g(\vec{x}), with the spatial error

f(x)×g(x)fε(x)×gε(x)𝒪(ε).\displaystyle||f(\vec{x})\times g(\vec{x})-f_{\varepsilon}(\vec{x})\times g_{\varepsilon}(\vec{x})||_{\infty}\leq\mathcal{O}(\varepsilon). (21)

3 Multiresolution wavelet toolkit

This section outlines the multiresolution wavelet toolkit (MRWT), an algorithm designed to numerically approximate the solution to systems of nonlinear PDEs using a sparse discretization with adaptivity and error control. To illustrate the process, consider a general initial-boundary value problem on a finite domain Ω3\Omega\subset\mathbb{R}^{3}

ut\displaystyle\frac{\partial\vec{u}}{\partial t} =(x,t,u,αuxiα)inΩ×[0,T],\displaystyle=\mathcal{F}\left(\vec{x},t,\vec{u},\frac{\partial^{\alpha}\vec{u}}{\partial x_{i}^{\alpha}}\right)\ \mathrm{in}\ \Omega\times[0,T],
u\displaystyle\vec{u} ={u10,u20,u30}inΩ×(t=0),\displaystyle=\{u_{1}^{0},u_{2}^{0},u_{3}^{0}\}\ \mathrm{in}\ \Omega\times(t=0),
u\displaystyle\vec{u} =udonΩd×[0,T],\displaystyle=\vec{u}_{d}\ \mathrm{on}\ \partial\Omega_{d}\times[0,T],
αuxiα\displaystyle\frac{\partial^{\alpha}\vec{u}}{\partial x_{i}^{\alpha}} =unonΩn×[0,T].\displaystyle=\vec{u}_{n}\ \mathrm{on}\ \partial\Omega_{n}\times[0,T]. (22)

The order of the PDE sets requirements on the continuity of the wavelet basis, influencing the wavelet order pp. Once pp is set, fields and their spatial derivatives are projected onto the wavelet basis functions using Eq. 14 and Eq. 18. During this initialization phase, MRWT precomputes the nonredundant entries in the \mathbbbF\mathbbb{F}, \mathbbbB\mathbbb{B}, and \mathbbb(α,i)D{}^{(\alpha,i)}\mathbbb{D} operators. This process transforms the nonlinear PDE into a nonlinear ODE

duεdt=ε(x,t,uε).\displaystyle\frac{\mathrm{d}\vec{u}_{\varepsilon}}{\mathrm{d}t}=\mathcal{F}_{\varepsilon}\left(\vec{x},t,\vec{u}_{\varepsilon}\right). (23)

Each scalar component of the initial condition (i.e., u10u_{1}^{0}, u20u_{2}^{0}, and u30u_{3}^{0}) is projected individually onto the wavelet basis one resolution level at a time, starting from the coarsest resolution. All wavelet coefficients on j=1j=1 are calculated and each point of type λ=0\lambda=0 or with a magnitude greater than or equal to a user-prescribed threshold ε\varepsilon is deemed essential. The set of essential points for a particular scalar (e.g., u1u_{1}) is defined by

𝔼={xΩ:[|𝕕k10()|0|𝕕kjλ()|ε],j[1,jmax],λ[1,7],k},\displaystyle\mathbb{E}_{\bullet}=\left\{\vec{x}\in\Omega:\left[\left|{}^{0}\mathbb{d}_{\vec{k}}^{1}(\bullet)\right|\geq 0\;\vee\;\left|{}^{\lambda}\mathbb{d}_{\vec{k}}^{j}(\bullet)\right|\geq\varepsilon\right],\;j\in[1,j_{\mathrm{max}}],\;\lambda\in[1,7],\;\vec{k}\in\mathbb{Z}\right\}, (24)

where \bullet is a marker for a particular scalar field. The set 𝔼\mathbb{E}_{\bullet} is populated on higher resolution levels through exploring spatial regions near the already discovered essential points. Identifying and calculating all essential points for a particular scalar creates a sparse multiresolution spatial discretization without generating dense grids of uniform spacing. This process is repeated for each scalar component of the initial condition (i.e., 𝔼u1\mathbb{E}_{u_{1}}, 𝔼u2\mathbb{E}_{u_{2}}, and 𝔼u3\mathbb{E}_{u_{3}}). Furthermore, according to Eq. 13, the spatial accuracy of the initial condition is known a priori to be 𝒪(ε)\mathcal{O}\left(\varepsilon\right).

Since the solution of the PDE may advect and evolve over time, the points which are presently essential 𝔼n\mathbb{E}^{n} (where nn is the current time step) may not be same collection of points which are essential in future times (e.g., 𝔼n+1\mathbb{E}^{n+1}). Therefore, MRWT uses a predictor-corrector strategy to predict where new collocation points will be required and corrects that prediction during temporal integration until the necessary grid is obtained at each time step. A trial grid is defined for each scalar by including points in the neighborhood of that scalar’s essential points such that

𝕋\displaystyle\mathbb{T}_{\bullet} =y𝔼{xΩ:|yixi|<biaip 2r,i[1,3],j[r,min(r+1,jmax)]},\displaystyle=\bigcup_{\forall\vec{y}\in\mathbb{E}_{\bullet}}\left\{\vec{x}\in\Omega:\left|y_{i}-x_{i}\right|<\frac{b_{i}-a_{i}}{p\ 2^{r}},\;i\in[1,3],\;j\in[r,\min(r+1,j_{\mathrm{max}})]\right\}, (25)

where the level rr is obtained from the coordinate of the essential point y𝔼\vec{y}\in\mathbb{E}_{\bullet} using the inverse mapping from Section 2.2.

Next, the \mathbbb(α,i)D{}^{(\alpha,i)}\mathbbb{D} operator is used to identify which points influence the derivative calculations at each point in the trial grid 𝕋\mathbb{T}. As shown in A, the wavelet derivative operator is a multiresolution weighted sum. Calculating a wavelet coefficient corresponding to a spatial derivative on resolution level rr will involve contractions with points below, above, and on level rr. However, because the grid is sparse, many of the collocation points involved in the application of the \mathbbb(α,i)D{}^{(\alpha,i)}\mathbbb{D} operator, given by Eq. 19 may be absent. This affects the validity of the error estimate in Eq. 20 as its derivation assumes complete stencils on each resolution level with fj(x)f_{j}(\vec{x}) given by Eq. 9. Since attempting to complete stencils on all levels j[1,jmax]j\in[1,j_{\mathrm{max}}] for all points would lead to dense grids of uniform spacing (i.e., fj(x)f_{j}(\vec{x}) in Eq. 9), the MRWT algorithm completes derivative stencils for each point in each scalar’s trial grid up to its own level rr according to

𝔾\displaystyle\mathbb{G}_{\bullet} =y𝕋{xΩ:[x=y|𝔻r,lj,kβλ|>0],jr,λ[0,7],k},\displaystyle=\bigcup_{\forall\vec{y}\in\mathbb{T}_{\bullet}}\left\{\vec{x}\in\Omega:\left[\vec{x}=\vec{y}\;\vee\;\left|{}^{\lambda}_{\beta}\mathbb{D}^{j,\vec{k}}_{r,\vec{l}}\right|>0\right],\;j\leq r,\;\lambda\in[0,7],\;\vec{k}\in\mathbb{Z}\right\}, (26)

where the type β\beta, level rr, and index l\vec{l} are obtained from the coordinate of the point y𝕋\vec{y}\in\mathbb{T}_{\bullet} using the inverse mapping from Section 2.2.

For each scalar in the system of PDEs, the algorithm constructs 𝔼𝕋𝔾\mathbb{E}_{\bullet}\subset\mathbb{T}_{\bullet}\subset\mathbb{G}_{\bullet} and the sparse multiresolution computational grid defined by 𝔾=𝔾u1𝔾u2𝔾u3\mathbb{G}=\mathbb{G}_{u_{1}}\cup\mathbb{G}_{u_{2}}\cup\mathbb{G}_{u_{3}}. The grid, 𝔾\mathbb{G}_{\bullet} contains all of the collocation points that are required to resolve that particular field and its derivatives at discrete times nn and n+1n+1, with the spatial accuracy bound by Eqs. 13 and 21 and approximated by Eq. 20. However, due to overlap between the sets from different scalars, the computational grid may contain more data than is needed for a given scalar. This is corrected by zeroing extraneous coefficient values

𝕕kjλ()=0x𝔾𝔾,\displaystyle{}^{\lambda}\mathbb{d}_{\vec{k}}^{j}(\bullet)=0\;\forall\ \vec{x}\in\mathbb{G}\setminus\mathbb{G}_{\bullet}, (27)

where the type λ\lambda, level jj, and index k\vec{k} are obtained from the coordinate of the point x\vec{x} using the inverse mapping from Section 2.2. Equations 24, 25, 26 and 27 completely define the spatial discretization used to solve systems of nonlinear PDEs. Leveraging wavelet theory from Section 2 to construct the sets 𝔼,𝕋,\mathbb{E},\mathbb{T}, and 𝔾\mathbb{G} using the wavelet derivative operator 𝔻\mathbb{D} is one of the novelties of our work. As we show later, this grid construction is necessary to control the spatial accuracy.

An explicit, embedded, Runge-Kutta time integration scheme [111] is used to progress the solution from the time step nn to a trial time step (n+1)(n+1)^{*}. This converts the ODE in Eq. 23 into a system of algebraic equations which update uεn\vec{u}_{\varepsilon}^{\ n} to the trial time step uε(n+1)\vec{u}_{\varepsilon}^{\ (n+1)^{*}} while providing an estimate of the temporal error and adjusting the time-step size Δt\Delta t such that the temporal error is less than the user prescribed value. In this work, we set the tolerance to be an order of magnitude less than the spatial error epsilon (i.e., tol=ε/10\mathrm{tol}=\varepsilon/10) and adapt the time-step size according to

Δtnew=Δt(toluK+1n+1uKn+1)1K+1,\displaystyle\Delta t_{\mathrm{new}}=\Delta t\left(\frac{\mathrm{tol}}{\|\vec{u}^{\ n+1}_{K+1}-\vec{u}^{\ n+1}_{K}\|_{\infty}}\right)^{\frac{1}{K+1}}, (28)

where KK is the order of the method used to advance n(n+1)n\rightarrow(n+1)^{*}. Furthermore, similar to the work done by [112], we prevent the time-step size from varying too abruptly by bounding the suggested Δtnew\Delta t_{\mathrm{new}} such that

Δt10%ΔtΔtnewΔt+0.1%Δt.\displaystyle\Delta t-10\%\Delta t\leq\Delta t_{\mathrm{new}}\leq\Delta t+0.1\%\Delta t. (29)

At each intermediate stage of the Runge-Kutta integration, no boundary conditions are enforced in order to preserve high order temporal convergence [113]. At the final stage of the Runge-Kutta integration, once the PDE solution has evolved to the trial time (n+1)(n+1)^{*}, boundary conditions are enforced directly (i.e., for Dirichlet data) or by using the penalty formulation [114] that will modify Eq. 23 on the boundary (i.e., for Dirichlet and/or Neumann data).

The magnitudes of the wavelet coefficients at the new time will determine if the grid prediction must be corrected. A list of corrections is defined as the set difference between the essential points at the trial time step and the essential points at the current time

n\displaystyle\mathbb{C}^{n} =𝔼(n+1)𝔼n,\displaystyle=\mathbb{E}^{(n+1)^{*}}\ \setminus\ \mathbb{E}^{n}, (30)

If the list of corrections contains any points then these corrections are added to the list of existing essential points

𝔼n=𝔼nn.\displaystyle\mathbb{E}^{n}=\mathbb{E}^{n}\ \cup\ \mathbb{C}^{n}. (31)

In this case, the trial time step is discarded and the computational grid at time step nn is supplemented with new collocation points to obtain new 𝕋n\mathbb{T}^{n}_{\bullet} and new 𝔾n\mathbb{G}^{n}_{\bullet} according to Eqs. 25 and 26. The value of the wavelet coefficients stored at these new points is set to zero at time step nn. After correcting the grid, a new trial time step is performed and Eqs. 30 and 31 are re-evaluated. This process of predicting and correcting is repeated iteratively until the list of corrections is an empty set. This grows the sparse computational grid as it evolves with the solution of the PDE such that the spatial error is bounded by Eqs. 13 and 21 and approximated by Eq. 20 at each time step.

When the trial time step is accepted (i.e., \mathbbbdn+1=\mathbbbd(n+1)\mathbbb{d}^{n+1}=\mathbbb{d}^{(n+1)^{*}}) some wavelet coefficients are no longer needed. Collocation points at the new time are retained only if they are deemed essential (i.e., Eq. 24), part of the trial grid (i.e., Eq. 25), or needed to complete the derivative stencil (i.e., Eq. 26). This procedure prunes the sparse computational grid as it evolves with the solution of the PDE.

MRWT has been implemented as a hybrid MPI+OpenMP framework using modern C++. The multidimensional sparse geometry is stored in sorted coordinate-object format (COO) and is replicated across ranks. Corresponding collocated scalar field data is distributed linearly across ranks and stored in struct-of-array form. This design permits temporal and spatial locality for sparse stencil contractions as well as vectorizable data parallelism for point-wise, right-hand-side kernels. The predictor-corrector algorithm performs bulk insertion and deletion of points relatively infrequently resulting in periodic merge and sort operations. Communication includes both point-to-point messaging and global collectives, and rebalancing is performed after each time step in which the geometry changes. The \mathbbbF\mathbbb{F} and \mathbbbB\mathbbb{B} stencil operators are matrix-free while \mathbbb(α,i)D{}^{(\alpha,i)}\mathbbb{D} is optimally compressed (i.e., the operator is precomputed, stored sparsely, and its evaluation is carefully scheduled to amortize costs). Preliminary scaling results for the framework appear in B.

3.1 Code verification

Suppose the generic initial-boundary value problem in Section 3, is specified to be the nonlinear quasi-22D Burgers’ equation

ut+(u+c)[ux1cos(θ)+ux2sin(θ)]\displaystyle\frac{\partial u}{\partial t}+(u+c)\left[\frac{\partial u}{\partial x_{1}}\cos{(\theta)}+\frac{\partial u}{\partial x_{2}}\sin{(\theta)}\right] =ν[2ux12cos(θ)2+2ux1x2sin(2θ)+2ux22sin(θ)2],\displaystyle=\nu\left[\frac{\partial^{2}u}{\partial x_{1}^{2}}\cos{{}^{2}(\theta)}+\frac{\partial^{2}u}{\partial x_{1}\partial x_{2}}\sin{(2\theta)}+\frac{\partial^{2}u}{\partial x_{2}^{2}}\sin{{}^{2}(\theta)}\right], (32)

where θ\theta is a specified constant angle of rotation, projecting the 11D Burgers’ equation into a second spatial dimension. Two analytical solutions exist distinguished by their initial conditions and the value of cc. In both cases, the boundary conditions are Dirichlet defined by the respective analytical solutions with the following parameters

x\displaystyle\vec{x} [1,1]2,\displaystyle\in[-1,1]^{2}, t\displaystyle t [0,1/2],\displaystyle\in[0,1/2], θ\displaystyle\theta [0,π/2],\displaystyle\in[0,\pi/2], ν\displaystyle\nu =102.\displaystyle=10^{-2}. (33)

First, for c=0c=0

u0\displaystyle u_{0} =sin(x1πcosθ+x2πsinθ),\displaystyle=-\sin{(x_{1}\pi\cos{\theta}+x_{2}\pi\sin{\theta})},
u(x,t)\displaystyle u(\vec{x},t) =sin(πx1cos(θ)+πx2sin(θ)πη)exp(cos(πx1cos(θ)+πx2sin(θ)πη)2πν)exp(η24νt)dηexp(cos(πx1cos(θ)+πx2sin(θ)πη)2πν)exp(η24νt)dη.\displaystyle=-\frac{\int\sin(\pi x_{1}\cos(\theta)+\pi x_{2}\sin(\theta)-\pi\eta)\ \exp\left(\frac{-\cos(\pi x_{1}\cos(\theta)+\pi x_{2}\sin(\theta)-\pi\eta)}{2\pi\nu}\right)\ \exp\left(\frac{-\eta^{2}}{4\nu t}\right)\mathrm{d}\eta}{\int\exp\left(\frac{-\cos(\pi x_{1}\cos(\theta)+\pi x_{2}\sin(\theta)-\pi\eta)}{2\pi\nu}\right)\ \exp\left(\frac{-\eta^{2}}{4\nu t}\right)\mathrm{d}\eta}. (34)

The MRWT solution of Section 3.1 can be obtained at early times with a coarse grid, but requires increasingly higher resolution as the gradients become more extreme over time. This formulation verifies MRWT’s ability to dynamically refine the sparse multiresolution spatial discretization.

Alternatively, for c0c\neq 0

u0\displaystyle u_{0} =tanh[((x1+0.5)cosθ+(x2+0.5)sinθ)/2ν],\displaystyle=-\tanh{[((x_{1}+0.5)\cos{\theta}+(x_{2}+0.5)\sin{\theta})/2\nu]},
u(x,t)\displaystyle u(\vec{x},t) =tanh((x1+0.5)cos(θ)+(x2+0.5)sin(θ)ct2ν).\displaystyle=-\tanh{\left(\frac{(x_{1}+0.5)\cos{(\theta)}+(x_{2}+0.5)\sin{(\theta)}-ct}{2\nu}\right)}. (35)

The MRWT solution of Section 3.1 requires high resolution only in the vicinity of the steep feature that advects through the spatial domain over time. This formulation verifies MRWT’s ability to insert and remove collocation points to resolve evolving features (e.g., shocks).

The MRWT algorithm has been used with the embedded 𝒪(Δt4)\mathcal{O}(\Delta t^{4}) and 𝒪(Δt5)\mathcal{O}(\Delta t^{5}) explicit Runge-Kutta method developed in [111] to solve Eq. 32 for a variety of angles θ\theta. The numerical solution has been compared to the analytical solutions from Sections 3.1 and 3.1 to evaluate the error at each time step. Figure 2 shows that the error in the solution is bounded regardless of the angle θ\theta and the error is comparable to the one-dimensional analog of Eq. 32. Note that there is no distinction in the measured errors between the 00^{\circ} and 9090^{\circ} or the 3030^{\circ} and 6060^{\circ} rotations, since these solutions are reflections across the x1=x2x_{1}=x_{2} plane.

Refer to caption Refer to caption
(a) (b)
Figure 2: Spatial accuracy over time for the 22D Burgers’ equation with p=6p=6, ε=102\varepsilon=10^{-2}, and a variety of θ\theta angles using (a) c=0c=0 and (b) c=2c=2.

Additionally, the solution to both versions of Eq. 32 with θ=30\theta=30^{\circ}, p=6p=6, and ε=102\varepsilon=10^{-2} is shown at various times in Fig. 3 demonstrating that the sparse dynamically adaptive grid provides resolution only where and when it is needed to track features as they develop or move through the domain.

Refer to caption Refer to caption
(a) (b)
Refer to caption Refer to caption
(c) (d)
Figure 3: MRWT solution and sparse multiresolution grid for the 22D Burgers’ equation with c=0c=0 on the left and c=2c=2 on the right. Additionally, θ=30\theta=30^{\circ}, p=6p=6, and ε=102\varepsilon=10^{-2} at: (a) & (b) t=0t=0 s and (c) & (d) t=12t=\frac{1}{2} s. The grid points are colored according to their resolution level jj. The reader is referred to the online version of this article for clarity regarding the color in this figure.

Furthermore, the analytical solutions of Sections 3.1 and 3.1 have been used to evaluate the error and corresponding convergence rate of the algorithm by solving Eq. 32 for a range of ε\varepsilon and pp values. Figure 4 shows the convergence rates calculated half-way through the simulation time with θ=30\theta=30^{\circ}, which are in agreement with the theoretical estimates from Eqs. 13, 21 and 20. In particular, the order of error for the nonlinear PDE should be between 𝒪(ε1αp)\mathcal{O}(\varepsilon^{1-\frac{\alpha}{p}}) and 𝒪(ε)\mathcal{O}(\varepsilon). Results presented in Fig. 4 retain these properties.

Refer to caption Refer to caption
(a) (b)
Figure 4: Spatial convergence rates for the 22D Burgers’ equation with θ=30\theta=30^{\circ} using a variety of pp and ε\varepsilon with (a) c=0c=0 and (b) c=2c=2.

In order to test MRWT’s ability to solve systems of equations, canonical Navier-Stokes examples such as the Sod shock tube and a Taylor-Sedov blast wave have been presented in [105, 106, 115]. C contains analysis of 11D, 22D, and 33D simulations of the Taylor-Sedov blast wave. Additional verification of the MRWT algorithm is provided by comparing the location of the simulated shock wave to the theoretical prediction from [116].

4 Nonlinear dynamic damage modeling

Having verified the mathematical correctness of the MRWT algorithm, we now demonstrate the multiscale capabilities by modeling high-strain rate damage nucleation and propagation in nonlinear solids. The following subsections will outline the continuum formulation of finite strain kinematics and the constitutive description provided by damage mechanics. Since this work leverages wavelet basis functions for the computational implementation, all governing equations will be defined in the Eulerian frame.

4.1 Governing equations

Let a body in a reference configuration 03\mathcal{B}_{0}\subset\mathbb{R}^{3} be defined by a continuum of material points (i.e., particles X0\vec{X}\in\mathcal{B}_{0}). After some time t[0,T]t\in[0,T], the body is in a deformed configuration where φ:0×[0,T]3\varphi:\mathcal{B}_{0}\times[0,T]\rightarrow\mathbb{R}^{3} defines the motion that maps particles to their positions x=φ(X,t)\vec{x}=\varphi(\vec{X},t) (i.e., places) in the current configuration (t)=φ(0,t)\mathcal{B}(t)=\varphi(\mathcal{B}_{0},t). The mechanical effects are governed by the conservation of linear momentum in the Eulerian frame Ω(t)3\Omega\subset\mathcal{B}(t)\subset\mathbb{R}^{3}

ρv˙\displaystyle\rho\dot{\vec{v}} =𝝈+ρb,inΩ×[0,T],\displaystyle=\nabla\cdot\boldsymbol{\sigma}+\rho\vec{b},\ \mathrm{in}\ \Omega\times[0,T],
v\displaystyle\vec{v} =v0inΩ×(t=0),\displaystyle=\vec{v}_{0}\ \mathrm{in}\ \Omega\times(t=0),
v\displaystyle\vec{v} =vdonΩd×[0,T],\displaystyle=\vec{v}_{d}\ \mathrm{on}\ \partial\Omega_{d}\times[0,T],
αvxiα\displaystyle\frac{\partial^{\alpha}\vec{v}}{\partial x_{i}^{\alpha}} =vnonΩn×[0,T],\displaystyle=\vec{v}_{n}\ \mathrm{on}\ \partial\Omega_{n}\times[0,T], (36)

where ρ(x,t)\rho(\vec{x},t) is the density, 𝝈(x,t)\boldsymbol{\sigma}(\vec{x},t) is the Cauchy stress tensor, and b(x,t)\vec{b}(\vec{x},t) is a body force per unit mass.

Inspired by the reference map technique [38], the inverse mapping X=φ1(x,t)\vec{X}=\varphi^{-1}(\vec{x},t) is used to determine which particles occupy specified spatial coordinates (i.e., places x\vec{x}). However, instead of keeping track of the reference map φ1(x,t)\varphi^{-1}(\vec{x},t) directly, we model the displacement u(x,t)=xX\vec{u}(\vec{x},t)=\vec{x}-\vec{X}, and like in [38] we derive the associated evolution equation from X˙=0\dot{\vec{X}}=\vec{0}

u˙\displaystyle\dot{\vec{u}} =v,inΩ×[0,T],\displaystyle=\vec{v},\ \mathrm{in}\ \Omega\times[0,T],
u\displaystyle\vec{u} =u0inΩ×(t=0),\displaystyle=\vec{u}_{0}\ \mathrm{in}\ \Omega\times(t=0),
u\displaystyle\vec{u} =udonΩd×[0,T],\displaystyle=\vec{u}_{d}\ \mathrm{on}\ \partial\Omega_{d}\times[0,T],
αuxiα\displaystyle\frac{\partial^{\alpha}\vec{u}}{\partial x_{i}^{\alpha}} =unonΩn×[0,T].\displaystyle=\vec{u}_{n}\ \mathrm{on}\ \partial\Omega_{n}\times[0,T]. (37)

To finalize the Lagrangian-Eulerian coupling of Sections 4.1 and 4.1, we use the conservation of mass in the Lagrangian frame

ρ\displaystyle\rho =ρ0J,inΩ0×[0,T],\displaystyle=\frac{\rho_{0}}{\mathrm{J}},\mathrm{in}\ \Omega_{0}\times[0,T], (38)

where ρ0(X)\rho_{0}(\vec{X}) is the density in the reference configuration, J(X,t)=1/det𝐟\mathrm{J}(\vec{X},t)=1/\det{\mathbf{f}} is the Jacobian of the deformation, 𝐟(x,t)=𝟏u\mathbf{f}(\vec{x},t)=\boldsymbol{1}-\nabla\vec{u} is the inverse deformation gradient, and 𝟏\boldsymbol{1} is the second order identity tensor.

4.2 Constitutive theory

The constitutive relations are derived from a thermodynamically consistent description with an energy-based isotropic damage model, applicable under finite strains. In this work, the following potentials describe the strain energy density (per reference volume) and the Helmholtz specific energy

W(ω,𝒃)\displaystyle W(\omega,\boldsymbol{b}) =(1ω)[κ2(e(J1)ln(J)1)volumetric+μ2(J23tr(𝒃)3)deviatoric],\displaystyle=(1-\omega)\left[\underbrace{\frac{\kappa}{2}\left(e^{(\mathrm{J}-1)}-\ln(\mathrm{J})-1\right)}_{\text{volumetric}}+\underbrace{\frac{\mu}{2}\left(\mathrm{J}^{-\frac{2}{3}}\mathrm{tr}(\boldsymbol{b})-3\right)}_{\text{deviatoric}}\right], ψ(ω,𝒃)\displaystyle\psi(\omega,\boldsymbol{b}) =1ρ0W(ω,𝒃),\displaystyle=\frac{1}{\rho_{0}}W(\omega,\boldsymbol{b}), (39)

where 𝒃(x,t)\boldsymbol{b}(\vec{x},t) is the left Cauchy-Green strain tensor defined through its inverse 𝒃1(x,t)=𝐟T𝐟\boldsymbol{b}^{-1}(\vec{x},t)=\mathbf{f}^{T}\mathbf{f}, κ\kappa is the bulk modulus, μ\mu is the shear modulus, and ω[0,1]\omega\in[0,1] is the scalar damage variable.

Neglecting all but mechanical effects, the second Law of Thermodynamics has the form

ρψ˙𝝈:v0.\displaystyle\rho\dot{\psi}-\boldsymbol{\sigma}:\nabla\vec{v}\leq 0. (40)

Combining Eq. 40 with Eq. 39 yields

𝒟ω=Yω˙\displaystyle\mathcal{D}_{\omega}=Y\ \dot{\omega} 0,\displaystyle\geq 0, 𝝈\displaystyle\boldsymbol{\sigma} =2ρψ𝒃𝒃,\displaystyle=2\rho\frac{\partial\psi}{\partial\boldsymbol{b}}\cdot\boldsymbol{b}, (41)

where Y(x,t)=ρψ/ωY(\vec{x},t)=-\rho\ \partial\psi/\partial\omega is the damage energy release rate (thermodynamic force conjugate to the damage variable ω\omega) and 𝒟ω\mathcal{D}_{\omega} is the damage dissipation. From Eqs. 39 and 41 the Cauchy stress becomes

𝝈\displaystyle\boldsymbol{\sigma} =(1ω)[κ2(e(J1)1J)𝟏+μJ5/3𝒃],\displaystyle=(1-\omega)\ \left[\frac{\kappa}{2}\left(e^{(\mathrm{J}-1)}-\frac{1}{\mathrm{J}}\right)\boldsymbol{1}+\mu\ \mathrm{J}^{-5/3}\ \boldsymbol{b}^{\prime}\ \right], (42)

where 𝒃(x,t)\boldsymbol{b}^{\prime}(\vec{x},t) is the deviatoric part of 𝒃(x,t)\boldsymbol{b}(\vec{x},t).

The evolution of the damage variable ω\omega is derived in a similar fashion as in plasticity, [62, 39, 64, 40, 41, 63] First, an energy-based damage criterion is defined by

g(Y,χ)\displaystyle g(Y,\chi) =G(Y)χ0.\displaystyle=G(Y)-\chi\leq 0. (43)

The internal state variable χ[0,1]\chi\in[0,1] sets the threshold for how much energy is required in order to increase the amount of damage in the material. The function G(Y)[0,1]G(Y)\in[0,1] models the damage process. In this work, it is defined as the Weibull distribution

G(Y)\displaystyle G(Y) =1exp[(YYinp1Yin)p2],\displaystyle=1-\exp{\left[-\left(\frac{Y-Y_{\mathrm{in}}}{p_{1}Y_{\mathrm{in}}}\right)^{p_{2}}\right]}, (44)

though alternative definitions are admissible (e.g., [6, 117, 42, 43]). The material parameter YinY_{\mathrm{in}} is the energy barrier required to initiate damage and the parameters p1p_{1} and p2p_{2} are scale and shape parameters, which facilitate modeling a wide range of material behaviors.

The irreversible dissipative damage evolves according to two evolution equations

ω˙\displaystyle\dot{\omega} =ϰ˙dG(Y)dY,\displaystyle=\dot{\varkappa}\frac{\mathrm{d}G(Y)}{\mathrm{d}Y}, χ˙\displaystyle\dot{\chi} =ϰ˙dG(Y)dY,\displaystyle=\dot{\varkappa}\frac{\mathrm{d}G(Y)}{\mathrm{d}Y}, (45)

where ϰ˙=Y˙\dot{\varkappa}=\dot{Y} is a damage consistency parameter determined by enforcing the consistency condition g˙=0\dot{g}=0. The damage loading and unloading are described by the Kuhn-Tucker complimentary conditions

ϰ˙\displaystyle\dot{\varkappa} 0,\displaystyle\geq 0, g(Y,χ)\displaystyle g(Y,\chi) 0,\displaystyle\leq 0, ϰ˙g(Y,χ)\displaystyle\dot{\varkappa}\ g(Y,\chi) =0.\displaystyle=0. (46)

There are well-posedness and uniqueness problems associated with Eq. 45 which lead to numerical results that do not converge with respect to the spatial discretization. In order to maintain material ellipticity, nonlocal models [9] or viscous regularization [118] can be introduced. In this work, a rate dependent viscous damage model is obtained by replacing Eq. 45 with

ω˙\displaystyle\dot{\omega} =μωϕ(g),\displaystyle=\mu_{\omega}\ \langle\phi(g)\rangle, χ˙\displaystyle\dot{\chi} =μωϕ(g),\displaystyle=\mu_{\omega}\ \langle\phi(g)\rangle, (47)

where μω\mu_{\omega} is the damage viscosity, ϕ(g)\phi(g) is the damage flow function, and \langle\bullet\rangle are McAuley brackets. Assuming a linear flow function (i.e., ϕ(g)=g\phi(g)=g), the Eulerian description for the damage evolution equations becomes

ωt\displaystyle\frac{\partial\omega}{\partial t} =ωv+μωG(Y)χ,\displaystyle=-\nabla\omega\cdot\vec{v}+\mu_{\omega}\ \langle G(Y)-\chi\rangle, χt\displaystyle\frac{\partial\chi}{\partial t} =χv+μωG(Y)χ.\displaystyle=-\nabla\chi\cdot\vec{v}+\mu_{\omega}\ \langle G(Y)-\chi\rangle. (48)

This Eulerian-Lagrangian continuum model for the high-strain rate damage and its numerical implementation using the wavelet solver described in Section 3 is one of the novelties of this work.

5 Numerical results

This section presents results from modeling high-strain rate damage under finite strains using equations from Section 4 and the numerical method from Section 3. Specifically Sections 4.1 and 4.1 model the motion of material in the Eulerian frame, Eq. 38 provides a kinematically consistent density, and is closed by the stress description in Eq. 42 and the damage evolution in Eq. 48. Table 2 lists the parameters used to model PMMA [119] with a peak stress σmax100\sigma_{\mathrm{max}}\approx 100 MPa and an energy release rate GI350G_{I}\approx 350 J/m2. These values are consistent with experimental measurements provided in [120]. We note that the viscous damage model introduces the characteristic damage length scale lωcl/μωl_{\omega}\propto c_{l}/\mu_{\omega}, where cl=E/ρ0c_{l}=\sqrt{E/\rho_{0}} is the longitudinal wave speed and EE is Young’s modulus [41, 63]. In this work, we set the damage viscosity μω\mu_{\omega} such that the damage length scale is consistent with material data (i.e., lω𝒪(100μl_{\omega}\approx\mathcal{O}(100\mum)) [121].

Table 2: Model parameters for dynamic damage of PMMA.
Variable Name Value
ρ0\rho_{0} Density 1183kg/m31183\ \mathrm{kg/m}^{3}
κ\kappa Bulk modulus 5.86GPa5.86\ \mathrm{GPa}
μ\mu Shear modulus 2.29GPa2.29\ \mathrm{GPa}
μω\mu_{\omega} Damage viscosity 107 1/s10^{7}\ \mathrm{1/s}
YinY_{\mathrm{in}} Initiation threshold 6×104J/m36\times 10^{4}\ \mathrm{J/m}^{3}
p1p_{1} Scale parameter 3030
p2p_{2} Shape parameter 1.011.01

Figure 5 shows the rate-dependant stress-strain response using material parameters from Table 2 in a uniaxial tension setting. These results are consistent with experimental measurements of PMMA exhibiting higher peak tensile strength under dynamic loading [122] with strain rate effects [123].

Refer to caption
Figure 5: Stress-strain response under uniaxial tension for a variety of strain rates.

A model of mode-I fracture under plane-strain deformation is defined through the initial conditions

v(x,0)\displaystyle\vec{v}(\vec{x},0) ={0,ϵ˙x2,0},\displaystyle=\{0,\dot{\epsilon}\ x_{2},0\}, u(x,0)\displaystyle\vec{u}(\vec{x},0) =0,\displaystyle=\vec{0}, ρ(x,0)\displaystyle\rho(\vec{x},0) =ρ0,\displaystyle=\rho_{0}, (49)

with a high strain rate of ϵ˙=5,000\dot{\epsilon}=5,000 s-1. Figure 6 depicts the Eulerian domain, defined by a 22 cm square, containing an initial flaw proportional to the characteristic length of viscous damage (i.e., 𝒪(100μ\mathcal{O}(100\ \mum)).

Refer to caption
Figure 6: Initial conditions for plane-strain mode-I damage modeling in the Eulerian frame.

In this example, the sparse multiresolution spatial discretization was restricted to no more than J=14J=14 resolution levels which provides continuous resolution between 𝒪(100nm)\mathcal{O}(100\ \mathrm{nm}) on the finest level and 𝒪(1cm)\mathcal{O}(1\ \mathrm{cm}) on the overall domain (i.e., 𝒪(105)\mathcal{O}(10^{5}) range of length-scales). This range of spatial resolution is impressive in the context of damage simulations as many other solution strategies are either limited to small domains or discretize on a scale that is unable to resolve the characteristic crack thickness (e.g., typical simulations have a range of length-scales around 𝒪(101)\mathcal{O}(10^{1}) [124, 125] or 𝒪(102)\mathcal{O}(10^{2}) [126, 41, 63]).

The remaining figures in this section display simulation results only on the half-domain, obtained from running on 960960 cores. While the embedded Runge-Kutta temporal integration provides a dynamic time-step size according to Eqs. 28 and 29, in general Δt𝒪(1011s)\Delta t\approx\mathcal{O}(10^{-11}\ \mathrm{s}) requiring approximately 200200 thousand time steps was used to reach 2μ2\ \mus. As shown in Fig. 7, our algorithm adaptively provides resolution only where it is needed as defined by the user-prescribed ε\varepsilon threshold parameters, which for all results in this section are

εω\displaystyle\varepsilon_{\omega} =εχ=103,\displaystyle=\varepsilon_{\chi}=10^{-3}, εu\displaystyle\varepsilon_{\vec{u}} =107μm,\displaystyle=10^{-7}\ \mu\mathrm{m}, εv\displaystyle\varepsilon_{\vec{v}} =102m/s.\displaystyle=10^{-2}\ \mathrm{m/s}. (50)

The MRWT discretization provides dynamic compression of the solution to the PDE. For example, with p=6p=6 the initial condition is discretized on a sparse grid of 35,68935,689 collocation points on the full domain, whereas a uniform grid with J=14J=14 resolution levels would have 38,655,098,88138,655,098,881 points. Furthermore, this extreme compression continues throughout the simulation where after 2μ2\ \mus of deformation, our sparse multiresolution discretization contains only 810,633810,633 collocation points on the full domain.

Refer to caption
Figure 7: Sparse multiresolution spatial discretization at t=0st=0\ \mathrm{s}, demonstrating the multiscale capability of MRWT. Note that only half of the domain is shown.

The deformation around the initial flaw induces strain localization as exhibited by the concentrated displacement in Fig. 8. Note that the background displacement of mode-I opening (i.e., u2bgv20×tu_{2}^{\mathrm{bg}}\approx v_{2}^{0}\times t) is subtracted from the u2u_{2} component of displacement to reveal solution features (e.g., pronounced displacement of material points in the vicinity of the flaw).

Refer to caption Refer to caption
(a) (b)
Figure 8: Components (a) uxu_{x} and (b) uyu_{y} of the displacement vector at t=2.0μt=2.0\ \mus .

Figure 9 illustrates the dynamics of this process with significant spikes in the velocity field (e.g., 𝒪(1)m/s\mathcal{O}(1)\ \mathrm{m/s}) over a very small region (e.g., 𝒪(105)m\mathcal{O}(10^{-5})\ \mathrm{m}). Again, the background velocity of mode-I opening (i.e. v2bgv20v_{2}^{\mathrm{bg}}\approx v_{2}^{0}) is subtracted from the v2v_{2} component of velocity to reveal solution features (e.g., symmetric local maxima/minima above/below the damage profile).

Refer to caption Refer to caption
(a) (b)
Figure 9: Components (a) vxv_{x} and (b) vyv_{y} of the velocity vector at t=2.0μt=2.0\ \mus .

Figure 10 reveals the extreme nature of the rate of the deformation tensor (i.e., 𝒅=(v)sym\boldsymbol{d}=(\ \nabla\vec{v}\ )^{\mathrm{sym}}). Since this quantity is proportional to the strain rate, the MRWT simulation suggests that in the damaged regions the material experiences strain rates multiple orders of magnitude higher than the imposed loading rate of ϵ˙=5,000s1\dot{\epsilon}=5,000\ \mathrm{s}^{-1}. This observation is consistent with the model depicted in Fig. 5.

Refer to caption
Figure 10: Frobenius norm of the rate of the deformation tensor 𝒅\|\boldsymbol{d}\| at t=2.0μt=2.0\ \mus. The white circle indicates the spatial coordinate x=[521/12,0,0]μ\vec{x}=[52\nicefrac{{1}}{{12}},0,0]\ \mum where the constitutive response is probed.

This consideration is made more clear by observing the temporal evolution of stress and strain at a particular coordinate outside the region of the initial flaw (i.e., x=[521/12,0,0]μ\vec{x}=[52\nicefrac{{1}}{{12}},0,0]\ \mum). Figure 11 plots the stress and strain at this location over time. In this figure, the precipitous decline in the stress reflects the brittle nature of PMMA. Furthermore, there are 22 distinct strain rates separated by the limit point in the stress-strain curve around t1.6μt\approx 1.6\ \mus (i.e., ϵ˙104s1\dot{\epsilon}\approx 10^{4}\ \mathrm{s}^{-1} during hardening and ϵ˙3×105s1\dot{\epsilon}\approx 3\times 10^{5}\ \mathrm{s}^{-1} during softening).

Refer to caption Refer to caption
(a) (b)
Figure 11: MRWT computed values of (a) Frobenius norm of the Cauchy stress and (b) Frobenius norm of the Almansi-Hamel strain over time, obtained at a specific spatial location x=[521/12,0,0]μ\vec{x}=[52\nicefrac{{1}}{{12}},0,0]\ \mum chosen because it is outside predamaged region of the initial condition.

This strain localization around the initial flaw provides the energy to initiate and grow damage in a process zone. Figure 12 shows the damage profile as it evolves and illustrates the dynamic adaptivity of the MRWT spatial discretization. A stress concentration develops in front of the process zone which propagates in a direction orthogonal to the applied deformation. Figures 13 and 11 demonstrate that the damaged material in the wake of the stress concentration has a reduced capacity to support a load and experiences significantly higher strains, reaching approximately 20%20\%.

Refer to caption Refer to caption
(a) (b)
Refer to caption Refer to caption
(c) (d)
Figure 12: MRWT generated damage profile and sparse multiresolution grid for the dynamic damage of PMMA at various times: (a) & (b) t=1.5μt=1.5\ \mus and (c) & (d) t=2.0μt=2.0\ \mus. The grid points are colored according to their resolution level jj. The reader is referred to the online version of this article for clarity regarding the color in this figure.

According to linear fracture mechanics [25], material deformed in this configuration will generate a crack of length a(t)a(t) that grows with a speed a˙(t)\dot{a}(t) which accelerates until reaching the Rayleigh speed cRc_{R}. For the material parameters in Table 2, cR1,295c_{R}\approx 1,295 m/s. An estimate for the length of the crack from the MRWT simulation is provided by measuring the distance from the origin to the peak stress (e.g., Fig. 13). From the initial condition, the crack starts with a nonzero length a046.4μa_{0}\approx 46.4\ \mum. After 2.2μ2.2\ \mus the crack has grown to a length of a135.1μa\approx 135.1\ \mum. The corresponding speed of the crack from the MRWT simulation is a˙280\dot{a}\approx 280 m/s, indicating the early stage of the damage process. The crack speed was computed from the slopes of quadratic functions locally fit to the crack length over time.

Refer to caption Refer to caption
(a) (b)
Refer to caption Refer to caption
(c) (d)
Figure 13: MRWT generated stress and strain profiles for the dynamic damage of PMMA at various times: (a) & (b) t=1.75μt=1.75\ \mus and (c) & (d) t=2.0μt=2.0\ \mus.

Lastly, our novel numerical method can provide assessment of the quality of the solution (i.e., the solution verification). Whereas traditional numerical techniques require a sequence of solutions on multiple grids, this work provides self-verification from a single simulation. Specifically, with J=14J=14 resolution levels available to our algorithm, the error of the solution of the PDEs is bound by Eqs. 13 and 21 and approximated by Eq. 20 as long as jmax<Jj_{\mathrm{max}}<J. Beyond this limit (i.e., jmaxJj_{\mathrm{max}}\geq J), our algorithm provides automatic estimates of the error through the magnitude of the wavelet coefficients on the highest resolution level,

error()𝕕kJλ().\displaystyle\mathrm{error}(\bullet)\propto\left\|{}^{\lambda}\mathbb{d}_{\vec{k}}^{J}(\bullet)\right\|_{\infty}. (51)

Figure 14 shows the error estimates from the damage simulation for the first 1.5μ1.5\ \mus with jmax<Jj_{\mathrm{max}}<J. In this time interval, each field has an error proportional to their respective epsilons according to Eq. 50. After 2μ2\ \mus of deformation when jmaxj_{\mathrm{max}} was no longer guaranteed, the relative percent error for each field was: 2.7%2.7\% for the damage variables, 0.027%0.027\% for the displacement, and 9.7%9.7\% for the velocity.

Refer to caption
Figure 14: Solution verification of dynamic damage using Eq. 51, dashed lines indicate each field’s epsilon threshold according to Eq. 50.

6 Conclusions

Our proposed wavelet based algorithm is well suited for computational science and engineering applications requiring dynamic resolution across multiple spatial and temporal scales. Whereas traditional numerical methods require a posteriori remeshing/refining procedures, the wavelet basis functions provide intrinsic adaptivity with resolution only where and when it is needed according to the user-prescribed accuracy. Although other wavelet based solvers have been developed in the past, our novel algorithm is the first to the best of our knowledge which uses the wavelet operators (e.g., the direct differentiation of the wavelet basis) to inform the grid adaption strategy. In this work, the spatial discretization is guided by the wavelet error estimates for fields, derivatives, and nonlinear operations. The error of the solution of the PDE is controlled in space and time by combining the predictor/corrector grid adaption procedure with embedded Runge-Kutta time integration. Furthermore, the matrix formulation of the wavelet operators allows the MRWT algorithm to be trivially applied to NN spatial dimensions and data compression is enhanced by using the minimum number of points on the coarse grid, thereby maximizing the number of collocation points which have the potential to be omitted from the discretization. MRWT has been verified by showing spatial convergence of the solution of nonlinear PDEs at rates that are consistent with the aforementioned error estimates. Additionally, the capabilities of MRWT have been demonstrated by simulating multiscale applications, such as the Navier-Stokes equations.

Finally, we have demonstrated our wavelet numerical method on a difficult high-strain rate dynamic damage problem. The sparse multiresolution discretization provides continuous resolution between O(100nm)O(100\ \mathrm{nm}) on the finest level and O(1cm)O(1\ \mathrm{cm}) on the overall domain. As shown, the simulation of damage nucleation and propagation is well resolved on this discretization spanning 55 orders of magnitude without imposing significant computational overhead. By providing highly resolved kinematic quantities and associated constitutive response, our algorithm can inform material scientists of the extreme dynamics involved in material failure, thereby facilitating the design of robust materials. Furthermore, since the wavelet algorithm provides accurate simulations of nonlinear dynamic damage it is a convenient tool for the development of more accurate macroscopic damage models (e.g., anisotropic). This work illustrates that our wavelet solver is capable of simulating complex systems with the resolution required to validate material models against experimental results.

Acknowledgments

This work was supported by Los Alamos National Laboratory (LANL) under award numbers 369229369229 and 370985370985 and by the Department of Energy, National Nuclear Security Administration, under award number DENA00023770002377 as part of the Predictive Science Academic Alliance Program II.

This research was also supported in part by Lilly Endowment, Inc., through its support for the Indiana University Pervasive Technology Institute. The authors acknowledge the Indiana University Pervasive Technology Institute for providing supercomputing resources that have contributed to the research results reported within this paper.

Appendix A Wavelet derivatives

This section provides additional details on differentiation in Eq. 17 and Eq. 18. For sufficiently differentiable basis, the derivatives of the basis are also continuous functions and are projected onto the original basis using Eq. 16 with global index vectors m\vec{m} and n\vec{n}

αxiαf(x)\displaystyle\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}f(\vec{x}) 𝕕m1mNαΨ(x)m1mNxiα,\displaystyle\approx\mathbb{d}_{m_{1}\ldots\ m_{N}}\frac{\partial^{\alpha}\ \Psi(\vec{x})_{m_{1}\ldots\ m_{N}}}{\partial x_{i}^{\alpha}},
αxiαf(x)\displaystyle\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}f(\vec{x}) 𝕕m1mN(𝔻n1nNΨ(x)n1nN)m1mN,\displaystyle\approx\mathbb{d}_{m_{1}\ldots\ m_{N}}\left(\mathbb{D}_{n_{1}\ldots\ n_{N}}\ \Psi(\vec{x})_{n_{1}\ldots\ n_{N}}\right)_{m_{1}\ldots\ m_{N}},
αxiαf(x)\displaystyle\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}f(\vec{x}) 𝕕n1nN(𝔻m1mNΨ(x)m1mN)n1nN.\displaystyle\approx\mathbb{d}_{n_{1}\ldots\ n_{N}}\left(\mathbb{D}_{m_{1}\ldots\ m_{N}}\ \Psi(\vec{x})_{m_{1}\ldots\ m_{N}}\right)_{n_{1}\ldots\ n_{N}}. (52)

Note that in Appendix A the containers \mathbbbD\mathbbb{D} and 𝚿(x)\boldsymbol{\Psi}(\vec{x}) exist for each collocation point indexed by n\vec{n}. While the entries in \mathbbbD\mathbbb{D} may vary for each n\vec{n}, the basis 𝚿(x)\boldsymbol{\Psi}(\vec{x}) are identical, therefore combining like terms yields

αxiαf(x)\displaystyle\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}f(\vec{x}) 𝕕n1nN𝔻m1mNn1nNΨ(x)m1mN,\displaystyle\approx\mathbb{d}_{n_{1}\ldots\ n_{N}}\mathbb{D}_{m_{1}\ldots\ m_{N}}^{n_{1}\ldots\ n_{N}}\ \Psi(\vec{x})_{m_{1}\ldots\ m_{N}},
αxiαf(x)\displaystyle\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}f(\vec{x}) 𝔻m1mNn1nN𝕕n1nNΨ(x)m1mN,\displaystyle\approx\mathbb{D}_{m_{1}\ldots\ m_{N}}^{n_{1}\ldots\ n_{N}}\ \mathbb{d}_{n_{1}\ldots\ n_{N}}\ \Psi(\vec{x})_{m_{1}\ldots\ m_{N}},
αxiαf(x)\displaystyle\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}f(\vec{x}) 𝕕~m1mNΨ(x)m1mN.\displaystyle\approx\widetilde{\mathbb{d}}_{m_{1}\ldots\ m_{N}}\ \Psi(\vec{x})_{m_{1}\ldots\ m_{N}}. (53)

Where the \mathbbbd~\widetilde{\mathbbb{d}} values are wavelet coefficients for the derivative of the field, obtained by contracting wavelet coefficients of the field with connection coefficients (i.e., wavelet coefficients of the derivatives of the basis)

𝕕~m1mN\displaystyle\widetilde{\mathbb{d}}_{m_{1}\ldots\ m_{N}} =𝔻m1mNn1nN𝕕n1nN.\displaystyle=\mathbb{D}_{m_{1}\ldots\ m_{N}}^{n_{1}\ldots\ n_{N}}\ \mathbb{d}_{n_{1}\ldots\ n_{N}}. (54)

It is helpful to express Eq. 54 for just one entry in \mathbbbd~\widetilde{\mathbbb{d}} (i.e., specifying the index m\vec{m} identifies a particular 𝕕~kjλ{}^{\lambda}\widetilde{\mathbb{d}}_{\vec{k}}^{\ j}). This corresponds to the value of the λ\lambda-type wavelet coefficient for the derivative of the field on resolution level jj at spatial index k\vec{k}

𝕕~kjλ\displaystyle{}^{\lambda}\widetilde{\mathbb{d}}_{\vec{k}}^{\ j} =r=1jmaxβ=02N1𝔻j,kr,lλβ𝕕lrβ\displaystyle=\sum_{r=1}^{j_{\mathrm{max}}}\sum_{\beta=0}^{2^{N}-1}{}_{\lambda}^{\beta}\mathbb{D}_{j,\vec{k}}^{r,\vec{l}}\;\;{}^{\beta}\mathbb{d}_{\vec{l}}^{r}
𝕕~kjλ\displaystyle{}^{\lambda}\widetilde{\mathbb{d}}_{\vec{k}}^{\ j} =r=1jmaxβ=02N1αxiα(Ψlrβ(x))Ψ~kjλ(x)dx𝕕lrβ\displaystyle=\sum_{r=1}^{j_{\mathrm{max}}}\sum_{\beta=0}^{2^{N}-1}\int\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}\bigg{(}{}^{\beta}\Psi_{\vec{l}}^{r}(\vec{x})\bigg{)}\ {}^{\lambda}\widetilde{\Psi}_{\vec{k}}^{j}(\vec{x})\ \mathrm{d}\vec{x}\;\;{}^{\beta}\mathbb{d}_{\vec{l}}^{r}
𝕕~kjλ\displaystyle{}^{\lambda}\widetilde{\mathbb{d}}_{\vec{k}}^{\ j} =r=1j1β=02N1αxiα(Ψlrβ(x))Ψ~kjλ(x)dx𝕕lrβ\displaystyle=\sum_{r=1}^{j-1}\sum_{\beta=0}^{2^{N}-1}\int\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}\bigg{(}{}^{\beta}\Psi_{\vec{l}}^{r}(\vec{x})\bigg{)}\ {}^{\lambda}\widetilde{\Psi}_{\vec{k}}^{j}(\vec{x})\ \mathrm{d}\vec{x}\;\;{}^{\beta}\mathbb{d}_{\vec{l}}^{r}\ \ldots
+β=02N1αxiα(Ψljβ(x))Ψ~kjλ(x)dx𝕕ljβ\displaystyle+\sum_{\beta=0}^{2^{N}-1}\int\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}\bigg{(}{}^{\beta}\Psi_{\vec{l}}^{j}(\vec{x})\bigg{)}\ {}^{\lambda}\widetilde{\Psi}_{\vec{k}}^{j}(\vec{x})\ \mathrm{d}\vec{x}\;\;{}^{\beta}\mathbb{d}_{\vec{l}}^{j}\ \ldots
+r=j+1jmaxβ=12N1αxiα(Ψlrβ(x))Ψ~kjλ(x)dx𝕕lrβ.\displaystyle+\sum_{r=j+1}^{j_{\mathrm{max}}}\sum_{\beta=1}^{2^{N}-1}\int\frac{\partial^{\alpha}}{\partial x_{i}^{\alpha}}\bigg{(}{}^{\beta}\Psi_{\vec{l}}^{r}(\vec{x})\bigg{)}\ {}^{\lambda}\widetilde{\Psi}_{\vec{k}}^{j}(\vec{x})\ \mathrm{d}\vec{x}\;\;{}^{\beta}\mathbb{d}_{\vec{l}}^{r}\ . (55)

The integrals of Appendix A are solved exactly by leveraging the properties of the wavelet basis functions, and will vary depending on the types of wavelet coefficients λ\lambda and β\beta as well as the comparison between levels jj and rr. For example, consider calculating the derivative coefficients of a λ=1\lambda=1 type of 𝕕\mathbb{d} coefficient at a specified level jj for the case of the mixed derivative (i.e., α1+α2/x1α1x2α2\partial^{\alpha_{1}+\alpha_{2}}/\partial x_{1}^{\alpha_{1}}\partial x_{2}^{\alpha_{2}}) in 33 spatial dimensions

𝕕~k1k2k3j1\displaystyle{}^{1}\widetilde{\mathbb{d}}_{k_{1}k_{2}k_{3}}^{\ j} =(𝒈~𝝌α1𝒉j)k1l1(𝝌α2𝒉j1)k2l2(𝜹𝒉j1)k3l3𝕕l1l2l3 10\displaystyle=\big{(}\widetilde{\boldsymbol{g}}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j}\big{)}_{k_{1}l_{1}}\ \big{(}{}^{\alpha_{2}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-1}\big{)}_{k_{2}l_{2}}\ \big{(}\boldsymbol{\delta}\cdot\boldsymbol{h}^{j-1}\big{)}_{k_{3}l_{3}}\ {}^{0}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ 1}\ldots
+r=1j1[(𝒈~𝝌α1𝒉jr𝒈)k1l1(𝝌α2𝒉jr)k2l2(𝜹𝒉jr)k3l3𝕕l1l2l3r1\displaystyle+\sum_{r=1}^{j-1}\bigg{[}\big{(}\widetilde{\boldsymbol{g}}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r}\cdot\boldsymbol{g}\big{)}_{k_{1}l_{1}}\ \big{(}{}^{\alpha_{2}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r}\big{)}_{k_{2}l_{2}}\ \big{(}\boldsymbol{\delta}\cdot\boldsymbol{h}^{j-r}\big{)}_{k_{3}l_{3}}\ {}^{1}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ r}\ldots
+(𝒈~𝝌α1𝒉jr+1)k1l1(𝝌α2𝒉jr1𝒈)k2l2(𝜹𝒉jr)k3l3𝕕l1l2l3r2\displaystyle+\big{(}\widetilde{\boldsymbol{g}}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r+1}\big{)}_{k_{1}l_{1}}\ \big{(}{}^{\alpha_{2}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r-1}\cdot\boldsymbol{g}\big{)}_{k_{2}l_{2}}\ \big{(}\boldsymbol{\delta}\cdot\boldsymbol{h}^{j-r}\big{)}_{k_{3}l_{3}}\ {}^{2}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ r}\ldots
+(𝒈~𝝌α1𝒉jr𝒈)k1l1(𝝌α2𝒉jr1𝒈)k2l2(𝜹𝒉jr)k3l3𝕕l1l2l3r3\displaystyle+\big{(}\widetilde{\boldsymbol{g}}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r}\cdot\boldsymbol{g}\big{)}_{k_{1}l_{1}}\ \big{(}{}^{\alpha_{2}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r-1}\cdot\boldsymbol{g}\big{)}_{k_{2}l_{2}}\ \big{(}\boldsymbol{\delta}\cdot\boldsymbol{h}^{j-r}\big{)}_{k_{3}l_{3}}\ {}^{3}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ r}\ldots
+(𝒈~𝝌α1𝒉jr+1)k1l1(𝝌α2𝒉jr)k2l2(𝜹𝒉jr1𝒈)k3l3𝕕l1l2l3r4\displaystyle+\big{(}\widetilde{\boldsymbol{g}}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r+1}\big{)}_{k_{1}l_{1}}\ \big{(}{}^{\alpha_{2}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r}\big{)}_{k_{2}l_{2}}\ \big{(}\boldsymbol{\delta}\cdot\boldsymbol{h}^{j-r-1}\cdot\boldsymbol{g}\big{)}_{k_{3}l_{3}}\ {}^{4}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ r}\ldots
+(𝒈~𝝌α1𝒉jr𝒈)k1l1(𝝌α2𝒉jr)k2l2(𝜹𝒉jr1𝒈)k3l3𝕕l1l2l3r5\displaystyle+\big{(}\widetilde{\boldsymbol{g}}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r}\cdot\boldsymbol{g}\big{)}_{k_{1}l_{1}}\ \big{(}{}^{\alpha_{2}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r}\big{)}_{k_{2}l_{2}}\ \big{(}\boldsymbol{\delta}\cdot\boldsymbol{h}^{j-r-1}\cdot\boldsymbol{g}\big{)}_{k_{3}l_{3}}\ {}^{5}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ r}\ldots
+(𝒈~𝝌α1𝒉jr+1)k1l1(𝝌α2𝒉jr1𝒈)k2l2(𝜹𝒉jr1𝒈)k3l3𝕕l1l2l3r6\displaystyle+\big{(}\widetilde{\boldsymbol{g}}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r+1}\big{)}_{k_{1}l_{1}}\ \big{(}{}^{\alpha_{2}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r-1}\cdot\boldsymbol{g}\big{)}_{k_{2}l_{2}}\ \big{(}\boldsymbol{\delta}\cdot\boldsymbol{h}^{j-r-1}\cdot\boldsymbol{g}\big{)}_{k_{3}l_{3}}\ {}^{6}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ r}\ldots
+(𝒈~𝝌α1𝒉jr𝒈)k1l1(𝝌α2𝒉jr1𝒈)k2l2(𝜹𝒉jr1𝒈)k3l3𝕕l1l2l3r7]\displaystyle+\big{(}\widetilde{\boldsymbol{g}}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r}\cdot\boldsymbol{g}\big{)}_{k_{1}l_{1}}\ \big{(}{}^{\alpha_{2}}\boldsymbol{\chi}\cdot\boldsymbol{h}^{j-r-1}\cdot\boldsymbol{g}\big{)}_{k_{2}l_{2}}\ \big{(}\boldsymbol{\delta}\cdot\boldsymbol{h}^{j-r-1}\cdot\boldsymbol{g}\big{)}_{k_{3}l_{3}}\ {}^{7}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ r}\bigg{]}\ldots
+(𝒈~𝝌α1𝒈)k1l1(𝝌α2)k2l2(𝜹)k3l3𝕕l1l2l3j1\displaystyle+\big{(}\widetilde{\boldsymbol{g}}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{g}\big{)}_{k_{1}l_{1}}\ \big{(}{}^{\alpha_{2}}\boldsymbol{\chi}\big{)}_{k_{2}l_{2}}\ \big{(}\boldsymbol{\delta}\big{)}_{k_{3}l_{3}}\ {}^{1}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ j}\ldots
+(𝒈~𝝌α1𝒉)k1l1(𝒉~𝝌α2𝒈)k2l2(𝜹)k3l3𝕕l1l2l3j2\displaystyle+\big{(}\widetilde{\boldsymbol{g}}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{h}\big{)}_{k_{1}l_{1}}\ \big{(}\widetilde{\boldsymbol{h}}\cdot{}^{\alpha_{2}}\boldsymbol{\chi}\cdot\boldsymbol{g}\big{)}_{k_{2}l_{2}}\ \big{(}\boldsymbol{\delta}\big{)}_{k_{3}l_{3}}\ {}^{2}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ j}\ldots
+(𝒈~𝝌α1𝒈)k1l1(𝒉~𝝌α2𝒈)k2l2(𝜹)k3l3𝕕l1l2l3j3\displaystyle+\big{(}\widetilde{\boldsymbol{g}}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{g}\big{)}_{k_{1}l_{1}}\ \big{(}\widetilde{\boldsymbol{h}}\cdot{}^{\alpha_{2}}\boldsymbol{\chi}\cdot\boldsymbol{g}\big{)}_{k_{2}l_{2}}\ \big{(}\boldsymbol{\delta}\big{)}_{k_{3}l_{3}}\ {}^{3}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ j}\ldots
+r=j+1jmax[(𝒈~𝒉~rj𝝌α1𝒈)k1l1(𝒉~rj𝝌α2)k2l2(𝒉~rj𝜹)k3l3𝕕l1l2l3r1\displaystyle+\sum_{r=j+1}^{j_{\mathrm{max}}}\bigg{[}\big{(}\widetilde{\boldsymbol{g}}\cdot\widetilde{\boldsymbol{h}}^{r-j}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{g}\big{)}_{k_{1}l_{1}}\ \big{(}\widetilde{\boldsymbol{h}}^{r-j}\cdot{}^{\alpha_{2}}\boldsymbol{\chi}\big{)}_{k_{2}l_{2}}\ \big{(}\widetilde{\boldsymbol{h}}^{r-j}\cdot\boldsymbol{\delta}\big{)}_{k_{3}l_{3}}\ {}^{1}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ r}\ldots
+(𝒈~𝒉~rj1𝝌α1)k1l1(𝒉~rj+1𝝌α2𝒈)k2l2(𝒉~rj𝜹)k3l3𝕕l1l2l3r2\displaystyle+\big{(}\widetilde{\boldsymbol{g}}\cdot\widetilde{\boldsymbol{h}}^{r-j-1}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\big{)}_{k_{1}l_{1}}\ \big{(}\widetilde{\boldsymbol{h}}^{r-j+1}\cdot{}^{\alpha_{2}}\boldsymbol{\chi}\cdot\boldsymbol{g}\big{)}_{k_{2}l_{2}}\ \big{(}\widetilde{\boldsymbol{h}}^{r-j}\cdot\boldsymbol{\delta}\big{)}_{k_{3}l_{3}}\ {}^{2}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ r}\ldots
+(𝒈~𝒉~rj𝝌α1𝒈)k1l1(𝒉~rj+1𝝌α2𝒈)k2l2(𝒉~rj𝜹)k3l3𝕕l1l2l3r3].\displaystyle+\big{(}\widetilde{\boldsymbol{g}}\cdot\widetilde{\boldsymbol{h}}^{r-j}\cdot{}^{\alpha_{1}}\boldsymbol{\chi}\cdot\boldsymbol{g}\big{)}_{k_{1}l_{1}}\ \big{(}\widetilde{\boldsymbol{h}}^{r-j+1}\cdot{}^{\alpha_{2}}\boldsymbol{\chi}\cdot\boldsymbol{g}\big{)}_{k_{2}l_{2}}\ \big{(}\widetilde{\boldsymbol{h}}^{r-j}\cdot\boldsymbol{\delta}\big{)}_{k_{3}l_{3}}\ {}^{3}\mathbb{d}_{l_{1}l_{2}l_{3}}^{\ r}\bigg{]}. (56)

In Appendix A, 𝜹\boldsymbol{\delta} is the identity matrix, the 𝒉,𝒈,𝒉~,𝒈~\boldsymbol{h},\boldsymbol{g},\widetilde{\boldsymbol{h}},\widetilde{\boldsymbol{g}} matrices are defined by the wavelet filter coefficients (also shown in [105] to be subsets of the the \mathbbbF\mathbbb{F} and \mathbbbB\mathbbb{B} operators). The exponent notation implies repeated matrix multiplication, and the 𝝌\boldsymbol{\chi} matrix is defined by solving an eigenvector problem as described in [105, 106].

Appendix B MRWT scaling performance

Strong scaling of the MRWT has been evaluated at both early and late times in the simulation of damage nucleation and propagation from Section 5. The time required to complete an embedded 𝒪(Δt4)\mathcal{O}(\Delta t^{4}) and 𝒪(Δt5)\mathcal{O}(\Delta t^{5}) explicit Runge-Kutta integration step (i.e., nn+1n\rightarrow n+1) was measured using Indiana University’s BigRed200, an HPE Cray EX supercomputer where each node is equipped with 256256 GB of memory and two 6464-core AMD EPYC 77427742 processors [127]. Results bind one MPI process to each socket and continue to use OpenMP within each process. Simultaneous multithreading is not evaluated. The associated speedup is defined with respect to the run-time using only a single core. As shown in Fig. 15, the early time-step (i.e., n=1,000n=1,000 time-steps, t0.03μt\approx 0.03\ \mus, and 𝒪(100\mathcal{O}(100k) points) strong scales from 225225 s to 1.031.03 s per step at 2,0482,048 cores, at which point communication dominates. The later time-step (i.e., n=170,000n=170,000 time-steps, t1.75μt\approx 1.75\ \mus, and 𝒪(840\mathcal{O}(840k) points) scales from 2,5422,542 s to 5.45.4 s per step at 4,0964,096 cores.

Refer to caption
Figure 15: Strong scaling performance of hybrid OpenMP/MPI parallel implementation of MRWT.

Appendix C Taylor-Sedov blast wave

Details of the Taylor-Sedov problem can be found in previous publications [106, 115]. In summary, the Navier-Stokes equations are solved with Fourier’s law of heat conduction and model of a Newtonian fluid as a calorically perfect ideal gas with constant material properties matching those of dry air. The initial condition is a pressure spike in an otherwise undisturbed medium and over time this potential energy is converted into kinetic energy forming a shock wave at a radius r(t)r(t) theoretically propagating outward such that [116]

r(t)t22+N,\displaystyle r(t)\propto t^{\frac{2}{2+N}}, (57)

where NN is the number of spatial dimensions. In our simulations, the radius of the shock wave is defined as the location of the most extreme pressure gradient. Figure 16 plots the pressure field from the 33D simulation using MRWT along with the radius calculations from 11D, 22D, and 33D (see Eq. 57). The slopes match well the theoretical predictions indicating that our wavelet method provides accurate solutions to systems of nonlinear PDEs in multiple dimensions. Note that Figure 16(a) was obtained with p=6p=6 and threshold parameters

ερ\displaystyle\varepsilon_{\rho} =102ρ,\displaystyle=10^{-2}\ \|\ \rho\ \|_{\infty}, εvi\displaystyle\varepsilon_{v_{i}} =102vi,\displaystyle=10^{-2}\ \|\ v_{i}\ \|_{\infty}, εe\displaystyle\varepsilon_{e} =102e,\displaystyle=10^{-2}\ \|\ e\ \|_{\infty}, (58)

where ρ\rho is the density, viv_{i} is the ithi^{\mathrm{th}} component of the velocity, and ee is the specific internal energy.

Refer to caption Refer to caption
(a) (b)
Figure 16: (a) MRWT simulation of the pressure in a 33D Taylor-Sedov blast wave at t=0.2μt=0.2\ \mus. (b) MRWT computed radius of the shock wave as a function of time, lines are fitted to the discrete data and the corresponding slope should match the exponent in Eq. 57. Specifically: 11D 0.66¯\rightarrow 0.\overline{66}, 22D 0.5\rightarrow 0.5, and 33D 0.4\rightarrow 0.4.

References

  • Irwin [1957] G. R. Irwin, Analysis of stresses and strains near the end of a crack traversing a plate, Journal of Applied Mechanics 24 (1957) 361–364.
  • Dugdale [1960] D. S. Dugdale, Yielding of steel sheets containing slits, Journal of the Mechanics and Physics of Solids 8 (1960) 100–104.
  • Willis [1967] J. R. Willis, A comparison of the fracture criteria of Griffith and Barenblatt, Journal of the Mechanics and Physics of Solids 15 (1967) 151–162.
  • Spanoudakis and Young [1984] J. Spanoudakis, R. J. Young, Crack propagation in a glass particle-filled epoxy resin part 1. effect of particle volume fraction and size, Journal of Materials Science 19 (1984) 473–486.
  • Bažant [1986] Z. P. Bažant, Mechanics of distributed cracking, Applied Mechanics Reviews 39 (1986) 675–705.
  • Ju [1989] J. W. Ju, Energy-based coupled elastoplastic damage models at finite strains, Journal of Engineering Mechanics 115 (1989) 2507–2525.
  • Needleman [1990] A. Needleman, An analysis of tensile decohesion along an interface, Journal of the Mechanics and Physics of Solids 38 (1990) 289–324.
  • Fish and Yu [2001] J. Fish, Q. Yu, Multiscale damage modelling for composite materials: Theory and computational framework, International Journal for Numerical Methods in Engineering 52 (2001) 161–191.
  • Bažant and Jirásek [2002] Z. P. Bažant, M. Jirásek, Nonlocal integral formulations of plasticity and damage: survey of progress, Journal of Engineering Mechanics 128 (2002) 1119–1149.
  • Buehler et al. [2003] M. J. Buehler, F. F. Abraham, H. Gao, Hyperelasticity governs dynamic fracture at a critical length scale, Nature 426 (2003) 141–146.
  • Voyiadjis et al. [2004] G. Z. Voyiadjis, R. K. Abu Al-Rub, A. N. Palazotto, Thermodynamic framework for coupling of non-local viscoplasticity and non-local anisotropic viscodamage for dynamic localization problems using gradient theory, International Journal of Plasticity 20 (2004) 981–1038.
  • Kitey and Tippur [2005] R. Kitey, H. V. Tippur, Role of particle size and filler-matrix adhesion on dynamic fracture of glass-filled epoxy part I. Macromeasurements, Acta Materialia 53 (2005) 1153–1165.
  • Park et al. [2009] K. Park, G. H. Paulino, J. R. Roesler, A unified potential-based cohesive model of mixed-mode fracture, Journal of the Mechanics and Physics of Solids 57 (2009) 891–908.
  • Huynh and Belytschko [2009] D. B. P. Huynh, T. Belytschko, The extended finite element method for fracture in composite materials, International Journal for Numerical Methods in Engineering 77 (2009) 214–239.
  • Kim et al. [2010] D. J. Kim, J. P. Pereira, C. A. Duarte, Analysis of three-dimensional fracture mechanics problems: A two-scale approach using coarse-generalized FEM meshes, International Journal for Numerical Methods in Engineering 81 (2010) 335–365.
  • Hankinson [1921] R. Hankinson, Investigation of Crushing Strength of Spruce at Varying Angles of Grain, Technical Report, Air Service Information Circular, 1921.
  • Hill [1948] R. Hill, A theory of the yielding and plastic flow of anisotropic metals, Proceedings of the Royal Society of London 193 (1948) 281–297.
  • Drucker and Prager [1952] D. C. Drucker, W. Prager, Soil mechanics and plastic analysis or limit design, Quarterly of Applied Mathematics 10 (1952) 157–165.
  • Tsai and Wu [1971] S. W. Tsai, E. M. Wu, A general theory of strength for anisotropic materials, Journal of Composite Materials 5 (1971) 58–80.
  • Hoek and Brown [1980] E. Hoek, E. Brown, Empirical strength criterion for rock masses, Journal of the Geotechnical Engineering Division 106 (1980) 1013–1035.
  • Johnson and Holmquist [1994] G. R. Johnson, T. J. Holmquist, An improved computational constitutive model for brittle materials, in: AIP Conference Proceedings, 1994, pp. 981–984. doi:10.1063/1.46199.
  • Staat [2021] M. Staat, An extension strain type Mohr–Coulomb criterion, Rock Mechanics and Rock Engineering 54 (2021) 6207–6233.
  • Griffith [1921] A. A. Griffith, The phenomena of rupture and flow in solids, Philosophical Transactions of the Royal Society of London 221 (1921) 163–198.
  • Barenblatt [1961] G. I. Barenblatt, The mathematical theory of equilibrium cracks formed in brittle fracture, Zhurnal Prikladnoy Mekhaniki i Tekhnicheskoy Fiziki 4 (1961) 3–56.
  • Freund [1990] L. B. Freund, Dynamic Fracture Mechanics, Cambridge University Press, Cambridge, 1990. doi:10.1017/CBO9780511546761.
  • Krajcinovic [1995] D. Krajcinovic, Continuum damage mechanics: when and how?, International Journal of Damage Mechanics 4 (1995) 217–229.
  • Lemaitre [1971] J. Lemaitre, Evaluation of dissipation and damage in metals submitted to dynamic loading, in: International Conference on the Mechanical Behavior of Materials, 1971, pp. 1–8.
  • Leckie and Hayhurst [1974] F. A. Leckie, D. R. Hayhurst, Creep rupture of structures, Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences 340 (1974) 323–347.
  • Lemaitre [1985] J. Lemaitre, A continuous damage mechanics model for ductile fracture, Journal of Engineering Materials and Technology 107 (1985) 83–89.
  • Dragon and Chihab [1985] A. Dragon, A. Chihab, On finite damage: ductile fracture-damage evolution, Mechanics of Materials 4 (1985) 95–106.
  • Dragon [1985] A. Dragon, Plasticity and ductile fracture damage: study of void growth in metals, Engineering Fracture Mechanics 21 (1985) 875–885.
  • Krajcinovic and Fonseka [1981] D. Krajcinovic, G. U. Fonseka, The continuous damage theory of brittle materials, Journal of Applied Mechanics 48 (1981) 809–815.
  • Krajcinovic [1983] D. Krajcinovic, Constitutive equations for damaging materials, Journal of Applied Mechanics 50 (1983) 355–360.
  • Marigo [1985] J. J. Marigo, Modelling of brittle and fatigue damage for elastic material by growth of microvoids, Engineering Fracture Mechanics 21 (1985) 861–874.
  • Lemaitre [1984] J. Lemaitre, How to use damage mechanics, Nuclear Engineering and Design 80 (1984) 233–245.
  • Kachanov [1980] M. Kachanov, Continuum model of medium with cracks, Journal of the Engineering Mechanics Division 106 (1980) 1039–1051.
  • Chaboche [1981] J.-L. Chaboche, Continuous damage mechanics – a tool to describe phenomena before crack initiation, Nuclear Engineering and Design 64 (1981) 233–247.
  • Kamrin et al. [2012] K. Kamrin, C. H. Rycroft, J. C. Nave, Reference map technique for finite-strain elasticity and fluid-solid interaction, Journal of the Mechanics and Physics of Solids 60 (2012) 1952–1969.
  • Matouš et al. [2008] K. Matouš, M. G. Kulkarni, P. H. Geubelle, Multiscale cohesive failure modeling of heterogeneous adhesives, Journal of the Mechanics and Physics of Solids 56 (2008) 1511–1533.
  • Kulkarni et al. [2010] M. G. Kulkarni, K. Matouš, P. H. Geubelle, Coupled multi-scale cohesive modeling of failure in heterogeneous adhesives, International Journal for Numerical Methods in Engineering 84 (2010) 916–946.
  • Mosby and Matouš [2015] M. Mosby, K. Matouš, On mechanics and material length scales of failure in heterogeneous interfaces using a finite strain high performance solver, Modelling and Simulation in Materials Science and Engineering 23 (2015).
  • Simo and Ju [1987a] J. C. Simo, J. W. Ju, Strain- and stress-based continuum damage models – I. Formulation, Int. J. Solids Structures 23 (1987a) 821–840.
  • Simo and Ju [1987b] J. C. Simo, J. W. Ju, Strain- and stress-based continuum damage models – II. Computational aspects, Int. J. Solids Structures 23 (1987b) 841–869.
  • Xue et al. [2010] Z. Xue, M. G. Pontin, F. W. Zok, J. W. Hutchinson, Calibration procedures for a computational model of ductile fracture, Engineering Fracture Mechanics 77 (2010) 492–509.
  • Volokh [2012] K. Y. Volokh, Characteristic length of damage localization in steel, Engineering Fracture Mechanics 94 (2012) 85–86.
  • Volokh [2013] K. Y. Volokh, Characteristic length of damage localization in concrete, Mechanics Research Communications 51 (2013) 29–31.
  • Volokh [2011] K. Y. Volokh, Characteristic length of damage localization in rubber, International Journal of Fracture 168 (2011) 113–116.
  • Krajcinovic and Fanella [1986] D. Krajcinovic, D. Fanella, A micromechanical damage model for concrete, Engineering Fracture Mechanics 25 (1986) 585–596.
  • Pearson and Yee [1991] R. A. Pearson, A. F. Yee, Influence of particle size and particle size distribution on toughening mechanisms in rubber-modified epoxies, Journal of Materials Science 26 (1991) 3828–3844.
  • Dekkers and Heikens [1983] M. E. J. Dekkers, D. Heikens, The effect of interfacial adhesion on the tensile behavior of polystyrene-glass-bead composites, Journal of Applied Polymer Science 28 (1983) 3809–3815.
  • Huang et al. [2004] L. Huang, Q. Yuan, W. Jiang, L. An, S. Jiang, R. K. Li, Mechanical and thermal properties of glass bead-filled nylon-6, Journal of Applied Polymer Science 94 (2004) 1885–1890.
  • Kinlock and Hunston [1987] A. J. Kinlock, D. L. Hunston, Effect of volume fraction of dispersed rubbery phase on the toughness of rubber-toughened epoxy polymers, Journal of Materials Science Letters 6 (1987) 131–139.
  • Radford [1971] K. C. Radford, The mechanical properties of an epoxy resin with a second phase dispersion, Journal of Materials Science 6 (1971) 1286–1291.
  • Nakamura et al. [1992] Y. Nakamura, M. Yamaguchi, Masayoshi Okubo, T. Matsumoto, Effects of particle size on mechanical and impact properties of epoxy resin filled with spherical silica, Journal of Applied Polymer Science 45 (1992) 1281–1289.
  • Singh et al. [2002] R. P. Singh, M. Zhang, D. Chan, Toughening of a brittle thermosetting polymer: Effects of reinforcement particle size and volume fraction, Journal of Materials Science 37 (2002) 781–788.
  • Aragón et al. [2013] A. M. Aragón, S. Soghrati, P. H. Geubelle, Effect of in-plane deformation on the cohesive failure of heterogeneous adhesives, Journal of the Mechanics and Physics of Solids 61 (2013) 1600–1611.
  • Ha and Bobaru [2011] Y. D. Ha, F. Bobaru, Characteristics of dynamic brittle fracture captured with peridynamics, Engineering Fracture Mechanics 78 (2011) 1156–1168.
  • Ma et al. [2010] G. W. Ma, X. J. Wang, Q. M. Li, Modeling strain rate effect of heterogeneous materials using SPH method, Rock Mechanics and Rock Engineering 43 (2010) 763–776.
  • Pedersen et al. [2008] R. R. Pedersen, A. Simone, L. J. Sluys, An analysis of dynamic fracture in concrete with a continuum visco-elastic visco-plastic damage model, Engineering Fracture Mechanics 75 (2008) 3782–3805.
  • Zhou and Molinari [2004] F. Zhou, J. F. Molinari, Dynamic crack propagation with cohesive elements: A methodology to address mesh dependency, International Journal for Numerical Methods in Engineering 59 (2004) 1–24.
  • Belytschko et al. [2003] T. Belytschko, H. Chen, J. Xu, G. Zi, Dynamic crack propagation based on loss of hyperbolicity and a new discontinuous enrichment, International Journal for Numerical Methods in Engineering 58 (2003) 1873–1905.
  • Matouš [2003] K. Matouš, Damage evolution in particulate composite materials, International Journal of Solids and Structures 40 (2003) 1489–1503.
  • Lee et al. [2021] S. Lee, K. Ramos, K. Matouš, Numerical study of damage in particulate composites during high-strain rate loading using novel damage model, Mechanics of Materials 160 (2021).
  • Kulkarni et al. [2009] M. G. Kulkarni, P. H. Geubelle, K. Matouš, Multi-scale modeling of heterogeneous adhesives: Effect of particle decohesion, Mechanics of Materials 41 (2009) 573–583.
  • Abedi et al. [2010] R. Abedi, M. A. Hawker, R. B. Haber, K. Matouš, An adaptive spacetime discontinuous Galerkin method for cohesive models of elastodynamic fracture, International Journal for Numerical Methods in Engineering 81 (2010) 1207–1241.
  • Berger and Oliger [1984] M. J. Berger, J. Oliger, Adaptive mesh refinement for hyperbolic partial differential equations, Journal of Computational Physics 53 (1984) 484–512.
  • Fatkullin and Hesthaven [2001] I. Fatkullin, J. S. Hesthaven, Adaptive high-order finite-difference method for nonlinear wave problems, Journal of Scientific Computing 16 (2001) 47–67.
  • Brandt [1977] A. Brandt, Multi-level adaptive solutions to boundary-value problems, Mathematics of Computation 31 (1977) 333–390.
  • Hackbusch [1978] W. Hackbusch, On the multi-grid method applied to difference equations, Computing 20 (1978) 291–306.
  • Yushu and Matouš [2020] D. Yushu, K. Matouš, The image-based multiscale multigrid solver, preconditioner, and reduced order model, Journal of Computational Physics 406 (2020).
  • Benek et al. [1986] J. A. Benek, J. L. Steger, F. C. Dougherty, P. G. Buning, Chimera: A Grid-Embedding Technique, Technical Report, AEDC-TR-85-64, 1986.
  • Dong and Karniadakis [2003] S. S. Dong, G. E. Karniadakis, P-refinement and P-threads, Computer Methods in Applied Mechanics and Engineering 192 (2003) 2191–2201.
  • Gui and Babuška [1986a] W. Gui, I. Babuška, The h, p and h-p versions of the finite element method in 1 dimension part I. the error analysis of the p-version, Numerische Mathematik 49 (1986a) 577–612.
  • Gui and Babuška [1986b] W. Gui, I. Babuška, The h, p and h-p versions of the finite element method in 1 dimension part II. the error analysis of the h-and h-p versions, Numerische Mathematik 49 (1986b) 613–657.
  • Rajagopal and Sivakumar [2007] A. Rajagopal, S. M. Sivakumar, A combined r-h adaptive strategy based on material forces and error assessment for plane problems and bimaterial interfaces, Computational Mechanics 41 (2007) 49–72.
  • Jawerth and Sweldens [1994] B. Jawerth, W. Sweldens, An overview of wavlet based multiresolution analyses, SIAM Review 36 (1994) 377–412.
  • Schneider and Vasilyev [2010] K. Schneider, O. V. Vasilyev, Wavelet methods in computational fluid dynamics, Annual Review of Fluid Mechanics 42 (2010) 473–503.
  • Liandrat and Tchamitchian [1990] J. Liandrat, P. Tchamitchian, Resolution of the 1D Regularized Burgers Equation Using a Spatial Wavelet Approximation, Technical Report, ICASE 90-83, 1990.
  • Beylkin and Keiser [1997] G. Beylkin, J. M. Keiser, On the adaptive numerical solution of nonlinear partial differential equations in wavelet bases, Journal of Computational Physics 132 (1997) 233–259.
  • Bertoluzza [1996] S. Bertoluzza, Adaptive wavelet collocation method for the solution of Burgers equation, Transport Theory and Statistical Physics 25 (1996) 339–352.
  • Ueno et al. [2003] T. Ueno, T. Ide, M. Okada, A wavelet collocation method for evolution equations with energy conservation property, Bulletin des Sciences Mathematiques 127 (2003) 569–583.
  • Quian and Weiss [1993] S. Quian, J. Weiss, Wavelets and the numerical solution of partial differential equations, Journal of Computational Physics 106 (1993) 155–175.
  • Kong et al. [2016] F. Kong, I. A. Kougioumtzoglou, P. D. Spanos, S. Li, Nonlinear systemresponse evolutionary power spectral density determination via a harmonicwavelets based galerkin technique, International Journal for Multiscale Computational Engineering 14 (2016) 255–272.
  • van Tuijl et al. [2019] R. van Tuijl, C. Harnish, K. Matouš, J. Remmers, M. Geers, Wavelet based reduced order models for microstructural analyses, Computational Mechanics 63 (2019).
  • Paolucci et al. [2014a] S. Paolucci, Z. J. Zikoski, D. Wirasaet, WAMR: An adaptive wavelet method for the simulation of compressible reacting flow part I. accuracy and efficiency of algorithm, Journal of Computational Physics 272 (2014a) 814–841.
  • Paolucci et al. [2014b] S. Paolucci, Z. J. Zikoski, T. Grenga, WAMR: An adaptive wavelet method for the simulation of compressible reacting flow part II. the parallel algorithm, Journal of Computational Physics 272 (2014b) 842–864.
  • Nejadmalayeri et al. [2015] A. Nejadmalayeri, A. Vezolainen, E. Brown-Dymkoski, O. V. Vasilyev, Parallel adaptive wavelet collocation method for PDEs, Journal of Computational Physics 298 (2015) 237–253.
  • Dubos and Kevlahan [2013] T. Dubos, N. K. Kevlahan, A conservative adaptive wavelet method for the shallow-water equations on staggered grids, Quarterly Journal of the Royal Meteorological Society 139 (2013) 1997–2020.
  • Sakurai et al. [2017] T. Sakurai, K. Yoshimatsu, K. Schneider, M. Farge, K. Morishita, T. Ishihara, Coherent structure extraction in turbulent channel flow using boundary adapted wavelets, Journal of Turbulence 18 (2017) 352–372.
  • Fröhlich and Schneider [1994] J. Fröhlich, K. Schneider, An Adaptive Wavelet Galerkin Algorithm for One-Dimensional and 2-Dimensional Flame Computations, European Journal of Mechanics B-Fluids 13 (1994) 439–471.
  • Goedecker [2009] S. Goedecker, Wavelets and their application for the solution of partial differential equations in physics, Technical Report, Max-Planck Institute for Solid State Research, 2009.
  • Iqbal and Jeoti [2014] A. Iqbal, V. Jeoti, An Improved Split-Step Wavelet Transform Method for Anomalous Radio Wave Propagation Modeling, Radioengineering 23 (2014) 987–996.
  • Le and Caracoglia [2015] T. H. Le, L. Caracoglia, Reduced-order wavelet-Galerkin solution for the coupled, nonlinear stochastic response of slender buildings in transient winds, Journal of Sound and Vibration 344 (2015) 179–208.
  • Lin and Zhou [2001] E. B. Lin, X. Zhou, Connection coefficients on an interval and wavelet solutions of Burgers equation, Journal of Computational and Applied Mathematics 135 (2001) 63–78.
  • Holmström [1999] M. Holmström, Solving hyperbolic PDEs using interpolating wavelets, SIAM Journal on Scientific Computing 21 (1999) 405–420.
  • Daubechies [1992] I. Daubechies, Ten Lectures on Wavelets, SIAM, 1992. doi:10.1137/1.9781611970104.
  • Cohen et al. [2000] A. Cohen, W. Dahmen, R. Devore, Multiscale decompositions on bounded domains, Transactions of the American Mathematical Society 352 (2000) 3651–3685.
  • Bacry et al. [1992] E. Bacry, S. Mallat, G. Papanicolaou, A Wavelet Based Space-Time Adaptive Numerical Method for Partial Differential Equations, Mathematical Modelling and Numerical Analysis 26 (1992) 793–834.
  • De Villiers et al. [2004] J. M. De Villiers, K. M. Goosen, B. M. Herbst, Dubuc-Deslauriers subdivision for finite sequences and interpolation wavelets on an interval, SIAM Journal on Mathematical Analysis 35 (2004) 423–452.
  • Beylkin [1992] G. Beylkin, On the representation of operators in bases of compactly supported wavelets, SIAM Journal on Numerical Analysis 6 (1992) 1716–1740.
  • Sweldens [1998] W. Sweldens, The lifting scheme: a construction of second generation wavelets, SIAM Journal on Mathematical Analysis 29 (1998) 511–546.
  • Burgos et al. [2013] R. B. Burgos, M. A. Cetale Santos, R. R. E. Silva, Deslauriers-Dubuc interpolating wavelet beam finite element, Finite Elements in Analysis and Design 75 (2013) 71–77.
  • Fujii and Hoefer [2003] M. Fujii, W. J. Hoefer, Interpolating wavelet collocation method of time dependent Maxwell’s equations: Characterization of electrically large optical waveguide discontinuities, Journal of Computational Physics 186 (2003) 666–689.
  • Donoho [1992] D. L. Donoho, Interpolating Wavelet Transforms, Technical Report, Stanford University, 1992.
  • Harnish et al. [2018] C. Harnish, K. Matouš, D. Livescu, Adaptive wavelet algorithm for solving nonlinear initial–boundary value problems with error control, International Journal for Multiscale Computational Engineering 16 (2018).
  • Harnish et al. [2021] C. Harnish, L. Dalessandro, K. Matouš, D. Livescu, A multiresolution adaptive wavelet method for nonlinear partial differential equations, International Journal for Multiscale Computational Engineering 19 (2021) 29–37.
  • Jameson [1993] L. Jameson, On the Daubechies-based wavelet differentiation matrix, Technical Report, ICASE 93-95, 1993.
  • Dahmen et al. [1999] W. Dahmen, A. Kunoth, K. Urban, Biorthogonal spline wavelets on the interval - stability and moment conditions, Applied and Computational Harmonic Analysis 6 (1999) 132–196.
  • Farge [1992] M. Farge, Wavelet transforms and their applications to turbulence, Annual Review of Fluid Mechanics 24 (1992) 395–457.
  • Rioul [1992] O. Rioul, Simple regularity criteria for subdivision schemes, SIAM Journal on Mathematical Analysis 23 (1992) 1544–1576.
  • Fehlberg [1970] E. Fehlberg, Classical fourth- and lower order Runge-Kutta formulas with stepsize control and their application to heat transfer problems, Computing 6 (1970) 61–71.
  • Domingues et al. [2009] M. O. Domingues, S. M. Gomes, O. Roussel, K. Schneider, Space-time adaptive multiresolution methods for hyperbolic conservation laws: Applications to compressible Euler equations, Applied Numerical Mathematics 59 (2009) 2303–2321.
  • Pathria [1997] D. Pathria, The correct formulation of intermediate boundary conditions for Runge-Kutta time integration of initial boundary value problems, SIAM Journal on Scientific Computing 18 (1997) 1255–1266.
  • Hesthaven and Gottlieb [1996] J. S. Hesthaven, D. Gottlieb, A stable penalty method for the compressible Navier-Stokes equations: I. Open boundary conditions, SIAM Journal on Scientific Computing 17 (1996) 579–612.
  • Schlick et al. [2021] T. Schlick, S. Portillo-Ledesma, M. Blaszczyk, L. Dalessandro, S. Ghosh, K. Hackl, C. Harnish, S. Kotha, D. Livescu, A. Masud, K. Matouš, A. Moyeda, C. Oskay, J. Fish, A multiscale vision – illustrative applications from biology to engineering, International Journal for Multiscale Computational Engineering 19 (2021) 39–73.
  • Sedov [1946] L. I. Sedov, Propagation of strong shock waves, Journal of Applied Mathematics and Mechanics 10 (1946) 241–250.
  • Ju J [1989] Ju J, On energy-based coupled elastoplastic damage theories: constitutive modeling and compuational aspects, International Journal of Solids and Structures 25 (1989) 803–833.
  • Ahmed and Khan [2021] A. Ahmed, R. Khan, A phase field model for damage in asphalt concrete, International Journal of Pavement Engineering (2021).
  • Christman [1972] D. R. Christman, Dynamic properties of poly (methylmethacrylate) (PMMA) (Plexiglas), Technical Report, GM Technical Center, Warren, Michigan, 1972.
  • Cheng et al. [1990] W. M. Cheng, G. A. Miller, J. A. Manson, R. W. Hertzberg, L. H. Sperling, Mechanical behaviour of poly(methyl methacrylate) – Part 1 Tensile strength and fracture toughness, Journal of Materials Science 25 (1990) 1917–1923.
  • Pluvinage and Capelle [2014] G. Pluvinage, J. Capelle, On characteristic lengths used in notch fracture mechanics, International Journal of Fracture 187 (2014) 187–197.
  • Wu et al. [2004] H. Wu, G. Ma, Y. Xia, Experimental study of tensile properties of PMMA at intermediate strain rate, Materials Letters 58 (2004) 3681–3685.
  • Chen et al. [2002] W. Chen, F. Lu, M. Cheng, Tension and compression tests of two polymers under quasi-static and dynamic loading, Polymer Testing 21 (2002) 113–121.
  • Miller et al. [1999] O. Miller, L. B. Freund, A. Needleman, Energy dissipation in dynamic fracture of brittle materials, Modelling and Simulation in Materials Science and Engineering 7 (1999) 573–586.
  • Zhang et al. [2007] Z. J. Zhang, G. H. Paulino, W. Celes, Extrinsic cohesive modelling of dynamic fracture and microbranching instability in brittle materials, International Journal for Numerical Methods in Engineering 72 (2007) 893–923.
  • Xu and Needleman [1994] X.-P. Xu, A. Needleman, Numerical simulations of fast crack growth in brittle solids, Journal of the Mechanics and Physics of Solids 42 (1994) 1397–1434.
  • Stewart et al. [2017] C. Stewart, V. Welch, B. Plale, G. Fox, M. Pierce, T. Sterling, Indiana University Pervasive Technology Institute, 2017. URL: https://pti.iu.edu/. doi:10.5967/K8G44NGB.