Time step independence study for transient CFD simulation

FMDenaro · October 21, 2021, 16:29

the local truncation error has terms that depend on the time and space step sizes, when you fix the h size you have as a consequence that the spatial contribution is constant. When you reduce the time step, the constant spatial error must be small, otherwise that error will hide the scaling of the temporal error

tecmul · October 21, 2021, 16:59

Quote:

Originally Posted by FMDenaro

the local truncation error has terms that depend on the time and space step sizes, when you fix the h size you have as a consequence that the spatial contribution is constant. When you reduce the time step, the constant spatial error must be small, otherwise that error will hide the scaling of the temporal error

If we run simulations using the same grid but different time steps and then calculate error using the simulation with the smallest time step, won't that constant spatial error cancel out because it's the same in all the simulations? That's what I'm confused about here. If it does cancel out, then we should be able to ascertain how sensitive our solution is to a particular time step.

FMDenaro · October 21, 2021, 17:06

Quote:

Originally Posted by tecmul

If we run simulations using the same grid but different time steps and then calculate error using the simulation with the smallest time step, won't that constant spatial error cancel out because it's the same in all the simulations? That's what I'm confused about here. If it does cancel out, then we should be able to ascertain how sensitive our solution is to a particular time step.

In any run, you have the same constant error in space. If it is greater than the magnitude of the error in time, you will see only the constant slope. For this reason you need to get this constant error very small.

tecmul · October 21, 2021, 17:16

Quote:

Originally Posted by FMDenaro

In any run, you have the same constant error in space. If it is greater than the magnitude of the error in time, you will see only the constant slope. For this reason you need to get this constant error very small.

I'm sorry I don't understand.
"In any run, you have the same constant error in space."
Agreed.
"If it is greater than the magnitude of the error in time, you will see only the constant slope."
Are you referring to the constant slope of the error when plotted vs. the time step? If you are, then what else do we need? Our goal in conducting a temporal sensitivity test is to determine at which time step the temporal errors are smaller than a certain tolerance. Can't we determine this time step even if the spatial errors are large? Say we halve the time step and our solution changes by 0.01%, isn't that an indicator that our time step is adequate for the problem?

CFDfan · October 21, 2021, 20:40

Quote:

Originally Posted by Far

Take a representative time step for your case. Simulate it and decrease time step by half. Again simulate and compare your results. If your results haven't changed much, you have achieved time independence

this is well understood way to do it but if the transient simulation takes a a couple of days then such method becomes highly inefficient. Are there rules of thumb about the representative time step as you put it if the thermal constant of the model is known?
I also knew about calculating the step from the courant number and the mesh size but the resultant step value was usually so low that it would've taken months to simulate.

LuckyTran · October 22, 2021, 01:55

Quote:

Originally Posted by tecmul

I'm sorry I don't understand. "In any run, you have the same constant error in space."
Agreed.
"If it is greater than the magnitude of the error in time, you will see only the constant slope."
Are you referring to the constant slope of the error when plotted vs. the time step? If you are, then what else do we need? Our goal in conducting a temporal sensitivity test is to determine at which time step the temporal errors are smaller than a certain tolerance. Can't we determine this time step even if the spatial errors are large? Say we halve the time step and our solution changes by 0.01%, isn't that an indicator that our time step is adequate for the problem?

Two things need to be quantified in a rigorous study of temporal convergence (also true for spatial convergence). One is absolute error in the scheme and the other is the order of convergence.

In order to observe the order of convergence, you need to be able to see the error decrease with smaller time-step size. If the error isn't changing, then you wont be able to see the order of convergence (regardless of whether your absolute error is very large or very small). If the temporal error is hiding beneath a large (possibly even constant) spatial error, it can be very very difficult to realize this.

tecmul · October 22, 2021, 07:49

Quote:

Originally Posted by LuckyTran

Two things need to be quantified in a rigorous study of temporal convergence (also true for spatial convergence). One is absolute error in the scheme and the other is the order of convergence.

In order to observe the order of convergence, you need to be able to see the error decrease with smaller time-step size. If the error isn't changing, then you wont be able to see the order of convergence (regardless of whether your absolute error is very large or very small). If the temporal error is hiding beneath a large (possibly even constant) spatial error, it can be very very difficult to realize this.

OK I think I get it now. What you and Filippo are saying makes sense intuitively. If we coarsen a mesh down to 5 cells, it's clear that running a temporal sensitivity study wouldn't do much good. The reason for my confusion was that I was assuming that we could write the discretized solution (for second order temporal discretization) as $\phi_i = \Phi_i + \alpha \Delta t^2 + H$ , where $\Phi_i$ is the exact solution, $\alpha$ is a constant that is independent of time step and

