Solid lines (red): Departure of the subadiabaticity (time and horizontal average) from its initial value δ = ⟨⟨(∇ − ∇_ad)⟩_θ⟩_t − (∇−∇_ad)_init as a function of radius in the overshooting region for the three models, as indicated in the panels. Dashed lines (blue): radial profile of ⟨cor⟩_t, the time average of the radial velocity autocorrelation defined by Eq. (23). Since these quantities are very small, they are multiplied by different constants, as indicated in each panel, in order to see the details. The vertical lines are the same as in Fig. 13.