• Aucun résultat trouvé

Failure in accretionary wedges with the maximum strength theorem: numerical algorithm and 2D validation

N/A
N/A
Protected

Academic year: 2021

Partager "Failure in accretionary wedges with the maximum strength theorem: numerical algorithm and 2D validation"

Copied!
32
0
0

Texte intégral

(1)

HAL Id: hal-00584137

https://hal-mines-paristech.archives-ouvertes.fr/hal-00584137

Submitted on 11 Apr 2011

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Failure in accretionary wedges with the maximum strength theorem: numerical algorithm and 2D

validation

P. Souloumiac, K. Krabbenhøft, Y. M. Leroy, B. Maillot

To cite this version:

P. Souloumiac, K. Krabbenhøft, Y. M. Leroy, B. Maillot. Failure in accretionary wedges with the

maximum strength theorem: numerical algorithm and 2D validation. Computational Geosciences,

Springer Verlag, 2010, 14 (4), pp.793-811. �10.1007/s10596-010-9184-4�. �hal-00584137�

(2)

with the maximum strength theorem:

numerial algorithm and 2D validation.

P. Souloumia

Laboratoire MSS-Mat, CNRS ,

Eole Centrale Paris, Chatenay Malabry, Frane,

K.Krabbenhøft

Centre for Geotehnial and Materials Modelling,

University of Newastle, NSW 2308, Australia,

Y.M.Leroy

Laboratoirede Géologie,CNRS ,

Éole Normale Supérieure, Paris, Frane,

and

B. Maillot

Département Géosienes et Environnement,

Université de Cergy-Pontoise, Frane.

Abstrat

Theobjetiveistoapturethe3Dspatialvariationinthefailuremodeouringinaretionarywedges,

andtheiranalogueexperimentsinthelaboratory,fromthesoleknowledgeofthematerialstrengthandthe

struturegeometry. Theproposedmethodologyreliesonthemaximumstrengththeoremwhihisinherited

from the kinematis approah ofthe lassiallimit analysis. It selets the optimum virtual veloity eld

whih minimizes the tetoni fore. These elds are onstruted by interpolation thanks to the spatial

disretization onduted with ten-nodedtetrahedra in 3D, and six-nodedtriangles in2D. Theresulting,

disrete optimization problem is rst presented emphasizing the dual formalism found most appropriate

in the presene of non-linearstrength riteria, suh as the Druker-Prager riterion used in all reported

examples.

Thenumerialshemeisrstappliedtoaperfetly-triangular2Dwedge. Itisknownthatfailureoursto

thebak,fortopographislopesmallerthan,andtothefrontforslopelargerthan,aritialslope,dening

sub-ritialand super-ritial slopestability onditions,respetively. Thefailuremodeisharaterizedby

theativationofaramp,itsonjugatebakthrustandthepartialorompleteativationofthedéollement.

It is shownthat the ritial slope isaptured preiselybythe proposed numerial sheme, therampand

the bakthrustorrespondingto regionsofloaliz edvirtualstrain. Theinueneofthebak-wallfrition

onthisritialslopeisexplored. Itisfoundthatthefailuremehanismisharaterizedbyathrustrooting

at thebase ofthe bakwall andthe abseneofbakthrust,for small enoughvaluesofthe fritionangle.

This inueneis wellexplained by theMohronstrutionandfurther validated withexperimentalresults

withsand,onsideredasananaloguematerial. 3Dappliationsofthesamemethodologyarepresentedina

ompanionpaper.

Otober26,2009

Submittedforpubliation.

(3)

The objetive is to determine the 3D failure mode whih haraterizes the onset of thrusting

orfoldinginfold-and-thrustbelts and inaretionary wedges. The numerialmethodwhihis

proposedhasitsrootinthekinematisapproahoflimitanalysisalthoughonlytheknowledgeof

the materialstrength isrequired. The numerialalgorithmand its2Dvalidationare presented

in this ontribution, the 3D appliations ina ompanionpaper (Souloumiaet al.,2009).

Thekinematisof 2Dfoldsand thrustshas been studiedatlengthand isnow wellaptured

