The Heat Equation. Lectures INF2320 p. 1/88


 Maude Shelton
 1 years ago
 Views:
Transcription
1 The Heat Equation Lectures INF232 p. 1/88
2 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3) where f is a given initial condition defined on the unit interval (,1). We shall in the following study physical properties of heat conduction versus the mathematical model (1)(3) separation of variables  a technique, for computing the analytical solution of the heat equation analyze the stability properties of the explicit numerical method
3 Lectures INF232 p. 3/88 Energy arguments We define the energy of the solution u at a time t by E 1 (t) = u 2 (x,t)dx for t. (4) Note that this is not the physical energy This energy is a mathematical tool, used to study the behavior of the solution We shall see that E 1 (t) is a nonincreasing function of time
4 Lectures INF232 p. 4/88 Energy arguments If we multiply the left and right hand sides of the heat equation (1) by u it follows that u t u = u xx u for x (,1), t > By the chain rule for differentiation we observe that t u2 = 2uu t Hence 1 2 t u2 = u xx u for x (,1), t >
5 Lectures INF232 p. 5/88 Energy arguments By integrating both sides with respect to x, and applying the rule of integration by parts, we get 1 2 t u2 (x,t)dx = u xx (x,t)u(x,t)dx (5) = u x (1,t)u(1,t) u x (,t)u(,t) = u x (x,t)u x (x,t)dx u 2 x(x,t)dx for t >, where the last equality is a consequence of the boundary condition (2)
6 Lectures INF232 p. 6/88 Energy arguments We assume that u is a smooth solution of the heat equation, which implies that we can interchange the order of integration and derivation in (5), that is t u 2 (x,t)dx = 2 u 2 x(x,t)dx for t > (6) Therefore E 1(t) = 2 u 2 x(x,t)dx for t > This implies that E 1(t)
7 Lectures INF232 p. 7/88 Energy arguments Thus E 1 is a nonincreasing function of time t, i.e., In particular E 1 (t 2 ) E 1 (t 1 ) for all t 2 t 1 u 2 (x,t)dx u 2 (x,)dx = f 2 (x)dx for t > (7)
8 Lectures INF232 p. 8/88 Energy arguments This means that the energy, in the sense of E 1 (t), is a nonincreasing function of time The integral of u 2 x with respect to x, tells us how fast the energy decreases From a physical point of view it seems reasonable that a the energy will decrease in a system without any heat source In the following we study another energy function which can be analyzed in a similar manner
9 Lectures INF232 p. 9/88 Energy arguments Define the new energy function E 2 (t) = u 2 x(x,t)dx Similar to above, we can multiply by u t and integrate with respect to x and get u 2 t (x,t)dx = u xx (x,t)u t (x,t)dx
10 Lectures INF232 p. 1/88 Energy arguments Integration by parts leads to u 2 t (x,t)dx = [u x (x,t)u t (x,t)] 1 = u x (,t)u t (,t) u x (1,t)u t (1,t) u x (x,t)u xt (x,t)dx u x (x,t)u tx (x,t)dx By the chain rule we get t u2 x = 2u x u xt
11 Lectures INF232 p. 11/88 Energy arguments Hence u 2 t (x,t)dx = u x (,t)u t (,t) u x (1,t)u t (1,t) u x (x,t)u xt (x,t)dx = u x (,t)u t (,t) u x (1,t)u t (1,t) 1 2 t u2 x(x,t)dx We can interchange the order of integration and differentiation and thereby conclude that 1 2 t u 2 x(x,t)dx = u 2 t (x,t)dx u x (,t)u t (,t) + u x (1,t)u t (1,t)
12 Lectures INF232 p. 12/88 Energy arguments According to the boundary condition (2), u(,t) = u(1,t) = for all t > Since u(,t) and u(1,t) are constant with respect to time, we can conclude that u t (,t) = u t (1,t) = for t > (8)
13 Lectures INF232 p. 13/88 Energy arguments Thus, we get that E 2(t) = t u 2 x(x,t)dx = 2 u 2 t (x,t)dx, This means that E 2 is a nonincreasing function of time, i.e. E 2 (t 2 ) E 2 (t 1 ) for all t 2 t 1 (9) u 2 x(x,t)dx u 2 x(x,)dx = f 2 x (x)dx, t >
14 Lectures INF232 p. 14/88 Stability We will now study how modifications of the initial condition (3) influence on the solution Consider the problem with a modified initial condition v t = v xx for x (,1), t > (1) v(,t) = v(1,t) = for t > (11) v(x,) = g(x) for x (,1) (12) If g is close to f, will v be approximately equal to u?
15 Lectures INF232 p. 15/88 Stability Let e denote the difference between u and v, i.e. e(x,t) = u(x,t) v(x,t) for x [,1], t From equations (1) and (1) we find that e t = (u v) t = u t v t = u xx v xx = (u v) xx = e xx Furthermore from (2)(3) and (11)(12) we get e(,t) = u(,t) v(,t) = = for t > e(1,t) = u(1,t) v(1,t) = = for t > e(x,) = u(x,) v(x,) = f(x) g(x) for x (,1)
16 Lectures INF232 p. 16/88 Stability Thus, e solves the heat equation with homogeneous Dirichlet boundary conditions at x =,1 and with initial condition h = f g From the above discussion, we therefore get that e 2 (x,t)dx h 2 (x)dx, t >, (u(x,t) v(x,t)) 2 dx ( f(x) g(x)) 2 dx, t > (13)
17 Lectures INF232 p. 17/88 Stability Thus, if g is close to f then the integral of (u v) 2, at any time t >, must be small Hence, we conclude that minor changes in the initial condition of (1)(3) will not alter its solution significantly The problem is stable with respect to changes in the initial condition
18 Lectures INF232 p. 18/88 Uniqueness We will now prove that (1)(3) can have at most one smooth solution Assume that both u and v are smooth solutions of this problem Using the above notation, this means that g(x) = f(x), x (,1) (13) implies that (u(x,t) v(x,t)) 2 dx =, t >
19 Lectures INF232 p. 19/88 Uniqueness Note that the function (u v) 2 is continuous, and furthermore (u(x,t) v(x,t)) 2 for all x [,1] and t We can therefore conclude that u(x,t) = v(x,t) for all x [,1] and t
20 Lectures INF232 p. 2/88 Maximum principles We know that the solution of (1)(3), will be more and more smooth, and that it will approach zero, as time increases Physically it is reasonable that the maximum temperature must appear either initially or at the boundary We now study the initialboundary value problem u t = u xx for x (,1), t > (14) u(,t) = g 1 (t) and u(1,t) = g 2 (t) for t > (15) u(x,) = f(x) for x (,1) (16) We shall see that the maximum value of the solution u(x,t) will occur initially or on the boundary
21 Lectures INF232 p. 21/88 Calculus First, we recall an important theorem from calculus Let q(x), x [,1] be a smooth function of one variable, which attains its maximum value at an interior point x, i.e. x (,1) and q(x) q(x ) for all x [,1] Then q must satisfy q (x ) = q (x )
22 Lectures INF232 p. 22/88 Calculus Consequently, if a smooth function h(x), defined on [,1], is such that or h (x) for all x (,1) h (x) > for all x (,1), then h must attain its maximum value at one of the endpoints
23 Lectures INF232 p. 23/88 Calculus Hence, we conclude that h() h(x) for all x [,1] (17) or h(1) h(x) for all x [,1] (18) Furthermore, if (17) hold, then h must satisfy h (), (19) and if (18) is the case, then it follows that h (1) (2)
24 Lectures INF232 p. 24/88 Calculus Let v = v(x,t) be a smooth function of space x [,1] and time t [,T] That is, we assume that the partial derivatives of all orders of v with respect x and t are continuous, and that where v : Ω T IR, Ω T = {(x,t) < x < 1 and < t < T }, (21) Ω T = {(x,) x 1} {(1,t) t T } {(x,t) x 1} {(,t) t T } (22) and Ω T = Ω T Ω T (23)
25 Lectures INF232 p. 25/88 Calculus Assume that (x,t ) Ω T, an interior point, is a maximum point for v in Ω T, i.e., v(x,t) v(x,t ) for all (x,t) Ω T Then, as in the single variable case, v must satisfy v x (x,t ) =, v t (x,t ) =, (24) v xx (x,t ) and v tt (x,t ) (25)
26 Lectures INF232 p. 26/88 Calculus Thus, a smooth function w = w(x,t), (x,t) Ω T such that either w x (x,t), w t (x,t), w xx (x,t) > or w tt (x,t) >, for all (x,t) Ω T, (26) must attain its maximum value at the boundary Ω T of Ω T We also have that if the maximum is achieved for t = T, say at (x,t), then w must satisfy the inequality w t (x,t) (27)
27 Lectures INF232 p. 27/88 Maximum principles Assume that u is a smooth solution of (14)(16), and that u achieves its maximum value at an interior point (x,t ) Ω T From (14) it follows that By (24) we conclude that u t (x,t ) = u xx (x,t ) u xx (x,t ) = If there were strict inequalities in (25), we would have had a contradiction, and we could have concluded that u must achieve its maximum at Ω T
28 Lectures INF232 p. 28/88 Maximum principles Define a family of auxiliary functions {v ε } ε> by v ε (x,t) = u(x,t)+εx 2 for ε >, (28) where u solves (14)(16) Note that v ε t (x,t) = u t (x,t), (29) v ε xx(x,t) = u xx (x,t)+2ε > u xx (x,t) Now, if v ε achieves its maximum at an interior point, say (x,t ) Ω T, then the property (24) implies that v ε t (x,t ) = u t (x,t ) =
29 Lectures INF232 p. 29/88 Maximum principles We can apply the heat equation (14) to conclude that Therefore u xx (x,t ) = u t (x,t ) = v ε xx(x,t ) = u xx (x,t )+2ε = 2ε > This violates the property (25), which must hold at a maximum point of v ε Hence, we conclude that v ε must attain its maximum value at the boundary Ω T of Ω T, i.e., v ε (x,t) max (y,s) Ω T v ε (y,s) for all (x,t) Ω T
30 Lectures INF232 p. 3/88 Maximum principles Can v ε reach its maximum value at time t = T and for x (,1)? Assume that (x,t), with < x < 1, is such that v ε (x,t) v ε (x,t) for all (x,t) Ω T Then, according to property (27), v ε t (x,t), which implies that u t (x,t) see (29) Consequently, since u satisfies the heat equation u xx (x,t) = u t (x,t)
31 Lectures INF232 p. 31/88 Maximum principles It follows that v ε xx(x,t) = u xx (x,t)+2ε +2ε > This contradicts the property (25) that must be fulfilled at such a maximum point This means that where v ε (x,t) max (y,s) Γ T v ε (y,s) for all (x,t) Ω T, (3) Γ T = {(,t) t T } {(x,) x 1} {(1,t) t T }
32 Maximum principles Let M = max ( max t g 1(t), max t g 2(t), max x (,1) ) f(x) And let Γ = {(,t) t } {(x,) x 1} {(1,t) t } Since Γ T Γ, (3) and the definition (28) of v ε, we have that v ε (x,t) max v ε (y,s) M + ε (y,s) Γ for all (x,t) Ω T By (28), it follows that u(x,t) v ε for all (x,t) Ω T Lectures INF232 p. 32/88
33 Lectures INF232 p. 33/88 Maximum principles Therefore u(x,t) M + ε for all (x,t) Ω T and all ε > This inequality is valid for all ε >, hence it must follow that u(x,t) M for all (x,t) Ω T (31) Since T > was arbitrary chosen, this inequality must hold for any t >, i.e., u(x,t) M for all x [,1], t > (32)
34 Lectures INF232 p. 34/88 Minimum principle The maximum principle above can be used to prove a similar minimum principle Let u(x,t) be a solution of the (14)(16), and define w(x,t) = u(x,t) for all x [,1], t > Note that w satisfies the heat equation, since w t = ( u) t = u t = u xx = ( u) xx = w xx Moreover w(,t) = g 1 (t) and w(1,t) = g 2 (t) for t >, w(x,) = f(x) for x (,1)
35 Lectures INF232 p. 35/88 Minimum principle Thus, from the analysis presented above we find that ( w(x,t) max max ( g 1(t)), max ( g 2(t)), max t t ( = min min g 1(t), min g 2(t), min f(x) t t x (,1) We can write this u(x,t) for all x [,1], t > min x (,1) ), ( ) min g 1(t), min g 2(t), min f(x), t t x (,1) for all x [,1], t > ) ( f(x))
36 Lectures INF232 p. 36/88 Maximum principles A smooth solution of the problem (14)(16) must satisfy the bound where m u(x,t) M for all x [,1], t >, (33) m = min M = max ( min ) f(x) x (,1) g 1(t), min g 2(t), min t t ( max g 1(t), max g 2(t), max t t x (,1) ) f(x)., (34) (35)
37 Lectures INF232 p. 37/88 Separation of variables Separation of variables is a technique for computing the analytical solution of the heat equation First, we study functions satisfying u t = u xx for x (,1), t >, (36) u(,t) = u(1,t) = for t > (37) We guess that we have solutions on the form u(x,t) = X(x)T(t), (38) where X(x) and T(t) only depend on x and t The boundary conditions imply that u(,t) = = X()T(t) and u(1,t) = = X(1)T(t)
38 Lectures INF232 p. 38/88 Separation of variables Consequently, X(x) must satisfy X() = and X(1) =, (39) provided that T(t) for t > By using (38) for u(x,t) in the heat equation (36) we find that X and T must satisfy the relation X(x)T (t) = X (x)t(t) for all x (,1),t > Thus, if X(x) for x (,1) and T(t) for t >, we get T (t) T(t) = X (x) for all x (,1), t > (4) X(x)
39 Lectures INF232 p. 39/88 Separation of variables Since the left hand side of (4) only depends on t and the right hand side only depends on x, we conclude that there must exist a constant λ such that T (t) T(t) = λ (41) X (x) X(x) = λ (42) We have studied problems on the form (41) earlier and have seen that a solution is given by where c is an arbitrary constant T(t) = ce λt, (43)
40 Lectures INF232 p. 4/88 Separation of variables We write (42) on the form X (x) = λx(x), (44) with the boundary conditions X() = and X(1) = (45) We have that: Therefore sin (kπx) = k 2 π 2 sin(kπx) X(x) = X k (x) = sin(kπx), (46) λ = λ k = k 2 π 2 (47) satisfy (44) and (45), for k =..., 2, 1,,1,2,...
41 Lectures INF232 p. 41/88 Separation of variables We can now summarize that u k (x,t) = c k e k2 π 2t sin(kπx) for k =..., 2, 1,,1,2,... (48) satisfy both the heat equation (36) and the boundary condition (37) Note that, {c k } are arbitrary constants
42 Lectures INF232 p. 42/88 Example 22 Consider the problem u t = u xx for x (,1), t >, (49) u(,t) = u(1,t) = for t >, (5) u(x,) = sin(πx) for x (,1). (51) We have that u(x,t) = e π2t sin(πx) satisfies (49) and (5). Furthermore, u(x,) = e π2 sin(πx) = sin(πx) and thus this is the unique smooth solution of this problem.
43 Lectures INF232 p. 43/88 Example 23 Our second example is u t = u xx for x (,1), t >, u(,t) = u(1,t) = for t >, u(x,) = 7sin(5πx) for x (,1). Putting k = 5 and c 5 = 7 in equation (48) we find that u(x,t) = 7e 25π2t sin(5πx) satisfies the heat equation and the boundary condition of this problem. Furthermore, u(x,) = 7e 25π2 sin(5πx) = 7sin(5πx) and hence the initial condition is also satisfied.
44 Lectures INF232 p. 44/88 Superpositioning Assume that both v 1 and v 2 satisfy equations (36) and (37), and let w = v 1 + v 2 Observe that w t = (v 1 +v 2 ) t = (v 1 ) t +(v 2 ) t =(v 1 ) xx +(v 2 ) xx = (v 1 +v 2 ) xx = w xx Furthermore and w(,t) = v 1 (,t)+v 2 (,t) = + = for t >, w(1,t) = v 1 (1,t)+v 2 (1,t) = + = for t >, hence w also satisfies (36) and (37)
45 Lectures INF232 p. 45/88 Superpositioning For an arbitrary constant a 1 consider the function p(x,t) = a 1 v 1 (x,t) Since a 1 is a constant and v 1 satisfy the heat equation it follows that p t = (a 1 v 1 ) t = a 1 (v 1 ) t = a 1 (v 1 ) xx = (a 1 v 1 ) xx = p xx Furthermore p(,t) = a 1 v 1 (,t) = for t >, p(1,t) = a 1 v 1 (1,t) = for t >. Thus we conclude that p satisfy both (36) and (37)
46 Lectures INF232 p. 46/88 Superpositioning We can now conclude that, if v 1 and v 2 satisfy (36)(37) then any function on the form a 1 v 1 + a 2 v 2, also solves this problem for all constants a 1 and a 2 More generally, for any sequence of numbers c,c 1,c 2,... such that the series of functions c k e k2 π 2t sin(kπx) k=1 converges, this sum forms a solution of (36)(37) This is called superpositioning
47 Lectures INF232 p. 47/88 Fourier series and the initial condition We now have that, for any sequence of numbers the function u(x,t) = c 1,c 2,... c k e k2 π 2t sin(kπx) (52) k=1 defines a formal solution of (36)(37), provided that the series in (52) converges Therefore, if we drop the initial condition, we can find infinitely many functions satisfying the heat equation We shall now see how our model problem (1)(3) (including the initial condition) can be solved
48 Lectures INF232 p. 48/88 Example 24 Consider the problem u t = u xx for x (,1), t >, (53) u(,t) = u(1,t) = for t >, (54) u(x,) = 2.3sin(3πx)+1sin(6πx) for x (,1). (55) This fit into (52) with c k = for k 3 and k 6, c 3 = 2.3 and c 6 = 1. Thus, the unique smooth solution is given by u(x,t) = 2.3e 9π2t sin(3πx)+1e 36π2t sin(6πx).
49 Lectures INF232 p. 49/88 Example 25 Let us determine a formula for the solution of the problem u t = u xx for x (,1), t >, u(,t) = u(1,t) = for t >, u(x,) = 2sin(πx)+8sin(3πx)+sin(67πx)+12sin(1 4 πx). By putting c k = for k 1, 3, 67, 1 4, c 1 = 2, c 3 = 8, c 67 = 1, c 1 4 = 12, in formula (52), we get the solution u(x,t) = 2e π2t sin(πx)+8e 9π2t sin(3πx) +e (67π)2t sin(67πx)+12e (14 π) 2t sin(1 4 πx).
50 Lectures INF232 p. 5/88 Sums of sine functions We can generalize as follows: Let S be any finite set of positive integers and let {c k } k S be arbitrary given constants Consider an initial condition on the form f(x) = c k sin(kπx) k S Then the solution of (1)(3) is given by u(x,t) = c k e k2 π 2t sin(kπx) k S
51 Lectures INF232 p. 51/88 Sums of sine functions This is valid because u t (x,t) = k 2 π 2 c k e k2 π 2t sin(kπx) k S u xx (x,t) = k 2 π 2 c k e k2 π 2t sin(kπx) k S u(,t) = c k e k2 π 2t sin() = k S u(x,) = k S u(1,t) = k S c k e k2 π 2t sin(kπ) = c k e sin(kπx) = k S c k sin(kπx) = f(x)
52 Lectures INF232 p. 52/88 Sums of sine functions What about infinite series? For any initial condition on the form f(x) = c k sin(kπx) for x (,1), k=1 where the sum on the right hand side is an convergent infinite series. The solution of (1)(1) is given by u(x,t) = c k e k2 π 2t sin(kπx). (56) k=1
53 Lectures INF232 p. 53/88 Computing Fourier sine series For a given function f(x), does there exist constants c 1, c 2, c 3,... such that f(x) = c k sin(kπx) for x (,1)? (57) k=1 If so, how can the constants c 1, c 2, c 3,... be determined? Let us first assume that the answer to the first question is yes
54 Lectures INF232 p. 54/88 Computing Fourier sine series Recall the trigonometric identity that, for any real numbers a and b sin(a)sin(b) = 1 2 (cos(a b) cos(a+b)) (58) Therefore it follows that sin(kπx) sin(lπx) dx = { k l, 1/2 k = l (59)
55 Lectures INF232 p. 55/88 Computing Fourier sine series Now f(x)sin(lπx)dx = = ( k=1 c k sin(kπx) ) sin(lπx) dx c k sin(kπx) sin(lπx) dx k=1 = 1 2 c l Therefore c k = 2 f(x)sin(kπx)dx for k = 1,2,... (6) We conclude that, if the function f can be written on the form (57), then the coefficients must satisfy (6)
56 Lectures INF232 p. 56/88 Computing Fourier sine series Usually, a function can be written on the form (57), and we refer to such functions as wellbehaved. We can now summarize The Fourier coefficients for a "wellbehaved" function f(x), x (,1), is defined by c k = 2 f(x)sin(kπx)dx for k = 1,2,..., (61) and the associated Fourier sine series by f(x) = c k sin(kπx) for x (,1). (62) k=1
57 Lectures INF232 p. 57/88 Computing Fourier sine series Furthermore, if f satisfies (62) then u(x,t) = c k e k2 π 2t sin(kπx) (63) k=1 defines a formal solution of the problem u t = u xx for x (,1), t >, (64) u(,t) = u(1,t) = for t >, (65) u(x,) = f(x) for x (,1). (66)
58 Lectures INF232 p. 58/88 Computing Fourier sine series For a given integer N, we can approximate u by the Nth partial sum u N of the Fourier series, i.e., u(x,t) u N (x,t) = N c k e k2 π 2t sin(kπx) (67) k=1
59 Lectures INF232 p. 59/88 Example 26 Determine the Fourier sine series of the constant function f(x) = 1 for x (,1). From formula (61) we find that c k = 2 = 2 f(x)sin(kπx)dx = 2 [ 1 kπ cos(kπx) ] 1 1 sin(kπx) dx = 2 (cos(kπ) 1) = kπ { if k is eve if k is odd 4 kπ Thus we find that the Fourier sine series of this function is f(x) = 1 = k=1 4 (2k 1)π sin((2k 1)πx) for x (,1) (68)
60 Lectures INF232 p. 6/ Figure 1: The first 2 (dashed line), 7 (dasheddotted line) and 1 (solid line) terms of the Fourier sine series of the function f(x) = 1.
61 Lectures INF232 p. 61/88 Example 26 Solve u t = u xx for x (,1), t >, u(,t) = u(1,t) = for t >, u(x,) = 1 for x (,1). The formal solution is given by u(x,t) = k=1 4 (2k 1)π e (2k 1)2 π 2t sin((2k 1)πx) (69) In figures 2 and 3 we have graphed the function given by the 1th partial sum of the series (69) at time t =.5 and t = 1, respectively.
62 Figure 2: A plot of the function given by the sum of the 1 first terms of the series defining the formal solution of the problem studied in Example 26. The figure shows a snapshot of this function at time t =.5. Lectures INF232 p. 62/88
63 8 x Figure 3: A plot of the function given by the sum of the 1 first terms of the series defining the formal solution of the problem studied in Example 26. The figure shows a snapshot of this function at time t = 1. Lectures INF232 p. 63/88
64 Lectures INF232 p. 64/88 Note that A Fourier sine series, finite or infinite, g(x) = will have the property that c k sin(kπx), k=1 g() = g(1) = So, if a function f(x) is not zero at the endpoints, it can not be written as a sum of sine series on the closed interval [, 1] But the Fourier sine series of f, will in most cases still converge to f(x) in the open interval (,1)
65 Example 27 Compute the Fourier coefficients {c k } of the function According to formula (61) c k = 2 (x x 2 )sin(kπx)dx=2 We have x sin(kπx) dx = f(x) = x(1 x) = x x 2. [ x 1 ] 1 kπ cos(kπx) = 1 kπ cos(kπ)+ 1 kπ = 1 kπ x sin(kπx) dx 2 cos(kπ) = ( 1)k+1 kπ x 2 sin(kπx)dx. 1 kπ cos(kπx)dx [ 1 kπ sin(kπx). ] 1 Lectures INF232 p. 65/88
66 Example 27 x 2 sin(kπx)dx = [ x 2 1 ] 1 kπ cos(kπx) = 1 kπ cos(kπ)+ 2 kπ 2 kπ 1 kπ sin(kπx)dx = 1 kπ cos(kπ)+ 2 (kπ) 2 2x 1 kπ cos(kπx)dx [ x 1 kπ sin(kπx) ] 1 [ 1 kπ cos(kπx) ] 1 = 1 kπ cos(kπ)+ 2 (kπ) 3 cos(kπ) 2 (kπ) 3 = ( 1)k+1 kπ + 2( 1)k (kπ) 3 2 (kπ) 3. Lectures INF232 p. 66/88
67 Lectures INF232 p. 67/88 Example 27 Thus c k = 2 ( ) 2 (kπ) 3 2( 1)k (kπ) 3 = { if k is even, 8 (kπ) 3 if k is odd, and we find that f(x) = x x 2 ( ) 8 = k=1 ((2k 1)π) 3 sin((2k 1)πx).
68 Figure 4: The first (dashed line), 7 first (dasheddotted line) and 1 first (solid line) terms of the Fourier sine series of the function f(x) = x x 2. It is impossible to distinguish between the figures representing the 7 first and 1 first terms. They are both accurate approximations of x x 2. Lectures INF232 p. 68/88
69 Lectures INF232 p. 69/88 Example 28 Solve the problem k=1 u t = u xx for x (,1), t >, u(,t) = u(1,t) = for t >, u(x,) = x(1 x) = x x 2 for x (,1). According to (63) the function ( ) 8 u(x,t) = ((2k 1)π) 3 e (2k 1)2 π 2t sin((2k 1)πx) (7) defines a formal solution of this problem.
70 Lectures INF232 p. 7/88 2 x Figure 5: A snapshot, at time t =.5, of the function given by the sum of the 1 first terms of the series defining the formal solution of the problem studied in Example 28.
71 Lectures INF232 p. 71/ x Figure 6: A snapshot, at time t = 1, of the function given by the sum of the 1 first terms of the series defining the formal solution of the problem studied in Example 28.
72 Lectures INF232 p. 72/88 Stability analysis of the num. sol. We shall now study the stability properties of the explicit finite difference scheme for heat equation presented earlier As above, the discretization parameters are defined by t = T m and x = 1 n 1, and functions are only defined in the gridpoints u l i = u(x i,t l ) = u((i 1) x,l t) for i = 1,...,n and l =,...,m
73 Lectures INF232 p. 73/88 Stability analysis of the num. sol. The numerical scheme is written u l+1 i = u l i + t x 2(ul i 1 2u l i + u l i+1) = αu l i 1 +(1 2α)u l i + αu l i+1 (71) for i = 2,...,n 1 and l =,...,m 1, where Boundary conditions are u l = ul 1 α = t x 2 (72) = for l = 1,...,m We shall see that this numerical scheme is only conditionable stable, and the stability depends on the parameter α
74 Lectures INF232 p. 74/88 Example 29 Consider the following problem with the analytical solution u t = u xx for x (,1), t >, u(,t) = u(1,t) = for t >, u(x,) = sin(3πx) for x (,1), u(x,t) = e π2t sin(3πx). In Figures 79 we have graphed this function and the numerical results generated by the scheme (71) for various values of the discretization parameters in space and time. Notice how the solution depends on α.
75 Lectures INF232 p. 75/ x Figure 7: The solid line represents the solution of the problem studied in Example 29. The dotted, dashdotted and dashed lines are the numerical results generated in the cases of n = 1 and m = 17 (α =.4765), n = 2 and m = 82 (α =.442), n = 6 and m = 76 (α =.4931), respectively.
76 1.5 x Figure 8: The dashed line represents the results generated by the explicit scheme (71) in the case of n = 6 and m = 681, corresponding to α =.5112, in Example 29. The solid line is the graph of the exact solution of the problem studied in this example. Lectures INF232 p. 76/88
77 Lectures INF232 p. 77/ Figure 9: A plot of the numbers generated by the explicit scheme (71), with n = 6 and m = 675, in Example 29. Observe that α =.5157 >.5 and that, for these discretization parameters, the method fails to solve the problem under consideration!
78 Lectures INF232 p. 78/88 Example 3 We reconsider the problem analyzed Example 28, and study the performance of the explicit scheme (71) applied to u t = u xx for x (,1), t >, u(,t) = u(1,t) = for t >, u(x,) = x(1 x) = x x 2 for x (,1). We compare the numerical approximations generated by (71) with the formal solution (7) for various discretization parameters t and x
79 Figure 1: Numerical results from Example 3. The solid line represents the sum of the 1 first terms of the sine series of the formal solution of the problem studied in this example. The dotted, dashdotted and dashed curves are the numerical results generated in the cases of n = 4 and m = 3 (α =.3), n = 7 and m = 8 (α =.45), n = 14 and m = 34 (α =.4971), respectively. Lectures INF232 p. 79/88
80 Lectures INF232 p. 8/ Figure 11: The dashed line represents the results generated by the explicit scheme (71) in the case of n = 14 and m = 29, corresponding to α =.5828, in Example 3. The solid line is the graph of the Fourier based approximation of the solution.
81 Lectures INF232 p. 81/ Figure 12: A plot of the numerical results produced by the explicit scheme (71), using n = 25 grid points in the spatial dimension and m = 25 time steps, in Example 3. In this case α =.676 >.5 and the method fails to solve the problem.
82 Lectures INF232 p. 82/88 Analysis We have observed that the explicit scheme (71) works fine, provided that α 1/2 For small discretization parameters t and x, it seems to produce accurate approximations of the solution of the heat equation However, for α > 1/2 the scheme tends to break down, i.e., the numbers produced are not useful. Our goal now is to investigate this property from a theoretical point of view We will derive, provided that α 1/2, a discrete analogue to the maximum principle Note that, for (1)(3), the maximums principle implies u(x,t) max f(x) for all x (,1) and t x
83 Lectures INF232 p. 83/88 Analysis Assume that t and x satisfy α = t x Then We introduce 1 2α (73) ū l = max i u l i for l =,...,m Note that ū = max i f(x i )
84 Lectures INF232 p. 84/88 Analysis Recall that u l+1 i = αu l i 1 +(1 2α)ul i + αul i+1 It now follows from the triangle inequality that u l+1 i = αu l i 1 +(1 2α)u l i + αu l i+1 αu l i 1 + (1 2α)u l i + αu l i+1 = α u l i 1 +(1 2α) u l i +α u l i+1 αū l +(1 2α)ū l + αū l for i = 2,...,n 1 = ū l (74) Note that u l+1 1 = u l+1 n =
85 Lectures INF232 p. 85/88 Analysis Since (74) is valid for i = 2,...,n 1, we get or max u l+1 i i ū l+1 ū l ū l Finally, by a straightforward induction argument we conclude that ū l+1 ū = max i f(x i )
86 Lectures INF232 p. 86/88 Analysis Assume that the discretization parameters t and x satisfy α = t x (75) Then the approximations generated by the explicit scheme (71) satisfy the bound max i u l i max i f(x i ) for l =,...,m, (76) where f is the initial condition in the model problem (1)(3).
87 Lectures INF232 p. 87/88 Consequences For a given n, m must satisfy m 2T(n 1) 2 Hence, the number of time steps, m, needed increases rapidly with the number of grid points, n, used in the space dimension If T = 1 and n = 11, then m must satisfy m 2, and in the case of n = 11 at least time steps must be taken! This is no big problem in 1D, but in 2D and 3D this problem may become dramatic
88 Lectures INF232 p. 88/88
MATH 425, PRACTICE FINAL EXAM SOLUTIONS.
MATH 45, PRACTICE FINAL EXAM SOLUTIONS. Exercise. a Is the operator L defined on smooth functions of x, y by L u := u xx + cosu linear? b Does the answer change if we replace the operator L by the operator
More informationSecond Order Linear Partial Differential Equations. Part I
Second Order Linear Partial Differential Equations Part I Second linear partial differential equations; Separation of Variables;  point boundary value problems; Eigenvalues and Eigenfunctions Introduction
More informationAn Introduction to Partial Differential Equations
An Introduction to Partial Differential Equations Andrew J. Bernoff LECTURE 2 Cooling of a Hot Bar: The Diffusion Equation 2.1. Outline of Lecture An Introduction to Heat Flow Derivation of the Diffusion
More informationThe one dimensional heat equation: Neumann and Robin boundary conditions
The one dimensional heat equation: Neumann and Robin boundary conditions Ryan C. Trinity University Partial Differential Equations February 28, 2012 with Neumann boundary conditions Our goal is to solve:
More informationFourier Series. A Fourier series is an infinite series of the form. a + b n cos(nωx) +
Fourier Series A Fourier series is an infinite series of the form a b n cos(nωx) c n sin(nωx). Virtually any periodic function that arises in applications can be represented as the sum of a Fourier series.
More informationTaylor Polynomials and Taylor Series Math 126
Taylor Polynomials and Taylor Series Math 26 In many problems in science and engineering we have a function f(x) which is too complicated to answer the questions we d like to ask. In this chapter, we will
More informationRolle s Theorem. q( x) = 1
Lecture 1 :The Mean Value Theorem We know that constant functions have derivative zero. Is it possible for a more complicated function to have derivative zero? In this section we will answer this question
More informationLecture VI. Review of even and odd functions Definition 1 A function f(x) is called an even function if. f( x) = f(x)
ecture VI Abstract Before learning to solve partial differential equations, it is necessary to know how to approximate arbitrary functions by infinite series, using special families of functions This process
More informationCollege of the Holy Cross, Spring 2009 Math 373, Partial Differential Equations Midterm 1 Practice Questions
College of the Holy Cross, Spring 29 Math 373, Partial Differential Equations Midterm 1 Practice Questions 1. (a) Find a solution of u x + u y + u = xy. Hint: Try a polynomial of degree 2. Solution. Use
More informationFourier Series. Chapter Some Properties of Functions Goal Preliminary Remarks
Chapter 3 Fourier Series 3.1 Some Properties of Functions 3.1.1 Goal We review some results about functions which play an important role in the development of the theory of Fourier series. These results
More informationMATH 461: Fourier Series and Boundary Value Problems
MATH 461: Fourier Series and Boundary Value Problems Chapter III: Fourier Series Greg Fasshauer Department of Applied Mathematics Illinois Institute of Technology Fall 2015 fasshauer@iit.edu MATH 461 Chapter
More informationHøgskolen i Narvik Sivilingeniørutdanningen STE6237 ELEMENTMETODER. Oppgaver
Høgskolen i Narvik Sivilingeniørutdanningen STE637 ELEMENTMETODER Oppgaver Klasse: 4.ID, 4.IT Ekstern Professor: Gregory A. Chechkin email: chechkin@mech.math.msu.su Narvik 6 PART I Task. Consider twopoint
More informationM344  ADVANCED ENGINEERING MATHEMATICS Lecture 9: Orthogonal Functions and Trigonometric Fourier Series
M344  ADVANCED ENGINEERING MATHEMATICS ecture 9: Orthogonal Functions and Trigonometric Fourier Series Before learning to solve partial differential equations, it is necessary to know how to approximate
More informationInner Product Spaces
Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and
More information20 Applications of Fourier transform to differential equations
20 Applications of Fourier transform to differential equations Now I did all the preparatory work to be able to apply the Fourier transform to differential equations. The key property that is at use here
More informationSine and Cosine Series; Odd and Even Functions
Sine and Cosine Series; Odd and Even Functions A sine series on the interval [, ] is a trigonometric series of the form k = 1 b k sin πkx. All of the terms in a series of this type have values vanishing
More informationNonlinear Algebraic Equations. Lectures INF2320 p. 1/88
Nonlinear Algebraic Equations Lectures INF2320 p. 1/88 Lectures INF2320 p. 2/88 Nonlinear algebraic equations When solving the system u (t) = g(u), u(0) = u 0, (1) with an implicit Euler scheme we have
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationGeneral Theory of Differential Equations Sections 2.8, 3.13.2, 4.1
A B I L E N E C H R I S T I A N U N I V E R S I T Y Department of Mathematics General Theory of Differential Equations Sections 2.8, 3.13.2, 4.1 Dr. John Ehrke Department of Mathematics Fall 2012 Questions
More informationTHE DIFFUSION EQUATION
THE DIFFUSION EQUATION R. E. SHOWALTER 1. Heat Conduction in an Interval We shall describe the diffusion of heat energy through a long thin rod G with uniform cross section S. As before, we identify G
More informationx if x 0, x if x < 0.
Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the
More informationFourier Series Representations
Fourier Series Representations Introduction Before we discuss the technical aspects of Fourier series representations, it might be well to discuss the broader question of why they are needed We ll begin
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationFourier series. Jan Philip Solovej. English summary of notes for Analysis 1. May 8, 2012
Fourier series Jan Philip Solovej English summary of notes for Analysis 1 May 8, 2012 1 JPS, Fourier series 2 Contents 1 Introduction 2 2 Fourier series 3 2.1 Periodic functions, trigonometric polynomials
More informationEXISTENCE AND NONEXISTENCE RESULTS FOR A NONLINEAR HEAT EQUATION
Sixth Mississippi State Conference on Differential Equations and Computational Simulations, Electronic Journal of Differential Equations, Conference 5 (7), pp. 5 65. ISSN: 7669. UL: http://ejde.math.txstate.edu
More information2.3 Convex Constrained Optimization Problems
42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions
More informationProblem 1 (10 pts) Find the radius of convergence and interval of convergence of the series
1 Problem 1 (10 pts) Find the radius of convergence and interval of convergence of the series a n n=1 n(x + 2) n 5 n 1. n(x + 2)n Solution: Do the ratio test for the absolute convergence. Let a n =. Then,
More informationCHAPTER 2 FOURIER SERIES
CHAPTER 2 FOURIER SERIES PERIODIC FUNCTIONS A function is said to have a period T if for all x,, where T is a positive constant. The least value of T>0 is called the period of. EXAMPLES We know that =
More informationEngineering Mathematics II
PSUT Engineering Mathematics II Fourier Series and Transforms Dr. Mohammad Sababheh 4/14/2009 11.1 Fourier Series 2 Fourier Series and Transforms Contents 11.1 Fourier Series... 3 Periodic Functions...
More informationCHAPTER 3. Fourier Series
`A SERIES OF CLASS NOTES FOR 20052006 TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS DE CLASS NOTES 4 A COLLECTION OF HANDOUTS ON PARTIAL DIFFERENTIAL
More informationTaylor and Maclaurin Series
Taylor and Maclaurin Series In the preceding section we were able to find power series representations for a certain restricted class of functions. Here we investigate more general problems: Which functions
More informationSection 3 Sequences and Limits, Continued.
Section 3 Sequences and Limits, Continued. Lemma 3.6 Let {a n } n N be a convergent sequence for which a n 0 for all n N and it α 0. Then there exists N N such that for all n N. α a n 3 α In particular
More informationApplication of Fourier Transform to PDE (I) Fourier Sine Transform (application to PDEs defined on a semiinfinite domain)
Application of Fourier Transform to PDE (I) Fourier Sine Transform (application to PDEs defined on a semiinfinite domain) The Fourier Sine Transform pair are F. T. : U = 2/ u x sin x dx, denoted as U
More information16 Convergence of Fourier Series
16 Convergence of Fourier Series 16.1 Pointwise convergence of Fourier series Definition: Piecewise smooth functions For f defined on interval [a, b], f is piecewise smooth on [a, b] if there is a partition
More informationClass Meeting # 1: Introduction to PDEs
MATH 18.152 COURSE NOTES  CLASS MEETING # 1 18.152 Introduction to PDEs, Fall 2011 Professor: Jared Speck Class Meeting # 1: Introduction to PDEs 1. What is a PDE? We will be studying functions u = u(x
More informationAn Introduction to Separation of Variables with Fourier Series Math 391w, Spring 2010 Tim McCrossen Professor Haessig
An Introduction to Separation of Variables with Fourier Series Math 391w, Spring 2010 Tim McCrossen Professor Haessig Abstract: This paper aims to give students who have not yet taken a course in partial
More information1. Periodic Fourier series. The Fourier expansion of a 2πperiodic function f is:
CONVERGENCE OF FOURIER SERIES 1. Periodic Fourier series. The Fourier expansion of a 2πperiodic function f is: with coefficients given by: a n = 1 π f(x) a 0 2 + a n cos(nx) + b n sin(nx), n 1 f(x) cos(nx)dx
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics GLOBAL EXISTENCE AND DECREASING PROPERTY OF BOUNDARY VALUES OF SOLUTIONS TO PARABOLIC EQUATIONS WITH NONLOCAL BOUNDARY CONDITIONS Sangwon Seo Volume 193 No. 1 March 2000
More informationPUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.
PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More information4. Complex integration: Cauchy integral theorem and Cauchy integral formulas. Definite integral of a complexvalued function of a real variable
4. Complex integration: Cauchy integral theorem and Cauchy integral formulas Definite integral of a complexvalued function of a real variable Consider a complex valued function f(t) of a real variable
More informationAdvanced Engineering Mathematics Prof. Jitendra Kumar Department of Mathematics Indian Institute of Technology, Kharagpur
Advanced Engineering Mathematics Prof. Jitendra Kumar Department of Mathematics Indian Institute of Technology, Kharagpur Lecture No. # 28 Fourier Series (Contd.) Welcome back to the lecture on Fourier
More informationANALYTICAL MATHEMATICS FOR APPLICATIONS 2016 LECTURE NOTES Series
ANALYTICAL MATHEMATICS FOR APPLICATIONS 206 LECTURE NOTES 8 ISSUED 24 APRIL 206 A series is a formal sum. Series a + a 2 + a 3 + + + where { } is a sequence of real numbers. Here formal means that we don
More informationNumerical methods for American options
Lecture 9 Numerical methods for American options Lecture Notes by Andrzej Palczewski Computational Finance p. 1 American options The holder of an American option has the right to exercise it at any moment
More informationSystems with Persistent Memory: the Observation Inequality Problems and Solutions
Chapter 6 Systems with Persistent Memory: the Observation Inequality Problems and Solutions Facts that are recalled in the problems wt) = ut) + 1 c A 1 s ] R c t s)) hws) + Ks r)wr)dr ds. 6.1) w = w +
More informationTOPIC 4: DERIVATIVES
TOPIC 4: DERIVATIVES 1. The derivative of a function. Differentiation rules 1.1. The slope of a curve. The slope of a curve at a point P is a measure of the steepness of the curve. If Q is a point on the
More informationSequences and Series
Sequences and Series Consider the following sum: 2 + 4 + 8 + 6 + + 2 i + The dots at the end indicate that the sum goes on forever. Does this make sense? Can we assign a numerical value to an infinite
More informationThe Method of Least Squares. Lectures INF2320 p. 1/80
The Method of Least Squares Lectures INF2320 p. 1/80 Lectures INF2320 p. 2/80 The method of least squares We study the following problem: Given n points (t i,y i ) for i = 1,...,n in the (t,y)plane. How
More informationFourier Series. 1. Fullrange Fourier Series. ) + b n sin L. [ a n cos L )
Fourier Series These summary notes should be used in conjunction with, and should not be a replacement for, your lecture notes. You should be familiar with the following definitions. A function f is periodic
More informationFourthOrder Compact Schemes of a Heat Conduction Problem with Neumann Boundary Conditions
FourthOrder Compact Schemes of a Heat Conduction Problem with Neumann Boundary Conditions Jennifer Zhao, 1 Weizhong Dai, Tianchan Niu 1 Department of Mathematics and Statistics, University of MichiganDearborn,
More information5.4 The Heat Equation and ConvectionDiffusion
5.4. THE HEAT EQUATION AND CONVECTIONDIFFUSION c 6 Gilbert Strang 5.4 The Heat Equation and ConvectionDiffusion The wave equation conserves energy. The heat equation u t = u xx dissipates energy. The
More informationNumerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J. Olver. Finite Difference Methods for Partial Differential Equations As you are well aware, most differential equations are much too complicated to be solved by
More informationCHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY
January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.
More informationMaths 361 Fourier Series Notes 2
Today s topics: Even and odd functions Real trigonometric Fourier series Section 1. : Odd and even functions Consider a function f : [, ] R. Maths 361 Fourier Series Notes f is odd if f( x) = f(x) for
More informationDifferentiation of vectors
Chapter 4 Differentiation of vectors 4.1 Vectorvalued functions In the previous chapters we have considered real functions of several (usually two) variables f : D R, where D is a subset of R n, where
More informationOPTIMAL CONTROL OF A COMMERCIAL LOAN REPAYMENT PLAN. E.V. Grigorieva. E.N. Khailov
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Supplement Volume 2005 pp. 345 354 OPTIMAL CONTROL OF A COMMERCIAL LOAN REPAYMENT PLAN E.V. Grigorieva Department of Mathematics
More informationFourier Series Chapter 3 of Coleman
Fourier Series Chapter 3 of Coleman Dr. Doreen De eon Math 18, Spring 14 1 Introduction Section 3.1 of Coleman The Fourier series takes its name from Joseph Fourier (1768183), who made important contributions
More informationLecture 13 Linear quadratic Lyapunov theory
EE363 Winter 289 Lecture 13 Linear quadratic Lyapunov theory the Lyapunov equation Lyapunov stability conditions the Lyapunov operator and integral evaluating quadratic integrals analysis of ARE discretetime
More informationIntroduction to Green s Functions: Lecture notes 1
October 18, 26 Introduction to Green s Functions: Lecture notes 1 Edwin Langmann Mathematical Physics, KTH Physics, AlbaNova, SE16 91 Stockholm, Sweden Abstract In the present notes I try to give a better
More informationHOMEWORK 4 SOLUTIONS. All questions are from Vector Calculus, by Marsden and Tromba
HOMEWORK SOLUTIONS All questions are from Vector Calculus, by Marsden and Tromba Question :..6 Let w = f(x, y) be a function of two variables, and let x = u + v, y = u v. Show that Solution. By the chain
More informationVectors, Gradient, Divergence and Curl.
Vectors, Gradient, Divergence and Curl. 1 Introduction A vector is determined by its length and direction. They are usually denoted with letters with arrows on the top a or in bold letter a. We will use
More information1. the function must be periodic; 3. it must have only a finite number of maxima and minima within one periodic;
Fourier Series 1 Dirichlet conditions The particular conditions that a function f(x must fulfil in order that it may be expanded as a Fourier series are known as the Dirichlet conditions, and may be summarized
More informationParabolic Equations. Chapter 5. Contents. 5.1.2 WellPosed InitialBoundary Value Problem. 5.1.3 Time Irreversibility of the Heat Equation
7 5.1 Definitions Properties Chapter 5 Parabolic Equations Note that we require the solution u(, t bounded in R n for all t. In particular we assume that the boundedness of the smooth function u at infinity
More informationLectures 56: Taylor Series
Math 1d Instructor: Padraic Bartlett Lectures 5: Taylor Series Weeks 5 Caltech 213 1 Taylor Polynomials and Series As we saw in week 4, power series are remarkably nice objects to work with. In particular,
More informationEconomics 2020a / HBS 4010 / HKS API111 FALL 2010 Solutions to Practice Problems for Lectures 1 to 4
Economics 00a / HBS 4010 / HKS API111 FALL 010 Solutions to Practice Problems for Lectures 1 to 4 1.1. Quantity Discounts and the Budget Constraint (a) The only distinction between the budget line with
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationThe two dimensional heat equation
The two dimensional heat equation Ryan C. Trinity University Partial Differential Equations March 6, 2012 Physical motivation Consider a thin rectangular plate made of some thermally conductive material.
More informationON A MIXED SUMDIFFERENCE EQUATION OF VOLTERRAFREDHOLM TYPE. 1. Introduction
SARAJEVO JOURNAL OF MATHEMATICS Vol.5 (17) (2009), 55 62 ON A MIXED SUMDIFFERENCE EQUATION OF VOLTERRAFREDHOLM TYPE B.. PACHPATTE Abstract. The main objective of this paper is to study some basic properties
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationFIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.
FIRST YEAR CALCULUS WWLCHENW L c WWWL W L Chen, 1982, 2008. 2006. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It It is is
More information4.5 Chebyshev Polynomials
230 CHAP. 4 INTERPOLATION AND POLYNOMIAL APPROXIMATION 4.5 Chebyshev Polynomials We now turn our attention to polynomial interpolation for f (x) over [ 1, 1] based on the nodes 1 x 0 < x 1 < < x N 1. Both
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More information15 Kuhn Tucker conditions
5 Kuhn Tucker conditions Consider a version of the consumer problem in which quasilinear utility x 2 + 4 x 2 is maximised subject to x +x 2 =. Mechanically applying the Lagrange multiplier/common slopes
More information6.8 Taylor and Maclaurin s Series
6.8. TAYLOR AND MACLAURIN S SERIES 357 6.8 Taylor and Maclaurin s Series 6.8.1 Introduction The previous section showed us how to find the series representation of some functions by using the series representation
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More information1 Completeness of a Set of Eigenfunctions. Lecturer: Naoki Saito Scribe: Alexander Sheynis/Allen Xue. May 3, 2007. 1.1 The Neumann Boundary Condition
MAT 280: Laplacian Eigenfunctions: Theory, Applications, and Computations Lecture 11: Laplacian Eigenvalue Problems for General Domains III. Completeness of a Set of Eigenfunctions and the Justification
More informationSection 4.7. More on Area
Difference Equations to Differential Equations Section 4.7 More on Area In Section 4. we motivated the definition of the definite integral with the idea of finding the area of a region in the plane. However,
More informationLECTURE 15: AMERICAN OPTIONS
LECTURE 15: AMERICAN OPTIONS 1. Introduction All of the options that we have considered thus far have been of the European variety: exercise is permitted only at the termination of the contract. These
More informationChapter 11 Fourier Analysis
Chapter 11 Fourier Analysis Advanced Engineering Mathematics WeiTa Chu National Chung Cheng University wtchu@cs.ccu.edu.tw 1 2 11.1 Fourier Series Fourier Series Fourier series are infinite series that
More informationScientific Computing: An Introductory Survey
Scientific Computing: An Introductory Survey Chapter 10 Boundary Value Problems for Ordinary Differential Equations Prof. Michael T. Heath Department of Computer Science University of Illinois at UrbanaChampaign
More informationLevel Set Framework, Signed Distance Function, and Various Tools
Level Set Framework Geometry and Calculus Tools Level Set Framework,, and Various Tools Spencer Department of Mathematics Brigham Young University Image Processing Seminar (Week 3), 2010 Level Set Framework
More informationNumerical PDE methods for exotic options
Lecture 8 Numerical PDE methods for exotic options Lecture Notes by Andrzej Palczewski Computational Finance p. 1 Barrier options For barrier option part of the option contract is triggered if the asset
More informationInfinite series, improper integrals, and Taylor series
Chapter Infinite series, improper integrals, and Taylor series. Introduction This chapter has several important and challenging goals. The first of these is to understand how concepts that were discussed
More informationIn this section, we will consider techniques for solving problems of this type.
Constrained optimisation roblems in economics typically involve maximising some quantity, such as utility or profit, subject to a constraint for example income. We shall therefore need techniques for solving
More informationSection 3.7. Rolle s Theorem and the Mean Value Theorem. Difference Equations to Differential Equations
Difference Equations to Differential Equations Section.7 Rolle s Theorem and the Mean Value Theorem The two theorems which are at the heart of this section draw connections between the instantaneous rate
More informationTMA4213/4215 Matematikk 4M/N Vår 2013
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA43/45 Matematikk 4M/N Vår 3 Løsningsforslag Øving a) The Fourier series of the signal is f(x) =.4 cos ( 4 L x) +cos ( 5 L
More information1 The 1D Heat Equation
The 1D Heat Equation 18.303 Linear Partial Differential Equations Matthew J. Hancock Fall 006 1 The 1D Heat Equation 1.1 Physical derivation Reference: Guenther & Lee 1.31.4, MyintU & Debnath.1 and.5
More informationThe degree of a polynomial function is equal to the highest exponent found on the independent variables.
DETAILED SOLUTIONS AND CONCEPTS  POLYNOMIAL FUNCTIONS Prepared by Ingrid Stewart, Ph.D., College of Southern Nevada Please Send Questions and Comments to ingrid.stewart@csn.edu. Thank you! PLEASE NOTE
More informationTOPIC 3: CONTINUITY OF FUNCTIONS
TOPIC 3: CONTINUITY OF FUNCTIONS. Absolute value We work in the field of real numbers, R. For the study of the properties of functions we need the concept of absolute value of a number. Definition.. Let
More informationNumerical Solution of Differential
Chapter 13 Numerical Solution of Differential Equations We have considered numerical solution procedures for two kinds of equations: In chapter 10 the unknown was a real number; in chapter 6 the unknown
More informationVI. Transcendental Functions. x = ln y. In general, two functions f, g are said to be inverse to each other when the
VI Transcendental Functions 6 Inverse Functions The functions e x and ln x are inverses to each other in the sense that the two statements y = e x, x = ln y are equivalent statements In general, two functions
More informationDuality in General Programs. Ryan Tibshirani Convex Optimization 10725/36725
Duality in General Programs Ryan Tibshirani Convex Optimization 10725/36725 1 Last time: duality in linear programs Given c R n, A R m n, b R m, G R r n, h R r : min x R n c T x max u R m, v R r b T
More information, < x < Using separation of variables, u(x, t) = Φ(x)h(t) (4) we obtain the differential equations. d 2 Φ = λφ (6) Φ(± ) < (7)
Chapter1: Fourier Transform Solutions of PDEs In this chapter we show how the method of separation of variables may be extended to solve PDEs defined on an infinite or semiinfinite spatial domain. Several
More information) + ˆf (n) sin( 2πnt. = 2 u x 2, t > 0, 0 < x < 1. u(0, t) = u(1, t) = 0, t 0. (x, 0) = 0 0 < x < 1.
Introduction to Fourier analysis This semester, we re going to study various aspects of Fourier analysis. In particular, we ll spend some time reviewing and strengthening the results from Math 425 on Fourier
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationLecture5. Fourier Series
Lecture5. Fourier Series In 1807 the French mathematician Joseph Fourier (17681830) submitted a paper to the Academy of Sciences in Paris. In it he presented a mathematical treatment of problems involving
More informationIn this chapter, we define continuous functions and study their properties.
Chapter 7 Continuous Functions In this chapter, we define continuous functions and study their properties. 7.1. Continuity Continuous functions are functions that take nearby values at nearby points. Definition
More informationMath 5311 Gateaux differentials and Frechet derivatives
Math 5311 Gateaux differentials and Frechet derivatives Kevin Long January 26, 2009 1 Differentiation in vector spaces Thus far, we ve developed the theory of minimization without reference to derivatives.
More information9 More on differentiation
Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......
More information