METHOD FOR MODELING ACOUSTICS IN AN UNBOUNDED DOMAIN

Information

  • Patent Application
  • 20250131159
  • Publication Number
    20250131159
  • Date Filed
    October 18, 2024
    6 months ago
  • Date Published
    April 24, 2025
    10 days ago
Abstract
A computer-implemented method for modeling acoustics of an object as a numerical simulation model in an unbounded domain to determine a field variable within a control volume of the unbounded domain includes providing a coordinate system mapping positions in the control volume. A geometrical specification of a sound source is provided in the control volume based on the coordinate system. To improve efficiency of numerically modelling transient acoustics wave propagation phenomena in unbounded domains, a convex shape is constructed around the sound source using Quickhull algorithm, infinite elements are extruded starting from the convex shape, and the coordinate system is transformed into a field variable coordinate system by mapping a radial coordinate of the coordinate system to an auxiliary coordinate extending from the convex shape to the infinite elements. Field shape functions are constructed using the auxiliary coordinate, and the field variable is determined by solving the numerical simulation model.
Description

This application claims the benefit of European Patent Application No. EP 23204348.9, filed on Oct. 18, 2023, which is hereby incorporated by reference in its entirety.


FIELD

The present embodiments relate to modeling acoustics in an unbounded domain to determine a field variable within a control volume of the domain.


The analysis of the sound characteristics of industrial machines is crucial in various applications (e.g., in the automotive, aerospace, and marine industries). On one side, in many instances, engineers are to design their products paying attention to the sound quality and sound levels, to make the products more attractive for potential customers. On the other side, the increasing awareness on the potential health risks linked to exposures to high sound levels has led to more stringent regulations on sound emissions in urban environment.


In addition, in the industrial world, there is a growing interest towards digital twins. In this context, high fidelity 3D simulation models are used not only during the design phase of a product cycle, but also during the operation phase, where the high fidelity 3D simulation models may be combined with measurement data, through virtual sensing algorithms, to gain further insights into the state of the product. High fidelity 3D simulation models are typically more complex and expensive to develop, but high fidelity 3D simulation models provide a more accurate and realistic simulation of the system being modeled than surrogate models.


Smart virtual sensing algorithms are known from [24].


In the context of this disclosure, a digital twin is a virtual replica of a physical object, system, or process that is used to simulate and analyze its behavior and performance. A digital twin is typically created using data from sensors, cameras, and other sources that capture information about the physical object or system, and combine the captured information with the simulation model of the said object. The digital twin may be used to test and optimize its performance under different conditions. The digital twin enables better monitoring and control of physical systems, allowing for predictive maintenance and improved performance.


The digital twin technology is instrumental in many scenarios (e.g., in structural health monitoring applications). Due to the nature of this problem, compact representations of high-fidelity models that may be used to run stable time domain simulations are to be provided.


Digital twin technology is known from, for example, the publication Hartmann, D., & Van der Auweraer, H. (2022) “The Executable Digital Twin: merging the digital and the physics worlds” arXiv preprint arXiv:2210.17402 or from De Miguel, A. G., Atak, O., & Blanco, M. A., “A Digital Twin for full-field monitoring in multi-channel control with applications to direct field acoustic testing.”


For many (vibro-) acoustic applications, sound waves are to be modeled travelling to infinity, with the sound waves travelling away and not being reflected back.


BACKGROUND

Some background knowledge known to a skilled person in the technical field of the invention has been provided by the following publications:

  • [1]D. Givoli, Computational absorbing boundaries, in: Computational acoustics of noise propagation in fluids-finite and boundary element methods, Springer, 2008, pp. 145-166.
  • [2]A. Bayliss, E. Turkel, Radiation boundary conditions for wave-like equations, Communications on Pure and applied Mathematics 33 (1980) 707-725.
  • [3]J.-P. Berenger, A perfectly matched layer for the absorption of electromagnetic waves, Journal of computational physics 114 (1994) 185-200.
  • [4]U. Basu, A. K. Chopra, Perfectly matched layers for transient elastodynamics of unbounded domains, International journal for numerical methods in engineering 59 (2004) 1039-1074.
  • [5]J. Diaz, P. Joly, A time domain analysis of pml models in acoustics, Computer methods in applied mechanics and engineering 195 (2006) 3820-3853.
  • [6]Z. Chen, X. Wu, Long-time stability and convergence of the uniaxial perfectly matched layer method for time-domain acoustic scattering problems, SIAM Journal on Numerical Analysis 50 (2012) 2632-2655.
  • [7]A. Modave, A. Kameni, J. Lambrechts, E. Delhez, L. Pichon, C. Geuzaine, An optimum pml for scattering problems in the time domain, The European Physical Journal-Applied Physics 64 (2013).
  • [8]A. Modave, J. Lambrechts, C. Geuzaine, Perfectly matched layers for convex truncated domains with discontinuous galerkin time domain simulations, Computers & Mathematics with Applications 73 (2017) 684-700.
  • [9]S. Francois, H. Goh, L. F. Kallivokas, Non-convolutional second-order complex-frequency-shifted perfectly matched layers for transient elastic wave propagation, Computer Methods in Applied Mechanics and Engineering 377 (2021) 113704.
  • [10]B. Kaltenbacher, M. Kaltenbacher, I. Sim, A modified and stable version of a perfectly matched layer technique for the 3-d second order wave equation in time domain with an application to aeroacoustics, Journal of computational physics 235 (2013) 407-422.
  • [11]P. Bettess, O. Zienkiewicz, Diffraction and refraction of surface waves using finite and infinite elements, International Journal for Numerical Methods in Engineering 11 (1977) 1271-1290.
  • [12]K. Gerdes, The conjugated vs. the unconjugated infinite element method for the helmholtz equation in exterior domains, Computer Methods in Applied Mechanics and Engineering 152 (1998) 125-145.
  • [13]R. Astley, G. Macaulay, J.-P. Coyette, L. Cremers, Three-dimensional wave-envelope elements of variable order for acoustic radiation and scattering. part i. formulation in the frequency domain, The Journal of the Acoustical Society of America 103 (1998) 49-63.
  • [14]L. Cremers, K. Fyfe, J. Coyette, A variable order infinite acoustic wave envelope element, Journal of Sound and Vibration 171 (1994) 483-508.
  • [15]O. Zienkiewicz, K. Bando, P. Bettess, C. Emson, T. Chiam, Mapped infinite elements for exterior wave problems, International Journal for Numerical Methods in Engineering 21 (1985) 1229-1251.
  • [16]W. Eversman, Mapped infinite wave envelope elements for acoustic radiation in a uniformly moving medium, Journal of Sound and Vibration 224 (1999) 665-687.
  • [17]D. S. Burnett, A three-dimensional acoustic infinite element based on a prolate spheroidal multipole expansion, The Journal of the Acoustical Society of America 96 (1994) 2798-2816.
  • [18]D. S. Burnett, R. L. Holford, Prolate and oblate spheroidal acoustic infinite elements, Computer Methods in Applied Mechanics and Engineering 158 (1998) 117-141.
  • [19]D. S. Burnett, R. L. Holford, An ellipsoidal acoustic infinite element, Computer methods in applied mechanics and engineering 164 (1998) 49-76.
  • [20]R. Astley, Transient wave envelope elements for wave problems, Journal of Sound and Vibration 192 (1996) 245-261.
  • [21]R. Astley, J. Hamilton, Infinite elements for transient flow acoustics, in: 7th AIAA/CEAS Aeroacoustics Conference and Exhibit, 2001, p. 2273.
  • [22]R. Astley, J.-P. Coyette, L. Cremers, Three-dimensional wave-envelope elements of variable order for acoustic radiation and scattering. part ii. formulation in the time domain, The Journal of the Acoustical Society of America 103 (1998) 64-72.
  • [23]S. van Ophem, O. Atak, E. Deckers, W. Desmet, Stable model order reduction for time-domain exterior vibro-acoustic finite element simulations, Computer Methods in Applied Mechanics and Engineering 325 (2017) 240-264.
  • [24]D. Bizzarri, O. Atak, S. van Ophem, H. Bériot, T. Tamarozzi, P. Jiranek, L. Scurria, A. Garcia de Miguel, M. Alvarez Blanco, K. Janssens, W. Desmet, Model order reduction and smart virtual sensing for unbounded vibro-acoustics using high order fem and infinite elements, Proceedings of ISMA/USD 2022 (2022).
  • [25]A. van de Walle, The power of model order reduction in vibroacoustics: And its applications in model-based sensing, Ph.D. thesis, KU Leuven, 2018.
  • [26]S. van Ophem, Novel reduction techniques for exterior vibro-acoustic models and their use in model-based sensing and identification (2019).
  • [27]S. van Ophem, B. Forrier, D. Bizzarri, O. Atak, A. de Miguel, M. Elkafafy, M. Dal Borgo, T. Tamarozzi, M. Alvarez Blanco, K. Janssens, et al., Physics-based virtual acoustic sensing for enhanced direct field acoustic excitation testing, Proceedings of ISMA/USD 2022 (2022).
  • [28]R. Astley, J. Hamilton, The stability of infinite element schemes for transient wave problems, Computer methods in applied mechanics and engineering 195 (2006) 3553-3571.
  • [29]R. Holford, A multipole expansion for the acoustic field exterior to a prolate or oblate spheroid, J. Acoust. Soc. Am., submitted (1998).
  • [30]R. Astley, Mapped spheroidal wave-envelope elements for unbounded wave problems, International Journal for Numerical Methods in Engineering 41 (1998) 1235-1254.
  • [31]R. Astley, Transient spheroidal elements for unbounded wave problems, Computer methods in applied mechanics and engineering 164 (1998) 3-15.
  • [32]R. Astley, Infinite elements for wave problems: a review of current formulations and an assessment of accuracy, International Journal for Numerical Methods in Engineering 49 (2000) 951-976.
  • [33]R. Astley, J.-P. Coyette, The performance of spheroidal infinite elements, International Journal for Numerical Methods in Engineering 52 (2001) 1379-1396.
  • [34]L.-X. Li, S. Kunimatsu, J.-S. Sun, H. Sakamoto, A new conjugated mapped infinite element, Journal of Computational Acoustics 12 (2004) 543-570.
  • [35]D. Dreyer, O. von Estorff, Improved conditioning of infinite elements for exterior acoustics, International Journal for Numerical Methods in Engineering 58 (2003) 933-953.
  • [36]C. B. Barber, D. P. Dobkin, H. Huhdanpaa, The quickhull algorithm for convex hulls, ACM Transactions on Mathematical Software (TOMS) 22 (1996) 469-483.
  • [37] Siemens industry software simcenter nastran user's guide (version 2022.1), https://docs.sw.siemens.com/en-US/doc/289054037/PL20201105151514625.xid1853788/xid1853789, 2022.
  • [38]R. J. Astley, Infinite elements, in: Computational Acoustics of Noise Propagation in Fluids-Finite and Boundary Element Methods, Springer, 2008, pp. 197-230.
  • [39]R. Astley, G. Macaulay, J. Coyette, Mapped wave envelope elements for acoustical radiation and scattering, Journal of Sound and Vibration 170 (1994) 97-118.
  • [40]C. H. Wilcox, A generalization of theorems of rellich and atkinson, Proceedings of the American Mathematical Society 7 (1956) 271-276.
  • [41]O. Zaleski, W.-C. von Karstedt, O. von Estorff, Zur modellierung mit boundary elementen und finiten elementen bei schallabstrahlungsberechnungen. 1, in: Deutschsprachige Anwender-Konferenz SYSNOISE, Bühlerhöhe, 1999.
  • [42]D. Dreyer, S. Petersen, O. von Estorff, Effectiveness and robustness of improved infinite elements for exterior acoustics, Computer Methods in Applied Mechanics and Engineering 195 (2006) 3591-3607.
  • [43]R. Astley, J. Hamilton, Numerical studies of conjugated infinite elements for acoustical radiation, Journal of Computational Acoustics 8 (2000) 1-24.
  • [44]D. Dreyer, Efficient infinite elements for exterior acoustics, Shaker, 2004.
  • [45]K. Gerdes, A review of infinite element methods for exterior helmholtz problems, Journal of Computational Acoustics 8 (2000) 43-62.
  • [46]J. Cipolla, Acoustic infinite elements with improved robustness, in: Proceedings of ISMA, 2002, pp. 2181-2187.
  • [47]H. Bériot, A. Modave, An automatic perfectly matched layer for acoustic finite element simulations in convex domains of general shape, International Journal for Numerical Methods in Engineering 122 (2021) 1239-1261.
  • [48]H. Bériot, A. Prinn, G. Gabard, Efficient implementation of high-order finite elements for helmholtz problems, International Journal for Numerical Methods in Engineering 106 (2016) 213-240.
  • [49]H. Bériot, G. Gabard, Anisotropic adaptivity of the p-fem for timeharmonic acoustic wave propagation, Journal of Computational Physics 378 (2019) 234-256.
  • [50]J. Biermann, O. von Estorff, S. Petersen, C. Wenterodt, Higher order finite and infinite elements for the solution of helmholtz problems, Computer Methods in Applied Mechanics and Engineering 198 (2009) 1171-1188.
  • [51]C. Geuzaine, J.-F. Remacle, Gmsh: A 3-d finite element mesh generator with built-in pre- and post-processing facilities, International journal for numerical methods in engineering 79 (2009) 1309-1331.
  • [52]D. Leykekhman, Math 3795: Introduction to computational mathematics, 2008.


A few options are disclosed in the literature to numerically model transient (vibro-) acoustics wave propagation phenomena in unbounded domains; the most popular techniques include modelling the exterior domain using infinite elements and perfectly matched layers (PML).


PML is a technique used in computational acoustics to model the behavior of sound waves in unbounded regions. The PML was originally developed for use in electromagnetic simulations. The PML technique involves constructing a layer around the computational domain that gradually absorbs the waves as the waves propagate away from the domain. This layer is designed to mimic the properties of an infinite medium, effectively eliminating reflections, and preventing wave leakage into the surrounding space.


