Abstract

This paper studies dynamic models of production and exchange on graph with consideration of transportation costs. Using graph and set of matrices, we introduce superlinear multivalued mappings which describe the exchange ratio in considered system. Effective trajectories of these models are studied. It is shown that trajectories can be constructed using the simplest equilibrium type mechanisms. Characteristics of effective trajectories in Neumann type models are given. Conditions for the existence of equilibrium state of the considered model are found.

1. Introduction

A lot of works appeared lately dealing with the applications of graph theory to some models of economic dynamics [13] and related extremal problems [2, 49]. In this paper, an attempt is made to apply the elements of graph theory to the models of economic dynamics with consideration of transportation costs. We consider production mappings which define the Neumann-Gale model [10].

Consider a digraph with no multiple arcs ɣ=(J,G), where is a set of vertices and G J x J is a set of arcs. Multivalued mapping with the graphic G is denoted by the same symbol G. Thus, G (i) consists of those vertices j for which there exists an arc from i to j. For convenience, we will assume that each vertex is provided with a loop, i.e., iG(i) for every i. The simulated economic system operates with n products. If there is a product vector at the vertex jG, where then any part of this vector () can be transferred (transported) to the vertex kG(j). Each arc (j, k)G is associated with some nonnegative matrix , by means of which “transport costs” are taken into account in some generalized sense. This means that if the vector at the vertex is selected for transmission to the vertex , then the vector moves to the latter vertex. The additional vector -Cjkujk, in case of its nonnegativity, can be considered as a transportation fee, which is withdrawn from the system. We can assume that is a diagonal matrix with nonnegative diagonal elements , where 1- coincides with the fraction of the unit of the l-th product, which should be paid for the transportation of this unit along the arc (j, k). But this kind of matrix will not be used in the sequel. We assume below that coincides with the identity matrix E for all jJ (no need to pay for the transportation from a vertex to itself).

Consider the complete graph with the same set of vertices J, and associate every pair (j, k)J x J with the matrix by letting if (j, k)G and otherwise. The problems below may be considered on a complete graph γ; i.e., instead of the system (J,G,) one may consider (J,J x J,). In other words, the arc (j, k)J x J is obviously forbidden in these problems if . But it would be convenient for us to express the set of arcs G in explicit form. Using the graph γ=(J,G) and the set of the matrices , we can introduce the mapping В, which describes the exchange relation in the simulated system. This mapping is defined on the cone . Let , where is a vector of products in the vertex . Then

It is easy to verify that the mapping В is superlinear, i.e., it has the following three properties:(1)B(Y1+ Y2) B(Y1) + B(Y2)(2)B(Y) = B(Y); (3)The graph of the mapping В, i.e., the set , is closed; besides, the following conditions are satisfied:(4)B(0) =(5)

Equality (9) follows from the fact that YB(Y) for all Y. Production capabilities of the vertex jJ are described by the superlinear mapping : .

It is assumed that for all j. Production capabilities of the entire system are given by the mapping A defined on the cone .

If X=(X1,…,), thenIn other words,

Main Part. The operations performed by the entire system over a period of time consist of production and exchange. These operations can be carried out in different order. If the production comes first followed by the exchange, then the work of the system is described by the composition a = В∘А of the mappings A and B:

Conversely, if the exchange happens first and then comes production, then we should consider the composition b = A∘B of the mappings B and A: It is obvious that the mappings a and b are superlinear and, besides, a(0) = b(0) =

However, since the equality a()= may not be satisfied, the relation a()= may not hold. If it is true, then the mapping a defines the Neumann-Gale model [11]. The same is also true for the mapping b.

In what follows, we will need description of the mappings conjugate to a and b. Recall that, for the superlinear mapping c: , its conjugate is defined by the equalityThe symbol [x, y] denotes the scalar product of the vectors x and y. Sometimes, instead of the conjugate , it is convenient to use its inverse mapping , called the dual mapping [11]:

The following statements are valid.

Proposition 1 (see [10]). Let .Let us introduce the following notations. Let – (,…,) and The supremum of the vectors is calculated here coordinatewise ( is a sign of matrix transposition). Further, let

Proposition 2. Let , then

Proof. Let . It is well known that the set B(H) coincides with the super differential of the superlinear functional . Let us calculate this functional. First we find the quantity [H,Z], where ZB(Y); i.e., Z is representable in the form Z=(z1,z2,…,), where , and the elements are such that , j=1,2,…,m.
We have It follows that .
The maximum here is calculated over independent sets; that is, the elements on which the maximum is attained for some j depend only on .Therefore,It is known from the theory of semiordered spaces [5] that the maximum under the first sign of sum can be written in the form [, ], where is the element defined by (9). Thus,i.e., the functional is linear and is determined by the element Q(H). It immediately follows that . This completes the proof.

