Fractional-Order Viscoelasticity (FOV): Constitutive

0 downloads 0 Views 6MB Size Report
him to study the fractional calculus and to use FOV in his research on polymers and soft tissues. This ...... Adams-Bashforth-Moulton technique for first-order.
NASA/TM--2002-211914

Fractional-Order Viscoelasticity (FOV): Constitutive Development Using the Fractional

Alan Glenn

Calculus:

First Annual

Freed Research

Center,

Cleveland,

Ohio

Kai Diethehn Technisch.e

Un.:i.versit_it

Yury Luchko Europe University

December

2002

Braunschweig,

Via drina,

Frankfurt,

Braunschweig,

Germany

Germany

Report

The NASA

Since its founding, NASA has been dedicated the advancement of aeronautics and space science. Tile NASA Scientific and Technical Information in helping

(STI) Program NASA maintain

STI Program

Office...

CONFERENCE

to

papers from conferences,

Office plays a key part this important role.

Tile NASA STI Program Office is operated by Langley Research Center, the Lead Center for NASA's scientific and technical information. The

lengfl3

and

extent

TECHNICAL

of graphic

MEMORANDUM.

extensive

CONTRACTOR

sponsored

or cosponsored

by

SPECIAL technical,

PUBLICATION. Scientific, or historical information from

Englishscientific to NASA's

Specialized services that complement the STI Program Office's diverse offerings include creating custom thesauri, building customized databases, organizing and publishing research results.., even providing videos. For more

information

Program

Office,

about

the NASA

STI

see the following:

®

Access the NASASTI at http:lhuww.sti.nasa.gov

Program

®

E-mail your question [email protected]

via the Intemet

*

Fax your question to the NASA Help Desk at 301-621-0134

*

Telephone the NASA 301-621-0390

Scientific

analysis. REPORT.

meetings NASA.

Home

Page

presentations.

and tedmical findings that are pre, liminary of specialized interest, e.g., quick release reports, working papers, and bibliographies that contain minimal annotation. Does not contain

Collected

and technical seminars, or other

TECHNICAL TRANSLATION. language translations of foreign and technical material pertinent mission.

by NASA in the NASA STI Report includes the following report types:

TECHNICAL PUBHCATION. Reports of completed :research or a major significant phase of research that present the results of NASA programs and include extensive data or theoretical analysis. Includes compilations of significant scientific and technical data and information deemed to be of continuing reference value. NASA's counterpart of peerreviewed formal professional papers but has less stringent limitations on manuscript

PUBLICATION. scientific symposia,

NASA programs, projects, and missions, often concerned with subjects having substantial public interest.

NASA STI Program Office provides access to the NASA STI Database, the largest collection of aeronautical and space science STI in file world. The Program Office is also NASA's institutional medlanism for disseminating the results of its researd3 and development acti vities. These results are published Series, which

in Profile

Scientific

technical findings by NASA-sponsored contractors and grantees.

to

or

Access

Access

Help

Desk

and Write

to:

NASA Access NASA Center 7121 Standard Hanover,

Help Desk for AeroSpace Drive

MD 21076

Information

at

NASA/TM--2002-211914

Fractional-Order Viscoelasticity (FOV): Constitutive Development Using the Fractional

Alan

Calculus:

First Annual

Freed

Glenn

Research

Ce:nter,

CleveI.and,

Ohio

Kai Diethehn Technisch.e

Un.iversit_it

Yury Luchko Europe University

National

Via drina,

Aeronautics

Spa ce Administration

Glelm

Research

December

Braunschweig,

Center

2002

and

Frankfurt,

Braunschweig,

Germany

Germany

Report

Acknowledgments

Alan Freed would like to thank Prof. Ronald Bagley, University of Texas-San Antonio (then Col. Bagley, USAF), for encouraging him to study the fractional calculus and to use FOV in his research on polymers and soft tissues. This work was supported in part by the U.S. Army Medical Research and Material Command to the Cleveland Clinic Foundation with NASA Glenn Research Center being a subcontractor through Space Act Agreement SAA 3---445. Numerous discussions with the PI, Dr. Ivan Vesle?, and two of his research associates, Dr. Evelyn Carew and Dr. Todd Doehring, are gratefully acknowledged. Additional support was supplied by the UltraSafe Project at the NASA Glenn Research Center. Alan Freed also gratefully acknowledges the encouragement and support of: project manager, Mr. Dale Hopkins, and supervisor, Dr. Michael Meador, at the NASA Glenn Research Center.

This report contains preliminary findings, subject to revision as analysis proceeds.

The Aerospace Propulsion and Power Program at NASA Glenn Research Center sponsored this work.

Available NASA Center 71121 Standard Hanover,

for Aerospace Drive

from National

Information

Technical

Information

Service

5285 Port Royal Road Springfield, VA 22100

MD 211076

Available

electronically

at http://gltrs.grcnasa.gov

Contents

1

Fractional

Calculus

1.1

Riemann-Liouville

1.2

Caputo-Type 1.2.1

2

Caputo-Type

1.4

Numerical

1D 2.1

3

3.2

3.3

Field

Expressions FDE's

.................. ...................

.......................

Approximations

4

........................

5

1.4.3

Caputo-Type

Mittag-Leffier

FDE's

Function

.......................

Analytical

Properties

1.5.2

Numerical

Algorithms

13

.......................

13

......................

FOV

15 17

Material

Functions

2.1.1

Static

2.1.2

Dynamic

............................

Experiments

19

........................

Experiments

20

......................

Mechanics

Metric

Fields

3.1.1

Dual

3.1.2

Rates

Strain

Fields

31

................................

Contravariant

3.2.3

Dilatation Rates

30

...............................

3.2.2

Fields

29

................................

Covariant

24 29

...............................

3.2.1

Stress

5 8 l0

..........................

1.5.1

1 2 3

...........................

Caputo-type Fractional Derivatives ............... Riemann-Liouville Fractional Integrals .............

3.3.1 4

Integral

Derivative

1.4.1 1.4.2

Continuum 3.1

Fractional Fractional

Integral

1.3

1.5

1

32

.............................

32

...........................

33

.............................

34

................................

35

...............................

36

Transfer

37

4.1

Kinematics

................................

37

4.2

Deformation

Fields

39

4.3 NASA/T_2002-211914

............................

4.2.1

Duals

...............................

39

4.2.2

Rates

...............................

40

Field

Transfer

of Fractional

Operators iii

.................

44

4.4

4.3.1

Derivatives

4.3.2 Strain

Integrals .............................. Fields ................................

47 48

4.4.1

Covariant-Like

49

4.4.2

Contravariant-Like

4.4.3 4.5

5

Stress

Dilational Fields

.......................... ........................

50

.............................

Conservation

4.5.2

Rates

51

Laws

52 ........................

52

...............................

Constitutive

Theories

5.1

Integrity

Bases

5.2

Elasticity

5.3

Viscoelasticity

5.4

Tangent

53 55

..............................

55

.................................

56

...............................

Operator

57

.............................

Stability

59

..............................

60

5.5

Isotropic Elasticity 5.5.1 Field transfer

5.6

Isotropic Viscoelasticity 5.6.1 Field transfer

......................... ...........................

68 69

5.7

Transversely 5.7.1 Field

Isotropic transfer

Elasticity ..................... ...........................

70 72

5.8

Transversely 5.8.1 Field

Isotropic transfer

Viscoelasticity ...........................

75 76

Finite-Strain 6.1

6.2

7

45

................................

4.5.1

5.4.1

6

............................

Bulk 7.1 7.2

............................ ...........................

61 65

..................

Experiments

Shear-Free

Extensions

79 ..........................

79

6.1.1

Kinematics

............................

79

6.1.2

Deformation

Fields

81

6.1.3

Strain

Fields

............................

82

6.1.4

Stress

Fields

............................

84

6.1.5

Special

Cases

Simple

Shear

...............................

6.2.1

Kinematics

............................

86

6.2.2

Deformation

Fields

88

6.2.3 6.2.4

Strain Stress

............................ ............................

Material

Fields Fields

........................

...........................

85 86

........................

89 92

Models

Elastic

Response

7.1.1

Theory

Viscoelastic

93 .............................

for pressure Response

93

........................

...........................

96 97

7.2.1 7.2.2

Voigt solid ............................. Kelvin solid ............................

98 98

7.2.3

Fractional-order

99

NASA/T_2002-211914

models

..................... iv

7.3 Bridgman'sExperiment .........................

73

A Table of Caputo Derivatives

105

B Automatic Integration B.1 The FundamentalStrategy ........................ B.2 Approximation of the Integral ...................... B.3 Approximation of Error Estiamtes ....................

107 107 108 108

C Table of Pad_ Approximates for Mittag-Leffler

NASA/T_2002-211914

v

Function

111

Nomenclature Numbers N

natural

N0

counting numbers, real numbers

R

numbers,

positive C

N := {1, 2, 3,...} No := {0, 1, 2,...}

real numbers,

complex

numbers,

R+ := {a E R • a > 0}

C := {x + i y • x, y E 11(;i := v/-_}

Functions set of all continuous

n

n-differentiable

functions

E.(x)

Mittag-Leffler

function

in one parameter,

E.,,(x)

Mittag-Lemer

function

in two parameters,

1Fl(a;

b; x)

Kummer

2Fl(a,

b; c; x)

Gauss

U(x - zo)

unit

5(x)

Dirac

confluent hypergeometric

step

property

and

that

generalized

function

f_oo 5(x).f(x)dx

:= 5If]

