Semi-analytical and numerical methods for computing transient waves in 2D acoustic / poroelastic stratified media

Wave propagation in a stratified fluid / porous medium is studied here using analytical and numerical methods. The semi-analytical method is based on an exact stiffness matrix method coupled with a matrix conditioning procedure, preventing the occurrence of poorly conditioned numerical systems. Special attention is paid to calculating the Fourier integrals. The numerical method is based on a high order finite-difference time-domain scheme. Mesh refinement is applied near the interfaces to discretize the slow compressional diffusive wave predicted by Biot's theory. Lastly, an immersed interface method is used to discretize the boundary conditions. The numerical benchmarks are based on realistic soil parameters and on various degrees of hydraulic contact at the fluid / porous boundary. The time evolution of the acoustic pressure and the porous velocity is plotted in the case of one and four interfaces. The excellent level of agreement found to exist between the two approaches confirms the validity of both methods, which cross-checks them and provides useful tools for future researches.Comment: Wave Motion (2012) XX

Wave propagation across acoustic / Biot's media: a finite-difference method

Numerical methods are developed to simulate the wave propagation in heterogeneous 2D fluid / poroelastic media. Wave propagation is described by the usual acoustics equations (in the fluid medium) and by the low-frequency Biot's equations (in the porous medium). Interface conditions are introduced to model various hydraulic contacts between the two media: open pores, sealed pores, and imperfect pores. Well-possedness of the initial-boundary value problem is proven. Cartesian grid numerical methods previously developed in porous heterogeneous media are adapted to the present context: a fourth-order ADER scheme with Strang splitting for time-marching; a space-time mesh-refinement to capture the slow compressional wave predicted by Biot's theory; and an immersed interface method to discretize the interface conditions and to introduce a subcell resolution. Numerical experiments and comparisons with exact solutions are proposed for the three types of interface conditions, demonstrating the accuracy of the approach.Comment: Communications in Computational Physics (2012) XX

Penalization of Robin boundary conditions

International audienceThis paper is devoted to the mathematical analysis of a method based on fictitious domain approach. Boundary conditions of Robin type (also known as Fourier boundary conditions) are enforced using a penalization method. A complete description of the method and a full analysis are provided for univariate elliptic and parabolic problems using finite difference approximation. Numerical evidence of the predicted estimations is provided as well as numerical results for a nonlinear problem and a first extension of the method in the bivariate situation is proposed

A High-Resolution Penalization Method for large Mach number Flows in the presence of Obstacles

International audienceA penalization method is applied to model the interaction of large Mach number compressible flows with obstacles. A supplementary term is added to the compressible Navier-Stokes system, seeking to simulate the effect of the Brinkman-penalization technique used in incompressible flow simulations including obstacles. We present a computational study comparing numerical results obtained with this method to theoretical results and to simulations with Fluent software. Our work indicates that this technique can be very promising in applications to complex flows

Wave simulation in 2D heterogeneous transversely isotropic porous media with fractional attenuation: a Cartesian grid approach

International audienceA time-domain numerical modeling of transversely isotropic Biot poroelastic waves is proposed in two dimensions. The viscous dissipation occurring in the pores is described using the dynamic permeability model developed by Johnson-Koplik-Dashen (JKD). Some of the coefficients in the Biot-JKD model are proportional to the square root of the frequency. In the time-domain, these coefficients introduce shifted fractional derivatives of order 1/21/2, involving a convolution product. Based on a diffusive representation, the convolution kernel is replaced by a finite number of memory variables that satisfy local-in-time ordinary differential equations, resulting in the Biot-DA (diffusive approximation) model. The properties of both the Biot-JKD and the Biot-DA model are analyzed: hyperbolicity, decrease of energy, dispersion. To determine the coefficients of the diffusive approximation, two approaches are analyzed: Gaussian quadratures and optimization methods in the frequency range of interest. The nonlinear optimization is shown to be the better way of determination. A splitting strategy is then applied to approximate numerically the Biot-DA equations. The propagative part is discretized using a fourth-order ADER scheme on a Cartesian grid, whereas the diffusive part is solved exactly. An immersed interface method is implemented to take into account heterogeneous media on a Cartesian grid and to discretize the jump conditions at interfaces. Numerical experiments are presented. Comparisons with analytical solutions show the efficiency and the accuracy of the approach, and some numerical experiments are performed to investigate wave phenomena in complex media, such as multiple scattering across a set of random scatterers

A 2D Time domain numerical method for the low frequency biot model

National audienceA numerical method is proposed to simulate the propagation of transient poroelastic waves across 2D heterogeneous media, in the low frequency range. A velocity-stress formulation of Biot's equations is followed, leading to a first-order system of partial differential equations. This system is splitted in two parts: a propagative one discretized by a fourth-order ADER scheme, and a diffusive one that is solved analytically. Near material interfaces, a space-time mesh refinement is implemented to capture the small spatial scales related to the slow compressional wave. Lastly, an immersed interface method is implemented to accurately model the jump conditions between the different media and the geometry of the interfaces. Numerical experiments and comparisons with exact solutions confirm the efficiency and the accuracy of the approach

Analytical solution to the 1D nonlinear elastodynamics with general constitutive laws

International audienceUnder the hypothesis of small deformations, the equations of 1D elastodynamics write as a 2 × 2 hyperbolic system of conservation laws. Here, we study the Riemann problem for convex and nonconvex constitutive laws. In the convex case, the solution can include shock waves or rarefaction waves. In the nonconvex case, compound waves must also be considered. In both convex and nonconvex cases, a new existence criterion for the initial velocity jump is obtained. Also, admissibility regions are determined. Lastly, analytical solutions are completely detailed for various constitutive laws (hyperbola, tanh and polynomial), and reference test cases are proposed

Biot-JKD model: simulation of 1D transient poroelastic waves with fractional derivatives

A time-domain numerical modeling of Biot poroelastic waves is presented. The viscous dissipation occurring in the pores is described using the dynamic permeability model developed by Johnson-Koplik-Dashen (JKD). Some of the coefficients in the Biot-JKD model are proportional to the square root of the frequency: in the time-domain, these coefficients introduce order 1/2 shifted fractional derivatives involving a convolution product. Based on a diffusive representation, the convolution kernel is replaced by a finite number of memory variables that satisfy local-in-time ordinary differential equations. Thanks to the dispersion relation, the coefficients in the diffusive representation are obtained by performing an optimization procedure in the frequency range of interest. A splitting strategy is then applied numerically: the propagative part of Biot-JKD equations is discretized using a fourth-order ADER scheme on a Cartesian grid, whereas the diffusive part is solved exactly. Comparisons with analytical solutions show the efficiency and the accuracy of this approach.Comment: arXiv admin note: substantial text overlap with arXiv:1210.036