Salvus: Semi-analytic Test - Coupled

  • Code: Gar6more2D
  • Physis: Coupled acoustic/elastic wave equation

In this notebook will use Gar6more2D to generate a set of of semi-analytic solutions to the 2-D acoustic wave equation, and then compare these solutions to those computed within Salvus. To make things a bit more interesting, we will consider a domain bounded by one stress-free (free-surface) boundary, in an analogue to Lamb's problem in elastic media.

Copy
%config Completer.use_jedi = False
%matplotlib inline

# Stdlib packages
import os
import pathlib
import shutil
import subprocess

# Third party packages
import matplotlib.pyplot as plt

%matplotlib inline
import numpy as np
import obspy
import pyasdf

# Import things from SalvusFlow
import salvus_flow.api

# Configuration helpers from SalvusFlow.
import salvus_flow.simple_config as sc

# And some helper functions to run the integration tests.
from integration_test_mesh_helper import (
    get_mesh,
    Physics,
    AnalyticCode,
    read_gar6more,
)

# Number of processes SalvusCompute will run with.
# Get it from the environment or default to 4.
MPI_RANKS = int(os.environ.get("NUM_MPI_RANKS", 4))
# Choose on which site to run this.
SALVUS_FLOW_SITE_NAME = "local"

Gar6more2D

First we must compile and run Gar6more2D. As the Gar6more2D git repository is included here as a submodule, as long as the module has been pulled the following paths should work on your machine. The next cell should compile Gar6more2D in the default location (if it has not been compiled yet).

# Set up the paths for the Gar6more2D data and binaries.
gar6more2d_base_path = pathlib.Path("gar6more2d")
gar6more2d_build_path = gar6more2d_base_path / "build"
gar6more2d_bin = gar6more2d_build_path / "Gar6more2D.out"
gar6more2d_par_file_path = gar6more2d_build_path / "Gar6more2D.dat"

# Compile Gar6more2D
os.makedirs(gar6more2d_build_path, exist_ok=True)
if not os.path.exists(gar6more2d_bin):
    assert (
        subprocess.run(["cmake", ".."], cwd=gar6more2d_build_path).returncode
        == 0
    )
    assert subprocess.run(["make"], cwd=gar6more2d_build_path).returncode == 0

Now we generate the parameter file to pass to Gar6more2D. We choose a medium which is infinite on 3 sides, and which has a free-surface at the bottom boundary. We use a ricker source-time function to generate the acoustic wavefield, with a center frequency of 100100 HzHz. We place this source 250250 mm above the free surface boundary (0,250)(0, 250), and place 5 receivers 5050 mm above the same boundary, spaced equidistantly from x=200mx = -200 m to x=+200mx = +200 m. We compute the solution between 00 and 0.10.1 seconds, with a sampling interval of 1×1041 \times 10^{-4} seconds, for a total of 10001000 time samples. We also choose an acoustic wave velocity of 58005800 m/sm/s and a density of 26002600 kg/m3kg/m^3, which corresponds to a bulk modulus μ\mu of 8.7464×10108.7464 \times 10^{10}.

# Generate and write the parameter file.
amplitude = 1e2
time_step = 1e-4
center_frequency = 100.0
gar6more2d_par_file = """4 infinite medium (1), free surface (2), wall boundary (3) or bilayered medium(4)
0 first layer : acoustic (0) elastodynamic (1), poroelastic (2)
1d2 Central frequency of the source
1d9 Amplitude of the source
2d-2 Delay of the source
125d0 Height of the source
{:f}d0 Height of the line of receivers
-200d0 Abscissa of the first receiver
200d0  Abscissa of the last receiver
5 Numbers of receivers
0 Start time
1d-1 Stop time
1e-4 Time step
1000 Number of intervals for the numerical computation of the convolution
87464000000 2600 mu and rho
1 second layer : acoustic (0) elastodynamic (1), poroelastic (2)
41600000000 4264000000 2600 mu, lambda and rho
"""

Now, we generate the semi-analytic pressure solution, and read the results into an obspy stream object.

