Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

The Goddard Rocket Problem and Singular Thrust

The Goddard rocket problem is a classical optimal-control problem in which a vertically ascending rocket uses a finite amount of fuel to maximize altitude. Despite its simple physical statement, the optimal thrust can contain a singular interval.

This section develops:

Problem Statement

Let:

The objective is to maximize final altitude:

maxh(tf).\max h(t_f).

Using minimization notation,

minJ=h(tf).\boxed{ \min J=-h(t_f). }

The final time is free.

Dynamics

The one-dimensional ascent dynamics are

h˙=v,v˙=TD(h,v)mg,m˙=Tc.\begin{aligned} \dot{h} &= v, \\ \dot{v} &= \frac{T-D(h,v)}{m}-g, \\ \dot{m} &= -\frac{T}{c}. \end{aligned}

The thrust is bounded:

0T(t)Tmax.\boxed{ 0\leq T(t)\leq T_{\max}. }

Typical initial conditions are

h(0)=0,v(0)=0,m(0)=m0.\begin{aligned} h(0)&=0,\\ v(0)&=0,\\ m(0)&=m_0. \end{aligned}

A fixed terminal mass is imposed:

m(tf)=mf.m(t_f)=m_f.

The final altitude and final velocity are free.

Hamiltonian

Because the cost is in Mayer form and there is no running cost,

H=λhh˙+λvv˙+λmm˙.H = \lambda_h\dot{h} + \lambda_v\dot{v} + \lambda_m\dot{m}.

Therefore,

H=λhv+λv(TDmg)λmTc.\boxed{ H = \lambda_h v + \lambda_v \left( \frac{T-D}{m}-g \right) - \lambda_m\frac{T}{c}. }

Group the thrust-dependent terms:

H=λhvλv(Dm+g)+(λvmλmc)T.H = \lambda_h v - \lambda_v \left( \frac{D}{m}+g \right) + \left( \frac{\lambda_v}{m} - \frac{\lambda_m}{c} \right)T.

Hamiltonian Constancy

The Hamiltonian has no explicit time dependence:

Ht=0.\frac{\partial H}{\partial t}=0.

Thus,

H(t)=constant.H^*(t)=\text{constant}.

Since the final time is free and the terminal cost has no explicit dependence on tft_f,

H(tf)=0.H^*(t_f)=0.

Therefore,

H(t)0.\boxed{ H^*(t)\equiv0. }

Costate Equations

The costate equations are

λ˙i=Hxi.\dot{\lambda}_i = -\frac{\partial H}{\partial x_i}.

For altitude:

λ˙h=λvmDh.\dot{\lambda}_h = \frac{\lambda_v}{m} \frac{\partial D}{\partial h}.

For velocity:

λ˙v=λh+λvmDv.\boxed{ \dot{\lambda}_v = -\lambda_h + \frac{\lambda_v}{m} \frac{\partial D}{\partial v}. }

For mass:

λ˙m=λvTDm2.\boxed{ \dot{\lambda}_m = \lambda_v \frac{T-D}{m^2}. }

Terminal Transversality Conditions

The terminal cost is

Φ=h(tf).\Phi=-h(t_f).

Since h(tf)h(t_f) and v(tf)v(t_f) are free,

λh(tf)=Φh(tf)=1,λv(tf)=Φv(tf)=0.\begin{aligned} \lambda_h(t_f) &= \frac{\partial \Phi}{\partial h(t_f)} = -1, \\ \lambda_v(t_f) &= \frac{\partial \Phi}{\partial v(t_f)} = 0. \end{aligned}

The terminal mass is fixed, so λm(tf)\lambda_m(t_f) is not prescribed directly.

Switching Function

The Hamiltonian is linear in thrust. Define

ψ(t)=HT=λvmλmc.\boxed{ \psi(t) = \frac{\partial H}{\partial T} = \frac{\lambda_v}{m} - \frac{\lambda_m}{c}. }