by geometrialonstrutionsinspiredby theseminalworkofSuppe(1983). Theabsene ofany

onept of mehanis, suh as material strength and mehanial equilibrium render however

impossiblethe omparison between two geometrialonstrutionsneessary toselet the most

relevant. The meritof theseonstrutionsis however learinviewof theirsimpliityand their

potentialappliationintheoilindustry,oneompletedbytheomputationofthetemperature

evolution(Zoetemeijer and Sassi, 1992, Siamannaet al.,2004).

Thelineofworkwhihhas been followed by theauthorstries totakethe mostadvantage of

the2Dgeometrialonstrutionwhileaountingformaterialstrengthand mehanialequilib-

rium. The priniple of minimum dissipation was applied by Maillot and Leroy (2003) in their

study of a simple fault-bend fold, with either brittle or dutile material response, to nd the

optimum orientationofthe bak thrust. A morerigorous framework isnow adopted, basedon

the maximumstrength theorem forfritionaland ohesivematerials(Salençon, 1974,2002). It

was appliedtothe evolution of akink-foldby Maillotand Leroy (2006)proposing that,at any

stage of the struture development, its main geometrial attributes, suh as the kink dip and

width,ouldbefoundbyminimizingtheupperboundtothe appliedtetoni fore. Cubasand

al. (2008) extended this argumenttostudy sequen es of thrustswithinanaretionary wedge.

Souloumia etal. (2008) proved that the optimum stress stateould be alulatedat any step

of the thrusting sequen e development, based onthe statiapproah of the limitanalysis.

Thereisadenitedesiretopropose 3Donstrutionsoffoldingand thrustingwhihisoften

inhibited by the lak of intuition for parameterizing simplythe failure mehanism (e.g. ramp

andbakthrustsystem)attheonsetandduringthedevelopmentofthefold. Itisthusneessary

to develop a systemati proedure to study the failure mode of 3D geologialstrutures. For

the onset, the kinematisapproah of limit analysis ouldprovide a rst insight onthe failure

mode. It is the subjet of the present ontributionand it ishoped that the results ould help

in onstrutingthe 3D kinematis of the evolving strutures.

The proposed method,referred toas the maximum strength theorem, is based onthe kine-

matis approah of lassial limit analysis. It is emphasized that a omplete plastiity theory

is not required and the provisionfor the ohesive and fritionalroks of interest of astrength

domain, onvex in the stress spae, sues to obtain an upper bound to the applied tetoni

fore. Overtheyears,anumberofdierentnumerialformulationsofthemaximumstrength(or

upper bound) theorem have been proposed. Early formulations, fousing on two-dimensional

problems (Anderheggen and Knöpfel, 1972; Pastor, 1978; Bottero et al., 1980; Sloan, 1989),

typiallyinvolvedalinearizationofthestrengthdomainandmadeuse ofthesimplexmethodor

one ofitsderivativestosolvetheresultinglinear programs. Inspired by theprogress ingeneral

onvex programming, these linear programming formulations have reently been replaed by

more general non-linear formulations avoiding the need to linearize (Lyamin and Sloan, 2002;

KrabbenhøftandDamkilde,2003). Themostreentdevelopmentonthisfronthasbeen theap-

pliationsoftheso-alledoniprogrammingalgorithmstosolvetypiallimitanalysisproblems

suhasthe onesonsideredhereaswellasarangeofotherplastiityproblems(Krabbenhøftet

al., 2007; Krabbenhøft etal., 2008). These algorithms are partiularly suited for dealing with

non-smooth strength domains suh as those typially haraterizing the strength of ohesive,

(4)

Initsprimal formthe maximum strength theorem isformulated intermsof kinemativari-

ables,thevirtualveloities. Theirdistributionisonstrutedbyinterpolationthankstoaspae

disretization. This primal form with disretization leads to a onvex minimization problem.

Alternatively, it is possible to work diretly with the dual form of the theorem whih leads

to a maximizationproblem reminisent of the stati approah leading to lower bounds to the

tetoni fore. The dual variables of the veloities (of its symmetri gradient to be more pre-

ise) in the sense of power are regarded as stresses after appropriate saling, although they