represents higher order terms that are negligible when the time step is reduced below a certain threshold. But when the spatial errors are large enough, they can magnify these higher order terms so that they are not negligible, messing up our temporal sensitivity analysis. Is this correct?

If it is, might it be possible that we could run a successful temporal sensitivity study even if the spatial errors aren't an order of magnitude lower than the temporal errors? I say this because those higher order terms might still be negligible if our time step is small enough and our spatial error isn't too large. Obviously, our analysis would be much more rigorous if the spatial error was negligible in comparison to the temporal error, like Filippo said, but I've run a temporal error analysis on a not very fine mesh and and have obtained a nice linear plot for the temporal error. I used first order temporal discretization and obtained a slope of close to 1.

Thank you both.

sbaffini · October 22, 2021, 08:21

I have attached an image from a very old report of one of my university classes, where I did a temporal accuracy analysis with fixed grid size.

This is what happens when you refine the time step without properly refining the grid. At a certain point, unless you refine the grid properly, for sufficiently small time steps, you will hit the spatial accuracy barrier.

Hopefully, this is more clear.

tecmul · October 22, 2021, 09:04

Quote:

Originally Posted by sbaffini

I have attached an image from a very old report of one of my university classes, where I did a temporal accuracy analysis with fixed grid size.

This is what happens when you refine the time step without properly refining the grid. At a certain point, unless you refine the grid properly, for sufficiently small time steps, you will hit the spatial accuracy barrier.

Hopefully, this is more clear.

Very interesting, thank you. There does seem to be a very clear spatial accuracy barrier that prevents further refinement of the time step from affecting the solution. Could you explain why this happens using Taylor series? Based on what I said in the post above, I would expect a non-linear profile with large time steps (because of the higher order terms), but a linear profile with sufficiently small time steps (because the higher order terms would become small). The opposite seems to have happened here. My reasoning was wrong, but I don't know why.

sbaffini · October 22, 2021, 09:34

The reason this happens is that the error behaves like:

$E \left(\Delta x, \Delta t\right)= \alpha \Delta t^m + \beta \Delta x^n + H.O.T. \approx \alpha \Delta t^m + \beta \Delta x^n$

So, first of all (as it seems to be a point of confusion), higher order terms have no role in what you see here and can be discarded completely.

What happens when you reduce the time step but not the grid step is that, at some point, when $\alpha \Delta t^m < \beta \Delta x^n$ the error E will increasingly be more and more dominated by the spatial error, which is kept constant. At some point you have $E \approx \beta \Delta x^n$ because the temporal error is negligibly small with respect to the spatial one.

To be more specific, imagine that you have:

with A = 1 and B = 1. Then you start reducing B with fixed A. Then what happens is, at most, when B = 0, E = A = 1 and will not reduce any more. More formally:

$\lim_{\Delta t \to 0} E \left(\Delta x, \Delta t\right) = \beta \Delta x^n + H.O.T. \approx \beta \Delta x^n$

If you think about it, it is really that simple as understanding the previous limit

EDIT: H.O.T. terms are negligible because if the steps are sufficiently smaller than 1, their higher order powers are negligible with respect to the lowest order ones (m and n here)

sbaffini · October 22, 2021, 09:55

Quote:

Originally Posted by tecmul

I would expect a non-linear profile with large time steps (because of the higher order terms)

What happens at large steps is completely case dependent, so never expect anything there. What if my exact solution has any of the higher order derivatives expected in H.O.T. as exactly 0?

FMDenaro · October 22, 2021, 10:24

I try to be more rigorous.

The local truncation error defines the accuracy order of the scheme. I suppose you are evaluating the discretization error from a known and available exact solution. They are related but not equal, thus you need to assess if evaluating the discretization error you are able to deduce correctly the accuracy order defined by the lte.

Now, by defining the discretization error as the ed =(fex-fn), you have to consider both the original PDE satisfied by fex

A fex=0

and the discrete equation satisfied by fn

Ad fn =0 .

The lte is defined as

(A-Ad) fex = lte

and

Ad (fex-fn) = -lte

thus

ed = Ad^-1 (-lte)

Therefore, your goal is to evaluate lte for assessing the accuracy order but you practically compute ed. If you fix the grid size, a part of the lte will be constant while the remaining part will tend to zero for dt going to zero. As a consequence, the discretization error will be constant at a certain value as Paolo shown.

I suggest to read section 8.2 in the textbook of Leveque about FV methods.

