multiscale methods of data assimilation achi brandt the weizmann institute of science ucla...

42
Multiscale Methods of Data Assimilation Achi Brandt The Weizmann Institute of Science UCLA [email protected] INRODUCTION EXAMPLE FOR INVERSE PROBLEMS -----------

Post on 21-Dec-2015

224 views

Category:

Documents


2 download

TRANSCRIPT

Multiscale Methods of Data Assimilation

Achi BrandtThe Weizmann Institute of ScienceUCLA

[email protected]

INRODUCTION

EXAMPLE FOR INVERSE PROBLEMS-----------

Data Assimilation4D

PDEs: , ,u

x t Lu x tt

Observation Projection y Pu y

Nonlinear Multigrid PDE solver

• Nonlinear implicit time steps

• Adaptable discretization

• Space + time parallel processing

One-Shot Solver + Assimilator

• Not just initial-condition control

• Multiscale observational data

• Multiscale covariance matrices

• Improved regularization

• Continual assimilation

Nonlinear Multigrid PDE solver• Nonlinear implicit time steps

Nonlinear Multigrid PDE solver

Cost per time step comparable to explicit step ??

Avoid forward extrapolation of nonlinear terms

Unconditional stability of long Rossby waves

Irad Yavneh and Jim Mcwilliams, 1994, 1995

Shallow water balance equations

Ray Bates, Yong Li, Steve McCormick and Achi Brandt, 1995, 2000, 2000

Global shallow water (&3D), semi-Lagrangian advection of potential vorticity

Solving PDE: Influence of pointwiserelaxation on the error

Error of initial guess Error after 5 relaxation sweeps

Error after 10 relaxations Error after 15 relaxations

Fast error smoothingslow solution

LU = F

h

2h

4h

LhUh = Fh

L4hU4h = F4h

h2

h4

Fine-to-coarse defect correction

L2hU2h = F2h

4

3

2

1

correctionTruncation error estimator

interpolation of changes

interpolation (order l+p)to a new grid

interpolation (order m)of corrections

relaxation sweeps

algebraic error< truncation error

residual transfer

ν νenough sweepsor direct solver*

**

1ν2ν

*

Full MultiGrid (FMG) algorithm

..

.

*

Vcyclemultigrid

h0

h0/2

h0/4

2h

h

F cycle

h0

h0/2

h0/4

2h

h

**

1ν2ν

*

...

*

interpolation (order l+p)to a new grid

interpolation (order m)of corrections

relaxation sweeps

algebraic error< truncation error

residual transfer

ν νenough sweepsor direct solver*

residual transferno relaxation

Multigrid solversCost: 25-100 operations per unknown

• Linear scalar elliptic equation (~1971)

Multigrid solversCost: 25-100 operations per unknown

• Linear scalar elliptic equation (~1971)*• Nonlinear• Grid adaptation• General boundaries, BCs*• Discontinuous coefficients• Disordered: coefficients, grid (FE) AMG• Several coupled PDEs* (1980)

• Non-elliptic: high-Reynolds flow• Highly indefinite: waves• Many eigenfunctions (N)• Near zero modes• Gauge topology: Dirac eq.• Inverse problems• Optimal design• Integral equations• Statistical mechanics

Massive parallel processing*Rigorous quantitative analysis

(1986)

FAS (1975)

