<p>As the OP noted in a comment, Theorem 1 in section 12 of <a href="http://books.google.co.in/books?id=CeC7AQAAQBAJ&amp;pg=PA43&amp;lpg=PA239&amp;focus=viewport&amp;dq=kolmogorov%20fomin%20variations" rel="nofollow noreferrer">Gelfand and Fomin's Calculus of Variations</a> seems to provide some comfort that we can indeed use the Langrange Multiplier method when the number of our variables is infinite. Still, the authors do that in a footnote, writing &quot;the reader will easily recognize <em>the analogy</em> with Langrange multipliers&quot;. So no, this does not rigorously show what we want.</p>
<p>I think that what we need is a paper like <a href="http://journals.cambridge.org/article_S0004972700046050" rel="nofollow noreferrer">Craven, B. D. (1970). A generalization of Lagrange multipliers. Bulletin of the Australian Mathematical Society, 3(03), 353-362.</a> which in its summary writes:</p>
<blockquote>
<p><em>The method of Lagrange multipliers for solving a constrained
stationary-value problem is generalized to allow the functions to take
values in arbitrary Banach spaces (over the real field). The set of
Lagrange multipliers in a finite-dimensional problem is shown to be
replaced by a continuous linear mapping between the relevant Banach
spaces.</em></p>
</blockquote>
<p>This is math-speak but it says what we wanted to hear (one can also find a short exposition in wikipedia to the degree that it trusts the content).</p>
<p>Then, we can form the Lagrangean of the problem</p>
<p><span class="math-container">$$\Lambda = \int_0^1 c_i^\theta\,\text{d}i +\lambda\left(M - \int_0^1 p_i c_i\,\text{d}i\right)$$</span></p>
<p>and calculate the first-order condition(s) by , informally speaking, &quot;looking at the integral and seeing a sum&quot;,</p>
<p><span class="math-container">$$\frac{\partial \Lambda}{\partial c_i} = 0 \Rightarrow  \theta c_i^{\theta-1} = \lambda p_i, \;\; i \in [0,1] \tag{1}$$</span></p>
<p>...a continuum of conditions. For later use we  define</p>
<p><span class="math-container">$$\sigma \equiv 1/(1-\theta), \Rightarrow 1-\theta = 1/\sigma, \;\; \theta = \frac {\sigma-1}{\sigma}$$</span></p>
<p>The constant <span class="math-container">$\sigma$</span> can be shown to be the elasticity of substitution between any two goods.</p>
<p>Writing <span class="math-container">$(1)$</span> for commodity <span class="math-container">$j$</span> and equating through the common lagrange multiplier we arrive at</p>
<p><span class="math-container">$$c_i = \left(\frac {p_i}{p_j}\right)^{-\sigma}c_j
 \tag{2}$$</span></p>
<p>Multiply both sides by <span class="math-container">$p_i$</span> and take the integral over the commmodity space with respect to <span class="math-container">$i$</span>:</p>
<p><span class="math-container">$$\int_0^1 p_i c_i\,\text{d}i = \int_0^1 p_i^{1-\sigma}p_j^{-\sigma}c_j\,\text{d}i$$</span></p>
<p><span class="math-container">$$\Rightarrow M = p_j^{\sigma}c_j\int_0^1 p_i^{1-\sigma}\,\text{d}i$$</span></p>
<p><span class="math-container">$$\Rightarrow c_j = p_j^{-\sigma} \cdot M \cdot \left(\int_0^1 p_i^{1-\sigma}\,\text{d}i\right)^{-1} \tag{3}$$</span></p>
<p>which is Marshallian demand for commodity <span class="math-container">$j$</span>.</p>

CC BY-SA 3.0
2014-11-23T02:52:41.407Z
The Kolmogorov-Fomin result applied mechanically gives us a solution. So we need not appeal to the analogy with Lagrange multipliers. I am writing it out in a separate answer.
Jyotirmoy Bhattacharya
CC BY-SA 4.0
2014-11-22T20:21:49.070Z
2022-02-15T02:01:20.713Z
2022-02-15T02:01:20.713Z
Alecos Papadopoulos
<p>This is just an elaboration of the answer given by @user157623. I am posting it as a community wiki for convenience.</p>

