The solution in the unbounded acoustic medium is assumed to be linear and
governed by the same equations as the finite acoustic region:
1Kf¨p+γρfKf˙p-∂∂x⋅(1ρf∂p∂x)=0.
γ
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:
∫Vfδp(1Kf¨p+γρfKf˙p-∂∂x⋅(1ρf∂p∂x))dV=0.
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,
δp,
and for the solution field, p,
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
1/r,
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 1/r2
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:
∫Vfδ˜p(-Ω21Kf˜p+iΩγρfKf˜p-∂∂x⋅(1ρf∂˜p∂x))dV=0.
Now the weight and solution interpolation functions are defined as
δ˜p=δpiFϕi(g,h,ξ)eik(r-r0),˜p=pjϕj(g,h,ξ)e-ik(r-r0),
where g(x),
h(x),
and ξ(x)
are the parent element coordinates; F≡(r0/r)2;
k≡Ω/c0;
c20≡Kf/ρf;
and ϕi
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:
∫Vf(ϕi∂ϕj∂x⋅(1ρf∂F∂x)+F∂ϕi∂x⋅(1ρf∂ϕj∂x))dVpj-ik∫Vf(∂(r-r0)∂x⋅(1ρf∂F∂x)ϕiϕj)dVpj+ik∫VfFρfγ√KfρfϕiϕjdVpj-ik∫VfFρf(∂(r-r0)∂x⋅∂ϕi∂xϕj-ϕi∂ϕj∂x⋅∂(r-r0)∂x)dVpj-k2∫VfFKf(1-∂(r-r0)∂x⋅∂(r-r0)∂x)ϕiϕjdVpj=0.
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:
ϕi(g,h,r)≡fbαBβ,
where
f≡√r0(g,h)r
in two spatial dimensions and
f≡r0(g,h)r
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, i≡n+α
for the second n functions, and so on.
The functions bα(g,h)
are conventional two-dimensional shape functions (in three dimensions) or, with
h≡0,
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
Bβ,
which are members of a set of ten ninth-order polynomials in
ξ≡1-2r0(g,h)r.
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
(i-1)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,
B1≡1,
and
Bβ≡(1+ξ)ˆBβ,
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.