Advanced Mathematical Economics...Paulo Brito Advanced Mathematical Economics 2020/2021 4...

36
Advanced Mathematical Economics Paulo B. Brito PhD in Economics: 2020-2021 ISEG Universidade de Lisboa [email protected] Lecture 6 18.11.2020

Transcript of Advanced Mathematical Economics...Paulo Brito Advanced Mathematical Economics 2020/2021 4...

  • Advanced Mathematical Economics

    Paulo B. BritoPhD in Economics: 2020-2021

    ISEGUniversidade de Lisboa

    [email protected]

    Lecture 618.11.2020

  • Contents

    7 First order quasi-linear partial differential equations 27.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27.2 Scalar equations in the infinite domain and the method of characteristics . . . . . . . 6

    7.2.1 Introduction: the method of characteristics . . . . . . . . . . . . . . . . . . . 67.2.2 The two simplest first order PDEs . . . . . . . . . . . . . . . . . . . . . . . . 77.2.3 Linear equation with constant coefficients . . . . . . . . . . . . . . . . . . . . 77.2.4 Semi-linear equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137.2.5 Quasi-linear equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

    7.3 The linear equation in the semi-infinite domain and Laplace transform methods . . . 177.3.1 Linear equation with zero right-hand side . . . . . . . . . . . . . . . . . . . . 177.3.2 Linear equation with homogeneous right-hand side . . . . . . . . . . . . . . . 20

    7.4 Qualitative dynamics of first-order PDE’s . . . . . . . . . . . . . . . . . . . . . . . . 217.5 Evolution equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217.6 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

    7.6.1 The transport equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227.6.2 Age-structured population dynamics . . . . . . . . . . . . . . . . . . . . . . . 237.6.3 Cohort’s budget constraint . . . . . . . . . . . . . . . . . . . . . . . . . . . . 257.6.4 Interest rate term-structure . . . . . . . . . . . . . . . . . . . . . . . . . . . . 267.6.5 Optimality condition for a consumer choice problem . . . . . . . . . . . . . . 287.6.6 Growth and inequality dynamics . . . . . . . . . . . . . . . . . . . . . . . . . 30

    7.7 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 327.A Laplace transforms and inverse Laplace transforms . . . . . . . . . . . . . . . . . . . 33

    1

  • Chapter 7

    First order quasi-linear partialdifferential equations

     

    7.1 Introduction

    In this chapter we present introductory results on first-order partial differential equations (PDE)and some applications to demography and economics. Those equations can also be called hyperbolicPDEs, using a classification for second-order equations. They are another example of functionalequations.

    A first-order (or hyperbolic) PDEs is a known function of one or more unknown functions ofmore than one independent variable, together with its first-order derivatives. If there is only oneunknown function we call the PDE scalar, and if there are two unknown functions we call it planarPDE.

    In physics these equations model advection, travelling or transportation behaviors. They areused in mathematical demography for modelling age-dependent dynamics of population.

    In economics, usually one of the independent variables is time and the other independent variableis the support of some distribution. They can be applied in continuous time overlapping generationsmodels, vintage capital models, interest rate term-structure models in continuous time. They alsoprovide an elegant and effective way of modelling the dynamics of distribution in heterogeneousagent economies.

    The Hamilton-Jacobi equation for deterministic optimal control problems with a finite horizonand a constraint given by a ordinary differential equation is also usually a non-linear first-orderPDE.

    The field is very large in terms of equations studied and methods involved, and is not generallyin the toolbox of economists. We will only present a very brief introduction allowing to study verysimple linear models.

    There are two benefits from studying these equations: first, they provide a convenient modelling

    2

  • Paulo Brito Advanced Mathematical Economics 2020/2021 3

    framework for setting up and characterizing the solution for models with heterogeneity, whichis becoming topical in economics, second, they provide a better understanding of the implicitassumptions which are introduced when using ODE (or difference equations ) models for studyingdynamics of heterogeneity.

    We assume throughout that there are only two independent variables x  = (π‘₯1, π‘₯2) ∈ X βŠ† ℝ2and deal mainly with equations of dimension one, that is mappings 𝑒 ∢ X β†’ ℝ.

    Definition A first-order partial differential equation  in two independent variables x ∈X βŠ† ℝ2 is a known relation 𝐹 ∢ 𝐷 β†’ ℝ where 𝐷 βŠ‚ ℝ5 involving the unknown function 𝑒 ∢ X β†’ ℝand its gradient

    𝐹(x, 𝑒(x), βˆ‡π‘’(x)) = 0 (7.1)

      where βˆ‡π‘’(x) is the gradient of 𝑒(.), i.e.

    βˆ‡π‘’(x) = (πœ•π‘’(x)πœ•π‘₯1, πœ•π‘’(x)πœ•π‘₯2

    )⊀

    (𝑒π‘₯1(x), 𝑒π‘₯2(x))⊀

      where we use the 𝑒π‘₯𝑖(.) =πœ•π‘’(.)πœ•π‘₯𝑖 = πœ•π‘₯𝑖𝑒(x).

    Types of first-order PDE First-order PDE are classified into four categories:

    β€’ linear PDE: if 𝐹(β‹…) is linear in the derivatives βˆ‡π‘’(x) and 𝑒,

    π‘Ž(x) 𝑒π‘₯1 + 𝑏(x) 𝑒π‘₯2 = 𝑐(x) 𝑒 + 𝑑(x) (7.2)

    where π‘Ž(β‹…), 𝑏(β‹…), 𝑐(β‹…) and 𝑑(β‹…) are differentiable functions of x;

    β€’ semi-linear PDE: if 𝐹(β‹…) is linear in βˆ‡π‘’(x) and non-linear in 𝑒, which only enters into theright-hand side,

    π‘Ž(x) 𝑒π‘₯1 + 𝑏(x) 𝑒π‘₯2 = 𝑐(x, 𝑒); (7.3)

    β€’ quasi-linear PDE: if 𝐹(β‹…) is linear in βˆ‡π‘’ and non-linear in 𝑒 as

    π‘Ž(x, 𝑒) 𝑒π‘₯1 + 𝑏(x, 𝑒) 𝑒π‘₯2 = 𝑐(x, 𝑒) (7.4)

    β€’ non-linear PDE: if 𝐹(β‹…) is non-linear in βˆ‡π‘’(x) and 𝑒

    𝐹(x, 𝑒, βˆ‡π‘’) = 0

      where 𝐹 is non-linear in 𝑒π‘₯1 and/or 𝑒π‘₯2Linear equations can be classified further as non-autonomous or autonomous, if π‘Ž, 𝑏, 𝑐 and 𝑑

    are constants, or non-homogeneous or homogeneous, if function 𝑐(x, 𝑒) is homogeneous in 𝑒.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 4

    Multi-dimensional first order PDE equations   In addition we can consider systems ofhyperbolic equations

    F(x, u(x), 𝐷xu(x) = 0

      where x ∈ β„π‘š and u ∢ β„π‘š β†’ ℝ𝑛, and 𝐷xu denotes the Jacobian.For, instance a linear planar equation in two independent variables we have

    A Dxu(x) = B  u(x)

      where

    u(x) = (𝑒1(x)𝑒2(x)) and Dxu(x) = (

     πœ•π‘₯1𝑒1(x) πœ•π‘₯2𝑒1(x)πœ•π‘₯1𝑒2(x) πœ•π‘₯2𝑒2(x)

    )

      and

    A = (π‘Ž11 π‘Ž12π‘Ž21 π‘Ž22)   and B = (𝑏1𝑏2

    ) .

     

    Solutions A solution to a first-order PDE is a differentiable function 𝑓(π‘₯, 𝑦) that satisfies thePDE. Existence and uniqueness of solutions for first-order PDE, and for problems involving them,are not guaranteed. Classic solutions are solutions such that 𝑒 ∈ 𝐢1(X). Otherwise we callgeneralised or weak solutions (i.e, non-differentiable or discontinuous solutions).

    There are several methods for obtaining solutions  which can be applied to general orspecific problems. The analytical methods for simpler equations are

    β€’ method of characteristics

    β€’ transformation methods (in particular application of Laplace transforms)

    Those methods simplify the first-order PDE into a system of ODE’s or a parameterised ODE.

    Problems involving PDEs There are two main types of problems involving first-order PDE.

    1. the Cauchy problem: there is a single constraint on x along a surface Ξ“ ∈ X:

    ⎧{⎨{⎩

    𝐹(x, 𝑒(x), βˆ‡π‘’(x)) = 0, x ∈ X𝑒 βˆ£Ξ“= πœ™, x ∈ Ξ“ βŠ‚ X

      where πœ™ is a constant;

    2. problems may involve two constraints, associated with each independent variable, for instance

    ⎧{{⎨{{⎩

    𝐹(x, 𝑒(x), βˆ‡π‘’(x)) = 0, x ∈ X𝑒 ∣π‘₯1=0= πœ“(π‘₯2), (0, π‘₯2) ∈ X𝑒 ∣π‘₯2=0= πœ™(π‘₯1), (π‘₯1, 0) ∈ X

     

  • Paulo Brito Advanced Mathematical Economics 2020/2021 5

    Well-posed problems Existence, uniqueness and properties of solutions vary widely. Again wehave to distinguish existence properties of the PDE and of the problem involving the PDE (i.e., thePDE and the boundary conditions). A problem is ill-posed  if, for instance, although the PDEhas a solution the problem involving the PDE may not have a solution, in the same domain as thesolution to the PDE. A problem is well-posed  if the general solution to the PDE has a particularsolution satisfying the constraints of the problem.

    Linear PDEs, and well-posed problems involving liner PDEs, have explicit solutions.

    Qualitative theory Let us consider the case in which time is one of the independent variables,i.e., 𝑒 = 𝑒(𝑑, π‘₯) such that 𝑒 ∢ R+ Γ— R β†’ R. Therefore, the solution of a first-order PDE describesa solution of a distribution, or wave, travelling over X across time.

    For linear and well-posed PDE’s the distributional dynamics that characterizes their solutioncan be explicitly discovered.

    For non-linear PDEs we are unaware of the existence of a qualitative theory as developed asthe qualitative theory for ODE’s. In particular, a Grobmann-Hartmann theorem for PDE doesnot seem to be available. There are phenomena that do not exist in ODE’s: traveling waves, frontwaves, for instance.

    An important case of first-order PDE’s are equations of type

    𝑒𝑑 + 𝑔(𝑒)π‘₯ = 0

      that satisfy a conservation law

    ∫X

     π‘’(𝑑, π‘₯) 𝑑π‘₯ = οΏ½Μ„οΏ½ for every 𝑑 ∈ ℝ+.

      where οΏ½Μ„οΏ½ is a constant. Given an initial function 𝑒(0, π‘₯) = πœ™(π‘₯) such that

    ∫X

     πœ™(π‘₯) 𝑑π‘₯ = οΏ½Μ„οΏ½ for 𝑑 = 0,

      the solution 𝑒(𝑑, π‘₯) conserves the same mass throughout time. Assuming that the solution exists,we may be interested in characterizing the asymptotic behavior of the distribution limπ‘‘β†’βˆž 𝑒(𝑑, π‘₯).Thisis the analog of studying the long-run behavior for ODE’s. However, while the solution of an ODEcan converge asymptotically to a steady state (a point) the solution of a PDE can converge asymp-totically to a function (or a steady state distribution).

    In the rest of the chapter, in section 7.2 we solve scalar linear equations with an infinite domainthrough the method of characteristics. In section 7.3 we solve some linear equations in the semi-infinite domain by using Laplace transform methods. In section 7.4 we discsuss the qualitatitiveanalysis of first-order PDE’s when time is one independent variable. In Section 7.6 has severalapplications to economics and demography are presented.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 6

    7.2 Scalar equations in the infinite domain and the method ofcharacteristics

    7.2.1 Introduction: the method of characteristics

    In this section we solve hyperbolic PDE in the infinite domain. We denote the independent variablesby x and assume that the domain of x is the whole set X = ℝ2. We consider scalar function𝑒 ∢ ℝ2 β†’ ℝ as our dependent variable and consider quasi-linear equations of type 1

    π‘Ž(x, 𝑒) 𝑒π‘₯1(x) + 𝑏(x, 𝑒) 𝑒π‘₯2(x) = 𝑐(x, 𝑒(x)), x ∈ X

      and π‘Ž(.), 𝑏(.), and 𝑐(.) are known functions.One useful method to solve the hyperbolic PDE in the infinite domain is the method of

    characteristics.The following definition is useful

    Definition 1. Directional derivative Consider a function 𝑓(x), the derivative  of 𝑓 in thedirection given by vector v = (𝑣π‘₯1 , 𝑣π‘₯2)⊀ is

    βˆ‡v𝑓(x) = limβ„Žβ†’0𝑓(π‘₯1 + β„Ž 𝑣π‘₯1 , π‘₯2 + β„Ž 𝑣π‘₯2) βˆ’ 𝑓(x)

    β„Ž  

      if the limit exists.

    If function 𝑓(π‘₯, 𝑦) is differentiable, the directional derivative  of 𝑓 in the direction given byvector v = (𝑣π‘₯, 𝑣𝑦)⊀ is equal to the dot product2 

    βˆ‡v𝑓(x) = βˆ‡π‘“(x) β‹… v = (𝑓π‘₯1 , 𝑓π‘₯2) β‹… (𝑣π‘₯1 , 𝑣π‘₯2) = 𝑓π‘₯1(x)𝑣π‘₯1 + 𝑓π‘₯2(x)𝑣π‘₯2 .

     We start with simple linear PDE to illustrate their solution using the method of character-

    istics. A characteristic is a curve in the domain x, which we can write as x = X(πœ‰) such thatsuch that 𝑒(X(πœ‰)) behaves like an ODE. This means that for every πœ‰ ∈ ℝ the solution of the PDEbehaves like and ODE.

    It is very important to remember that we assume, in all this section, that there are no restrictionson the domain of the independent variables, π‘₯1 and π‘₯2 in this section, that is, we assume x ∈ ℝ2.In the next sections we introduce constraints on the domain X.

    1The following notation sometimes is more convenient

    π‘Ž(x, 𝑒)πœ•π‘₯𝑒(x) + 𝑏(x, 𝑒)πœ•π‘¦π‘’(x) = 𝑐(x, 𝑒(x)), x ∈ X.

     2Observe there is a relationship with the total differential. Let 𝑧 = 𝑓(π‘₯, 𝑦), where 𝑓(.) is differentiable. The total

    differential is 𝑑𝑧 = 𝑓π‘₯(π‘₯, 𝑦)𝑑π‘₯ + 𝑓𝑦(π‘₯, 𝑦)𝑑𝑦. If we write 𝑑π‘₯ = 𝑣π‘₯β„Ž and 𝑑𝑦 = π‘£π‘¦β„Ž then βˆ‡π‘“(π‘₯, 𝑦) β‹… v = limβ„Žβ†’0 π‘‘π‘§β„Ž .

  • Paulo Brito Advanced Mathematical Economics 2020/2021 7

    7.2.2 The two simplest first order PDEs

    We start with the two simplest first-order PDE: 𝑒π‘₯1(x) = 0 and 𝑒π‘₯2(x) = 0.

    Proposition 1. The equation π‘’π‘₯1(x) = 0, x ∈ X = ℝ2

      has the general solution𝑒(x) = 𝑓(π‘₯2)

      where 𝑓 ∈ 𝐢1(ℝ) is an arbitrary differentiable function.

    Proof. First observe that the solution to equation 𝑒π‘₯ = 0 is any function that remains constantalong direction 𝑣 = (1, 0)⊀. This can be proved by observing that the directional derivative alongthat direction is zero,

    βˆ‡π‘’(π‘₯, 𝑦) β‹… (1, 0) = 𝑒π‘₯ Γ— 1 + 𝑒𝑦 Γ— 0 = 𝑒π‘₯ = 0.

      This is equivalent to any function function, 𝑓(.), that remains unchanged along any variationparallel to the π‘₯-axis, that is 𝑓(𝑦).

    In order to have a better intuition on this result, consider an ODE 𝑒π‘₯(π‘₯) = 0, where 𝑒(π‘₯) is anunknown function of single independent variable 𝑒 ∢ ℝ β†’ X βŠ† ℝ. This equation has the solution𝑒(π‘₯) = π‘˜ where π‘˜ is an arbitrary point  in the domain of 𝑒(.), X βŠ† ℝ. In the case of the PDE𝑒π‘₯1(x) = 0 the solution is 𝑒(x) = 𝑓(π‘₯2) where 𝑓(π‘₯2) is an arbitrary differentiable function over ℝ.

    Proposition 2. The equation𝑒π‘₯2(x) = 0, x ∈ X = ℝ2

      has the general solution𝑒(x) = 𝑓(π‘₯1)

      where 𝑓 ∈ 𝐢1(ℝ) is an arbitrary differentiable function.

    Proof. Not the PDE solution is constant along the direction 𝑣 = (0, 1)⊀, because it is equivalent tothe directional derivative along that direction being equal to zero,

    βˆ‡π‘’(π‘₯1, π‘₯2) β‹… (0, 1) = 𝑒π‘₯2 = 0.

      In this case, the solution is any function function, 𝑓(.), that remains unchanged along any variationparallel to the 𝑦-axis, that is 𝑓(π‘₯1).

    From those two previous results we can understand more general linear first order scalar PDE’sas being constant along particular directions, which are called characteristics.

    7.2.3 Linear equation with constant coefficients

    Next we consider linear equations without side constrains and Cauchy problems for linear hyperbolicequations defined in the infinite domain.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 8

    A. Free boundary problems

    Consider the first order linear autonomous PDE

    𝑒π‘₯1(x) + π‘Ž 𝑒π‘₯2(x) = 0, x ∈ X = ℝ2 (7.5)

    where π‘Ž β‰  0 is an arbitrary constant.

    Proposition 3. The general solution of PDE (7.5) is

    𝑒(x) = 𝑓(π‘₯2 βˆ’ π‘Ž π‘₯1),

      where 𝑓 ∈ 𝐢1(ℝ) is an arbitrary differentiable function.

    Proof. First, observe that the PDE (7.5) determines a function 𝑒(π‘₯, 𝑦) which is constant along thedirection 𝑣 = (1, π‘Ž)⊀, because

    βˆ‡π‘’ β‹… (1, π‘Ž) = 𝑒π‘₯ + π‘Žπ‘’π‘¦ = 0.

      To interpret this geometrically consider the two-dimensional surface

    𝑆 ≑ { (π‘₯, 𝑦, 𝑒(π‘₯, 𝑦))} βŠ‚ ℝ3.

      A particular solution of the PDE (π‘₯0, 𝑦0, 𝑒(π‘₯0, 𝑦0)) belongs to the surface 𝑆. But, next we showthat a solution to the PDE traces out a curve 𝐢 over the surface 𝑆 in which 𝑒 remains constant.We call this curve a characteristic curve.

    In order to determine curve 𝐢 we parametrize the two independent variables as π‘₯ = 𝑋(𝑠),𝑦 = π‘Œ (𝑠), where 𝑠 ∈ ℝ. Then, we get a parameterized value for 𝑒, as 𝑒 = π‘ˆ(𝑠) = 𝑒(𝑋(𝑠), π‘Œ (𝑠)). Acharacteristic curve is defined as

    𝐢 = { (𝑋1(𝑠), 𝑋2(𝑠), π‘ˆ(𝑠)) ∢ π‘ˆ(𝑠) = constant}.

      Taking derivatives to 𝑒 = π‘ˆ(𝑠) = 𝑒(𝑋1(𝑠), 𝑋2(𝑠)) we find

    π‘‘π‘ˆπ‘‘π‘  =

    𝑑𝑒(𝑋1(𝑠), 𝑋2(𝑠))𝑑𝑠 = 𝑒π‘₯1

    𝑑𝑋1𝑑𝑠 + 𝑒π‘₯2

    𝑑𝑋2𝑑𝑠

      The PDE will hold if and only if the following conditions hold:

    β€’ the characteristic system

    𝑑𝑋1𝑑𝑠   = 1

    𝑑𝑋2𝑑𝑠   = π‘Ž

    β€’ the compatibility conditionπ‘‘π‘ˆπ‘‘π‘  = 0

     

  • Paulo Brito Advanced Mathematical Economics 2020/2021 9

    Solving the characteristic system and the compatibility equation we get

    π‘₯1 = 𝑋1(𝑠) = 𝑠 + 𝑐1π‘₯2 = 𝑋2(𝑠) = π‘Žπ‘  + 𝑐2𝑒 = π‘ˆ(𝑠) = π‘ˆ(0)

      where 𝑐1 and 𝑐2 are arbitrary constants, and π‘ˆ(0) is an arbitrary function, say 𝑓(π‘˜). We can set𝑐1 = 0 and 𝑐2 = π‘˜. Eliminating 𝑠 in the first two equations we find

    𝑠 = π‘₯1 =π‘₯2 βˆ’ π‘˜

    π‘Ž .

      This implies that there, a characteristic curve is a straight line in (π‘₯1, π‘₯2) with a constant valueπ‘₯2 βˆ’ π‘Ž π‘₯1 = π‘˜ is constant. Then we find the general solution for (7.5) to be constant along thedirection (1, π‘Ž)⊀,

    𝑒(π‘₯, 𝑦) = π‘ˆ(𝑠) = 𝑓(π‘˜) = 𝑓(π‘₯2 βˆ’ π‘Ž π‘₯1),  where 𝑓 is an arbitrary 𝐢1 function.

    Verification:   In order to check that this is a solution, assume that 𝑒(π‘₯1, π‘₯2) = 𝑓(π‘₯2 βˆ’ π‘Ž π‘₯1)for 𝑓(β‹…) ∈ 𝐢1(R) Then

    𝑒π‘₯1(π‘₯1, π‘₯2) + π‘Ž 𝑒π‘₯2 (π‘₯1, π‘₯2) = βˆ’π‘Žπ‘“β€²(π‘₯2 βˆ’ π‘Ž π‘₯1) + π‘Žπ‘“

    β€²(π‘₯2 βˆ’ π‘Ž π‘₯1) = 0

      which is equation (7.5).We call projected characteristic  to the line π‘₯2 = π‘˜ + π‘Ž π‘₯1, where π‘˜ ∈ ℝ is arbitrary, and we

    call 𝑓(π‘₯2 βˆ’ π‘Ž π‘₯1) the first integral  of the PDE.Figure 7.1 depicts projected characteristic lines for cases π‘Ž > 0 and π‘Ž < 0. These curves

    correspond to the projection in the space (π‘₯1, π‘₯2) of the solution curves of the PDE (7.5) overwhich 𝑒(π‘₯1, π‘₯2) is constant.

    Figure 7.1: Characteristic lines for equation (7.5) for π‘Ž > 0 (left figure) and π‘Ž < 0 (right figure)

    Linear right hand side Next we introduce the linear first-order PDE with an homogeneousright-hand side

    𝑒π‘₯1 + π‘Ž 𝑒π‘₯2  = 𝑏 𝑒, x  ∈ ℝ2 (7.6)where π‘Ž β‰  0 and 𝑏 β‰  0 are constants.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 10

    Proposition 4. The general solution of PDE (7.6) is

    𝑒(x) = 𝑓(π‘₯2 βˆ’ π‘Ž π‘₯1) 𝑒𝑏 π‘₯1

      where 𝑓(.) is an arbitrary 𝐢1 function.

    Proof. To solve it by using the method of characteristics we parameterize again both the indepen-dent variables, π‘₯1 = 𝑋1(𝑠) and π‘₯2 = 𝑋2(𝑠), and the unknown function 𝑒 = 𝑒(𝑋1(𝑠), 𝑋2(𝑠)) = π‘ˆ(𝑠)and solve the system

    𝑑𝑋1𝑑𝑠 = 1,

    𝑑𝑋2𝑑𝑠 = π‘Ž,

    π‘‘π‘ˆπ‘‘π‘  = π‘π‘ˆ

      which have solutions

    π‘₯1 = 𝑋1(𝑠) = 𝑠, π‘₯2 = 𝑋2(𝑠) = π‘Ž 𝑠 + π‘˜, 𝑒 = π‘ˆ(𝑠) = 𝑔(π‘˜) 𝑒𝑏𝑠.

      where π‘˜ is an arbitrary constant and 𝑔(π‘˜) is an arbitrary function. Then 𝑠 = π‘₯1 and the projectedcharacteristic if again π‘₯2 βˆ’ π‘Ž π‘₯1 = π‘˜ and 𝑒 = 𝑔(π‘˜)𝑒𝑏𝑐1𝑒𝑏 π‘₯1 = 𝑓(π‘˜)𝑒𝑏 π‘₯1 .

    This equation has the same projected characteristics as shown in figure 7.1 but now, the valueof 𝑒(.) will not remain constant along the characteristics, as in the case of equation (7.5): it willgrow or decay along the characteristic at the rate 𝑏, respectively, if 𝑏 > 0 or if 𝑏 < 0.

    Cauchy problems

    Consider again equation (7.5) and assume that we know the distribution for π‘₯2 for a particularvalue of π‘₯1, say π‘₯1 = 0. If π‘₯1 is interpreted as time, and π‘₯2 as another independent variable, wecall the problem an initial-value problem (which is a particular case of the Cauchy problem)

    ⎧{⎨{⎩

    𝑒π‘₯1(x) + π‘Ž 𝑒π‘₯2 (x) = 0, x ∈ ℝ+ Γ— ℝ𝑒 = πœ™(π‘₯2), x ∈ {π‘₯1 = 0}  Γ— ℝ

    (7.7)

      where πœ™ is a known  𝐢1 function. We can write the initial condition as 𝑒(0, π‘₯2) = πœ™(π‘₯2) whereπœ™(.) is known.

    Proposition 5. The general solution to the Cauchy problem (7.7) is

    𝑒(π‘₯1, π‘₯2) = πœ™(π‘₯2 βˆ’ π‘Ž π‘₯1), (π‘₯1, π‘₯2) ∈ X = ℝ2

     

    Proof. In the three-dimensional surface 𝑆, previously presented, the constraint defines a curve (0, π‘₯2, πœ™(π‘₯2)) that has a projection in the (π‘₯1, π‘₯2) space characterized by a curve passing throughpoint { (0, π‘₯2)}. Using the same method that we used to determine the characteristic curve 𝐢, weparameterize the constraint Ξ“ by a new variable π‘Ÿ, such that it defines a direction Ξ“ = { (0, π‘Ÿ)}.

    Introducing the two parameterizations (associated to the characteristic curve and the initialcondition) we define

    π‘₯1 = 𝑋1(𝑠, π‘Ÿ), π‘₯2 = 𝑋2(𝑠, π‘Ÿ)

  • Paulo Brito Advanced Mathematical Economics 2020/2021 11

      implying𝑒 = 𝑒(𝑋1(𝑠, π‘Ÿ), 𝑋2(𝑠, π‘Ÿ)) = π‘ˆ(𝑠, π‘Ÿ).

      The characteristic system and the compatibility condition become the system of parameterized(by π‘Ÿ) intitial value problems where the ODE’s have the independent variable 𝑠

    πœ•π‘‹1(𝑠, π‘Ÿ)πœ•π‘  = 1, s.t 𝑋1(0, π‘Ÿ) = 0,

    πœ•π‘‹2(𝑠, π‘Ÿ)πœ•π‘  = π‘Ž, s.t 𝑋2(0, π‘Ÿ) = π‘Ÿ

    πœ•π‘ˆ(𝑠, π‘Ÿ)πœ•π‘  = 0, s.t π‘ˆ(0, π‘Ÿ) = πœ™(π‘Ÿ).

    The solution to the three ODE initial value problems allows us to obtain a relationship betweenthe initial independent variables and the parameters related to the characteristic and the initialcondition

    π‘₯1 = 𝑋1(𝑠, π‘Ÿ) = 𝑠 (7.8)π‘₯2 = 𝑋2(𝑠, π‘Ÿ) = π‘Žπ‘  + π‘Ÿ (7.9)

    and𝑒 = π‘ˆ(𝑠, π‘Ÿ) = π‘ˆ(0, π‘Ÿ) = πœ™(π‘Ÿ), for any  π‘  ∈ 𝑅

     To get the solution in the original independent variables, we have to obtain the reversed re-

    lationships, say 𝑠 = 𝑆(π‘₯, 𝑦) and π‘Ÿ = 𝑅(π‘₯, 𝑦). In order to get it, observe that the solution forthe characteristic system can be written as (π‘₯1, π‘₯2) = 𝐺(𝑠, π‘Ÿ). If this system is invertible then(𝑠, π‘Ÿ) = πΊβˆ’1(π‘₯1, π‘₯2). The system (7.8)-(7.9) can provide this solution:

    (π‘₯1π‘₯2) = (1 0π‘Ž 1) (

    π‘ π‘Ÿ) ⇔ (

    π‘ π‘Ÿ) = (

    1 0βˆ’π‘Ž 1) (

    π‘₯1π‘₯2

    ) = ( π‘₯1π‘₯2 βˆ’ π‘Ž π‘₯1)

      Therefore, 𝑠 = π‘₯1 and π‘Ÿ = π‘₯2 βˆ’ π‘Ž π‘₯1. Then 𝑒(π‘₯1, π‘₯2) = π‘ˆ(𝑠, π‘Ÿ) = πœ™(π‘Ÿ) = πœ™(π‘₯2 βˆ’ π‘Ž π‘₯1)

    Example If the initial distribution is 𝑒(0, π‘₯2) = πœ™(π‘₯2) = π‘’βˆ’π‘₯22 , then the solution to the Cauchy

    problem (7.7) is𝑒(π‘₯1, π‘₯2) = π‘’βˆ’(π‘₯1βˆ’π‘₯2)

    2 .

    Figure 7.2 illustrates this case. The projected characteristics are again as those depicted in figure7.1.

    Next, consider an equation (7.6) and the associated Cauchy problem

    ⎧{⎨{⎩

    𝑒π‘₯1(x) + 𝑒π‘₯2(x) = 𝑏 𝑒(x), x ∈ ℝ2

    𝑒 = πœ™(π‘₯2), x ∈ { π‘₯1 = 0}  Γ— ℝ(7.10)

    where 𝑐 β‰  0 is a constant.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 12

    Figure 7.2: Solution for the problem 𝑒π‘₯ + 𝑒𝑦 = 0 and 𝑒(0, π‘₯2) = π‘’βˆ’π‘₯22 , 3d plot and 2d plot for

    π‘₯1 ∈ {βˆ’1, βˆ’0.5, 0, 0.5, 1}

    Proposition 6. The solution to problem (7.10) is

    𝑒(x) = πœ™(π‘₯2 βˆ’ π‘₯1)𝑒𝑏 π‘₯1

     

    Exercise: prove this.In Figure 7.3 we present an illustration. Observe that for 𝑏 > 0 the solution has both a advection

    (i.e., transport) and a growing behavior.

    Figure 7.3: Solution for the problem 𝑒π‘₯ + 𝑒𝑦 = 0.7𝑒 and 𝑒(0, 𝑦) = π‘’βˆ’π‘¦2 , 3d plot and 2d plot for

    π‘₯ ∈ {βˆ’1, βˆ’0.5, 0, 0.5, 1}

    Next, we will see what we can learn from the application of the method of characteristics tosolving the semi-linear and the quasi-linear equations.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 13

    7.2.4 Semi-linear equation

    We consider first one simple semi-linear equation that can be solved by transformation to a linearequation. Next we present conditions for the existence of solutions to more general semi-linearequations, with or without a zero right-hand side, i.e, with 𝑐(x, 𝑒) = 0 or 𝑐(x, 𝑒) β‰  0.

    Semi-linear equation with zero right-hand-side

    We consider the problem for a more general case, in which the coefficient functions are not specified

    ⎧{⎨{⎩

    π‘Ž(x)𝑒π‘₯1 + 𝑏(x)𝑒π‘₯2 = 0, x ∈ ℝ2

    𝑒 βˆ£Ξ“= πœ™, x ∈ Ξ“ βŠ‚ ℝ2(7.11)

    where π‘Ž(.), 𝑏(.) and 𝑐(.) are 𝐢1 functions in ℝ2, and there is a constraint given by curve Ξ“. Thesolution to this problem depends on the form of the constraint surface Ξ“.

    Let us consider the points in the constrained set parameterised by π‘Ÿ, write Ξ“ = { (π‘₯1, π‘₯2) =(𝛾1(π‘Ÿ), 𝛾2(π‘Ÿ))} and define

    𝐴(π‘Ÿ) ≑ π‘Ž(𝛾1(π‘Ÿ), 𝛾2(π‘Ÿ))𝐡(π‘Ÿ) ≑ 𝑏(𝛾1(π‘Ÿ), 𝛾2(π‘Ÿ))

     We say that the constraint Ξ“ is characteristic  if it is tangent to the projected characteristic

    and Ξ“ is non-characteristic if it is not tangent to the projected characteristic.We will see next that, Ξ“ is characteristic if

    𝐴(π‘Ÿ)𝐡(π‘Ÿ) =

    𝛾′1(π‘Ÿ)𝛾′2(π‘Ÿ)

      and Ξ“ is non-characteristic if𝐴(π‘Ÿ)𝐡(π‘Ÿ) β‰ 

    𝛾′1(π‘Ÿ)𝛾′2(π‘Ÿ)

    . (7.12)

     

    Proposition 7. Consider the Cauchy problem (7.11). A unique solution exists if Ξ“ is non-characteristic in all its domain. The local solution to the problem exist and is unique, and can bewritten as

    𝑒(π‘₯1, π‘₯2) = πœ™(𝐺|βˆ’1Ξ“ (π‘₯1, π‘₯2)).

    where det 𝐺|Ξ“ β‰  0.

    Proof. In order to see this we proceed in two phases.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 14

    β€’ First: applying the same method as before, we introduce the change in coordinates π‘₯1 =𝑋1(𝑠, π‘Ÿ), π‘₯2 = 𝑋2(𝑠, π‘Ÿ), implying 𝑒 = 𝑒(π‘₯1, π‘₯2) = 𝑒(𝑋1(𝑠, π‘Ÿ), 𝑋2(𝑠, π‘Ÿ)) = π‘ˆ(𝑠, π‘Ÿ). The charac-teristic system and the compatibility condition become

    πœ•π‘‹1(𝑠, π‘Ÿ)πœ•π‘  = π‘Ž(𝑋1(𝑠, π‘Ÿ), 𝑋2(𝑠, π‘Ÿ))

    πœ•π‘‹2(𝑠, π‘Ÿ)πœ•π‘  = 𝑏(𝑋1(𝑠, π‘Ÿ), 𝑋2(𝑠, π‘Ÿ))

    πœ•π‘ˆ(𝑠, π‘Ÿ)πœ•π‘  = 0

    and the constraints on their values introduced by Ξ“ that we associate with 𝑠 = 0 are

    𝑋1(0, π‘Ÿ) = 𝛾1(π‘Ÿ)𝑋2(0, π‘Ÿ) = 𝛾2(π‘Ÿ)π‘ˆ(0, π‘Ÿ) = πœ™(π‘Ÿ).

    If we solve the ODE characteristic system together with the initial conditions we obtain thetransformation (π‘₯1, π‘₯2) = 𝐺(𝑠, π‘Ÿ), where

    π‘₯1 = 𝑋1(𝑠, π‘Ÿ) (7.13)π‘₯2 = 𝑋2(𝑠, π‘Ÿ). (7.14)

    In order to obtain the solution satisfying 𝑒 = π‘ˆ(0, π‘Ÿ) = πœ™(π‘Ÿ) we need to solve system (7.13)-(7.14), that is, we need to find (𝑠, π‘Ÿ) = πΊβˆ’1(π‘₯1, π‘₯2).

    β€’ Second: The system is locally invertible to 𝑠 = 𝑆(π‘₯, 𝑦) and π‘Ÿ = 𝑅(π‘₯, 𝑦) if we can apply theinverse function theorem (𝑠, π‘Ÿ) = πΊβˆ’1(π‘₯1, π‘₯2). This is possible if the Jacobian of 𝐺 has anon-zero determinant evaluated at points (0, π‘Ÿ).The Jacobian of system (7.13)-(7.14) evaluated at point (𝑠, π‘Ÿ) = (0, π‘Ÿ) is

    𝐷(𝐺)|Ξ“ =βŽ›βŽœβŽœβŽœβŽœβŽœβŽ

    πœ•π‘‹1πœ•π‘   (0, π‘Ÿ)

    πœ•π‘‹1πœ•π‘Ÿ  (0, π‘Ÿ)

    πœ•π‘‹2πœ•π‘   (0, π‘Ÿ)

    πœ•π‘‹2πœ•π‘Ÿ  (0, π‘Ÿ)

    ⎞⎟⎟⎟⎟⎟⎠

    = (π‘Ž(𝛾1(π‘Ÿ), 𝛾2(π‘Ÿ)) 𝛾′1(π‘Ÿ)

    𝑏(𝛾1(π‘Ÿ), 𝛾2(π‘Ÿ)) 𝛾′2(π‘Ÿ)

    ) = (𝐴(π‘Ÿ) 𝛾′1(π‘Ÿ)

    𝐡(π‘Ÿ) 𝛾′2(π‘Ÿ))

     

    Then det (𝐷(𝐺|Ξ“)) β‰  0 if condition (7.12) holds, and, using the inverse function theorem, we can(at least locally) determine (𝑠, π‘Ÿ)|𝑠=0 = πΊβˆ’1(π‘₯1, π‘₯2), and the solution will have the generic form𝑒(π‘₯, 𝑦) = πœ™(πΊβˆ’1(π‘₯1, π‘₯2))

    This means that, geometrically, the solution will propagate not along parallel characteristiclines but along lines which can change slope depending on the values of π‘₯1 and π‘₯2.

    Exercise Consider next the special case of (7.11)

    ⎧{⎨{⎩

    𝑒π‘₯1 + 𝑏 π‘₯2 𝑒π‘₯2 = 0, x ∈ ℝ2

    𝑒(0, π‘₯2) = πœ™(π‘₯2) x ∈ { π‘₯1 = 0}  Γ— ℝ

  • Paulo Brito Advanced Mathematical Economics 2020/2021 15

      where πœ™(β‹…) is an arbitrary 𝐢1(ℝ) function.Show that the solution is

    𝑒(x) = πœ™(π‘₯2 π‘’βˆ’π‘ π‘₯1) for any  x ∈ ℝ2.

     In this case we can observe that the characteristics are

    π‘₯2 = π‘˜ 𝑒𝑏 π‘₯1

      they are still parallel as in the linear case, but behave differently depending on the sign of 𝑏:1. if 𝑏 > 0 then π‘₯2 diverges exponentially for increasing values of π‘₯12. if 𝑏 = 0 then π‘₯2 is constant for any values of π‘₯13. if 𝑏 < 0 then π‘₯2 converges exponentially to zero for increasing values of π‘₯1.

     

    General semi-linear equation

    The Cauchy problem for a semi-linear equation and an associated boundary in a surface Ξ“ is⎧{⎨{⎩

    π‘Ž(x)𝑒π‘₯1(x) + 𝑏(x)𝑒π‘₯2(x) = 𝑐(x, 𝑒(x)), x ∈ ℝ2

    𝑒 βˆ£Ξ“= πœ™, x ∈ Ξ“ βŠ‚ ℝ2(7.15)

    where π‘Ž(.) and 𝑏(.) are 𝐢1 functions in ℝ2 and 𝑐(.) is a 𝐢1 function in ℝ3. Observe that the function𝑒 enters, possibly in a non-linear from, in the right-hand side.

    Again we introduce a parameterisation associated with the characteristic surface and the bound-ary surface by a pair (𝑠, π‘Ÿ) and set π‘₯1 = 𝑋1(𝑠, π‘Ÿ) and π‘₯2 = 𝑋2(𝑠, π‘Ÿ) and 𝑒 = π‘ˆ(𝑠, π‘Ÿ) = 𝑒(𝑋1(𝑠, π‘Ÿ), 𝑋2(𝑠, π‘Ÿ))

    In this case the characterstic equation system and the compatibility condition becomeπœ•π‘‹1(𝑠, π‘Ÿ)

    πœ•π‘  = π‘Ž (𝑋1(𝑠, π‘Ÿ), 𝑋2(𝑠, π‘Ÿ))πœ•π‘‹2(𝑠, π‘Ÿ)

    πœ•π‘  = 𝑏 (𝑋1(𝑠, π‘Ÿ), 𝑋2(𝑠, π‘Ÿ))πœ•π‘ˆ(𝑠, π‘Ÿ)

    πœ•π‘  = 𝑐 (𝑋1(𝑠, π‘Ÿ), 𝑋2(𝑠, π‘Ÿ), π‘ˆ(𝑠, π‘Ÿ))

    and the constrains on their values introduced by Ξ“ that we associate with 𝑠 = 0

    𝑋1(0, π‘Ÿ) = 𝛾1(π‘Ÿ)𝑋2(0, π‘Ÿ) = 𝛾2(π‘Ÿ)π‘ˆ(0, π‘Ÿ) = πœ™(π‘Ÿ)

    We observe again that from the solution of the two first ODE’s we get a relationship (π‘₯1, π‘₯2) =𝐺(𝑠, π‘Ÿ) and if Ξ“ is non-characteristic we get, at least locally (𝑠, π‘Ÿ) = πΊβˆ’1(π‘₯1, π‘₯2), which allows foruniqueness and existence of solutions for the PDE problem. The only difference is related to thefact that now the right hand side of the compatibility condition for π‘ˆ depends on π‘ˆ .

  • Paulo Brito Advanced Mathematical Economics 2020/2021 16

    7.2.5 Quasi-linear equations

    Let us consider the semi-linear equation and an associated boundary in a surface Ξ“

    ⎧{⎨{⎩

    π‘Ž(x, 𝑒)𝑒π‘₯1 + 𝑏(x, 𝑒)𝑒π‘₯2 = 𝑐(x, 𝑒), x ∈ ℝ2

    𝑒 βˆ£Ξ“= πœ™, x ∈ Ξ“ βŠ‚ ℝ2

    where π‘Ž(.), 𝑏(.) and 𝑐(.) is a 𝐢1 functions in ℝ3.Again we introduce a parameterisation associated with the characteristic surface and the bound-

    ary surface by a pair (𝑠, π‘Ÿ) and set π‘₯1 = 𝑋1(𝑠, π‘Ÿ) and π‘₯2 = 𝑋2(𝑠, π‘Ÿ) and 𝑒 = π‘ˆ(𝑠, π‘Ÿ) = 𝑒(𝑋1(𝑠, π‘Ÿ), 𝑋2(𝑠, π‘Ÿ))In this case the characterstic equation system and the compatibility condition become

    πœ•π‘‹1(𝑠, π‘Ÿ)πœ•π‘  = π‘Ž (𝑋1(𝑠, π‘Ÿ), 𝑋2(𝑠, π‘Ÿ), π‘ˆ(𝑠, π‘Ÿ))

    πœ•π‘‹2(𝑠, π‘Ÿ)πœ•π‘  = 𝑏 (𝑋1(𝑠, π‘Ÿ), 𝑋2(𝑠, π‘Ÿ), π‘ˆ(𝑠, π‘Ÿ))

    πœ•π‘ˆ(𝑠, π‘Ÿ)πœ•π‘  = 𝑐 (𝑋1(𝑠, π‘Ÿ), 𝑋2(𝑠, π‘Ÿ), π‘ˆ(𝑠, π‘Ÿ)) .

    This system, differently from the previous cases, lost their recursive structure, in the sense thatwe cannot separate the determination of the solutions for 𝑋1(.) and 𝑋2(.) from π‘ˆ(.): the twoindependent variables, 𝑋1 and 𝑋2, and the dependent variable, π‘ˆ , are jointly determined. In orderto solve the system, Ξ“ provides the boundary conditions for 𝑠 = 0:

    𝑋1(0, π‘Ÿ) = 𝛾1(π‘Ÿ)𝑋2(0, π‘Ÿ) = 𝛾2(π‘Ÿ)π‘ˆ(0, π‘Ÿ) = πœ™(π‘Ÿ)

    Now the non-characteristic conditions for (Ξ“, πœ™) are more involved because all three differentialequations depend on (𝑋1, 𝑋2, π‘ˆ) and the conditions for the application of the non-characteristiccondition may not hold.

    The geometric meaning is the following: while for linear and semi-linear PDE the characteristiclines are parallel and do not cross, for the quasi-linear case this may not be the case. At singularitypoints the uniqueness and even the existence of solutions may break down.

    A well known quasi-linear first-order PDE is the inviscid Burger’s equation (see https://en.wikipedia.org/wiki/Burgers%27_equation)

    ⎧{⎨{⎩

    𝑒𝑑 + 𝑒𝑒π‘₯ = 0, (𝑑, π‘₯) ∈ ℝ2

    𝑒(0, π‘₯) = πœ™(π‘₯) (𝑑, 𝑦) ∈ { π‘‘ = 0}  Γ— ℝ

    It can be proved that the characteristic equations can intersect which implies that the solutionscannot be unique at those singular points. Introducing some solvability conditions, gives birth toshock waves, which is a type of behavior not presented in linear hyperbolic PDE’s.

    https://en.wikipedia.org/wiki/Burgers%27_equationhttps://en.wikipedia.org/wiki/Burgers%27_equation

  • Paulo Brito Advanced Mathematical Economics 2020/2021 17

    7.3 The linear equation in the semi-infinite domain and Laplacetransform methods

    In the previous cases we assumed that the independent variables were defined in the space X = ℝ2.The solution of the first-order PDE and/or of the associated problems varies both in terms of theexistence and of the methods of determination if the domain is different, that is X βŠ‚ ℝ2. In thiscase we may have as solutions not functions (single-valued continuous mappings) but generalizedfunctions (also called weak solutions).

    7.3.1 Linear equation with zero right-hand side

    To illustrate this, assume that X = ℝ2++, that is π‘₯ > 0 and 𝑦 > 0 and consider the problem

    ⎧{{⎨{{⎩

    𝑒π‘₯ + π‘Žπ‘’π‘¦ = 0, (π‘₯, 𝑦) ∈ ℝ2++𝑒(π‘₯, 0) = πœ“(π‘₯), (π‘₯, 𝑦) ∈ ℝ++ Γ— {𝑦 = 0}𝑒(0, 𝑦) = πœ™(𝑦), (π‘₯, 𝑦) ∈ {π‘₯ = 0} Γ— ℝ++Γ—

    (7.16)

    A convenient way to solve this equation is to use Laplace transforms  instead of the methodof characteristics (see the Appendix ). In order to do this we pick one of the independent variablesas a parameter (for instance π‘₯) and keep one variable as an independent variable (for instance𝑦)3. Laplace transforms are convenient because the domain of transformation is the semi-infiniteinterval [0, ∞).

    The method of solution follows the steps:

    1. First, we apply Laplace transforms to go from the PDE into a parameterized ODE

    2. Second, we solve the ODE and apply the transforms of the boundary conditions

    3. Finally, we apply inverse Laplace transforms to obtain the solution

    Proposition 8. The solution to Cauchy problem (7.16) is

    𝑒(π‘₯, 𝑦) = πœ™(𝑦 βˆ’ π‘Žπ‘₯)𝐻(𝑦 βˆ’ π‘Žπ‘₯) + π‘Ž β„’βˆ’1 [  ∫π‘₯

    0πœ“(𝑠)π‘’βˆ’π‘Žπœ‰(π‘₯βˆ’π‘ )𝑑𝑠]  (𝑦) (7.17)

      where

    𝐻(𝑧) =⎧{⎨{⎩

    0, if 𝑧 ≀ 01, if 𝑧 > 0

      is the Heaviside generalized function and β„’βˆ’1[𝑓(π‘₯)] (𝑦) is the inverse Laplace transform.  There-fore

    πœ™(𝑦 βˆ’ π‘Žπ‘₯)𝐻(𝑦 βˆ’ π‘Žπ‘₯) =⎧{⎨{⎩

    0 if 𝑦 βˆ’ π‘Žπ‘₯ ≀ 0πœ™(𝑦 βˆ’ π‘Žπ‘₯) if 𝑦 βˆ’ π‘Žπ‘₯ > 0.

      

     3The choice can be done in a way to simplify the solution of the problem, given the constraints.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 18

    Proof. Let π‘ˆ(π‘₯, πœ‰) be the Laplace transform of 𝑒(π‘₯, 𝑦) taking variable π‘₯ as a parameter, that is

    π‘ˆ(π‘₯, πœ‰) ≑ β„’[𝑒(π‘₯, 𝑦)](πœ‰) = ∫∞

    0π‘’βˆ’πœ‰π‘¦π‘’(π‘₯, 𝑦)𝑑𝑦

      where πœ‰ > 0. The Laplace transforms of 𝑒π‘₯(β‹…) and  π‘’𝑦(β‹…) are

    β„’[𝑒π‘₯(π‘₯, 𝑦)](πœ‰) = ∫∞

    0π‘’βˆ’πœ‰π‘¦π‘’π‘₯(π‘₯, 𝑦)𝑑𝑦 = π‘ˆπ‘₯(π‘₯, πœ‰)

      and β„’[𝑒𝑦(π‘₯, 𝑦)](πœ‰) = ∫

    ∞

    0π‘’βˆ’πœ‰π‘¦π‘’π‘¦(π‘₯, 𝑦)𝑑𝑦 = πœ‰π‘ˆ(π‘₯, πœ‰) βˆ’ 𝑒(π‘₯, 0) = πœ‰π‘ˆπ‘¦(π‘₯, πœ‰) βˆ’ πœ“(π‘₯).

      From the continuity and differentiability properties of 𝑒(β‹…), 𝑒π‘₯(π‘₯, 𝑦) + π‘Žπ‘’π‘¦(π‘₯, 𝑦) = 0 holds if andonly if

    ∫∞

    0π‘’βˆ’πœ‰π‘¦ (𝑒π‘₯(π‘₯, 𝑦) + π‘Žπ‘’π‘¦(π‘₯, 𝑦)) 𝑑𝑦 = 0.

    Then the PDE, in Laplace transforms, is equivalent to the linear ODE in the variable π‘₯, parame-terized by the transformed variable πœ‰ 4 

    π‘ˆπ‘₯(π‘₯, πœ‰) + π‘Ž(πœ‰π‘ˆ(π‘₯, πœ‰) βˆ’ πœ“(π‘₯)) = 0.

      In order to solve the Cauchy problem, we also need to introduce the Laplace transform of πœ™(𝑦),that is

    β„’[𝑒(0, 𝑦)](πœ‰) = ∫∞

    0π‘’βˆ’πœ‰π‘¦πœ™(𝑦)𝑑𝑦 = Ξ¦(πœ‰).

      Then we get an initial-value problem for the parameterized (by πœ‰) ODE

    ⎧{⎨{⎩

    π‘ˆπ‘₯(π‘₯, πœ‰) = βˆ’π‘Žπœ‰π‘ˆ(π‘₯, πœ‰) + π‘Žπœ“(π‘₯), π‘₯ > 0π‘ˆ(0, πœ‰) = Ξ¦(πœ‰), π‘₯ = 0.

      The solution isπ‘ˆ(π‘₯, πœ‰) = Ξ¦(πœ‰)π‘’βˆ’π‘Žπœ‰π‘₯ + π‘Ž ∫

    π‘₯

    0πœ“(𝑠)π‘’βˆ’π‘Žπœ‰(π‘₯βˆ’π‘ )𝑑𝑠.

      The inverse Laplace transform is

    𝑒(π‘₯, 𝑦) = β„’βˆ’1 [ π‘ˆ(π‘₯, πœ‰)]  (𝑦) = 12πœ‹π‘– limπ‘Œ β†’βˆž βˆ«π›Ύ+π‘–π‘Œ

    π›Ύβˆ’π‘–π‘Œπ‘’πœ‰π‘¦ πΉ (𝑧)𝑑𝑧.

    4We can obtain the same functional equation if we evaluate directly the integral, because

    ∫∞

    0π‘’βˆ’πœ‰π‘¦ (𝑒π‘₯(π‘₯, 𝑦) + π‘Žπ‘’π‘¦(π‘₯, 𝑦)) 𝑑𝑦 = ∫

    ∞

    0π‘’βˆ’πœ‰π‘¦ πœ•π‘’πœ•π‘₯ (π‘₯, 𝑦)𝑑𝑦 + π‘Ž ∫

    ∞

    0π‘’βˆ’πœ‰π‘¦ πœ•π‘’πœ•π‘¦  (π‘₯, 𝑦)𝑑𝑦 =

    = π‘ˆπ‘₯(π‘₯, πœ‰) + π‘Ž (∫∞

    0π‘’βˆ’πœ‰π‘¦π‘’(π‘₯, 𝑦) βˆ’ ∫

    ∞

    0𝑒(π‘₯, 𝑦) 𝑑𝑑𝑦   (𝑒

    βˆ’πœ‰π‘¦) 𝑑𝑦) =

    = π‘ˆπ‘₯(π‘₯, πœ‰) βˆ’ π‘Žπ‘’(π‘₯, 0) + π‘Žπœ‰π‘ˆ(π‘₯, πœ‰) = 0

    applying integration by parts.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 19

      Therefore

    𝑒(π‘₯, 𝑦) = β„’βˆ’1[π‘ˆ(π‘₯, πœ‰)]  =

    = β„’βˆ’1[Ξ¦(πœ‰)π‘’βˆ’π‘Žπœ‰π‘₯] + π‘Ž β„’βˆ’1[ ∫π‘₯

    0πœ“(𝑠)π‘’βˆ’π‘Žπœ‰(π‘₯βˆ’π‘ )𝑑𝑠].

      The solution is (7.16). This can be proved by the fact that

     π‘’βˆ’π‘Žπ‘₯πœ‰Ξ¦(πœ‰) = π‘’βˆ’π‘Žπ‘₯πœ‰ ∫∞

    0π‘’βˆ’πœ‰π‘ πœ™(𝑠)𝑑𝑠 = ∫

    ∞

    0π‘’βˆ’πœ‰(𝑠+π‘Žπ‘₯)πœ™(𝑠)𝑑𝑠

    = ∫∞

    π‘Žπ‘₯π‘’βˆ’πœ‰ π‘¦πœ™(𝑦 βˆ’ π‘Ž π‘₯)𝑑𝑦, (𝑠 + π‘Žπ‘₯ = 𝑦)

    = ∫∞

    0π‘’βˆ’πœ‰ π‘¦πœ™(𝑦 βˆ’ π‘Ž π‘₯) 𝐻(𝑦 βˆ’ π‘Žπ‘₯)𝑑𝑦 =

    = β„’[ πœ™(𝑦 βˆ’ π‘Ž π‘₯) 𝐻(𝑦 βˆ’ π‘Žπ‘₯)] (πœ‰)

     

      and β„’βˆ’1 [ β„’[ πœ™(𝑦 βˆ’ π‘Ž π‘₯) 𝐻(𝑦 βˆ’ π‘Žπ‘₯)] (πœ‰)]  = πœ™(𝑦 βˆ’ π‘Ž π‘₯) 𝐻(𝑦 βˆ’ π‘Žπ‘₯).

    Example 1. In order to have an intuition on the solution consider the case: π‘Ž > 0, πœ™(𝑦) = 0and πœ“(π‘₯) = πœ“, a constant. In this case

    π‘ˆ(π‘₯, πœ‰) = π‘Žπœ“ ∫π‘₯

    0π‘’βˆ’π‘Žπœ‰(π‘₯βˆ’π‘ )𝑑𝑠 = πœ“  (1 βˆ’ 𝑒

    βˆ’π‘Žπœ‰π‘₯

    πœ‰ ) .

      Then𝑒(π‘₯, 𝑦) = πœ“β„’βˆ’1 [ 1 βˆ’ 𝑒

    βˆ’π‘Žπœ‰π‘₯

    πœ‰ ] (𝑦) = πœ“π»(π‘Žπ‘₯ βˆ’ 𝑦)

      That is the solution is

    𝑒(π‘₯, 𝑦) =⎧{⎨{⎩

    πœ“ for 0 < 𝑦 < π‘Ž π‘₯0 for 𝑦 β‰₯ π‘Ž π‘₯

      In this case the solution takes a constant value for {(π‘₯, 𝑦) ∢ 0 < 𝑦 < π‘Žπ‘₯} where π‘Ž > 0 and π‘₯ > 0 ,and it is equal to zero elsewhere.

    Example 2. If, instead, we had the case πœ™(𝑦) = 𝑒𝑏𝑦 and πœ“(π‘₯) = 0 we would have

    𝑒(π‘₯, 𝑦) = πœ™(𝑦 βˆ’ π‘Žπ‘₯)𝐻(𝑦 βˆ’ π‘Žπ‘₯) = 𝑒𝑏(π‘¦βˆ’π‘Žπ‘₯) π»(𝑦 βˆ’ π‘Žπ‘₯)

     

    𝑒(π‘₯, 𝑦) =⎧{⎨{⎩

    0 for 0 < 𝑦 ≀ π‘Žπ‘₯𝑒𝑏(π‘¦βˆ’π‘Žπ‘₯)  for 𝑦 > π‘Žπ‘₯.

      In this case the projected characteristics are as in figure :

  • Paulo Brito Advanced Mathematical Economics 2020/2021 20

    Figure 7.4: Characteristic lines for (7.16) for π‘Ž > 0 πœ“(π‘₯) = 0 and πœ™(𝑦) = 𝑒𝑏𝑦

    7.3.2 Linear equation with homogeneous right-hand side

    Now consider the problem⎧{{⎨{{⎩

    𝑒π‘₯ + 𝑒𝑦 = π‘Žπ‘’, π‘₯ > 0, 𝑦 > 0𝑒(π‘₯, 0) = 𝑒𝑏π‘₯, π‘₯ > 0𝑒(0, 𝑦) = 0, 𝑦 > 0

     Using the same method we find the solution

    𝑒(π‘₯, 𝑦) = 𝑒 π‘π‘Ž (π‘Žπ‘₯βˆ’π‘¦)(1 βˆ’ 𝐻(𝑦 βˆ’ π‘Ž π‘₯)).

      or, equivalently,

    𝑒(π‘₯, 𝑦) =⎧{⎨{⎩

    𝑒 π‘π‘Ž (π‘Žπ‘₯βˆ’π‘¦), if 0 < 𝑦 < π‘Ž π‘₯0, if 𝑦 β‰₯ π‘Ž π‘₯

     To prove this we can go back to the Laplace transform of equation (7.17),

    π‘ˆ(π‘₯, πœ‰) = π‘Ž ∫π‘₯

    0𝑒𝑏 𝑠 π‘’βˆ’π‘Žπœ‰(π‘₯βˆ’π‘ )𝑑𝑠 =  π‘Ž 𝑒

    𝑏 π‘₯   βˆ’ π‘’βˆ’π‘Ž πœ‰ π‘₯𝑏 + π‘Žπœ‰ ,

      applying the inverse Laplace transform, we find

    𝑒(π‘₯, 𝑦) = β„’βˆ’1[ π‘ˆ(π‘₯, πœ‰)](𝑦) = 𝑒 π‘π‘Ž (π‘Žπ‘₯βˆ’π‘¦)(1 βˆ’ 𝐻(𝑦 βˆ’ π‘Ž π‘₯)).

     A graphical depiction of the solution for π‘Ž = 1 and 𝑏 = 2 presented in Figure 7.5. The projected

    characteristics are as in Figure 7.4 but, differently from that case where 𝑒 is constant, now thesolution growth at the rate π‘Ž along the characteristic lines.

    7.4 Evolution equations

    In this section we assume that the independent variables are time and one set of characteristics π‘₯,and that the PDE takes the form

    𝑒𝑑 + πœ•π‘₯π‘ž(𝑒) = 0 (𝑑, π‘₯) ∈ ℝ+  Γ— ℝ.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 21

    Figure 7.5: Solution for the problem 𝑒π‘₯ + 𝑒𝑦 = 𝑒, 𝑒(0, 𝑦) = 0, 𝑒(π‘₯, 0) = 𝑒2π‘₯ and defined for π‘₯ > 0and 𝑦 > 0

     The solution for generic non-linear first order PDE’s can display several types of behavior (see

    (Dafermos, 2000, p.13) :

    (1)   blow-up if the the solution becomes infinite when a certain level for π‘₯ is reached in finitetime,

    (2)   globally bounded solutions while π‘₯ goes to infinite in infinite time;

    (3) progressive concentration along time tending asymptotically to a degenerate distribution con-centrated at a finite value for π‘₯, π‘₯βˆ—, in infinite time;

    (4)   shock-waves such that, after a surface Ξ“(𝑑, π‘₯) is reached, the solution becomes non-smoothand multivalued; or

    (5)   rarefaction waves such that the distribution becomes increasingly dispersed.

    From the above results we can conclude the following as regards the linear case

    𝑒𝑑 + 𝑏(π‘₯) 𝑒π‘₯ = 𝑐𝑒 (𝑑, π‘₯) ∈ ℝ+  Γ— ℝ.

      (see (Olver, 2014, p.29)). The characteristic curves have the following generic properties:

    1  for each point (𝑑, π‘₯) ∈ ℝ2, there is a unique characteristic passing through that point

    2 characteristic curves cannot cross each other

    3 if π‘₯ = β„Ž(𝑑) is a characteristic curve, then π‘₯ = β„Ž(𝑑) + π‘˜ is also a characteristic curve for π‘˜ ∈ ℝ,if 𝑐 = 0 or π‘₯ = π‘˜ π‘’βˆ’π‘π‘‘

    4 the path traced out by a characteristic curve π‘₯ = β„Ž(𝑑) for increasing values of 𝑑 always movesin the same direction and cannot change the direction of propagation

  • Paulo Brito Advanced Mathematical Economics 2020/2021 22

    5 as 𝑑 β†’ ∞ the characteristic curve either converges to a fixed point, π‘₯(𝑑) β†’ π‘₯βˆ— where 𝑐(π‘₯βˆ—) = 0or go to ±∞ either in finite or infinite time.

    To illustrate the last point consider the problem

    ⎧{⎨{⎩

    𝑒𝑑 + 𝛽(π‘₯ βˆ’ π‘₯βˆ—) = 0, for (𝑑, π‘₯) ∈ ℝ+ Γ— ℝ𝑒(0, π‘₯) = πœ™(π‘₯), for (𝑑, π‘₯) ∈ { π‘‘ = 0}  Γ— ℝ.

      The solution to this Cauchy problem is

    𝑒(𝑑, π‘₯) = πœ™(π‘₯βˆ— + (π‘₯ βˆ’ π‘₯βˆ—) π‘’βˆ’π›½ 𝑑,  (𝑑, π‘₯) ∈ ℝ+ Γ— ℝ.

      The asymptotic dynamics depend on the sign of 𝛽:

    1. if 𝛽 > 0 we have a rarefaction wage, i, e. limπ‘‘β†’βˆž 𝑒(𝑑, π‘₯) = πœ™(π‘₯βˆ—) which is a constant for allπ‘₯ ∈ 𝑋

    2. if 𝛽 < 0 we have a rarefaction wage, i, e. limπ‘‘β†’βˆž 𝑒(𝑑, π‘₯) = 𝛿𝑒(π‘₯βˆ—) is a degenerate distributionwhose mass is concentrated at π‘₯ = π‘₯βˆ—.

    7.5 Applications

    7.5.1 The transport equation

    We consider a simple example called the transport equation. To simplify assume that theindependent variables are (𝑑, π‘₯) and that their domain is unbounded, i.e., (𝑑, π‘₯) ∈ ℝ2 5 :

    ⎧{⎨{⎩

    πœ•π‘‘π‘’(𝑑, π‘₯) + πœ•π‘₯ (πœ‡ π‘₯ 𝑒(𝑑, π‘₯)) = 0, (𝑑, π‘₯) ∈ ℝ+ Γ— ℝ𝑒(0, π‘₯) = πœ™(π‘₯), (𝑑, π‘₯) ∈ {𝑑 = 0} Γ— ℝ

    (7.18)

    The transport equation describes a conservation phenomenon. If, for instance,

    ∫∞

    βˆ’βˆžπœ™(π‘₯)𝑑π‘₯ = 1

     

    Proposition 9. The solution to the transport equation Cauchy problem (7.18) is

    𝑒(𝑑, π‘₯) = π‘’βˆ’πœ‡π‘‘πœ™ (π‘₯π‘’βˆ’πœ‡π‘‘) .

     

    5We use the notation πœ•π‘₯𝑖 𝑓(x) =πœ•π‘“(x)πœ•π‘₯𝑖

    , where x = (π‘₯, … , π‘₯𝑖, … π‘₯𝑛) ∈ ℝ𝑛.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 23

    Proof. The PDE can be equivalently written as

    𝑒𝑑(𝑑, π‘₯) + πœ‡ π‘₯ 𝑒π‘₯(𝑑, π‘₯) + πœ‡ 𝑒(𝑑, π‘₯) = 0.

      Let us consider a change in variables: π‘₯ = 𝑋(𝑦) = π‘’πœ‡π‘¦ and

    𝑣(𝑑, 𝑦) = π‘’πœ‡π‘‘ 𝑒(𝑑, 𝑋(𝑦)).

      Taking derivatives for 𝑑 and 𝑦 and applying the relationship in equation (7.18) we find that

    𝑣𝑑(𝑑, 𝑦) + 𝑣𝑦(𝑑, 𝑦) = 0

      if and only if 𝑒𝑑(𝑑, π‘₯) + πœ‡π‘₯𝑒π‘₯(𝑑, π‘₯) + πœ‡π‘’(𝑑, π‘₯) = 0. This equation has the form of (7.5), with π‘Ž = 1.As 𝑣(0, 𝑦) = 𝑒(0, 𝑋(𝑦)) = πœ™(𝑋(𝑦)) we can use the solution to Cauchy problem (7.7) to obtain

    𝑣(𝑑, 𝑦) = πœ™(𝑋(𝑦 βˆ’ 𝑑)) = πœ™ (π‘’πœ‡(π‘¦βˆ’π‘‘)) = πœ™ (𝑋(𝑦)π‘’βˆ’πœ‡π‘‘) .

      To obtain the solution we just need to transform back to the original function 𝑒(.) and substitute𝑋(𝑦) = π‘₯.

    The projected characteristics are as in Figure 7.6 for πœ‡ > 0. Differently from the previous caseswe see that the characteristics are non-linear, and, in this case exponentially growing.

    Figure 7.6: Characteristic lines for (7.18) for π‘Ž > 0

    7.5.2 Age-structured population dynamics

    The exponential model for population dynamics, οΏ½Μ‡οΏ½ = πœ‡π‘›, where πœ‡ is the difference between thefertility rate and the mortality rate, has the solution 𝑛(𝑑) = 𝑛(0)π‘’πœ‡π‘‘,

    Although this model may be a good approximation asymptotically, in the shorter run there isa large deviation. One of the reasons for the deviation is related to the fact that both fertility andmortality rates are age-dependent. If we introduce age-dependent mortality and fertility rates thedynamics of the population is governed by a first-order PDE.

    Let 𝑁(π‘Ž, 𝑑) be the number of females of age π‘Ž at time 𝑑 in a population. The total populationat time 𝑑 is

    𝑁(𝑑) = βˆ«π‘Žπ‘šπ‘Žπ‘₯

    0𝑁(π‘Ž, 𝑑) π‘‘π‘Ž  

  • Paulo Brito Advanced Mathematical Economics 2020/2021 24

      Defining the proportion of population with age π‘Ž by 𝑛(π‘Ž, 𝑑) = 𝑁(π‘Ž, 𝑑)/𝑁(𝑑) we have

    βˆ«π‘Žπ‘šπ‘Žπ‘₯

    0𝑛(π‘Ž, 𝑑) π‘‘π‘Ž   = 1.

      The proportion of population, measured by the proportion of females, between ages π‘Ž1 andπ‘Ž2 > π‘Ž1 at time 𝑑 is

    𝑛([π‘Ž1, π‘Ž2], 𝑑) = βˆ«π‘Ž2

    π‘Ž1𝑛(π‘Ž, 𝑑)π‘‘π‘Ž.

      If there is no mortality, the instantaneous change in 𝑛([π‘Ž1, π‘Ž2], 𝑑) is

    𝑑𝑑𝑑 ∫

    π‘Ž2

    π‘Ž1𝑛(π‘Ž, 𝑑)π‘‘π‘Ž = 𝑛(π‘Ž1, 𝑑) βˆ’ 𝑛(π‘Ž2, 𝑑)

      where 𝑛(π‘Ž1, 𝑑) and 𝑛(π‘Ž2, 𝑑) is the flow of females which is just entering and leaving the inter-val [π‘Ž1, π‘Ž2]. As

    𝑑𝑑𝑑 ∫

    π‘Ž2π‘Ž1

    𝑛(π‘Ž, 𝑑)π‘‘π‘Ž = βˆ«π‘Ž2π‘Ž1 𝑒𝑑(π‘Ž, 𝑑)π‘‘π‘Ž and, using the fundamental theorem of calculus𝑛(π‘Ž1, 𝑑) βˆ’ 𝑛(π‘Ž2, 𝑑) = βˆ’ ∫

    π‘Ž2π‘Ž1

    π‘’π‘Ž(π‘Ž, 𝑑)π‘‘π‘Ž then

    𝑑𝑑𝑑 ∫

    π‘Ž2

    π‘Ž1𝑛(π‘Ž, 𝑑)π‘‘π‘Ž βˆ’ (𝑛(π‘Ž1, 𝑑) βˆ’ 𝑛(π‘Ž2, 𝑑)) = ∫

    π‘Ž2

    π‘Ž1(𝑛𝑑(π‘Ž, 𝑑) + π‘›π‘Ž(π‘Ž, 𝑑)) π‘‘π‘Ž = 0

      and there is a conservation law. However, introducing mortality, the population in the interval[π‘Ž1, π‘Ž2] will not remain constant

    βˆ«π‘Ž2

    π‘Ž1(𝑛𝑑(π‘Ž, 𝑑) + π‘›π‘Ž(π‘Ž, 𝑑)) π‘‘π‘Ž βˆ’ ∫

    π‘Ž2

    π‘Ž1πœ‡(π‘Ž, 𝑑)𝑛(π‘Ž, 𝑑)π‘‘π‘Ž = 0

      Therefore we have the equation for an age-dependent population

    𝑛𝑑(π‘Ž, 𝑑) + π‘›π‘Ž(π‘Ž, 𝑑) = πœ‡(π‘Ž, 𝑑)𝑛., for (π‘Ž, 𝑑) ∈ [0, π‘Žπ‘šπ‘Žπ‘₯]  Γ— ℝ+.

    The McKendry model further assumes an initial population distribution and an age-dependentfertility

    ⎧{{⎨{{⎩

    𝑛𝑑 + π‘›π‘Ž = βˆ’πœ‡(π‘Ž, 𝑑)𝑛, (π‘Ž, 𝑑) ∈ (0, X) Γ— (0, ∞)𝑛(π‘Ž, 0) = 𝑛0(π‘Ž), (π‘Ž, 𝑑) ∈ (0, X) Γ— {𝑑 = 0}𝑛(0, 𝑑) = 𝑏(𝑑), (π‘Ž, 𝑑) ∈ {π‘Ž = 0}  Γ— (0, ∞)

    (7.19)

    X = max{π‘Ž}, the maximum age of the population, 𝑛0(π‘Ž) is the initial age-distribution of thepopulation, and the number of newborns is

    𝑏(𝑑) = βˆ«π‘Žπ‘šπ‘Žπ‘₯

    0𝛽(π‘Ž, 𝑑)𝑛(π‘Ž, 𝑑)π‘‘π‘Ž

      where 𝛽(π‘Ž, 𝑑) is the age-distribution of fertility at time 𝑑. If we compared to the PDE alreadypresented, the McKendrick model has two new features:

    1. first, it has two boundary conditions: an initial distribution for the population (at 𝑑 = 0) andfor the population at age π‘Ž = 0;

  • Paulo Brito Advanced Mathematical Economics 2020/2021 25

    2. second, the boundary condition referring to the newborns is non-local, that is, it depends onthe distribution of the total population. This last feature implies that it is hard to solve,requiring the solution of an integral equation.

    Assuming away that global nature of fertility, the Mc-Kendrick equation features a differenttype of dynamics depending in the difference between π‘Ž and 𝑑: for π‘Ž < 𝑑 the dynamics dependson the newborns, i.e., population with age π‘Ž = 0, while for π‘Ž > 𝑑 the dynamics is governed bythe initial age-distribution of the population. Of course, asymptotically the first type of behaviorprevails.

    Consider the case⎧{{⎨{{⎩

    𝑛𝑑 + π‘›π‘Ž = βˆ’πœ‡π‘›, (π‘Ž, 𝑑) ∈ (0, X) Γ— (0, ∞)𝑛(π‘Ž, 0) = 𝑛0(π‘Ž), (π‘Ž, 𝑑) ∈ (0, X) Γ— {𝑑 = 0}𝑛(0, 𝑑) = 𝑏(𝑑), (π‘Ž, 𝑑) ∈ {π‘Ž = 0}  Γ— (0, ∞)

    where 𝑛0(π‘Ž) is the initial distribution of population, and πœ™(𝑑) is the number of offspring hereassumed as exogenous, i.e., independent of the distribution of population.

    Prove that the solution is

    𝑛(π‘Ž, 𝑑) =⎧{⎨{⎩

    𝑏(𝑑 βˆ’ π‘Ž)πœ‹(π‘Ž), if  π‘Ž ≀ 𝑑𝑛0(π‘Ž βˆ’ 𝑑) πœ‹(π‘Ž)πœ‹(π‘Žβˆ’π‘‘)  , if  π‘Ž β‰₯ 𝑑

      whereπœ‹(π‘Ž) = π‘’βˆ’πœ‡π‘Ž

      is the probability of survival until age π‘Ž. Therefore, πœ‹(π‘Ž)πœ‹(π‘Žβˆ’π‘‘) = π‘’βˆ’πœ‡π‘‘.A simpler version of this model, assumes that there is only one fertile age 0 < 𝛼 < X, leading

    to𝑏(𝑑) = ∫

    π‘Žπ‘šπ‘Žπ‘₯

    0𝛽 𝛿(π‘Ž βˆ’ 𝛼) 𝑛(π‘Ž, 𝑑)π‘‘π‘Ž = 𝛽𝑛(𝛼, 𝑑).

      The solution displays an ”echo effect” with period equal to 𝛼.Reference: McKendrick (1926) and for a recent textbook presentation Kot (2001)

    7.5.3 Cohort’s budget constraint

    Let 𝑀(π‘Ž, 𝑑) be the financial wealth of an agent with age π‘Ž at time 𝑑. The budget constraint is

    𝑀𝑑 + π‘€π‘Ž = 𝑠(π‘Ž, 𝑑) + π‘Ÿπ‘€(π‘Ž, 𝑑) (7.20)

      where 𝑠(π‘Ž, 𝑑) is the savings at age π‘Ž at time 𝑑 and π‘Ÿ is the interest rate. If we assume that theinitial stock of wealth is unbounded then 𝑀 ∢ (0, 𝐴) Γ— (0, 𝑇 ) β†’ ℝ and the initial wealth distributionis 𝑀(0, 𝑑) = 0.

    The general solution of equation (7.20) is

    𝑀(π‘Ž, 𝑑) = (βˆ«π‘Ž

    0𝑠(𝑧, 𝑧 βˆ’ π‘Ž + 𝑑)π‘’βˆ’π‘Ÿπ‘§π‘‘π‘§ + 𝑓(𝑑 βˆ’ π‘Ž)) π‘’π‘Ÿπ‘Ž

  • Paulo Brito Advanced Mathematical Economics 2020/2021 26

      for an arbitrary 𝑓(.).If we assume that there are no bequests, that is no wealth at birth, 𝑀(π‘Ž, 𝑑) = 0 and 𝑠(π‘Ž, 𝑑) =

    π‘’π‘π‘Ž(πΎβˆ’π‘Ž)+𝑔𝑑 βˆ’ 𝑐 the solution becomes

    𝑀(π‘Ž, 𝑑) =βˆšπœ‹2√

    𝑏(Ξ¦ (𝐾𝑏 + 𝑔 βˆ’ π‘Ÿ

    2√

    𝑏 ) βˆ’ Ξ¦ ((𝐾 βˆ’ 2π‘Ž)𝑏 + 𝑔 βˆ’ π‘Ÿ

    2√

    𝑏 ))  π‘’ 𝐾

    2𝑏2((2𝐾+4(π‘‘βˆ’π‘Ž))π‘”βˆ’2(πΎβˆ’2π‘Ž)π‘Ÿ)𝑏+(π‘”βˆ’π‘Ÿ)24𝑏  βˆ’

    βˆ’ π‘π‘Ÿ (1 βˆ’ π‘’π‘Ÿπ‘Ž) (7.21)

      where Ξ¦(π‘₯) = erf(π‘₯) = (2/βˆšπœ‹) ∫π‘₯0 π‘’βˆ’π‘§2𝑑𝑧. Figure ?? illustrates equation (7.21). It displays a

    life-cycle behavior of savings: the agent tends to be a net borrower at young age and lender at olderages, although it dissaves later in life.

    Figure 7.7: Illustration of equation (7.21) for 𝐾 = 88, 𝑏 = 0.0029, π‘Ÿ = 0.02, 𝑔 = 0.02 and 𝑐 = 50.

    7.5.4 Interest rate term-structure

    We consider an economy in which there is perfect foresight (i.e, there is a deterministic setting) andin which there are two types of assets: a bank account and a continuum of bonds with maturitydates ranging from zero to infinity, π‘₯ ∈ [0, ∞). We show that, if there is absence of arbitrageopportunities, the forward rate at time 𝑑 for a bound maturing at time 𝑑 + π‘₯ perfectly anticipatesthe spot interest rate for time 𝑑 + π‘₯.

    First, the bank account’s balance, for an initial deposit of 𝐡(0), follows the process

    𝐡(𝑑) = 𝐡(0)π‘’βˆ«π‘‘

    0 π‘Ÿ(𝜏)π‘‘πœ .

      where π‘Ÿ(𝑑) is the spot interest rate. Therefore, the rate of return for a bank account is𝑑𝐡(𝑑)

    𝑑𝑑1

    𝐡(𝑑)  = π‘Ÿ(𝑑), for any 𝑑 β‰₯ 0.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 27

     Second, the price, at time 𝑑, for a bond6 that matures at time 𝑑 + π‘₯,

    𝑃(𝑑, π‘₯) = π‘’βˆ’ ∫π‘₯

    0 𝑓(𝑑,𝑦)𝑑𝑦  (7.22)

      where 𝑓(𝑑, π‘₯) is the forward interest rate for maturity π‘₯ β‰₯ 0. The spot interest rate and theforward rate with maturity zero are the same 𝑓(𝑑, 0) = π‘Ÿ(𝑑).

    The change in the price of the bond is

    𝑑𝑃(𝑑, π‘₯) = πœ•π‘‘π‘ƒ(𝑑, π‘₯) 𝑑𝑑 + πœ•π‘₯𝑃(𝑑, π‘₯) 𝑑π‘₯ == (πœ•π‘‘π‘ƒ(𝑑, π‘₯) βˆ’ πœ•π‘₯𝑃(𝑑, π‘₯)) 𝑑𝑑

      because in we move 𝑑𝑑 on time the duration to maturity reduces such as 𝑑π‘₯ + 𝑑𝑑 = 0. Takingderivatives in equation (7.22) we have

    πœ•π‘‘π‘ƒ(𝑑, π‘₯) = βˆ’π‘ƒ(𝑑, π‘₯) ∫π‘₯

    0 πœ•π‘‘𝑓(𝑑, 𝑦)𝑑𝑦

    πœ•π‘₯𝑃(𝑑, π‘₯) = βˆ’π‘ƒ(𝑑, π‘₯) 𝑓(𝑑, π‘₯).  Therefore, the rate of return for a bond with maturity π‘₯

    𝑑𝑃(𝑑, π‘₯)𝑑𝑑

    1𝑃(𝑑, π‘₯) = 𝑓(𝑑, π‘₯) βˆ’ ∫

    π‘₯

    0πœ•π‘‘π‘“(𝑑, 𝑦) 𝑑𝑦.

      Using the mean value theorem 𝑓(𝑑, π‘₯) βˆ’ 𝑓(𝑑, 0) = ∫π‘₯0 πœ•π‘₯ 𝑓(𝑑, 𝑦) 𝑑𝑦, and noting that 𝑓(𝑑, 0) = π‘Ÿ(𝑑)we find

    𝑑𝑃(𝑑, π‘₯)𝑑𝑑

    1𝑃(𝑑, π‘₯) = βˆ’ ∫

    π‘₯

    0(πœ•π‘‘π‘“(𝑑, 𝑦) βˆ’ πœ•π‘₯𝑓(𝑑, 𝑦)) 𝑑𝑦 + π‘Ÿ(𝑑)

      Third, If there are no arbitrage opportunities, the instantaneous rate of return for any twoinvestments should be equal for every point in time 𝑑. In particular, the rate of return for the bankaccount should be equal to the rate of return for a bond of any maturity π‘₯ β‰₯ 0,

    𝑑𝐡(𝑑)/𝑑𝑑𝐡(𝑑)   =

    𝑑𝑃(𝑑, π‘₯)/𝑑𝑑𝑃 (𝑑, π‘₯) .

    This condition is equivalent to

    ∫π‘₯

    0(πœ•π‘‘π‘“(𝑑, 𝑦) βˆ’ πœ•π‘₯𝑓(𝑑, 𝑦)) 𝑑𝑦 = 0, for every π‘₯ β‰₯ 0.

      Therefore the forward rate, in a deterministic setting, solves the following Cauchy problem⎧{⎨{⎩

    πœ•π‘‘π‘“(𝑑, π‘₯) βˆ’ πœ•π‘₯𝑓(𝑑, π‘₯) = 0, (𝑑, π‘₯) ∈ ℝ2+𝑓(𝑑, 0) = π‘Ÿ(𝑑), (𝑑, π‘₯) ∈ ℝ+ Γ— {𝑑 = 0} .

      Because the PDE has the general solution 𝑓(𝑑, π‘₯) = β„Ž(𝑑 + π‘₯), the solution to the Cauchy problemis

    𝑓(𝑑, π‘₯) = π‘Ÿ(𝑑 + π‘₯)  the forward rate, at time 𝑑, for a bond maturing at time 𝑑 + π‘₯ is a perfect predictor to the spotrate at time 𝑑 + π‘₯.

    6It is implicitly assumed that the bond has face value equal to one and does not pay coupons.

  • Paulo Brito Advanced Mathematical Economics 2020/2021 28

    7.5.5 Optimality condition for a consumer choice problem

    Consider the following general consumer problem

    max𝑐1,𝑐2

     π‘’(𝑐1, 𝑐2)

      subject to the following constraints

    ⎧{{⎨{{⎩

    𝐸(𝑐1, 𝑐2) = 𝑝1𝑐1 + 𝑝2𝑐2 ≀ π‘Š0 ≀ 𝑐1 ≀ ̄𝑐10 ≀ 𝑐2 ≀ ̄𝑐2

      Assume that 𝑒(.) is continuous, differentiable, increasing and concave in both arguments. FormingThe Lagrangean

    β„’ = 𝑒(𝑐1, 𝑐2) + πœ†(π‘Š βˆ’ 𝐸(𝑐1, 𝑐2)) βˆ’ πœ‚1𝑐1 βˆ’ πœ‚2𝑐2 + 𝜁1( ̄𝑐1 βˆ’ 𝑐1) + 𝜁2( ̄𝑐2 βˆ’ 𝑐2).

    The solution (which always exists) (π‘βˆ—1, π‘βˆ—2) verifies the Karush-Kuhn-Tucker conditions

    𝑒𝑐𝑖(𝑐1, 𝑐2) βˆ’ πœ†π‘π‘— βˆ’ πœ‚π‘— βˆ’ πœπ‘— = 0, 𝑗 = 1, 2πœ‚π‘—π‘π‘— = 0, πœ‚π‘— β‰₯ 0, 𝑐𝑗 β‰₯ 0, 𝑗 = 1, 2πœπ‘—( ̄𝑐𝑗 βˆ’ 𝑐𝑗) = 0, πœπ‘— β‰₯ 0, 𝑐𝑗 ≀ ̄𝑐𝑗, 𝑗 = 1, 2πœ†(π‘Š βˆ’ 𝐸(𝑐1, 𝑐2)) = 0, πœ† β‰₯ 0, 𝐸(𝑐1, 𝑐2) ≀ π‘Š

      We have three cases:First, an interior solution, π‘βˆ—1 ∈ (0, ̄𝑐1) and π‘βˆ—2 ∈ (0, ̄𝑐2), with the optimality conditions

    𝑝2𝑒𝑐1(π‘βˆ—1, π‘βˆ—2) = 𝑝1𝑒𝑐2(π‘βˆ—1, π‘βˆ—2) (7.23)𝐸(π‘βˆ—1, π‘βˆ—2) = π‘Š (7.24)

    Equation (7.23) is a first-order partial differential equation with solution

    𝑒(π‘βˆ—1, π‘βˆ—2) = 𝑣 (𝑝1π‘βˆ—1 + 𝑝2π‘βˆ—2

    𝑝1)

      and, if we use equation (7.24) and define 𝑀 ≑ π‘Š/𝑝1 in the optimum, we have

    𝑒(π‘βˆ—1, π‘βˆ—2) = 𝑣(𝑀)

      If the utility function is strictly concave then with very weak conditions (differentiability) wehave an unique interior optimum. It is clear that the budget set, in real terms, is a projectedcharacteristic.

    Second, the first corner solution for 𝑐1 is π‘βˆ—1 = 0 and an interior solution for 𝑐2 π‘βˆ—2 ∈ (0, ̄𝑐2) andthe budget constraint be saturated, and satisfies the conditions

    𝑝2𝑒𝑐1(π‘βˆ—1, π‘βˆ—2) = 𝑝1𝑒𝑐2(π‘βˆ—1, π‘βˆ—2) βˆ’ 𝑝2πœ‚1 (7.25)𝐸(π‘βˆ—1, π‘βˆ—2) = π‘Š (7.26)

  • Paulo Brito Advanced Mathematical Economics 2020/2021 29

    Figure 7.8: Interior optimum

    Figure 7.9: Corner solution: zero consumption

    Equation (7.25) is a first-order partial differential equation with solution

    𝑒(π‘βˆ—1, π‘βˆ—2) =πœ‚1π‘βˆ—2𝑝1

      + 𝑣 (𝑝1π‘βˆ—1 + 𝑝2π‘βˆ—2

    𝑝1)

      If we use equation (7.28) in the optimum we have

    𝑒(π‘βˆ—1, π‘βˆ—2) = βˆ’πœ‚1𝑝2π‘βˆ—2

    𝑝1  + 𝑣(𝑀) < 𝑣(𝑀)

      then the indirect utility level is smaller than for the unconstrained caseThird, the second corner solution for 𝑐1: lLet π‘βˆ—1 = ̄𝑐1 and π‘βˆ—2 ∈ (0, ̄𝑐2) and let the budget

    constraint be saturated; It verifies the conditions

    𝑝2𝑒𝑐1(π‘βˆ—1, π‘βˆ—2) = 𝑝1𝑒𝑐2(π‘βˆ—1, π‘βˆ—2) + 𝑝2𝜁1 (7.27)𝐸(π‘βˆ—1, π‘βˆ—2) = π‘Š (7.28)

  • Paulo Brito Advanced Mathematical Economics 2020/2021 30

    Equation (7.27) is a first-order partial differential equation with solution

    𝑒(π‘βˆ—1, π‘βˆ—2) = βˆ’πœ1π‘βˆ—2𝑝1

      + 𝑣 (𝑝1π‘βˆ—1 + 𝑝2π‘βˆ—2

    𝑝1)

      and if we use equation (7.28) in the optimum we have

    𝑒(π‘βˆ—1, π‘βˆ—2) =𝜁1𝑝2π‘βˆ—2

    𝑝1  + 𝑣(𝑀) < 𝑣(𝑀)

      then the indirect utility level is smaller than for the unconstrained caseWe verify that the interior optimum has characteristics given by 𝑐1 + 𝑝1𝑝2 𝑐2, and in general they

    coincide with the budget constraint.We can repeat the same exercise for the corner solutions for 𝑐2.

    7.5.6 Growth and inequality dynamics

    Consider an economy in which the households are heterogenous as regards their capital endowments,let the endowments belong to the continuum π‘˜ ∈ [π‘˜(𝑑), π‘˜(𝑑)] βŠ‚ ℝ+, and let 𝑁(𝑑, π‘˜) be the numberof people having an asset endowment π‘˜, at time 𝑑.

    If we denote the total population by 𝑁(𝑑) then

    𝑁(𝑑) = βˆ«π‘˜(𝑑)

    π‘˜(𝑑) π‘(𝑑, π‘˜)π‘‘π‘˜.

      We can denote the population density  by 𝑛(𝑑, π‘˜) = 𝑁(𝑑, π‘˜)/𝑁(𝑑). In this case

    βˆ«π‘˜(𝑑)

    π‘˜(𝑑)𝑛(𝑑, π‘˜)π‘‘π‘˜ = 1.

    Assume that the capital accumulates in linearly as

    π‘‘π‘˜π‘‘π‘‘ = π›Ύπ‘˜(𝑑).

      Then, using Leibniz rule

    𝑑𝑑𝑑 ∫

    π‘˜(𝑑)

    π‘˜(𝑑)𝑛(𝑑, π‘˜)π‘‘π‘˜ = ∫

    π‘˜(𝑑)

    π‘˜(𝑑)𝑛𝑑(𝑑, π‘˜)π‘‘π‘˜ + 𝑛(𝑑, π‘˜(𝑑))

    π‘‘π‘˜(𝑑)𝑑𝑑 βˆ’ 𝑛(𝑑, π‘˜(𝑑))

    π‘‘π‘˜(𝑑)𝑑𝑑

    = βˆ«π‘˜(𝑑)

    π‘˜(𝑑)𝑛𝑑(𝑑, π‘˜)π‘‘π‘˜ + 𝑛(𝑑, π‘˜(𝑑))π›Ύπ‘˜(𝑑) βˆ’ 𝑛(𝑑, π‘˜(𝑑))π›Ύπ‘˜(𝑑) =

    = βˆ«π‘˜(𝑑)

    π‘˜(𝑑)𝑛𝑑(𝑑, π‘˜) +

    πœ• (π›Ύπ‘˜π‘›(𝑑, π‘˜))πœ•π‘˜ π‘‘π‘˜

      by the mean-value theorem. Then the density satisfies the PDE

    𝑛𝑑(𝑑, π‘˜) + π›Ύπ‘˜π‘›π‘˜(𝑑, π‘˜) + 𝛾𝑛(𝑑, π‘˜) = 0

  • Paulo Brito Advanced Mathematical Economics 2020/2021 31

    0 10 20 30 40 50

    0.0

    00

    .04

    0.0

    8

    k

    n(k

    ,t)

    Figure 7.10: Density for several increasing dates

      which has the form of the transport equation (7.18).Given an initial density 𝑛0(π‘˜) the solution is then

    𝑛(𝑑, π‘˜) = π‘’βˆ’π›Ύπ‘‘π‘›0 (π‘˜π‘’βˆ’π›Ύπ‘‘) , (𝑑, π‘˜) ∈ ℝ+.

      Assuming a log-normal distribution

    πœ™(π‘˜) = (2πœ‹π‘˜2𝜎2)βˆ’12 exp (βˆ’(log (π‘˜) βˆ’ πœ‡)

    2

    2𝜎2 )

      then𝑛(𝑑, π‘˜) = (2πœ‹π‘˜2𝜎2)βˆ’

    12 exp (βˆ’(log (π‘˜) βˆ’ 𝛾𝑑 βˆ’ πœ‡)

    2

    2𝜎2 ) 

    Figure ?? presents the dynamics of capital distribution, that is, the dynamics of the density ofpopulation for several levels of capital

    Growth can be seen as travelling of the density of population for higher levels of capital wealth.We can compute several statistics to characterize the growth and distributional facts from thissimple model (see Figure 7.11:

    1. There is unbounded growth, with a constant growth rate 𝛾(𝑑) = 𝛾

    2. The distribution is non-ergodic (the average and variance tends to infinity)

    οΏ½Μ„οΏ½(𝑑) = 𝑒𝛾𝑑+πœ‡+ 𝜎2

    2 , πœŽπ‘˜(𝑑) = (οΏ½Μ„οΏ½(𝑑))2 (π‘’πœŽ2 βˆ’ 1)

     

    3. But the inequality measures are constant: Gini and Theil indices

    𝐺(𝑑) = erf (𝜎2 ) , Th(𝑑) =𝜎22

     

  • Paulo Brito Advanced Mathematical Economics 2020/2021 32

    0 20 40 60 80 100

    15

    20

    25

    30

    t

    Kav

    (a) Increasing average

    0 20 40 60 80 100

    15

    25

    35

    t

    stK

    (b) Increasing st. dev.

    0 20 40 60 80 100

    0.0

    0.4

    0.8

    t

    Gin

    i K

    (c) Constant Gini coefficient

    0 20 40 60 80 100

    0.0

    0.4

    0.8

    t

    Th

    eil K

    (d) Constant Theil index

    Figure 7.11: Linear accumulation function for 𝛾 > 0 and an initial log-normal distribution

    4. Ratio of the quantiles is also constant

    π‘˜90π‘˜10

    = βˆ’πœŽβˆš

    2 [erfβˆ’1 (1 βˆ’ 2 910) βˆ’ erfβˆ’1 (1 βˆ’ 2 110)]

    7.6 References

    β€’ Mathematics of PDE: introductory Olver (2014) more advanced (Evans, 1998, ch 3) orChechkin and Goritsky (2009)

    β€’ Applications to economics: Hritonenko and Yatsenko (2013)

    β€’ Application to mathematical demography: (Kot, 2001, ch. 23)

    β€’ A useful site: http://eqworld.ipmnet.ru/en/solutions/fpde/fpdetoc1.htm

    http://eqworld.ipmnet.ru/en/solutions/fpde/fpdetoc1.htm

  • Paulo Brito Advanced Mathematical Economics 2020/2021 33

    7.A Laplace transforms and inverse Laplace transforms

    Consider function 𝑓(π‘₯) where π‘₯ > 0. The Laplace transform of 𝑓(π‘₯) is

    β„’[𝑓(π‘₯)](𝑠) = ∫∞

    0π‘’βˆ’π‘ π‘₯𝑓(π‘₯)𝑑π‘₯ = 𝐹(𝑠).

      The application of Laplace transforms to the solution of differential equations is convenientbecause it allows for the transformation of a ODE into an non-differential equation and the trans-formation of a PDE into an ODE.

    The Laplace transform of 𝑓 β€²(π‘₯) = 𝑑𝑓(π‘₯)/𝑑π‘₯ is

    β„’[𝑓 β€²(π‘₯)](𝑠) = 𝑑𝑑π‘₯ (  ∫∞

    0π‘’βˆ’π‘ π‘₯𝑓 β€²(π‘₯)𝑑π‘₯) = 𝑠 ∫

    ∞

    0π‘’βˆ’π‘ π‘₯𝑓(π‘₯)𝑑π‘₯ + π‘’βˆ’π‘ π‘₯𝑓(π‘₯) ∣∞π‘₯=0= 𝑠𝐹(𝑠) βˆ’ 𝑓(0)

      if the function 𝑓(.) is bounded.Example: consider the differential equation

    𝑓 β€²(π‘₯) = π‘Žπ‘“(π‘₯).

      Applying the Laplace transform to both sides, yields

    β„’[𝑓 β€²(π‘₯)](𝑠) = π‘Žβ„’[𝑓(π‘₯)](𝑠),

      which is equivalent to the the algebraic equation in 𝐹(𝑠)

    𝑠𝐹(𝑠) βˆ’ 𝑓(0) = π‘ŽπΉ(𝑠).

    Therefore𝐹(𝑠) = 𝑓(0)𝑠 βˆ’ π‘Ž.

      To go back to the solution as a function of the independent variable π‘₯, we apply the inverseLaplace transform

    β„’βˆ’1[𝐹 (𝑠)](π‘₯) = 𝑓(0)β„’βˆ’1[ 1𝑠 βˆ’ π‘Ž](π‘₯).  But

    𝑓(π‘₯) = β„’βˆ’1[𝐹 (𝑠)](π‘₯) = ∫∞

    0π‘’βˆ’π‘₯𝑠𝐹(𝑠)𝑑𝑠

      andβ„’βˆ’1 ( 1𝑠 βˆ’ π‘Ž) (π‘₯) = 𝑒

    π‘Žπ‘₯

      Therefore,𝑓(π‘₯) = 𝑓(0) π‘’π‘Žπ‘₯.

     Some Laplace transforms used in the main text are presented in Table 7.1The Laplace transform and the inverse Laplace transforms are tabulated in many textbooks on

    calculus or in the web, see http://tutorial.math.lamar.edu/pdf/Laplace_Table.pdf. We cancompute them using Mathematica http://reference.wolfram.com/language/ref/LaplaceTransform.html and http://reference.wolfram.com/language/ref/InverseLaplaceTransform.html.

    http://tutorial.math.lamar.edu/pdf/Laplace_Table.pdfhttp://reference.wolfram.com/language/ref/LaplaceTransform.htmlhttp://reference.wolfram.com/language/ref/LaplaceTransform.htmlhttp://reference.wolfram.com/language/ref/InverseLaplaceTransform.html

  • Paulo Brito Advanced Mathematical Economics 2020/2021 34

    Table 7.1: Laplace transforms and inverse Laplace transforms

    𝑓(π‘₯) 𝐹(𝑠)

    π‘Ž 1𝑠

    π‘₯ 1𝑠2

    π‘’π‘Žπ‘₯ 1π‘ βˆ’π‘Ž

    𝐻(π‘Ž βˆ’ π‘₯) π‘’βˆ’π‘Žπ‘ π‘  π‘Ž > 0

    𝑓(π‘₯ βˆ’ π‘Ž) 𝐻(π‘₯ βˆ’ π‘Ž) 𝐹(𝑠) π‘’βˆ’π‘Žπ‘  π‘Ž > 0

  • Bibliography

    Chechkin, G. A. and Goritsky, A. Y. (2009). S.n. kruzhkov’s lectures on first-order quasilinear pdes.In Emmrich, E. and Wittbold, P., editors, De Gruyter Proceedings in Mathematics, Analyticaland Numerical Aspects of Partial Differential Equations, pages pp. 1–68. De Gruyter. traduit durusse par B. Andreianov.

    Dafermos, C. M. (2000). Hyperbolic Conservation Laws in Continuum Physics, volume 325 ofGrundlehren der mathematischen Wissenschaften. Springer.

    Evans, L. C. (1998). Partial Differential Equations, volume 19 of Graduate Series in Mathematics.American Mathematical Society, Providence, Rhode Island.

    Hritonenko, N. and Yatsenko, Y. (2013). Mathematical Modeling in Economics, Ecology and theEnvironment. Springer Optimization and Its Applications 88. Springer US.

    Kot, M. (2001). Elements of Mathematical Biology. Cambridge.

    McKendrick, A. G. (1926). Applications of mathematics to medical problems. Proceedings of theEdinburgh Mathematical Society, 44:98–130.

    Olver, P. J. (2014). Introduction to Partial Differential Equations. Undergraduate Texts in Math-ematics. Springer International Publishing, 1 edition.

    35

    First order quasi-linear partial differential equationsIntroductionScalar equations in the infinite domain and the method of characteristicsIntroduction: the method of characteristicsThe two simplest first order PDEsLinear equation with constant coefficientsSemi-linear equationQuasi-linear equations

    The linear equation in the semi-infinite domain and Laplace transform methodsLinear equation with zero right-hand sideLinear equation with homogeneous right-hand side

    Qualitative dynamics of first-order PDE'sEvolution equationsApplicationsThe transport equationAge-structured population dynamicsCohort's budget constraintInterest rate term-structureOptimality condition for a consumer choice problemGrowth and inequality dynamics

    ReferencesLaplace transforms and inverse Laplace transforms