gamma

Integral

whenever

Operators operator,

n E N

Riemann-Liouville

D."

Caputo

fractional

J_

Cauchy

n-fold

J_

Riemann-Liouville

fractional

Ai

surface

normal

dA

differential

dC

reference

dH

differential

element

for height-of-separation

dS

differential

element

for distance-of-separation

NASA/T_2002-211914

:= f(O)

characterized

function

Do

Scalar

usually

function

differential

n

(the

at 0)

continuous

digamma Differential

function

distribution

continuous Euler's

a &: f_

function

function

delta

by the

r(x)

hypergeometric

(_

fractional

differential

differential

operator,

integral

operator,

operator,

c_ E ]i¢+

c_ E R+

n E N

integral

operator,

(_ E

Fields area

whose element

distance

points

in the

ith

coordinate

direction

for area-of-surface separating

vii

neighboring

planes between between

planes points

f

is

dV

differential

element

C

dilatation

f

force

fi

force in the

for volume-of-mass

in 1D

force

ith coordinate

in the

normal

direction

ith coordinate

direction

is in the jth coordinate

G

viscoelastic

G' & G"

viscoelastic storage and ith relaxation function

(or relaxation)

n th invariant J

viscoelastic

g

current

_o

gauge

loss (dynamic) basis

length

of gauge

section

length

P

hydrostatic

pressure

P

Lagrange

8

Laplace

S

magnitude time

T

absolute

multiplier

forcing

transform

an isotropic

variable

of shear temperature

W

speed work

OL, Oq

potential function representing fractal order of evolution

of sound

fractal

C

order

of evolution

viscoelastic

material

engineering

shear

dilatation,

work

in bulk response

constant strain

classic

definition

dilatation, Hencky's strain in I-D

definition

viscosity bulk modulus A

principal stretch

stretch along

ratio

fiber direction

ith principal

stretch

#

elastic

modulus

P, Pi

characteristic

retardation

characteristic

bulk

shear

O"

mass density stress in I-D

oi

ith principal

Q

reaction NASA/T_2002-211914

moduli

compliance

function

7 6

on

modulus

of an integrity

ith memory

Vs

acting

direction

ratio time

retardation

time

stress

stress viii

constraint

a surface

whose

unit

7"

shear

T, T{

characteristic

stress relaxation

characteristic

bulk

91

first normal-stress

92

second

normal-stress

co

angular

frequency

Outer

time

relaxation

time

difference difference (rad/sec)

Products

a®b

vector

outer

product

with

components

aibj where

A®B_ A_Nb

tensor

outer

product

with

components

AijBkt

symmetric tensor outer where i, j, k, e = 1, 2, 3

product

with

i, j = 1, 2, 3

where

components

i, j, k, _, = 1, 2, 3 1 (AikBjl

Body manifold,

_ E N3

B

coordinate

system

q3

particle

(a material

coordinates, Body

Vector

and

{

=

Tensor

point) (_1,

_2,

_3)

Fields

fourth-order,

contravariant,

tangent

operator

A

d_ & d_

coordinate

differences

dq5

contact

c_0

contravariant contravariant

6

mixed

force

contravariant

E

covariant

¢

contravariant

r/

arbitrary

0

tensor mixed

on differential

metric strain

tensor strain

in preferred tensor

(strain

tensor

contravariant

material

between

(strain

material

between

tensor

of arbitrary weight, stretch tensor

v

covariant

unit

7r

contravariant

stress

71"

contravariant

deviatoric

FI

contravariant

extra-stress

NASA/TM--2002-211914

area direction

tensor

covariant

Tensor

particles

tensor

arbitrary

Body

neighboring

tensor

metric

9,-1

A

acting

unit vector areal strain

idem

covariant

between

kind

and

tensor

normal

vector tensor stress tensor

Rates ix

tensor

rank

points)

material

planes)

+

AffBjk)

D

partial

derivative

D.

Caputo

fractional

J_

Riemann-Liouville

Field

derivative fractional

integral

Transfer

t

Eulerian

transfer

of field:

body

into

Cartesian

space

' to

Lagrangian Cartesian

transfer

of field:

body

into Cartesian

space

Space

S

manifold,

C

(rectangular)

Xo

place

X

reference

S E N3 Cartesian

containing

coordinate

particle

system

_3 in initial

(Lagrangian)

position

state

vector

to

to 3¢0 with

coordinates

X

=

(X1, X2, Xa) in C X

place

X

current in C

I

unit

Kinematic

containing

_

position

in current vector

state

t

to :_ with coordinates

tensor

Fields

a

acceleration

v

velocity

F

deformation

L

velocity

R

orthogonal

Eulerian

particle

(Eulerian)

Vector

a

unit

vector

vector gradient

gradient

tensor

tensor

rotation

and

tensor

Tensor

vector

Fields

in preferred

coordinate

differences

n

body-force unit-normal

vector vector

A

Almansi

A (n)

generalized

B

Finger

C

fourth-order

Ca

anisotropic

Ce

isotropic

C ea

anisotropic

C"

isotropic

f

NASA/T_2002-211914

strain

material between

tensor

(strain

anisotropic

strain

deformation

elastic elastic viscous

neighboring

between tensor

places

material of order

points) n

tensor

tangent part

direction

operator

of elastic part

operator

of viscoelastic

part part

tangent

of viscoelastic of viscoelastic

x

tangent tangent tangent

operator operator operator

x = (xl, x2, xa)

anisotropic

viscous

part

of viscoelastic

generalized

strain

tensor

tangent

operator

m

E

(")

G

of order

n

G

arbitrary contravariant-like tensor fourth-order relaxation modulus

J

arbitrary

tensor

M

arbitrary

covariant-like

M

fourth-order

T

Cauchy

memory

stress

deviatoric left stretch

Z

Signorini

unit

a_0

stress

tensor

tensor strain

tensor

spatial-gradient Tensor

function

tensor

Cauchy

V

Eulerian

tensor

(strain

operator,

between

material

planes)

0/0x

Rates vector

in preferred

D, O/Ot

partial derivative material derivative

D

rate-of-deformation

material

direction

tensor

c,r

D

upper-fractal

D

lower-fractal

rate-of-deformation rate-of-deformation

upper-convected

}

tensor

(Oldroyd)

upper-fractal

derivative

upper-fractal

integral

corotational

tensor derivative

of order of order

of order of order

a a

of a contravariant-like

tensor

a of a contravariant-like

tensor

a of a contravariant-like

(Zaremba-Jaumann)

derivative

tensor

of an arbitrary

_G G

tensor

W

M

lower-convected

(Oldroyd)

lower-fractal

derivative

lOtM

lower-fractal

integral

W

vorticity

Lagrangian

Vector

derivative

of order of order

of a covariant-like

c_ of a covariant-like a of a covariant-like

tensor and

Tensor

Fields

A

dX & dX

coordinate

N

unit-normal

C

Green

C

fourth-order

tangent

E

Green

tensor

H

arbitrary

contravariant-like

N

arbitrary

covariant-like

NASA/T_2002-211914

differences

between

neighboring

places

vector

deformation

strain

tensor operator (strain

between tensor

tensor xi

material

points)

tensor tensor

tensor

M M

G

M

Y_

P

second

Piola-Kirchhoff

deviatoric

part

p*

Lagrangian

U

right

Y

Lagrangian

Div

spatial-gradient

Lagrangian

Tensor

D

partial

derivative

Caputo

fractional

J_

tensor

Piola-Kirchhoff

stress

tensor

(strain

material

operator,

O/OX

tensor

tensor

tensor strain

between

Rates

Riemann-Liouville

NASA/T_2002-211914

of second

stress

stretch

stress

derivative fractional

integral

xii

planes)

Preface This

is the

Command

first

annual

year project

"Advanced

supported

by grant

land

Clinic Foundation, Space

The

U.S. Army

Simulation"

Surgical

order

to the

for the three

and

through

report

to which

Act Agreement

objective

of this report

viscoelastic

(FOV)

the NASA SAA

Soft Tissue

Research

Modeling

and

for Telemedicine

No. DAMDI7-01-1-0673 Glenn

Research

Center

Material

to The

Cleve-

is a subcontractor

3-445.

is to extend

material

Medical

popular

models

into

one-dimensional

their

(ID)

three-dimensional

fractional-

(3D)

equiva-

lents for finitely deforming continua, and to provide numerical algorithms for their solution. The present report is organized into seven chapters and three appendices. The

first

chapter

for computing equations

serves

fractional

(FDE's),

as an introduction

derivatives,

and

the

Mittag-Lemer

tions of FDE's) are provided. One of the oldest applications two presents the standard

to the fractional

fractional

integrals,

function

(which

of the fractional

an overview of ID FOV. FOV solid are put forth

apprears

calculus

Definitions along with

calculus.

Algorithms

fractional-order

differential

in analytic

is viscoelasticity.

using

convected) tensor fields. Three strain fields are introduced that are strain based on changes in: length of line, separation of non-intersecting and volmne of mass. Introduced here for the first time are fractal rates fields.

Body

In the fourth

chapter,

into

objective,

those

spatial

fields

useful

when

solving

The pressible

and

grangian of elastic

then

space

derives

isotropic

NASA/T_2002-211914

are frame

potential are

measures of surfaces, of arbitrary

chapter

of field

invariant.

are mapped

transfer Spatial

is derived

theories

to an integrity

considered.

into Cartesian

experiments The suite

(e.g., uniaxial and simple

in the previous by-product

(i.e.,

equations.

and transverse-isotropic

a work

materials

transferred

contitutive

body

is that fields

are

problems.

frames. The tangent modulus and viscoelastic solids.

shear-free extension lational compression)

defined A useful

by field transfer

by applying

A suite of homogeneous sented in the sixth chapter.

deriving

fields

fields.

boundary-value

incompressible and

when

the body

created

materials

body

are useful

Cartesian,

fifth chapter

viscoelastic in the

fields

Chapter

for the standard FOV fluid and formulae that are useful in their

characterization, assuming infinitesimal strains and rotations. The third chapter provides an overview of continuum mechanics

tensor

solu-

space

These in both

for the general

for elastic

basis. theories

the

Both are

Eulerian

theoretical

and com-

derived and

La-

structures

used to characterize material models is preincludes the homogeneous deformations of:

elongation, biaxial extension, pure shear, and dishear. The deformation, stress and strain fields xiii

definedin the prior chapter,alongwith their variousrates,are all quantifiedfor this suite of experiments. Chaptersseventhrough nine provideelastic and viscoelasticconstitutivemodels appropriate for 3D analysis. Chapter sevenprovidesmaterial modelsfor bulk response.Chapter eight will introduce material modelsfor isotropic elastomers,while chapternine will introducematerial modelsfor soft biologicaltissues,which aregenerally transverseisotropic;they will be completedfor the secondannualreport. Both classicalandfractional-orderviscoelasticmodelsarepresented.Includedaresolutions for the characterizationexperimentsof chaptersix. Therearethreeappendices.The first appendixtabulatesCaputofractionalderivatives for a few of the more commonmathematicalfunctions. The secondappendix outlinesanautomaticprocedurefor numericalintegrationthat is requiredby the algorithm which computesthe Mittag-Leffier function. And the third appendixprovides an efficientschemefor approximating a specificform of the Mittag-Lemer function that arisesin FOV.

NASA/T_2002-211914

xiv

Chapter

1

Fractional numerical

1.1

Calculus: methods

Riemann-Liouville

In the classical n-fold

calculus

integration

an Abel

of Newton

and

function

y(x)

of the

(power

law)

Jny(x)

Fractional Leibniz, into

Integral

Cauchy

a single

reduced convolution

:=

"'"

y(x0) dxo..,

integers,

and

possessing

_

1

dx,_-2 dx,_-i (1.1)

-(n-1)!f, J'_ is the

integral

of an

kernel,

1

where

the calculation

n-fold

noN,

integral

N+ is the

set

continued

Cauchy's

result

continuous

gamma

function

operator

with

of positive

reals.

by replacing F(n),

d_y(x)

noting

= y(x),

Liouville

xe ,

N is the set of positive

and

Riemann*

the

discrete

factorial

(n -

that

(n-1)Y

= F(n),

thereby

analytically

1)! with

Euler's

producing

[67,

Eqn. AI JaY(X) where

ja is the

report

we take

positive finite real. need it to be real. A brief

(x - x') 1-a y(x')

Riemann-Liouville

JaJ_y(x) = Jf_J'_y(x) the fractional calculus, In this

:=

history

integral

operator

dx',

a,x

of order

e 1[¢+,

a, which

(1.2) commutes

(i.e.,

-- Ja+_y(x) V a, _ _ ][_+). Equation (1.2) is the cornerstone of although it may vary in its assignment of limits of integration. the

lower

Actually, of the

limit

to be zero

a can be complex

development

and

the

[102], but

of fractional

upper for our

calculus

can

limit

to be some

purposes

we only

be found

in Ross

[100] and Miller and Ross [78, Chp. 1]. A survey of many emerging applications of the fractional calculus in areas of science and engineering can be found in the recent text

by Podtubny

[86, Chp.

10].

*Riemann's pioneering work in the field of fractional calculus was done during his student years, but published posthumous--forty-four years after Liouville first published in the field [100]. NASA/TM

2002-211914

1

1.2

Caputo-Type

From

this

single

Fractional

definition

for fractional

initions for fractional differentiation that we choose to use, which requires I(_]-times

differentiable

Derivative

in the

integration

several

def-

(cf. e.g., [86, 102]). The special operator the dependent variable y to be continuous

D_ and

independent

D,ay(x)

one

variable

can construct

x, is defined

by

:= yFal-aD[Cdy(x),

(1.3)

such that lim

n,_y(x)----

Day(x)

for

n E N,

(1.4)

_--+n-

with

D°y(x)

greater The

than

operator

to call

-- y(x),

where

(or equal

to)

Caputo

Caputo

classical

differential

operator a table

operator

function

a -+ n_

operator

to use this A presents functions.

differential

ceiling

where

differential

D,_(y that

is the

and

D n, n E N, is the

D,_ the

the amoung the first properties, t Appendix common mathematical The

ral a,

a,

the

c_ goes

operator.

of order

smallest

integer

to n from

below.

It is accepted

after

in applications and of Caputo derivatives

is a linear

+ z)(x)

giving

means

Caputo

practice

[12] who

to study for some

was

some of its of the more

operator

= D_y(x)

(1.5a)

+ D,_z(x)

commutes D_D_,y(x)

if y(x)

is sufficiently

= D_,D_y(x)=

smooth,

and D_c

it possesses = 0

The more common Riemann-Liouville not commute [86, pg. 74]; furthermore, Ross

D_+Zy(x)

is a function

of x!

[100] attributes

the fractional mathematics

calculus has historically and physics communities.

V c_,/_ E R+

the desirable

for any constant

property

(1.5b) that

c.

(1.5c)

fractional derivative D R, although D'_c = D [_] J['_l-'_c = cx-'_/F(1 this had

startling

fact

as the

a difficult

time

being

main

linear, need - o0, which reason

embraced

why

by the

factually, Liouville introduced the operator in his historic first paper on the topic [67, ¶6, Eqn. B]. Still, nothing in Liouville's works suggests that he ever saw any difference between D,_ = J[_]-aD [_] and D _ -- D [_] j[al-a, D _ being his accepted definition [67, first formula on pg. 10]--the RiemannLiouville differential operator of order a. Liouville freely interchanged the order of integration and differentiation, because the class of problems that he was interested in happened to be a class where such an interchange is legal, and he made only a few terse remarks about the general requirements on the class of functions for which his fractional calculus works [74]. The accepted naming of the operator D,a after Caputo therefore seems warrented. Rabotnov [90, pg. 129] introduced this same differential operator into the Russian viscoelastic literature a year before Caputo's paper was published. Regardless of this fact, operator D,_ is commonly named after Caputo in the current liturature. NASA/T_2002-211914

2

The Riemann-Liouvilleintegral operator J_ D.a are inverse

operators

D'_J'_y(x)

= y(x)

in the

sense

and

J"D_.y(x)

and

the

Caputo

differential

operator

that L_J xk = y(x)

- E

_/Y_k+)'

c_ C R+,

(1.6)

k=O

with

y_k+) := Dky(O+)

than

c_. The



like formulae, A word

n-fold

.

n

calculus•

n

= y(x)

Fractional Leibniz

function

differential

and

J

n

n

y(0 +) F(1-a)

the

= y(x) Caputo

is given z(x)

the

largest

of integer -

do not satisfy

whenever rule

giving

operators

D y(x)

derivatives

product

× z)(x)-

floor

and

For example,

0 < c_ < 1, the

D,_(y

integral

D J y(x)

of caution•

of classical that

vm..

L_J is the

' where

classic

n--1

integer order

xk

less

satisfy

(k)

_--]k--0 _ Yo+, n E N.

the Leibniz derivative

product

rule

is restricted

so

by

- z(0 +) x"

×

(1•7)

+

(J'-°yl(x) k=l

where,

unlike

the

Leibniz

product

rule

coefficients (k) = _(o-1)(a-2)...(a-k+l)k, become zero whenever k > a because extent). Liouville

A similar fractional

1.2.1

Integral

The Caputo

derivative

This

D_y(x)

(with (o) = 1, a E _ a _ N (i.e., the binomial

the

binomial

and k E N) do not sum is now of infinite rule

of the

Riemann-

Expressions (1.3) can be expressed

1

the weak singularity

observed.

derivatives,

infinite sum exists for the Leibniz product derivative (cf. Podlubny [86, pp. 91-97]).

D,_y(x)-F([a]_a) where

for integer-order

singularity

notation

f0 (x_x,)O,_L_,j(Dr"ly)(x')dx 1 caused

by the Abel kernel

can be removed

through

JO+ ( xrOl-o,,(rol)

1 -_) raq

= F(I+

in more explicit

-t-

fox

',

as the integral

_,xER,,_,

(1.8a)

of the integral

operator

an integration

by parts

(x --

is readily

')

x')r°'l-a(D:t+r':"ly)(x')dx

(1.8b) provided

that

the dependent

in the independent (1.8b)

the power-law

in (1.8a) The

the kernel

kernel

fractional

NASA/T_2002-211914

but

variable

in order derivatives,

y is continuous

x over the interval is bounded

is singular

two representations

calculations, such

variable

over the entire

at the upper of (1.8a)

to obtain we found

and

limit

and

(1.85)

a numerical it even 3

(l+[c_])-times

of differentiation

differentiable

(integration)

interval

of integration;

[0, x]. In whereas,

of integration. are quite

useful

scheme

for the

more

helpful

for pen-and-paper approximation

to look

at yet

another

of

representation

that

seems

to have

been

introduced

into

this

context

by Elliott

[30];

namely, D*_y(x)

F(-a)1

-

fo x (x-

This representation

can also be obtained

by parts,

the

is that

but the

with

function

roles

disadvantage

is that

thus

to interpret

we have

is cumbersome problem brief

singularity

of such

reader

differential initial and

equations boundary

the

using

the

the

in the

to [20, 30[ and

method The

instead

is now strong

but,

makes

E N+.

interchanged.

integrand

calculations

following

the

advantage

here The

rather

as we shall

models,

the subject

of this report,

pages.

(possibly

see below,

= f(x,y(x)),

inhomogeneous)

solution

A typical

feature

to (1.9)

to specify

additional

case

of Caputo

FDE's,

at the initial not physical; experiment,

details,

a a

the

therein.

are systems

of fractional-order

(1.9a)

conditions

k = 0, 1,...,

[aJ,

(1.9b)

equations

conditions these

additional

fractional

derivatives

X E N+. It turns f of the right-hand

[21].

in order

(both

classical

to produce

conditions

tions listed in (1.9b), which are akin to those familiar to us. In contrast, for Riemann-Liouville certain

it is not

c_,x E R+,

initial

does exist

of differential

need

constitute

and This

We provide

For more

cited

and whose solution is sought over an interval [0, X], say, where out that under some very weak conditions placed on the function a unique

weak,

integral.

(FDE's) that need to be solved in accordance with appropriate conditions. A FDE of the Caputo type has the form

y_k+)= Dky(O+),

side,

than

do this job.

references

of integration

of its derivative. finite-part

computer

(1.8c)

FDE's

D._y(x) satisfying

a,x

as a Hadamard-type

that

Caputo-Type material

(1.8a)

of the kernel

an algorithm

is referred

Fractional

in the

this integral

an algorithm

description

1.3

the

from

two factors

appears

in pen-and-paper

to devise

interested

of the

y itself

1 a+l y(x')dx', x')

(and/or

and

a unique

are just

the

fractional) solution.

static

is the For the

initial

condi-

of classical ODE's, and are therefore FDE's, these additional conditions integrals)

of the

unknown

solution

point x = 0 [57], which are functions of x! These initial conditions are furthermore, it is not clear how such quantities are to be measured from say, so that

they

can be appropriately

assigned

in an analysis,

t If for no

*We explicitly note, however, the very recent paper of Podlubny [87] who attempts to give highly interesting geometrical and physical interpretations for fractional derivatives of both the Riemann-Liouville and Caputo types. These interpretations are deeply related to the questions: What precisely is time? Is it absolute or not? And can it be measured correctly and accurately, and if so, how? Thus, we are still a long way from a full understanding of the geometric and physical nature of a fractional derivative, let alone from an idea of how we can measure it in an experiment, but our mental picture of what fractional derivatives and integrals 'look like' continues to improve. NASA/T_2002-211914

4

other reason,the need to solveFDE's is justification enoughfor choosingCaputo's definition (i.e., D, _ -- Jr_I-_D[_I) for fractional differentiation over the more commonly used (at least in mathematical (viz., D _ : DF_Ijr_I-_).

1.4

Numerical

1.4.1

ordinary

definition

of Liouville

and

Riemann

Approximations

Caputo-type

Unlike

analysis)

Fractional

derivatives,

hereditary functionals rithm for computing

which

Derivatives are

point

possessing a total Caputo derivatives

functionals,

fractional

derivatives

are

memory of past states. A numerical algohas been derived by Diethelm [20] l and is

listed in Alg. 1.1. Validity of its Richardson extrapolation scheme for 1 < c_ < 2, or one similar to it, has to date not been proven, or disproven. Here Yn denotes y(xn), while YN represents y(X) where [0, X] is the interval of integration (fractional differentiation) with 0 < xn < X. This algorithm was arrived at by approximating the integral

(1.8c)

Similar

algorithms

general

procedure

The

with

derived

and Podlubny The extent of a fractional illustrated for the backward

method,

ranges

fractional

become

is often

derivative

used

(and

restricting

six cases

(cf., e.g., with

Oldham

and

Spanier

to appear

with

in this

exhibits

figure.

h = X/8,

by a like backward-difference weights

being

the

[82, §8.2]

for approximating

integrals).

This operator

plotted

difference

the

approximate

of rememberance of past states exhibited by the derivative is manifest, for example, in its weights

in Fig. 1.1.

0 < c_ < 2. by using

needed. to numerically

7]) and it was the first algorithm

a fading

If Dy(X)

then

the

scheme, zero.

then

It is evident

memory: were

effective

be a0,s = 1 and al,s = -1 with all remaining by the line segments in this figure. Similarly, remaining

thereby

of c_ can be constructed

in Ref. [20], if they algorithm

[86, Chp.

derivatives

product

to larger

Grfinwald-Letnikov

Riemann-Liouville fractional

a trapezoidal

applicable

0.001

of quadrature

by

a

would

being zero, as represented were to be approximated

a0,s = 1, al,s = -2 from the data

< las,sl < 0.01

to be approximated

weights

weights if D2y(X)

hereditary nature of quadrature, as

and

presented

a2,s = 1 with

in Fig. 1.1 that

all the

weights of quadrature an,s for approximating D_y(X) are compatible with those for the first- and second-order backward differences, and that fractional quadratures have additional

contributions

that

monotonically

diminish

with

increasing

from node n -- 2 fading all the way back to the origin at node that a truncation scheme may be able to be used to enhance for some

classes

of functions,

but

nodal

number

n : N. This suggests algorithmic efficiency

not all.

§Apparently this algorithm first appeared in the PhD thesis of Chern [15], unbeknownst to us (KD) at the time of writing Ref. [20]. Chern used this algorithm to differentiate a Kelvin-Voigt, fractional-order, viscoelastic, material model in a finite element code. He did not address stability or uniqueness of solution issues; he did not compute error estimates; and he did not utilize an extrapolation scheme to enhance solution accuracy. NASA/T_2002-211914

5

Algorithm

1.1 Computation

For interval

[0, X] with

grid

h_r(2-a)

D,_y(Z) using

{x_, = nh:

_n=0

= D_, yg(h)

the quadrature

of a Caputo

fractional

n = 0, 1,2,...,N}

(

an,y

derivative

YN-n

--

0

where

weights

(derived

from

a trapezoidal

if2_no fl 0.

the mappings

symmetric

J_tt

reproduce

1 F(a)

J_H--

F(a)

of (4.25),

tensor

it follows

tt maps

the

into Cartesian

(t - t') 1-_ tt(t')

F(a)

that

Riemann-Liouville space

integral

in the Eulerian

frame

of a as

dt'

(t-t')

1-_F-T(t''t)'M(t')'F-l(t''t)dt'

(4.29a)

t

I _LM =:= =F_T. __

(F__)

f_

1 1-_ FT. M(t').Ft, (t - t')

dt' )

. F -1

= =F •OroN).=F -1, while

the

Riemann-Liouville

F(a)

integral

of a symmetric

contravariant

tensor

rI maps

as

(t - t') 1-_ _7(t') dt'

:= F-_1

_rG t

= F.

_t I (t-t') 1 1-_F(t''t)

( fl

'

(t - t') '-a

"G(t')'FT(t"t)dt'

F}'.

G(t').

(4.29b)

F} T dt'

)

•F T

=F= (J°H) for all a > 0.[]

4.4 Strain

Strain

Fields

is not a unique

Cartesian,

strain

separation

between

NASA/T_2002-211914

fields

concept that

material

in finite-deformation

relate points,

to changes

while the second 48

analysis.

in length-of-line. pertains

Here The

we present first pertains

to a separation

two, to a

between

material

planes.

A third

material point. constructs.

These

measure

concepts

of strain

accounts

are presented

for changes

in both

their

in the

Eulerian

volume

and

of a

Lagrangian

As it turns out, the strain fields used in the constitutive theories of Chp. 5 are different from the classic strain fields that are discussed in this chapter. Be that as it may, seeing

the

strain

how

arrive

how the spatial

4.4.1

fields

they

presented from

strain

fields

in this

chapter

transfer

should

of Chp.

5 are arrived

are of historical

significance,

aid the

understanding

reader's

and of

at.

Covariant-Like

The covariant

strain

In particular,

in an Eulerian

tensor

= where field,

field

A(:E; to, t) is the

of (3.8) maps transfer

:= 1

into spatial

_ := l(t[2] strain

1

tensor,

E :=

__

between

are well known.

a pair

B=-I),

while

where _E(:E0; to, t) is the popular Green [46] strain The-Almansi and Green strains are symmetric distance-of-separation

fields that

of field,

_

Almansi

strain

1

in a Lagrangian

transfer

,

(C -/)

tensor. fields that

of neighboring

(4.30a) of

(4.30b)

measure

material

a change

in the

points.

Rates From

(4.22a),

the

time

rate-of-change

1D De__= _

of strain

_

_e_maps

into

A = = D, = DE= ½ DC=

Cartesian

space

as

(4.31) FT. D" F,_

V

where

A is the

lower-convected

rate

of Almansi

strain,

and

DE

is the

Green

strain

V

rate,

both

of which

of the corotational

are well-known derivative

via

results.

Formula

(4.16a)

A_ = D can be rewritten

in terms

as

&=D-D.A-A.D, thereby producing Zaremba-Jaumann Fractional into Cartesian

order: space

a quasi-linear derivative. The

equation

fractal,

according

for

covariant,

to (4.23a)

(4.32) the

evolution

strain-rate

tensor,

of A in terms

DT_e, of (3.11)

of its

maps

as

_L

_A

= D, aL

C=F 51Da. =

D_E= __

NASA/T_2002-211914

f:o 1

1

(t-t')

49

(4.33)

T " D.F FT.

_ __

D(t,) __

. Ft, dt ,, __

where

_tA_

Green, 0 tl > 0.

In classic

viscoelasticity,

the

fourth-rank

material

functions

Gijkl

and

Mijk_ account for material anisotropy, when present. The first of the three formulations listed above requires the strain to be continuous and differentiable over time. The second and third formulations are less restrictive in that they only require strain to be continuous over time. The last two formulations differ in the moduli of their elastic terms, and they also differ in the states that define strain in their viscoelastic (integral) terms. It is the third expression of these three equivalent expressions that we choose to analytically continue from the infinitesimal into the finite. In all three

of these

stress responds. control variable displacements for the cause Using

Because to which

classical

dW

NASA/T_2002-211914

as our

- like viscoelastic

respond,

guide,

and

solids that

9Jt.(t qS.(t)

produce

= EN(

is the controlled

variable

to which

the theory is linear, it can also be written so that stress is the strain responds. But in our end application (finite elements),

viscoelasticity

a class of K-BKZ

as such,

strain

which

motivates

adopting

the

selecting

hypothesis

strain of Kaye

et al. [7] (which they applied to viscoelastic liquids) wherein strain gradient of strain energy, as in elasticity theory, we therefore con-

Qo -_-__ = 260 _ and

formulations,

are assigned to which forces and stress for the effect.

[56] and Bernstein is replaced by the sider

classic

OI_

a work

¢3_(t) O_ OI.

O'y(t)

increment

O_'(t) Oi_(O,t)

+

obey

the constitutive

O_ OI.(t',t) - t') OI_ O'_,(t)

hypothesis

dt'

,

(5.2) of

+ fot 9:;t.(t58

t') O_20 Oil 0I_(t',t) O'),(t)

dt' )

" d')'(t),

(5.4)

where the viscoelasticstrain-energydensity W(_; with

invariants

such

that

strain

I,(_t,,

0_(_;

t, t)/O_

are one in the

The with

units

task

is relegated

mass

density.

and

present,

fact that

:= 0¢5_(t from

energy,

the memory

strain

0_/0_),

tive

(viz.,

theory

whereas

strain

constitutive

rate

like the

tissues). Equation

are positive

that

II = -r/s

(based

solids

which

the

that

elastic

response

for the

that

strain-energy

5.4

i

Commercial (or modulus) NASA/T_2002-211914

derivative

(i.e., deriva-

K-BKZ

- like for our

of the solvent

place

infinity

with

is particularly

some and

viscoelastic

soft biological

is slightly

[71], which

different

from

is

tr D__7-1 = 0,

no restrictions _r,

are usually considered to be incomthe body stress ,r in its construction. present

but

solid.

Finally,

in the fluid theory, the

on the extent on what

relaxation

topic,

in a viscoelastic

of viscoelasticity,

loose constraints

density

solids,

fluids

in a viscoelastic

zero to minus

places

density)

O0

is present

this is an important

Tangent

on

monotonic,

foundatation

,, O_a30I_(t', t) ffJtn(t - t )oi_ O_'(t) dr',

response

from

in this chapter

elasticity,

and

of the

elastomers

for viscoelastic

have a unique reference state. In contrast with the classic formulae Thermodynamics

selection

elastic

to us (viz.,

use for viscoelastic

N f_ D_7 -1 + 200 Z j_

is moved

presented

of stress

with a second-order

strain-energy

are predominantly

is applicable

one would

the viscous

integration not

on an elastic

rls represents solvent viscosity. Fluids and as such, the extra stress II replaces

Furthermore,

our

This

t = 0, as the reference with the hypothesis of

a first-order

convolves

motivated

of interest

n--_-

wherein pressible,

with

anisotropic

has units

in (5.4) as the phenomenological

materials

(5.4),

construct

function

specify

solids.

of construction

for modeling

attributes,

convolves

the relaxation

presented

of viscoelastic

attractive

function

02_!lJ/Ot 0_,), that

structure

This type

the

[18, 19]. the memory

along

is positive,

viscoelasticity.

which

and that the state of integration, t', replaces the initial state, state in the invariants of the integrand, are both in agreement a fading memory It is because

which

do not

_,

defining

and dimensionless,

classical

0_/0_,

functions,

two states

-t')/Ot',

decreasing,

is different

the

IN" °43;t', t) is constrained

t' C [0, t].

is positive

-t')

is monotone of strain

when

t') with

t'), which _n(t

which

to the gradient The

_'t, := _(_;

¢3n(t-

function,

time,

when

can be no strain

where

function, memory

of reciprocal

characteristics,

and

t', t) = _]3(I1,/2,..., _3; t t, t), n = 1, 2,..., N,

XM-2:

= 0 (there

same),

n th relaxation

its associated

has

_', X1, X2,-..,

_5_, and

it lies outside

of either

the scope

the

lower

because

constitutive

are admissible memory

fluid replaces

strain

limit

of

fluids

do

theories or rotation.

functional

forms

9Yt_ functions.

Like

of this report.

Operator

finite-element for user-defined

packages

often require

constitutive 59

a user to supply

equations

so that

a tangent

its solver

operator

can construct

an optimal tensors, and

stiffness

matrix.

to then

element

map

it into the

tangent

operator

_E:=2 -_e is the

coordinate

_(q3;

finite-element

frame

programs

do not employ

this fourth-rank

of Cartesian

mandates

sothat

tensor

tensor

space

for later

contravariant

tensor

d(_)=_(ld_=_E'dE, _

of (3.8).

This

operator

__ _jike = _jlk

= _jitk

In component

constitutive

form,

equation

body

in the use

body,

in finite

n=l

an additional

components

N_l

__

__

=

symmetry

of

the

_ symmetries

because

stress

as _jke tangent

_

(in _ and

(0__n

N

strain

13.

02fn 03" +-0I_ 02_ 03"

_e

becomes

tensor

In most

(5.6a) outer

material

includingthose of this report, 02fCO/OIm OIn = 0 for all m _ n, thereby the above modulus so that it becomes

=4QoE

a body-

= 20(e_ 7tij)/Oykl. modulus

The

_klij.

system

by

=

o2fllJ OIm OI._ 0±m0zoo3"®b-4/' : :

_°°°°_ jke

xliJ_]ke in coodrinate

defined

(5.5) has

(5.5) reads of (5.3),

N (Of$1J 02I. 0 03+

--

r/ has

0, t) is a fourth-rank

B) of _/jkl

fields.

For the elastic

r/®

required

0'e_],[_ 03"

strain

system

are symmetric

which

though

for us to construct

analysis.

The

where

Even

it is still advantageous

product models,

simplifying

OI. OI_) 03' ®_/"

(5.6b)

In keeping with the assumption that there are no cross-coupling terms arising between the various invariants in the functions selected to represent strain-energy density, it follows that

= 4Qo EN --

Q

_5.(t) O_ 0[.

for the viscoelastic

5.4.1

in the

OIn

OIn

constitutive elastic

fot

equation terms;

02_

of (5.4).

whereas,

Some

I_ =

Ofn

OIn

)

care is required

I_(t',t)

here becuase

in viscoelastic

(integral)

Stability

For an elastic

or viscoelastic

and as such, satisfies sufficient that

solid to be stable

a condition

of strong

_iJklxiYjXky

NASA/T_2002-211914

- t ,.02YO )_ O'y 03" dt ' O2in

(5.7)

_ . 02f_

I_ = I_(O,t) terms.

03" 02fn03" + fo t 9Jt.(t

rill

requires

ellipticity e >

60

O,

V

that

where X__, y.

it be Hadamard it becomes

necessary

stable, and (5.8a)

A more useful is that

condition

(in accordance de:

This

is a thermodynamic

postulate, The

which

E" de=

d(-_)

condition

is not

necessary

with 5.5), which -d__e> 0,

for stability,

a physical

and

to be useful

[92], Leonov

conditions

Dissipative has

Kwon

stability,

no role to play

5.5

to the

[651 and

An

isotropic

when

elastic

being

det(v-l-_0) invertible three

where = (0/00)

(and

solid

for strong

solid

the

one field

analysis

Of note analysis

complex

that attempts have that are of ample

are the

address

works

of Renardy

viscoelastic

liquids.

of viscoelastic

of viscoelastic

be formulated

liquids

[65],

solids.

is the

_o:"

in terms

fields; inverse

2 > 0, guarentees

that

perspective,

of the

variable

other.

and

network

a constitutive

theory

The

conservation

of rubber described

fields

too).

and

of mass,

consequently, As such,

In what

only

follows,

is comprised of sums of like in doing so, we average their

to choose

V_0, or vice versa.

equation

and

invertible, that and

tensor A := _o15

are independent.

is no reason

_-1.

mixed,

consider

V__-:'_0 is non-singular,

in (5.1a & 5.1b)

there

of two,

in particular,

_ is non-singular

invariants

molecular

[53]) produces

[28] stability

are extremely

It is for this reason for strong ellipticity

for a stability

can

able _o:" _ over deformation perspective,

Drucker

ellipticity

the existance of an integrity basis from these two deformation tensors,

a mechanics

so-called

[61], all of which

by body-tensor

of the ten possible

From

(5.8b)

Elasticity

therefore,

we will postulate invariants taken characteristics.

V d__e.

the

developer.

Cho

pertinent

described

B := _-:_i0,*

model

and

in the stability

Isotropic

but not sufficient,

law.

sufficient

and awkward to verify for any given model. been made to obtain sufficient conditions generality

is necessary

the

deformation

However,

elasticity soley

from

(i.e., the in terms

vari-

a physics

neo-Hookean of _o1._

[72].

This contrasts with the popular phenomenological model of Mooney [80] that utilizes both deformation fields in its description, and whose rigorous derivation from statistical mechanics continues to elude researchers. Rivlin

[93, 94, 95, 96, 97, 98] and his students,

were amoung

the first to derive

constitutive

Saunders

equations

from an integrity

strain isotropic elasticity, and to perform multi-dimensional admissible functional forms for the strain-energy density. *As is the norm in general tensor _'_o)is achieved through

a contraction

[99] and Gent

[39, 40, 41],

basis

for finite-

experiments to seek out Reiner [91] was the first to

analysis, the trace of a tensor field (in this case, 7_o: and with the metric 7__:= 7__(_,t), t > 0, or, when appropriate,

its inverse 7_-1 := _-:(_, t). It is because of this fact that gradients (i.e., c9_tJ/O"l.=.) can arise from a strain-energy density W = _(I_;i = 1, 2,..., N) that may otherwise be considered as resulting from non-conservative sources, (e.g., one can introduce D__ as a state variable). This is one very important reason why we prefer using body-tensor fields for the purpose of deriving constitutive theories. NASA/T_2002-211914

61

actually deriveconstitutive equationsfrom an integrity basis. Todaythey are called Reinerfluids. Flory [34]proposeda multiplicative decompositionof the deformationfield (defining _ := (det_)-I/3_ so that det_ = I) as a way to uncoupledeviatoricand hydrostatic responses, We choose not

which has certain advantages to make such a decomposition

variants we have chosen as is typically the case, introducing

such

Adding

a decomposition

respective

each anchored

have gradients and therefore,

invariants

to a different

held by these

two measures

of invariants

as our integrity

from a computational perspective in this body of work because

that are strain fields, not deformation fields it is not certain if the added complexity of

is warrented

at this time.

from the two deformation

state,

[105]. the in-

averages

the effect

for deformation

and

tensors,

of reference

leads

_,oI-_ , and _,-i. To, state

us to consider

that

is tacitly

the following

set

basis:

) ,

(5.9a)

:: /det( o whose

gradients,

t

(5.9b)

tHere we have used the following results to derive the gradients OIn/O"¢ and 02I_,/O"y O"i: 0"y -- = fi [] _,

with components in B of

O_ -1

OYkl

i)ykt _ __-1[]

,l-i,

with

components

in B of

07ij

1

_

L_.i£J

i j

_(¢_

and

noting

NASA/T_2002-211914

that

62

I_oX._l= I_o_lI_l- i_ll•

are symmetric

strain

fields,

and

o2h/o o ==

0213/0.70.7=

in the

coefficients they

Z°)+

I_

moduli

on these

with

Idet(z°l"

det .7o 1- .7

At first

invariants

the definition

scale their

Each strain measure these strains is additive

in (5.9b) vanishes and anti-symmetric

the

definition tensor

desirable

property for strain,

fields

Utilizing

preferable

which

first

the gradients

of using

equation the

(especially

variables.

and

measures

their defThe

so that

limit.

The

or/2, has to do with by the trace, t

an asymmetric

tension/compression

theory

= lnA= when

expressed

1 • 7)

mixed

in (5.9b)

obtained

for an isotropic deformation

for viscoelastic

From

the

identity

from the postulated

elastic

tensors

liquids)

from

the

identity

solid derived

7_o-I-

to use

and

the

7_ and

__,-I.

mixed

stretch

=A-I=_=

with

Hencky's

in terms

[49]

of body-

_

----

0A-

-

of (5.9a),

the work potential variables,

it may

be

tensors

,

that

• OA" .A-I

07

A- A = 7_01. 7_, it follows

02

invariants

from

"To as state

=

A -1 • A_ -- 5, it follows

07 likewise,

strain

in the small-strain

in finite-strain

OA -i

and

invariants

in the reference state; however, not one of in its dependence upon state; yet they

of producing

is _1 ln(_o

associated strain

in/3, but not in/1 that are not shared

appeared

_--A := ____1. _/_ = as state

J

[36].

the constitutive *Instead

property that

these

(5.9c)

/

® Z-1

.7-1 [].7-1

glance,

of infinitesimal

can be used directly of the determinant

response--a

,

complex but, as we shall soon discover, these constitutive formulae in the Eulerian frame.

fact that a square root some unique properties

all possess

_--)) Z-1

I_ _/)_ _

-

of (5.6).

to be somewhat relatively simple

imposed

coincide

I

.7-1. "To" .7-1 + .7.),-1..70" .7-1. "70" .7-1 [] 7=-1) ['

det .7-1..7o

tangent

appear produce

derivatives,

-1

4 (v/det(_-l" + !

gradients initions

second

I

+ .7-1 [] ,7-1..70"

appear

whose

A-l,

---that

• 0A A+A

_ =7oN5.==

Like relations exist in the case of time derivatives. Only when a solution can be found for 0A/0% assuming that a solution does indeed exist, will it be possible to construct a theory using stretches instead of deformations as the state variables. NASA/T_2002-211914

63

in (5.2) has a stress

response

of

(

1
a_0- a__0= 1

(5.25a)

__o'_ • _o = A2 _=> to g_o. C • _a_o=A2

**It was our desire to construct meaningful, anisotropic, finite-strain measures that led us to choose invariants that are themselves a sum of like invariants constructed from fields with opposing variance (e.g., one constituent invariant arises from the contravariant form of a state variable, while the other arises from the covariant form for that same state variable). Constructing meaningful, isotropic, strain measures is not a difficult task; there are many admissible choices. However, there are few admissible choices to select from when attempting to construct meaningful, anisotropic, strain measures. Equation (5.23b) presents one such pair of acceptable strain fields. NASA/T_2002-211914

72

so that

in an Eulerian

transfer

of field one

gets

t 2o _:::_ A a_ = 1 _=_ a • B-1 -_a_= A-2

_o.,To._o

(5.25b)

, 2 _=:_ t a .a = l

20"q"C_o=A and

therefore

a = A-1F-

a_0, or equivalently,

£0 = A F_-I" a_• Material

curves

defined

by the trajectory of a0 are indicative of fiber direction. After a deformation F, these fibers have a new direction of a, and they have stretched by a factor of A. Vectors a_0 and a are the same vector fields that were utilized by Spencer [107, pg. 13]. To the invariants 14

which

=I

of (5.11 or 5.13) we add

are different

Affiliated

(C-q-C

_ao"

-1)

_ao

(gotten

and

invariants !A2

of (5.26)

a®a

-B

of Eqn.

used by Spencer:

are the two,

-1.(aQa

_ao.__C-_aoand a_o-_C2._ao.

anisotropic,

Eulerian,

strain

((-_ --

which

result

from

-)

B -1.

:

-

((a@a)-B

a transfer

of the

these

anisotropic

strain

fields

fields

(5.27a) -)=_))

-1

A2 = a0. C. a_o allows

fields

.B -1

±A 2 (((a®a).B+B.(a@a :=1o - _- = A(1)::4A (2)

5.23a) (5.26)

15=lJ_£0-(g2-i-C-2)-ao,

in form from the invariants

with the

by a field transfer

-I-B

)

-1-

in (5.23b). and

}

(a@a)).B

-1)

Recalling

that

a = A-l_F._a_0,

to be recast

(5.27b)

as

A= (_)= _ ((_.._o)®(B_. __._-0)+ (_.g-._o)®(g"_-o) . (5.27c) _(_)= _((_. ao)®(_-a0)- (E_-a0)®(E_"ao)) } _ (_=-T. ao) ®(_._-1. ET. a0)_ (8=-1. E_.._0)®(g-_'-_o)) These the

are still Eulerian

material

vector

_F- a0 is tangent t-he plane

ao instead

fields,

of isotropy, response

(mapped

that

variant

line of anisotropy,

as illustrated transversely

it is just

of its spatial

to the material

A compressible, has a stress

strain

they

a. In the vector

in Fig. 5.1, and these

vectors

isotropic, from

Eqn.

elastic

solid whose

in the

incompressible T + go/=

where These

the are

NASA/T_2002-211914

vector

F -T. a0 is normal

to

need

not be coaxial.

invariants

are so defined

_

,

(5.28a)

case becomes

2Qo (_,

chapters

state,

of

5.24) of

1E (1) +_-E

(2) + _,4A_(1)

Lagrange multiplier p forces a constraint the formulations for transverse-isotropic

the remaining

in terms

deformed

while

{_T=2eo(_,lE(1)+_-E(2)+_,3eI+_,4A(1)+_,sA(2) )_ = ,.,.= = that

are represented

of this report. 73

+ !_, 5 A(2))

(5.28b)

for incompressiblity, det F = 1. elasticity that we investigate in

X v-T" a0 _.-1

Normal,

Tangent,

_

Materiall

Figure

Tangent

5.1:

Kinematics

Directionj Fib/_r

_

Plane

_

of a transverse-isotropic

material.

operator

To the

isotropic,

elastic,

tangent

and

F

then

elastic,

tangent

operator

mapping

operator

(obtained

the

listed

from

resultant

into

in (5.18),

substituting

Cartesian

one must

add

5.23b

& 5.23c

Eqns. space),

which

is given

an anisotropic, into

Eqn.

5.6,

by

/ C a

_--- 4kO0/1_,4z_2(t[_

(_m_-1"

(a@a)-B

-1)

--_ (_-1.

(a@a).B-1)

[_t)

+ 1__,5 a_(_=[](a®a) + (a®a)[]g -I-/[_

(_-1.

((a®a)

"B-1

-I- _-1.

(a®a)).

_-1)

(5.29) -t-

(B

-1.

((a®a)._-1___

B-1.

(a®n))-B

-1)

_]t

(c q-_,44

Again, exists

(A

additional

(1)

®A

NASA/T_2002-211914

q-_,55

components

a cross-product

strain-energy

(1,)

density

(A

will

dependence that

is being

(2,

need

®A(2)))

to

between

.

be the

considered. 74

included invariants

into

this

in the

expression

function

if there

representing

5.8

Transversely

Isotropic

In accordance

with

of the

- like constitutive

K-BKZ

coelastic material given

our

elastic

theory

Viscoelasticity for tansverse

hypothesis

isotropy

(5.24),

for viscoelasticity

(5.4)

an application produces

a vis-

constitutive relation governing the stress response of a transversely isotropic that has five constituent parts, one associated with each invariant, and is

by

__:2_o +

¢_l(t)_(ot)_ I (%;1 9Jh(t-t'l_,l(t',t)_("/,,l

_0 _

+ _2(t)_I_,2(0, +

:

o'o • 0,-1)

-- ,._--I.

_ _-1 . __

--I

t)_ (0'o1" "y "'Yo 1 -- _-1"

/0

i

_2(t-t')_,2(t',t)g

2t- _)3(t)_,3(O,t)1

(v/det(%01"

"_t'"

,7-1)dt,

0_0" 0'-1" _0" _ -1)

-i t' ""Y'"_t' -i _ =_-i. "It" .y-i"_t""_ 2

-

Cdet(_/-1.

-1

)

dt'

_=0))_ -1

+ _ootO23(t_t,)_,3(t,,t)½(v/det(v_t,l.v__)_

v/det(o,_i.O,r))d

t, %-1

+ _(t) _ _(o,t) _((__o®__o)- _=-1. _=o. (_o®__o).2o._=-_) +

£

"4- e5(t

gYq(t-t')fJ2J,4(t',t)l((_e®_r)-2-1"2t,'(_t,®_t')'Tt"'Y-1)

) _l, 5(O,t)

-_-%O1"%

+

i

((CI_ 0 ®

" (____0®____0)

_.-_-0)" _"

--

%--1"

_t01

_'0"

-- %--1.

_y--1"

%0"

dr' %0"

(_-._-0 ®

_-_-0) "'_0" ,_f--l.,.)tO.,_t--1

(O_0®C_0)"20"%

-1)

gJts(t-t')fgOs(t',t)

× 1 ((___, ®___,) •__._j_- Z-_--2,.(m,®_,) .-.-- - ¢ _ .

O_
t >_ 0, t' E [0,t],

1 < ¢J(t--

_

predicts

on the positive

s (> 0) denotes

the

(7.11c)

real line whenever

rubbery

(quasi-static)

the glassy (dynamic) bulk modulus; time; and > (> 7) is the characteristic,

in (7.11a)

and the

integral

equations

¢ (> 0) bulk,

of (7.9) with mate-

rial functions (7.11b &: 7.11c) are equivalent formulations. Whether one chooses the differential or integral form of a particular model for use in analysis is largely a matter of personal

taste

that

may

be swayed

by factors

like:

the

being solved, and the solution (e.g., numerical) methods The limited data that are available for characterizing that

the

bulk response

example,

the

bulk

of a material

viscoelastic

is not as viscoelastic

response

(with exists

is predicted

modulus

way

for experimentally

happens

to be _(>/_). evaluating

to travel

both

v8 and

bulk

modulus,

materials.

test, like what Bridgman used. The from their ratio >/_ by performing, experiment

used previously Measuring where

to establish wave speeds there

warrented

when

of waves:

logitudinal

is typically

this approach (bulk)

Fractional-order

It is a straightforward

bulk modulus,

in dilational

matter

_. to

compression

quantify

the

is applied

to solids,

and

transverse

fact that there (i.e., dynamic)

_(_/_), from

the

same

a dilational

bulk

present. because

compression

modulus

However, solids

fixture

works

well for

additional

care is

propagate

two types

(shear).

models to extend

(7.10 & 7.11) to fractional

order.

flexibility afforded by fractional models over their classical counterparts, comes time to correlate with experimental data, is justification enough consider such extensions. NASA/T_2002-211914

a viable

in isotropic

time constants > and ¢ can then for example, an additional stress

dynamic

of wave

For

for >/_

O is therefore

s, can be obtained

using

one type

response.

of vs = V/-_-/¢Q

of the effective

dynamic

compression be extracted relaxation

The static

it. suggest

a ratio

at a speed

Measuring the

problem

that is less than 10; whereas, for of dynamic to quasi-static moduli

compressible

7.2.3

[77] has

0 denoting mass density). This is a direct consequence a finite, inhomogeneous, elastic, initial condition whose

bulk

fluids,

as its shear

of polyisobutylene

(i.e., the ratio of dynamic to quasi-static moduli) the same material, the shear response has a ratio (e.g., p/T) that exceeds 104 [33]. For this material model, sound

boundary-value

available for solving bulk viscoelasticity

99

The

greater

when it for us to

Fractional Voigt solid The simplestfractional-orderviscoelasticsolid that onecanconsideris the fractional Voigt solid introducedby Caputo [121 which, for dilatation, takes on the form p(t) and

satisfies

(_ that

a homogeneous

controls

the rate

= -g(1

initial

+ _aD_)A(t),

condition.

of evolution.

This

Equation

(7.12a)

model

(7.12a)

- t') = 1 + fia r(1

an additional

has a relaxation

1 _(t

has

while

_5 is weakly

9)I is strongly

The

fractional

- (_) (t - t') a'

(7.125)

The

Kelvin

simplest,

representing Caputo

and

ation

with

speed

differential is the

[13] which,

limit

(7.12c)

of integration

on physical due

to the

-_(1

equation standard

as it applies

initial

that FOV

to bulk

grounds,

weak

t' = t,

because

it too

present

in

is physically solid

of (2.2)

response,

condition.

This

admissible

for

introduced

by

is given

model

by

Z_O+, has a bulk

(7.13a) relax-

of [75]

_a

memory

Ea

(

-((t-t')/¢)

a

)

l___(t-t')_
¢ > 0, and 0 < _ < 1; however, because -E_,o(-((t-t')/¢)a)/(t-t function becomes E,,l(X)

is the

exponential

unbounded

') _ (t-t') at time

Mittag-Leffier

function

function

e _ whenever

in two parameters,

a and

_-1 as t' --+ t, it is apparent that this memory t exhibiting a weak singularity. Here E_(x) -in one

parameter,

a = 1, while

_, (cf. §1.5).

E_,z(x)

Again,

c_, which is the

reduces

_ (> 0) is the

rubbery

constant

extracted

from

accounting the

Experimental

same data

for the

fractal

order

set of experiments

[103] suggests

of evolution.

used

that

the

to quantify

bulk time

function

bulk modulus;

now _(fi/¢)a (> _) represents the glassy bulk modulus; parameters the characteristic, bulk, relaxation and retardation times, respectively; material

to the

Mittag-Leffler

"Y and fi are still and _ is a new

Their

values

can be

the

constants

of (7.11).

constants

_ and

fi are much

smaller than their counterparts T and p for shear (bulk transients fade faster), and that the fractal order for bulk evolution (_ is smaller than the fractal order for shear evolution

a (bulk

behavior

is less rate

(0, 1]. In other words, the response is more fluid-like.

bulk

sensitive),

both

tends

to be more

response

being

bound

to the

solid-like,

while

interval the

shear

Surface plots of y = Ea,l(-x a) and y = -E_,o(-X_)/x, of _ and _ in (7.13), respectively, are presented in Figs.

which are representative 7.2 & 7.3. In both plots

0.001

< x in the

< a


[a]

0 if j E No and j < Fa], orj_Nandj> LaJ.

+ 1)

c > 0 and

cj-[_]-I

r(j - [aJ)I'([a]

= x j lnx

the

to distinguish

= (x + c)_ for arbitrary =

along

for positive

(D_f)(z)=

2. Let f(x)

cut

we only need

case the power series analytically into the

-a

for some

j E ]R. Then

[a] -j;

+ 1)zF_l-%Fl(l'

[a] -a+

1;-x/c).

j > LaJ. Then

L_J (Da, f)(x)

=

E(-l)[a]-k+l(_)_ k=o

r(j + 1)

+ F(j--4. Let

f(x)

= exp(jx)

a + 1)

for some

f(x)

= sinjx

for some

xk-_(¢(j

- LaJ) - ¢(j - a + 1) + lnz).

j E N. Then

D_ (,f)(x) 5. Let

k r(jl-_(J-- a L°_J) + 1) x'-_"

[

= j['_lxF'_l-'_El,[,_l_,_+x(jx). j E JR. Here

again

we have

two cases:

JF li(-1)r°V2xr l- [1F1(1; - a + 1;ijx) 2r(fal - a + 1) - 1Fl(1; (D_f)(x)=

jral(-1)L_Jl2xFc_l-a 2r(r l - + 1)

Fal - a + 1;-ijx)]

[1Fl(1;

+ 1FI(1; 6. Finally we consider f(x) we obtain two cases:

= cosjx

[a]-a+

if Fal is even,

1;ijx)

pal - a + 1;-ijx)]

if [a 1 is odd.

with some j E R. As in the previous

example,

jr:l(_l) rOv2xr:l-: 2r([c_l -a+

1) [_Ft(1; [c_l-a+ + 1FI(1;

(Dyf)(x)

=

-a

+ 1;-ijx)]

if [a]

is even,

if [a]

is odd.

jF_li(_l)tOj/2xF_l__ 2r(F_l-_+

1) -

NASA/T_2002-211914

[a]

1;ijx)

[1Fl(1; 1FI(1;

106

Fal-a+

1;ijx)

[(_l - a + 1;-ijx)]

is

Appendix

B

Automatic In §1.5.2 complete possible

Integration

we had found the evaluation strategy

explained

for the solution

in QUADPACK

accepted

standard

domain,

software packages. for example, from

two integrals numerically function. In this appendix

integrals.

routines

Essentially

introduced

for efficient

and reliable

but they can also be found

book

in §1.5.2,

Quadrature,

Adaptive,

this routine

follows

it turns

General a top-down

much

out that

purpose) structure

(i.e.,

on the

details,

information

we first

algorithms.

commercially

the routine

is the method

are the generally

quadrature

in many

in order to we outline a

we will follow the ideas

in that

The source code is written in FORTRAN77 the URL http://www.netlib.org/quadpack.

the form encountered

giving

of these

The

[84].

when looking

are in the public

without

the need to calculate of the Mittag-Leffler

and

may be obtained, For integrands of

DQAG

(Double

of choice. explain

and at a later

They

distributed

Our the stage

precision

description

general

of

strategy

we fill in those

details).

B.1 The

The

Fundamental

fundamental

idea of automatic

integrand

function

and

define

integral

in question)

the

to satify

the

integration

the bounds

user's

for the

and

or absolute error that he/she return either an approximation accurate

Strategy is the following.

interval

a desired

accuracy

is willing to accept). for the correct value requirements

The

of integration

user supplies

(i.e., the

(i.e., a bound

the

data

for the

that

relative

The routine is then supposed to of the integral that is sufficiently

or an error

flag

if it fails to find such

an

approximation. Typically integration where the in Alg.

the

to achieve

this

goal by sub-dividing

the

interval

of

B.1.

In practice,

should

try

in an adaptive way, thus concentrating more quadrature nodes in areas integrand is difficult to approximate. This leads to a structure indicated

for example, memory,

algorithms

one

may

too many

or too much return

NASA/T_2002-211914

an error

also

terminate

sub-divisions computing

have

the

WHILE

taken

place

time has been consumed.

flag. 107

loop

in this

thereby

using

algorithm

when;

up all available

In such cases the algorithm

Algorithm B.1 Automatic Integration GIVEN two realnumbersa and b, a function and

some tolerance

Calculate

an approximation

error

Q[f]

for f: f(x)dx

and

a list L of the

approximations

obtained

by L := { ([a, b], Q[f], _)} WHILE error tolerance is not satified the

interval

and remove Bisect

from

it from

L with the

so far

DO

the largest

error

approximations

of while

RETURN

B.2

and

error

estimates

for the two newly

the sum of the

B.1 we have

how the

indicated

obtained

approximations,

loop approximations

Approximation

In Alg.

estimate

list;

subintervals; Add these subintervals, their corresponding and their error estimates to the list L

said

_ for the

this interval;

Calculate

END

an estimate

S(x)dx- Q[S]

Initialize

Take

f : [a, b] -+ C,

e > 0 THEN

left

for all the intervals.

of the Integral open

approximation

some

of the

of the integral

how the required

error

to these two questions. The basic idea behind That is, we calculate of the form

obtained

the

estimates

solution

two different

key details. itself

can be found.

is the

concept

approximations

Specifically,

will be performed,

and

We now turn

we have

not

we have

not

our attention

of Gauss-Kronrod

for the integral,

both

integration. of which

are

n

Za.S(x.,), 5=1

with

suitably

begin

with

chosen a first

nodes, which is the value of the integral 2nl

-

1.

This

values

of n,

aj,n, and

approximation

that

(uniquely whenever

determined) the integrand

formula

has

been

xj,_

is just

(j

=

a Gauss

1,...,n).

In particular,

quadrature

formula

we

with

nl

quadrature formula that gives the exact is a polynomial of degree not exceeding

thoroughly

investigated.

For a recent

survey

we

refer to Ref. [10] and the references cited therein. Specifically, there is no quadrature formula with the same number of nodes that is exact for a larger class of polynomials. Moreover, method

B.3 From

as stated is a very

in [10], both

good

Approximation rather

general

considerations,

can only give an approximation, NASA/T_2002-211914

theoretical

and

practical

evidence

suggest

that

this

one.

of Error it is known

Estimates that

one, single,

but not both an approximation 108

quadrature

and an error

formula estimate.

Therefore,

to derive

quadrature

formula.

quadrature

formula

also

an error

The

estimate,

heuristic

is much

the two approximations the two approximations,

it is necessary

argument

more

is as follows.

accurate

than

to introduce Assuming

the first,

then

the

In view

selecting

again,

nl nodes nodes,

of the

a formula

formula

would

quality

of the

with n2 nodes,

but

the second

difference

between

will be a good approximation for the error of the cruder of and therefore, a rather conservative (and thus quite reliable)

upper bound for the error of the finer of the two approximations. a second quadrature formula that is significantly better than the formula.

a second

that

this

have

and so almost

would

at most none

Gauss

where

be very one

of the

formula,

n2 > nl.

this

node

with

gathered

be achieved

one could

because

in common

information

can only

In principle,

uneconomical

Hence, we need first (Gauss-type)

a Gauss

a Gauss

by

use a Gauss formula

formula

with

with

so far (i.e., the function

n2

values

f (xj,,_ 1), whose calculation is typically the most computationally expensive part of the algorithm) could be reused. To overcome this difficulty, Kronrod [59, 60] suggested to construct a formula that is nowadays called the Kronrod extension of the Gauss formula

or, shortly,

formula

with

the

following

the

Gauss-Kronrod

nl nodes;

it uses

formula.

• The remaining are determined mials

of degree

(cf. the

For our purposes, the

15 points integral

not

exceeding

survey

suggestions

made with

with

high accuracy

method

form

function without

mentioned

above

and

to use the tabulated there, the

K mentioned

properties

for routine

with

in Alg.

using

Kronrod

Gauss

according

of the

n2 nodes

to

xj,._, of

and

references

effort.

NAG

the

cited

Gaussian

extension

for

D01AKF).

109

This

are

therein).

method

with

computing

the

part).

For the

other

P, these formulm using the 30-point

Library

weights

given in [84]. In particular,

1.4 (the monotonic

extension. in the

nodes

In view of the

this gives us an approximation

computational

Kronrod integrals

the

values

we propose 31-point

of the integrand,

too much

its 61-point

for oscillatory

NASA/T_2002-211914

a subset

is given in [29]. of the required

algorithm, with the oscillatory integrand function to follow the oscillations properly; thus, we propose suggested

on the

3nl + 1. formulas calculation

papers

it is sufficient

in combination

nice smoothness

together

is based

is constructed

nodes and the weights aj,n2 of the of the Gauss-Kronrod scheme in such a way that the resulting method is exact for all polyno-

A recent survey on Gauss-Kronrod Algorithms for the concrete

following

and

criteria:

• The nl nodes xj, m of the Gauss the Gauss-Kronrod method.

available

His formula

n2 = 2nl + 1 nodes

is essentially [81] (see the

with quite

integral

in that

may be unable Gauss method also

the

method

documentation

Appendix Table

C

of Pad

Approximates

Mittag-Leffier This

appendix

Function

presents

a scheme

for fast

E_(-x_), suitable

for finite

elements.

(1.16)

is used

Pad_ approximate specifically,

computations

0