Papers
Topics
Authors
Recent
Search
2000 character limit reached

Maximal Overshoot: A Cross-disciplinary Overview

Updated 14 July 2026
  • Maximal overshoot is the maximum excursion beyond a pre-defined threshold, characterized differently in epidemics, astrophysics, signal processing, and control theory.
  • In epidemic models, it measures the fraction of additional infections post-peak, while in other fields it defines bounds on trajectory, mixing extent, or signal regrowth.
  • Its cross-disciplinary application provides actionable insights into system limits, influencing public health strategies, stellar evolution models, numerical schemes, and engineering controls.

Maximal overshoot is a domain-specific extremal notion for the largest excursion beyond a distinguished level. In the cited arXiv literature, that level may be the post-peak susceptible fraction in an epidemic, the classical Schwarzschild boundary of a convective core, the envelope reconstructed between FFT samples, the physical bounds of a square wave under shock-capturing discretization, the reference trajectory of a feedback loop, or the slow-roll plateau reached after Coleman–De Luccia tunneling. The shared mathematical pattern is an optimization or bounding problem over trajectories, signals, or admissible models, but the state variable and physical interpretation of “overshoot” differ substantially across fields (Nguyen et al., 2023, Guenther et al., 2014, Wunder et al., 2016, Zhang et al., 2021, wenczel et al., 2011, Freiheit et al., 2020, Dutta et al., 2011, Zhang et al., 2022).

1. Cross-disciplinary usage and formal definitions

The term does not denote a single universal observable. Instead, each literature fixes a baseline and then studies either the exact maximum attainable excess, the minimum unavoidable excess, or the maximal admissible extension beyond a formal boundary.

Domain Formal definition Extremal statement
Epidemic dynamics Overshoot=S(t)S=1R0S\mathrm{Overshoot}=S(t^*)-S_\infty=\frac{1}{R_0}-S_\infty Overshoot0.2984\mathrm{Overshoot}^*\approx0.2984 at R02.151R_0^*\approx2.151
Convective-core modeling δov=βHP\delta_{ov}=\beta H_P or Dov(r)=D0exp ⁣[2rrcz/(fovHP)]D_{\rm ov}(r)=D_0\exp\!\bigl[-2|r-r_{\rm cz}|/(f_{\rm ov}H_P)\bigr] Procyon: δov,max1.5HP\delta_{ov,\max}\simeq1.5\,H_P; solar-like stars: fov(Herwig)6×103f_{\rm ov}^{\rm(Herwig)}\lesssim6\times10^{-3} for solar conditions
Bandlimited signals C1(L)=supft1,L,1fC_1(L)=\sup_{\|f\|_{t_{1,L},\infty}\le1}\|f\|_\infty finite-sum upper bounds for C1(L)C_1(L) and Nyquist-filter peak-regrowth
Shock-capturing schemes Overshoot(ϕ,ν)=maxxuϵovershoot(x;ϕ,ν)\mathrm{Overshoot}(\phi,\nu)=\max_x u_\epsilon^{\rm overshoot}(x;\phi,\nu) scheme-dependent worst-case Overshoot0.2984\mathrm{Overshoot}^*\approx0.29840
Continuous-time and governed control Overshoot0.2984\mathrm{Overshoot}^*\approx0.29841 or Overshoot0.2984\mathrm{Overshoot}^*\approx0.29842 exact lower bounds from pole/zero data; RG-DC can enforce zero overshoot or a prescribed Overshoot0.2984\mathrm{Overshoot}^*\approx0.29843
Inflation after tunneling Overshoot0.2984\mathrm{Overshoot}^*\approx0.29844 for Overshoot0.2984\mathrm{Overshoot}^*\approx0.29845, Overshoot0.2984\mathrm{Overshoot}^*\approx0.29846; for Overshoot0.2984\mathrm{Overshoot}^*\approx0.29847, overshooting is entirely absent

A plausible implication is that “maximal overshoot” is best understood as a family of extremal constructions rather than a single transferable metric. The conserved quantities, dual programs, sampling operators, and asymptotic states that enter the calculation are specific to each model class (Nguyen et al., 2023, Wunder et al., 2016, wenczel et al., 2011).

2. Epidemic overshoot in the Kermack–McKendrick SIR model

In the classical Kermack–McKendrick SIR framework, the population fractions satisfy

