Bram van Leer

Bram van Leer is Arthur B. Modine Emeritus Professor of aerospace engineering at the University of Michigan, in Ann Arbor. He specializes in Computational fluid dynamics (CFD), fluid dynamics, and numerical analysis. His most influential work lies in CFD, a field he helped modernize from 1970 onwards. An appraisal of his early work has been given by C. Hirsch (1979)^[1]

Bram van Leer
Prof. van Leer at Aerospace Engineering building FXB at University of Michigan
Born	Netherlands East-Indies
Alma mater	Leiden University
Known for	MUSCL scheme
Scientific career
Fields	CFD Fluid dynamics Numerical Analysis
Institutions	University of Michigan
Doctoral advisor	Hendrik C. van de Hulst

An astrophysicist by education, van Leer made lasting contributions to CFD in his five-part article series “Towards the Ultimate Conservative Difference Scheme (1972-1979),” where he extended Godunov's finite-volume scheme to the second order (MUSCL). Also in the series, he developed non-oscillatory interpolation using limiters, an approximate Riemann solver, and discontinuous-Galerkin schemes for unsteady advection. Since joining the University of Michigan's Aerospace Engineering Department (1986), he has worked on convergence acceleration by local preconditioning and multigrid relaxation for Euler and Navier-Stokes problems, unsteady adaptive grids, space-environment modeling, atmospheric flow modeling, extended hydrodynamics for rarefied flows, and discontinuous-Galerkin methods. He retired in 2012, forced to give up research because of progressive blindness.

Throughout his career, van Leer's work has had interdisciplinary characteristic. Starting from astrophysics, he first made an impact on weapons research, followed by aeronautics, then space-weather modeling, atmospheric modeling, surface-water modeling and automotive engine modeling, to name the most important fields.

Personal interests

van Leer at the piano at Pierpont Commons, University of Michigan

Van Leer is also an accomplished musician, playing the piano at the age of 5 and composing at 7. His musical education includes two years at the Royal Conservatory for Music of The Hague, Netherlands. As a pianist he was featured in the Winter '96 issue of Michigan Engineering (Engineering and the Arts). As a carillonist, he has played the carillon of Burton Memorial Tower on many football Saturdays. He was the world's first and only CJ (carillon-jockey) based on the North Campus carillon, live streaming from the Lurie Tower.

In 1993 he gave a full-hour recital on the carillon of the City Hall in Leiden, the town of his alma mater. Van Leer enjoys improvising in the Dutch carillon-playing style; one of his improvisations is included on a 1998 CD featuring both University of Michigan's carillons. His carillon composition "Lament"^[2] was published in the UM School of Music's carillon music series on the occasion of the annual congress of The Guild of Carillonneurs in North America, Ann Arbor, June 2002. A flute composition by van Leer was performed twice in 1997 by University of Michigan Professor Leone Buyse.

Research work

Bram van Leer was a doctoral student in astrophysics at Leiden Observatory (1966–1970) when he got interested in Computational Fluid Dynamics (CFD) for the sake of solving cosmic flow problems. His first major result in CFD^[3] was the formulation of the upwind numerical flux function for a hyperbolic system of conservation laws: ${\displaystyle F^{\hbox{up}}={\frac {1}{2}}(F_{j}+F_{j+1})-{\frac {1}{2}}|A|_{j+{\frac {1}{2}}}(u_{j+1}-u_{j}).}$

Here the matrix ${\displaystyle |A|}$ appears for the first time in CFD, defined as the matrix that has the same eigenvectors as the flux Jacobian ${\displaystyle A}$, but the corresponding eigenvalues are the moduli of those of ${\displaystyle A}$. The subscript ${\displaystyle j+{\frac {1}{2}}}$ indicates a representative or average value on the interval ${\displaystyle (x_{j},x_{j+1})}$; it was no less than 10 years later before Philip L. Roe first presented his much used averaging formulas.

Next, van Leer succeeded in circumventing Godunov's barrier theorem (i.e., a monotonicity preserving advection scheme cannot be better than first-order accurate) by limiting the second-order term in the Lax-Wendroff scheme as a function of the non-smoothness of the numerical solution itself. This is a non-linear technique even for a linear equation. Having discovered this basic principle, he planned a series of three articles titled "Towards the ultimate conservative difference scheme", which advanced from scalar non-conservative but non-oscillatory (part I^[4]) via scalar conservative non-oscillatory (part II^[5]) to conservative non-oscillatory Euler (part III^[6]). The finite-difference schemes for the Euler equations turned out to be unattractive because of their many terms; a switch to the finite-volume formulation completely cleared this up and led to Part IV^[7] (finite-volume scalar) and, finally, Part V^[8] (finite-volume Lagrange and Euler) titled, "A second-order sequel to Godunov's method", which is his most cited article (approaching 6000 citations on November 1, 2017). This paper^[9] was reprinted in 1997 in the 30th anniversary issue of Journal Computational Physics with an introduction by Charles Hirsch.

