Convergence of Adomian's method applied to nonlinear equations

Convergence of Adomian's method applied to nonlinear equations

Mathl. Comput. Modelling Vol. 20, No. 9, pp. 69-73, 1994 Copyright@1994Elsevier Science Ltd Pergamon 08957177(94)00163-4 Printed in Great Britain. ...

266KB Sizes 25 Downloads 91 Views

Mathl. Comput. Modelling Vol. 20, No. 9, pp. 69-73, 1994 Copyright@1994Elsevier Science Ltd

Pergamon

08957177(94)00163-4

Printed in Great Britain. All rights reserved 0895-7177194 $7.00 + 0.00

Convergence of Adomian’s Method Applied to Nonlinear Equations K.

ABBAOUI AND Y. CHERRUAULT UniversitBParis VI LaboratoireMEDIMAT

15 Rue de 1’Ecole de Mtiecine,

75270 Paris Gclex 06 France

(Received June 1994; accepted July 1994)

Abstract-h

this paper, we give a proof of Adomian’s method using only some properties of the nonlinear function, and we apply these results to some concrete problems.

Keywords-Decomposition tions.

methods,

Adomian’s polynomials,

Nonlinear equations,

Series solu-

1. INTRODUCTION Our aim consists

in solving

in

R, the equation

f(z)

= 0, where f is a nonlinear

function.

The method developed by Adomian [1,2] since the beginning of the 1980’s gives the solution as an infinite series quickly converging towards an accurate solution. Of course, this convergence needs some conditions and hypothesis on the nonlinear function f [3]. The principles of the technique are very simple. The difficulties consist in calculating some special polynomials called the Adomian polynomials and in proving the convergence of the series solution [3,4]. Using some new formulae [5,6] for calculating the Adomian polynomials, we prove the convergence of the series solution of a general nonlinear equation such that f(x) = 0.

2. THE DECOMPOSITION NONLINEAR The following

notations

METHOD APPLIED EQUATIONS

will be used throughout

this paper:

k! := kl! . . . k,!, l/cl:= kl + . . . + k,,

Ink,l := ICI + 21c2+ 2=(a,...,GL), k.t Zk = Zk’ 1 ..*&I 1 I+)

Let us consider

a nonlinear

(x0)

equation

=

TO

-$F(z)iZ,,,.

. . . + n/c,,

(2-l) (2.2) (2.3) (2.4) (2.5) (2.6)

in the form:

f(x) = 0,

(2.7) Typesetby AM-‘I$$

69

70

K. ABBAOUI AND Y. CHERRUAULT

which can be transformed in the following (canonical) z = F(z)

relationship:

+ c,

(2.8)

where F is a nonlinear function and c a constant. The Adomian method consists in calculating the solution in the series form: m x= xi. (2.9) c i-0

The nonlinear function becomes: F(x) = cAi,

(2.10)

i-0

where the Ai’s are polynomials [5] depending only on x0, x1, . . . , xi and they are called Adomian polynomials. They are obtained from the formulae [5]:

A,(xo,...

,x,)

c

=

F(lkl)

Ink,l=n

(x0)-7Xk k!

n # 0,

(2.11)

Ao (~0)= F (50). Putting

(2.9) and (2.10) into (2.8) leads to: Fxi=FAi+c. i=o i=o

(2.12)

Each term of the series x = Cr”_, xi can be calculated from the formulae: x0 = c, x1 = Ao, (2.13)

The exact solution of the equation (2.8) is now entirely determined. But in practice, all the terms of the series cannot be determined and so we use an approximation of the solution from the truncated series: n-1