tecmul · October 24, 2021, 14:41

Quote:

Originally Posted by sbaffini

The reason this happens is that the error behaves like:

Ah, I see where I was going wrong now. On page 59 of Ferziger, the discretization error is expanded as

$\epsilon_d^h \approx \alpha h^p + H$ .

The exact solution is then given as

$\Phi = \phi + \alpha h^p + H$ .

Though I don't think he explicitly mentions it, this must be for a time independent system of equations, as the Taylor expansion is about zero. I mistakenly assumed that for constant spatial discretization error, I could expand the temporal discretization error as $\epsilon_d^\tau \approx \alpha \Delta t^p + H$ and then write the exact solution as $\Phi = \phi + \alpha \Delta t^p + H$ , where $\phi$ is the discretized solution. This equation says that as the time step becomes smaller, the discretized solution converges to the exact solution, which is obviously not what happens, unless the spatial discretization error is also zero.

But I have another question, if the error for a time dependent system of equations is, as you wrote,

$E \left(\Delta x, \Delta t\right)= \alpha \Delta t^m + \beta \Delta x^n + H.O.T. \approx \alpha \Delta t^m + \beta \Delta x^n$

Then the exact solution is

$\Phi =\phi + \alpha \Delta t^m + \beta \Delta x^n$

Now, if we calculate the error as $E = \Phi - \phi$ , and successively reduce the time step, then, like you and Filippo said, after a certain point the spatial error will dominate and reductions in the time step will yield almost no change in the calculated error. But what if we calculate the error as the difference between each solution and a solution with a very small time step ( $\phi_{fine}$ )? For a very small time step $\alpha \Delta t^m \approx 0$ and the exact solution would be given by

$\Phi = \phi_{fine} + \beta \Delta x^n$

Then if we calculate the error as

$E = \phi_{fine} - \phi,$

we get

$E = \alpha \Delta t^m$ ,

which reveals the order of the temporal error, m, regardless of how large the spatial discretization error is. The only issue I see with this approach is that if the spatial error is too large, limited machine precision could prevent us from seeing the small changes in the solution. What do you guys think?

tecmul · October 24, 2021, 15:03

Quote:

Originally Posted by FMDenaro

I suggest to read section 8.2 in the textbook of Leveque about FV methods.

Yeah I'm reading Leveque's book right now. There's a very nice discussion about error norms there, but I can't find an answer to another question that's been bugging me. If our discretization method is second order accurate in space and time, is it reasonable to expect that time and spatial integrations of solution variables will also be second order accurate? For example, if the fluid velocity is second order accurate in space and time, is the average flow rate over a period of time also second order accurate? My own analysis with Taylor series indicates that it is.

FMDenaro · October 24, 2021, 15:31

Quote:

Originally Posted by tecmul

Yeah I'm reading Leveque's book right now. There's a very nice discussion about error norms there, but I can't find an answer to another question that's been bugging me. If our discretization method is second order accurate in space and time, is it reasonable to expect that time and spatial integrations of solution variables will also be second order accurate? For example, if the fluid velocity is second order accurate in space and time, is the average flow rate over a period of time also second order accurate? My own analysis with Taylor series indicates that it is.

Why not? The flow rate is only an integral quantity computed from your second order accurate velocity, you need only to take care in computing it at second order of accuracy and compare to the exact flow rate.

sbaffini · October 25, 2021, 04:32

Quote:

Originally Posted by tecmul

But what if we calculate the error as the difference between each solution and a solution with a very small time step ( $\phi_{fine}$ )? For a very small time step $\alpha \Delta t^m \approx 0$ and the exact solution would be given by

$\Phi = \phi_{fine} + \beta \Delta x^n$

Then if we calculate the error as

$E = \phi_{fine} - \phi,$

we get

$E = \alpha \Delta t^m$ ,

which reveals the order of the temporal error, m, regardless of how large the spatial discretization error is. The only issue I see with this approach is that if the spatial error is too large, limited machine precision could prevent us from seeing the small changes in the solution. What do you guys think?

Well, in theory yes, if you obatain a solution with time error, say, smaller than the numerical precision, you end up with a solution whose only error is the spatial term. Then you can subtract that solution from the general ones at any larger time steps and have a quantification of the temporal error only at those time steps.

Yet, things are more complicate than this. You actually need a time step that while making the time error small, will still advance your solution in a meaningful way without hitting precision issues. Also, you are underestimating the effort to advance such a solution in time: 1 s at dt = 1e-9 s indeed requires 1e9 time steps.