Remark 1. Since jG(j) and is an identity operator, we have for all j, and, consequently, Q(H)≥H.

Proposition 3. Let , whereand the elements are such that Further, let , where , . Then the equality is valid if and only if when for all .

Proof. It follows from (12) thatAt the same time, By Proposition 2, each term in the last sum is nonpositive. Therefore, the sum is zero if and only if each term is zero.
The proposition is proved.

Proposition 4. Suppose that under the conditions of Proposition 3 all the matrices coincide with the identity matrix and, in addition, the vector Y is strictly positive. Then G=Q(H)=H.

Proof. From Proposition 2 and Remark 1 it follows that G≥Q(H)≥H. On the other hand, since is an identity operator, it follows from (17) thatStrict positivity of the vector implies the validity of the equality .
The proposition is proved.

The results obtained make it possible to describe the characteristics of the effective trajectories in Neumann type models defined by the production mappings of the form (4) and (5). Therefore, these models can be called models of production and exchange on graph.

Consider the model defined by the mapping a of the form (4). Let T be a positive integer. As is known [1], Т-step trajectory of the model is defined as a finite sequence such that (t=0,1,…,T-1). Let F=(f1,..., ) be a price vector. The trajectory X0,X1,..., is called optimal in the sense of F if [F,X]= where the maximum is taken over all the trajectories (0,…,,…,) starting at the point X0. Under natural conditions, the optimal trajectory in the sense of F admits a characteristic [1]; that is, there exists a sequencefor every Т-step trajectory (0,…,).

Consider the trajectory X0, X1,...,. Denote by , (t=1,…,T; (j,i)G) the elements , with the property

Theorem 1. The sequence ,...,, where (,…,), is a characteristic of the trajectory X0,... if and only if here is an operator defined by (9).

Proof. Let () be a characteristic for the trajectory (). Then for every t=0,1,…,T we haveSince a=В∘A, by the theorem on the conjugate to the composition [1], we have . Therefore, there exists a price vector such thatThe inequality implies the inclusion (). The validity of this simple statement was proved, e.g., in [1]. The validity of relation (23) follows immediately from this statement.
The inclusions a(), )) imply the inequality [Q(), ] ≤ [,], which, in turn, combined with (25) implies the inequality At the same time, the relation Q()() shows that ≤ [Q(), ].
Thus, [Q(), ] = [,]. Then, by virtue of Proposition 3, we get the validity of (24). So, if F0, F1,…, are the characteristics of the trajectory X0,…, then relations (23) and (24) are true. Converse statement can be easily verified.

Remark 2. The statement of Theorem 1 remains valid for infinite trajectories, as well as in the case where the production mappings of the model depend on time.

Characteristic prices of the effective trajectory can be interpreted as the equilibrium prices in some model of distribution economy.

Now recall the definition of fixed income distribution model. This model contains m participants (consumers), with i-th participant defined by his utility function and his income . It is assumed that the resource vector of the entire economy X is known. This model is denoted as (u, λ, x), where u=(u1,u2,…,), λ=(λ1, λ2,…, ).

Equilibrium state of the model (u, λ, x) is defined as the set (x1,x2,…,,p), where P is a price vector, x1,x2,…, is a resource vector with ,and is a solution of the problem In the sequel, we will assume that all utility functions are first degree positively homogeneous functions. Suppose . In this case, the vector is a solution of problem (29) if and only if it satisfies the equality and in addition is a solution of the problemsubject to x ≥ 0.

The quantity [p,x] represents the cost of resources at the prices P. If may be interpreted as a cost of production (at some price) and – [p,x] may be interpreted as an income, then the problem (30) is reduced to the maximization of the growth rate of profit.

Consider problem (30) under the assumption that = 0 and this problem has a solution.

Then the equality [p,x]=0 implies (otherwise the solution does not exist). Assume that =0. Then every vector x ≥ 0 with [p,x]=0 is a solution of both problem (29) and problem (30). Let us define the nonfixed income distribution model. As above, this model has m participants. However, the i-th participant is characterized only by the utility function . This function is assumed to be positively homogeneous of the first degree. Besides, we are given a total resources vector X. Assuming u=(u1,u2,…,), we denote this model by (u, x).

The equilibrium state of the model (u, x) is a set (x1,x2,…,,p), where is a solution of problem (30) and .

When considering problem (30), we assume =0; =+∞, for c > 0. Let the set (x1,x2,…,,p) be an equilibrium state of the model (u, x) and =(λ1, λ2,…, ).