The series contains several original techniques that have found their way into the CFD community. In Part II two limiters are presented, later called by van Leer "double minmod" (after Osher's "minmod" limiter) and its smoothed version "harmonic"; the latter limiter is sometimes referred to in the literature as "van Leer's limiter." Part IV, "A new approach to numerical convection," describes a group of 6 second- and third-order schemes that includes two discontinuous-Galerkin schemes with exact time integration. Van Leer was not the only one to break Godunov's barrier using nonlinear limiting; similar techniques were developed independently around the same time by Boris^[10] and by V.P. Kolgan, a Russian researcher unknown in the West. In 2011, van Leer devoted an article to Kolgan's contributions ^[11] and had Kolgan's 1972 TsAGI report reprinted in translation in the Journal of Computational Physics.

After the publication of the series (1972–1979), van Leer spent two years at ICASE (NASA LaRC), where he was engaged by NASA engineers interested in his numerical expertise. This led to van Leer's differentiable flux-vector splitting^[12] and the development of the block-structured codes CFL2D and CFL3D ^[13][14] which still are heavily used. Other contributions from these years are the review of upwind methods with Harten and Lax,^[15] the AMS workshop paper ^[16] detailing the differences and resemblances between upwind fluxes and Jameson's flux formula, and the conference paper with Mulder^[17] on upwind relaxation methods; the latter includes the concept of Switched Evolution-Relaxation (SER) for automatically choosing the time step in an implicit marching scheme.

After permanently moving to the U.S., van Leer's first influential paper was “A comparison of numerical flux formulas for the Euler and Navier-Stokes equations,^[18]” which analyzes numerical flux functions and their suitability for resolving boundary layers in Navier-Stokes calculations. In 1988, he embarked on a very large project, to achieve steady Euler solutions in O(N) operations by a purely explicit methodology. There were three crucial components to this strategy: 1. Optimally smoothing multistage single-grid schemes for advections 2. Local preconditioning of the Euler equations 3. Semi-coarsened multigrid relaxation

The first subject was developed in collaboration with his doctoral student, C.H. Tai.^[19] The second subject was needed to make the Euler equations look as much scalar as possible. The preconditioning was developed with doctoral student W. -T. Lee.^[20] In order to apply this to the discrete scheme, crucial modification had to be made to the original discretization. It turned out that applying the preconditioning to an Euler discretization required a reformulation of the numerical flux function for the sake of preserving accuracy at low Mach numbers. Combining the optimal single grid schemes with the preconditioned Euler discretization was achieved by doctoral student J. F. Lynn.^[21] The same strategy for the Navier-Stokes discretization was pursued by D. Lee.^[22]

The third component, semi-coarsened multigrid relaxation, was developed by van Leer's former student W. A. Mulder (Mulder 1989). This technique is needed to damp certain combinations of high- and low-frequency modes when the grid is aligned with the flow.

In 1994, van Leer teamed up with Darmofal, a post-doctoral fellow at the University of Michigan at the time, to finish the project. The goal of the project was first reached by Darmofal and Siu (Darmofal, and Siu 1999), and later was done more efficiently by van Leer and Nishikawa.^[23]

While the multi-grid project was going on, van Leer worked on two more subjects: multi-dimensional Riemann solvers,^[24][25] and time-dependent adaptive Cartesian grid.^[26] After conclusion of the multigrid project, van Leer continued to work on local preconditioning of the Navier-Stokes equations together with C. Depcik.^[27] A 1-D preconditioning was derived that is optimal for all Mach and Reynolds numbers. There is, however, a narrow domain in the (M, Re)-plane where the preconditioned equations admit a growing mode. In practice, such a mode, if it were to arise, should be damped by the time-marching scheme, e.g., an implicit scheme.

In the last decade of his career, van Leer occupied himself with extended hydrodynamics and discontinuous-Galerkin method. The goal of the first project was to describe rarefied flow up to and including intermediate Knudsen numbers (Kn~1) by a hyperbolic-relaxation system. This works well for subsonic flows and weak shock waves, but stronger shock waves acquire the wrong internal structure.^[28][29] For low speed flow, van Leer's doctoral student H. L. Khieu tested the accuracy of the hyperbolic-relaxation formulation was tested by comparing simulations with the numerical results of a full-kinetic solver based on Boltzmann equation.^[30] Recent research has demonstrated that a system of second order PDEs derived from the hyperbolic relaxation systems can be entirely successful; for details see Myong Over-reach 2014.

The second project was the development of discontinuous Galerkin (DG) methods for diffusion operators. It started with the discovery of the recovery method for representing the 1D diffusion operator.

Starting in 2004, the recovery-based DG (RDG)^[31] has been shown an accuracy of the order 3p+1 or 3p+2 for even or odd polynomial-space degree p. This result holds for Cartesian grids in 1-, 2-, or 3-dimensions, for linear and non-linear diffusion equations that may or may not contain shear terms.^{[32][33][34][35]} On unstructured grids, the RDG was predicted to achieve the order of accuracy of 2p+2; this research unfortunately was not completed before van Leer retired.

Van Leer's early work, especially the series “Towards the ultimate conservative difference scheme” motivated by the needs of astrophysical modeling, has influenced a wide range of other disciplines; such interdisciplinary knowledge transfer is not self-evident. Exporting scientific ideas from one discipline to another is best done through personal contact. For instance, Van Leer's presence at NASA Langley Research Center from 1979 to 1981 and then in the summers of '81 to '83 led to the development of NASA's CFL2D code and ultimately CFL3D. The transition of ideas between disciplines through publications is a much slower process, as most researchers do not read journals based in fields other than their own expertise.

A case in point is the way Van Leer's ideas, contained in the series "Towards the Ultimate Conservative Difference Scheme," made their way into Atmospheric General Circulation Modeling (GCM).   Although published in the Journal of Computational Physics, which in its early years published key atmospheric research articles, it seems to have gone unnoticed by the GCM community. Thus, the second-order DG advection Scheme III from Towards IV was rediscovered by G.L. Russel and J.A. Lerner in 1981,^[36] while the third-order DG advection scheme VI was rediscovered by M.J. Prather in 1986.^[37] But Monotonicity-preserving limiters were not included in these works.

It was not until the atmospheric scientist R.B. Rood^[38] from NASA's Goddard Space Flight Center published a comprehensive review of publications on advection schemes in 1987 that Van Leer's articles were unlocked to the GCM community. The first application of a monotonicity preserving advection scheme to atmospheric transport was due to D.J. Allen, A.R. Douglass, R.B. Rood, and P.D. Guthrie in 1991.^[39] Subsequently, in 1997, Shian-Jiann (S. J.) Lin and Rood,^[40] both at NASA Goddard, published a predictor-corrector version of the second-order Godunov method for use in atmospheric dynamics and implemented it in a shallow-water model. Finally, Lin, now at the Princeton Geophysical Fluid Dynamics Laboratory (GFDL),  put these ideas into a full non-hydrostatic atmospheric description with Eulerian horizontal and Lagrangian vertical discretizations,^[41] named FV3 (Finite-Volume Cubed-Sphere Dynamical Core). This dynamical core has found its way into the main national weather- and climate-prediction codes. Specifically, FV3 has been chosen as the dynamical core for the Next Generation Global Prediction System project (NGGPS), the latest NCAR Community Climate System Model CESM4, the NOAA-GFDL CM4.0 model, and NASA's GEOS5 model.

In addition to the above narrative, we list some subjects and papers related to van Leer's interdisciplinary research efforts:

• Cosmic gas dynamics - van Albada, van Leer, and Roberts^[42]
• Space Environment Modeling - Clauer et al.^[43]
• Atmospheric Modeling - Ullrich, Jablonowski, van Leer^[44]
• Automotive Engine modeling - Depcik, van Leer, Assanis^[45]

Three significant review papers by van Leer are:

• The Development of Numerical Fluid Mechanics and Aerodynamics since the 1960s: US and Canada^[46]
• Introduction to Computational Fluid Dynamics^[47]

• B. van Leer, "Upwind and high-resolution methods for compressible flow: from donor cell to residual-distribution schemes," Communications in Computational Physics, Vol.1, pp. 192–205, 2006.

In 2010, van Leer received AIAA Fluid Dynamics award for his lifetime achievement. On this occasion, van Leer presented a plenary lecture titled, “History of CFD Part II,” which covers the period from 1970 to 1995. Below is the poster van Leer and his doctoral student Lo designed for this occasion.

The tableau is an allegory on the genesis of modern CFD in the period 1970–1985, specifically: the development of high-resolution methods (non-oscillatory methods of greater-than-first-order accuracy), and their ultimate adoption by the aerospace community. We see an exotic landscape dominated by a great pyramid. Three men are trying to reach its top by different means: Jay Boris (hammer en chisel), Bram van Leer (rope) and Vladimir Kolgan (ladder); the latter's untimely death in 1978 made him an unknown even in Russia. Note that the pyramid is also a giant capital Greek delta, symbol of the finite difference that pervades the equations of CFD. Keeper of the gate is John von Neumann, the father of CFD. From the prehistory of CFD are the busts, on the far left, of Richard Courant, Kurt Friedrichs and Hans Lewy, whose initials we know so well. On the far right we find, on beach chairs, Peter Lax and Sergei Godunov, giants of numerical analysis from the generation following Von Neumann. They relax while a younger generation struggles to raise the state of the art in CFD. In the foreground, going from left to right, we first encounter Bob MacCormack who, in the late 1960s, adapted the second-order Lax-Wendroff method to aeronautical uses, but was not able to tame its numerical oscillations. Next, Phil Roe, perhaps contemplating his approximate Riemann solver or Superbee limiter. Past the gate, Stan Osher and Ami Harten (died 1994), likely discussing TVD or ENO techniques. The latter three, together with van Leer, were most influential in getting high-resolution methods accepted in aerospace engineering; much of the technology transition took place at ICASE, NASA LaRC. Last but not least, in the airplane, Antony Jameson, who went his own way, developing a suite of highly efficient CFD codes for steady aeronautics.

Education and training

Source: https://aero.engin.umich.edu/people/bram-van-leer/

• 1963 – Candidate Astronomy, Leiden State University
• 1966 – Doctorandus Astrophysics, Leiden State University
• 1970 – Ph.D. Astrophysics, Leiden State University, 1970
• 1970–72 – Miller Fellow Astrophysics, University of California Berkeley

Professional experience

Source: https://aero.engin.umich.edu/people/bram-van-leer/

• 2012–Present – Arthur B. Modine Professor Emeritus, University of Michigan
• 2007–2012 – Arthur B. Modine Professor of Engineering, University of Michigan
• 1986–2007 – Professor of Aerospace Engineering, University of Michigan
• 1982–86 – Research Leader, Delft University of Technology
• 1979–81 – Visiting Scientist, NASA Langley (ICASE)
• 1978–82 – Research Leader, Leiden Observatory
• 1970–72 – Miller Fellow Astrophysics, University of California Berkeley
• 1966–77 – Research Associate, Leiden Observatory

Honors and awards

Source: https://aero.engin.umich.edu/people/bram-van-leer/

• 2010 – AIAA Fluid dynamics Award
• 2007 – Arthur B. Modine Professor of Aerospace Engineering
• 2005–2009 – Senior Fellow of the University of Michigan
• 2005 – Dept. of Aerospace Engineering Service Award, Univ. of Michigan
• 2003 – Computational Mechanics Award, Japan Society of Mechanical Engineers
• 1996 – College of Engineering Research Excellence Award, Univ. of Michigan
• 1995 – AIAA Fellow
• 1992 – Public Service Group Achievement Award, NASA Langley
• 1992 – Dept. of Aerospace Engineering Research Award, Univ. of Michigan
• 1990 – Group Achievement Award, NASA Langley
• 1990 – Honorary Doctorate, Free University Brussels
• 1978 – C. J. Kok Prize, Leiden University

Recent publications

The following articles all relate to the discontinuous Galerkin method for diffusion equations:

• B. van Leer and S. Nomura, "Discontinuous Galerkin for diffusion," AIAA Paper 2005–5108, 2005.
• B. van Leer, M. Lo and M. van Raalte, "A Discontinuous Galerkin Method for diffusion based on recovery," AIAA paper 2007–4083, 2007.
• M. van Raalte and B. van Leer, "Bilinear forms for the recovery-based discontinuous Galerkin method for diffusion," Communications in Computational Physics Vol. 5, pp. 683–693, 2009.
• B. van Leer and M. Lo, "Unification of Discontinuous Galerkin methods for advection and diffusion," AIAA paper 2009–0400, 2009.
• M. Lo and B. van Leer, "Analysis and implementation of the Recovery-based Discontinuous Galerkin method for diffusion," AIAA Paper 2009–3786, 2009.
• Lo, M.; van Leer, B., "Recovery-Based Discontinuous Galerkin for Navier Stokes Viscous Terms", AIAA Paper 2011–3406, 2011.

See also

• Finite volume method
• Flux limiter
• Discontinuous Galerkin method
• Advection–diffusion equation
• Riemann solver
• MUSCL scheme
• Upwind differencing scheme
• Godunov's theorem
• Sergei K. Godunov