Also, I haven't done the math, but I'm pretty sure that non-linearity is not gonna help in this experiment. Nor I'm sure this is going to work with any scheme. But you can certainly make an experiment with a simple 1d case.

CFDfan · October 25, 2021, 05:14

Quote:

Originally Posted by sbaffini

Also, you are underestimating the effort to advance such a solution in time: 1 s at dt = 1e-9 s indeed requires 1e9 time steps.

I am trying to understand the practicality of this. If one has to do 1e9 steps and each step takes, say 10min simulating reasonably complex model with a reasonably powerful workstation, then the time needed to reach steady state (1s) would be about 19000 years.
If I select a step that is say 1e6 larger, then the simulation would obviously run much faster. This however totally violates the courant number<0.7 rule.
If during the simulation the convergence at each step looks OK, then would the final result still be trustful?

sbaffini · October 25, 2021, 05:38

Quote:

Originally Posted by CFDfan

I am trying to understand the practicality of this. If one has to do 1e9 steps and each step takes, say 10min simulating reasonably complex model with a reasonably powerful workstation, then the time needed to reach steady state (1s) would be about 19000 years.
If I select a step that is say 1e6 larger, then the simulation would obviously run much faster. This however totally violates the courant number<0.7 rule.
If during the simulation the convergence at each step looks OK, then would the final result still be trustful?