Overshoot0.2984\mathrm{Overshoot}^*\approx0.29848

with Overshoot0.2984\mathrm{Overshoot}^*\approx0.29849 and R02.151R_0^*\approx2.1510. If R02.151R_0^*\approx2.1511 denotes the time of peak prevalence, then

R02.151R_0^*\approx2.1512

The epidemic overshoot is the fraction of the population infected after the peak: R02.151R_0^*\approx2.1513 where R02.151R_0^*\approx2.1514 (Nguyen et al., 2023).

Using the final-size relation

R02.151R_0^*\approx2.1515

the overshoot becomes the one-variable function

R02.151R_0^*\approx2.1516

Its critical point satisfies

R02.151R_0^*\approx2.1517

with numerical solution

R02.151R_0^*\approx2.1518

Thus, in the unmitigated SIR model, nearly R02.151R_0^*\approx2.1519 of the population becomes infected after the peak, and the total attack rate at the maximizing point is δov=βHP\delta_{ov}=\beta H_P0 (Nguyen et al., 2023).

The same paper extends the analysis to SIRδov=βHP\delta_{ov}=\beta H_P1V models. For a fixed pre-outbreak vaccinated fraction δov=βHP\delta_{ov}=\beta H_P2,

δov=βHP\delta_{ov}=\beta H_P3

For risk-driven vaccination δov=βHP\delta_{ov}=\beta H_P4,

δov=βHP\delta_{ov}=\beta H_P5

with equality in the limit δov=βHP\delta_{ov}=\beta H_P6. In every scenario considered, the bound δov=βHP\delta_{ov}=\beta H_P7 remains intact (Nguyen et al., 2023).

The Manaus example gives the notion epidemiological content. An early effective reproduction number δov=βHP\delta_{ov}=\beta H_P8 implies δov=βHP\delta_{ov}=\beta H_P9. Seroprevalence data corrected for antibody waning indicate that approximately Dov(r)=D0exp ⁣[2rrcz/(fovHP)]D_{\rm ov}(r)=D_0\exp\!\bigl[-2|r-r_{\rm cz}|/(f_{\rm ov}H_P)\bigr]0 of the city had already been infected at the peak and about Dov(r)=D0exp ⁣[2rrcz/(fovHP)]D_{\rm ov}(r)=D_0\exp\!\bigl[-2|r-r_{\rm cz}|/(f_{\rm ov}H_P)\bigr]1 by the end of the wave, yielding an empirical overshoot of roughly Dov(r)=D0exp ⁣[2rrcz/(fovHP)]D_{\rm ov}(r)=D_0\exp\!\bigl[-2|r-r_{\rm cz}|/(f_{\rm ov}H_P)\bigr]2. The stated interpretation is that simple SIR-model bounds can anticipate the post-peak burden of disease once a sound estimate of Dov(r)=D0exp ⁣[2rrcz/(fovHP)]D_{\rm ov}(r)=D_0\exp\!\bigl[-2|r-r_{\rm cz}|/(f_{\rm ov}H_P)\bigr]3 becomes available (Nguyen et al., 2023).

3. Convective-core overshoot in stellar structure and asteroseismology

In stellar evolution, overshoot refers to mixing beyond the formally convective boundary. Guenther et al. quantify Procyon’s convective-core overshoot by

Dov(r)=D0exp ⁣[2rrcz/(fovHP)]D_{\rm ov}(r)=D_0\exp\!\bigl[-2|r-r_{\rm cz}|/(f_{\rm ov}H_P)\bigr]4

