A Modern Approach to Simulating Flight

31
Milwaukee April 2021 1/31 A Modern Approach to Simulating Flight L. Ridgway Scott University of Chicago, Emeritus Computational Modeling Initiative, LLC Icarus Simulation AB with the collaboration of Ingeborg Gjerde, Simula

Transcript of A Modern Approach to Simulating Flight

Milwaukee April 2021 1/31

A Modern Approachto Simulating Flight

L. Ridgway ScottUniversity of Chicago, EmeritusComputational Modeling Initiative, LLCIcarus Simulation AB

with the collaboration of Ingeborg Gjerde, Simula

Why this matters

Milwaukee April 2021 2/31

The 737 MAX disaster and subsequent revelationsindicated insufficient use of computational simulation ofaerodynamics in airplane design today.

New startups proposing novel electric airplane designs.

Provides opportunity to consider new approaches.

The New Theory of Flight makes

critical behavior computable.Photo from Joby Aviation website

Short history of flight

Milwaukee April 2021 3/31

Leonardo da Vinci c. 1505 Codex on the Flight of Birds

D’Alembert 1752 potential flow paradox

Navier 1822 and Stokes 1842 Navier-Stokes PDEs

Reynolds 1883 turbulence experiments

Wright Brothers 1903 first powered flight

Serrin 1959 Reynolds-Orr stability theory

Chandrasekhar 1981 linear stability theory

Claes Johnson et al. 2016 New Theory of Flight

Potential flow

Milwaukee April 2021 4/31

Flow velocity u given by u = ∇φ where

∆φ = 0, n · ∇φ = 0 on boundary.

potential flow β = −2 [ν = 1 in both] Navier slip β = 2

Boundary conditions

Milwaukee April 2021 5/31

Navier proposed boundary conditions given by

shear stress is proporional to tangential velocity

We denote the (friction) constant of proportionality by β.

Let ν denote the kinematic viscosity.

Then potential flow around a cylinder corresponds to asolution of Navier-Stokes with

β = −2ν (negative friction)

meaning: an active wall that pushes on the fluid.

Stokes later decreed tangenial flow = zero, i.e., β = +∞.

Cylinder potential flow: β = −2ν

Milwaukee April 2021 6/31

Potential flow (left) velocity u given by u = ∇φ where

φ(x, y) = x+x

x2 + y2.

potential flow β = −2 [ν = 1 in both] Navier slip β = 2

D’Alembert’s paradox

Milwaukee April 2021 7/31

Drag is the force of the fluid on an object (e.g., cylinder)when it moves in the fluid.

D’Alembert realized that drag is zero for potential flow.

This follows in part due to the symmetry of the flowaround a cylinder: φ(−x, y) = −φ(x, y).

But common experience indicated this must be wrong.

In flow for β = 2ν the fore/aft symmetry is gone, and

flow velocity decreases at the surface as expected.

Cylinder potential flow versus Navier-Stokes

Milwaukee April 2021 8/31

Potential flow, left. Navier-Stokes, right

potential flow β = −2 [ν = 1 in both] Navier slip β = 2

New Theory of Flight

Milwaukee April 2021 9/31

In the paper New theory of flight published in theJournal of Mathematical Fluid Mechanics in 2016,Johan Hoffman, Johan Jansson, and Claes Johnsonproposed that flight could be explained as

potential flow augmented with rotational vortices

generated at the trailing edge of a wing, which are

instabilities caused by small perturbations in the flow

We modify and clarify this slightly to suggest

• Navier friction boundary conditions with β > 0

• Reynolds-Orr kinetic instabilities.

New Theory of Flight: cylinder flow

Milwaukee April 2021 10/31Vortices generated by perturbations in incoming flow.

New Theory significant features

Milwaukee April 2021 11/31

Main feature of new theory is that

instabilities occur at the trailing edge,

not the leading edge.

Might expect instabilities to occur at the leading edge.

Can be explained as instability caused by opposing flow.

Reynolds-Orr kinetic energy instability condition

gives precise mathematical condition and prediction.

Conventional linear stability analysis can fail completely.

Inequality versus equality

Milwaukee April 2021 12/31

Both linear stability theory and Reynolds-Orr kineticenergy stability theory involve solving eigenvalueproblems, but ....

Linear stability theory predicts instabilityat a given Reynolds number Ro.

