Professional Documents
Culture Documents
TonDucThang University
Preliminary Faculty of Applied Mathematics and Statistics
Differential
equations and
partial differential
equations
Fourier Series
Section 2 :
Laplace’s
equation
Section 2 :
maximum principle
Subject : Introduction to Partial Differential
Equations
1/34
About the slides.
Section 1 :
Preliminary
Differential
equations and
partial differential
equations
Fourier Series This contains the slides are designed for students who first
Section 2 :
Laplace’s
encounter the notions of pdes. Therefore, the slides are made
equation
Section 2 :
extremely simple and move step by step. As a result, it is quite
maximum principle
long and does not seem suitable for a standard pde course.
2/34
References.
Section 1 :
Preliminary 1. M. Braun, [1993], Differential Equations and Their
Differential
equations and
partial differential
Applications, 4th-edition, Springer, New York.
equations
Fourier Series 2. L.C Evans, [2006], Partial Differential Equations, 2nd edition,
Section 2 : Graduates studies in Mathematics, Volume 19.
Laplace’s
equation 3. D. Gilbarg, N. S. Trudinger, Elliptic Partial Differential
Section 2 :
maximum principle Equations of second order, reprint of the 1998th edition.
Exams
40% Middle Exam : hand in exercises every week.
60% Final Exam : do a test in class.
3/34
First definitions.
Section 1 :
Definition (of differential equation and pdes )
Preliminary
Differential
equations and
partial differential
A differential equation is a relationship between a function
equations
Fourier Series
of time and its derivatives.
Section 2 :
Laplace’s
equation
A partial differential equation is a relationship among its
Section 2 :
maximum principle
partial derivatives.
dy d 2y dy
+ a(t)y = b(t), 2 + a(t) + b(t)y = c(t). (1)
dt dt dt
4/34
Derivatives of multivariable functions
Section 1 :
Preliminary
Differential
equations and Let Ω be an open subset of R2 and u is differentiable in Ω
partial differential
equations
Fourier Series
For (x0 , y0 ) ∈ Ω, we denote
Section 2 :
Laplace’s ∂f f (x, y0 ) − f (x0 , y0 )
equation fx (x0 , y0 ) = (x0 , y0 ) = limx→x0 .
Section 2 : ∂x x − x0
maximum principle
∂2f ∂2f
fxx = (fx )x = , f xy = (f )
x y =
∂x 2 ∂y ∂x
5/34
Some important examples about partial differential
equations in this course.
Laplace’s equation
∂2u ∂2u
(
Section 1 :
Preliminary ∂x 2
+ ∂y 2
= 0, (x, y ) ∈ Ω ⊂ R2 ,
Differential
equations and
partial differential u(x, y ) = φ(x, y ), (x, y ) ∈ ∂Ω.
equations
Fourier Series
Heat equation
Section 2 :
Laplace’s
equation ( 2
∂u
Section 2 :
maximum principle ∂t = k ∂∂xu2 , t > 0, x ∈ [a, b], k > 0
u(x, 0) = f (x), u(a, t) = g (t), u(b, t) = h(t), t > 0, x ∈ [a, b],
Wave equation
∂2u 2
∂t 2
= k ∂∂xu2 , t > 0, x ∈ [a, b], k > 0
We now solve
Section 1 :
Preliminary
Differential
(LEC)ay 00 + by 0 + cy = 0
equations and
partial differential
equations
Fourier Series Method :
Section 2 : Writing the characteristic equation of (LEC)
Laplace’s
equation
Section 2 :
maximum principle
(Cha Equa)ar 2 + br + c = 0
√ √
−b + b 2 − 4ac −b − b 2 − 4ac
(root Cha)r1 = , r2 =
2a 2a
7/34
Solving Linear equations with constant coefficients
Case 1 b 2 − 4ac > 0
Section 1 :
Preliminary
Differential
equations and
partial differential
equations
Fourier Series
If b 2 − 4ac is positive, then r1 and r2 are real and distinct.
Section 2 :
Laplace’s In this case, y1 (t) = e r1 t and y2 (t) = e r2 t are two distinct
equation
Section 2 :
solutions of (LEC). In this case, the general solution is
maximum principle
y (t) = c1 e r1 t + c2 e r2 t .
8/34
Solving Linear equations with constant coefficients
Case 2 b 2 − 4ac < 0
Section 1 :
Preliminary
Differential
equations and
partial differential
equations
Fourier Series √
4ac−b 2
Section 2 : If b 2 − 4ac < 0, set β = 2a
Laplace’s
equation −bt
Section 2 :
y (t) = e 2a (c1 cos(βt) + c2 sin(βt)
maximum principle
9/34
Solving Linear equations with constant coefficients
Case 2 b 2 − 4ac = 0
Section 1 :
Preliminary
Differential
equations and
partial differential
equations
Fourier Series If b 2 − 4ac = 0, then the the characteristic equation
Section 2 :
Laplace’s
ar 2 + br + c = 0 has real equal roots r1 = r2 = −b
2a .
equation The general solution of (LEC) in this case is
Section 2 : −bt
maximum principle
y (t) = e 2a (c1 + c2 t)
10/34
Summing up the method to solve Linear equations
with constant coefficients
y 00 + 4y = 0.
y 00 + 4y 0 + 4y = 0.
12/34
Recall about Maximum and Minimum for single
variable functions
Section 1 :
Preliminary
Differential
equations and
Let f : (−1, 1) → R be differentiable. Then
partial differential
equations
Fourier Series
if f 0 (0) = 0 and f 00 (0) < 0 then 0 is a local maximum
Section 2 : point of f .
Laplace’s
equation
Section 2 : f 0 (0) = 0 and f 00 (0) > 0 then 0 is a local minimum point
maximum principle
of f .
Question : If f has 2 variables, i.e., f (x, y ), (x, y ) ∈ Ω ⊂ R2 .
How can we extend the above properties ?
13/34
Maximum and Minimum of multivariable functions
Section 2 :
point of f .
Laplace’s
equation
Section 2 :
AC − B 2 > 0 and A < 0 then (x0 , y0 ) is a local maximum
maximum principle
point of f .
AC − B 2 = 0, no conclusion.
Exercise 1*. Find explicit examples of f to prove the claim in
the case AC − B 2 = 0.
15/34
Exercises
Section 1 :
Preliminary
f (x, y ) = x 2 + y 2 + 4x − 2y .
Differential
equations and
partial differential
equations
Exercise 6. Determine the critical points (if exist) of
Fourier Series
Section 2 :
Laplace’s
f (x, y ) = x 3 + y 3 − 3xy .
equation
Section 2 :
maximum principle Exercise 7. Determine the critical points (if exist) of
f (x, y ) = 3x 2 y + y 3 − 3x 2 − 3y 2 .
50 20
f (x, y ) = xy + + , x > 0, y > 0.
x y
16/34
Some inequalities
Section 2 :
A ≥ B. Prove that
Laplace’s
equation
Section 2 : Aii ≥ Bii ∀i = 1, . . . , n.
maximum principle
17/34
Definition
Section 1 :
Preliminary
Let F (x) an arbitrary function defined in [−l, l]. The infinite
Differential
equations and
trigonometric series
partial differential
equations
Fourier Series ∞
a0 X nπx nπx
Section 2 : S(F )(x) = + [an cos( ) + bn sin( )]
Laplace’s 2 l l
equation n=1
Section 2 :
maximum principle
is called the Fourier series of F if
1 l 1 l
Z Z
nπx nπx
an = F (x)cos( )dx, bn = F (x)sin( )dx
l −l l l −l l
18/34
Theorem about the convergence of Fourier Series
Define
(
Section 1 : F (x) = F (x), −l ≤ x ≤ l
Preliminary
Differential
equations and
partial differential
F (x + 2l) = F (x).
equations
Fourier Series
Section 2 :
Theorem 2 : Convergence of Fourier Series :
Laplace’s
equation
If F is continuous except finite points. Then we have
Section 2 :
maximum principle
limx→x − F (x) + limx→x + F (x)
0 0
S(F )(x0 ) =
2
Trivially if F is continuous at x0 , then
19/34
Exercises on Fourier series
Section 1 :
Preliminary Answer of Exercise 4*,
Differential
equations and
partial differential ∞
equations 1 X 2sin((2k + 1)x)
Fourier Series S(F )(x) = + .
Section 2 :
2 (2k + 1)π
k=0
Laplace’s
equation
Section 2 :
maximum principle
Answer of Exercise 5*,
∞
1 X 4cos((2k + 1)πx)
S(F )(x) = − .
2 (2k + 1)2 π 2
k=0
21/34
Basel’s problem asked by Mengoli 1650
Section 1 :
Preliminary
Differential
equations and
partial differential
equations
Bernoulli asked his student Euler to compute
Fourier Series
Section 2 : 1 1 1 1
Laplace’s S =1+ 2
+ 2 + 2 + 2 + ....
equation 2 3 4 5
Section 2 :
maximum principle
In 1734, Euler answered this question and many more
interesting sums.
22/34
Basel’s problem asked by Mengoli 1650
Section 1 :
Preliminary
Differential
equations and
partial differential
Find the Fourier series of the following functions defined on the
equations
Fourier Series prescribed interval
Section 2 :
Laplace’s
equation
x 2 , −1 ≤ x ≤ 1
(
Section 2 :
maximum principle
F (x) =
F (x + 2) = F (x).
23/34
Basel’s problem asked by Mengoli 1650
Show that
∞
1 X 4cos(nπx)
Section 1 : S(F )(x) = + (−1)n .
Preliminary 3 n2 π 2
Differential k=1
equations and
partial differential
equations
Fourier Series
this implies
Section 2 :
Laplace’s 1 1 1 1 π2
equation 1+ + + + + · · · = .
Section 2 : 22 32 42 52 6
maximum principle
Question : Deduce
1 1 1
1+ 2
+ 2 + 2 + ....
3 5 7
Euler was able to compute
1 1 1 1 1315862
1+ 26
+ 26 + 26 + 26 + · · · = π 26 .
2 3 4 5 11094481976030578125
24/34
Parseval’s equality
Section 1 :
Preliminary Let F (x) be an arbitrary function defined in [−L, L], we write
Differential
equations and
partial differential ∞
equations
a0 X nπx nπx
Fourier Series
F (x) = + [an cos( ) + bn sin( )]
Section 2 : 2 L L
Laplace’s
n=1
equation
Section 2 :
maximum principle
Theorem 3 : Parseval’s equality claims that
L ∞
a2 X 2
Z
1 2
|F (x)| dx = 0 + [an + bn2 ]
L −L 2
n=1
25/34
A nice application
Section 1 :
Preliminary
Differential
equations and
partial differential
equations Calculate the sum 1 + 214 + 1
34
+ 1
44
+ 1
54
+ ....
Fourier Series
Hint : Recall that we have
Section 2 :
Laplace’s ∞
equation 1 X 4cos(nπx)
Section 2 : x2 = + (−1)n .
maximum principle
3 n2 π 2
k=1
26/34
a nice application
Section 1 :
Preliminary
Differential
equations and
partial differential
equations
Fourier Series
27/34
Homework
Section 1 :
Preliminary
Differential
Exercise 6* : Try to calculate the sum
1 + 216 + 316 + 416 + 516 + . . . .
equations and
partial differential
equations
Fourier Series Hint possibly work ? : Find the Fourier series of the following
Section 2 :
Laplace’s
function defined on the prescribed interval
equation
Section 2 :
maximum principle
x 3 , −1 ≤ x ≤ 1
(
F (x) =
F (x + 2) = F (x).
28/34
Some important Fourier series
Section 1 :
Preliminary
Differential
equations and
partial differential
equations Exercise 6** : Consider
Fourier Series
Section 2 :
Laplace’s f (x) = u0 , 0 ≤ x ≤ L.
equation
Section 2 :
maximum principle
Question 1 : Find the sine series for f .
Question 2 : Find the cosine series for f .
29/34
sine series for f .
Ans
∞
X 2u0 nπx
SF (x) = (1 − (−1)n )sin( ), ∀x ∈ [−L, L]
nπ L
n=1
30/34
cosine series for f
Section 1 :
Preliminary
Differential
equations and
partial differential
equations
Fourier Series
31/34
Harmonic function
∂2u ∂2u
(x, y ) + (x, y ) = 0, ∀(x, y ) ∈ Ω.
∂x 2 ∂y 2
32/34
Examples about Harmonic function
Section 1 :
Preliminary
Differential Example 1 :
equations and
partial differential
equations
Fourier Series u(x, y ) = x 2 − y 2 ,
Section 2 :
Laplace’s
equation is harmonic in any open set of R2 .
Section 2 :
maximum principle Exercise 7* : Prove that
u(x, y ) = Re(x + iy )n , v (x, y ) = Im(x + iy )n , n ≥ 1, n ∈ Z are
Harmonic in any open set of R2 . Check the result at least with
n = 3, 4.
33/34
A Weak maximum principle
Section 1 : Theorem 4 :
Preliminary
Differential Let Ω be an open bounded connected subset of R2 . If
equations and
partial differential
equations
u ∈ C (Ω) is twice continuously differentiable in Ω and
Fourier Series
Section 2 :
Laplace’s
equation ∂2u ∂2u
(x, y ) + (x, y )≥0, ∀(x, y ) ∈ Ω.
∂x 2 ∂y 2
Section 2 :
maximum principle
Then
34/34