fluid | lens |
The goal of this work is to improve focusing of high-intensity ultrasound by modifying the geometry of acoustic lenses through shape optimization. We formulate the shape optimization problem by introducing a tracking-type cost functional to match a desired pressure distribution in the focal region. Westervelt's equation, a nonlinear acoustic wave equation, is used to model the pressure field. We apply the optimize first, then discretize approach, where we first rigorously compute the shape derivative of our cost functional. A gradient-based optimization algorithm is then developed within the concept of isogeometric analysis, where the geometry is exactly represented by splines at every gradient step and the same basis is used to approximate the equations. Numerical experiments in a $ 2 $D setting illustrate our findings.
Citation: |
Table 1. Physical parameter values
fluid | lens |
Table 2. Lens measurements
Table 3. Spatial grid sizes
Spatial degrees of freedom | |
Linear NURBS | Quadratic NURBS |
Table 4. Time integration and numerical parameter values
Time discretization | Method parameter | Tolerances |
Final time |
||
Table 5. Cost comparison with final lens shapes
Interpolated into the | ||
Optimization with | linear NURBS space | quadratic NURBS space |
linear NURBS | ||
quadratic NURBS |
[1] | L. Beirão da Veiga, A. Buffa, G. Sangalli and R. Vázquez, Mathematical analysis of variational isogeometric methods, Acta Numerica, 23 (2014), 157-287. doi: 10.1017/S096249291400004X. |
[2] | A. Blana, N. Walter, S. Rogenhofer and W. F. Wieland, High-intensity focused ultrasound for the treatment of localized prostate cancer: 5-year experience, Urology, 63 (2004), 297-300. doi: 10.1016/j.urology.2003.09.020. |
[3] | C. Brandenburg, F. Lindemann, M. Ulbrich and S. Ulbrich, Advanced numerical methods for PDE constrained optimization with application to optimal design in Navier Stokes flow, Constrained Optimization and Optimal Control for Partial Differential Equations, Springer Basel, 160 (2012), 257-275. doi: 10.1007/978-3-0348-0133-1_14. |
[4] | G. J. Brereton and B. A. Bruno, Particle removal by focused ultrasound, Journal of Sound and Vibration, 173 (1994), 683-698. doi: 10.1006/jsvi.1994.1253. |
[5] | M. S. Canney, Bailey, L. A. Crum, V. A. Khokhlova and O. A. Sapozhnikov, Acoustic characterization of high intensity focused ultrasound fields: A combined measurement and modeling approach, The Journal of the Acoustical Society of America, 124 (2008), 2406-2420. doi: 10.1121/1.2967836. |
[6] | S. Cho and S.-H. Ha, Isogeometric shape design optimization: Exact geometry and enhanced sensitivity, Structural and Multidisciplinary Optimization, 38 (2009), 53-70. doi: 10.1007/s00158-008-0266-z. |
[7] | J. Chung and G. M. Hulbert, A time integration algorithm for structural dynamics with improved numerical dissipation: the generalized-α method, Journal of Applied Mechanics, 60 (1993), 371-375. doi: 10.1115/1.2900803. |
[8] | D. Colton and R. Kress, Integral Equation Methods in Scattering Theory, Wiley, New York, 1983. |
[9] | J. A. Cottrell, T. J. R. Hughes and Y. Bazilevs, Isogeometric Analysis: Toward Integration of CAD and FEA, John Wiley & Sons, 2009. doi: 10.1002/9780470749081. |
[10] | D. G. Crighton, Model equations of nonlinear acoustics, Annual Review of Fluid Mechanics, 11 (1979), 11-33. |
[11] | F. Demengel, G. Demengel and R. Ern, Functional Spaces for the Theory of Elliptic Partial Differential Equations, London, UK: Springer, 2012. doi: 10.1007/978-1-4471-2807-6. |
[12] | G. Dogan, P. Morin, R. H. Nochetto and M. Verani, Discrete gradient flows for shape optimization and applications, Computer Methods in Applied Mechanics and Engineering, 196 (2007), 3898-3914. doi: 10.1016/j.cma.2006.10.046. |
[13] | B. Engquist and A. Majda, Absorbing boundary conditions for the numerical evaluation of waves, Proceedings of the National Academy of Sciences, 74 (1977), 1765-1766. doi: 10.1073/pnas.74.5.1765. |
[14] | K. Eppler and H. Harbrecht, Coupling of FEM and BEM in shape optimization, Numerische Mathematik, 104 (2006), 47-68. doi: 10.1007/s00211-006-0005-6. |
[15] | K. Eppler, H. Harbrecht and R. Schneider, On convergence in elliptic shape optimization, SIAM Journal on Control and Optimization, 46 (2007), 61-83. doi: 10.1137/05062679X. |
[16] | S. Erlicher, L. Bonaventura and O. S. Bursi, The analysis of the Generalized-α method for nonlinear dynamic problems, Computational Mechanics, 28 (2002), 83-104. doi: 10.1007/s00466-001-0273-z. |
[17] | C. de Falco, A. Reali and R. Vázquez, GeoPDEs: A research tool for Isogeometric Analysis of PDEs, Advances in Engineering Software, 42 (2011), 1020-1034. doi: 10.1016/j.advengsoft.2011.06.010. |
[18] | D. L. Folds, Speed of sound and transmission loss in silicone rubbers at ultrasonic frequencies, The Journal of the Acoustical Society of America, 56 (1974), 1295-1296. doi: 10.1121/1.1903422. |
[19] | D. Fußeder, A.-V. Vuong and B. Simeon, Fundamental aspects of shape optimization in the context of isogeometric analysis, Computer Methods in Applied Mechanics and Engineering, 286 (2015), 313-331. doi: 10.1016/j.cma.2014.12.028. |
[20] | D. Fußeder and B. Simeon, Algorithmic aspects of isogeometric shape optimization, In B. Jüttler and B. Simeon (editors), Isogeometric Analysis and Applications 2014, 183-207, Lect. Notes Comput. Sci. Eng., 107, Springer, Cham, 2015. |
[21] | P. Gangl, U. Langer, A. Laurain, H. Meftahi and K. Sturm, Shape optimization of an electric motor subject to nonlinear magnetostatics, SIAM Journal on Scientific Computing, 37 (2015), B1002-B1025. doi: 10.1137/15100477X. |
[22] | H. Harbrecht, Analytical and numerical methods in shape optimization, Mathematical Methods in the Applied Sciences, 31 (2008), 2095-2114. doi: 10.1002/mma.1008. |
[23] | J. Haslinger and P. Neittaanmäki, Finite Element Approximation for Optimal Shape, Material, and Topology Design, John Wiley & Sons, 1996. |
[24] | A. Henrot and M. Pierre, Variation et Optimisation de Formes: Une Analyse Géométrique, Springer Science & Business Media, 48, Springer, Berlin, 2005. doi: 10.1007/3-540-37689-5. |
[25] | J. Hoffelner, H. Landes, M. Kaltenbacher and R. Lerch, Finite element simulation of nonlinear wave propagation in thermoviscous fluids including dissipation, IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, 48 (2001), 779-786. doi: 10.1109/58.920712. |
[26] | S. Hofmann, M. Mitrea and M. Taylor, Geometric and transformational properties of Lipschitz domains, Semmes-Kenig-Toro Domains, and other classes of finite perimeter domains, The Journal of Geometric Analysis, 17 (2007), 593-647. doi: 10.1007/BF02937431. |
[27] | K. Höllig, Finite Element Methods with B-Splines, SIAM, 2003. doi: 10.1137/1.9780898717532. |
[28] | T. J. R. Hughes, J. A. Cottrell and Y. Bazilevs, Isogeometric analysis: CAD, finite elements, NURBS, exact geometry and mesh refinement, Computer Methods in Applied Mechanics and Engineering, 194 (2005), 4135-4195. doi: 10.1016/j.cma.2004.10.008. |
[29] | K. Ito, K. Kunisch and G. Peichl, Variational approach to shape derivatives for a class of Bernoulli problems, Journal of Mathematical Analysis and Applications, 314 (2006), 126-149. doi: 10.1016/j.jmaa.2005.03.100. |
[30] | K. Ito, K. Kunisch and G. Peichl, Variational approach to shape derivatives, ESAIM: Control, Optimisation and Calculus of Variations, 14 (2008), 517-539. doi: 10.1051/cocv:2008002. |
[31] | B. Kaltenbacher and I. Lasiecka, Well-posedness of the Westervelt and the Kuznetsov equation with nonhomogeneous Neumann boundary conditions, Discrete Contin. Dyn. Syst., Dynamical Systems, Differential Equations and Applications. 8th AIMS Conference. Suppl., 2 (2011), 763-773. |
[32] | B. Kaltenbacher, I. Lasiecka and S. Veljović, Well-posedness and exponential decay for the Westervelt equation with inhomogeneous Dirichlet boundary data, Progress in Nonlinear Differential Equations and Their Applications, 80 (2011), 357-387. doi: 10.1007/978-3-0348-0075-4_19. |
[33] | B. Kaltenbacher and G. Peichl, Sensitivity analysis for a shape optimization problem in lithotripsy, Evolution Equations and Control Theory(EECT), 5 (2016), 399-429. doi: 10.3934/eect.2016011. |
[34] | B. Kaltenbacher and S. Veljović, Sensitivity analysis of linear and nonlinear lithotripter models, European Journal of Applied Mathematics, 22 (2011), 21-43. doi: 10.1017/S0956792510000276. |
[35] | M. Kaltenbacher, Numerical Simulations of Mechatronic Sensors and Actuators, Springer, Berlin, 2004. |
[36] | J. E. Kennedy, High-intensity focused ultrasound in the treatment of solid tumors, Nature Reviews Cancer, 5 (2005), 321-327. |
[37] | J. E. Kennedy, F. Wu, G. R. Ter Haar, F. V. Gleeson, R. R. Phillips, M. R. Middleton and D. Cranston, High-intensity focused ultrasound for the treatment of liver tumors, Ultrasonics, 42 (2004), 931-935. |
[38] | J. Kiendl, R. Schmidt, R. Wüchner and K.-U. Bletzinger, Isogeometric shape optimization of shells using semi-analytical sensitivity analysis and sensitivity weighting, Computer Methods in Applied Mechanics and Engineering, 274 (2014), 148-167. doi: 10.1016/j.cma.2014.02.001. |
[39] | D. Kuhl and M. A. Crisfield, Energy-conserving and decaying algorithms in nonlinear structural mechanics, International Journal for Numerical Methods in Engineering, 45 (1999), 569-599. doi: 10.1002/(SICI)1097-0207(19990620)45:5<569::AID-NME595>3.0.CO;2-A. |
[40] | E. Laporte and P. Le Tallec, Numerical Methods in Sensitivity Analysis and Shape Optimization, Birkh'auser Boston, Inc., Boston, MA, 2003. doi: 10.1007/978-1-4612-0069-7. |
[41] | Y.-S. Lee, Numerical Solution of the KZK Equation for Pulsed Finite Amplitude Sound Beams in Thermoviscous Fluids, PhD Thesis, The University of Texas at Austin, 1993. |
[42] | D. Lee, N. Koizumi, K. Ota, S. Yoshizawa, A. Ito, Y. Kaneko, Y. Matsumoto and M. Mitsuishi, Ultrasound-based visual serving system for lithotripsy, Intelligent Robots and Systems, (2007), 877-882. |
[43] | F. Maestre, A. Münch and P. Pedregal, A spatio-temporal design problem for a damped wave equation, SIAM Journal on Applied Mathematics, 68 (2007), 109-132. doi: 10.1137/07067965X. |
[44] | E. Maloney and J. H. Hwang, Emerging HIFU applications in cancer therapy, International Journal of Hyperthermia, 31 (2015), 302-309. doi: 10.3109/02656736.2014.969789. |
[45] | J.G. Mancini, A. Neisius, N. Smith, G. Sankin, G. M. Astroza, M. E. Lipkin, W. N. Simmons, G. M. Preminger and P. Zhong, Assessment of a modified acoustic lens for electromagnetic shock wave lithotripters in a swine model, The Journal of Urology, 190 (2013), 1096-1101. doi: 10.1016/j.juro.2013.02.074. |
[46] | S. Meyer and M. Wilke, Optimal regularity and long-time behavior of solutions for the Westervelt equation, Applied Mathematics & Optimization, 64 (2011), 257-271. doi: 10.1007/s00245-011-9138-9. |
[47] | A. Münch, Optimal design of the support of the control for the 2-D wave equation: A numerical method, International Journal of Numerical Analysis and Modeling, 5 (2008), 331-351. |
[48] | F. Murat and S. Simon, Etudes de problems d'optimal design, Lecture Notes in Computer Science, 41 (1976), 54-62. |
[49] | A. Neisius, N. B. Smith, G. Sankin, N. J. Kuntz, J. F. Madden, D. E. Fovargue, S. Mitran, M. E. Lipkin, W. N. Simmons, G. M. Preminger and P. Zhong, Improving the lens design and performance of a contemporary electromagnetic shock wave lithotripter, Proceedings of the National Academy of Sciences, 111 (2014), E1167-E1175. doi: 10.1073/pnas.1319203111. |
[50] | N. M. Newmark, A method of computation for structural dynamics, Journal of Engineering Mechanics, ASCE, 85 (1959), 67-94. |
[51] | D. M. Nguyen, A. Evgrafov and J. Gravesen, Isogeometric shape optimization for scattering problems, Progress In Electromagnetics Research B, 45 (2012), 117-146. |
[52] | V. Nikolić and B. Kaltenbacher, Sensitivity analysis for shape optimization of a focusing acoustic lens in lithotripsy, Applied Mathematics and Optimization, 76 (2017), 261-301. doi: 10.1007/s00245-016-9340-x. |
[53] | P. Nortoft and J. Gravesen, Isogeometric shape optimization in fluid mechanics, Struct Multidisc Optim, 48 (2013), 909-925. doi: 10.1007/s00158-013-0931-8. |
[54] | A. Paganini, Numerical Shape Optimization with Finite Elements, PhD Thesis, ETH Zürich, 2016. |
[55] | S. H. Park, J. W. Yoon, D. Y. Yang and Y. H. Kim, Optimum blank design in sheet metal forming by the deformation path iteration method, International Journal of Mechanical Sciences, 41 (1999), 1217-1232. doi: 10.1016/S0020-7403(98)00084-8. |
[56] | R. F. Paterson, E. Barret, T. M. Siqueira, T. A. Gardner, J. Tavakkoli, V. V. Rao, N. T. Sanghvi, L. Cheng and A. L. Shalhav, Laparoscopic partial kidney ablation with high intensity focused ultrasound, The Journal of Urology, 169 (2003), 347-351. |
[57] | L. Piegl and W. Tiller, The NURBS Book, Springer, 1997. |
[58] | X. Qian and O. Sigmund, Isogeometric shape optimization of photonic crystals via Coons patches, Computer Methods in Applied Mechanics and Engineering, 200 (2011), 2237-2255. doi: 10.1016/j.cma.2011.03.007. |
[59] | T. D. Rossing (Ed.), Springer Handbook of Acoustics, Springer, 2014. |
[60] | L. Schumaker, Spline Functions: Basic Theory, 3rd Edition, Cambridge University Press, Cambridge, 2007. doi: 10.1017/CBO9780511618994. |
[61] | S. Veljović, Shape Optimization and Optimal Boundary Control for High Intensity Focused Ultrasound (HIFU), PhD Thesis, University of Erlangen-Nuremberg, 2009. |
[62] | W. A. Wall, M. A. Frenzel and C. Cyron, Isogeometric structural shape optimization, Computer Methods in Applied Mechanics and Engineering, 197 (2008), 2976-2988. doi: 10.1016/j.cma.2008.01.025. |
[63] | F. Wu, W. Z. Chen, J. Bai, J. Z. Zou, Z. L. Wang, H. Zhu and Z. B. Wang, Pathological changes in human malignant carcinoma treated with high-intensity focused ultrasound, Ultrasound in Medicine & Biology, 27 (2001), 1099-1106. doi: 10.1016/S0301-5629(01)00389-1. |
[64] | S. Yoshizawa, T. Ikeda, A. Ito, R. Ota, S. Takagi and Y. Matsumoto, High intensity focused ultrasound lithotripsy with cavitating microbubbles, Medical & Biological Engineering & Computing, 47 (2009), 851-860. doi: 10.1007/s11517-009-0471-y. |
[65] | P. Zhong, N. Smith, N. W. Simmons and G. Sankin, A new acoustic lens design for electromagnetic shock wave lithotripters, AIP Conference Proceedings, 1359 (2011), 42-47. doi: 10.1063/1.3607880. |
[66] | J.-P. Zolésio and M. C. Delfour, Shapes and Geometries: Metrics, Analysis, Differential Calculus, and Optimization, SIAM, 2011. doi: 10.1137/1.9780898719826. |