In a complete -period binomial market with riskless gross return , pricing density and utility function , put . The optimal terminal payoff is . Its marginal utility is proportional to ; the supporting-line inequality for the strictly concave utility function proves optimality using the pricing budget constraint.
Demand correspondence 2026-10-14
A demand correspondence assigns a nonempty set of chosen consumption bundles to each price and wealth pair. Every chosen bundle satisfies the budget constraint. A utility function rationalizes the demand correspondence when the chosen bundles are exactly its maximizers over the budget set.
When a productive stock pays before trading at ex-dividend price , an investor entering with shares receives and sells or buys shares to leave with . The displayed budget constraint accounts for the available consumption and the cost of the new holding. Here is known before date , while and may depend on the information revealed at that date.
Feasible point 2026-10-13
A feasible point satisfies every optimization constraint of an optimization problem. For the budget constraint example, the feasible set is exactly
It is the line segment from to , a compact set and a convex set. The point is feasible, with product ; has a larger product but violates the budget constraint. Feasibility answers whether a decision is allowed; optimality asks whether any allowed decision is better. The extreme value theorem guarantees that this continuous objective function attains its maximum on this nonempty compact set.
Eliminating gives a one-variable objective function:
By completing the square, , with equality exactly at . Alternatively its derivative is , which vanishes at ; the endpoint values are both zero. Completing the square proves global optimality directly, whereas the first-order optimality condition only identifies a candidate. It also quantifies the cost of imbalance: moving to with loses exactly units of product. The arithmetic-geometric mean inequality gives another short certificate: , with equality exactly when .
For a transportation problem with capacity inequalities, feasibility requires nonnegative shipments, row totals no greater than factory capacities and column totals equal to shop demands. Feasibility alone does not prove minimal cost: a matching transportation dual certificate with capacity inequalities provides an optimality proof. The feasible set can be empty, and a finite infimum need not be attained even when the set is nonempty.
Lagrange multiplier Created 2026-09-24 Updated 2026-10-13
For continuously differentiable functions on an open subset of , suppose is a local extremum of subject to , with . Then a real number , the Lagrange multiplier, satisfies
The nonzero gradient assumption excludes singular points of the optimization constraint. With several equality optimization constraints, require their gradients to be linearly independent; the gradient of is then a linear combination of them. These are necessary conditions, not automatic certificates of a global maximum or global minimum.
Why can the gradient be nonzero at an optimum? In unconstrained optimization, every direction is available at an interior local extremum, so all directional derivatives vanish and . On a regular equality feasible set, only directions in its tangent space are available to first order. The gradient of must be perpendicular to those directions, so it is parallel to the gradient of . In two dimensions this explains the tangency of their level sets. See MIT, Lagrange multipliers and contour geometry.
For the product example, set and use the optimization Lagrangian
Its partial derivatives give , , and . Hence . At , : increasing both inputs would help, but is infeasible. Along the allowed direction , the directional derivative is zero. The endpoints must still be checked because of the nonnegativity optimization constraints; completing the square establishes the unique global maximum.
The sign convention matters: writing instead gives . Neither equality Lagrange multiplier has a universal nonnegativity requirement. Also, the displayed is unbounded above along , so stationarity here does not meet the global hypothesis of the Lagrangian sufficiency theorem.
The Lagrange multiplier also measures the value of extra resources. For a positive budget , the optimizer is , the optimum value is , and . At , an extra units predicts a gain of ; the exact gain is . This is the envelope theorem in a computed sensitivity analysis: the multiplier translates a binding budget constraint into a marginal benefit.
Mathematical optimization Created 2026-09-24 Updated 2026-10-13
Mathematical optimization turns a preference into a precise question: among the allowed decisions, which gives the best outcome? A model separates the objective function, which measures quality, from the optimization constraints, which determine the feasible set. This language unifies finding a cheap plan for a transportation problem, efficient scheduling, or an accurate model in linear regression. The separation is useful because changing a preference and changing what is possible are different modeling decisions. See Boyd and Vandenberghe, introductory optimization models.
For an objective function , a maximization problem asks for a feasible point satisfying for every ; a minimization problem reverses the inequality. This is a global extremum. A local maximum or local minimum compares only nearby feasible points, so finding one does not settle the global question.
Consider allocating ten units between two complementary inputs:
The budget constraint forces a tradeoff: an extra unit of costs a unit of . The best allocation is , with objective function value . Without the budget constraint, gives : there is no global maximum. Constrained optimization can therefore have a finite answer even when the corresponding problem with fewer optimization constraints does not. Its beauty is that geometry, calculus, and an arithmetic-geometric mean inequality can certify the same answer.
Objective function 2026-10-13
An objective function is a real-valued function assigning a score to each decision under consideration. An optimization problem seeks a feasible solution maximizing or minimizing this score. The optimizing decision and its score are different objects: in the budget constraint example, the decision is and the optimal value is .
Choosing an objective function expresses what matters. With and , maximizing makes every feasible point equally good; maximizing selects ; maximizing rewards balance. If are side lengths, is a rectangle's area, and the budget constraint fixes its perimeter at . The same mathematics then says that a square encloses the largest area among these rectangles.
For the product objective function, the positive level sets are hyperbolas. Each collects decisions with identical scores. The highest attainable level set touches the feasible set at ; higher ones miss it entirely.
Figure 1.
Product contours meet the feasible budget segment, with a unique maximum of 25 at (5,5)
. Details.
The product is neither a convex function nor a concave function on the positive quadrant: along it is , while along it is . Yet its restriction to this feasible set is a strictly concave function. Thus the geometry of the allowed decisions can make an otherwise nonconcave maximization problem tractable. Replacing by always converts a maximization problem into an equivalent minimization problem.
Let be the set allowed by the budget constraint. A demand correspondence is understood to choose only feasible bundles: . Define the direct revealed preference relation by
The indirect revealed preference relation is its reflexive transitive closure. Thus precisely when there is a finite chain whose successive comparisons satisfy . Chains of length zero are included. This makes a preorder on all of , including alternatives that are never chosen. The associated strict preference is
If a convention defines indirect revelation using only positive-length chains, one must add the diagonal before the intersection assertion in part (c) can hold: every complete weak preference relation contains the diagonal.
Write the first endowment as . The budget constraint at normalized prices is . Because the quasilinear utility is increasing in , the budget binds, and its maximization reduces to maximizing over . Its derivative is and its second derivative is , giving the unique demand correspondence
The first-good demand has no wealth effect. Since the second consumer's endowment and preference relation are fixed, everywhere. Thus the joint condition of part (a) becomes at equilibrium; it is not automatically satisfied.
Here is a complete smooth counterexample, with the second consumer's consumption set specified explicitly. The question does not impose the first consumer's consumption set on the second consumer. Take endowments and . Give the second consumer consumption set , where , and put . Its utility function is
This defines complete, transitive, continuous preference relations. It is in fact smooth on : writing and , the positive branch is ; at all derivatives tend to zero locally uniformly where . The endowment belongs to . Allowing negative holdings is explicit here, just as the first consumer's second coordinate is unrestricted in the printed question.
We now derive, rather than posit, the second consumer's demand correspondence. For , the upper contour is described by , with . At a fixed , its cheapest first coordinate uses . Minimizing total expenditure over therefore means minimizing
The unique minimum occurs at , with . The expenditure necessary to reach this contour is consequently
Set and . Wealth is , so the best affordable contour has
All affordable positive-utility bundles have , and the minimum-expenditure bundle on that contour is unique and spends precisely the budget. Zero-utility bundles cannot be optimal because this positive-utility bundle is available. Substitution yields globally smooth unique demands for every :
The aggregate excess demand is now
For every , the unique equilibrium price is , and . At this price the allocations are and , whose sum equals the aggregate endowment . Second-good excess demand is , so it too is smooth and clears. Hence every economy in this smooth parameterized family is singular. This demonstrates why the first consumer's missing wealth effect alone gives no transversality guarantee; the stronger conclusion in part (c) comes from the second consumer's additional demand restriction.
Take a riskless gross return per period and a stock whose independent multiplicative moves are and , with physical up probability . Assume . With up moves by date ,
A self-financing portfolio chooses each stock holding from information available before the next move, and invests the remainder in the bank account. At any node the two possible next payoffs can be matched by two holdings because . Backward induction therefore makes the binomial market complete.
The unique risk-neutral probability of an up move is determined by the discounted-stock martingale equation:
The risk-neutral measure assigns product probabilities to the successive moves. A path with up moves has physical probability and pricing probability . Its Radon-Nikodym derivative is therefore
Since , eliminate to obtain the requested terminal-price expression:
The pricing density depends only on the terminal stock price even though different paths to that price have different intermediate histories.
For , a nonnegative terminal wealth with initial cost satisfies
The utility function has derivative . Put . Its first-order condition makes proportional to , so . Choosing to satisfy the pricing budget constraint gives the binomial power-utility terminal wealth
All states have positive probability and the state space is finite, so this payoff is positive, integrable and attainable. The normalizing constant is explicit: independence gives
Combining these two formulas with the terminal-price expression for gives entirely as a function of .
To prove global optimality, strict concavity gives . Because , the expectation of the right side is zero for any other payoff satisfying the same pricing budget constraint. Equality requires almost surely. Backward replication supplies its self-financing strategy, so this static optimum is attainable by trading. If and terminal wealth must be nonnegative, the only feasible terminal wealth is zero. For , the density is one and the optimizer is the riskless wealth .
For a competitive equilibrium with one productive asset, the primitives are the probability law and information filtration of total output , each agent's utility function and discount factor, the initial ownership shares summing to one, and the permitted consumption and trading strategies. Prices are not primitives of the equilibrium problem. The derived objects are the ex-dividend price , each agent's consumption and holdings , and their marginal-utility pricing processes. At a common price, every agent solves the individual problem, and resource and share clearing require
The individual discrete dividend budget equations, optimality Euler equations and terminal conditions from part (i), together with these clearing equations, define equilibrium even when the market is incomplete. Summing the individual budget constraints is consistent with total fruit consumption.
For the given constant absolute risk aversion utility, . Hence each interior optimum satisfies
The same must satisfy all these equations, but their conditional expectation identities do not by themselves identify the different agents' pricing densities pointwise.
To illustrate explicit exponential-utility risk sharing, first consider a complete or otherwise implementable interior allocation. With positive constant welfare weights , a pointwise resource multiplier satisfies
Write
Solving the marginal equations and summing the consumptions gives
The output risk is shared in proportion to risk tolerance ; differences in patience produce the time-dependent transfer term. The common normalized state-price density is . The weights, up to a common scale, are determined by the initial wealth budgets
and, for a fundamental price,
If consumption is required to be nonnegative and the interior formula produces a negative allocation, replace it by
For this determines the resource multiplier uniquely. At zero total output all constrained consumptions are zero and the corresponding marginal inequalities apply.
A single traded tree need not span the contingent transfers in the general risk-sharing formula. A genuine equilibrium example within the literal one-tree market is obtained by taking all and initial shares . Then
Every agent simply keeps the initial shares, all budget constraints and clearing conditions hold, and their discounted marginal utilities coincide. The fundamental price above satisfies every Euler equation. For example, nonnegative bounded output ensures the required price and utility integrability and the terminal terms vanish; the supporting-line argument from part (i) then verifies individual optimality. For heterogeneous discount factors or arbitrary initial ownership, the displayed coupled Euler-budget-clearing system remains the correct one-tree formulation; using the unconstrained Pareto allocation as a traded equilibrium requires an additional financing check.
Take to be the ex-dividend stock price: the date- output has already been paid when trading occurs. Receiving units of fruit and selling shares gives the discrete dividend budget equation
The entering holding is chosen with date- information, while and the next holding may use date- information. The output is the consumption good and price numéraire; its stochastic law is exogenous to the individual's price-taking choice.
For the interior differentiable case, attach an adapted Lagrange multiplier to each budget constraint. On a finite horizon, with the terminal holding fixed or its continuation value included, the optimization Lagrangian is
An adapted variation in gives . An arbitrary date- measurable variation in affects two adjacent terms. Its coefficient must have zero conditional mean, so
These are the Euler equations of marginal utility pricing in a dividend economy. If the utility function is merely concave, a supporting slope replaces ; binding consumption or trading restrictions give the corresponding inequalities rather than unconstrained equalities.
With known initial information and , normalize . This is a state-price density for the traded asset. In particular,
The ratio is the stochastic discount factor: payment in a state with greater marginal utility has a higher marginal value. For a priced contingent payoff at , its price is ; pricing arbitrary claims uniquely also requires market completeness. The deflated cumulative gains form a martingale whenever the displayed terms are integrable.
Iterating the Euler equation gives
Under the dividend-price transversality condition and the needed integrability, this becomes the fundamental price
Thus an infinite-horizon price is not automatically just a dividend sum: its terminal term must vanish. Telescoping the individual budget constraints similarly gives
A no-Ponzi lower restriction on this final term gives the consumption budget inequality; its vanishing gives equality. Together with the supporting-line inequality for a concave utility function, the Euler equations and these terminal conditions supply the usual sufficiency argument for an admissible candidate. In an incomplete market, each optimal agent's marginal utility can supply a different state-price density pricing the same traded tree.
With , the budget constraint is . On this hyperplane the riskless term is constant, so maximize . The Lagrange multiplier equation gives . If , let and impose the budget constraint:
Positive definiteness makes the objective strictly concave on the hyperplane, proving this stationary point is the global constrained optimum. If , the cash-free constraint is feasible only when ; in that degenerate case the optimum is . The displayed quotient, including the one in the question, presupposes .