(Pn

=

c

with lim (P,, = x.

xi,

(2.14)

i=o

3. CONVERGENCE THEOREM (1)

OF THE TECHNIQUE

3.1.

If F is Coo in the neighbourhood given by:

of x0, then the An(F(xo),

A, (F (x0) , F(l) (x0), . . . , F(*) (x0))

c

ckl,..,,k,,

F(‘)(xo),

. . . , Fcn)(xo))

are

= [F (zo)]~+‘-‘”

[F(l) (zo)] k’

. . . [,@’

(x0)]

kn 7

(3.1)

Ink,l=n

where:

72.I Ck+.,k,

A,(l,

=

k!(l!)“l

1,. . . , 1) =

. . . (n!)“-(n

c Ink,l=n

ck,,...,k,

+

=

1-

;I;;.

Ikl)!’

(3.2)

(3.3)

Adomian’sMethod

71

PROOF. (1) By induction, we prove that: A,,=

- ’ dn [F(x)];::, (n + l)! dx”

(3.4)

.

The formula giving the nth derivative associated to formula (3.4) leads to (3.1). (2)

c

Ckl,...,k,

n!

c

=

ICI!. . .

Jnk,(=n

(nk, I=n

(3.5)

kn!(l)kl . . . (n!)kn(n + 1 - [I%()! I

=

c 81+-~+L%=n

(3.6)

. .Yb,.!(n + 1 - T)!

ICI!... k,!&!

815B2<~~~5/-% I

=

c “I+,;..=”

(3.7)

VI!. . .%Jrl;n + 1 - r)! n

(n + l)! c r=l r!(n f 1 - T)!

=&

=& * c

(3.8)

n!

=

YI!-..%+I

71+...+gl=n

b + lJn

(3.9)

(n + l)! *

THEOREM 3.2. If from some step no IF@)(xo)l 5 M 5 l/e, n > no, then the series CzM_oxi solution of (2.8) given by the relationships (2.13) is absolutely convergent and we have: lxn+ll

(3.10)

= IA,1 5 e(n+l)Mn+l.

PROOF. We know that: A, (F (20) , F(‘)

(~0),

. ) dn)

(x0))

=

c

Ckl,...,k,

IF (x0)1

n+l-lkl

[ F(1)

( z,lk’... >

[F(qxo)]kn,

Ink,,l=n

where

I 71. ck I,..., k=n

k!(l!)“l

. . . (n!)“n(n + 1 - lkl)!’

Then,

IAn (F (x0),F(l)(x01, . . . ,I+) (30,)1 =

c

Ck+.,k,,

IF

(x0)1

n+l-lkl

[ F(1)

( z. )

I*‘...

[F’n’(xo)]kn~

5

Mn+‘A,(l

,...,

1).

Ink,l=n

The using of the classical Stirling formula leads to (3.10). From Theorem 3.2, we deducted the following result. COROLLARY 3.3. If F(xo)

= 0, then the series Cz”=, is convergent and is reduced to x = x0.

REMARKS 3.4. (1) The solution given by the Adomian relationships (2.13) is only a particular solution of (2.8). (2) The transformation of f(x) = 0 into x = F(x) + c is always realizable with an infinity of manners. It is better to choose the canonical form for which the technique converges. (3) Our results can be applied to systems of nonlinear equations.

72

ABBAOW AND Y.

K.

NUMERICALS

4. Let us consider o,IP

+

the algebraic n-1

an-12

+

CHERRIJAULT

APPLICATIONS

equation:

~~~+u~~+ao=O,a,,...,ao,a~#Orealnumbers,

n E N.

(4.1)

From (2.12), we deduce:

x=_--...__---_z

a0

&-I

a1

The A,(P)

= z;,

A1 (9)

= nzo

A3 (9)

Ad (P)

---_2

=-ao-...

al

-

7

2

a1

Ai

(xc”-‘)

-

i=O

z

g

Ai (2”).

(4.2)

a=0

are given by:

Ao (9)

A2 (P)

an n

n-1

a1

n-l

1 = -n(n 2 1

= -n(n

6 1 = -n(n 24

x The identification

~0, - 1)x,

n-2

- l)(n

2 X1 + n2;;1-l22,

(4.3)

- 2)x, n-35T + n(n - l)~;f-~2~2~

- l)(n

- 2)(n - 3)~ ;-“zt

+ $(?I

+ n~r;-~2~,

- l)(n

- 2)s;-32;Q

(xn),

i 2 1.

+ n(n - 1)X;-”

(;x;+x1x3) +nxg-‘x4. leads to: zs = -ao, a1 xi+1

=

-

?A1

(x ‘+l)

- ZAl

(4.4

EXAMPLE 4.1. x3 + 4x2 + 82 + 8 = 0. Equation

(4.5)

(2.12) involves x=

gxi

=

-1

-

ix2 - ix3

i=o (4.6) =-1-~~Ai(22)-~~Ai(x3), a=0 where the Ai(x2)

and Ai(x3)

2=0

are given by the relationships

(4.3). Then

we have:

2s = -1.0, x1 = -0.375, x2 = -0.234375, x3 = -0.1640625,

(4.7)

x4 = -0.1179199, x5 = -0.0835876. Making

the sum of the first six terms

gives

p6 = x0 + . . . + x5 = -1.98, which is a good approximation

of the root x = -2.

(4.8)

Adomian’s Method EXAMPLE

4.2.

Consider

73

the equation x = k + e-“,

k > 0.

(4.9)

We have x=

2xi=k+gAi(e-‘). i-0

The xi are identified

(4.10) i-0

by: x0

k

=

nn-l

xn = (-l)n+l Then

the solution

is x = k + F(-I)n+l f

for example,

Geenk,

(4.12)

n-1

for k = 2, the graphical

solution

(p7 = XI-J+

gives the solution

(4.11)

Te-nk.

is x = 2.120028239.

. . . + 56 =

The 7 terms

approximation

2.120013302

(4.13)

with an error of 0.0001%.

5. CONCLUSION In this work, we have studied a powerful numerical method for solving nonlinear equations of different kinds. We have given a sufficient condition of convergence of the decomposition series. The convergence result can be generalized to operator equation. This condition of convergence is easy to verify on concrete examples. With these complementary results, the decomposition methods have now proved their power for solving all kinds of nonlinear equations. They provide an accurate and easily computable solution of nonlinear equations. Furthermore, the convergence of the truncated series is generally very fast.

REFERENCES 1. G. Adomian, Nonlinear Stochastic Systems and Applications to Physics, Kluwer, (1989). 2. G. Adomian, Solving Frontier Problems of Physics: The Decomposition Method, Kluwer, (1994). 3. Y. Cherruault and G. Adomian, Decomposition method: A new proof of convergence, Math. Comput. Modelling 18 (12), 103-106 (1993). 4. G. Adomian and R. Rach, Algebraic computation and the decomposition method, Kybernetes 15, 33-37 (1986).

5. K. Abbaoui and Y. Cherruault, Comput.

6. K. Abbaoui Comput.

Convergence of Adomian’s method applied to differential equations,

Modelling 28 (5), 103-110

and Y. Cherruault, (to appear).

Modelling

Mathl.

(1994).

New ideas for proving convergence

of decomposition

methods,

Mathl.