where Dov(r)=D0exp ⁣[2rrcz/(fovHP)]D_{\rm ov}(r)=D_0\exp\!\bigl[-2|r-r_{\rm cz}|/(f_{\rm ov}H_P)\bigr]5 is the local pressure scale height and Dov(r)=D0exp ⁣[2rrcz/(fovHP)]D_{\rm ov}(r)=D_0\exp\!\bigl[-2|r-r_{\rm cz}|/(f_{\rm ov}H_P)\bigr]6 ranges from Dov(r)=D0exp ⁣[2rrcz/(fovHP)]D_{\rm ov}(r)=D_0\exp\!\bigl[-2|r-r_{\rm cz}|/(f_{\rm ov}H_P)\bigr]7 to Dov(r)=D0exp ⁣[2rrcz/(fovHP)]D_{\rm ov}(r)=D_0\exp\!\bigl[-2|r-r_{\rm cz}|/(f_{\rm ov}H_P)\bigr]8 in steps of Dov(r)=D0exp ⁣[2rrcz/(fovHP)]D_{\rm ov}(r)=D_0\exp\!\bigl[-2|r-r_{\rm cz}|/(f_{\rm ov}H_P)\bigr]9. Two conventional prescriptions were examined. In the raOv models, chemical mixing is uniform over δov,max1.5HP\delta_{ov,\max}\simeq1.5\,H_P0 while the temperature gradient remains radiative, δov,max1.5HP\delta_{ov,\max}\simeq1.5\,H_P1. In the adOv models, the same region is forced to be adiabatic, δov,max1.5HP\delta_{ov,\max}\simeq1.5\,H_P2, mimicking penetrative convection. The Kuhfuss nonlocal theory instead solves a time-dependent turbulent kinetic-energy equation,

δov,max1.5HP\delta_{ov,\max}\simeq1.5\,H_P3

and sets the convective boundary by the radius at which the convective velocity vanishes (Guenther et al., 2014).

The observational constraint is Bayesian evidence from a frequency-fitting framework with residual model

δov,max1.5HP\delta_{ov,\max}\simeq1.5\,H_P4

where δov,max1.5HP\delta_{ov,\max}\simeq1.5\,H_P5 is Gaussian and the systematic offset is marginalized using a “δov,max1.5HP\delta_{ov,\max}\simeq1.5\,H_P6-prior.” Across all model variants, the evidence rises sharply from δov,max1.5HP\delta_{ov,\max}\simeq1.5\,H_P7 to δov,max1.5HP\delta_{ov,\max}\simeq1.5\,H_P8, peaks in the range δov,max1.5HP\delta_{ov,\max}\simeq1.5\,H_P9–fov(Herwig)6×103f_{\rm ov}^{\rm(Herwig)}\lesssim6\times10^{-3}0, and then gradually declines for fov(Herwig)6×103f_{\rm ov}^{\rm(Herwig)}\lesssim6\times10^{-3}1. In the raOv sequence the maximum evidence occurs near fov(Herwig)6×103f_{\rm ov}^{\rm(Herwig)}\lesssim6\times10^{-3}2; in the raOvD sequence it shifts slightly to fov(Herwig)6×103f_{\rm ov}^{\rm(Herwig)}\lesssim6\times10^{-3}3. Relative to fov(Herwig)6×103f_{\rm ov}^{\rm(Herwig)}\lesssim6\times10^{-3}4, evidence ratios exceed fov(Herwig)6×103f_{\rm ov}^{\rm(Herwig)}\lesssim6\times10^{-3}5, corresponding to posterior odds fov(Herwig)6×103f_{\rm ov}^{\rm(Herwig)}\lesssim6\times10^{-3}6 in favor of substantial core overshoot. The quoted maximal overshoot is therefore

fov(Herwig)6×103f_{\rm ov}^{\rm(Herwig)}\lesssim6\times10^{-3}7

within the model space explored (Guenther et al., 2014).

The inferred core enlargement is substantial. Without overshoot,

fov(Herwig)6×103f_{\rm ov}^{\rm(Herwig)}\lesssim6\times10^{-3}8

With fov(Herwig)6×103f_{\rm ov}^{\rm(Herwig)}\lesssim6\times10^{-3}9 these become

C1(L)=supft1,L,1fC_1(L)=\sup_{\|f\|_{t_{1,L},\infty}\le1}\|f\|_\infty0

At C1(L)=supft1,L,1fC_1(L)=\sup_{\|f\|_{t_{1,L},\infty}\le1}\|f\|_\infty1,

C1(L)=supft1,L,1fC_1(L)=\sup_{\|f\|_{t_{1,L},\infty}\le1}\|f\|_\infty2

Guenther et al. explicitly note that these overshoot fractions exceed the “modest” C1(L)=supft1,L,1fC_1(L)=\sup_{\|f\|_{t_{1,L},\infty}\le1}\|f\|_\infty3–C1(L)=supft1,L,1fC_1(L)=\sup_{\|f\|_{t_{1,L},\infty}\le1}\|f\|_\infty4 often inferred from star-cluster turn-off or eclipsing-binary analyses, and they suggest rotationally induced circulations, tidal mixing from Procyon’s white-dwarf progenitor companion, or shear-driven turbulence as possible effective sources of the larger mixed region. They also state that the Kuhfuss nonlocal model fails to reach as high an evidence as the radiative-gradient prescription, which points to a predominantly over-mixing rather than penetrative mechanism (Guenther et al., 2014).

