Skip to content

Time integration

SpeedyWeather.jl is based on the Leapfrog time integration, which, for relative vorticity , is in its simplest form

meaning we step from the previous time step  , leapfrogging over the current time step to the next time step   by evaluating the tendencies on the right-hand side at the current time step . The time stepping is done in spectral space. Once the right-hand side is evaluated, leapfrogging is a linear operation, meaning that its simply applied to every spectral coefficient as one would evaluate it on every grid point in grid-point models.

For the Leapfrog time integration two time steps of the prognostic variables have to be stored,   and . Time step is used to evaluate the tendencies which are then added to   in a step that also swaps the indices for the next time step    and   , so that no additional memory than two time steps have to be stored at the same time.

Leapfrog initialisation

The Leapfrog time integration has to be initialized with an Euler forward step in order to have a second time step   available when starting from to actually leapfrog over. SpeedyWeather.jl therefore does two initial time steps that are different from the leapfrog time steps that follow and that have been described above.

  1. an Euler forward step with , then

  2. one leapfrog time step with , then

  3. leapfrog with till the end

This is particularly done in a way that after 2. we have   at   and   at available so that 3. can start the leapfrogging without any offset from the intuitive spacing . The following schematic can be useful

time at step  time at step time step at  
Initial conditions 
1: Euler(T)    
2: Leapfrog with  (T)    
3 to : Leapfrog with  (T)     

The time step that is used to evaluate the tendencies is denoted with (T). It is always the time step furthest in time that is available.

Robert-Asselin and Williams filter

The standard leapfrog time integration is often combined with a Robert-Asselin filter[^Robert66][^Asselin72] to dampen a computational mode. The idea is to start with a standard leapfrog step to obtain the next time step   but then to correct the current time step by applying a filter which dampens the computational mode. The filter looks like a discrete Laplacian in time with a   stencil, and so, maybe unsurprisingly, is efficient to filter out a "grid-scale oscillation" in time, aka the computational mode. Let be the unfiltered variable and be the filtered variable, the right-hand side tendency, then the standard leapfrog step is

Meaning we start with a filtered variable at the previous time step  , evaluate the tendency based on the current time step to obtain an unfiltered next time step . We then filter the current time step (which will become   on the next iteration)

by adding a discrete Laplacian with coefficient to it, evaluated from the available filtered and unfiltered time steps centred around : is not available anymore because it was overwritten by the filtering at the previous iteration, are not filtered yet when applying the Laplacian. The filter parameter is typically chosen between 0.01-0.2, with stronger filtering for higher values.

Williams[^Williams2009] then proposed an additional filter step to regain accuracy that is otherwise lost with a strong Robert-Asselin filter[^Amezcua2011][^Williams2011]. Now let be unfiltered, be once filtered, and twice filtered, then

with the Williams filter parameter  . For   we're back with the Robert-Asselin filter (the first two lines).

The Laplacian in the parentheses is often called a displacement, meaning that the filtered value is displaced (or corrected) in the direction of the two surrounding time steps. The Williams filter now also applies the same displacement, but in the opposite direction to the next time step   as a correction step (line 3 above) for a once-filtered value which will then be twice-filtered by the Robert-Asselin filter on the next iteration. For more details see the referenced publications.

The initial Euler step (see Time integration, Table) is not filtered. Both the the Robert-Asselin and Williams filter are then switched on for all following leapfrog time steps.

Leapfrog options

The leapfrog time integration is controlled by creating a custom Leapfrog component and passing it on to the model constructor

julia
using SpeedyWeather
spectral_grid = SpectralGrid()
time_stepping = Leapfrog(spectral_grid, start_with_euler=true)
Leapfrog{Float32} <: SpeedyWeather.AbstractTimeStepper
├ trunc::Int64 = 31
├ nsteps::Int64 = 2
├ Δt_at_T31::Second = 2400 seconds
├ adjust_with_output::Bool = true
├ start_with_euler::Bool = true
├ continue_with_leapfrog::Bool = true
├ first_step_euler::Bool = true
├ robert_filter::Float32 = 0.1
├ williams_filter::Float32 = 0.53
├ radius::Float32 = 6.371e6
├ Δt_millisec::Millisecond = 2400000 milliseconds
├ Δt_sec::Float32 = 2400.0
└ Δt::Float32 = 0.00037670694

and with ?Leapfrog you see a summary of the fields, only manually change those marked [OPTION]. We will discuss some options in the following.

julia
@doc Leapfrog

Leapfrog time stepping defined by the following fields

  • trunc::Int64: [DERIVED] Spectral resolution (max degree of spherical harmonics)

  • nsteps::Int64: [CONST] Number of time steps stored simultaneously in prognostic variables

  • Δt_at_T31::Second: [OPTION] Time step in minutes for T31, scale linearly to trunc

  • adjust_with_output::Bool: [OPTION] Adjust Δt_at_T31 with the output_dt to reach output_dt exactly in integer time steps

  • start_with_euler::Bool: [OPTION] Start integration with (1) Euler step with dt/2, (2) Leapfrog step with dt

  • continue_with_leapfrog::Bool: [OPTION] Sets first_step_euler=false after first step to continue with leapfrog after 1st run! call

  • first_step_euler::Bool: [DERIVED] Use Euler on first time step? (controlled by start_with_euler and continue_with_leapfrog)

  • robert_filter::AbstractFloat: [OPTION] Robert (1966) time filter coefficient to suppress the computational mode

  • williams_filter::AbstractFloat: [OPTION] Williams time filter (Amezcua 2011) coefficient for 3rd order acc

  • radius::AbstractFloat: [DERIVED] Radius of sphere [m], used for scaling, set in initialize! to planet.radius

  • Δt_millisec::Millisecond: [DERIVED] Time step Δt in milliseconds at specified resolution

  • Δt_sec::AbstractFloat: [DERIVED] Time step Δt [s] at specified resolution

  • Δt::AbstractFloat: [DERIVED] Time step Δt [s/m] at specified resolution, scaled by 1/radius

