• Non ci sono risultati.

Classical computational methods

N/A
N/A
Protected

Academic year: 2021

Condividi "Classical computational methods"

Copied!
86
0
0

Testo completo

(1)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classical computational methods

Daniele Boffi

Dipartimento di Matematica, Universit`a di Pavia http://www-dimat.unipv.it/boffi

Complexity and its Interdisciplinary Applications

(2)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples

A second order ODE

−u

00

(x ) = f (x )

Solution can be explicitly determined (closed form solution)

u

0

(x ) = u

0

(x

0

) + Z

x

x (0)

u

00

(t) dt = u

0

(x

0

) − Z

x

x (0)

f (t) dt

u(x ) = u(x

0

) + Z

x

x (0)

u

0

(t) dt In general

u(x ) = α + βx − Z Z

f (t) dt

(3)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples

A second order ODE

−u

00

(x ) = f (x )

Solution can be explicitly determined (closed form solution)

u

0

(x ) = u

0

(x

0

) + Z

x

x (0)

u

00

(t) dt = u

0

(x

0

) − Z

x

x (0)

f (t) dt

u(x ) = u(x

0

) + Z

x

x (0)

u

0

(t) dt

In general

u(x ) = α + βx − Z Z

f (t) dt

(4)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples

A second order ODE

−u

00

(x ) = f (x )

Solution can be explicitly determined (closed form solution)

u

0

(x ) = u

0

(x

0

) + Z

x

x (0)

u

00

(t) dt = u

0

(x

0

) − Z

x

x (0)

f (t) dt

u(x ) = u(x

0

) + Z

x

x (0)

u

0

(t) dt In general

u(x ) = α + βx − Z Z

f (t) dt

(5)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

One dimensional convection equation (PDE)

∂u

∂t (x , t) − ∂u

∂x (x , t) = 0

Closed form solution u(x , t) = w (x + t)

(x,t) t

x

(x−T,t+T)

(6)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

One dimensional convection equation (PDE)

∂u

∂t (x , t) − ∂u

∂x (x , t) = 0

Closed form solution u(x , t) = w (x + t)

(x,t) t

x

(x−T,t+T)

(7)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

One dimensional convection equation (PDE)

∂u

∂t (x , t) − ∂u

∂x (x , t) = 0

Closed form solution u(x , t) = w (x + t)

(x,t) t

x

(x−T,t+T)

(8)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

One dimensional wave equation

2

u

∂t

2

(x , t) − c

2

2

u

∂x

2

(x , t) = 0

Closed form solution

u(x , t) = w

1

(x + ct) + w

2

(x − ct)

Proof (x,t)

t

x

(x−cT,t+T) (x+cT,t+T)

(9)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

One dimensional wave equation

2

u

∂t

2

(x , t) − c

2

2

u

∂x

2

(x , t) = 0

Closed form solution

u(x , t) = w

1

(x + ct) + w

2

(x − ct)

Proof (x,t)

t

x

(x−cT,t+T) (x+cT,t+T)

(10)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

One dimensional wave equation

2

u

∂t

2

(x , t) − c

2

2

u

∂x

2

(x , t) = 0

Closed form solution

u(x , t) = w

1

(x + ct) + w

2

(x − ct)

Proof (x,t)

t

x

(x−cT,t+T) (x+cT,t+T)

(11)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

One dimensional heat equation

∂u

∂t (x , t) − ∂

2

u

∂x

2

(x , t) = 0, x ∈ (0, 1), t > 0

Closed form solution

u(x , t) =

X

j =1

u

0,j

e

−(jπ)2t

sin(j πx ),

where u

0

(x ) = u(x , 0) is the initial datum and

u

0,j

= 2 Z

1

0

u

0

(x ) sin(j πx ) dx

(12)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

One dimensional heat equation

∂u

∂t (x , t) − ∂

2

u

∂x

2

(x , t) = 0, x ∈ (0, 1), t > 0 Closed form solution

u(x , t) =

X

j =1

u

0,j

e

−(jπ)2t

sin(j πx ),

where u

0

(x ) = u(x , 0) is the initial datum and

u

0,j

= 2 Z

1

0

u

0

(x ) sin(j πx ) dx

(13)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

Convection equation

∂u

∂t + div(~ βu) = 0 First order linear equation.

N.B.: divergence operator div ~ v =

d

P

i =1

∂vi

∂xi

This equation states the mass conservation of a body

occupying a region Ω ∈ R

d

, with density u and velocity β ~

(14)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

Convection equation

∂u

∂t + div(~ βu) = 0 First order linear equation.

N.B.: divergence operator div ~ v =

d

P

i =1

∂vi

∂xi

This equation states the mass conservation of a body

occupying a region Ω ∈ R

d

, with density u and velocity β ~

(15)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

Laplace/Beltrami/Poisson equation

−∆u = f Second order linear equation.

N.B.: Laplace operator ∆v =

d

P

i =1

2v

∂xi2

This equation states the diffusion of a homogeneous and

isotropic fluid occupying a region Ω ∈ R

d

, as well as the

vertical displacement of an elastic membrane. Fundamental

equation for several models.

(16)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

Laplace/Beltrami/Poisson equation

−∆u = f Second order linear equation.

N.B.: Laplace operator ∆v =

d

P

i =1

2v

∂xi2

This equation states the diffusion of a homogeneous and

isotropic fluid occupying a region Ω ∈ R

d

, as well as the

vertical displacement of an elastic membrane. Fundamental

equation for several models.

(17)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

Heat equation

∂u

∂t − ∆u = f Second order linear equation

Wave equation

2

u

∂t

2

− ∆u = 0

Second order linear equation

(18)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

Heat equation

∂u

∂t − ∆u = f Second order linear equation

Wave equation

2

u

∂t

2

− ∆u = 0

Second order linear equation

(19)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

Burgers equation (d = 1)

∂u

∂t + u ∂u

∂x = 0 First order quasi-linear equation

Viscous Burgers equation (d = 1)

∂u

∂t + u ∂u

∂x = ε ∂

2

u

∂x

2

, ε > 0

Second order semi-linear equation

(20)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Some examples (cont’ed)

Burgers equation (d = 1)

∂u

∂t + u ∂u

∂x = 0 First order quasi-linear equation

Viscous Burgers equation (d = 1)

∂u

∂t + u ∂u

∂x = ε ∂

2

u

∂x

2

, ε > 0

Second order semi-linear equation

(21)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

• Classification of Partial Differential Equations (PDE)

• Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(22)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

• Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(23)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

• Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(24)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(25)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(26)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(27)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(28)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

• From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(29)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

• From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(30)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

• From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(31)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

• From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(32)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(33)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(34)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(35)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(36)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(37)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(38)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

• Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(39)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

• Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(40)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

• Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(41)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

• Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability ofθ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(42)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability of θ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(43)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability ofθ-method

Examples with Matlab

Conclusions and comments

Questions and answers

(44)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability ofθ-method

• Examples with Matlab

Conclusions and comments

Questions and answers

(45)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability ofθ-method

• Examples with Matlab

Conclusions and comments

Questions and answers

(46)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability ofθ-method

• Examples with Matlab

• Conclusions and comments

Questions and answers

(47)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability ofθ-method

• Examples with Matlab

• Conclusions and comments

Questions and answers

(48)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability ofθ-method

Examples with Matlab

• Conclusions and comments

• Questions and answers

(49)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability ofθ-method

Examples with Matlab

• Conclusions and comments

• Questions and answers

(50)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability ofθ-method

Examples with Matlab

Conclusions and comments

• Questions and answers

(51)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Plan of the Course

Classification of Partial Differential Equations (PDE)

Elliptic PDE’s

• Finite differences

• Finite elements

• Where the theory is elegant and complete. . .

From elliptic to hyperbolic PDE’s

• Convection-diffusion equation

• Finite differences, upwind

• Integrating along the characteristics

• Stabilization of finite elements

Parabolic equation

• Heat equation: space semidiscretization and evolution in time

• Stability ofθ-method

Examples with Matlab

Conclusions and comments

• Questions and answers

(52)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of (linear) PDE’s

The case of two variables (can be generalized) Lu ≡

 A ∂

2

u

∂x

12

+ B ∂

2

u

∂x

1

∂x

2

+ C ∂

2

u

∂x

22



+ L.O.T .

Matrix associated with quadratic form

QF =

 A

12

B

1

2

B C



Note: A, B, and C might be functions themselves.

(53)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of (linear) PDE’s

The case of two variables (can be generalized) Lu ≡

 A ∂

2

u

∂x

12

+ B ∂

2

u

∂x

1

∂x

2

+ C ∂

2

u

∂x

22



+ L.O.T .

Matrix associated with quadratic form

QF =

 A

12

B

1

2

B C



Note: A, B, and C might be functions themselves.

(54)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of (linear) PDE’s

The case of two variables (can be generalized) Lu ≡

 A ∂

2

u

∂x

12

+ B ∂

2

u

∂x

1

∂x

2

+ C ∂

2

u

∂x

22



+ L.O.T .

Matrix associated with quadratic form

QF =

 A

12

B

1

2

B C



Note: A, B, and C might be functions themselves.

(55)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Compute eigenvalues λ

i

of QF

Elliptic equation: λ

1

λ

2

> 0

Parabolic equation: λ

1

λ

2

= 0

Hyperbolic equation: λ

1

λ

2

< 0

With the notation of quadratic forms: definite form,

semidefinite form, indefinite form, respectively.

(56)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Compute eigenvalues λ

i

of QF

Elliptic equation: λ

1

λ

2

> 0

Parabolic equation: λ

1

λ

2

= 0

Hyperbolic equation: λ

1

λ

2

< 0

With the notation of quadratic forms: definite form,

semidefinite form, indefinite form, respectively.

(57)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Compute eigenvalues λ

i

of QF

Elliptic equation: λ

1

λ

2

> 0

Parabolic equation: λ

1

λ

2

= 0

Hyperbolic equation: λ

1

λ

2

< 0

With the notation of quadratic forms: definite form,

semidefinite form, indefinite form, respectively.

(58)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Consider operator

Lu ≡ A ∂

2

u

∂x

12

+ B ∂

2

u

∂x

1

∂x

2

+ C ∂

2

u

∂x

22

= 0 and look for change of variables

ξ = αx

2

+ βx

1

, η = γx

2

+ δx

1

so that Lu is a multiple of

∂ξ∂η2u

(see wave equation)

Lu = (Aβ

2

+ Bαβ + C α

2

) ∂

2

u

∂ξ

2

+ (Aδ

2

+ Bγδ + C γ

2

) ∂

2

u

∂η

2

+ (2Aβδ + B(αδ + βγ) + 2C αγ) ∂

2

u

∂ξ∂η

(59)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Consider operator

Lu ≡ A ∂

2

u

∂x

12

+ B ∂

2

u

∂x

1

∂x

2

+ C ∂

2

u

∂x

22

= 0 and look for change of variables

ξ = αx

2

+ βx

1

, η = γx

2

+ δx

1

so that Lu is a multiple of

∂ξ∂η2u

(see wave equation)

Lu = (Aβ

2

+ Bαβ + C α

2

) ∂

2

u

∂ξ

2

+ (Aδ

2

+ Bγδ + C γ

2

) ∂

2

u

∂η

2

+ (2Aβδ + B(αδ + βγ) + 2C αγ) ∂

2

u

∂ξ∂η

(60)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Lu = (Aβ

2

+ Bαβ + C α

2

) ∂

2

u

∂ξ

2

+ (Aδ

2

+ Bγδ + C γ

2

) ∂

2

u

∂η

2

+ (2Aβδ + B(αδ + βγ) + 2C αγ) ∂

2

u

∂ξ∂η If A = C = 0, trivial.

Suppose A 6= 0; we want

2

+ Bαβ + C α

2

= 0, Aδ

2

+ Bγδ + C γ

2

= 0 When αγ 6= 0, divide first equation by α

2

, second one by γ

2

and solve for β/α and δ/γ, resp.

β/α = (2A)

−1

(−B ± √

∆), δ/γ = (2A)

−1

(−B ± √

∆)

∆ = B

2

− 4AC

(61)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Lu = (Aβ

2

+ Bαβ + C α

2

) ∂

2

u

∂ξ

2

+ (Aδ

2

+ Bγδ + C γ

2

) ∂

2

u

∂η

2

+ (2Aβδ + B(αδ + βγ) + 2C αγ) ∂

2

u

∂ξ∂η If A = C = 0, trivial. Suppose A 6= 0; we want

2

+ Bαβ + C α

2

= 0, Aδ

2

+ Bγδ + C γ

2

= 0 When αγ 6= 0, divide first equation by α

2

, second one by γ

2

and solve for β/α and δ/γ, resp.

β/α = (2A)

−1

(−B ± √

∆), δ/γ = (2A)

−1

(−B ± √

∆)

∆ = B

2

− 4AC

(62)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Hyperbolic case

ξ = αx

2

+ βx

1

, η = γx

2

+ δx

1

β/α = (2A)

−1

(−B ±

∆), δ/γ = (2A)

−1

(−B ±

∆) For nonsingular change of variables, ∆ must be positive

α = γ = 2A, β = −B +

∆, δ = −B −

Lu = −4A(B

2

− 4AC ) ∂

2

u

∂ξ∂η

As before, solution has the form u = p(ξ) + q(η) and the lines

ξ = constant and η = constant are called characteristics.

(63)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Hyperbolic case

ξ = αx

2

+ βx

1

, η = γx

2

+ δx

1

β/α = (2A)

−1

(−B ±

∆), δ/γ = (2A)

−1

(−B ±

∆) For nonsingular change of variables, ∆ must be positive

α = γ = 2A, β = −B +

∆, δ = −B −

Lu = −4A(B

2

− 4AC ) ∂

2

u

∂ξ∂η

As before, solution has the form u = p(ξ) + q(η) and the lines

ξ = constant and η = constant are called characteristics.

(64)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Hyperbolic case

ξ = αx

2

+ βx

1

, η = γx

2

+ δx

1

β/α = (2A)

−1

(−B ±

∆), δ/γ = (2A)

−1

(−B ±

∆) For nonsingular change of variables, ∆ must be positive

α = γ = 2A, β = −B +

∆, δ = −B −

Lu = −4A(B

2

− 4AC ) ∂

2

u

∂ξ∂η

As before, solution has the form u = p(ξ) + q(η) and the lines

ξ = constant and η = constant are called characteristics.

(65)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Actually, when x

1

= t and x

2

= x, the change of variables x

0

= x − B

2A t, t

0

= t

maps our hyperbolic operator (A 6= 0) to a multiple of wave equation

2

u

∂t

2

− c

2

2

u

∂x

2

Hence, L is a wave operator in a frameset moving at speed

−B/(2A).

(66)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Actually, when x

1

= t and x

2

= x, the change of variables x

0

= x − B

2A t, t

0

= t

maps our hyperbolic operator (A 6= 0) to a multiple of wave equation

2

u

∂t

2

− c

2

2

u

∂x

2

Hence, L is a wave operator in a frameset moving at speed

−B/(2A).

(67)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Parabolic case

Lu = (Aβ

2

+ Bαβ + C α

2

) ∂

2

u

∂ξ

2

+ (Aδ

2

+ Bγδ + C γ

2

) ∂

2

u

∂η

2

+ (2Aβδ + B(αδ + βγ) + 2C αγ) ∂

2

u

∂ξ∂η

For β/α = −B/(2A) coefficient of

∂ξ2u2

vanishes

But B/(2A) = 2C /B, so coefficient of

∂ξ∂η2u

is zero as well

Everything can be written as a multiple of

∂η2u2

(68)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Parabolic case

Lu = (Aβ

2

+ Bαβ + C α

2

) ∂

2

u

∂ξ

2

+ (Aδ

2

+ Bγδ + C γ

2

) ∂

2

u

∂η

2

+ (2Aβδ + B(αδ + βγ) + 2C αγ) ∂

2

u

∂ξ∂η For β/α = −B/(2A) coefficient of

∂ξ2u2

vanishes

But B/(2A) = 2C /B, so coefficient of

∂ξ∂η2u

is zero as well

Everything can be written as a multiple of

∂η2u2

(69)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Parabolic case

Lu = (Aβ

2

+ Bαβ + C α

2

) ∂

2

u

∂ξ

2

+ (Aδ

2

+ Bγδ + C γ

2

) ∂

2

u

∂η

2

+ (2Aβδ + B(αδ + βγ) + 2C αγ) ∂

2

u

∂ξ∂η For β/α = −B/(2A) coefficient of

∂ξ2u2

vanishes

But B/(2A) = 2C /B, so coefficient of

∂ξ∂η2u

is zero as well

Everything can be written as a multiple of

∂η2u2

(70)

Classical computational

methods Daniele Boffi

Examples Plan of the Course PDE’s Classification

Classification of PDE’s (cont’ed)

Parabolic case

Lu = (Aβ

2

+ Bαβ + C α

2

) ∂

2

u

∂ξ

2

+ (Aδ

2

+ Bγδ + C γ

2

) ∂

2

u

∂η

2

+ (2Aβδ + B(αδ + βγ) + 2C αγ) ∂

2

u

∂ξ∂η For β/α = −B/(2A) coefficient of

∂ξ2u2

vanishes

But B/(2A) = 2C /B, so coefficient of

∂ξ∂η2u

is zero as well

Everything can be written as a multiple of

∂η2u2

Riferimenti

Documenti correlati

“O cinema trágico-poético de Pier Paolo Pasolini: Appunti per un’Orestiade africana; Édipo rei; Medéia”.. “Um Pasolini complexo e aberto

I Examples with Matlab I Finite elements. I Where the theory is elegant

© 2017 Institute of Classical Studies University of London THE BICS MYCENAEAN SEMINAR 2015–16 7.. 17

These metapoetic metrical puns (some call them metametrical) appear frequently in programmatic passages about genre, from which meter is inseparable, and in the Augustan period

Recently two measurements of Z boson production in association with jets have been reported by ATLAS [17] and CMS [18] where a wide spectrum of particle level observables have

Precise and redundant measurements of the sides and angles of the Unitarity Triangle provide a crucial test of CP violation in the Standard Model.. The present constraints on the (ρ,

24 «Ma qualche arteriola pur sempre si riattiva…» diventerà infatti: «e per qualche arteriola – vedi – si riattiva il circolo», verso che nell’edizione defi nitiva

Vieni qui, dolore, che gli uomini trattano in modo così ingiusto; avvicinati a me che ti conosco tanto bene perché mi hai accudito, sin da quando ero bambina, come