Documente Academic
Documente Profesional
Documente Cultură
PhD Dissertation
December 2009
Las directoras:
Contents
Preface
2 Mathematical model
2.1
10
2.2
Boundary conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
2.3
Equilibrium equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
2.4
Behaviour law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
2.5
Initial conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
2.6
Problem (P )
14
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
3.1
Functional framework . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
3.2
17
3.3
. . . . . . . . . . . . . . . . . . . . . . . . .
18
3.4
Existence of solution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
3.4.1
19
3.4.2
20
21
3.5.1
21
3.5
ii
Contents
3.6
3.5.2
Discretization in space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.5.3
3.5.4
Bermdez-Moreno algorithm for the numerical solution of the nonlinear constitutive law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
30
23
33
4.1
34
4.2
43
4.2.1
43
4.2.2
51
60
4.3.1
NM algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
60
4.3.2
NVPM algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
62
4.3
5 Numerical results
65
5.1
65
5.2
69
5.3
73
6 Conclusions
79
85
89
8.1
Mathematical model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
8.1.1
Boundary conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
90
8.1.2
Equilibrium equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
8.1.3
Behaviour law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
Contents
Problem (P ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
Weak formulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
8.2.1
Assumptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
93
8.2.2
93
94
94
96
8.1.4
8.2
8.3
8.3.1
8.4
iii
99
9.1
9.2
9.3
9.4
9.5
125
141
149
iv
Contents
151
III
155
13 Introduction
159
161
165
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
175
. . . . . . . . . . . . . . . . . . . . . . . 188
199
Acknowledgments
201
Resumen
203
Bibliography
213
Preface
Nowadays, a complete understanding of phenomena in solids mechanics is fundamental in order
to develop new methods or techniques which allow saving huge amounts of money and time in
applied fields like aluminium or ceramics industries. Historically, engineers have considered linear
models in order to simulate these processes. However, real materials often exhibit a non-linear
behavior and, at this moment, more and more new materials are emerging which push the linear
models to their limits. Therefore, the use of nonlinear models has become more relevant in the
numerical simulations of this type of industries.
In the present dissertation thesis, we distinguish three parts well defined and different but joined
by a common topic: the mathematical study and numerical resolution of nonlinear problems in
solid mechanics, arising from physical processes presented in the aluminium or ceramics industries.
We consider real situations where different nonlinearities appear: behaviour laws of viscoplastic
type, boundary conditions such as unilateral contact, etc. So, in the first part, we focus on the
mathematical study of aluminium casting process, and we introduce some efficient algorithms to
carry out its numerical simulation. In this problem, two nonlinearities appear: the nonlinear
aluminium behaviour law and a contact condition with the block containing the metal. Then,
the second part is devoted to the study of the well-known three-point bending experiment and
the modulus of rupture of brittle materials. In this problem, again a contact condition introduces
a nonlinearity in its formulation. Finally, the third part presents a mathematical analysis of an
elasticity problem for catalyst supports.
In what follows, we describe every part and chapter in more detail.
Part 1. Aluminium casting processes: Efficient algorithms for their numerical simulation.
In this first part we propose two algorithms in order to solve numerically the deformation suffered
for a slab in the aluminium casting process. We consider that the casting process is a quasi-static
problem for a thermo-elasto-viscoplastic solid with a unilateral contact condition with the bottom
block. In a first stage, to deal with the plastic and contact effects, the numerical solution was
based on the well-known Bermdez-Moreno algorithm and the numerical procedure was introduced
in [5]. During the stationary stage, in which the contact condition does not have a significant
influence, this algorithm worked well; however, during the start stage, when two nonlinearities
worked together, the convergence was worse, increasing considerably the cpu-time. The objective
of this first part is to design new strategies to obtain a computationally efficient algorithm, such as:
generalized Newton methods, an adimensionalization of the constitutive law, a partial Cholesky
v
vi
Preface
Preface
vii
and three-dimensional numerical simulations; and by using an improved expression to the modulus
of rupture obtained through its asymptotic analysis.
The second part is organized as follows:
In Chapter 7, we give an introduction to the problem we want to solve and a description of
the physical problem associated to the three-point bending tests.
In Chapter 8, we introduce the mathematical model arising from the three-point bending test
and we prove the existence of a unique solution under suitable conditions of compatibility
on the data.
Chapter 9 is devoted to the asymptotic analysis of this problem. We deduce the onedimensional models associated to the displacement components, and we give the existence
and uniqueness of solution for them. Moreover, we give an expression for the normal axial
stress in the beam which is related to the MOR of brittle materials.
In Chapter 10, we detail several examples for laboratory tests for cylindrical and rectangular
beams made of porcelain and we deduce analytical solutions of the bending and axial displacements for them. Moreover, we introduce a new expression for the MOR, which takes
into account not only the rupture load and the total length of the beam but also the distance
between the two lower cylinders, the effect of the gravity and the distance between the ends
of the beam and the lower cylinders.
In Chapter 11 we present the numerical simulations of the real experiments introduced in
the previous chapter and we compute the different approaches for the MOR described in this
manuscript.
Finally, in Chapter 12 we present the most important conclusions of Part II.
Part 3. An elasticity problem for catalyst supports: Unfolding method.
The study presented in this third part was carried out during a research stay in the Laboratoire Jacques-Louis Lion of the Univerist Pierre et Marie Curie. A catalytic converter in an
automobiles exhaust system provides an environment for a chemical reaction where unburned
hydrocarbons completely combust, in such a way that the pollution is reduced. In automotive
industry, an enormous effort is being made with the purpose of developing appropriate supports
and the catalyst itself. In some cases the correct support is what makes all the difference to the
viability of a process. The goal of this third part is to study the asymptotic behaviour of catalyst
supports in a linear elasticity problem when the catalyst support is a structure made of beams,
placed periodically and with inner holes. To do that, we consider the unfolding method, which
offers tools to study the asymptotic behavior and the homogenization of different structures formed
by a large numbers of rods, plates or shells.
The third part is organized as follows:
In Chapter 13, we give an introduction to the problem we want to solve and a description of
the physical problem associated to the catalysis process.
viii
Preface
Part I
Table of Contents
1
Introduction
Mathematical model
2.1
10
2.2
Boundary conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
2.3
Equilibrium equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
2.4
Behaviour law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
2.5
Initial conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
2.6
Problem (P )
14
15
3.1
Functional framework . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
3.2
17
3.3
. . . . . . . . . . . . . . . . . . . . . . . . .
18
3.4
Existence of solution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
3.4.1
19
3.4.2
20
21
3.5.1
21
3.5.2
Discretization in space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
3.5.3
3.5.4
Bermdez-Moreno algorithm for the numerical solution of the nonlinear constitutive law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
30
3.5
3.6
4
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
4.1
34
4.2
43
TABLE OF CONTENTS
4.3
4.2.1
43
4.2.2
51
60
4.3.1
NM algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
60
4.3.2
NVPM algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
62
Numerical results
65
5.1
65
5.2
69
5.3
73
Conclusions
79
Chapter 1
Introduction
The aim of Part I of this manuscript is to obtain efficient algorithms to solve nonlinearities arising
from behaviour laws of viscoplastic type, or from boundary conditions such as unilateral contact.
A real situation, where those two nonlinearities appear and which is the motivation of this research,
is the casting process in aluminium production. During casting processes, the liquid aluminium
is poured onto a water-cooled mold which is called bottom block; when the aluminium begins to
solidify the bottom block starts to descend leaving room for more liquid metal (see Figure 1.1). A
detailed description of the complete process can be found in [33, 41, 75].
liquid aluminium
watercooled
mould
solidified
shell
0000000000
1111111111
0000000000000000000
1111111111111111111
0000000000
1111111111
1111111111111111111
0000000000000000000
0000000000
1111111111
0000000000000000000
1111111111111111111
0000000000
1111111111
0000000000000000000
1111111111111111111
0000000000
1111111111
0000000000000000000
1111111111111111111
0000000000000000000
1111111111111111111
0000000000
1111111111
0000000000000000000
1111111111111111111
0000000000
1111111111
0000000000000000000
1111111111111111111
0000000000
1111111111
0000000000000000000
1111111111111111111
0000000000
1111111111
0000000000000000000
1111111111111111111
0000000000
1111111111
0000000000000000000
1111111111111111111
0000000000
1111111111
0000000000
1111111111
0000000000
00000000001111111111
1111111111
0000000000 cooling
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
1111111111
0000000000
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
1111111111
00000000000000000000
1111111111
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
1111111111
0000000000
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
0000000000
00000000001111111111
1111111111
jets
water
bottom block
The casting process can be divided into two stages. During the start stage, the temperature field,
the solidification front, and the slab shape change with time. The large thermal stresses due
to the cooling jets cause the butt of the slab to bend and lose contact with the bottom block.
This deformation is known as butt curl (see Figure 1.2). When the length of the slab is 1m,
approximately, the temperature field has attained a steady state. In this stationary stage the
solidified shell contracts inwards and the resulting cross-section has a bone shape.
5
Chapter 1. Introduction
Butt curl
x3
x2
Bottom block
x1
The deformations of butt curl and of cross-sectional could be minimized by optimizing casting
parameters but first it is necessary to be able to predict the deformations with fixed casting
conditions. To predict casting behaviour, the main difficulties are due to coupling effects, to the
presence of nonlinear terms, to the existence of free boundaries and to the computational domain
which varies with time (see [6]). Specifically, in order to simulate the butt curl deformation we
must solve a problem of frictionless unilateral contact between a thermo-elasto-viscoplastic body
of Maxwell-Norton type and a rigid foundation.
This manuscript is the continuation of the research initiated in [5] and [9]-[13], where several
mathematical aspects of this subject have been studied:
The detailed formulation as a variational inequality.
The establishment of sufficient conditions for the existence of a solution.
The numerical implementation of the metallostatic pressure on the liquidus-solidus interphase.
The numerical approximation of the variational inequality and the description of a numerical
scheme to solve it.
In [5], an approximate solution of this problem was obtained by using an implicit Euler scheme
in time and a finite element method in space. To deal with the nonlinearities, the numerical solution was based on the Bermdez-Moreno algorithm with the participation of two multipliers:
the viscoplastic multiplier (to take into account the nonlinearity from the behaviour law) and the
contact multiplier (to avoid the nonlinearity due to the contact condition). These two multipliers
were approximated by using fixed point algorithms (see [9, 10, 16]). During the stationary stage, in
which the contact condition does not have a significant influence, this algorithm worked well; however, during the start stage, when two nonlinearities worked together, the convergence was worse,
increasing considerably the cpu-time. Moreover, this algorithm presents a strong dependence on
its parameters, which could not be determined a priori. These facts made difficult the massive
usage of this algorithm to help in the understanding of the different effects in casting processes.
7
The fundamental objective of this research work is to develop efficient numerical methods that
incorporate adaptive procedures to accelerate the treatment of the nonlinearities and hence, be
able to simulate numerically the butt curl deformation in a reasonable cpu-time.
Several approaches are employed to achieve this objective:
Contact condition. Approximating the contact multiplier using generalized Newton methods
together with a penalization technique to conserve the matrixs symmetry (see [7, 14, 46,
54, 72]). The resultant algorithm for the treatment of the contact condition is fast, accurate
and its convergence is independent of the algorithm parameters. Nevertheless, the stiffness
matrix needs to be recalculated at each iteration. So, taking into account that usually the
nonlinear boundary condition only involves a small part of the boundary, we propose to use
a factorization of the stiffness matrix adapted to the problems geometry.
Viscoplastic law. Two options are considered:
Approximating the viscoplastic multiplier with standard Newton techniques without
modification of the stiffness matrix at each iteration (see [7, 14]).
Approximating the viscoplastic multiplier with a generalization of the Bermdez-Moreno
algorithm with variable parameters automatically calculated (see [43]).
When the nonlinearity coming from the viscoplastic law is solved by using Newton techniques,
the strong thermal gradients of stresses force to employ some numerical techniques to obtain
a good convergence: an adimensionalization technique, an Armijo rule and an optimization
of the time step. We present academic problems in order to show the good behaviour of this
methodology but, in the real casting process, the convergence is not always achieved. Due
to this, we propose a second algorithm which is a generalization of the Bermdez-Moreno
algorithm with an automatic choice of its parameters.
The outline of this Part I is as follows:
In Chapter 2, we introduce the mathematical model to simulate the butt curl deformation
during the casting process, giving a description of the boundary conditions, equilibrium equations
and the nonlinear behaviour law associated to aluminium casting. The latter is a thermo-elastoviscoplastic law, where the viscoplastic part is given by a nonlinear Maxwell-Norton law, and the
thermal part is a generalization of Arrhenius law.
In Chapter 3, we make a review of the most important results for the mathematical analysis and
the numerical solution of the butt curl deformation. We propose a weak formulation for the problem
in terms of suitable functional spaces, following the works of Geymotat and Suquet (see [45]) and
Barral and Quintela (see [13]). Moreover, some existence results proved by Barral and Quintela
in [13] and Barral et al in [8] are presented. Finally, we recall the numerical procedure proposed
in [5] to approximate the solution of the problem and to simulate the butt curl deformation. This
procedure is based in the Bermdez-Moreno algorithm.
With the aim of improving the poor convergence of the former algorithm in butt-curl simulation,
Chapter 4 describes a new numerical procedure to approximate the solution of the problem. The
contact condition is solved by means of the Bermdez-Moreno algorithm (see [16]), in which the
Chapter 1. Introduction
Chapter 2
Mathematical model
In this chapter we introduce a mathematical model to simulate the deformation suffered by an
aluminium slab during the solidification process. For this purpose, we consider a quasi-static
problem for a thermo-elasto-viscoplastic solid with a unilateral contact condition with the bottom
block.
In this manuscript, coupling between thermal and mechanical models is not considered. The
temperature field is computed a priori by using the code presented in [63] and used as a data in
the mechanical simulation. A detailed description of the thermal model can be found in [6, 17, 63].
Several authors have studied the mechanical deformations in casting processes. In 1982, Kristiansson and Zetterlund (see [55]) studied the deformation in steel continuous casting by means
of a two-dimensional viscoelastic model, formulated on a horizontal section. Later, in 1992, Mariaux et al. (see [59]) studied the butt curl simulation in aluminium casting and, in 1995, Drezet
et al. (see [34]) simulated the cross-sectional deformation; both works considered a viscoelastic
model. In 2005, Sengupta et al. (see [77]) presented a coupled thermal-stress model to simulate the
start-up phase of the casting process. Nevertheless, all these works present numerical results, but
they do not specify the used models or algorithms. Contrarily, in 2001 Barral (see [5]) presented
a mathematical analysis and a numerical study of a quasistatic evolution problem to model the
thermomechanical behaviour of an aluminium casting, identifying all the governing equations as
well as the suitable functional spaces and numerical algorithms. In this manuscript we are going
to use this mathematical model in order to simulate the butt-curl deformation arising from casting
processes.
The outline of this chapter is as follows: In Section 1.1, we introduce some notations we will use
hereafter in Part I, and the computational domain of the mechanical simulation. In Sections 1.2
and 1.3, we present the boundary conditions and equilibrium equations, respectively. Section 1.4
is devoted to introduce the nonlinear behaviour law; a thermo-elasto-viscoplastic law is considered,
where the viscoplastic part is given by a nonlinear Maxwell-Norton law and the thermal part is
a generalization of Arrhenius law. Finally, in Section 1.5, the initial conditions are given and in
Section 1.6 we present the complete mathematical model.
10
2.1
Let Ox1 x2 x3 be a fixed system of rectangular Cartesian axes associated to the slab, whose origin
coincides with the center of the slab base.
Hereafter in this manuscript, Latin subscripts are understood to range over the integers {1, 2, 3},
and Greek subscripts over the integers {1, 2}. Einstein notation of summation over repeated
subscripts is implied.
Given two vectors u, v R3 , with components (ui )i=1,2,3 , (vi )i=1,2,3 , respectively, u v denotes
their scalar product. From now on, S3 denotes the space of symmetric second order tensors
endowed with the usual scalar product
: = ij ij , , S3 .
Given a tensor function in S3 , we denote its divergence
div( )i = j ij ,
and its trace
tr( ) =
3
X
kk .
k=1
2.2
Boundary conditions
Let (t) be the boundary of s (t) and n the unit outward normal vector to s (t). Boundary (t)
is split into five disjoint parts
sl (t)
C
sym (t)
1n (t)
2n (t),
(t) =
where:
11
Mold
Water jet
from mold
G2n(t)
Liquidus interface
G1n(t)
Gsl(t)
Aluminium Ingot
Ws(t)
Butt curl
GC
Gsym(t)
Bottom block
x3
Gc
x2
12
2.3
Equilibrium equations
Under the small strains assumption and in the quasistatic case, the slab behaviour is given by the
equilibrium equations
div() = f in s (t),
where f represents the volume forces due to the gravity, that is
f (x, t) = (0, 0, (T )g).
2.4
Behaviour law
Following the works of Drezet et al. [34], Mariaux et al. [59] and Barral et al. [9] where this type of
deformations were studied, we assume that the aluminium is a nonlinear Maxwell-Norton thermoelasto-viscoplastic solid; so, the strain rate tensor is the superposition of elastic, viscoplastic and
thermal components:
(u)
= e (u) + vp (u) + th (u).
Here the strain tensor is related to the displacement field by the usual formula
1
ij (u) = (j ui + i uj ).
2
The elastic deformations e are related to the stress tensor through Hookes law with material
parameters dependent on temperature
e (u) = s (T ) =
1 + (T )
(T )
tr()I,
E(T )
E(T )
where E, denote the Youngs modulus and Poissons ratio, respectively, and I is the identity
tensor. Reciprocally, the stress tensor can be written in terms of the strain tensor e ,
= (s (T ))1 e (u) = (T )tr(e (u))I + 2(T )e (u),
13
being and the Lam coefficients related with E and with the usual expressions:
(T ) =
E(T )(T )
E(T )
, (T ) =
.
(1 + (T ))(1 2(T ))
2(1 + (T ))
A detailed description of the elastic behaviour law can be found in [28, 52].
The thermal expansion is related to the temperature by a generalized Arrhenius law
th (u) = s (T )T I,
where s is the coefficient of thermal expansion, including volume changes due to possible phase
transformations. A detailed description is found in [19, 59].
The viscoplastic part of the strain rate field, vp , is governed by Norton-Hoffs law (see [42]).
To describe this law, let us introduce the dissipation potential q defined on S3 by
1
q ( ) = (T )| |q ,
q
q 2 is a fixed real number and denotes a positive material parameter depending on temperature,
G
(T ) = 0 e R(T +273) ,
0 being a material parameter, G the activation energy and R the universal gas constant.
Norton-Hoffs law may be written as (see [42])
vp (u) = q ( D ) = (T ) | D |q2 D ,
where q denotes the gradient of q relative to the inner product on S3 and D denotes the
deviatoric part of given by
1
D = tr( )I.
3
Summing up, the constitutive law can be formulated as
z {
D
2.5
Initial conditions
In order to complete the mathematical model, we consider the following initial conditions:
u(x, 0) = u0 (x), (x, 0) = 0 (x) in s (0),
where u0 , 0 verify suitable compatibility conditions detailed in Chapter 4.
14
2.6
Problem (P )
in
s (t),
(2.1)
n = pr n
on
sl (t),
(2.2)
n = 0
on
(2.3)
t = 0, un = 0
on
1n (t),
2n (t)
t = 0, n 0, un 0, n un = 0
z {
= (s (T )) + q ( D ) + s (T )T I
(u)
on
C ,
(2.5)
in
s (t),
(2.6)
u(0) = u0 , (0) = 0
in
s (0).
(2.7)
sym (t),
(2.4)
Chapter 3
15
16
3.1
Functional framework
From now on, we assume that at each instant t (0, tf ], s (t) is an open, bounded, connected
region in R3 with a Lipschitz boundary. Let us assume that the exponent of the viscoplastic law
verifies 2 q < + and so its conjugate exponent p verifies 1 < p 2.
We consider the space of displacement fields as
Vp (t) = {v [W 1,p (s (t))]3 ; div(v) L2 (s (t))},
which is a Banach space endowed with the norm
kvkVp (t) = kvk[Lp (s (t))]3 + kD (v)k[Lp (s (t))]9 + kdiv(v)kL2 (s (t)) .
Let Up (t) be the subspace of Vp (t) obtained when considering the confinement condition in the
mushy region and the symmetry condition (see (2.4)):
Up (t) = {v Vp (t); vn = 0 on 2n (t) sym (t)}.
The subset of kinematically admissible displacements at each instant t is
Upad (t) = {v Up (t); vn 0 on C }.
We define the space of stress fields
Xq (t) = { = (ij ); ij = ji , D [Lq (s (t))]9 , tr( ) L2 (s (t))},
which is a Banach space endowed with the norm
k kXq (t) = k D k[Lq (s (t))]9 + ktr( )kL2 (s (t)) .
We introduce the subspace of Xq (t)
Hq (t) = { Xq (t); div( ) [Lq (s (t))]3 },
which is also a Banach space endowed with the norm
k kHq (t) = k kXq (t) + kdiv( )k[Lq (s (t))]3 .
It can be proved that the space of distributions [D(s (t))]9 is dense in Hq (t) (see [45]). Moreover,
the following properties are verified:
Lemma 3.1.1. The application
Hq (t) n [W
1q ,q
((t))]3 ,
s (t)
1q ,q
((t))]3 and [W
1 p1 ,p
((t))]3 .
17
Boundary conditions
q
3
(t), with (t)
on (t)
Definition 3.1.2. Let Hq (t). Then n = h
if
Z
h n, vi(t) =
for all v [W
1 p1 ,p
(t)
vd,
h
on (t).
Definition 3.1.3. Let Hq (t) be such that n = h
Then t = 0 on C if
Z
h n, vi(t) =
for all v [W
1 p1 ,p
vd,
h
on (t)
Definition 3.1.4. Let Hq (t) be such that n = h
and t = 0 on C . Then n 0
on C if
Z
vd,
h n, vi(t)
h
for all v [W
3.2
1 p1 ,p
and vn 0 on C .
((t))]3 such that v = 0 on (t) \ (C )
From now on, we assume that the following hypotheses are satisfied:
(H1) The temperature field T W 1, (0, tf ; L (s (t))).
1 ,q
(H2) The metallostatic pressure pr W 1, (0, tf ; W q ((t)) Lq (sl (t))), the volume forces
f W 1, (0, tf ; [Lq (s (t))]3 ) and the density is such that (s) 0 > 0, s R.
(H3) The elasticity tensor s [W 1, (R)]81 is symmetric and:
> 0; s : | |2 , S3 , a.e. in R.
(H4) The coefficient of thermal expansion s L (R) and the coefficient of the viscoplastic law
L (R).
(H5) 0 Hqad (0), u0 Upad (0) and verify the natural compatibility conditions which are described in Chapter 4.
18
3.3
Proposition 3.3.1. Under assumptions (H1) (H5), if Hq (t) and u(t) Upad (t) verify
Z
: (v u(t))dx
s (t)
f (v u(t))dx +
s (t)
sl (t)
Z
(t) : (v u(t)) dx
f (t) (v u(t)) dx+
s (t)
Z
pr (t)n (v u(t)) d, v Upad (t),
(3.1)
sl (t)
z {
(u)(t)
= (s (T ))(t) + (q ( D ))(t) + s (T )T (t)I, in s (t),
(3.2)
(3.3)
Proposition 3.3.2. If (u(t), (t)) is a smooth solution of Problem (V P ) at the instant t, then
(u(t), (t)) is a solution of Problem (P ). The reciprocal is also true.
Proofs of Propositions 3.3.1 and 3.3.2 can be found in the PhD Thesis [5].
3.4
Existence of solution
In [56] the existence of solution for Maxwell-Norton problems with classic boundary conditions of
type Dirichlet-Neumann is given. Later, in [24] the previous result is generalized for a MaxwellNorton law depending on time. Nevertheless, these results are not applicable to Problem (P )
since they use variational formulations in velocities, which are not valid to solve Signorini contact
conditions.
In [13] it is proved a result of existence of solution for an analogous problem to that presented
here, over a domain independent of time and without considering the thermal effects. In this
result, the authoresses based their proof in that given in [32] for a Maxwell-Norton quasi-static
problem with mixed boundary conditions.
3.4.1
19
Let be a bounded, open, connected region of R3 such that C 1,1 . Moreover, its boundary is
partitioned into three non-empty, open and disjointed parts D , N and C satisfying
D
N
C ,
= =
with meas(D ) > 0.
Problem (P ):
Find the displacement field u and the stress tensor verifying
div() = f , in (0, tf ] ,
= s + q ( D ), in (0, tf ] ,
(u)
u = 0, on (0, tf ] D ,
n = h, on (0, tf ] N ,
un 0, n 0, t = 0, n un = 0, on (0, tf ] C ,
u(0) = u0 , (0) = 0 , in .
Assumptions
g The elasticity tensor s is independent of time, symmetric and s [L ()]81 . Further(H1)
more,
> 0; s : | |2 , S3 , a.e. in R.
g The applied forces satisfy
(H2)
f W 2, (0, tf ; [Lq ()]3 )
h W 2, (0, tf ; [W
1q ,q
g The initial stress field 0 and the corresponding initial displacement verify
(H3)
div( 0 ) = f (0) in ,
0 n = h(0) on N ,
u0 = 0 on D ,
u0n 0, 0n 0, 0t = 0, 0n u0n = 0 on C .
g The exponent q verifies 2 q < 6, and therefore 6/5 < p 2.
(H4)
g (H4),
g there exists a solution (u, )
Theorem 3.4.1. Under the above assumptions (H1)
p
1,2
1,2
2
q
) W (0, tf ; X ) L (0, tf ; X ) of Problem (P ), where
W (0, tf ; U
ad
p = {v Vp ; v = 0 on D , vn 0 on C }.
U
ad
20
3.4.2
In [8] it was proved the existence and uniqueness of solution for a quasistatic thermo-elastoviscoplastic problem of Maxwell-Norton type with coefficients depending on temperature when it
is verified that T 0. In this case, contact conditions were not considered.
Let be a bounded, open, connected region of R3 with a Lipschitz boundary. Moreover, its
boundary is partitioned into two non-empty, open and disjointed parts D and N satisfying
D
N ,
= =
with meas(D ) > 0.
Problem (P ):
Given the temperature field T , find the displacement field u and the stress tensor verifying
div() = f , in (0, tf ] ,
z {
= (s (T )) + q ( D ) + s (T )T I, in (0, tf ] ,
(u)
u = ud , on (0, tf ] D ,
n = h, on (0, tf ] N ,
u(0) = u0 , (0) = 0 , in ,
Assumptions
d The temperature field T W 2, (0, tf ; L ()). Moreover it is positive and T 0 a.e. in
(H1)
, t [0, tf ].
d The applied forces satisfy
(H2)
f W 2, (0, tf ; [Lq ()]3 )
h W 2, (0, tf ; [W
1q ,q
21
1,2
p
1,2
2
q
W (0, tf ; V ) W (0, tf ; X ) L (0, tf ; X ) of Problem (P ).
3.5
In this section we are going to review the numerical resolution of Problem (V P ) defined by (3.1)(3.3), given in [5]. The main difficulties to overcome in the numerical solution of this problem were
the following:
The solidified part of the slab, which is the computational domain of the mechanical simulation, changes with time. Furthermore, on the upper boundary, which is the isotherm of
the liquidus temperature and, therefore, the free boundary of the thermal problem, we must
impose the metallostatic pressure due to the liquid metal. To deal with this difficulty, a
fictitious domain method is considered.
To model the butt curl, we must solve a contact condition between the slab and the bottom
block. To deal with this nonlinear condition, the Bermdez-Moreno algorithm, based on
maximal monotone operator techniques, was considered.
The aluminium behaviour is nonlinear and depends strongly on the temperature field. In
order to avoid the nonlinearity of the constitutive law, again the Bermdez-Moreno method
was used.
The computational domain grows with time and the zone with steep gradients changes. To
overcome this difficulty, the meshes were constructed in a way adapted to the problems
geometry.
3.5.1
In the mechanical simulation of an aluminium casting, the computational domain is the solidified
part of the slab. So, its upper boundary coincides with the isotherm corresponding to the liquidus
temperature, denoted by sl (t), which is the free boundary of the thermal problem. On this
boundary, it is necessary to impose the metallostatic pressure exerted by the weight of the liquid
22
metal. In order to implement numerically this condition, we are going to use the fictitious domain
method introduced in [11]. It consists of solving the problem over the entire slab, assuming that
the liquid metal is a very elastic material under the action of the gravity forces; so, the liquid
metal does not offer resistance to solid deformations. This methodology has the advantage that
remeshing is not needed at each time instant to adjust the free boundary, and so the numerical
implementation is easier.
Gsup(t)
Gl(t)
Mold
Water jet
from mold
Wl(t)
Liquidus interface
Gsl(t)
Gsym(t)
Aluminium Ingot
Butt curl
Bottom block
x3
x2
(u ) = 1
l (u ) = l div(u )I + 2l (u ),
where the Lam coefficients of the liquid domain, l , l , change with different length scale:
l = , l = ,
23
with , , and real positive numbers independent of . Assuming that > , this has the
effect of applying the metallostatic pressure to the solidification front, as it was proved in [12] by
using asymptotic expansion techniques. In order to simplify the notation, from now on, we omit
the index in the behaviour law.
With this technique, the variational inequality (3.1) can be extended to the complete slab and
the integral over the thermal free boundary sl (t) disappears. Therefore, from now on, we will
consider this new extended weak formulation over the entire slab (t) = int(s (t) l (t) sl (t)):
Problem (EV P )
Find u W 1, (0, tf ; Upad (t)) and W 1, (0, tf ; Hq (t)) verifying a.e. in (0, tf ]:
Z
Z
(t) : (v u(t)) dx
f (t) (v u(t)) dx, v Upad (t),
(t)
(3.4)
(t)
z {
(u)(t)
=
{
z
(l )(t)
in l (t),
(3.5)
(3.6)
Remark 3.5.1. Notice that the functional spaces are extended to the complete slab in the natural
way.
The initial data, u0 and 0 , should be extended to all (0), ensuring that the following compatibility conditions are satisfied:
div( 0 ) = f (0) in (0),
0 n = 0 on sup (0) 1n (0),
0t = 0, u0n = 0 on sym (0) 2n (0) l (0),
0t = 0, 0n 0, u0n 0, 0n u0n = 0 on C ,
(u0 ) =
s (T0 ) 0
l 0
in s (0),
in l (0).
Remark 3.5.2. In casting processes the temperature at t = 0, T0 , corresponds with the liquidus
temperature Tl .
3.5.2
Discretization in space
Finite element approximation to simulate the model is considered in the usual way. Displacements are discretized in space using the Lagrange tetrahedral finite element method of degree one.
Stresses are assumed constant within each element. Let Th (t) be a tetrahedral mesh on the compu
tational domain (t)
compatible with the boundary partition. As usual, h denotes the maximum
diameter of Th (t) and
h (t) = {bi }1iNh (t) ,
24
the nodes set of the tetrahedral mesh. Moreover, Sh and Zh (t) are the triangulations induced on
the contact boundary C and the boundaries 2n (t) l (t), respectively.
We construct a family of finite dimensional subspaces Vh (t) of Vp (t) by approximating the
test functions v by piecewise polynomials of degree one over the tetrahedral mesh Th (t) on the
vh (x) =
vh (bi )i (x),
i=1
where {i }i=1,...,Nh (t) are the corresponding shape functions. Elements h Xh (t) are characterized for their value in the barycenter of each element,
h (x) =
h |K XK (x),
KTh (t)
where XK denotes the characteristic function of the element K. Moreover, Th denotes the discretized temperature field, which is considered constant by element.
Finally, at each time instant t we consider the operator
h : Vh (t) Xh (t)
vh
h (vh ) =
(vh |K )XK ,
KTh (t)
25
Find uh W 1, (0, tf ; Uadh (t)) and W 1, (0, tf ; Xh (t)) verifying a.e. in (0, tf ):
Z
Z
f (t) (vh uh (t)) dx, vh Uadh (t),
h (t) : h (vh uh (t)) dx
(t)
(3.7)
(t)
z
{
(l h )(t)
in l (t),
(3.8)
(3.9)
To simplify the notation, from now on we omit the index h to denote the elements of the
discretized spaces.
3.5.3
Both the contact condition and the viscoplastic behaviour, generate nonlinearities. A simple way
to transform these nonlinearities is to use the well-known Bermdez-Moreno lemma (see [16]). This
lemma is the main idea of the algorithm developed in [9] and that we introduce in the following.
In order to introduce an algorithm to deal with the nonlinearity due to the contact condition, we focus on solving a simplified problem, corresponding to Problem (DV P ) suppressing the
viscoplastic part in the constitutive law. Therefore, the discretized variational problem remains:
Z
Z
(t) : (v u(t)) dx
f (t) (v u(t)) dx, v Uadh (t),
(3.10)
(t)
(t)
(s (T ))(t) +
(u)(t) =
Tl
s (r)dr I in s (t),
(l )(t)
(3.11)
in l (t),
(3.12)
Remark 3.5.3. If we remove the viscoplastic behaviour from the constitutive equation (3.8), we
have
z {
( (T )) + (T )T I in (t),
s
s
s
=
(u)
{
z
(l )
in l (t).
Therefore, if we integrate this equation in time, assuming that u0 , 0 verify the elastic law at
t = 0, we obtain the constitutive equations (3.11).
In [85], it can be found an overview of different methods to solve contact problems. For
numerical reasons, following [16, 27], to deal with the inequality in (3.10), we introduce a Lagrange
26
(t)
(
(T
))(t)
+
s
(u)(t) =
Tl
s (r)dr I in s (t),
(3.14)
(l )(t)
in l (t),
p(t) = Gcc (un (t) + c p(t)) on C ,
(3.15)
for all t (0, tf ], and the initial conditions given in (3.12). Here c , c denote real numbers such
that c > 0, 0 c c < 1 and Gcc is the Yosida approximation of Gc = G c I, G = IQh being
the indicator function of the closed convex Qh .
Remark 3.5.5. The Lagrange multiplier p(t) takes into account the nonlinearity due to the contact
condition and it will be called contact multiplier.
In order to introduce an iterative algorithm to deal with the contact condition, we discretize
the problem (3.13)-(3.15) in time using the following notation: The time interval of interest is
divided into N steps
t0 = 0, tj+1 = tj + t, j = 0, ..., N 1, t =
tf
.
N
1
1
Gcc () =
Qh
, Eh ,
c
1 c c
where Qh is the orthogonal projection over Qh
ph
Qh (ph ) =
0
if ph 0,
if ph > 0.
Then, from Theorem 3.5.4, we obtain the following fixed point algorithm to solve Problem (3.10)(3.12) introduced in [5]:
27
j+1
vn d =
k : (v)dx +
c uj+1
k
n
j+1
C
Z
Z
j+1
j+1
f
vdx
p k1
vn d, v Uh (tj+1 ),
j+1
where
j+1
=
k
j+1 ) 1 (uj+1 ) (T j+1 )(T j+1 T )I
(T
in j+1
s ,
s
s
l
k
j+1
1
l (uk )
in j+1
.
l
j+1
j+1
u
+
p
c
k
k1
1 j+1
n
.
uk
+ c p j+1
p j+1
=
k1 Qh
k
c
1 c c
n
Remark 3.5.6. It can be proved that the weight of the entire slab is the total reaction force exerted
by the bottom block over the slab. This property is used to initialize the contact multiplier (see [9]).
3.5.4
In order to avoid the nonlinearity due to the constitutive law (3.8), the numerical resolution is
based on the Bermdez-Moreno algorithm which involves a viscoplastic multiplier, which is a fixed
point of a nonlinear equation. In a first stage, as in the contact case, the problem was solved in
[10] by using fixed point techniques, which let to design an algorithm that we introduce in the
following.
As we have done in previous subsection, we are going to consider a simplified problem, corresponding to Problem (DV P ), replacing the contact boundary condition by a null Dirichlet
condition. Therefore, the discretized variational problem remains:
Z
Z
(t) : (v)dx =
f (t) vdx, v Uadh (t),
(3.16)
(t)
(t)
z {
(u)(t)
=
z
{
(l )(t)
in l (t),
(3.17)
28
(3.18)
where
Uadh (t) = {vh Uh (t); vh = 0 on C }.
As in previous section, the thermo-elasto-viscoplastic law (3.17) is discretized in time by using
an implicit Euler scheme:
D
t q j+1
in j+1
s ,
(uj+1 ) (uj ) =l j+1 l j in j+1
.
l
Once we have discretized the constitutive law, our objective is to obtain an explicit expression
for j+1 and to substitute it in the mixed variational formulation (3.16). However, the nonlinearity
of the viscoplastic function makes difficult to compute the stress tensor in s (t). In order to solve
this difficulty, we are going to use again maximal monotone operator techniques.
The proofs of the following results can be found in [5].
Proposition 3.5.7. At each time step tj+1 , j = 0, . . . , N 1, the stress tensor in j+1
is given
s
by the relation
tp sj+1
j+1
j+1
j+1
j+1
j+1
j
= V(T
) (u ) tq
+
tr((u ))I + F ,
(3.19)
3
where qj+1 is the viscoplastic multiplier at the time step tj+1
D
D
,
= (q p I) j+1
qj+1 = (q )p j+1
(3.20)
and Fj is the history of the solidified metal up to time tj together with the expansional effects of
the temperature changes at the time interval [tj , tj+1 ]
tp sj+1 1
j
j
tr( ) tr((u )) I,
(3.21)
3
sj
where p 0 and
sj =
E(T j )
.
1 2(T j )
E(T )(T )
E(T )
,
e(T ) =
,
(L(T ) 2(T ))(L(T ) + (T ))
2(L(T ) + (T ))
29
Lemma 3.5.8. At each time step tj+1 , j = 0, . . . , N 1, the viscoplastic multiplier qj+1 is a fixed
point of the equation
for p a real positive number such that p p < 1. In this equation, (q )pp denotes the MoreauYosida approximation of (q )p given by the expression
1
p
(q )p () =
1 j+1
, S3 ,
p
(1 p p )
where j+1 = () is the unique root of the equation
q1 q2
p (T j+1 )
||q2 = 0,
(1 p p )q1
(3.23)
Z
Z
tp sj+1
j+1
j+1
j+1
j+1
V(T
) (uk ) +
tr((uk ))I : (v)dx +
1
l (uk ) : (v)dx =
j+1
j+1
3
s
l
Z
Z
h
i
tp sj+1
j+1
j+1
j+1
j
j+1
tr((uk ))I + F
) (uk ) tqk1 +
in j+1
V(T
s ,
3
kj+1 =
1
l (uj+1
in j+1
.
k )
l
ii) The updated viscoplastic multiplier is given by relation
!
j+1
+ p qj+1
k
k1
1
j+1
qk =
1 j+1
,
p
k (1 p p )
30
j+1
k
p qj+1
k1
3.6
In this section we are going to summarize the Bermdez-Moreno algorithm for the numerical
resolution of the complete model (3.7)-(3.9). To do this, we must combine the algorithm introduced
in Section 3.5.3 to solve the contact condition, with that introduced in Section 3.5.4 to deal with
the constitutive law.
1. Let (u0 , 0 ) be given and let consider p0 as the weight of the liquid metal column for each
point and q0 = (q )p ( D
0 ).
2. Then, for j 0, (uj , j , qj , p j ) known at time tj , we determine (uj+1 , j+1 , qj+1 , p j+1 )
at time tj+1 , an approximated weak solution of Problem (3.7)-(3.9). To do so, we propose
the following iterative algorithm:
2.1. Initialize uj+1
= uj , p j+1
= p j and
0
0
qj+1
0
qj
0
in js ,
in j+1
\js .
l
j+1
j+1
2.2. With qj+1
by solving the variational equality
k1 , p k1 known, calculate uk
Z
tp sj+1
j+1
tr((u
))I
: (v)dx+
V(T j+1 ) (uj+1
)
+
k
k
3
j+1
s
Z
Z
j+1
1
l (uk ) : (v)dx +
c uj+1
vn d =
k
j+1
l
Z
h
i
j+1
j+1
V(T
)tqk1 : (v)dx
V(T j+1 )Fj : (v)dx
j+1
j+1
s
s
Z
Z
p j+1
f j+1 vdx v Uadh (tj+1 ),
k1 vn d +
C
(3.24)
j+1
j+1
t
s
p
j+1
j+1
j+1
j
j+1
tr((uk ))I + F
) (uk ) tqk1 +
V(T
3
j+1
k =
1
l (uj+1
k )
in j+1
s ,
in j+1
.
l
31
j+1
j+1
u
+
p
c
k
k1
1 j+1
n
.
=
uk
+ c p j+1
k1 Qh
c
1 c c
n
=
qj+1
k
j+1
k
+ p qj+1
k1
1
j+1
k (1 p p )
in j+1
s , where
j+1
k
j+1
k
p qj+1
k1
q1
q2
p (T j+1 )
(1 p p )q1
q2
j+1 D
j+1
+ p qk1
= 0,
k
0 < 1.
32
Chapter 4
To model the butt curl, we must solve a contact condition between the slab and the bottom
block. To deal with this nonlinear condition, we use the Bermdez-Moreno algorithm, based
on maximal monotone operator techniques, together with a generalized Newton method.
The aluminium behaviour is nonlinear and depends strongly on the temperature field. In
order to avoid the nonlinearity of the constitutive law we use again the Bermdez-Moreno
method that is combined with two different techniques: an algorithm using Newton techniques and another one improving the Bermdez-Moreno algorithm by considering that their
parameters are variable.
The outline of this chapter is as follows: In Section 3.1, we take again the algorithm presented
in Section 3.5.3 to treat the contact between the slab and the bottom block; to approximate the
contact multiplier which is a fixed point of a nonlinear equation, we propose a generalized Newton
method for nonsmooth equations combined with a penalization technique. In Section 3.2, to deal
with the constitutive law we use again the Bermdez-Moreno algorithm presented in 3.5.4 and we
describe two methods to approximate the viscoplastic multiplier: the Newton algorithm and the
Bermdez-Moreno algorithm with variable parameters. Finally, in Section 3.3, we summarize the
two algorithms to solve a casting problem, that put together the two nonlinearities due to the
contact and the viscoplasticity.
33
34
4.1
The fixed point algorithm introduced in Section 3.5.3 is robust and converges well for academic
tests; nevertheless, the greater the problems magnitude, the slower its convergence. In casting
processes, in which we must join two nonlinearities -contact and viscoplasticity-, this difficulty
becomes more apparent. In this section we will use a generalized Newton method based on the
Lipschitzian properties of GC (see [39, 64, 72]) in order to improve the fixed point algorithm for
the nonlinear equation (3.15). This new algorithm was published in [7].
In order to introduce a new algorithm to solve the contact condition, we consider c = 0 and
c > 0 in Theorem 3.5.4 and, therefore, every solution of the discretized problem (3.10)-(3.12) is
a solution of the problem:
Z
Z
Z
(t) : (v)dx +
p(t) vn d =
f (t) vdx, v Uh (t),
(4.1)
(t)
(t)
(s (T ))(t) +
(u)(t) =
Tl
s (r)dr I in s (t),
(l )(t)
(4.2)
in l (t),
(4.3)
where
1
(I Qh ) (), Eh ,
c
being the projection of Eh onto the closed convex Qh .
Gc () =
Qh
(4.4)
Remark 4.1.1. It is easy to prove that Gc is contractive for c 1. So, given un Eh , p is the
unique fixed point of (4.3) (see [16, 26, 86]).
Notice that, from (4.4), at each Eh ,
(|C ), C Sh ,
Gc ()|C = G
c
where
(s) =
G
c
0,
if s 0,
s/c , if s > 0,
(4.5)
35
lim
x
x
6= x
x
x) F 0 (x; x
x)k
kF 0 (
x; x
< ,
2
k
x xk
F (x + h) F (x) V h = O khk2 .
Remark 4.1.7. In [79] it is proved that convex and piecewise smooth functions are semismooth.
Moreover, in [39] it is proved that piecewise affine functions are strongly semismooth.
Application to the contact problem
at s = 0 is
It is easy to prove that the B-subdifferential of G
c
B Gc (0) = 0,
,
c
36
,
Gc (0) = 0,
c
which coincides with its subdifferential.
(s0 ) holds true:
Lemma 4.1.8. At each point s0 R, the following approximation for G
c
0,
if s0 < 0,
(s0 )
V
s
,
if s0 = 0,
G
G
(s
)
+
= c 1
1
c
(s0 s1 ) /c , if s0 > 0,
(4.6)
(s0 ) = G
(s1 ) + V (s0 s1 ) + O |s0 s1 |2 ,
G
c
c
(see 4.5), we obtain (4.6).
(s0 ). Taking into account the definition of G
where V G
c
c
Remark 4.1.9. To solve numerically the contact problem we consider the election V = 0 in (4.6).
In order to introduce an iterative algorithm to deal with the contact condition, we discretize
the problem (4.1)-(4.3) in time in the same way that in Section 3.5.3.
j+1
j+1
Then, from Lemma 4.1.8, at each time step tj+1 , given the starting values (uj+1
0 , 0 , p 0 ),
j+1
j+1
j+1 , j+1 , p j+1 ) can be
successive approximations (uj+1
k , k , p k ), k 1, of the solution (u
computed by using the recurrence formulas:
Z
Z
Z
j+1
j+1
k : (v)dx +
p k vn d =
f j+1 vdx, v Uh (tj+1 ),
(4.7)
j+1
j+1
=
k
j+1 ) 1 (uj+1 ) (T j+1 )(T j+1 T )I
in j+1
s ,
s (T
s
l
k
j+1
1
l (uk )
in
+
p j+1
= p j+1
k
k 1
2
where
j+1
0,
if sj+1
k1 0,
j+1
sj+1
=
u
+ c p j+1
k
k
k ,
n
(sj+1 ).
=G
p j+1
c
k1
k 1
2
(4.8)
j+1
.
l
(4.9)
(4.10)
(4.11)
37
j+1
Notice that approximation (4.9) corresponds to the choice s1 = sj+1
and V = 0 for
k1 , s0 = sk
s0 = 0 in (4.6).
Remark 4.1.10. Note that at each iteration the variational equality corresponding to (4.7) is
equivalent to the linear problem
div j+1
= f j+1 in j+1 ,
(4.12)
k
j+1
2 j+1
(uj+1
) l (tj+1 ) sym (tj+1 ),
k )n = 0, ( k )t = 0 on n (t
(kj+1 )n
p j+1
k ,
j+1
k n=
( j+1
k )t =
0 on
1n (tj+1 )
j+1
sup (t
),
0 on C ,
(4.13)
(4.14)
(4.15)
(4.16)
j+1
(+
= {C Sh ; sj+1
> 0}.
C,k )
k
(4.17)
j+1
p j+1
= 0 on (
,
k
C,k1 )
j+1
uj+1
= 0 on (+
.
k
C,k1 )
(4.18)
Then,
Proof. With the notation introduced in (4.16) and (4.17), relation (4.9) can be rewritten as
j+1 ,
0,
on (
C,k1 )
p j+1
=
j+1 ,
p j+11 + sj+1 sj+1 /c , on (+
k
k1
C,k1 )
k
2
is null on each C
since G
So, we can easily update the multiplier p j+1
by zero
C
k
+
j+1
j+1
on (C,k1 ) . Nevertheless, on each face of (C,k1 ) , taking into account (4.10) and (4.11),
j+1 .
(
C,k1 )
j+1
j+1
sj+1
s
s
k
k1
1 j+1
=
u
+ p j+1
p j+1
= k1 +
k ,
k
c
c
c k
n
j+1 .
and this equality can only be verified if uj+1
= 0 on (+
C,k1 )
k
n
38
It is very important to note that this division of C is the only data which is modified at each
iteration.
There are several ways to achieve the solution using formulas (4.7)-(4.11), but since our objective is to couple the contact effects with the viscoplastic ones, in the next subsection we propose
j+1
an algorithm based on two steps. In the first one, we compute (uj+1
k , k ) using Lemma 4.1.11
and Remark 4.1.10 to remove the contact multiplier in equation (4.7). Afterwards, we compute
j+1 .
p j+1
and update (+
C,k )
k
Newton algorithm to solve the contact problem
The proposed algorithm to solve Problem (3.10)-(3.12) is the following:
Given u0 , 0 , we choose p0 = (0 )n .
Then, for j 0, (uj , j , pj ) known at time tj , we determine (uj+1 , j+1 , pj+1 ) at time tj+1 ,
an approximated weak solution of Problem (3.10)-(3.12). To do so, we propose the following
iterative algorithm:
j+1
j+1
j+1
j+1
j+1 ) X (tj+1 ) by solvStep 1: Given (uj+1
h
k1 , k1 , p k1 ), we compute (uk , k ) Uh (t
ing the variational equality
Z
Z
j+1
k : (v)dx =
f j+1 vdx, v Uh (tj+1 ),
j+1
j+1
1
j+1
j+1
uk
vn d =
f j+1 vdx,
(4.19)
k : (v)dx +
c (+
n
j+1
j+1
)
j+1
C,k1
for all v Uh (tj+1 ), where c is a small parameter.
39
j+1
j+1
j+1 , we update p j+1 on
Step 2: Known (uj+1
= 0 on (
k , k ) and given that p k
C,k1 )
k
j+1 thanks to the variational equality (4.7):
(+
)
C,k1
Z
j+1
(+
C,k1 )
pj+1
k vn d
=
j+1
Z
j+1
k
f j+1 vdx, ,
: (v)dx +
(4.20)
j+1
1
j+1
u
vn d, v Uh (tj+1 ),
p j+1
v
d
=
n
k
k
+
+
n
j+1
j+1
c (C,k1 )
(C,k1 )
that is,
p j+1
=
k
1 j+1
j+1
u
on (+
.
C,k1 )
c k
n
(4.21)
Matrix factorization
To solve the matrix of equations system resulting from applying the finite element method we use
a direct method of resolution. Although it might seem reasonable to employ an iterative method,
such as the conjugate gradient, several factors discourage us from its use: the large gradients of
temperature and stresses, the penalty term of the contact condition and the multiscale nature of
the fictitious domain technique to impose the metallostatic pressure. Due to this, we decided to
use a classical resolution method using a Cholesky factorization.
The mean disadvantage of the Newton algorithm presented here is the need to factorize the
stiffness matrix at each iteration, which implies an important increase in the computational cost
with respect to the fixed point algorithm presented in Section 3.5.3. In order to avoid this difficulty,
taking into account that the contact condition only involves a small part of the boundary, we
propose to use a factorization of the stiffness matrix adapted to the problems geometry.
For this purpose, we take into account that the computational domain grows with time far
from the contact region. Then, there are two possibilities:
To consider a lower factorization K = LDLT where D is a diagonal matrix and L is a lower
triangular matrix with unitary diagonal and number the mesh in such a way that the last
nodes correspond to the contact nodes. This method is not advisable in the casting case
since the computational domain grows with time far from the contact region, and the mesh
is constructed by layers to model the filling process.
To consider an upper factorization K = UDUT where U is an upper triangular matrix with
unitary diagonal (see Figure 4.1) and number the mesh in such a way that the first nodes
correspond to the contact nodes.
The factorization is carried out in the following way:
40
l=j+1
djj
n
X
u2il dll .
dii = kii
j = n 1, n 2, . . . , i + 1,
l=i+1
In the practice, the factorization is stored in the matrix K itself: D will be the diagonal
of K and U its upper triangular submatrix. The pseudocode of the factorization is the
following:
for i = n 1 to 1 do
kin = kin /knn
for j = n 1 to i do
for l = j + 1 to n do
kij = kij kil kll kjl
end for
if i 6= j then
kij = kij /kjj
end if
end for
end for
Since with this methodology the contact rows are the first ones of the matrix, if we compute
the factorization row by row from downwards to upwards and from the right to the left, during
a time step we can conserve all the rows of the factorized matrix except those corresponding
to the contact nodes (see Figure 4.3). So, at each iteration we must only compute and
factorize the first rows of the matrix, corresponding to the contact nodes.
41
Contact rows
First direction
Second direction
Matrix storage. In order to storage the matrix K, we employ a non standard storage by means
of an upper skyline by rows. So, we store the upper matrix of K in vector form, row by
row from upwards to downwards and from the left to the right. We denote by K the array
defined by
(K )1 = 0,
(K )2 = 1,
(K )i+1 = (K )i + i1 (i 1) + 1,
where (K )i+1 gives the position of the diagonal term Kii , i being the column corresponding
to the last non null element of the ith row of the matrix K (see Figure 4.2).
Figure 4.4 shows a flowchart of the Newton algorithm with the new matrix factorization. After
initializing variables (Step 1 in Figure 4.4), a time step loop is carried out. In this loop, at the
j + 1 iteration, the displacement vector uj+1 is computed by constructing the fixed stiffness matrix
(Step 2) and solving iteratively (Steps 5-8) equations (4.19) and (4.21), where the variable stiffness
matrix is constructed at each iteration (Step 5).
42
Start
1.
Initialization of
variables
Construction of
2. fixed
stiffness matrix
3. Complete factorization of
fixed stiffness matrix
4.
Construction of
force vector
of
5. Construction
variable stiffness matrix
Time step loop
factorization of
6. Partial
variable stiffness matrix
Iterations loop
No
Stop Test?
Yes
Last time
No
step?
Yes
Stop
4.2. Algorithms for the numerical solution of the nonlinear constitutive law
4.2
43
In order to avoid the nonlinearity due to the constitutive law (3.5), the numerical solution is based
on the Bermdez-Moreno algorithm which involves a viscoplastic multiplier, which is a fixed point
of a nonlinear equation. In a first stage, as in the contact case, the problem was solved in [10]
by using the Bermdez-Moreno algorithm described in Section 3.5.4. Although this algorithm was
very robust, its convergence turned out to be slow in butt curl simulation. In order to improve its
efficiency, we propose two new methodologies:
To apply a Newton method to compute the multiplier.
To consider the Bermdez-Moreno algorithm with variable parameters introduced in [43].
As we have done in previous subsection, we are going to consider a simplified problem, corresponding to Problem (DV P ), replacing the contact boundary condition by a null Dirichlet
condition. Therefore, recall that the discretized variational (3.16)-(3.18) is:
Z
Z
(t) : (v)dx =
f (t) vdx, v Uadh (t),
(t)
(t)
z {
(u)(t)
=
{
z
(l )(t)
in l (t),
u(0) = u0 , (0) = 0 , in (0),
where
Uadh (t) = {vh Uh (t); vh = 0 on C }.
As in Section 3.5.4, the thermo-elasto-viscoplastic law is discretized in time by using an implicit
Euler scheme:
D
t q j+1
in j+1
s ,
(4.22)
4.2.1
In order to introduce a Newton algorithm to approximate the viscoplastic multiplier, in this section,
we consider p = 0 and p > 0 a real positive number in Proposition 3.5.7 and Lemma 3.5.8.
Therefore, we obtain the following expression for the stress tensor in s (tj+1 ):
(4.23)
44
where
Fj = (uj ) + s (T j ) j s (T j+1 )(T j+1 T j )I,
(4.24)
is the history of the solidified metal up to time tj and the viscoplastic multiplier qj+1 verifies
D
qj+1 = (q )p j+1 + p qj+1 ,
(4.25)
being
1
(q )p () =
p
1
1 j+1 ,
(4.26)
(4.27)
q = (q )p D + p q ,
(4.28)
can be approximated by
1
q
) + 1
(q q
) + D + p q
: (q q
) D + p q
,
= (q )p ( + p q
(4.29)
for q
S3 close enough to q and provided that D + p q
6= 0. Here = D + p q
, and is
given by the expression
(q 2) ( 1)
=
(4.30)
.
((q 1) (q 2)) | D + p q
|2
q = (q )p ( D + p q
) + D (q )p ( D + p q
) (p (q q
)) + O |q q
|2 .
(4.31)
4.2. Algorithms for the numerical solution of the nonlinear constitutive law
From expression (4.26) we deduce that
D (q )p ( )() =
p
1
( )
D( )()
,
p ( )2
, S3 .
45
(4.32)
D (q )p ( )() =
p
1
( )
(4.33)
1
q = (q )p ( + p q
) + 1
(q q
) +
D + p q
: (q q
) D + p q
+ O |q q
|2 ,
and
where = D + p q
D
p (T ) (q 2) | D + p q
|q4
.
(q 1) q (q 2) q1
Taking into account expression (4.27), we can simplify the expression for in the following form:
=
=
p (T ) (q 2) | D + p q
|q4
(q 2) | D + p q
|2 ( q1 q2 )
=
=
(q 1) q (q 2) q1
(q 1) q (q 2) q1
(q 2) ( 1)
,
((q 1) (q 2)) | D + p q
|2
and therefore, expression (4.30) is obtained. A detailed explanation of this procedure can be found
in [73].
Remark 4.2.3. The case D + p q
= 0 was excluded from Lemma 4.2.2 since from equation
(4.25), if D + p q = 0, then q = 0 is the fixed point.
Summing up, if we replace expression (4.23) in equality (3.16) at time step tj+1 , we obtain a
variational formulation in displacements of our problem. So, we propose the following iterative
algorithm:
j+1
j+1
At each time step tj+1 , given the starting values (uj+1
0 , 0 , q0 ), successive approximations
j+1
j+1
j+1 , j+1 , qj+1 ) can be computed by using the recur(uj+1
k , k , qk ), k 1, of the solution (u
rence formulas:
Z
Z
j+1
j+1
j+1 1
s (T
)
(uk ) : (v)dx +
1
l (uk ) : (v)dx =
j+1
s
j+1
l
1 j
s (T j+1 )
tqj+1
s (T j+1 )
F : (v)dx+
k1 : (v)dx
j+1
j+1
s
s
Z
f j+1 vdx v Uadh (tj+1 ),
j+1
(4.34)
46
j+1 ) 1 (uj+1 ) tqj+1 + Fj
in j+1
(T
s ,
s
k
k1
j+1
(4.35)
k =
1
j+1
j+1
in l ,
l (uk )
qj+1
=
k
= 0,
if j+1
k
0,
+ 1
qj+1
qj+1
j+1
k
k1
k
j+1
j+1
j+1
+
k
k : (qk qj+1
)
j+1
if j+1
6= 0,
k1
k ,
k
(q )p (j+1
k )
(4.36)
in j+1
s , where
D
j+1
= j+1
+ p qj+1
k
k
k1 ,
and kj+1 is given by
kj+1 =
(q 2) kj+1 1
,
2
kj+1 (q 1) kj+1 (q 2) |j+1
|
k
(4.37)
(4.38)
for j+1
= (j+1
k
k ).
The fixed point of (4.36) can be explicitly computed thanks to the following lemma.
Lemma 4.2.4. At each time step tj+1 , j = 0, . . . , N 1, and at each iteration k > 0, the fixed
point qj+1
of equation (4.36) can be computed using the recurrence formula
k
0,
if j+1
= 0,
!
j+1 1
D
q2
j+1
k
j+1
j+1
j+1
qk =
(4.39)
k
+ k 1
j+1 k
q2
k
j+1
j+1
j+1
k 1
qk1 : k
if j+1
6= 0,
j+1
k
k ,
j+1 2
|k |
j+1
j+1
=
.
is
given
by
(4.37)
and
k
k
k
Proof. Let us consider j+1
6= 0. Taking into account the expression of (q )p given by (4.26),
k
we obtain from (4.36) the equality
!
p
k
4.2. Algorithms for the numerical solution of the nonlinear constitutive law
47
where kj+1 is given by (4.38). In order to obtain an explicit expression for qj+1
k , we multiply
j+1
equation (4.40) by k :
qj+1
k
j+1
k
1 j+1 2
j+1
j+1
j+1
=
1 j+1
| | + (qk qk1 : k )
p k
k
j+1
j+1
j+1 2
+
kj+1 j+1
k :qk qk1 |k |
!
!
1
1
1 j+1 2
j+1
2
=
1 j+1
| | 1 j+1 + kj+1 |j+1
(qj+1
k |
k1 : k )
p k
k
k
!
1
j+1 j+1 2
+ 1 j+1 + k |k | (qj+1
: j+1
k
k ).
k
j+1
This allows us to rewrite qj+1
:
as
k
k
j+1
qj+1
:
= j+1
k
k
k
2
|j+1
k |
j+1
k
p
j+1
k
1
j+1
k
2
+ kj+1 |j+1
k |
j+1
qj+1
:
,
k1
k
(4.41)
where
j+1
=
k
j+1
k
2
1 j+1
kj+1 |j+1
k |
k
kj+1
1
(q2)(kj+1 1)
= (q 1)kj+1 (q 2),
(q1)kj+1 (q2)
(4.42)
j+1
k
=
1
j+1
k
!
+
2
kj+1 |j+1
k |
2
j+1
kj+1 |j+1
1 + j+1
k
k
k |
2
j+1
kj+1 |j+1
k
k |
j+1
k
2
1 j+1
kj+1 |j+1
k
k |
1
j+1
k
2
kj+1 |j+1
j+1
1 j+1
k
k
k |
2
j+1
kj+1 |j+1
k
k |
!
+
2
kj+1 |j+1
k |
= (1 j+1
k ).
j+1
qj+1
:
= j+1
k
k
k
1
j+1
k
2
|j+1
j+1
j+1
k |
+ qj+1
:
.
k1
k
k
p
48
1
1 j+1 j+1 j+1
j+1
j+1
j+1
qk = 1 j+1
k + qk qk1
kj+1 j+1
:
q
k
k1 k +
(k
!
)
2
|j+1
|
1
j+1
j+1
j+1
j+1
j+1
k
k
k
1 j+1
+ qk1 : k
1 k
j+1
k .
p
k
So, the updated viscoplastic multiplier is characterized by the explicit expression
j+1
1
k
j+1
j+1 j+1
j+1
j+1
qj+1
=
:
q
j+1
k
k
k
k
k
k1
k
p
(
)
|j+1 |2
j+1
j+1
j+1
j+1
j+1
j+1
j+1
k
+ k
k 1
+ qk1 : k
k
k
1 k
j+1
k
p
j+1
1
k
j+1
j+1 j+1 j+1 2 j+1
k
+ k k |k | k
j+1
kj+1 j+1
qj+1
: j+1
j+1
=
k
k
k1
k
k .
p
Finally, taking into account expressions (4.38) and (4.42) we obtain formula (4.39) to update the
viscoplastic multiplier.
Newton algorithm to solve the viscoplastic problem
Summing up, the proposed algorithm to solve Problem (3.16)-(3.18) is:
Let (u0 , 0 ) be given; we compute q0 = q ( D
0 ).
Then, for j 0, (uj , j , qj ) known at time tj , we determine (uj+1 , j+1 , qj+1 ) at time
tj+1 , an approximated weak solution of Problem (3.16)-(3.18). To do so, we propose the
following iterative algorithm:
j+1
j+1
j+1
j+1
j+1 ) H (tj+1 ) by solving
i) Given (uj+1
h
k1 , k1 , qk1 ), we compute (uk , k ) Uadh (t
the variational equality
Z
Z
1
j+1
s (T j+1 )
(uj+1
)
:
(v)dx
+
1
k
l (uk ) : (v)dx =
j+1
s
j+1
l
1 j
j+1
j+1 1
s (T
)
tqk1 : (v)dx
s (T j+1 )
F : (v)dx+
j+1
j+1
s
s
Z
f j+1 vdx, v Uadh (tj+1 ),
j+1
where
Fj = s (T j ) j (uj ) s (T j+1 )(T j+1 T j )I in j+1
s ,
4.2. Algorithms for the numerical solution of the nonlinear constitutive law
and
j+1
=
k
49
j+1 ) 1 (uj+1 ) tqj+1 + Fj
(T
in j+1
s ,
s
k
k1
j+1
1
l (uk )
in j+1
.
l
q2 D
(u ) = (s (T ) ) + (T )| D
+ (s (T )T )I, in s (t).
|
For this reason, the following expression must be satisfied:
z {
(s (T )) + (T )| D |q2 D + (s (T )T )I =
z
{
q2 D
(+) (s (T ) ) + (q1) (T )| D
+ (s (T )T )I,
|
in s (t), which implies that we must take = and = (q 1).
The same procedure is also applied to the behaviour law in the liquid domain l (t):
,
(u ) =
l
l = l .
50
in
on
on
on
z
{
(q1) (T )| D |q2 D + ( (T )T )I in
(u ) = (
(T
)
s
) +
(t),
1n (t),
2n (t) sym (t) l (t),
C ,
s (t),
in
(u ) =
l
l (t),
(0).
2
D
4.2. Algorithms for the numerical solution of the nonlinear constitutive law
51
j+1
j+1
If E(qj+1
k+1 ) > E(qk ), qk+1 moves far away from the fixed point. Then, by using an Armijo
rule, we look for a constant such that
j+1
j+1
E(qj+1
+ (qj+1
k
k+1 qk )) E(qk ).
(4.43)
[0, 1].
4.2.2
As we will see in Chapter 5, numerical results in academic tests show that the previous combination
of the Newton algorithm with the adimensionalization technique and the optimization of the time
step works well in academic examples. Nevertheless, we find difficulties to achieve convergence
in the real casting simulation. In these simulations, large thermal gradients appear, producing
great variations in the viscoplastic multiplier. In this Section we propose to take advantage of
the robustness of the method introduced in Section 3.5.4 and to improve it with the methodology
proposed in [43, 67]. For this purpose, since the performance of the first algorithm strongly depends
on the choice of the two constant parameters p , p , and the viscoplastic behaviour varies strongly
depending if an element is recently solidified or not, we propose to replace the constant parameters
by scalar functions depending on time and space.
Therefore, in this section, we consider that p , p are functions from (0, tf ) to R and we
propose the following algorithm, obtained when considering these modifications in that presented
in Section 3.5.4:
j+1
j+1
At each time step tj+1 , given pj , jp and the starting values (uj+1
0 , 0 , q0 ), successive
j+1
j+1
j+1
approximations (uk , k , qk ), k 1, of the solution (uj+1 , j+1 , qj+1 ) can be computed by
using the recurrence formulas:
"
#
Z
Z
j j+1
t
s
p
j+1
j+1
j+1
V(T
) (uk ) +
tr((uk ))I : (v)dx +
1
(uj+1
l
k ) : (v)dx =
j+1
j+1
3
s
l
Z
Z
h
i
j+1
j+1
V(T
)tqk1 : (v)dx
V(T j+1 )Fj : (v)dx+
j+1
j+1
s
s
Z
(4.44)
f j+1 vdx v Uadh (tj+1 ),
j+1
52
where
tpj sj+1 1
j
j
tr( ) tr((u )) I in j+1
s ,
3
sj
and
j+1
k
j j+1
t
s
p
j+1
j+1
j+1
j
j+1 ) (u
tr((uk ))I + F
in j+1
s ,
V(T
k ) tqk1 +
3
=
1
,
in j+1
l (uj+1
k )
l
!
j+1
+ jp qj+1
k
k1
1
j+1
qk =
1 j+1
in j+1
s ,
j
j j
p
k (1 p p )
D
j+1
j+1
j j+1
and k =
k
+ p qk1 is the unique root of the equation
q1
q2
jp (T j+1 )
(1 jp pj )q1
(4.45)
(4.46)
(4.47)
q2
j+1 D
j j+1
+ p qk1
= 0,
k
11 0
0
|K = 0 22 23 M33 (R).
0 23 33
Taking into account that the Norton-Hoffs law (2.6) only involves the deviatoric part of the stress
tensor, in this study we consider for each element K Th (tj ):
VD = { = (ij ) M33 (R); ij = ji , 12 = 13 = 0, 11 = (22 + 33 )},
4.2. Algorithms for the numerical solution of the nonlinear constitutive law
the space of matrices with null trace
under the
plane strain assumption.
basis of the space VD is BVD = 1 , 2 , 3 with
1 0 0
1 0 0
0
1
2
3
0 1 0 , =
0 0 0 , =
0
=
0 0 0
0 0 1
0
53
0 0
0 1 .
1 0
We recall that in Section 3.5.4 the following expression for the viscoplastic multiplier qj was
obtained from the Bermdez-Moreno Lemma:
j D
1 j
p
j
q = (q )1/(2p )
+
q ,
(4.48)
2p
for p > 0 and where j is given by equation (4.46) at the time step tj .
In order to simplify the notation, we denote by H the application of the dissipation potential
H : VD VD
H( ) = (q ) ( ) ;
the regularized Yosida of the perturbed operator H p I,
p
: VD VD
H1/(2
p)
p
p
H1/(2
(
)
=
(
)
q 1/(2p ) ( ) ;
p)
1
p
j D
p
.
H
(
)
=
(
)
+
q 1/(2p )
1/(2p )
2p
So, with this notation, the viscoplastic multiplier qj can be rewritten as:
j D
j
1 j
p
p
qj |K = H1/(2
|
+
q
|
=
H
q |K , K Th (tj ),
K
K
1/(2
)
)
p
p
2p
(4.49)
p
that is, qj |K is obtained as the fixed point of H
1/(2p ) .
In [43], Gallardo et al. introduced a generalized Yosida regularization and they presented a
generalization of the Bermdez-Moreno algorithm that allows the use of very general operators
as parameters. Moreover, as a particular case, they analyzed the use of scalar and matrix-valued
parameters, proving that the optimal choice of the parameter pj would be a matrix-valued function.
Furthermore, in [4], Arregui et al. presented an application of this generalized algorithm with scalar
parameters in one-dimensional problems.
Taking into account the complexity of the real problem, in this study we propose to consider
that the parameter p is a scalar function. We will see in Chapter 5 that, although in [43] this choice
did not give good results in academic cases, in the casting process the convergence improvement
54
is considerable. This fact is due to that the viscoplastic behaviour varies greatly from one element
to another and from one time step to another, which explains the poor convergence results when
considering p constant.
Then, the strategy proposed in [43] consists of finding a parameter pj such that
DH
pj
1/(2pj )
(qj |K ) = 0.
(4.50)
To simplify the notation, from now on in this section we will omit the restriction to an element
K Th (tj ).
Therefore, in order to give a scalar expression for p , we try to minimize jp , the spectral radius
j
p j (qj ). To do that, we give the following Lemma:
of DH
1/(2p )
j
p
Lemma 4.2.5. The differential DH
1/(2p ) (q ) is given by the expression
"
j
p
DH
1/(2p ) (q )
with qj = (q )p
= I
1
1
D
I+
DH j
2
2p
1 #
,
D
j
.
p
1
1
Hpp ( ) =
H p
,
1 p p 1p p 1 p p
1 p p
VD ,
p
H1/(2
( ) =2H
p)
1
p
(2 ) 2p .
1 #
1
1
1
p
H1/(2
( ) =2p I I + H
(2 ) 2p = 2p I + H
(2 ) =
p)
p
p
#
"
"
1
1 #
1
1
1
1
I+
H
( ) = 2p I
I+
H
( ).
2p
2
2p
2
2p
Then, applying the chain rule it results
"
p
DH1/(2
( )
p)
=2p I D
"
2p I
1
1
I+
H
2
2p
1 !
#
( ) =
1 #
1
1
I+
DH()
,
2
2p
(4.51)
4.2. Algorithms for the numerical solution of the nonlinear constitutive law
55
for
1
1
I+
H
2
2p
1
( ),
(4.52)
or equivalently,
1
1
1
1
H () = +
H().
I+
2
2p
2
2p
(4.53)
(4.54)
and taking into account that qj is defined as the perturbed operator of H with parameter p (see
(3.20)), we have that
D i
D
1 j j D
1 h j D
= j +
q =
H
p j
=
+
2p
2p
1
1 j D
D
.
+
H j
2
2p
(4.55)
D
From (4.53) and (4.55), we deduce that for defined by (4.54) the corresponding is = j .
Then, from (4.49) and (4.51), we infer that
#
"
1
j D
1
1
1
1
D
p
p
j
j
j
q = I
I+
DH
DH
+
1/(2p ) (q ) = 2 DH1/(2p )
2p
2
2p
p
and the Lemma is proved.
Lemma 4.2.6. Let assume that DH
D
j
is positive definite and consider that 0 < 1j 2j
ij p
ij + p
p
j
j
p
are the eigenvalues of DH
1/(2p ) (q ) for q = (q )
jp
D
j
and its spectral radius is
p
= max ij
.
i=1,2,3 + p
i
(4.56)
j
D
p
Proof. Let ji be an eigenvalue of DH
1/(2p ) (q ); then, by using Lemma 4.2.5, there exists V
such that
"
#
1
1
1
D
I
I+
DH j
( ) = ji .
2
2p
56
(1
ji )
1
1
D
I+
DH j
( ) =
2
2p
1 + ji
D
( ) = p
j
.
1 ji
Let us denote
ij = p
then ij is an eigenvalue of DH
following manner:
1 + ji
1 ji
(4.57)
D
j
and we can write the eigenvalue ji in terms of ij in the
ji =
ij p
ij + p
The optimal pj will be that minimizing (4.56). In the following result we give an expression
for pj :
Proposition 4.2.7. Under the assumptions of Lemma 4.2.6, the parameter pj minimizing p is
given by:
q
pj = 1j 3j .
(4.58)
Proof. The proof is similar to that given in [43] and it is based in the following property:
p > 0,
1j p
1j + p
2j p
2j + p
3j p
3j + p
We have to analyze several cases depending on the position of p with respect to eigenvalues ij :
If 0 < p 1j , it is easy to prove that
min p =
0<p 1j
3j 1j
3j + 1j
Analogously,
min p =
3j p
3j 1j
3j + 1j
4.2. Algorithms for the numerical solution of the nonlinear constitutive law
57
Functions ri(gp)
r1(gp)
r2(gp)
*
(Rggp*)
r3(gp)
wj1
wj2
wj3
p
ri (p ) = ij
.
+ p
i
Then, we have that (see Figure 4.5)
(
p =
r3 (p ) if 1j < p p ,
r1 (p ) if p < p 3j ,
where p is the unique element in the interval (1j , 3j ) such that r1 (p ) = r3 (p ). A simple
q
calculation gives p = 1j 3j .
Notice that
min
1j <p <3j
p = r1 (p ) = r3 (p )
3j 1j
3j + 1j
DH
=
Aj C21
( j )D
33
j j
A C21 ( j )D
23
where
D
j
in terms of the basis BVD is:
j
Aj C31
( j )D
22
j j
j D
A C31 ( )33 + B j
j
Aj C31
( j )D
23
j D
2Aj ( j )D
23 ( )22
j D
,
2Aj ( j )D
23 ( )33
j
j D
j D
j
2A ( )23 ( )23 + B
q4
D
Aj = (T j )(q 2) j
,
q2
D
,
B j = (T j ) j
j
j
j D
j D
j D
C21
= ( j )D
22 ( )11 , C31 = ( )33 ( )11 .
(4.59)
(4.60)
58
The eigenvalues of DH
D
are given by the expressions:
j
1j = 2j = B j ,
2
2
3j = B j + Aj eq
,
3
(4.61)
3 j D j D
:
.
2
D
j
is given by the expression
q4
q2
D
D
D
D
D
j
=(T j )(q 2) j
j
: j + (T j ) j
=
D
D
Aj j
: j + B j ,
for all VD . Then, in order to obtain its associated matrix in terms of the basis BVD , we
calculate the image of each element i BVD , i=1,2,3, and we write them in terms of the basis
BVD :
j D
D
j j D
j D
( 1 ) =Aj ( j )D
+ B j 1 = Aj C21
+ Bj 1 =
DH j
22 ( )11
j
j
Aj C21
( j )D
B
0
0
11
j
j Aj C j ( j )D =
0
Aj C21
( j )D
22 + B
23
21
j
j C j ( j )D
0
Aj C21
( j )D
A
23
33
21
j j
j D
j
1
j j
j D 2
j j
j D 3
A C21 ( )22 + B + A C21 ( )33 + A C21 ( )23 ,
j D
D
j j D
j D
( 2 ) =Aj ( j )D
+ B j 2 = Aj C31
+ Bj 2 =
DH j
33 ( )11
j
j
Aj C31
( j )D
B
0
0
11
j
j
0
Aj C31
( j )D
Aj C31
( j )D
=
22
23
j
j C j ( j )D + B j
0
Aj C31
( j )D
A
23
33
31
j
j
j
1
j
j D
j
3
Aj C31 ( j )D
2 + Aj C31
( j )D
22 + A C31 ( )33 + B
23 ,
j D
D
DH j
( 3 ) =2Aj ( j )D
+ Bj 3 =
23
j D
2Aj ( j )D
0
0
23 ( )11
j D
j D
j =
0
2Aj ( j )D
2Aj ( j )D
23 ( )22
23 ( )23 + B
j D
j
j D
0
2Aj ( j )D
2Aj ( j )D
23 ( )23 + B
23 ( )33
3
j D 1
j j D
j D 2
j j D
j D
j
2Aj ( j )D
23 ( )22 + 2A ( )23 ( )33 + 2A ( )23 ( )23 + B .
By using symbolic calculus, we obtain the eigenvalues of the associated matrix, that are given by
expressions (4.61).
4.2. Algorithms for the numerical solution of the nonlinear constitutive law
59
Then, from Propositions 4.2.7 and 4.2.8, we can conclude the following result:
Corollary 4.2.9. The optimal choice of parameters for the viscoplastic multiplier qj is
q
1
j
p = 1j 3j , jp = j ,
2p
where 1j and 3j are given by expression (4.61).
Bermdez-Moreno algorithm with variable parameters to solve the viscoplastic problem under plane strain assumption
Summing up, the proposed algorithm to solve Problem (3.16)-(3.18) is:
0
j+1
s
j+1
s
j+1
where
tpj sj+1 1
j
j
tr( ) tr((u )) I in j+1
s ,
3
sj
and the updated stress tensor is given by
tpj sj+1
j+1
j+1
j+1
j
j+1
) (uk ) tqk1 +
tr((uk ))I + F
in j+1
s ,
V(T
3
j+1
k =
1
l (uj+1
in j+1
,
k )
l
and the discretized space Uadh (tj+1 ) is restricted to the plane strain case in the usual
way.
60
D
2
1 j+1
j+1
j+1
j
qk = 2p k
1 j+1 .
+ j qk1
2p
k
Once the convergence of the viscoplastic multiplier is achieved, the updated parameter pj+1
is given by
q
j+1
p = 1j+1 3j+1 ,
where 1j+1 , 3j+1 are given by (4.61).
4.3
In this section, we are going to summarize two algorithms for the numerical resolution of the
complete model (3.7)-(3.9). To do this, we combine the algorithm introduced in Section 4.1 to
solve the contact condition with those introduced in Section 4.2 to deal with the constitutive law.
As we will see in the next chapter, in the numerical simulations presented in this manuscript,
we consider the two-dimensional problem under the assumption of plane strain on the symmetry
plane [x1 = 0]. Due to this, we are going to introduce the algorithms in the particular case of
plane strain. The two algorithms are the following:
NM algorithm: In this case, we use the Bermdez-Moreno algorithm together with Newtons
techniques, introduced in Sections 4.1 and 4.2.1.
NVPM algorithm: In order to overcome the poor convergence of the NM algorithm in the simulation of casting processes, we consider the following methodology: the Newton algorithm
for the contact nonlinearity introduced in Section 4.1, together with the Bermdez-Moreno
algorithm with variable parameters for the viscoplastic nonlinearity presented in Section
4.2.2.
Let us summarize these algorithms in the following sections. Notice that the discretized spaces are
restricted to the plane strain case in the usual way.
4.3.1
NM algorithm
1. Let (u0 , 0 ) be given and let consider p0 = (0 )n and q0 = q D
0 .
2. Then, for j 0, (uj , j , qj , p j ) known at time tj , we determine (uj+1 , j+1 , qj+1 , p j+1 )
at time tj+1 , an approximated weak solution of Problem (3.7)-(3.9). To do so, we propose
the following iterative algorithm:
2.1. Initialize uj+1
= uj , qj+1
= qj , p j+1
= p j.
0
0
0
61
j+1
j+1
j+1
2.2. With qj+1
k1 , p k1 known, calculate (uk , p k ) in two steps:
1
s (T j+1 )
(uj+1
)
:
(v)dx
+
k
j+1
s
1
c
Z
j+1
s
j+1
(+
C,k1 )
uj+1
k
j+1
l
j+1
1
l (uk ) : (v)dx+
vn d =
f j+1 vdx+
j+1
1
j
tqj+1
: (v)dx, v Uh (tj+1 ),
s (T j+1 )
k1 F
(4.62)
where
Fj = s (T j ) j (uj ) s (T j+1 )(T j+1 T j )I in j+1
s .
2.2.2. Updating the contact multiplier
p j+1
=
k
1 j+1
j+1
,
u
on (+
C,k1 )
c k
n
(4.63)
j+1
j+1
j+1
j+1
(+
)
=
{C
S
;
s
>
0},
s
=
u
+ c p j+1
h
C,k
k
k
k
k .
n
j+1 ) 1 (uj+1 ) tqj+1 + Fj
(T
s
k
k1
j+1
=
k
1
l (uj+1
k )
(4.64)
in j+1
s ,
(4.65)
in
j+1
.
l
0,
if j+1
= 0,
!
j+1 1
D
q2
j+1
k
j+1
j+1
j+1
qk =
(4.66)
k
+ k 1
j+1 k
q2
k
j+1
j+1
j+1
k 1
qk1 : k
j+1
if j+1
6= 0,
k
k ,
j+1 2
|k |
D
j+1
j+1
in j+1
is the unique root of the
= j+1
+ p qj+1
s , where k
k
k1 , p > 1 and k
equation
q2
q1 q2 p 0 |j+1
= 0,
k |
in the interval [1, +).
Figure 4.6 shows a flowchart of NM algorithm to solve aluminium casting problems. After
initializing variables (Step 1 in Figure 4.6), a time step loop is carried out. In this loop, at the
j + 1 iteration, the displacement vector uj+1 is computed by constructing the fixed stiffness matrix
(Step 2) and solving iteratively (Steps 5-7) equations (4.62)-(4.66), where the variable stiffness
matrix is constructed at each iteration (Step 6).
62
4.3.2
NVPM algorithm
0
1. Let (u0 , 0 ) and p0 be given and let consider p0 = (0 )n and q0 = q p D
0 .
2. Then, for j 0, (uj , j , qj , pj , p j ) known at time tj , we determine (uj+1 , j+1 , qj+1 , pj+1 , p j+1 )
at time tj+1 , an approximated weak solution of Problem (3.7)-(3.9). To do so, we propose
the following iterative algorithm:
2.1. Initialize uj+1
= uj , qj+1
= qj , p j+1
= p j.
0
0
0
j+1
j+1
j+1
2.2. With qj+1
k1 , p k1 known, calculate (uk , p k ) in two steps:
2.2.1. Solving the variational equality
"
#
Z
j j+1
t
s
p
V(T j+1 ) (uj+1
tr((uj+1
k )+
k ))I : (v)dx+
3
j+1
s
Z
Z
1
j+1
1
l (uk ) : (v)dx +
uj+1
vn d =
k
c (+
n
j+1
j+1
l
C,k1 )
Z
Z
h
i
k1
sj+1
j+1
s
Z
f j+1 vdx v Uh (tj+1 ),
j+1
where
tpj sj+1 1
j
j
tr( ) tr((u )) I in j+1
s .
3
sj
2.2.2. Updating the contact multiplier
p j+1
=
k
1 j+1
j+1
u
on (+
,
C,k1 )
c k
n
j+1
j+1
j+1
j+1
(+
)
=
{C
S
;
s
>
0},
s
=
u
+ c p j+1
h
C,k
k
k
k
k .
n
tpj sj+1
j+1
j+1
j+1
j
j+1
tr((uk ))I + F
) (uk ) tqk1 +
V(T
3
j+1
k =
1
l (uj+1
k )
2.4. The updated viscoplastic multiplier is given by
"
!
#
D
2
1 j+1
j+1
j+1
j
qk = 2p k
+ j qk1
1 j+1 .
2p
k
in j+1
s ,
in j+1
.
l
63
2.5. Once the convergence is achieved, the updated parameter pj+1 is given by
q
1
pj+1 = 1j+1 3j+1 , j+1
= j+1
p
2p
where
1j+1 = B j+1 ,
2
2
3j+1 = B j + Aj eq
,
3
being
D q4
D q2
.
B j+1 = (T j+1 ) j+1
The flowchart of NVPM algorithm is analogous to that in Figure 4.6, taking into account that,
once the convergence is achieved in a time step, it is necessary to compute the value of parameter
p for the next time step.
Remark 4.3.1. In practice, as in the case of the FPM algorithm, updating the contact and viscoplastic multipliers is performed with a relaxation parameter . For example, the updated viscoplastic multiplier is obtained by formula
qj+1
= qj+1
+ (1 )qj+1
k
k
k1 ,
0 < 1.
64
Start
1.
Initialization of
variables
of
2. Construction
fixed stiffness matrix
factorization of
3. Complete
fixed stiffness matrix
4.
Construction of
force vector
Construction of viscoplastic
5. force vector
6.
Construction of
variable stiffness matrix
7.
Partial factorization of
variable stiffness matrix
Iterations loop
Yes
Last time
No
step?
Yes
Stop
Chapter 5
Numerical results
In this chapter, we compare and validate the algorithms proposed in Chapter 4 by applying a
numerical code on several academic examples in plane strains. These tests have been designed to
try to reproduce a behaviour analogous to semicontinuous real casting behaviour. To show the
efficiency of the new algorithms, we compare the cpu-time1 , the number of iterations, and the
displacement and stress errors between the new NM and NVPM algorithms and the former FPM
algorithm. Finally, we present the results obtained in the simulation of a casting process.
5.1
The aim of this test is to solve a contact problem when there is a gap which grows with time
between the slab and the rigid foundation. This gap is similar to the butt curl deformation in
a real aluminium casting process. For this purpose, we use the Newton algorithm introduced in
Section 4.1, which involves an adapted matrix factorization. We compare the efficiency of this
algorithm with the fixed point one described in Section 3.5.3.
Let (0, 200s] be the time interval of interest and be the cylindrical body whose axis is parallel
to x1 -direction and its section the square of dimensions 0.5m0.5m in the plane x2 x3 . For the
sake of simplicity, we consider independent of time. On we distinguish four parts:
D
N
C
,
=
where
D = ([x2 = 0] [x3 = 0.5]),
N = [x2 = 0.5],
C = [x3 = 0],
= [x1 = 1].
Let
T (t) = Tl + (100 Tl )
1
t
, t [0, 200]
200
(5.1)
The numerical solution was computed on a PC with Intel Pentium IV 3.00GHz processor running on LINUX.
65
66
be the temperature function and Tl = 649 C. Notice that the slab temperature is constant at each
time instant and lower than Tl at t > 0.
In this test we assume that the material is thermo-elastic and, then, the constitutive law
corresponds to expression (3.11). We consider the elastic parameters E = 109 N/m2 , = 0.35,
independent of time and temperature, and we denote by , the corresponding Lam coefficients.
The coefficient of thermal expansion is given by
1/3
1 l
d(T )
if T Ts ,
4/3
3 (T )
dT
s (T ) =
(5.2)
0
if T > Ts ,
where the mass density function is (see [38])
2700 0.23T
(T ) =
2360
if T Ts ,
if T = Tl ,
Ts = 607 C being the solidus temperature. The values of (T ) for T (Ts , Tl ) are approximated
by linear interpolation. These data correspond to an aluminium alloy.
The problem to solve is
div() = f
b
u=u
n = (0, 0, 3h2 )
= 0, un = 0
= m, n 0, un 0, n un = 0
Z T
(u) = +
s (r) dr I
in
on
on
on
on
,
D ,
N ,
,
C ,
in
b (0), (0) =
b (0) in
u(0) = u
Tl
with
h(x2 , t) = x2 0.4 + 103 t,
f (x, t) =
3( + )h2 e2 6hx3 e3 ,
6he3 ,
if x2 0.4 103 t,
if x2 > 0.4 103 t,
E
h x3 e3 , if x2 0.4 103 t,
b (x, t) =
u
(r) dr (x2 e2 + x3 e3 ) +
h3 e3 ,
if x2 > 0.4 103 t,
2 Tl
Z T
(r) dr E1 +
Tl
3h2 E3 ,
if x2 > 0.4 103 t,
m(x, t) =
67
1 0 0
0 0 0
0 0 0
E1 = 0 0 0 , E2 = 0 0 0 , E3 = 0 0 1 .
0 0 0
0 0 1
0 1 0
We notice that in this test the frictionless condition on C has been replaced by a nonhomogeneous
condition for the tangential stress when there is a gap. Although this condition has not physical
meaning it is necessary in order to obtain the analytical solution for this test problem with an
effective and nontrivial contact. The solution of this problem is
b, =
b.
u=u
As we have mentioned, to reduce the size of the problem and due to symmetry conditions we
consider the corresponding plane strain problem over the plane x2 x3 and we present the numerical
simulation on the two-dimensional domain (see Figure 5.1). To solve this problem we use a uniform
spatial mesh with 12800 triangles and 6561 vertices and for time discretization t = 0.1s. We
initialize the contact multiplier by
0
1, on (+
0
C) ,
p =
0
0, on (
C) .
Finally, we consider the following parameters:
for the FPM algorithm:
c = 0.5 109 , c = 109 , = 0.9;
for the NM algorithm:
c =
1
, c = 1015 , = 0.9.
t
x3
x2
C
| G (sk )|}, C Sh ,
|pk Gc (sk )| < max{,
c
where is a small parameter and sk = (uk )n + c pk . In this sample, = 103 .
(5.3)
68
Remark 5.1.1. Notice that, with stopping test (5.3), if the multiplier is close to zero we perform
an absolute test with 2 and, in the other case, a relative test with .
Figure 5.2 shows the displacements on the deformed configuration at two different time steps
and the Von Mises norm of stresses at the last time step is represented in Figure 5.3.
Figure 5.3: Von Mises norm of stresses at the last time step.
In this test we compare the results obtained with the NM algorithm with those obtained
with the FPM one. The L2 relative error at the last time step obtained with both algorithms is
3.957 104 m in displacements and 7.452 103 N/m2 in stresses. Table 5.1 gathers the obtained
results, showing that with NM algorithm the cpu-time decreases approximately 74% with respect to
the FPM method and the number of iterations decreases 99%. In order to check the improvement
of carrying out a matrix factorization adapted to the contact problem, the third column gathers
the results for the NM algorithm without that factorization, denoted by NM .
69
FPM
17480.61
258
NM
4615.30
3
NM
7315.46
3
5.2
In this second test we want to solve an elasto-viscoplastic problem with displacements and stresses
whose gradients have a magnitude similar to that of real aluminium casting. Nevertheless, it does
not reproduce the diverse behaviours which appear in the real process. For this purpose, we use
the NM algorithm introduced in Section 4.3.1, which involves an adimensionalization technique
and a time step optimization, and the NVPM algorithm described in Section 4.3.2. As in the
previous test, we compare the obtained results with those of FPM algorithm.
Let (0, 0.5s] be the time interval and be the cylindrical body of Test 1 (its axis is parallel to
x1 -direction and its section the square of dimensions 0.5m0.5m in the plane x2 x3 ). For the sake
of simplicity, we consider independent of time. On we distinguish four parts:
D
N
C
,
=
where
D = [x2 = 0],
C = [x3 = 0],
= [x1 = 1].
In this test, we consider that is already a solidified block with constant temperature. Then,
there are not thermal stresses and the material parameters corresponding to the constitutive law,
independent of the temperature T , are
E = 109 N/m2 , = 0.35, 0 = 1.953125 1039 m2 /(sN), q = 6.
These data are similar to those of an aluminium alloy.
The problem to solve is
div() = 0
u = h (t) (0, x2 , x3 )
n = 108 g
= 0, un = 0
= 0, n 0, un 0, n un = 0
(u)
= + 0 | D |q2 D
u(x, 0) = 0, (x, 0) = 0
with h (t) = 108
2
1+
t + 1040 0 t6 and
E
3
tn,
g(x, t) =
tn,
in
on
on
on
on
in
in
,
D ,
N ,
,
C ,
,
,
on N [x2 = 0.5],
on N [x3 = 0.5].
(5.4)
70
0 0
0
0 .
u(x, t) = h (t) (0, x2 , x3 ) , (x, t) = 108 0 t
0 0 t
N
D
x3
x2
(5.5)
D
|(qk )il q ( D
k ) il | < max{, | q ( k ) il |}, K Th ,
where is a small parameter.
Firstly, we have tested the Newton algorithm for the elasto-viscoplastic law considering a
Dirichlet condition on C . Nevertheless, convergence is not always achieved due to large gradient
stresses. To overcome this difficulty, we use the adimensionalization technique introduced in Section
4.2.1 to reach the convergence of this algorithm.
71
Figure 5.5: Numerical approximation of viscoplastic multiplier. The top row of figures without
adimensionalization and the second one with the proposed adimensionalization technique. The
shows the successive iterants with the NMF algorithm.
FPM
18790.2
57
2.622 105
1.245 105
NMF
2744.0
3
2.621 105
1.244 105
Finally, adding the contact condition on C to Problem (5.4), the reduction in cpu-time and
in the number of iterations is analogous to that obtained previously (see Table 5.3).
72
FPM
25256.8
69
2.918 105
1.345 105
NMF
5365.2
3
2.917 105
1.345 105
We notice that the NMF algorithm needs less iterations for convergence, and also less cpu-time,
than the FPM algorithm. Nevertheless, the FPM algorithm is more robust and it does not need
the adimensionalization technique.
Increasing the time step
Since the time interval of interest in the aluminium casting is about 150s, if we want to employ
the NMF algorithm in casting simulation we must be able to increase the time step used in the
previous simulations. If we do so, the FPM algorithm works well, but the NMF algorithm does
not always converge due to the large gradients. To solve this problem, we use the optimization
technique on the time step, introduced in Section 4.2.1: given t, if convergence is not achieved,
we reduce the time step until the algorithm converges. Furthermore, to stabilize the Newton
algorithm we employ an Armijo rule on the viscoplastic algorithm (see [20]). Summing up, we use
the complete NM algorithm introduced in Section 4.3.1 to solve Problem 5.4.
Table 5.4 shows the obtained results; the NM algorithm obtains smaller displacement and stress
errors than the FPM algorithm; in this case, the time step is reduced from 0.0625 to 1.5625 102 .
Furthermore, the number of iterations with these techniques decreases 93% and the cpu-time 48%.
Table 5.4: Problem (5.4) with t = 0.0625 and = 103 .
Method
cpu-time (s)
iterations
u (m)-error
(N/m2 )-error
FPM
6.58
254
2.66 101
1.63 101
NM
3.39
18
7.30 102
2.70 102
73
problem, convergence of NM method slows down dramatically. Due to this, we propose to use
the NVPM algorithm where the Newton algorithm in viscoplasticity is replaced by the BermdezMoreno algorithm with variable parameters. The considered parameters for this algorithm are:
c = 1, c = 1050 , p0 = 0.1, = 0.9.
Table 5.5 shows a comparison between the three mentioned algorithms. Although as expected the
NM algorithm continues to obtain better results, the reduction in cpu-time (40%) and iterations
(83%) of the NVPM algorithm with respect to the FPM one is considerable.
Table 5.5: Problem (5.4) with t = 0.0625 and = 103 .
Method
cpu-time (s)
iterations
u (m)-error
(N/m2 )-error
5.3
FPM
6.58
254
2.66 101
1.63 101
NM
3.39
18
7.30 102
2.70 102
NVPM
3.92
43
2.03 101
8.40 102
In this section we are going to present the results obtained in the numerical simulation of a real
casting process. Real data have been provided by ALCOA-INESPAL S.A. (A Corua, Spain). We
compare the efficiency between the FPM, NM and NVPM algorithms.
The considered computational domain is shown in Figure 5.6.
Gsup(t)
Gl(t)
G2n(t)
Wl(t)
G1n(t)
Gsym(t)
Gsl(t)
Ws(t)
Gc
x3
x2
Gc
74
Mesh construction
The mesh used for the simulation is built in a natural way. Firstly we make the mesh of the
aluminium contained inside the bottom block before it begins to go down. After the start of the
casting, at each time step we add the mesh of the liquid aluminium poured in that time interval.
The mesh construction takes into account the peculiarities of casting processes:
The contact zone corresponds with the part of the slab rested on the mold. So, the mesh is
constructed in such a way that the first nodes correspond to the contact nodes.
The slab deformation depends strongly on the thermal gradients, which are larger in the
recently solidified zone, that varies with the time. So, the mesh is finest-grained where the
thermal gradients are larger.
The computational domain grows with time. Then, the mesh is structured in layers to model
the filling process and it is reconstructed at each time step adding the amount corresponding
to the metal poured during that step.
Figure 5.7 shows the mesh of the computational domain at the start and the end of the casting
process. The initial mesh has 1320 elements and 732 nodes while the final mesh has 2520 elements
and 1342 nodes.
A) Initial mesh
75
E(109 N/m2 )
67
58
40
0.3134
0.3448
0.45
Viscoplastic law: The viscoplastic parameter 0 is computed from the data of Table 5.7 as
.
0 =
( 2k)q
Table 5.7: Viscoplastic law parameters.
(s1 )
4.0 1012
k(109 N/m2 )
15.72
G(Kcal/mol)
37.3
q
6
Thermal law: We consider the density function introduced in [38], given in Kg/m3 :
2700 0.23T if T Ts ,
(T ) =
2360
if T = Tl ,
where Ts = 607 C and Tl = 649 C. The density values in (Ts , Tl ) are computed by linear
interpolation.
Algorithm parameters
In the following, we detail the parameters associated to the algorithms used in this simulation:
for the FPM algorithm:
c = 0.5 106 , c = 106 ,
p = 1.25 1012 , p = 0.4 1012 ,
= 0.9;
76
Finally, to impose the metallostatic pressure by using the fictitious domain method introduced in
Section 3.5.1, we consider the following parameters in the liquid:
= 1.2414 1011 ,
77
improves the convergence of the fixed point algorithm in viscoplasticity, computing automatically
the parameters.
The cpu-time and the mean of the number of iterations obtained with the FPM and NVPM
algorithms are summarized in Table 5.8. Data for the NM algorithm are not shown since, as we
have said, convergence is not always achieved.
Method
cpu-time (s)
iterations
FPM
2660.49
6593
NVPM
465.562
89
78
Chapter 6
Conclusions
In Part I of this manuscript we have introduced two new algorithms to solve numerically a Signorini
contact problem in Maxwell-Norton materials arising from an aluminium casting simulation. In
[5], Barral presented a numerical method based on the Bermdez-Moreno algorithm involving two
multipliers which can be obtained as fixed points of two nonlinear equations. Due to the slow
convergence of this algorithm and its strong dependence on the parameters, we propose two new
techniques to improve its efficiency: firstly, taking advantage of the good convergence properties of
Newton methods and secondly, by means of considering the parameters of the Bermudez-Moreno
algorithm as variable scalar functions. The efficiency of these algorithms are compared with the
fixed point algorithm introduced in [9, 10]. The three studied algorithms are:
FPM algorithm: the Bermdez-Moreno algorithm combined with fixed point techniques summarized in Sections 3.5.3 and 3.5.4 to deal with the two nonlinearities which was introduced
in [5].
NM algorithm: the Bermdez-Moreno algorithm together with Newton techniques, introduced in Sections 4.1 and 4.2.1.
NVPM algorithm: the Newton algorithm for the contact nonlinearity introduced in Section 4.1 together with the Bermdez-Moreno algorithm with variable parameters for the
viscoplastic nonlinearity presented in Section 4.2.2.
Numerical results show that:
The FPM algorithm is slow and strongly dependent on its parameters, but in turn very
robust.
The NM algorithm combined with some numerical strategies is fast and accurate. It needs
fewer iterations and less cpu-time that the FPM one. The numerical strategies presented
here the adapted matrix factorization to the problem geometry, an adimensionalization
technique and a time step optimization work well in academic examples but, when they
are applied to the casting simulation, convergence is not always achieved. Our guess is that
79
80
Chapter 6. Conclusions
this unexpected difficulty is due to the very different behaviours found in casting processes
(between recently solidified zones and others already cold).
The main disadvantage of the FPM algorithm is its strong dependence on the parameters
(see [9]). The NVPM algorithm overcomes this difficulty since the parameters are considered
variable scalar functions, depending on time and space and they are automatically calculated.
Moreover, it takes advantage of the good convergence properties of Newton method when
solving the nonlinear contact condition. Numerical results in casting simulation show that
the NVPM algorithm is adequate to solve the butt curl deformation.
Part II
81
Table of Contents
7
Introduction
85
89
8.1
Mathematical model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
8.1.1
Boundary conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
90
8.1.2
Equilibrium equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
8.1.3
Behaviour law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
8.1.4
Problem (P ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
Weak formulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
8.2.1
Assumptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
93
8.2.2
93
94
94
96
8.2
8.3
8.3.1
8.4
9
99
9.1
9.2
9.3
9.4
9.5
125
84
TABLE OF CONTENTS
10.3.3 Verification of assumption (H3) . . . . . . . . . . . . . . . . . . . . . . . . 133
10.3.4 Existence and uniqueness of solution for experiments I and II . . . . . . . . 134
10.4 Obtaining a new formula for the MOR . . . . . . . . . . . . . . . . . . . . . . . . . 135
10.4.1 Analytical solution. A new formula for MOR . . . . . . . . . . . . . . . . . 137
141
149
151
Chapter 7
Introduction
An increasing number of new challenges are constantly arising for engineers, comprising new applications, new materials or possibly both. Very often, the behaviour of a certain material under new
conditions cannot be correctly predicted, and many trial tests are needed in order to determine
whether it can be used or not. Therefore, an enormous effort is actually being made with the
purpose of developing new prediction techniques that allow saving huge amounts of money and
time in testing the materials. Strangely enough, there are very few studies about how to predict
the behaviour of the different materials under simple conditions. Several factors, such as slight
differences in the composition or in the microstructure, can dramatically affect the result of the
considered tests, making useless previous tests to use on similar materials. This is particularly
critical for the ceramic materials.
In the common applications, materials are subjected to different forces, with complicated components of bending, torsion, compression and usually combinations of all of them. To predict the
behaviour of a certain material, without performing expensive destructive tests, it is necessary to
understand the mechanisms that affect its resistance to select the suitable failure criteria. The
properties of the material are carefully measured in laboratory tests on a sample of material; these
tests determine the value of their mechanical properties by measuring the applied forces and the
corresponding relative changes of length. There exist many tests to determine material properties, classified into several groups attending to the applied forces, the sample conditions at the
experiment instant, the environment conditions, etc. The most important experiments are:
Tensile or compression test: An axial load is applied to a sample in order to obtain a uniform
stress distribution on the cross-section.
Torsion test: This test determine the behaviour of samples subjected to a pair of loads.
Bending or flexure test: This test determine the behaviour of materials subjected to simple
loads, for example, concentrated or uniformly distributed loads.
Fatigue test: Used to study the behaviour of materials subjected to variable loads.
Impact test: This test is a particular case of previous tests; the load is applied suddenly.
85
86
Chapter 7. Introduction
Figure 7.1: Three-point bending experiment.
In Part II of this manuscript we will focus our study on bending tests. The relative simplicity
of these tests has permitted its popularization for measuring the mechanical properties of brittle
materials. One of the most common tests is the three-point bending test: a sample of a brittle
material is placed between three cylinders, without additional support, while the upper cylinder
applies an increasing gradually force until the beam breaks (see Figure 7.1). From this test a
property known as modulus of rupture (MOR) is obtained, which represents the maximum surface
stress of the bent beam at the instant of failure. In the engineering literature, the MOR is calculated
by an explicit formula which involves the value of the load at failure, H, the distance, 2l, between
the two lower cylinders or supports, and the second moment of inertia, I1 , of the transversal section
of the beam (see [25]).
Nevertheless, discrepancies by no means negligible for MOR values have been noticed in experimental measurements depending on the specimen size, the ratio between the area of its section
and the overall length or the relation between the distance of the two lower cylinders and the
overall length of the beam. The fact that samples of same material can lead to different values for
the MOR is something quite common but so far there are not many studies about this behaviour.
The aim of Part II is to study the mathematical problem associated to three-point bending
tests in order to increase the knowledge about the MOR for brittle materials. Specifically, we prove
the existence of a unique solution to the elastic problem with frictionless unilateral contact that
arises from the mechanical model of the three-point bending test. Furthermore, in order to justify
the classic formula for the MOR, we are interested in finding its limit model by using asymptotic
analysis techniques when the thickness of the sample beam goes to zero (see [2, 18, 36, 80, 81]). By
using this method, classical theories like Bernouilli-Navier, Saint Venant, Timoshenko and Vlassov
theories were studied and justified (see [18, 80]). Also beams with a unilateral contact with a
rigid foundation have already been studied in [82, 83] but only when the beam is clamped at the
ends. Despite the absence of Dirichlet conditions for the three-dimensional mechanical problem
associated with the three-point bending test, the asymptotic method allow us to obtain the limit
one-dimensional problems for bending and for traction and to identify the relationship between
the failure load and the corresponding axial normal tension. All theoretical results are collected
in [70].
Besides, we are interested in finding an effective method to compute the MOR from brittle
materials. To do this, we use all the theoretical background presented here to compute various
approximations of the MOR. The procedure is the following: Once we have carried out several
laboratory tests with ceramic beams, we determine the maximum force that beams can support
until breaking the rupture load. By using the classic formula for the MOR, we calculate the first
value for it the theoretical MOR. Then, after making numerical simulations of the one and threedimensional models, considering the rupture load, we compute two new approximations for the
MOR the 1d and 3d numerical MOR. Finally, we obtain a fourth approach for the MOR by using
a new expression obtained from the asymptotic analysis of our problem. All these methodologies
are applied for cylindrical and rectangular beams made of porcelain, which is a brittle material
used very frequently in engineering.
87
The new theoretical formula obtained in this manuscript leads us to a better approximation of
the MOR for brittle materials. This expression takes into account not only the rupture load and
the total length of the beam but also the distance between the two lower cylinders, the effect of
the gravity and the distance between the ends of the beam and the lower cylinders (see [51]).
The outline of Part II is as follows:
In Chapter 8, we study the static behaviour of a three-dimensional elastic beam when is subjected to a three-point bending test. Under suitable compatibility conditions on the applied forces
and on the geometry of the beam, we prove the existence of a unique solution for the associated
contact elastic problem. These conditions of compatibility on the data come from the absence of
a Dirichlet condition on the beam boundary.
In Chapter 9, we study the asymptotic behaviour of this problem; in particular, we deduce
the one-dimensional models associated to the displacement components, and we give the existence
and uniqueness of solution for them. Moreover, we give an expression for the normal axial stress
in the beam which is related to the MOR of brittle materials. In the final part of the chapter, we
deal with the regularity of the solution for the bending problem and we prove some properties of
the coincidence set.
In Chapter 10, several examples for laboratory tests for cylindrical and rectangular beams
made of porcelain are detailed. We show that the previous assumptions of compatibility are
satisfied for these real experiments. Moreover, we present analytical solutions of the bending and
axial displacements for these real experiments. Their solutions are obtained from their differential
formulations given by means of the asymptotic analysis. Moreover, we introduce a new expression
for the MOR.
Finally, in Chapter 11 we gather all the approaches for the MOR of the porcelain by using
the methodology described above. We apply this procedure for both cylindrical and rectangular
beams. In Appendix A we offer a brief description of the classic expression for the MOR used
in mechanics of materials given that this information is not usually included in the mathematical
bibliography.
88
Chapter 7. Introduction
Chapter 8
8.1
Mathematical model
As usual in solid mechanics, Latin subscripts are understood to range over the integers {1, 2, 3}
and Greek subscripts (other than ) over the integers {1, 2}. Moreover, Einstein summation over
repeated subscripts is implied.
Given two vectors u, v R3 , with components (ui ), (vi ), respectively, u v = ui vi represents
their scalar product. We denote by R9s the space of second order symmetric tensors over R3 ,
endowed with the usual scalar product
: = ij ij ,
, R9s .
Let be a bounded, open, connected Lipschitz subset of R2 with area A. Given 0 < 1,
we define = and we consider the domain = (L, L), L > 0, which corresponds to
the reference configuration of the beam. Consequently, the beam length is 2L and the area of the
89
90
cross section is A = 2 A. We refer the motion of the beam to a fixed Cartesian system 0x1 x2 x3
whose origin is situated at the center of gravity of the beam (see Figure 8.1).
8.1.1
Boundary conditions
Let be the boundary of the beam which is the union of the lateral boundary l = [L, L],
where = , and the ends of the beam = {L}; is assumed to be Lipschitzcontinuous.
is denoted by x = (x , x , x ) and n denotes the outward unit normal
An arbitrary point of
1 2 3
vector to . Notice that n (x ) = (n1 , n2 , 0) on the lateral boundary l , where (n1 (x1 , x2 ), n2 (x1 , x2 ))
is the outward unit normal vector to in (x1 , x2 ) . Moreover, n = (0, 0, 1) on .
Lateral boundary l is partitioned into three non-empty, open and disjointed parts C , N1
, where:
and N2 satisfying l =
C
N1
N2
is the region of the beam where, due to the presence of the two lower cylinders, the
C
normal component of the displacement cannot be positive. To impose this constraint and
take into account the reaction force exerted by the two lower cylinders when the contact is
effective, we consider a Signorini condition (see [54]):
= 0, n 0, un 0, un n = 0, on C
(8.1)
where un and n are the normal displacement and the normal stress at each point of the
boundary, respectively, and u and are the tangential displacement and the tangential
91
8.1.2
Equilibrium equations
Under the assumption of small displacements, the behaviour of the beam is governed by the usual
equilibrium equations
div( ) = f in ,
where the divergence operator is given by the expression
(div ( ))i =
ij
,
xj
and f denotes the volume density forces. In practice, we will only consider the gravitational forces.
8.1.3
Behaviour law
Let ui denote the i component of the displacement vector field u ; then the components of the
infinitesimal strain field are given by
!
uj
1 ui
ij (u ) =
+
,
(8.2)
2 xj
xi
where
ui
xj
denotes the partial derivative of the component ui with respect to xj . We assume that
(u ) is related to the stress tensor through Hookes law (see [28] or [52]),
= (u ).
(8.3)
In the above expression, is the fourth order linear elasticity tensor defined by
= tr( )I + 2 ,
(8.4)
where and are Lam parameters of the material, related to Youngs modulus E and Poissons
ratio by
E
E
=
,
=
.
(1 2 )(1 + )
2(1 + )
92
8.1.4
Problem (P )
n = h on
n = 0 on
= 0,
0, un
0,
n un
= 0 on
N1 ,
N2
C ,
(8.5)
(8.6)
,
= (u ) = tr( (u ))I + 2 (u ) in .
8.2
(8.7)
(8.8)
(8.9)
Weak formulation
1/2
3
3
X
X
kv k1, =
kvi k20, +
kij (v )k20, ,
i=1
i,j=1
where k k0, denotes the usual norm in L2 ( ). The subset of kinematically admissible displacements is the convex set (see [54])
K( ) = {v H1 ( ); vn 0 on C }.
Let us define the stress tensor space X( ) = [L2 ( )]9s where
X( ) is a real Hilbert space endowed with the usual norm in [L2 ( )]9 . Its subspace
H(div, ) = { X( ); div ( ) L2 ( )},
is also a Hilbert space with the norm
1/2
k kH(div, ) = k k20, + kdiv ( )k20,
.
We denote H1/2 ( ) = [H 1/2 ( )]3 as the image set of the trace application from H1 ( ). The
following Greens formula holds:
Z
Z
: (v )dx +
div ( ) v dx = h n , v i ,
H(div, )
for all
1/2
and H ( ).
and
H1 ( ),
8.2.1
93
Assumptions
h w d 0,
f w dx +
N
f w dx +
h w d = 0,
8.2.2
h v d .
F (v ) =
f v dx +
(8.10)
N
a (v , w ) =
(v ) : (w )dx ,
for all v , w H1 ( ).
(8.11)
94
(8.12)
It is easy to prove that every solution of the classic Problem (P ) is a solution of the weak Problem
(V P ) and the reciprocal is also true (see [54]).
8.3
Results of existence and uniqueness for Problem (V P ) when there exists a Dirichlet condition on
a part of the boundary can be found in [61] or [58]. If there does not exist a Dirichlet condition, a
result of existence was given by [40], rewritten Problem (V P ) as a minimization problem under
the assumption of compatibility (H3 ).
It is a classic result (see [37]) that Problem (V P ) admits the equivalent formulation:
Problem (M P ):
Find u K( ) such that
J (u ) J (v ), v K( ),
where the minimization functional J is defined by
1
J (v ) = a (v , v ) F (v ),
2
v H1 ( ).
(8.13)
v H1 ( ),
let us guarantee the hypotheses of theorem XVII of [40] so we can get the existence of a minimum
of Problem (M P ) and consequently the existence of a solution of Problem (V P ).
8.3.1
In the following Lemma we are going to prove that, if there exists a gap between the beam and
the lower cylinders, then the movement of the beam is free there.
95
(8.14)
N
1
h v d ,
n =
h on N1 ,
0 on N2 C .
(8.15)
Given that u is a solution of Problem (P ) in the sense of the distributions, we can replace
boundary conditions (8.6)-(8.8) by (8.15) to conclude that
a (u , w ) = F (w ), w H1 ( ).
By choosing w (K( ) R( )) \ Rn ( ), we find
Z
Z
0 = F (w ) =
f w dx +
N
1
h w d ,
96
v K( ),
(8.16)
a (u , u ) F (u ) = 0.
(8.17)
a (u v , u v ) 0, v K( ).
2
K( ) is another solution of Problem (V P ) and equivalently of Problem (M P ), then
If u
1
, u u
) 0,
0 = J (
u ) J (u ) a (u u
2
R( ). Therefore, we have
that is, u u
= u + w ,
u
w R( ).
in (8.12), we
In addition, given that u is also a solution of Problem (V P ), if we take v = u
obtain
Z
Z
0 F (w ) =
f w dx +
h w d .
N
8.4
In this section we are going to prove the uniqueness of solution of Problem (V P ) in the convex
set K( ). To do so, we assume the following assumptions of symmetry in the domain and in the
applied forces.
(H5 )
(x ), (x ) and ,
97
The second component of the outward normal vector to is not null on C and with
constant sign. Moreover, it is even with respect to x1 .
(H6 ) Volume and surface forces verify that
f1 and h1 are odd with respect to x1 and even with respect to x3 ,
f2 and h2 are even with respect to x1 and x3 ,
f3 and h3 are even with respect to x1 and odd with respect to x3 .
We consider the following subspace of H1 ( ):
u
(x1 , x2 , x3 ) = (u
3 (x1 , x2 , x3 )),
1 1 2
3 2 (x1 , x2 , x3 ), u
Finally, let u
H1s ( ) be any solution of Problem (V P ). From Lemma 8.3.4, there exists
Rn ( ) such that
u
=u
+ w .
x dx1 dx2 =
x1 x2 dx1 dx2 = 0.
(8.18)
Then, the 2 2 geometrical inertia tensor of the cross section w is just a diagonal matrix whose
components are:
Z
Z
I1 =
(x2 ) dx1 dx2 , I2 =
(x1 )2 dx1 dx2 .
(8.19)
98
Chapter 9
99
100
9.1
Following [80] and in order to simplify the calculations, we are going to introduce the mixed
variational formulation of Problem (P ).
Problem (M V P ):
Find u K( ) and X( ) such that
Z
Z
1 +
tr(
)I
:
dx
=
(u ) : dx , X( ),
E
E
Z
: (v u )dx F (v u ), v K( ),
(9.1)
(9.2)
where E and are the Youngs modulus and the Poissons ratio of the material, respectively,
related to the Lam parameters by the usual relations.
Remark 9.1.1. Under assumptions (H1 )-(H6 ), there exists a unique solution of Problem
(M V P ) in (H1s ( ) K( )) X( ) thanks to Theorem 8.4.1.
Given that the dependence of the solution (u , ) of Problem (M V P ) with respect to is
very complex, we define an equivalent problem for which this dependence is explicit. To do so, we
use a change of variable to a fixed domain and the subsequent rescaling of the displacements and
stresses. The reference domain, independent of , is
= (L, L), = 1 ,
= = 1 , = = 1 .
We associate each point x with a point x through the transformation (see [18])
:
(9.3)
(9.4)
()(x) = 2
(x ), 3 ()(x) = 1 3
(x ), 33 ()(x) = 33
(x ).
(9.5)
Notice that (9.4)-(9.5) are not a priori assumptions on the order of magnitude of the displacements
or stresses. It will be a result of the forthcoming analysis that the rescaled unknowns are actually
bounded.
In what follows, we consider the following additional assumptions on the data:
101
H1s ()
K(),
(9.6)
(9.7)
1
33 33 dx,
E
Z
2(1 + )
3 3 (33 + 33 ) dx,
a2 (, ) =
E
E
Z
1 +
a4 (, ) =
dx,
E
E
Z
b( , v) =
ij ij (v)dx,
Z
Z
F (v) =
fi vi dx +
hi vi d.
a0 (, ) =
(9.8)
(9.9)
(9.10)
(9.11)
(9.12)
N1
Proof. Taking into account expression (9.4), we obtain the following relation between the linearized
strain tensor (v ) and the scaled linearized strain tensor (v):
(v()) = 2 (v ), 3 (v()) = 3 (v ), 33 (v()) = 33 (v ).
So, we have that
Z
f v dx +
Z
Z
h v d = 2
: (v )dx =
f v()dx +
h v()d ,
N1
() : (v())dx ,
102
9.2
From now on in Part II, unless otherwise stated, we assume hypotheses (H1 )-(H8 ). We suppose
that the solution (u(), ()) (H1s () K()) X() of Problem (M V P ()) can be written as
a formal expansion
(u(), ()) = (u0 , 0 ) + 2 (u2 , 2 ) + 4 (u4 , 4 ) + o(4 ),
(9.13)
where ui H1s () K() and i X() are independent of . Substituting expression (9.13)
in Problem (M V P ()) and identifying the coefficients of the same powers of , we obtain formally
that the terms of order zero must be a solution of the problem:
Problem (M V P 0 ):
u0 H1s () K(),
0 X(),
a0 ( 0 , ) b( , u0 ) = 0,
0
X(),
0
b( , v u ) F (v u ),
H1s ()
(9.14)
K().
In order to characterize the element (u0 , 0 ), solution of Problem (M V P 0 ), we consider the decomposition
H1s () = Ws2 () Hs1 (),
where
Ws2 () = {(v1 , v2 ) [H 1 ()]2 ; (v1 , v2 , 0) H1s ()},
Hs1 () = {v H 1 (); (0, 0, v) H1s ()}.
Taking into account that in the contact boundary C the outward normal vector is given by
(n1 , n2 , 0), we have that
K() = K2 () H 1 (),
where
K2 () = {(v1 , v2 ) [H 1 ()]2 ; v n 0 on C }.
103
0
3 (u )3 dx = 0, (3 ) [L2 ()]2 ,
Z
(u0 ) dx = 0, ( ) [L2 ()]4s ,
Z
Z
Z
0
0
h3 v3 d, v3 Hs1 (),
(33 3 v3 + 3 v3 )dx =
f3 v3 dx +
0
[
(v
u0 )
0
3
3 (v
u0 )]dx
N1
f (v
(9.15)
(9.16)
(9.17)
(9.18)
(9.19)
u0 )dx
+
N1
h (v u0 )d,
(9.20)
(v ) Ws2 () K2 ().
To characterize the solutions of Problem (9.15)-(9.20), we introduce the following notations:
The total force per unit of length is
Z
Z
qi (x3 ) =
fi (x1 , x2 , x3 )dx1 dx2 + [,] (x3 )
N1 (x3 )
hi (x1 , x2 , x3 )d.
(9.21)
The total moment about the origin of the cross-section per unit of length is defined as
Z
M(x3 ) = (x2 f3 , x1 f3 , x1 f2 x2 f1 )dx1 dx2 +
Z
[,] (x3 )
(x2 h3 , x1 h3 , x1 h2 x2 h1 )d.
(9.22)
N1 (x3 )
H m (L, L),
(9.23)
104
0 is given by
(ii) The axial stress 33
0
33
= E3 u03 = E(3 u03 x2 33 u02 ),
(9.24)
q3 v30 dx3 ,
(9.25)
(9.26)
1 u02 + 2 u01 = 0.
Then, we deduce
u01 (x1 , x2 , x3 ) = 01 (x2 , x3 ), u02 (x1 , x2 , x3 ) = 02 (x1 , x3 ),
2 01 (x2 , x3 ) + 1 02 (x1 , x3 ) = 0.
Given that the variables x1 , x2 and x3 are independent, we find that
2 01 (x2 , x3 ) = 1 02 (x1 , x3 ) = z 0 (x3 )
and consequently,
u01 (x1 , x2 , x3 ) =z10 (x3 ) + x2 z 0 (x3 ),
u02 (x1 , x2 , x3 ) =z20 (x3 ) x1 z 0 (x3 ).
In addition, u01 must be odd with respect to x1 , so z10 = z 0 0. Therefore, u01 = 0 and
u02 = z20 (x3 ). Moreover, (u01 , u02 ) Ws2 () and consequently, z20 He1 (L, L).
Furthermore, from (9.17), 3 (u0 ) = 0, thus
1 u03 = 3 u01 = 0, 2 u03 = 3 u02 = 3 z20 .
105
(9.27)
(9.28)
Z
(3 u03 )2 dx
=A
L
Z
(3 u03 (x3 ))2 dx3
+ I1
h3 v3 d, v3 Hs1 ().
N1
Choosing v3 (x1 , x2 , x3 ) = v30 (x3 ) Ho1 (L, L) as a test function, we have that
Z
Z
Z
0
0
0
0
E(3 u3 x2 33 u2 )3 v3 dx =
f3 v3 dx +
h3 v30 d.
N1
Z
EA3 u03 3 v30 dx3
=
L
f3 dx1 dx2
Z
v30 dx3
N1 (x3 )
!
h3 d
v30 dx3 ,
for all v30 Ho1 (L, L). Therefore, from expression (9.21), u03 is a solution of Problem (P03 ).
(iv) By choosing (v1 , v2 )(x1 , x2 , x3 ) = (0, v20 (x3 )) Ws2 () K2 (), with v20 He2 (L, L), as a
test function in inequality (9.20), we obtain that
Z
Z
Z
0
(9.29)
32
3 (v20 u02 )dx
f2 (v20 u02 )dx +
h2 (v20 u02 )d.
N1
Z
Z
0
0
=
f3 x2 3 (v2 u2 )dx +
h3 x2 3 (v20 u02 )d,
N1
106
(9.30)
N1
Z
0
33
x2 33 (v20
u02 )dx
33 (v20
=
L
u02 )
x2 E(3 u03
dx3 =
(9.31)
Z
0
32
3 (v20 u02 )dx =
Z
0
32
3 (v20 u02 )dx
N1
Z
f2 (v20 u02 )dx +
N1
Finally, from expressions (9.21) and (9.22), we deduce inequality (9.26) and then (iv).
Theorem 9.2.2. Under assumptions (H1 ), (H2 ), (H7 ) and (H8 ), there exists a unique
solution of Problem (P03 ).
Proof. Since u03 must be an odd function, the bilinear form associated to Problem (P03 ) is coercive
on Ho1 (L, L) C([L, L]) and the uniqueness is proved.
Theorem 9.2.3. Under assumptions (H1 )-(H3 ), (H7 ) and (H8 ), there exists a unique solution of Problem (P02 ).
Proof. It can be proved by applying a well-known result of Lions and Stampacchia [58]. Then, we
consider V = He2 (L, L) which is a dense subspace of He1 (L, L) C 0 ([L, L]).
We denote by p0 the usual norm in H 1 (L, L) which gives a pre-Hilbert structure to V and
by p1 the seminorm in V :
2
d v
p1 (v) =
.
dx2
3 0,(L,L)
107
Moreover, due to the compact injection V , He1 (L, L), we have that (see [74])
inf p0 (v y) c1 p1 (v), v V.
yY
(9.32)
If we denote by a the bilinear form in (9.26), we obtain that a is continuous on V and semicoercive,
i.e.,
a(v, v) c2 p21 (v), v V, c2 > 0.
(9.33)
In addition, the right-hand side of equation (9.26) can be identified as an element of V 0
Z
(F 0 , v) =
q2 vdx3
M1 3 vdx3 ,
y Y, y 6= 0, (0, y) K2 ().
(9.34)
Relations (9.32)-(9.34) allow us to apply Theorem 5.1 of Lions and Stampacchia [58] and obtain
the existence of, at least, one solution of Problem (P02 ).
Now, let us assume that u and u
are two different solutions of Problem (P02 ). Then, we can
prove that there exists y Y such that u
= u + y. Indeed, given that u and u
are solutions, we
can write
a(u, u
u) (F 0 , u
u) = (F 0 , y),
a(
u, u
u) (F 0 , u
u) = (F 0 , y),
that is,
a(
u u, u
u) 0.
Consequently, from (9.33), y Y and (F 0 , y) = 0; so, from (9.34), y = 0. In conclusion, there
exists a unique solution of Problem (P02 ).
9.3
In order to complete the asymptotic analysis of the problem, we are going to carry out a convergence
analysis of the solution of Problem (M V P ()), (u(), ())>0 , when goes to 0. For all v H1 (),
we denote
|v|1, = kvk0, + k(v)k0, ,
which is an equivalent norm to k k1, in H1 (); the first addend gives a pre-Hilbert structure to
H1 () and the second addend is a seminorm in H1 ().
Definition 9.3.1. We define the subspace Y() = H1s () R()
Y() = {w H1s (); k(w)k0, = 0} = {w = (0, c, 0); c R}.
108
Lemma 9.3.2. Let P be the projection of H1s () onto Y(), with respect to the pre-Hilbert structure on H1s () defined by k k0, . Then,
Pv = (0, M (v2 ), 0) , v H1s (),
Z
1
M (v2 ) =
v2 dx.
meas()
Furthermore,
inf
wY()
(9.35)
C depending only on .
Proof. The projection P is well defined because Y() is a finite-dimensional space. In addition,
given that Y() is a closed subspace, we have for each v H1s () (see [26])
(v Pv, w) = 0, w Y,
that is,
Z
0 = (v Pv, (0, c, 0)) = c
33 () = 33 (),
3 () = 3 (),
() = 2 ().
k()k
0, C1 kf k0, + khk0,N1 ku()k1, ,
(9.36)
(9.37)
C2 k(u())k20, F (u()),
(9.38)
(9.39)
(9.40)
From (9.8)-(9.12) and (9.40) and taking into account expressions (9.36), it is easy to prove that
Z
Z
Z
1+
ij ()
pp ()ij
ij ()dx =
fi ui ()dx +
hi ui ()d.
E
E
N
1
109
Thanks to the properties of the Lam coefficients and the assumptions on the volume and surface
forces, we have that
Z
1+
C4 k()k
ij ()
pp ()ij
ij ()dx =
0,
E
E
Z
Z
fi ui ()dx +
hi ui ()d C5 kf k0, + khk0,N1 ku()k1, ,
N1
and consequently,
Z
Z
2
C4 k()k
0,
f u()dx +
h u()d = F (u()),
(9.41)
N1
k()k
C
kf
k
+
khk
1
0,
0,N1 ku()k1, ,
0,
where C1 and C4 are positive constants depending on , E and . So, we have proved estimate
(9.37).
From (9.6) and taking into account the definition of bilinear forms a0 , a2 and a4 , we obtain
that
Z
: (u())dx C6 k()k
k(u())k0, C6 k()k
0, .
From inequalities (9.41) and (9.42), we have that
Z
Z
2
C2 k(u())k0,
f u()dx +
therefore,
N1
(9.42)
k3 ()k0, C8 ,
(9.43)
2 k ()k0, C8 .
(9.44)
Proof. Let us assume that (9.43) is false, so there exists a sequence Rn + as n + such
that for all n > 0 there exists n satisfying
ku(n )k1, = Rn .
(9.45)
110
1
u(n ),
Rn
(9.46)
that verifies wn H1s ()K() and obviously kwn k1, = 1. Therefore, there exists a subsequence,
still denoted by (wn )n0 , such that wn * w in H1 () as n + and w H1s () K().
From inequality (9.39), it is verified
(9.47)
p
k(wn )k0, = O(1/ Rn ),
(9.48)
k(w)k0, = 0,
(9.49)
and consequently,
thanks to (9.46); so
(9.50)
N1
So, for each r fixed, r (r /2, 3r /2), there exists nr such that
Z
Z
F (Pwn ) =
f Pwn dx +
h Pwn d r < 0, n nr .
N1
(9.51)
111
p
Rn ,
(9.52)
verifies that
E
E
ij () +
pp ()ij = ijkl kl (),
1+
(1 + )(1 2)
1+
ij () =
ij ()
pp ()ij = 1
kl ().
ijkl
E
E
ij () =
Moreover, there exists C11 > 0 such that for all , 0 < 1,
k
33 ()k0, C11 ,
k
3 ()k0, C11 ,
k
()k0, C11 .
(9.53)
Theorem 9.3.6. There exists a subsequence of (u(), ()), also denoted with , and there exists
an element = (ij ) X() such that
, in H1s (),
u() * u
(9.54)
2
33 () * 33 , 3 () * 3 , () * , in L (),
when goes to zero. In addition, the following symmetry properties hold:
ii , i = 1, 2, 3, are even with respect to x1 and x3 ,
12 is odd with respect to x1 and even with respect to x3 ,
(9.55)
112
(9.56)
(9.57)
Proof. From Theorem 9.3.4 and Corollary 9.3.5, there exists a subsequence of (u(), ())>0 such
() (v)dx + 22
3 ()3 (v)dx 2
f v dx +
N1
h v d .
v dx 0,
With the same procedure, by choosing u() (0, 0, v), with v Hs1 (), as test functions in (9.7)
and multiplying by , we have that
"Z
#
Z
Z
Z
3 () vdx + 33 ()3 vdx =
f3 vdx +
h3 vd .
N1
113
(9.58)
Moreover,
dx1 dx2 =
x2 dx1 dx2 = 0.
(9.59)
11 12 0
= 21 22 0 ,
0
0 0
n 0 on C ,
0 = divdx
=
nd
=
(9.60)
Analogously, choosing as test functions in (9.58) (v1 , v2 ) = (0, 12 x21 v 0 ) and (v1 , v2 ) = (x1 x2 v 0 , 21 x22 v 0 ),
with v 0 He1 (L, L), we obtain
Z
v
Z
v
L
114
x2 dx1 dx2 = 0.
3 () * 3 ,
2 () * ,
1 3 (u()) * 3 ,
2 (u()) * ,
in L2 (). Moreover,
E
E
ij +
pp ij = ijkl kl ,
1+
(1 + )(1 2)
1+
ij pp ij = 1
ij =
ijkl kl .
E
E
ij =
(9.61)
33 33 dx
33 dx =
ij (
u)ij dx, X(),
E
E
(9.62)
So, a similar methodology to that used in proof of Item (i) in Theorem 9.2.1, allow us to deduce
VBN (),
u
u
1 = 0,
(9.63)
2 ) K2 (),
u
2 He2 (L, L), (0, u
u
3 = u
3 x2 3 u
2 , u
3 Ho1 (L, L).
Consequently, replacing these results on (9.62), we find that
33 = E(3 u
3 x2 33 u
2 ) + .
(9.64)
115
(9.65)
N1
Moreover, taking into account expression (9.36) and Corollary 9.3.5, we have
Z
Z
Z
ij ()ij (u())dx =
():
()dx =
():
()dx,
(9.66)
since is a weakly lower-semicontinuous function (see [54]). So, taking lower limits when goes
to zero in (9.65), we have for each v VBN () K(),
Z
Z
Z
Z
33 33 (v)dx
ij ij dx lim inf
33 ()33 (v)dx lim inf
ij ()ij (u())dx
0
0
Z
lim inf
33 ()33 (v)dx
ij ()ij (u())dx
0
Z
!
Z
lim inf
Z
fi (vi ui ())dx +
fi (vi u
i )dx +
Z
N1
N1
hi (vi ui ())d
hi (vi u
i )d.
Therefore,
Z
Z
33 33 (v u
)dx
Z
Z
3 3 dx +
Z
fi (vi u
i )dx +
N1
hi (vi u
i )d+
(9.67)
(9.68)
Furthermore, choosing (v1 , v2 ) = (u1 (), u2 ()) Ws2 () K2 () in expression (9.58), we have
that
Z
u ()dx = 0.
116
(9.69)
)dx
33 33 (v u
Z
f (v u
)dx +
N1
h (v u
)d, v VBN () K().
Taking into account the expression for 33 obtained in (9.64), we can write:
Z
Z
)dx
[E(3 u
3 x2 33 u
2 ) + ]33 (v u
Z
f (v u
)dx +
h (v u
)d,
N1
)dx
)dx +
)dx
Ex2 33 u
2 33 (v u
33 (v u
E3 u
3 33 (v u
Z
Z
f (v u
)dx +
h (v u
)d, v VBN () K().
(9.70)
N1
Z
Ex22 33 u
2 33 (v2
u
2 )dx
x2 f3 3 (v2 u
2 )dx
N1
Z
f2 (v2 u
2 )dx +
N1
x2 h3 3 (v2 u
2 )d +
h2 (v2 u
2 )d
x2 33 (v2 u
2 )dx,
EI1 33 u
2 33 (v2 u
2 )dx3
q2 (v2 u
2 )dx3
M1 3 (v2 u
2 )dx3 ,
EA3 u
3 3 v 3 dx3 +
Z
3 v 3 dx =
q3 v 3 dx3 ,
117
1
(u()) * ,
2
(9.71)
3 (u()) * 3 (u0 ) = 0,
1
3 (u()) * 3 ,
(9.72)
33 (u()) * 33 (u0 ) = 33 ,
(9.73)
weakly in L2 ().
Theorem 9.3.11. For each 0 < 1, let (u(), ())>0 (H1s () K()) X() be the solu0 L2 () be the first term of the asymptotic
tion of problem (9.6)-(9.7). Let u0 H1s ()K(), 33
expansion (9.13). Then, when 0, the following convergences are obtained:
ku() u0 k1, 0,
(9.74)
0
k33 () 33
k0, 0,
(9.75)
k3 k0, 0,
(9.76)
(9.77)
k k0, 0.
Proof. Convergences (9.75)-(9.77) are obtained by applying the same methodology given in Proof
of Theorem 10.4 in [80].
In order to prove (9.74), since u() converges weakly in H1 (), there exists a subsequence, still
denoted u(), such that converges strongly in [L2 ()]3 ,
ku() u0 k0, 0.
(9.78)
(9.79)
0
C12 k33 () 33
k0, + k3 ()k0, + 2 k ()k0, k k0, ,
(9.80)
taking into account that 0 < 1 and then 2 , 4 can be bounded by and 2 , respectively, when
necessary.
Choosing = (u() u0 ) in relations (9.79) and (9.80), we have that
C17 k(u() u0 )k20, a0 (() 0 , (u() u0 ))+
2 a2 ((), (u() u0 )) + 4 a4 ((), (u() u0 ))
0
C12 k33 () 33
k0, + k3 ()k0, + 2 k ()k0, k(u() u0 )k0, ,
118
therefore,
k(u() u0 )k0, 0,
and taking into account (9.78) we conclude (9.74) for the subsequence u(). This procedure may
be applied to any weakly convergent subsequence of (u())>0 in H1 (); so, the whole sequence
converges strongly.
9.4
Returning to domain
In previous section, we have proved that the first term of the asymptotic expansion (u0 , 0 ) is a
good approximation of the scaled displacements and stresses (u(), ()) when the cross-section
parameter is small. Then, by applying the inverse transformations of (9.3)-(9.5), we obtain an
approximation of (u , ), denoted by (u0 , 0 ), such that
1 0
0
0
u0
(x ) = u (x), u3 (x ) = u3 (x),
0
0
0
0
0
0
(x ) = 2
(x), 3
(x ) = 3
(x), 33
(x ) = 33
(x),
0
0
1
u0
3 = u3 x2 3 u2 , u3 Ho (L, L).
(9.81)
0 is given by
(ii) The stress component 33
0
0
33
= E(3 u0
3 x2 33 u2 ).
(9.82)
0
0
EA 3 u3 3 v3 dx3 =
L
(9.83)
Find u0
2 He (L, L), (0, u2 ) K2 ( ), such that
Z L
Z L
Z
0
0
0
0
EI1 33 u0
(v
u
)dx
q
(v
u
)dx
3
3
2 33 2
2
2 2
2
L
M1 3 (v20 u0
2 )dx3 ,
(9.84)
9.5
119
intersect with C .
From now on and without loss of generality, we consider that the second component of the
normal vector is negative, n2 < 0, on the contact boundary C .
1
0
Theorem 9.5.1. The unique solution u0
3 Ho (L, L) of Problem (P3 ) verifies the following
differential formulation:
EA u0
3 = q3 ,
EA
3 u0
3 (L)
(9.85)
= 0.
(9.86)
2
In addition, u0
3 Ho (L, L).
Proof. Firstly, choosing an odd function D(L, L) H 1 (L, L), as test function in (9.83),
and applying integration by parts, we obtain
Z L
Z L
EA u3 dx3 =
q3 dx3 .
L
So, expression (9.85) is obtained in the sense of distributions. Moreover, since q3 is smooth,
q3 vdx3 =
EA 3 u0
3 3 vdx3 EA 3 u3 (L)v(L) + EA 3 u3 (L)v(L) =
L
q3 vdx3 2EA 3 u0
3 (L)v(L),
with supp() I.
EI1 2 u0
2 = q2 + 3 M1 + in (L, L),
(9.87)
3 u0
2 (L)
(9.88)
u0
2 (L)
= 0,
120
0 ; taking
Proof. Firstly, let D(J ) H 2 (L, L) be an even function, with J = (L, L)\
C
0
0
v2 = u2 , as test function in (9.84), and applying integration by parts, we find that
Z
Z
Z
EI1 u2 dx3 =
q2 dx3 +
3 M1 dx3 .
J
0
EI1 2 u0
2 = q2 + 3 M1 in D (J ).
(9.89)
Therefore, multiplying (9.89) by a test function v, taking into account that He2 (L, L) C 1 (L, L)
and since q2 + 3 M1 L2 (L, L), applying again integration by parts, we deduce that
Z
Z
0
EI1 2 u0
vdx
=
EI1 u0
3
2
2 vdx3 EI1 3 u2 (L)v(L)+
J
0
EI1 3 u0
2 (L)v(L) + EI1 u2 (L)3 v(L) EI1 u2 (L)3 v(L) =
Z
Z
q2 vdx3 +
3 M1 vdx3 ,
J
He2 (L, L)
for all v
deduce (9.88).
Next, let x03 0C \I, x03 > 0, be arbitrary and Br (x03 ) = Br (x03 ) Br (x03 ).
0
(0, u0
2 ) K2 ( ), there exist r > 0 and D(Br (x3 )) such that
Because
Then, for all D(Br/2 (x03 )), there exists > 0 such that
u0
2 +
Choosing v20 = u0
2 + in (9.84) and dividing by , we have that
Z
Z
Z
EI1 u2 dx3
q2 dx3 +
Br/2 (x03 )
Br/2 (x03 )
Br/2 (x03 )
M1 3 dx3 .
EI1 u0
dx
=
q
dx
+
M1 3 dx3 ,
3
3
2
2
Br/2 (x03 )
Br/2 (x03 )
Br/2 (x03 )
0 0
EI1 2 u0
2 = q2 + 3 M1 in D (C \I).
0
EI1 u2 vdx3
L
Z
q2 vdx3
M1 3 vdx3 ,
(9.90)
121
2
1
0
a(u0
2 , v) (f0 , v) 0, v He (L, L) H0 (L, L), v 0 in C ,
a(u, v) =
L
Z
q2 vdx3 +
Therefore, by Riesz-Schwartz theorem (see [76]), there exists a positive Radon measure in (L, L)
such that
Z L
0
0
a(u0
,
v
)
(f
,
v
)
=
v20 d, v20 He2 (L, L) H01 (L, L), v20 0 in 0C .
2
2
0 2
L
(9.91)
2
Proof. From previous Theorem it is clear that 2 u0
2 L ((L, L)\I). Since I is a closed interval,
4
0
3
u0
2 H ((L, L)\I), and then, u2 C ((L, L)\I).
Moreover, from (9.87) and given that is a positive Radon measure, and hence it can be
considered as the derivative of an increasing function (see [76]), we can write
EI1 3 u0
2 = G + in (L, L),
G (x3 ) =
(q2 (s) + 3 M1 (s))ds,
(9.92)
(9.93)
Z
(x3 ) =
x3
d.
L
(9.94)
122
(9.95)
C
2
Finally, we know that defined by (9.94) is a function of bounded variation in all closed
interval; hence the discontinuities of are only jump discontinuities (see [3]) and hence, from
Proposition 9.5.5.
null on int(I).
(I) =
q2 dx3 ,
3 M1 in
= q2
(9.96)
D0 (int(I)).
(9.97)
(9.98)
ii) Multiplying expression (9.92) by 3 v, with v He2 (L, L), such that v 0 in 0C and
integrating in (L, L), we find that:
Z
EI1 3 u0
2 3 vdx3 =
Z
G 3 vdx3 +
3 vdx3 .
Z
EI1 u0
2 vdx3
=
Z
L
L
Z
q2 vdx3
M1 3 vdx3
L
L
+
L
q2 dx3
v(L)+
3 vdx3 .
(9.99)
123
EI1 u0
2 vdx3
Z
q2 vdx3
M1 3 vdx3 ,
(9.100)
0
L
Z
q2 dx3 v(L) +
(9.101)
Let us choose v such that supp(v) supp() = and let us consider v = v v(L)
He2 (L, L) H01 (L, L); by using the definition of derivative in the sense of distributions,
Z
3 vdx3 =
3 vdx3 =
vd =
L
vd + v(L)(I) = v(L)(I).
(9.102)
v(L)
L
q2 dx3
and so (9.97).
iii) From the demonstration of Proposition 9.5.4, we know that 3 u0
2 has only jump discontinuities that are in the coincidence set I. Due to (9.98), 3 u0
2 is continuous in int(I)
(identically zero) and, therefore, the discontinuities must appear on I.
EI1 3 u2 3 vdx3 =
q2 vdx3 + v(L)
q2 dx3 +
M1 3 vdx3
L
L
L
vd v(L)
L
Z L
Z
q2 vdx3
L
L
+
L
q2 dx3 =
M1 3 vdx3
vd,
L
124
Besides, by applying integration by parts to the first term in the previous expression and taking
into account (9.88), we have that
Z
Z
EI1 u0
2 vdx3
=
L
Z
q2 vdx3
Z
M1 3 vdx3
vd
L
Z
q2 vdx3
M1 3 vdx3 ,
Chapter 10
10.1
In the classical theory of beams, the MOR is given by an explicit expression which involves the
value of the load of failure, H, the distance, 2l, between the two lower cylinders, and the second
moment of inertia, I1 , of the transversal section of the beam (see [5]).
In particular, the theoretical MOR of a cylindrical beam with radius R subjected to a failure
125
126
2Hl
;
(10.1)
R3
analogously, if the beam is rectangular with width 2a and height 2b, the theoretical MOR is
f t =
f t =
3Hl
.
8ab2
(10.2)
An explanation on the classic expression for the MOR will be presented later in Appendix A.
10.2
We recall in this section the mathematical problem arising from the three-point bending test
already introduced in Chapter 8 and, from now on, we omit the index to simplify the notation,
that is, = 1.
Let be a bounded, open, connected domain in R2 ; we consider a beam which occupies at
rest the domain = [L, L], L > 0, and we refer the motion of the beam to a fixed Cartesian
system Ox1 x2 x3 whose origin is situated at the center of gravity of the beam (see Fig. 10.1).
127
force of known resultant, H, and N2 represents the remaining lateral boundary of the beam that
is free of forces. The ends of the beam are also assumed to be free of forces.
The most used materials in three-point bending tests are brittle materials that break suddenly,
being its response, until the moment of failure, almost elastic and linear. Then, we assume that
the infinitesimal strain field, (u), is related to the stress tensor, , through Hookes law and that
the material is homogeneous and isotropic.
Under the assumption of small displacements, the behavior of the beam is governed by the
usual equilibrium equations:
Problem (P):
Find the displacement vector field, u(x), and the stress tensor field, (x), at each point x ,
satisfying:
div() = f in ,
(10.3)
n = h on N1 ,
(10.4)
n = 0 on N2 ,
(10.5)
= 0, n 0, un 0, n un = 0 on C ,
(10.6)
(10.7)
where un is the normal component of u and n and are the normal and tangential components
of n, respectively. In (8.9), and are the Lam parameters of the material, related with
Youngs modulus, E, and Poissons ratio, , by the usual expressions.
In order to carry out a mathematical analysis of Problem (P ), associated with the three-point
bending test, we consider the space of displacement vector fields H1 () = [H 1 ()]3 and the convex
subset of kinematically admissible displacements
K() = {v H1 (); vn 0 on C }.
The corresponding space of stress fields is defined by
X() = { = (ij ); [L2 ()]9 , ij = ji }.
From now on in this Part II, we consider the following hypotheses.
(H1) The volume forces satisfy f L2 () and the surface forces h L2 (N1 ).
(H2) The material is homogeneous and isotropic; so, the elasticity tensor defined in (8.9) is such
that , R, , > 0.
(H3) The applied forces verify the compatibility condition
Z
Z
f wdx +
h wd 0,
N1
(10.8)
128
h wd = 0,
N1
h (v u)d,
v K().
N1
By using a well-known result of Fichera (see [40]), in Section 8.4 we have established the
existence of a unique solution of Problem (P V ) (see [69]):
Theorem 10.2.1.
ii) Under assumptions (H1)-(H6), there exists a unique solution u H1s () K() of Problem
(V P ), H1s () being the set:
10.3
129
In this section, we are going to describe in detail the two real cases of bending tests carried out in
laboratory and to prove that the assumptions of compatibility introduced in previous Chapters are
satisfied. These experiments have been carried out in collaboration with the Institute of Ceramics
of the Universidade de Santiago de Compostela where porcelain is used as the brittle material and
cylindrical and rectangular beams are considered. For both, numerical results will be presented in
Chapter 11.
10.3.1
In the following, we present a description of the geometry of the samples, of the different regions
considered at the boundary and of the applied forces. In three-point bending tests, the boundary
N1 corresponds to the region of contact between the beam and the upper cylinder, which is
assumed to be known in advance. In this region, the force is applied vertically to the beam and its
resultant, H = He2 , H > 0, is measured in laboratory. In practice (see Figure 7.1), this force
is very close to a Diracs delta distribution, which can be approached in numerical simulations
as top hat functions defined on small areas and with the same resultant. In effect, according
to Saint Venants principle (see [35]), if a body is submitted to a system of forces acting over a
bounded region of its surface, stresses and strains induced away from this region do not depend
on the particular form of the applied force, but rather on its resultant. Taking into account that
our objective is to compute the MOR, which depends only on the stresses induced in the region
opposite to N1 , in order to simplify the computations, we assume that the applied force is a top
hat function with constant density, h,
h = he2 , h =
H
.
area(N1 )
The contact boundary, C , corresponds to the region where the beam may come into contact
with the two lower cylinders; while C is fixed in advance, the actual contact area is, of course, a
priori unknown.
The only volume force acting on the beam is due to the action of the gravity and its expression
is
f = ge2 ,
where is the density of the material and g is the gravitational acceleration. In both experiments
we consider, as brittle material, the porcelain.
We detail below the two considered experiments.
Experiment I: Cylindrical beams.
In this first case, we are going to use a system of cylindrical coordinates {r, , z}. We
consider a beam of length 2L whose section is a circle of radius R and we assume that there
130
+ , z (, )},
2
(10.10)
where is a positive parameter and small enough to assure that the resultant force on N1
is H; therefore,
H 1/2
=
.
4hR
The contact boundary, C , is given by the expression
!
3 3
l) (l, l + )},
C = {(R, , z);
,
+
, z (l ,
2
2 2
2
(10.11)
where is the thickness of the contact zone between the beam and each lower cylinder; is
a positive parameter and small.
Experiment II: Rectangular beams.
In the second experiment, we use rectangular beams of length 2L, width 2a and height 2b,
so their geometry is described as
= (a, a) (b, b) (L, L).
The expression of the boundary N1 is
N1 = {(x1 , b, x3 ); x1 (a, a), x3 (, )},
(10.12)
H
.
4ha
(10.13)
where, again, is the thickness of the contact zone between the beam and each lower cylinder.
10.3.2
As we have recalled in Section 10.2, there exists a unique solution of Problem (V P ) if assumptions
(H1)-(H6) are verified. In this section, we focus on prove that the assumption (H3) is satisfied
for both experiments I and II. For this, first, we are going to characterize the expression of rigid
displacements.
131
(10.14)
(10.15)
(10.16)
(10.17)
(10.18)
(10.19)
(10.20)
f2 () = f2 ().
(10.22)
(10.21)
with
132
Deriving with respect to z in (10.18) and by using (10.16) we have that w,zz = 0. Again, deriving
with respect to r in (10.18) and by using (10.21), we obtain
w,zr =
1 0
f ().
r2 1
(10.23)
Deriving with respect to z in (10.17) and by using (10.20) and (10.23) we can write
1
w,z = f10 () + f20 (),
r
(10.24)
1 0
f ().
r2 1
Expressions (10.23) and (10.25) lead to the condition
w,zr =
(10.25)
(10.26)
Therefore, from (10.21), (10.22), (10.24) and (10.26) we have the expressions
w = f20 ()z + f3 (r, ),
wz = f1 f2 ()r.
(10.27)
(10.28)
(10.29)
(10.30)
(10.31)
In addition, substituting (10.31) in (10.30), we obtain that f4 must verify the ordinary differential
equation:
1
f40 (r) = f4 (r),
r
whose general solution is
f4 (r) = f4 r, f4 R;
this leads to the following expression for f3 :
f3 (r, ) = f10 () + f4 r.
(10.32)
133
(10.33)
A, B R,
(10.34)
f2 () = C sin + D cos ,
C, D R.
(10.35)
In conclusion, from (10.20), (10.27), (10.28), (10.32) and (10.34)-(10.35) we have that w verifies
(iii).
10.3.3
In three-point bending tests, volume and surface forces are given by the following expressions in
cartesian and cylindrical coordinates:
f = ge2 = g(sin er + cos e ),
h = he2 = h(sin er + cos e ),
h > 0.
(10.36)
(10.37)
We are going to prove that these forces satisfy assumption (H3) in order to obtain the existence
of a unique solution of Problem (V P ).
Lemma 10.3.2. In experiment I, volume and surface forces verify assumption (H3).
Proof. Taking into account expression (10.9) and by using (10.36) and (10.37), we have
Z
Z
f wdx +
h wd = 2R(LRg + 2 2 h)A,
(10.38)
N1
Z
w nd = 4 cos
0
C
3
+
2
2
!
RA,
(10.39)
134
and so A 0.
In order to complete the proof of (H3), from (10.39), A = 0 if and only if
Z
w nd = 0.
C
N1
(10.41)
10.3.4
Proposition 10.3.4. There exists a unique weak solution u H1s () of Problem (P ), defined by
(10.3)-(10.7), corresponding to experiments I and II for a porcelain beam.
Proof. Assumptions (H1) and (H6) are satisfied thanks to expressions (10.36) and (10.37). As
porcelain is a homogeneous and isotropic material, with positive and constant Lam parameters,
assumption (H2) is also verified. Lemmas 10.3.2 and 10.3.3 guarantee that assumption (H3) is
satisfied for experiments I and II, respectively. Assumption (H5) is also verified due to the sample
geometries.
Furthermore, it is easy to verify assumption (H4). Indeed, if we consider w K() R(),
w n = (c1 + d2 x3 d3 x2 )n1 + (c2 + d3 x1 d1 x3 )n2 0 on C .
135
Finally, since n2 is non null, choosing c1 = d2 = d3 = 0 and c2 , d1 6= 0, we obtain that there exists
w (K() R()) \ Rn (), w 6= 0, such that
w n = (c2 d1 x3 )n2 6= 0.
So the result is obtained from Theorem 10.2.1.
10.4
In Section 9.4 we have obtained the one-dimensional variational problems associated to the bending and axial displacements in three-point bending tests by applying the well-known method of
asymptotic expansions. We have proved that a good approximation of the solution of the threedimensional Problem (V P ) is the limit displacement u0 = (u01 , u02 , u03 ), where the transversal
displacement, u01 , is null, the bending displacement, u02 , only depends on x3 , and the axial displacement, u03 , is given by:
u03 = u03 x2 3 u02 .
In particular, in the scenario of experiments I and II introduced in Section 10.3, the limit bending
and axial displacements are the solution of the following variational problems:
Problem (P02 ):
l) (l, l + )
and
Find u02 He2 (L, L), such that u02 0 in 0C = (l ,
Z L
Z L
0
0
0
EI1 u2 (v2 u2 )dx3
q2 (v20 u02 )dx3 ,
L
(10.42)
for all v20 He2 (L, L) such that v20 0 in 0C . Here, q2 is the total vertical force per unit of
length:
q2 (x3 ) = g (,) (x3 )h,
where:
R2 for experiment I,
4ab for experiment II,
Problem (P03 ):
Find u03 Ho1 (L, L), such that
Z L
L
2R for experiment I,
2a
for experiment II.
(10.43)
Moreover, in Section 9.5, we establish some properties of the bending and axial displacements
which are collected in the following propositions (see [69]).
Proposition 10.4.1. In the scenario of experiments I and II, the bending and axial problems (P02 )
and (P03 ) have unique solutions. Furthermore, u03 is null and the axial normal stress is given by
the expression
0
33
(x) = Ex2 u02 (x3 ), x .
(10.44)
136
u02 (L)
= 0,
(10.45)
(10.46)
(I) =
q2 dx3 .
Z
EI1 u02 u02 dx3
q2 u02 dx3 .
137
Z
EI1 u02 (v
u02 )dx3
q2 (v u02 )dx3 ,
Z
EI1 u02 u02 dx3
q2 u02 dx3 0,
(10.47)
since q2 is negative and u02 positive. Relation (10.47) implies that u02 = 0 in I and as u02 = 0 in
then u0 = 0 on I and we conclude the proof.
I,
2
Corollary 10.4.4. The coincidence set I is either two isolated points or two closed intervals.
10.4.1
(h + g)x43 + b3 x23 + d3 in (, ),
1
g(x43 l4 ) + b2 (x33 l3 ) + c2 (x23 l2 ) + d2 (x3 l) in [, l),
u02 (x3 ) =
24EI1
g(x43 l4 ) + b1 (x33 l3 ) + c1 (x23 l2 ) + d1 (x3 l) in [l, L),
and by its even extension in [L, ), where
b1 = 4gL,
b2 = 4h,
c1 = 6gL2 ,
c2 = 6gL(2l L) + 12hl,
(10.48)
(10.49)
138
(10.50)
then, there exists 0 > 0 such that for all < 0 the analytical solution given in Proposition
10.4.5 is the unique solution of variational problem (P02 ).
ii) If condition (10.50) is satisfied and verifies
h
i
(10.51)
3.5
139
x 10
3
2.5
2
1.5
1
0.5
0
0.5
0.06
0.04
0.02
0.02
0.04
0.06
From expression (10.49), we can deduce a new formula for the MOR. Recall that the MOR
corresponds with the maximum surface stress of the bent beam at the instant of failure. As we will
see, the maximum stress occurs in the opposite zone to the load application zone, which coincides
with the results found in the classic literature.
Proposition 10.4.7. If 2l > L, then the maximum fiber normal stresses are achieved at (0, d, 0)
and their values are:
mt =
d
[h (2l ) gL(L 2l)] ,
2I1
(10.52)
140
x (g + h),
df
x2 3
gx3 + h,
(x3 ) =
dx3
I1
g(L x3 ),
if x3 (, ),
if x3 [, l)
if x3 (l, L],
In order to study the extrema of f we have to analyze its critical points x3 = 0, x3 = L and also
the jump discontinuities of its derivative x3 = l. So, we can distinguish two situations:
i) If x2 < 0, we have that x3 = 0 is a local maximum that verifies:
f (0) > 0 = f (L),
if 2l > L. Furthermore, f (l) 0, so the maximum traction normal stress is achieved at
(0, d, 0).
ii) Analogously if x2 > 0, we have that x3 = 0 is a local minimum that verifies:
f (0) < 0 = f (L),
if 2l > L. Furthermore, f (l) 0, so the maximum compression normal stress is achieved
at (0, d, 0).
F = 2Lg, H = 2h,
we conclude the proof.
Notice that if the total gravity forces, F , can be neglected and the upper cylinder exerts really
a punctual force, that is = 0, expressions (10.53) and (10.54) are in line with classic formulas
(10.1) and (10.2).
Chapter 11
141
142
In our experiments, the beams are made of porcelain, a brittle material which breaks suddenly,
when the response is still substantially elastic and linear. In material databases, the characteristic
parameters of porcelain range between the following values:
E = 6.82 1010 7.175 1010 N/m2 ,
= 0.17 0.18,
= 2260 2420 kg/m3 .
The characteristic parameters of porcelain we use in the numerical simulations are the following:
E = 6.9975 1010 N/m2 , = 0.175, = 2340 kg/m3 .
11.1
As we have said above, in experiment I we use cylindrical beams of radius R = 0.009 m and we
consider two lengths:
2L1 = 0.125 m, 2L2 = 0.18 m.
For each fixed length, three different distances between the two lower cylinders are considered:
2l1 = 0.06 m, 2l2 = 0.1 m, 2l3 = 0.15 m.
The parameters and are taken as 0.0025.
Table 11.1 shows the modulus of the maximum surface stress of the bent beams at the instant
of failure. These values were obtained by making several laboratory tests, and taking the arithmetic mean of the corresponding rupture loads. Notice that the experimental rupture load varies
substantially with the dimensions of the beam, depending on the relation between the total length
and the distance between the two lower cylinders.
Table 11.1: Experimental load of failure for cylindrical beams.
2L / 2l
2L1 = 0.125 m
2L1 = 0.18 m
2l1 = 0.06 m
H = 2054 N
H = 2007.5 N
2l2 = 0.1 m
H = 1312 N
H = 1394 N
2l3 = 0.15 m
H = 845 N
With the values for the rupture loads of Table 11.1 and by using the classic formula (10.1), we
obtain theoretical values for the MOR, denoted by f t , which are different with each sample (see
Table 11.2).
Next, we are going to compute the MOR by means of three-dimensional numerical simulations
and by using again the values of the experimental rupture loads, we solve the problem numerically.
Figure 11.1 shows the vertical displacement and the x3 x3 component of the stress tensor for a
particular sample. Notice that the greatest deflection appears in the center of the beam, while the
smallest displacements occur in the contact boundary. Moreover, it is also important to notice
143
2L1 = 0.125 m
2L2 = 0.18 m
2l2
H (N)
1312
1394
= 0.1 m
f t (N/m2 )
5.73 107
6.09 107
2l3 = 0.15 m
H (N) f t (N/m2 )
845
5.53 107
that the behaviour of the beam is almost constant at each cross section. We can also observe that
the greatest value of the stresses in compression is reached in the force application zone, while the
greatest value in bending appears in the opposite zone, in which the beam collapses. Table 11.3
shows the maximum value of the x3 x3 component of the stresses at this zone for each sample. This
value is denoted in the following by f n , the 3d numerical value for the MOR.
MSC.Patran 2001 r3 02-Jun-06 09:44:08
Fringe: Default, INC.=17, TIME=1.: DISPLACEMENT (1), -(NON-LAYERED) (YY)
Deform: Default, INC.=17, TIME=1.: DISPLACEMENT (1),
2.08-05
1.34-05
6.14+07
5.29+07
5.98-06
4.43+07
-1.44-06
3.57+07
-8.85-06
2.72+07
-1.63-05
1.86+07
-2.37-05
-9.04-05
1.00+07
-6.70+07
-3.11-05
1.48+06
-3.85-05
-7.08+06
2.08-05
-4.59-05
-1.57+07
-5.34-05
-2.42+07
-6.08-05
-3.28+07
-6.82-05
-4.13+07
-7.56-05
-4.99+07
-8.30-05
-5.85+07
-9.04-05
default_Fringe2 :
Max 2.08-05 @Nd 1252
Min -9.04-05 @Nd 406
default_Deformation2 :
Max 9.04-05 @Nd 406
-6.70+07
default_Fringe2 :
Max 6.14+07 @Nd 3864
Min -6.70+07 @Nd 406
default_Deformation2 :
Max 9.04-05 @Nd 406
Figure 11.1: Vertical displacement and x3 x3 component of stresses for a cylindrical beam with
2L1 = 0.125m and 2l2 = 0.1m.
2L1 = 0.125 m
2L2 = 0.18 m
2l1 = 0.06 m
H (N) f n (N/m2 )
2054
4.76 107
2007.5
4.66 107
2l2
H (N)
1312
1394
= 0.1 m
f n (N/m2 )
5.32 107
5.65 107
2l3 = 0.15 m
H (N) f n (N/m2 )
845
5.25 107
By using the one-dimensional bending problem (10.42) we carry out a new numerical simulation
of the three-point bending test, obtaining in this way a 1d numerical approach for the MOR,
denoted by f0n . This new value for the MOR has a great importance to compute the MOR
for brittle materials, because the three-dimensional simulations can be inaccurate when the ratio
between the area of the cross-section and the length of the beam is very small.
In Figures 11.2 and 11.3, the bending displacement u2 and the axial normal stress 33 for a
144
porcelain beam obtained from the one and three-dimensional numerical simulations are shown as
well as the 1d analytical solution obtained in Section 10.4.1. In these figures, the plots on the
right represent a zoom of the axial normal stress in order to better appreciate the behaviour in the
loading area; moreover, the theoretical MOR and the 3d and 1d numerical MOR are also depicted.
These values are computed in the maximum deflection line, that is, in x2 = R.
a) Distance between lower cylinders: 0.06 m
Figure 11.2: Bending displacement and axial normal stress for a cylindrical beam with 2L1 =
0.125m.
Notice that when comparing Figures 11.2.b) and 11.3.b) for the same distance between the
two lower cylinders, the smaller the ratio between the area of the cross-section and the length of
the beam is, the better the 1d numerical MOR approaches the theoretical MOR. Furthermore, we
can observe that the 1d numerical MOR comes closer to the theoretical MOR when the distance
between the two lower cylinders becomes larger, while the approach is worse when the two lower
cylinders are nearer.
Finally, the last approach for the MOR is obtained by using the new expression (10.53) arising
from the analytical solution we have calculated from the asymptotic analysis of the problem, called
the 1d analytical MOR and denoted by f0t (this value is also shown in Figures 11.2 and 11.3).
145
Figure 11.3: Bending displacement and axial normal stress for a cylindrical beam with 2L1 =
0.18m.
Tables 11.4 and 11.5 gather the different values obtained for the MOR of a cylindrical beam
of porcelain. Notice that, the differences decrease when the two lower cylinders are close to the
ends of the beam; so, the theoretical expression (10.1) gives a good approach when the beam is
supported at its ends.
146
Table 11.4: Theoretical and numerical MOR for a cylindrical beam of length 2L1 = 0.125 m.
2l1 = 0.06 m
2l1 = 0.1 m
f t (Pa)
5.38 107
5.73 107
f n (Pa)
4.77 107
5.32 107
f0 n (Pa)
5.31 107
5.68 107
f0 t (Pa)
5.16 107
5.59 107
Table 11.5: Theoretical and numerical MOR for a cylindrical beam of length 2L2 = 0.18 m.
2l1 = 0.06 m
2l1 = 0.1 m
2l1 = 0.15 m
11.2
f t (Pa)
5.26 107
6.09 107
5.53 107
f n (Pa)
4.66 107
5.65 107
5.25 107
f0 n (Pa)
5.15 107
6.07 107
5.49 107
f0 t (Pa)
5.04 107
5.94 107
5.45 107
In experiment II, we use beams of square section, of height and width 2a = 2b = 0.0085 m and of
length 2L = 0.118 m. The distances between the two lower cylinders considered are 2l1 = 0.06 m
or 2l2 = 0.1 m. Again, the parameters and have the same value, that is, 0.0025.
Table 11.6 shows the modulus of the experimental load at the instant of failure and the corresponding theoretical MOR, f t , obtained from the classic formula (10.2).
Table 11.6: Experimental load of failure and theoretical MOR for beams of square section.
2L1 = 0.118 m
2l1 = 0.06 m
H
f t
240.1 N 3.52 107 N/m2
H
156.8 N
2l2 = 0.1 m
f t
3.83 107 N/m2
Following the same procedure as in the cylindrical case, firstly, we carried out the threedimensional numerical simulations corresponding to the experimental rupture loads obtained in
laboratory. Figure 11.4 shows the vertical displacement and the x3 x3 component of the stress
tensor for a particular sample. In column 3 in Table 11.7 we show the 3d numerical MOR of
porcelain, f n .
Again, by using the one-dimensional bending problem (10.42) we carry out a new numerical
simulation of the three-point bending test, to obtain the 1d numerical MOR, f0n (see Column 4
in Table 11.7).
In Figure 11.5 the bending displacement, u2 , and the axial normal stress, 33 , for a porcelain
beam, obtained from the one and three-dimensional numerical simulations are shown as well as
the 1d analytical solution obtained in Section 10.4.1. As we have done above, the plots on the
147
4.97-05
4.39-05
3.82-05
3.07+07
2.66+07
2.24+07
3.24-05
1.82+07
2.67-05
1.40+07
2.09-05
9.81+06
1.52-05
5.63+06
9.41-06
-3.66-05
1.44+06
-3.20+07
3.66-06
-2.74+06
-6.93+06
-2.09-06
-1.11+07
-7.83-06
-1.53+07
-1.36-05
-1.95+07
-1.93-05
-2.37+07
-2.51-05
-2.79+07
-3.08-05
-3.20+07
default_Fringe :
Max 3.07+07 @Nd 4065
Min -3.20+07 @Nd 3075
default_Deformation :
Max 5.02-05 @Nd 3817
-3.66-05
default_Fringe :
Max 4.97-05 @Nd 3817
Min -3.66-05 @Nd 3144
default_Deformation :
Max 5.02-05 @Nd 3817
Figure 11.4: Vertical displacement and x3 x3 component of stresses for a beam of square section
with 2L = 0.118m and 2l = 0.06m.
right represent a zoom of the axial normal stress to better appreciate the behaviour in the loading
area. Moreover, the theoretical and the 1d and 3d numerical MOR are depicted. These values are
computed in the maximum deflection line, that is, in x2 = b.
Finally, the 1d analytical MOR, f0t , is obtained by using the expression (10.54) arising from
the asymptotic analysis of the problem (this value is also shown in Figure 11.5). Table 11.7 gathers
the different values obtained for the MOR of a porcelain beam of square section. Notice that, as
in the experiment I, the differences are smaller when the two lower cylinders are close to the ends
of the beam, showing that the theoretical expression (10.2) gives a good approach when the beam
is supported at its ends.
Table 11.7: Theoretical and numerical MOR for a beam of square section of length 2L = 0.118 m.
2l1 = 0.06 m
2l1 = 0.1 m
f t (Pa)
3.52 107
3.83 107
f n (Pa)
3.27 107
3.63 107
f0 n (Pa)
3.45 107
3.75 107
f0 t (Pa)
3.37 107
3.74 107
148
Figure 11.5: Bending displacement and axial normal stress for a beam of square section with
2L1 = 0.118m.
Chapter 12
Conclusions
In Part II of this manuscript we have carried out a complete mathematical study for the three-point
bending test and a complete analysis of the MOR for brittle materials, comparing four different
methodologies to obtain an approach of its value.
Firstly, under suitable assumptions of compatibility on the applied forces and on the geometry
of the beam, we have proved the existence of a unique solution for the three-dimensional elastic
model with contact constraints associated to the three-point bending test. These hypotheses are
necessary to guarantee the existence of a unique solution of the problem due to the absence of
Dirichlet conditions.
Moreover, we have studied the asymptotic behaviour of the beam if the area of its cross-section
goes to zero. Using the asymptotic expansion method, we have obtained the one-dimensional
models associated both with the bending problem and that of axial traction as well as the corresponding results of existence and uniqueness of solution. In particular, we have obtained the axial
normal stresses associated to the MOR; its expression is given in terms of the derivatives of the
vertical and axial displacements. The variational formulation corresponding to the limit problem
of bending involves an inequality due to the contact condition between the beam and the two lower
cylinders. Furthermore, the admissible test functions for the axial and bending problems are even
and odd, respectively, which is a consequence of the assumptions needed to obtain the existence of
a unique solution for the three-dimensional problem of departure. Finally, we have obtained the
differential formulations of the problems associated with the one-dimensional models and we have
presented a characterization of the zone of effective contact.
Secondly, in order to carry out a complete analysis of the MOR for brittle materials, we
have proved that the assumptions of compatibility on the forces are satisfied for laboratory threepoint bending tests with cylindrical and square beams. Moreover, thanks to the one-dimensional
problems obtained using the asymptotic expansion method, we have deduced a new expression
for the MOR, which involves not only the rupture load and the distance between the two lower
cylinders but also the gravitational effects and the distance between the supports and the ends of
the beam.
In order to find an effective method to compute the MOR of brittle materials, we have carried
149
150
out a comparison between four methodologies applied to cylindrical and square beams: Firstly, we
have experimentally measured the rupture load at the instant of failure at laboratory. By using
the classical formulas (10.1) and (10.2), we have computed the corresponding theoretical MOR.
Secondly, from the numerical simulations we have obtained the 3d and 1d numerical MOR. Finally,
by using the new expressions obtained in this work by means of the one-dimensional analytical
solution, we have computed a new 1d analytical MOR. After comparing all the values obtained,
we conclude that formulas (10.53) and (10.54) give a better approach of the MOR for brittle
materials than the classical ones. Moreover, we want to remark that the MOR for brittle materials
is a mechanical property strongly sensitive to variations in the dimensions of the beam; due to
this, we have found that there exist great differences between the values for the MOR obtained in
this work and the range of values found in databases in which the dimensions or the geometries of
the samples are not indicated.
Appendix A
33 =
M x2
,
I1
(A.1)
which shows that stresses are directly proportional to the bending moment M and to the coordinate
x2 , and inversely proportional to the second moment of inertia, I1 , of the transversal section of
the beam. The maximum bending or compression stresses are produced at points placed at the
farthest distance from the axis of the beam denoted by d1 and d2 , above and below the beam,
151
152
M d1
,
I1
332 =
M d2
.
I1
The second expression is the classical formula for the MOR when the bending moment is constant.
In three-point bending tests there exists non uniform bending moment, that is, M is not
constant. Therefore, in order to give the classical expression for the MOR when a beam is subjected
to this test, we must determine the maximum bending moment, Mmax . Consequently, the MOR
would be given by the expression
Mmax d2
f =
,
(A.2)
I1
where d2 > 0 denotes the distance from the axis of the beam to its boundary in the negative
direction x2 .
H
x3
x3
2l
2L
Figure A.1: Simply supported beam subjected to a concentrated force H.
To compute Mmax , we consider a beam of length 2L, that is simply supported at points placed
at a distance 2l and is subjected to a concentrated load H in its center (see Figure A.1). If we
consider this beam like a free body, we can determine easily the reactions in the beam from the
moment equilibrium equation, that is:
Rl = Rl =
H
.
2
We cut the beam in a section to the left of the load H and at a distance x
3 from the support in
x3 = l. From the equilibrium equation for this free body, we obtain that the bending moment
at a distance x
3 from the left support is
M = Rl x
3 =
Hx
3
,
2
0<x
3 < l.
Analogously, if we cut the beam in a section to the right of the load H and at a distance x
3 from
the support in x3 = l, we obtain that the bending moment is
M = Rl x
3 H(
x3 l) =
x
3
H
Hx
3
H( l) = (2l x
3 ),
2
2
2
l<x
3 < 2l.
153
Therefore, the bending moment for a simply supported beam in a point placed at a distance x
3
from the left support is
Hx
3
0<x
3 < l,
2 ,
M=
H
3 ), l < x
3 < 2l.
2 (2l x
The maximum bending moment is
Hl
,
2
and is produced under the concentrated load H in x
3 = l.
Mmax =
(A.3)
Substituting (A.3) in (A.2), we obtain that the classical expression for the MOR of a material
is
f =
Mmax d2
Hld2
=
.
I1
2I1
154
Part III
155
Table of Contents
13 Introduction
159
161
165
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
175
. . . . . . . . . . . . . . . . . . . . . . . 188
199
158
TABLE OF CONTENTS
Chapter 13
Introduction
A catalytic converter in an automobiles exhaust system provides an environment for a chemical
reaction where unburned hydrocarbons completely combust, in such a way that the pollution is
reduced. An enormous effort is being made with the purpose of developing appropriate supports
and the catalyst itself. In some cases the correct support is what makes all the difference to the
viability of a process. A catalyst support should allow the catalyst to be highly dispersed on the
surface of the support. The support needs to be stable under the reaction conditions and it must
not be affected by the reactants or products.
The objective of Part III of this manuscript is to model the catalyst process which occurs in an
automobiles exhaust system. Due to the great difficulty of the problem, the first step is to study
the asymptotic behaviour of the supports in a linear elasticity problem. The catalyst support we
consider in this work is a structure made of rods with thickness e and inner holes of size e (see
Figure 13.1).
160
transform any integral over in an integral over Y . Moreover, Th allows to show that the
two-scale convergence in the Lp ()-sense of a sequence of functions v is equivalent to the weak
convergence of the sequence of unfolded functions Th v in Lp ( Y ).
One of the most important results of the unfolding method is the following: For any weakly
convergent sequence w in H 1 (), one can extract a subsequence (still denoted ) such that
w * w weakly in H 1 (),
Th (w ) * w weakly in L2 (; H 1 (Y )),
Th (w ) * w + Y w
weakly in L2 (; H 1 (Y ))n ,
1 (Y)).
where w
belongs to L2 (; Hper
Besides, a new approach of linear elasticity problems in thin domains (such as rods or plates) is
obtained by means of the unfolding method. The method consists of decomposing a displacement
in a cross-section displacement (an elementary displacement) and a warping associated to the
cross-section deformation. An elementary displacement is a displacement of the middle-line of the
beam and a small rotation of the cross-section. This new technique has been introduced in [47]
to study curved rods. The same methodology has been developed to study plates and structures
made of plates (see [48, 49]) and to study problems with junctions rods-plates (see [22, 23]). The
results presented in this part of the manuscript are published in [50].
The outline of Part III is as follows:
In Chapter 14 we introduce the computational domain and the notation we will use in the
sequel. Moreover, the three-dimensional elasticity problem for structures used as a catalyst support
is formulated. These structures are made of a periodic family of elastic rods with thickness e and
inner holes of size e.
In Chapter 15 we present some tools used when applying the unfolding method. We define
the elementary displacements associated to a beam and we give some estimates for this kind of
displacement. Firstly, we introduce the unfolding operator related to the elasticity parameter
e, obtaining some weak convergences. Secondly, we define the unfolding operator related to the
periodicity parameter and we study the limit of a bounded sequence of displacements in a
structure when the elasticity and periodicity parameters, e and , go to zero.
In Chapter 16, under suitable hypotheses on the applied forces, we give the limit problem of
the three-dimensional elasticity problem when e, go to zero, obtaining three uncoupled problems:
The first problem defines the longitudinal displacement and the second one gives the transversal
bending of the structure, while the third one defines the torsion angle.
Part III of this manuscript is the result of the research stays of the author in the Laboratoire
Jacques-Louis Lions in the University Pierre et Mary Curie (Paris VI), France, funded by the
Spanish Ministry of Education and Science (Spain) by means of the FPU program.
Chapter 14
14.1
1 1 2
= ,
,
2 2
l l 2
l = ,
, l > 0.
2 2
From now on, = 1 .
Let denote the unit cells
Y = (0, 1)2 ,
Y = Y\[, 1 ]2 ,
with > 0 a fixed parameter (see Figure 14.1).
Let e, be real positive numbers such that e = M , with M N . We consider L > 0 fixed
such that L = (2N + 1)e, with N N . Notice that the ratio height of the beam over e is an
odd number in order to simplify the calculations but the procedure can be extended to the general
case.
161
162
e,
=
e( + Y ),
(0, L). Again,
and the structure we are interested in is e, = e,
= 1 = (0, L),
[
( + Y ).
= 1,
=
.
Figure 14.2: Domain e,
Furthermore, structures e, and e can be expressed as the union of the following domains,
respectively (see Figure 14.3):
e, = eY (0, L),
e, = eY (0, L).
163
1
e
1
e
e
L
3
.
Figure 14.3: Domains e, , e, , and
Finally, let introduce other notations of three-dimensional cells used in this paper:
= Y (0, 1), = Y (0, 1),
= {Y (0, 1)} {Y [1, 2]} {Y (2, 3)},
= Y (0, 3).
(14.1)
(14.2)
Hereafter, Latin subscripts are understood to range over the integers {1, 2, 3} and Greek subscripts
over the integers {1, 2}. Moreover, summation over repeated subscripts is implied. Finally, for any
open subset O R3 , and any displacement v H 1 (O; R3 ), we denote
Z
E(v, O) =
O
Z
D(v, O) =
ij (v)ij (v)dx, ,
vi vi
dx,
xj xj
vj
vi
+
xj
xi
164
14.2
Elasticity problem
The physical problem we want to solve consists of determining the displacement vector field ue
and the stress tensor field e that the structure e, suffers when it is submitted to the action of
volume forces.
{0} the bottom surface. We assume
Let e, = e, be the boundary of e, and D = e,
that the structure is fixed on D and the remaining boundary N = e, \D is free of forces.
Under small deformations assumption, the behaviour of the structure is governed by the usual
equilibrium equation
div e = f e in e, ,
where f e denotes the volume forces acting on the structure.
We assume that e, is made of an isotropic and homogeneous material. So, the infinitesimal
strain field (u) is related to the stress tensor trough Hookes law (see [28])
e = (u).
In the above expression, is the fourth order linear elasticity tensor defined by
= tr( )I + 2 ,
where and are the Lam parameters of the material, , > 0.
Summing up, the problem we must solve is the following:
Problem (P e ):
Find the displacement vector field ue (x) and the stress tensor field e (x), at each point x e, ,
satisfying:
div( e ) = f e in e, ,
e n = 0 on N ,
ue = 0 on D ,
e = tr((ue ))I + 2(ue ) in e, .
Moreover, the associated variational problem is the following:
Problem (V P e ):
Find ue H1D (e, ; R3 ) such that
Z
Z
(ue ) : (v)dx =
e,
e,
f e vdx,
v H1D (e, ; R3 ),
where
H1D (e, ; R3 ) = {v H 1 (e, ; R3 ) : v = 0 on D }.
Our objective is to study the asymptotic behaviour of a sequence of displacement fields ue
H 1 (e, ; R3 ), solutions of Problem (V P e ), when thickness parameter e and periodicity parameter
go to zero. To do so, we use the unfolding methods in elasticity and periodic homogenization.
The volume forces will be described in Section 16.1.
Chapter 15
15.1
166
Remark 15.1.1. There exists an extension operator from H 1 ( ; R3 ) to H 1 (; R3 ) such that for
all u H 1 ( ; R3 ), its extended displacement u
to verifies
u
H 1 (; R3 ),
E(
u, ) CE(u, ), C > 0.
; R3 ) to H 1 (;
R3 ) such that for
Remark 15.1.2. There exists an extension operator from H 1 (
1
3
; R ), its extended displacement u
verifies
all u H (
to
R3 ),
u
H 1 (;
CE(u,
), C > 0.
E(
u, )
By using the above remarks, we are going to obtain an extension operator from H 1 (e, ; R3 )
are
to H 1 (e ; R3 ). To do so, we will use an intermediate result. We recall that , and
defined by expressions (14.1) and (14.2).
Lemma 15.1.3. There exists an extension operator from H 1 (e, ; R3 ) to H 1 (e, ; R3 ) such that
for each displacement u H 1 (e, ; R3 ), its extended displacement, still denoted by u, belongs to
H 1 (e, ; R3 ) and verifies
E(u, e, ) CE(u, e, ),
where C > 0 independent of e and .
Proof. Let u H 1 (e ; R3 ) be an arbitrary displacement and we define vp H 1 ( ; R3 ) as follows
(by using a homotecy):
vp (y1 , y2 , y3 ) = u(ey1 , ey2 , ep + ey3 ),
(y1 , y2 , y3 ) , p {0, 2, . . . , 2N }.
From Remark 15.1.1, the extended displacement v
p of vp to verifies
E(
vp , ) CE(vp , ).
Then, by inverse homotecy, u is extended to eY ]ep, e(p + 1)[, with p {0, 2, . . . , 2N } (still
denoted by u) and
E (u, eY ]ep, e(p + 1)[) CE (u, eY ]ep, e(p + 1)[) ,
with C > 0 independent of e and .
; R3 ) as follows (by using a homotecy):
Analogously, we define v
p H 1 (
v
p (y1 , y2 , y3 ) = u(ey1 , ey2 , ep + ey3 ),
, p {0, 2, . . . , 2N }.
(y1 , y2 , y3 )
Thanks to Remark 15.1.2 and by inverse homotecy, u is extended to eY (ep, e(p + 3)), with
p {0, 2, . . . , 2N 2} (still denoted by u) and
,
E (u, eY ]ep, e(p + 3)[) CE u, (0, 0, e) + e
167
L = (2N + 1)e
Now, it will be easier to obtain estimates and convergences by using the extension operator.
15.2
As we have mentioned at the beginning, in a catalyst support, under the action of any displacement
u, the structure is submitted to a translation and a rotation, called elementary displacement, and
to a displacement which deforms the cross-sections, called residual displacement or warping (see
168
[47]). A priori estimates are obtained by using some results due to Griso (see [47]), which are
based on the method used by Kondratiev and Oleinik [54] and by Cioranescu et al. [31] to establish
Korn inequalities for frame-type structures and junctions. Once a priori estimates are established,
we study the convergence of displacements and strains of the structure when thickness parameter
e goes to zero.
We recall here the definition given in [47].
Definition 15.2.1. An elementary displacement in the beam e is defined in the form
Ue (x1 , x2 , x3 ) = U(x3 ) + R(x3 ) (x1 e1 + x2 e2 ),
where U, R L1 (0, L; R3 ).
Definition 15.2.2. Each u L1 (e ; R3 ) is written in the form u = Ue + u
,
u1 (x1 , x2 , x3 ) = U1 (x3 ) x2 R3 (x3 ) + u1 (x1 , x2 , x3 ),
u2 (x1 , x2 , x3 ) = U2 (x3 ) + x1 R3 (x3 ) + u2 (x1 , x2 , x3 ),
u3 (x1 , x2 , x3 ) = U3 (x3 ) x1 R2 (x3 ) + x2 R1 (x3 ) + u3 (x1 , x2 , x3 ),
(15.2)
u
i dx1 dx2 = 0,
x u
3 dx1 dx2 = 0,
(x1 u
2 x2 u
1 )dx1 dx2 = 0.
where
Z
I =
X2 dX1 dX2 .
The following result gives us some estimates of displacements in H 1 (e ) related with its elementary displacement:
169
e2 k
D(
u, e ) CE(u, e ),
(15.3)
k
uk2L2 (e ;R3 ) Ce2 E(u, e ),
(15.4)
dU
C
dR 2
k 2
R e3 k2L2 (0,L;R3 ) 2 E(u, e ).
3 + k
dx3 L (0,L;R )
dx3
e
(15.5)
If the structure is fixed at the bottom e {0}, we have U(0) = R(0) = 0 and moreover,
kRk2H 1 (0,L;R3 )
C
E(u, e ),
e4
kU k2H 1 (0,L)
C
E(u, e ),
e4
(15.7)
C
E(u, e ).
e2
(15.8)
15.3
(15.6)
We are going to define the unfolding operator we will use in the following results:
Definition 15.3.1. The unfolding operator Tee from L2 (e ) to L2 () is defined by
Tee (w)(X1 , X2 , x3 ) = w(eX1 , eX2 , x3 ),
w L2 (e ), (X1 , X2 , x3 ) .
170
Proposition 15.3.2. The unfolding operator Tee verifies the following properties for all w
H 1 (e ):
w
Tee (w)
e
i)
= eTe
,
X
x
T e (w)
w
ii) e
= Tee
,
x3
x3
1
iii) kTee (w)kL2 () = kwkL2 (e ) ,
Z
Z e
wdx = e2
iv)
e
Definition 15.3.3. For each displacement u H 1 (e ; R3 ), we define the formal warping displacement U L2 (0, L; H 1 (; R3 ))
1 e
1 e
dU1
dU2
U = Te (u ), U 3 = Te (u3 ) + X1
R2 + X2
+ R1 .
(15.9)
e
e
dx3
dx3
Proposition 15.3.4. The formal warping displacement U verifies the estimates
E(u, e )
kUk2L2 (0,L;H 1 (;R3 )) C
,
e2
U 2
E(u, e )
C
,
x3 2
e4
L ()
(15.10)
(15.11)
E(ue , e ) Ce2 .
(15.12)
U3
eR * R
e
U *U
(15.13)
(15.14)
weakly in H 1 (0, L; R3 ),
2
(15.15)
3
(15.16)
171
(15.17)
Moreover, the following convergences of the unfolded strain tensor (up to a subsequence) are hold:
Tee ( (ue )) *
Tee (12 (ue )) *
Tee (33 (ue )) *
Tee (13 (ue )) *
Tee (23 (ue )) *
U
,
X
1 U 1
U 2
,
+
2 X2 X1
d U3
d2 U 1
d2 U 2
X1 2 X2 2 ,
dx3
dx3
dx3
1
dR3
U 3
X2
+
,
2
dx3
X1
dR3
1
U 3
X1
+
,
2
dx3
X2
(15.18)
(15.19)
(15.20)
(15.21)
(15.22)
weakly in L2 ().
Proof. For each ue H 1 (e ; R3 ) we have that
ue1 (x1 , x2 , x3 ) = U1e (x3 ) x2 Re3 (x3 ) + ue1 (x1 , x2 , x3 ),
ue2 (x1 , x2 , x3 ) = U2e (x3 ) + x1 Re3 (x3 ) + ue2 (x1 , x2 , x3 ),
ue3 (x1 , x2 , x3 ) = U3e (x3 ) x1 Re2 (x3 ) + x2 Re1 (x3 ) + ue3 (x1 , x2 , x3 ).
From estimates (15.6)-(15.8) we obtain weak convergences (15.13)-(15.15) on U e and Re . From
(15.5) and (15.12) we have that
e
e
dU1
dU2
e
e
+ R1
+
C,
dx3 R2 2
dx3
2
L (0,L)
L (0,L)
dU2
= R1 .
dx3
e
Thanks to estimate (15.10), we conclude weak convergence (15.16) on U . Moreover, from Definition 15.2.2, expression (15.9) and property iv) of Proposition 15.3.2, we prove that U verifies
(15.17).
By doing some easy calculations, we obtain that
(ue ) = (ue ),
d U3e
dRe2
dRe1 ue3
33 (ue ) =
x1
+ x2
+
,
dx3
dx3
dx3
x3
e
1
dU1
dRe3 ue1 ue3
e
e
13 (u ) =
R2 x2
+
+
,
2
dx3
dx3
x3 x1
e
1
dU2
dRe3 ue2 ue3
23 (ue ) =
+ Re1 + x1
+
+
,
2
dx3
dx3
x3 x2
172
!
e
e
e
U
1
U
U
1
2
Tee ( (ue )) =
, T e (12 (ue )) =
+
,
X e
2 X2 X1
d U3e
dRe2
dRe1 Tee (ue3 )
eX1
+ eX2
+
,
dx3
dx3
dx3
x3
!
e
e
U 1
U 3
1
dRe3
e
e
+e
+
Te (13 (u )) =
eX2
,
2
dx3
x3
X1
!
e
e
e
U
U
dR
1
2
3
3
+e
+
.
Tee (23 (ue )) =
eX1
2
dx3
x3
X2
Tee (33 (ue )) =
Passing to the limit when e goes to zero, weak convergence (15.16) gives weak convergences (15.18)
and (15.19).
In order to obtain convergence (15.20), we must prove that
Tee (ue3 )
* 0,
x3
in L2 (). In fact, thanks to estimate (15.3) and properties i) iii) of Proposition 15.3.2,
e e 2
e 2
e 2
Te (u3 )
u3
2 e u3
=
e
=
CE(u, e ) Ce2 ,
T
X 2
e x 2
x 2
L ()
L ()
L (e )
e e 2
e 2
e 2
Te (u3 )
e u3
1 u3
1
=
= 2
2 CE(u, e ) C.
x3 2
Te x3 2
e x3 L2 (e ) e
L ()
L ()
Besides, from estimate (15.4),
kTee (ue3 )k2L2 () =
1 e 2
ku k 2
CE(u, e ) Ce2 ,
e2 3 L (e )
so, Tee (ue3 ) is bounded in H 1 () and Tee (ue3 ) 0 in L2 (), from where we deduce the result.
Then, convergence (15.20) is obtained by taking into account convergences (15.13)-(15.15).
Analogously, we obtain convergences (15.21) and (15.22).
15.4
X
h
T (w)(Y, X, x3 ) = w
+ Y, x3 , (Y, X, x3 ) Y (0, L),
w L2 (),
Y = (Y1 , Y2 ), X = (X1 , X2 ),
where [X] = ([X1 ], [X2 ]), [Xi ] denotes the integer part of Xi R.
173
(0,L)
(0,L)
iv) Let 1 p < . Let {w }>0 Lp () such that w w strongly in Lp (). Then
Th (w ) w,
strongly in Lp (Y ).
v) Let {w }>0 L2 (0, L; H 1 ()) such that w * w weakly in L2 (0, L; H 1 ()). Then there
1 (Y)) such that
L2 (; Hper
exists a subsequence, still denoted by w , and w
Th (w ) * w,
Th (X w ) * X w + Y w,
w
x3
Theorem 15.4.3. Let {ue }e0 be a sequence in H1D (e, ; R3 ) such that
E(ue , e, ) Ce2 .
(15.23)
3
2
1
L (; Hper (Y ; R )) such that
dU
U (0) =
(0) = 0, U3 (0) = 0, R3 (0) = 0,
dx3
Z
Z
U i dX1 dX2 = (X1 U 2 X2 U 1 )dX1 dX2 = 0,
Z
vi dY1 dY2 = 0,
Y
174
(15.24)
X2 R3 ,
(15.25)
(15.26)
X1 R3 ,
dU1
dU2
Tee (ue
X2
,
3 ) * U3 X1
dx3
dx3
(15.27)
(15.28)
weakly in H 1 ().
Moreover, the following convergences of the unfolded strain tensor (up to a subsequence) hold:
Th (Tee ( (ue )))
1
*
2
U
U
+
X
X
1
+
2
+
Y
Y
d U3
d2 U 1
d2 U 2
X1 2 X2 2 ,
dx3
dx3
dx3
dR3
U 3
u
3
1
X2
+
+
,
Th (Tee (13 (ue ))) *
2
dx3
X1 Y1
1
dR3
U 3
u
3
h
e
e
T (Te (23 (u ))) *
X1
+
+
,
2
dx3
X2 Y2
Th (Tee (33 (ue ))) *
(15.29)
(15.30)
(15.31)
(15.32)
weakly in L2 (Y ).
Proof. Thanks to Theorem 15.1.4, we obtain an extended displacement of ue to e , still denoted
by ue , verifying (15.12) by Remark 15.1.5 and ue H1D (e ; R3 ). By applying Theorem 15.3.5
and using properties of Proposition 15.4.2, we have proved Theorem 15.4.3.
Chapter 16
16.1
Recall that we are interested in studying the asymptotic behaviour, when e, go to zero, of the
variational problem we have introduced before:
Problem (V P e ):
Find ue H1D (e, ; R3 ) such that
Z
Z
e
f e vdx,
(u ) : (v)dx =
e,
e,
v H1D (e, ; R3 ),
(16.1)
where
H1D (e, ; R3 ) = {v H 1 (e, ; R3 ) : v = 0 on D }.
In order to use results given in Theorem 15.4.3, we have to obtain some suitable volume forces f e
such that its related displacement field verifies estimate (15.23).
Proposition 16.1.1. Let f e L2 (e, ; R3 ) be the volume forces given by
(16.2)
176
where f1 , f2 , f3 , fT L2 (0, L). The displacement field corresponding to volume forces f e verifies
the estimate
E(ue , e, ) Ce2 .
(16.3)
Proof. Using the decomposition (15.2) of ue , the estimates (15.4), (15.6), (15.7) and (15.8) in
Theorem 15.2.4, we immediately obtain the following inequality:
Z
e
e
f
u
dx
CeE(ue , e, )1/2 ,
e,
and, thanks to the coercivity of the problem, we can conclude the result.
16.2
The displacement field ue which is the solution of Problem (V P e ) can be written as in expression
(15.2). Our objective is to find some limit problems for the elementary displacements U, R3 and
U in order to obtain simpler problems or expressions for our solution. To do this, we will use
Theorem 15.4.3 which will give us the weak limits of our elementary displacements.
First of all, we will obtain the unfolded problem, limit of the variational problem (16.1).
Formally, motivated by weak convergences (15.24)-(15.28), we can write the solution of Problem
(V P e ) in the form
1
x2
1
x1
e
u (x1 , x2 , x3 )
U1 (x3 ) R3 (x3 ) e1 +
U2 (x3 ) + R3 (x3 ) e2 +
e
e
e
e
x1 dU1 x2 dU2
U3 (x3 )
e3 +
e dx3
e dx3
x x
x x
x1 x2
2
1
2
1
eU
, , x3 + e
u
, , x3 , ,
.
(16.4)
e e
e e
e e
We define the following displacements space D:
dV1
dV2
D = V = (V1 , V2 , V3 , A3 , V, v
); V1 , V2 H 2 (0, L), V1 (0) = V2 (0) =
(0) =
(0) = 0,
dx3
dx3
V3 , A3 H 1 (0, L), V3 (0) = A3 (0) = 0,
1
) L2 (0, L; H 1 (; R3 )) L2 (; Hper
(Y ; R3 )),
(V, v
Z
Z
Z
V i dX1 dX2 = (X1 V 2 X2 V 1 )dX1 dX2 = 0,
vi dY1 dY2 = 0 .
1
x2
1
x1
v(x1 , x2 , x3 ) =
V1 (x3 ) A3 (x3 ) e1 +
V2 (x3 ) + A3 (x3 ) e2 +
e
e
e
e
x1 dV1 x2 dV2
V3 (x3 )
e3 +
e dx3
e dx3
x x
x x
x1 x2
2
1
2
1
, , x3 + e
v
, , x3 , ,
.
eV
e e
e e
e e
(16.5)
177
v
1 V
1
v
(V) =
+
+
+
,
(16.6)
2 X
X
2 Y
Y
d2 V1
d2 V2
d V3
X1 2 X2 2 ,
dx3
dx3
dx3
dA3 V 3
v3
1
+
+
,
13 (V) =
X2
2
dx3
X1 Y1
1
dA3 V 3
v3
23 (V) =
.
X1
+
+
2
dx3
X2 Y2
33 (V) =
(16.7)
(16.8)
(16.9)
U, V D.
(16.10)
Proposition 16.2.1. The associated norm to the inner product in D is equivalent to the norm
k k of the product space
1
[H 2 (0, L)]2 [H 1 (0, L)]2 L2 (0, L; H 1 (; R3 )) L2 (; Hper
(Y ; R3 )).
kV kH 1 () dx3 +
k
v k2Hper
1 (Y ) dXdx3
0
0
Z LZ Z
C
( (V))2 dY dXdx3 ,
0
Y
Z L
Z LZ
kA3 k2H 1 (0,L) +
kV3 k2H 1 () dx3 +
k
v3 k2Hper
1 (Y ) dXdx3
0
0
Z LZ Z
C
(3 (V))2 dY dXdx3 ,
0
Y
Z LZ Z
2
2
kV kH 2 (0,L) + kV3 kH 1 (0,L) C
(33 (V))2 dY dXdx3 .
0
(16.11)
(16.12)
(16.13)
1 V1
V2
V1
Y1 +
+
Y2 ,
v1 (Y1 , Y2 , ) = v1 (Y1 , Y2 , ) +
X1
2 X2 X1
1 V1
V2
V2
v2 (Y1 , Y2 , ) = v2 (Y1 , Y2 , ) +
+
Y1 +
Y2 .
2 X2 X1
X2
178
Thanks to Korn inequality for displacements in H 1 (Y ; R2 ), there exists a rigid body displacement
r L2 (; H 1 (Y ; R2 )),
r1 (Y1 , Y2 , ) = a1 () + b()Y2 ,
r2 (Y1 , Y2 , ) = a2 () b()Y1 ,
a1 , a2 , b L2 (),
such that
kv
rk2L2 (Y ;R2 ) + kY (v
r)k2L2 (Y ;R2 )
Z LZ Z
C
| (V)|2 dY dXdx3 .
0
Moreover,
LZ
kv
rk2L2 (Y ;R2 ) C
Z
Y
| (V)|2 dY dXdx3 ,
V
1
1
+
b() Y2 a1 (),
v1 (0, Y2 , ) r1 (0, Y2 , ) = v1 (0, Y2 , ) +
2 X2 X1
V1
1 V1
V2
1 V1
V2
V2
V1 2
2
X1 L2 ()
Z LZ Z
kv
rk2L2 (Y;R2 ) C
| (V)|2 dY dXdx3 ,
0
Y
1 V1
V2
+
+ b
k(v r)2 (0, Y2 , ) (v r)2 (1, Y2 , )kL2 ((0,1)) =
2
2 X2 X1
L ()
Z LZ Z
kv
rk2L2 (Y;R2 ) C
| (V)|2 dY dXdx3 .
(16.14)
0
Analogously,
2
Z LZ Z
1 V1
V2
C
| (V)|2 dY dXdx3 ,
2 X2 + X1 b 2
0
Y
L ()
Z LZ Z
V2
C
| (V)|2 dY dXdx3 ,
X2 2
L ()
(16.15)
179
2
Z LZ Z
V1
V2
| (V)|2 dY dXdx3 ,
C
X2 + X1 2
Y
L ()
Z LZ Z
kbk2L2 () C
| (V)|2 dY dXdx3 .
0
Then, we obtain (16.11) thanks to (16.14), (16.15) and the 2d-Korns inequality applied to the
displacement V1 e1 + V2 e2 and remembering that:
!
V1
X
1
,
Y v1 = Y v
1
V2
1 V1
+
2 X2
X1
!
V2
1 V1
+
2 X2
X1
Y v2 = Y v
2
.
V2
X2
dA3
V3
dA3
V3
v3 (Y1 , Y2 ) = v3 (Y1 , Y2 ) + X2
+
Y1 + X1
+
Y2 .
dx3
X1
dx3
X2
Thanks to Poincar-Wirtinger inequality, there exists a function m L2 () such that
kv3 mk2L2 (Y ) + kv3 mk2L2 (Y ) CkY v
3 k2L2 (Y ;R2 )
Z LZ Z
C
|3 (V)|2 dY dXdx3 .
0
v
3
Y
3 2
3 2
dA3
dA
V
3
X2
+
+ X1
+
dx3
X1 L2 () dx3
X2 L2 ()
Z LZ Z
C
|3 (V)|2 dY dX.
0
!
dA3
V3
X
+
2
dx3
X1
3
Y v3 = Y v
.
V3
3
+
X1 dA
dx3
X2
Step 3: Estimates of V , V3 are immediate.
Lemma 16.2.3. Let V() be the subspace
Z
1
V() = V H (); V dX = 0 .
180
1/2
kV + akV()+R = |a|2 + kV k2L2 ()
!1/2
2
2
V
V
|V + a|V()+R =
.
X2 a + X1 2 + X1 a + X2 2
L ()
L ()
Therefore, there exists a positive constant C such that
!
2
V
V
2
2
|a| + kV kL2 () C
,
X2 a + X1 2 + X1 a + X2 2
L ()
L ()
(16.16)
V
1
V
n
n
X2 an +
+
.
X1 an +
X1 L2 ()
X2 L2 () n
(16.17)
(16.18)
The sequences Vn and an are bounded and there exist subsequences (denoted in the same way)
such that
Vn * V in H 1 () weakly,
an a.
Moreover, thanks to (16.18) we have
V
Vn
X2 a +
= 0,
X1
X1
Vn
V
X1 a n +
X1 a +
= 0,
X2
X2
X2 an +
181
Theorem 16.2.4. The limit problem of Problem (V P e ) is given by the following unfolded variational problem:
Problem (U P ):
Find U D such that
Z LZ Z
Z
LZ
Z
Y
V D,
(16.19)
x2
1
e V1 (x3 ) e A3 (x3 )
x1
1
H 1 (e, ; R3 ),
v(x1 , x2 , x3 ) =
e V2 (x3 ) + e A3 (x3 )
x1 dV1
x2 dV2
V3 (x3 ) e dx3 (x3 ) e dx3 (x3 )
where V1 , V2 H 2 (0, L), V3 , A3 H 1 (0, L), with
V1 (0) = V2 (0) = V3 (0) = A3 (0) =
dV1
dV2
(0) =
(0) = 0.
dx3
dx3
LZ
e,
{[( + 2)Tee (33 (ue )) + (Tee (11 (ue )) + Tee (22 (ue )))] 33 (V)
+2Tee (13 (ue ))13 (V) + 2Tee (23 (ue ))13 (V)} dX1 dX2 dx3 =
Z
nh
i
e2
h
e
e
h
e
e
h
e
e
(
+
2)T
(T
(
(u
)))
+
(T
(T
(
(u
)))
+
T
(T
(
(u
))))
33 (V)
33
11
22
e
|Y | Y
o
+2Th (Tee (13 (ue )))13 (V) + 2Th (Tee (23 (ue )))13 (V) dY1 dY2 dX1 dX2 dx3 ,
182
e2
2
2
f
V
+
f
V
+
(X
+
X
)f
A
dY1 dY2 dX1 dX2 dx3 .
f e vdx =
3
3
3
T
1
2
|Y | Y
e,
Then, by passing to the limit when e, go to zero, we obtain the unfolded problem
Z
{[( + 2)33 (U) + (11 (U) + 22 (U))] 33 (V)
Y
+213 (U)13 (V) + 223 (U)13 (V)} dY1 dY2 dX1 dX2 dx3 =
Z
where
U1 X2 R3
+U+u
U2 + X1 R3
U=
= Ue + U + u
.
dU1
dU2
U3 X1 dx3 X2 dx3
(16.20)
(16.21)
x1 x2
, , x3 ),
e e
V
1 V
e
Te ( (v)) =
+
= (V),
2 X
X
1
V 1 V 3
e
Te (13 (v)) =
e
+
13 (V),
2
x3
X1
1
V 2 V 3
e
Te (23 (v)) =
e
+
23 (V),
2
x3
X2
Tee ( (v)) =
V 3
33 (V) = 0,
x3
strongly in L2 () when e goes to zero. Moreover, by property iv) of Proposition 15.4.2, Th (Tee (ij (v)))
converge strongly in L2 (Y ). Then, we obtain that the left-hand term in (16.1) can be written
Z
Z LZ
e
2
(u ) : (v)dx1 dx2 dx3 = e
aijkl Tee (kl (ue ))Tee (ij (V))dX1 dX2 dx3 =
e,
e2
|Y |
Z
Y
aijkl Th Tee (kl (ue ))Th Tee (ij (V))dY1 dY2 dX1 dX2 dx3 ,
183
e2
e
f vdx =
e ef1 V 1 + ef2 V 2 + f3 V 3
|Y | Y
e
(16.22)
L2 (0, L; H 1 (; R3 )).
V
Similarly, we choose as a test function in (16.1)
x x
x x
1
2
1
2
v(x1 , x2 , x3 ) = e
, , x3 v
,
,
e e
e e
1 (Y ; R3 ). So, we have that
where D(), v
Hper
v +
(
v),
X
Y
1
e
v +
+
v +
(
v),
Te ( (v)) =
2
X
Y
X
Y
v3
e
Te (13 (v)) =
e
v1 +
v3 +
13 (V),
2
x3
X1
Y1
v3
1
e
v2 +
v3 +
23 (V),
Tee (23 (V)) =
2
x3
X2
Y2
Tee ( (v)) =
strongly in L2 () when e, goes to zero. Again, thanks to property iv) of Proposition 15.4.2,
Th (Tee (ij (v))) converge strongly in L2 (Y ). By passing to the limit and taking into account
1 (Y ; R3 ) is dense in L2 (; H 1 (Y ; R3 )), we obtain the unfolded problem
that D() Hper
per
Z
aijkl kl (U)ij (
v)dY1 dY2 dX1 dX2 dx3 = 0,
(16.23)
Y
1
v
L2 (; Hper
(Y ; R3 )).
Consequently, from unfolded problems (16.21)-(16.23) we have obtained expression (16.19) for any
V D.
Remark 16.2.5. Problem (U P ) has a unique solution in D.
Our next aim will be to obtain the limit problems associated to limit elementary displacements
U and R3 .
184
16.2.1
Determinating u3 , U 3 and R3
Z Y
223 (U)
dY1 dY2 dx3 dX1 dX2 = 0,
Y2
Y
213 (U)
1
dY1 dY2 , Hper
(Y ).
Y u
3 : Y dY =
23 (Ue + U)
Y
Y
Y
In order to simplify the previous limit problem, we define some suitable correctors
1
Hper
(Y ),
Z
Z
Y
: Y dY =
Y
dY,
Y
1
Hper
(Y ).
(16.24)
Consequently,
3
3
U
dR3
U
dR3
+
1 + X1
+
2 .
u
3 = X2
dx3
X1
dx3
X2
(16.25)
Remark 16.2.6. By choosing suitable test functions and by using some very simple changes of
variable like
Y1 = Y1 , Y2 = 1 Y2 ,
Y1 = 1 Y1 , Y2 = Y2 ,
it is easy to prove that correctors
verify
1 (Y1 , Y2 ) =
1 (Y1 , 1 Y2 ) =
1 (1 Y1 , Y2 ),
2 (Y1 , Y2 ) =
2 (Y1 , 1 Y2 ) =
2 (1 Y1 , Y2 ),
185
Consequently,
Z
Y
dY1 dY2 = 0.
Y
1 (Y1 , Y2 ) =
2 (Y2 , Y1 ),
and, consequently,
Z
Y
1
dY1 dY2 =
Y1
Z
Y
2
dY1 dY2 .
Y2
Z
dR3
U 3
u
3
V
X2
+
+
Z
U 3
u
3
V
dR3
+
+
3
3
dR3
U 3
dR3
U
1
dR3
U
2 V
X2
+
+ X2
+
+ X1
+
dY dX+
dx3
X1
dx3
X1 Y1
dx3
X2 Y1 X1
Y
Z
3
3
dR3
U 3
dR3
U
1
dR3
U
2 V
X1
+
+ X2
+
+ X1
+
dY dX = 0,
dx3
X2
dx3
X1 Y2
dx3
X2 Y2 X2
Y
Z
Z Z
dR3
U 3 V
1
X2
+
dY dX+
1+
Y1
dx3
X1 X1
Y
Z Z
2
dR3
U 3 V
1+
X1
+
dY dX = 0, V H 1 ().
Y2
dx3
X2 X2
Y
Therefore, we define
2
1+
dY =
1+
dY,
Y1
Y2
Y
Y
Z
b =
thanks to symmetry properties of Remark 16.2.6, and the previous problem remains
Z
dR3
U 3 V
b X2
+
dX1 dX2 +
dx3
X1 X1
Z
dR3
U 3 V
b X1
+
dX1 dX2 = 0, V H 1 ().
dx
X
X
3
2
2
186
Moreover,
1
b =
1+
dY > 0.
Y1
Y
In fact, by using definition of corrector
,
#2
2
Z
Z "
1
2
|Y (
1 + Y1 )| dY =
+1 +
dY =
Y1
Y2
Y
Y
Z
Z
1
1
1
1
+
+1+2
dY =
+1+2
dY =
Y1 Y1
Y2 Y2
Y1
Y1
Y1
Y
Y
1
1+
dY = b 0.
Y
1
Y
Z
1 (Y ).
If b = 0, then
1 + Y1 = C, which is impossible, since
1 Hper
Therefore,
b =
1+
dY =
|Y (
+ Y )|2 dY,
Y
Y
Y
Z
(16.26)
X U 3 : X V dX1 dX2 =
Z
dR3 V
dR3 V
+ X1
dX1 dX2 , V H 1 ().
X2
dx
X
dx
X
3
1
3
2
=
X2
dX, H 1 ().
X : X dX
X1
X
X
2
1
Consequently,
(16.27)
dR3
(x3 )(X1 , X2 ).
(16.28)
dx3
Thirdly, we are going to obtain the problem associated to R3 . By choosing in expression (16.19)
X2 A3
V(Y1 , Y2 , X1 , X2 , x3 ) = X1 A3 ,
0
U 3 (X1 , X2 , x3 ) =
Z
dR3
U 3
u
3
dA3
X2
+
+
X2
dY1 dY2 dX1 dX2 dx3 +
dx
X
Y
dx3
3
1
1
Y
Z
dR3
U 3
u
3
dA3
X1
+
+
X1
dY1 dY2 dX1 dX2 dx3 =
dx
X
Y
dx3
3
2
2
Y
Z LZ Z
(X12 + X22 )fT A3 dY1 dY2 dX1 dX2 dx3 .
0
187
Z
3
dR3
U 3
dR3
U
1
dA3
X2
+
+ X2
+
X2
dY dXdx3 +
dx3
X1
dx3
X1 Y1
dx3
Y
Z
3
dR3
dA3
U 3
U
2
dR3
+
+ X1
+
X1
dY dXdx3 =
X1
dx3
X2
dx3
X2 Y2
dx3
Y
Z LZ
(X12 + X22 )fT A3 dY dXdx3 ,
0
that is,
dA3
dR3
U 3
b X2
+
X2
dX1 dX2 dx3 +
dx3
X1
dx3
Y
Z
dR3
U 3
dA3
b X1
+
X1
dX1 dX2 dx3 =
dx3
X2
dx3
Y
Z LZ
(X12 + X22 )fT A3 dX1 dX2 dx3 .
Z
Z
dR3 dA3
X2
dX1 dX2 dx3 +
b X2 +
X1
dx3 dx3
dR3 dA3
b X1 +
X1
dX1 dX2 dx3 =
X
dx3 dx3
2
Z LZ
(X12 + X22 )fT A3 dX1 dX2 dx3 .
0
Then,
Z
dR3 dA3
b b
dx3 =
dx3 dx3
where
Z
b =
LZ
X2 X2
+ X1 X1 +
dX1 dX2 .
X1
X2
It is easy to prove that the coefficient b is strictly positive. In fact, taking into account definition
of corrector , we have that
2
2 #
Z "
X2 +
+ X1
dX =
X1
X2
2
2
+
2X2
+ 2X1
+ X2 + X1 dX =
X2 X2
X1
X2
X1 X1
2
2
+ X2
2X2
+ 2X1
+ X2 + X1 dX =
X1
X2
X1
X1
X2
X2
+ X1
+ X22 + X12 dX = b 0.
X
X
1
2
188
If b = 0, then
= X2 ,
= X1 ,
X1
X2
which leads to
2
2
= 1,
= 1,
X2 X1
X1 X2
which is impossible.
Therefore,
b =
X2 X2
+ X1 X1 +
dX =
X1
X2
2
2 #
Z "
X2 +
+ X1
dX.
X1
X2
"
Z Z
K = b b =
16.2.2
|Y (
+ Y )|2
X2
X1
(16.29)
A3 H 1 (0, L),
+ X1
X2
2 #
dY dX.
Determinating u , U , U and U3
v
v
1
1
+
, V Hper
(Y ; R2 ),
,Y (
v) =
2 Y
Y
U
1 U
,X (V) =
+
, V H 1 (; R2 ).
2 X
X
1 (Y; R2 ) and we choose in expression (16.19) test functions in the form
Let L2 (), Hper
189
Z
u
1
u
2 1
u
2
u
1 2
( + 2)
( + 2)
+
dY1 dY2 +
+
dY1 dY2 +
Y1
Y2 Y1
Y2
Y1 Y2
Y
Y
Z
u
1 u
2
1 2
+
+
dY1 dY2 =
Y2 Y1
Y2
Y1
Y
Z
2
( + 2)22 (Ue + U) + 11 (Ue + U) + 33 (Ue + U)
dY1 dY2 +
Y2
Y
1 2
+
dY1 dY2 .
12 (Ue + U) + 21 (Ue + U)
Y2
Y1
Y
In order to simplify the previous limit problem, we are going to define some suitable correctors:
1
11 Hper
(Y ; R2 ),
Z
Z
a0 0 ,Y (
11 )0 0 ,Y ()dY =
Y
a0 0 ,Y (U11 )0 0 ,Y ()dY,
1
Hper
(Y ; R2 ),
1
22 Hper
(Y ; R2 ),
Z
Z
a0 0 ,Y (
22 )0 0 ,Y ()dY =
Y
a0 0 ,Y (U22 )0 0 ,Y ()dY,
1
Hper
(Y ; R2 ),
1
12 Hper
(Y ; R2 ),
Z
Z
a0 0 ,Y (
12 )0 0 ,Y ()dY =
Y
a0 0 ,Y (U12 )0 0 ,Y ()dY,
1
Hper
(Y ; R2 ),
where
U11 = Y1 e1 , U22 = Y2 e2 , U12 = Y2 e1 + Y1 e2 .
Consequently,
(
u1 , u
2 ) =
dU
11,X (U) +
dx3
11 +
dU
22,X (U) +
dx3
22 + 12,X (U)
12 ,
(16.30)
190
11,1 (Y1 , Y2 ) =
11,1 (Y1 , 1 Y2 ) =
11,1 (1 Y1 , Y2 ),
11,2 (Y1 , Y2 ) =
11,2 (Y1 , 1 Y2 ) =
11,2 (1 Y1 , Y2 ),
22,1 (Y1 , Y2 ) =
22,1 (Y1 , 1 Y2 ) =
22,1 (1 Y1 , Y2 ),
22,2 (Y1 , Y2 ) =
22,2 (Y1 , 1 Y2 ) =
22,2 (1 Y1 , Y2 ),
12,1 (Y1 , Y2 ) =
12,1 (Y1 , 1 Y2 ) =
12,1 (1 Y1 , Y2 ),
12,2 (Y1 , Y2 ) =
12,2 (Y1 , 1 Y2 ) =
12,2 (1 Y1 , Y2 ).
Consequently,
Z
Y
12,Y (
)dY1 dY2 = 0,
,Y (
12 )dY1 dY2 = 0.
22,1 (Y1 , Y2 ) =
11,2 (Y2 , Y1 ),
22,2 (Y1 , Y2 ) =
11,1 (Y2 , Y1 ),
and, consequently,
Z
ZY
11,Y (
11 )dY1 dY2 =
11,Y (
22 )dY1 dY2 =
ZY
22,Y (
22 )dY1 dY2 ,
22,Y (
11 )dY1 dY2 .
Z YZ
Y
{( + 2)[11,Y (
u) + 11 (U)] + [22,Y (
u) + 22 (U)]} 11,X (V)dY
dX+
Y
Z Z
{( + 2)[22,Y (
u) + 22 (U)] + [11,Y (
u) + 11 (U)]} 22,X (V)dY
dX+
Y
Z Z
4[12,Y (
u) + 12 (U)]12,X (V)dY
dX = 0,
X1 X2 2 ,
dx3
2
dx23
dx3
2
2
2
d U1 X2 X1 d2 U2
dU3
X1 X2 2
U2 (X1 , X2 , x3 ) = U 2 + X2
,
dx3
2
dx3
dx23
verifying
,X (U) = ,X (U)
dx3
Moreover, U L2 (0, L; H 1 (; R2 )) and
Z
Z
U dX =
since I1 = I2 and
(X1 U2 X2 U1 )dX = 0,
X1 X2 dX = 0.
( + 2) 11,X (U)11,Y (
11 ) + 22,X (U)11,Y (
22 ) + 12,X (U)11,Y (
12 ) + 11,X (U) +
Y
11,X (U)22,Y (
11 ) + 22,X (U)22,Y (
22 ) + 12,X (U)22,Y (
12 ) + 22,X (U) 11,X (V)dY
dX+
Z Z
( + 2) 11,X (U)22,Y (
11 ) + 22,X (U)22,Y (
22 ) + 12,X (U)22,Y (
12 ) + 22,X (U) +
Y
11,X (U)11,Y (
11 ) + 22,X (U)11,Y (
22 ) + 12,X (U)11,Y (
12 ) + 11,X (U) 22,X (V)dY
dX+
Z Z
4[12,X (U)12,Y (
12 ) + 12,X (U)]12,X (V)dY
dX = 0.
( + 2) 11,X (U)11,Y (
11 ) + 22,X (U)11,Y (
22 ) + 11,X (U) +
Y
11,X (U)22,Y (
11 ) + 22,X (U)22,Y (
22 ) + 22,X (U) 11,X (V)dY
dX+
Z Z
( + 2) 11,X (U)22,Y (
11 ) + 22,X (U)22,Y (
22 ) + 22,X (U) +
Y
11,X (U)11,Y (
11 ) + 22,X (U)11,Y (
22 ) + 11,X (U) 22,X (V)dY
dX+
Z Z
4[12,X (U)12,Y (
12 ) + 12,X (U)]12,X (V)dY
dX = 0.
191
192
Then,
Z Z
( + 2) (1 + 11,Y (
11 ))11,X (U) + 22,X (U)11,Y (
22 ) +
Y
11,X (U)22,Y (
11 ) + (1 + 22,Y (
22 ))22,X (U) 11,X (V)dY
dX+
Z Z
( + 2) 11,X (U)22,Y (
11 ) + (1 + 22,Y (
22 ))22,X (U) +
Y
(1 + 11,Y (
11 ))11,X (U) + 22,X (U)11,Y (
22 ) 22,X (V)dY
dX+
Z Z
4(1 + 12,Y (
12 ))12,X (U)12,X (V)dY
dX = 0.
[( + 2)(1 + 11,Y (
11 )) + 22,Y (
11 )]11,X (U)11,X (V)dY
dX+
Y
Z Z
[( + 2)11,Y (
22 ) + (1 + 22,Y (
22 ))] 22,X (U)11,X (V)dY
dX+
Y
Z Z
dX+
[( + 2)22,Y (
11 ) + (1 + 11,Y (
11 ))]11,X (U)22,X (V)dY
Y
Z Z
dX+
[( + 2)(1 + 22,Y (
22 )) + 11,Y (
22 )] 22,X (U)22,X (V)dY
Y
Z Z
4(1 + 12,Y (
12 ))12,X (U)12,X (V)dY
dX = 0.
Y
coefficients a0 0 :
We define the
a1111
a2211 =
a1122 =
a2222 =
[( + 2)(1 + 11,Y (
11 )) + 22,Y (
11 )]dY,
(16.32)
[( + 2)11,Y (
22 ) + (1 + 22,Y (
22 )] dY,
(16.33)
[( + 2)22,Y (
11 ) + (1 + 11,Y (
11 ))] dY,
(16.34)
[( + 2)(1 + 22,Y (
22 )) + 11,Y (
22 )] dY,
Z
a1212 =
2(1 + 12,Y (
12 ))dY,
(16.35)
ZY
ZY
ZY
(16.36)
a12 = 0,
and the problem is written
U L2 (0, L; H 1 (; R2 )),
Z
Z
Z
Z Z
Y
Z Z
L2 (0, L; H 1 (; R2 )).
a1212 12,X (U)12,X (V)dX
= 0, V
(16.37)
193
The bilinear form given by coefficients (16.32)-(16.37) is symmetric and coercitive. In fact, the
symmetry of the bilinear form is a consequence of Remark 16.2.7. Let arbitrary, then we have
that
Z
0 0 ,Y (V)dY
2 C| |2 ,
a0 0 0 0 =
a0 0 ,Y (V)
Ck,Y (V)k
Y
where
= 11 (
V
11 + Y1 e1 ) + 22 (
22 + Y2 e2 ) + 12 (
12 + Y2 e1 + Y1 e2 )
Z Y
4 [12 (
12 )12 (
12 ) + 212 (
12 ) + 1] 12 12 dY =
Y
Z
4 [12 (
12 ) + 212 (
12 ) + 1] 12 12 dY =
Y
Z
4 [12 (
12 ) + 1] 12 12 dY 12 12 = a1212 12 12 .
Y
L2 (0, L; H 1 (; R2 )).
= 0, V
a0 0 ,X (U)0 0 ,X (V)dX
X1 X2 2 ,
dx3
2
dx23
dx3
2
2
2
dU3
d U1 X2 X1 d2 U2
,
U 2 = X2
X1 X2 2
dx3
2
dx3
dx23
(16.38)
(16.39)
u
1 = u
2 = 0.
Thirdly, we are going to obtain a simpler expression for U3 . By choosing in expression (16.19)
0
,
0
V(Y1 , Y2 , X1 , X2 , x3 ) =
V3 (x3 )
194
0
Y
Z LZ Z
f3 V3 dY1 dY2 dX1 dX2 dx3 ,
0
that is
Z
0
LZ
"
#
dV3
dU
+ (11,X (U) + 22,X (U)
dY1 dY2 dX1 dX2 dx3 =
( + 2)
dx3
dx3
Z LZ Z
f3 V3 dY1 dY2 dX1 dX2 dx3 ,
0
dU
,
dx3
and consequently,
Z
0
LZ
!
dU
dU dV3
( + 2)
2
dY dXdx3 =
dx3
dx3 dx3
Y
Z LZ Z
f3 V3 dY1 dY2 dX1 dX2 dx3 ,
LZ
that is,
Z
E
Z
0
Y
LZ Z
dU3 dV3
dY dXdx3 =
dx3 dx3
Analogously, we are going to obtain a simpler expression for U . By choosing in expression (16.19)
V1 (x3 )
,
V2 (x3 )
V(Y1 , Y2 , X1 , X2 , x3 ) =
dV1
dV2
X1 dx3 (x3 ) X2 dx3 (x3 )
where V H 2 (0, L) and by taking into account expressions (16.38) and (16.39), we have that
!
Z LZ Z
d2 V2
dU
dU
d2 V 1
( + 2)
2
X1 2 + X2 2 dY1 dY2 dX1 dX2 dx3 =
dx3
dx3
dx3
dx3
0
Y
Z LZ Z
f V dY1 dY2 dX1 dX2 dx3 .
0
195
Then,
d2 U2
d2 U 1
( + 2) X1 2 (x3 ) + X2 2 (x3 )
dx3
dx3
0
Y
d2 U1
d2 U2
d2 V1
d2 V2
2 X1 2 (x3 ) + X2 2 (x3 )
X1 2 + X2 2 dY1 dY2 dX1 dX2 dx3 =
dx3
dx3
dx3
dx3
Z LZ Z
f V dY1 dY2 dX1 dX2 dx3 .
Z
LZ
By doing calculations,
Z LZ Z
0
2
2
d2 U1 d2 V1
2 d U2 d V2
X12 E
+
X
E
dY1 dY2 dX1 dX2 dx3 =
2
dx23 dx23
dx23 dx23
Y
Z LZ Z
f V dY1 dY2 dX1 dX2 dx3 ,
that is
Z
d2 U d2 V
EI
dx3 =
dx23 dx23
LZ
16.2.3
The limit problems for the elementary displacement Ue are given by:
Problem (P U3 ):
Find U3 H 1 (0, L) such that U3 (0) = 0 and
Z
dU3 dV3
E
dx3 =
dx3 dx3
f3 V3 dx3 ,
(16.40)
Problem (P U ):
Find U H 2 (0, L) such that U (0) =
Z
0
E d2 U d2 V
dx3 =
12 dx23 dx23
Z
0
dU
dx3 (0)
f V dx3 ,
= 0 and
dV
(0) = 0.
dx3
(16.41)
Problem (P R3 ):
Find R3 H 1 (0, L) such that R3 (0) = 0 and
Z
0
dR3 dA3
dx3 =
dx3 dx3
Z
0
1
fT A3 dx3 ,
6
(16.42)
196
16.3
Strong convergences
d2 U1
d U3
d2 U2
h
e
e
X1 2 X2 2 ,
T (Te (33 (u ))) E
dx3
dx
dx3
3
dR3
1
X2 +
,
Th (Tee (13 (ue ))) 1 +
Y1
X1 dx3
dR3
h
e
e
T (Te (23 (u ))) 1 +
X1 +
,
Y2
X2 dx3
(16.43)
(16.44)
(16.45)
(16.46)
Z e
|Y |
lim sup 2
aijkl ij (ue )kl (ue )dx1 dx2 dx3 =
e
e
Z
Z
|Y |
|Y |
e
e
lim sup 2
f u dx1 dx2 dx3 = lim
f e ue dx1 dx2 dx3
2
e,0
e
e
e
e
Z LZ Z
{f U + f3 U3 + (X12 + X22 )fT R3 }dY1 dY2 dX1 dX2 dx3 =
0
Y
Z LZ Z
aijkl ij (U)kl (U)dY1 dY2 dX1 dX2 dx3 .
0
and we obtain the strong convergences of the stress and strain tensors.
Proposition 16.3.2. The following convergences of the unfolded field Tee (ue ) hold:
eTee (ue
1 ) U1 ,
eTee (ue
2 ) U2 ,
Tee (ue
3 ) U3 X1
in H 1 ().
dU1
dU2
X2
,
dx3
dx3
197
198
Chapter 17
Conclusions
In Part III, we have applied the unfolding method to study the asymptotic behaviour of the
catalyst support in a linear elasticity problem. These supports are strucutres made of beams,
placed periodically and with inner holes.
We have obtained, after passing to the limit, three uncoupled limit problems: The first problem
defines the longitudinal displacement and the second one gives the transversal bending of the
structure, while the third one defines the torsion angle. Notice that the general form of longitudinal
and transversal problems are the same that those obtained in the well-known Bernouilli-Navier
theory of thin rods (see [80]). Nevertheless, the torsion problem does not coincide with those given
in Bernouilli-Navier theory, that is, this problem takes into account, by means of torsion rigidity
K , the periodic character and the cells geometry of the structure.
Moreover, unfolded stress tensor is similar to that obtain in classical theories, but shear components also show periodic character and cell geometry dependence by means of suitable correctors.
In a future research, we may apply the results obtained here in order to solve the fluid-structure
interaction problem which occurs in an automobiles exhaust system. To do so, we will consider
that the holes of the structure contain certain kind of fluid and some chemical reactions take place
on the boundaries of the structure.
199
200
Acknowledgments
I would like to thank my advisors, Prof. Peregrina Quintela Estvez and Prof. Patricia Barral
Rodio for their work and support during these years. I would also like to acknowledge Prof.
Francisco Guitin and Victor Valcrcel for their constant support and help in the second part of
this work, and to Prof. Doina Cioranescu and Prof. Georges Griso for their huge work, help and
hospitality during my three research stays in the Laboratorie Jacques-Louis Lions of the Universit
Pierre e Marie Curie (Paris VI), in Paris, France.
This work was partially supported by CICYT-FEDER (Spain) through projects No. DPI200401993 and MTM2008,05682 and by Xunta de Galicia through project No. PGIDT02PXIC20701PN.
The third part of this work was partially supported by Ministerio de Ciencia y Tecnologa (Spain)
through project No. DPI2001-1613-C02-02 and No. DPI2004-05504- C02-02, and Xunta de Galicia projects No. PGIDIT02XI20701PN and No. PGIDIT05PXIC20701PN. Furthermore, during
these years I have been funded by Ministerio de Educacin y Ciencia (Spain) through grant No.
AP2003-4495 of FPU program.
201
202
Acknowledgments
Resumen
Hoy en da, un conocimiento profundo de los fenmenos en mecnica de slidos es fundamental
para desarrollar nuevos mtodos o tcnicas que permitan ahorrar enormes cantidades de tiempo
y dinero en campos como las industrias cermicas o del aluminio. Histricamente, para simular
este tipo de procesos se consideraban modelos lineales o clsicos. Sin embargo, muy a menudo los
materiales reales exhiben un comportamiento no lineal y, en este momento en el que cada vez ms
surgen nuevos materiales, los modelos lineales estn siendo llevados a su lmite. Por lo tanto, el
uso de modelos no lineales se hace cada vez ms necesario para realizar las simulaciones numricas
de los distintos procesos en este tipo de industrias.
A lo largo de esta tesis, se pueden distinguir tres partes bien diferenciadas aunque con una
temtica comn: el estudio matemtico y la resolucin numrica de problemas no lineales en
mcanica de slidos, que surgen de procesos fsicos presentes en las industrias del aluminio y las
cermicas. Consideramos situaciones reales donde aparecen distintas no linealidades: leyes de
comportamiento de tipo viscoplstico, condiciones de contorno tales como el contacto unilateral,
etc. As, en la primera parte de esta tesis nos centramos en el estudio matemtico del proceso de
colada de aluminio, e introducimos algunos algoritmos eficientes para llevar a cabo la simulacin
numrica del mismo. En este problema, aparecen dos no linealidades: la ley de comportamiento no
lineal del aluminio y una condicin de contacto con el molde que contiene el metal. A continuacin,
la segunda parte de la tesis est dedicada al estudio del ensayo de flexin en tres puntos y del mdulo
de ruptura de materiales frgiles. En este problema, aparece de nuevo una condicin de contacto
en su formulacin. Por ltimo, la tercera parte presenta un anlisis matemtico de un problema
de elasticidad para soportes utilizados en catlisis.
En lo que sigue, veremos cada una de las partes de la tesis ms detalladamente.
204
Resumen
a descender, dejando ms espacio para el nuevo metal lquido. Se puede encontrar una descripcin
detallada del proceso completo en [33, 41, 75].
Generalmente, el proceso de colada se divide en dos fases. Durante la fase de arranque, el
campo de temperaturas, el frente de solidificacin y la forma de la placa se modifican a lo largo
del tiempo. Los fuertes gradientes trmicos, debidos a los chorros de agua, hacen que el la parte
inferior de la placa se deforme y pierda contacto con el falso fondo. Esta deformacin se conoce
como deformacin del talon y se caracteriza por un levantamiento de la base de la placa de metal.
Cuando la altura de la placa es de aproximadamente 1m, el campo de temperaturas se vuelve
estacionario. En esta fase estacionaria, la placa solidificada se contrae hacia dentro y la seccin
resultante presenta paredes laterales cncavas.
La deformacin del talon y la contraccin de la placa pueden minimizarse optimizando los
parmetros de colada, pero en primer lugar, es necesario ser capaz de predecir las deformaciones
que sufrir la placa para condiciones de colada fijas. Para predecir el comportamiento de la colada,
las principales dificultades se deben a los efectos del acoplamiento de fenmenos, a la presencia
de trminos no lineales, a la existencia de fronteras libres y a que el dominio computacional vara
con el tiempo (vase [6]). Concretamente, para simular la deformacin del taln debemos resolver
un problema de contacto unilateral sin rozamiento entre un cuerpo termo-elasto-viscoplstico de
Maxwell-Norton y un slido rgido.
El trabajo que presentamos en esta primera parte es la continuacin de la investigacin iniciada
en [5] y [9]-[13], donde se han estudiado varios aspectos matemticos del problema:
La formulacin como desigualdad variacional.
La bsqueda de condiciones suficientes para la existencia de una solucin.
La implementacin numrica de la presin metalosttica en la interfase lquido-slido.
La aproximacin numrica de la desigualdad variacional y la descripcin de un esquema
numrico para resolverla.
En la tesis doctoral [5], se obtuvo una solucin aproximada de este problema usando un esquema
de Euler implcito en tiempo y un mtodo de elementos finitos en espacio. Para tratar las no
linealidades, la resolucin numrica se bas en el algoritmo de Bermdez-Moreno que involucra
dos multiplicadores: el multiplicador viscoplstico (que tiene en cuenta la no linealidad debida a
la ley de comportamiento) y el multiplicador de contacto (que permite resolver la no linealidad
debida a la condicin de contacto). Estos dos multiplicadores se aproximaban usando algoritmos
de punto fijo (vase [9, 10, 16]). Durante la fase estacionaria, en la que la condicin de contacto
no tiene una influencia significativa, este algoritmo funcion bien; sin embargo, durante la fase de
arranque, donde aparecen simultneamente las dos no linealidades, la convergencia empeor en
gran medida, incrementando el tiempo de ejecucin. Adems, este algoritmo presenta una fuerte
dependencia con respecto a sus parmetros, que no pueden ser determinados a priori. Todos estos
problemas hacen muy difcil el uso masivo de este algoritmo para ayudar en los procesos de colada.
El objetivo fundamental de este trabajo de investigacin es desarrollar mtodos numricos eficientes
que incorporen procedimientos adaptados para acelerar el tratamiento de las no linealidades y, por
la tanto, ser capaces de simular numricamente la deformacin del taln en un tiempo razonable.
Resumen
205
206
Resumen
aproximar la solucin del problema y, de este modo, simular la deformacin del taln. Este
procedimiento est basado en el algoritmo de Bermdez-Moreno.
Resumen
207
208
Resumen
anlisis asinttico cuando el espesor de la viga de muestra tiende a cero (vase [2, 18, 36, 80, 81]).
Usando este mtodo se han justificado teoras clsicas como la de Bernouilli-Navier, Saint Venant,
Timoshenko y Vlassov (vase [18, 80]). Tambin se ha estudiado el caso de vigas con contacto
unilateral con slido rgido (vase [82, 83]), pero nicamente en el caso de extremos anclados. A
pesar de la ausencia de condiciones Dirichlet para nuestro problema mecnico tridimensional, el
mtodo asinttico nos permite obtener los problemas lmites unidimensionales para la flexin y
la traccin e identificar la relacin entre la carga de ruptura y la correspondiente tensin normal
axial. Todos los resultados tericos han sido publicados en [70].
Adems, estamos interesados en encontrar un mtodo efectivo para calcular el MOR para
materiales frgiles. Para ello, usamos todos los resultados tericos que presentamos en esta tesis
doctoral para obtener varias aproximaciones del MOR. El procedimiento es el siguiente: Una vez
realizados en el laboratorio varios ensayos para vigas de cermica, conocemos la fuerza mxima
que la viga soporta antes de romper la fuerza de ruptura. Utilizando la frmula clsica para el
MOR, obtenemos un primer valor para el mismo el MOR terico. En segundo lugar, realizamos
simulaciones numricas del ensayo experimental para los modelos unidimensional y tridimensional,
considerando la fuerza de ruptura, de donde obtenemos dos nuevas aproximaciones del MOR los
MOR numricos 1d y 3d. Por ltimo, obtenemos un cuarto valor para el MOR usando una nueva
frmula obtenida del anlisis asinttico de nuestro problema. Aplicamos esta metodologa sobre
vigas cilndricas y rectangulares hechas de porcelana, que es un material frgil muy usado en
ingeniera.
La nueva frmula terica que obtenemos aqu permite calcular una mejor aproximacin del
MOR para materiales frgiles. Esta expresin tiene en cuenta no slo la fuerza de ruptura y la
longitud total de la viga, sino tambin la distancia entre los cilindros inferiores, el efecto de la
gravedad y la distancia entre los extremos de la viga y los cilindros inferiores (vase [51]).
Esta segunda parte de la tesis est organizada como sigue:
Captulo 7: Introduccin. Damos una descripcin del problema fsico asociado a los ensayos
de flexin en tres puntos y presentamos la motivacin del completo estudio realizado en la
Parte II.
Captulo 8: Estudio matemtico del ensayo de flexin en tres puntos. Estudiamos aqu
el comportamiento esttico de una viga elstica tridimensional sometida al ensayo de flexin
en tres puntos. Bajo condiciones de compatibilidad adecuadas sobre las fuerzas aplicadas
y la geometra de la viga, probamos la existencia y unicidad de solucin del problema de
elasticidad con contacto asociado. Estas condiciones de compatibilidad sobre los datos son
debidas a la ausencia de una condicin de contorno Dirichlet sobre la frontera de la viga.
Captulo 9: Anlisis asinttico del ensayo de flexin en tres puntos. Este captulo est
dedicado a estudiar el comportamiento asinttico del problema; en particular, deducimos
los modelos unidimensionales asociados al desplazamiento y damos resultados de existencia
y unicidad de solucin para los mismos. Adems, introducimos una expresin para la tensin
normal axial en la viga que est relacionada con el MOR de materiales frgiles. En la ltima
parte del captulo estudiamos la regularidad de solucin del problema lmite de flexin y
damos algunas propiedades del conjunto de coincidencia.
Resumen
209
Captulo 10: Una frmula mejorada para el MOR. Detallamos los experimentos reales llevados a cabo en laboratorio para vigas cilndricas y rectangulares de porcelana y probamos
que se verifican las condiciones de compatibilidad para ambos. En estos dos casos, adems,
presentamos soluciones analticas para los problemas lmites de flexin y traccin. Dichas
soluciones se obtienen de las formulaciones diferenciales dadas por el anlisis asinttico. Por
ltimo, presentamos una nueva expresin terica para el MOR.
Captulo 11: Calculando el MOR. En este captulo calculamos varias aproximaciones para
el MOR de la porcelana utilizando el procedimiento descrito anteriormente y hacemos una
comparacin de los resultados obtenidos.
Captulo 12: Conclusiones. Como conclusin, se puede observar que las nuevas frmulas tericas obtenidas en esta tesis doctoral dan una mejor aproximacin del MOR para materiales frgiles que las frmulas clsicas. Adems, queremos hacer notar que el MOR es una
propiedad mecnica muy sensible a variaciones en las dimensiones de las muestras. Debido a
esto, se pueden encontrar grandes diferencias entre los valores del MOR obtenidos aqu y el
rango de valores encontrado en las bases de datos de ingeniera, en las cuales no se indican
las dimensiones o geometras de las muestras utilizadas.
210
Resumen
Lp (), una funcin Th (v) en Lp ( Y ). Una propiedad inmediata del operador unfolding Th
es que permite transformar cualquier integral en en una integral en Y . Adems, Th permite
probar que la convergencia en dos escalas en el sentido de Lp () de una sucecin de funciones v
es equivalente a la convergencia dbil de la sucesin de funciones desdobladas Th v en Lp ( Y ).
Uno de los resultados ms importantes del mtodo de unfolding es el siguiente: Para cualquier
sucesin dbilmente convergente w en H 1 (), uno puede extraer una subsucesin (todava denotada por ) tal que
w * w dbilmente en H 1 (),
Th (w ) * w dbilmente en L2 (; H 1 (Y )),
Th (w ) * w + Y w
dbilmente en L2 (; H 1 (Y ))n ,
1 (Y)).
donde w
pertenece a L2 (; Hper
Adems, mediante este mtodo se puede obtener una nueva aproximacin de los problemas
de elasticidad lineal en dominios o estructuras delgadas (tales como vigas y placas). El mtodo
consiste en descomponer un desplazamiento en la combinacin de un desplazamiento elemental
y un alabeo asociado a la deformacin de la seccin transversal. Un desplazamiento elemental
es un desplazamiento de la lnea media de la viga junto con una pequea rotacin de la seccin
transversal. Esta nueva tcnica ha sido introducida en [47] para estudiar vigas curvas. La misma
metodologa ha sido desarrollada para estudiar placas y estructuras hechas de placas (vase [48, 49])
y para estudiar problemas de uniones entre vigas y placas (vase [22, 23]).
Esta ltima parte de la tesis est organizada como sigue:
Captulo 13: Introduccin. Hacemos una introduccin al problema que queremos resolver y
damos una descripcin del problema fsico asociado a los procesos de catlisis.
Captulo 14: Problema de elasticidad. Introducimos el dominio computacional y la notacin
que se usar en las secciones siguientes. Adems, se formula el problema tridimensional de
elasticidad lineal sobre las estructuras usadas como soportes en el proceso de catlisis. Estas
estrucutras estn formadas por una familia peridica de vigas elsticas de espesor e y huecos
interiores de tamao e.
Captulo 15: Herramientas del mtodo unfolding. Presentamos algunas herramientas que
se usarn al aplicar el mtodo unfolding. Definimos los desplazamientos elementales asociados a una viga y damos algunas estimaciones para las deformaciones correspondientes.
En primer lugar, introducimos el operador unfolding relacionado con el parmetro de elasticidad e, junto con algunas convergencias dbiles interesantes. A continuacin, definimos el
operador unfolding relacionado con el parmetro de periodicidad y estudiamos el lmite de
una sucesin acotada de desplazamientos en una estructura del tipo anterior, cuando ambos
parmetros, elasticidad e y periodicidad , tienden a cero.
Captulo 16: Problema de elasticidad desdoblado. Bajo hiptesis adecuadas sobre las fuerzas aplicadas, presentamos el lmite del problema tridimensional de elasticidad, cuando e y
tienden a cero, obteniendo tres nuevos problemas desacoplados: El primer problema define
Resumen
211
Agradecimientos
Este trabajo fue financiado parcialmente por CICYT-FEDER (Spain) a travs de los proyectos DPI2004-01993 y MTM2008-05682, y por la Xunta de Galicia a travs de los proyectos
PGIDIT02XI20701PN y PGIDIT05PXIC20701PN. Adems, durante los ltimos aos de estudiante de doctorado recib financiacin por parte del Ministerio de Educacin y Ciencia (Espaa)
a travs de la beca predoctoral de Formacin de Profesorado Universitario AP2003-4495.
Bibliography
[1] G. Allaire. Homogenization and two-scale convergence. SIAM J. Math. Anal., 23(6):1482
1518, 1992.
[2] L. lvarez Vzquez and J. M. Viao. Asymptotic justification of an evolution linear thermoelastic model for rods. Comput. Methods Appl. Mech. Engrg., 115(1-2):93109, 1994.
[3] T.M. Apostol. Mathematical analysis. Addison-Wesley Publishing Co., Reading, Mass.London-Don Mills, Ont., second edition, 1974.
[4] I. Arregui, J.J. Cendn, C. Pars, and C. Vzquez. Numerical solution of a 1-d elastohydrodynamic problem in magnetic storage devices. ESAIM: Mathematical Modelling and Numerical
Analysis, 42:645665, 2008.
[5] P. Barral. Anlisis matemtico y simulacin numrica del comportamiento termomecnico de
una colada de aluminio. PhD thesis, Department of Applied Mathematics, Universidade de
Santiago de Compostela, 2001.
[6] P. Barral, A. Bermdez, M.C. Muiz, M.V. Otero, P. Quintela, and P. Salgado. Numerical
simulation of some problems related to aluminium casting. Journal of Materials Processing
Tech., 142(2):383399, 2003.
[7] P. Barral, C. Moreno, P. Quintela, and M. T. Snchez. A numerical algorithm for a Signorini
problem associated with Maxwell-Norton materials by using generalized Newtons methods.
Comput. Methods Appl. Mech. Engrg., 195(9-12):880904, 2006.
[8] P. Barral, M. C. Naya-Riveiro, and P. Quintela. Mathematical analysis of a viscoelastic
problem with temperature-dependent coefficients. I. Existence and uniqueness. Math. Methods
Appl. Sci., 30(13):15451568, 2007.
[9] P. Barral and P. Quintela. A numerical method for simulation of thermal stresses during
casting of aluminium slabs. Comput. Methods Appl. Mech. Engrg., 178(1-2):6988, 1999.
[10] P. Barral and P. Quintela. A numerical algorithm for prediction of thermomechanical deformation during the casting of aluminium alloy ingots. Finite Elem. Anal. Des., 34(2):125143,
2000.
[11] P. Barral and P. Quintela. Numerical analysis of a viscoplastic problem with contact condition
taking place in an aluminium casting. In Proceedings of the 8th International Congress on
213
214
Bibliography
Computational and Applied Mathematics, ICCAM-98 (Leuven), volume 115, pages 6386,
2000.
[12] P. Barral and P. Quintela. Asymptotic analysis of a metallostatic pressure type boundary
condition modelled by a fictitious domain method in an aluminium casting. Asymptot. Anal.,
30(2):93116, 2002.
[13] P. Barral and P. Quintela. Existence of a solution for a Signorini contact problem for MaxwellNorton materials. IMA J. Appl. Math., 67(6):525549, 2002.
[14] P. Barral and M.T. Snchez. A suitable numerical algorithm for the simulation of the butt
curl deformation of an aluminium slab. In Numerical Mathematics and Advanced Applications.
Proceedings of ENUMATH 2005, pages 1108 1116, 2006.
[15] F.P. Beer and E.R. Johnston. Mechanics of materials. Mc Graw-Hill, New York, 1990.
[16] A. Bermdez and C. Moreno. Duality methods for solving variational inequalities. Comput.
Math. Appl., 7(1):4358, 1981.
[17] A. Bermdez and M. V. Otero. Numerical solution of a three-dimensional solidification problem in aluminium casting. Finite Elem. Anal. Des., 40(13-14):18851906, 2004.
[18] A. Bermudez and J. M. Viao. Une justification des quations de la thermolasticit des
poutres section variable par des mthodes asymptotiques. RAIRO Anal. Numr., 18(4):347
376, 1984.
[19] A. Bermdez de Castro. Continuum Thermomechanics. Birkhauser, 2005.
[20] D.P. Bertsekas. Nonlinear Programming. Athena Scientific, Belmont, 1995.
[21] B. Biondi and S. Caddemi. Closed form solutions of euler-bernoulli with singularities. International Journal of Solids and Structures, 42:30273044, 2005.
[22] D. Blanchard, A. Gaudiello, and G. Griso. Junction of a periodic family of elastic rods with
a 3d plate. part I. J. Math. Pures Appl. (9), 88(1):133, 2007.
[23] D. Blanchard, A. Gaudiello, and G. Griso. Junction of a periodic family of elastic rods with
a thin plate. part II. J. Math. Pures Appl. (9), 88(2):149190, 2007.
[24] D. Blanchard and P. Le Tallec. Numerical analysis of the equations of small strains quasistatic
elastoviscoplasticity. Numer. Math., 50(2):147169, 1986.
[25] S. F. Borg. Matrix-tensor methods in continuum mechanics. World Scientific Publishing Co.
Inc., Teaneck, NJ, second edition, 1990.
[26] H. Brezis. Analyse Fonctionnelle. Theorie and Applications. Masson, Paris, 1983.
[27] M. Burguera and J.M. Viao. Numerical solving of frictionless contact problems in perfectly
plastic bodies. Comput. Methods Appl. Mech. Engrg., 121(1-4):303322, 1995.
[28] P.G. Ciarlet. lasticit tridimensionnelle, volume 1 of Recherches en Mathmatiques Appliques [Research in Applied Mathematics]. Masson, Paris, 1986.
Bibliography
215
216
Bibliography
[45] G. Geymonat and P. Suquet. Functional spaces for Norton-Hoff materials. Math. Methods
Appl. Sci., 8(2):206222, 1986.
[46] R. Glowinski and P. Le Tallec. Augmented Lagrangian and operator-splitting methods in
nonlinear mechanics, volume 9 of SIAM Studies in Applied Mathematics. Society for Industrial
and Applied Mathematics (SIAM), Philadelphia, PA, 1989.
[47] G. Griso. Asymptotic behaviour of curved rods by the unfolding method. Math. Methods
Appl. Sci., 27(17):20812110, 2004.
[48] G. Griso. Asymptotic behavior of structures made of plates. Anal. Appl. (Singap.), 3(4):325
356, 2005.
[49] G. Griso. Obtention dquations de plaques par la mthode dclatement applique aux quations tridimensionnelles. C. R. Math. Acad. Sci. Paris, 343(5):361366, 2006.
[50] G. Griso and M.T. Snchez. Homogenization of an elasticity problem for a catalyst support
by using the unfolding method. Submitted to publication.
[51] F. Guitin, P. Quintela, M.T. Snchez, and V. Valcrcel. Three-point bending tests. Part II:
An improved formula for the modulus of rupture and numerical simulations. Submitted to
publication.
[52] M.E. Gurtin. An introduction to continuum mechanics, volume 158 of Mathematics in Science
and Engineering. Academic Press Inc. [Harcourt Brace Jovanovich Publishers], New York,
1981.
[53] J.P. Henry and F. Parsy. Cours dElasticit. Dunod, Paris, 1982.
[54] N. Kikuchi and J. T. Oden. Contact problems in elasticity: a study of variational inequalities
and finite element methods, volume 8 of SIAM Studies in Applied Mathematics. Society for
Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1988.
[55] JO Kristiansson and EH Zetterlund. Thermal Stresses and Strains in the Solidifying Shell
Within the Primary Cooling Zone During Continuous Casting. Numerical Methods in Industrial Forming Processes, pages 413423, 1982.
[56] P. Le Tallec. Numerical analysis of viscoelastic problems. Recherches en Mathmathiques
Appliques. Masson, Paris, 1990.
[57] J. Lemaitre and J.L. Chaboche. Mcanique des matriaux solides. Dunod, Paris, 1988.
[58] J.-L. Lions and G. Stampacchia. Variational inequalities. Comm. Pure Appl. Math., 20:493
519, 1967.
[59] S. Mariaux, M. Rappaz, Y. Krahenbuhl, and M. Plata. Modelling of Thermomechanical Effects
During the Start-Up Phase of the Electromagnetic Casting Process. Advances in Production
and Fabrication of Light Metals and Metal Matrix Composites, pages 175187, 1992.
[60] R. Mifflin, L. Qi, and D. Sun. Properties of the moreau-yosida regularization of a piecewise
C 2 convex function. Math. Program., 84:269281, 1999.
Bibliography
217
[61] J. Neas and I. Hlavek. Mathematical theory of elastic and elasto-plastic bodies: an introduction, volume 3 of Studies in Applied Mechanics. Elsevier Scientific Publishing Co.,
Amsterdam, 1980.
[62] G. Nguetseng. A general convergence result for a functional related to the theory of homogenization. SIAM J. Math. Anal., 20(3):608623, 1989.
[63] V. Otero. Estudio matemtico y resolucin numrica de modelos que surgen en el estudio de
una colada de aluminio. PhD thesis, Department of Applied Mathematics, Universidade de
Santiago de Compostela, 2004.
[64] J.S. Pang. A B-differentiable equation-based, globally and locally quadratically convergent
algorithm for nonlinear programs, complementarity and variational inequality problems. Math.
Programming, 51(1, (Ser. A)):101131, 1991.
[65] J.S. Pang, D. Sun, and J. Sun. Semismooth homeomorphisms and strong stability of semidefinite and Lorentz complementarity problems. Math. Oper. Res., 28(1):3963, 2003.
[66] C. Pars, M. Castro, and J. Macas. On the convergence of the Bermdez-Moreno algorithm
with constant parameters. Numer. Math., 92(1):113128, 2002.
[67] C. Pars, J. Macas, and M. Castro. Duality methods with an automatic choice of parameters.
Application to shallow water equations in conservative form. Numer. Math., 89(1):161189,
2001.
[68] L. Qi. Convergence analysis of some algorithms for solving nonsmooth equations. Math. Oper.
Res., 18(1):227244, 1993.
[69] L. Qi and J. Sun. A nonsmooth version of newtons method. Math. Program., 58:353367,
1993.
[70] P. Quintela and M.T. Snchez. Three-point bending tests. Part I: Mathematical study and
asymptotic analysis. Submitted to publication.
[71] M. Reed and B. Simon. Methods of modern mathematical physics. 1. Functional analysis.
Academic Press, 1980.
[72] S.M. Robinson. Newtons method for a class of nonsmooth functions. Set-Valued Anal.,
2(1-2):291305, 1994. Set convergence in nonlinear analysis and optimization.
[73] M.T. Snchez. Simulacin numrica de algunos problemas en mecnica de contacto. Masters
thesis, Department of Applied Mathematics, Universidade de Santiago de Compostela, 2003.
[74] M. Schatzman. Problmes aux limites non linaires, non coercifs. Ann. Scuola Norm. Sup.
Pisa (3), 27:641686 (1974), 1973.
[75] W. Schneider, E.K. Jensen, and B. Carrupt. Development of a new starting block shape for
the dc casting of sheet ingots. Part I: Experimental results. Light Metals, pages 961967,
1995.
218
Bibliography