<p>Theorem 1 of Section 12 of Kolmogorov and Fomin's <a href="http://books.google.co.in/books?id=CeC7AQAAQBAJ&amp;lpg=PA239&amp;dq=kolmogorov%20fomin%20variations&amp;pg=PA43#v=onepage&amp;q&amp;f=false"><em>Calculus of Variations</em></a> says</p>

<blockquote>
  <p>Given the functional $$J[y] = \int_a^b F(x,y,y')\,dx,$$ let the
  admissible curves satisfy the conditions 
  $$y(a)=A,\quad y(b)=b, \quad K[y] = \int_a^bG(x,y,y')\,dx=l,$$ 
  where $K[y]$ is another functional,
  and let $J[y]$ have an extremum for $y=y(x)$. Then, if $y=y(x)$ is not
  an extremal of $K[y]$, there exists a constant $\lambda$ such that
  $y=y(x)$ is an extremal of the functional $$\int_a^b (F+\lambda G)\,dx,$$
  i.e., $y=y(x)$ satisfies the differential equation
  $$F_y-\frac{d}{dx}F_{y'}+\lambda\left(G_y-\frac{d}{dx}G_{y'}\right)=0.$$</p>
</blockquote>

<p>We can try to apply this theorem to our problem by taking $x$ to be $i$, $c$ to be $y$, $F(i,c,c')=c^\theta$ and $G(i,c,c')=pc$.</p>

<p>Then the final differential equation in the theorem becomes
$$\theta c_i^{\theta-1} + \lambda p_i=0$$
which is precisely what we need.</p>

<p>Is the theorem applicable? Our $K[y]$ is linear, so cannot have an extremal, so the requirement of not having an extremal is easily satisfied. The boundary conditions on $y(a)$ and $y(b)$ do not matter since if a path of $c$, say $c^*(i)$, is extremal without any boundary conditions then it is extremal within the set $c(0)=c^*(0), c(1)=c^*(1)$.</p>

<p>The only catch is in the nature of the theorem itself. It gives necessary conditions for an optimum. Given that in our case the necessary condition gives a unique result, all that we need to make it sufficient is to argue that our problem has a solution. </p>

<p>The proofs in Kolmogorov-Fomin assume that the functions we are dealing with have continuous first derivatives. So we still need to show that the consumer's problem has an optimal in this class of functions but given that the problem is solved.</p>

CC BY-SA 3.0
2014-11-23T02:50:52.457Z
2014-11-23T03:03:10.133Z
2014-11-23T03:03:10.133Z
Jyotirmoy Bhattacharya
<p>The completely rigorous thing would be to write the Euler lagrange equation of this calculus of variations problem, this will give you a strong solution that is what you have or a weak solution that is written with respect to a distribution. </p>

CC BY-SA 3.0
2014-11-22T05:05:38.900Z
But how do I incorporate my budget constraint into a calculus of variations formulation?
Jyotirmoy Bhattacharya
CC BY-SA 3.0
2014-11-22T05:12:05.403Z
Check this link, http://math.stackexchange.com/questions/279518/constrained-variational-problems-intuition, a lagrange multiplier function!, is what you need, this gives you a strong solution that can be interpreted pointwise, although it must hold almost sure with the dominant measure
user157623
CC BY-SA 3.0
2014-11-22T05:24:48.883Z
Thanks. Following you hint of using the calculus of variations I found a Theorem 1 in section 12 of Kolomogorov and Fomin's [*Calculus of Variations*](http://books.google.co.in/books?id=CeC7AQAAQBAJ&lpg=PA239&dq=kolmogorov%20fomin%20variations&pg=PA43#v=onepage&q&f=false) does seem to handle constraints expressed as integrals. So in a sense one can use Langrange multipliers after all.
Jyotirmoy Bhattacharya
CC BY-SA 3.0
2014-11-22T09:31:52.907Z
This is useful -but as a comment, not as an answer.
Alecos Papadopoulos
CC BY-SA 3.0
2014-11-22T13:31:47.790Z
You are right  Jyotirmoy Bhattacharya, maybe someone can edit it to be a full answer with the links that have been provided in the comments.
user157623
CC BY-SA 3.0
2014-11-22T04:57:07.297Z
2014-11-22T04:57:07.297Z
user157623
<p>Consider an economy with a continuum of commodities, with one commodity for each point in $[0,1]$.</p>

<p>Suppose a consumer wants to maximise
$$U = \int_0^1 c_i^\theta\,di\qquad 0&lt;\theta&lt;1$$
subject to
$$\int_0^1 p_i c_i\,di = M$$
where $c_i$ is the amount of the $i$-th commodity consumed, $p_i$ its price and $M$ the consumer's money income.</p>

<p>This kind of problem arises for example in applying the Dixit-Stiglitz model to macroeconomics or international trade.</p>

<p>The solution to this problem is supposedly
$$c_i = Ap_i^{1 \over {\theta-1}}$$
where $A$ is a constant chosen to ensure that the budget constraint is satisfied.</p>

<p>I am not very satisfied with derivations of this result which use Lagrange multipliers in analogy with the case of a finite number of commodities. What would be a completely mathematically rigorous method of deriving the above result?</p>

<p>It seems clear that there isn't a unique solution since arbitrarily changing the values of $c_i$ for a finite number of values of $i$ will leave the integrals in the utility function and budget constraint unchanged. I am expecting that a completely rigorous derivation would also correctly pinpoint this degree of nonuniqueness.</p>

<p>EDIT: In response to the comments by @BKay, @Ubiquitous. My problem with starting out with economies with $n$ commodities and taking the limit as $n \to \infty$ is that this needs to be accompanied by an argument which shows that the limit of optima is an optimum of the limit problem. I would appreciate a reference to a result which shows this either for this particular problem or a general result which is applicable to this problem.</p>

<p>In response to @AlecosPapadopoulos. The proofs of the Langrange multiplier method that is taught in math for economics courses is usually for a finite number of choice variables. I would appreciate a reference to where the method is justified for a continuum of choice variables. Also, the nonuniqueness I mention above shows that the method cannot be exactly right. Then what exactly are the qualifications required for its validity?</p>

CC BY-SA 3.0
2014-11-22T03:23:06.773Z
I agree with OP, a lot can potentially go wrong when the space becomes infinite-dimensional. To me it is not clear at all that the limit of the optimum is the optimum of the limit.
FooBar
<microeconomics><mathematical-economics>
Consumer optimum in an economy with a continuum of commodities
Jyotirmoy Bhattacharya
# Consumer optimum in an economy with a continuum of commodities

(Asked by: username_0 on 2014-11-21)

Consider an economy with a continuum of commodities, with one commodity for each point in $[0,1]$.

Suppose a consumer wants to maximise
$$U = \int\_0^1 c\_i^\theta\,di\qquad 0<\theta<1$$
subject to
$$\int\_0^1 p\_i c\_i\,di = M$$
where $c\_i$ is the amount of the $i$-th commodity consumed, $p\_i$ its price and $M$ the consumer's money income.

This kind of problem arises for example in applying the Dixit-Stiglitz model to macroeconomics or international trade.

The solution to this problem is supposedly
$$c\_i = Ap\_i^{1 \over {\theta-1}}$$
where $A$ is a constant chosen to ensure that the budget constraint is satisfied.

I am not very satisfied with derivations of this result which use Lagrange multipliers in analogy with the case of a finite number of commodities. What would be a completely mathematically rigorous method of deriving the above result?

It seems clear that there isn't a unique solution since arbitrarily changing the values of $c\_i$ for a finite number of values of $i$ will leave the integrals in the utility function and budget constraint unchanged. I am expecting that a completely rigorous derivation would also correctly pinpoint this degree of nonuniqueness.

EDIT: In response to the comments by @BKay, @Ubiquitous. My problem with starting out with economies with $n$ commodities and taking the limit as $n \to \infty$ is that this needs to be accompanied by an argument which shows that the limit of optima is an optimum of the limit problem. I would appreciate a reference to a result which shows this either for this particular problem or a general result which is applicable to this problem.

In response to @AlecosPapadopoulos. The proofs of the Langrange multiplier method that is taught in math for economics courses is usually for a finite number of choice variables. I would appreciate a reference to where the method is justified for a continuum of choice variables. Also, the nonuniqueness I mention above shows that the method cannot be exactly right. Then what exactly are the qualifications required for its validity?

**Tags:** microeconomics, mathematical-economics

> **Comments:**
> **username_1**: I agree with OP, a lot can potentially go wrong when the space becomes infinite-dimensional. To me it is not clear at all that the limit of the optimum is the optimum of the limit.  

---

## 3 answers

### Answer by username_3 on 2014-11-22. Score: 5 | Accepted answer

The completely rigorous thing would be to write the Euler lagrange equation of this calculus of variations problem, this will give you a strong solution that is what you have or a weak solution that is written with respect to a distribution.

> **Comments:**
> **username_0**: But how do I incorporate my budget constraint into a calculus of variations formulation?  
> **username_3**: Check this link, http://math.stackexchange.com/questions/279518/constrained-variational-problems-intuition, a lagrange multiplier function!, is what you need, this gives you a strong solution that can be interpreted pointwise, although it must hold almost sure with the dominant measure  
> **username_0**: Thanks. Following you hint of using the calculus of variations I found a Theorem 1 in section 12 of Kolomogorov and Fomin's [*Calculus of Variations*](http://books.google.co.in/books?id=CeC7AQAAQBAJ&lpg=PA239&dq=kolmogorov%20fomin%20variations&pg=PA43#v=onepage&q&f=false) does seem to handle constraints expressed as integrals. So in a sense one can use Langrange multipliers after all.  
> **username_2**: This is useful -but as a comment, not as an answer.  
> **username_3**: You are right  username_0, maybe someone can edit it to be a full answer with the links that have been provided in the comments.  

---

### Answer by username_2 on 2014-11-22. Score: 9

As the OP noted in a comment, Theorem 1 in section 12 of [Gelfand and Fomin's Calculus of Variations](http://books.google.co.in/books?id=CeC7AQAAQBAJ&pg=PA43&lpg=PA239&focus=viewport&dq=kolmogorov%20fomin%20variations) seems to provide some comfort that we can indeed use the Langrange Multiplier method when the number of our variables is infinite. Still, the authors do that in a footnote, writing "the reader will easily recognize *the analogy* with Langrange multipliers". So no, this does not rigorously show what we want.

I think that what we need is a paper like [Craven, B. D. (1970). A generalization of Lagrange multipliers. Bulletin of the Australian Mathematical Society, 3(03), 353-362.](http://journals.cambridge.org/article_S0004972700046050) which in its summary writes:

> *The method of Lagrange multipliers for solving a constrained
> stationary-value problem is generalized to allow the functions to take
> values in arbitrary Banach spaces (over the real field). The set of
> Lagrange multipliers in a finite-dimensional problem is shown to be
> replaced by a continuous linear mapping between the relevant Banach
> spaces.*

This is math-speak but it says what we wanted to hear (one can also find a short exposition in wikipedia to the degree that it trusts the content).

Then, we can form the Lagrangean of the problem

$$\Lambda = \int\_0^1 c\_i^\theta\,\text{d}i +\lambda\left(M - \int\_0^1 p\_i c\_i\,\text{d}i\right)$$

and calculate the first-order condition(s) by , informally speaking, "looking at the integral and seeing a sum",

$$\frac{\partial \Lambda}{\partial c\_i} = 0 \Rightarrow \theta c\_i^{\theta-1} = \lambda p\_i, \;\; i \in [0,1] \tag{1}$$

...a continuum of conditions. For later use we define

$$\sigma \equiv 1/(1-\theta), \Rightarrow 1-\theta = 1/\sigma, \;\; \theta = \frac {\sigma-1}{\sigma}$$

The constant $\sigma$ can be shown to be the elasticity of substitution between any two goods.

Writing $(1)$ for commodity $j$ and equating through the common lagrange multiplier we arrive at

$$c\_i = \left(\frac {p\_i}{p\_j}\right)^{-\sigma}c\_j
\tag{2}$$

Multiply both sides by $p\_i$ and take the integral over the commmodity space with respect to $i$:

$$\int\_0^1 p\_i c\_i\,\text{d}i = \int\_0^1 p\_i^{1-\sigma}p\_j^{-\sigma}c\_j\,\text{d}i$$

$$\Rightarrow M = p\_j^{\sigma}c\_j\int\_0^1 p\_i^{1-\sigma}\,\text{d}i$$

$$\Rightarrow c\_j = p\_j^{-\sigma} \cdot M \cdot \left(\int\_0^1 p\_i^{1-\sigma}\,\text{d}i\right)^{-1} \tag{3}$$

which is Marshallian demand for commodity $j$.

> **Comments:**
> **username_0**: The Kolmogorov-Fomin result applied mechanically gives us a solution. So we need not appeal to the analogy with Lagrange multipliers. I am writing it out in a separate answer.  

---

### Answer by username_0 on 2014-11-23. Score: 8

This is just an elaboration of the answer given by @username_3. I am posting it as a community wiki for convenience.

Theorem 1 of Section 12 of Kolmogorov and Fomin's [*Calculus of Variations*](http://books.google.co.in/books?id=CeC7AQAAQBAJ&lpg=PA239&dq=kolmogorov%20fomin%20variations&pg=PA43#v=onepage&q&f=false) says

> Given the functional $$J[y] = \int\_a^b F(x,y,y')\,dx,$$ let the
> admissible curves satisfy the conditions
> $$y(a)=A,\quad y(b)=b, \quad K[y] = \int\_a^bG(x,y,y')\,dx=l,$$
> where $K[y]$ is another functional,
> and let $J[y]$ have an extremum for $y=y(x)$. Then, if $y=y(x)$ is not
> an extremal of $K[y]$, there exists a constant $\lambda$ such that
> $y=y(x)$ is an extremal of the functional $$\int\_a^b (F+\lambda G)\,dx,$$
> i.e., $y=y(x)$ satisfies the differential equation
> $$F\_y-\frac{d}{dx}F\_{y'}+\lambda\left(G\_y-\frac{d}{dx}G\_{y'}\right)=0.$$

We can try to apply this theorem to our problem by taking $x$ to be $i$, $c$ to be $y$, $F(i,c,c')=c^\theta$ and $G(i,c,c')=pc$.

Then the final differential equation in the theorem becomes
$$\theta c\_i^{\theta-1} + \lambda p\_i=0$$
which is precisely what we need.

Is the theorem applicable? Our $K[y]$ is linear, so cannot have an extremal, so the requirement of not having an extremal is easily satisfied. The boundary conditions on $y(a)$ and $y(b)$ do not matter since if a path of $c$, say $c^\*(i)$, is extremal without any boundary conditions then it is extremal within the set $c(0)=c^\*(0), c(1)=c^\*(1)$.

The only catch is in the nature of the theorem itself. It gives necessary conditions for an optimum. Given that in our case the necessary condition gives a unique result, all that we need to make it sufficient is to argue that our problem has a solution.

The proofs in Kolmogorov-Fomin assume that the functions we are dealing with have continuous first derivatives. So we still need to show that the consumer's problem has an optimal in this class of functions but given that the problem is solved.


---

