|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| In [[mathematics]], the '''Courant–Friedrichs–Lewy condition''' (CFL condition) is a necessary condition for [[Numerical stability#Stability in numerical differential equations|stability]] while solving certain [[partial differential equation]]s (usually [[Hyperbolic partial differential equation|hyperbolic PDE]]s) numerically by the [[Finite difference method|method of finite differences]].<ref>In general, it is not a sufficient condition; also, it can be a demanding condition for some problems. See the "[[Courant–Friedrichs–Lewy condition#Implications of the CFL condition|Implications of the CFL condition]]" section of this article for a brief survey of these issues.</ref> It arises in the [[numerical analysis]] of [[explicit method|explicit]] time-marching schemes, when these are used for the numerical solution. As a consequence, the time step must be less than a certain time in many [[explicit method|explicit]] time-marching [[computer simulation]]s, otherwise the simulation will produce incorrect results. The condition is named after [[Richard Courant]], [[Kurt Friedrichs]], and [[Hans Lewy]] who described it in their 1928 paper.<ref>See reference {{harvnb|Courant|Friedrichs|Lewy|1928}}. There exists also an [[English language|English]] [[translation]] of the 1928 [[German language|German]] original: see references {{harvnb|Courant|Friedrichs|Lewy|1956}} and {{harvnb|Courant|Friedrichs|Lewy|1967}}.</ref>
| | The title of the author is Garland. I am a cashier and I'll be promoted soon. Bottle tops collecting is the only hobby his spouse doesn't approve of. Alabama is exactly where he and his wife live and he has every thing that he needs there.<br><br>My homepage [http://gudhvorsjovt.dk/upload/profile/dojessup gudhvorsjovt.dk] |
| This condition is an example of [[temporal discretization|explicit time integration]] where the function that defines governing equation is evaluated at the current time.{{clarify|reason=What does {{''}}evaluated at the current time{{''}} mean? And what does {{''}}current time{{''}} refer to? What does it mean that the CFL condition is an {{''}}example{{''}} of explicit time integration? Isn't it rather be a restriction?|date=November 2013}}
| |
| | |
| ==Heuristic description==
| |
| The principle behind the condition is that, for example, if a wave is moving across a discrete spatial grid and we want to compute its [[amplitude]] at discrete time steps of equal length,<ref>This situation commonly occurs when a [[hyperbolic partial differential equation|hyperbolic partial differential operator]] has been [[approximation theory|approximated]] by a [[Finite difference|finite difference equation]], which is then solved by [[numerical linear algebra]] methods.</ref> then this length must be less than the time for the wave to travel to adjacent grid points. As a corollary, when the grid point separation is reduced, the upper limit for the time step also decreases. In essence, the numerical domain of dependence of any point in space and time (which data values in the initial conditions affect the numerical computed value at that point) must include the analytical domain of dependence (where in the initial conditions has an effect on the exact value of the solution at that point) in order to assure that the scheme can access the information required to form the solution.
| |
| | |
| ==The CFL condition==
| |
| In order to make a reasonably formally precise statement of the condition, it is necessary to define the following quantities
| |
| *''Spatial coordinate'': it is one of the [[coordinate]]s of the [[physical space]] in which the problem is posed.
| |
| *''Spatial dimension of the problem'': it is the number <math>n</math> of [[Dimension (mathematics)|spatial dimensions]] i.e. the number of spatial [[coordinate]]s of the [[physical space]] where the problem is posed. Typical values are <math>n=1</math>, <math>n=2</math> and <math>n=3</math>.
| |
| *''Time'': it is the [[coordinate]], acting as a [[parameter]], which describes the evolution of the system, distinct from the spatial coordinates.
| |
| The spatial coordinates and the time are supposed to be discrete-valued independent [[Variable (mathematics)|variables]], which are placed at regular distances called the ''interval length''<ref>This quantity is not necessarily the same for each spatial variable, as it is shown in the "[[Courant–Friedrichs–Lewy condition#The two and general ''n''–dimensional case|The two and general ''n''–dimensional case]]" section of this entry : it can be chosen in order to somewhat relax the condition.</ref> and the ''time step'', respectively. Using these names, the CFL condition relates the length of the time step to a function of the interval lengths of each spatial coordinate and of the maximum speed with which information can travel in the physical space.
| |
| | |
| Operatively, the CFL condition is commonly prescribed for those terms of the [[finite-difference approximation]] of general [[partial differential equation]]s which model the [[advection]] phenomenon.<ref>Precisely, this is the hyperbolic part of the PDE under analysis.</ref>
| |
| | |
| ===The one-dimensional case===
| |
| For one-dimensional case, the CFL has the following form:
| |
| | |
| : <math>C = \frac {u\,\Delta t} {\Delta x} \leq C_{max} </math>
| |
| | |
| where the [[dimensionless number]] is called the '''Courant number''',
| |
| | |
| *<math>u</math> is the [[Magnitude (mathematics)|magnitude]] of the velocity (whose [[Dimensional analysis#Definition|dimension]] is length/time)
| |
| *<math>\Delta t</math> is the time step (whose [[Dimensional analysis#Definition|dimension]] is time)
| |
| *<math>\Delta x</math> is the length interval (whose [[Dimensional analysis#Definition|dimension]] is length).
| |
| | |
| The value of <math>C_{max}</math> changes with the method used to solve the discretised equation, especially depending on whether the method is [[Explicit and implicit methods|explicit or implicit]]. If an explicit (time-marching) solver is used then typically <math>C_{max} = 1</math>. Implicit (matrix) solvers are usually less sensitive to numerical instability and so larger values of <math>C_{max}</math> may be tolerated.
| |
| | |
| ===The two and general ''n''-dimensional case===
| |
| In the [[Dimension (mathematics)|two-dimensional]] case, the CFL condition becomes
| |
| | |
| :<math>C = \frac {u_ x\,\Delta t}{\Delta x} + \frac {u_ y\,\Delta t}{\Delta y} \leq C_{max} </math>
| |
| | |
| with obvious meaning of the symbols involved. By analogy with the two-dimensional case, the general CFL condition for the <math>n</math>-dimensional case is the following one:
| |
| | |
| :<math>C = \Delta t \sum_{i=1}^n\frac{u_{x_i}}{\Delta x_i} \leq C_{max}. </math>
| |
| | |
| The interval length is not required to be the same for each spatial variable <math>\Delta x_i, i = 1, ..., n</math>. This "[[Degrees of freedom (physics and chemistry)|degree of freedom]]" can be used in order to somewhat optimize the value of the time step for a particular problem, by varying the values of the different interval in order to keep it not too small.
| |
| | |
| ==Implications of the CFL condition==
| |
| | |
| ===The CFL condition is only a necessary one===
| |
| The CFL condition is a necessary condition, but may not be sufficient for the convergence of the [[finite-difference approximation]] of a given [[numerical method|numerical problem]]. Thus, in order to establish the convergence of the finite-difference approximation, it is necessary to use other methods, which in turn could imply further limitations on the length of the time step and/or the lengths of the spatial intervals.
| |
| | |
| ===The CFL condition can be a very strong requirement===
| |
| The CFL condition can be a very limiting constraint on the time step <math>\Delta t</math>: for example, in the [[finite-difference approximation]] of certain fourth-order nonlinear partial differential equations, it can have the following form:{{fact|date=November 2013}}
| |
| | |
| : <math>\frac{\Delta t}{(\Delta x)^4} < C u</math>
| |
| | |
| meaning that a decrease in the length interval <math>\Delta x</math> requires a fourth order decrease in the time step <math>\Delta t</math> for the condition to be fulfilled. Therefore, when solving particularly stiff problems, efforts are often made to avoid the CFL condition, for example by using [[implicit method]]s.
| |
| | |
| == Notes ==
| |
| {{reflist|30em}}
| |
| | |
| == References ==
| |
| *{{Citation
| |
| | last = Courant
| |
| | first = R.
| |
| | author-link = Richard Courant
| |
| | last2 = Friedrichs
| |
| | first2 = K.
| |
| | author2-link = Kurt Otto Friedrichs
| |
| | last3 = Lewy
| |
| | first3 = H.
| |
| | author3-link = Hans Lewy
| |
| | title = Über die partiellen Differenzengleichungen der mathematischen Physik
| |
| | journal = [[Mathematische Annalen]]
| |
| | volume = 100
| |
| | issue = 1
| |
| | pages = 32–74
| |
| | year = 1928
| |
| | month =
| |
| | language = [[German language|German]]
| |
| | url = http://resolver.sub.uni-goettingen.de/purl?GDZPPN002272636
| |
| | doi = 10.1007/BF01448839
| |
| | jfm = 54.0486.01
| |
| | mr = 1512478
| |
| |bibcode = 1928MatAn.100...32C }}.
| |
| *{{Citation
| |
| | last = Courant
| |
| | first = R.
| |
| | author-link = Richard Courant
| |
| | last2 = Friedrichs
| |
| | first2 = K.
| |
| | author2-link = Kurt Otto Friedrichs
| |
| | last3 = Lewy
| |
| | first3 = H.
| |
| | author3-link = Hans Lewy
| |
| | title = On the partial difference equations of mathematical physics
| |
| | place = New York
| |
| | publisher = AEC Computing and Applied Mathematics Centre – [[Courant Institute of Mathematical Sciences]]
| |
| | series = AEC Research and Development Report
| |
| | volume = NYO-7689
| |
| | origyear = 1928
| |
| | year = 1956
| |
| | month= September
| |
| | edition =
| |
| | pages = V + 76
| |
| | language =
| |
| | url = http://www.archive.org/details/onpartialdiffere00cour
| |
| | archiveurl = http://www.archive.org/stream/onpartialdiffere00cour#page/n0/mode/2up
| |
| | archivedate = October 23, 2008
| |
| | doi =
| |
| | id =
| |
| | isbn =
| |
| }}.: translated from the [[German language|German]] by Phyllis Fox. This is an earlier version of the paper {{harvnb|Courant|Friedrichs|Lewy|1967}}, circulated as a research report.
| |
| *{{Citation
| |
| | last = Courant
| |
| | first = R.
| |
| | author-link = Richard Courant
| |
| | last2 = Friedrichs
| |
| | first2 = K.
| |
| | author2-link = Kurt Otto Friedrichs
| |
| | last3 = Lewy
| |
| | first3 = H.
| |
| | author3-link = Hans Lewy
| |
| | title = On the partial difference equations of mathematical physics
| |
| | journal = [http://researchweb.watson.ibm.com/journal/rdindex.html IBM Journal of Research and Development]
| |
| | volume = 11
| |
| | issue = 2
| |
| | pages = 215–234
| |
| | origyear = 1928
| |
| | year = 1967
| |
| | month = March
| |
| | url = http://domino.research.ibm.com/tchjr/journalindex.nsf/a3807c5b4823c53f85256561006324be/769774a3c9f3685f85256bfa00683f8a!OpenDocument
| |
| | mr = 0213764
| |
| | zbl = 0145.40402
| |
| }}. A freely downlodable copy can be found [http://www.stanford.edu/class/cme324/classics/courant-friedrichs-lewy.pdf here].
| |
| | |
| == External links ==
| |
| *{{springer
| |
| | title=Courant–Friedrichs–Lewy condition
| |
| | id= C/c026760
| |
| | last= Bakhvalov
| |
| | first= N. S.
| |
| | author-link= Nikolai Sergeevich Bakhvalov
| |
| }}
| |
| *{{MathWorld |title=Courant-Friedrichs-Lewy Condition |id=Courant-Friedrichs-LewyCondition}}
| |
| | |
| {{DEFAULTSORT:Courant-Friedrichs-Lewy condition}}
| |
| [[Category:Numerical differential equations]]
| |
| [[Category:Computational fluid dynamics]]
| |
The title of the author is Garland. I am a cashier and I'll be promoted soon. Bottle tops collecting is the only hobby his spouse doesn't approve of. Alabama is exactly where he and his wife live and he has every thing that he needs there.
My homepage gudhvorsjovt.dk