Then this set is an equilibrium state of the model (u, λ, x). On the other hand, the equilibrium state of (u, λ, x) is the equilibrium state of (u, x) for any λ.

Back to the above considered mappings A, B. Let b=A∘В. Using the theorem on the mapping conjugate to the composition [1], we obtain . In other words, if F=(f1,f2,…,) G=(g1,g2,...,) are price vectors and F(G), then there exists a price vector H=(h1,h2,…,), such that H(G), F(H). By Proposition 1, , i.e., for all and .

The last relation can be rewritten as where

Proposition 5. Let the vectors 1,2,…,, 1,2,…,, and 1,2,…, and the price vectors , , and satisfy , , , , and, in addition, = . Then the vector is a solution of the problemHere is a function defined by equality (32), and, as above, it is assumed that 0/0=0.

Proof. Sincewe haveThen it follows from the condition of the proposition that [F,] [H,[G,]. Using relations (32) and (33), we getAs , we have for all . Then it follows from (31) that is a solution of problem (33).

Remark 3. It immediately follows from the proof that the value of problem (33) coincides with either zero or unity.
Consider the case where under the conditions of Proposition 5 the graph γ = (J, G) is complete, all the matrices coincide with the identity matrices, and the vector X is strictly positive. Then, as follows from Proposition 4, Q(H)=H.

Let . Since the graph is complete, we have . Thus, the equality holds for every j, and therefore problem (33) may be rewritten in the form

It follows that the set (1, 2,…, , h) is an equilibrium state of the model (V,x), where V=(V1,V2,…,), x=. The last relation means that there exist the elements such that We now consider the general situation, that is, the model of distribution economy on the graph (J, G) with the system of matrices , (i,j)G. The participant i in this model is defined by the utility function (iJ)= and the resource vector . Denote the considered model by (U, X), where U=(u1,u2,…,), X=(x1,x2,…,). Proposition 5 suggests the following definition.

Definition. By the equilibrium state for the model (U, X) we mean a set (Z, H) with Z=(z1,z2,…,), H=(h1,h2,…,) where is a resource vector, is a price vector, is a solution of the problem →max subject to Z ≥ 0, and there exist the vectors , (j,i)G such that

The vector H=(h1,h2,…,) is related to the vectors by the relations of type where is a vector defined by (9).

Consider the Neumann-Gale model given by the production mapping b = A∘B. Also consider the Neumann type model m that has B as a production mapping at even moments of time and A as a production mapping at odd moments of time. Let () be the effective trajectory of the model admitting the characteristics (). Then there exist the resource vectors and the price vectors such that the sequencesare the trajectories of the model and its dual , respectively, with the second sequence being a characteristic of the first one. Besides, the sequence Z0,Z1,…,… makes a trajectory of the model , while the sequence H0,H1,…,… forms the characteristics of this trajectory.

It follows directly from Proposition 4 that the pair () represents the equilibrium in a nonfixed income model defined by the resource vector ,,…,) and utility functions =(,,…,), where is given by the formula (32) for =. This equilibrium is characterized by the fact that the value of the problem (z)/[,z] coincides with either zero or unity.

Suppose that we have a graph (J, G) equipped with a system of matrices () (j,iG), each i being associated with the resource vector and the utility function . Using the theorem on characteristics, under some conditions it is possible to prove the existence of an equilibrium (Z, H) for the model (U, X) with an additional property that the value of the problem coincides for all i with either zero or unity. Let us give the outlines of the proof. Consider some strictly positive vectorswhich satisfy the condition . Define the mapping by letting . Let be a function given by (32). Then, by definition, for all х ≥ 0.

Suppose that the vectors are strictly positive and consider one-step trajectory of the model starting at the point X and maximizing the price vector G on the set , where, as above, b = A∘B, the mapping B is defined in (1) by the graph (J, G) and the matrices , and the mapping A is defined in (4) by the mapping . Let this trajectory have the form (X, Y). Then there exists a vector Z such that ZB (X), YA (Z). By the well-known theorems [1], there exists a price vector F such that the pair (F,G) is a characteristic of the trajectory (X, Y). There exists a vector H such that F(H), H(G)It is clear that the pair is the sought one.

2. Conclusions

The results obtained in this work allow applying well-known facts about graph theory to some models of production and exchange. A description of the characteristics of the effective trajectories of the Neumann type models is given. It is shown that the characteristic prices can be considered as equilibrium prices in some distribution models. Besides, the resource vector of considered problem is a solution of some extremal problem. The existence of equilibrium is proved under some conditions.

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The author declares that they have no conflicts of interest.