(7.4) Operational Properties II

Transcription

(7.4) Operational Properties II
(7.4) Operational Properties II
DERIVATIVES OF A TRANSFORM:
THEOREM 7.4.1 (Derivatives of Translations)
If ๐น (๐‘ ) = โ„’ {๐‘“ (๐‘ก )} and ๐‘› = 1, 2, 3, โ€ฆ , then
โ„’ {๐‘ก ๐‘› ๐‘“(๐‘ก )} = (โˆ’1)๐‘›
EXAMPLE 1
Evaluate
(๐‘Ž) โ„’ {๐‘ก๐‘“(๐‘ก )}
๐‘‘๐‘›
๐น (๐‘  ).
๐‘‘๐‘  ๐‘›
(๐‘) โ„’ {๐‘ก 2 ๐‘“ (๐‘ก )}
(๐‘ ) โ„’ {๐‘ก๐‘’ 3๐‘ก }
Solution:
๐‘‘
๐‘‘
๐น (๐‘  ) = โˆ’ ๐น (๐‘  )
๐‘‘๐‘ 
๐‘‘๐‘ 
2
๐‘‘
๐‘‘2
2
2
(๐‘) โ„’ {๐‘ก ๐‘“(๐‘ก )} = (โˆ’1)
๐น (๐‘  ) = 2 ๐น (๐‘  )
๐‘‘๐‘  2
๐‘‘๐‘ 
(๐‘ ) โ„’{๐‘ก๐‘’ 3๐‘ก }
(๐‘Ž) โ„’{๐‘ก๐‘“(๐‘ก )} = (โˆ’1)1
By Section 7.3,
โ„’{๐‘ก๐‘’ 3๐‘ก } = โ„’ {๐‘ก }|๐‘ โ†’๐‘ โˆ’3 =
By Section 7.4,
โ„’{๐‘ก๐‘’ 3๐‘ก } = (โˆ’1)1
1
1
|
=
๐‘  2 ๐‘ โ†’๐‘ โˆ’3 (๐‘  โˆ’ 3)2
(0) โˆ’ (1)
๐‘‘
๐‘‘
1
1
)=โˆ’
โ„’ {๐‘’ 3๐‘ก } = โˆ’ (
=
.
2
(๐‘  โˆ’ 3)
(๐‘  โˆ’ 3)2
๐‘‘๐‘ 
๐‘‘๐‘  ๐‘  โˆ’ 3
EXAMPLE 2 (Using Theorem 7.4.1)
Evaluate
โ„’ {๐‘ก sin ๐‘˜๐‘ก }.
Solution:
With ๐‘“(๐‘ก ) = sin ๐‘˜๐‘ก, ๐น (๐‘ ) = โ„’ {๐‘“(๐‘ก )} = โ„’ {sin ๐‘˜๐‘ก } =
โ„’ {๐‘ก sin ๐‘˜๐‘ก } = โˆ’
๐‘˜
๐‘  2 +๐‘˜ 2
, and ๐‘› = 1, Theorem 7.4.1 gives
๐‘‘
๐‘‘
๐‘˜
2๐‘˜๐‘ 
)
โ„’ {sin ๐‘˜๐‘ก } = โˆ’ ( 2
=
.
(๐‘  2 + ๐‘˜ 2 )2
๐‘‘๐‘ 
๐‘‘๐‘  ๐‘  + ๐‘˜ 2
TRANSFORMS OF INTEGRALS:
CONVOLUTION:
If functions ๐‘“ and ๐‘” are piecewise continuous on the interval [0, โˆž), then a special product,
denoted by ๐‘“ โˆ— ๐‘”, is defined by the integral
๐‘ก
๐‘“ โˆ— ๐‘” = โˆซ ๐‘“ (๐œ)๐‘”(๐‘ก โˆ’ ๐œ)๐‘‘๐œ
โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ (1)
0
๐‘ก
= โˆซ ๐‘”(๐œ)๐‘“ (๐‘ก โˆ’ ๐œ)๐‘‘๐œ = ๐‘” โˆ— ๐‘“
0
and is called the convolution of ๐‘“ and ๐‘”. The convolution ๐‘“ โˆ— ๐‘” is a function of ๐‘ก.
For example,
129
(7.4) Operational Properties II
๐‘ก
๐‘ก
๐‘’ โˆ— sin ๐‘ก = โˆซ ๐‘’ ๐œ sin(๐‘ก โˆ’ ๐œ) ๐‘‘๐œ =
0
1
(โˆ’ sin ๐‘ก โˆ’ cos ๐‘ก + ๐‘’ ๐‘ก ).
2
THEOREM 7.4.2 (Convolution Theorem)
If ๐‘“ (๐‘ก ) and ๐‘”(๐‘ก ) are piecewise continuous on [0, โˆž) and of exponential order, then
โ„’ {๐‘“ โˆ— ๐‘”} = โ„’ {๐‘“ (๐‘ก )}. โ„’ {๐‘”(๐‘ก )} = ๐น (๐‘ )๐บ (๐‘ ).
Remark 1:
๐‘ก
๐‘ก
โ„’ {๐‘“(๐‘ก ) โˆ— ๐‘”(๐‘ก )} = โ„’ {๐‘“ (๐‘ก )}. โ„’ {๐‘”(๐‘ก )} = โ„’ {โˆซ ๐‘”(๐œ)๐‘“ (๐‘ก โˆ’ ๐œ)๐‘‘๐œ} = โ„’ {โˆซ ๐‘“(๐œ)๐‘”(๐‘ก โˆ’ ๐œ)๐‘‘๐œ}
0
0
= โ„’ {๐‘”(๐‘ก ) โˆ— ๐‘“ (๐‘ก )}
EXAMPLE 3 (Transform of Convolution)
Evaluate
๐‘ก
โ„’ {โˆซ ๐‘’ ๐œ sin(๐‘ก โˆ’ ๐œ) ๐‘‘๐œ}.
0
Solution:
With ๐‘“(๐‘ก ) = ๐‘’ ๐‘ก and ๐‘”(๐‘ก ) = sin ๐‘ก, the convolution theorem states that the Laplace transform of the
convolution of ๐‘“ and ๐‘” is the product of their Laplace transforms:
๐‘ก
1
1
1
โ„’ {โˆซ ๐‘’ ๐œ sin(๐‘ก โˆ’ ๐œ) ๐‘‘๐œ} = โ„’ {๐‘’ ๐‘ก }. โ„’ {sin ๐‘ก } =
. 2
=
.
๐‘  โˆ’ 1 ๐‘  + 1 (๐‘  โˆ’ 1)(๐‘  2 + 1)
0
Remark 2: (Inverse Form of Theorem 7.4.2)
โ„’ โˆ’1 {๐น(๐‘ ). ๐บ(๐‘ )} = ๐‘“ โˆ— ๐‘”. โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ (2)
TRANSFORM OF AN INTEGRAL:
1
When ๐‘”(๐‘ก ) = 1 and โ„’ {๐‘”(๐‘ก )} = ๐บ (๐‘ ) = , the convolution theorem implies that the Laplace
transform of the integral of ๐‘“ is
๐‘ 
๐‘ก
1 ๐น (๐‘  )
โ„’ {โˆซ ๐‘“ (๐œ)๐‘‘๐œ} = โ„’ {๐‘“(๐‘ก ) โˆ— 1} = โ„’ {๐‘“(๐‘ก )}. โ„’ {1} = ๐น (๐‘ ). =
.
๐‘ 
๐‘ 
0
โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ (3)
The inverse form of (3),
๐‘ก
โˆซ ๐‘“ (๐œ)๐‘‘๐œ = โ„’โˆ’1 {
0
๐น (๐‘  )
}.
๐‘ 
โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ (4)
VOLTERRA INTEGRAL EQUATION:
The convolution theorem and the result in (3) are useful in solving other types of equations in which
an unknown function appears under an integral sign. In the next example we solve a Volterra
integral equation for ๐‘“ (๐‘ก ),
130
(7.4) Operational Properties II
๐‘ก
๐‘“ (๐‘ก ) = ๐‘”(๐‘ก ) + โˆซ ๐‘“ (๐œ)โ„Ž(๐‘ก โˆ’ ๐œ)๐‘‘๐œ . โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ โ€ฆ (5)
0
The functions ๐‘”(๐‘ก ) and โ„Ž(๐‘ก ) are known. Notice that the integral in (5) has the convolution form (1)
with the symbol โ„Ž playing the part of ๐‘”.
EXAMPLE 4 (An Integral Equation )
Solve:
๐‘ก
๐‘“ (๐‘ก ) = 3๐‘ก 2 โˆ’ ๐‘’ โˆ’๐‘ก โˆ’ โˆซ ๐‘“ (๐œ)๐‘’ ๐‘กโˆ’๐œ ๐‘‘๐œ
for ๐‘“(๐‘ก ).
0
Solution:
In the integral we identify โ„Ž(๐‘ก โˆ’ ๐œ) = ๐‘’ ๐‘กโˆ’๐œ so that โ„Ž(๐‘ก ) = ๐‘’ ๐‘ก . We take the Laplace transform of
each term; in particular, by Theorem 7.4.2 the transform of the integral is the product of โ„’ {๐‘“ (๐‘ก )} =
1
๐น (๐‘ ) and โ„’ {๐‘’ ๐‘ก } =
:
๐‘ โˆ’1
๐น (๐‘ ) = 3.
2
1
1
(
)
โˆ’
โˆ’
๐น
๐‘ 
.
.
๐‘ 3 ๐‘  + 1
๐‘ โˆ’1
After solving the last equation for ๐น (๐‘ ) and carrying out the partial fraction decomposition, we find
๐น (๐‘  ) =
6
6 1
2
โˆ’ 4+ โˆ’
.
3
๐‘ 
๐‘ 
๐‘  ๐‘ +1
The inverse transform then gives
โˆ’1
๐‘“ (๐‘ก ) = 3โ„’
2!
3!
1
1
{ 3 } โˆ’ โ„’โˆ’1 { 4 } + โ„’โˆ’1 { } โˆ’ 2โ„’โˆ’1 {
} = 3๐‘ก2 โˆ’ ๐‘ก3 + 1 โˆ’ 2๐‘’โˆ’๐‘ก .
๐‘ 
๐‘ 
๐‘ 
๐‘ +1
TRANSFORM OF A PERIODIC FUNCTION:
PERIODIC FUNCTION:
If a periodic function has period ๐‘‡, ๐‘‡ > 0, then ๐‘“ (๐‘ก + ๐‘‡) = ๐‘“ (๐‘ก ). The next theorem shows that the
Laplace transform of a periodic function can be obtained by integration over one period.
THEOREM 7.4.3 (Transform of a Periodic Function)
If ๐‘“ (๐‘ก ) is piecewise continuous on [0, โˆž), of exponential order, and periodic with period ๐‘‡, then
โ„’ {๐‘“(๐‘ก )} =
๐‘‡
1
โˆซ
๐‘’ โˆ’๐‘ ๐‘‡ ๐‘“ (๐‘ก )๐‘‘๐‘ก.
โˆ’๐‘ ๐‘‡
1โˆ’๐‘’
0
Exercises 7.4: Pages 289-290
(๐Ÿ) Use Theorem 7.4.1 to evaluate the given Laplace transform.
โ„’ {๐‘ก 3 ๐‘’ ๐‘ก }.
Solution:
With ๐‘“(๐‘ก ) = ๐‘’ ๐‘ก , ๐น (๐‘ ) = โ„’ {๐‘“ (๐‘ก )} = โ„’ {๐‘’ ๐‘ก } =
1
, and ๐‘› = 3, Theorem 7.4.1 gives
๐‘ โˆ’1
131
(7.4) Operational Properties II
โ„’ {๐‘ก 3 ๐‘’ ๐‘ก } = (โˆ’1)3
๐‘‘3
๐‘‘3
1
6
6
๐‘ก}
{
(
) = โˆ’ (โˆ’
)=
โ„’
๐‘’
=
โˆ’
.
3
3
4
(๐‘  โˆ’ 1)
(๐‘  โˆ’ 1)4
๐‘‘๐‘ 
๐‘‘๐‘  ๐‘  โˆ’ 1
-----------------------------------------------------------------------------------------------------------------------------------
(๐Ÿ๐Ÿ) Use Theorem 7.4.2 to evaluate the given Laplace transform. Do not evaluate the integral
before transforming.
โ„’{๐‘’2๐‘ก โˆ— sin ๐‘ก}.
Solution:
With ๐‘“(๐‘ก ) = ๐‘’ 2๐‘ก and ๐‘”(๐‘ก ) = sin ๐‘ก, the convolution theorem states that the Laplace transform of the
convolution of ๐‘“ and ๐‘” is the product of their Laplace transforms:
โ„’ {๐‘’ 2๐‘ก โˆ— sin ๐‘ก } = โ„’ {๐‘’ 2๐‘ก }. โ„’ {sin ๐‘ก } =
1
1
1
. 2
=
.
๐‘  โˆ’ 2 ๐‘  + 1 (๐‘  โˆ’ 2)(๐‘  2 + 1)
------------------------------------------------------------------------------------------------------------------------------(๐Ÿ’๐Ÿ) Use the Laplace transform to solve the given integral equation or integrodifferential
equation.
๐‘ก
๐‘“(๐‘ก) + โˆซ ๐‘“(๐œ) ๐‘‘๐œ = 1.
0
Solution:
๐‘ก
โ„’ {๐‘“(๐‘ก )} + โ„’ {โˆซ ๐‘“(๐œ) ๐‘‘๐œ} = โ„’ {1},
0
๐น (๐‘  ) 1
= ,
๐‘ 
๐‘ 
1
1
๐น (๐‘ ) [1 + ] = ,
๐‘ 
๐‘ 
๐‘ +1
1
(
) ๐น (๐‘  ) = ,
๐‘ 
๐‘ 
1
๐น (๐‘  ) =
.
๐‘ +1
๐น (๐‘  ) +
The inverse transform then gives
โˆ’1
๐‘“ (๐‘ก ) = โ„’
{
1
} = ๐‘’โˆ’๐‘ก .
๐‘ +1
132
(7.4) Operational Properties II
Exercises 7.4: Pages 289-290
(๐Ÿ‘) Use Theorem 7.4.1 to evaluate the given Laplace transform.
โ„’ {๐‘ก cos 2๐‘ก }.
-------------------------------------------------------------------------------------------------------------------------------
(๐Ÿ๐Ÿ) Use Theorem 7.4.2 to evaluate the given Laplace transform. Do not evaluate the integral
before transforming.
โ„’{๐‘’โˆ’๐‘ก โˆ— ๐‘’๐‘ก cos ๐‘ก}.
-------------------------------------------------------------------------------------------------------------------------------
In the following problems, use the Laplace transform to solve the given integral equation or
integrodifferential equation.
๐‘ก
(๐Ÿ‘๐Ÿ—) ๐‘“(๐‘ก) = ๐‘ก๐‘’ + โˆซ ๐œ๐‘“(๐‘ก โˆ’ ๐œ) ๐‘‘๐œ.
๐‘ก
0
๐‘ก
8
(๐Ÿ’๐Ÿ‘) ๐‘“(๐‘ก) = 1 + ๐‘ก โˆ’ โˆซ (๐œ โˆ’ ๐‘ก)3 ๐‘“(๐œ) ๐‘‘๐œ.
3
0
133

Similar documents