# Run code.
for rec_depth in [-0.1, +0.1]:

    with open(gar6more2d_par_file_path, "w") as fh:
        fh.write(gar6more2d_par_file.format(rec_depth))
    assert (
        subprocess.run(
            ["./Gar6more2D.out"], cwd=gar6more2d_build_path
        ).returncode
        == 0
    )

    # Read data.
    if rec_depth == -0.1:
        gar6more2d_data_file = gar6more2d_build_path / "Ux.dat"
        gar6more2d_data_ux = obspy.Stream(read_gar6more(gar6more2d_data_file))
        gar6more2d_data_file = gar6more2d_build_path / "Uy.dat"
        gar6more2d_data_uy = obspy.Stream(read_gar6more(gar6more2d_data_file))
    else:
        gar6more2d_data_file = gar6more2d_build_path / "P.dat"
        gar6more2d_data_p = obspy.Stream(read_gar6more(gar6more2d_data_file))

Now, we will run a fully numerical simulations in Salvus, and attempt to replicate the semi-analytic seismograms. For the sake of brevity, we've left the specifics of the mesh and parameter file generation to the IntegrationTestMesh.py module, which is shared between all integration test instances. Feel free to peak inside to see how the meshes are made -- or alternatively check out the meshing tutorials for a more in-depth explanation.

# Adjust the scaling of the source term to be equivalent to what is
# used in GAR6MORE.
bulk_modulus = 8.7464e10
gar6more_scale = bulk_modulus / (2 * np.pi ** 2 * center_frequency ** 2)
source_amplitude = amplitude / gar6more_scale

Generate Source and Receivers

Use the helper objects in SalvusFlow to generate sources, receivers, and boundary conditions.

source = sc.source.cartesian.ScalarPoint2D(
    x=500.0,
    y=375.0,
    f=source_amplitude,
    source_time_function=sc.source.stf.Ricker(
        center_frequency=center_frequency
    ),
)
# Generate 5 receivers in the acoustic part.
receivers_acoustic = [
    sc.receiver.cartesian.Point2D(
        station_code=str(i), x=x, y=250.1, fields=["phi"]
    )
    for i, x in enumerate(range(300, 701, 100))
]

# And 5 in the elastic part
receivers_elastic = [
    sc.receiver.cartesian.Point2D(
        station_code=str(i + 5), x=x, y=249.9, fields=["displacement"]
    )
    for i, x in enumerate(range(300, 701, 100))
]

# Combine to a single list.
receivers = receivers_acoustic + receivers_elastic
boundary = sc.boundary.Absorbing(
    side_sets=["y1"], width_in_meters=0.0, taper_amplitude=0.0
)

Finally run the simulations for a number of different shape mapping orders.

output_dirs = []

# Run for a number of different shape orders.
for shape_order in [1, 2, 4]:

    # Setup the mesh for this simulation.
    mesh = get_mesh(
        dimension=2,
        analytic_code=AnalyticCode.Gar6more2D,
        physics=Physics.COUPLED,
        n_elem_per_wavelength=2,
        polynomial_order=4,
        shape_order=shape_order,
    )

    # Unique job name.
    job_name = f"GAR6MORE2D_COUPLED_SHAPE_ORDER_{shape_order}"
    output_dirs.append(pathlib.Path(job_name) / "output")

    # Configure Salvus
    w = sc.simulation.Waveform()
    w.set_mesh(mesh)

    w.physics.wave_equation.start_time_in_seconds = -2e-2
    w.physics.wave_equation.end_time_in_seconds = 8e-2
    w.physics.wave_equation.time_step_in_seconds = time_step

    w.add_sources(source)
    w.add_receivers(receivers)
    w.add_boundary_conditions(boundary)

    # The input files can optionally be already validated.
    w.validate()

    salvus_flow.api.run(
        site_name=SALVUS_FLOW_SITE_NAME,
        output_folder=output_dirs[-1],
        input_file=w,
        ranks=MPI_RANKS,
        get_all=True,
        overwrite=True,
    )
Job `job_1910230025837605_2de225a20e` running on `local` with 4 rank(s).
Site information:
  * Salvus version: 0.10.6
  * Floating point size: 32