I kind of overemphasized things here. Imagine starting from the coarsest time step dt0. If, say, you want to use a BDF2 scheme, the first useful time at which it can make some sense to compare solutions is T = 4dt0 (maybe 3dt0, I'm not sure). So, you will evaluate the accuracy of the solution by computing it up until T= 4dt0.

You see how, the initial dt0 is kind of arbitrary. But the smaller it is, the less you eventually see in your study. Let's say dt0 = 0.1, so you need to evaluate the solution at T = 0.4 s. But you can also just say dt0 = 1e-7s and end up with just 400 time steps for dt=1e-9s.

I would, honestly, not suggest to run this on a case that takes 10 min to complete a single time step. As you suggest, there are Courant issues to consider in all of this as well. But if you want to make this experiment (as opposed to one where both dx and dt vary) you still need to set up a grid that works at dt0. That one basically defines your path. The coarsest it is, the faster you will be. But, honestly, we are talking of an experiment where you have the analytical solution, I don't see how the coarsest grid could be so heavy to require 10 min for a single step. This mostly academic experiment demands cases with a single time step cost in the order of seconds, not more.

LuckyTran · October 25, 2021, 06:19

Quote:

Originally Posted by tecmul

For a very small time step $\alpha \Delta t^m \approx 0$

No. For a very small time-step $\alpha \Delta t^m \approx \alpha \Delta t^m$ . When you do perturbation analysis only higher order perturbations can be approximated to 0 because they proceed/converge to 0 at a higher order than your perturbation. The perturbation itself converges at it's own order and it is definitely not 0. It is itself.

sbaffini · October 25, 2021, 06:46

Let me restate things more formally. The numerical solution can be written as:

$\phi_n\left( \Delta x, \Delta t \right) = \phi_e + \alpha \Delta t^m + \beta \Delta x^n + \left[ r_x \left( \Delta x \right) + r_t \left( \Delta t \right) \right]$

where the terms in square parentheses are the H.O.T. in space and time respectively. We can then write the error like:

$e \left(\Delta x, \Delta t\right) = \phi_n - \phi_e = \alpha \Delta t^m + \beta \Delta x^n + \left[ r_x \left( \Delta x \right) + r_t \left( \Delta t \right) \right] = e_x + e_t$

Now, if you can compute a numerical solution with vanishing dt, you have:

$\phi_n\left( \Delta x, 0 \right) = \phi_e + \beta \Delta x^n + \left[ r_x \left( \Delta x \right) \right]$

Then it follows that:

$\phi_n\left( \Delta x, \Delta t \right) - \phi_n\left( \Delta x, 0 \right) = \alpha \Delta t^m + \left[r_t \left( \Delta t \right) \right] = e_t$

Note that this is, sort of, what you do when you want to estimate the error without having an exact solution.

EDIT: I was referring to my previous post, which was without any math, not the Lucky Tran one which is indeed correct.

October 22, 2021, 10:24		#32
FMDenaro Senior Member Filippo Maria Denaro Join Date: Jul 2010 Posts: 6,882 Rep Power: 73	I try to be more rigorous. The local truncation error defines the accuracy order of the scheme. I suppose you are evaluating the discretization error from a known and available exact solution. They are related but not equal, thus you need to assess if evaluating the discretization error you are able to deduce correctly the accuracy order defined by the lte. Now, by defining the discretization error as the ed =(fex-fn), you have to consider both the original PDE satisfied by fex A fex=0 and the discrete equation satisfied by fn Ad fn =0 . The lte is defined as (A-Ad) fex = lte and Ad (fex-fn) = -lte thus ed = Ad^-1 (-lte) Therefore, your goal is to evaluate lte for assessing the accuracy order but you practically compute ed. If you fix the grid size, a part of the lte will be constant while the remaining part will tend to zero for dt going to zero. As a consequence, the discretization error will be constant at a certain value as Paolo shown. I suggest to read section 8.2 in the textbook of Leveque about FV methods. sbaffini and tecmul like this.

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
Superlinear speedup in OpenFOAM 13	msrinath80	OpenFOAM Running, Solving & CFD	18	March 3, 2015 06:36
directMapped problem	panda60	OpenFOAM Bugs	4	July 8, 2010 11:23
Time step in transient simulation	shib	FLUENT	0	June 17, 2010 14:07
calculation diverge after continue to run	zhajingjing	OpenFOAM	0	April 28, 2010 05:35
IcoFoam parallel woes	msrinath80	OpenFOAM Running, Solving & CFD	9	July 22, 2007 03:58

October 21, 2021, 16:29		#21
FMDenaro Senior Member Filippo Maria Denaro Join Date: Jul 2010 Posts: 6,882 Rep Power: 73	the local truncation error has terms that depend on the time and space step sizes, when you fix the h size you have as a consequence that the spatial contribution is constant. When you reduce the time step, the constant spatial error must be small, otherwise that error will hide the scaling of the temporal error

October 22, 2021, 09:34		#30
sbaffini Senior Member Paolo Lampitella Join Date: Mar 2009 Location: Italy Posts: 2,192 Blog Entries: 29 Rep Power: 39	The reason this happens is that the error behaves like: $E \left(\Delta x, \Delta t\right)= \alpha \Delta t^m + \beta \Delta x^n + H.O.T. \approx \alpha \Delta t^m + \beta \Delta x^n$ So, first of all (as it seems to be a point of confusion), higher order terms have no role in what you see here and can be discarded completely. What happens when you reduce the time step but not the grid step is that, at some point, when $\alpha \Delta t^m < \beta \Delta x^n$ the error E will increasingly be more and more dominated by the spatial error, which is kept constant. At some point you have $E \approx \beta \Delta x^n$ because the temporal error is negligibly small with respect to the spatial one. To be more specific, imagine that you have: with A = 1 and B = 1. Then you start reducing B with fixed A. Then what happens is, at most, when B = 0, E = A = 1 and will not reduce any more. More formally: $\lim_{\Delta t \to 0} E \left(\Delta x, \Delta t\right) = \beta \Delta x^n + H.O.T. \approx \beta \Delta x^n$ If you think about it, it is really that simple as understanding the previous limit EDIT: H.O.T. terms are negligible because if the steps are sufficiently smaller than 1, their higher order powers are negligible with respect to the lowest order ones (m and n here)

October 25, 2021, 06:46		#40
sbaffini Senior Member Paolo Lampitella Join Date: Mar 2009 Location: Italy Posts: 2,192 Blog Entries: 29 Rep Power: 39	Let me restate things more formally. The numerical solution can be written as: $\phi_n\left( \Delta x, \Delta t \right) = \phi_e + \alpha \Delta t^m + \beta \Delta x^n + \left[ r_x \left( \Delta x \right) + r_t \left( \Delta t \right) \right]$ where the terms in square parentheses are the H.O.T. in space and time respectively. We can then write the error like: $e \left(\Delta x, \Delta t\right) = \phi_n - \phi_e = \alpha \Delta t^m + \beta \Delta x^n + \left[ r_x \left( \Delta x \right) + r_t \left( \Delta t \right) \right] = e_x + e_t$ Now, if you can compute a numerical solution with vanishing dt, you have: $\phi_n\left( \Delta x, 0 \right) = \phi_e + \beta \Delta x^n + \left[ r_x \left( \Delta x \right) \right]$ Then it follows that: $\phi_n\left( \Delta x, \Delta t \right) - \phi_n\left( \Delta x, 0 \right) = \alpha \Delta t^m + \left[r_t \left( \Delta t \right) \right] = e_t$ Note that this is, sort of, what you do when you want to estimate the error without having an exact solution. EDIT: I was referring to my previous post, which was without any math, not the Lucky Tran one which is indeed correct.