A distinct stellar literature constrains overshoot from the absence of a present-day solar convective core. In the exponential-diffusion overshoot model,

C1(L)=supft1,L,1fC_1(L)=\sup_{\|f\|_{t_{1,L},\infty}\le1}\|f\|_\infty5

or equivalently

C1(L)=supft1,L,1fC_1(L)=\sup_{\|f\|_{t_{1,L},\infty}\le1}\|f\|_\infty6

Helioseismic inversions require C1(L)=supft1,L,1fC_1(L)=\sup_{\|f\|_{t_{1,L},\infty}\le1}\|f\|_\infty7 and C1(L)=supft1,L,1fC_1(L)=\sup_{\|f\|_{t_{1,L},\infty}\le1}\|f\|_\infty8 for C1(L)=supft1,L,1fC_1(L)=\sup_{\|f\|_{t_{1,L},\infty}\le1}\|f\|_\infty9. In the classical step model, a convective core survives to the solar age if C1(L)C_1(L)0, so one requires

C1(L)C_1(L)1

for solar conditions. In the exponential-diffusion model with C1(L)C_1(L)2,

C1(L)C_1(L)3

and this helioseismic limit is stricter than the neutrino-flux constraint (Zhang et al., 2022).

For C1(L)C_1(L)4, the combined asteroseismic results including the Sun follow approximately

C1(L)C_1(L)5

so that

C1(L)C_1(L)6

The largest allowed value in the sample is C1(L)C_1(L)7 at C1(L)C_1(L)8. The same framework also predicts isotope-dependent effective overshoot lengths, for example

C1(L)C_1(L)9

showing that the exponential-diffusion model does not impose a single fixed overshoot length on all species (Zhang et al., 2022).

4. Maximal overshoot and peak regrowth in bandlimited and Nyquist-filtered signals

For Overshoot(ϕ,ν)=maxxuϵovershoot(x;ϕ,ν)\mathrm{Overshoot}(\phi,\nu)=\max_x u_\epsilon^{\rm overshoot}(x;\phi,\nu)0, the critical samples are Overshoot(ϕ,ν)=maxxuϵovershoot(x;ϕ,ν)\mathrm{Overshoot}(\phi,\nu)=\max_x u_\epsilon^{\rm overshoot}(x;\phi,\nu)1, and for oversampling factor Overshoot(ϕ,ν)=maxxuϵovershoot(x;ϕ,ν)\mathrm{Overshoot}(\phi,\nu)=\max_x u_\epsilon^{\rm overshoot}(x;\phi,\nu)2 one defines Overshoot(ϕ,ν)=maxxuϵovershoot(x;ϕ,ν)\mathrm{Overshoot}(\phi,\nu)=\max_x u_\epsilon^{\rm overshoot}(x;\phi,\nu)3. The sample norm is

Overshoot(ϕ,ν)=maxxuϵovershoot(x;ϕ,ν)\mathrm{Overshoot}(\phi,\nu)=\max_x u_\epsilon^{\rm overshoot}(x;\phi,\nu)4

and the maximal overshoot constant is

Overshoot(ϕ,ν)=maxxuϵovershoot(x;ϕ,ν)\mathrm{Overshoot}(\phi,\nu)=\max_x u_\epsilon^{\rm overshoot}(x;\phi,\nu)5

Equivalently,

Overshoot(ϕ,ν)=maxxuϵovershoot(x;ϕ,ν)\mathrm{Overshoot}(\phi,\nu)=\max_x u_\epsilon^{\rm overshoot}(x;\phi,\nu)6

This formulation treats overshoot as peak regrowth between samples rather than a state-space excursion (Wunder et al., 2016).

The same paper embeds the problem in an aperiodic transmit-filter model,

Overshoot(ϕ,ν)=maxxuϵovershoot(x;ϕ,ν)\mathrm{Overshoot}(\phi,\nu)=\max_x u_\epsilon^{\rm overshoot}(x;\phi,\nu)7

and also in the generalized sampling series