Reynolds-Orr kinetic energy (ROKE) instability theorypredicts instability above a given Reynolds number Ro.

Moreover, ROKE predicts that the space ofunstable modes will grow with Reynolds number R.

Inequalities more difficult to understand than equalities?

Reynolds-Orr kinetic energy instability theory

Milwaukee April 2021 13/31

The Navier-Stokes equations are

ut − ν∆u+ u · ∇u+∇p = 0, ∇ · u = 0,

with u(t = 0) = u0, together with boundary conditions.

Suppose there is another solution w that differs by v att = 0: u(t = 0)−w(t = 0) = v.

Then the kinetic energy (L2 norm) of u−w growsexponentially in time if and only if

−1

2

Ω

vt(

∇u0+∇ut0)v dx > ν

Ω

|∇v|2 dx+β

Γ

|PTv|2 ds

where PTv is the tangential part of v.

Reynolds-Orr eigenproblem

Milwaukee April 2021 14/31

To determine if there is a v such that

−1

2

Ω

vt(

∇u0+∇ut0)v dx > ν

Ω

|∇v|2 dx+β

Γ

|PTv|2 ds

consider the eigenvalue problem

λ = min1

2

Ωvt(

∇u0 +∇ut0)v dx

ν∫

Ω|∇v|2 dx+ β

Γ|PTv|2 ds

Then instability can occur if λ < −1

The corresponding eigenvector v gives an unstablemode.

Reynolds-Orr eigenproblem

Milwaukee April 2021 15/31

Since ∇ · u = 0, the trace of ∇u0 +∇ut0 is zero, so it is

natural to expect that there are functions v such that∫

Ω

vt(

∇u0 +∇ut0)v dx < 0,

as well as the other sign.

For n > 1 eigenvalues less than −1, there is a space ofdimension n of unstable modes, spanned by thecorresponding eigenvectors.

Test case: Couette flow. Linear analysis says

no instabilities.

Couette flow

Milwaukee April 2021 16/31

Couette flow [8] of interest for more than a century.

It is the simplest possible flow problem: u = Uh(y, 0).

Valid for all flow speeds U (i.e., all Reynolds numbers).

Linearly stable for all flow speeds!

Most unstable mode for Couette flow

Milwaukee April 2021 17/31

< −−−−

−−−− >

Horizontal flow component of most unstable modeperturbation for Couette flow. Arrows indicate base flow.

Perturbation evolution

Turbulent burst for Couette flow

Milwaukee April 2021 18/31

Re 180 200 600 1600 3K 10K 30K 100KTmax 0.44 0.52 0.89 1.01 1.06 1.13 1.20 1.36Amax 1.02 1.04 1.34 1.69 1.96 2.54 3.37 4.55TP 0.71 0.89 1.77 2.23 2.98 4.21 6.73 9.26

Table 1: Tmax is time of maximal perturbation increase Amax. TP is thepersistence time after which the perturbation stays smaller than the orignialperturbation in mean-squared gradient norm.

Perturbation evolution

Why was this missed?

Milwaukee April 2021 19/31

Physical and computational experiments for Couetteflow indicate instability for Reynolds numberscomparable to Reynolds–Orr kinetic energy prediction.

Why was this missed for so long?

Possible answers/contributors:

• inertia of linearized stability analysis• old ways of thinking about partial differential

equations (PDEs)• Serrin focused on stability, not instability

Kinetic energy approach is natural in the variationalapproach to PDEs.

Short history of PDEs

Milwaukee April 2021 20/31

Newton (1643–1727) and Leibnitz (1646–1716)the beginning (negative numbers considered absurd)

Euler (1707–1783)inviscid flow equations (complex numbers established)

Dirichlet (1805–1859) (Navier and Stokes)variational principle

Banach (1892–1945) and Hilbert (1862–1943)functional analysis, duality

J.-L. Lions (1928–2001) (Serrin)variational approach

Chandrasekhar — used Euler’s approach to PDEs

Failure of linear instability theory

Milwaukee April 2021 21/31

Linear stability analysis examines a linearization ofNavier–Stokes. This is necessarily approximate.

A linearized eigenproblem is generated, but it is notsymmetric. So there are not necessarily solutions(defective).

When a solution of the linearized eigenproblem is found,it is assumed that there is a nearby solution ofNavier–Stokes.