At continuous level, no reflections take place at the interface between the FEM and the exterior domain, for any angle of incidence [3]. Various PML formulations for time domain simulations exist [10; 7; 5].


However, there are a number of problems associated with such transient PML formulations: a) to make the system matrices frequency independent, new auxiliary variables are introduced in the PML layer. This provides that for transient calculations the number of degrees of freedom (DOFs) is considerably larger than corresponding frequency-domain simulations. This leads to large time and memory requirements to build the ROMs. As another problem, b) these formulations are usually quite complex and difficult to implement in a simulation software, and c) the stability analysis of many of the formulations presented in literature is not easy to carry out. Each formulation requires a separate inspection [5]. For the formulation presented in [10], some terms are to be suppressed to stabilize transient simulations, introducing new approximation errors. As another problem, d) from [26], it is known in the context of model order reduction (MOR) to guarantee that stability properties are preserved after the projection step (e.g., necessary to use a split-basis approach), which results in larger reduced order models. In a numerical experiment, analyzing a plate radiating in the free field, the author compared the efficiency of the PML and infinite elements for time-domain MOR: the author showed that infinite elements resulted in a smaller full order model (e.g., making the reduction procedure faster) and that the number of DOFs in the final ROM was three times smaller than the one obtained from the PML configuration. The added DOFs lead to larger calculation time for the PML formulation.


A number of model order reduction (MOR) techniques are known in the field of engineering and applied mathematics. Some of the most common techniques include 1. Proper Orthogonal Decomposition (POD). This technique reduces the dimensionality of a system by identifying the most important modes of variation in the system using a statistical method. This technique is often used in fluid dynamics, structural mechanics, and other fields. Another technique includes 2. Balanced Truncation. This technique reduces the dimensionality of a system by balancing the energy of the system between its inputs and outputs. This technique is often used in control systems and linear systems. Another technique includes 3. Krylov Subspace Methods. This technique reduces the dimensionality of a system by approximating the response of the system using a subspace of the Krylov sequence. This technique is often used in linear systems and control systems. Another technique includes 4. Model Reduction via Interpolation (MRI). This technique reduces the dimensionality of a system by approximating the transfer function of the system using a set of interpolation points. This technique is often used in control systems, circuit simulation, and other fields. Another technique includes 5. Reduced Basis Methods. This technique reduces the dimensionality of a system by constructing a basis for the solution space of the system using a set of snapshot solutions. This technique is often used in finite element analysis, structural mechanics, and other fields.


These techniques are used to reduce the complexity of mathematical models and simulations, making the mathematical models and simulations easier to solve and more computationally efficient. These techniques are widely used in engineering, physics, and other fields to analyze and optimize complex systems and processes.


The Infinite Element Method (IFEM) is a popular alternative to the PML, particularly competitive for time domain models. The Astley-Leis infinite element formulation [20] leads to frequency independent system matrices and may be easily used for transient simulations. Two types of Astley-Leis formulations exist: 1. the standard Astley-Leis formulation [39] is based on the truncated multipole expansion written in spherical coordinates (e.g., the Atkinson Wilcox expansion [40]); 2. the spheroidal formulation [28] on is based on the truncated multipole expansion written in spheroidal coordinates.


Hereby, the main difference between spherical and spheroidal coordinates is that spherical coordinates describe a point in terms of its distance from a fixed point and two angles, while spheroidal coordinates describe a point in terms of its distance from a fixed point and two angles that define its orientation relative to a more complex shape, such as an ellipsoid.


Both formulations rely on a singular mapping between the infinite physical elements and the corresponding finite parent elements. For each infinite element, the distance from, for example, the virtual source is mapped to a parent element radial coordinate; to form the shape functions, the usual polynomials written in parent coordinates are used. For the standard Astley-Leis formulation to accurately capture the correct solution, the virtual sources should coincide with the center of the smallest sphere circumscribing all the sound sources (e.g., center of radiation) in the problem analyzed. When this constraint is not met, the accuracy of the solution is not guaranteed.


In this context, a parent element is a reference element that is used as a template to construct the finite element model of a physical domain. The parent element may have a simple geometric shape, such as a triangle, quadrilateral, tetrahedron, or hexahedron.


The parent element is defined by a set of nodal points, or nodes, that are used to interpolate the solution within the element. The nodal points may be located at the vertices, edges, or faces of the parent element, and the solution is approximated by a polynomial or piecewise polynomial function that satisfies continuity and differentiability conditions. The parent element may be transformed and mapped onto the physical domain using a set of geometric transformations, such as affine transformations or isoparametric mappings.


In this context, shape functions are mathematical functions used to interpolate the values of a field variable within each finite element.


The use of the standard Astley-Leis formulation permits to use FEM domains of any convex shape for frequency-domain calculations. For transient simulations relying on such formulation, however, the infinite elements should be extruded orthogonally to the exterior FEM boundary envelope to provide the stability of the method [4]. This, together with the above-mentioned criterion on the positioning of the virtual sources, imposes to use a spherical truncation of the FEM domain. For the analysis of elongated scatterers in time domain, this provides that an unnecessarily large mesh is to be used, leading to prohibitive number of DOFs, as shown in FIG. 1, when standard Astley-Leis infinite elements are used.


The spheroidal Astley-Leis formulation circumvents this issue by allowing to fit a smaller FEM domain around the scatter.


In [32, 33], it was demonstrated that for such formulation, the radial order of the shape functions often needs to be higher than for the standard Astley-Leis formulation, offsetting the benefits of using a smaller FEM domain.


It is therefore shown that the issue of automatically extruding the infinite elements has not yet been solved; it appears that the issue has not been addressed in prior literature.


A particularly challenging case is when only the FEM mesh is available and the geometry is not modelled with a CAD tool. In this case, the geometric data needed to extrude the infinite elements is to be computed directly from the mesh of the FEM region. A version of the PML (e.g., automatically matched layer (AML)) has been reported in [47] for which the user must only provide the scatterer geometry (e.g., either a CAD model or a FEM mesh); then, the acoustic interior convex domain is generated automatically using the, for example, Quickhull Algorithm, which is known from [36], and the AML is extruded automatically during run time. The AML, however, is only available for frequency-domain simulations.


In this context, the Quickhull algorithm is a computational geometry algorithm used to compute the convex hull of a set of points in a multi-dimensional space.


The convex hull of a set of points is the smallest convex polygon that encloses all the points in the set. In other words, the convex hull is the outermost boundary of the set of points. The Quickhull algorithm is a divide-and-conquer algorithm that recursively partitions the set of points into smaller subsets and finds the convex hull of each subset.


A divide-and-conquer algorithm is a well-known problem-solving strategy that involves breaking down a problem into smaller, more manageable sub-problems and solving each sub-problem separately. The solutions to the sub-problems are then combined to solve the original problem. Here, the strategy is applied to the geometry problem as known from [36].


Hence, the challenge to numerically model transient (vibro-) acoustics wave propagation phenomena in unbounded domains is still open in the prior art.


SUMMARY AND DESCRIPTION

The scope of the present invention is defined solely by the appended claims and is not affected to any degree by the statements within this summary.


The present embodiments may obviate one or more of the drawbacks or limitations in the related art. For example, efficiency of numerically modelling transient (vibro-)acoustics wave propagation phenomena in unbounded domains may be improved.


A computer-implemented method includes the additional acts of: (c) constructing a convex shape around the sound source using Quickhull algorithm; (d) extruding infinite elements starting from the convex shape; (e) transforming the coordinate system into a field variable coordinate system by mapping a radial coordinate of the coordinates to an auxiliary coordinate extending from the convex shape to the infinite elements; (f1) constructing the shape functions using the auxiliary coordinate; and (g) determining the field variable by solving the numerical simulation model.


According to the present embodiments, the numerical simulation model concerns numerically modelling transient (vibro-)acoustics wave propagation phenomena in unbounded domains. Therefore, the model may be understood and termed as being a model for ‘numerically modelling transient (vibro-) acoustics wave propagation phenomena in unbounded domains.’


In one embodiment, the field variable is a pressure field. In one embodiment, the field variable may be a pressure field or any derivative of the parameter pressure field.


The basic idea of the present embodiments is an infinite element formulation, which may be referred to as the flexible infinite element, that may be used in combination with the finite element method (FEM) to efficiently model the time domain propagation of sound waves in unbounded media. For example, the new formulation addresses the challenge to make such transient unbounded vibroacoustic simulations very fast and compact, such that the transient unbounded vibroacoustic simulations may be used in Digital Twin scenarios, including applications where the simulations need to run close to real time.


The governing equations describing the physical behavior of sound waves may be written in frequency or in time domain. In frequency domain simulations, the input signal is represented as a sum of harmonic waves. By breaking down the signal into its individual frequency components, the steady-state pressure response at each frequency may be computed separately. Time domain simulations (e.g., transient simulations) model sound waves as variations of pressure over time. For digital twin applications, time domain descriptions are prominent.


The problem of efficiently and accurately simulating the propagation of sound waves in unbounded domains has been widely researched in the past decades. The non-reflection condition may be modelled in various ways with the finite element method (FEM) or, alternatively, with other numerical methods, such as the boundary element method (BEM). The time domain version of BEM does not lend itself to easy building of reduced order models (ROMs). Since such compact representations are needed in digital twin scenarios, the focus of the invention is on FEM.


Since FEM is a domain discretization method, modelling the infinite domains is not inherently possible. The FEM mesh is to be truncated, and non-reflecting boundary conditions are to be enforced on the exterior boundary to prevent the acoustic waves from travelling back into the FEM domain.


The present embodiments present a novel flexible infinite element formulation. This is a unique method that allows the use of general convex-shaped envelopes for infinite elements, while being time-stable; its geometrical flexibility makes it particularly attractive to simulate the sound scattered by elongated structures. The method is also compatible with MOR techniques, because the method has frequency independent system matrices. Therefore, the method also allows compact representations.


Unlike existing formulations that build the infinite elements shape functions based on a standard mapping between the distance from the virtual sources and the radial parent element coordinate, a new auxiliary mapping is introduced between the radial coordinate and a new auxiliary coordinate (see FIG. 3). The usual parent element coordinates are used for the definition of the geometric interpolation, while the polynomials for the shape functions inside the infinite elements are expressed in terms of new auxiliary parent element coordinates that consist of the standard parent element coordinates in the tangential directions and the new auxiliary coordinate in the radial direction, as shown in FIG. 3. In this formulation, the shape functions closely mimic the truncated spherical multipole expansion, in any geometric configuration.


Therefore, the numerical scheme may provide accurate results, irrespective of the positioning of the mapping nodes in the infinite domain. As such, the new formulation is geometrically flexible, allowing to attach the infinite elements to general convex-shaped envelopes, without compromising the accuracy for transient simulations.


To guarantee the time stability of the flexible infinite element formulation, an accuracy-preserving stabilization procedure has been successfully developed.


According to the present embodiments, the Quickhull algorithm is used to generate the convex acoustic domain around any given scatterer, while the mapping nodes inside the infinite elements are extruded orthogonally to exterior FEM boundary at run time, with the normal directions computed using the same rules as in [12]. Thanks to the adopted strategy, the user intervention is kept to a minimum for the construction of the acoustic and exterior domain, even when no CAD of the scatterer geometry is available.


In addition, as the proposed method results in frequency independent system matrices, the method may be easily combined with MOR methods such as Krylov based methods. This aspect, together with the geometric flexibility of the new formulation, unlocks new digital twin applications in the field of unbounded (vibro-) acoustics.


An embodiment provides that in act (e), the auxiliary coordinate for positions outside of the convex shape is defined as:







v

(

s
,
t
,

v
_


)

:=

1
-


2



r
Γ
e

(

s
,
t

)




r
e

(

s
,
t
,

v
_


)







where:

    • s,t,v are 3-dimensional coordinates that parametrize the position external of the convex shape (s,t are the tangential coordinates, v is the radial coordinate);
    • identifying the point on the border Γ of the convex shape that is closest to the external position, rΓe is the distance between the center of radiation and this specific point on F;
    • re(s, t, v) defines the distance between the center of radiation and the position;
    • v(s, t, v) is the auxiliary coordinate.


This transformation enables a quick and accurate modelling and solving of the acoustics to determine the field variable within a reasonable time.


Another embodiment provides displaying the field variable and/or key figures calculated from the field variable or images illustrating the field variable to a user. By default, the displaying uses a monitor as a human machine interface informing the user about the acoustic behavior of the object.


Another embodiment includes an act of providing the field variable to an iterative object design process of the object for designing the object with the design goal of improving acoustic emission.


Another embodiment includes an act of generating the object according to a design as determined by the iterative object design process. This generation may be done by any manufacturing or production method.


The iterative object design may include as acts of: selecting at least one design parameter of the object (OBJ) design to be improved; providing an iteration abortion criterion as a threshold value for the field variable or a key figures calculated from the field variable; defining at least two variants (VRT) of the object (OBJ) differing in the selected design parameter; modelling the acoustics of the variants (VRT) according to the present embodiments; selecting the best variants from the defined variants based on the modelling results; repeating the acts of defining, modelling, selecting until the abortion criterion is met; selecting the design parameter of the variant that meets the abortion criterion; optionally select at least one different design parameter and processing the same iteration as defined above for the newly selected at least one different design parameter.


This process is robust and efficient. Other iterative object design strategies may be applicable, too.


Further, the present embodiments relate to a computer product arranged and configured to execute the acts of the computer-implemented method according to the present embodiments.


Further, the present embodiments relates to a computer-readable medium (e.g., a non-transitory computer-readable storage medium) encoded with executable instructions that, when executed, cause the computer product defined above to carry out a method according to the present embodiments.


Further, the present embodiments relate to a system for determining acoustic parameters of an emission of the system. The system includes at least one processor being prepared by upload of computer-executable code to perform a method according to the present embodiments.