do not onstitute statially admissible elds (these dual variables do not satisfy equilibrium).

From a numerial point of view, this alternative, dual approah has a number of advantages.

For example, it is possible to impose ompletelygeneral strength riteria ina straightforward

mannerwhereasaprimalupperbound formulationwould requirethespeiation oftheorre-

sponding support funtion. This funtion denes the maxium power whih ould be provided

for a given veloity and strength domain. Its analytial expression is ertainly non-trivial to

derive and the resulting onstraints diult to aount for in a lassial optimization ode.

Furthermore,followingthe approahproposedby(Krabbenhøftetal.,2005),theinorporation

of kinematially admissible veloity disontinuities is straightforward and will be proposed in

this paper forthe generalthree-dimensional ase for the rst time.

The paper ontents are as follows. The next setion is devoted to the presentation of the

numerialalgorithm. The 2Dsetting ismost suitedfor suhpresentation forsakeof simpliity

and the extension to 3D is postponed to Appendix B. The onstrution of the dual problem

is highlighted with the help of the primal-dual algorithm of linear programming summarized

in Appendix A. Appendix C presents the link between these strength domains, typial of soil

mehanis,and the oniprogrammingalgorithmsadopted inMosek (2008),whihis used for

allexamplesreportedhere. Setion3isonernedwith2D appliationstoaretionary wedges

of perfet triangularshape. Failure inthe bulk ours either to the bak orto the front, with

the omplete ativation of the weak déollement at the base, depending on the topographi

slope. The transition from sub-ritial (failure to the bak) to super-ritial (failure to the

front) is aptured exatly, validating the numerial proedure. It is shown that the frition

angle onthe bak wallinuenes the failure mode for sub-ritial onditions. For small values

of the frition angle, a single ramp roots to the base of the bak wall whereas a ramp and

bak thrust ours for larger values. The transition infailure mode ours for a frition angle

deteted numerially whih is exatlythe one predited by the Mohr's onstrution. It is also

shown that thesetwomodes of failureare reproduedinthe laboratoryexperimentswith sand

by seleting the appropriate frition onditions atthe bak wall ontat.

2 The maximum strength theorem with spatial disretization

Theobjetiveofthissetionistopresentinthreestepsthetheoryappliedinthenextsetionfor

2Dwedgesandfor3Dexamplesintheompanionpaper. Therststepisthepresentationofthe

upper bound theorem of lassial limit analysis, as it is found in Salençon (2002) and Maillot

and Leroy (2006). It is proposed here to approximate the strength domain externally by a

seriesofhyper-plane,intheappropriatestressspae,tofailitatetheset upoftheoptimization

problem. Theseondstepisthedisretizationofthespaeandtheonstrutionofinterpolations

for the virtual veloities as well as for the virtual salars assoiated to these hyper-planes.

The third step onsists in the dualization of the upper bound problem after disretization,

resultinginamaximizationproblemwherethe basiunknownsare saledtohave dimensionof

stress. Thisdual formulationisusedinallexamplesbut shouldnotbeonfusedwiththe lower

(5)

disussed.

2.1 Summary of the upper bound theorem of limit analysis

The upper bound theorem of limit analysis is alled here the maximum strength theorem to

emphasize that only the onept of strength is required. This theorem is now presented in

details.

The starting point is the theorem of virtual power whih states the equality between the

internal and the external powers for any kinematially admissible(KA) veloity eld. The set

S

u of KA elds omprises any eld

U ˆ

whihis zero over part of the boundary

∂ Ω

u where the

displaements are presribed. Elements of

S

u are identied by asuperposed hat. The external

power, dened by

P

ext

( ˆ U) = Z

ρg · UdV ˆ + α Z

∂ΩT

T

o

· UdS , ˆ

(1)

is due to the power of the veloity over the body fore

g

,

ρ

is the material density, and of

the foreapplied onpart of the boundary

∂Ω

T. This applied foreis assumed tobe known in

distribution

T

o but not in its intensity dened by the salar

α

whih is the unknown of the

