## Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

B 27 (1986), 370-375

**PARSEVAL'S INTEGRAL AND THE JACOBI EXPANSIONS IN SERIES OF BESSEL FUNCTIONS
**

JOHN LEKNER1

(Received 1 May 1984; revised 26 November 1984)

Abstract The sums

are shown to approximate J0(z); the error terms are series in higher order Bessel functions, leading with J2M(Z)- Similar sums approximate J±(z). These sums may be looked on as extensions of the Jacobi expansions for cos z and sin z in series of Bessel functions. They become numerically useful for M > \z\.

1. Introduction

In the theory of diffraction by a circular aperture [1], the Bessel function Jo appears in the form of Parseval's integral [3, page 21]

**Jo(z) = - r d6cos(zsin8).
**

IT Jo

(l)

I wanted a simple algorithm, based on (1), from which my second-year physics students could generate Jo and its derivative. I tried the trapezoidal rule, which approximates (1) by

S

MU) = JJ E coslzsin— 1.

m=l

(2)

This proved to be remarkably accurate: for example / 0 (l) is given to twelve digits by the M = 6 sum, when the trapezoidal rule is expected to give about two digits correctly (numerical aspects are discussed in the appendix).

1 Physics Department, Victoria University of Wellington, Wellington, New Zealand. © Copyright Australian Mathematical Society 1986, Serial-fee code 0334-2700/86

370