But this assumes a stability property.

You cannot use stability to prove instability.

Why this matters

Milwaukee April 2021 22/31

Computational simulation of aerodynamics is not in thecritical path of airplane design today.

Stall prediction beyond capability of most codes.

737 Max was considered likely to stall, leading to MCAS.

Rather than simulating the MAX to determine

likelihood of stall, MCAS was enhanced.

The rest of the story is well known.

New Theory of Flight =⇒ critical behavior computable.

MCAS = Maneuvering Characteristics Augmentation System

New Theory of Flight: cylinder

Milwaukee April 2021 23/31Can we explain voritices via ROKE instabilities?

Flow around a cylinder: most unstable mode

Milwaukee April 2021 24/31

Stability of flow around a cylinder studied in [1].

3D instability around a cylinder: next most unstable mode

Milwaukee April 2021 25/31

Second 2D instability

Milwaukee April 2021 26/31

Many more instabilities as flow speed increases.

Cylinder drag: D’Alembert explained

Milwaukee April 2021 27/31

ν = 1.0 ν = 0.1 ν = 0.01

β = 0 4.90 0.91 0.14β = 1 5.52 1.49 0.99β = 10 6.79 1.72 1.01β = 100 7.27 1.73 1.01

Table 2: Drag coefficients CD for the cylinder.

The drag force is proportional to

CD

U 2

ρ

where U is the speed and ρ is the fluid density.

Agrees well with experimental data [2, 3].

New approach to turbulence

Milwaukee April 2021 28/31

Turbulence often modeled via stochastic PDEs [5, 6, 7].

This approach has not been a complete success.

Turbulence may be multifaceted, like cancer.

One explanation may not suffice.

One type: laminar flow perturbed by instabilities

• turbulent bursts (instabilities that decay)

• Couette flow exhibits such instabilities

• persistent instabilities?

Conclusions and Implications

Milwaukee April 2021 29/31

The New Theory of Flight holds promise to

change qualitatively fluid flow simulation.

— Use computational simulation to optimize designsand assess deficiencies.

— Improve performance of vehicles, propulsionsystems, energy generation, medical treatment.

— New way to think about turbulence.

— More realistic flight simulators for pilot training.

— Computational certification of aircraft.

Acknowledgments

Milwaukee April 2021 30/31

We thank

• Patrick Farrell, Oxford University• Ingeborg Gjerde, Simula, Oslo• Matt Knepley, University of Buffalo• Mats Larson, Umea University• Leo Rebholz, Clemson University• Nick Trefethen, Cambridge University

for valuable suggestions.

Our understanding of this subject was enhancedsubstantially by the book [4] by Johan Hoffman andClaes Johnson.

References

Milwaukee April 2021 31/31

[1] Ingeborg Gjerde and L. Ridgway Scott. Kinetic-energy instability of flows with slipboundary conditions. TBD, ?:??, 2021.

[2] Sydney Goldstein. Modern developments in fluid dynamics: an account of theory andexperiment relating to boundary layers, turbulent motion and wakes, volume 2.Clarendon Press, 1938.

[3] C. F. Heddleson, D. L. Brown, and R. T. Cliffe. Summary of drag coefficients of variousshaped cylinders. Technical report, General Electric Co., Cincinnati OH, 1957.

[4] Johan Hoffman and Claes Johnson. Computational Turbulent Incompressible Flow.Springer Science & Business Media, 2007.

[5] R. E. Meyers, C. Dopazo, E. E. O’Brien, and L. R. Scott. Application of probabilitydensities and intermittency to random processes in environmental chemistry andhydrodynamics. In Advances in Environmental Science and Engineering, J. R. Pfafflinand E. N. Ziegler, eds., pages 128–148. New York: Gordon and Breach, 1979.

[6] R. E. Meyers, E. E. O’Brien, and L. R. Scott. Derivation of the probability densityfunction for a stochastic nonlinear advection equation. Technical Report BNL 50732,Brookhaven National Laboratory, 1977.

[7] R. E. Meyers, E. E. O’Brien, and L. R. Scott. Random advection of chemically reactingspecies. J. Fluid Mech., 85:233–240, 1978.

[8] L. Ridgway Scott. Kinetic energy flow instability with application to Couette flow.Research Report UC/CS TR-2020-07, Dept. Comp. Sci., Univ. Chicago, 2020.