Overshoot(ϕ,ν)=maxxuϵovershoot(x;ϕ,ν)\mathrm{Overshoot}(\phi,\nu)=\max_x u_\epsilon^{\rm overshoot}(x;\phi,\nu)8

A classical bound due to Litsyn gives

Overshoot(ϕ,ν)=maxxuϵovershoot(x;ϕ,ν)\mathrm{Overshoot}(\phi,\nu)=\max_x u_\epsilon^{\rm overshoot}(x;\phi,\nu)9

and hence, when Overshoot0.2984\mathrm{Overshoot}^*\approx0.298400,

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298401

The paper refines this with a finite-sum estimate for

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298402

namely

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298403

with Overshoot0.2984\mathrm{Overshoot}^*\approx0.298404. Since Overshoot0.2984\mathrm{Overshoot}^*\approx0.298405, this is also a direct upper bound on the maximal overshoot (Wunder et al., 2016).

The extension to Nyquist filters is significant because classical bounds require Overshoot0.2984\mathrm{Overshoot}^*\approx0.298406, whereas a Nyquist-criterion filter at half-rate Overshoot0.2984\mathrm{Overshoot}^*\approx0.298407 necessarily has Overshoot0.2984\mathrm{Overshoot}^*\approx0.298408. The new estimate remains finite even when Overshoot0.2984\mathrm{Overshoot}^*\approx0.298409, and the paper also proves

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298410

which links worst-case overshoot to the Overshoot0.2984\mathrm{Overshoot}^*\approx0.298411 tails of the transmit filter. Comparative analysis in the paper states that the new sum-bound uniformly improves earlier bounds for small and moderate Overshoot0.2984\mathrm{Overshoot}^*\approx0.298412; for example, for Overshoot0.2984\mathrm{Overshoot}^*\approx0.298413 the improvement can be Overshoot0.2984\mathrm{Overshoot}^*\approx0.298414–Overshoot0.2984\mathrm{Overshoot}^*\approx0.298415 over the Overshoot0.2984\mathrm{Overshoot}^*\approx0.298416 law, and for Overshoot0.2984\mathrm{Overshoot}^*\approx0.298417 it approaches Overshoot0.2984\mathrm{Overshoot}^*\approx0.298418 (Wunder et al., 2016).

5. Numerical overshoots of shock-capturing schemes

Zhang and Zhang define overshoot for one SSP-RK3 step applied to linear advection of the unit-amplitude square wave

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298419

If Overshoot0.2984\mathrm{Overshoot}^*\approx0.298420 is the numerical solution after one time step and Overshoot0.2984\mathrm{Overshoot}^*\approx0.298421 is the exact shifted solution, the pointwise error is Overshoot0.2984\mathrm{Overshoot}^*\approx0.298422. Only the amplitude beyond the physical bounds Overshoot0.2984\mathrm{Overshoot}^*\approx0.298423 is measured: Overshoot0.2984\mathrm{Overshoot}^*\approx0.298424 and the scalar metric is

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298425

This is an exact one-step error metric rather than an asymptotic norm (Zhang et al., 2021).

The derivation uses the Fourier expansion of the square wave, a semi-discrete symbol Overshoot0.2984\mathrm{Overshoot}^*\approx0.298426, and the SSP-RK3 stability function

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298427

For odd Fourier modes, the amplification factor is

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298428

so the pointwise error becomes

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298429

The overshoot is then extracted by the physical-bound test above and maximized over Overshoot0.2984\mathrm{Overshoot}^*\approx0.298430 (Zhang et al., 2021).

Two empirical findings are emphasized. First, the overshoot amplitude varies non-monotonously with the CFL number Overshoot0.2984\mathrm{Overshoot}^*\approx0.298431; there is not a simple “more CFL Overshoot0.2984\mathrm{Overshoot}^*\approx0.298432 more overshoot” law, and several WENO-type schemes attain minimum overshoot around Overshoot0.2984\mathrm{Overshoot}^*\approx0.298433. For 5th-order WENO-Z, the minimum over Overshoot0.2984\mathrm{Overshoot}^*\approx0.298434 occurs at Overshoot0.2984\mathrm{Overshoot}^*\approx0.298435 and is approximately Overshoot0.2984\mathrm{Overshoot}^*\approx0.298436 of its value at Overshoot0.2984\mathrm{Overshoot}^*\approx0.298437. Second, overshoot depends strongly on the reduced wavenumber Overshoot0.2984\mathrm{Overshoot}^*\approx0.298438: there is a threshold Overshoot0.2984\mathrm{Overshoot}^*\approx0.298439 below which all schemes produce essentially zero overshoot, while for Overshoot0.2984\mathrm{Overshoot}^*\approx0.298440 the overshoot grows, often in a staircase fashion, and some schemes exhibit local maxima and minima in Overshoot0.2984\mathrm{Overshoot}^*\approx0.298441 (Zhang et al., 2021).

