Professional Documents
Culture Documents
Part I
20401
Tony Shardlow
1 / 132
Outline
Part I 20401
Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
2
Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
2 / 132
Outline
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
Partial derivatives Notation Examples Three famous PDEs Basics Well posedness Linearity Classifying PDEs
3 / 132
4 / 132
5 / 132
We also need higher order partial derivatives. As ut = 2tx 3 and ux = 3x 2 t 2 , utt = 2x 3 , utx = 6tx 2 , uxx = 6 x t 2 .
6 / 132
We also need higher order partial derivatives. As ut = 2tx 3 and ux = 3x 2 t 2 , utt = 2x 3 , utx = 6tx 2 , uxx = 6 x t 2 .
7 / 132
where u(t, x) = x 2 t 2 + A(t) + B(x) and A(t) be B(x) denote some dierentiable functions. ut (t, x) = 2x 2 t + A (t) utx = 4xt Two specic dierentiations kill the two functions. utxtx = 4 utxtxt = 0.
8 / 132
where u(t, x) = x 2 t 2 + A(t) + B(x) and A(t) be B(x) denote some dierentiable functions. ut (t, x) = 2x 2 t + A (t) utx = 4xt Two specic dierentiations kill the two functions. utxtx = 4 utxtxt = 0.
9 / 132
where u(t, x) = x 2 t 2 + A(t) + B(x) and A(t) be B(x) denote some dierentiable functions. ut (t, x) = 2x 2 t + A (t) utx = 4xt Two specic dierentiations kill the two functions. utxtx = 4 utxtxt = 0.
10 / 132
where u(t, x) = x 2 t 2 + A(t) + B(x) and A(t) be B(x) denote some dierentiable functions. ut (t, x) = 2x 2 t + A (t) utx = 4xt Two specic dierentiations kill the two functions. utxtx = 4 utxtxt = 0.
11 / 132
where u(t, x) = x 2 t 2 + A(t) + B(x) and A(t) be B(x) denote some dierentiable functions. ut (t, x) = 2x 2 t + A (t) utx = 4xt Two specic dierentiations kill the two functions. utxtx = 4 utxtxt = 0.
12 / 132
2 /t
+ 4x 2 t 5/2 e x
2 t 1
1 ut uxx = 0 4 This is called the heat equation and is one of the most important PDEs.
13 / 132
2 /t
+ 4x 2 t 5/2 e x
2 t 1
1 ut uxx = 0 4 This is called the heat equation and is one of the most important PDEs.
14 / 132
2 /t
+ 4x 2 t 5/2 e x
2 t 1
1 ut uxx = 0 4 This is called the heat equation and is one of the most important PDEs.
15 / 132
2 /t
+ 4x 2 t 5/2 e x
2 t 1
1 ut uxx = 0 4 This is called the heat equation and is one of the most important PDEs.
16 / 132
Outline
Part I 20401
Partial derivatives Three famous PDEs Laplaces equation Heat equation Wave equation Basics Well posedness Linearity Classifying PDEs
17 / 132
2
Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
We introduce the three classical second order PDEs Heat equation model of heat diusion in space and time. Laplaces equation model of steady heat distribution (no time dependence) Wave equation model of wave motion in space and time.
18 / 132
We introduce the three classical second order PDEs Heat equation model of heat diusion in space and time. Laplaces equation model of steady heat distribution (no time dependence) Wave equation model of wave motion in space and time.
19 / 132
We introduce the three classical second order PDEs Heat equation model of heat diusion in space and time. Laplaces equation model of steady heat distribution (no time dependence) Wave equation model of wave motion in space and time.
20 / 132
Laplaces Equation
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
In two dimensions,
2u 2u + =0 x 2 y 2
uxx + uyy = 0 Also writen In three dimensions, 2u 2u 2u + + 2 =0 x 2 y 2 z Also written uxx + uyy + uzz = 0
21 / 132
Laplaces Equation
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
In two dimensions,
2u 2u + =0 x 2 y 2
Also writen uxx + uyy = 0 In three dimensions, 2u 2u 2u + + 2 =0 x 2 y 2 z Also written uxx + uyy + uzz = 0
22 / 132
Laplaces Equation
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
In two dimensions,
2u 2u + =0 x 2 y 2
Also writen uxx + uyy = 0 In three dimensions, 2u 2u 2u + + 2 =0 x 2 y 2 z Also written uxx + uyy + uzz = 0
23 / 132
Laplaces Equation
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
In two dimensions,
2u 2u + =0 x 2 y 2
Also writen uxx + uyy = 0 In three dimensions, 2u 2u 2u + + 2 =0 x 2 y 2 z Also written uxx + uyy + uzz = 0
24 / 132
(x 2 + y 2 )1 2x 2 (x 2 + y 2 )2 (x 2 + y 2 )1 2y 2 (x 2 + y 2 )2
(x 2 + y 2 )1 2x 2 (x 2 + y 2 )2 (x 2 + y 2 )1 2y 2 (x 2 + y 2 )2
(x 2 + y 2 )1 2x 2 (x 2 + y 2 )2 (x 2 + y 2 )1 2y 2 (x 2 + y 2 )2
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
0.5
32 / 132
In one dimension, we saw example solution u(t, x) = In two dimensions, u 2u 2u ( 2 + 2 ) = 0 t x y with example soln u(t, x) = 1 t 3/2 e (x
2 +y 2 )/4t
1 x 2 /4t e t 1/2
ut (uxx + uyy ) = 0
33 / 132
In one dimension, we saw example solution u(t, x) = In two dimensions, u 2u 2u ( 2 + 2 ) = 0 t x y with example soln u(t, x) = 1 t 3/2 e (x
2 +y 2 )/4t
1 x 2 /4t e t 1/2
ut (uxx + uyy ) = 0
34 / 132
In one spatial dimension, 2u 2u c 2 2 = 0 t 2 x In two spatial dimensions, 2u 2u 2u c 2 ( 2 + 2 ) = 0 t 2 x y utt c 2 (uxx + uyy ) = 0 utt c 2 uxx = 0
35 / 132
In one spatial dimension, 2u 2u c 2 2 = 0 t 2 x In two spatial dimensions, 2u 2u 2u c 2 ( 2 + 2 ) = 0 t 2 x y utt c 2 (uxx + uyy ) = 0 utt c 2 uxx = 0
36 / 132
In one spatial dimension, 2u 2u c 2 2 = 0 t 2 x In two spatial dimensions, 2u 2u 2u c 2 ( 2 + 2 ) = 0 t 2 x y utt c 2 (uxx + uyy ) = 0 utt c 2 uxx = 0
37 / 132
Then u(t, x) = A(y ) with y = x ct so ut ux = A y = cA (x ct), utt = c 2 A (x ct) y t = A (x ct), uxx = A (x ct)
Thus u satises the utt c 2 uxx = 0, and also uni-directional wave equation ut + cux = 0,
38 / 132
Then u(t, x) = A(y ) with y = x ct so ut ux = A y = cA (x ct), utt = c 2 A (x ct) y t = A (x ct), uxx = A (x ct)
Thus u satises the utt c 2 uxx = 0, and also uni-directional wave equation ut + cux = 0,
39 / 132
Then u(t, x) = A(y ) with y = x ct so ut ux = A y = cA (x ct), utt = c 2 A (x ct) y t = A (x ct), uxx = A (x ct)
Thus u satises the utt c 2 uxx = 0, and also uni-directional wave equation ut + cux = 0,
40 / 132
Outline
Part I 20401
Partial derivatives Three famous PDEs Basics PDE and order Examples Problem 2a Well posedness Linearity Classifying PDEs
41 / 132
2
Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
Denition (PDE) A PDE is a relationship of the form F (u, t, x, y , . . . , ut , ux , uy , . . . , utt , utx , uty , . . .) = 0 where u is the solution and is a function of the independent variables t, x, y , z, ... Denition (order) The order of the PDE is the highest degree of dierentiation that appears in the equation.
42 / 132
Denition (PDE) A PDE is a relationship of the form F (u, t, x, y , . . . , ut , ux , uy , . . . , utt , utx , uty , . . .) = 0 where u is the solution and is a function of the independent variables t, x, y , z, ... Denition (order) The order of the PDE is the highest degree of dierentiation that appears in the equation.
43 / 132
1 2 ux ut 2 ux = e u
order 1
2
uxy + uxxyy = 0 order 4 ux uy utxy + uxx uyy = 0 order 3 HOMEWORK You can now try Problem 24
44 / 132
1 2 ux ut 2 ux = e u
order 1
2
uxy + uxxyy = 0 order 4 ux uy utxy + uxx uyy = 0 order 3 HOMEWORK You can now try Problem 24
45 / 132
1 2 ux ut 2 ux = e u
order 1
2
uxy + uxxyy = 0 order 4 ux uy utxy + uxx uyy = 0 order 3 HOMEWORK You can now try Problem 24
46 / 132
1 2 ux ut 2 ux = e u
order 1
2
uxy + uxxyy = 0 order 4 ux uy utxy + uxx uyy = 0 order 3 HOMEWORK You can now try Problem 24
47 / 132
1 2 ux ut 2 ux = e u
order 1
2
uxy + uxxyy = 0 order 4 ux uy utxy + uxx uyy = 0 order 3 HOMEWORK You can now try Problem 24
48 / 132
1 2 ux ut 2 ux = e u
order 1
2
uxy + uxxyy = 0 order 4 ux uy utxy + uxx uyy = 0 order 3 HOMEWORK You can now try Problem 24
49 / 132
1 2 ux ut 2 ux = e u
order 1
2
uxy + uxxyy = 0 order 4 ux uy utxy + uxx uyy = 0 order 3 HOMEWORK You can now try Problem 24
50 / 132
1 2 ux ut 2 ux = e u
order 1
2
uxy + uxxyy = 0 order 4 ux uy utxy + uxx uyy = 0 order 3 HOMEWORK You can now try Problem 24
51 / 132
Problem 2a: Find a PDE for u(t, x) = A(x + ct) + B(x ct),
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
where c is a constant and A(y ), B(y ) are given functions. u(t, x) = A(x + ct) + B(x ct) Then ut = cA (x + ct) cB (x ct), and utt = c 2 A (x+ct)+c 2 B (xct), uxx = A (x+ct)+B (xct) ux = A (x + ct) + B (x ct)
Problem 2a: Find a PDE for u(t, x) = A(x + ct) + B(x ct),
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
where c is a constant and A(y ), B(y ) are given functions. u(t, x) = A(x + ct) + B(x ct) Then ut = cA (x + ct) cB (x ct), and utt = c 2 A (x+ct)+c 2 B (xct), uxx = A (x+ct)+B (xct) ux = A (x + ct) + B (x ct)
Problem 2a: Find a PDE for u(t, x) = A(x + ct) + B(x ct),
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
where c is a constant and A(y ), B(y ) are given functions. u(t, x) = A(x + ct) + B(x ct) Then ut = cA (x + ct) cB (x ct), and utt = c 2 A (x+ct)+c 2 B (xct), uxx = A (x+ct)+B (xct) ux = A (x + ct) + B (x ct)
Problem 2a: Find a PDE for u(t, x) = A(x + ct) + B(x ct),
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
where c is a constant and A(y ), B(y ) are given functions. u(t, x) = A(x + ct) + B(x ct) Then ut = cA (x + ct) cB (x ct), and utt = c 2 A (x+ct)+c 2 B (xct), uxx = A (x+ct)+B (xct) ux = A (x + ct) + B (x ct)
We have u(t, x) = A(x + ct) + B(x ct). For t = 0, u(0, x) = A(x) + B(x) Then U(0, x) = f0 (x) implies that A(x) + B(x) = f0 (x). There are solutions, for example A(x) = B(x) = f0 (x)/2 but the soln is NOT unique.
56 / 132
We have u(t, x) = A(x + ct) + B(x ct). For t = 0, u(0, x) = A(x) + B(x) Then U(0, x) = f0 (x) implies that A(x) + B(x) = f0 (x). There are solutions, for example A(x) = B(x) = f0 (x)/2 but the soln is NOT unique.
57 / 132
We have u(t, x) = A(x + ct) + B(x ct). For t = 0, u(0, x) = A(x) + B(x) Then U(0, x) = f0 (x) implies that A(x) + B(x) = f0 (x). There are solutions, for example A(x) = B(x) = f0 (x)/2 but the soln is NOT unique.
58 / 132
We have u(t, x) = A(x + ct) + B(x ct). For t = 0, u(0, x) = A(x) + B(x) Then U(0, x) = f0 (x) implies that A(x) + B(x) = f0 (x). There are solutions, for example A(x) = B(x) = f0 (x)/2 but the soln is NOT unique.
59 / 132
Outline
Part I 20401
Partial derivatives Three famous PDEs Basics Well posedness An ODE Initial conditions for a PDE Boundary conditions for a PDE Denition Linearity Classifying PDEs
60 / 132
2
Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
Well posedness
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
When does a PDE have a solution? When is that solution unique? When is it a good model? ODE Find u(t) such that du = 2t dt General solution is u(t) = t2 + C ,
where C is the constant of integration . For unique solution, Initial value problem for ODE du = 2t, dt u(0) = u0 .
61 / 132
Well posedness
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
When does a PDE have a solution? When is that solution unique? When is it a good model? ODE Find u(t) such that du = 2t dt General solution is u(t) = t2 + C ,
where C is the constant of integration . For unique solution, Initial value problem for ODE du = 2t, dt u(0) = u0 .
62 / 132
Well posedness
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
When does a PDE have a solution? When is that solution unique? When is it a good model? ODE Find u(t) such that du = 2t dt General solution is u(t) = t2 + C ,
where C is the constant of integration . For unique solution, Initial value problem for ODE du = 2t, dt u(0) = u0 .
63 / 132
Well posedness
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
When does a PDE have a solution? When is that solution unique? When is it a good model? ODE Find u(t) such that du = 2t dt General solution is u(t) = t2 + C ,
where C is the constant of integration . For unique solution, Initial value problem for ODE du = 2t, dt u(0) = u0 .
64 / 132
Well posedness
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
When does a PDE have a solution? When is that solution unique? When is it a good model? ODE Find u(t) such that du = 2t dt General solution is u(t) = t2 + C ,
where C is the constant of integration . For unique solution, Initial value problem for ODE du = 2t, dt u(0) = u0 .
65 / 132
Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
Integrating gives the solution u = t 2 + A(x) where A(x) is the function of integration. For a unique solution, we specify initial condition Initial value problem ut = 2t u(0, x) = f (x) where f (x) is a given function. The solution is u(t, x) = t 2 + f (x). ()
66 / 132
Often we consider u(t, x) for x restricted to some set , known as the domain. e.g., ut = uxx , (t, x) [0, T ] [0, 1].
When has a boundary, we need boundary conditions for uniqueness. u(t, 0) = g0 (t) u(t, 1) = g1 (t) for all t > 0
67 / 132
Often we consider u(t, x) for x restricted to some set , known as the domain. e.g., ut = uxx , (t, x) [0, T ] [0, 1].
When has a boundary, we need boundary conditions for uniqueness. u(t, 0) = g0 (t) u(t, 1) = g1 (t) for all t > 0
68 / 132
Often we consider u(t, x) for x restricted to some set , known as the domain. e.g., ut = uxx , (t, x) [0, T ] [0, 1].
When has a boundary, we need boundary conditions for uniqueness. u(t, 0) = g0 (t) u(t, 1) = g1 (t) for all t > 0
69 / 132
and to be well posed need some initial conditions If u depends on time, an initial conditions is u(t, x) = f (x), or/and boundary conditions When u depends on x , condition on u at the boundary, e.g. the Dirichlet condition is u(t, x) = g (x), x on boundary of t=0
70 / 132
and to be well posed need some initial conditions If u depends on time, an initial conditions is u(t, x) = f (x), or/and boundary conditions When u depends on x , condition on u at the boundary, e.g. the Dirichlet condition is u(t, x) = g (x), x on boundary of t=0
71 / 132
and to be well posed need some initial conditions If u depends on time, an initial conditions is u(t, x) = f (x), or/and boundary conditions When u depends on x , condition on u at the boundary, e.g. the Dirichlet condition is u(t, x) = g (x), x on boundary of t=0
72 / 132
Find u(t, x) such that utt c 2 uxx = 0 with (x, t) (0, 1) [0, T ].
Two initial conditions are needed because of second derivative with respect to t: The following is well posed. utt c 2 uxx = 0 in (0, 1) [0, T ] u(0, x) = f1 (x) ; ut (0, x) = f2 (x) for all x (0, 1) u(t, 0) = g0 (t) ; u(t, 1) = g1 (t) for all t > 0
73 / 132
Find u(t, x) such that utt c 2 uxx = 0 with (x, t) (0, 1) [0, T ].
Two initial conditions are needed because of second derivative with respect to t: The following is well posed. utt c 2 uxx = 0 in (0, 1) [0, T ] u(0, x) = f1 (x) ; ut (0, x) = f2 (x) for all x (0, 1) u(t, 0) = g0 (t) ; u(t, 1) = g1 (t) for all t > 0
74 / 132
Laplaces equation on
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs 1
For a unique solution, we need a boundary condition on = {(0, 1) 0} {(0, 1) 1} {0 (0, 1)} {1 (0, 1)}.
For a Neumann boundary condition we specify the (outward) normal derivative of the function value:
u n ( x)
= gN ( x) for all x .
75 / 132
Wave equation on
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
Finally consider the heat equation in R2 : nd u(t, x, y ) such that utt (uxx + uyy ) = 0, (t, x) [0, T ] .
For a unique solution, we need an initial condition and a Dirichlet or a Neumann boundary condition on .
76 / 132
Denition
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
Here is the denition that we have all been waiting for ... Denition (well posed) A PDE problem is well posed if existence there exists a solution uniqueness the solution is unique stability the solution depends continuously on the data (initial and boundary conditions). Denition (ill posed) If a problem is not well posed, we say it is ill posed.
77 / 132
Denition
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
Here is the denition that we have all been waiting for ... Denition (well posed) A PDE problem is well posed if existence there exists a solution uniqueness the solution is unique stability the solution depends continuously on the data (initial and boundary conditions). Denition (ill posed) If a problem is not well posed, we say it is ill posed.
78 / 132
Even with initial and boundary conditions, some PDEs are ill posed. backward heat equation Find u(t, x) such that ut +uxx = 0, for all x R, together with the initial data u(0, x) = 0. This problem has the unique solution, u(t, x) = 0. However it is ill posed, because small changes in the initial data give large changes in the solution HOMEWORK You can now try Problem 56
79 / 132
Even with initial and boundary conditions, some PDEs are ill posed. backward heat equation Find u(t, x) such that ut +uxx = 0, for all x R, together with the initial data u(0, x) = 0. This problem has the unique solution, u(t, x) = 0. However it is ill posed, because small changes in the initial data give large changes in the solution HOMEWORK You can now try Problem 56
80 / 132
Even with initial and boundary conditions, some PDEs are ill posed. backward heat equation Find u(t, x) such that ut +uxx = 0, for all x R, together with the initial data u(0, x) = 0. This problem has the unique solution, u(t, x) = 0. However it is ill posed, because small changes in the initial data give large changes in the solution HOMEWORK You can now try Problem 56
81 / 132
Even with initial and boundary conditions, some PDEs are ill posed. backward heat equation Find u(t, x) such that ut +uxx = 0, for all x R, together with the initial data u(0, x) = 0. This problem has the unique solution, u(t, x) = 0. However it is ill posed, because small changes in the initial data give large changes in the solution HOMEWORK You can now try Problem 56
82 / 132
where
83 / 132
where
84 / 132
We have show that u(t, x) = e t/ cos(x/ ) is a soln of the backward heat equation ut = uxx . Note that if is tiny, then the intial data u(0, x) = cos(x/ ) is close to the zero initial data. But t/
2 2
is large so that
u(t, x) = e t/ cos(x/ ) is large for any t > 0. 2 We have used the fact that if t > 0 then e t/ as
0.
85 / 132
We have show that u(t, x) = e t/ cos(x/ ) is a soln of the backward heat equation ut = uxx . Note that if is tiny, then the intial data u(0, x) = cos(x/ ) is close to the zero initial data. But t/
2 2
is large so that
u(t, x) = e t/ cos(x/ ) is large for any t > 0. 2 We have used the fact that if t > 0 then e t/ as
0.
86 / 132
We have show that u(t, x) = e t/ cos(x/ ) is a soln of the backward heat equation ut = uxx . Note that if is tiny, then the intial data u(0, x) = cos(x/ ) is close to the zero initial data. But t/
2 2
is large so that
u(t, x) = e t/ cos(x/ ) is large for any t > 0. 2 We have used the fact that if t > 0 then e t/ as
0.
87 / 132
Outline
Part I 20401
Partial derivatives Three famous PDEs Basics Well posedness Linearity Linear BVP Heat equation Superposition Classifying PDEs
88 / 132
2
Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
Linearity
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
The heat equation ut = uxx is an example of a linear PDE and these have many special properties. To test linearity, we express the PDE and any boundary conditions as L(u) = f where L is a dierential operator, u(t, x) is the solution with x Rd (typically the spatial dimension d = 1, 2, or 3) and f (t, x), is the right hand side. For heat equation ut = uxx , L(u) = ut uxx
89 / 132
Linearity
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
The heat equation ut = uxx is an example of a linear PDE and these have many special properties. To test linearity, we express the PDE and any boundary conditions as L(u) = f where L is a dierential operator, u(t, x) is the solution with x Rd (typically the spatial dimension d = 1, 2, or 3) and f (t, x), is the right hand side. For heat equation ut = uxx , L(u) = ut uxx
90 / 132
Linearity
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
The heat equation ut = uxx is an example of a linear PDE and these have many special properties. To test linearity, we express the PDE and any boundary conditions as L(u) = f where L is a dierential operator, u(t, x) is the solution with x Rd (typically the spatial dimension d = 1, 2, or 3) and f (t, x), is the right hand side. For heat equation ut = uxx , L(u) = ut uxx
91 / 132
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
Denition (linear operator) The operator L is linear if for any two functions u and v and any R,
1 2
92 / 132
L(u + v ) = (u + v )t (u + v )xx = (ut + vt ) (uxx + vxx ) = (ut uxx ) + (vt vxx ) = L(u) + L(v )
L(u + v ) = (u + v )t (u + v )xx = (ut + vt ) (uxx + vxx ) = (ut uxx ) + (vt vxx ) = L(u) + L(v )
Linear BVP
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
u(x, 0) = f (x) initial condition u(x, t) = g (x) for x on boundary (Dirichlet condition) ux (x, t) = g1 (x) for x on boundary (Neumann condition) Linear Boundary Value Problem (BVP)
is a PDE L(u) = f subject to linear boundary conditions, where L is linear. We often speak of nonlinear PDEs, where L or the boundary conditions are not linear.
95 / 132
Linear BVP
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
u(x, 0) = f (x) initial condition u(x, t) = g (x) for x on boundary (Dirichlet condition) ux (x, t) = g1 (x) for x on boundary (Neumann condition) Linear Boundary Value Problem (BVP)
is a PDE L(u) = f subject to linear boundary conditions, where L is linear. We often speak of nonlinear PDEs, where L or the boundary conditions are not linear.
96 / 132
ut uxx = 0 in (0, 1) [0, T ] u(0, x) = f (x) for all x (0, 1) u(t, 0) = g0 (t) ; u(t, 1) = g1 (t) for all t > 0 HOMEWORK You can now try Problem 7
()
97 / 132
ut uxx = 0 in (0, 1) [0, T ] u(0, x) = f (x) for all x (0, 1) u(t, 0) = g0 (t) ; u(t, 1) = g1 (t) for all t > 0 HOMEWORK You can now try Problem 7
()
98 / 132
* The Poisson equation (uxx + uyy ) = f . * The wave equation, with wave speed c utt c 2 uxx = f .
* The steady-state convection-diusion equation with viscosity > 0 and horizontal wind w (uxx + uyy ) + w ux = f .
* The Black-Scholes equation with stock price x, interest rate r and volatility 1 ut + 2 x 2 uxx + r xux r u = 0. 2
99 / 132
* The Poisson equation (uxx + uyy ) = f . * The wave equation, with wave speed c utt c 2 uxx = f .
* The steady-state convection-diusion equation with viscosity > 0 and horizontal wind w (uxx + uyy ) + w ux = f .
* The Black-Scholes equation with stock price x, interest rate r and volatility 1 ut + 2 x 2 uxx + r xux r u = 0. 2
100 / 132
* The Poisson equation (uxx + uyy ) = f . * The wave equation, with wave speed c utt c 2 uxx = f .
* The steady-state convection-diusion equation with viscosity > 0 and horizontal wind w (uxx + uyy ) + w ux = f .
* The Black-Scholes equation with stock price x, interest rate r and volatility 1 ut + 2 x 2 uxx + r xux r u = 0. 2
101 / 132
* The Poisson equation (uxx + uyy ) = f . * The wave equation, with wave speed c utt c 2 uxx = f .
* The steady-state convection-diusion equation with viscosity > 0 and horizontal wind w (uxx + uyy ) + w ux = f .
* The Black-Scholes equation with stock price x, interest rate r and volatility 1 ut + 2 x 2 uxx + r xux r u = 0. 2
102 / 132
Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
103 / 132
Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
104 / 132
Example
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
105 / 132
Superposition
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
If the PDE and the associated boundary conditions are of the form L(u) = 0 and L is a linear operator then the boundary value problem is said to be homogeneous. Theorem (superposition) If u1 and u2 are any two solutions of a homogeneous boundary value problem, then any linear combination v = u1 + u2 with , R is also a solution. Proof. L(v ) = L(u1 + u2 ) = L(u1 ) + L(u2 ) = 0.
0 0
106 / 132
Superposition
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
If the PDE and the associated boundary conditions are of the form L(u) = 0 and L is a linear operator then the boundary value problem is said to be homogeneous. Theorem (superposition) If u1 and u2 are any two solutions of a homogeneous boundary value problem, then any linear combination v = u1 + u2 with , R is also a solution. Proof. L(v ) = L(u1 + u2 ) = L(u1 ) + L(u2 ) = 0.
0 0
107 / 132
If the PDE and the associated boundary conditions are of the form L(u) = 0 and L is a linear operator then the boundary value problem is said to be homogeneous. Theorem If u p is a particular soln of the linear BVP Lu = f and v is a soln of the homogeneous problem Lv = 0, then w = u p + v is a soln of Lu = f . Proof. L(w ) = L(u p + v ) = L(u p ) + L(v ) = f .
f 0
108 / 132
If the PDE and the associated boundary conditions are of the form L(u) = 0 and L is a linear operator then the boundary value problem is said to be homogeneous. Theorem If u p is a particular soln of the linear BVP Lu = f and v is a soln of the homogeneous problem Lv = 0, then w = u p + v is a soln of Lu = f . Proof. L(w ) = L(u p + v ) = L(u p ) + L(v ) = f .
f 0
109 / 132
Outline
Part I 20401
Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs Second order PDEs Linear constant coecient second order PDEs
2
Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
110 / 132
Here is the generic nonlinear second order PDE in two independent variables autt + butx + cuxx + dut + eux + gu = f with coecients : a(u, x, t, ux , ut , uxx , uxt , utt ) b(u, x, t, ux , ut , uxx , uxt , utt ) depend on 2nd order derivs c(u, x, t, ux , ut , uxx , uxt , utt ) d(u, x, t, ux , ut ) e(u, x, t, ux , ut ) g (u, x, t) f (x, t)
111 / 132
Here is the generic quasi-linear second order PDE in two independent variables autt + butx + cuxx + dut + eux + gu = f with coecients : a(u, x, t, ux , ut ) b(u, x, t, ux , ut ) independent of 2nd order derivs c(u, x, t, ux , ut ) d(u, x, t, ux , ut ) e(u, x, t, ux , ut ) depend on u and 1st order derivs g (u, x, t) f (x, t)
112 / 132
Here is the generic semi-linear second order PDE in two independent variables autt + butx + cuxx + dut + eux + gu = f with coecients : a(x, t) b(x, t) independent of u c(x, t) d(u, x, t, ux , ut ) e(u, x, t, ux , ut ) depends on u and 1st order derivs g (u, x, t) f (x, t)
113 / 132
Example
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
ut + uux uxx = f autt + butx + cuxx + dut + eux + gu = f with coecients a = b = c = d e g f Semi-linear
114 / 132
0 0 1 u 0 f
= = = =
Example
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
ut + uux uxx = f autt + butx + cuxx + dut + eux + gu = f with coecients a = b = c = d e g f Semi-linear
115 / 132
0 0 1 u 0 f
= = = =
Example
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
ut + uux uxx = f autt + butx + cuxx + dut + eux + gu = f with coecients a = b = c = d e g f Semi-linear
116 / 132
0 0 1 u 0 f
= = = =
Here is the generic linear second order PDE in two independent variables autt + butx + cuxx + dut + eux + gu = f with variable coecients : a(x, t) b(x, t) c(x, t) d(x, t) independent of u e(x, t) g (x, t) f (x, t)
117 / 132
Here is the generic linear second order PDE in two independent variables autt + butx + cuxx + dut + eux + gu = f with constant coecients : a b c d constant e g f
118 / 132
Examples
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
1 2 ut + ux uxx = f (x, t) 2
semi-linear
quasi-linear
119 / 132
Examples
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
1 2 ut + ux uxx = f (x, t) 2
semi-linear
quasi-linear
120 / 132
Examples
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
1 2 ut + ux uxx = f (x, t) 2
semi-linear
quasi-linear
121 / 132
Examples
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
1 2 ut + ux uxx = f (x, t) 2
semi-linear
quasi-linear
122 / 132
Any linear constant coecient second order PDE is related to one of these.
123 / 132
Type of PDE
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
autt + butx + cuxx + dut + eux + gu = f and a, b, c, d, e, g , f are independent of u. Denition (PDE type) There are three generic types of PDE associated the discriminant b 2 4ac. These are associated with conic sections: hyperbolic parabolic elliptic b 2 4ac > 0; b 2 4ac = 0; b 2 4ac < 0.
Type of PDE
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
autt + butx + cuxx + dut + eux + gu = f and a, b, c, d, e, g , f are independent of u. Denition (PDE type) There are three generic types of PDE associated the discriminant b 2 4ac. These are associated with conic sections: hyperbolic parabolic elliptic b 2 4ac > 0; b 2 4ac = 0; b 2 4ac < 0.
Type of PDE
Part I 20401 Partial derivatives Three famous PDEs Basics Well posedness Linearity Classifying PDEs
autt + butx + cuxx + dut + eux + gu = f and a, b, c, d, e, g , f are independent of u. Denition (PDE type) There are three generic types of PDE associated the discriminant b 2 4ac. These are associated with conic sections: hyperbolic parabolic elliptic b 2 4ac > 0; b 2 4ac = 0; b 2 4ac < 0.
127 / 132
128 / 132
129 / 132
130 / 132
131 / 132
132 / 132