Transient formulation
The solution in the unbounded acoustic medium is assumed to be linear and governed by the same equations as the finite acoustic region:
is used here to denote the volumetric drag parameter. Consider the infinite exterior of a region of acoustic fluid bounded by a convex surface and a conventional finite element mesh defined on this surface. Each facet of this surface mesh, together with the normal vectors at the nodes, defines a subdivision of the infinite exterior that will be referred to as the “infinite element.” Application of the method of weighted residuals results in a weak form of this equation over the infinite element volume:
This equation is formally identical to that used in the finite element region (see Coupled acoustic-structural medium analysis); however, the choice of basis functions for the weight, , and for the solution field, , will be different. Selection of these functions has been the subject of considerable experimentation and analysis (for example, see Allik, 1991, and Burnett, 1994). In Abaqus considerations of accuracy, numerical stability, time-domain well-posedness, and economy have led to the selection of a form proposed by Astley (Astley, 1994). Here, the Fourier transform is applied to the equilibrium equation, and the functions for the solution field are chosen as tensor products of conventional finite element shape functions in the directions tangential to the terminating surface and polynomials in , where r is a coordinate in the infinite direction, and a spatially oscillatory factor. The weights are chosen as complex conjugates of the solution field functions times a factor. This combination has shown to result in an element with several desirable properties. First, if the material properties are constant with respect to frequency in steady-state analysis, the mass, damping, and stiffness element matrices are constant as well; equivalently, in transient analysis the element results in a second-order differential equation for the pressure. Moreover, the damping matrix has positive eigenvalues, a necessary condition for well-posedness in transient analysis. Analytical investigations of the formulation demonstrate that the element captures the exact solutions for radiation impedances for modes of a sphere; the order of the spherical mode modeled exactly is equal to the order of the polynomial used in the infinite direction. The element integrals do not contain oscillatory kernels and can be evaluated using standard Gauss quadrature methods. Finally, the element can be formulated using the usual coordinate map due to Bettess (1984) so that arbitrary convex terminating surfaces can be used.
To continue with the derivation, we transform the weighted residual statement into the frequency domain:
Now the weight and solution interpolation functions are defined as
where , , and are the parent element coordinates; ; ; ; and are element shape functions with indices varying over the number of degrees of freedom of the element. The mapping and shape functions are described below.
Inserting the shape functions into Equation 1 and integrating by parts, we obtain the following element equation:
This equation is clearly nonsymmetric, due to the fact that the weight and trial functions are not identical. Nevertheless, if the material properties are constant as a function of frequency, each element matrix corresponding to the terms above is constant as well. Gradients of density inside the element volume have been ignored in the formulation.
The element shape functions are defined as follows:
where
in two spatial dimensions and
in three. This function serves to specify the minimum rate of decay of the acoustic field inside the infinite element domain. The subindex ranges over the n nodes of the infinite element on the terminating surface, while the subindex ranges over the number of functions used in the infinite direction. The function index i is equal to the subindex for the first n functions, for the second n functions, and so on.
The functions are conventional two-dimensional shape functions (in three dimensions) or, with , one-dimensional shape functions for axisymmetric or two-dimensional elements. The role of these functions is to specify the variation of the acoustic field in directions tangent to the terminating surface. The variation of the acoustic field in the infinite direction is given by the functions , which are members of a set of ten ninth-order polynomials in . The members of this set are constructed to correspond to the Legendre modes of a sphere. That is, if infinite elements are placed on a sphere and if tangential refinement is adequate, an ith order acoustic infinite element will absorb waves associated with the ()th Legendre mode. The first member of this set corresponds to the value of the acoustic pressures on the terminating surface; the other functions are generalized degrees of freedom. Specifically,
and
where
This last condition is enforced to improve conditioning of the element matrices at higher order and results in different functions in two and three spatial dimensions. All of the are equal to zero at the terminating surface, except for .
The coordinate map is described in part by the element shape functions, in the usual isoparametric manner, and in part by a singular function. Together they map the true, semi-infinite domain onto the parent element square or cube. To specify the map for a given element, we first define distances between each infinite element node on the terminating surface and the element's reference node, located at :
Intermediate points in the infinite direction are defined as offset replicas of the nodes on the terminating surface:
where is the “node ray” at the node. The “node ray” at a node is the unit vector in the direction of the line between the reference point and the node.
We use the interpolated reference distance on the terminating surface,
in the definition of the parent coordinate, , corresponding to the infinite direction:
where r is the distance between an arbitrary point in the infinite element volume and the reference point, . With these definitions, the geometric map can be specified as
The infinite elements are not isoparametric, since the map uses a lower-order function of the parent coordinates than the interpolation scheme does. However, this singular mapping is convenient and invertible.
The phase factor appears in the element formulation. This factor models the oscillatory nature of the solution inside the infinite element volume but must also satisfy some additional properties. First, it must be zero at the face of the infinite element that connects to the finite element mesh. Second, it must be continuous across infinite element lateral boundaries. Third, it should be such that the mass-like term in the infinite element equation,
be positive semi-definite. This last criterion is not essential for execution of a steady-state analysis, but it is essential for the well-posedness of a transient analysis. Defining
where the subscript E refers to all elements at node , the definition
satisfies these requirements. The inclusion of the factor is the only departure from the definition used in Astley (1994).
In a transient analysis the element matrix equation is transformed back to the time domain, using constant material properties taken from the value at zero frequency. The resulting second-order ordinary differential equation for the pressure degrees of freedom is added to the overall system in the model and integrated in the usual manner.