The worst-case survey over Overshoot0.2984\mathrm{Overshoot}^*\approx0.298442 and Overshoot0.2984\mathrm{Overshoot}^*\approx0.298443 gives the following approximate maxima:

Scheme Overshoot0.2984\mathrm{Overshoot}^*\approx0.298444
TVD (minmod) Overshoot0.2984\mathrm{Overshoot}^*\approx0.298445
TVD (superbee) Overshoot0.2984\mathrm{Overshoot}^*\approx0.298446
ENO3 Overshoot0.2984\mathrm{Overshoot}^*\approx0.298447
ENO5 Overshoot0.2984\mathrm{Overshoot}^*\approx0.298448
WENO-JS5 Overshoot0.2984\mathrm{Overshoot}^*\approx0.298449
WENO-JS7 Overshoot0.2984\mathrm{Overshoot}^*\approx0.298450
WENO-Z5 Overshoot0.2984\mathrm{Overshoot}^*\approx0.298451
WENO-Z7 Overshoot0.2984\mathrm{Overshoot}^*\approx0.298452
MPWENO5 Overshoot0.2984\mathrm{Overshoot}^*\approx0.298453
MPWENO7 Overshoot0.2984\mathrm{Overshoot}^*\approx0.298454

The paper attributes these rankings to strict non-oscillatory behavior for TVD(minmod) and ENO3, Gibbs-type over/undershoots when higher-order ENO/WENO stencils span discontinuities, and reduced dissipation but larger linear-stencil oscillations in WENO-Z. The monotonicity-preserving post-limiter in MPWENO greatly curtails these oscillations (Zhang et al., 2021).

6. Overshoot in continuous-time control theory and reference governance

In continuous-time feedback systems, Wenczel and Hill formulate minimum achievable overshoot as a Banach-space optimization. For a plant

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298455

with unstable poles Overshoot0.2984\mathrm{Overshoot}^*\approx0.298456 and nonminimum-phase zeros Overshoot0.2984\mathrm{Overshoot}^*\approx0.298457, the attainable rational error signals form

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298458

The overshoot functional is

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298459

and the primal problem is

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298460

Fenchel duality yields the OS-dual

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298461

or, in density form,

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298462

The paper states strong duality: the minimum overshoot equals the maximum dual value (wenczel et al., 2011).

The key pole/zero sensitivity theorem isolates the dominant right-half-plane locations. If there is a nonminimum-phase zero Overshoot0.2984\mathrm{Overshoot}^*\approx0.298463 and an unstable pole Overshoot0.2984\mathrm{Overshoot}^*\approx0.298464 with Overshoot0.2984\mathrm{Overshoot}^*\approx0.298465, then for a unit step

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298466

If there are no unstable poles but a single RHP zero Overshoot0.2984\mathrm{Overshoot}^*\approx0.298467, then

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298468

For the illustrative plant

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298469

the bound is Overshoot0.2984\mathrm{Overshoot}^*\approx0.298470, and the paper reports that time-domain simulation with a high-bandwidth rational stabilizing controller produces overshoot no smaller than about Overshoot0.2984\mathrm{Overshoot}^*\approx0.298471, confirming that the bound Overshoot0.2984\mathrm{Overshoot}^*\approx0.298472 is tight (wenczel et al., 2011).

A different control literature addresses overshoot mitigation rather than fundamental impossibility. The Reference Governor with Dynamic Constraint (RG-DC) starts from the asymptotically stable discrete-time model

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298473

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298474

with static output constraints Overshoot0.2984\mathrm{Overshoot}^*\approx0.298475. The dynamic tracking constraint is

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298476

where Overshoot0.2984\mathrm{Overshoot}^*\approx0.298477 if Overshoot0.2984\mathrm{Overshoot}^*\approx0.298478, and Overshoot0.2984\mathrm{Overshoot}^*\approx0.298479 otherwise. The corresponding dynamic maximal admissible set is

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298480

