Linear utility

Define a linear economy as an exchange economy in which all agents have linear utility functions. A linear economy has several properties.

Assume that each agent ${\displaystyle A}$ has an initial endowment ${\displaystyle {\overrightarrow {e_{A}}}}$. This is a vector of size ${\displaystyle m}$ in which the element ${\displaystyle e_{A,i}}$ represents the amount of good ${\displaystyle i}$ that is initially owned by agent ${\displaystyle A}$. Then, the initial utility of this agent is ${\displaystyle {\overrightarrow {w_{A}}}\cdot {\overrightarrow {e_{A}}}}$.

Suppose that the market prices are represented by a vector ${\displaystyle {\overrightarrow {p}}}$ - a vector of size ${\displaystyle m}$ in which the element${\displaystyle p_{i}}$ is the price of good ${\displaystyle i}$. Then, the budget of agent ${\displaystyle A}$ is ${\displaystyle {\overrightarrow {p}}\cdot {\overrightarrow {e_{A}}}}$. While this price vector is in effect, the agent can afford all and only the bundles ${\displaystyle {\overrightarrow {x}}}$ that satisfy the budget constraint: ${\displaystyle {\overrightarrow {p}}\cdot {\overrightarrow {x}}\leq {\overrightarrow {p}}\cdot {\overrightarrow {e_{A}}}}$.

A competitive equilibrium is a price vector and an allocation in which the demands of all agents are satisfied (the demand of each good equals its supply). In a linear economy, it consists of a price vector ${\displaystyle {\overrightarrow {p}}}$ and an allocation ${\displaystyle X}$, giving each agent a bundle ${\displaystyle {\overrightarrow {x_{A}}}}$ such that:

• ${\displaystyle \sum _{A}{\overrightarrow {x_{A}}}=\sum _{A}{\overrightarrow {e_{A}}}}$ (the total amount of all goods is the same as in the initial allocation; no goods are produced or destroyed).
• For every agent ${\displaystyle A}$, its allocation ${\displaystyle {\overrightarrow {x_{A}}}}$ maximizes the utility of the agent, ${\displaystyle {\overrightarrow {w_{A}}}\cdot {\overrightarrow {x}}}$, subject to the budget constraint ${\displaystyle {\overrightarrow {p}}\cdot {\overrightarrow {x}}\leq {\overrightarrow {p}}\cdot {\overrightarrow {e_{A}}}}$.

In equilibrium, each agent holds only goods for which his utility/price ratio is weakly maximal. I.e, if agent ${\displaystyle A}$ holds good ${\displaystyle i}$ in equilibrium, then for every other good ${\displaystyle j}$:

${\displaystyle w_{A,i}/p_{i}\geq w_{A,j}/p_{j}}$

(otherwise, the agent would want to exchange some quantity of good ${\displaystyle i}$ with good ${\displaystyle j}$, thus breaking the equilibrium).

Without loss of generality, it is possible to assume that every good is desired by at least one agent (otherwise, this good can be ignored for all practical purposes). Under this assumption, an equilibrium price of a good must be strictly positive (otherwise the demand would be infinite).

David Gale[1] proved necessary and sufficient conditions for the existence of a competitive equilibrium in a linear economy. He also proved several other properties of linear economies.

A set ${\displaystyle S}$ of agents is called self-sufficient if all members of ${\displaystyle S}$ assign a positive value only for goods that are owned exclusively by members of ${\displaystyle S}$ (in other words, they assign value ${\displaystyle w_{i}=0}$ to any product ${\displaystyle i}$ which is owned by members outside ${\displaystyle S}$). The set ${\displaystyle S}$ is called super-self-sufficient if someone in ${\displaystyle S}$ owns a good which is not valued by any member of ${\displaystyle S}$ (including himself). Gale's existence theorem says that:

A linear economy has a competitive equilibrium if and only if no set of agents is super-self-sufficient.

Proof of "only if" direction: Suppose the economy is in equilibrium with price ${\displaystyle {\overrightarrow {p}}}$ and allocation ${\displaystyle x}$. Suppose ${\displaystyle S}$ is a self-sufficient set of agents. Then, all members of ${\displaystyle S}$ trade only with each other, because the goods owned by other agents are worthless for them. Hence, the equilibrium allocation satisfies:

${\displaystyle \sum _{A\in S}{\overrightarrow {x_{A}}}=\sum _{A\in S}{\overrightarrow {e_{A}}}}$.

Every equilibrium allocation is Pareto efficient. This means that, in the equilibrium allocation ${\displaystyle x}$, every good is held only by an agent which assigns positive value to that good. By the equality just mentioned, for each good ${\displaystyle i}$, the total amount of ${\displaystyle i}$ held by members of ${\displaystyle S}$ in the equilibrium allocation ${\displaystyle x}$ equals the total amount of ${\displaystyle i}$ held by members of ${\displaystyle S}$ in the initial allocation ${\displaystyle e}$. Hence, in the initial allocation ${\displaystyle e}$, every good is held by a member of ${\displaystyle S}$, only if it is valuable to one or more members of ${\displaystyle S}$. Hence, ${\displaystyle S}$ is not super-self-sufficient.

Competitive equilibrium with equal incomes (CEEI) is a special kind of competitive equilibrium, in which the budget of all agents is the same. I.e, for every two agents ${\displaystyle A}$ and ${\displaystyle B}$:

${\displaystyle {\overrightarrow {p}}\cdot {\overrightarrow {x_{A}}}={\overrightarrow {p}}\cdot {\overrightarrow {x_{B}}}}$