Pontryagin’s Minimum Principle gives

T={Tmax,ψ<0,0,ψ>0,undetermined,ψ=0.T^* = \begin{cases} T_{\max}, & \psi<0,\\ 0, & \psi>0,\\ \text{undetermined}, & \psi=0. \end{cases}

Thus:

Equivalent Singular Condition

Multiply the switching function by cmcm:

cmψ=cλvmλm.cm\psi = c\lambda_v-m\lambda_m.

Define

I=cλvmλm.\boxed{ I = c\lambda_v - m\lambda_m. }

On a singular arc,

I=0.I=0.

Since c>0c>0 and m>0m>0, this condition is equivalent to ψ=0\psi=0.

First Derivative of the Singular Condition

Differentiate

I=cλvmλm.I = c\lambda_v-m\lambda_m.

Then

I˙=cλ˙vm˙λmmλ˙m.\dot{I} = c\dot{\lambda}_v - \dot{m}\lambda_m - m\dot{\lambda}_m.

Substitute

λ˙v=λh+λvmDv,m˙=Tc,λ˙m=λvTDm2,\begin{aligned} \dot{\lambda}_v &= -\lambda_h + \frac{\lambda_v}{m}D_v, \\ \dot{m} &= -\frac{T}{c}, \\ \dot{\lambda}_m &= \lambda_v\frac{T-D}{m^2}, \end{aligned}

where

Dh=Dh,Dv=Dv.D_h=\frac{\partial D}{\partial h}, \qquad D_v=\frac{\partial D}{\partial v}.

This gives

I˙=cλh+cλvmDv+Tcλmλvm(TD).\begin{aligned} \dot{I} &= -c\lambda_h + \frac{c\lambda_v}{m}D_v + \frac{T}{c}\lambda_m - \frac{\lambda_v}{m}(T-D). \end{aligned}

Rearranging:

I˙=cλh+cλvmDv+λvDm+T(λmcλvm).\dot{I} = -c\lambda_h + \frac{c\lambda_v}{m}D_v + \frac{\lambda_vD}{m} + T \left( \frac{\lambda_m}{c} - \frac{\lambda_v}{m} \right).

On the singular arc,

λvmλmc=0.\frac{\lambda_v}{m} - \frac{\lambda_m}{c} = 0.

Hence the thrust-dependent term vanishes and

I˙=cλh+cλvmDv+λvDm=0.\boxed{ \dot{I} = -c\lambda_h + \frac{c\lambda_v}{m}D_v + \frac{\lambda_vD}{m} = 0. }

The first derivative still does not determine TT.

Second Derivative and Singular Thrust

Differentiate I˙=0\dot{I}=0 once more:

I¨=0.\ddot{I}=0.

After substituting the state and costate dynamics, the second derivative has the general form

I¨=A(h,v,m,λh,λv,λm)+B(h,v,m,λh,λv,λm)T.\boxed{ \ddot{I} = A(h,v,m,\lambda_h,\lambda_v,\lambda_m) + B(h,v,m,\lambda_h,\lambda_v,\lambda_m)T. }

Therefore, the candidate singular thrust is

Ts=AB,\boxed{ T_s = -\frac{A}{B}, }

provided B0B\neq0.

The explicit expressions depend on the selected drag law D(h,v)D(h,v).

The candidate is admissible only if

0TsTmax.0\leq T_s\leq T_{\max}.

A Common Drag Model

A frequently used model is

D(h,v)=12ρ(h)CDAv2,D(h,v) = \frac{1}{2} \rho(h) C_DA v^2,

where

ρ(h)=ρ0eh/Hs.\rho(h) = \rho_0e^{-h/H_s}.

Then

Dh=DHs,Dv=2Dv(v0).\begin{aligned} D_h &= -\frac{D}{H_s}, \\ D_v &= \frac{2D}{v} \qquad (v\neq0). \end{aligned}

These expressions simplify the costate and singular-thrust equations.

Expected Optimal Thrust Structure

The rocket must initially generate enough thrust to lift off, so the first arc is generally

T=Tmax.T^*=T_{\max}.

A classical optimal structure is

TmaxTs0.\boxed{ T_{\max} \longrightarrow T_s \longrightarrow 0. }

This is a bang–singular–bang structure, where the final “bang” is the lower thrust bound.

Expected bang–singular–bang thrust structure for the Goddard rocket problem.

Figure 1:Expected bang–singular–bang thrust structure for the Goddard rocket problem.

Entry and Exit Conditions

The unknown singular entry time t1t_1 and exit time t2t_2 satisfy:

I(t1)=0,I˙(t1)=0,I(t2)=0,I˙(t2)=0.\begin{aligned} I(t_1)&=0,\\ \dot{I}(t_1)&=0,\\ I(t_2)&=0,\\ \dot{I}(t_2)&=0. \end{aligned}

The state and costate must also be continuous:

x(ti)=x(ti+),λ(ti)=λ(ti+),i=1,2.\begin{aligned} \boldsymbol{x}(t_i^-)&=\boldsymbol{x}(t_i^+),\\ \boldsymbol{\lambda}(t_i^-)&=\boldsymbol{\lambda}(t_i^+), \qquad i=1,2. \end{aligned}

These conditions, together with the endpoint conditions and integrated dynamics, determine the full multiphase solution.

Why Maximum Thrust Followed by Zero Is Not Always Optimal

A naive strategy is

Tmax0.T_{\max}\longrightarrow0.

This ignores the interaction among:

The singular arc balances these effects. It can reduce drag losses while still using the available fuel effectively.

Numerical Formulation

A practical numerical solution can be posed as a multiphase problem:

  1. Phase 1: T=TmaxT=T_{\max}.

  2. Phase 2: T=TsT=T_s and I=I˙=0I=\dot{I}=0.

  3. Phase 3: T=0T=0.

Unknowns include:

Continuity and endpoint conditions form the nonlinear residual system.

Verification Conditions

A computed solution should satisfy:

  1. state dynamics;

  2. costate dynamics;

  3. thrust bounds;

  4. Hamiltonian minimization;

  5. H(t)=0H^*(t)=0;

  6. terminal transversality;

  7. I=I˙=0I=\dot{I}=0 on the singular arc;

  8. continuity at t1t_1 and t2t_2; and

  9. a generalized Legendre–Clebsch condition.

Common Errors

  1. Using H/T=0\partial H/\partial T=0 and assuming it directly gives thrust.

  2. Ignoring the possibility ψ=0\psi=0 over an interval.

  3. Treating an isolated switching point as a singular arc.

  4. Forgetting that final time is free.

  5. Omitting the terminal Hamiltonian condition.

  6. Using the wrong sign in the thrust switching law.

  7. Assuming a candidate singular thrust is automatically admissible.

  8. Failing to enforce continuity at the singular entry and exit points.

Summary

  1. The Goddard rocket problem maximizes terminal altitude using bounded thrust.

  2. The Hamiltonian is linear in thrust.

  3. The switching function is

ψ=λvmλmc.\psi=\frac{\lambda_v}{m}-\frac{\lambda_m}{c}.
  1. Negative ψ\psi gives maximum thrust and positive ψ\psi gives zero thrust.

  2. ψ0\psi\equiv0 defines a singular candidate.

  3. The first derivative of the singular condition does not contain thrust.

  4. The second derivative introduces thrust and yields a candidate singular law.

  5. The optimal trajectory may have a maximum-thrust, singular-thrust, zero-thrust structure.

  6. Entry and exit times must be solved as unknown events.

  7. The problem illustrates how simple dynamics can produce highly nontrivial optimal controls.

Connection. Even an exact set of state–costate equations may be numerically ill conditioned, so the coupled Hamiltonian dynamics and shooting sensitivity deserve separate study.