Heat Flow Problems

advertisement
MODULE 8: THE FOURIER TRANSFORM METHDOS FOR PDES
Lecture 3
10
Heat Flow Problems
In this lecture we shall study some applications of the Fourier transform in solving the
heat flow problems where the spatial domain is infinite or semi-infinite.
1
Heat flow problem in an infinite rod
Consider the heat flow in an infinite rod where the initial temperature is u(x, 0) = f (x).
We shall prove that if the function f (x) is continuous and either absolutely integrable i.e.,
∫ ∞
|f (x)|dx < ∞
−∞
or bounded (i.e., |f (x)| ≤ M ∀x), then the following IVP problem has a solution u(x, t)
which is continuous throughout the half-plane t ≥ 0, −∞ < x < ∞.
PDE:
IC:
ut (x, t) = α2 uxx (x, t),
u(x, 0) = f (x),
−∞ < x < ∞, t > 0,
−∞ < x < ∞,
(1)
(2)
with u(x, t), ux (x, t) → 0 as x → ±∞, t > 0.
The stepwise solution procedure is given below.
Step 1. (Transforming the problem to an IVP in ODE )
We apply FT F to the PDE (1) and IC (2) and use the properties of FT to reduce the
given Cauchy problem to an IVP for an ODE. Let
F[u] = û(ω, t)
F[f (x)] = fˆ(ω).
Taking the FT of both sides of the PDE (1) and IC (2) with respect to the x variable, we
obtain
F[ut ] = α2 F[uxx ]
F[u(x, 0)] = F[f (x)].
Using the properties of the FT
F[ut ] =
d
û(ω, t),
dt
F[uxx ] = −ω 2 û(ω, t)
we have
d
û(ω, t) = −α2 ω 2 û(ω, t),
dt
û(ω, 0) = fˆ(ω).
(3)
(4)
MODULE 8: THE FOURIER TRANSFORM METHDOS FOR PDES
11
Step 2. (Solving the transformed problem)
Note that (3) is a first-order IVP for an ODE in t for each fixed ω. The solution to this
problem is given by
2 2
û(ω, t) = fˆ(ω)e−α ω t .
(5)
Step 3. (Finding the inverse transform)
To find the solution u(x, t), we take inverse transform, with t fixed, to obtain
u(x, t) = F −1 [û(ω, t)]
= F −1 [fˆ(ω)e−α
2 ω2 t
].
Step 4. (Using convolution property of the inverse FT )
Using the convolution property of F −1 , we write
u(x, t) = F −1 [fˆ(ω)e−α
2 ω2 t
]
= F −1 [fˆ(ω)] ∗ F −1 [e−α ω t ]
]
[
2
1
−( x 2 )
= f (x) ∗ √
e 4α t
2α2 t
∫ ∞
(x−ω)2
1
√
f (ω)e− 4α2 t dω.
=
2 α2 πt −∞
2
2
REMARK 1.
• Note that integrand is made up of two terms i.e., the initial temperature f (x) and
the function
(x−ω)2
1
G(x, t) = √
e− 4α2 t .
2 α2 πt
The function G(x, t) is called Green’s function or impulse-response function which
is the temperature response to an initial temperature impulse at x = ω.
• The major drawback of the FT method is that all functions can not be transformed.
Only functions that damp to zero sufficiently fast as |x| → ∞ have FTs.
2
Heat flow problem in a semi-infinite rod
Consider the heat flow in a semi-infinite region with the temperature prescribed as a
function of time at x = 0.
MODULE 8: THE FOURIER TRANSFORM METHDOS FOR PDES
12
EXAMPLE 2. Solve the problem
PDE:
BC:
IC:
ut (x, t) = α2 uxx (x, t),
0 < x < ∞, t > 0
u(0, t) = b0 t > 0,
(7)
−∞ < x < ∞,
u(x, 0) = 0,
(6)
(8)
with u(x, t), ux (x, t) → 0 as x → ∞.
Since 0 < x < ∞, we may wish to use a transform. Since u is specified at x = 0, we
should try to use Fourier sine transform (and not the Fourier cosine transform). We solve
this problem with the following steps.
Step 1. (Transforming the problem)
Notice that u is specified at x = 0. Let Fs [u] = ûs (ω, t). Now taking FST of both sides of
(6) and noting the following properties of FST
√ ∫ ∞
2
Fs [ut ] =
ut (x, t) sin(ωx)dx
π 0
]
[√ ∫
d
2 ∞
=
ut (x, t) sin(ωx)dx
dt
π 0
=
=
d
Fs [u]
dt
d
ûs (ω, t).
dt
and
√
2
ωu(0, t)
π
√
2
= −ω 2 ûs (ω, t) +
ωu(0, t)
π
√
2
= −ω 2 ûs (ω, t) +
b0 ω,
π
where in the last step we have used BC u(0, t) = b0 , we arrive at the ODE
(
)
√
d
2
2
2
ûs (ω, t) = α −ω ûs (ω, t) +
b0 ω .
dt
π
Fs [uxx ] = −ω Fs [u] +
2
Next, taking FST of the IC (8), we obatin
Fs [u(x, 0)] = Fs [0] −→ ûs (ω, 0) = 0.
Thus, we transform the original problem (6)-(8) to an IVP in ODE:
√
d
2 2
2 2
ûs (ω, t) + α ω ûs (ω, t) =
α b0 ω,
dt
π
ûs (ω, 0) = 0.
MODULE 8: THE FOURIER TRANSFORM METHDOS FOR PDES
13
Step 2.(Solving the transformed problem)
Using the standard method of solving ODE, the solution is given by
√
2 b0
2 2
ûs (ω, t) =
(1 − e−ω α t ).
πω
(9)
Step 3. (Finding the Inverse Transform)
Applying the inverse FST to both sides of (9), we find that
[√
]
2
b
2
2
0
u(x, t) = Fs−1 [ûs (ω, t)] = Fs−1
(1 − e−ω α t )
πω
∫ ∞
2
sin(ωx)
2 2
=
b0
(1 − e−α ω t )dω
π
ω
[ 0
]
x
= b0 erf c( √
) ,
2α2 t
where erf c(y) is the complementary error function given by
√ ∫ ∞
2
2
erf c(y) =
e−τ dτ.
π y
Hence, the solution of the heat conduction problem is
(
)
x
u(x, t) = b0 erf c √
.
2α2 t
Practice Problems
1. Solve the following IVP:
ut = uxx , −∞ < x < ∞, t > 0,
u(x, 0) = 2x, −∞ < x < ∞,
u(x, t), ux (x, t) → 0 as x → ±∞, t > 0.
2. Let f (x) ∈ C(R) be an odd function. If f (x) is absolutely integrable on R and
f (x) → 0 as x → ±∞ then show that the unique continuous solution of the problem
ut = α2 uxx , −∞ < x < ∞, t > 0,
u(x, 0) = f (x), −∞ < x < ∞,
u(x, t), ux (x, t) → 0 as x → ±∞, t > 0.
is also odd in the variable x. Show that the conclusion is false if the BC is dropped.
MODULE 8: THE FOURIER TRANSFORM METHDOS FOR PDES
3. Apply appropriate FT to solve the IBVP:
ut = uxx , x > 0, t > 0,
u(x, 0) = x, x > 0,
ux (0, t) = e−t , t > 0,
u(x, t), ux (x, t) → 0 as x → ∞, t > 0.
14
Download