:

30011
89423

H
HAM
HP
PM
OMIAN + PAD
D
ADO

 :
.

. .

.
.

.

:
. x=x0
:

) r = x sin( .
. :

qw :

 HAM :
:

] q[0,1 0

) H( ) U0( L
) nsin(m .
) (ruleofsolutionexpression .

C2 C1 C3 .

:

 ergodicity H()=1 .
:

 9 .

HAM
.

9 .
0.5

= 1/3

=0

=1
|

0.3

) f(0 Rax
.

) F(0
NumericalSolution
0.76854
0.88498
0.92101
0.98956
1.08518
1.17372

) F(0
HAMSolution

=0
=1/4
=1/3
=1/2
=3/4
=1

0.3

9 .

 HPM :
:
)(1-2
:
)(2-2

A(u)f(r)=0,r ,

B u , u / r 0 ,

A f(r) B
].[51
A L N . ) (1-2
:
)(L(u)+N(u))f(r)= 0 (3-2

v r , p : 0 . 1 :

)(4-2

H (v, p ) (1 p )L(v) L(u0 ) pA(v) f (r ) 0,

p 0 ,1 u0 ) (1-2 .
) (4-2 :

H(v,0)=L(v)L(u0)=0,

H(v,1)=A(v)f(r)=0,
p=0 ) (4-2 p=1
) (1-2 . p L(v)L(u0)=0 )A(v
f(r)=0 .
) (4-2 p :

v v0 v1 p v2 p2 ...,
) (1-2 :
u lim v v0 v1 v2 ....
p 1

)(8-2
) N(v
"" :
) N(v v p p1 .-

L 1 N / v ) (8-2 1 .
|

 HAM :

HPM :

ODE

 Adomian :

Adomian 1980 :

u :

) G(u :

An Adomian :

Wazwaz Adomian

A0 A0 :

) A0=G(uo ) G(u0 A0
) G(u u
Adomian .
) G(u :

 Adomian Wazwaz
Adomian :

Adomian :

fk .

f0 :

Adomian fk . a b
. a=1 .
Adomian
Pad b .
|

 : Pad
.

Pad .

.
L=M .
[1/1] :

Z2 :

b0=1 :

] [2/2 :

b 0

Adomian . Pad
[L/M]=5 b
. b=0.39

:
) f( : =0

Numerical
Solution
1.0000
0.8478
0.7036
0.5733
0.4599
0.3643
0.2855
0.2218
0.1713
0.1315
0.1007

ADOMIAN
Solution
1.0
0.8454865126
0.6991479085
0.5668110840
0.4515905633
0.3542938282
0.2741408130
0.2095957273
0.1592614118
0.1227752002
0.101380634

HPM Solution

HAM Solution

1.0
0.8454865126
0.7244692293
0.6007289020
0.4922877496
0.4003498086
0.3243803959
0.2628250764
0.2136710345
0.1748243410
0.1443292845

1.000000002
0.8469364982
0.7025343716
0.5724624532
0.4595473355
0.3643647193
0.2859812190
0.2226169350
0.1721414314
0.1323989836
0.1013951424

0
0.2
0.4
0.6
0.8
1.0
1.2
1.4
1.6
1.8
2.0

HAM METHOD

O
O
O
O

O
O
O restart
O with student
D, Diff, Doubleint, Int, Limit, Lineint, Product, Sum, Tripleint, changevar, completesquare, distance, equate, integrand, intercept,
intparts, leftbox, leftsum, makeproc, middlebox, middlesum, midpoint, powsubs, rightbox, rightsum, showtangent, simpson,
slope, summand, trapezoid

(1)

O with IntegrationTools
C3
2

O Eq d diff f , $3 C

# f # diff f , $2 K # diff f ,

=0

O HAM d diff f m , $3 C diff f m , $2 Kx m # diff f m K 1 , $3 C diff f m K 1 , $2

d2
d3
d2
d3
f

C
fm K1 = h H R
HAM := 3 fm C 2 fm K xm
m
K1
d
d
d3
d2
m K1

C3
2

O R0 d diff f m K 1 , $3 C

d3
d3

>f

d2

m K1Kn

n =0

> diff

f m K1 Kn ,

n =0

m K1

1
3
C
2
2

fm K1 C

(2)

m K1

f m K 1 K n # diff f n , $2 K #

n =0

# diff f n ,
R0 :=

>

= h#H#R

d2

m K1

fn

>

n =0

d
f
d n

d
f

d m K1Kn

(3)

O H0 d H = 1

(4)

H0 := H = 1
O HAM1 d subs R = R0, H0, HAM
HAM1 :=

d3
d3

fm C
d2

fm K1Kn

d2

d2

fm K xm

d2

d3
d3

m K1

fn

>

d2

fm K1 C

d2

=h

d3
d3

1
3
C
2
2

fm K1 C

m K1

>

(5)

n =0

d
f
d n

d
f

d m K1Kn

n =0

fm K1

O HAM2 d lhs HAM1 K rhs HAM1 = 0

HAM2 :=

d3
d3

fm C
d2

fm K1Kn

d2

d2

fm K xm

d2

d3
d3

m K1

fn

>

n =0
m K1

>f

HAM3 := fm =
e

d2
d2

n =0

1
h
2

d2

d
f

d m K1Kn

m K1Kn

d2

fm K1
d
f
d n

f
2 n

d
d d C h

m K1

e
d d K h
O F0 d f 0 = 1 K eK

>

n =0

>

(6)

n =0

=0

d d C xm

d3
d3

d3
d3

fm K1

d
f
d n

d
3
d d C h
2

>f

n =0

(7)

d d C xm

e
m K1

fm K1

m K1Kn

d2
d2

fn

d
d d C

_C1
e

C _C2 C _C3

F0 := f0 = 1 K eK

(8)

k := 9

(9)

O kd9
O for m from 1to k do

m K1

1
3
C
2
2

fm K1 C

d
f

d m K1Kn

d3

fm K1

d3

Kh

O HAM3 d value eval Expand dsolve HAM2, f m

e

d2

fm K1 C

if m O 1 then xm d x m = 1
else xm d x m = 0 end if;
HAM4 d eval subs seq F i, i = 0 ..m K 1 , xm, HAM3 ;
S3 d eval limit diff rhs HAM4 , , =N = 0;
S2 d eval limit diff rhs HAM4 , , = 0 = 0;
S1 d eval limit rhs HAM4 , = 0 = 0;
S d solve S1, S2, S3 , _C1, _C2, _C3 ;
F m d subs S, HAM4 ;

O
O
O
O
O
O

end do:
F d rhs add F e, e = 0 ..k :
Fc d unapply eval F, = 1 , :
Fc1 d unapply eval diff F, , = 1 , :
Fc2 d unapply eval diff F, $2 , = 1 , :
D1 d unapply subs = 0, h =K0.3, diff F, , :
interface rtablesize = 12

(10)

10
O Matrix

seq k, k = 0 .. 2, 0.2 , seq evalf D1 k , k = 0 .. 2, 0.2

0 1.000000002
0.2 0.8469364982
0.4 0.7025343716
0.6 0.5724624532
0.8 0.4595473355

(11)

1.0 0.3643647193
1.2 0.2859812190
1.4 0.2226169350
1.6 0.1721414314
1.8 0.1323989836
2.0 0.1013951424
O plot Fc2 0 , Fc 1 , Fc1 2 , h =K.6 ...15, style = line, patch, point

4
2

K0.6 K0.5 K0.4 K0.3 K0.2 K0.1

h

0.1

K2
K4
K6

Curve 1
O F3c d rhs add F e, e = 0 ..3

Curve 2

Curve 3

O F6c d rhs add F e, e = 0 ..6

O F9c d rhs add F e, e = 0 ..9

:
:

3
4
3
O F6d d unapply eval diff F6c, $1 , =
4
3
O F9d d unapply eval diff F9c, $1 , =
4
O plot F3d 2 , F6d 2 , F9d 2 , h =K.6 ...15,
O F3d d unapply eval diff F3c, $1 , =

, :
, :
, :
style = line, patch, line

f'(2) and =

3
4

1.5

0.5

K0.6

K0.5

K0.4

K0.3
h

K0.2

K0.1

K0.5

3rd

6th

9th

0.1

HPM METHOD
O restart
O Eq d diff f , $3 C

C3
2
Eq :=

# f # diff f , $2 K # diff f ,
d3
3

f C

1
3
C
2
2

d2

=0

d
f
d

=0

O HO d 6

(2)

HO := 6
O F d add pk$f k , k = 0 ..HO
F := f0 C p f1 C p2 f2 C p3 f3 C p4 f4 C p5 f5 C p6 f6
O HPM d 1 K p $ diff f , $3 C diff f , $2 Kdiff f 0 , $3 K diff f 0 , $2 C p$ lhs Eq = 0
d3
d2
d3
d2
d3
1
3
d2
f C 2 f K
f K
f
Cp
f C
C
f
f
HPM := 1 K p
3
3 0
2 0
3
2
2
d
d
d
d
d
d2
K

d
f
d

(1)

(3)
(4)

=0

O Eq2 d collect expand eval HPM, f = F , p :

O 0 d diff f 0 , $3 C diff f 0 , $2 = 0
0 :=
O for k from 1 to HO do
k d map coeff, Eq2, p, k
end do:
O bc d f 0 0 = 0, D f 0 0 = 1, D f 0

d3
d3

f0 C

d2
d2

f0 = 0

(5)

N =0
bc := f0 0 = 0, D f0 0 = 1, D f0 N = 0

(6)

O S0 d expand dsolve 0 , bc , f 0
S0 := f0 = 1 K

O for i from 1 to HO do
S i d value dsolve subs seq S k, k = 0 ..i K 1 , i , f i 0 = 0, D f i
end do:
O p d1
p := 1
O S d add S k, k = 0 ..HO :
O dhpm d unapply eval diff rhs S , , = 0 , :
O interface rtablesize = 12
10
O Matrix

(7)

e
0 = 0, D f i

N =0 , f i

(8)

(9)

seq k, k = 0 .. 2, 0.2 , seq evalf dhpm k , k = 0 .. 2, 0.2

0
1.
0.2 0.8598110239
0.4 0.7244692293
0.6 0.6007289020
0.8 0.4922877496
1.0 0.4003498086
1.2 0.3243803959
1.4 0.2628250764
1.6 0.2136710345
1.8 0.1748243410
2.0 0.1443292845

(10)

ADOMIAN METHOD

O restart
O with plots
animate, animate3d, animatecurve, arrow, changecoords, complexplot, complexplot3d, conformal, conformal3d, contourplot,
contourplot3d, coordplot, coordplot3d, densityplot, display, dualaxisplot, fieldplot, fieldplot3d, gradplot, gradplot3d,
implicitplot, implicitplot3d, inequal, interactive, interactiveparams, intersectplot, listcontplot, listcontplot3d, listdensityplot,
listplot, listplot3d, loglogplot, logplot, matrixplot, multiple, odeplot, pareto, plotcompare, pointplot, pointplot3d, polarplot,
polygonplot, polygonplot3d, polyhedra_supported, polyhedraplot, rootlocus, semilogplot, setcolors, setoptions, setoptions3d,
spacecurve, sparsematrixplot, surfdata, textplot, textplot3d, tubeplot
O with PDEtools
CanonicalCoordinates, ChangeSymmetry, CharacteristicQ, CharacteristicQInvariants, ConservedCurrentTest, ConservedCurrents,
ConsistencyTest, D_Dx, DeterminingPDE, Eta_k, Euler, FromJet, InfinitesimalGenerator, Infinitesimals, IntegratingFactorTest,
IntegratingFactors, InvariantEquation, InvariantSolutions, InvariantTransformation, Invariants, Laplace, Library, PDEplot,
PolynomialSolutions, ReducedForm, SimilaritySolutions, SimilarityTransformation, Solve, SymmetrySolutions, SymmetryTest,
SymmetryTransformation, TWSolutions, ToJet, build, casesplit, charstrip, dchange, dcoeffs, declare, diff_table, difforder,
dpolyform, dsubs, mapde, separability, splitstrip, splitsys, undeclare
O with student
D, Diff, Doubleint, Int, Limit, Lineint, Product, Sum, Tripleint, changevar, completesquare, distance, equate, integrand, intercept,
intparts, leftbox, leftsum, makeproc, middlebox, middlesum, midpoint, powsubs, rightbox, rightsum, showtangent, simpson,
slope, summand, trapezoid
C3
2

O Eq d diff f , $3 C

d3

Eq :=
O Eq2 dK

C3
2

# f # diff f , $2 K # diff f ,
3

1
3
C
2
2

f C

d2

# f # diff f , $2 C # diff f ,
3
1
C
2
2

Eq2 := K

(4)

=0

d
f
d

(5)

O AD d 5

(6)

AD := 5
O FF d add k # f k , k = 0 ..AD
FF := f0 C f1 C 2 f2 C 3 f3 C 4 f4 C 5 f5
O Eq3 d collect expand subs f = FF, Eq2 , :
O for m from 0 to AD do
A m d coeff Eq3, , m
end do;
d2
1
f0
A0 := K f0
2
d2
1
f
2 0

A1 := K

d2
d

d2

1
K f1
2
d
f
d 1

A2 :=
K

C2

f
2 1

f0

d
f
d 1

3
f
2 1

f
2 2

f
2 1

d
f
d 2

1
f
2 0
d2

3
f
2 2

d
f
d 2

d2

d2

3
f
2 0

d
f
d 0

d2

d2

d
f
d 0

3
f
2 1

d2

3
f
2 1

f
2 0

3
f
2 0

C2

1
f
2 2

d2
d2

(7)

f0

d
f
d 0

d
f
d 1

f0

C2

d2

3
f
2 3

d2

1
f
2 1

A3 := K

f
2 1

d2

d2
d

f1

1
f
2 3

1
f
2 0

f
2 2

d2
d2

K
d2
d2

f3

d2

f0

f1

d2

d2

3
f
2 2

1
f
2 1

(3)

=0

d
f
d

(2)

d2

(1)

d2
d2
d2

C2

d2
d2

f0

3
f
2 0

d2
d2

f0

f2

d
f
d 0

1
f
2 2
d
f
d 3

d2
d2
K

f1

3
f
2 0

d2
d2

f3

f2

1
f
2 0

A4 := K

3
f
2 0

3
f
2 1

3
f
2 0

A5 := K

1
f
2 5

3
f
2 1

3
f
2 5

d2

f
2 4

d2

f
2 4

d2

f
2 3

d
d2

f
2 5

C2

d2

f
2 0

d
d2

f
2 4

d2

f
2 0

1
f
2 2

1
f
2 1

1
f
2 4

1
f
2 1

d
f
d 4

C2

d2

f
2 2

f
2 4

d
d2
d

d2

1
f
2 0

1
f
2 2

f
2 2

d
f
d 0

3
f
2 2

d2

f
2 5

d
d2

f
2 3

d2
d2

f1

d2

f
2 3

d
f
d 1
d2

1
f
2 3

C2

d
f
d 0

3
f
2 3

d2

f
2 2

d
f
d 2

d2
K

d
f
d 2

C2

d
f
d 1

d
f
d 5

d2

3
f
2 4

d
f
d 3

f3

d2

C2
K

f
2 1

d2

3
f
2 2

1
f
2 3

f0

f1

1
f
2 4

d2

3
f
2 4
d2
d2

d2

d2
d2

f0

(8)

f1

f2

d
f
d 3

0 d a # C b # 2

O f

1 d int int int subs f 0 = f 0, A 0 , = 0 .. , = 0 .. , = 0 ..

1 1
1
1 1
1
1
f 1 :=
b2 K b2 5 C
b a K a b 4 C a2 3
5 4
4
4 2
2
6

f
f
f

d2

d
f
d 4

O f

O
O
O
O
O

d2

3
f
2 3

f 0 := a C b 2

(9)
(10)

2 d int int int subs f 0 = f 0, f 1 = f 1 , A 1 , = 0 .. , = 0 .. , = 0 .. :

3 d int int int subs seq f k = f k, k = 0 ..AD , A 2 , = 0 .. , = 0 .. , = 0 .. :
4 d int int int subs seq f k = f k, k = 0 ..AD , A 3 , = 0 .. , = 0 .. , = 0 .. :

ad1

O d0
O Ans d eval add f
O b dK0.39

a := 1

(11)

:= 0

(12)

b := K0.39

(13)

k, k = 0 ..AD , a = 1 :

O f1 d unapply subs = 0, diff Ans, ,

f1 := /1 K 0.78 K 0.03802500000 4 C 0.1950000000 3 C 0.005504432142 7 C 0.02091375000 6 K 0.04387500000 5

(14)

C 0.001365589787 10 C 0.0005125279020 9 K 0.006569497768 8 K 0.000006548098983 13 C 0.0001091349831 12

K 0.0006355607143 11
O interface rtablesize = 12

(15)

10
O Matrix

seq k, k = 0 .. 2, 0.2 , seq f1 k , k = 0 .. 2, 0.2

0

1.

0.2 0.8454865126
0.4 0.6991479085
0.6 0.5668110840
0.8 0.4515905633
1.0 0.3542938282
1.2 0.2741408130
1.4 0.2095957273
1.6 0.1592614118
1.8 0.1227752002
2.0 0.101380634
O

(16)

PADE APPROXIMATION

O restart
1 2 4
1
11 3 7
11 2 6
9
5 4 10
25 3 9
387 2 8
b K b 3 C
b C
b C
b 5 K
b K
b K
b
4
2
280
80
80
896
896
8960
9
9299
9299
3
1761
3
K
b 7 C
b5 13 C
12 b4 C
b3 11 C
b2 10 C
b 9
448
12812800
1971200
280
179200
1024
1
1
11 3 7
11 2 6
9
5
25 3 9
387 2 8
f1 := 1 C 2 b K b2 4 K b 3 C
b C
b C
b 5 K
b4 10 K
b K
b
4
2
280
80
80
896
896
8960
9
9299
9299
3 3 11
1761
3
K
b 7 C
b5 13 C
12 b4 C
b C
b2 10 C
b 9
448
12812800
1971200
280
179200
1024
O f1 d 1 C 2 b K

O B 0 d1

(1)

B0 := 1

(2)

m := 5

(3)

O md 5

O BM d add B k # , k = 0 ..m :
S m d expand BM # f1 :
Q m d seq coeff S m, , n = 0, n = m C 1 ..2 # m
N m d seq B n , n = 1 ..m :
ML d solve Q m , N m :
k

O BM d B 0 C add ML k # k, k = 1 ..m :
O AL d expand rhs BM # f1 :
O for s from 0 to m do
A s d coeff AL, , s ;
end do;
A0 := 1
A1 := 2 b C
K
A2 := K

17155
b
255440 b5
C
2
K379500 b4 C 248000 b6 C 100770 b2 K 9607
K379500 b4 C 248000 b6 C 100770 b2 K 9607
49600 b7

K379500 b4 C 248000 b6 C 100770 b2 K 9607

70205
24

K379500 b4 C 248000 b6 C 100770 b2 K 9607

71470 b3
K379500 b4 C 248000 b6 C 100770 b2 K 9607
K

752870
b4
4
3
K379500 b C 248000 b6 C 100770 b2 K 9607

1548760
b6
99200 b8
K
3
K379500 b4 C 248000 b6 C 100770 b2 K 9607
K379500 b4 C 248000 b6 C 100770 b2 K 9607

135794
b2
3
K379500 b4 C 248000 b6 C 100770 b2 K 9607
17003
b
1
A3 := K b K
4
3
2
K379500 b C 248000 b6 C 100770 b2 K 9607
C

638350
b5
3
K379500 b4 C 248000 b6 C 100770 b2 K 9607

114080
b7
4
3
K379500 b C 248000 b6 C 100770 b2 K 9607

1417001
b3
4
24
K379500 b C 248000 b6 C 100770 b2 K 9607

7547
b2
1 2
b K
56 K379500 b4 C 248000 b6 C 100770 b2 K 9607
4
121935
K
448 K379500 b4 C 248000 b6 C 100770 b2 K 9607

A4 := K

638205
b6
7
K379500 b4 C 248000 b6 C 100770 b2 K 9607

2147709
b4
112
K379500 b4 C 248000 b6 C 100770 b2 K 9607

500960
b8
4
7
K379500 b C 248000 b6 C 100770 b2 K 9607
9
869439
b
A5 :=
bC
80
1120 K379500 b4 C 248000 b6 C 100770 b2 K 9607
C

742023
b5
4
28
K379500 b C 248000 b6 C 100770 b2 K 9607

92535
b7
4
7
K379500 b C 248000 b6 C 100770 b2 K 9607

1637595
b3
4
224
K379500 b C 248000 b6 C 100770 b2 K 9607

22320
b9
7
K379500 b4 C 248000 b6 C 100770 b2 K 9607

O R m d

R5 := K

Am
rhs ML m

(4)

=0

1
3248800 b6 C 464380 b4 K 629545 b2 C 68144 b

480

869439
b
1120 K379500 b4 C 248000 b6 C 100770 b2 K 9607

742023
b5
4
28
K379500 b C 248000 b6 C 100770 b2 K 9607

92535
b7
7
K379500 b4 C 248000 b6 C 100770 b2 K 9607

1637595
b3
4
224
K379500 b C 248000 b6 C 100770 b2 K 9607

22320
b9
4
7
K379500 b C 248000 b6 C 100770 b2 K 9607

9
b
80

K379500 b4 C 248000 b6 C 100770 b2 K 9607

(5)

=0

O D d solve R m , b :
O evalf %
1.09784836681183, K1.09784836681183, 1.75766542274105, K1.75766542274105, 0.396800318315259
C 0.0519282840770464 I, K0.396800318315259 K 0.0519282840770464 I, 0.396800318315259
K 0.0519282840770464 I, K0.396800318315259 C 0.0519282840770464 I

(6)