Cmes 2006 012 121
Cmes 2006 012 121
Cmes 2006 012 121
Abstract: We present a new efficient scheme for loose Farhat (2003); Fornasier, Rieger, Tremel, and der Weide
coupling in fluid-structure-interaction problems as they (2002)). This is particularly crucial for highly critical
typically appear in the context of aircraft design. This flight conditions representing specific parts of the flight
coupling scheme is based upon a multivariate scattered envelope. The behavior of the elastic aircraft in flight
data interpolation approach, based on radial basis func- is influenced by the interaction between deformations of
tions and partition of unity methods. It allows us to cou- the elastic structure caused by fluid flow and the impact
ple arbitrary meshes on fluid and structure side. It con- of the aerodynamic forces on the structure. Hence, the in-
serves virtual work and forces. It is designed for large teraction between the fluid flow and the elastic structure
scale problems and allows the coupling of entire aircraft has to be studied in depth (Done (1996); Edward (1993);
meshes. Försching (1994, 1995)).
In principle, there are two different approaches to the
1 Introduction numerical solution of FSI problems. In a monolithic
approach, one tries to model the fluid, the structure,
In fluid-structure interaction (FSI) the reciprocal action and the interaction in one single model. While this
of a flexible structure with a flowing fluid, in which it is has from the mathematical point of view certain ad-
submersed or by which it is surrounded, is studied. Natu- vantages, its drawbacks in practical applications come
rally, FSI has applications in many fields of engineering, in particular from the fact that the new mathematical
such as the stability and response of aircrafts, the flow of model forces a completely new programming of the
blood through arteries, the vibration of turbine and com- solver. In particular, for complex aeroelastic problems,
pressor blades, and the response of bridges and tall build- the fluid and the structural domain show different mathe-
ings to winds. matical and numerical properties, requiring highly tuned
In this paper we study the mutual interaction between and adapted solvers. Hence, the simultaneous solution
aerodynamical and elastic forces for an aerospace vehi- by a monolithic scheme is in general computationally
cle. An airborne aircraft structure is subjected to sur- challenging, mathematically and economically subop-
face pressures induced by its surrounding flow. For an timal, and software-wise almost unmanageable (Farhat
introduction into the field of aeroelasticity we refer the and Lesoinne (1998)).
reader for example to Bisplinghoff and Ashley (1962); A more practical point of view is taken in the loose cou-
Fung (1955); Försching (1974); Dowell, Crawley, Jr., Pe- pling approach. Here, for each time step, the fluid and the
ter, Scanlan, and Sisto (1995). structural problem are solved independently, and the in-
In the development process of future air vehicles, mul- fluence of the other problem is restricted to the exchange
tidisciplinary simulation has become a key technology. of boundary conditions. To be more precise, a loose cou-
For the design and clearance of modern aircrafts, such pling scheme consists mainly of the iteration of the fol-
multi-disciplinary simulations are used to predict and lowing four steps:
to analyze the behavior of the elastic aircraft in flight
and during maneuver (Geuzaine, Brown, Harris, and 1. Compute the fluid solution and the resulting forces
on fluid side.
1 Institut für Numerische und Angewandte Mathematik, Universität
Göttingen 2. Transfer the forces to the structure.
2 European Aeronautic Defence and Space Company (EADS)
3 Institut für Numerische und Angewandte Mathematik, Universität 3. Compute the solution of the structure problem re-
Göttingen sulting in displacements on the structural side.
122 Copyright
c 2006 Tech Science Press CMES, vol.12, no.2, pp.121-136, 2006
Fluid-structure-interaction problems are generally de- For more details see for example Bisplinghoff and Ash-
scribed in a so called three field formulation, referring to ley (1962).
the fluid domain, the structural domain and the interface In our application, theses equations have to be solved in
between both of them. the outer field around an aircraft, i.e. ΩF (t) = R3 \ ΩS (t).
To be more precise, let Ω(t) be a time dependent domain The solution of the Euler equations produces a pressure
of R3 . We will assume that Ω(t) = ΩF (t) ∪ ΩS (t) for all distribution on the structure, from which forces result,
/ Here, ΩF (t) denotes the do-
time and ΩF (t) ∩ ΩS (t) = 0. which act on the structure (in the case of an aircraft they
main occupied by the fluid at time t, while ΩS (t) denotes are responsible for the lift). However, for elastic struc-
the structural domain. Finally, let Γ(t) = ΩF (t) ∩ ΩS (t) tures these forces lead also to a deformation of (parts) of
be the fluid-structure interface. the structure, which, in practical computations, cannot be
On ΩF (t) the governing equations that describe the flow neglected.
are given by the Navier-Stokes or Euler equations. These These deformations are typically described by the Lamé
equations are based on the conservation of mass, momen- or Navier-Cauchy equations
tum, and energy. In our application, we will restrict our-
selves to the Euler equations for compressible flow, ρs̈ = µ∆s + (µ + λ)∇(∇ · s) + b, (7)
field, b are the body and external forces, and ρ is the 3 The Coupling Procedure
density of the body.
We will now describe our coupling procedure. This
In particular in aeroelastic computations, an eigenmode means that we have to describe two steps in the coupling
formulation of (7) is used. Suppose the displacements s process. The first step is concerned with transferring dis-
are expressed as placement vectors from the structural grid to the aerody-
∞
namical mesh, while the second step deals with transfer-
s(x,t) = ∑ qn (t)ψ ψn (x), ring forces from the aerodynamical mesh to the structural
n=1 one. Our coupling scheme will be based only upon point
information giving the most possible flexibility.
where the functions ψ n (x) are the natural eigenmodes of To make this more precise we will from now on use the
vibration of the structure and qn (t) are the Lagrange vari- following notation:
ables. Then, using only a finite number of Lagrange vari-
ables, (7) can be expressed as • Structural side:
This simple approach already guarantees conservation on the choice of the coupling matrix H. For example,
of virtual work and has been used often before (see for a global coupling matrix H built with radial basis func-
example Beckert (2000); Harder and Desmarais (1972); tions as proposed in Hounjet and Meijer (1994); Beckert
Hounjet and Meijer (1994)). However, to conserve also and Wendland (2001) leads often to an undesired and un-
forces, the following terminology will prove to be useful. physical distribution of forces on the structural side. Our
new local method will also remedy this kind of problem.
Definition 3.1. A coupling matrix H ∈ RM×N will be
called conservative if 3.2 Exchanging Displacements
N M
Here, Φ : R3 → R is a (conditionally) positive definite
∑ fi(x j ) = ∑ Fi(y j ), 1 ≤ i ≤ 3.
function of a certain order m and p ∈ πm−1 (R3 ) is a 3-
j=1 j=1
variate polynomial of degree at most m − 1. The coef-
Proof. For the first part, one simply has to realize that ficient vector α ∈ RN as well as the polynomial p are
determined by the interpolation conditions
fTi gi = (H T Fi )T gi = FTi Hgi = FTi Gi
s(x j ) = v j , 1 ≤ j ≤ N,
for any 1 ≤ i ≤ 3. The conservation of forces follows in
the same way. Since our coupling matrix H is supposed where v j = gi (x j ) are the given deformation for the ith
to be conservative, we have coordinate (i between 1 and 3 is from now on considered
N fixed) together with the additional conditions
∑ fi(x j) = fTi eN = (H T Fi)T eN N
j=1
M ∑ α j q(x j) = 0, for all q ∈ πm−1 (R3 ).
∑ Fi (y j)
j=1
= FTi HeN = FTi eM =
j=1
Typical examples of radial basis functions together with
for 1 ≤ i ≤ 3. their order m are given in Table 1. The names are ab-
breviations for Volume Spline, Thin-Plate Spline, Multi-
While a conservative coupling matrix has the just stated Quadric, Inverse Multi-Quadric, Gaussian, Wendland
conservation properties which are crucial to any coupling C0, C2, C4, and Euclid’s Hat, respectively. For W1–W3
process, the global approach using (10) depends heavily and EH we used the notation (r)+ = max{0, r}. Hence,
Coupling in fluid-structure-interaction 125
Table 1 : Conditionally positive definite functions tionally positive definite of order m and provided that the
set X is πm−1 (Rd ) unisolvent. The latter means that the
Φ(x) = φ(r) with r = x2 Name CPD only polynomial from πm−1 (Rd ) vanishing on X is the
r VS m≥1 zero polynomial.
r√2 logr TPS m≥2
2 +1 If we additionally define, for given evaluation points Y =
r√ MQ m≥1
{y1 . . ., yM } ⊆ Ω, the matrices AΦ,X,Y = (Φ(yi − x j )) ∈
1/ r2 + 1 IMQ m≥0
RM×N and PY = p j (yi ) ∈ RM×Q , then we can read off the
exp(−r2 ) G m≥0
coupling matrix H : RN → RM from
(1 − r)2+ W1 m≥0
(1 − r)4+ (1 + 4r) W2 m≥0 −1
AΦ,X PX v
(1 − r)6+ (35r2 + 18r + 3) W3 m≥0 s|Y = AΦ,X,Y PY
π PXT 0 0
12 (r + 2)(1 − r)+ m ≥ 0.
2 EH
v
=:
H H (12)
0
So far we have mainly described the method from Beck- interpolant is now formed by weighting the local inter-
ert and Wendland (2001); Harder and Desmarais (1972), polants. To this end, a partition of unity is chosen. This is
which has successfully been used for smaller models. a family of smooth, nonnegative functions {w j }Kj=1 such
However, problems arise if the size of the models be- that each w j is supported only on its associated patch Ω j ,
comes larger. This is mainly due to two facts. On the i.e. w j vanishes outside Ω j . Moreover, the weight func-
one hand, to compute the coupling matrix H we have to tions are supposed to sum up to one:
invert the (N + Q) × (N + Q) matrix in (11). Since Q is K
negligible when compared to N, the number of nodes on ∑ w j (x) = 1, x ∈ Ω.
an O (N 3 ) complexity. Multi-
the structural side,this has j=1
plying the matrix A P with this inverse needs an- Then, the global interpolant is formed by
other O (NM) operations. For N and M too large both K
operations, even if they have to be done only once, need s(x) = ∑ w j (x)s j(x).
j=1
too much time. Moreover, for large M and N it is also
not reasonable, sometimes not even possible to keep the It inherits many of the properties of the local interpolants.
M × (N + Q) matrix H in the main memory of a modern For example, it is really an interpolant and it preserves
computer. For example, if we have N = 10, 000 structural the approximation orders of the local interpolants. More-
nodes and M = 1, 000, 000 dynamical surface nodes, stor- over, if the constant number of patches that contain a sin-
ing the matrix in double format using 8 bytes per num- gle evaluation point can be located in log(N) time, which
ber would need more than 74 gigabytes of memory. is the case for the above mentioned data structures, then
Hence, for larger models it is necessary to design an en- each evaluation also takes only log(N) time.
hanced coupling method for exchanging these data be- The evaluation of the interpolant can, as in the global
tween the two models. We will achieve this here, by com- case (12) be described by a matrix vector multiplica-
bining the radial basis function interpolation approach tion. Using the transposed of this new coupling matrix
with a partition of unity, see Wendland (2002). The idea for transferring forces from the aerodynamic to the struc-
behind this method can be described as follows. First, a tural model leads again to a conservative scheme.
region of interest Ω is defined. This region must contain Lemma 3.4. Suppose that on each patch Ωk the inter-
the node sets X and Y . Next, Ω is decomposed into a polation process employs at least a constant polynomial
number of overlapping subregions: Ω ⊆ ∪Kj=1 Ω j . This (i.e. m ≥ 1) and that the local data sets Xk = X ∩ Ωk are
decomposition has to be done in such a way that each πm−1 (Rd ) unisolvent. Suppose finally that H is the result-
patch Ω j contains only a small number N j of points, ing coupling matrix from our partition of unity approach.
which, when compared to N, can be considered to be Then, H is conservative and the coupling scheme (9) and
constant. Consequently, the number of patches K has to (10) preserves virtual work and forces.
be proportional to the number N. Moreover, it is impor-
tant that each y ∈ Y is contained in only a small number Proof. Given input data eN = (1, . . ., 1)T ∈ RN lead on
of patches and that these patches can be found fast. These every patch Ωk to local input data eNk , and hence to a lo-
requirements make it necessary to build “intelligent” data cal interpolant sk which is identical one. Thus, the global
structures for both the points in X and the patches Ω j . interpolant s satisfies
For each patch Ω j we collect the points from X in X j , i.e. s(x) = w (x)s (x) = w (x) = 1
X j = X ∩ Ω. Then, we solve the interpolation problem on
∑ k k ∑ k
k k
each patch in the previously described way, resulting in for all x ∈ Ω, meaning that the coupling matrix is conser-
a local interpolant s j . Since the number of points in each vative.
X j can be considered to be constant, this can be done in
constant time for each patch and, since we have O (N) Employing such a local strategy has the additional ad-
patches the overall time is also O (N) plus the time nec- vantage that forces and work are also locally preserved
essary to build the associated data structures. Such data resulting automatically into a more local distribution of
structures are in general based upon binary trees and can the forces, which will be demonstrated in the next sec-
be constructed in O (N logN) time. Finally, the global tion.
Coupling in fluid-structure-interaction 127
4 Numerical Results
0.4
0.4
0.35
0.35 W2 C4
EH C4 EH C4
VS C4 W2 C4
0.3 0.3 TPS C4
W3 C4
TPS C4 VS C4
W1 C4 W1 C4
0.25 0.25
T3
T3
0.2 0.2
0.15 0.15
0.1
0.1
0.05
0.05
5 10
Y 5 10
Y
This region does not appear in the case of the other basis distribution is almost independent of the employed basis
functions. But it is visible for all basis functions in the function.
case of the local method. Moreover, again, the pressure
Coupling in fluid-structure-interaction 131
-0.6 -0.6
alpha
alpha
-0.7
-0.7
-0.8
-0.8
-0.9
-0.9
-1
-1
-1.1
-1.1
-1.2
-1.2
-1.3
-1.3 -1.4
-1.4 -1.5
5000 10000 5000 10000
Y Y
Figure 18 : Angle of Attack: Global method Figure 19 : Angle of Attack: PoU method
X Y
X
Y
Figure 20 : Transformed forces on the FE model, global Figure 21 : Transformed forces on the FE model, global
method method
X Y
X
Y
Figure 22 : Transformed forces on the FE model, local Figure 23 : Transformed forces on the FE model, local
method method
1 2 3 4 5 6 7 8
4.3.5 Computational Time iteration #
The new local method leads to convergence after 5 iter- Figure 24 : Convergence of static aeroelastic solution
ations with a residual of ε = 3.44e−4 . Here, the residual
is defined to be the relative difference in displacements
Table 3 : Computational Time
of two consecutive solution steps. For comparison, the
classical, global spatial coupling approach needed 6 iter- Times/Method Global PoU
ations to stop with an even worse residual of ε = 1.16e−3 .
Spatial Coupling [sec.] 5000 20
Figure 24 visualizes the residual over the iteration steps
CFD Solution [sec.] 7500 6700
and shows once again the superiority of the local method.
Total [sec.] 12700 7000
Table 3 shows the different computational times for both
methods. The aeroelastic computations have been per-
formed on a Linux workstation cluster, using 8 Intel
Xeon 2.66 GHz CPUs. The CFD solution was parti-
tioned into 6 domains and distributed on 6 CPUs, while each computed on one of the remaining CPUs.
the structural solution and the coupling algorithm were It is remarkable that even the time for the CFD solver im-
Coupling in fluid-structure-interaction 133
Frame 001 ⏐ 19 May 2004 ⏐ DISPLACEMENT at y/s = 0.18 Frame 001 ⏐ 19 May 2004 ⏐ DISPLACEMENT at y/s = 0.5
0.031
0.03 0.145
0.029
0.028 0.14
DISPLACEMENTZ
DISPLACEMENTZ
0.027
0.135
0.026
0.025
0.13
0.024
0.023 0.125
0.022
0.021 0.12
0.02
0.115
0.019
0 0.25 0.5 0.75 1 0 0.25 0.5 0.75 1
x/c x/c
Figure 28 : Chordwise T3, TPS global method, 18% of Figure 29 : Chordwise T3, TPS global method, 50% of
wing span wing span
Frame 001 ⏐ 19 May 2004 ⏐ DISPLACEMENT at y/s = 0.7 Frame 001 ⏐ 19 May 2004 ⏐ DISPLACEMENT at y/s = 0.95
0.26
0.43
0.255
0.425
0.25
DISPLACEMENTZ
DISPLACEMENTZ
0.42
0.245
0.24 0.415
0.235
0.41
0.23
0.405
0.225
0.4
0 0.25 0.5 0.75 1 0 0.25 0.5 0.75 1
x/c x/c
Figure 30 : Chordwise T3, TPS global method, 70% of Figure 31 : Chordwise T3, TPS global method, 95% of
wing span wing span
at 18% wing span. (see Figures 28 to 31). It seems that using our coupling libraries.
this is caused by the global character of the interpolant
and the resulting influence of interpolation points from
the fuselage. References
To eliminate this effect, the influence of different parts Atluri, S. N. (2004): The Meshless Method(MLPG)
of the aircraft has to be minimized. Figures 32 to 35 for Domain & BIE Discretizations. Tech Science Press,
illustrate that this is automatically achieved by the local Forsyth, USA. 680 pages.
method.
Acknowledgement: The results in the fourth section Atluri, S. N. (2005): Methods of Computer Modeling
were produced by Filippo Mattioni in Mattioni (2004) in Engineering & the Sciences, Volume I. Tech Science
Press, Forsyth, USA.
Coupling in fluid-structure-interaction 135
Frame 001 ⏐ 19 May 2004 ⏐ DISPLACEMENT at y/s = 0.18 Frame 001 ⏐ 19 May 2004 ⏐ DISPLACEMENT at y/s = 0.5
0.14
0.135
0.03
0.13
DISPLACEMENTZ
DISPLACEMENTZ
0.125
0.025
0.12
0.115
0.02
0.11
0.105
0 0.25 0.5 0.75 1 0 0.25 0.5 0.75 1
x/c x/c
Figure 32 : Chordwise T3, W1 local method, 18% of Figure 33 : Chordwise T3, W1 local method, 50% of
wing span wing span
Frame 001 ⏐ 19 May 2004 ⏐ DISPLACEMENT at y/s = 0.7 Frame 001 ⏐ 19 May 2004 ⏐ DISPLACEMENT at y/s = 0.95
0.245
0.4
0.24
0.395
0.235
DISPLACEMENTZ
DISPLACEMENTZ
0.39
0.23
0.225 0.385
0.22 0.38
0.215
0.375
0.21
0.37
0.205
0 0.25 0.5 0.75 1 0 0.25 0.5 0.75 1
x/c x/c
Figure 34 : Chordwise T3, W1 local method, 70% of Figure 35 : Chordwise T3, W1 local method, 95% of
wing span wing span
Atluri, S. N.; Shen, S. P. (2005): The basis of meshless radial basis functions. Aerosp. Sci. Technol., vol. 5, pp.
domain discretization: the meshless local petrov-galerkin 125–134.
(mlpg) method. Adv. Comput. Math., vol. 23, pp. 73–93.
Bisplinghoff, R. L.; Ashley, H. (1962): Principles of
Beckert, A. (2000): Coupling fluid (CFD) and structural
Aeroelasticity. John Wiley & Sons, Inc., New York.
(FE) models using finite interpolation elements. Aerosp.
Sci. Technol., vol. 1, pp. 13–22.
Buhmann, M. D. (2001): A new class of radial basis
Beckert, A.; Wendland, H. (2001): Multivariate in- functions with compact support. Math. Comput., vol. 70,
terpolation for fluid-structure-interaction problems using pp. 307–318.
136 Copyright
c 2006 Tech Science Press CMES, vol.12, no.2, pp.121-136, 2006
Done, G. T. S. (1996): Past and future progress in fixed MacNeal-Schwendler Corp.. MSC.Nastran - Hand-
and rotary wing aeroelasticity. Aeronautic Journal, vol. book for Aeroelastic Analysis I/II, 1987. ISSN 0741-
100, pp. 260–279. 8043.
Dowell, E. H.; Crawley, E. F.; Jr., H. C.; Peter, D. A.; Mattioni, F. (2004): Studies on the effects of global and
Scanlan, R. H.; Sisto, F. (1995): A Modern Course in local spatial coupling methods in static aeroelstic anal-
Aeroelasticity. Kluwer Acad. Pub., Dordrecht/Boston. ysis. Diploma thesis, Universita Romà ”La Sapienza”,
2004.
Edward, J. W. (1993): Computational aeroelasticity.
In Flight-Vehicles, Materials, Structures and Dynam- Wendland, H. (2002): Fast evaluation of radial basis
ics – Assessment and Future Directions, volume 5. The functions: Methods based on partition of unity. In Chui,
American Society of Mechanical Engineers, New York. C. K.; Schumaker, L. L.; Stöckler, J.(Eds): Approxima-
tion Theory X: Wavelets, Splines, and Applications, pp.
Farhat, C.; Lesoinne, M. (1998): Higher-order stag-
473–483, Nashville. Vanderbilt University Press.
gered and subiteration free algorithms for coupled dy-
namic aeroelasticity problems. In 36th Aerospace Sci- Wendland, H. (2005): Scattered Data Approximation.
ences Meeting and Exhibit,AIAA 98-0516, Reno/NV. Cambridge Monographs on Applied and Computational
Mathematics. Cambridge University Press, Cambridge,
Fornasier, L.; Rieger, H.; Tremel, U.; der Weide, E. V.
UK.
(2002): Time-dependent aeroelastic simulation of rapid
manoeuvring aircraft. In In 40th AIAA Aerospace Sci-
ences Meeting & Exhibit, 14–17 January 2002, Reno
Nevada. AIAA.