Graduate seminar

advertisement
ONE DIMENESIONAL WAVE EQUATIONS
M.Sc. Graduate Seminar
Gemeda Tolessa
November, 2012
Haramaya University
ONE DIMENESIONAL WAVE EQUATIONS
A Graduate Seminar Submitted to the Department of Mathematics,
School of Graduate Studies
HARAMAYA UNIVERSITY
In partial Fulfillment of the Requirement for the Degree of
MASTER OF SCIENCE IN MATHEMTICS
(DIFFERENTIAL EQUATIONS)
By
Gemeda Tolessa
Advisor
Tsegaye Gedif (PhD)
November, 2012
Haramaya University
ii
SCHOOL OF GRADUATE STUDIES
HARAMAYA UNIVERSITY
As member of the Examination Board of the Final M.Sc. Open Defense, we certify that we have
read and evaluated this Graduate Seminar prepared by Gemeda Tolessa Entitled: OneDimensional Wave Equations and recommended that it be accepted as fulfilling the Graduate
Seminar requirements for the Degree of Master of Science in Mathematics.
___________________
Name of Chair person
___________________
_______________
Signature
________________
Name of External Examiner
Signature
__________________
________________
Name of Internal Examiner
_________________
Date
________________
Date
_________________
Signature
Date
Final approval and acceptance of the Graduate Seminar is contingent upon the submission of the
final copy of the Graduate Seminar to the Council of Graduate Studies (CGS) through the
Department Graduate Committee (DGC) of the candidate’s department.
I hereby certify that I have read this Graduate Seminar prepared under my direction and
recommend that it be accepted as fulfilling the Graduate Seminar requirement.
Tsegaye Gedif (Ph.D.)
Name of Advisor
_______________
Signature
ii
_________
Date
PREFACE
The objective of this seminar is to discuss the basic solution techniques associated with the one
Dimensional Wave Equations. It insights the general concepts of One Dimensional Wave
Equations. This seminar deals with a wave equation in one dimensional with methods of
solutions namely method of separation and d’Alembert’s method which may be successfully
applied to solve different types of partial differential equations.
The one-dimensional wave equations can be exactly solved by d'Alembert's solution and
separation of variables. Here, on this seminar paper considerable attention is given to the
techniques of separation of variables and d'Alembert's solution. However, additional methods
such as Laplace transforms, Fourier transforms and integral representations are also possible.
i
ACKNOWLEDGEMENTS
Different people have assisted me in various ways while doing this seminar paper. First and
foremost I would like to express my deepest gratitude to my advisor Dr. Tsegaye Gedif for his
unreserved guidance and immediate feedback. He critically read my draft and gave me critical
comments and constructive suggestions. His comments are insightful.
My special indebtedness goes to my wife, Aberash Gunja and her sympathy, love, morale, and
hospitality they provided me during the study of the whole courses.
ii
LIST OF ABBREVIATIONS
BC : Boundary Conditions
BVP: Boundary Value Problem
NBC: Neumann Boundary Condition
CW: Cauchy Problem
IC : Initial Conditions
ICW: Inhomogeneous Cauchy Problem
IVP: Initial Value Problem
ODE :Ordinary Differential Equation
PDE : Partial Differential Equation
MDW: Mixed Cauchy Problem
𝑐1 : Continuously Differentiable
𝑐 2 : Continuously Differentiable twice
iii
TABLE OF CONTENTS
PREFACE
I
ACKNOWLEDGEMENTS
II
LIST OF ABBREVIATIONS
III
1. 1 INTRODUCTION
1
1.2 Preliminary Concepts
1.2.1 Classification of partial differential equations
1.2.2 The canonical forms of second order partial differential equations
1.2.3 Reduction partial differential equation into a canonical form
1.2.4 Method and Techniques for solving Partial differential equations
2
2
4
4
6
ONE DIMENSIONAL HOMOGENEOUS WAVE EQUATIONS
9
2.1 Derivation of One Dimensional Wave equations
9
2.2 General Solution of wave equations
11
2.3 Initial Value Condition: Cauchy Problem
2.3.1 Domain of Dependence
2.3.2 Domain of Influence
2.3.3 Well-posedness
14
16
17
18
2.4 Separation of Variable
19
2.5 The Wave Equation on the Half line: Reflection Method
21
2.6
23
Mixed Problems for the Wave Equations
ONE - DIMENSIONAL NON-HOMOGENEOUS WAVE EQUATIONS
26
3.1. Initial Condition: Cauchy problem for the Non-homogeneous wave equation 26
3.2. D’Alembert’s Solution for Non-homogeneous Wave Equations
26
3.3 SUMMARY
31
REFERENCES
32
iv
CHAPTER ONE
1. 1 Introduction
Investigations in the theory of wave propagation lead quite naturally to the consideration of a
linear, hyperbolic partial differential equation the wave equation. In 1727, John Bernoulli (16671748) treated the vibrating string problems by imagining the string to be a thread having a
number of equally placed weight along it. However, because his governing equation was time
independent. It was not truly partial differential equation. The French Mathematician Jean Le
Rond Almebrt (1717-1783) derived the One Dimensional Wave equations as we know it today
by letting the number of weight in the Bernoulli ‘s model become infinite while at the same time
allowing the place between them to go to zero . His famous solution widely known as d’ Almbert
solution, appeared around 1746, six years before the separation of variable technique was
introduced by Daniel Bernoulli (1700-1782), Leonard Euler (1707-1783), Bernoulli and Josef
Lous Lagrange (1736-1813) all solved the wave equations in the mid 1700’s by Method of
separation of variables .
Wave equations are examples of hyperbolic partial differential equations. In its simplest form,
the wave equation concerns a time variable t, one spatial variables π‘₯ and a scalar function
𝑒(π‘₯, 𝑑)whose values could model the height of a wave. The one dimensional wave equation has
form
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 0
where π‘₯ is the (spatial) and c is a fixed constant. Solutions of this equation that are initially zero
outside some restricted region propagate out from the region at a fixed speed in one spatial
direction, as do physical waves from a localized disturbance; the constant c is identified with the
propagation speed of the wave. This equation is linear, as the sum of any two solutions is again a
solution: in physics this property is called the superposition principle.
1
1.2 Preliminary Concepts
This chapter introduces basic concepts and definitions for partial differential equations (PDE)
and solutions to a variety of PDEs. Applications of the method of separation of variables a
represented for the solution of second-order PDEs.
Definition1.1: A partial differential equation (PDE) is an equation that1has an unknown function
depending on at least two variables, contains some partial derivatives of the unknown function.
Equations involving one or more partial derivatives of a function of two or more independent
variables are called partial differential equations (PDEs).Well known examples of PDEs are
following.
Notations:
i) 𝑑, π‘₯, 𝑦, 𝑧 ( π‘œπ‘Ÿ 𝑒. 𝑔. π‘Ÿ, πœƒ, ∅) ) – the independent variables (here, t
represents time while the other variables are space coordinates),
ii) 𝑒 = 𝑒(𝑑, π‘₯, , , , ) - the independent variables (the unknown function),
iii) the partial derivatives will be denoted as follows (e.g.)
πœ•π‘’
πœ•π‘’
πœ•2 𝑒
𝑒π‘₯ = πœ•π‘₯ , 𝑒π‘₯𝑦 = πœ•π‘¦πœ•π‘₯, 𝑒π‘₯π‘₯ = πœ•π‘₯ 2 , etc. is used
1.2.1 Classification of partial differential equations
The partial differential equations may be classified by the number of their independent variables,
that is, the number of variables that the unknown function depends on.
Definition 1.2: A PDE is linear if the dependent variable and all its derivatives appear in a linear
form.
Example 1.1:
PDE in two variables: 𝑒𝑑 = 𝑒π‘₯π‘₯ , (𝑒 = 𝑒(𝑑, π‘₯))
1
1
PDE in three variables: 𝑒𝑑 = π‘’π‘Ÿπ‘Ÿ + π‘Ÿ π‘’π‘Ÿ + π‘Ÿ 2 π‘’πœƒπœƒ , 𝑒(𝑒 = 𝑒(𝑑, π‘Ÿ, πœƒ))
PDE in four variables: 𝑒𝑑 = 𝑒π‘₯π‘₯ + 𝑒𝑦𝑧 , (𝑒 = 𝑒(𝑑, π‘₯, 𝑦, 𝑧))
2
Definition 1.3: The order of a partial differential equation is the order of the highest partial
derivative in the equation.
Example 1.2:
First order: 𝑒𝑑 = 𝑒π‘₯ ,
Second order: 𝑒𝑑 = 𝑒π‘₯π‘₯ , 𝑒π‘₯𝑦 = 0
Third order: 𝑒𝑑 + 𝑒𝑒π‘₯π‘₯π‘₯ = sin(π‘₯),
Fourth order: 𝑒π‘₯π‘₯π‘₯ = 𝑒𝑑𝑑
A second –partial differential linear PDE into variables can be written in the following general
form:
𝐴𝑒π‘₯π‘₯ + 𝐡𝑒π‘₯𝑦 + 𝐢𝑒𝑦𝑦 + 𝐷𝑒π‘₯ + 𝐸𝑒𝑦 + 𝐹𝑒 = 𝐺
Where A, B, C, D, E, and F are coefficients, and G is non-homogeneous term. All quantities are
constants or functions of x and y. The second –order linear is either
Hyperbolic: if 𝐡 2 − 4𝐴𝐢 > 0 e.g., heat flow and diffusion-type problems.
Parabolic: if 𝐡 2 − 4𝐴𝐢 = 0 e.g. vibrating systems and wave motion problems.
Elliptic:
if 𝐡 2 − 4𝐴𝐢 < 0 ., steady-state, potential-type problems
Example 1.3: π’šπ’–π’™π’™ + π’–π’šπ’š
> 0 π‘“π‘œπ‘Ÿ 𝑦 < 0 (β„Žπ‘¦π‘π‘’π‘Ÿπ‘π‘œπ‘™π‘–π‘)
= 𝟎 → 𝐡 − 4𝐴𝐢 = −4𝑦 { = 0 π‘“π‘œπ‘Ÿ 𝑦 = 0 (π‘π‘Žπ‘Ÿπ‘Žπ‘π‘œπ‘™π‘–π‘)
< 0 π‘“π‘œπ‘Ÿ 𝑦 > 0 (𝑒𝑙𝑙𝑖𝑝𝑑𝑖𝑐)
2
Definition 1.4: A second-order PDE in two variables (x and t) is linear and homogeneous if it
can be written in the following form
𝐴𝑒π‘₯𝑑 + 𝐡𝑒π‘₯𝑑 + 𝐢𝑒𝑑𝑑 + 𝐷𝑒π‘₯ + 𝐸𝑒𝑑 + 𝐹𝑒 = 0
where the coefficients A, B, C, D, E, and F do not depend on the dependent variable 𝑒 = 𝑒(π‘₯, 𝑑)
any of its derivatives though can be functions of independent variables (π‘₯, 𝑑).
3
1.2.2 The canonical forms of second order partial differential equations
Any second-order linear PDE (in two variables)
𝐴𝑒π‘₯π‘₯ + 𝐡𝑒π‘₯𝑦 + 𝐢𝑒𝑦𝑦 + 𝐷𝑒π‘₯ + 𝐸𝑒𝑦 + 𝐹𝑒 = 𝐺
(where A, B, C, D, E, F, and G are constants or functions of x and y)can be transformed into the
so-called canonical form. This can be achieved by introducing new coordinates
πœ‰ = πœ‰(π‘₯, 𝑦) , πœ‚ = πœ‚(π‘₯, 𝑦)
(in place of x and y) that simplify the equation to its canonical form.
For the hyperbolic PDE (i.e. if 𝐡 2 − 4𝐴𝐢 > 0) ,there are two possibilities
𝒖𝝃𝝃 − π’–πœΌπœΌ = 𝒇(𝝃, 𝜼, 𝒖, 𝒖𝝃 , π’–πœΌ ) , or
π‘’πœ‰πœ‚ = 𝑓(πœ‰, πœ‚, 𝑒, π‘’πœ‰ , π‘’πœ‚ )
For the parabolic PDE (i.e. if 𝐡 2 − 4𝐴𝐢 = 0)
𝒖𝝃𝝃 = 𝒇(𝝃, 𝜼, 𝒖, 𝒖𝝃 , π’–πœΌ )
For the elliptic PDE (i.e. if 𝐡 2 − 4𝐴𝐢 < 0)
𝒖𝝃𝝃 + π’–πœΌπœΌ = 𝒇(𝝃, 𝜼, 𝒖, 𝒖𝝃 , π’–πœΌ )
1.2.3 Reduction partial differential equation into a canonical form
Introduce the new coordinates πœ‰ = πœ‰(π‘₯, 𝑦) and πœ‚ = πœ‚(π‘₯, 𝑦)
𝑒π‘₯ = π‘’πœ‰ πœ‰π‘₯ + π‘’πœ‚ πœ‚π‘₯ , 𝑒𝑦 = π‘’πœ‰ πœ‰π‘¦ + π‘’πœ‚ πœ‚π‘¦
𝑒π‘₯π‘₯ = π‘’πœ‰πœ‰ πœ‰ 2 π‘₯ + 2π‘’πœ‰πœ‚ πœ‰π‘₯ πœ‚π‘₯π‘₯ + π‘’πœ‚πœ‚ πœ‚2 π‘₯ + π‘’πœ‰ 𝑒π‘₯π‘₯ + π‘’πœ‚ 𝑒π‘₯π‘₯ ,
𝑒𝑦𝑦 = π‘’πœ‰πœ‰ πœ‰ 2 𝑦 + 2π‘’πœ‰πœ‚ πœ‰π‘¦ πœ‚π‘¦π‘¦ + π‘’πœ‚πœ‚ πœ‚2 𝑦 + π‘’πœ‰ 𝑒𝑦𝑦 + π‘’πœ‚ 𝑒𝑦𝑦 ,
𝑒π‘₯𝑦 = π‘’πœ‰πœ‰ πœ‰π‘₯ πœ‰π‘¦ + π‘’πœ‰πœ‚ (πœ‰π‘₯ πœ‚π‘¦ + πœ‰π‘¦ πœ‚π‘₯ ) + π‘’πœ‚πœ‚ πœ‚π‘₯ πœ‚π‘¦ + π‘’πœ‰ πœ‰π‘₯𝑦 + π‘’πœ‚ πœ‚π‘₯𝑦 .
Substituting these values into the original equation to obtain a new form
4
Μƒ π‘’πœ‰ + 𝐸̃ π‘’πœ‚ + 𝐹𝑒 = 𝐺
π΄Μƒπ‘’πœ‰πœ‰ + 𝐡̃ π‘’πœ‰πœ‚ + 𝐢̃ π‘’πœ‚πœ‚ + 𝐷
Where the new coefficient are as follows:
𝐴̃ = π΄πœ‰π‘₯ 2 + π΅πœ‰π‘₯ πœ‰π‘¦ + πΆπœ‰π‘¦ 2 ,
𝐡̃ = 2π΄πœ‰π‘₯ πœ‚π‘₯ + 𝐡(πœ‰π‘₯ πœ‚π‘¦ + πœ‰π‘¦ πœ‚π‘₯ ) + 2πΆπœ‰π‘¦ πœ‚π‘¦
Μƒ = π΄πœ‰π‘₯π‘₯ + π΅πœ‰π‘₯𝑦 + πΆπœ‰π‘¦π‘¦ + π·πœ‰π‘₯ + πΈπœ‰π‘¦,
𝐢̃ = π΄πœ‚π‘₯ 2 + π΅πœ‚π‘₯ πœ‚π‘¦ + πΆπœ‚π‘¦ 2 , 𝐷
𝐸̃ = π΄πœ‚π‘₯π‘₯ + π΅πœ‚π‘₯𝑦 + πΆπœ‚π‘¦π‘¦ + π·πœ‚π‘₯ + πΈπœ‚π‘¦,
πœ‰ = πœ‰(π‘₯, 𝑦) , πœ‚ = πœ‚(π‘₯, 𝑦).
Introducing the new coordinates
Μƒ π‘’πœ‰ + 𝐸̃ π‘’πœ‚ + 𝐹𝑒 = 𝐺
π΄Μƒπ‘’πœ‰πœ‰ + 𝐡̃ π‘’πœ‰πœ‚ + 𝐢̃ π‘’πœ‚πœ‚ + 𝐷
To find the coefficients 𝐴̃, 𝐡̃, 𝐢̃ , and solve for πœ‰ and πœ‚.
Using the new coordinate for the coefficients and homogenous part (to replace π‘₯ = π‘₯(πœ‰, πœ‚) and
𝑦 = π‘₯(πœ‰, πœ‚)) in the new canonical form
For the hyperbolic equation the canonical form
π‘’πœ‰πœ‚ = 𝑓(πœ‰, πœ‚, 𝑒, π‘’πœ‰ , π‘’πœ‚ )
is achieved by setting 𝐴̃,= 𝐡̃ = 𝐢̃ =0 ,
𝐴̃ = π΄πœ‰π‘₯ 2 + π΅πœ‰π‘₯ πœ‰π‘¦ + 𝐢 = 0 , ̃𝐢 = π΄πœ‚π‘₯ 2 + π΅πœ‚π‘₯ πœ‚π‘¦ + πΆπœ‚π‘¦ 2 ,
This can be written as
πœ‰
2
πœ‰
𝑦
πœ‰π‘₯
πœ‰π‘¦
𝑦
and
πœ‚π‘₯
πœ‚π‘¦
πœ‰π‘¦
=
−𝐡+√𝐡2 −4𝐴𝐢
2𝐴
,
πœ‚π‘₯
πœ‚π‘¦
=
5
𝑦
, we find the so called characteristic
equations:
πœ‰π‘₯
πœ‚
𝐴 (πœ‚π‘₯ ) + 𝐡 (πœ‚π‘₯ ) + 𝐢 = 0,
𝑦
Solving these two quadratic equations for
2
πœ‚
𝐴 (πœ‰π‘₯ ) + 𝐡 (πœ‰π‘₯ ) + 𝐢 = 0,
−𝐡−√𝐡2 −4𝐴𝐢
2𝐴
The new coordinates equated to constant values define the parametric lines of the new
coordinates .That means that the total derivative s are zero, i.e.,
πœ‰(π‘₯, 𝑦) = π‘π‘œπ‘›π‘ π‘‘π‘Žπ‘›π‘‘
→ π‘‘πœ‰ = πœ‰π‘₯ 𝑑π‘₯ + πœ‰π‘¦ 𝑑𝑦 = 0 →
πœ‚(π‘₯, 𝑦) = π‘π‘œπ‘›π‘ π‘‘π‘Žπ‘›π‘‘
→ π‘‘πœ‚ = πœ‚π‘₯ 𝑑π‘₯ + πœ‚π‘¦ 𝑑𝑦 = 0 →
𝑑𝑦
𝑑π‘₯
𝑑𝑦
𝑑π‘₯
πœ‰ ,
= − πœ‰π‘₯
𝑦
πœ‚ ,
= − πœ‚π‘₯
𝑦
and can be easily integrated to find the implicit solution , πœ‰(π‘₯, 𝑦) = π‘π‘œπ‘›π‘ π‘‘. and
πœ‚(π‘₯, 𝑦) = π‘π‘œπ‘›π‘ π‘‘. that is, the new coordinates ensuring the simple canonical form of the PDE.
1.2.4 Method and Techniques for solving Partial differential equations
In developing a solution to a partial differential equation by separation of variables, one assume
that it is possible to separate the contributions of the independent variables into separate
functions that each involve only one independent variable. For example, consider the dependent
variable u that depends on independent variables t and x as specified in the following partial
differential equation and restricting conditions (i.e., one initial and two boundary conditions)
πœ•π‘’
πœ•π‘‘ 2
=
πœ•2 𝑒
𝑑 > 0 π‘Žπ‘›π‘‘ 0 < π‘₯ < 𝐿
πœ•π‘‘ 2
𝑒(π‘₯, 0) = 0
I.C
B.C.1:
B.C.2:
πœ•π‘’
πœ•π‘‘
π‘Žπ‘‘ 𝑑 = 0 for
(π‘œ, 𝑑) = 0
(.1.1)
0<π‘₯<𝐿
π‘Žπ‘‘ π‘₯ = 0 for 𝑑 > 0
𝑒(𝑙, 𝑑) = 0
π‘Žπ‘‘ π‘₯ = 𝐿 for 𝑑 > 0
To solve this problem by applying separation of variables we have assume that:
𝑒(π‘₯, 𝑑) = 𝑋(π‘₯)𝑇(𝑑)
(1.2)
Differentiating (1.2) twice with respect to x and t and substiituting in the equation (1.1) we
obatian:
𝑋(π‘₯)π‘‡Μˆ(𝑑) = π‘‹Μˆ(π‘₯)𝑇(𝑑),
6
Or
π‘‡Μˆ (𝑑)
π‘‹Μˆ (π‘₯)
𝑐 2 𝑇(𝑑)
= 𝑋(π‘₯) , thus the equality is one of the functions of different variables,so both
π‘‡Μˆ (𝑑)
quotients have to be constant.Say
𝑇(𝑑)
π‘‹Μˆ (π‘₯)
2
= 𝑋(π‘₯) =  ,then we can solve each ordinarydifferential
2
2
equation separatly.We have the followwing three cases: −  ,  , π‘Žπ‘›π‘‘  ο€½ 0 .
Case 1. When the constant is , −  ,then the solution for
2
π‘‹Μˆ (π‘₯)
𝑋(π‘₯)
= −  , π‘Žπ‘Ÿπ‘’:
2
𝑋(π‘₯) = 𝑐1 𝑠𝑖𝑛(πœ†π‘₯) + 𝑐2 π‘π‘œπ‘ (πœ†π‘₯)π‘Žπ‘›π‘‘ π‘‘β„Žπ‘’ π‘ π‘œπ‘™π‘’π‘‘π‘–π‘œπ‘› π‘“π‘œπ‘Ÿ
π‘‡Μˆ(𝑑)
= −πœ†2 , π‘Žπ‘Ÿπ‘’:
𝑇(𝑑)
𝑇(𝑑) = 𝑑1 𝑠𝑖𝑛(πœ†π‘‘) + 𝑑2 π‘π‘œπ‘ (πœ†π‘‘).Then
Then , 𝑒(π‘₯, 𝑑) = (𝑑1 𝑠𝑖𝑛(πœ†π‘‘) + 𝑑2 π‘π‘œπ‘ (πœ†π‘‘))(𝑐1 𝑠𝑖𝑛(πœ†π‘₯) + 𝑐2 π‘π‘œπ‘ (πœ†π‘₯)).
Case 2. When the constant is πœ†2 ,then the solution for
π‘‹Μˆ(π‘₯)
𝑋(π‘₯)
=
 2 , π‘Žπ‘Ÿπ‘’:
𝑋(π‘₯) = 𝑐1 𝑒 πœ†π‘₯ + 𝑐2 𝑒 −πœ†π‘₯ π‘Žπ‘›π‘‘ π‘‘β„Žπ‘’ π‘ π‘œπ‘™π‘’π‘‘π‘–π‘œπ‘›π‘“π‘œπ‘Ÿ
π‘‡Μˆ(𝑑)
= πœ†2 , π‘Žπ‘Ÿπ‘’:
𝑇(𝑑)
𝑇(𝑑) = 𝑑1 𝑒 πœ†π‘‘ + 𝑑2 𝑒 −πœ†π‘‘ .Then𝑒(π‘₯, 𝑑) = (𝑑1 𝑒 πœ†π‘‘ + 𝑑2 𝑒 −πœ†π‘‘ )(𝑐1 𝑒 πœ†π‘₯ + 𝑐2 𝑒 −πœ†π‘₯ )
Case 3.When the constant is 0,thenthe equations becomeπ‘₯̈ (π‘₯) = π‘‡Μˆ(𝑑) = 0, and
𝑋(π‘₯) = 𝑐1 π‘₯ + 𝑐2 ,and 𝑇(𝑑) = 𝑑1 𝑑 + 𝑑2 .
Then, 𝑒(π‘₯, 𝑑) = (𝑑1 𝑑 + 𝑑2 )(𝑐1 π‘₯ + 𝑐2 )
Definition 1.9 A function𝑓(𝑑) is piecewise continuous on an interval[π‘Ž, 𝑏] if the interval can be
partitioned by a finite number of points π‘Ž = 𝑑0 < 𝑑 < 𝑑1 < 𝑑𝑛 = 𝑏 so that
a. 𝑓(𝑑) is continuous on each subinterval(𝑑𝑖−1 , 𝑑𝑖 )
b. 𝑓(𝑑) approaches a finite limit as the endpoints of each subinterval are approached
from both side within the interval.
Here is the graph of piecewise continuous function 𝑑
𝑓𝑖𝑔. 1.1
7
`
Here is example of a piecewise continuous functions:
π‘₯ + 4 ,π‘₯ ≥ 0
𝑓(π‘₯)={π‘₯ 2 , 0 < π‘₯ < 5
7,
π‘₯≥5
In other words, a piecewise continuous function is a function that has a finite number of breaks
in it and doesn’t blow up to infinity anywhere.
Definition 1.10: A function is f(x) is "even" when:
f(x) = f(-x) for all x
In other words there is symmetry about the y-axis
Fig 1.2
Definition 1.11 A function f(x) is "odd" when:
f(-x) = -f(-x) for all x
And we get origin symmetry
Fig 1.3
8
CHAPTER TWO
One Dimensional Homogeneous Wave equations
2.1 Derivation of One Dimensional Wave equations
When deriving a differential equation corresponding to a given physical problems, we usually
have to make simplified assumptions to ensure that the resulting equation does not become too
complicated. We know these important facts from the ordinary and partial differential equations.
To derive one – dimensional wave equations, we assume the following assumptions. Consider a
flexible string of length 𝐿 tightly stretched between two points π‘₯ = 0 and π‘₯ = 𝐿 on the π‘₯–axis,
with its ends. To determine its deflections (displacement from π‘₯–axis) at any point π‘₯ and at any
time 𝑑, let us take the following assumptions:
1. The string is uniform. ( i.e. its mass per length is constant)
2. The string is perfectly elastic and so offers no resistance to any bending.
3. The tension is too large that the action of gravitational force on the string is negligible.
4. The motion of the string is a small transverse in a vertical.( i.e. each particle of the
string moves strictly in vertical plane)
5. No other forces acting on the string.
Under this assumptions we may expect the solution 𝑒(π‘₯, 𝑑) of the differential equation to be
obtained and will reasonably well describe small vibration of the physical ‘’ no idealized ‘’ string
of small homogenous under a large tension.
To obtain the differential equation we consider the force acting on small portion of the string
(Fig.2.1). Since the string does not offer resisting to bending, tension is tangential to the curve of
the string at each point. Let 𝑇1 and 𝑇2 be the tensions at the points 𝑃 and 𝑄 of the portions.
9
Since there is no motion in the horizontal direction, the horizontal component of the tension must
be constant.
𝑒(π‘₯, 𝑑)
Q
𝛼
𝛽
𝑇2
p
𝑇1
𝐹𝑖𝑔. 2.1
0
π‘₯
βˆ†π‘₯
𝐿
Using the notations in fig 2.1, we obtain
𝑇1 π‘π‘œπ‘ π›Ό = 𝑇2 π‘π‘œπ‘ π›½ = 𝑇 = π‘π‘œπ‘›π‘ π‘‘π‘Žπ‘›π‘‘
(2.1)
By Newton’s second law of motion, the resultant of these two forces is equal the mass πœŒβˆ†π‘₯ of
the portion times the acceleration(π‘Ž =
πœ•2 𝑒
πœ•π‘‘ 2
),evaluated at some point between π‘₯ and π‘₯ + βˆ†π‘₯; here
𝜌 is the mass of undeflected string per length, βˆ†π‘₯ is the length of the portion the undeleted
string. Hence
πœ•2 𝑒
𝑇1 𝑠𝑖𝑛𝛼 − 𝑇2 𝑠𝑖𝑛𝛽 = πœŒβˆ†π‘₯ πœ•π‘‘ 2
(2.2)
Using equation (2.1) we can divide this by 𝑇1 π‘π‘œπ‘ π›Ό = 𝑇2 π‘π‘œπ‘ π›½ = 𝑇 , obtaining
𝑇1 𝑠𝑖𝑛𝛼
𝑇1𝐢𝑂𝑆𝛼
πœ•2 𝑒
𝑇 𝑠𝑖𝑛𝛽
− 𝑇2π‘π‘œπ‘ π›½ = π‘‘π‘Žπ‘›π›Ό − π‘‘π‘Žπ‘›π›½ = πœŒβˆ†π‘₯ πœ•π‘‘ 2
(2.3)
2
Now, π‘‘π‘Žπ‘›π›Ό and π‘‘π‘Žπ‘›π›½ are slope of the string at π‘₯and π‘₯ + βˆ†π‘₯ respectively.
πœ•π‘’
πœ•π‘’
π‘‘π‘Žπ‘›π›Ό = (πœ•π‘₯ ) , π‘‘π‘Žπ‘›π›½ = (πœ•π‘₯ )
π‘₯
π‘₯+βˆ†π‘₯
Here, we have to write partial derivatives because 𝑒 also depends on 𝑑 .
Dividing equation (2.3)
byβˆ†π‘₯ , thus we have
1 πœ•π‘’
πœ•π‘’
𝜌 πœ• 2𝑒
[( ) − ( )
]=
βˆ†π‘₯ πœ•π‘₯ π‘₯
πœ•π‘₯ π‘₯+βˆ†π‘₯
𝜏 πœ•π‘‘ 2
10
πœ• 2𝑒 𝜌 πœ• 2𝑒
=
πœ•π‘₯ 2 𝑇 πœ•π‘‘ 2
πœ• 2𝑒 𝑇 πœ• 2𝑒
=
πœ•π‘‘ 2 𝜌 πœ•π‘₯ 2
If we let βˆ†π‘₯ approaches to zero, we obtain the linear partial differential equation.
πœ• 2𝑒
πœ• 2𝑒
2
=𝑐
,
πœ•π‘‘ 2
πœ•π‘₯ 2
π‘€β„Žπ‘’π‘Ÿπ‘’ 𝑐 2 =
𝑇
,
𝜌
𝑇 𝑖𝑠 𝑏𝑒𝑖𝑛𝑔 π‘‘β„Žπ‘’ π‘‘π‘’π‘›π‘ π‘–π‘œπ‘› π‘Žπ‘›π‘‘ ρ π‘‘β„Žπ‘’ π‘™π‘–π‘›π‘’π‘Žπ‘Ÿ 𝑑𝑒𝑛𝑠𝑖𝑑𝑦,
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 0
(2.4)
This is the so called One Dimensional Wave Equation, which governs our problems we see that
it is homogenous and of the second order. The notation 𝑐 2 (in stead of 𝑐) for the physical
constant
𝑇
𝜌
has been chosen to indicate that this constant is positive. “One Dimensional’’
indicates that the equation involves only one space variable π‘₯.
2.2 General Solution of wave equations
The partial differential equation
πœ•2 𝑒
πœ•π‘‘ 2
πœ•2 𝑒
= 𝑐 2 πœ•π‘₯ 2
(2.5)
Definition 2.1. The solutions of (2.5) are called the two families of characteristics of the
equation.
The equation (2.5) can be written as
(
πœ•
πœ•
πœ•
πœ•
πœ•
πœ•
−𝑐 )( + 𝑐 )𝑒 = 0
πœ•π‘‘
πœ•π‘₯ πœ•π‘‘
πœ•π‘₯
πœ•
πœ•
(πœ•π‘‘ + 𝑐 πœ•π‘₯) = 0or (πœ•π‘‘ − 𝑐 πœ•π‘₯) = 0
11
(2.6)
The integrals are straight lines
π‘₯ + 𝑐𝑑 = 𝑐1, π‘₯ − 𝑐𝑑 = 𝑐2
Introducing the characteristic coordinates
π‘₯ + 𝑐𝑑 = πœ‰ ,π‘₯ − 𝑐𝑑 = πœ‚
πœ•π‘’ πœ•π‘’ πœ•πœ‰ πœ•π‘’ πœ•πœ‚ πœ•π‘’
πœ•π‘’
πœ•π‘’ πœ•π‘’
(1) +
(1) =
=
+
=
+
πœ•π‘₯ πœ•πœ‰ ∂x πœ•πœ‚ ∂x πœ•πœ‰
πœ•πœ‚
πœ•πœ‰ πœ•πœ‚
πœ•π‘’ πœ•π‘’ πœ•πœ‰ πœ•π‘’ πœ•πœ‚ πœ•π‘’
πœ•π‘’
πœ•π‘’
πœ•π‘’
πœ•π‘’ πœ•π‘’
=
+
= (1) + (1) = (𝑐) + (−𝑐) = 𝑐 ( − )
πœ•π‘‘ πœ•πœ‰ ∂t πœ•πœ‚ ∂t πœ•πœ‰
πœ•πœ‚
πœ•πœ‰
πœ•πœ‚
πœ•πœ‰ πœ•πœ‚
ο‚Ά 2u ο‚Ά 2u
ο‚Ά 2u ο‚Ά 2u
ο€½
2

ο‚Άx 2 ο‚Άο₯ 2
ο‚Άndο₯ ο‚Άn 2
(2.7)
2
ο‚Ά 2u
ο‚Ά 2u ο‚Ά 2u οƒΆ
2 ο‚Ά u

ο€½c  2 ο€­2
 2 οƒ·οƒ·
ο‚Άt 2
ο‚Ά

ο‚Ά
nd

ο‚Άn οƒΈ

2.8
Substituting in eq. (2.5)
 ο‚Ά 2u
 ο‚Ά 2u
ο‚Ά 2u ο‚Ά 2u οƒΆ
ο‚Ά 2u ο‚Ά 2u οƒΆ
οƒ·
c 2  2 ο€­ 2
 2 οƒ·οƒ· ο€½ c 2  2  2

ο‚Άnd ο‚Άn οƒΈ
ο‚Άnd ο‚Άn 2 οƒ·οƒΈ
 
 
ο‚Ά 2u
4c
ο€½0

ο‚Ά 2u
ο€½ 0, c ο‚Ή 0

2
( 2.9)
(2.9) is called the canonical form of one dimensional wave equation
Integrating (2.9) with respect to πœ‚
πœ•
πœ•π‘’
∫ πœ•πœ‚ ( πœ•πœ‰ ) π‘‘πœ‚=∫ 0π‘‘πœ‚
ο‚Άu
ο€½ g ( )

where g is a function
12
Further integrating with respect to πœ‰
u ο€½  g ( )d  c( )
Relabeling in more conventional notation gives
u ( , ) ο€½ F ( )  G ( )
where 𝐹 is an arbitrary function and 𝐺(πœ‚) = ∫ 𝑔(πœ‚)𝑑 πœ‚. Hence the general solution of (2.5) has
the form
𝑒(π‘₯, 𝑑) = 𝐹(π‘₯ + 𝑐𝑑) + 𝐺(π‘₯ − 𝑐𝑑)
(2.10)
The function 𝐹(π‘₯ + 𝑐𝑑)is a wave traveling to the left with the same speed, and it is called a
backward wave. Indeed c can be called the wave speed. Equation (2.10) demonstrates that any
solution of the wave equation is the sum of two such traveling waves. This observation will
enable us to obtain graphical representations of the solutions (the graphical method)
Let us further discuss the general solution (2.12) Consider the (x, t) plane. The following two
families of lines are called the characteristics of the wave equation. For the wave equation, the
1
characteristics are straight lines in the (π‘₯, 𝑑)plane with slopes ± 𝑐 .
t
x ο€­ ct ο€½ 
x  ct ο€½ 
t


x
π‘­π’Šπ’ˆ2.2
13
x
2.3 Initial Value Condition: Cauchy Problem
The approach to the solution of PDE (One dimensional wave equations) has some similarity to
the case of an ODE. That is, after we solve for the general solution of the PDE itself, we apply
the prescribed auxiliary conditions in order to find the particular solution. Specifically, after the
general solution is found in terms of the arbitrary functions F and G , we proceed to find the
particular solution by finding the specific form of the arbitrary functions F and G that also satisfy
the prescribed auxiliary conditions.
Definition 2.2 Finding those solutions that satisfy the initial conditions (initial data) is called the
Cauchy problem.
To describe the motion of the string completely it is necessary also to specify suitable initial and
boundary conditions for the displacement of 𝑒(π‘₯, 𝑑). The ends are assumed to be fixed, and
therefore the boundary conditions are:
𝑒(π‘₯, 0) = 0,
(2.11)
𝑒(𝐿, 𝑑) = 0, 𝑑 ≥ 0
(2.12)
Since the differential equation (2.1) is of the second order with respect to 𝑑 , it is plausible to
prescribe two initial conditions .
𝑒(π‘₯, 0) = 𝑓(π‘₯), 0 ≤ π‘₯ ≤ 𝐿
(2.13)
The Cauchy initial value problem for the wave equation is to find a 𝐢 2 solution of
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 0
𝑒(π‘₯, 0) = 𝛼(π‘₯), 𝑒𝑑 (π‘₯, 0) = 𝛽(π‘₯)
𝛼, 𝛽 ∈ 𝐢 2 (−∞, ∞)are given
THEOREM 2.1 There exists a unique solution of the Cauchy initial value problem and this
solution is given by d’Alembert’s formula
1
1
π‘₯+𝑐𝑑
𝑒(π‘₯, 𝑑) = 2 [𝛼(π‘₯ − 𝑐𝑑) + 𝛼(π‘₯ + 𝑐𝑑)] + 2𝑐 ∫π‘₯−𝑐𝑑 𝛽(𝑠)𝑑𝑠
where 𝛼(π‘₯) ∈ 𝐢 2 , 𝛽(π‘₯) ∈ 𝐢 1
𝑒(π‘₯, 0) = 𝛼(π‘₯)
𝑒𝑑 (π‘₯, 0) = 𝛽(π‘₯)
14
(2.14)
Proof. Assume there is a solution 𝑒(π‘₯, 𝑑)of the Cauchy initial value problem, then it
follows from (2.14) that
𝑒(π‘₯, 0) = 𝑓(π‘₯) + 𝑔(π‘₯) = 𝛼(π‘₯)
(2.15)
𝑒𝑑 (π‘₯, 0) = 𝑐𝑓 ′ (π‘₯) − 𝑐𝑔′ (π‘₯) = 𝛽(π‘₯)
(2.16)
From (2.15 ) we obtain
𝑓 ′ (π‘₯) + 𝑔′ (π‘₯) = 𝛼 ′ (π‘₯).
Which implies, together with (2.16 )
𝑐𝛼′ (π‘₯)+𝛽(π‘₯)
𝑐
𝑓 ′ (π‘₯) =
2
𝑐𝛼′ (π‘₯)−𝛽(π‘₯)
𝑐
𝑔′ (π‘₯) =
2
Then
𝑓(π‘₯) =
𝛼(π‘₯) 1 π‘₯
+ ∫ 𝛽(𝑠) 𝑑𝑠 + 𝐢1
2
2𝑐 0
𝑔(π‘₯) =
𝛼(π‘₯) 1 π‘₯
− ∫ 𝛽(𝑠) 𝑑𝑠 + 𝐢2.
2
2𝑐 0
The constants 𝐢1 ,𝐢2 satisfy
𝐢1 + 𝐢2 = 𝑓(π‘₯) + 𝑔(π‘₯) − 𝛼(π‘₯) = 0,
𝑒(π‘₯, 𝑑) =
1
1 π‘₯+𝑐𝑑
[𝛼(π‘₯ − 𝑐𝑑) + 𝛼(π‘₯ + 𝑐𝑑)] + ∫
𝛽(𝑠) 𝑑𝑠
2
2𝑐 π‘₯−𝑐𝑑
This completes the proof.
Thus each solution of the Cauchy initial value problem is given by d’Alembert’s formula. On the
other hand, the function 𝑒(π‘₯, 𝑑) defined by the right hand side of (2.14) is a solution of the initial
value problem.
Example 2.1 Solve the following Cauchy Problem
𝑒𝑑𝑑 − 𝑒π‘₯π‘₯ = 0, (π‘₯, 𝑑)πœ–β„› × (0, 𝑑)
𝑒(π‘₯, 0) = π‘π‘œπ‘ π‘₯
𝑒𝑑 (π‘₯, 0) = π‘₯
Solution:
By (2.14) Putting 𝑐 = 1 and 𝛼(π‘₯) = π‘π‘œπ‘ π‘₯
π‘π‘œπ‘ (π‘₯ + 𝑑) + π‘π‘œπ‘ (π‘₯ − 𝑑) 1 π‘₯+𝑑
𝑒(π‘₯, 𝑑) =
+ ∫ π‘₯𝑑𝑠
2
2 π‘₯−𝑑
= π‘π‘œπ‘ π‘₯π‘π‘œπ‘ π‘‘ + π‘₯𝑑
15
Remark. π‘π‘œπ‘ (𝐴 + 𝐡) = π‘π‘œπ‘ π΄π‘π‘œπ‘ π΅ − 𝑠𝑖𝑛𝐴𝑠𝑖𝑛𝐡
Example: 2.2 Let u ( x, t ) be a solution of the wave equation
u tt ο€­ c 2 u xx ο€½ 0 ,
This is defined in the whole plane. Assume that u is constant x ο€½ 2  ct.
Prove that u t  u x ο€½ 0 .
Proof. The solution u ( x, t ) has the form
Since u2  ct , t  ο€½ constant, it follows that f (2  2ct )  g (2) =constant
Set s ο€½ 2  2ct , we have f (s ) =constant. Consequently
u ( x, t ) ο€½ g ( x ο€­ ct ) Computing now the
expression u t  cu x , we obtain
u t  cu x = cf ' x  ct  ο€­ cg ' x ο€­ ct  ο€½ 0
Example: 2.3 Find the solution ux, t  of the Cauchy problem
u xx  utt ο€½ 0 u x,0 ο€½ x 2 , u t  x,0  ο€½ 4 x 2 .
Solution: Since f ( x) ο€½ x 2 , g ( x) ο€½ 4 x 2 , the D’Almebert formula yields
u  x, t  ο€½
x  t 2  x ο€­ t 2  x  t 4 ο€­ x ο€­ t 4
2
2.3.1 Domain of Dependence
Definition 2.4 The value of u at any point (x0,t0) depends only on the initial data f and g (t=0) in
a certain interval called the domain of dependence of u at (x0,t0) , which is given by [x0-ct0,
x0+ct0].The value 𝑒 at (π‘₯0 , 𝑑0 )is determined by the restriction of initial functions 𝑓 and 𝑔in the
interval [π‘₯0 − 𝑐𝑑0 , π‘₯0 + 𝑐𝑑0 ]on the π‘₯ −axis, whose end points are cut out by the
characteristics: π‘₯ − π‘₯0 = ±(𝑑 − 𝑑0 ),
16
through the point(π‘₯0, 𝑑0 ). The characteristic triangle βˆ†(π‘₯0 , 𝑑0 )is defined as the triangle ℜ × ℜ+
in with vertices
𝐿(π‘₯0 − 𝑐𝑑0 , 0),𝐡(π‘₯0 + 𝑐𝑑0 , 0) , 𝑅(π‘₯0 , 𝑑0 )
For every (π‘₯1 , 𝑑1 ) ∈ βˆ†(π‘₯0, 𝑑0 )
[π‘₯1 − 𝑐𝑑1 , π‘₯1 + 𝑐𝑑1 ] c [π‘₯0 − 𝑐𝑑0 , π‘₯0 + 𝑐𝑑0 ], βˆ†(π‘₯1, 𝑑1 ) c βˆ†(π‘₯0, 𝑑0 )
and (π‘₯1 , 𝑑1 ) is determined by the values 𝑓 and 𝑔 on [π‘₯1 − 𝑐𝑑1 , π‘₯1 + 𝑐𝑑1 ]
𝐹𝑖𝑔. 2.3
Example 2.4 For the Cauchy probblem
𝑒π‘₯π‘₯ − 𝑒𝑑𝑑 = 0 , 𝑒(π‘₯, 0) = π‘₯ 2 , 𝑒𝑑 (π‘₯, 0) = 4π‘₯ 3
The domain of dependence with respect to the point (−3,5) is −8 ≤ π‘₯ ≤ 2.
2.3.2 Domain of Influence
Definition 2.5 Given an interval [a , b] of x at the initial time, we also find that the initial data in this
interval can only affect the value of u in a limited region of the domain called the domain of influence of
the interval [a , b] .
The point(π‘₯0 , 0)on the π‘₯ − axis influence the value of 𝑒 at (π‘₯, 𝑑) in the wedge –shaped region.
𝐼(π‘₯0 ) = {(π‘₯, 𝑑): π‘₯0 − 𝑐𝑑 ≤ π‘₯ ≤ π‘₯0 + 𝑐𝑑, 𝑑 ≥ 0}.
17
For any
𝑃1 (π‘₯1, 𝑑1 ) ∈ 𝐼(π‘₯0 ), βˆ†(π‘₯1, 𝑑1 ) ∩ 𝐼(π‘₯0 ) ≠ ∅
𝑃1 (π‘₯1, 𝑑1 )  𝐼(π‘₯0 ), βˆ†(π‘₯1, 𝑑1 ) ∩ 𝐼(π‘₯0 ) = ∅
These are the points inside the forward (truncated) characteristic cone that is defined by the
base[π‘Ž, 𝑏] and the edges π‘₯ + 𝑐𝑑 = π‘Ž, π‘₯ − 𝑐𝑑 = 𝑏(it is the union of the regions I–IV of 𝐹𝑖𝑔. 2.4)
π‘­π’Šπ’ˆ. 𝟐. πŸ’
2.3.3 Well-posedness
Definition 2.6 The problems are well- posed in the sense of Hadamard if the following three
conditions are satisfied:
(i)
There exists a solution;
(ii)
The solution is unique;
(iii)
The solution is stable.
Statement (iii) means that small variations of the initial data yield small variations on the
corresponding solutions. This is also referred to as continuous dependence upon the initial data.
The meaning of small variation is made precise in terms of the topology suggested by the
problem. A problem that does not satisfy any one of these conditions is called ill-posed.
Example 2.5: For second order hyperbolic PDE problems ,the vibrating string is the most
frequently use as an example of a well- posed problem. If we think of 𝑒(π‘₯, 𝑑) as a vibrating as
representing the vertical displacement at position π‘₯ and time 𝑑 of an ideal string which is static
equilibrium occupies the horizontal line joining π‘₯ = 0and π‘₯ = 𝐿.Then the following IBVP
models the movement of the string subject to an initial displacement given 𝑓(π‘₯)and initial
velocity given by 𝑔(π‘₯).
18
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 0,
0 < π‘₯ < 𝐿 ,𝑑 > 0
𝑒(π‘₯, 0) = 𝑓(π‘₯), 0 < π‘₯ < 𝐿
𝑒𝐭 (π‘₯, 0) = 𝑔(π‘₯), 0 < π‘₯ < 𝐿
𝑒(0, 𝑑) = 0, 𝑑 > 0
𝑒(𝐿, 𝑑) = 0, 𝑑 > 0
Example2.6 An example of ill-posed, second order hyperbolic problem.
A dramatic example of an ill-posed, second order hyperbolic PDE is given by the following BVP
for the one dimensional wave equation. It can be shown that if 𝑇 is irrational, then the only
solution of this BVP for the wave equation is identically zero; whereas if 𝑇 is rational, the
problem has infinitely many non-trivial solution. This solution fails to depend continuously on
the data mainly on the size of the region on which the problem is stated.
2.4 Separation of Variable
If we we tie the string at both ends we can have the following boundary conditions:
𝑒(0, 𝑑) = 𝐴(𝑑), 𝑒(𝐿, 𝑑) = 𝐡(𝑑),Where 𝐴 ,𝐡 are 𝐢 1 piecewice functions .When the
boundary values 𝐴 and 𝐡 are 0 we obtian the Dirichlet Problem for wave equation:
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 0,0 < π‘₯ < 𝐿, 𝑑 > 0 Differential Equation(DE)
𝑒(0, 𝑑) = 0, 𝑒(𝐿, 𝑑) =0
𝑑 > 0 Boundary Condtion(BC)
u(x, 0) = f(x), ut (x, 0) = g(x) ,0 < π‘₯ < 𝐿 Initial Condition (IC)
THEOEREM 2.2A soluton of the wave problem:
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 0,0 < π‘₯ < 𝐿, 𝑑 > 0
𝑒(0, 𝑑) = 0, 𝑒(𝐿, 𝑑) =0
(𝐷𝐸)
𝑑 > 0( 𝐡𝐢 )
𝑒(π‘₯, 0) = 𝑓(π‘₯), 𝑒𝑑 (π‘₯, 0) = 𝑔(π‘₯) ,0 < π‘₯ < 𝐿
𝐿(𝐼𝐢 )
is given by:
∞
𝑒(π‘₯, 𝑑) = ∑ [𝐴𝑛 𝑠𝑖𝑛 (
𝑛=1
π‘€β„Žπ‘’π‘Ÿπ‘’: 𝑓(π‘₯) =
π‘›πœ‹π‘π‘‘
∑∞
𝑛=1 𝐡𝑛 𝑠𝑖𝑛 (
∞
𝐿
π‘›πœ‹π‘π‘‘
π‘›πœ‹π‘π‘‘
π‘›πœ‹π‘
) + 𝐡𝑛 π‘π‘œπ‘  (
)] 𝑠𝑖𝑛 (
),
𝐿
𝐿
𝐿
) , π‘Žπ‘›π‘‘
πœ‹π‘›π‘₯
Μ‡ 𝐡𝑛 π‘Žπ‘Ÿπ‘’ 𝑔𝑖𝑣𝑒𝑛 𝑏𝑦 ∢
) . π‘‡β„Žπ‘’ π‘π‘œπ‘’π‘“π‘“π‘–π‘π‘–π‘’π‘›π‘‘π‘  𝐴𝑛 π‘Žπ‘›π‘‘
𝐿
𝑔(π‘₯) = ∑ 𝐴𝑛 𝑠𝑖𝑛 (
𝑛=1
19
2 𝐿
π‘›πœ‹π‘₯
2 𝐿
π‘›πœ‹π‘₯
𝐡𝑛 = ∫ 𝑓(π‘₯) 𝑠𝑖𝑛 (
) , 𝐴𝑛 = ∫ 𝑔(π‘₯) 𝑠𝑖𝑛 (
).
𝐿 0
𝐿
𝐿 0
𝐿
Proof. Let’s take a look at the boundary conditions:
𝑒(0, 𝑑) = 0, 𝑒(𝐿, 𝑑) =0
The only solution for 𝑒(π‘₯, 𝑑) that satisfy them is
𝑒(π‘₯, 𝑑) = (𝑑1 𝑠𝑖𝑛(πœ†π‘π‘‘) + 𝑑2 π‘π‘œπ‘ (πœ†π‘π‘‘))(𝑐1 𝑠𝑖𝑛(πœ†π‘₯) + 𝑐2 𝐢𝑂𝑆(πœ†π‘₯)), and the boundary
conditions translated into:
(𝑑1 𝑠𝑖𝑛(πœ†π‘π‘‘) + 𝑑2 π‘π‘œπ‘ (πœ†π‘π‘‘))(𝑐1 𝑠𝑖𝑛(0) + 𝑐2 𝐢𝑂𝑆(0)) = 0
(𝑑1 𝑠𝑖𝑛(πœ†π‘π‘‘) + 𝑑2 π‘π‘œπ‘ (πœ†π‘π‘‘))(𝑐1 𝑠𝑖𝑛(πœ†πΏ) + 𝑐2 𝐢𝑂𝑆(πœ†πΏ)) = 0, ∀𝑑 > 0
namely :
𝑐2 = 0
( 2.17)
𝑐1 𝑠𝑖𝑛(πœ†πΏ) = 0
( 2.18)
From equation ( 2.18 ) we obtain πœ† =
πœ‹π‘›
𝐿
. and
ο‚₯

 n οƒΆ
 n οƒΆοƒΉ
 n οƒΆ
u x, t  ο€½ οƒ₯ οƒͺd1n sin  ct οƒ·  d 2 n cos ct οƒ·οƒΊcn sin  x οƒ·.
 L οƒΈ
 L 
 L οƒΈ
n ο€½1 
The only condition left to check are the initial conditions:
ο‚₯
𝑒(π‘₯, 0) = 𝑓(π‘₯) =
οƒ₯
π‘›πœ‹π‘₯
𝐡𝑛 𝑠𝑖𝑛 (
n ο€½1
𝐿
),
ο‚₯
𝑒(π‘₯, 0) = 𝑔(π‘₯) =
𝐿
Then, 𝑒(π‘₯, 𝑑) = ∑∞
𝑛=1 [π‘›πœ‹π‘ 𝐴𝑛 𝑠𝑖𝑛 (
π‘›πœ‹π‘π‘‘
𝐿
οƒ₯
𝐴𝑛 𝑠𝑖𝑛 (
n ο€½1
π‘›πœ‹π‘π‘‘
) + 𝐡𝑛 π‘π‘œπ‘  (
𝐿
π‘›πœ‹π‘₯
)
𝐿
π‘›πœ‹π‘
)] 𝑠𝑖𝑛 (
𝐿
).
THEOREM 2.3 Let𝑒1 (π‘₯, 𝑑) and 𝑒2 (π‘₯, 𝑑) be two solutions of the problem:
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 0,0 < π‘₯ < 𝐿, 𝑑 > 0
(DE)
𝑒(0, 𝑑) = 𝐴(π‘₯), 𝑒(𝐿, 𝑑) =𝐡(𝑑), 𝑑 > 0( BC)
𝑒(π‘₯, 0) = 𝑓(π‘₯), 𝑒𝑑 (π‘₯, 0) = 𝑔(π‘₯) ,0 < π‘₯ < 𝐿
(IC)
where 𝐴, 𝐡, 𝑓, 𝑔 are piecewise continuous functions. Then 𝑒1 (π‘₯, 𝑑) = 𝑒2 (π‘₯, 𝑑) for all points in
the domain.
20
Proof. Let 𝑒(π‘₯, 𝑑) = 𝑒1 (π‘₯, 𝑑) − 𝑒2 (π‘₯, 𝑑),t hen 𝑣 satisfies the wave equation with initial
conditions: 𝑒(π‘₯, 0) = 𝑒𝑑 (π‘₯, 𝑑) = 0, and boundary conditions 𝑒(0, 𝑑) = 0, 𝑒(𝐿, 𝑑) = 0.Our goal is
to prove that 𝑒(π‘₯, 𝑑) = 0
∀π‘₯, 𝑑.
In order to accomplish this, define:
𝐿
𝐻(𝑑) = ∫0 [𝑐 2 𝑒π‘₯ (π‘₯, 𝑑)2 + 𝑒𝑑 (π‘₯, 𝑑)2 ]𝑑π‘₯
We will prove that 𝐻(𝑑) = 0 first. Differentiating with respect to 𝑑we obtain:
Μ‡ = ∫𝐿[𝑐 2 2𝑒π‘₯ 𝑒π‘₯𝑑 + 2𝑒𝑑 𝑒𝑑𝑑 ]𝑑π‘₯
𝐻(𝑑)
0
𝐿
= 2𝑐 2 ∫0 [𝑒π‘₯ 𝑒π‘₯𝑑 + 𝑒𝑑 𝑒π‘₯π‘₯ ]𝑑π‘₯ (from eq. (2.4))
𝐿
2
= 2𝑐 ∫
0
𝛿
(𝑒π‘₯ 𝑒𝑑 )𝑑π‘₯ = 2𝑐 2 [𝑒π‘₯ (π‘₯, 𝑑)𝑒𝑑 (π‘₯, 𝑑)]𝐿
0
𝛿π‘₯
2
= 2𝑐 (𝑒π‘₯ (𝐿, 𝑑)𝑒𝑑 (𝐿, 𝑑) − 𝑒π‘₯ (0, 𝑑)𝑒(0, 𝑑)) = 0.
Since 𝐻̇ (𝑑) = 0, 𝐻(𝑑) is constant, and as 𝐻(0) = 0, we conclude that 𝐻(𝑑) = 0
𝐿
Then 𝑒𝑑 (π‘₯, 𝑑) = 0, and 𝑒(π‘₯, 𝑑) = 𝑒(π‘₯, 𝑑) − 𝑒(π‘₯, 0) = ∫0 𝑒𝑑 (π‘₯, 𝑑)𝑑𝑑 = 0
2.5 The Wave Equation on the Half line: Reflection Method
Definition 2.8(Even and odd extension) Suppose that a function 𝑓(π‘₯) is continuous and defined
on the interval [0, πœ‹]. we can extend this function n to the interval[−πœ‹, πœ‹]. This can be done in
two ways:
1. 𝑓(π‘₯) is an even extension if
𝑓(−π‘₯),
𝑓(π‘₯),
−πœ‹ ≤ π‘₯ < 0,
0 ≤ π‘₯ < πœ‹.
−𝑓(−π‘₯),
𝑓(π‘₯),
−πœ‹ ≤ π‘₯ < 0,
.
0 ≤ π‘₯ < πœ‹.
𝑓𝑒𝑣𝑒𝑛 (π‘₯) = {
2. 𝑓(π‘₯)is an odd extension if
π‘“π‘œπ‘‘π‘‘ (π‘₯) = {
21
To illustrate a further application of d’Alembert formula, let us next consider this initial
/boundary-value problem on the half-lineℝ+ = {π‘₯ > 0}:
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 0 𝑖𝑛 ℝ+ × (0, ∞)
{𝑒(π‘₯, 0) = 𝑓(π‘₯), 𝑒𝑑 (π‘₯, 0) = 𝑔(π‘₯) π‘œπ‘› ℝ+ × (0, ∞) {𝑑 = 0}
𝑒(π‘₯, 0) = 0 π‘œπ‘› {𝑑 = 0} × (0, ∞) ,
(2.19)
Where 𝑓, 𝑔 are given, with 𝑓(π‘₯, 0) = 𝑔(π‘₯, 0) = 0.
We convert (2.19) into the form (3) by extending 𝑒, 𝑓, 𝑔 to odd reflection. That is, we get
𝑒̃(π‘₯, 𝑑) ≔ {
𝑒(π‘₯, 𝑑)(π‘₯ ≥ 0, 𝑑 ≥ 0)
−𝑒(−π‘₯, 𝑑)(π‘₯ < 0, 𝑑 > 0),
𝑓(π‘₯)(π‘₯ ≥ 0)
𝑓̃(π‘₯) ≔ {
−𝑓(−π‘₯)(π‘₯ < 0)
𝑔(π‘₯)(π‘₯ ≥ 0)
𝑔̃(π‘₯) ≔ {
−𝑔(−π‘₯)(π‘₯ < 0).
Then (2.20) becomes
𝑒̃𝑑𝑑 = 𝑐 2 𝑒̃π‘₯π‘₯
𝑖𝑛 ℝ × (0, ∞)
{
𝑒̃ = 𝑓̃ , Μƒ
𝑒𝑑 = 𝑔̃ π‘œπ‘› ℝ × (𝑑 = 0)
Hence d’Alembert’s formula (2.14) implies
1
1 π‘₯+𝑐𝑑
𝑒(π‘₯, 𝑑) = 2 [𝑓̃(π‘₯ + 𝑐𝑑) + 𝑓̃(π‘₯ + 𝑐𝑑)] + 2𝑐 ∫π‘₯−𝑐𝑑 𝑔̃(𝑦)𝑑𝑦
Recalling the definitions 𝑒̃, 𝑓̃ , 𝑔̃above, we transform this express to read forπ‘₯ ≥ 0,𝑑 ≥ 0
1
[𝑓(π‘₯ + 𝑐𝑑) + 𝑓(π‘₯ + 𝑐𝑑)] +
𝑒(π‘₯, 𝑑) = {12
[𝑓(π‘₯ + 𝑐𝑑) − 𝑓(𝑐𝑑 − π‘₯)] +
2
1
π‘₯+𝑐𝑑
𝑔(𝑦)𝑑𝑦 if x ≥ ct ≥ 0
∫
2𝑐 π‘₯−𝑐𝑑
1
π‘₯+𝑐𝑑
𝑔(𝑦)𝑑𝑦 if 0 ≤ π‘₯ ≤ 𝑐𝑑.
∫
2𝑐 −π‘₯+𝑐𝑑
(2.20)
If 𝑔 = 0, we can understand formula (2.20) as saying that an initial displacement β„Ž splits into
two parts, one moving to the right with speed 𝑐 and the other to the left with speed 𝑐. The latter
then affects off π‘₯ = 0, where the vibrating string is held fixed.
22
Note that 𝑒(π‘₯, 𝑑) is a continuous function if the compatibility conditionπœ‘(0)=0 is satisfied.
Otherwise 𝑒(π‘₯, 𝑑) is a discontinuous solution and the jump of 𝑒(π‘₯, 𝑑) on the characteristic
π‘₯ = 𝑐𝑑 is
(𝑐𝑑 + 0, 𝑑) − 𝑒(𝑐𝑑 − 0, 𝑑) = πœ‘(0).
We can do the same for the problem with the Neumann boundary condition, considering even
extensions of initial data. Let us consider the problem
We can do the same for the problem with the Neumann boundary condition, considering even
extensions of initial data. Let us consider the problem
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 0
0 < π‘₯ < ∞, 𝑑 > 0
(πΆπ‘π‘Š): {
𝑒(π‘₯, 0) = πœ‘(π‘₯), 𝑒𝑑 (π‘₯, 0) = πœ“(π‘₯) 0 < π‘₯ < ∞
𝑒(π‘₯, 𝐿) = 0
𝑑≥0
.
In this case the problem (πΆπ‘π‘Š) to (CW) with initial functionsπœ‘0(π‘₯) π‘Žπ‘›π‘‘ πœ“0 (π‘₯), π‘€β„Žπ‘’π‘Ÿπ‘’
πœ‘0 (π‘₯) ≔ {
πœ‘(π‘₯) 𝑖𝑓 π‘₯ ≥ 0,
πœ‘(−π‘₯) 𝑖𝑓 π‘₯ ≤ 0
As before we can show that the problem (πΆπ‘π‘Š) has a unique
1
1
(πœ‘(π‘₯ + 𝑐𝑑) + πœ‘(π‘₯ − 𝑐𝑑)) + (Ψ(π‘₯ + 𝑐𝑑) − Ψ(π‘₯ − 𝑐𝑑))
, π‘₯ > 𝑐𝑑
2
2𝑐
𝑒(π‘₯, 𝑑) = {
1
1
(πœ‘(π‘₯ + 𝑐𝑑) + πœ‘(𝑐𝑑 − π‘₯)) + (Ψ(π‘₯ + 𝑐𝑑) − Ψ(𝑐𝑑 − π‘₯)), 0 < π‘₯ < 𝑐𝑑,
2
2𝑐
𝑑
where Ψ(𝑑) = ∫0 πœ“(𝑠)𝑑𝑠.
On a semi domain, we often have a slightly more involved process
2.6 Mixed Problems for the Wave Equations
Let us consider the problem (CW) on a finite interval[0, 𝑙]which Dirichlet boundary conditions at
the end- points π‘₯ = 0 and π‘₯ = 𝑙 .This is the problem
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 0,
0 < π‘₯ < 𝑙, 𝑑 > 0,
(π‘€π·π‘Š): { 𝑒(π‘₯, 0) = πœ‘(π‘₯), 𝑒𝑑 (π‘₯, 0) = πœ“(π‘₯),
𝑒(0, 𝑑) = 𝑒(𝑙, 𝑑) = 0,
𝑑 ≥ 0.
23
0 ≤ π‘₯ ≤ 𝑙,
It can be interpreted as vibrations of a string with clamped ends, for instance vibrations of a
guitar string. We can get the solution of the problem (π‘€π·π‘Š) again using the method of
reflection in this case through both ends. We extend the initial data πœ‘(π‘₯)and πœ“(π‘₯) given on the
interval(0, 𝑙) to the whole line using “odd" extensions πœ‘π‘’π‘œ (π‘₯)and πœ“π‘’π‘œ (π‘₯) with respect to both
sides π‘₯ = 0 and π‘₯ = 𝑙 , where
πœ‘(π‘₯),
0<π‘₯<𝑙
πœ‘π‘’π‘œ (π‘₯) ≔ {
−πœ‘(−π‘₯) − 𝑙 < π‘₯ < 0
𝑒π‘₯𝑑𝑒𝑛𝑑𝑒𝑑 π‘‘π‘œ 𝑏𝑒 π‘œπ‘“ π‘π‘’π‘Ÿπ‘–π‘œπ‘‘ 2𝑙.
Consider the problem (πΆπ‘Šπ‘’π‘œ ):
𝑣𝑑𝑑 − 𝑐 2 𝑣π‘₯π‘₯ = 0, π‘₯ ∈ ℝ , 𝑑 > 0 ,
(πΆπ‘Šπ‘’π‘œ ): ={
π‘₯∈ℝ
𝑣(π‘₯, 0) = πœ‘π‘’π‘œ (π‘₯),
𝑣𝑑 (π‘₯, 0) = πœ“π‘’π‘œ (π‘₯),
π‘₯∈ℝ
Section 2.2 it has a solution
1
1 π‘₯+𝑐𝑑
𝑣(π‘₯, 𝑑) = (πœ‘π‘’π‘œ (π‘₯ + 𝑐𝑑) + πœ‘π‘’π‘œ (π‘₯ − 𝑐𝑑)) + ∫
πœ“ (𝑠) 𝑑𝑠.
2
2𝑐 π‘₯−𝑐𝑑 π‘’π‘œ
Its restriction
𝑒(π‘₯, 𝑑) = 𝑣(π‘₯, 𝑑)\0≤π‘₯≤𝑙
gives the unique solution of the problem(π‘€π·π‘Š). Note that the solution formula is characterized
by a number of reflections at each end point.
π‘₯ = 0 π‘Žπ‘›π‘‘π‘₯ = 𝑙along characteristics through reflecting points. They divide the domain ℝ =
{(π‘₯, 𝑑): 0 < π‘₯ < 𝑙, 𝑑 > 0}into diamond-shaped domains with sides parallel to characteristics and
within each diamond the solution𝑒(π‘₯, 𝑑) is given by a different formula.
On the data πœ‘and πœ“we impose the compatibility condition
πœ‘(0) = πœ‘(𝑙) = πœ“(0) = πœ“(𝑙) = 0
(2.26)
In this case the solution 𝑒(π‘₯, 𝑑) is a continuous function on ℝ.
Note that 𝑒(π‘₯, 𝑑 )πœ–πΆ 2 (ℝ) if
πœ‘(0) = πœ‘(𝑙) = πœ‘ ′′ (0) = πœ‘ ′′ (𝑙) = πœ“(0) = πœ“(𝑙) = 0
(2.27)
We can do the same for the problem with the Neumann boundary condition, considering even
extensions of initial data. Namely, let us consider the problem
24
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 0,
0 < π‘₯ < 𝑙, 𝑑 > 0,
(π‘€π·π‘Š): { 𝑒(π‘₯, 0) = πœ‘(π‘₯), 𝑒𝑑 (π‘₯, 0) = πœ“(π‘₯),
𝑒π‘₯ (0, 𝑑) = 𝑒π‘₯ (𝑙, 𝑑) = 0,
𝑑 ≥ 0.
0 < π‘₯ < 𝑙,
In this case we reduce the problem (MDW)to (CWee ) with initial functions φee (x)and
ψee (x),where
πœ‘(π‘₯),
0<π‘₯<𝑙
πœ‘π‘’π‘’ (π‘₯) ≔ {
πœ‘(−π‘₯) − 𝑙 < π‘₯ < 0
𝑒π‘₯𝑑𝑒𝑛𝑑𝑒𝑑 π‘‘π‘œ 𝑏𝑒 π‘œπ‘“ π‘π‘’π‘Ÿπ‘–π‘œπ‘‘ 2𝑙.
As before the problem(πΆπ·π‘Š) admits the unique solution
𝑒(π‘₯, 𝑑) = 𝑀(π‘₯, 𝑑) \ 0ο‚£ xο‚£t
where 𝑀(π‘₯, 𝑑) is the solution of the problem
𝑀𝑑𝑑 − 𝑐 2 𝑀π‘₯π‘₯ = 0,
π‘₯ ∈ ℝ , 𝑑 > 0,
(πΆπ‘Šπ‘’π‘’ ): {
𝑀(π‘₯, 0) = πœ‘π‘’π‘’ (π‘₯), π‘₯ ∈ ℝ ,
𝑀𝑑 (π‘₯, 0) = πœ“π‘’π‘’ (π‘₯), π‘₯ ∈ ℝ .
Example 2.8 Solve the problem (CDW) with 𝑐 = 1, πœ“ = 0 and
3πœ‹ 5πœ‹
π‘π‘œπ‘  3 π‘₯, π‘₯πœ–β„ ( , ) ,
2 2
πœ‘(π‘₯) = {
3πœ‹
5πœ‹
0, π‘₯πœ–β„+ ( , ) .
2 2
Solution. The solution of the odd extended problem
𝑒𝑑𝑑 − 𝑒π‘₯π‘₯ = 0, π‘₯ ∈ ℝ , 𝑑 > 0,
{ 𝑒(π‘₯, 0) = πœ‘0 (π‘₯), π‘₯ ∈ ℝ,
𝑒𝑑 (π‘₯, 0) = 0, π‘₯ ∈ ℝ.
1
is𝑣(π‘₯, 𝑑) = 2 (πœ‘0 (π‘₯ + 𝑑) + πœ‘0 (π‘₯ − 𝑑)). The original problem has the solution
1
(πœ‘(π‘₯ + 𝑑) + πœ‘(π‘₯ − 𝑑))
π‘₯ > 𝑑,
2
𝑒(π‘₯, 𝑑) = {
1
(πœ‘(π‘₯ + 𝑑) − πœ‘(𝑑 − π‘₯)) 0 < π‘₯ < 𝑑.
2
πœ‹ 3πœ‹
The profile of 𝑒(π‘₯, 𝑑) at successive instances are𝑑 = 0, 2 ,
25
2
, 2πœ‹,
5πœ‹ 7πœ‹
2
,
2
CHAPTER THREE
One - Dimensional Non-homogeneous Wave Equations
3.1. Initial Condition: Cauchy problem for the Non-homogeneous wave equation
Consider the following non-homogeneous Cauchy problem
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 𝐹(π‘₯, 𝑑), −∞ < π‘₯ < ∞, 𝑑 > 0
(3.1)
𝑒(π‘₯, 0) = 𝑓(π‘₯), −∞ < π‘₯ < ∞,
(3.2)
𝑒𝑑 (π‘₯, 0) = 𝑔(π‘₯), −∞ < π‘₯ < ∞,
(3.3)
This problem models, for example, the vibration of a very long string in the presence of an
external force 𝐹. As in the homogeneous case 𝑓 and𝑔 are given functions that represent the
shape and vertical velocity of the string at time 𝑑 = 0
3.2. D’Alembert’s Solution for Non-homogeneous Wave Equations
Definition 3.1 The transformation(πœ‰, πœ‚) = (πœ‰(π‘₯, 𝑦), πœ‚(π‘₯, 𝑦))is called a change of Coordinates (or
a nonsingular transformation) if the Jacobian 𝐽 ≔ πœ‰π‘₯ πœ‚π‘¦ − πœ‰π‘¦ πœ‚π‘₯ ofthe transformation does not
vanish at any point (x, y).
It can be split into two problems –one homogeneous with nonzero initial data (CW) which we
solve, and one inhomogeneous with zero data
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ =0 π‘₯ πœ–β„ , 𝑑 > 0
𝑒(π‘₯, 0) = 0, π‘₯ πœ–β„ ,
(3.4)
𝑒(π‘₯, 0) = 0,π‘₯ πœ–β„ .
26
If 𝑒1 (π‘₯, 𝑑) and 𝑒2 (π‘₯, 𝑑)are solutions of (CW) and (3.4) respectively then 𝑒(π‘₯, 𝑑) = 𝑒1 (π‘₯, 𝑑)+
𝑒2 (π‘₯, 𝑑) is a solution of (πΌπΆπ‘Š).Let us consider (3.4).Making change of variable πœ‰ = π‘₯ + 𝑐𝑑,
πœ‚ = π‘₯ − 𝑐𝑑,
We transform (3.4) into
1
π‘ˆπœ‰πœ‚ = − 4 𝐹(πœ‰, πœ‚),
(3.5)
π‘ˆ(πœ‰, πœ‰) = π‘ˆπœ‰ (πœ‰, πœ‰) = π‘ˆπœ‚ (πœ‰, πœ‰) = 0 (3.6) Where
πœ‰+πœ‚ πœ‰−πœ‚
,
),
2
2𝑐
πœ‰+πœ‚ πœ‰−πœ‚
𝐹(πœ‰, πœ‚) = 𝑓 (
,
).
2
2𝑐
π‘ˆ(πœ‰, πœ‚) = 𝑒 (
Integrating (3.5) with respect to πœ‚ we have
π‘ˆπœ‰ (πœ‰, πœ‰) − π‘ˆπœ‰ (πœ‰, πœ‚) = −
1 πœ‰
∫ 𝐹(πœ‰, 𝑠) 𝑑𝑠
4𝑐 2 πœ‚
Which, in view of (3.6), yield
1 πœ‰
π‘ˆπœ‰ (πœ‰, πœ‚) = 2 ∫ 𝐹(πœ‰, 𝑠) π‘‘πœ‰
4𝑐 πœ‚
Integrating the last equation with respect to πœ‰
π‘ˆ(πœ‰, πœ‚) − π‘ˆ(πœ‚, πœ‚) =
1
πœ‰
1 πœ‰ 𝑧
∫ ∫ 𝐹(πœ‰, 𝑠) 𝑑𝑠
4𝑐 2 πœ‚ πœ‚
𝑧
π‘ˆ(πœ‰, πœ‚) = 2𝑐 2 ∫πœ‚ ∫πœ‚ 𝐹(πœ‰, 𝑠) 𝑑𝑠.
Let us make change of variables
𝑠 = 𝜎 − π‘πœ,
𝑧 = 𝜎 + π‘πœ,
Which has Jacobian 𝐽 =
πœ•(𝑠,𝑧)
πœ•(𝜎,𝜏)
= 2𝑐 ≠ 0
The last change transforms the domain of integration
𝐷 = {(𝑠, 𝑧): πœ‚ ≤ 𝑠 ≤ 𝑧, πœ‚ ≤ 𝑧 ≤ πœ‰}
into
𝐷′ = {(𝜎, 𝜏): π‘₯ − 𝑐(𝑑 − 𝜏) ≤ 𝜎 ≤ π‘₯ + 𝑐(𝑑 − 𝜏), 0 ≤ 𝜏 ≤ 𝑑}.
Indeed by, πœ‚ ≤ 𝑠 ≤ 𝑧 ≤ πœ‰, we have
π‘₯ − 𝑐𝑑 ≤ 𝜎 − π‘πœ ≤ 𝜎 + π‘πœŽ − π‘πœ ≤ π‘₯ + 𝑐𝑑.
27
(3.7)
Then it follows
0 ≤ 2π‘πœ ≤ 2𝑐𝑑 ⇔ 0 ≤ 𝜏 ≤ 𝑑,
and
π‘₯ − 𝑐(𝑑 − 𝜏) ≤ 𝜎 ≤ π‘₯ + 𝑐(𝑑 − 𝜏).
The solution of (2.1) is
𝑑
1
π‘₯+𝑐(𝑑−𝜏)
1
𝑒2 (π‘₯, 𝑑) = 2𝑐 ∫0 ∫π‘₯−𝑐(𝑑−𝜏) 𝑓(𝜎, 𝜏) π‘‘πœŽπ‘‘πœ = 2𝑐 ∫ ∫βˆ†(π‘₯,𝑑) 𝑓(𝜎, 𝜏)π‘‘πœŽπ‘‘πœ
(3.8)
Where βˆ†(π‘₯, 𝑑)denotes the characteristic triangle. We prove that (ICW) has a solution given the
exact formula. We prove that problem (πΌπΆπ‘Š)has a solution given by the exact formula
1
1
π‘₯+𝑐𝑑
π‘₯+𝑐(𝑑+𝜏)
𝑒(π‘₯, 𝑑) = 2 (πœ‘(π‘₯ + 𝑐𝑑) + πœ‘(π‘₯ − 𝑐𝑑)) + 2𝑐 (∫π‘₯−𝑐𝑑 ∫π‘₯−𝑐(𝑑−𝜏) 𝑓(𝜎, 𝜏)) π‘‘πœŽπ‘‘πœ
Note that from (3.9) it follows that the well-posed of (ICW) , for 0 ≤ 𝑑 ≤ 𝑇,
We have
|𝑒(π‘₯, 𝑑)| ≤ |πœ‘|∞ +
1
1
|πœ“|∞ 2𝑐𝑇 +
|𝑓| ∬
π‘‘πœŽπ‘‘πœ
2𝑐
2𝐢 ∞,𝑇 βˆ†(π‘₯,𝑑)
Note that from (3.6) it follows the well-posedness of(πΆπ‘Š)
Indeed, , for 0 ≤ 𝑑 ≤ 𝑇 ,we have
𝑒|(π‘₯, 𝑑)| ≤ β€–πœ‘β€–∞ 2𝑐𝑇 +
1
||𝑓||∞, 𝑇 ∬ π‘‘π›Ώπ‘‘πœ
2𝑐
βˆ†(π‘₯,𝑑)
𝑇2
≤ β€–πœ‘β€–∞ + π‘‡β€–πœ“β€–∞ + ‖𝑓‖∞, 𝑇
2
because
 d d ο€½ S () ο‚£
 x ,t
2cT .T
.
2
Then for ∈> 0, there exists 𝛿 ∈ (0,
∈
1+𝑇+
𝑇2
2
) such that if β€–πœ‘β€–∞ < 𝛿, β€–πœ“β€– < 𝛿 and ‖𝑓‖∞,𝑇 < ∈. It
follows ‖𝑒‖∞,𝑇 < ∈,which proves the continuousdependence.
Example 3.1 Find the value solution 𝑒(π‘₯, 𝑑) at the point (1,1) of the Cauchy problem
𝑒𝑑𝑑 − 𝑒π‘₯π‘₯ = 1, 𝑒(π‘₯, 0) = π‘₯ 2 , 𝑒𝑑 (π‘₯, 0) = 1
Solution:
From (2.1) 𝑐 = 1 ,𝑑 = 0
𝑒(1,1) =
1
1 2
1
[𝑓(1 + 1) + 𝑓(1 − 1)] + ∫ 𝑔(π‘₯) 𝑑π‘₯ − ∬ 𝐺(π‘₯, 𝑑)𝑑𝑅
2
2 0
2
𝑅
28
(3.9)
=
22 + 02 1 2
1 1 2−𝑦
+ ∫ 1𝑑π‘₯ − ∫ ∫ 1𝑑π‘₯𝑑𝑦
2
2 0
2 0 𝑦
5
=
2
Example 3.2 Find the value solution 𝑒(π‘₯, 𝑑) at the point (π‘₯, 𝑑) of the Cauchy problem
𝑒𝑑𝑑 − 𝑒π‘₯π‘₯ = 1
𝑒(π‘₯, 0) = π‘₯ 2
𝑒𝑑 (π‘₯, 0) = 1
Solution: Consider (π‘₯1 , 𝑑1 ) to be a point the plane. Then, putting 𝑐 = 1
𝑒(π‘₯, 𝑑) =
π‘₯1 +𝑑1
(π‘₯1 + 𝑑1 )2 + (π‘₯1 − 𝑑1 )2
1 𝑑1 −𝑑+π‘₯1 +𝑑1
+∫
𝑑π‘₯ − ∫ ∫
𝑑π‘₯𝑑𝑦
2
2 0 𝑑+π‘₯1 −𝑑1
π‘₯1 −𝑑1
1
= π‘₯1 2 + 𝑑 2 + 𝑑1
2
Finally, letting (π‘₯1, 𝑑1 ) = (π‘₯, 𝑑) yields the solution
1
𝑒(π‘₯, 𝑑) = π‘₯ 2 + 𝑑 2 + 𝑑.
2
Example3.3: Solve the following Cauchy problem
𝑒𝑑𝑑 − 𝑐 2 𝑒π‘₯π‘₯ = 𝑒 π‘₯ − 𝑒 π‘₯ , (π‘₯, 𝑑) ∈ ℝ × (0, ∞)
𝑒(π‘₯, 0) = π‘₯
𝑒𝑑 (π‘₯, 0) = 𝑠𝑖𝑛π‘₯.
Solution: We use 𝑒 π‘₯ − 𝑒 −π‘₯ = 2π‘ π‘–π‘›β„Žπ‘₯ and formula
Remark. π‘π‘œπ‘ β„Ž(π‘Ž + 𝑏) = π‘π‘œπ‘ β„Žπ‘Žπ‘π‘œπ‘ π‘ + π‘ π‘–π‘›β„Ž π‘Ž π‘ π‘–π‘›β„Ž 𝑏.
Then by (3.9)
29
(π‘₯ + 3𝑑) + (π‘₯ − 3𝑑) 1 π‘₯+3𝑑
1 𝑑 π‘₯+3(𝑑+𝑠) 𝑦
(𝑒 − 𝑒 −𝑦 )𝑑π‘₯𝑑𝑦
𝑒(π‘₯, 𝑑) =
+ ∫
sin 𝑦 𝑑𝑦 + ∫ ∫
2
6 π‘₯−3𝑑
6 0 π‘₯−3(𝑑−𝑠)
1
π‘₯ + 3𝑑 1 𝑑 𝑦
π‘₯ + 3(𝑑 + 𝑠)
= π‘₯ − π‘π‘œπ‘ π‘¦ ⌊
+ ∫ (𝑒 + 𝑒 −𝑦 ) ⌊
𝑑𝑠
6
π‘₯ − 3𝑑 6 0
π‘₯ − 3(𝑑 − 𝑠)
1
1 𝑑
π‘₯ + 3(𝑑 + 𝑠)
[π‘π‘œπ‘ (π‘₯
=π‘₯+
− 3𝑑) + π‘π‘œπ‘ (π‘₯ + 3𝑑)] + ∫ cosh 𝑠 |
𝑑𝑠
6
3 0
π‘₯ − 3(𝑑 − 𝑠)
1
2
2
= π‘₯ + 𝑠𝑖𝑛π‘₯𝑠𝑖𝑛3𝑑 − π‘ π‘–π‘›β„Žπ‘₯ + π‘ π‘–π‘›β„Žπ‘₯π‘π‘œπ‘ β„Ž3𝑑.
3
9
9
30
3.3 SUMMARY
Like ordinary differential equations, partial differential equations are equations to be solved in
which the unknown element is a function, but in PDEs the function is one of several variables,
and so of course the known information relates the function and its partial derivatives with
respect to the several variables. Again, one generally looks for qualitative statements about the
solution. For example, in many cases, solutions exist only if some of the parameters lie in a
specific set (say, initial data). Various broad families of PDE's admit general statements about
the behavior of their solutions. This area has a long-standing close relationship with the physical
sciences, especially physics, thermodynamics, and quantum mechanics: for many of the topics in
the field, the origins of the problem and the qualitative nature of the solutions are best.
A general linear PDE may be viewed as seeking the kernel of a linear map defined between
appropriate function spaces. (Determining which function space is best suited to the problem is
itself a nontrivial problem and requires careful functional analysis as well as a consideration of
the origin of the equation. Indeed, it is the analysis of PDEs which tends to drive the
development of classes of topological vector spaces.) The perspective of differential operators
allows the use of general tools from linear algebra, including eigen space decomposition
(spectral theory) and index theory.
Generally,
1. Wave equations are examples of second order partial differential equations
2. One dimensional wave equation are mathematical models of most physical
phenomena.( Sound Wave ,musical Technology)
3. The solution of one dimensional equation can be successfully solved by separation
variables and d’Alembert’s method
4. Finding a specific solution to a 1D.W Eq. typically requires an initial condition as well
as boundary conditions.
31
References
Andrews, L.C.1986 .Elementary partial differential equations with boundary value problems,
Academic press ,Orlando.
E.L. Ince,1944.Ordinary Differential Equations.Mineda, NY: Dover.
Erwin kreyszig, 2005. Advanced Engineering Mathematics, Wiley john Wiley & Sons, Inc.
U.S.A
G.F. Carrier and C.E. Pearson, 1988 .Partial Differential Equations, Theory and
Technique,second edition. Boston, MA: Academic Press.
Lonis p. Stavroulak and T.A. Stepan. Partial Differential equation –An Introduction with
mathematical maple ,second edition.
N.H. Fletcher and T.D. Rossing, 1998.The Physics of Musical Instruments.New York,
NY:Springer-Verlag,
Pinchover Y. and J. Rubinstein, 2005.An Introduction to Partial Differential equation. U.S.A
R. Courant and D. Hilbert, 1996. Methods of Mathematical Physics, Vols. I, II, New York, NY:
John Wiley & Sons.
Walter A. Strauss, 1992 Partial Differential Equations. Sons, Inc.
32
Download