defined by constant future command Overshoot0.2984\mathrm{Overshoot}^*\approx0.298481 and simultaneous satisfaction of Overshoot0.2984\mathrm{Overshoot}^*\approx0.298482 and Overshoot0.2984\mathrm{Overshoot}^*\approx0.298483 for all Overshoot0.2984\mathrm{Overshoot}^*\approx0.298484 (Freiheit et al., 2020).

The online law computes

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298485

with Overshoot0.2984\mathrm{Overshoot}^*\approx0.298486 chosen so that the current pair Overshoot0.2984\mathrm{Overshoot}^*\approx0.298487 remains inside the time-varying polyhedral MAS. In the basic RG-DC,

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298488

so the maximal overshoot above the current reference is zero. If one permits up to Overshoot0.2984\mathrm{Overshoot}^*\approx0.298489 of overshoot by replacing Overshoot0.2984\mathrm{Overshoot}^*\approx0.298490 with Overshoot0.2984\mathrm{Overshoot}^*\approx0.298491, the same construction enforces

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298492

The paper further states invariance, recursive feasibility, BIBO stability, and convergence for constant references, and observes that RG-DC completely suppresses the resonant peak of an under-damped loop, acting like a novel anti-resonant low-pass filter (Freiheit et al., 2020).

7. Overshoot in inflation after Coleman–De Luccia tunneling

Dutta, Vaudrevange, and Westphal study overshoot of the inflaton after CDL tunneling in an open FRW universe. For monomial exit potentials

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298493

with Overshoot0.2984\mathrm{Overshoot}^*\approx0.298494 and Overshoot0.2984\mathrm{Overshoot}^*\approx0.298495, curvature dominates at early times, Overshoot0.2984\mathrm{Overshoot}^*\approx0.298496 and Overshoot0.2984\mathrm{Overshoot}^*\approx0.298497, so the field obeys

Overshoot0.2984\mathrm{Overshoot}^*\approx0.298498

After reaching Overshoot0.2984\mathrm{Overshoot}^*\approx0.298499 it enters the plateau

R02.151R_0^*\approx2.15100

and the overshoot distance is

R02.151R_0^*\approx2.15101

The coefficient of R02.151R_0^*\approx2.15102 is universal for R02.151R_0^*\approx2.15103, while the R02.151R_0^*\approx2.15104 term decreases with R02.151R_0^*\approx2.15105 (Dutta et al., 2011).

The paper gives explicit formulas and bounds for the low-power cases. For R02.151R_0^*\approx2.15106,

R02.151R_0^*\approx2.15107

For R02.151R_0^*\approx2.15108,

R02.151R_0^*\approx2.15109

For R02.151R_0^*\approx2.15110,

R02.151R_0^*\approx2.15111

The broad statement is that for R02.151R_0^*\approx2.15112 the overshoot is bounded from above by the width of the steep barrier traversed after emerging from tunneling and before reaching a slow-roll region of the potential (Dutta et al., 2011).

For R02.151R_0^*\approx2.15113 the behavior changes qualitatively. At R02.151R_0^*\approx2.15114 the exact solution is

R02.151R_0^*\approx2.15115

for which R02.151R_0^*\approx2.15116 as R02.151R_0^*\approx2.15117. More generally, for any monomial with R02.151R_0^*\approx2.15118, the combination of a steeper outer potential and Hubble friction R02.151R_0^*\approx2.15119 brings R02.151R_0^*\approx2.15120 before or exactly at R02.151R_0^*\approx2.15121, so overshooting is entirely absent (Dutta et al., 2011).

The result extends to binomials and then to full power series,

R02.151R_0^*\approx2.15122

with matching point

R02.151R_0^*\approx2.15123

The overshoot is again controlled by the lowest non-zero monomial above the plateau,

R02.151R_0^*\approx2.15124

If one allows arbitrary finite initial speed after tunneling, the early-time equation

R02.151R_0^*\approx2.15125

implies rapid redshifting of R02.151R_0^*\approx2.15126, so the same bounds remain valid. The stated cosmological implication is that, in a landscape populated by CDL tunneling, small-field models suffer no parametrically large overshoot, and for exit potentials of order R02.151R_0^*\approx2.15127 they have zero classical overshoot (Dutta et al., 2011).

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Maximal Overshoot.