Within one solver

)log(

2

NNO

fuku

(1977,1982)

Multigrid solversCost: 25-100 operations per unknown

• Linear scalar elliptic equation (~1971)*• Nonlinear• Grid adaptation• General boundaries, BCs*• Discontinuous coefficients• Disordered: coefficients, grid (FE) AMG• Several coupled PDEs* (1980)

• Non-elliptic: high-Reynolds flow• Highly indefinite: waves• Many eigenfunctions (N)• Near zero modes• Gauge topology: Dirac eq.• Inverse problems• Optimal design• Integral equations• Statistical mechanics

Massive parallel processing*Rigorous quantitative analysis

(1986)

FAS (1975)

Within one solver

)log(

2

NNO

fuku

(1977,1982)

Multigrid solversCost: 25-100 operations per unknown

• Linear scalar elliptic equation (~1971)*• Nonlinear• Grid adaptation• General boundaries, BCs*• Discontinuous coefficients• Disordered: coefficients, grid (FE) AMG• Several coupled PDEs* (1980)

• Non-elliptic: high-Reynolds flow• Highly indefinite: waves• Many eigenfunctions (N)• Near zero modes• Gauge topology: Dirac eq.• Inverse problems• Optimal design• Integral equations• Statistical mechanics

Massive parallel processing*Rigorous quantitative analysis

(1986)

FAS (1975)

Within one solver

)log(

2

NNO

fuku

(1977,1982)

Multigrid solversCost: 25-100 operations per unknown

• Linear scalar elliptic equation (~1971)*• Nonlinear• Grid adaptation• General boundaries, BCs*• Discontinuous coefficients• Disordered: coefficients, grid (FE) AMG• Several coupled PDEs* (1980)

• Non-elliptic: high-Reynolds flow• Highly indefinite: waves• Many eigenfunctions (N)• Near zero modes• Gauge topology: Dirac eq.• Inverse problems• Optimal design• Integral equations• Statistical mechanics

Massive parallel processing*Rigorous quantitative analysis

(1986)

FAS (1975)

Within one solver

)log(

2

NNO

fuku

(1977,1982)

Σr = 1

m

Ar(x) φr(x)

Generally: LU=F

Non-local part of U has the form

L φr ≈ 0

Ar(x) smooth

{φr } found by local processing

Ar represented on a coarser grid

m coarser grids

Multigrid solversCost: 25-100 operations per unknown

• Linear scalar elliptic equation (~1971)*• Nonlinear• Grid adaptation• General boundaries, BCs*• Discontinuous coefficients• Disordered: coefficients, grid (FE) AMG• Several coupled PDEs* (1980)

• Non-elliptic: high-Reynolds flow• Highly indefinite: waves• Many eigenfunctions (N)• Near zero modes• Gauge topology: Dirac eq.• Inverse problems• Optimal design• Integral equations Full matrix• Statistical mechanics

Massive parallel processing*Rigorous quantitative analysis

(1986)

FAS (1975)

Within one solver

)log(

2

NNO

fuku

(1977,1982)

Multigrid solversCost: 25-100 operations per unknown

• Linear scalar elliptic equation (~1971)*• Nonlinear• Grid adaptation• General boundaries, BCs*• Discontinuous coefficients• Disordered: coefficients, grid (FE) AMG• Several coupled PDEs*

(1980)

• Non-elliptic: high-Reynolds flow• Highly indefinite: waves• Many eigenfunctions (N)• Near zero modes• Gauge topology: Dirac eq.• Inverse problems• Optimal design• Integral equations• Statistical mechanics

Massive parallel processing*Rigorous quantitative analysis

(1986)

FAS (1975)

Within one solver

)log(

2

NNO

fuku

(1977,1982)

• Same fast solver

Local patches of finer grids

• Each patch may use different coordinate system and anisotropic grid

• Each patch may use different coordinate system and anisotropic grid and different

physics; e.g. Atomistic

and differet physics

• Possibly once for all corrections

• Each level correct the equations of the next coarser level ( ) correction

• Nonlinear implicit time steps

Nonlinear Multigrid PDE solver

• Parallel processing across space + time

t

x

• Nonlinear implicit time steps

Nonlinear Multigrid PDE solver

• Adaptable discretization

Local refinements in space + time

Uniform discretization stencils

enabling efficient high order

Coarser levels extending farther

• Parallel processing across space + time

Natural self adaptation criteria

based on local size of

• Not just initial-condition control

4D Multigrid Solver + Data Assimilation

• Correlations extending far in time

Full-Control Data Assimilation4D

PDEs: , ,u

x t Lu x tt

Observation projection y Pu y

Residuals: , , ,u

x t x t Lu x tt

Derivations: Observation d y Pu y y

Discretized: vectors ,dControl to minimize

T TE S d Wd

positive definite covariance matrices ,S W

: discretization errors + modeling error estimates

1S

: measurement + representativeness errors 1W

• Not just initial-condition control

4D Full-Control Data Assimilation

• Correlations extending far in time

• COST = ??

Multiscale organization of observational data

Oct trees

Level-by-level coarsening (FAS interpolation)

Replacing dense observation by weighted averages (reduced errors)

Multiscale representation of covariance

1, ', ' , , ', ' ', 'W x t x t w x t G x t x t w x t

, ,

, ', 'G x t x t , is asymptotically smooth

kG G

kG is local on scale 02kkh h

Fast multigrid inversion of 1W

One-Shot Multigrid solution + assimilation

Multigrid solver for the PDEs

incorporating adjustments for the control

F cycle

h0

h0/2

h0/4

2h

h

**

1ν2ν

*

...

*

interpolation (order l+p)to a new grid

interpolation (order m)of corrections

relaxation sweeps

algebraic error< truncation error

residual transfer

ν νenough sweepsor direct solver*

residual transferno relaxation

Relaxation of the Control

k-th step: , , ,k kx t x t x t

0 0 0 0 0 0 0

0 0 1 1 0 0 0

0 0 1 1 0 0 0

0 0 0 0 0 0 0

0 0 0 0 0 0 0

k x

-

-

Relaxation of the Control

k-th step: , , ,k kx t x t x t

0 0 0 0 0 0 0

0 0 0 0 0 0 0

0 0 1 1 0 0 0

0 0 1 1 0 0 0

0 0 0 0 0 0 0

k x

-

-

, , ,k ku x t u x t x t

k approximately local, calculated locally

k calculated to best reduce E

Complemented by changes at coarser levels

Not done at the finest PDE levels

One-Shot 4D solution + assimilation

• Large-scale assimilation - at coarse levels

• Local deviations processed locally • Multiscale windows advanced in time

Multigrid solver for the PDEs

incorporating adjustments for the control

t

x

One-Shot 4D solution + assimilation

• Large-scale assimilation - at coarse levels

• Local deviations processed locally • Multiscale windows advanced in time • Coarse levels extending far in time • Further grid adaptation in space+time

• COST = O( # discrete variables )

Multigrid solver for the PDEs

incorporating adjustments for the control

For fronts, orography, human interest…

As far as extend on that coarse scale,

hence extending only locally on that scale

Still fully accurate (frozen )

k

• Correlations extending far in time

• Not just initial-condition control

4D Full-Control Data Assimilation

• COST = ??• COST comparable to the direct solver

At the finest flow levels:

No relaxation of the control

is interpolated from coarser levels

SIMPLE MODEL: 1D + time WAVE EQUATION

],0[ Tucutt )(tpu

)(00 xuu t

)(0 xgu tt

The model (c, p, u0, g) only partly and approximately

known, but instead given .kjkj dtxu ),(

(1)(2)

(3)

(4)

in

For example, let u0 be unknown and c known only approximately. .

],0[ T

Comparing full-flow control with initial-value control

Rima Gandlin:

Find u in

measurements .

Initial control vs. Residual control

Discretization and algebraic errors (phase errors)

Noised data

Ak = cos(kω δt), ω = 10, h = 0.1, δt = 0.01

Ak = cos(kωδt) + r, r(-0.5,0.5) × 0.1 or 0.3ω=10, h=0.1, δt=0.1

Exact solution: u(x,t) = eiωxcos(ωt)

Modeling error

phase error + noised data + modeling error:

c = 1.1 or 1.2, ω = 10, h = 0.1, δt = 0.01

ω = 10, h = 0.1, δt = 0.1

Exact solution: u(x,t) = eiωxcos(ωt)

Initial control vs. Residual control

Improved Regularization

• Natural to multiscale solvers

• Scale-dependent regularization

Reduced noise at coarse levels

Scale-dependent statistical theories of the atmosphere

Scale dependent data types

• Fine scale fluctuations -- Coarse scale amplitudes

• Just local re-processing at each level

Fast continual assimilation of new data

Multiscale statistical ensembles

• Few local ensemble Ensembles of fine-to-coarseFine-to-Coarse correction to covariance W

Multiscale attractors

correction

Data Assimilation4D

PDEs: , ,u

x t Lu x tt

Observation Projection y Pu y

Nonlinear Multigrid PDE solver

• Nonlinear implicit time steps

• Adaptable discretization

• Space + time parallel processing

One-Shot Solver + Assimilator

• Not just initial-condition control

• Multiscale observational data

• Multiscale covariance matrices

• Improved regularization

• Continuous assimilation

THANK YOU!

t

x