Professional Documents
Culture Documents
Math Astron
Math Astron
net/publication/349669036
CITATIONS READS
0 752
1 author:
Toshio Fukushima
National Astronomical Observatory of Japan
768 PUBLICATIONS 3,610 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Toshio Fukushima on 28 February 2021.
Samurai Sword
2014/11/14 CeleMechSymp@Chiba
Sushi in the Universe
Old Samurai
Swords
A Course of Modern Analysis
Whittaker and Watson (1902)
Classic Collection of
Mathematical Tools for
Physics
Following Tradition of
Cambridge Mathematical
Physics from Days of Newton
New Samurai
Swords
NIST Handbook of Math.
Functions
Olver et al. (2010)
Great Succesor of
Abramowitz & Stegun (1964)
Freely accessible
http://dlmf.nist.gov/
I. Newton (1642-1727)
Classic Mechanics
Mathematics for Physics
Differential Calculus
Shell Integral Theorem
Newton’s Method to
E e sin E M
Hyperbolic, Universal, etc.
No Analytical Solution
Discretized Newton Method
Discretization of
Newton’s Method
En e sin En M
Newton’s Method X En
1 e cos En
Grids En / N
Pre-Computed Values
sin En , cos En
12 f n
2
1C: Lambert W-Function
Fukushima (13d)
Solutions of Equation, W(z)
W exp W Z
Many Applications
Logarithmic Discretization
Bisection+Newton’s Method
Fastest Procedures
Orbit vs Rotation
Item Orbit Rotation
Position X Euler Angles, (ψθφ)
Velocity V Angular Velocity, ω
Mass M Moment of Inertia, I
Momentum P=MV L=Iω
Kin. Energy MV2/2 ω・Iω /2
Eq. of Motion dP/dt=F dL/dt=N
Basic Motion Kepler Motion Torque-Free Rotation
2A: Elliptic Integrals
Fukushima (09ab, 10ab, 11ab, 12ab, 13cd, 15a)
Legendre’s 3 Basic Integrals
d
F | m
E | m 1 m sin 2 d
0
1 m sin 2
0
d
, n | m
0
1 n sin
2
1 m sin 2
Astronomical Applications
Angles of Torque-Free Rotation
Gravitational Potential of Ring/Disc/Ellipsoid
2B: Elliptic Functions
Fukushima (09ab, 13a)
Jacobian Amplitude Function
am(u | m) u F | m
Jacobian Elliptic Functions
sn u | m sin , cn u | m cos , dn u | m 1 m sin 2
Astronomical Applications
Angular Velocity of Torque-Free Rotation
Kepler Equation Solution as Arc Length Function
Existing Authorities:
Bulirsch, Carlson, & Cody
Half/Double Argument
Transformation Method
Lagrange’s Double Arg. Rule
2 scd c2 s2d 2
sn 2u | m , cn 2u | m ,
1 ms 4
1 ms 4
d 2 ms 2 c 2
dn 2u | m
1 ms 4
s sn u | m , c cn u | m , d dn u | m
Inversion: Half Argument Transformation
y'
y y sn 2
2u | m
1 1 y 1 1 my y ' sn 2 u | m
Maclaulin Series
Jacobian Elliptic Functions
1 m 33 1 m
su u , c 1 u 22 , d 1 u 22
6 2 2
Elliptic Integral of 1st Kind
1 m 3
F | m u s s
6
Associate Elliptic Integrals
1 1 m 3n 5
J , n | m u 3 u D | m J , 0 | m
3 15
Elliptic Integrals of 2 nd and 3 Kind rd
E | m F | m mD | m , , n | m F | m nJ , n | m
CPU Time Comparison
nanosec @ PC with Intel Core i7-2675QM
Elliptic Integral/Function Bulirsch Carlson Cody new
K(m) 93 330 62 24
K(m), E(m) 186 922 29
K(m), E(m), Pi(n|m) 383 1871 159
F(phi|m) 178 313 173
F(phi|m), E(phi|m) 712 213
F(phi|m), E(phi|m), Pi(phi,n|m) 1426 464
sn(u|m), cn(u|m), dn(u|m)
2015/02/18 165
Univ. Tokyo Numer. Anal. Seminar 116
26
3A: Associated
Legendre Function
Fukushima (12cdef, 13b, 14ad, 16ef)
Core of Spherical Harmonic Expansion: Pnm(t)
Yn , Pnm cos exp im
m
YZ 1 ZX 1 XY
A tan 1 , B tan , C tan
XR YR ZR
D ln X R , E ln Y R , F ln Z R
Cancellation Problem
Taylor Series + Finite Difference Rewriting
Boolean Formalism of
Finite Difference
G. Boole (1815-1864)
Difference Operator
f f x0 x f x0
Basic Rules
af bg af bg
fg f g f g 0
g / f f 0 g f g 0 / ff 0
Useful Formulae
x x0 x
Fukushima (12d)
n 1 n 1
x n x x j x0n 1 j
j n 1 j
n
x x / n
x n x0
j 0 j 0
x x sin x
sin x 2sin cos x0 tan x
2 2 cos x cos x0
x x x
cos x 2sin sin x0 tan x tan
1 -1
2 2 1 xx0
5A: Fermi-Dirac
Integrals
Fukushima (14bc, 15bcd)
Core of Quantum Statistics
x k dx
Fk
0 exp x 1
Generalized Fermi-Dirac Integral
Stellar Structure, Semi-Conductor
x k 1 x / 2dx
Fk ,
0 exp x 1
Fermion
k BT
,
Eq. of State k BT mc 2
exp( x ) 1 f x dx
0 0
f z dz
f z dz
0
exp( z ) 1 exp( z ) 1
f z f z f z
Additional Terms are
Rapidly Convergent
CPU Time Comparison
of General FD Integral
Double Precision, Intel Fortran 12.1
μs @ Intel Core i7-4600U
Order, k Numerical New
Quadrature
1/2 21.7 0.170
1/2, 3/2 40.3 0.174
1/2, 3/2, 5/2 60.5 0.176
Parameter Coverage
of New Method
Lepton Baryon Device
Sun 9.75E-7 5.31E-10 Ge 0.0156
White Dwarf 4.4E-6 2.4E-9 Si 0.0362
Sun (Core) 2.65E-3 1.44E-6 GaAs 0.0452
He Flush 0.034 1.8E-5 InAs 0.143
Ne Fusion 0.2 1E-4 InSb* 0.299
Fe Disintegr. 8 4E-3 *: 6 Digits
Super Novae 160 0.08
5B: Bose-Einstein
Integrals
Another Core of Quantum Stat.
x k dx
Bk
0 exp x 1
Many Applications
Photon Statistics
Bose-Einstein Condensation (BEC)
Phonon/Magnon Mechanics
Information Retrieval
6: Manifold Correction
Fukushima (03abc, 04abc)
Consistency of Numerically Integrated Solution
(p,q)
H(p,q)=E
LZ L Z L r v dL V
r a
dt r
Kepler Energy Scaling
0. Kepler Energy v 2
K
as Quasi-Conservative 2 r
1. Integrate (x, v) plus K r x
2. Correct (x, v) to Satisfy Defining
Relation of K at Every Step
3. Single Scaling x, v x, v
4. Solve Cubic Eq. by Newton’s Method
7: Parallel Extrapolation
Method of Integration
Fukushima (89, 99a, 12f),
Ito & Fukushima (97)
Richardson’s Extrapolation to
0 Stepsize Integration of ODE
Gragg (1965)
Bulirsch & Stoer (1966)
Parallel by Do-Loop Folding
Suitable for Small-Size Parallel Computers
Do-Loop Folding
Ito and Fukushima (1997, Astron. J.)
Pairing Tasks of Indices J and N+1-J
Before Folding
do J=1, N { task(J) }
After Folding
do J=1, (N+1)/2 { task(J);
if(N+1-J != J) task(N+1-J) }
8: Picard-Chebyshev
Integration
Fukushima (97c, 12f)
Time-Global Integration of
Ordinary Diff. Eqs (ODE)
Combining Two Techniques
Picard’s Successive Approximation
Chebyshev Approximation of
Arbitrary Functions
Also Suitable for Boundary
Value Problems of ODEs
9A: Lesson
FFT (Cooley & Tukey, 1965)
One of 10 Algorithms of 20c
However, …
ResearchGate Fukushima
Click