chebyshev polynomials and fredholm-volterra integral equation

2 downloads 0 Views 379KB Size Report
Also, using Chebyshev polynomial, the solution of the integral equation is .... (iii) When p(x, y) = 1 and the kernel of position takes a logarithmic form, the ..... R(x)=(1+ x)−1. 2. +α(1 − x). 1. 2. +β,. (34) where α, β = 0, 1, − 1; − 1 < −1. 2 ... obtain numerically the solution of Eq.(33), under the condition (2), we express G(x, t) as. G(x ...
CHEBYSHEV POLYNOMIALS AND FREDHOLM-VOLTERRA INTEGRAL EQUATION M. M. El-Borai1 , M. A. Abdou2 , A. A. Badr3 and M. Basseem4 1

Alexandria university, Faculty of Science, Egypt. Email: m m [email protected] 2 Alexandria university, Faculty of Science, Egypt. Email: abdella [email protected] 3 Alexandria university, Faculty of Science, Egypt. Email: [email protected] 4 Shorouk Academy, The Higher Institute of Engineering, Egypt. Email: [email protected] Received 9 June 2007; accepted 20 August 2007 ABSTRACT In this article, we discuss the existence and uniqueness solution of FVIE of the second kind. Also, using Chebyshev polynomial, the solution of the integral equation is obtained. The kernel of Fredholm, in position, has a smooth term multiplying by a logarithmic function, while the kernel of Volterra is continuous function in time. Some numerical results are obtained using maple 7. Keywords: Fredholm-Volterra integral equation (FVIE), Chebyshev polynomial, logarithmic kernel, linear algebraic system. 1

INTRODUCTION

Many problems of mathematical physics, theory of elasticity and contact problems reduce to an integral equations with singular kernel. Singular integral equation appears in studies involving fracture mechanics (Aleksandrov and Kovalenko 1986; Willis and Nasser 1990), radiation and molecular conduction (Frankel 1995) and others. Over the past thirty years, the substantial progress has been made in developing innovative approximate analytical and purely numerical solution to a large class of integral equations with singular kernel. Since closed form solutions of these problems are generally not available, much attention has been focused on numerical treatment. In (Abdou 2000) Abdou, using orthogonal polynomial method of type Jacobi polynomial, obtained the solution of FIE of the second kind with Cauchy and logarithmic kernel. Also, Abdou and Hassan in (Abdou and Hassan 2000), using Legendre polynomial, obtained the solution of FIE with logarithmic kernel. Using Toeplitz matrices method, Abdou et. al. (Abdou et al. 2002), obtained the solution of FIE with logarithmic and Carleman kernels. While in (Abdou 2002a), Abdou using orthogonal polynomial method of type Legendre polynomial, the solution of FVIE is obtained. This paper is divided into seven sections, the formulation of FVIE of the second kind which investigated from the contact problem is considered in section two. While, in section three, the Int. J. of Appl. Math. and Mech. 4(5): 78-92, 2008.

Chebyshev Polynomials and Fredholm-Volterra Integral Equation

79

existence and uniqueness solution of the integral equation is discussed and proved. In section four, we state some algebraic and integral formulas for the Chebyshev polynomials. In section five and six, we use Chebyshev polynomial method to obtain a linear system of Volterra integral equation of the second kind. In the light of a numerical method, the system of Volterra equation reduced to a linear algebraic system. In section seven, numerical results are obtained and discussed. 2

FORMULATION OF THE PROBLEM

Consider the FVIE of second kind Z t Z µφ(x, t) + λ V (|t − τ |)φ(x, τ )dτ + λ 0

1 k(t) = 2

Z



−∞

1

−1

tanh u iut e du, u

under the condition Z 1 φ(t, y)dy = p(t),

t=

p(x, y)k(

x−y )φ(y, t)dy = f (x, t), c

(1)

x−y , c

t ∈ [0, T ],

(2)

−1

where λ is a constant, may be complex, and has many physical meaning. The constant µ defined the kind of integral equation where, for µ = 0, we have a Fredholm-Volterra integral equation of the first kind, µ = constant 6= 0, for the second kind, and µ = µ(x) for the third kind. The given function of time V (|t − τ |) represents the kernel of VI term and belongs to the class ), of FI term behaved C[0, T ], where t, τ ∈ [0, T ], T < ∞. The kernel of position, p(x, y)k( x−y c x−y badly for k( c ) , given by Eq.(3), and smooth for p(x, y). The given function f (x, t) belongs to the space L2 [−1, 1] × C[0, T ]. The bad term of the kernel can be written in the form, see (Abdou and Hassan 2000) k(t) = − ln tanh

πt , 4

t=

x−y . c

If c → ∞, and t is very small, so it satisfies that tanh t ' t, then we may write ln | tanh

πt | ' ln |x − y| − d, 4

d = ln

4c . π

Hence, we have k(

x−y ) = −(ln |x − y| − d). c

Special cases: (i) Let, in Eq.(1), t = 0, we have Z 1 |x − y| p(x, y)k( )ψ(y) = g(x), (ψ(x) = φ(x, 0), g(x) = f (x, 0)). µψ(x) + λ c −1

(3)

(4)

The integral equation (4) is called Fredholm integral equation of the second kind, the asymptotic solution of Eq.(4) when the kernel takes a logarithmic form is obtained by Abdou, see (Abdou 2002b). Int. J. of Appl. Math. and Mech. 4(5): 78-92, 2008.

80

M. M. El-Borai, M. A. Abdou, A. A. Badr and M. Basseem

(ii) In Eq.(4), let p(x, y) = 1 and k( |x−y| ) = ln |x − y| − d, then differentiating the result, we c have Z 1 dψ(x) dg(x) ψ(y) µ −λ dy = h(x), h(x) = ). (5) dx dx −1 x − y The formula (5) represents an integro-differential equation with Cauchy kernel. Taking the transformations x = 2z − 1 and y = 2η − 1, in (5), we get Z 1 dΨ(z) Ψ(η) µ −λ dη = h(z). (6) dz 0 z−η The formula (6) has appeared in both combined infrared gaseous radiation and molecular conduction and elastic constant studies. When µ = 1 and h(z) = z, Eq.(6) is solved and discussed numerically by Frankel (Frankel 1995). Also, when µ = 0, we have an integral equation of the first kind with Cauchy kernel which appears in airfoil theory and combined infrared radiation in molecular conditions and in contact problems, see (Venturino 1992; Muskelishvili 1953). (iii) When p(x, y) = 1 and the kernel of position takes a logarithmic form, the solution of integral equation (1) is obtained numerically using Legendre polynomial, see Abdou and Nasr (Abdou and Nasr 2003). 3

