So I was replicating the results obtained in section 4 of Prescott's original paper, which derives optimality conditions in steady state without shock. I hope to solve the social planner's maximization problem by using the method of Lagrange.
An important feature in Prescott's model is that capital is built in multiple periods and each project costs resources, i.e., a fraction of output, in each intermediate period. My question is that how to formulate this constraint into the Lagrangian so I can solve the system of equations of FOC? Here is what I have now: \begin{multline} \mathcal{L}=\sum_{t=0}^\infty\beta^tu(c_t,\alpha(L)l_t) -\sum_{t=0}^\infty\lambda_{1t} \left( k_{t+1} - (1-\delta)k_t-s_{1t}\right) -\sum_{t=0}^\infty\lambda_{2t}\left(i_t-\sum_{j=1}^J \varphi_j s_{jt}+y_{t+1}-y_{t}\right) \\ -\sum_{t=0}^\infty\lambda_{3t}\left(c_t+i_t- f(\lambda_t,k_t,n_t,y_t)\right) -\sum_{t=0}^\infty\sum_{j=1}^{J-1}\left[\lambda_{j+3,t}\left(\sum_{t=0}^\infty s_{j,t+1}-s_{j+1,t}\right)\right]\\ \end{multline} where $s_{j,t}$ is the investment project that takes $j$ more periods to complete as of time $t$ and $y_t$ is the stock of inventory at time $t$. For the purpose of this question, let's ignore the lag polynomial $\alpha(L)$ and assume it to be have effect on $l_t$. Note that $l_t$ is leisure and $1-l_t=n_t$ is labor input where time is normalized to 1. In addition, output goes to inventory, consumption, and capital projects. I have tried to use the following substitutions: \begin{align} k_{t+1} &= (1-\delta)k_t + s_{J,t-(J-1)}\\ i_t&=\left(\sum_{j=1}^J \varphi_j s_{J,t-(J-j)}\right)+y_{t+1}-y_{t} \end{align} which allows me to get rid to the last term in $\mathcal{L}$. However, I still do not seem to be making any progress. It will be great if you can give me suggestions on formulation of my lagrangian and what FOCs will give me the steady state consumption, capital stock.
EDIT: I tried many online lecture notes, but none of them seem to want to deal with Prescott's time to build formulation and alike...