The finite element method (FEM) is one of the most popular techniques to simulate the propagation of acoustic waves, as it allows to efficiently solve complicated problems, by discretizing the physical domain of interest. The simulation of wave fields in unbounded regions represents a challenge, because computers can only handle a finite number of elements. The simplest, but rather inaccurate, approach consists in applying an impedance boundary condition at the artificial boundary of the finite element domain [1]. High-order absorbing boundary conditions [2] and the perfectly matched layer (PML) [3] represent more accurate alternatives. In particular, the PML has been proven to be very efficient for the solution of wave problems in the frequency domain. The PML has also been extensively studied for transient applications (see [4]-[10] and references therein). However, for time-domain simulations, the PML requires the use of auxiliary variables; the resulting increase in the number of degrees of freedom (Dofs) makes the PML less attractive to simulate transient phenomena.


The infinite element method, introduced by Bettess and Zienkiewicz [11], avoids the issue of truncating the computational domain by employing special elements, which extend from the boundary of the FE domain to infinity. Over the years, different formulations have been proposed in the literature. In particular, two groups of formulations, which differ in the choice of the test function in the infinite domain, were developed: the unconjugated, where the test basis functions and the shape functions are the same, and the conjugated formulation, where the test basis functions are the complex conjugate of the shape functions. A detailed comparison of these different strategies is given in [12], where the advantages and disadvantages of both are analyzed in detail. The Astley-Leis formulation [13] differs from the classical conjugated formulation only by a weight factor that multiplies the test function, which is designed to cancel out the unbounded terms in the integrals that need to be computed to obtain the system matrices.


Alternatives exist also in terms of geometrical discretization of the infinite elements. The so-called mapped formulations rely on a mapping from the physical element to a parent element [13]-[16]: their main advantage is the geometrical flexibility, as they can be attached to arbitrary convex-shaped FE boundaries. By contrast, for Burnett elements [17]-[19], the geometry of the envelope is restricted to spheroids and no mapping is employed.


Astley-Leis elements have several attractive properties. First, the system matrices integrals can be evaluated using standard quadrature rules, thanks to the weight factor used in the test function. Moreover, they result in frequency-independent system matrices and maintain the sparsity of the FEM system, which makes them readily available for time-domain simulations [20]-[22] and suitable for Model Order Reduction (MOR) [23]. This is particularly interesting, as in recent years MOR for transient simulations has emerged as one of the key technologies in a number of applications [24]-[27]. The aim of MOR techniques is to build Reduced Order Models (ROMs) which capture the most relevant dynamics of the corresponding initial Full Order Models (FOM), using only a fraction of the Dofs. In [26] a numerical test is presented, for which the performance of the transient formulation from Kaltenbacher et al. [10] is compared with the Astley-Leis infinite element for mulation. In particular, it is shown that using the PML results in a larger number of Dofs, due to the presence of the auxiliary variables. Moreover, from a MOR perspective, it is necessary to use a split-basis approach, which results in tripling the number of Dofs of the final ROM, to guarantee time-domain stability preservation of the PML formulation after MOR. Since this performance comparison between the PML and the infinite element method is limited to a single numerical test, it is difficult to draw general conclusions. The study cited, however, seems to give a strong indication that using infinite elements for unbounded transient problems may be the best option, especially when MOR techniques are used.


Astley and Hamilton [28] showed that the Astley-Leis formulation is time-stable, provided that the infinite edges are aligned with the normal of the interface between the FEM and the exterior domain. However, the performance of traditional mapped infinite elements varies with the position of the virtual sources [14]; the mentioned stability requirements do not allow to freely choose the location of the virtual sources, and this often represents a problem for accuracy in transient analysis, when arbitrarily convex-shaped interior domains are analyzed. In practice, for most scenarios, this means that one should attached mapped Astley-Leis infinite elements only to spherical envelopes for transient simulations. Alternative mapped spheroidal infinite element formulations, based on the Holford expansion [29], have been proposed, both in the frequency and in the time domain [30], [31]. However, for such formulations, as well as for non-mapped spheroidal formulations [17]-[19], the benefits of a smaller interior domain may be nullified by the necessary increases in the radial order of the infinite element shape functions, as observed in [31], [32] and [33].


Li et al. [34]proposed an alternative conjugated mapped formulation, where radial shape function of the Lagrangian type are modified, to satisfy exactly the truncated multipole expansion along the infinite edge, irrespective of the location of the virtual sources. However, they only addressed frequency-domain problems, where the standard Astley-Leis formulation already provides satisfactory results; moreover, being limited to radial shape function derived from Lagrange polynomials, Li's elements have bad conditioning for high radial orders [35].


In this work, we propose a novel infinite element formulation for radial shape functions of any type, which satisfies exactly the truncated multipole expansion, irrespective of the orientation of the infinite edges. Consequently, we employ the new flexible infinite element to achieve a time-stable and accurate formulation, for arbitrarily convex shaped envelopes. The integration of the flexible infinite elements into an high-order software is discussed. A strategy is presented, to automatically extrude the infinite elements, when only a mesh of the interior domain is available. Additionally, we show how one can take advantage of the quickhull algorithm [36], implemented in the simulation package Simcenter 3D [37], developed by Siemens Industry Software, to automatically generate the envelope where the infinite elements are attached, around the scattering object. Finally, the combination of the proposed formulation with an existing MOR strategy is discussed.


We take the convention that the time-dependence of the fields is eiwt, where w is the angular frequency and t is the time. The behavior of the pressure field p in the unbounded domain Ω is described by the Helmholtz equation, in the frequency domain:














2

p

+


k
2


p


=

0


in


Ω


,




(
1
)







where k is the wavenumber. The domain Ω is subdivided into an interior region Ωi and an exterior region Ωe; we denote with Γ the interface between the two domains (see FIG. 1).



FIG. 1 shows an exterior acoustic problem, schematic representation. Ωi and Ωe are the interior and the exterior domain, respectively. Γ is the interface between the two domains and ΓS is the envelope where the Sommerfeld condition is imposed.


At the interior boundary ΓN of the domain Ω a Neumann boundary condition is prescribed. Dirichlet and Robin boundary conditions can be easily handled as well, but won't be considered here for ease of notation. The Sommerfeld condition states that no waves can be reflected at infinity; in mathematical terms, in a d dimensional domain, this writes as:












r


d
-
1

2




{




p



r


+
ikp

}




0


as


r




,




(
2
)







where r is the spherical/cylindrical radius.


As in [38], approximating (2), we can write:














x

p

·
n

=


-
ikp



on



Γ
s



,




(
3
)









    • where ∇x is the gradient operator in Cartesian coordinates, and Γs is an envelope with outware unit normal n, placed at radial distance R from the envelope Γ, with R→∞.





The corresponding boundary value problem reads as follows:









