This work considers Bayesian experimental design for the inverse boundary value problem of linear elasticity in a two-dimensional setting. The aim is to optimize the positions of compactly supported pressure activations on the boundary of the examined body in order to maximize the value of the resulting boundary deformations as data for the inverse problem of reconstructing the Lamé parameters inside the object. We resort to a linearized measurement model and adopt the framework of Bayesian experimental design, under the assumption that the prior and measurement noise distributions are mutually independent Gaussians. This enables the use of the standard Bayesian A-optimality criterion for deducing optimal positions for the pressure activations. The (second) derivatives of the boundary measurements with respect to the Lamé parameters and the positions of the boundary pressure activations are deduced to allow minimizing the corresponding objective function, i.e., the trace of the covariance matrix of the posterior distribution, by gradient-based optimization algorithms. Two-dimensional numerical experiments are performed to test the functionality of our approach: all introduced algorithms are able to improve experimental designs, but only exhaustive search reliably finds a global minimizer.
Citation: |
Figure 4. Exhaustive search on a $ 200\times 200\times 200 $ grid. Left: Optimal design of three pressure activations corresponding to the arclength parameter triplet $ p^* = (0.72, 1.28, 2.72) $. Middle: Progress of the search, with an "iteration" referring to the instances when the estimate for $ p^* $ was updated in the exhaustive search. Right: Evolution of the optimization target, with the final optimal value $ \Phi_{\rm A}(p^*) = 1.46 \cdot 10^{18} $
Figure 5. Greedy sequential algorithm. Left: Optimized design for three pressure activations corresponding to the arclength parameter triplet $ p^* = (0.92, 2.34, 2.92) $. Middle: Progress of the algorithm, with each "iteration" referring to an introduction of a new pressure activation whose position has been optimized by a one-dimensional exhaustive search. Right: Evolution of the optimization target, with the final value $ \Phi_{\rm A}(p^*) = 1.52 \cdot 10^{18} $
Figure 6. Sequential algorithm enhanced by gradient descent. Left: Optimized design for three pressure activations corresponding to the arclength parameter triplet $ p^* = (0.72, 1.29, 2.71) $. Middle: Progress of the algorithm, with an "iteration" referring to the introduction of a new pressure activation via a one-dimensional exhaustive search or a step of gradient descent for fine-tuning the design after such an introduction. Right: Evolution of the optimization target, with the final value $ \Phi_{\rm A}(p^*) = 1.46 \cdot 10^{18} $
Figure 7. Exhaustive search on a $ 200\times 200\times 200 $ grid for a finer discretization of the Lamé parameters with 200 degrees of freedom. Left: Optimal design of three pressure activations corresponding to the arclength parameter triplet $ p^* = (0.74, 1.26, 3.14) $. Middle: Progress of the search, with an "iteration" referring to the instances when the estimate for $ p^* $ was updated in the exhaustive search. Right: Evolution of the optimization target, with the final optimal value $ \Phi_{\rm A}(p^*) = 6.62 \cdot 10^{18} $
Figure 8. Greedy sequential algorithm. Left: Optimized design for ten pressure activations. Middle: Progress of the algorithm, with each "iteration" referring to an introduction of a new pressure activation whose position has been optimized by a one-dimensional exhaustive search. Right: Evolution of the optimization target, with the final value $ \Phi_{\rm A}(p^*) = 3.86 \cdot 10^{17} $
Figure 9. Sequential algorithm enhanced by gradient descent. Left: Optimized design for ten pressure activations. Middle: Progress of the algorithm, with an "iteration" referring to the introduction of a new pressure activation via a one-dimensional exhaustive search or a step of gradient descent for fine-tuning the design after such an introduction. Right: Evolution of the optimization target, with the final value $ \Phi_{\rm A}(p^*) = 3.78 \cdot 10^{17} $
Figure 11. Exhaustive search for a stiff material (gray cast iron). Left: Optimal design of three pressure activations corresponding to the arclength parameter triplet $ p^* = (1.10, 2.88, 3.31) $. Middle: Progress of the search, with an "iteration" referring to the instances when the estimate for $ p^* $ was updated in the exhaustive search. Right: Evolution of the optimization target, with the final optimal value $ \Phi_{\rm A}(p^*) = 5.42\cdot 10^{20} $
Figure 12. Exhaustive search for soft material (rubber). Left: Optimal design of three pressure activations corresponding to the arclength parameter triplet $ p^* = (1.12, 2.72, 3.29) $. Middle: Progress of the search, with an "iteration" referring to the instances when the estimate for $ p^* $ was updated in the exhaustive search. Right: Evolution of the optimization target, with the final optimal value $ \Phi_{\rm A}(p^*) = 9.32\cdot 10^{16} $
Figure 13. Exhaustive search on a $ 200\times 200\times 200 $ grid with the standard deviation of noise decreased to one tenth compared to Figure 4. Left: Optimal design of three pressure activations corresponding to the arclength parameter triplet $ p^* = (0.68, 1.16, 2.70) $. Middle: Progress of the search, with an "iteration" referring to the instances when the estimate for $ p^* $ was updated in the exhaustive search. Right: Evolution of the optimization target, with the final optimal value $ \Phi_{\rm A}(p^*) = 1.22 \cdot 10^{18} $
[1] |
A. Alexanderian, Optimal experimental design for infinite-dimensional Bayesian inverse problems governed by PDEs: A review, Inverse Problems, 37 (2021), 043001.
doi: 10.1088/1361-6420/abe10c.![]() ![]() ![]() |
[2] |
A. Alexanderian, P. J. Gloora and O. Ghattas, On Bayesian A- and D-optimal experimental designs in infinite dimensions, Bayesian Anal., 11 (2016), 671-695.
doi: 10.1214/15-BA969.![]() ![]() ![]() |
[3] |
A. Alexanderian, N. Petra, G. Stadler and O. Ghattas, A-optimal design of experiments for infinite-dimensional Bayesian linear inverse problems with regularized $l_0$-sparsification, SIAM J. Sci. Comput., 36 (2014), A2122-A2148.
doi: 10.1137/130933381.![]() ![]() ![]() |
[4] |
A. Alexanderian, N. Petra, G. Stadler and O. Ghattas, A fast and scalable method for A-optimal design of experiments for infinite-dimensional Bayesian nonlinear inverse problems, SIAM J. Sci. Comput., 38 (2016), A243-A272.
doi: 10.1137/140992564.![]() ![]() ![]() |
[5] |
A. Alexanderian, N. Petra, G. Stadler and I. Sunseri, Optimal design of large-scale Bayesian linear inverse problems under reducible model uncertainty: Good to know what you don't know, SIAM/ASA J. Uncertainty Quantification, 9 (2021), 163-184.
doi: 10.1137/20M1347292.![]() ![]() ![]() |
[6] |
H. Ammari, E. Bretin, J. Garnier, H. Kang, H. Lee and A. Wahab, Mathematical Methods in Elasticity Imaging, Princeton University Press, 2015.
doi: 10.1515/9781400866625.![]() ![]() ![]() |
[7] |
S. Andrieux, A. B. Abda and H. D. Bui, Reciprocity principle and crack identification, Inverse Problems, 15 (1999), 59-65.
doi: 10.1088/0266-5611/15/1/010.![]() ![]() ![]() |
[8] |
P. E. Barbone and N. H. Gokhale, Elastic modulus imaging: On the uniqueness and nonuniqueness of the elastography inverse problem in two dimensions, Inverse Problems, 20 (2004), 283-296.
doi: 10.1088/0266-5611/20/1/017.![]() ![]() ![]() |
[9] |
J. Beck, B. M. Dia, L. F. Espath, Q. Long and R. Tempone, Fast Bayesian experimental design: Laplace-based importance sampling for the expected information gain, Comput. Methods Appl. Mech. Eng., 334 (2018), 523-553.
doi: 10.1016/j.cma.2018.01.053.![]() ![]() ![]() |
[10] |
E. Beretta, E. Francini, A. Morassi, E. Rosset and S. Vessella, Lipschitz continuous dependence of piecewise constant Lamé coefficients from boundary data: The case of non-flat interfaces, Inverse Problems, 30 (2014), 125005.
doi: 10.1088/0266-5611/30/12/125005.![]() ![]() ![]() |
[11] |
E. Beretta, E. Francini and S. Vessella, Uniqueness and lipschitz stability for the identification of Lamé parameters from boundary measurements, Inverse Probl. Imaging, 8 (2014), 611-644.
doi: 10.3934/ipi.2014.8.611.![]() ![]() ![]() |
[12] |
M. Burger, A. Hauptmann, T. Helin, N. Hyvönen and J.-P. Puska, Sequentially optimized projections in x-ray imaging, Inverse Problems, 37 (2021), 0750006.
doi: 10.1088/1361-6420/ac01a4.![]() ![]() ![]() |
[13] |
C. I. Cârstea, N. Honda and G. Nakamura, Uniqueness in the inverse boundary value problem for piecewise homogeneous anisotropic elasticity, SIAM J. Math. Anal., 50 (2018), 3291-3302.
doi: 10.1137/17M1125662.![]() ![]() ![]() |
[14] |
K. Chaloner and I. Verdinelli, Bayesian experimental design: A review, Stat. Sci., 10 (1995), 273-304.
doi: 10.1214/ss/1177009939.![]() ![]() ![]() |
[15] |
A. Doubova and E. Fernández-Cara, Some geometric inverse problems for the Lamé system with applications in elastography, Appl. Math. Optim., 82 (2020), 1-21.
doi: 10.1007/s00245-018-9487-8.![]() ![]() ![]() |
[16] |
M. M. Doyley, Model-based elastography: A survey of approaches to the inverse elasticity problem, Phys. Med. Biol., 57 (2012), R35-R73.
doi: 10.1088/0031-9155/57/3/R35.![]() ![]() |
[17] |
D.-L. Duong, T. Helin and J. R. Rojo-Garcia, Stability estimates for the expected utility in Bayesian optimal experimental design, Inverse Problems, 39 (2023), 125008.
doi: 10.1088/1361-6420/ad04ec.![]() ![]() ![]() |
[18] |
S. Eberle and B. Harrach, Shape reconstruction in linear elasticity: Standard and linearized monotonicity method, Inverse Problems, 37 (2021), 045006.
doi: 10.1088/1361-6420/abc8a9.![]() ![]() ![]() |
[19] |
S. Eberle and B. Harrach, Monotonicity-based regularization for shape reconstruction in linear elasticity, Comput. Mech., 69 (2022), 1069-1086.
doi: 10.1007/s00466-021-02121-2.![]() ![]() ![]() |
[20] |
S. Eberle, B. Harrach, H. Meftahi and T. Rezgui, Lipschitz stability estimate and reconstruction of Lamé parameters in linear elasticity, Inverse Probl. Sci. Eng., 29 (2021), 396-417.
doi: 10.1080/17415977.2020.1795151.![]() ![]() ![]() |
[21] |
S. Eberle and J. Moll, Experimental detection and shape reconstruction of inclusions in elastic bodies via a monotonicity method, Int. J. Solids Struct., 233 (2021), 111169.
doi: 10.1016/j.ijsolstr.2021.111169.![]() ![]() |
[22] |
S. Eberle-Blick and B. Harrach, Resolution guarantees for the reconstruction of inclusions in linear elasticity based on monotonicity methods, Inverse Problems, 39 (2023), 075006.
doi: 10.1088/1361-6420/accb07.![]() ![]() ![]() |
[23] |
G. Eskin and J. Ralston, On the inverse boundary value problem for linear isotropic elasticity, Inverse Problems, 18 (2002), 907-921.
doi: 10.1088/0266-5611/18/3/324.![]() ![]() ![]() |
[24] |
T. Etling and R. Herzog, Optimum experimental design by shape optimization of specimens in linear elasticity, SIAM J. Appl. Math., 78 (2018), 1553-1576.
doi: 10.1137/17M1147743.![]() ![]() ![]() |
[25] |
R. Ferrier, M. Kadri and P. Gosselet, Planar crack identification in 3D linear elasticity by the reciprocity gap method, Comput. Methods Appl. Mech. Eng., 355 (2019), 193-215.
doi: 10.1016/j.cma.2019.06.017.![]() ![]() ![]() |
[26] |
H. Garde and N. Hyvönen, Series reversion in Calderón's problem, Math. Comp., 91 (2022), 1925-1953.
doi: 10.1090/mcom/3729.![]() ![]() ![]() |
[27] |
X. Huan, Accelerated Bayesian Experimental Design for Chemical Kinetic Models, PhD thesis, Massachusetts Institute of Technology, 2010.
![]() |
[28] |
X. Huan and Y. M. Marzouk, Simulation-based optimal Bayesian experimental design for nonlinear systems, J. Comput. Phys., 232 (2013), 288-317.
doi: 10.1016/j.jcp.2012.08.013.![]() ![]() ![]() |
[29] |
S. Hubmer, E. Sherina, A. Neubauer and O. Scherzer, Lamé parameter estimation from static displacement field measurements in the framework of nonlinear inverse problems, SIAM J. Imag. Sci., 11 (2018), 1268-1293.
doi: 10.1137/17M1154461.![]() ![]() ![]() |
[30] |
N. Hyvönen, A. Seppänen and S. Staboulis, Optimizing electrode positions in electrical impedance tomography, SIAM J. Appl. Math., 74 (2014), 1831-1851.
doi: 10.1137/140966174.![]() ![]() ![]() |
[31] |
M. Ikehata, Inversion formulas for the linearized problem for an inverse boundary value problem in elastic prospection, SIAM J. Appl. Math., 50 (1990), 1635-1644.
doi: 10.1137/0150097.![]() ![]() ![]() |
[32] |
M. Ikehata, Stroh eigenvalues and identification of discontinuity in an anisotropic elastic material, Contemp. Math., 408 (2006), 231-247.
doi: 10.1090/conm/408/07696.![]() ![]() ![]() |
[33] |
M. Ikehata, G. Nakamura and K. Tanuma, Identification of the shape of the inclusion in the anisotropic elastic body, Appl. Anal., 72 (1999), 17-26.
doi: 10.1080/00036819908840727.![]() ![]() ![]() |
[34] |
O. Y. Imanuvilov and M. Yamamoto, On reconstruction of Lamé coefficients from partial Cauchy data, J. Inverse Ill-Posed Problems, 19 (2011), 881-891.
doi: 10.1515/JIIP.2011.060.![]() ![]() ![]() |
[35] |
B. Jadamba, A. Khan and F. Raciti, On the inverse problem of identifying Lamé coefficients in linear elasticity, Comput. Math. with Appl., 56 (2008), 431-443.
doi: 10.1016/j.camwa.2007.12.016.![]() ![]() ![]() |
[36] |
J. Kaipio and E. Somersalo, Statistical and Computational Inverse Problems, vol. 160, Springer-Verlag, New York, 2005.
![]() ![]() |
[37] |
Y.-H. Lin and G. Nakamura, Boundary determination of the Lamé moduli for the isotropic elasticity system, Inverse Problems, 33 (2017), 125004.
doi: 10.1088/1361-6420/aa942d.![]() ![]() ![]() |
[38] |
Q. Long, M. Scavino, R. Tempone and S. Wang, Fast estimation of expected information gains for Bayesian experimental designs based on Laplace approximations, Comput. Methods Appl. Mech. Eng., 259 (2013), 24-39.
doi: 10.1016/j.cma.2013.02.017.![]() ![]() ![]() |
[39] |
L. Marin and D. Lesnic, Regularized boundary element solution for an inverse boundary value problem in linear elasticity, Commun. Numer. Methods Eng., 18 (2002), 817-825.
doi: 10.1002/cnm.541.![]() ![]() |
[40] |
L. Marin and D. Lesnic, Boundary element-Landweber method for the Cauchy problem in linear elasticity, IMA J. Appl. Math., 70 (2005), 323-340.
doi: 10.1093/imamat/hxh034.![]() ![]() ![]() |
[41] |
G. Nakamura, K. Tanuma and G. Uhlmann, Layer stripping for a transversely isotropic elastic medium, SIAM J. Appl. Math., 59 (1999), 1879-1891.
doi: 10.1137/S0036139998337164.![]() ![]() ![]() |
[42] |
G. Nakamura and G. Uhlmann, Identification of Lamé parameters by boundary measurements, Am. J. Math., 115 (1993), 1161-1187.
doi: 10.2307/2375069.![]() ![]() ![]() |
[43] |
G. Nakamura and G. Uhlmann, Global uniqueness for an inverse boundary value problem arising in elasticity, Invent. Math., 118 (1994), 457-474.
doi: 10.1007/BF01231541.![]() ![]() ![]() |
[44] |
G. Nakamura and G. Uhlmann, Inverse problems at the boundary for an elastic medium, SIAM J. Math. Anal., 26 (1995), 263-279.
doi: 10.1137/S0036141093247494.![]() ![]() ![]() |
[45] |
J. Nocedal and S. J. Wright, Numerical Optimization, 2$^{nd}$ edition, Springer, New York, 2006.
![]() ![]() |
[46] |
A. A. Oberai, N. H. Gokhale, M. M. Doyley and J. C. Bamber, Evaluation of the adjoint equation based algorithm for elasticity imaging, Phys. Med. Biol., 49 (2004), 2955-2974.
doi: 10.1088/0031-9155/49/13/013.![]() ![]() |
[47] |
A. A. Oberai, N. H. Gokhale and G. R. Feijóo, Solution of inverse problems in elasticity imaging using the adjoint method, Inverse Problems, 19 (2003), 297-313.
doi: 10.1088/0266-5611/19/2/304.![]() ![]() ![]() |
[48] |
O. Pohjavirta, Optimization of Projection Geometries in X-ray Tomography, Master's thesis, Aalto University, 2021.
![]() |
[49] |
T. Rainforth, A. Foster, D. R. Ivanova and F. B. Smith, Modern Bayesian experimental design, Statist. Sci., 39 (2024), 100-114.
doi: 10.1214/23-sts915.![]() ![]() ![]() |
[50] |
E. G. Ryan, C. C. Drovandi, J. M. McGree and A. N. Pettitt, A review of modern computational algorithms for Bayesian optimal design, Int. Stat. Rev., 84 (2016), 128-154.
doi: 10.1111/insr.12107.![]() ![]() ![]() |
[51] |
D. T. Seidl, A. A. Oberai and P. E. Barbone, The coupled adjoint-state equation in forward and inverse linear elasticity: Incompressible plane stress, Comput. Methods Appl. Mech. Eng., 357 (2019), 112588.
doi: 10.1016/j.cma.2019.112588.![]() ![]() ![]() |
[52] |
D. T. Seidl, B. G. van Bloemen Waanders and T. M. Wildey, Simultaneous inversion of shear modulus and traction boundary conditions in biomechanical imaging, Inverse. Probl. Sci. Eng., 28 (2020), 256-276.
doi: 10.1080/17415977.2019.1603222.![]() ![]() ![]() |
[53] |
P. Steinhorst and A.-M. Sändig, Reciprocity principle for the detection of planar cracks in anisotropic elastic material, Inverse Problems, 28 (2012), 085010.
doi: 10.1088/0266-5611/28/8/085010.![]() ![]() ![]() |
[54] |
K. Wu, P. Chen and O. Ghattas, An offline-online decomposition method for efficient linear Bayesian goal-oriented optimal experimental design: application to optimal sensor placement, SIAM J. Sci. Comput., 45 (2023), B57-B77.
doi: 10.1137/21M1466542.![]() ![]() ![]() |
[55] |
K. Wu, P. Chen and O. Ghattas, A fast and scalable computational framework for large-scale and high-dimensional Bayesian optimal experimental design, SIAM/ASA J. Uncertain. Quantif., 11 (2023), 235-261.
doi: 10.1137/21M1466499.![]() ![]() ![]() |
Test object
The pressure field
Subdomains of
Exhaustive search on a
Greedy sequential algorithm. Left: Optimized design for three pressure activations corresponding to the arclength parameter triplet
Sequential algorithm enhanced by gradient descent. Left: Optimized design for three pressure activations corresponding to the arclength parameter triplet
Exhaustive search on a
Greedy sequential algorithm. Left: Optimized design for ten pressure activations. Middle: Progress of the algorithm, with each "iteration" referring to an introduction of a new pressure activation whose position has been optimized by a one-dimensional exhaustive search. Right: Evolution of the optimization target, with the final value
Sequential algorithm enhanced by gradient descent. Left: Optimized design for ten pressure activations. Middle: Progress of the algorithm, with an "iteration" referring to the introduction of a new pressure activation via a one-dimensional exhaustive search or a step of gradient descent for fine-tuning the design after such an introduction. Right: Evolution of the optimization target, with the final value
Gradient descent with an equidistant initial guess for the pressure activations. Left: Optimized design of ten pressure activations. Middle: Progress of the algorithm. Right: Evolution of the optimization target, with the final value
Exhaustive search for a stiff material (gray cast iron). Left: Optimal design of three pressure activations corresponding to the arclength parameter triplet
Exhaustive search for soft material (rubber). Left: Optimal design of three pressure activations corresponding to the arclength parameter triplet
Exhaustive search on a