Leapfrog(spectral_grid::SpectralGrid; kwargs...) -> Leapfrog

Generator function for a Leapfrog struct using spectral_grid for the resolution information.

Change the time step

SpeedyWeather chooses the time step automatically based on the resolution. A default time step of

julia
time_stepping.Δt_at_T31
2400 seconds

is used at T31 (trunc=31) spectral resolution (see Available horizontal resolutions) which is then (almost) linearly scaled to higher (or lower) resolution. Creating a simulation at twice the resolution (T63) will approximately half the time step (20min if T31 runs at 40min). This is such that in most cases the user does need to know what time step is stable. But if you want a shorter time step the easiest is to choose Δt_at_T31 (write \Delta then hit tab, works in the Julia REPL and other interfaces) relative to its default. If you half that time step you'll half the time step for all resolutions. The other "time steps" in time_stepping are explained in the docstring (?Leapfrog). Note that internally SpeedyWeather uses a time step scaled by the radius, so time_stepping.Δt will be in units of second divided by meter.

You can also choose the time step manually with

julia
set!(time_stepping, Δt=Minute(10))
Leapfrog{Float32} <: SpeedyWeather.AbstractTimeStepper
├ trunc::Int64 = 31
├ nsteps::Int64 = 2
├ Δt_at_T31::Second = 600 seconds
├ adjust_with_output::Bool = false
├ start_with_euler::Bool = true
├ continue_with_leapfrog::Bool = true
├ first_step_euler::Bool = true
├ robert_filter::Float32 = 0.1
├ williams_filter::Float32 = 0.53
├ radius::Float32 = 6.371e6
├ Δt_millisec::Millisecond = 600000 milliseconds
├ Δt_sec::Float32 = 600.0
└ Δt::Float32 = 9.4176736e-5

which you can do before initialize!(model) or after – it will change the other time step information consistently, as shown here. You can provide any Second, Minute, Hour, but note that there is a stability limit above which your simulation quickly blows up.

Adjust with output

By default the time step is (slightly) adjusted to match the Output frequency. See that section for more information.

Restart with Leapfrog

As a 2-step scheme, leapfrog time stepping has to be initialised with another scheme (e.g. Euler forward) to have information for the 2nd step if not otherwise known, see Leapfrog initialisation. This is done by default as time_stepping.start_with_euler is true. If you StartFromFile as initial conditions then you may want to switch this to false.

SpeedyWeather also allows the user to use several run!(simulation) calls after another to continue a simulation, possibly after some modification by the user. These subsequent run! calls use leapfrog to continue the time integration (as the 2nd step is available) by default, but this is determined by time_stepping.continue_with_leapfrog and can be deactivated.

Internally, time_stepping.first_step_euler will switch from true to false during an integration if continue_with_leapfrog==true to store the information that this simulation was already run previously. Don't change first_step_euler directly, hence it's marked as [DERIVED] in the docstring.

Passing time_stepping to the model constructor

Here we just called our time stepping scheme time_stepping but this needs to be passed on to the model constructor, e.g. for the PrimitiveDryModel

julia
model = PrimitiveDryModel(spectral_grid; time_stepping)

where ; matches the time_stepping keyword argument by name. If you name leapfrog = Leapfrog(spectral_grid) then you would need to change this to time_stepping=leapfrog in the function call arguments.

References

[^Robert66]: Robert, André. "The Integration of a Low Order Spectral Form of the Primitive Meteorological Equations." Journal of the Meteorological Society of Japan 44 (1966): 237-245.

[^Asselin72]: ASSELIN, R., 1972: Frequency Filter for Time Integrations. Mon. Wea. Rev., 100, 487-490, doi:10.1175/1520-0493(1972)100<0487:FFFTI>2.3.CO;2

[^Williams2009]: Williams, P. D., 2009: A Proposed Modification to the Robert-Asselin Time Filter. Mon. Wea. Rev., 137, 2538-2546, 10.1175/2009MWR2724.1.

[^Amezcua2011]: Amezcua, J., E. Kalnay, and P. D. Williams, 2011: The Effects of the RAW Filter on the Climatology and Forecast Skill of the SPEEDY Model. Mon. Wea. Rev., 139, 608-619, doi:10.1175/2010MWR3530.1.

[^Williams2011]: Williams, P. D., 2011: The RAW Filter: An Improvement to the Robert-Asselin Filter in Semi-Implicit Integrations. Mon. Wea. Rev., 139, 1996-2007, doi:10.1175/2010MWR3601.1.