<p>The justification for this rule of thumb is the calculus of variations, specifically with the <a href="https://en.wikipedia.org/wiki/Functional_derivative" rel="nofollow noreferrer">functional derivative</a>.</p>
<p>First, note that the problem is static, so for ease of notation I'll drop the dependence on <span class="math-container">$t$</span>. Second, I'll rename the integration index, since I think it would otherwise just be a source of confusion. Hence we have,</p>
<p><span class="math-container">$$
\Pi^Y(x) = \int_0^M(AL_Y)^{1- \alpha}x(j)^\alpha\mathrm{d}j - wL_Y - \int_0^Mp(j)x(j)\mathrm{d}j.
$$</span></p>
<p>Note that <span class="math-container">$\Pi^Y$</span> is a <em>functional</em>, i.e. it takes the function <span class="math-container">$x$</span> and outputs a real number (for every <span class="math-container">$t$</span>, but again, I'll drop that detail). Now we take an arbitrary function <span class="math-container">$\phi(j)$</span> and perturb this functional by a small amount <span class="math-container">$\varepsilon \phi(j)$</span>. Then, we imagine taking the limit as <span class="math-container">$\varepsilon$</span> tends to zero. This defines the <em>functional derivative</em> of <span class="math-container">$\Pi^Y$</span></p>
<p><span class="math-container">\begin{align}
  \frac{\delta \Pi^Y}{\delta x} &amp;= \left[\frac{\mathrm{d}}{\mathrm{d}\varepsilon} \Pi^Y (x + \varepsilon \phi)\right]_{\varepsilon = 0}\\
&amp;= \left[\frac{\mathrm{d}}{\mathrm{d}\varepsilon} \left(\int_0^M(AL_Y)^{1- \alpha}(x(j) + \varepsilon\phi(j))^\alpha \mathrm{d}j - wL_Y - \int_0^Mp(j)(x(j) + \varepsilon \phi(j))\mathrm{d}j\right)\right]_{\varepsilon = 0}\\
&amp;= \left[\int_0^M\alpha(AL_Y)^{1- \alpha}(x(j) + \varepsilon\phi(j))^{\alpha - 1}\phi(j) \mathrm{d}j - \int_0^Mp(j) \phi(j)\mathrm{d}j\right]_{\varepsilon = 0} \\
&amp;= \int_0^M\alpha(AL_Y)^{1- \alpha}x(j)^{\alpha - 1}\phi(j) \mathrm{d}j - \int_0^Mp(j) \phi(j)\mathrm{d}j \\
&amp; = 0.
\end{align}</span>
where I set this functional derivative to zero (by standard FOC logic). Hence,</p>
<p><span class="math-container">$$
\int_0^M \left[\alpha (AL_Y)^{1 - \alpha}x(j)^{\alpha - 1} - p(j)\right]\phi(j)\mathrm{d}j = 0
$$</span>
Since this must be true for all <span class="math-container">$\phi$</span>, it is sufficient that the integrand is identically equal to zero (this means it is zero for all <span class="math-container">$j$</span>, and in particular, for <span class="math-container">$j = i$</span>). This yields the FOC.</p>
<p>I think another formal justification could work with approximating the integral by a sum, restricting the choice to step functions, maximizing as one would normally with a sum, and then taking the limit.</p>
<p>Hope this helps!</p>

CC BY-SA 4.0
2023-07-12T19:05:16.810Z
Thank you very much for your answer!!! I have taken a course in Calculus of Variations, and found your answer very clean and easy to follow!
Nicolas Torres
CC BY-SA 4.0
2023-07-11T18:19:41.267Z
2023-07-11T21:57:15.873Z
2023-07-11T21:57:15.873Z
Wittgenstein's Poker
<p>For example when solving Romer’s model (1990) in continuous time, for the firm producing final goods, its production function is:</p>
<p><span class="math-container">$ Y(t) = \int_{0}^{M(t)} (A(t) L_Y)^{1-\alpha} {x(i,t)}^{\alpha} di$</span>,</p>
<p>where <span class="math-container">$A(t)$</span> is labor productivity, <span class="math-container">$L_Y$</span> the labor hired to produce the final good <span class="math-container">$Y$</span> and <span class="math-container">$x(i,t)$</span> is the quantity used of the <span class="math-container">$i$</span>-th intermediate good, with <span class="math-container">$t$</span> being time.</p>
<p><span class="math-container">$M(t)$</span> is the quantity of different (non-homogeneous) intermediate goods.</p>
<p>Suppose the final good <span class="math-container">$Y$</span> is the numeraire, i.e. its price is set to <span class="math-container">$p_Y = 1$</span>.</p>
<p>With this, the profit function is given by</p>
<p><span class="math-container">$\Pi^Y = \int_{0}^{M(t)} (A(t) L_Y)^{1-\alpha} {x(i,t)}^{\alpha} di - w(t) L_Y - \int_{0}^{M(t)} p(i,t) x(i,t) di$</span></p>
<p>where <span class="math-container">$w(t)$</span> is the wage and <span class="math-container">$p(i,t)$</span> is the price of <span class="math-container">$x_i$</span> (the <span class="math-container">$i$</span>-th intermediate good).</p>
<p>The way I learned to get the f.o.c.’s for my class is</p>
<p><span class="math-container">$\frac{\partial \Pi^Y}{\partial x_i} = \alpha (A(t) L_Y)^{1-\alpha} {x(i,t)}^{\alpha -1} - p(i,t) = 0$</span>.</p>
<p>However, to do the actual differentiation, wouldn’t we have to use some sort of chain rule which would still leave us with an integral, instead of differentiating pretending there is no integral at all?</p>
<p>Similarly with the <span class="math-container">$\frac{\partial \Pi^Y}{\partial L_Y}$</span> f.o.c.</p>
<p>I asked my professor about it, and he said it’s just a hand wavy thing Economists do to solve this kind of models.</p>
<p>As a math guy, I would like to know the underlying reason why that works. I’d appreciate any insight about it.</p>
<p>This model appeared in my third course in Macroeconomics which covers many long-run growth models, such as Solow (the only one not involving summation/integration), Ramsey, Romer (1986), Lucas (1989), Aghion and Howitt (1992), as well as this one [Romer (1990)].</p>
<p>Whenever we work with continuous time versions of some of the above models, we take the f.o.c’s with the same method.</p>
<p>I remember I answered a question here months ago before getting to this topic, involving finding an f.o.c. for a function involving integrals; and the discrepancy between my answer and OP’s book’s answer was that I had extra integrals from the chain rule, probably due to the same method.</p>

<macroeconomics><optimization><long-run><model><long-run-macroeconomics>
Why do we omit the integral when deriving the f.o.c.’s in long-run growth models such as Romer (1990)?
Nicolas Torres
# Why do we omit the integral when deriving the f.o.c.’s in long-run growth models such as Romer (1990)?

(Asked by: username_0 on 2023-07-10)

For example when solving Romer’s model (1990) in continuous time, for the firm producing final goods, its production function is:

$ Y(t) = \int\_{0}^{M(t)} (A(t) L\_Y)^{1-\alpha} {x(i,t)}^{\alpha} di$,

where $A(t)$ is labor productivity, $L\_Y$ the labor hired to produce the final good $Y$ and $x(i,t)$ is the quantity used of the $i$-th intermediate good, with $t$ being time.

$M(t)$ is the quantity of different (non-homogeneous) intermediate goods.

Suppose the final good $Y$ is the numeraire, i.e. its price is set to $p\_Y = 1$.

With this, the profit function is given by

$\Pi^Y = \int\_{0}^{M(t)} (A(t) L\_Y)^{1-\alpha} {x(i,t)}^{\alpha} di - w(t) L\_Y - \int\_{0}^{M(t)} p(i,t) x(i,t) di$

where $w(t)$ is the wage and $p(i,t)$ is the price of $x\_i$ (the $i$-th intermediate good).

The way I learned to get the f.o.c.’s for my class is

$\frac{\partial \Pi^Y}{\partial x\_i} = \alpha (A(t) L\_Y)^{1-\alpha} {x(i,t)}^{\alpha -1} - p(i,t) = 0$.

However, to do the actual differentiation, wouldn’t we have to use some sort of chain rule which would still leave us with an integral, instead of differentiating pretending there is no integral at all?

Similarly with the $\frac{\partial \Pi^Y}{\partial L\_Y}$ f.o.c.

I asked my professor about it, and he said it’s just a hand wavy thing Economists do to solve this kind of models.

As a math guy, I would like to know the underlying reason why that works. I’d appreciate any insight about it.

This model appeared in my third course in Macroeconomics which covers many long-run growth models, such as Solow (the only one not involving summation/integration), Ramsey, Romer (1986), Lucas (1989), Aghion and Howitt (1992), as well as this one [Romer (1990)].

Whenever we work with continuous time versions of some of the above models, we take the f.o.c’s with the same method.

I remember I answered a question here months ago before getting to this topic, involving finding an f.o.c. for a function involving integrals; and the discrepancy between my answer and OP’s book’s answer was that I had extra integrals from the chain rule, probably due to the same method.

**Tags:** macroeconomics, optimization, long-run, model, long-run-macroeconomics


---

## 1 answers

### Answer by username_1 on 2023-07-11. Score: 4 | Accepted answer

The justification for this rule of thumb is the calculus of variations, specifically with the [functional derivative](https://en.wikipedia.org/wiki/Functional_derivative).

First, note that the problem is static, so for ease of notation I'll drop the dependence on $t$. Second, I'll rename the integration index, since I think it would otherwise just be a source of confusion. Hence we have,

$$
\Pi^Y(x) = \int\_0^M(AL\_Y)^{1- \alpha}x(j)^\alpha\mathrm{d}j - wL\_Y - \int\_0^Mp(j)x(j)\mathrm{d}j.
$$

Note that $\Pi^Y$ is a *functional*, i.e. it takes the function $x$ and outputs a real number (for every $t$, but again, I'll drop that detail). Now we take an arbitrary function $\phi(j)$ and perturb this functional by a small amount $\varepsilon \phi(j)$. Then, we imagine taking the limit as $\varepsilon$ tends to zero. This defines the *functional derivative* of $\Pi^Y$

\begin{align}
\frac{\delta \Pi^Y}{\delta x} &= \left[\frac{\mathrm{d}}{\mathrm{d}\varepsilon} \Pi^Y (x + \varepsilon \phi)\right]\_{\varepsilon = 0}\\
&= \left[\frac{\mathrm{d}}{\mathrm{d}\varepsilon} \left(\int\_0^M(AL\_Y)^{1- \alpha}(x(j) + \varepsilon\phi(j))^\alpha \mathrm{d}j - wL\_Y - \int\_0^Mp(j)(x(j) + \varepsilon \phi(j))\mathrm{d}j\right)\right]\_{\varepsilon = 0}\\
&= \left[\int\_0^M\alpha(AL\_Y)^{1- \alpha}(x(j) + \varepsilon\phi(j))^{\alpha - 1}\phi(j) \mathrm{d}j - \int\_0^Mp(j) \phi(j)\mathrm{d}j\right]\_{\varepsilon = 0} \\
&= \int\_0^M\alpha(AL\_Y)^{1- \alpha}x(j)^{\alpha - 1}\phi(j) \mathrm{d}j - \int\_0^Mp(j) \phi(j)\mathrm{d}j \\
& = 0.
\end{align}
where I set this functional derivative to zero (by standard FOC logic). Hence,

$$
\int\_0^M \left[\alpha (AL\_Y)^{1 - \alpha}x(j)^{\alpha - 1} - p(j)\right]\phi(j)\mathrm{d}j = 0
$$
Since this must be true for all $\phi$, it is sufficient that the integrand is identically equal to zero (this means it is zero for all $j$, and in particular, for $j = i$). This yields the FOC.

I think another formal justification could work with approximating the integral by a sum, restricting the choice to step functions, maximizing as one would normally with a sum, and then taking the limit.

Hope this helps!

> **Comments:**
> **username_0**: Thank you very much for your answer!!! I have taken a course in Calculus of Variations, and found your answer very clean and easy to follow!  

---