problem and for whih we seek the best upper bound. Note that in (1) and in what follows,

vetors and subsequently tensors, are identied with bold haraters. The internal power is

given by

P

int

( ˆ U) = Z

σ : d( ˆ U) dV ,

(2)

where

σ

and

d( ˆ U)

are the Cauhy stress tensor and the virtual rate of deformation tensor (also denoted

d ˆ

) based on

U ˆ

, respetively. The double dot produt in (2) between these two tensors results in

σ

ij

d ˆ

ji in terms of their omponents in anorthonormal basis. The expression (2)fortheinternalpowerdoesnotaountforpotentialdisontinuitiesintheveloityeldsand

bulk deformation is the only soure of dissipation. Expliit aount of disontinuities, whih

orientationsare partof theunknowns ofthe problem, istypialofanalytialdevelopments but

is not neessary in the numerialformulation onsidered in this paper. However, pre-dened,

physialdisontinuitiesthusofknowngeometryareapproahedaszonesofbulkmaterialhaving

a zero thikness. Their ativation is marked by a loalized deformation within these narrow

zones. The onventional nite-elementformulationsannot ope with the limitof zero length

in one diretion for an element beause of the resulting ill-onditioning of the stiness array

(see e.g. Day andPotts, 1994). To the ontrary,the formulationadopted inthe followingdoes

not involve suh ompliation. Indeed, as it willbe disussed in the last part of this setion,

it is entirely possible to inlude pathes of elements with a thikness identially set to zero.

Thisapproahwasrstsuggested byKrabbenhøftetal. (2005)intheontextoflinearveloity

elements and is extended here to quadrativeloity elementsin 2D and further generalizedto

3D.

Coming bak to the internal power (2), note that the stress eld is unknown and its elim-

ination is desired. For that purpose, we take advantage of the material maximum strength.

The stress is required to remain within the strength domain denoted

G( σ )

. The strength of

ohesive,fritionalfaultsisusuallydesribed intermsoftheCoulombriterionandforpristine,

bulk materials the strength domain is

G( σ ) = { σ | σ

I

− σ

III

+ (σ

I

+ σ

III

) sin φ − C cos φ ≤ 0 } ,

(3)

(6)

where

σ

Iand

σ

III aretheminorandmajorprinipalstresses(ontinuummehanisonvention:

tensile stresses are positive,

σ

I

≥ σ

III) and

C

and

φ

are the ohesion and the frition angle

respetively. Failureisdesribed inthe2D planewhihisorthogonaltothe intermediatestress

diretion. The prinipal stresses ould be eliminated in favor of the stress omponents suh

that (3) reads in a2D setting

G( σ ) = { σ | σ

e

+ 2P sin φ

B

− 2C cos φ ≤ 0 } with σ

e

= q

xx

− σ

yy

)

2

+ 4σ

xy2

, P = (σ

xx

+ σ

yy

)/2 ,

(4)

in whih

σ

e and

P

are referred to as the equivalent shear stress and the in-plane mean stress,

respetively. The determination of the intermediate stress diretion beomes a burden in 3D

appliationsanditismoreonvenienttoonsiderthestrengthdomainbounded bytheDruker-

Prager riterion:

G

DP

( σ ) = { σ | α

DP

I

1

+ p

J

2

− C

DP

≤ 0 } ,

(5)

with I

1

= tr( σ ) , J

2

= 1

2 tr( σ

· σ

) , σ

= σ − 1

3 tr( σ ) δ ,

inwhih

I

1 and

J

2 arethe rst invariantofthe stressand theseond invariantofthe deviatory

stress, respetively. Notethat

σ

isthe deviatory stress and

δ

the seond-order identity tensor in (5). The twomaterial parametersin (5) are the frition oeient and the ohesion for the

Druker-Prager riterion and they are onviniently dened as

α

DP

= tan φ

p 9 + 12 tan

2

φ , C

DP

= 3C

p 9 + 12 tan

2

φ ,

(6)

so that the domainboundaries desribed by (3) and (5) oinidefor 2D plane-strain problems

(see e.g. Davis and Selvadurai,2002, for further details).