Section 2. What is the error in this approximation? We use (3) in (2) to find 2 o o M SM(z) = J0(z) + ^ X J2n(z) I cos(2™/A/)- (4) The sum over m may be evaluated as the real part of the geometric progression M X> m = u(uM . For M = 1 and 2. Thus S M (z)=y 0 (z) + 2 f J2IM{z). •n Jo (8) . in which case it equals M. [2]. (3) 2. Properties of SM (z) The sum SM(z) approximates J0(z).1). (7) 3.46 and 47) 00 /-I kl+cosz)=/0(z)+2£/4/(z). namely 2(z/2)2M/(2M)\ = (vrM)-1/2(z/4eM)2M (using Stirling's approximation).[2] Parseval's integral and Jacobi expansions 371 Why? The reason proved to he in the Jacobi expansion [3. l u = exp(2/iw//M). and to lead to extensions of Jacobi's beautiful formulae. Related sums If we set 0 = TT/2 . This will be small provided \z\ < M. (5) gives series which may be obtained from (3) by setting 0 = 0 and 0 = -n/2 (cf.1.l ) / ( « . 9.22] oo cos(zsin0) = Jo(z) + 2 £ J2n(z)cos2n6. (5) The leading term in the power series expansion of SM(z) — / 0 ( z ) is therefore the leading term of 2J2M(z). Parseval's integral can be put in the form •^o(z) = ~ / d<t>cos(zcos<f>).<t> in (1). and is zero unless n = lM where / is an integer.

< in (3) to obtain 00 cos(zcos</>) = / 0 ( z ) + 2 E (-)V 2n (2)cos2«^.AT-1 i (2A0! . correct to nine digits. For example. In fact the SM and CM formulae are equivalent for even M. (12) For M = 2 we obtain (7) again. For M = 3 we have .372 JohnLekner [3] The corresponding trapezoidal rule approximation to / 0 (z) is C ( M(Z) = JJ I cos(zcos — ) . we obtain interesting identities. /=i (11) For M = 1 this gives a result obtainable from (10) by setting < = 0: £ / 0 (z) + 2 E ( . (z) (14) This approximates / 0 (w/2) by {1 + ^2 + 2COSTT/3~/4}/6. On comparing these series expansions with those of j(SM(z) — JQ(z)) or j(CM(z) — J0(z)). correct to four digits.) ' / 2 . (13) For M = 1 we regain (7). For odd M they are different. ( z ) . and a useful result is obtained by taking their average: 1 °° — \S (z) + C (z)] = J (z) + 2 $2 J L= l (z).. The error or remainder terms in (5) and (11) have the power series expansions (obtained by using the power series expression for JllM(z) and resumming) \N [N/M] K (+)' ( T ) where [N/M] denotes the integer part of N/M. m=\ (9) > | We set 6 = IT/2 . CM(z)=J0(z) + 2l{-)IMJ2IM(z). and J0(TT) by 5 cos TT/3 /2. for M = 3 (and N > 3) [*/3] / \/ . n= l (10) On using (10) in (9) we find the companion formula to (5)./T \ °° _2 T .

We obtain y i(Z) = M ^ Sin m=l (77")Sin(ZSin17") + ^ iJ2IM-l(Z) /=1 - and (19) Setting M = 2 in (18) or M = 1 or 2 in (19) regains the known result [2.12] To find / x (z) = -J${z) we differentiate either (5) or (11). Higher order Bessel functions The results of the previous sections can be extended to Bessel functions Jn with n > 0.3l)\(N + 3l)\ 2\ (2N)\ (An) 4. For example. we can average (18) and (19) for odd M to obtain a more accurate formula. formulae for n > 1 can then be found by using the recurrence relation [3.2/3(2) + 2/5(2) . A variety of extensions of the Jacobi formulae have been given. (21) The first zero of Jr. sinz = 2J 1 (z) .48)]. (9. can be estimated from the three terms in the curly bracket of (21) to four-digit accuracy.1. Section 2. (20) As before. together with some consequent combinatorial identities. Discussion We have shown that the remarkable accuracy of certain simple trigonometric series for Bessel functions comes from the intimate relation of these series to the Jacobi formulae. 5. We shall give results for Jx only. for M = 3 we have 1 °° / j ( z ) = -r{y3"sinzv/3"/2 + sinz/2 + sinz} + £ [/ 12L _ 1 (z) J11L+l(z)]. . which gives the angular diameter of the first zero-intensity ring in the diffraction pattern of a circular aperture [1].[41 and Parseval's integral and Jacobi expansions 373 f (N .

Appendix: Numerical aspects We briefly discuss some practical computational aspects of the trigonometric series approximations for Jn(z). oo — £cosh(zcos ^~j = / 0 W + 2 l W * ) - (24) Acknowledgement The paper has benefitted from helpful comments and suggestions by the referees.374 JohnLekner [s] Similar expressions can be obtained for the modified Bessel functions /„: from the trapezoidal approximation to the integral [2. •n Jo (22) On using the identity (cf.r d8cosh(zcosO).) At z = 2 this produces eight correct digits.) . (Al) (This is the same as the M = 3 expression of equation (14). Simpson's rule with six intervals approximates J0(z) by ^ { 1 + 2cosz + 4cosz/2 + 2cosz\/3~/2}. In the introduction we noted that the trapezoidal rule for the Parseval Integral gives (for z = 1 and M = 6) twelve digits correctly. We thus have an interesting illustration of an integral for which Simpson's rule is much less accurate than the trapezoidal rule! (The analytical explanation is in essence contained within the body of the paper. we find -i M . (A2) and gives four digits correctly at z = 1.6. (9. (10)) 00 cosh(zcos0) = Io(z) + 2 £ I2n(z)cos2n8 n= l (23) in the trapezoidal rule estimate for (22). when about two correct digits were expected.16)] 7 o(*) = . In contrast. The sum in question approximates /0(z)by | { 1 + c o s z + 2 c o s z / 2 + 2coszv/3~/2). and two digits correctly at z = 2.

but only a little faster than the power series. Theory of Bessel functions (Cambridge University Press. so is the extraction of square roots). The answer is a qualified yes: only with special precautions do they perform better (and then only marginally so). 1966). one might ask whether these trigonometric sums are better than the usual power series for the evaluation of Bessel functions. 1965). Born and E. (The timings were for 200 values of J0(z). J.01)2. Olver.[ 61 Parseval's integral and Jacobi expansions 375 With such accuracy. it is 7% faster than the power series. . A. edited by M. When (Al) is evaluated as (c + cc + cos(rz))/3. The expression (Al). [3] G. Abramowitz and I.1964). with eight digit precision or better. 55. to a lesser extent. [2] F. z = 0. programmed in BASIC on an HP-85 microcomputer. where c = cos(z/2) and r = \/3~/2 (evaluated once only). Oxford. Watson. Chapter 9 in Handbook of mathematical functions. Applied Mathematics Series No. Stegun (N.01(0. As an example we take the task of the repeated evaluation of J0(z) for 0 < z < 2. This is because the evaluation of trigonometric functions is slow (and.S. summed up to 3 + [2z] terms. Wolf. Principles of optics (Pergamon Press.B. N. W. as its stands.) The series developed here are simple to program. References [1] M. is approximately 40% slower at this than a power series generated with a recursion relation.

- Hybrid Symbolic-Numeric Integration in Multiple Dimensions via Tensor-Product Series-O Carvajal
- 01 Rational Number
- Koputaroa Maths/NS Matrix
- GATE 2014 Question Paper & Answers - GG
- Calculus Assignments 2012-13
- BITSAT Syllabus by Entranceindia
- 15-2-141
- Ch8_3_TrigIntegrals
- part5ch4
- The Baphomet
- A4, Empower3 Processing Tips and Tricks
- 2006 PMWC Tryouts Problems
- gremath_set07-1
- 54-IntegralSubstitution
- Category 7 Algebra
- CSE 2 2013R anna university
- Bitsat2015 Brochure
- Analysis of the Simpson Rule
- The txfontsb package
- morawetz strauss
- 10p15hrt 1 Solutions
- 2013 Homework 012sol
- solidofrev
- IT
- Field and Potential Due to Charge Distribution Notes 4b
- L6
- Integration by Parts Shortcut DI METHOD
- Bitsat 2015 Mathematics Syllabus
- Calculus AB Syllabus 11-12
- jocellp

Skip carousel

- As ISO 18876.2-2004 Industrial Automation Systems and Integration - Integration of Industrial Data for Exchan
- UT Dallas Syllabus for math1326.002.09s taught by (axe031000)
- UT Dallas Syllabus for math1326.002.09f taught by (axe031000)
- UT Dallas Syllabus for math1326.001.10s taught by (nae021000)
- UT Dallas Syllabus for math2414.0u1.11u taught by Bentley Garrett (btg032000)
- tmp1D19.tmp
- UT Dallas Syllabus for cs3341.501.09s taught by Michael Baron (mbaron)
- UT Dallas Syllabus for cs3341.501 06s taught by Pankaj Choudhary (pkc022000)
- UT Dallas Syllabus for engr3300.001.11f taught by Jung Lee (jls032000)
- UT Dallas Syllabus for engr3300.002.11s taught by Gerald Burnham (burnham)
- As 10303.207-2000 Industrial Automation Systems and Integration - Product Data Representation and Exchange AP
- UT Dallas Syllabus for ee3300.001.07f taught by William Pervin (pervin)
- As 10303.202-1999 Industrial Automation Systems and Integration - Product Data Representation and Exchange AP
- As ISO 10303.104-2004 Industrial Automation Systems and Integration - Product Data Representation and Exchang
- UT Dallas Syllabus for math2413.003.11s taught by Wieslaw Krawcewicz (wzk091000)
- Integration of Revenue Administration
- UT Dallas Syllabus for math1326.001 05s taught by Paul Stanford (phs031000)
- UT Dallas Syllabus for math1326.002.10s taught by (axe031000)
- Tuning of PI Controller using Integral Performance Criteria for FOPTD System
- UT Dallas Syllabus for math1326.502.09s taught by Cyrus Malek (sirous)
- UT Dallas Syllabus for ee3300.003.08s taught by William Pervin (pervin)
- UT Dallas Syllabus for math3379.501.07s taught by Malgorzata Dabkowska (mxd066000)
- UT Dallas Syllabus for cs3341.001 05f taught by Michael Baron (mbaron)
- Apollo Experience Report Oboard Navigational and Alignment Software
- UT Dallas Syllabus for ee3300.501.10s taught by (jls032000)
- UT Dallas Syllabus for math1326.002.07f taught by Yuly Koshevnik (yxk055000)
- UT Dallas Syllabus for math2451.501 06s taught by Viswanath Ramakrishna (vish)
- UT Dallas Syllabus for math1326.001.09s taught by (axe031000)
- UT Dallas Syllabus for mech3300.002.10s taught by Gerald Burnham (burnham)
- UT Dallas Syllabus for math4301.001.11f taught by Wieslaw Krawcewicz (wzk091000)

- 4
- TN-1473
- Study of pyrochlore matrix composition effects on froth flotation by SEM–EDX
- TN-1471
- TN-1477
- NIST TN-1438
- TN-1508
- Portland Cement Characteristics —1998
- NIST TN-1512
- TN-1458
- TN-1486
- NIST TN-1524
- The Etymology of Coffee the Dark Brew
- Transparent Transistor
- TN-1455-1
- Sorgulama zamani
- fm2030
- Xurşidbanu Natəvan - Əsərləri
- Xps Wavelet
- Kianvash Aging
- Charactcrization of Polyclcctrolytc Microcapsulcs by Confocal Lascr Scanning Microscopy and Atomic Forcc Microscopy
- 2970-11665-1-PB
- 5
- Khomeini and Criminal Justice Notes on Crime and Culture
- Sd Article 3
- 5488
- aemitoa
- 4357
- Wheatstone Bridge

Sign up to vote on this title

UsefulNot usefulClose Dialog## Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

Close Dialog## This title now requires a credit

Use one of your book credits to continue reading from where you left off, or restart the preview.

Loading