The CEEI allocation is important because it is guaranteed to be envy-free:[2] the bundle ${\displaystyle x_{A}}$ gives agent ${\displaystyle A}$ a maximum utility among of all the bundles with the same price, so in particular it gives him at least as much utility as the bundle ${\displaystyle x_{B}}$.

One way to achieve a CEEI is to give all agents the same initial endowment, i.e., for every ${\displaystyle A}$ and ${\displaystyle B}$:

${\displaystyle {\overrightarrow {e_{A}}}={\overrightarrow {e_{B}}}}$

(if there are ${\displaystyle n}$ agents then every agent receives exactly ${\displaystyle 1/n}$ of the quantity of every good). In such an allocation, no subsets of agents are self-sufficient. Hence, as a corollary of Gale's theorem:

In a linear economy, a CEEI always exists.

Gale[1] proved that:

In a linear economy, all agents are indifferent between all the equilibria.

Proof. The proof is by induction on the number of traders. When there is only a single trader, the claim is obvious. Suppose there are two or more traders and consider two equilibria: equilibrium X with price vector ${\displaystyle {\overrightarrow {p}}}$ and allocation ${\displaystyle x}$, and equilibrium Y with price vector ${\displaystyle {\overrightarrow {q}}}$ and allocation ${\displaystyle y}$. There are two cases to consider:

a. The price vectors are the same up to multiplicative constant: ${\displaystyle {\overrightarrow {p}}=C\cdot {\overrightarrow {q}}}$ for some constant ${\displaystyle C}$. This means that in both equilibria, all agents have exactly the same budget set (they can afford exactly the same bundles). In equilibrium, the utility of every agent is the maximum utility of a bundle in the budget set; if the budget set is the same, then so is the maximum utility in that set.

b. The price vectors are not proportional. This means that the price of some goods changed more than others. Define the highest price-rise as:

${\displaystyle M:=\max _{i}{q_{i}/p_{i}}}$

and define the highest price-rise goods as those good/s that experienced the maximum price change (this must be a proper subset of all goods since the price-vectors are not proportional):

${\displaystyle H:=\{i|q_{i}/p_{i}=M\}}$

and define the highest price-rise holders as those trader/s that hold one or more of those maximum-price-change-goods in Equilibrium Y:

${\displaystyle S:=\{A|y_{A,i}>0{\text{ for some }}i\in H\}}$

In equilibrium, agents hold only goods whose utility/price ratio is weakly maximal. So for all agents in ${\displaystyle S}$, the utility/price ratio of all goods in ${\displaystyle H}$ is weakly maximal under the price vector ${\displaystyle {\overrightarrow {q}}}$. Since the goods in ${\displaystyle H}$ experienced the highest price-rise, when the price vector is ${\displaystyle {\overrightarrow {p}}}$ their utility/price ratio is strongly maximal. Hence, in Equilibrium X, all agents in ${\displaystyle S}$ hold only goods from ${\displaystyle H}$. In equilibrium X, someone must hold goods that are not in ${\displaystyle H}$; hence, ${\displaystyle S}$ must be a proper subset of the agents.

So in equilibrium X, the ${\displaystyle S}$-agents hold only ${\displaystyle H}$-goods, and in equilibrium Y, ${\displaystyle S}$-agents hold all the ${\displaystyle H}$-goods. This allows us to do some budget calculations:

On one hand, in equilibrium X with price ${\displaystyle {\overrightarrow {p}}}$, the ${\displaystyle S}$-agents spend all their budget on ${\displaystyle H}$-goods, so:

${\displaystyle {\overrightarrow {p}}\cdot \sum _{A\in S}{\overrightarrow {e_{A}}}\leq \sum _{i\in H}{p_{i}\cdot {\overrightarrow {e_{i}}}}}$

(where ${\displaystyle {\overrightarrow {e_{i}}}}$ is the total initial endowment from good ${\displaystyle i}$).

On the other hand, in equilibrium Y with price ${\displaystyle {\overrightarrow {q}}}$, the ${\displaystyle S}$-agents can afford all the ${\displaystyle H}$-goods, so:

${\displaystyle {\overrightarrow {q}}\cdot \sum _{A\in S}{\overrightarrow {e_{A}}}\geq \sum _{i\in H}{q_{i}\cdot {\overrightarrow {e_{i}}}}}$

Combining these equations leads to the conclusion that, in both equilibria, the ${\displaystyle S}$-agents only trade with each other:

${\displaystyle \sum _{A\in S}{y_{A}}=\sum _{A\in S}{x_{A}}=\sum _{A\in S}{e_{A}}}$.

Hence, the agents not in ${\displaystyle S}$ also only trade with each other. This means that equilibrium X is composed of two equilibria: one that involves only ${\displaystyle S}$-agents and ${\displaystyle H}$-goods, and the other that involves only non-${\displaystyle S}$-agents and non-${\displaystyle H}$-goods. The same is true for agent Y. Since ${\displaystyle S}$ is a proper subset of the agents, the induction assumption can be invoked and the theorem is proved.

Eaves[3] presented an algorithm for finding a competitive equilibrium in a finite number of steps, when such an equilibrium exists.

Linear utilities functions are a small subset of Quasilinear utility functions.

Goods with linear utilities are a special case of substitute goods.

Suppose the set of goods is not finite but continuous. E.g., the commodity is a heterogeneous resource, such as land. Then, the utility functions are not functions of a finite number of variables, but rather set functions defined on Borel subsets of the land. The natural generalization of a linear utility function to that model is an additive set function. This is the common case in the theory of fair cake-cutting. An extension of Gale's result to this setting is given by Weller's theorem.

Under certain conditions, an ordinal preference relation can be represented by a linear and continuous utility function.[4]