{








2

p

+


k
2


p


=

0


in


Ω











x

p

·
n

=


-
i


ρω


v
n



on



Γ
N













x

p

·
n

=


-
ikp



on




Γ


s



,


for


R




,








(
4
)







where ρ is the fluid density and vn is the prescribed normal velocity on ΓN.


2.1.2. Variational Formulation and Discretization

Using the method of weighted residuals, we obtain the variational formulation:












Find


p





H
1

(
Ω
)



such


that


,



q



H
1

(
Ω
)










lim

R







Ω



{





x

q

·



x

p


-


k
2


qp


}


d

Ω



+

ik






Γ


s




{
qp
}


d

Γ



+

i

ω





Γ
N




{

ρ


qv
n


}


d

Γ




,





(
5
)







where H1 is the Sobolev space where the solution is sought.


Eq. (5) is solved by using H1-conforming finite elements in Ωi and attaching infinite elements to the envelope Γ. The field variable p and the test function q are approximated by phϵVh⊂H1(Ω) and qhϵQh⊂H1(Ω) where Vh is the space of shape functions and Qh is the space of test functions. In the Astley-Leis formulation, thanks to the weight factor used in the test function, the Sommerfeld condition is automatically satisfied and does not need to be taken into account in the variational formulation [39]. In this case, the discrete variational formulation is:












Find



p
h





V
h



such


that


,




q
h



Q
h










lim

R







Ω



{





x


q
h


·



x


p
h



-


k
2



q
h



p
h



}


d

Ω



+

i

ω





Γ
N




{

ρ


q
h



v
n


}


d

Γ




,





(
6
)







which can be rewritten as a linear system of equations:












[



-

ω
2



M

+

i

ω

C

+
K

]



p

(
ω
)


=

f

(
ω
)


,




(
7
)







where p is the vector of Dofs, f is the forcing vector and M, C and Kϵcustom-characternDOF×nDOF are the mass, damping and stiffness matrices, respectively and nDOF is the number of Dofs. The exact formula for the system matrices can be found in [13].


Since, for the Astey-Leis formulation, the system matrices are frequency-independent, Eq. (7) can be readily transformed into the time domain:












M




p
¨

τ

(
τ
)


+

C




p
.

τ

(
τ
)


+


Kp
τ

(
τ
)


=


f
τ

(
τ
)


,




(
8
)







where pτ and fτ are the inverse Fourier transforms of p and f, respectively.


2.1.3. Multipole Expansion

The Atkinson-Wilcox theorem [40] states that at any point outside the smallest sphere circumscribing all the sound sources, the solution of problem (4) can be written as the multipole expansion:









p
=


e

-
ikr







n
=
1






G
n

(

α
,
θ
,
k

)


r
n








(
9
)







where Gn is the directivity function, α and θ are the spherical angles and τ is the radial distance, measured from the center of radiation, that coincides with the center of the minimal sphere. For ease of notation, throughout the rest of the paper, we will assume that the origin O of the absolute Cartesian coordinate system coincides with the center of radiation.


The Atkinson-Wilcox theorem has been extended by Holford 1291, to include the spheroidal case. By placing the envelope Γ outside the minimal sphere (for the Atkinson-Wilcox expansion) or spheroid (for the Holford expansion), we ensure that the solution in the exterior domain Ωe is composed only of outward propagating waves: this consideration is used to select a proper trial solution in the infinite elements.


The so-called spheroidal formulations have received some criticism in the past [32], [33], since the smaller number of Dofs in the FEM region is often counterbalanced, in practical applications, by the need for higher radial orders in the exterior region. On the other hand, numerical experiments have been performed in the frequency domain, using mapped infinite elements based on expansion (9), where the conditions of the Atkinson-Wilcox theorem were explicitly violated [41], [35], [42]: namely, non-spherical envelopes were used, partially lying inside the minimal enclosing sphere. Although the convergence of this approach has not been formally proven [43], numerical experiments with sufficiently smooth envelopes gave satisfactory results (see [44] for more details). For all the test cases encountered during our research, our observations were in line with the cited literature. These claims will be further expanded in Section 6.


2.2. Review of Astley-Leis Infinite Elements

In this subsection, we describe the main features of the Astley-Leis formulation and we analyze under which conditions it is stable in the time domain.


2.2.1. Geometrical Interpolation

The Astley-Leis formulation relies 313 a mapping from the infinite physical element to a finite parent element. In particular, in two dimensions (see FIG. 2), the physical element is mapped to a quadratic parent element (t, vϵ[−1, 1]); in three dimensions, the parent element can be a triangular prism or a cube, depending on the shape of the corresponding physical element, and the parent element coordinates are named s, t and v. The symbol τ is introduced for all the variables that are related to the concept of virtual sources (see later in this section how the virtual sources are defined). In particular, the link between the parent element radial coordinate v and the distance from the virtual sources in the physical space will become clear after the introduction of the radial mappings (16) and (24).


In FIG. 2, we represent schematically a mapped infinite element in two dimensions, showing both the physical and the parent element. For the i-th node Γie, whose location is defined during the meshing process of the interior domain, on the envelope Γ (at the interface between the exterior and the interior domain), in tin the e-th infinite element, the user defines the location of a mapping node Σie in the exterior domain with Cartesian coordinates:










x





i

e

=


(


x





i

e

,

y





i

e

,

z





i

e


)

.





(
10
)







Similarly, we write the Cartesian coordinates of the mapping node Γie on Γ as:










x


Γ


i

e

=


(


x


Γ


i

e

,

y


Γ


i

e

,

z


Γ


i

e


)

.





(
11
)







The i-th infinite edge is the line originating from node Γie, passing through node Σie and extending to infinity (see FIG. 2). For all the nodes on Γ, an infinite edge is defined.


We denote with rΓie the distance between the mapping nodes Σie and Γie:












r
_



Γ


i

e

:=




x





i

e

-

x


Γ


i

e





,




(
12
)







where ∥⋅∥ is the Euclidean norm. The virtual source Ōie, with Cartesian coordinates:











x


e

O
i



=

(


x


e

O
i



,

y


e

O
i



,

z


e

O
i




)


,




(
13
)







is located (see FIG. 2) along the direction of the i-th infinite edge, towards the interior domain, at distance rΓie from Γie:













x

Γ
i

e

-

x


e

O
i






:=



r
_


Γ
i

e

.





(
14
)







As a consequence the distance rΣie between the virtual source Ōie and the mapping node in the exterior domain Σie is:











r
_



i

e

:=





x


i

e

-

x


e

O
i






=

2




r
_


Γ
i

e

.







(
15
)







The envelope Σ is the union of all points, in the physical space, whose parent element radial coordinate is v=0. For any point on the infinite edge, the distance rie from the virtual source is mapped to the parent element radial coordinate v:












r
_

i
e

(

υ
_

)

:=



2



r
_


Γ
i

e



1
-

υ
_



.





(
16
)







Notice that, with this mapping definition, we have









{








r
_

i
e



(

υ
_

)


=




r
_


Γ
i

e



at



υ
_


=

-
1











r
_

i
e



(

υ
_

)


=




r
_



i

e



at



υ
_


=
0










r
_

i
e

(

υ
_

)






for



υ
_



1




.





(
17
)







The interpolated distance rΓe between the napping nodes on Γ and their respective virtual sources is defined as:













r
_

Γ
e

(

s
,
t

)

:=




i
=
1

n




N
t
i

(

s
,
t

)




r
_


Γ
i

e




,




(
18
)







where n is the number of mapping nodes on the envelope Γ, in the e-th infinite element, and Nti are the standard tangential geometrical mapping functions (in our case, we use Lagrangian polynomials). Similarly, the interpolated distance rΣe between the mapping nodes on the envelope Σ and their respective virtual sources is defined as:












r
_


e

(

s
,
t

)

:=




i
=
1

n




N
t
i

(

s
,
t

)





r
_



i

e

.







(
19
)







By substituting eq. (15) in (19), we obtain:












r
_


e

(

s
,
t

)

=





i
=
1

n




N
t
i

(

s
,
t

)


2



r
_


Γ
i

e



=

2





i
=
1

n




N
t
i

(

s
,
t

)





r
_


Γ
i

e

.









(
20
)







By then substituting (18) in (20), we obtain:












r
_


e

(

s
,
t

)

=

2





r
_

Γ
e

(

s
,
t

)

.






(
21
)







The interpolated distance between the mapping nodes in the element e and their corresponding virtual sources is defined as:













r
_

e

(

s
,
t
,

υ
_


)

:=




N

υ
_

Γ

(

υ
_

)






r
_

Γ
e

(

s
,
t

)


+



N

υ
_



(

υ
_

)






r
_


e

(

s
,
t

)




,




(
22
)







where NvΓ(v) and NvΣ(v) are the radial geometrical mapping functions, defined as:












N

υ
_

Γ

(

υ
_

)

:=

(

-


2


υ
_



1
-

υ
_




)


,




(
23
)











N

υ
_



(

υ
_

)

:=


(


1
+

υ
_



1
-

υ
_



)

.





By substituting (23) and (21) in (22), we finally obtain:












r
_

e

(

s
,
t
,

υ
_


)

:=


(


2





r
_

Γ
e

(

s
,
t

)



1
-


υ
_



)

.





(
24
)







In other words, a mapping between the physical coordinate re and the radial parent element coordinate v is obtained for any point inside the infinite element, whereas (16) is valid only along the i-th infinite edge. The fact that the parent element radial coordinate v is mapped to the interpolated distance from the virtual sources in the e-th infinite element, explains the relationship between v and the concept of virtual sources, and therefore justifies the use of the symbol τ for the parent element radial coordinate. Notice that, with this mapping, we obtain:









{








r
_

e

(

s
,
t
,

υ
_


)

=





r
_

Γ
e

(

s
,
t

)



at



υ
_


=

-
1











r
_

e

(

s
,
t
,

υ
_


)

=





r
_


e

(

s
,
t

)



at



υ
_


=
0










r
_

e

(

s
,
t
,

υ
_


)






for



υ
_



1




.





(
25
)







This mapping is consistent with the notion that points with parent element radial coordinate v=−1 lie on the envelope Γ in the physical space (see FIG. 2), points with v=0 lie on Σ and points with v→1, are at a radial approaching infinity from the interior domain. Furthermore, along the i-th infinite edge, we have:












r
_

e

(

s
,
t
,

υ
_


)

=




r
_

i
e

(

υ
_

)

.





(
26
)







The vector of Cartesian coordinates for a point inside the c-th infinite element is found by interpolating the nodal Cartesian coordinates:












x
e

(

s
,
t
,

υ
_


)

:=




N

υ
_

Γ

(

υ
_

)






i
=
1

n




N
t
i

(

s
,
t

)



x

Γ
i

e




+



N

υ
_



(

υ
_

)






i
=
1

n




N
t
i

(

s
,
t

)



x


i

e






,




(
27
)







where xΓie and xΣie are the vectors of Cartesian coordinates at the mapping nodes on the i-th infinite edge.


We emphasize that the notation adopted ere slightly different from what is usually found in the literature, because we want to distinguish between r as defined in Section 2.1.3 (e.g. the distance from the center of radiation) and r, the interpolated distance between the mapping nodes aid their respective virtual sources, defined in (22), In particular, since we take the convention that the origin O of the Cartesian coordinate system coincides with the center of radiation, re, representing the distance between the points in the e-th infinite element and the center of radiation, can be written as:











r
e

(

s
,
t
,

v
_


)

=





x
e

(

s
,
t
,

v
_


)



.





(
28
)







Additionally, we define rie=rie(v) as the distance between any point on the i-th infinite edge and the center of radiation O.


Finally, the so-called phase distance μe is defined as:












μ
_

e

(

s
,
t
,

v
_


)

:=




r
_

e

(

s
,
t
,

v
_


)

-




r
_

Γ
e

(

s
,
t

)

.






(
29
)







When the infinite edges are extruded orthogonally to Γ, the phase distance μe(s, t, v) represents the distance between the point with physical coordinates xe(s, t, v) and the envelope Γ, as represented in FIG. 2.


2.2.2. Shape and Test Functions

By analogy with the Atkinson-Wilcox expansion (9), the field shape functions are written as:











ϕ

(

s
,
t
,

v
_


)

=


ψ

(

s
,
t
,
v

)



exp

[


-
ik




μ
_

e


]



,




(
30
)







where ψ(s, t, v) is the usual vector of polynomial shape functions used in the FE domain. As an example, lets consider the first order Lagrange polynomials in two dimensions, for ease of notation:











ψ

(

t
,

v
_


)

T

=

(






1
-
t

2




1
-

v
_


2









1
+
t

2




1
-

v
_


2









1
-
t

2




1
+

v
_


2









1
+
t

2




1
+

v
_


2





)





(
31
)







By inserting the radial mapping (24) in (31), it can be verified that the following relationship holds:











{

1


r
_

e


}



colsp



{
ψ
}



,




(
32
)







Extending the above argument to higher order polynomials in three dimensions, we obtain:











colsp



{



[



(

1


r
_

e


)

,


(

1


r
_

e


)

2

,


,


(

1


r
_

e


)

m


]




exp

[


-
ik




r
_

e


]



}




colsp



{
ϕ
}



,




(
33
)







where m is the selected radial order in the infinite domain. In particular, along the i-th infinite edge, we have











colsp



{



[



(

1


r
_

i
e


)

,


(

1


r
_

i
e


)

2

,


,


(

1


r
_

i
e


)

m


]




exp

[


-
ik




r
_

i
e


]



}




colsp



{
ϕ
}



,




(
34
)







In other words, for the i-th infinite edge, the pressure field generated by the m-th order virtual multipole source, placed at Ōi, belongs to the space of the shape functions. This is where the idea of virtual sources come from.


An interesting case to analyze is when all the virtual sources of the e-th infinite element coincide with the center of radiation O. In this case, along the i-th infinite edge, we obtain:











colsp



{



[



(

1

r
e


)

,


(

1

r
e


)

2

,


,


(

1

r
e


)

m


]




exp

[

-

ikr
e


]



}




colsp



{
ϕ
}



,




(
35
)







since re=re along the i-th infinite edge, when Ōie≡O. In other words, when all the virtual sources coincide with the center of radiation, the approximated field variable ph can mimic the multipole expansion (9), truncated at the radial order m, along the infinite edges, ensuring good accuracy of the approximation. In all other cases, relationship (35) is not necessarily true. This explains why, for traditional mapped infinite element formulations, the accuracy depends on the location of the virtual sources. Moreover, inside the e-th infinite element, we have, in general:












r
_

e



r
e


,




(
36
)







even when all the virtual sources coincide with the center of radiation. This comes from the fact that in (22) re is found using the same interpolating functions used to obtain the vector of Cartesian coordinates xe in (27); the radial distance re is not, however, a linear combination of the artesian coordinates, so it cannot be found by interpolating the nodal values, using the same interpolating functions used for the Cartesian coordinates. Consider, as an example, an infinite element for which the inner surface is a circular are, discretized with linear elements, as depicted in FIG. 3. Both virtual sources, relative to nodes Γ1 and Γ2, coincide with the center of the are. This means that the radial distance rΓ1 between Γ1 and the virtual source Ō1 coincides with the radius of the circular arc; the same holds true for rΓ2. When computing rΓ, according to the standard interpolation of the nodal values rΓ1e and rΓ2e, using formula (18), we obtain rΓe=rΓ1e=rΓ2e. However, for points inside the infinite element. along the discrete approximation Γh of the envelope Γ, the distance form the center of the circular are is not rΓ1e, This situation is equivalent defining an interpolated virtual source location, for points on Γh, at distance rΓ1e from the envelope Γ, along the radial direction (see FIG. 3). In other words, when using the interpolation formulas (18) and (22) to compute rΓe and re, the interpolated locations of the virtual sources do not coincide with the center of the arc O. This means that relationship (35) is valid, in general, only along the infinite edges, even when the virtual sources relative to all the infinite edges coincide with the center of radiation. The effect of this fact on the quality of the approximation will be analyzed in Section 5.1.1.


In the Astley-Leis formulation, a Petrov-Galerkin approach is taken: the test function and the solution function belong to different function spaces; in particular, the test basis functions are the complex conjugate of the shape functions, multiplied by a weight factor w:










ϕ
=

w

ψ


e


+
ik



μ
_





,




(
37
)







where the weight factor takes the form:









w
=



(


1
-

v
_


2

)




p
w



.





(
38
)







In contrast to the Bubnov-Galerkin method, where the test basis functions are equal to the shape functions, the Petrov-Galerkin method results in un-symmetric system matrices. However, this choice for the test basis functions is particularly convenient: firstly, being a conjugated formulation, the Astley-Leis formulation results in frequency-independent system matrices, which can be then readily used in the time domain; secondly, for pw>2, standard quadrature rules can be used for the evaluation of the integrals necessary to compute the system matrices. In [39] the choice of pw=2 is justified on physical grounds, although it is pointed out that any power pw>2 preserves the boundedness of the system matrices integrals. Irrespective of the choice of pw, the conjugated weighted formulation was shown to lead to a variational formulation in weighted Sobolev spaces, for which existence and uniqueness of the solution has been proven [12], [45].


2.3. Review of Conditions for Stability

In this subsection, we analyze the conditions under which the Astley-Leis formulation is stable. This analysis is an extension to the theory developed from Astley and Hamilton [28]. In particular, in Section 3.5 of [28] only the system matrices relative to the infinite elements were considered; here, by contrast, we include the case where the interior Doman is discretized with finite elements. Moreover, in Section 3.5 of [28] only the case where the inner surface of the infinite element is an are of a circle was inspected; in this subsection, we extend the analysis to arbitrary convex shapes. Additionally, to guarantee stability, we will show that it is not necessary to construct “zero-mass” elements, but it is sufficient to require that the element mass matrices relative to the infinite domain are positive semi-definite.


As stated in [46] the second-order system (8) is stable, provided that the damping, stiffness and mass matrices are positive semi-definite. A matrix Aϵcustom-characternA×nA is defined positive semi-definite when












a
T


A

a


0

,



a





n



.







(
39
)







For the sake of brevity, we will adopt A≥0 as a shorthand notation to indicate positive semi-definiteness of the matrix A. Because of the infinite elements' contribution, the mass matrix may not always be positive semi-definite, causing the system to become unstable.


First of all, we show that, if the mass matrix relative to the infinite domain, MIE ϵcustom-characternIE×nIE (where nIE is the number of Dofs associated with the infinite elements) is positive semi-definite, then the global mass matrix M is also positive semi-definite. Let's consider a generic vector yϵcustom-characternDOF:












y
T


My

=





y
FE

T



M
FE



y
FE


+



y
IE

T



M
IE



y
IE




0


,




(
40
)







where the subscripts FE and IE denote the Dofs associated with the finite and the infinite elements, respectively; the last inequality in (40) comes from the fact that MIE≥0 by hypothesis and MFE≥0 when standard polynomial shape functions are used and the material properties of the medium in which sound propagates are physically realizable.


Next, we show that MIE≥0, provided that the element mass matrix MIEeϵcustom-characternIEe×nIEe is positive semi-definite for all the infinite elements. Let's consider a generic vector yIEϵcustom-characternIE.













y
IE

T



M
IE



y
IE


=





y
IE
1

T



M
IE
1



y
IE
1


+


+



y
IE

n
E


T



M
IE

n
E




y
IE

n
E





0


,




(
41
)







where nE is the number of infinite elements and the inequality comes from the fact that MIEe≥0 by hypothesis, with e=1, . . . , nE.


We now analyze under which conditions MIEe≥0. In the Astley-Leis formulation, when the test basis functions are taken as the weighted complex conjugate of the shape functions MIEe takes the form (see [13]):











M
IE
e

=






Ω
e





{


1

c
2



w


ψ
T



ψ

[

1
-





x



μ
_

e





]


}



d

Ω



,




(
42
)







where e is the speed of sound. To make it easier to analyze its definiteness, we rewrite it to a much simpler form. In particular, when using Gauss quadrature formulas to perform the integration, expression (42) can be rewritten as











M
IE
e

=



Ψ
g

T



D
e



Ψ
g



,




(
43
)







where Ψgϵcustom-characternIEe×ng is the matrix of polynomial functions, evaluated at the Gauss points:











Ψ
g

:=

(




ψ

(

g
1

)











ψ

(

g

n
g


)




)


,




(
44
)







ng is the number of Gauss points, gj=(sjg, tjg, vjg), is the vector of parent element coordinates of the j-th Gauss point and De is a diagonal matrix, whose j-th component along the diagonal is











D
jj
e

=


1

c
2





g
j
w

·
det




J
j

[

1
-





x




μ
_

e

(

g
j

)





]



w

(

g
j

)



,




(
45
)







where gjw is the j-th Gauss weight and det Jj is the determinant of the Jacobian of the transformation between physical and parent element coordinates, evaluated at the j-th Gauss point.


Since De is a diagonal matrix, it is positive semi-definite if and only if all its components are not smaller than zero. This happens if and only if















x




μ
_

e

(

g
j

)






1



i



,

i
=
1

,


,


n
g

.





(
46
)







We show that if De≥0 then MIE≥0. Let's choose a generic vector yϵcustom-charactern:












y
T



M
IE


y

=




y
T

(



Ψ
g

T



D
e



Ψ
g


)


y

=




(


Ψ
g


y

)

T




D
e

(


Ψ
g


y

)


=



z
T



D
e


z


0




,




(
47
)







where the last inequality in (47) comes from the fact that De≥0 by hypothesis, with z=Ψgcustom-characterng. It follows that if ∥∇xμ∥≤1 for any point within the infinite elements, the second-order system (8) is guaranteed to be time stable.


Let's define the vector re(s, t, v) as the vector pointing in the direction orthogonal to the envelope Γ, with magnitude re(s, t, v):













r
_

e

(

s
,
t
,

v
_


)

:=



n
e

(

s
,
t

)





r
_

e

(

s
,
t
,

v
_


)



,




(
48
)







where ne(s, t) is the unit vector normal to the envelope Γ at the point identified by the parent element coordinates (s, t, v=−1). For the classical Astley-Leis formulation, the phase distance {circumflex over (μ)}e is defined in (29); after differentiating with respect to re, we obtain














μ
_

e






r
_

e



=
1.




(
49
)







Additionally, for the properties of the gradient operator, thanks to the relationship between the gradient of a function and its directional derivatives, we have:













x



μ
_

e


·


r
_

e


=






μ
_

e






r
_

e







r
_

e

.






(
50
)







Let's consider first the ideal scenario where the envelope Γ is represented exactly, and no error arises from the geometrical discretization, and let's choose the infinite edges in the e-th element to be extruded orthogonally to the envelope Γ. In this case, μe(s, t, v) represents the distance between the point with physical coordinates xe(s, t, v) and Γ. As such, the lines with constant μe are perpendicular to ne(s, t). This means that ∇zμe(s, t, v), which, for the properties of the gradient operator, is perpendicular to the {circumflex over (μ)} iso-lines, is parallel to ne(s, t) and, as a consequence, aligned with re. Thus, we can write













x




μ
_

e

(

s
,
t
,

v
_


)


·



r
_

e

(

s
,
t
,

v
_


)


=






x




μ
_

e

(

s
,
t
,

v
_


)









r
_

e

(

s
,
t
,

v
_


)

.






(
51
)







Finally, inserting (50) and (49) in (51) and simplifying the resulting equation, we obtain














x




μ
_

e

(

s
,
t
,

v
_


)




=







μ
_

e






r
_

e





(

s
,
t
,

v
_


)


=
1.





(
52
)







This means that, if the extrusion direction is orthogonal to the envelope Γ for all the infinite edges, we obtain ∥≡9xμ∥=1 everywhere in the exterior domain. However, because of the geometrical approximation, small numerical errors can arise, potentially causing ∥∇xμ∥>1 for some points. Astley and Hamilton [28] proposed to remedy this effects by enforcing MIE=0 (which is equivalent to imposing ∥∇xμ∥=1 everywhere), arguing that the consequent change in the frequency domain solution is negligible, provide that the transverse node spacing is sufficiently line to resolve adequately the curvature of Γ. As shown earlier in this section, it is actually sufficient to impose MIE≥0, which is equivalent to imposing ∥∇xμ∥≤1; this can be achieved by enforcing ∥∇xμ∥=1 only for points where ∥∇xμ∥>1 and leave ∥∇xμ∥ unchanged for points where ∥∇xμ∥=1.


Requiring that the infinite elements are extruded orthogonally to Γ means that, in general, the virtual sources cannot be located at the center of the smallest sphere enclosing all the sound sources. This limits the accuracy of all standard mapped formulations, especially for envelopes with an high aspect ratio, and explains the need to develop a new flexible infinite element formulation.


3. Flexible Infinite Element Formulation

In this section, we describe the new flexible formulation, for which the geometric and field shape functions are constructed using two distinct mappings. This feature makes the accuracy of our formulation independent of the geometry of the infinite edges. As a consequence, the flexible infinite elements can be used to accurately simulate transient acoustic wave propagation problems, for arbitrarily convex-shaped envelopes.


3.1. Modified Shape Functions

We recall that we denote with r the distance from the center of radiation and with r the interpolated distance from the virtual sources. Our goal is to modify the shape functions formulation to obtain










colsp


{


[


(

1

r
e


)

,


(

1

r
e


)

2

,


,


(

1

r
e


)

m


]



exp
[

-

ikr
e


]


}




colsp


{
ϕ
}






(
53
)







everywhere inside the infinite elements, irrespective of the location of the virtual sources. To do that, we first redefine the phase distance as












μ
e

(

s
,
t
,

v
_


)

:=



r
e

(

s
,
t
,

v
_


)

-


r
Γ
e

(

s
,
t

)



,




(
54
)







where re is computed according to (28), and rΓe is the radial distance evaluated on Γ:











r
Γ
e

(

s
,
t

)

:=



r
e

(

s
,
t
,


v
_

=

-
1



)

=





x
Γ
e

(

s
,
t

)



.






(
55
)







One may try to write the shape functions as










ϕ
=



ψ
r

(

s
,
t
,


r
e

(

s
,
t
,

v
_


)


)



exp
[


-
ik



μ
e


]



,




(
56
)







where ψr(s, t, re(s, t, v)) would be obtained as a tensor product between the usual polynomial functions in the tangential direction and rational functions in the radial direction, specifically designed to satisfy (53). However, the construction of these rational functions would not be trivial and the effort of implementing such a formulation in an existing FEM software would be considerable. Instead, we introduce a new auxiliary mapping between the radial distance r and the auxiliary coordinate v:










v

(

s
,
t
,

v
_


)

:=

1
-



2



r
Γ
e

(

s
,
t

)




r
e

(

s
,
t
,

v
_


)


.






(
57
)







It should be noticed that this mapping largely resembles (25), with v, re and rΓe instead of v, re and rΓe, A schematic representation of the auxiliary mapping is shown in FIG. 4.


Exploiting the auxiliary mapping, we propose a new formulation for the shape functions:










ϕ
=


ψ

(

s
,
t
,
v

)



exp
[


-
ik



μ
e


]



,




(
58
)







where ψ are the usual polynomials, expressed with respect to the variables s, t, v instead of the variables s, t, v as in (30) for the Astley-Leis formulation. As an example, let's consider the first order Lagrange polynomials in two dimensions, for ease of notation:











ψ

(

t
,
v

)

T

=


(






1
-
t

2




1
-
v

2









1
+
t

2




1
-
v

2









1
-
t

2




1
+
v

2









1
+
t

2




1
+
v

2





)

.





(
59
)







We emphasize that the only difference between (31) and (59) is that U gets substituted with the auxiliary variable v. By inserting the radial mapping (57) in (59), it can be verified that the following relationship holds:











{

1

r
e


}



colsp


{
ψ
}



,




(
60
)







Extending the above argument to higher order polynomials in three dimensions, we obtain:











colsp


{


[


(

1

r
e


)

,


(

1

r
e


)

2

,


,


(

1

r
e


)

m


]



exp
[

-

ikr
e


]


}




colsp


{
ϕ
}



,




(
61
)







where m is the selected radial order in the exterior domain. This is true not only for points along the infinite edges, but for any point inside the infinite element.


In other words, the multipole expansion (9) truncated at order m, belongs to the space spanned by the columns of the m-th order shape functions. The concept of virtual sources does not apply to our formulation, as relationship (61) is true, irrespective of the geometry of the infinite elements. This feature makes our formulation more flexible than traditional mapped formulations, since the accuracy does not depend on the positioning of the mapping nodes. As in the Astley-Leis formulation, the test functions are chosen as the weighted complex conjugate of the shape functions:











ϕ
~

n

=

w


ψ

(

s
,
t
,
v

)




exp
[

μ
e

]

.






(
62
)







3.2. Time-Domain Stability of the Modified Infinite Element

The new flexible infinite element requires a separate stability analysis, since the definition of μe in (54) differs from the definition of μe in (29), used in the standard mapped formulations. In particular, even when the infinite elements are extruded orthogonally to the envelope Γ and there is no approximation in the geometrical discretization, it cannot be guaranteed that ∥∇xμ∥≤1 everywhere. This poses a challenge for the stability of the method.


First, we analyze the behavior of ∥∇xμ∥, showing that, when the infinite edges are orthogonal to the envelope Γ, ∥∇xμ∥≤1 in the near-field, while ∥∇xμ∥≥1 in the intermediate and far-field. Then, we propose a strategy to stabilize the time-domain formulation without compromising the accuracy.


3.2.1. Behavior of ∥∇xμ∥


In this subsection, we study the behavior of ∥∇xμ∥, when the infinite edges are extruded in the direction orthogonal to the envelope Γ, as in the time-stable infinite elements proposed in [28]. For simplicity, we consider the two-dimensional case, but all the considerations we make hold in three dimensions.


Let's consider a point on the envelope Γ, with parent element coordinates (t, v=−1). First, we show that, ∥∇xμ(t, v=−1)∥≤1, provided that the the infinite edges in the element are aligned with the normal vector of the envelope Γ at the mapping nodes on Γ. For the properties of the gradient operator, thanks to the relationship between the gradient of a function and its directional derivatives, we have:













x



μ
e

(

t
,

-
1


)


·



r
_

e

(

t
,

-
1


)


=





μ
e






r
_

e





(

t
,

-
1


)




r
_

Γ
e






(
63
)







The envelope Γ is an iso-line of μ, with μ=0 by definition. It follows















x



μ
e

(

t
,

-
1


)




=





μ
e






r
_

e





(

t
,

-
1


)



,




(
64
)







since the gradient of μ is perpendicular to the iso-lines of μ. For the standard Astley-Leis formulation, we have already shown that relationship (52) holds. Let's define











Δ




r
_

e

(
δ
)


:=




r
_

e

(


v
_

=


-
1

+
δ


)

-


r
_

Γ
e



,




(
65
)








and









Δ



r
e

(
δ
)


:=



r
e

(


v
_

=


-
1

+
δ


)

-


r
Γ
e

.







(
66
)








The partial derivatives of μ and μ with respect to re, can be written, according to the definition of derivative, respectively as















μ
_

e






r
_

e





(

t
,

-
1


)


=


lim

δ

0




Δ




r
_

e

(
δ
)


δ






(
67
)








and













μ
e






r
_

e





(

t
,

-
1


)


=


lim

δ

0





Δ



r
e

(
δ
)


δ

.







(
68
)








By triangle inequality (see FIG. 5), we have












r
e

(


v
_

=


-
1

+
δ


)




Δ



r
_

e


+

r
Γ
e



,




(
69
)







from which follows










Δ


r
e




Δ




r
_

e

.






(
70
)







As a consequence, we finally obtain















μ
e






r
_

e





(

t
,

-
1


)









μ
_

e






r
_

e





(

t
,

-
1


)



=
1.




(
71
)







Once again, as in the classical Astley-Leis formulation, small errors may arise because of the geometrical approximation. In this Case, as in [28], we propose to neglect these small discrepancies, to ensure the stability of the method.


For v→1, it is easy to show that ∇re→Δre which implies











lim


v
_


1







x


μ
e






1.




(
72
)







In the region between v=−1 and v→1 we don't have any guarantee that ∥∇xμ∥≤1. The exact behavior of ∥∇xμ∥ depends on the geometry of the infinite element. In practice, geometries for which ∥∇xμ∥>1 for v>0 are often encountered (see FIG. 6).


3.2.2. Strategy to Stabilize the System

Because of the behavior of ∥∇xμ∥, analyzed in the previous subsection a strategy to stabilize the flexible infinite element formulation is necessary. In the non-stabilized version, the mass matrix contribution at the element level writes:











M
IE
e

=




Ω
e




{


1

c
2



w


ψ
T



ψ
(

1
-





x


μ
e







}


d

Ω



,




(
73
)







To stabilize the new flexible formulation, we propose to substitute the non-stabilized mass matrix MIEe with {tilde over (M)}IEe, where












M
~

IE
e

=




Ω
e




{


1

c
2



w


ψ
T



ψ
(

1
-





x



μ
~

e







}


d

Ω



,




(
74
)







with









{









x




μ
~

e

(

s
,
t
,

v
_


)




=





x



μ
e

(

s
,
t
,

v
_


)









if







x



μ
e

(

s
,
t
,

v
_


)






1












x



μ
~

e




(

s
,
t
,

v
_


)




=
1





if








x


μ
e




(

s
,
t
,

v
_


)





>
1.








(
75
)







When computing (74) using Gauss quadrature, we can write












M
~


I

E

e

=


Ψ
g
T




D
~

e



Ψ
g



,




(
76
)







with the j-th component of the diagonal matrix {tilde over (D)}e











D
~

jj
e

=


1

c
2





g
j
w

·

det

(

J
j

)




(

1
-





x




μ
~

e

(

g
j

)





)





w

(

g
j

)

.






(
77
)







This ensures that {tilde over (M)}IEe≥0 and thus that the formulation is time-stable.


As an example, we consider a two-dimensional case, where the FE boundary is an elliptical envelope, with a width of 6 and a height of 2. In FIG. 6, we plot ∥∇xμ∥ and ∥∇xμ∥ as a function of v, for an infinite edge extruded orthogonally to the envelope and starting from the mapping node Γ1e with coordinates xΓie=(0.5, 0.986).


3.2.3. Accuracy of the Stabilized Formulation

In the previous subsection, we showed how to stabilize the flexible infinite element formulation. However, the stabilization procedure may potentially affect the accuracy of the method. This comes from the fact that some of the entries in {tilde over (D)}e may differ substantially from the corresponding entries in De, making {tilde over (M)}IEe a bad approximation of MIEe.


Exploiting relationship (71), which holds when the infinite edges are extruded orthogonally to the envelope Γ, we can design a strategy to ensure the accuracy of the flexible infinite elements after the stabilization procedure. We propose to tune the power pw in the weight factor w, to make sure that the stabilization procedure does not significantly affect the accuracy. In practice, this is achieved by controlling the relative difference between {tilde over (D)}e and De: the sa tiller this difference, the smaller the accuracy loss. We recall that the weight factor in the Astley-Leis formulation is (38), with pw=2. We observe that w=1 at the envelope and w→0 as v→1. By increasing pw, we make the weighting factor even smaller, for v>−1. Let's consider the j-th Gauss point gκ, for which ∥∇xμ(gκ)∥>1 (we have already mentioned that this typically happens for v>0). The corresponding diagonal entry in the matrix De is











D
κκ
e

=


1

c
2





g
κ
w

·
det





J
j

(

1
-





x


μ

(

g
κ

)





)




w

(

g
κ

)



,




(
78
)







while the corresponding entry in {tilde over (D)}e is











D
~


κ

κ

e

=
0.




(
79
)







We emphasize that, since relationship (71) holds for orthogonally extruded infinite edges, gκ cannot lie on the envelope Γ. Fort this reason, it is guaranteed that w(gκ)<1 and we can impose













"\[LeftBracketingBar]"



D
κκ
e

-


D
~

κκ
e




"\[RightBracketingBar]"


=




"\[LeftBracketingBar]"


D
κκ
e



"\[RightBracketingBar]"


<
ϵ


,




(
80
)







by choosing











p
w

>

(


log

(
ϵ
)


log




"\[LeftBracketingBar]"



1

c
2





g
κ
w

·
det





J
κ

[

1
-





x



μ
e

(

g
κ

)





]




"\[RightBracketingBar]"




)


,




(
81
)







where ϵ is a tolerance value, set by the user. The parameter pw is chosen constant across the whole domain, to guarantee the continuity of the test functions across the whole domain, such that (81) is satisfied for all the infinite elements. A smaller tolerance t implies a smaller difference between De and {tilde over (D)}e and, as a consequence, a smaller accuracy loss after the stabilization step. We emphasize that stability is guaranteed by (75), while the accuracy of the stabilized formulation is guaranteed by (81). In Appendix A, we present a bound for the accuracy loss due to the stabilization procedure, linking it to the chosen tolerance ϵ. The oily cost of selecting pw>2 is that an higher number of Gauss points are needed to carry out the computation, since the order of the polynomials to be integrated increases with pw. Typically, for numerical acoustic simulations using the FEMI, the most computationally intensive operation is the factorization of the fully assembled matrix; for this reason, despite an increase in the computational cost of the assembly step, the total computational cost of the flexible formulation is comparable to the Astley-Leis formulation, for the same number of Dofs. Additionally, in many cases, as we will document in Section 5 and 6, the flexible infinite elements result in a drastic decrease in the number of Dofs, thanks to their geometric flexibility, making the simulations less computationally intensive.


3.3. Mesh Extrusion, in the Normal Direction

As already explained in previous sections, the infinite edges need to be extruded orthogonally to the envelope T to ensure stability in the time domain. Unfortunately, it is not trivial to compute the normal of the envelope Γ for general convex shapes. In some cases, the information about the normal vectors could be provided by CAD tools, with the drawback of requiring an additional preprocessing step. In other cases, only meshed domains are available, without a reference geometry. We solve this issue by following the workflow presented in [47]. With this approach, only a mesh of the internal domain is necessary. The required normal vectors at the mapping nodes on Γ are computed as follows:

    • For a vertex, the normal vector ne(s, t) is taken as the average of the normal of the elements touching the vertex.
    • Inside quadratic elements, for a node defined in the middle of an edge (or face), ne(s, t) is computed as the average of the normal vectors at the vertices belonging to the edge (or face).


      The user has to specify the extrusion length, which is the distance rΓie as defined is (12) for the i-th mapping node on Γ, with parent element coordinates (si, ti, −1), inside the e-th element. Then, the location of the mapping node Σie inside the exterior domain is determined in the following way:










x

Σ
i

e

=

x





Γ
i

e


+


n
e

(


s
i

,

t
i


)







r
_


Γ
i

e

.






(
82
)







The process is repeated for all the mapping nodes on the envelope Γ, for all the infinite elements.


4. Software Implementation of High-Order Finite and Infinite Elements

In this subsection, we discuss the implementation of the infinite elements into an high-order FEM code. The considerations made here hold both for the Astley-Leis formulation and the flexible infinite element. We refer to the adaptive order p-FEM approach described in [48], where Lobatto shape functions (also called integrated Legendre polynomials) are used, and to [49], where the method was generalized to include anisotropic orders. For a number of Helmholtz problems, tis approach has been shown to drastically improve the efficiency of the numerical models, when compared with conventional FEM, exploiting the fact that high-order polynomial approximations are more effective at controlling the pollution effect. An added benefit of using a hierarchical set of shape functions, such as the Lobatto polynomials, is found when solutions in the frequency domain are required over a range of frequencies. It is possible to compute the element matrices only once for the highest order, and then, at each frequency, one can extract only the required portion of these matrices to assemble the global matrix. A key feature of the proposed method is the use of a simple local error indicator to select a priori the polynomial order in each element. For calculations over a range of frequencies this approach requires only a single mesh, and the error estimator is able to select the suitable polynomial order in each element to maintain the efficiency and accuracy as the frequency is changed, by identifying the lowest order required for the accuracy target.


Infinite elements based on Lagrange polynomials have been shown to present conditioning problems for high radial orders [35]. The use of Jacobi [35] and Berstein [50] polynomials has been proposed to improve the conditioning and optimize the performance of Krylov-based iterative solvers. As pointed out in [35] Lobatto polynomials, even though sub-optimal from a conditioning perspective, outperform Lagrange polynomials in this respect.


By adopting the same type of polynomials for finite and infinite elements, the software implementation becomes particularly easy. In this case, the infinite element subroutine can be developed by reusing most of the routines called by its finite element counterpart. The only differences are that the new radial geometric mapping (23) needs to be implemented, and different formulas nee to be used for the computation of the system matrices, which does not require any additional implementation effort. In other words, in a software implementation, the infinite elements can be simply seen as specialized anisotropic high-order elements. This is an important aspect, as the implementation burden of the infinite element method may hinder its broad Use in practical applications. An additional benefit of using Lobatto polynomials also in the exterior domain is that the hierarchical structure of the system matrices is preserved for unbounded-domain simulations, and can be exploited for frequency-domain calculations.


The shape functions orders inside the FE domain are selected based on the a priori error estimator described in [48]: the radial order on the infinite edges is selected by the user, while the orders of the shape functions on the envelope Γ are designed to ensure continuity with the FE domain; finally, vertex, edge and face Dofs are set to zero at infinity (v=1 in the parent elementen), to enforce the decay of the pressure field.


5. Numerical Validation

In this section, the flexible infinite element is compared to the Astley-Leis formulation, with numerical examples in two and three dimensions, both in the frequency and in the time domain. The FE domain is meshed with the mesh generator Gmsh [51], while the infinite elements are extruded at run time, using one of the following strategies:

    • The confocal-rays approach, where the infinite edges are extruded in the radial direction and converge toward the center of radiation. In the Astley-Leis formulation, this means that all the virtual sources coincide with the center of radiation.
    • The normal-rays approach, where the infinite edges are aligned with the vector n, normal to the FE boundary envelope Γ.


      Curved triangular or tetrahedral elements are used in the internal domain, while the exterior mesh is made of quadrangular or prismatic elements. Time results are obtained using an in-house Matlab code.


In the following examples, we will often refer to the relative L2-error between the numerical and the reference solution, unum and uref respectively, computed on the envelope Γ:











E
2

(
Γ
)

=






u
num

-

u
ref






L
2

(
Γ
)






u
ref





L
2

(
Γ
)









(
83
)







and in the interior domain (the FE domain):











E
2

(

Ω
i

)

=







u
num

-

u
ref






L
2

(

Ω
i

)






u
ref





L
2

(

Ω
i

)





.





(
84
)







When using the flexible formulation for transient problems, we will mea-sure the error induced in the frequency domain by the stabilization procedure (see discussion in Section 3.2.3), for the largest frequency of interest, as:












E

st

(

Ω
i

)

=






u
num
st

-

u
num
unst







(

Ω
i

)






u
num
unst






(

Ω
i

)




,




(
85
)







where unumst is obtained using the stabilized formulation, while unumunst is obtained using the non-stabilized formulation.


5.1 Monopole Source in 2D

First, we analyze the case of a monopole source in a 2D domain, for which the analytical solution is known:












u
ref

(
r
)

=



iH
2
0

(

k

r

)

4


,




(
86
)







where H20 is the Hankel function of the second kind and the monopole source location coincides with the center of radiation. The source is enclosed by a convex envelope and the two meshes generated using the confocal-rays and the normal-rays approach are shown in FIG. 7. In the vicinity of the source, the mesh is refined, because of the singularity of the analytical solution at r=0, while in the rest of the domain larger elements are used, to fully exploit the efficiency of high-order FEM The characteristic length of the elements at the interface between the interior and the exterior domain is h=0.25. FIG. 7: 2D meshes used for the numerical experiments. The FEM mesh, the envelopes F and E (in blue) and the portion of the infinite edges between Γ and Σ are shown. In the confocal-rays approach, all the virtual sources concede with the center of radiation. In the normal-rays approach, all the infinite edges are locally orthogonal to the envelope Γ. In both cases, the mesh is refined in the monopole source location, which coincides with the center of radiation.


5.1.1. Frequency-Domain Results

For the following frequency-domain results, the order of the shape functions is fixed (both in the interior and the exterior domain). Numerical convergence studies are done by investigating the effect of the order chosen on the accuracy of the methods. First of all, we compare the performance of the new flexible infinite element against the Astley-Leis formulation, for the confocal-rays configuration. Even though, for the configuration considered, all the virtual sources coincide with the center of radiation, the Astley-Leis formulation and the flexible formulation are still different. This is because, for the Astley-Leis formulation, the radial coordinates are found, as in (18) and (22) using the standard interpolating functions, while, for the flexible infinite element, they are computed as a function of the Cartesian coordinates using (28) and (55). In FIG. 8 we plot the L2-error on the envelope Γ for several frequencies, for both approaches, as a function of the order of the shape functions.


For all four frequencies, the L2-error of the standard Astley-Leis formulation reaches a plateau, while the flexible infinite element approach displays better p-convergence properties. This results are explained by the fact that (53) is satisfied everywhere for the flexible infinite elements, while for the Astley-Leis formulation it is only valid along the infinite edges, when the confocal-rays extrusion approach is adopted (see discussion in 2.2.2). In other words, the truncated multipole expansion (9) belongs to the space spanned by the shape functions in the whole exterior domain for the flexible formulation, but only along the infinite edges for the Astley-Leis formulation. The resulting accuracy difference is higher for coarser meshes, which are typically usec in the context of high-order adaptive FEM, while it is negligible when fine meshes are used.


Next, we compare the flexible infinite elements with the Astley-Leis infinite elements, when the normal-rays extrusion strategy is adopted. This serves as a preliminary to the time-domain comparison, where the normal rays strategy is the only one capable of delivering stable results. In FIG. 9 we document the dramatic improvement, in terms of accuracy, brought by the flexible formulation. In this case, the results are explained by the fact that, once again, (53) is satisfied everywhere for the flexible formulation, since the space spanned by the shape functions does not depend on the orientation of the infinite elements; for the Astley-Leis infinite elements, by contrast, (53) is not satisfied, since the virtual sources do not coincide with the center of radiation.


5.1.2. Time Domain

It is well known that the confocal-rays extrusion approach leads, in general, to unstable formulations in the time domain, as discussed in Section 2.3. For this reason, we focus only on the normal-rays approach. For this example, the monopole source is placed it (0.5, 0.4), to show that the flexible infinite elements work well even when the center of radiation does not coincide with the physical source. The input signal used for the simulation is a sine-wave, with k=2, filtered using the Hamming window. So, the forcing vector fτ(τ), with τϵ[0, T], is












f
τ

(
τ
)

=






2

5

46

[

1
-

cos


(


2

πτ

T

)



]




Hamming


window




sin

(

k

τ

)


f


,




(
87
)







where f is the forcing vector in the frequency domain. The order of the shape functions in the FEM domain is selected adaptively, using the a priori error indicator from Bériot et al. [48], with target L2-error E2=0.01, while the radial order in the infinite domain is set to m=6 for both cases. The power in (38) for the flexible formulation is set to pw=6 and the error induced by the stabilization procedure is Est=0.0007, computed according to (85) for K=20, the largest wavenumber of interest for the problem analyzed. In other words, it is clear that the error induced by the stabilization procedure is negligible, since it is largely below, the target error used to compute the shape functions orders in the FEM domain.


A reference numerical solution is computed on a larger circular FEM domain, centered at the monopole source position, with radius 2, using the Astley-Leis infinite elements with the infinite edges extruded in the radial direction, with extrusion length rΓie=2 for all the infinite edges, so that all the virtual sources coincide with the location of the monopole source. The radial order in the infinite domain for the reference solution is set to 0. The radial quantities are computed according to expressions (28) and (55), to improve the accuracy of the reference solution (see discussion in Section 5.1.1). In other words, the radial quantities are not computed by interpolating the radial distances relative to the nodal values, but taking the distance of the interpolated points in the infinite elements from the center of radiation. This is equivalent to defining the interpolated location of the virtual sources to coincide with the center of radiation, thus leading to better accuracy (see discussion in Section 2.2.2) By virtue of this modification in this particular configuration, the Astley-Leis formulation is equivalent to the flexible formulation. The accuracy improvement due to this modification was already documented in Section 5.1.1. The reference numerical solution in the time domain is computed constructing “zero-mass” infinite elements, following the procedure from Astley and Hamilton [28], which does not significantly affect the accuracy on circular domains. The fact that a large FEM domain is used, together with the fact that the modified interpolation of radial quantities is implemented, and that all the virtual sources coincide with the location of the physical source, ensures good accuracy of the reference model.


In FIG. 10, the pressure history for two points on the convex envelope (point A=(−1.3, 0.2) and point B=(−0.78, −0.24)) is plotted as a function of time for the Astley-Leis formulation and the flexible formulation, together with the reference solution. The numerical solution obtained using the flexible formulation matches closely the reference solution, while the Astley-Leis formulation does not provide satisfactory results.



FIG. 10: Performance of the flexible and Astley-Leis formulation for an arbitrary convex envelope (see FIG. 7), in the time domain, using the normal-rays extrusion strategy Pressure history at point A and point B on the convex envelope Γ. Comparison between reference (black line), flexible infinite element (dashed gray line) and traditional Astley-Leis formulation (red line). The radial order in the exterior domain is set to m=6, while the orders in the interior domain are determined through the a priori error estimator.


5.2. Scattering of a Plane Wave by a Sphere

In this subsection, we consider the scattering of a plane wave by a sphere and we test the performance of the flexible infinite elements and of the Astley-Leis infinite elements. Several polyhedral shapes, with rounded edges, were used as enclosing surfaces. Rounding the corners is necessary to guarantee the accuracy of the method, regardless of the infinite element formulation used, since the normal vector has to be continuous throughout the whole surface, for the extrusion direction to be orthogonal to the envelope at any point.


The scattering sphere has unit radius, while the pseudo-polyhedral domains have midradius 2 aid fillet radius 0.2. The mesh used in the internal domain has elements with a characteristic length h=0.3, with a refinement corresponding to the rounded corners, to resolve the geometric details, and the order in the FEM region is once again set adaptively, using the a priori error indicator from Bériot et al. [48], with target L2-error E2=0.01


5.2.1. Frequency-Domain Results

The reference analytical solution for this problem is:












p
ref

(
x
)

=

-




m
=
0






i
m

(


2

m

+
1

)





j
m


(

ka
sca

)



h
m

(
1
)


(

ka
sca

)





h
m

(
1
)


(
kr
)




P
m

(

x
/
r

)





,

r


a
sca


,




(
88
)







where asca is the radius of the scattering sphere, jm is the m-th order spherical Bessel function, hm(1) is the m-th order first-kind spherical Hankel function, and Pm is the mth-order Legendre polynomial.


The best-interpolation error is computed as the relative L-error between the analytical solution and its L2-projection onto the finite element space:














𝒫


u
ref


-

u
ref






L
2

(

Ω
i

)






u
ref





L
2

(

Ω
i

)






(
89
)







This error corresponds to the best numerical solution that can be reached, given the FE mesh and the order used, irrespective of the infinite element formulation used. In FIG. 11 we show the numerical results obtained using flexible infinite elements extruded in the normal direction. We ran numerous simulations, varying the radial order M in the exterior domain from 1 to 10; the shape functions order in the FEM domain where selected using the a priori error estimator, as already explained at the beginning of this section, and were left unchanged between different simulations. It can be observed that, for both frequencies the relative L2-error in the interior domain E2i) approaches the best interpolation error for increasing radial order m. It can be seen that the pseudo-tetrahedron is the most challenging shape, since it is the closest one to the scattering surface.

FIG. 1: Each colored line corresponds to one pseudo-polyhedral domain. Darker colors correspond to pseudo-polyhedra with more edges. Dashed lines: best interpolation error in the FE domain. The order of the shape Functions in the interior domain is set adaptively, using the a priori error estimator, and is left unchanged between different simulations. The radial order m is uniform throughout the exterior domain, and varies between different simulations.


5.2.2 Time-Domain Results

In this subsection, out of all the the pseudo-polyhedral shapes presented in Section 6.3.1, only the most challenging one, the pseudo-tetrahedron, was considered. We now consider the results from transient simulations, where the input signal is a sine-wave with k=10, filtered by the Hamming function, as in the 2D case. In FIG. 12, we show the pressure result at the envelope points A and B for the flexible infinite elements and the Astley-Leis infinite elements; for both cases the radial order in the infinite elements is set to 5, while the orders in the interior domain are determined through the a priori error estimator, as explained at the beginning of this section. The power in (38) for the flexible formulation is set to pw=6 and the error induced by the stabilization procedure is Est=0.001, computed according to (85) for k=10, the largest wavenumber of interest for the problem analyzed. Once again, it is clear that the error induced by the stabilization procedure is negligible, since it is largely below the target error used to compute the shape functions orders in the FEM domain.


As in the two-dimensional case, the reference numerical solution is computed on a larger FEM domain, consisting of a sphere with radius 2 surrounding the scatterer, using the Astley-Leis infinite elements with the infinite edges extruded in the radial direction, such that all the virtual sources coincide with the center of the scattering sphere. The radial order in the infinite domain for the reference solution is set to 10 and, once again, the radial quantities are computed according to expressions (28) and (55). The reference numerical solution in the the domain is computed constructing “zero-mass” infinite elements, following the procedure from Astley and Hamilton [28]. As in the two-dimensional case, good accuracy of the reference numerical model is guaranteed by the use of a large FEM domain, high radial order m and the modified interpolation of radial quantities, combined with the fact that all the virtual sources coincide with the center of radiation.


Also for this case, it can be noticed that the flexible formulation outperforms the traditional Astley-Leis formulation.



FIG. 12: Performance of the flexible and Astley-Leis formulation for a pseudo-tetrahedron enclosing the scattering sphere, in the time domain, using the normal-rays extrusion strategy. Pressure history at point A and point B on the convex envelope. Comparison between reference (black line), flexible infinite element (dashed gray line) and traditional Astley-Leis formulation (red line). The radial order in the exterior domain is set to m=6, while the orders in the interior domain are determined through the a priori error estimator.


6. Application to a Problem of Industrial Complexity

In this section, we present a workflow to tackle unbounded problems of industrial complexity, using the flexible infinite element formulation. In particular, to showcase the effectiveness of the method, we will consider the shark submarine, shown in FIG. 13. For the frequency-domain validation, we will simulate the scattering of a plane wave, while for the time domain we will consider a monopole source, located close to the FE boundary. An automatic algorithm for the creation of a convex envelope around the scatterer, together with the automatic extrusion of the infinite edges in the normal direction, is used. To accelerate transient simulations, we use MOR procedure, introduced by van de Walle [25] and van Ophem [26], called Automatic Krylov Subspace Algorithm (AKSA). The high level of automation of the proposed workflow, together with the computational efficiency made possible by the use of general-shaped convex envelopes, make it very attractive for realistic transient applications.


6.1. Automatic Generation of a Convex Domain

In this subsection, we describe the automatic process to get a mesh for the computational domain. First, a surface mesh made of second-order triangular elements, with characteristic length h=0.02, is created on the submarine. Secondly, an approximate convex hull is generated automatically using the quickhull algorithm [36], implemented in the simulation package Simcenter 3D [37] developed by Siemens Industry Software. The minimal distance from the submarine surface to the convex envelope is d=0.0. Once again, quadratic triangular elements with characteristic length h=0.02 are used to mesh the external surface. Then, a volume mesh, that comprises tetrahedral quadratic elements, is created between the two surface meshes. The infinite elements are extruded automatically along the normal direction, so that the transient formulation is time-stable, following the process described in Section 3.3. The final mesh, shown in FIG. 13, is made of 183 519 quadratic elements and 232 959 nodes. Since the convex envelope lies inside the smallest sphere circumscribing the scatterer, convergence is not theoretically guaranteed by the Atkinson-Wilcox theorem. In Section 6.3.1 and Section 6.3.2, we will show, that, in practice, when attaching flexible infinite elements to the convex hull, good accuracy can be reached both in the time and in the frequency domain.


6.2. Model Order Reduction Procedure

Since the flexible infinite elements, as the traditional Astley-Leis infinite elements, result in frequency-independent and sparse system matrices, their use in combination with Krylov-based MOR is particularly attractive. To accelerate transient simulations, we use the AKSA [2], [26] algorithm, which aims at building automatically a reduced order model, whose frequency response function (FRF) matches the FRF of the initial full order model (FOM), within a user-specified tolerance, in the frequency range of interest, by only using a few system solves and enriching the projection basis with higher-order moments. To obtain a time-domain reduced model of the shark submarine, for example, valid between k=5 and k=50, with a relative error tolerance tol=0.01, only 5 full system solves were necessary.


6.3 Results
6.3.1. Frequency-Domain Results

We now test the performance of the flexible infinite element for the scattering of plane waves in the frequency domain. The simulations were performed for four plane waves, traveling at different angles of incidence a and θ. As a reference, we use the results obtained using the automatic perfectly matched layer (AML) implementation [47], with 5 layers. For the configuration using infinite elements, the order in the FEM domain is assigned adaptively, using the a priori error estimator front Bériot et al. [48], with target L2-error E2=0.01, while the radial order in the exterior domain is user-defined; for the AML case, the order is assigned adaptively in the whole computational domain. For all cases analyzed, the mesh used is the one shown in FIG. 13. The relative L2-error on the convex envelope is shown in FIG. 14, for k=10 and k=100. In all cases, the infinite elements display a good convergence, with relative L2-error consistently below 0.03 for radial order 8, approaching the target error. Notice that in some cases the relative L2-error is even below the target error; this can happen, since the adaptivity rules to determine the orders in the interior domain are based on a non exact estimation of the error.



FIG. 14: Frequency domain results for plane waves kitting the shark submarine at different spherical angles α and θ (expressed in radians). Performance of the flexible infinite element formulation with infinite edges extruded in the normal direction. The AML implementation is used to compute the reference solution.


6.3.2. Time-Domain Results

Finally, we consider the scattering of a monopole source placed in front of the shark, at (0, 0, 0.5).


The target L2-error, used to compute the shape functions orders in the FEM domain, is set once again to E2=0.01. The radial order for the infinite elements is set to m=8, fixed throughout the exterior domain. The power in (38) for the flexible formulation is set to pw=8 and the error induced by the stabilization procedure is Est=0.0002, computed according to (85) for k=50, the largest wavenumber of interest for the problem analyzed. Once again, it is clear that the error induced by the stabilization procedure is negligible, since it is largely below the target error used to compute the shape functions orders in the FEM domain.


The input signal consists of a sine wave with k=45, filtered using the Hamming window. A ROM, valid between k=5 and k=50, with a relative error tolerance tol=0.01, is generated using the AKSA. The FRFs of the FOM and the ROM are compared in FIG. 15, for a random entry in the solution vector. The final ROM has 90 Dofs, while the initial FOM had 465 905



FIG. 15: FRF comparison ROM (gray line) vs FOM (black stars), for a random entry in the solution vector. Results obtained attaching flexible infinite elements to the convex hull.


Dofs. We ran all our numerical experiments on a Dell desktop computer with 384 Gb of RAM and 3.00 GHz clock speed. The offline MOR procedure took 5 minutes and 45 seconds, and a single full-system solve, an operation performed several tines during the AKSA, required 15.5 Gb of memory. As a reference, we compute the transient response to the same excitation, using the standard Astley-Leis formulation, with a spherical envelope surrounding the submarine. In this case, the model has 1 039 249 nodes, 801 405 elements and 2 515 697 Dofs, 5 times more than the convex-hull model. The offline MOR procedure took 95 minutes, considerably more than the previous case, and for a full-system solve 151.9 Gb of memory are necessary; additionally, the projection basis, that needs to be stored throughout the whole MOR process, is 5 times larger than before, as the number of rows corresponds to the Dofs of the FOM. As in the previous case, the final ROM has 90 Dofs. In Table 1 we summarize the data on the computational requirement to build a ROM using the AKSA for the two models.









TABLE 1







Computational requirements for the AKSA, comparison


between model with convex hull and spherical


envelope enclosing the submarine.












Time
Memory (full-system solve)



Dofs
[min.]
[Gb]














Convex hull
465905
5.45
15.5


Sphere
2515697
95
151.9









In FIG. 16 we plot the pressure as a function of time at different points on the submarine surface, for for the convex hull and the spherical envelope models. The use of the convex hull model, made possible by the newly developed flexible infinite element formulation, is clearly more efficient, since the MOR process is considerably less expensive, while the accuracy is similar to the one obtained using the spherical envelope. In FIG. 17 we show the visualization of the transient acoustic wave at different snapshots, using Simcenter 3D (version 2022.1).


7. Conclusion

In this work, we introduced a novel infinite element formulation, called flexible infinite element, for the simulation of unbounded wave propagation problems. One of the main disadvantages of traditional mapped formulations is that the accuracy depends on the geometrical configuration of the infinite elements. For transient simulators, where the infinite elements have to be extruded orthogonally to the FE boundary, the user is not free to locate the virtual sources where desired. This limits the accuracy of such formulations, especially in the case in which envelopes of a high aspect ratio are used. In the flexible formulation, a new set of shape functions is used, that makes the accuracy independent of the location of the mapping nodes. The newly developed element can be used for transient simulations, with arbitrarily convex-shaped FE boundaries. A strategy to guarantee the stability of the proposed method in the time domain, and at the same time preserve the accuracy, was discussed in detail. The accuracy of the flexible formulation was tested with several examples, both in the frequency and in the time domain. It was shown how the new formulation can be easily implemented in a software based on high-order adaptive FEM. Finally, a workflow including the automatic extrusion of the infinite elements and the autocratic order reduction of the resulting models was presented. Since typically higher order polynomials are used for the test functions, to guarantee the accuracy of the stabilized transient flexible formulation, the cost of the assembly step is higher than for standard Astley-Leis infinite elements (see discussion in Section 3.2.3). However, for most cases of interest, the most computationally expensive operation is the factorization step. In particular, the computational savings made possible by the use of the flexible infinite elements were demonstrated, especially for high-aspect ratio scatterers. For future research, it would be interesting to develop a new error estimator, to automatically determine the radial order of the shape functions in the infinite domain. Finally, it would be interesting to research new strategies to automate the choice of the power pw in the test functions for transient simulations, based on accuracy requirements from the user.


Appendix A. Error Bound for the Stabilized Flexible Formulation

In this appendix, we analyze the effects of the stabilization procedure on the accuracy of the solution P of the linear system of equation (7). In particular, we develop an error bound, which links the accuracy loss to the chosen tolerance c in equation (80). Let's call Afull the fully assembled matrix










A
full

:=

[



-

ω
2



M

+

i

ω

C

-
K

]





(

A
.1

)







and let the perturbed system be












(


A
full

+

Δ


A
full



)



(


p

(
ω
)

+

Δ


p

(
ω
)



)


=

f

(
ω
)


,




(

A
.2

)







where ΔAfull is the perturbation in Afull, introduced by the stabilization procedure, and Δp(ω) is the subsequent perturbation in the solution vector As stated in [52] we have















Δ

p








p










κ


(

A
full

)


1
-



κ


(

A
full

)







Δ


A
full










A
full











(





Δ


A
full










A
full






)



,




(

A
.3

)







where the ∞-norm of a matrix Aϵcustom-charactera×b is












A





max


i
=
1

,

,
a






j
=
1

b




"\[LeftBracketingBar]"


a
ij



"\[RightBracketingBar]"







(

A
.4

)







and the condition number κ is defined as











κ


(

A
full

)

:=





A
full











A
full

-
1






.






(

A
.5

)







Since the stabilization procedure consists in substituting the infinite elements' mass matrix contribution MIE with the stabilized version {tilde over (M)}IE, we have













Δ


A
full






=





-


ω
2

(


M
IE

-


M
~

IE


)






=


ω
2








M
IE

-


M
~

IE






.







(

A
.6

)







It is interesting to note that, since ∥ΔAfull is proportional to ω2, the accuracy loss is larger for the highest frequency of interest. At the element level, we can write











M
IE
e

-


M
~

IE
e

-

=



Ψ
g
T

(


D
e

-


D
~

e


)




Ψ
g

.






(

A
.7

)







The maximum entry of the matrix De-{tilde over (D)}e is at most ϵ, which is imposed through (80) and (81). As a consequence, the maximum entry of the matrix MIEe-{tilde over (M)}IEe is smaller than ng2ϵ, since Ψgϵcustom-characternIEe×ng all its entries are smaller than or equal to one, when choosing Lobatto polynomials. The maximum number of element matrices MIF which contribute to an entry in the global matrix MIE is nmax, with











n
max

:=


max


i
=
1

,

,

n
Γ




n
elem
i



,




(

A
.8

)







where nΓ is the number of mapping nodes on the envelope Γ and nelemi is the number of elements which share the i-th node. So, we have that the maximum entry in the matrix MIE-{tilde over (M)}IE is at most nmaxng2ϵ. Using the ∞-norm definition, we can write














(


M
IE

-


M
~

IE


)








n
nz



n
max



n
g
2


ϵ


,




(

A
.9

)







with











n

r

z


:=



max




i
=
1

,

,

n
IE





n
nz
i



,




(

A
.10

)







where nnzi is defined as the number of non-zero entries in the i-th row of the matrix MIE. By substituting inequality (A.9) in (A.6), we obtain














Δ


A
full










(

ω


n
g


)

2



n
nz



n
max


ϵ


,




(

A
.11

)







which can be substituted in (A.3), to obtain














Δ

p








p











κ


(

A
full

)


1
-



κ


(

A
full

)






(

ω


n
g


)

2



n
nz



n
max


ϵ





A
full









[




(

ω


n
g


)

2



n
nz



n
max


ϵ





A
full






]

.





(

A
.12

)







Expression (A.12) represents the link between the tolerance ϵ, set by the user at the element level, and the accuracy loss coning from the stabilization procedure.


Additional possible implementations or alternative solutions of the present embodiments also encompass combinations of features described above or below with regard to the embodiments that are not explicitly mentioned herein. The person skilled in the art may also add individual or isolated aspects and features to the most basic form of the invention.


It is part of the invention that not all steps of the method necessarily have to be performed on the same component or computer instance but may also be performed on different computer instances.


The properties, features, and advantages of the present embodiments described above, as well as the manner they are achieved, become clearer and more understandable in the light of the following description and embodiments, which will be described in more detail in the context of the drawings. This following description does not limit the invention on the contained embodiments. Same components or parts may be labeled with the same reference signs in different figures. In general, the figures are not for scale. An embodiment may also be any combination of the dependent claims or above embodiments with the respective independent claim.


These and other aspects of the invention will be apparent from and elucidated with reference to the embodiments de-scribed hereinafter.





BRIEF DESCRIPTION OF THE DRAWINGS

Embodiments are now described, by way of example only, with reference to the accompanying drawings, of which:



FIG. 1 illustrates an exterior acoustic problem;



FIG. 2 is a schematic representation of a mapped infinite element, in which the center of radiation coincides with the origin of the Cartesian coordinates system;



FIG. 3 is a schematic representation of an infinite element, in which an envelope Γ is a circle discretized with piecewise linear envelope Γh, virtual sources relative to nodes F1 and F2 coincide with the center of arc O, and the interpolated virtual source relative to the other points on Γh do not coincide with the center of the arc O;



FIG. 4 is a schematic representation of auxiliary mapping in a flexible infinite element;



FIG. 5 is a schematic representation of a region inside a flexible infinite element (infinite edges are extruded orthogonally to the envelope Γ);



FIG. 6 shows example plots;



FIG. 7 shows 2D meshes used for numerical experiments;



FIG. 8 shows flexible infinite element (circles) versus standard Asley-Leis element (squares) results for confocal-rays configuration (all virtual sources coincide with the center of radiation and with the location of the physical source);



FIG. 9 shows flexible infinite element (circles) versus standard Astley-Leis element (square) results from the normal-rays configuration;



FIG. 10 illustrates performance of the flexible and Astley-Leis formulation for an arbitrary convex envelope, in the time domain, using the normal-rays extrusion strategy;



FIG. 11 illustrates pseudo-polyhedral domains;



FIG. 12 illustrates performance of the flexible and Astley-Leis formulation for a pseudo-tetrahedron enclosing the scattering sphere, in the time domain, using the normal-rays extrusion strategy;



FIG. 13 shows a shark model;



FIG. 14 illustrates frequency domain results for plane waves hitting a shark submarine at different spherical angles;



FIG. 15 illustrates an FRF comparison of ROM (line) versus ROM (black stars) for a random entry in the solution vector;



FIG. 16 illustrates pressure history at points A and B on the submarine surface, using Astley-leis infinite elements attached to the spherical envelope (solid line) and flexible infinite elements attached to the convex hull (dashed line);



FIG. 17 shows transient results visualized in Simcenter 3D, with a monopole source placed in front of the shark;



FIG. 18 shows a representation of the underlying acoustic problem; and



FIG. 19 shows a flow diagram of method acts according to an embodiment.





The illustration in the drawings is in schematic form.


It is noted that in different figures, similar or same elements may be provided with the same reference signs.


DESCRIPTION OF THE DRAWINGS


FIG. 18 shows a schematic representation of an underlying acoustic problem. Ωi is the interior domain, and Ωe is the exterior domain. Γ is an interface between the two domains, and Γs is an envelope where the Sommerfeld condition (e.g., no waves may be reflected at infinity) is imposed. The interface Γ is a convex shape CXS around an object OBJ, using Quickhull algorithm QHA. A control volume CVL of the unbounded domain UBD is limited by a dotted line to illustrate that the boundary is not reflective like a normal boundary. The object OBJ emits sound as a sound source SDS.



FIG. 19 shows a simplified flow diagram illustrating a computer-implemented method for modeling acoustics of an object OBJ as a numerical simulation model MDL in an unbounded domain UBD to determine a field variable FDV within a control volume CVL of the unbounded domain. The method includes the following acts: (a) providing a coordinate system COS mapping positions POS in the control volume CVL; (b) providing a geometrical specification of a sound source SDS in the control volume CVL based on the coordinate system COS; (c) constructing a convex shape CXS around the sound source SDS using Quickhull algorithm QHA; (d) extruding infinite elements IFE starting from the convex shape CXS; (e) transforming the coordinate system COS into a field variable coordinate system FVC by mapping a radial coordinate of the coordinate system COS to an auxiliary coordinate (v(s, t, v)) extending from the convex shape CXS to the infinite elements IFE; (f1) constructing field shape functions FSF using the auxiliary coordinate (v(s, t, v)); (f2) using the field shape functions FSF for the infinite elements IFE; (f3) implementing the infinite elements using the field shape functions FSF in the numerical simulation model MDL; (g) determining the field variable FDV by solving the numerical simulation model MDL using a solver SLV; (h) displaying, via a display DSP, the field variable FDV and/or key figures calculated from the field variable FDV, or images illustrating the field variable FDV to a user USR; (i) providing the field variable FDV to an iterative object design process IOD of the object OBJ for designing the object OBJ with the design goal of improving acoustic emission; (j) generating the object OBJ according to a design as determined by the iterative object design process IOD. This generation GNT may be done by any manufacturing or production method.


The method may be implemented as or stored on or downloadable as a computer product CMP arranged and configured to execute the acts of the computer-implemented method according to the present embodiments. The computer product CMP may be computer hardware including executable instructions stored in a data storage. An additional or alternative option is to provide the method according to the present embodiments via a computer-readable medium CRM encoded with executable instructions that, when executed, cause a computer or computer product to carry out a method according to the present embodiments or one of its embodiments. Another option is providing the present embodiments as a system SYS for determining acoustic parameters of an emission of the object. The system SYS includes at least one processor CPU being prepared by upload of computer-executable code to perform a method according to the present embodiments.


Although the present invention has been described in detail with reference to embodiments, it is to be understood that the present invention is not limited by the disclosed examples, and numerous additional modifications and variations may be made thereto by a person skilled in the art without departing from the scope of the invention.


The use of “a” or “an” throughout this application does not exclude a plurality, and “comprising” does not exclude other steps or elements. Also, elements described in association with different embodiments may be combined. Reference signs in the claims should not be construed as limiting the scope of the claims.


Independent of the grammatical term usage, individuals with male, female, or other gender identities are included within the term.


The elements and features recited in the appended claims may be combined in different ways to produce new claims that likewise fall within the scope of the present invention. Thus, whereas the dependent claims appended below depend from only a single independent or dependent claim, it is to be understood that these dependent claims may, alternatively, be made to depend in the alternative from any preceding or following claim, whether independent or dependent. Such new combinations are to be understood as forming a part of the present specification.


While the present invention has been described above by reference to various embodiments, it should be understood that many changes and modifications can be made to the described embodiments. It is therefore intended that the foregoing description be regarded as illustrative rather than limiting, and that it be understood that all equivalents and/or combinations of embodiments are intended to be included in this description.

Claims
  • 1. A method for modeling acoustics of an object as a numerical simulation model in an unbounded domain to determine a field variable within a control volume of the unbounded domain, the method being computer-implemented and comprising: providing a coordinate system mapping positions in the control volume;providing a geometrical specification of the object, the object being configured to emit sound as a sound source in the control volume, wherein the geometrical specification is based on the coordinate system;constructing a convex shape around the sound source using Quickhull algorithm;extruding infinite elements starting from the convex shape;transforming the coordinate system into a field variable coordinate system, the transforming comprising mapping a radial coordinate of the coordinate system to an auxiliary coordinate extending from the convex shape to the infinite elements;constructing field shape functions using the auxiliary coordinate;using the field shape functions for the infinite elements;implementing the infinite elements using the field shape functions in the numerical simulation model; anddetermining the field variable, the determining of the field variable comprising solving the numerical simulation model.
  • 2. The method of claim 1, wherein the transforming provides the auxiliary coordinate for positions outside of the convex shape as:
  • 3. The method of claim 1, further comprising displaying the field variable, key figures calculated from the field variable, or the field variable and the key figures, or images illustrating the field variable to a user.
  • 4. The method of claim 1, further comprising providing the field variable to an iterative object design process of the object for designing the object with the design goal of improving acoustic emission.
  • 5. In a non-transitory computer-readable storage medium that stores instructions executable by one or more processors to model acoustics of an object as a numerical simulation model in an unbounded domain to determine a field variable within a control volume of the unbounded domain, the instructions comprising: providing a coordinate system mapping positions in the control volume;providing a geometrical specification of the object, the object being configured to emit sound as a sound source in the control volume, wherein the geometrical specification is based on the coordinate system;constructing a convex shape around the sound source using Quickhull algorithm;extruding infinite elements starting from the convex shape;transforming the coordinate system into a field variable coordinate system, the transforming comprising mapping a radial coordinate of the coordinate system to an auxiliary coordinate extending from the convex shape to the infinite elements;constructing field shape functions using the auxiliary coordinate;using the field shape functions for the infinite elements;implementing the infinite elements using the field shape functions in the numerical simulation model; anddetermining the field variable, the determining of the field variable comprising solving the numerical simulation model.
  • 6. The non-transitory computer-readable storage medium of claim 5, wherein the transforming provides the auxiliary coordinate for positions outside of the convex shape as:
  • 7. The non-transitory computer-readable storage medium of claim 5, wherein the instructions further comprise displaying the field variable, key figures calculated from the field variable, or the field variable and the key figures, or images illustrating the field variable to a user.
  • 8. The non-transitory computer-readable storage medium of claim 5, wherein the instructions further comprise providing the field variable to an iterative object design process of the object for designing the object with the design goal of improving acoustic emission.
  • 9. A system for determining acoustic parameters of an emission of an object, the system comprising: at least one processor configured to model acoustics of an object as a numerical simulation model in an unbounded domain to determine a field variable within a control volume of the unbounded domain, the at least one processor being configured to model acoustics of the object comprising the at least one processor being configured to: provide a coordinate system mapping positions in the control volume;provide a geometrical specification of the object, the object being configured to emit sound as a sound source in the control volume, wherein the geometrical specification is based on the coordinate system;construct a convex shape around the sound source using Quickhull algorithm;extrude infinite elements starting from the convex shape;transform the coordinate system into a field variable coordinate system, the transformation comprising map of a radial coordinate of the coordinate system to an auxiliary coordinate extending from the convex shape to the infinite elements;construct field shape functions using the auxiliary coordinate;use the field shape functions for the infinite elements;implement the infinite elements using the field shape functions in the numerical simulation model; anddetermine the field variable, the determination of the field variable comprising solve of the numerical simulation model.
  • 10. The system of claim 9, wherein the transformation provides the auxiliary coordinate for positions outside of the convex shape as:
  • 11. The system of claim 9, wherein the at least one processor being configured to model acoustics of the object further comprises the at least one processor being configured to display the field variable, key figures calculated from the field variable, or the field variable and the key figures, or images illustrating the field variable to a user.
  • 12. The system of claim 9, wherein the at least one processor being configured to model acoustics of the object further comprises the at least one processor being configured to provide the field variable to an iterative object design process of the object for designing the object with the design goal of improving acoustic emission.
Priority Claims (1)
Number Date Country Kind
23204348.9 Oct 2023 EP regional