Mostif not allstrength domainsonsidered in the literature are onvex. Consequently, the

maximum power

σ : ˆ d

is bounded and given for a given veloity

U ˆ

by the support funtion

π(ˆ d)

. It depends on the geometry of the strength domain boundary and of ourse on the

veloity eld. A graphial method to onstrut this funtion is presented in Figure 1 where

stress tensorsare represente d as vetors. The strength domainhas an arbitrary,albeitonvex,

boundary in the stress spae. Superpose in this stress spae the virtual rate of deformation

d ˆ

despite the dierene in dimension. This virtual rate of deformation is normal to the hyper-

plane represented with a dashed line. Translate this plane towards the strength domain, as

illustrated by the dotted urve, and the point of ontat, denoted

σ

, is the stress providing the maximum poweraording tolassial onvex analysis. Consequently:

π(ˆ d ) = σ

: ˆ d

and

the seletionof

σ

is indeeda funtionof the orientationof

d ˆ

and of the shape of thestrength

domain boundary.

The analysis of the 2D results insetion 3 willbe failitated with the expliit expression of

the support funtion. It reads

case 1 : tr(ˆ d) > ( | ˆ d

1

| + | d ˆ

2

| ) sin φ , π(ˆ d) = C

tan φ tr(ˆ d) ,

(7)

case 2 : tr(ˆ d) = ( | ˆ d

1

| + | d ˆ

2

| ) sin φ , π(ˆ d) = C cos φ( | d ˆ

1

| + | d ˆ

2

| ) , case 3 : tr(ˆ d) < ( | ˆ d

1

| + | d ˆ

2

| ) sin φ , π(ˆ d) = + ∞ ,

for bulk materials having the strength limit dened by the Coulomb riterion (3) in 2D

(Salençon,2002). In(7),

d ˆ

1 and

d ˆ

2 arethe2Dprinipalvaluesofthevirtualrateofdeformation

(7)

of the rate of deformation. More speially, the trae of the virtual rate of deformation has

to be positive, for the bound to be nite, implying a virtual dilation whih we will not try to

interpret physially. This is due tothe innite resistane in pure ompressionassumed for the

Coulomb riterion.

*

L

ij

σ ij *

σ

d

σ ij

ij

Α ijb

Α ijc c

k b

k c b

Figure1:Thegraphialmethodtoonstrutthesupportfuntionforaonvexstrengthdomain. Thelinearized

strength domainbounds thesupport funtion externallyand isrepresentedby fourhyper-planes (twodashed

andtwosolidlines).

Itisfoundonvenientforwhatfollowstoapproximateexternallythestrengthdomainbound-

ary witha series of

n

hyper-planes inthe stress spae. Eahplane bounds ahalf-spaedened by

A

a

: σ − k

a

≤ 0 , a = 1, ..., n ,

(8)

in whih

A

a and

k

a are the normal (symmetri seond-order tensor) to the hyper-plane and the referene stress (ohesion-like) for the

a

th plane, respetively. Suh an approximation is presented in Figure 1 with four hyper-planes, two dashed and two solid lines, the latter two

labeled

b

and

c

. It is alsoonvenient inwhat follows tointrodue the new variables

s

a (slak

variable)whihdenethe distanebetween thestress pointand theboundaryofthe linearized

strength domain:

A

a

: σ − k

a

+ s

a

= 0 with s

a

≥ 0 .

(9)

The same graphial method proposed above is used to onstrut the support funtion of the

linearized strength domain,referred to as

G

L. The translationof the hyper plane of normal

d ˆ

towards

G

L leads to the ontat at the orner denoted

σ

L. It orresponds tothe intersetion of two hyper-planes of normal

A

b and

A

c inour spei illustration. Thevirtual rate of defor- mation tensor has to be oriented withinthe one dened by these twonormals. Consequently

and more generally, the virtual rate of deformation is linearly related to the normals of the

various hyper-planes dening the ontat point

d( ˆ U) =

n

X

a=1

A

a

ˆ λ

a

with ˆ λ

a

≥ 0 ,

(10)

(8)

where

λ ˆ

