Mathematical Modeling 1st Christof Eck Harald Garcke Peter Knabner Download
Mathematical Modeling 1st Christof Eck Harald Garcke Peter Knabner Download
https://ebookbell.com/product/mathematical-modeling-1st-christof-
eck-harald-garcke-peter-knabner-6984000
https://ebookbell.com/product/mathematical-modeling-the-life-sciences-
numerical-recipes-in-python-and-matlab-n-g-cogan-44875372
https://ebookbell.com/product/mathematical-modeling-a-dynamical-
systems-approach-to-analyze-practical-problems-in-stem-disciplines-
antonio-palacios-46197026
https://ebookbell.com/product/mathematical-modeling-for-genes-to-
collective-cell-dynamics-tetsuji-tokihiro-46750844
https://ebookbell.com/product/mathematical-modeling-of-physical-
systems-applications-of-fields-circuits-and-signal-processing-adhir-
baran-chattopadhyay-48250562
Mathematical Modeling Stefan Heinz
https://ebookbell.com/product/mathematical-modeling-stefan-
heinz-48654698
https://ebookbell.com/product/mathematical-modeling-in-biology-a-
research-methods-approach-1st-edition-shandelle-m-henson-48713366
https://ebookbell.com/product/mathematical-modeling-for-intelligent-
systems-theory-methods-and-simulation-mukesh-kumar-awasthi-48756144
https://ebookbell.com/product/mathematical-modeling-and-supercomputer-
technologies-22nd-international-conference-mmst-2022-nizhny-novgorod-
russia-november-1417-2022-revised-selected-papers-dmitry-
balandin-48771422
https://ebookbell.com/product/mathematical-modeling-and-computation-
in-finance-1-cornelis-w-oosterlee-49046180
Mathematical Modeling For Epidemiology And Ecology Springer
Undergraduate Texts In Mathematics And Technology 2nd Ed 2nd Edition
Glenn Ledder
https://ebookbell.com/product/mathematical-modeling-for-epidemiology-
and-ecology-springer-undergraduate-texts-in-mathematics-and-
technology-2nd-ed-2nd-edition-glenn-ledder-49351600
Springer Undergraduate Mathematics Series
Christof Eck
Harald Garcke
Peter Knabner
Mathematical
Modeling
Springer Undergraduate Mathematics Series
Advisory Board
M.A.J. Chaplain, University of St. Andrews, St. Andrews, Scotland, UK
A. MacIntyre, Queen Mary University of London, London, England, UK
S. Scott, King’s College London, London, England, UK
N. Snashall, University of Leicester, Leicester, England, UK
E. Süli, University of Oxford, Oxford, England, UK
M.R. Tehranchi, University of Cambridge, Cambridge, England, UK
J.F. Toland, University of Cambridge, Cambridge, England, UK
Peter Knabner
Mathematical Modeling
123
Christof Eck Peter Knabner
Universität Stuttgart Department Mathematik
Stuttgart Universität Erlangen-Nürnberg
Germany Erlangen
Germany
Harald Garcke
Fakultät für Mathematik
Universität Regensburg
Regensburg
Germany
Mathematics Subject Classification (2010): 00A71, 34-01, 35-01, 49-01, 74-01, 76-01, 80-01
1
See the preface to the German edition for more detailed suggestions for the use of this textbook.
vii
viii Preface
It fills us with deep sadness that our scholar, colleague, and friend Christof Eck
could not participate in this enterprise. Extremely untimely, just being 43 years of
age, he passed away after a long illness. This volume is dedicated to his memory.
which students and lecturers of mathematics need in order to understand models for
problems in the sciences and engineering and also to derive them. On the other hand,
this book contains a variety of interesting, practically relevant examples for the
mathematical theories often only experienced at an abstract level during the study of
mathematics and thus answers the question often posed “what do I need this for?”.
While it cannot substitute any of the textbooks dealing with the underlying mathe-
matical structures such as linear systems of equations/linear algebra or ordinary or
partial differential equations, it nevertheless contains essential aspects of the analysis
of the models. One aim in particular is to illustrate the interactions between mathematics
and applications, which unfortunately are often neglected in mathematics courses.
Furthermore, this textbook also addresses students from the sciences and from
engineering and offers them an introduction into the methods of applied mathe-
matics and mechanics.
The content of this book is restricted to deterministic models with continuous
scales, as they are in the center of classical natural sciences and engineering. In
particular, stochastic models are beyond the scope of this book, and the same
applies to processes at very small scales for which particular models or models from
quantum mechanics and its approximations are feasible. Also, models from eco-
nomics are not in the focus of this book, as stochastic approaches play an important
role there.
An essential concept of this book consists in using the mathematical structures
(and the knowledge about them) as an ordering principle and not the different fields
of applications. This reflects the strength of mathematics, lying in the fact that one
concept can be used for totally different problem classes and fields of applications.
It allows dealing with examples from different fields of applications efficiently
without being forced to always repeat the same mathematical basic structures: This
line will be followed in Chapter 1 and in Chapters 2, 4, 6, and 7. In this order, one
finds embedded Chapters 3 (thermodynamics) and 5 (continuum mechanics). They
provide the necessary links to the natural sciences and engineering. Of course, these
chapters are also shaped by the application of mathematical tools.
The restriction of the subjects at the level of application corresponds to a
restriction at a mathematical level: Throughout this book, we use knowledge from
linear algebra and analysis intensively. Chapter 4 relies on the knowledge provided
by courses in analysis or in ordinary differential equations, and Chapter 5 makes use
in an essential way of the methods of the multidimensional differentiation and
integration (integral theorems) and in this way from the more advanced aspects of
analysis. In Chapter 7, the foundations of the geometry of curves and surfaces play
an important role. It is impossible to define a clear delimitation to the analysis of
partial differential equations. Knowledge from this field and also from linear
functional analysis certainly is useful for Chapter 6, but not necessary.
A discussion of mathematical results about partial differential equations takes
place in this chapter only insofar as there is a tight linkage to the model interpre-
tation. Therefore, the presentation cannot be completely rigorous, but possible gaps
and necessary consolidations are pointed out. In this way, this chapter does not
necessarily require an intense study of the analysis of partial differential equations,
x Preface
author at the University of Regensburg and by the first and third author at the
University of Erlangen several times, and therefore, it is the result of a complex
developing process. During this process, the authors received important support.
The authors express their thanks to Bernd Ammann, Luise Blank, Wolfgang
Dreyer, Michael Hinze, and Willi Merz for valuable suggestions. Sincere thanks are
given to Barbara Niethammer, who together with the second author has lectured a
course on mathematical modeling at the University of Bonn from which much
material entered the present book. For careful proofreading, we thank Martin Butz,
Daniel Depner, Günther Grün, Robert Haas, Simon Jörres, Fabian Klingbeil, David
Kwak, Boris Nowak, Andre Oppitz, Alexander Prechtel, and Björn Stinner. In TEX
writing, we were supported by Mrs. Silke Berghof and in particular by Mrs. Eva
Rütz who typed a large part of the manuscript and worked on the numerous figures
with strong dedication—to both our cordial thanks. We thank Serge Kräutle who
provided the figure at the cover—a numerical simulation of the Kármán vortex
street. We would also like to thank cordially Ulrich Weikard for providing
Figure 6.14 and James D. Murray for providing Figure 6.10.
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .... 1
1.1 What Do We Mean by (Mathematical) Modeling? . . . . . . . . .... 1
1.2 Aspects of Mathematical Modeling: Example of Population
Dynamics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Population Models with Restricted Resources. . . . . . . . . . . . . . . . 8
1.4 Dimensional Analysis and Scaling . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5 Asymptotic Expansions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.6 Applications from Fluid Mechanics . . . . . . . . . . . . . . . . . . . . . . . 27
1.7 Literature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.8 Exercises. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2 Systems of Linear Equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.1 Electrical Networks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.2 Space Frames . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2.3 Constrained Optimization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.4 Literature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
2.5 Exercises. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3 Basic Principles of Thermodynamics . . . . . . . . . . . . . . . . . . . . . . .... 75
3.1 The Model of an Ideal Gas and the Maxwell–Boltzmann
Distribution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .... 76
3.2 Thermodynamic Systems and the Thermodynamic
Equilibrium . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .... 80
3.3 The First Law of Thermodynamics . . . . . . . . . . . . . . . . . . . . .... 81
3.4 The Second Law of Thermodynamics and the Notion
of Entropy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.5 Thermodynamic Potentials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
3.6 The Legendre Transform . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
3.7 The Calculus of Differential Forms . . . . . . . . . . . . . . . . . . . . . . . . 99
3.8 Thermodynamics of Mixtures and the Chemical Potential . . . . . . 102
xiii
xiv Contents
are measured and therefore afflicted with measurement errors. Furthermore in this
example certainly the gravitational force of the Earth has to be taken into account, but
its dependence on the flight altitude can be neglected. In a similar way the influence
of the rotation of the Earth can be neglected. On the other hand the influence of air
resistance cannot be neglected. The negligible effects are exactly those which make
the model equations more complex and require additional data, but do not improve
the accuracy of the results significantly.
In deriving a model one should make oneself clear what is the question to be
answered and which effects are of importance and have to be taken into account
in any case and which effects are possibly negligible. The aim of the modeling
therefore plays a decisive role. For example the model assumptions mentioned above
are sensible for the flight trajectory of a soccer ball, but certainly not for the flight
trajectory of a rocket in an orbit around the Earth. Another aspect shows the following
example from weather forecasting: An exact model to compute the future weather for
the next seven days from the data of today cannot serve for the purposes of weather
forecast if the numerical solution of this model would need nine days of computing
time of the strongest available supercomputer. Therefore often a balance between the
accuracy required for the predictions of a model and the costs to achieve a solution
is necessary. The costs can be measured for example by the time which is necessary
to achieve a solution of the model and for numerical solutions also by the necessary
computer capacities. Thus at least in industrial applications costs often mean financial
costs. Because of these reasons there can be no clear separation between correct or
false models, a given model can be sensible for certain applications and aims but not
sensible for others.
An important question in the construction of models is: Does the mathematical
structure of a model change by neglecting certain terms? For example in the initial
value problem
ε y (x) + y(x) = 0 , y(0) = 1
with the small parameter ε one could think about omitting the term εy . However,
this would lead to an obviously unsolvable algebraic system of equations
y(x) = 0 , y(0) = 1 .
The term neglected is decisive for the mathematical structure of the problem indepen-
dent of the smallness of parameter ε. Therefore sometimes terms which are identified
as small, cannot be neglected. Hence, constructing a good mathematical model also
means to take aspects of analysis (well-posedness) and numerics (costs) of the model
into account.
The essential ingredients of a mathematical model are
x(tn ) = r n x(t0 ) .
with a factor p still unknown. From r = 1.15 for Δt = 1 year we conclude that p =
0.15/year. Taking this for granted then for Δt = 2 years one has r = 1.3. Therefore
after 6 years, (6 = 3 times 2) the farmer has
or more precisely
x(t + Δt) − x(t)
lim = p x(t) ,
Δt→0 Δt
i.e.,
x (t) = p x(t) . (1.2)
If the data are as above, i.e., a time increment of Δt = 1 year and a growth rate
r = 1.15, this means
e p·1 year = 1.15
and therefore
p = ln(1.15)/year ≈ 0.1398/year .
this is (1.1) with r = 1 + Δt p. In the case p < 0 a time increment of the size
Δt < (− p)−1 has to be chosen to achieve a sensible sequence of numbers. On the
other hand using the implicit Euler method one gets
i.e., (1.1) with r = (1 − Δt p)−1 . Here for p > 0 the time step has to be chosen such
that Δt < p −1 . By Taylor series expansion one can see that the different growth
factors coincide for small Δt “up to an error of the order O (Δt)2 ”:
(1 − Δt p)−1 = 1 + Δt p + O (Δt p)2 .
The connection between the continuous and the discrete model therefore can be
established by an analysis of the convergence properties of the numerical method.
For the (explicit or implicit) Euler method one gets for example
|x(ti ) − xi | ≤ C(te ) Δt ,
6 1 Introduction
where x(ti ) is the exact solution of (1.2) at time ti and xi is the approximate solution
of the numerical method, assuming that ti ≤ te , where te is the given final time for the
model. For details about the analysis of numerical methods for ordinary differential
equations we refer to the textbooks of Stoer and Bulirsch [123] and Deuflhard and
Bornemann [28].
Both models, the discrete and the continuous, have the seeming disadvantage
that they also allow non-integer solutions, which obviously are not realistic for the
considered example. The model describes — as it is true for every other model —
not the total reality but only leads to an idealized picture. For small populations
the model is not very precise, as in general population growth also depends heavily
on stochastic effects and therefore cannot be computed precisely in a deterministic
way. In addition for small populations the model assumptions are questionable, in
particular one neglects the age and the sex of the animals. In the extreme case of a
herd of two animals obviously the growth will depend heavily on the fact whether
there is a male and a female animal, or not. For large populations on the other hand
one can assume with a certain qualification that it possesses a characteristic uniform
distribution in age and in sex, such that the assumption of a growth proportional to
population size make sense.
The substitution of integer values by real numbers reflects the inaccuracy of the
model. Therefore it is not sensible to change the model such that integer values in
the solutions are enforced. This would only lead to an unrealistic perception of high
accuracy of the model. For a small population a stochastic model, which then “only”
provides statements about the probability distribution of the population size, makes
sense instead of deterministic models.
Nondimensionalization
The quantities in a mathematical model generally have a physical dimension. In the
population model (1.2) we have the units number and time. We denote the physical
dimension of a quantity f with [ f ] and abbreviate the units number of entities by A
and time by T . Therefore we have
[t] = T ,
[x(t)] = A ,
A
[x (t)] = ,
T
1
[ p] = .
T
The specification of a physical dimension is not yet a decision about the physical unit
of measurements. As a unit of measurement for time one can use seconds, minutes,
hours, days, weeks, or years, for example. If we measure time in years, then t is
indicated in years, x(t) by a number, x (t) in number/years and p in number/years.
To get models as simple as possible and furthermore in order to determine char-
acteristic quantities in a model, one can nondimensionalize the model equations.
1.2 Aspects of Mathematical Modeling: Example of Population Dynamics 7
For this aim one defines a characteristic value for every appearing dimension and
correspondingly a unit of measurement. Here it is not necessary to choose one of the
common units as for example seconds or hours but it is more appropriate to choose
a unit adapted to the problem. For the population model there are two dimensions,
therefore two characteristic values are needed, the characteristic number x and the
characteristic time t. These are chosen in such a way that the initial data t0 and
x0 = x(t0 ) are as simple as possible. Therefore a convenient unit of measurement
for time is given by
t − t0
τ= ,
t
where t denotes a unit of time which still has to be specified, and as a unit for number
we choose
x = x0 .
Setting
x
y=
x
and expressing y as a function of τ ,
x(tτ + t0 )
y(τ ) = ,
x
one obtains
t
y (τ ) = x (t)
x
and therefore the model becomes
x
y (τ ) = p x y(τ ) .
t
This model gets its most simple form for the choice
1
t= . (1.3)
p
y (τ ) = y(τ ) ,
y(0) = 1 . (1.4)
From this solution all solutions of the original model (1.2) can be achieved by using
a transformation:
t = p n x0m with n, m ∈ Z .
The only possible solution of this equation is given by n = −1, m = 0, if the number
of animals is interpreted as a dimension of its own. Thus we get exactly (1.3).
In more complex models typically the model cannot be reduced to a single problem
by nondimensionalization but the number of relevant parameters can be strongly
reduced and the characteristic parameters can be identified. This also relates to the
corresponding experiments: For instance, from the nondimensionalization of the
equations for airflows one can conclude how the circulation around an airplane can be
experimentally measured by using a (physical) model for the airplane much smaller
in scale. We will explain dimensional analysis in one of the following sections using
a more meaningful example.
For large populations in nature a constant growth rate is not realistic anymore. A
restriction of the habitat, or the available nutrients, or other mechanisms impose
limitations on the growth. To construct a model it is feasible for such situations to
assume that there is a certain capacity x M > 0 for which the resources of the habitat
are still sufficient. For population quantities x smaller than x M the population still
can grow, but for values larger than x M the population decreases. This means that
the growth rate p now depends on the population x, p = p(x), and that
1.3 Population Models with Restricted Resources 9
have to hold true. The most simple functional form satisfying these conditions is
given by a linear ansatz for p, i.e.,
with a parameter q > 0. With this ansatz we obtain the differential equation
as a model. The additional term −q x(t)2 is proportional to the probability for the
number of encounters of two specimens of the population per unit of time. The
term represents the more competitive situation if the population size increases, the
so-called “social friction”. The Eq. (1.5) has been proposed by the Dutch biomath-
ematician Verhulst and is called logistic differential equation or equation of limited
growth.
Equation (1.5) also can be solved in closed form (compare Exercise 1.3). From
x
=q
x(x M − x)
and by integration
ln(x(t)) − ln |x M − x(t)| = x M qt + c1 , c1 ∈ R .
x(t)
= c2 e x M qt ,
x M − x(t)
and
c2 x M e x M qt xM
x(t) = = .
1 + c2 e x M qt 1 + c3 e−x M qt
From this exact solution the following properties can be easily derived:
• If x0 is positive, the solution always stays positive.
• If x0 is positive, then for t → +∞ the solution converges to the equilibrium point
x∞ = x M .
The graph of x can be sketched also without knowing the exact solution. From (1.5)
first we conclude
x > 0 , if x < x M ,
x < 0 , if x > x M .
Furthermore we have
x = (x ) = (q (x M − x) x) = q(x M − x) x − q x x
= q(x M − 2x)x = q 2 (x M − 2x)(x M − x) x .
Thus the solution curves have an inflection point at x M /2 and the curves are concave
in the interval between x M /2 and x M , and convex otherwise. Solutions of the logistic
differential equation are depicted in Fig. 1.1.
Stationary Solutions
For more complex time-depending models a closed form solution often cannot be
found. Then it is useful to identify time independent solutions. Such solutions can
be computed using the time dependent model by just setting all time derivatives to
zero. For our model with restricted growth one gets
0 = q xM x − q x2 .
xM
xM
2
x0 = 0 and x1 = x M .
These are the solutions of the original model for specific initial data. Often time
independent solutions appear as so-called stationary limits of arbitrary solutions
for large times, meaning that they are solutions constant in time towards which
time dependent solutions converge for large times. Typically this only appears if the
stationary solution is stable in the following sense: If the initial data is only changed
slightly then also the solution changes only slightly. Using the exact solution (1.6)
the question of stability can be easily answered for the logistic differential equation:
The solution for the initial value
x(t0 ) = ε
x M (x M + ε)
xε (t) = ,
(x M + ε) − ε e−x M q(t−t0 )
one can conclude also without knowing the exact solution that the distance to x M
can only decrease for increasing time as from xε (t) > x M it follows xε (t) < 0 and
from xε (t) < x M it follows xε (t) > 0. Therefore the stationary solution x M is stable.
Stability is of importance, as in nature in general no instable stationary solution can
be observed, therefore they are irrelevant for most practical applications. For more
complex models sometimes no closed form solution for the time dependent equation
can be derived. However, there are techniques of stability analysis, with which often
the stability properties of stationary solutions can be deduced. Often this is done
by means of a linearization of the problem at the stationary solution followed by a
computation of the eigenvalues of the linearized problem. This will be explained in
more detail in Chap. 4.
12 1 Introduction
F
a= ,
m
where a denotes the acceleration of the body and F the force acting on the body.
This force is described by Newton’s law of gravitation
mE m
F = −G ,
(x + R)2
where G ≈ 6.674 · 10−11 N · m2 /kg2 denotes the gravitational constant, m E the mass
of the planet, R the radius of the planet and x the height of the body, measured from
the surface of the planet. We neglect the air resistance in the atmosphere and consider
the planet to be a sphere. If one defines the constant g by
Gm E
g= ,
R2
one gets
g R2m
F =− .
(x + R)2
For the Earth we have g = 9.80665 m/s2 , the gravitational acceleration. The motion
of the body then is described by the differential equation
g R2
x (t) = − . (1.7)
(x(t) + R)2
x(0) = 0 , x (0) = v 0 ,
Π = v 0a g b R c ,
which are either dimensionless (case (i)), or have the dimension of a length (case
(ii)), or have the dimension of a time (case (iii)). From
a b
L L
[Π ] = L c = L a+b+c T −a−2b
T T2
it follows:
v 02
ε= (1.8)
gR
R −b
τ = v 0−1−2b g b R b+1 = ε .
v0
We will now try to nondimensionalize Eq. (1.7). To this purpose we consider a unit
for length x and a unit for time t and represent x(t) in the form
14 1 Introduction
x(t) = x y(t/t) .
i.e.,
x 1
y (τ ) = − . (1.9)
2
t g ((x/R) y(τ ) + 1)2
t
y(0) = 0 and y (0) = v0 .
x
Now we want to choose x and t in such a way that as many of the appearing parameters
as possible equal 1. However, here we have more parameters than scaling units,
namely the three parameters
x x t
2
, , and v0 .
t g R x
Hence, only two of these parameters can be transformed to one and therefore there
are three different possibilities:
x x R
(a) 2 = 1 and = 1 are a consequence of x = R, t = , then the parameter
t g R g
t v0 √
is given by v 0 = √ = ε using ε from (1.8). Therefore the model reduces
x Rg
to
1 √
y (τ ) = − , y(0) = 0 , y (0) = ε . (1.10)
(y(τ ) + 1) 2
x t R x
(b) = 1 and v 0 = 1 can be deduced from x = R and t = , leading to 2 =
R x v0 t g
v 02
= ε for the third parameter. Then the dimensionless model is given by
Rg
1
ε y (τ ) = − , y(0) = 0 , y (0) = 1 .
(y(τ ) + 1)2
x t v0 v2
(c) = 1 and v 0 = 1 are a consequence of t = and x = 0 . Then the third
2
t g x g g
x v 02
parameter is given by = = ε. Thus the dimensionless model reads
R gR
1.4 Dimensional Analysis and Scaling 15
1
y (τ ) = − , y(0) = 0 , y (0) = 1 . (1.11)
(ε y(τ ) + 1)2
Let us mention that there is a fourth possibility. Besides (1.9) we may also use the
equivalent formulation
x3 1
y (τ ) = − .
t
2
g R2 (y(τ ) + R/x)2
1
y (τ ) = − , y(0) = 0 , y (0) = 1
(y(τ ) + ε)2
v 02
ε= = 10−6 .
Rg
1
y (τ ) = − , y(0) = 0 , y (0) = 0 .
(y(τ ) + 1)2
Because of y (0) < 0 and y (0) = 0 this model leads to negative solutions and there-
fore it is extremely inexact and of no use. The reason lies in the scaling within the
nondimensionalization: The parameters t and x here are given by
R
t= = 103 s and x = 107 m ,
g
both scales are much too large for the problem under investigation. The maximal
height to be reached and the instance of time for which it is reached are much
smaller than the scales x for length and t for time and therefore are “hardly visible”
in the nondimensionalized model.
The model (b) reduces to
1
0=− , y(0) = 0, y (0) = 1 .
(y(τ ) + 1)2
16 1 Introduction
This problem is not well posed, as it has no solution. Also here the chosen scales for
time and length are much too large,
R
t= = 106 s and x = R = 107 m .
v0
v 02
x(t) = x y(t/t) = y(gt/v 0 )
g
leads to
1
x(t) = v 0 t − gt 2 .
2
This corresponds to the solution of (1.7), if the term x(t) in the denominator of the
right-hand side of (1.7) is neglected. The scales in the nondimensionalization here
have reasonable values,
v0 v2
t= = 1 s , x = 0 = 10 m .
g g
1
y (τ ) = − , y(0) = 0 , y (0) = 1 .
y(τ )2
This model does not correspond to a constant acceleration force. Also, the initial
condition seems to be problematic for this differential equation, and the time and the
length scale chosen are much too large.
Hence, for the application considered the nondimensionalization in version (c)
is the “correct one”. The versions (a), (b), and (d) are equally well mathematically
correct, but there the small parameter ε cannot be neglected anymore because its
influence is amplified by the (too) large scaling parameters t and x.
1.5 Asymptotic Expansions 17
Now we will introduce a technique with which the simplified model can be improved.
The basic idea is not to neglect the terms of order ε in the exact model (1.11), but
rather to do a series expansion of the solution of (1.11) with respect to ε to achieve
more precise solutions by keeping some of the terms beyond the zeroth order term.
The terms of higher order in ε are determined from equations which we get by
substituting a series expansion into (1.11).
We want to discuss this procedure which is called the method of asymptotic expan-
sion, first for a simple algebraic example. We consider the equation
x 2 + 0.002 x − 1 = 0 . (1.13)
The second summand has a small factor in front. Setting ε = 0.001 1, we obtain
x 2 + 2εx − 1 = 0 . (1.14)
M
x(ε) − φk (ε)xk = o(φ M (ε)) as ε → 0.
k=0
N
If k=0 φk (ε)xk is an asymptotic expansion of x(ε) we write
N
x∼ φk (ε)xk as ε → 0 .
k=0
If N = ∞, we write
18 1 Introduction
∞
x(ε) ∼ φk (ε)xk as ε → 0 .
k=0
If this identity shall hold true, it must hold true in particular for small ε. Therefore
all terms which do not contain a factor ε (or εα ), must add up to zero. Such terms are
of order 1. We write O(1) or O(ε), respectively, and collect only those terms, which
are exactly of order 1 or ε, respectively. The equation of order 1 then reads
O(1) : x02 − 1 = 0 .
Its solutions are given by x0 = ±1. In particular we see that the equation of order
O(1) has exactly as many solutions as the original problem. This is a condition
necessary in order to speak of a regularly perturbed problem. Later on we will see
when to speak of regular or of singular perturbations.
Now we consider the terms of the next higher order in ε. What the next higher
order is depends on whether we have α < 1, α > 1, or α = 1. If α < 1, then we
conclude from the term of order εα that x1 = 0, and from the terms of order ε jα in
a successive fashion x j = 0 for 1 ≤ j < 1/α. If α = 1/k for some k ∈ N, then it
follows from the term of order kα = 1 that
2x0 xk + 2x0 = 0
and therefore xk = −1. Proceeding with the asymptotic expansion one sees that the
/ N always lead to x j = 0. Therefore only the terms xkn for
terms of order j with α j ∈
n ∈ N remain. For the corresponding powers εknα we have knα ∈ N. Therefore the
power series ansatz with α < 1, α = 1/k, for some k ∈ N, leads to the same result
as the ansatz α = 1, and therefore it is unnecessarily complicated. If α = 1/k for all
k ∈ N, then from the term of order ε we get
2x 0 = 0 ,
Therefore we have
1 1
x2 = (x0 )−1 = ± .
2 2
The Eq. (1.13) corresponds to (1.14) for ε = 10−3 . Therefore we expect that the
numbers
x0 , x0 + εx1 , x0 + εx1 + ε2 x2
Therefore in this simple example the series expansion leads to very good approxi-
mations taking only a few terms into account.
This procedure becomes more interesting for complex problems without a closed
form solution. Now we want to discuss the method of asymptotic expansion for the
example (1.11), a throw in a gravitational field of a planet. We apply Taylor expansion
at z = 0
1
= 1 − 2z + 3z 2 − 4z 3 ± · · ·
(1 + z)2
1
yε (τ ) = − (1.16)
(1 + ε yε (τ ))2
and get
yε (τ ) = −1 + 2ε yε (τ ) − 3ε2 yε2 (τ ) ± · · · . (1.17)
We assume that the solution yε also possesses a series expansion of the form
20 1 Introduction
yε (τ ) = y0 (τ ) + εα y1 (τ ) + ε2α y2 (τ ) + · · · (1.18)
In the same way the series expansion can be substituted into the initial conditions
and one obtains
To compare the coefficients appearing in (1.19) for the same powers of ε on the left
and right-hand side is more complicated. The lowest appearing power of ε is ε0 = 1.
The comparison of the coefficients of ε0 leads to
y0 (τ ) = −1 .
Together with the initial conditions y0 (0) = 0 and y0 (0) = 1 we obtain the already
known problem (1.12) with its solution
1
y0 (τ ) = τ − τ 2 .
2
The next exponent to be considered depends on the choice of α. For α < 1 it is εα ,
comparison of the coefficients leads to
y1 (τ ) = 0 .
Together with the initial conditions y1 (0) = y1 (0) = 0 we have the unique solution
y1 (τ ) = 0. The term 2εy0 in (1.19) can only be compensated by a term of the form
εkα yk , k ∈ N, kα = 1. As in the case of y1 we conclude that y j ≡ 0 for 1 ≤ j ≤
k − 1. Analogously one sees that the terms yk , where kα ∈ / N, all have to be zero.
Hence, one could have started with the ansatz α = 1.
1.5 Asymptotic Expansions 21
For α > 1 the next exponent is given by ε1 , and the comparison of coefficients
leads to y0 (τ ) = 0. This is a contradiction to the solution computed above. Therefore
α > 1 is the wrong choice.
In summary, the only reasonable exponent is α = 1. Then the coefficients of ε1
are given by
y1 (τ ) = 2 y0 (τ ) = 2τ − τ 2 .
Together with the initial conditions y1 (0) = y1 (0) = 0 one obtains the unique solu-
tion
1 1
y1 (τ ) = τ 3 − τ 4 .
3 12
2 3 1 4 3
y2 (τ ) = 2 y1 (τ ) − 3 y02 (τ ) = τ − τ − 3τ 2 + 3τ 3 − τ 4
3 6 4
together with the initial conditions y2 (0) = y2 (0) = 0. Its solution is given by
11 6 11 5 1 4
y2 (τ ) = − τ + τ − τ .
360 60 4
Correspondingly further coefficients y3 (τ ), y4 (τ ), · · · can be computed, but the effort
becomes larger and larger with increasing order. In particular the first three terms of
the series expansion are
1 1 3 1 1 11 11 6
yε (τ ) = τ − τ 2 + ε τ − τ 4 + ε2 − τ 4 + τ 5 − τ + O ε3 .
2 3 12 4 60 360
yε (τ ) = 0 .
y 0 + ε y1
yε
y0
1 2
Fig. 1.2 Asymptotic expansion for the vertical throw with ε = 0.2
y0 (τ0 ) = 1 − τ0 = 0 ,
and therefore τ0 = 1. From the coefficients of ε and the expansion yi (τε ) = yi (τ0 ) +
ε yi (τ0 )τ1 + · · · , i = 0, 1, one obtains
1
y0 (τ0 )τ1 + y1 (τ0 ) = −τ1 + τ02 − τ03 = 0
3
and therefore τ1 = 2/3. Thus, the approximation of first order for τε is given by
2
1 + ε.
3
The corresponding height is
h ε = yε (τε ) = y0 (τ0 ) + ε y0 (τ0 )τ1 + y1 (τ0 ) + O ε2
1 1
= y0 (τ0 ) + ε y1 (τ0 ) + O ε2 = + ε + O ε2 .
2 4
If one takes into account that the gravitational force decreases with height, then the
maximal height of the throw becomes slightly bigger. For our original example with
ε = 10−6 this affects the results in the seventh digit.
A priori it is not clear whether a series expansion of the form (1.18) exists. In
order to develop a model in a mathematically rigorous fashion by using such a series
expansion makes it necessary to justify the results obtained, for example by the
derivation of an error estimate of the form
1.5 Asymptotic Expansions 23
N
yε (τ ) − ε j y j (τ ) ≤ C N ε N +1 . (1.21)
j=0
for τ ∈ (0, T ) for an appropriate final time T , and ε small enough in the sense that
ε < ε0 for an appropriate ε0 to be specified. As a first step we construct a differential
equation for the error
z ε (τ ) = yε (τ ) − y0 (τ ) − ε y1 (τ ) .
1
z ε (τ ) = yε (τ ) − y0 (τ ) − ε y1 (τ ) = − + 1 − 2ε y0 (τ ) .
(1 + ε yε (τ ))2
1 1
= 1 − 2y + 3 y2,
(1 + y) 2 (1 + ϑy)4
1
z ε (τ ) = −1 + 2ε yε (τ ) − 3ε2 y 2 (τ ) + 1 − 2ε y0 (τ ) .
(1 + εϑ yε (τ ))4 ε
Substitution of yε (τ ) = z ε (τ ) + y0 (τ ) + ε y1 (τ ) leads to
z ε (τ ) = 2ε z ε (τ ) + ε2 Rε (τ ), (1.23)
where
3 yε2 (τ )
Rε (τ ) = − + 2y1 (τ ) .
(1 + εϑ yε (τ ))4
are valid. For an estimation of Rε (τ ) we need lower and upper bounds for yε (τ ).
These can be derived from the differential equation for yε and the representation
24 1 Introduction
τ τ t
yε (τ ) = yε (0) + yε (t) dt = yε (0) + yε (s) ds dt
0 0 0
τ t
=τ+ yε (s) ds dt .
0 0
We set tε := inf t t > 0, yε (t) < 0 . Obviously it follows from (1.16), that
yε (τ ) ≥ −1 for 0 < τ < tε and therefore
1
yε (τ ) ≥ τ − τ 2 .
2
1 C1
ε0 = 2
− .
2T 2C0
C0 2
|z ε (t)| ≤ ε .
2
As z ε is continuous, in particular we have τε ≥ T . Hence, (1.22) has been shown,
for C = C0 /2.
The procedure to determine an asymptotic expansion can also be formulated more
generally and abstractly in Banach spaces, i.e., in complete, normed vector spaces.
Let B1 , B2 be Banach spaces and
F : B1 × [0, ε0 ) → B2
F(y, ε) = 0 .
and expand
⎛ ⎞
∞ ∞ ∞
F(yε , ε) = εi Fi (yε ) = εi Fi ⎝ εj yj⎠
i=0 i=0 j=0
⎛ ⎛ ⎞
∞ ∞
= εi ⎝ Fi (y0 ) + D Fi (y0 ) ⎝ εj yj⎠
i=0 j=1
⎛ ⎞ ⎞
∞ ∞
+ 21 D 2 Fi (y0 ) ⎝ εj yj, εj yj⎠ + . . . ⎠
j=1 j=1
We try to solve these equations successively, with increasing order and obtain
F0 (y0 ) = 0 ,
D F0 (y0 )(y1 ) = −F1 (y0 ) ,
1 2
D F0 (y0 )(y2 ) = −F2 (y0 ) − D F1 (y0 )(y1 ) − D F0 (y0 )(y1 , y1 ) ,
2
..
.
D F0 (y0 )(yk ) = G k (y0 , . . . , yk−1 ) .
Definition 1.1 If the values y0 , . . . , y N are solutions of the above displayed equa-
tions, then the series
N
yεN := εi yi
i=0
An important question now is: Are the solutions for the problems “perturbed” by a
small parameter ε a good approximation for the original problem? A positive answer
is encoded in the following definition.
F(y, ε) = 0, ε > 0 ,
lim F(y0 , ε) = 0 .
ε→0
Remarks
1. In general consistency does not imply convergence: also in a consistent situation
the solutions yε of F(y, ε) = 0 does not need to fulfill
yε − y0 → 0 in B1
changes its order for ε → 0. In particular for ε = 0 the equation becomes insolv-
able and the solutions xε± of ε x 2 − 1 = 0 converge to infinity for ε → 0.
(ii) The initial value problem
1
ε yε = , yε (0) = 0 , yε (0) = 1
(yε + 1)2
changes its character if one sets ε = 0. For ε > 0 one has a differential equation
and for ε = 0 one obtains an insolvable algebraic equation.
1.6 Applications from Fluid Mechanics 27
v = v(t, x) ∈ R3 , t ∈ R, x ∈ R3 ,
of the fluid. We assume that for |x| → ∞ the velocity converges to a constant value,
i.e.,
v(t, x) → V ∈ R3 as |x| → ∞ .
From conservation principles and using certain constitutive assumptions about the
properties of the fluid the Navier–Stokes equations can be derived, see Chap. 5. For
an incompressible fluid with constant density 0 neglecting exterior forces we obtain
where p denotes the pressure and μ the dynamic viscosity of the fluid. The viscosity
is caused by internal friction. It is high for honey and low for gases. Furthermore,
expressed in Cartesian coordinates we have
3
∂
∇ ·v = vi ∈ R for the divergence of a vector field v,
i=1
∂xi
3
∂2
Δv = v ∈ R3 the Laplacian operator and
i=1
∂x 2
i
3
(v · ∇)v = v i ∂i v j ∈ R3 .
i=1 j=1,2,3
variables dimension
v velocity L/T
0 mass density M/L 3
p pressure = force/area (M · L/T 2 )/L 2 = M/(L T 2 )
Furthermore we have
[μ] = M/(L T ) .
x t
y= , τ= ,
x t
and p
q(τ , y) = , where p is still to be determined.
p
t|V | p t μ t
∂τ u + (u · ∇)u = − ∇q + Δu .
x 0 x|V | 0 (x)2
Here Re := x|V |/η is called the Reynolds number. For large |y| the Euclidean norm
of the nondimensionalized velocity converges to 1. Furthermore it still holds that
∇ ·u = 0.
This means that flow situations with different x lead to the same dimensionless form,
if the Reynolds number is the same for the different situations. If we reduce the size
of the ship by the factor 100, then one possibility is to enlarge the approach velocity
by the factor 10 and to reduce the kinematic viscosity by the factor 10 to obtain the
same Reynolds number.
With the help of the Reynolds number one can estimate which effects are of
importance for a flow and which effects are not. We discuss this for the example
of two different models for the flow resistance of a body, which we motivate by
means of heuristic considerations. For the case of small Reynolds numbers, i.e.,
for high viscosity or a small approach velocity, the viscous friction dominates the
flow resistance. Then the characteristic quantities are the velocity v of the obstacle
relative to the flow, a characteristic quantity x for the size of the obstacle, and the
dynamic viscosity μ of the fluid. The dimensions are given by [v] = L/T , [x] = L,
and [μ] = F T /L 2 , where F denotes the dimension of force. Then a combination of
these quantities has the dimension
v a x b μc = L a+b−2c T −a+c F c .
a + b − 2c = 0, −a + c = 0, and c = 1
FR = −c R μ x v (1.26)
where FR is the friction force acting on the body, v the velocity of the body relative
to the flow velocity, and c R is the friction coefficient which is depending on the shape
of the body. For a sphere with radius r it can be shown that
30 1 Introduction
FR = −6πr μv
Δm ≈ A |v| Δt ,
where is the density of the fluid and A the cross sectional area of the body. Here
the term A |v| Δt just describes the volume replaced by the body in the time interval
Δt. This fluid volume is accelerated to velocity v. The supplied kinetic energy is
where ∝ indicates that the two sides are proportional to each other. Hence, we obtain
|FR | ∝ 21 A |v|2 .
FR = − 21 cd A|v|v . (1.27)
As this force is proportional to the square of the velocity, for large velocities it
dominates the viscous frictional force (1.26), on the other hand for small velocities
it can be neglected compared to (1.26). Formula (1.27) can also be justified by a
dimensional analysis (see Exercise 1.12). In applications the drag coefficient has to
be determined by measurements since for most body shapes a theoretical derivation
as for a sphere in the case of Stokes’ law does not exist any more. In any case (1.27)
is only a relatively coarse approximation to reality, the real dependence of the flow
resistance on the velocity is considerably more complex. On the other hand Stokes’
law is a relatively good approximation, if only the velocity is sufficiently small.
In order to assess for a given application which of the two laws (1.26) or (1.27)
is reasonable, the coefficient of the two frictional forces can be considered:
|FR(1.27) | x|v|
∝ = Re .
|FR(1.26) | μ
In doing so we choose the scale x such that A = x 2 . Therefore Stokes’ law (1.26)
makes sense for Reynolds numbers Re 1. On the other hand the flow resistance
1.6 Applications from Fluid Mechanics 31
given by (1.27) dominates for Re 1. For Re ≈ 1 both effects have the same impor-
tance.
The Navier–Stokes equations being a complex model the question arises whether
certain terms can be neglected in specific situations. As we have transferred the
equation to a nondimensional form it is possible to speak of large or small independent
of the choice of units: now the number 1 can be interpreted as a medium sized quantity.
The only parameter is the Reynolds number and for many problems Re is very large.
Then ε = 1/ Re is a small term which suggests to neglect the term εΔu = Re 1
Δu. In
this way we obtain the Euler equations of fluid mechanics
∂τ u + (u · ∇)u = −∇q ,
∇ ·u = 0.
How good is the description of a real fluid by this reduced model? Later we will see
that the Euler equations do not allow for the formation of vortices (see Sect. 6.1.4).
Most specifically we have
⎛ ⎞
∂x2 u 3 − ∂x3 u 2
∇ × u(t, x) = ⎝∂x3 u 1 − ∂x1 u 3 ⎠ = 0
∂x1 u 2 − ∂x2 u 1
1.7 Literature
1.8 Exercises
(a) Compute and compare the effective interest rate which is obtained after a year
(reinvesting all paid interest).
(b) How must the interest rates be adjusted, such that they lead to the same yearly
interest rate of 3.6%?
(c) Develop an interest model that is continuous in time, which does not need a time
increment for the payment of interest.
Exercise 1.2 A police officer wants to determine the time of death of the victim of a
homicide. He measures the temperature of the victim at 12.36 p.m. and obtains 80◦ F.
According to Newton’s law of cooling the cooling of a body is proportional to the
difference between the body’s temperature and the ambient temperature. Unfortu-
nately the proportionality constant is unknown to the officer. Therefore he measures
the temperature at 1.06 p.m. once more and now he obtains 77◦ F. The ambient
1.8 Exercises 33
temperature is 68◦ F and it is assumed that the body’s temperature at the time of
death has been 98◦ F.
At what time the homicide took place?
We look for solutions passing through the point (t0 , x0 ), i.e., x(t0 ) = x0 holds true.
(a) Show that in the case g(x0 ) = 0 locally a unique solution through the given point
exists.
(b) Assume that g = 0 in the interval (x− , x+ ), where g(x− ) = g(x+ ) = 0 and let g
be differentiable at x− and x+ . Show that the solution of the differential equation
through the point (t0 , x0 ), where x0 ∈ (x− , x+ ), exists globally and is unique.
Hint: Is the solution through the point (t+ , x+ ) unique?
(a) Nondimensionalize the model using appropriate units for t and x. Which possi-
bilities exist?
(b) What nondimensionalization is appropriate for x0 x M (x0 “much smaller
than” x M ) in the sense that omitting small terms leads to a reasonable model?
Exercise 1.6 A model for the vertical throw on the Earth taking into account the air
resistance is given by
In this model the gravitational force is approximated by F = −mg, the air resis-
tance for a given velocity v is described by −c|v|v with a proportionality constant c
depending on the shape and size of the body and the density of the air. This law is
reasonable for high velocities.
(a) Nondimensionalize the model. What possibilities exist?
(b) Compute the maximal height of the throw for the data m = 0.1 kg, g = 10 m/s2 ,
v 0 = 10 m/s, c = 0.01 kg/m and compare the result with the corresponding result
for the model without air resistance.
|v| |v|
Re = (Reynolds number) and Fr = √ (Froude number).
η g
compute the formal asymptotic expansion of the solution x(t) up to the second
order in ε.
(b) Compute the formal asymptotic expansion for the instance of time t ∗ > 0, for
which x(t ∗ ) = 0 holds true, up to first order in ε, by substituting the series
expansion t ∗ ∼ t0 + ε t1 + O(ε2 ) into the approximation obtained for x leading
to a determination of t0 and t1 .
1.8 Exercises 35
Exercise 1.9 A model already nondimensionalized for the vertical throw with small
air resistance is given by
for small ε.
(b) Compute the maximal height of the throw up to terms of order ε using asymptotic
expansion.
(c) Compare the results from (b) for the data of Exercise 1.6(b) with the exact result
and the result neglecting the air resistance.
Exercise 1.10 (Multiscale approach) The function y(t) is supposed to solve the
initial value problem
Here Cbn ([0, ∞)) denotes the vector space of n-times differentiable functions with
bounded derivatives up to order n. The norms of the spaces B1 and B2 are given by
(a) For the problem F(y, ε) = (0, 0, 0) compute the exact solution yε .
(b) Show: F(·, ε) is consistent with F(·, 0), but yε does not converge to y0 in B1 as
ε → 0.
Exercise 1.12 Derive the friction law for the flow resistance in the case of high
Reynolds numbers,
FR = − 21 cW A |v|v ,
by means of a dimensional analysis. Use the assumptions that the frictional force
depends on the density of the liquid, a characteristic quantity r of the body, and
the velocity v of the flow. As the drag coefficient depends on the shape of the body
choosing r such that A ≈ r 2 is feasible.
Exploring the Variety of Random
Documents with Different Content
Octavia. Nostris eram in hortis cum matre, ante sex menses.
Multa de suo in me amore et studio dixit, repetitis a prima pueritia
exemplis. «Nunc vero munus concinno tibi,» subjicit subridens,
«quod omnium longe rerum superet pretium.» Gratias egi. Paucos
post dies, accersit in ædes Robertum. Jubet nobiscum prandere,
convertebat nostros in se oculos tot venustatum avidos. Mirabar; nec
scienti, nec percipienti mihi gliscebat amor. «Libere colloquere: scio
te præstare ingenio.—Quandoquidem, domina, jubes, parum a
reverentia quam tibi debeo et ab officio secedam meo, ne inobediens
videar, qui sum obsequentissimus, et esse debeo.—Ingeniose
respondet,» repono.—«Atenim,» ait, «ingenii quæ credis esse aliquid
in me, inspira ex tuo, et erit. Nam in te dextro convenit Jove
pulchritudo corporis et præstantia ingenii.—Ergo, Roberte, quæ se
suis non probat, pulchra tuis videtur oculis Octavia?» refert mater.
—«Videtur, per omnes Deos, per omnes Deas! pulcherrima, et est.
Diis amorem, et Deabus invidiam creare possit.—Quid si consentiret
amori tuo Octavia,» subjicit mater, «amares?—Amabo,» ait,
«quanquam et non consentiat. Nam nihili sum puer: qui tandem fiet
[pg 279] ut consentire posset amori meo? Sed locuples est illa et
Naturæ, et Fortunæ, et virtutum donis: qui fieri potest ut non
amem?—Gratum sane erit,» respondeo, «me abs te amari tam
amabili puero. Vis mihi alter esse maritus?—Dedecores mariti
nomen,» reponit, «mihi si indideris; servi et vernulæ relinque: studiis
erga te meis, ut potero, honestabo.» Finitis epulis rediit ad
Academicos, et sensi, cum abiit, aliquam meæ mihi animæ partem
deesse. Tunc mater ad me:—«Quid de puero judicas, nata?» Esse
respondeo ex Amoribus unum, eumque pulcherrimum, qui ex
Veneris gremio evolavit ad nos.—«Num dices,» adjicit mater, «fore
beatas quarum in amplexus veniet?—Sane ut futuræ sint infelices,»
respondeo, «non video. Hunc sibi reginæ generum velint.» Dein
cæcum alebam venis vulnus, Tullia mea. Tandem post mensem,
nascenti amori favit mater optima. Jubet venire Robertum; liberam
dat confabulandi mecum potestatem. Ingeniosus est Amor, quem
fata instillant. Puer per ætatem nec par amori, nec satis aptus,
amore arsit, cujus usum nesciebat. Interea contigit matrem diro
conflictari meam morbo. Ut bonam recepit valetudinem: «Ingrata
sim,» inquit, «Octavia mea, si, quæ ope et opera tua erepta sum
letho, tuis in me benefactis non respondeam meis in te. Tanti pretii
sum tibi pollicita munus, quod omne pretium superet; meministi?—
Memini, mater,» inquam; «et quicquid a te mihi venerit summo erit
in pretio.» At illa osculum ferens:—«Robertum,» reponit, «volo tibi
[pg 280] dono dare, quem et Juno optet sibi dari. Erubescis? Novi
abs te amari.—Non nego, mater,» refero.—«Hunc tibi educo,» ait,
«et servo; volo, dignus ut sit benevolentia tua, excoli diligenter omni
virtutum et disciplinarum genere. Hunc tuos in amplexus conjiciam.
Sed tener est; de ejus tantum pulchritudine et vita detraxeris,
quantum acrius indulseris voluptati. Id fac ne obliviscaris.—Non sum
oblitura,» dixi. Tertio post die, quæsivit, inter prandendum, an domi
reliqua die futura essem. Respondit in animo esse domi manere.
Post laudavit domesticam vestem, qua induta eram libera et fluxa, e
subtilissimo lino.—«Nec ista,» inquit, «invidet oculis tuas vestis
dotes, nec objicit. Mirifice in ea places: ne mutes.» Dixi non
mutaturam.
Tullia. Quæ cogitabas cum animo tuo, cum amore tuo?
Octavia. Non cogitabam adfuturam tam cito mihi tantam
felicitatem. Nescio quid non absolutum dat in manus Attalici operis
mater. «Acu pinge quæ desunt, quæ egregia es artifex,» ait. Recessi
in cubiculum. Is erat dies vigesimus Maii. Sedeo humili in lecto,
sericeo strato vellere. In variis cogitationum nebulis mihi mens
ludebat; dubius inter vigiliam et somnum allabitur sopor. Ecce hoc
momento intrat Manilia, puerum ad me perducens. Affixæ humeris
alas, et pendens pharetra; arcum læva, sagittam dextra gestabat.
Cupidinem dixisses, et vere erat.—«Parens me mittit Venus ad te,»
ait voce blanda puer, «quod scit a te vinci se pulchritudine: [pg 281]
vult serviam tibi Amorum reginæ.—Non servies,» repono,
«pulcherrime Amorum; esse si velis ex animo meus, regnabis.—At
enim,» subjicit Manilia, «dies fabulis vobis perdenda non est. Secede
paulum, formose Amor.» Ut secessit: «Ego et mater tua mancipio tibi
nexuique, nata,» inquit, «hunc puerum damus; sed tener est et
debili lumbo. Utere, sed parca voluptate; sin aliter feceris, defluet, ut
solent flores quos carpsit gelida hyems.—Depereo,» aio, «puerum
misera, et abunde erit voluptatis cupidæ et amanti, si sciero vere
esse meum.—Parce puero,» dicebat nutrix; «hac hora satisfactum
crede voluptati tuæ, si puero eripueris virginitatem, quod ejus sine
dolore non fiet. Nam illi mentula obducta præputio est, nec aperiet
impune tibi caput reginæ suæ. Promisit se fortiter facturum; quo
volueris habere inspira animos, venustatum tuarum et voluptatum
ostentatione.» Post alas Amori puero demebat. «Nam volo te,»
dicebat, «constantem esse; nolo ab ejus unquam evoles latere.»
Tollit pharetram et sagittas. «Nunc,» inquit, «opus sunt alia tibi tela,
aliis pugnandum armis.—Intelligo,» ait ille, «et esse telum mihi
sentiet dea mea, quo secum pugnem.» Abiit nutrix, et fores occlusit.
Tullia.
Dicite: Io, Pæan, et Io bis dicite: Pæan!
Decidit in casses præda petita meos.
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
[pg 301] ...—«Insomnem egi noctem. Perstrepebat contignatio vi
concussa: cubiculi timui casum. Fabulam egitis, nec dubito; hæc tibi
Diana sagittifer fuit Apollo. Configebat tibi, noli erubescere, Octavia
mea, configebat tuum Pythonem. Hodie mane, cum vale abiens dixit,
junxi pectori pectus, nullo Dianæ tuæ exsurgere sinum mammarum
tumore sensi, nullo vidi. Et fœmineo suavius dedit suavium. Non is
vividus et micans oris color, qui heri erat; impallescebat nocturno
labore.—Erras, Eleonora, repono. Virum non habui in viduo thoro.
Sed lucta, et pudet fateri, lusimus Cupidinea, Sappho et Andromede.
O videres, Eleonora, nascentes mammarum orbes! arderes. O
videres non vere cunnum, sed cunniculum! fureres. Placui maritus,
placuit uxor, tribadico furore et sudore.»
Tullia. Erat Enemonda forma excellens, Fernando Portio soror. Et
Enemondæ erat amica Francisca Bellina, etiam forma præstans.
Nesciebant inter se quæ magis amaret, quæ magis amaretur.
Cubabant frequenter una in domo Fernandi. Secretis petebat, quales
amat Venus, insidiis, Franciscam Fernandus; se peti sciebat puella, et
gratulabatur suæ formæ. Surrexerat impatiens libidinis, surgente
Aurora, e lecto adolescens; frigido aeris halitu mitigabat ignes, in
pergula. Tremula strepebat argutatione, proximo in cubiculo, sororis
lectus. Patebat vero ostium: hanc amanti commodarat puellarum
negligentiam Venus favens. Intrat, nec vident libidine cæcæ, libidine
ebriæ. Superequitabat Francisca; Enemondam impellebat [pg 302]
ad cursum, nuda nudam. «Ambiunt,» dicebat Francisca, «meam
quotidie pudicitiam nobiliores et salaciores mentulæ. Pulchriorem ex
iis, amica, legam ego, sed tibi. Sic volo indulgere genio tuo, et meo.»
Dicens, subagitabat acerrime. Conjicit Fernandus se in lectum nudus.
Territæ puellæ, nec fugere ausæ sunt; amplexu Franciscam ligat
cursu fessam, osculatur.—«Audes tu, improba, vitiare sororem
meam,» ait, «tam sanctam, tam castam? Pœnas dabis. Domus
ulciscar meæ injurias. Patiere furores meos, ut illa tuos.—Frater mi,
frater mi,» respondit Enemonda, «ignosce amantibus; noli nos
traduci ludibrio.—Nemo sciet,» inquit; «faveat hæc mihi cunno,
favebo ego utrique lingua. Nemo sciet.»
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
ebookbell.com