EXISTENCE AND UNIQUENESS SOLUTION

In order to discuss the existence and uniqueness solution of Eq.(1), with the aid of Eq.(2), we assume the following: (i)The bad behaved kernel satisfies the discontinuity condition Z 1Z 1 |k(x − y)|2 dxdy = C 2 < ∞, −1

−1

while the smooth kernel |p(x, y| < N1 . (ii) The positive kernel of time is continuous and satisfies V (|t − τ |) < N2 ,

∀ t, τ ∈ [0, T ].

(iii) The given continuous function f (x, t) ∈ L2 [−1, 1] × C[0, T ] and its norm is given as Z tZ 1 1 k f kL2 ×C = max [ f 2 (x, τ )dx] 2 dτ ≤ M 0≤t≤T

0

−1

(iv) The unknown function φ(x, t) satisfies Lipschitz condition with respect to position |φ(x1 , t) − φ(x2 , t)| ≤ A1 (t)|x1 − x2 |, and Holder condition with respect to time |φ(x, t1 ) − φ(x, t2 )| ≤ A2 (x)|t1 − t2 |α ,

0 ≤ α < 1.

Theorem 3.1: The solution of the integral equation (1) is exist and unique, under the condition |λ| ≤

|µ| . N2 T + N1 C

Int. J. of Appl. Math. and Mech. 4(5): 78-92, 2008.

(7)

Chebyshev Polynomials and Fredholm-Volterra Integral Equation

81

Proof: The existence of the solution will be obtained using successive approximation that will pick up any real continuous function φ0 (x, t) in L2 [−1, 1] × C[0, T ], then let µφ0 (x, t) = f (x, t) and construct a sequence φn to obtain Z t Z 1 x−y µφn (x, t) = f (x, t) − λ )φn−1 (y, t)dy, (8) V (|t − τ |)φn−1 (x, τ )dτ − λ p(x, y)k( c 0 −1 It is convenient to introduce ψn (x, t) = φn (x, t) − φn−1 (x, t),

(µψ0 (x, t) = f (x, t)),

(9)

then, we write φn (x, t) =

n X

ψi (x, t).

(10)

i=0

Hence, we get Z µψn (x, t) = −λ[

Z

t

1

V (|t − τ |)ψn−1 (x, τ )dτ + 0

p(x, y)k( −1

x−y )ψn−1 (y, t)dy]. c

(11)

Using Cauchy-Schwarz inequality, one obtains λ k ψn (x, t) k≤ | |[N2 T + N1 C] k ψn−1 (x, t) k, µ

T = max t.

(12)

By induction, we have λ k ψn (x, t) k≤ | |n [N2 T + N1 C]n M. µ

(13)

Therefore, ψn (x, t) are convergent, then the formula (10) is also convergent. This leads us to write φ(x, t) =

∞ X

ψi (x, t).

(14)

i=0

The formula (14) leads us to say that φ(x, t) exists and represents a continuous solution. ˜ t) is another solution. Hence, we get To prove the uniqueness , assume φ(x, R ˜ t) − φ(x, t) k = | λ || t V (|t − τ |)(φ(x, ˜ τ ) − φ(x, τ ))dτ k φ(x, µ 0 R1 ˜ t) − φ(y, t))dy|, )(φ(y, + −1 p(x, y)k( x−y c therefore ˜ t) − φ(x, t) k ≤ | λ |(| k φ(x, µ

Rt 0

˜ τ ) − φ(x, τ ))dτ | V (|t − τ |)(φ(x, R1 ˜ t) − φ(y, t))dy|), +| −1 p(x, y)k( x−y )(φ(y, c

(15)

(16)

Using Cauchy-Schwarz inequality, we get ˜ t) − φ(x, t) k, ˜ t) − φ(x, t) k≤ | λ |(N2 T + N1 C) k φ(x, k φ(x, µ ˜ Using (7), we see that φ = φ. Int. J. of Appl. Math. and Mech. 4(5): 78-92, 2008.

(17)

82

4

M. M. El-Borai, M. A. Abdou, A. A. Badr and M. Basseem

INTEGRAL OPERATOR

The integral equation (1) can be written in the integral operator form as Kφ = φ,

Kφ =

1 (f (x, t) − λLφ), µ

(µ 6= 0)

(18)

where Z

Z

t

Lφ =

1

V (|t − τ |)φ(x, τ )dτ + 0

p(x, y)k( −1

x−y )φ(y, t)dy. c

(19)

Here, we use a Banach fixed point theorem. For this, the normality and continuity of the integral operator (18) must be discussed and proved. Normality: The normality of the integral operator L, defined by (19), can be shown as Z t Z 1 x−y k Lφ k≤ | V (|t − τ |)φ(x, τ )dτ | + | p(x, y)k( )φ(y, t)dy|. c 0 −1

(20)

Using Cauchy-Schwarz inequality, we get k Lφ k≤ (N2 T + N1 C) k φ k .

(21)

So, the norm of L is given by k L k= sup φ6=0

k Lφ k . kφk

(22)

The formula (22) proves the normality of the FVIE of the first kind, (i.e. when µ = 0). When µ 6= 0, the inequality (22) leads us to say that the integral operator of (18) has a normality, where k Kφ k≤

1 (H + |λ|(N2 T + N1 C) k φ k). |µ|

(23)

Continuity: To prove the continuity of the integral operator (18), we assume that the two functions φn (x, t), φm (x, t) satisfies (18), then we have Z t λ λ V (|t − τ |)(φn (x, τ ) − φn (x, τ ))dτ k Kφn − Kφm k= | | k Lφn − Lφm k= | || µ µ 0 Z 1 x−y p(x, y)k( + )(φn (x, τ ) − φn (x, τ ))dy|. (24) c −1 Therefore, we get k Kφn − Kφm k≤ α k φn − φm k

λ α = | |(N2 T + N1 C). µ

(25)

If k φn − φm k→ 0 then k Kφn − Kφm k→ 0, which prove the continuity, hence the integral operator K is a contraction mapping then, by fixed point theorem, Eq.(1) has a unique solution in L2 [−1, 1] × C[0, T ]. Int. J. of Appl. Math. and Mech. 4(5): 78-92, 2008.

Chebyshev Polynomials and Fredholm-Volterra Integral Equation

5

83

CHEBYSHEV POLYNOMIALS

The Chebyshev polynomials of degree n of the first kind are defined by Tn (x) = cos(n cos−1 x), |Tn (x)| < 1, n = 0, 1, 2, ...

(26)

For convenience, we state some well known algebraic and integral relations associated with Chebyshev polynomials, see (Ergeyli et al. 1985; Gradshteyn and Ryzhik 1994) (1) Algebraic formula: 1 Tm (x)Tn (x) = [Tm+n (x) + T|m−n| (x)]. 2 (2) Integral relations: ½ Z 1 i) Tn (x)dx =

(27)

2 , 1−n2

n = 0, 2, 4, ... 0, n = 1, 3, 5, ... −1 ½ Z 1 π(ln 2 − d), n = 0 Tn (y) ii) (ln |x − y| − d) p dy = n ≥ 1. π Tnn(x) , 1 − y2 −1 (3) Orthogonality relation:  Z 1  0, n 6= m Tn (y)Tm (y) π p , n = m 6= 0 dy = 2 2  1−y −1 π, n = m = 0

(28) (29)

(30)

This orthogonal relation enables us to expand a function into Chebyshev series of the form F (x, t) =

∞ X

fn (t)Tn (x),

(31)

n=0

where the coefficients fn (t) of Chebyshev polynomial belongs to C[0, t], and can be obtained as the following ( R 1 F (x,t)T (x) 2 n √ dx, n 6= 0 π R−1 1−x2 fn (t) = (32) F (x,t) 1 1 √ dx, n=0 π −1 1−x2 6

METHOD OF SOLUTION

In this section, we use Chebyshev polynomial Tn (x) of the first kind of order n to solve the integral equation (1). For this, we use (3) in Eq.(1) to get Z 1 Z t V (|t − τ |)φ(x, τ )dτ − λ p(x, y)(ln |x − y| − d)φ(y, t)dy = f (x, t), (33) µφ(x, t) + λ 0

−1

The weight function which characterize the singular behavior of φ(x, t) in Eq.(1) is given by 1

1

R(x) = (1 + x)− 2 +α (1 − x) 2 +β ,

(34)

where α, β = 0, 1, − 1; − 1 < − 12 + α < 1; − 1 < 12 + β < 1. Assume the unknown function φ(x, t), in the light of weight function, takes the form φ(x, t) = R(x)G(x, t),

1

R(x) = (1 − x2 )− 2 .

Int. J. of Appl. Math. and Mech. 4(5): 78-92, 2008.

(35)

84

M. M. El-Borai, M. A. Abdou, A. A. Badr and M. Basseem

where G(x, t) is unknown function and R(x) represents the weight function of Tn (x). Now, to obtain numerically the solution of Eq.(33), under the condition (2), we express G(x, t) as ∞ X

G(x, t) =

an (t)Tn (x).

(36)

n=0

Hence, we have φ(x, t) =

∞ X

Tn (x) . an (t) √ 1 − x2 n=0

(37)

The formula (37) can be truncated to φN (x, t) =

N X

Tn (x) an (t) √ . 1 − x2 n=0

(38)

Since, any smooth function can be represented in the polynomial series form, therefore we assume the smooth function p(x, y) of Eq.(33) in the form p(x, y) =

M X

Tm (x)Tm (y),

m = 0, 1, 2, 3, ..., M.

(39)

m=0

Using (39) and (38), Eq.(33) becomes N Z t X Tn (x) Tn (x) an (t) √ an (τ )V (|t − τ |) √ µ −λ dτ 1 − x2 1 − x2 n=0 n=0 0 N X

Z

N X M X

N

X Tn (y) Tn (x) an (t)Tm (y)(ln |x − y| − d) p −λ Tm (x) dy = fn (t) √ , 2 2 1 − x 1 − y −1 n=0 m=0 n=0 1

(40)

where ( fn (t) =

2 π 1 π

R1 f (x, t)Tn (x)dx, n 6= 0 R−1 1 f (x, t)dx, n=0 −1

(41)

After solving Eq. (40), the approximate solution is obtained directly from Eq.(38) then the exact solution is obtained from Eq.(37). This method is said to be convergent of order r if and only if for N sufficiently large, there exists a constant D > 0 independent of N such that k φ(x, t) − φN (x, t) k≤ DN −r .

(42)

So, the transformation error E1 can be determined as ∞ X

E1 =k φ(x, t) − φN (x, t) k≤k

an (t) k .

(43)

n=N +1

In the aid of (42), we write E1 ≤ D(T )N −r ,

T = max . t

Int. J. of Appl. Math. and Mech. 4(5): 78-92, 2008.

(44)

Chebyshev Polynomials and Fredholm-Volterra Integral Equation

85

The solution of Eq.(40) can be obtained after discussing the following: (1) For n = 0, m = 0, and using (29), Eq.(40) yields Z t µa0 (t) a0 (τ )V (|t − τ |) f0 (t) √ √ −λ dτ − λπ(ln2 − d)a0 (t) = √ . 1 − x2 1 − x2 1 − x2 0

(45)

Integrating over x from -1 to 1, we get Z t [µ − 2λ(ln2 − d)]a0 (t) − λ a0 (τ )V (|t − τ |)dτ = f0 (t).

(46)

0

The formula (46) represents a Volterra integral equation of the second kind with continuous kernel. (2) For n = 0, m 6= 0, after using (29), Eq.(40) tends to µa (t) √ 0 −λ 1 − x2

Z

t

0

M X a (τ ) Tm (x)Tm (x) f0 (t) √0 V (|t − τ |)dτ − πλ a0 (t) = √ . 2 m 1 − x2 1 − x m=1

(47)

Integrating over x from -1 to 1, then using (27) and (28), one can obtain M X

1 − 2m2 ]a (t) − λ [µ − 2λ 2) 0 m(1 − 4m m=1

Z

t

V (|t − τ |)a0 (τ )dτ = f0 (t).

(48)

0

(3) For n 6= 0, m = 0, we have N

λX [µ − 2 An,l ]an (t) − λ n l=1

Z

t

V (|t − τ |)an (τ )dτ = fn (t),

(n ≥ 1)

(49)

0

where ½ An,l =

1 1−(n+l)2

+

1 , 1−|n−l|2

n + l = even n + l = odd.

0,

(50)

(4) For n = m 6= 0, we get Z t N X An,l V (|t − τ |)an (τ )dτ = fn (t), [µ − λ( + βn,l (ln2 − d))]an (t) − λ 4n 0 l=1

(n, m ≥ 1) (51)

where ½ An,l =

1 1−(3n+l)2

+

1 1−(3n−l)2

+

1 1−|n−l|2

+

0,

1 , 1−|n+l|2

n + l = even n + l = odd,

(52)

and ½ βn,l =

1 1−(n+l)2

+

1 , 1−|n−l|2

0,

n + l = even n + l = odd.

(53)

(5) For (n 6= m 6= 0), one has N

M

λXX An,m,l ]an (t)−λ [µ− 2 l=1 m=1

Z

t

V (|t−τ |)an (τ )dτ = fn (t), 0

Int. J. of Appl. Math. and Mech. 4(5): 78-92, 2008.

(n ≥ 1, m ≥ 1, n 6= m), (54)

86

M. M. El-Borai, M. A. Abdou, A. A. Badr and M. Basseem

where   An,m,l =



1 1 1 1 1 ( + 1−|2m+n−l| 2 ) + |n−m| ( 1−|2m−n+l|2 m+n 1−(2m+n+l)2 1 2n 1 1 + 1−|2m−n−l| 2 ) + |n2 −m2 | ( 1−(n+l)2 + 1−|n−l|2 ),

0,

n + l = even n + l = odd.

(55)

The integral equation (54) represents a system of Volterra integral equations of the second kind with continuous kernel. Convergence of the Algebraic system The convergence of the algebraic system can be derived from the following: P∞ PM P∞ PM (1) (2) (3) (4) 1 n,l=1 m=1 An,m,l = n,l=1 m=1 m+n (Ln,m,l + Ln,m,l + Ln,l + Ln,l ) P∞ PM (5) (6) (3) (4) 1 + n,l=1 m=1 |m−n| (Ln,m,l + Ln,m,l + Ln,l + Ln,l ) Applying Cauchy-Minkowski inequality, we have P PM 1 2 2 k An,m,l k = [ ∞ n,l=1 m=1 An,m,l ] P∞ PM P PM (1) 1 2 12 2 21 ≤ ( n=1 m=1 ( m+n ) ) [( ∞ l,n=1 m=1 (Ln,m,l ) ) P PM P∞ PM (2) (3) 2 1 2 12 2 (L ) ) +( ∞ + ( n,m,l l,n=1 m=1 n=1 m=1 (Ln,l ) ) P∞ PM (4) 2 1 +( n=1 m=1 (Ln,l ) ) 2 ] PM P∞ PM P (5) 1 2 21 2 12 +( ∞ m=1 (Ln,m,l ) ) m=1 ( |m−n| ) ) [( l,n=1 n=1 PM P P∞ PM (6) (3) 2 1 2 12 2 (L ) ) +( ∞ + ( n,m,l m=1 l,n=1 m=1 (Ln,l ) ) n=1 P∞ PM (4) 2 1 +( n=1 m=1 (Ln,l ) ) 2 ].

(56)

(57)

where (1)

Ln,m,l =

1 1 1 (2) (3) , Ln,m,l = , Ln,l = 2 2 1 − (2m + n + l) 1 − |2m + n − l| 1 − (n + l)2

(58)

and 1 1 1 (5) (6) , Ln,m,l = , Ln,m,l = . (59) 2 2 1 − |n − l| 1 − |2m − n + l| 1 − |2m − n − l|2 P PM P∞ PM P∞ PM 1 2 1 1 1 2 12 2 21 2 Since ( ∞ n=1 m=1 ( m+n ) ) and ( n=1 m=1 ( |m−n| ) ) behaves like ( n=1 m=1 ( n ) ) , P P (1) ∞ M 1 2 21 1 1 1 Ln,m,l = 1−(2m+n+l) 2 < (2m+n+l)2 < n2 , and ( n=1 m=1 ( n ) ) is convergent, therefore An,m,l → 0 when n = l = ∞. (4)

Ln,l =

7

VOLTERRA INTEGRAL EQUATION

Many different methods can be used to solve the Volterra integral equation of the second kind with continuous kernel, see Linz (Linz 1985), and Tricomi (Tricomi 1985). Here we use a numerical method to solve the Volterra integral equation of the second kind, Eq.(46). For this, we divide the interval time [0, T ] by 0 ≤ t0 < t1 < t2 < ... < tγ < ... < t% = T,

0≤γ≤%

(60)

Hence, using a suitable quadrature rule, and the following notations, an (tγ ) = a(γ) n ,

fn (tγ ) = fn(γ) ,

(γ)

V (|tγ − tk |) = Vk .

Int. J. of Appl. Math. and Mech. 4(5): 78-92, 2008.

(61)

Chebyshev Polynomials and Fredholm-Volterra Integral Equation

87

The formula (46) becomes (γ) µa0

− λ(ln2 −

(γ) d)a0

−λ

γ X

(k)

(γ)

a0 Wk Vk

(γ)

= f0 + O(~p˜+1 ),

(62)

k=0

where ~ = max hk → 0 and hk = tk+1 − tk . 0≤k≤γ

The values of the weights Wk are taken in the form ½ h , k = {0, γ} 2 Wk = h, k 6= {0, γ}, k = 0, 1, 2, ..., γ.

(63)

(64)

Also, the error of Eq.(62) and Wj (j = 1, ..., γ) depend on the number of the derivatives of V (|t − τ |), p˜ ' γ (see (Atkinson 1997; Delves and Mohamed 1985)). The total error of this method The error involved from Volterra integral term E2 , in the light of Eq.(62), can be determined by E2 =k φN (x, t) − φN (x, ti ) k= O(~p˜+1 ).

(65)

From (44) and (65), we define the total error in the form E = E1 + E2 ≤ DN −r + O(~p˜+1 ).

(66)

Now, we can convert the system of VIEs (49), (51) and (54) into a linear algebraic system by the following discussion: (1) For n = 0, m = 0, the solution Eq.(62) takes the form P (γ) (k) (γ) f0 + λ γ−1 (γ) k=0 Wk Vk a0 . (67) a0 = (γ) µ − 2λ(ln 2 − d) − λh V γ 2 (2) For n = 0, m 6= 0 and with the help of Eq.(61), the formula(48) tends to γ X 1 − 2m2 (γ) (γ) (k) (γ) ]a − λ Wk Vk a0 = f0 , [µ − 2λ 2) 0 m(1 − 4m m=1 k=0 M X

(68)

therefore, we have (γ) a0

P (γ) (γ) (k) f0 + λ γ−1 k=0 Wk Vk a0 = . P 1−2m2 λh (γ) µ − 2λ M − V γ 2 m=1 m(1−4m ) 2

(69)

(3) For n 6= 0, m = 0 and with the aid of (61), Eq.(49) becomes γ N X 2λ X (γ) (γ) (γ) [µ − An,l ]an − λ Wk Vk a(k) n = fn , h l=1 k=0

(70)

hence, we get a(γ) n

P (γ) (γ) (k) fn + λ γ−1 k=0 Wk Vk an . = PN λh (γ) µ − 2λ A − V γ n,l l=1 h 2

Int. J. of Appl. Math. and Mech. 4(5): 78-92, 2008.

(71)

88

M. M. El-Borai, M. A. Abdou, A. A. Badr and M. Basseem

(4) For n = m 6= 0 and using (61), Eq.(51) takes the form γ N X X An,l (γ) (γ) (γ) Wk Vk a(k) [µ − λ( + βn,l (ln 2 − d))]an − λ n = fn , 4n l=1 k=0

(72)

then, the general solution of (72) is a(γ) n

Pγ−1 (γ) (γ) (k) fn + λ k=0 Wk Vk an = P An,l µ − λ( N l=1 4n + βn,l (ln 2 − d)) −

λh (γ) V 2 γ

.

(73)

(5) For (n 6= m 6= 0), using (61), Eq.(54) gives [µ −

γ N M X λXX (γ) (γ) An,m,l ]a(γ) − λ Wk Vk a(k) n n = fn , 2 l=1 m=1 k=0

(74)

therefore, we get a(γ) n

P (γ) (k) (γ) fn + λ γ−1 k=0 Wk Vk an . = P PM λh (γ) µ − λ2 N l=1 m=1 An,m,l − 2 Vγ

(75)

The formula (75) represents a linear algebraic system. To prove the existence and uniqueness of this system, we assume (i) k An,l,m

(ii) k

fnγ

∞ X ∞ M X X 1 A2n,m,l ] 2 ≤ Q∗ [ k= sup M m=1 n=1 l=1

k= sup[ γ

(iii) max[ γ

γ X

∞ X

1

(fnγ )2 ] 2 ≤ H ∗ ,

n=1

Vkγ Wk ≤ L∗ ,

k=0

where Q∗ , H ∗ and L∗ are constants. Theorem 7.1: The linear algebraic system of Eq. (74), when N, M → ∞ is bounded and has a unique solution under the following condition |λ|