* Downloaded 101.0 KB of results to `GAR6MORE2D_COUPLED_SHAPE_ORDER_1/output`.
* Total run time: 1.82 seconds.
* Pure simulation time: 1.35 seconds.
Job `job_1910230025656854_5dcf9ef5e0` running on `local` with 4 rank(s).
Site information:
  * Salvus version: 0.10.6
  * Floating point size: 32
* Downloaded 101.0 KB of results to `GAR6MORE2D_COUPLED_SHAPE_ORDER_2/output`.
* Total run time: 1.79 seconds.
* Pure simulation time: 1.44 seconds.
Job `job_1910230025533182_d4c315ff8d` running on `local` with 4 rank(s).
Site information:
  * Salvus version: 0.10.6
  * Floating point size: 32
* Downloaded 101.0 KB of results to `GAR6MORE2D_COUPLED_SHAPE_ORDER_4/output`.
* Total run time: 2.57 seconds.
* Pure simulation time: 2.28 seconds.

Finally, we'll now read in the seismograms from Salvus, and plot them overtop the semi-analytic solutions we generated in Gar6more2D. If you've used all the default settings, things should match up exactly. However, feel free to play with some parameters to see how the accuracy can be increased or decreased. Note that, since these are our actual analytic tests, a reduction in accuracy may cause the np.testing.assert_allclose line to fail. If you encounter this, and would still like to see the effect of your changes on the seismograms, feel free to comment out that line.

# Setup the figure.
f, ax = plt.subplots(5, 1, figsize=(15, 30), sharex=True)
ax[0].set_title(
    "Integration Test (Gar6more2D // COUPLED [Acoustic / Elastic])"
)

# Read in the data produced by Salvus.
for output_dir in output_dirs:
    with pyasdf.ASDFDataSet(output_dir / "receivers.h5") as dataset:

        # Loop over the receivers in both Gar6more2D and Salvus,
        # and plot them overtop of one another.
        above = [dataset.waveforms[i] for i in dataset.waveforms.list()[:5]]
        below = [dataset.waveforms[i] for i in dataset.waveforms.list()[5:]]

        for _i, (a, sa, se, gx, gy, ga) in enumerate(
            zip(
                ax,
                above,
                below,
                gar6more2d_data_ux,
                gar6more2d_data_uy,
                gar6more2d_data_p,
            )
        ):

            # Get both solutions. Yes I know.
            analytic_ux = gx.copy().differentiate().normalize().data[:750]
            salvus_ux = -se.displacement[0].normalize().data[:750]
            analytic_uy = gy.copy().differentiate().normalize().data[:750]
            salvus_uy = -se.displacement[1].normalize().data[:750]
            analytic_p = ga.normalize().copy().data[:750]
            salvus_p = sa.displacement[0].normalize().data[:750]

            # Plot (should deploy these to some server).
            if _i != 2:
                a.plot(analytic_ux, label="Gar6more2D_ux", ls="solid")
                a.plot(salvus_ux, label="Salvus_ux", ls="dashed")
            a.plot(analytic_uy, label="Gar6more2D_uy", ls="solid")
            a.plot(salvus_uy, label="Salvus_uy", ls="dashed")
            a.plot(analytic_p, label="Gar6more2D_p", ls="solid")
            a.plot(salvus_p, label="Salvus_p", ls="dashed")
            a.set_xlabel("Time sample")
            a.set_ylabel("Normalized amplitude")
            if _i != 2:
                pass
                np.testing.assert_allclose(analytic_ux, salvus_ux, atol=1e1)
            np.testing.assert_allclose(analytic_uy, salvus_uy, atol=1e-1)
            np.testing.assert_allclose(analytic_p, salvus_p, atol=1e-1)
/miniconda/envs/py37/lib/python3.7/site-packages/pyasdf/asdf_data_set.py:56: UserWarning: Attempting to normalize by dividing through zero. This is not allowed and the data will thus not be changed.
  closure_warn(self, *args, **kwargs)
PAGE CONTENTS