a are the non-negative virtual deformation omponents. In the example of Figure 1, the

λ ˆ

a assoiated to the dashed lines are zero and the only stritly positive salars are related

to the planes

b

and

c

. Furthermore, the support funtion of the linearized riterion has the followingproperties

π

L

(ˆ d) =

n

X

a=1

A

a

ˆ λ

a

: σ

L

=

n

X

a=1

λ ˆ

a

k

a

≥ π(ˆ d) ,

(11)

the seond equality being a onsequene of

σ

L belongingto eah ativated hyper-plane (non zero

λ ˆ

a) and onaount of (8), whihis then anequality.

The onept of support funtion is now used to derive the upper bound to the loading

salar

α

. The internal work dened in (2) is bounded by abovewith

P

int

( ˆ U) ≤

Z

π

L

(ˆ d)dV ,

(12)

so that the theorem of virtual powerprovides

α Z

∂ΩT

T

o

· UdS ˆ ≤ Z

π

L

(ˆ d)dV − Z

ρg · UdV , ˆ ∀ U ˆ KA .

(13)

The right-hand side providesthe upper bound

α

U, afterpropernormalizationin the left-hand side. The upper bound theorem, referred here as the maximum strength theorem, is thus

summarized asthe minimizationproblemwith respet to the veloity elds

minimize

α

U

= Z

n X

n

a=1

λ ˆ

a

k

a

− ρg · U ˆ o dV

subjet to

d( ˆ U) =

n

X

a=1

A

a

ˆ λ

a

∀ x ∈ Ω , Z

∂ΩT

T

o

· UdS ˆ = 1 ,

λ ˆ

a

≥ 0 ∀ x ∈ Ω ,

U ˆ ∈ S

u

= { U ˆ | U ˆ = 0 ∀ x ∈ ∂ Ω

u

} .

(14)

2.2 Spatial disretization and interpolation of the veloity eld

The spatial disretization and the interpolation of the veloity eld as well as of the virtual

deformationomponents

λ ˆ

a are nowintrodued.

Thedomainofinterest

isapproximatedbythedomain

hwheretheboundaryorresponds

to a series of straight segments or planar surfaes, as illustrated for the 2D ase in Figure 2a.

The rest of this setion presents the 2D element, the generalization to 3D is postponed to

Appendix B. The interior of

h is partitioned in

q

six-noded triangles (

q = 11

in Figure 2b).

Note that the mid-side nodes are at the same distane from the two nodes at the adjaent

verties. The virtual veloities within a six-noded triangle are interpolated in terms of the

nodalvirtual veloities.

The veloityinterpolationovera 2D element is

U ˆ

h

=

3

X

i=1

ζ

i

(2ζ

i

− 1) ˆ U

i

+ 4[ζ

1

ζ

2

U ˆ

4

+ ζ

3

ζ

2

U ˆ

5

+ ζ

1

ζ

3

U ˆ

6

] ,

(15)

Références

Documents relatifs

1: Find an u which is not a quadratic residue modulo p (pick uniformly at random elements in {1,.. Does Cornacchia’s algorithm allow to find all the solutions?. 9) Evaluate

— If we integrate Lemma 2.1 over D, we obtain the fundamental identity used in the proof of Hormander's theorem. Here we shall multiply by w &gt; 0

In his paper [T2] Terras obtained a central limit theorem for rotation- invariant random variables on the space of n x n real positive definite (symmetric) matrices in the case n =

Since every separable Banach space is isometric to a linear subspace of a space C(S), our central limit theorem gives as a corollary a general central limit theorem for separable

We present the formalization of Dirichlet’s theorem on the infinitude of primes in arithmetic progressions, and Selberg’s elementary proof of the prime number theorem, which

Prove the Inverse Function Theorem (the statement is below). (Hint: reduce to the case considered in the

AGMON, Maximum theorems for solutions of higher order elliptic equations. BOGOVSKII, Solution of the the first boundary value problem for the equation on continuity

As a corollary we show in section 4 that if 3f is a projective manifold with ample canonical bundle then there is a bound, depending only on the Chern numbers of