> #ADM

> restart
d4 d3 d d2
> eq1 d 4
F x K 3
F x $F x K F x $ 2 F x ;
dx dx dx dx
d4 d 3
d d2
eq1 := 4
F x K 3
F x F x C F x 2
F x (1)
dx dx dx dx
> ics d F 0 = 0, F 1 = 1, D 2 F 0 = 0, D F 1 = 0;
ics := F 0 = 0, F 1 = 1, D 2 F 0 = 0, D F 1 = 0 (2)
1 3 3
> F 0 x dK x C x
2 2
1 3 3
F0 x := K x C x (3)
2 2
d3
> N 1 F x =C F x $F x ;
d x3
3
d
N1 F x = F x F x (4)
dx3
d d2
> N 2 F x =K F x $ 2 F x ;
dx dx
d d2
N2 F x =K F x 2
F x (5)
dx dx
1 k
> A m d $diff N 1 sum λ $F k x , k = 0 ..m , lambda$m ;
factorial m
m
vm
vλ
m
N1
k= 0
>λ F k
k x
Am := (6)
m!
1 k
> B m d $diff N 2 sum λ $F k x , k = 0 ..m , lambda$m ;
factorial m
m
vm
vλ
m
N2
k= 0
>λ F k
k x
Bm := (7)
m!
> for j from 0 to 2 do
A j d simplify expand subs m = j, A m ;
B j d simplify expand subs m = j, B m ;
end do;
0
A0 := N1 >λ F
k= 0
k
k x

0
B0 := N2 >λ F
k= 0
k
k x
 1
A1 := D N1 >λ F
k= 0
k
k x F1 x

1
B1 := D N2 >λ F
k= 0
k
k x F1 x

2 2
1
A2 :=
2
D
2
N1 >λ F
k= 0
k
k x
2
F1 x C2 D
2
N1 >λ F
k= 0
k
k x F1 x λ F2 x

2 2
C2 D 2
N1 >λ F
k= 0
k
k x
2 2
λ F2 x CD N1 >λ F
k= 0
k
k x F2 x

2 2
1
B2 :=
2
D
2
N2 >λ F
k= 0
k
k x
2
F1 x C2 D
2
N2 >λ F
k= 0
k
k x F1 x λ F2 x (8)

2 2
C2 D
2
N2 >λ F
k= 0
k
k x
2 2
λ F2 x CD N2 >λ F
k= 0
k
k x F2 x

3
1 3 3 d 1 3 3 1 3 3
> N 1 K x C x d Kx C x . K x C x ;
2 2 d x3 2 2 2 2
1 3 3 3 9
N1 K x3 C x := x K x (9)
2 2 2 2
1 3 3 d 1 3 3 d2 1 3 3
> N 2 K x C x dK K x C x $ 2 K x C x ;
2 2 dx 2 2 dx 2 2
1 3 3 3
N2 K x3 C x := 3 K x2 C x (10)
2 2 2 2
> A 0 d lim A 0 ;
λ/0
3 3 9
A0 := x K x (11)
2 2
> B 0 d lim B 0 ;
λ/0
3 2 3
B0 := 3 K x C x (12)
2 2
x x x x x x x x
> #F[mC1] x dC A m dx dx dx dx K B m dx dx dx dx :
0 0 0 0 0 0 0 0
x x x x x x x x
> F 1 x dC A 0 dx dx dx dx K B 0 dx dx dx dx;
0 0 0 0 0 0 0 0
1 3 5
F1 x := x7 K x (13)
140 40
1
> D N1 >λ F
k= 0
k
k x d diff A 0 , x ;

1 3 3 1 3 5 9 2 9
D N1 K x C x Cλ x7 K x := x K (14)
2 2 140 40 2 2
 1
> D N2 >λ F
k= 0
k
k x d diff B 0 , x ;

1 3 3 1 7 3 5 27 2 9
D N2 K x C x Cλ x K x := K x C (15)
2 2 140 40 2 2
x x x x x x x x
> F 2 x dC A 1 dx dx dx dx K B 1 dx dx dx dx;
0 0 0 0 0 0 0 0
3 1 1
F2 x := x13 K x11 C x9 (16)
400400 5600 4480
> F x d sum F n x , n = 0 ..2 ;
1 3 1 3 5 3 1 1
F x := K x3 C xC x7 K x C x13 K x11 C x9 (17)
2 2 140 40 400400 5600 4480
1 3 1 3 5 3 1 1
> F ADM x dK x3 C xC x7 K x C x13 K x11 C x9;
2 2 140 40 400400 5600 4480
1 3 3 1 7 3 5 3 13 1 11 1
FADM x := K x C xC x K x C x K x C x9 (18)
2 2 140 40 400400 5600 4480
> plot F ADM x , x = 0 ..1 , color = red ;

0.9

0.8

0.7

0.6

0.5

0.4

0.3

0.2

0.1

0
0 0.2 0.4 0.6 0.8 1
x
>