> restart;

> with(linalg);

[ BlockDiagonal , GramSchmidt , JordanBlock , LUdecomp , QRdecomp , Wronskian ,

addcol , addrow , adj , adjoint , angle , augment , backsub , band , basis , bezout ,
blockmatrix , charmat , charpoly , cholesky , col, coldim , colspace , colspan , companion ,
concat , cond , copyinto , crossprod , curl, definite , delcols, delrows , det, diag , diverge ,
dotprod , eigenvals , eigenvalues , eigenvectors, eigenvects, entermatrix, equal ,

exponential , extend, ffgausselim , fibonacci , forwardsub , frobenius , gausselim ,

gaussjord , geneqns , genmatrix , grad , hadamard , hermite, hessian , hilbert ,
htranspose , ihermite, indexfunc , innerprod , intbasis , inverse, ismith , issimilar, iszero,
jacobian , jordan , kernel , laplacian , leastsqrs, linsolve , matadd , matrix, minor ,
minpoly , mulcol , mulrow , multiply , norm , normalize , nullspace , orthog , permanent ,

pivot , potential , randmatrix , randvector , rank , ratform , row , rowdim , rowspace ,

rowspan , rref, scalarmul , singularvals , smith, stackmatrix , submatrix , subvector,
sumbasis , swapcol , swaprow , sylvester, toeplitz , trace, transpose , vandermonde ,
vecpotent , vectdim, vector, wronskian ]

> M:=matrix([[0,a12,0,0,0,0,0,0,0],[a21,0,0,0,a25,0,0,0,0],[0,0,0,0,0,0,a37,0,0],
[0,0,0,0,0,0,0,a48,0],[0,a52,0,0,0,0,0,0,0],[0,0,a63,0,0,0,0,0,0],[0,0,0,a74,0,0,0,0,0],
[0,0,0,0,0,0,0,0,0]]);

a21
0
0
M :=
0
0

0
0

a12
0
0
0
a52
0
0
0

0
0
0
0
0
a63
0
0

0
0
0
0
0
0
a74
0

0
a25
0
0
0
0
0
0

0
0
0
0
0 a37
0
0
0
0
0
0
0
0
0
0

0
0
0
a48
0
0
0
0

0
0

0
0

>

> SphericalY(lambda,mu,theta,phi);

SphericalY( , , , )

> convert(SphericalY(lambda,mu,theta,phi), LegendreP);

1
2

( -1 )

2 1

( )! e

( I)

( )!

LegendreP( , , cos( ) )

>
Int(Int(SphericalY(lambda,mu,theta,phi)*conjugate(SphericalY(rho,nu,theta,phi))*
sin(theta),theta=0..Pi),phi=0..2*Pi) =
int(int(SphericalY(lambda,mu,theta,phi)*conjugate(SphericalY(rho,nu,theta,phi))*s
in(theta),theta=0..Pi),phi=0..2*Pi);

SphericalY( , , , ) ( SphericalY( , , , ) ) sin( ) d d

0 0
2

SphericalY( , , , ) ( SphericalY( , , , ) ) sin( ) d d

0 0

> convert(SphericalY(3,-3,theta,phi), LegendreP);

1
96

5040

1
( 3/2 )
( 3/2 )
( cos( )1 )
( cos( )1 )

(3 I )

> convert(SphericalY(0,0,theta,phi), LegendreP);

> rho:= r->2*r/(m*a);

 := r

2r
ma

> R:=(n,l,r)->(2/(n*a))^3*((n-l-1)!/(2*n*((n+l)!)^3))*exp(rho(r)/2)*(rho(r))^l*LaguerreL(n+l,2*l+1,rho(r));

R := ( n, l, r )

4 ( nl1 )! e

( 1/2 ( r ) )

( r ) l LaguerreL( nl, 2 l1, ( r ) )

n 3 a 3 n ( ( nl )! ) 3

> R(n,l,x);

4 ( nl1 )! e

m a

2 x LaguerreL nl, 2 l1, 2 x

ma

m a

4 3
3
n a ( ( nl )! )

> LaguerreL(3,2,x);

LaguerreL( 3, 2, x )

> expand(%);

5
1
10 10 x x2 x3
2
6

> Fonda:=(n,l,m,r,theta,phi)->R(n,l,r)*SphericalY(l,m,theta,phi);

Fonda := ( n, l, m, r, , )R( n, l, r ) SphericalY( l, m, , )

> Fonda(n,l,m,r,theta,phi);

4 ( nl1 )! e

m a

2 r LaguerreL nl, 2 l1, 2 r SphericalY( l, m, , )

ma

m a

4 3
3
n a ( ( nl )! )

> Fonda(3,1,0,r,theta,phi);

1
139968

m a

2r
r LaguerreL 4, 3,
SphericalY( 1, 0, , )
m
a

a4 m

> Fonda(3,2,1,r,theta,phi);

1
8748000

m a

2r
r 2 LaguerreL 5, 5,
SphericalY( 2, 1, , )
m
a

a 5 m2

> conjugate(Fonda(3,2,1,r,theta,phi));

1
8748000

m a

2r
r 2 LaguerreL 5, 5,
SphericalY( 2, 1, , )
ma

5 2

a m

> Fonda(3,1,0,r,theta,phi)*rcos(theta)*Fonda(3,0,0,r,theta,phi);

1
e
306110016

LaguerreL

m a

r LaguerreL 4, 3, 2 r SphericalY( 1, 0, , ) rcos( )

m a

2r
7
3, 1,
SphericalY( 0, 0, , ) ( a m )
m a

>
Int(Int(Int(Fonda(3,1,0,r,theta,phi)*r*cos(theta)*Fonda(3,0,0,r,theta,phi)*r^2*sin(t
heta),theta=0..Pi),phi=0..2*Pi),r=0..infinity)=int(int(int(Fonda(3,1,0,r,theta,phi)*r*c
os(theta)*Fonda(3,0,0,r,theta,phi)*r^2*sin(theta),theta=0..Pi),phi=0..2*Pi),r=0..infin
ity);

0 0

1
306110016
0

m a

r 4 LaguerreL 4, 3, 2 r SphericalY( 1, 0, , ) cos( )

m a

2r
7
LaguerreL 3, 1,
SphericalY( 0, 0, , ) sin( ) ( a m ) d d dr lim
m a
r

2
r
2
r

2 r

m a
m a
m a
1
11
11
6
5
5
m a 3780 e
r m a 5544 e
r7 m4 a 4
945 e
11019960576

3780 e
16 e

2 r
m a

2 r
m a

1890 r 2 e

r m a 1336 e

11

r 1260 e

2 r
m a

945 m 11 a 11

2 r
m a

2 r
m a

r m a 232 e
6

r m a 1260 r e

m 9 a 91890 r e

2 r
m a

2 r
m a

2 r
m a

m 10 a 10630 e

r 10 m a

m8 a 8

2 r
m a

r4 m7 a 7

( m 7 a 13 )

SphericalY( 1, 0, , ) cos( ) SphericalY( 0, 0, , ) sin( ) d d

0 0

>
convert(SphericalY(1,0,theta,phi)*cos(theta)*SphericalY(0,0,theta,phi),LegendreP);

1
4

3 cos( ) 2

> int(int(1/4*3^(1/2)/Pi*cos(theta)^2*sin(theta),theta=0..Pi),phi=0..2*Pi);

3
3

>