1: %\documentclass[aps,prc,groupedaddress,showpacs,preprint]{revtex4}

2: \documentclass[twocolumn,showpacs,preprintnumbers,amsmath,amssymb]{revtex4}

3: %\documentclass[12pt]{article}

4: \usepackage{amsmath}

5: \usepackage{amssymb}

6: \usepackage{amsfonts}

7: \usepackage{graphics}

8: \usepackage{dcolumn}% Align table columns on decimal point

9: \usepackage{bm}% bold math

10: \def\beq{\begin{equation}}

11: \def\eeq{\end{equation}}

12: \def\beqarray{\begin{eqnarray}}

13: \def\eeqarray{\end{eqnarray}}

14: 

15: \begin{document}

16: 

17: \title{Wavelet Methods in the Relativistic Three-Body Problem}

18: 

19: \author{Fatih Bulut}

20: \altaffiliation[Also at ]{Department of Physics and Astronomy, The 

21: University of Iowa.}%Lines break automatically or can be forced with \\

22: \author{W. N. Polyzou}

23: 

24: 

25: \email{polyzou@uiowa.edu}

26: \affiliation{%

27: Department of Physics and Astronomy, \\The 

28: University of Iowa   

29: %This line break forced with \textbackslash\textbackslash

30: }%

31: 

32: \date{\today}

33: 

34: \begin{abstract}

35: 

36: Abstract: In this paper we discuss the use of wavelet bases to solve

37: the relativistic three-body problem.  Wavelet bases can be used to

38: transform momentum-space scattering integral equations into an

39: approximate system of linear equations with a sparse matrix.  This has

40: the potential to reduce the size of realistic three-body calculations

41: with minimal loss of accuracy.  The wavelet method leads to a clean,

42: interaction independent treatment of the scattering singularities

43: which does not require any subtractions.

44: 

45: 

46: \end {abstract}

47: 

48: \pacs{03.65Pm,11.30.Cp,11.80-m,21.45.+v,24.10Jv,25.10.+s}

49: \keywords{wavelets,relativistic three-body models}%

50: 

51: \maketitle

52: \section{Introduction}

53: 

54: This is the third paper \cite{kessler03}\cite{kessler04} in a series

55: of investigations designed to explore potential advantages of using

56: wavelet numerical analysis to solve the relativistic three-body

57: problem.  Commercially, wavelets are used to convert raw digitized

58: photographic images to compressed JPEG files \cite{jpeg}.  In this

59: application the data compression leads to a large saving in storage

60: space with a minimal loss of information.  The compression involves

61: expanding the raw digital image in a wavelet basis and setting the

62: smaller expansion coefficients to zero.  The kernel of a scattering

63: integral equation and a raw digital image can both be approximated by

64: rectangular arrays of numbers with some continuity properties.  This

65: suggests that the bases used to compress digital images could be used

66: to generate accurate sparse matrix approximations to the kernel.

67: 

68: The ability to construct numerically exact solutions to the quantum

69: mechanical three-body problem coupled with the ability to accurately

70: measure complete sets of experimental observables constrains the form

71: of the three-nucleon Hamiltonian.  These constraints have resulted in

72: the construction of realistic model nucleon-nucleon interactions

73: \cite{deSwart}\cite{v18} \cite{cdbonn}.  When these interactions are

74: used in the many-nucleon Hamiltonian, the resulting dynamical model

75: provides a good quantitative description of low-energy nuclear physics

76: \cite{lightnuc}. 

77: 

78: The state of the art in few-body computations has improved to the

79: point where numerically exact scattering calculations at energy and

80: momentum transfers of hundreds of $MeV$ have been performed

81: \cite{walter}.  Higher energy calculations are possible.  As in the

82: low-energy case, the structure of Hamiltonians for higher energy

83: reactions can be constrained by the consistency of the few-body

84: calculations with precise measurements of complete sets of

85: experimental observables.

86: 

87: The success of the few-body approach to low-energy nuclear physics is

88: a consequence of (1) knowing the relevant degrees of freedom

89: (nucleons), (2) working with the most general Hamiltonians involving

90: these degrees of freedom that are consistent with the symmetries of

91: the system (Galilean invariance) and (3) understanding the relation

92: between the few and many-body problem (cluster properties).  To extend

93: this success to reactions involving higher energy scales (1) the

94: relevant degrees of freedom may have to include explicit mesonic or

95: sub-nucleonic degrees of freedom (2) Galilean invariance must be

96: replaced by Poincar\'e invariance and (3) cluster properties must be

97: maintained.

98: 

99: Each of the required extensions of low-energy nuclear dynamics is

100: non-trivial, and progress has been made on all three problems

101: \cite{walter}\cite{wp91}\cite{wp02}\cite{fuda}\cite{wp03}.  The

102: purpose of this paper is to focus on technical aspects of using

103: wavelet numerical analysis to construct exact numerical solutions of

104: the dynamics in Poincar\'e invariant few-body models.  While the scope

105: of this paper is limited to three-nucleon models with no explicit

106: mesonic or subnucleonic degrees of freedom and S-matrix cluster

107: properties \cite{fritz65}, the formulation and advantage of methods

108: discussed in this paper are straightforward to extend to systems with

109: explicit mesonic degrees of freedom and stronger forms of cluster

110: properties \cite{wp03}.  Moving singularities are a generic feature of

111: the dynamical equations in all of these cases.

112: 

113: Relativistic few-body equations are naturally formulated in momentum

114: space.  Relativistic kinematic factors, Wigner rotations and Melosh

115: rotations are all multiplication operators in momentum space.  The

116: compactness of the iterated Faddeev-Lovelace kernel implies the kernel

117: of the integral equations can be uniformly approximated by a finite

118: matrix, resulting in a finite linear system.  In the momentum

119: representation these linear systems have large dense matrices, which

120: increase in size with increasing energy and momentum transfer.  It is

121: desirable to be able to perform accurate calculations at energy and

122: momentum scales where subnuclear degrees of freedom are relevant.  At

123: these scales a relativistic treatment is required and advances in

124: computational efficiency are needed to perform realistic calculations.

125: The ability of the wavelet transform to efficiently transform a

126: dense matrix to an approximate sparse matrix suggests that wavelet methods

127: can provide a powerful tool for improving the efficiency of relativistic 

128: few-body computations.

129: 

130: The advantages of using wavelet numerical analysis to solve momentum

131: space scattering integral equations was investigated in

132: \cite{kessler03} and \cite{kessler04}.  These papers used wavelet

133: numerical analysis to solve the Lippmann-Schwinger equation for a

134: system of two nucleons interacting with a Malfliet Tjon V potential

135: \cite{Tjon}\cite{Payne} using partial wave expansions \cite{kessler03}

136: and direct integration \cite{kessler04}.  In both applications the

137: kernel of the integral equation was accurately approximated by a

138: sparse matrix, which resulted in accurate approximate solutions.  The

139: success of these applications indicates that wavelet numerical

140: analysis will have similar advantages when applied to the relativistic

141: three-body problem.

142: 

143: The feature of the three-body problem that is not present in the

144: two-body applications is moving singularities.  The methods used in

145: \cite{kessler03} and \cite{kessler04} are not applicable to problems

146: with moving singularities.  The purpose of this paper is to illustrate

147: how to apply wavelet numerical analysis to treat the moving

148: singularities that appear in the relativistic three-body problem.

149: 

150: \section{Overview - Wavelet Numerical Analysis}

151: 

152: The applications in ref. \cite{kessler03} and \cite{kessler04} used

153: Daubechies' wavelets.  These wavelets differ from the wavelets

154: used to store JPEG images.  The Daubechies' wavelets are orthonormal

155: but the basis functions are not reflection symmetric; while the

156: wavelets used to store JPEG images sacrifice orthonormality to obtain

157: more symmetric basis functions.  The results of

158: ref. \cite{kessler03} and \cite{kessler04} indicate that the

159: Daubechies' wavelets are suitable for scattering calculations.

160: 

161: Daubechies' wavelets \cite{Daubechies}\cite{Daubechies2} are discussed

162: in many texts on wavelets \cite{Kaiser} \cite{Resnik} \cite{Strang}

163: \cite{jorgensen}.  They are fractal functions that have complex

164: structures on all scales.  Because the basis functions have structure

165: on all scales, numerical applications with wavelets require a

166: different approach to numerical analysis, hence the term wavelet

167: numerical analysis.

168: 

169: We use the Daubechies' wavelets because they are a dense orthonormal

170: set of compactly supported functions with the property that finite

171: linear combinations can locally pointwise represent low-degree

172: polynomials.

173: 

174: Two types of functions are needed to generate wavelet bases.  These

175: functions are called scaling functions and wavelets.  The

176: scaling function, $\phi (x)$, is the solution of the linear

177: renormalization group equation:

178: \begin{equation}

179: D \phi (x) = \sum_{l=0}^{2K-1} h_l T^l \phi (x) 

180: \label{eq:CA}

181: \end{equation}

182: with normalization 

183: \beq

184: \int_{- \infty}^{\infty}  \phi (x) dx =1 . 

185: \label{eq:CB}

186: \eeq

187: Equation (\ref{eq:CA}) is called the scaling equation.    

188: 

189: In equation ({\ref{eq:CA}) $D$ is the unitary scaling operator

190: \beq

191: Df(x) := {1 \over \sqrt{2}} f ({x \over 2}) 

192: \label{eq:AC}

193: \eeq

194: which stretches the support of the function by a factor of two.

195: The operator $T$ is the unitary unit translation operator

196: \beq

197: T f(x) = f(x-1) .

198: \label{eq:CD}

199: \eeq 

200: The coefficients $h_l$ are real numbers that determine the properties

201: of the scaling function.  $K$ is a finite positive integer.  The

202: calculations in \cite{kessler03}\cite{kessler04} used Daubechies' $K=3$

203: wavelets.  The reason for this choice will be discussed later.

204: For the $K=3$ Daubechies' wavelets the six scaling coefficients $h_l$ are 

205: given in Table 1.

206: 

207: \begin{center}

208: \begin{table} % [hbt]

209: {\bf Table 1: Daubechies' $K=3$ Scaling Coefficients } \\[1.0ex]

210: \begin{tabular}{c c}

211: \hline

212: \hline

213: $h_l$ & K=3   \\

214: \hline					      		      

215: $h_0$ &$(1+\sqrt{10}+\sqrt{5+2\sqrt{10}})/16\sqrt{2}$ \\

216: $h_1$ & $(5+\sqrt{10}+3\sqrt{5+2\sqrt{10}})/16\sqrt{2}$ \\

217: $h_2$ & $(10-2\sqrt{10}+2\sqrt{5+2\sqrt{10}})/16\sqrt{2}$ \\

218: $h_3$ & $ (10-2\sqrt{10}-2\sqrt{5+2\sqrt{10}})/16\sqrt{2} $ \\

219: $h_4$ & $(5+\sqrt{10}-3\sqrt{5+2\sqrt{10}})/16\sqrt{2}$ \\

220: $h_5$ & $(1+\sqrt{10}-\sqrt{5+2\sqrt{10}})/16\sqrt{2}$ \\

221: \hline

222: \hline

223: \end{tabular}

224: % \label{tabspec}

225: \end{table}

226: \end{center}

227: 

228: The fractal structure of $\phi (x)$ is a consequence of the 

229: scaling equation (\ref{eq:CA})

230: which shows that the scaling function on a given scale is a finite

231: linear combination of translates of the same function on half the

232: scale.  

233: 

234: The scaling equation implies that the scaling coefficients 

235: $h_l$ satisfy 

236: \beq

237: \sum_{l=0}^{2K-1} h_l  = \sqrt{2}

238: \label{eq:CE}

239: \eeq

240: and that the solution $\phi (x)$ of equation (\ref{eq:CA}) 

241: has support on the interval $[0,2K-1]$ \cite{waverev}.

242: 

243: The unit translates of the scaling function 

244: are orthonormal 

245: \beq

246: (T^m\phi , T^n \phi ) = \delta_{mn} 

247: \label{eq:CF}

248: \eeq

249: provided the scaling coefficients satisfy the 

250: additional constraints:

251: \beq

252: \sum_{l=0}^{2K-1} h_l h_{l-2m}  = \delta_{m0}.

253: \label{eq:CG}

254: \eeq

255: 

256: The scaling function $\phi (x)$ is continuous (for $K>1$) and can be

257: computed exactly at all dyadic rationals using equations (\ref{eq:CA})

258: and (\ref{eq:CB}).  This method is used to compute the Daubechies' 

259: $K=3$ scaling function plotted in Figure 1.

260: 

261: \begin{figure}

262: \begin{center}

263: \rotatebox{270}{\resizebox{2.9in}{!}{

264: \includegraphics{fig1.ps}}

265: }

266: \end{center}

267: \label{Fig:1}

268: \caption{Daubechies' $K=3$ scaling function.}

269: \end{figure}

270: 

271: The subspace of square integrable functions on the real line that 

272: can be expressed as linear combinations integer translates of the 

273: scaling function, $T^n\phi (x)$, is the subspace ${\cal V}_0$ 

274: of $L^2 ({\mathbb R})$ defined by :

275: \beq

276: {\cal V}_0 := \{ f(x) = \sum_{n=-\infty}^{\infty} f_n T^n \phi (x) 

277: \vert \sum_{n=-\infty}^{\infty} \vert f_n \vert^2 < \infty\}.

278: \label{eq:CH}

279: \eeq

280: 

281: Application of powers of the scaling operator 

282: $D^k$ to ${\cal V}_0$ defines subspaces ${\cal V}_k$ 

283: with coarser $(k>0)$ or finer resolution $(k< 0)$:

284: \beq

285: {\cal V}_k = D^k {\cal V}_0 .

286: \label{eq:CI}

287: \eeq

288: The space ${\cal V}_k$ is called the approximation space with resolution 

289: $k$.  The resolution determines the size of the smallest features that

290: can be approximated by functions in ${\cal V}_k$.

291: 

292: The scaling functions 

293: \beq

294: \phi_{kn} (x) := D^k T^n \phi (x) = 

295: {1 \over 2^{k/2}}\phi ( {x \over 2^k}-n)

296: \label{eq:CJ}

297: \eeq

298: are an orthonormal basis for ${\cal V}_k$.  The support of $\phi_{kn}(x)$ is 

299: $[2^kn , 2^k(n+2K-1)]$. 

300:        

301: The scaling equation implies the inclusions

302: \beq

303: {\cal V}_k \supset {\cal V}_{k+1}.  

304: \label{eq:CK}

305: \eeq 

306: The orthogonal compliment of ${\cal V}_{k+1}$ in ${\cal V}_{k}$

307: is denoted by ${\cal W}_{k+1}$ which leads to the orthogonal 

308: decomposition

309: \beq

310: {\cal V}_k = {\cal V}_{k+1} \oplus {\cal W}_{k+1}.   

311: \label{eq:CL}

312: \eeq 

313: 

314: Orthonormal basis functions, $\psi_{km}(x)$, for the subspaces 

315: ${\cal W}_k$ are elements of ${\cal V}_{k-1}$ given by

316: \beq

317: \psi_{km} (x) = D^k T^m \psi (x) 

318: \eeq

319: \beq

320: \psi (x) =  \sum_{l=0}^{2K-1} g_l D^{-1} T^{l} \phi(x)   

321: \label{eq:CM}

322: \eeq

323: where 

324: \beq

325: g_l = (-)^l h_{2K-1 -l} .

326: \label{eq:CN}

327: \eeq

328: The subspaces ${\cal W}_{kn}$ are called the wavelet spaces and the

329: basis functions $\psi_{kn}$ are called wavelets.  The support of

330: $\psi_{kn}(x)$ is identical to the support of $\phi_{kn}(x)$.  Since

331: the wavelets are finite linear combinations scaling functions they are

332: also fractal functions.

333: 

334: The function $\psi(x)=\psi_{00}(x)$ is called the mother wavelet; 

335: the Daubechies' $K=3$ mother wavelet is shown in Figure 2.

336: 

337: \begin{figure}

338: \begin{center}

339: \rotatebox{270}{\resizebox{2.9in}{!}{

340: \includegraphics{fig2.ps}}

341: }

342: \end{center}

343: \label{Fig:2}

344: \caption{Daubechies' $K=3$ mother wavelet.}

345: \end{figure}

346: 

347: The coefficients $h_l$ for the Daubechies' $K$ wavelets are determined

348: by equations (\ref{eq:CE}) and (\ref{eq:CG}) and the requirements

349: \beq

350: \int_{-\infty}^{\infty} 

351: \psi (x) x^n dx =0; \qquad n=0,1,\cdots, K-1 

352: \label{eq:CO} 

353: \eeq

354: which implies that $\psi_{km} (x)$ is locally orthogonal to all 

355: polynomials of degree $K-1$.  Equation (\ref{eq:CO}) 

356: can be expressed directly in terms of the scaling coefficients:

357: \[

358: \sum_{l=0}^{2K-1}  l^k g_l =  

359: \]

360: \beq

361: \sum_{l=0}^{2K-1}  l^k (-)^l h_{2K-1-l} =  0 

362: \qquad k=0 \cdots K-1.

363: \label{eq:COA}

364: \eeq

365: For any $K>0$  conditions (\ref{eq:CE}), (\ref{eq:CG}) and 

366: (\ref{eq:COA}) determine $h_l$  

367: up to reflection,

368: \beq

369: h_l \to h'_l := h_{2K-1-l} .

370: \label{eq:CP}

371: \eeq

372: The entries in Table 1 are the solution of these equations for $K=3$.

373: The Daubechies' wavelets have the property that as $k\to - \infty$ 

374: (infinitely fine resolution) the

375: space ${\cal V}_k$ becomes all of $L^2 (\mathbb{R})$.

376: 

377: The decomposition (\ref{eq:CL}) implies that 

378: \beq

379: {\cal V}_k = {\cal W}_{k+1} \oplus {\cal W}_{k+2} \cdots

380: {\cal W}_{k+m-1} \oplus  {\cal W}_{k+m}\oplus {\cal V}_{k+m},  

381: \label{eq:CQ}

382: \eeq

383: for any $m>0$.  This means that functions in the approximation space

384: ${\cal V}_k$ can be expanded as linear combinations of the scaling

385: basis functions of resolution $k$ or equivalently as linear

386: combinations of the scaling basis functions of a coarser resolution

387: $k'=k+m$ and wavelet basis functions of all resolutions from $k+1$ to

388: $k+m$.

389: 

390: If we let $k\to - \infty$ with $m+k$  finite, then the functions in

391: (\ref{eq:CQ}) become a basis for $L^2({\mathbb R})$.  Since the

392: $\psi_{kn}(x)$ basis functions are locally orthogonal to 

393: degree $K-1$ polynomials, and

394: only a finite number of the $\phi_{kn}(x)$ are non-zero at any $x$,

395: it follows that finite linear combinations of $\phi_{k,n}(x)$

396: must be able to locally pointwise represent degree $K-1$ polynomials.

397: %Furthermore, since only a finite number of the

398: %$\phi_{k,n} (x)$ are non-zero at any point, the local expansions are

399: %finite.

400: 

401: Thus, for the Daubechies' $K=3$-wavelets finite linear combinations of

402: the scaling basis functions $\phi_{kn}(x)$ can locally pointwise

403: represent polynomials of degree 2, while

404: the wavelet basis functions $\psi_{kn}(x)$ are orthogonal to

405: degree 2 polynomials.

406: 

407: Equation (\ref{eq:CQ}) implies that the projection $P_k$ of a function

408: $f(x)$ on ${\cal V}_k$ can be represented by

409: \beq

410: P_k f (x) = \sum_n a_n \phi_{kn} (x)  \qquad 

411: a_n = \int f(x) \phi_{kn}(x) dx 

412: \label{eq:CR}

413: \eeq

414: or equivalently

415: \beq

416: P_k f (x) = \sum_n a_n \phi_{k+m,n} (x)

417: + \sum_{k'=k+1}^{k+m} b_{k'n} \psi_{k',n},

418: \label{eq:CS}

419: \eeq

420: \beq  

421: b_{kn} = \int f(x) \psi_{k,n}(x) dx  .

422: \label{eq:CT}

423: \eeq

424: 

425: For a sufficiently fine resolution (large $-k$) the scaling basis

426: functions have small support and integrate to a constant.  If $f(x)$

427: varies slowly on intervals of width $(2K-1)2^k$ then expansion

428: coefficients $a_n$ are well approximated by evaluating $f(x)$ at any

429: point in the support of $\phi_{kn} (x)$ and multiplying by $2^{k/2}$,

430: which is the integral of $\phi_{kn}(x)$.  This means that the scaling

431: function basis coefficients, $a_n$, are well approximated, up to a

432: fixed multiplicative constant, by sampling the original function.

433: These coefficients play the role of the raw image in a digital

434: photograph.  They provide an accurate, but inefficient approximation

435: of the function $f(x)$.

436: 

437: In the representation (\ref{eq:CS}), if $f(x)$ can be accurately

438: approximated by a polynomial of degree $K-1$ on the support of

439: $\psi_{kn}(x)$ then $b_{kn} \approx 0$.  This means that if $f(x)$ can

440: be well approximated by low-degree local polynomials with compact support on

441: multiple scales, most of the coefficients $b_{kn}$ will be be small

442: and the function can be accurately approximated by replacing these

443: small coefficients by zero.  The mean square error is the sum of the

444: squares of the discarded coefficients, which can be controlled by

445: selecting a maximum size of the discarded coefficients.  Even though

446: most of the basis functions in the representation (\ref{eq:CS}) are

447: orthogonal to low degree polynomials, the equivalence between the

448: representations (\ref{eq:CR}) and (\ref{eq:CS}) means that the

449: representation (\ref{eq:CS}) can still locally pointwise represent low

450: degree polynomials.  The orthogonal transformation connecting

451: equivalent representations (\ref{eq:CR}) and (\ref{eq:CS}) of ${\cal

452: V}_k$ is called the wavelet transform \cite{numrec}.  For $N$ basis

453: functions it can be implemented in $O(N)$ steps, which for large $N$

454: requires less steps than a fast Fourier transform. 

455: 

456: The scaling equation and normalization condition can be used to derive

457: exact expressions for the moments and partial moments of the scaling 

458: function

459: \beq

460: \langle x_{kn}^m \rangle := \int \phi_{kn} (x) x^m  dx

461: \label{eq:CU}

462: \eeq

463: \beq

464: \langle x_{kn}^m := \rangle_{[l,l']}\int_{2^k l}^{2^k l'}\phi_{kn} (x) x^m  

465: \qquad n\leq l,l' \leq 2K-1+n

466: \label{eq:CV}

467: \eeq

468: in terms of the scaling coefficients $h_l$.  Explicit expressions for the 

469: moments and partial moments appear in \cite{kessler03}, 

470: \cite{kessler04}, \cite{waverev}.

471: 

472: For the Daubechies' $K$ wavelets with $K>1$ the second moment of the

473: scaling function is the square of the first moment.  This means that

474: for $K=3$ the first moment provides a single quadrature point that will

475: integrate the scaling function times any second degree polynomial

476: exactly:

477: \beq

478: \int \phi (x) (a+bx+cx^2)  dx = a + b\langle x \rangle +c

479: \langle x \rangle^2 .  

480: \label{eq:CW}

481: \eeq

482: This is called the one-point quadrature.  Translating and rescaling

483: leads to one-point quadratures for all of the scaling basis functions

484: $\phi_{kn}(x)$.  The choice of $K=3$ Daubechies' wavelets in

485: \cite{kessler03} and \cite{kessler04} is motivated by their ability to

486: locally pointwise represent second degree polynomials and to exactly

487: integrate these local polynomials with a one-point quadrature.

488: 

489: In \cite{kessler03}, \cite{kessler04} and \cite{waverev}

490: the moments

491: and the scaling equation are used to compute the singular integrals 

492: \beq

493: L_{kn}^{\pm}  := \int dx {\phi_{kn}(x) \over x \pm i \epsilon}

494: \label{eq:CX}

495: \eeq

496: to any pre-determined precision.  

497: 

498: In applications the integral equation is approximated by projecting on

499: an approximation space ${\cal V}_k$ with a finest resolution $k$

500: dictated by the problem.  This projection can be computed efficiently

501: in the scaling basis (\ref{eq:CR}) using the one-point quadrature

502: (\ref{eq:CW}) and the explicit integrals (\ref{eq:CX}).  The resulting

503: matrix equation is transformed using the wavelet transform to an

504: equivalent system in the wavelet basis (\ref{eq:CS}).  In the

505: transformed basis the kernel of the integral equation decomposes into

506: the sum of a sparse matrix and a small matrix.  The kernel is

507: approximated by setting matrix elements of the kernel that are smaller

508: than a threshold value to zero.  This results in a sparse matrix

509: approximation.  The resulting linear system is solved using sparse

510: matrix iterative techniques, such as the complex biconjugate gradient

511: method \cite{numrec}\cite{golub} used in \cite{kessler04}.  This

512: solution is transformed back to the scaling function representation,

513: using the inverse wavelet transform, and the resulting solution is

514: inserted back in the integral equation to construct an interpolated

515: solution \cite{Sloan}.

516: 

517: The only wavelet information used in this application is the wavelet

518: transform and moments of the scaling function.  These can both be

519: expressed directly in terms of the scaling coefficients $h_l$ in Table

520: 1.  This means that the basis functions never have to be computed.

521: 

522: The work in references \cite{kessler03} \cite{kessler04} shows that

523: all of these steps work as expected.  These references also discuss

524: technical issues that arise due to the treatment of endpoints when the

525: equations are transformed to a finite interval. 

526: 

527: \section{Dynamical Equations}

528: 

529: The general structure of the Faddeev-Lovelace

530: \cite{fritz65}\cite{wp91} equation in a relativistic quantum theory

531: with three particles of mass $m$ is

532: \[

533: X (p,q;p',q') = D  (p,q;p',q')+

534: \]

535: \beq

536: \int_0^{\infty} {K (p,q;p'',q'',z)   dp'' dq'' \over

537: z - e_1 (p'',q'') - e_2 (q'') } X (p'',q'';p',q')   

538: \label{eq:DA}

539: \eeq

540: where 

541: \beq

542: e_1 (p,q) = \sqrt{4 p^2 + 4m^{2} + q^{2}}

543: \qquad  

544: e_2 (q) = \sqrt{m^{2} + q^{2}}

545: \label{eq:DB}

546: \eeq

547: and $X=X_{mn}$, $K=K_{mn}$ and $D=D_{mn}$ are complex matrix valued

548: functions.  The quantity $K(p,q;p',q',z)$ is the smooth part of the

549: kernel.

550: 

551: In order to use wavelet methods it is advantageous to transform this

552: equation to a form where functions of the momentum, rather than the

553: energy, are additive in the denominator.  This transformation

554: facilitates the treatment of the moving singularity.  Note that $e_1>

555: e_2$ for all values of $p$ and $q$.  If $E>0$ then $E+ e_1(p,q) - e_2

556: (q) >0$.  It follows that the singular denominator

557: \beq

558: {1 \over E + i 0^+ - e_1 (p,q) - e_2 (q)}, 

559: \label{eq:DC}

560: \eeq

561: where $z=E+i 0^+$,  can be transformed to a more useful form 

562: by multiplying the 

563: numerator and denominator by the non-zero function 

564: $E+ e_1(p,q) - e_2 (q)$. This leads to the equivalent expression

565: \[

566: {1 \over E + i 0^+ - e_1 - e_2 }  =

567: \]

568: \[

569: {E+ e_1 - e_2  \over 

570: E^2 + e_2^2 - 2 E e_2 -e_1^2 + i 0^+ (E+ e_1 - e_2) } =

571: \]

572: \beq

573: {E+ e_1 - e_2  \over 

574: E^2-3m^2 - 2 E \sqrt{q^2 + m^2}  - 4 p^2  + i 0^+ } 

575: \label{eq:DD}

576: \eeq

577: which has the advantage that it separates the $p$ and $q$ dependence. 

578: In this expression there is only one singularity in the denominator.

579: %The coefficient of $i0^+$ is positive, but momentum dependent. 

580: %It can be shown that (\ref{eq:DD}) is equivalent to:

581: %\beq

582: %{E+ e_1 - e_2   \over 

583: %E^2-3m^2 - 2 E \sqrt{q^2 + m^2}  -4 p^2  + i 0^+  }. 

584: %\label{eq:DE}

585: %\eeq

586: The next step is to change variables

587: \beq

588: x= \eta 4 p^2

589: \qquad

590: y = \eta 2 E (\sqrt{q^2 + m^2}-m)  

591: \label{eq:DF}

592: \eeq

593: and define

594: \beq

595: z' = \eta [(E-m)^2 - 4m^2] .

596: \label{eq:DG}

597: \eeq

598: The parameter $\eta$ both sets a scale and can be used to fine tune

599: $z'$ so the real part is a dyadic rational of the form $n/2^{-k}$.

600: The method that we use to evaluate the singular integrals requires that 

601: $z$ is a dyadic rational.

602: 

603: The substitutions (\ref{eq:DF}) and (\ref{eq:DG}) 

604: 		   lead to the equivalent equation

605: \[

606: \bar{X} (x,y;x',y') = \bar{D}  (x,y;x',y')+

607: \]

608: \beq

609: \int_0^{\infty}  {\bar{K} (x,y;x'',y'')dx'' dy'' \over

610: z' - x'' -y'' + i 0^+ } \bar{X} (x'',y'';x',y')   

611: \label{eq:DH}

612: \eeq

613: where

614: \beq

615: \bar{X} (x,y;x',y') = {X} (p(x),q(y);p(x'),q(y')) 

616: \label{eq:DI}

617: \eeq

618: \beq

619: \bar{D}  (x,y;x',y') = {D} (p(x),q(y);p(x'),q(y'))

620: \label{eq:DJ}

621: \eeq

622: \[

623: \bar{K} (x,y;x',y') = 

624: {K} (p(x),q(y);p(x'),q(y'),z) \times 

625: \]

626: \beq

627: \eta (E+ e_1(p(x'),q(y')) - e_2 (q(y'))) 

628: \vert {dp \over dx'}{dq \over dy'} \vert . 

629: \label{eq:DK}

630: \eeq

631: 

632: Approximate equations are derived using projection methods.  We seek a

633: solution $\bar{X}$, in the $x$, and $y$ variables, on the

634: approximation space ${\cal V}_k \times {\cal V}_k$.  Approximate equations

635: are obtained by projecting the smooth part of the kernel and the 

636: driving on this space. We use the approximations:

637: \[

638: \bar{X} (x,y;x',y') \approx

639: \]

640: \beq

641: \sum_{mn} \phi_{km} (x) \phi_{kn}(y) \bar{X}_{m,n}(x',y'),  

642: \label{eq:DL}

643: \eeq

644: \[

645: \bar{D}  (x,y;x',y')\approx 

646: \]

647: \beq

648: \sum_{mn} 

649: \phi_{km} (x) \phi_{kn}(y)

650: \bar{D}_{m,n}(x',y'),

651: \label{eq:DM}

652: \eeq

653: and

654: \[

655: \bar{K}  (x,y;x',y')\approx 

656: \]

657: \beq

658: \sum_{mnm'n'} \phi_{km} (x) \phi_{kn}(y) \bar{K}_{m,n;m',n'} 

659: \phi_{km'} (x') \phi_{kn'}(y')

660: \label{eq:DN}

661: \eeq

662: where 

663: \beq

664: \bar{D}_{m,n}(x',y'):= 2^k \bar{D}(x_m,x_n,x',y')

665: \eeq

666: \beq

667: \bar{K}_{m,n;m',n'}:= 2^{2k} \bar{K}(x_m,x_n;x_{m'},x_{n'})

668: \eeq

669: are evaluated at the one point quadrature points associated with 

670: $\phi_{km}(x)$:  

671: \beq

672: x_m = 2^{k}(<x>+m) \qquad <x>= {1 \over \sqrt{2}}\sum_{l=1}^{2K-1} l h_l.

673: \label{eq:DNA}

674: \eeq

675: It is useful to approximate

676: the product of the approximate expressions, (\ref{eq:DL}) and

677: (\ref{eq:DN}) for $\bar{K} (x,y;x',y')$ and $\bar{X} (x',y')$ by

678: expanding the $x'$ and $y'$ dependence in the basis on ${\cal V}_k

679: \times {\cal V}_k $.  The justification for this approximation is that

680: if both of the approximations are well represented by low-degree

681: polynomials on the scale $k$ in $x'$ and $y'$, then the product of

682: these functions should be well represented by low-degree polynomials

683: on the scale $k$ in $x'$ and $y'$.

684: 

685: To test this approximation we approximate $x^4$ by re-expanding the

686: product of expansions of $x^2$ using Daubechies' $K=3$ wavelets. 

687: We write

688: \beq

689: x^2 = \sum_n x_n^2 \phi_{kn}(x)

690: \eeq

691: which gives

692: \beq

693: x^4= \sum_{mn} x_m^2 x_n^2 \phi_{km}(x) \phi_{kn}(x) .

694: \eeq

695: This is exact for the Daubechies' $K=3$ wavelets.  

696: We approximate this by projecting on the approximation 

697: space ${\cal V}_k$.  The expansion coefficients are

698: \beq

699: c_l = \int x^4 \phi_{kl}(x) dx= 

700: \sum_{mn}  x_m^2 x_n^2 I^k_{mnl}

701: \eeq

702: where 

703: \beq

704: I^{k}_{l m n} := \int 

705: \phi_{kl} (x) \phi_{km}(x) \phi_{kn}(x) dx .

706: \label{eq:DQ}

707: \eeq

708: The approximation defined by this projection can be written as

709: \beq

710: x^4 \approx  \sum_{mnl}  x_m^2 x_n^2 I^k_{mnl}\phi_{kl}(x)

711: \label{eq:DPA}

712: \eeq

713: 

714: The expansion coefficients $x_n^2$  are computed using the 1 point

715: quadrature, which is exact for the expansion of $x^2$.  The

716: $\phi_{kl}(x)$ are evaluated at dyadic rationals so there is no error

717: in computing the scaling basis functions.  The only

718: source of error is the approximation (\ref{eq:DPA}).  Table 2 compares

719: the right and left sides of equation (\ref{eq:DPA}) for resolution 

720: $k=-5$ 

721: 

722: \begin{center}

723: \begin{table} % [hbt]

724: {\bf Table 2: Test of double expansion } \\[1.0ex]

725: \begin{tabular}{ c c c }

726: \hline

727: \hline

728: $x$ & $x^4$ & $\sum x_m^2 x_n^2 I_{mnk} \phi_k$  \\  

729: \hline					     		      

730:  $-1.000000e+01$&$1.000000e+04$&$ 1.000000e+04$ \\

731: %-9.875000e+00& 9.509297e+03& 9.509298e+03	\\

732: %-9.750000e+00& 9.036879e+03& 9.036879e+03	\\

733: %-9.625000e+00& 8.582285e+03& 8.582286e+03	\\

734: %-9.500000e+00& 8.145062e+03& 8.145063e+03	\\

735: %-9.375000e+00& 7.724762e+03& 7.724762e+03	\\

736: %-9.250000e+00& 7.320941e+03& 7.320942e+03	\\

737: %-9.125000e+00& 6.933164e+03& 6.933165e+03	\\

738:  $-9.000000e+00$&$6.561000e+03$&$6.561000e+03$	\\

739: %-8.875000e+00& 6.204024e+03& 6.204024e+03	\\

740: %-8.750000e+00& 5.861816e+03& 5.861817e+03	\\

741: %-8.625000e+00& 5.533965e+03& 5.533966e+03	\\

742: %-8.500000e+00& 5.220062e+03& 5.220063e+03	\\

743: %-8.375000e+00& 4.919707e+03& 4.919708e+03	\\

744: %-8.250000e+00& 4.632504e+03& 4.632504e+03	\\

745: %-8.125000e+00& 4.358063e+03& 4.358063e+03	\\

746:  $-8.000000e+00$&$4.096000e+03$&$4.096000e+03$	\\

747: %-7.875000e+00& 3.845938e+03& 3.845938e+03	\\

748: %-7.750000e+00& 3.607504e+03& 3.607504e+03	\\

749: %-7.625000e+00& 3.380332e+03& 3.380333e+03	\\

750: %-7.500000e+00& 3.164062e+03& 3.164063e+03	\\

751: %-7.375000e+00& 2.958340e+03& 2.958340e+03	\\

752: %-7.250000e+00& 2.762816e+03& 2.762817e+03	\\

753: %-7.125000e+00& 2.577149e+03& 2.577149e+03	\\

754: $-7.000000e+00$&$2.401000e+03$&$2.401000e+03$	\\

755: %-6.875000e+00& 2.234039e+03& 2.234040e+03	\\

756: %-6.750000e+00& 2.075941e+03& 2.075942e+03	\\

757: %-6.625000e+00& 1.926387e+03& 1.926387e+03	\\

758: %-6.500000e+00& 1.785062e+03& 1.785063e+03	\\

759: %-6.375000e+00& 1.651660e+03& 1.651661e+03	\\

760: %-6.250000e+00& 1.525879e+03& 1.525879e+03	\\

761: %-6.125000e+00& 1.407422e+03& 1.407422e+03	\\

762:  $-6.000000e+00$&$1.296000e+03$&$1.296000e+03$	\\

763: %-5.875000e+00& 1.191328e+03& 1.191329e+03	\\

764: %-5.750000e+00& 1.093129e+03& 1.093129e+03	\\

765: %-5.625000e+00& 1.001129e+03& 1.001129e+03	\\

766: %-5.500000e+00& 9.150625e+02& 9.150628e+02	\\

767: %-5.375000e+00& 8.346682e+02& 8.346685e+02	\\

768: %-5.250000e+00& 7.596914e+02& 7.596917e+02	\\

769: %-5.125000e+00& 6.898831e+02& 6.898833e+02	\\

770:  $-5.000000e+00$&$6.250000e+02$&$6.250002e+02$	\\

771: %-4.875000e+00& 5.648049e+02& 5.648052e+02	\\

772: %-4.750000e+00& 5.090664e+02& 5.090666e+02	\\

773: %-4.625000e+00& 4.575588e+02& 4.575591e+02	\\

774: %-4.500000e+00& 4.100625e+02& 4.100627e+02	\\

775: %-4.375000e+00& 3.663635e+02& 3.663637e+02	\\

776: %-4.250000e+00& 3.262539e+02& 3.262541e+02	\\

777: %-4.125000e+00& 2.895315e+02& 2.895317e+02	\\

778:  $-4.000000e+00$&$2.560000e+02$&$2.560002e+02$	\\

779: %-3.875000e+00& 2.254690e+02& 2.254692e+02	\\

780: %-3.750000e+00& 1.977539e+02& 1.977541e+02	\\

781: %-3.625000e+00& 1.726760e+02& 1.726762e+02	\\

782: %-3.500000e+00& 1.500625e+02& 1.500627e+02	\\

783: %-3.375000e+00& 1.297463e+02& 1.297465e+02	\\

784: %-3.250000e+00& 1.115664e+02& 1.115666e+02	\\

785: %-3.125000e+00& 9.536743e+01& 9.536758e+01	\\

786:  $-3.000000e+00$&$8.100000e+01$&$8.100015e+01$	\\

787: %-2.875000e+00& 6.832056e+01& 6.832070e+01	\\

788: %-2.750000e+00& 5.719141e+01& 5.719154e+01	\\

789: %-2.625000e+00& 4.748071e+01& 4.748084e+01	\\

790: %-2.500000e+00& 3.906250e+01& 3.906262e+01	\\

791: %-2.375000e+00& 3.181665e+01& 3.181677e+01	\\

792: %-2.250000e+00& 2.562891e+01& 2.562902e+01	\\

793: %-2.125000e+00& 2.039087e+01& 2.039097e+01	\\

794:  $-2.000000e+00$&$1.600000e+01$&$1.600010e+01$	\\  

795: %-1.875000e+00& 1.235962e+01& 1.235971e+01	\\

796: %-1.750000e+00& 9.378906e+00& 9.378993e+00	\\

797: %-1.625000e+00& 6.972900e+00& 6.972981e+00	\\

798:  $-1.500000e+00$&$5.062500e+00$&$5.062574e+00$	\\

799: %-1.375000e+00& 3.574463e+00& 3.574531e+00	\\

800: %-1.250000e+00& 2.441406e+00& 2.441468e+00	\\

801: %-1.125000e+00& 1.601807e+00& 1.601863e+00	\\

802:  $-1.000000e+00$&$1.000000e+00$&$1.000050e+00$	\\

803: %-8.750000e-01& 5.861816e-01& 5.862257e-01	\\

804: %-7.500000e-01& 3.164062e-01& 3.164443e-01	\\

805: %-6.250000e-01& 1.525879e-01& 1.526199e-01	\\

806:  $-5.000000e-01$&$6.250000e-02$&$6.252593e-02$	\\

807:  $-3.750000e-01$&$1.977539e-02$&$1.979528e-02$	\\

808:  $-2.500000e-01$&$3.906250e-03$&$3.920094e-03$	\\

809:  $-1.250000e-01$&$2.441406e-04$&$2.519414e-04$	\\

810:  $\phantom{-}0.000000e+00$&$0.000000e+00$&$1.757732e-06$	\\

811:  $\phantom{-}1.250000e-01$&$2.441406e-04$&$2.398553e-04$	\\

812:  $\phantom{-}2.500000e-01$&$3.906250e-03$&$3.895922e-03$	\\

813:  $\phantom{-}3.750000e-01$&$1.977539e-02$&$1.975902e-02$	\\

814:  $\phantom{-}5.000000e-01$&$6.250000e-02$&$6.247759e-02$	\\

815: %6.250000e-01&  1.525879e-01& 1.525594e-01	\\

816: %7.500000e-01&  3.164062e-01& 3.163717e-01	\\

817: %8.750000e-01&  5.861816e-01& 5.861411e-01	\\

818:  $\phantom{-}1.000000e+00$& $1.000000e+00$&$9.999534e-01$	\\

819: %1.125000e+00&  1.601807e+00& 1.601754e+00	\\

820: %1.250000e+00&  2.441406e+00& 2.441348e+00	\\

821: %1.375000e+00&  3.574463e+00& 3.574398e+00	\\

822: %1.500000e+00&  5.062500e+00& 5.062429e+00	\\

823: %1.625000e+00&  6.972900e+00& 6.972824e+00	\\

824: %1.750000e+00&  9.378906e+00& 9.378823e+00	\\

825: %1.875000e+00&  1.235962e+01& 1.235953e+01	\\

826:  $\phantom{-}2.000000e+00$&$1.600000e+01$&$1.599991e+01$	\\

827: %2.125000e+00&  2.039087e+01& 2.039077e+01	\\

828: %2.250000e+00&  2.562891e+01& 2.562880e+01	\\

829: %2.375000e+00&  3.181665e+01& 3.181654e+01	\\

830: %2.500000e+00&  3.906250e+01& 3.906238e+01	\\

831: %2.625000e+00&  4.748071e+01& 4.748059e+01	\\

832: %2.750000e+00&  5.719141e+01& 5.719128e+01	\\

833: %2.875000e+00&  6.832056e+01& 6.832042e+01	\\

834:  $\phantom{-}3.000000e+00$&$8.100000e+01$&$8.099986e+01$	\\

835: %3.125000e+00&  9.536743e+01& 9.536728e+01	\\

836: %3.250000e+00&  1.115664e+02& 1.115663e+02	\\

837: %3.375000e+00&  1.297463e+02& 1.297462e+02	\\

838: %3.500000e+00&  1.500625e+02& 1.500623e+02	\\

839: %3.625000e+00&  1.726760e+02& 1.726759e+02	\\

840: %3.750000e+00&  1.977539e+02& 1.977537e+02	\\

841: %3.875000e+00&  2.254690e+02& 2.254688e+02	\\

842:  $\phantom{-}4.000000e+00$&$2.560000e+02$&$2.559998e+02$	\\

843: %4.125000e+00&  2.895315e+02& 2.895313e+02	\\

844: %4.250000e+00&  3.262539e+02& 3.262537e+02	\\

845: %4.375000e+00&  3.663635e+02& 3.663633e+02	\\

846: %4.500000e+00&  4.100625e+02& 4.100623e+02	\\

847: %4.625000e+00&  4.575588e+02& 4.575586e+02	\\

848: %4.750000e+00&  5.090664e+02& 5.090662e+02	\\

849: %4.875000e+00&  5.648049e+02& 5.648047e+02	\\

850:  $\phantom{-}5.000000e+00$&$6.250000e+02$&$6.249998e+02$	\\

851: %5.125000e+00&  6.898831e+02& 6.898828e+02	\\

852: %5.250000e+00&  7.596914e+02& 7.596912e+02	\\

853: %5.375000e+00&  8.346682e+02& 8.346680e+02	\\

854: %5.500000e+00&  9.150625e+02& 9.150622e+02	\\

855: %5.625000e+00&  1.001129e+03& 1.001129e+03	\\

856: %5.750000e+00&  1.093129e+03& 1.093129e+03	\\

857: %5.875000e+00&  1.191328e+03& 1.191328e+03	\\

858:  $\phantom{-}6.000000e+00$&$1.296000e+03$&$1.296000e+03$	\\  

859: %6.125000e+00&  1.407422e+03& 1.407422e+03	\\

860: %6.250000e+00&  1.525879e+03& 1.525879e+03	\\

861: %6.375000e+00&  1.651660e+03& 1.651660e+03	\\

862: %6.500000e+00&  1.785062e+03& 1.785062e+03	\\

863: %6.625000e+00&  1.926387e+03& 1.926387e+03	\\

864: %6.750000e+00&  2.075941e+03& 2.075941e+03	\\

865: %6.875000e+00&  2.234039e+03& 2.234039e+03	\\

866:  $\phantom{-}7.000000e+00$&$2.401000e+03$&$2.401000e+03$\\

867: %7.125000e+00&  2.577149e+03& 2.577148e+03	\\

868: %7.250000e+00&  2.762816e+03& 2.762816e+03	\\

869: %7.375000e+00&  2.958340e+03& 2.958340e+03	\\

870: %7.500000e+00&  3.164062e+03& 3.164062e+03	\\

871: %7.625000e+00&  3.380332e+03& 3.380332e+03	\\

872: %7.750000e+00&  3.607504e+03& 3.607504e+03	\\

873: %7.875000e+00&  3.845938e+03& 3.845937e+03	\\

874:  $\phantom{-}8.000000e+00$&$4.096000e+03$&$4.096000e+03$	\\

875: %8.125000e+00&  4.358063e+03& 4.358062e+03	\\

876: %8.250000e+00&  4.632504e+03& 4.632504e+03	\\

877: %8.375000e+00&  4.919707e+03& 4.919707e+03	\\

878: %8.500000e+00&  5.220062e+03& 5.220062e+03	\\

879: %8.625000e+00&  5.533965e+03& 5.533965e+03	\\

880: %8.750000e+00&  5.861816e+03& 5.861816e+03	\\

881: %8.875000e+00&  6.204024e+03& 6.204023e+03	\\

882:  $\phantom{-}9.000000e+00$&$6.561000e+03$&$6.561000e+03$	\\

883: %9.125000e+00&  6.933164e+03& 6.933164e+03	\\

884: %9.250000e+00&  7.320941e+03& 7.320941e+03	\\

885: %9.375000e+00&  7.724762e+03& 7.724762e+03	\\

886: %9.500000e+00&  8.145062e+03& 8.145062e+03	\\

887: %9.625000e+00&  8.582285e+03& 8.582285e+03	\\

888: %9.750000e+00&  9.036879e+03& 9.036878e+03	\\

889: %9.875000e+00&  9.509297e+03& 9.509297e+03	\\

890:  $\phantom{-}1.000000e+01$&$1.000000e+04$&$1.000000e+04$	\\

891: \hline

892: \hline

893: \end{tabular}

894: % \label{tabspec}

895: \end{table}

896: \end{center}

897: The expansion is essentially exact, except near the critical point,

898: $x^4=0$, where it is still accurate.  The accuracy near the critical

899: point can be improved using a higher resolution, however a degenerate 

900: critical point is not generic.

901: 

902: This additional approximation gives 

903: \[

904: \bar{K}

905: (x,y;x',y') \bar{X} (x',y';x'',y'')

906: \approx

907: \]

908: \[

909: \sum \phi_{km} (x) \phi_{kn}(y) \bar{K}_{m,n;m',n'} 

910: I^k_{n' n'' n'''}

911: I^k_{m' m'' m'''} \times

912: \]

913: \beq

914: \bar{X}_{m'',n''}(x'',y'')  

915: \phi_{km'''} (x') \phi_{k n'''}(y').

916: \label{eq:DP}

917: \eeq

918: Even though this introduces two additional sums, most of the terms are

919: zero because $I^k_{m, m',m''}=0$ unless $\vert m-m' \vert$,

920: $\vert m'-m''\vert$ and $\vert m''-m \vert$ are all less than $2K-1$.  

921: In section

922: IV. we show that the integrals $I^k_{m m' m''}$ can all be computed

923: analytically using the scaling equation.

924: 

925: With these approximations the dynamical equations reduce to the algebraic 

926: system  

927: \[

928: \bar{X}_{m,n}(x',y') = \bar{D}_{m,n}(x',y')+

929: \]

930: \beq

931: \sum \bar{K}_{m,n;m',n'} I^k_{m''' m' m''} 

932: I^k_{n''' n' n''} J^k_{m''',n'''}(z)

933: \bar{X}_{m'',n''}(x',y')   

934: \label{eq:DR}

935: \eeq

936: where

937: \beq

938: J^k_{m,n}(z) :=

939: \int_0^{\infty} dx dy {\phi_{km} (x) 

940: \phi_{kn} (y) \over

941: z - x -y + i 0^+ }.

942: \label{eq:DS}

943: \eeq

944: 

945: These equations separate the smooth part of the physics input in

946: $\bar{D}$ and $\bar{K}$ from the singular part of this equation,

947: contained in the integrals $J^k_{mn}(z)$. While the construction of

948: the smooth kernel in the relativistic case is considerably more

949: complicated than in the non-relativistic case \cite{wp91}\cite{fritz65}, 

950: given the

951: driving term and smooth kernel the projections $\bar{K}_{m,n;m',n'}$

952: and $\bar{D}_{ m,n}(x',y')$ can be calculated by evaluating the exact

953: driving term and kernel at the one-point quadrature point for each

954: $\phi_{km} (x)$.  This reduces a Galerkin projection to a simple

955: function evaluation.

956: 

957: In the next section we discuss the evaluation of the integrals 

958: \beq

959: I^{k}_{l,m,n}

960: \qquad

961: \mbox{and} 

962: \qquad

963: J^k_{m,n}(z)

964: \label{eq:DT}

965: \eeq

966: that appear in (\ref{eq:DR}).  These integrals can be evaluated and

967: stored before calculation.  They are the wavelet input to the

968: calculation.  They replace all of the integrations in the integral

969: equations and they are {\it independent} of the choice of dynamical

970: model.  The physics input is contained in the matrices $\bar{K}_{m,n;m',n'}$

971: and $\bar{D}_{mn}(x,y)$.  Equation (\ref{eq:DR}) gives a clean and

972: stable separation of the physics and the treatment of the moving

973: singularity, which is contained in the integrals (\ref{eq:DT}).

974: 

975: The equations (\ref{eq:DR}) are an infinite set of equations.  They

976: can be reduced to a finite set by including high-momentum cutoffs or

977: transforming to a finite interval.  The treatment of endpoints in the

978: evaluations of $\bar{K}_{m,n;m',n'}$ and $\bar{D}_{m,n}(x',y')$ is

979: identical to the treatment used in \cite{kessler03} and

980: \cite{kessler04}, where partial moments of the scaling function are

981: used to construct simple quadratures that exactly integrate the

982: product of the scaling function and degree $K-1$ polynomials over a

983: subinterval of the support of the scaling function

984: \cite{Shann1}\cite{Shann2}\cite{Sweldens} .  The treatment of

985: endpoints in the evaluation of $I^{m}_{n k}$ and $J_{m,n}(z)$ is

986: discussed in this paper.

987: 

988: Even with the reduction to a finite set of equations, the system of

989: equations is large.  It can be reduced by performing a wavelet

990: transform on the scaling function basis.  This can be done following

991: the method used in \cite{kessler04}\cite{numrec}, which maps the

992: interval to a circle to treat endpoints.  This does not change

993: the final result because the resulting transformation is still

994: a finite orthogonal transformation.

995: 

996: The next step is to discard the small matrix elements in the

997: transformed kernel and to solve the resulting equation.

998: 

999: As discovered in \cite{kessler04}, the treatment of the endpoints

1000: leads to an ill-conditioned matrix.  This is because the right tail of

1001: the scaling function is small (see Fig. 1).  Some of the overlap

1002: integrals with support containing the left endpoint replace the

1003: orthogonality integrals by integrals of products of scaling

1004: functions over an interval where the product is small.  This can be

1005: fixed using the conditioning method that was used in \cite{kessler04}.

1006: The resulting conditioned equations are stable and can be accurately

1007: solved using sparse matrix techniques.

1008: 

1009: The resulting solution can be transformed back to the scaling function 

1010: basis.   An interpolated solution is then constructed from

1011: the solution, $\bar{X}_{m,n}(x,y)$, of the algebraic equations

1012: using the Sloan interpolation method \cite{Sloan}

1013: \[

1014: \bar{X} (x,y;x',y') = \bar{D}  (x,y;x',y')+

1015: \]

1016: \beq

1017: \sum \bar{K}_{ m,n} (x,y) I^k_{m m'm''} 

1018: I^k_{n n'n''} J^k_{m'',n''}(z)

1019: \bar{X}_{m',n'}(x',y').   

1020: \label{eq:DU}

1021: \eeq

1022: If this interpolation is used the basis functions never have to be evaluated.

1023: 

1024: Equations (\ref{eq:DR}) and (\ref{eq:DU}) along with the methods for 

1025: computing the integrals (\ref{eq:DT}) are the main results of this 

1026: paper. 

1027: 

1028: 

1029: \section{ Evaluation of Integrals}

1030: 

1031: In this section we discuss the evaluation of the integrals 

1032: $I^k_{l,n,m}$ and  $J^k_{mn} (z)$ that appear in equation

1033: (\ref{eq:DR}).  These integrals are defined in equations 

1034: (\ref{eq:DQ}) and (\ref{eq:DS}).

1035: 

1036: To evaluate these integrals we first express the scale ``$k$''

1037: integrals in terms of the scale ``$0$'' integrals, then we

1038: evaluate the scale ``$0$'' integrals.  Using the

1039: definition (\ref{eq:CJ}) in equations (\ref{eq:DR}) and (\ref{eq:DS})

1040: we obtain

1041: \beq

1042: I^k_{l,n,m} 

1043: = 2^{-k/2} I^0_{l,n,m}

1044: \label{eq:H4}

1045: \eeq

1046: and 

1047: \beq

1048: J^k_{mn} (z) =

1049: J^0_{mn} (2^{-k}z).

1050: \label{eq:H5}

1051: \eeq 

1052: For $k$ a negative integer, we can choose $2^{-k}z$ as an integer

1053: which is equivalent to choosing $z$ to be a dyadic rational.  This can

1054: be done for any on shell energy by adjusting the parameter $\eta$ in

1055: (\ref{eq:DF}).  As a result, it is enough to evaluate $J^0_{m,n} (l)$

1056: and $I^0_{l,m,n}$

1057: for $l,m,n$ integers.  In what follows we define

1058: \beq

1059: I_{l,m,n} := I^0_{l,m,n}

1060: \label{eq:H71}

1061: \eeq

1062: and

1063: \beq

1064: J_{m,n} (k):= J^0_{m,n}(k).

1065: \label{eq:H72}

1066: \eeq

1067: Both $I_{l,n,m}$ and $J_{m,n} (k)$ involve integrals over the half

1068: infinite interval.  In order to evaluate these integrals we first

1069: evaluate the corresponding integrals over the infinite interval:

1070: \beq

1071: \bar I_{l,n,m} = \int_{-\infty}^{\infty} \phi (x-l) \phi (x-n) \phi (x-m) dx 

1072: \label{eq:H8}

1073: \eeq

1074: and

1075: \beq

1076: \bar J_{m,n} (k) = 

1077: \int_{-\infty}^{\infty} dx \int_{-\infty}^{\infty} 

1078: dy {\phi (x-m) \phi (y-n) \over 

1079: k- x- y + i0^+}. 

1080: \label{eq:H9}

1081: \eeq

1082: These integrals are easier to compute because of the simplified boundary 

1083: conditions.  

1084: 

1085: The support of the scaling functions implies that 

1086: if any of $l$, $m$ or $n$ are non-negative then

1087: \beq

1088: I_{l,m,n} = \bar I_{l,m,n},

1089: \label{eq:H10}

1090: \eeq 

1091: and if any of $l$,$m$ or $n$ are less than $-2K+2$ then

1092: \beq

1093: I_{l,m,n} = 0.

1094: \label{eq:H11}

1095: \eeq 

1096: The non-trivial values of $I_{l,m,n}$ correspond to the case that 

1097: the indices $l$, $m$, $n$ satisfy

1098: \beq

1099: l,m,n \in [-2K+2,-1] .

1100: \label{eq:H12}

1101: \eeq

1102: To compute the integrals $\bar{I}_{l,m,n}$ defined in (\ref{eq:H8}) note 

1103: that the definition implies

1104: \beq

1105: \bar I_{l,m,n} = \bar I_{0,m-l,n-l} .

1106: \label{eq:H14}

1107: \eeq

1108: which allows us to express $\bar I_{l,m,n}$ in terms of  

1109: $\bar I_{n,m}$ defined by 

1110: \beq

1111: \bar I_{m,n} = I_{0,m,n}= 

1112: \int_{-\infty}^{\infty} dx \phi (x) \phi (x-m) \phi (x-n) .

1113: \label{eq:H15}

1114: \eeq

1115: Since the support of $\phi (x)$ is contained in the interval

1116: $[0,2K-1]$, there are only a finite number of non-zero values of 

1117: $\bar I_{m,n}$.  These have $

1118: m,n\in [-2K+2, 2K-2]$.  For $K=3$ there are 81 non-zero $\bar

1119: I_{m,n}$ with $m,n\in [-4,4]$.   

1120: 

1121: We can derive linear equations relating these integrals 

1122: using the scaling equation in the form

1123: \beq

1124: \phi (x) = \sqrt{2} \sum_{l=0}^{2K-1} h_l \phi (2x-l). 

1125: \label{eq:H6}

1126: \eeq

1127: 

1128: When we use (\ref{eq:H6}) in equation (\ref{eq:H15}), 

1129: the resulting scaling equations for the integrals $\bar{I}_{mn}$ are:

1130: \beq

1131: \bar I_{m,n} = \sqrt{2} 

1132: \sum_{l_m,l_n,l_k=0}^{2K-1} h_{l_k} h_{l_m} h_{l_n} 

1133: \bar{I}_{2m+l_m-l_k,2n+l_n-l_k}.

1134: \label{eq:H16}

1135: \eeq

1136: These are homogeneous equations relating the non-zero values of 

1137: $\bar{I}_{m,n}$.  An additional  

1138: inhomogeneous equation is needed to solve for the non-zero

1139: values of $\bar{I}_{m,n}$.  The needed equation

1140: follows from the normalization 

1141: condition (\ref{eq:CB}) and the identity

1142: \beq

1143: \sum_n \phi (x-n) =1

1144: \label{eq:H16a}

1145: \eeq

1146: which when used in (\ref{eq:H15}) gives  

1147: the inhomogeneous equation

1148: \beq

1149: \sum_{m=-2K+2}^{2K-2}  \bar I_{m,n} = \delta_{n0}.

1150: \label{eq:H17}

1151: \eeq

1152: Equations (\ref{eq:H16}) and (\ref{eq:H17}) are a finite system 

1153: of $(4K-3)\times (4K-3)$ linear equations that can be 

1154: solved for the non-zero values of $\bar{I}_{mn}$.

1155: The results of these calculations $\bar{I}_{mn}$ for $K=3$ 

1156: are given in Table 3. 

1157: 

1158: These solutions give $I_{lmn}$ when $l,m$ or $n$ are non-negative 

1159: from equations (\ref{eq:H10}) and (\ref{eq:H14}).  To calculate remaining 

1160: non-zero values of $I_{lmn}$ first observe that using (\ref{eq:H6}) in 

1161: (\ref{eq:DQ}) gives    

1162: scaling equations for $I_{k,m,n}$:

1163: \beq

1164: I_{k,m,n} = \sqrt{2} \sum h_{l_k} h_{l_m} h_{l_n} I_{2k+l_k,2m+l_m,2n+l_n}.

1165: \label{eq:H7}

1166: \eeq

1167: These equations are not homogeneous equations because when any of the

1168: indices on the right hand side of the equation are non-negative,

1169: $I_{k,m,n} = \bar{I}_{k,m,n}= \bar{I}_{m-k,n-k}$, which is known

1170: input.  This linear system can be solved for the non trivial values of

1171: $I_{k,m,n}$ associated with the values of $k,n,m \in [-2K+2,-1]$.

1172: For $K=3$ there are 64 values of $k,m,n \in [-4,-1]$.  The

1173: results of this calculation for the $K=3$ case are given in Table 4.

1174:                                                      

1175: \begin{table} % [hbt]

1176: {\bf Table 3 - $\bar{I}_{mn}$} \\[1.0ex]

1177: \begin{tabular}{ c c c c c c }

1178: %\firsthline

1179: \hline

1180: \hline

1181: m & n & $\bar{I}_{mn}$ & m & n & $\bar{I}_{mn}$ \\ 

1182: \hline					    		      

1183: -4& -4&$\phantom{-}1.160637e-07$  & \phantom{-}1 &\phantom{-}0 &$\phantom{-}1.469238e-01$  \\   

1184: -3& -4&$\phantom{-}9.788805e-07$  & \phantom{-}2 &\phantom{-}0 &$\phantom{-}7.027929e-03$  \\ 

1185: -2& -4&$-2.811543e-06$ & \phantom{-}3 &\phantom{-}0 &$\phantom{-}2.025919e-04$  \\ 

1186: -1& -4&$\phantom{-}6.184412e-06$  & \phantom{-}4 &\phantom{-}0 &$\phantom{-}1.160637e-07$  \\ 

1187: \phantom{-}0 & -4&$-4.467813e-06$ &  -4&\phantom{-}1 &$\phantom{-}0.000000e+00$  \\ 

1188: \phantom{-}1 & -4&$\phantom{-}0.000000e+00$  &  -3&\phantom{-}1 &$\phantom{-}6.184412e-06$  \\ 

1189: \phantom{-}2 & -4&$\phantom{-}0.000000e+00$  &  -2&\phantom{-}1 &$\phantom{-}1.159627e-03$  \\ 

1190: \phantom{-}3 & -4&$\phantom{-}0.000000e+00$  &  -1&\phantom{-}1 &$-3.047012e-02$ \\ 

1191: \phantom{-}4 & -4&$\phantom{-}0.000000e+00$  &  \phantom{-}0 &\phantom{-}1 &$\phantom{-}1.469238e-01$  \\ 

1192: -4& -3&$\phantom{-}9.788805e-07$  & \phantom{-}1&\phantom{-}1 &$-8.660587e-02$ \\ 

1193: -3& -3&$\phantom{-}2.025919e-04$  & \phantom{-}2&\phantom{-}1 &$-3.047012e-02$ \\ 

1194: -2& -3&$-5.444572e-04$ & \phantom{-}3&\phantom{-}1 &$-5.444572e-04$ \\ 

1195: -1& -3&$\phantom{-}1.159627e-03$  & \phantom{-}4 &\phantom{-}1 &$\phantom{-}9.788805e-07$  \\ 

1196: \phantom{-}0 & -3&$-8.249248e-04$ &  -4& \phantom{-}2 &$\phantom{-}0.000000e+00$  \\ 

1197: \phantom{-}1 & -3&$\phantom{-}6.184412e-06$  &  -3& \phantom{-}2 &$\phantom{-}0.000000e+00$  \\ 

1198: \phantom{-}2 & -3&$\phantom{-}0.000000e+00$  &  -2& \phantom{-}2 &$-2.811543e-06$ \\ 

1199: \phantom{-}3 & -3&$\phantom{-}0.000000e+00$  &  -1& \phantom{-}2 &$-5.444572e-04$ \\ 

1200: \phantom{-}4 & -3&$\phantom{-}0.000000e+00$  &  \phantom{-}0 & \phantom{-}2 &$\phantom{-}7.027929e-03$  \\ 

1201: -4& -2&$-2.811543e-06$ &  \phantom{-}1 & \phantom{-}2 &$-3.047012e-02$ \\ 

1202: -3& -2&$-5.444572e-04$ &  \phantom{-}2 & \phantom{-}2 &$\phantom{-}2.283264e-02$  \\ 

1203: -2& -2&$\phantom{-}7.027929e-03$  &  \phantom{-}3 & \phantom{-}2 &$\phantom{-}1.159627e-03$  \\ 

1204: -1& -2&$-3.047012e-02$ &  \phantom{-}4 & \phantom{-}2 &$-2.811543e-06$ \\ 

1205: \phantom{-}0 & -2&$\phantom{-}2.283264e-02$  &  -4& \phantom{-}3 &$\phantom{-}0.000000e+00$  \\ 

1206: \phantom{-}1 & -2&$\phantom{-}1.159627e-03$  &  -3& \phantom{-}3 &$\phantom{-}0.000000e+00$  \\ 

1207: \phantom{-}2 & -2&$-2.811543e-06$ &  -2& \phantom{-}3 &$\phantom{-}0.000000e+00$  \\ 

1208: \phantom{-}3 & -2&$\phantom{-}0.000000e+00$  &  -1& \phantom{-}3 &$\phantom{-}9.788805e-07$  \\ 

1209: \phantom{-}4 & -2&$\phantom{-}0.000000e+00$  & \phantom{-}0 & \phantom{-}3 &$\phantom{-}2.025919e-04$  \\ 

1210: -4& -1&$\phantom{-}6.184412e-06$  & \phantom{-}1 &\phantom{-}3 &$-5.444572e-04$ \\ 

1211: -3& -1&$\phantom{-}1.159627e-03$  & \phantom{-}2 &\phantom{-}3 &$\phantom{-}1.159627e-03$  \\ 

1212: -2& -1&$-3.047012e-02$ & \phantom{-}3 &\phantom{-}3 &$-8.249248e-04$ \\ 

1213: -1& -1&$\phantom{-}1.469238e-01$  & \phantom{-}4 &\phantom{-}3 &$\phantom{-}6.184412e-06$  \\ 

1214: \phantom{-}0 & -1&$-8.660587e-02$ &  -4& \phantom{-}4 &$\phantom{-}0.000000e+00$  \\ 

1215: \phantom{-}1 & -1&$-3.047012e-02$ &  -3& \phantom{-}4 &$\phantom{-}0.000000e+00$  \\ 

1216: \phantom{-}2 & -1&$-5.444572e-04$ &  -2& \phantom{-}4 &$\phantom{-}0.000000e+00$  \\ 

1217: \phantom{-}3 & -1&$\phantom{-}9.788805e-07$  &  -1& \phantom{-}4 &$\phantom{-}0.000000e+00$  \\ 

1218: \phantom{-}4 & -1&$\phantom{-}0.000000e+00$  & \phantom{-}0& \phantom{-}4 &$\phantom{-}1.160637e-07$  \\ 

1219: -4& \phantom{-}0 &$-4.467813e-06$ & \phantom{-}1& \phantom{-}4 &$\phantom{-}9.788805e-07$  \\ 

1220: -3& \phantom{-}0 &$-8.249248e-04$ & \phantom{-}2& \phantom{-}4 &$-2.811543e-06$ \\ 

1221: -2& \phantom{-}0 &$\phantom{-}2.283264e-02$  & \phantom{-}3& \phantom{-}4 &$\phantom{-}6.184412e-06$  \\ 

1222: -1& \phantom{-}0 &$-8.660587e-02$ & \phantom{-}4& \phantom{-}4 &$-4.467813e-06$ \\ 

1223: \phantom{-}0 &\phantom{-} 0 &$\phantom{-}9.104482e-01$  &    &   &              \\          

1224: %\lasthline

1225: \hline

1226: \hline		       

1227: \end{tabular}					 

1228: % \label{tabspec}

1229: \end{table}

1230: 		        

1231: \begin{table} % [hbt]

1232: {\bf Table 4 - $\bar{I}_{mnl}$} \\[1.0ex]

1233: \begin{tabular}{ c c c c c c c c }

1234: %\firsthline

1235: \hline

1236: \hline

1237: m & n & l &  $\bar{I}_{mnl}$ & m & n & l & $\bar{I}_{mnl}$ \\ 

1238: \hline					    		      

1239: -4&-4&-4&$\phantom{-}4.152357e-09$  &  -2&-4&-4&$-5.085054e-07$ \\ 

1240: -4&-4&-3&$\phantom{-}1.155617e-07$&  -2&-4&-3&$-1.218375e-05$ \\ 

1241: -4&-4&-2&$-5.085054e-07$ &  -2&-4&-2&$\phantom{-}5.118615e-05$  \\ 

1242: -4&-4&-1&$\phantom{-}1.750639e-06$  &  -2&-4&-1&$-1.700711e-04$ \\ 

1243: -4&-3&-4&$\phantom{-}1.155617e-07$ &  -2&-3&-4&$-1.218375e-05$ \\ 

1244: -4&-3&-3&$\phantom{-}2.879737e-06$ &  -2&-3&-3&$-4.066737e-04$ \\ 

1245: -4&-3&-2&$-1.218375e-05$ &  -2&-3&-2&$\phantom{-}1.869754e-03$  \\ 

1246: -4&-3&-1&$\phantom{-}4.070309e-05$ &  -2&-3&-1&$-6.559712e-03$ \\ 

1247: -4&-2&-4&$-5.085054e-07$&  -2&-2&-4&$\phantom{-}5.118615e-05$  \\ 

1248: -4&-2&-3&$-1.218375e-05$ &  -2&-2&-3&$\phantom{-}1.869754e-03$  \\ 

1249: -4&-2&-2&$\phantom{-}5.118615e-05$  &  -2&-2&-2&$-8.932389e-03$ \\ 

1250: -4&-2&-1&$-1.700711e-04$ &  -2&-2&-1&$\phantom{-}3.218428e-02$  \\ 

1251: -4&-1&-4&$\phantom{-}1.750639e-06$  &  -2&-1&-4&$-1.700711e-04$ \\ 

1252: -4&-1&-3&$\phantom{-}4.070309e-05$&  -2&-1&-3&$-6.559712e-03$ \\ 

1253: -4&-1&-2&$-1.700711e-04$ &  -2&-1&-2&$\phantom{-}3.218428e-02$  \\ 

1254: -4&-1&-1&$\phantom{-}5.627612e-04$ &  -2&-1&-1&$-1.177691e-01$ \\ 

1255: -3&-4&-4&$\phantom{-}1.155617e-07$  &  -1&-4&-4&$\phantom{-}1.750639e-06$  \\ 

1256: -3&-4&-3&$\phantom{-}2.879737e-06$  &  -1&-4&-3&$\phantom{-}4.070309e-05$  \\ 

1257: -3&-4&-2&$-1.218375e-05$ &  -1&-4&-2&$-1.700711e-04$ \\ 

1258: -3&-4&-1&$\phantom{-}4.070309e-05$ &  -1&-4&-1&$\phantom{-}5.627612e-04$ \\ 

1259: -3&-3&-4&$\phantom{-}2.879737e-06$  &  -1&-3&-4&$\phantom{-}4.070309e-05$ \\ 

1260: -3&-3&-3&$\phantom{-}8.614462e-05$  &  -1&-3&-3&$\phantom{-}1.454880e-03$ \\ 

1261: -3&-3&-2&$-4.066737e-04$ &  -1&-3&-2&$-6.559712e-03$ \\ 

1262: -3&-3&-1&$\phantom{-}1.454880e-03$  &  -1&-3&-1&$\phantom{-}2.270045e-02$ \\ 

1263: -3&-2&-4&$-1.218375e-05$ &  -1&-2&-4&$-1.700711e-04$\\ 

1264: -3&-2&-3&$-4.066737e-04$ &  -1&-2&-3&$-6.559712e-03$ \\ 

1265: -3&-2&-2&$\phantom{-}1.869754e-03$  &  -1&-2&-2&$\phantom{-}3.218428e-02$ \\ 

1266: -3&-2&-1&$-6.559712e-03$ &  -1&-2&-1&$-1.177691e-01$ \\ 

1267: -3&-1&-4&$\phantom{-}4.070309e-05$  &  -1&-1&-4&$\phantom{-}5.627612e-04$ \\ 

1268: -3&-1&-3&$\phantom{-}1.454880e-03$  &  -1&-1&-3&$\phantom{-}2.270045e-02$  \\ 

1269: -3&-1&-2&$-6.559712e-03$ &  -1&-1&-2&$-1.177691e-01$ \\ 

1270: -3&-1&-1&$\phantom{-}2.270045e-02$  &  -1&-1&-1&$\phantom{-}4.437037e-01$  \\ 

1271: %\lasthline

1272: \hline	         	       

1273: \hline

1274: \end{tabular}					 

1275: % \label{tabspec}

1276: \end{table} 

1277:    

1278: All of the overlap integrals $I^k_{lmn}$ that appear in (\ref{eq:DR}) 

1279: can be computed from the values in the tables using the relations 

1280: (\ref{eq:H4}), (\ref{eq:H10}) and (\ref{eq:H11}).  There are only a 

1281: finite number of these integrals that are non-zero, so they can be 

1282: computed once and stored. 

1283: 

1284: %section{Calculation of $J_{mn} (k)$}

1285: 

1286: The second integral that is needed as input to equation 

1287: (\ref{eq:DR}) is $J_{mn} (l)$.  

1288: The first step to compute $J_{mn}(l)$ is to compute $\bar J_{mn} (l)$ 

1289: defined in (\ref{eq:H9}).     

1290: With a change of variables this integral can be rewritten as 

1291: \[

1292: \bar J_{mn} (k) = \int_{-\infty}^{\infty} dx' \int_{-\infty}^{\infty} 

1293: dy' {\phi (x') \phi (y') \over 

1294: k-m-n -x'- y'+i0^+}

1295: \]

1296: \beq

1297: = \bar J_{k-m-n}  

1298: \label{eq:I1}

1299: \eeq

1300: with

1301: \beq

1302: \bar{J}_{n} := \int_{-\infty}^\infty 

1303: dx \int_{-\infty}^{\infty} 

1304: dy {\phi (x) \phi (y) \over 

1305: n -x- y+i0^+} .

1306: \label{eq:I2}

1307: \eeq

1308: 

1309: The support, $[0,2K-1]$, of the scaling function implies that in this

1310: integral $x+y$ ranges from $0$ to $4K-2$.  This means that for $\vert

1311: n \vert > (4K-2)$ the series

1312: \beq

1313: \bar J_n = { 1 \over n } \sum^{\infty}_{k=0} \int_{-\infty}^{\infty} dx 

1314: \int_{-\infty}^{\infty} dy { 1 \over n^k} (x+y)^k \phi (x) \phi (y) 

1315: \label{eq:I4}

1316: \eeq

1317: converges.  Using the binomial theorem we can express the integrals in

1318: this series in terms of the known moments (\ref{eq:CU}) \cite{kessler03}

1319: of the scaling function

1320: \beq

1321: \bar J_n = { 1 \over n } \sum^{\infty}_{m=0} \sum^{m}_{k=0} 

1322: { 1 \over n^m} {m! \over k!(m-k)! } 

1323: \langle x^k \rangle \langle x^{m-k} \rangle

1324: \label{eq:I5}

1325: \eeq

1326: This series converges rapidly for large $n$.  If $\bar{J}_n(N)$ is the 

1327: approximation defined by summing the first $N$ terms 

1328: of the series (\ref{eq:I5}) it follows that 

1329: \beq

1330: \vert \bar{J}_n - \bar{J}_n (N) \vert < \left ({(4K-2) \over 

1331: \vert n \vert }\right )^{N+1} {(2K-1)^2 \over\vert  n-4K+2 \vert} \phi^2_{max},

1332: \eeq

1333: where $\phi_{max}$ is the maximum value $(< 1.5$ for $K=3)$ of the

1334: scaling function.  For $\vert n \vert  \gg 4K-2$ this error can be made as

1335: small as machine accuracy for modest values of $N$.

1336: 

1337: Thus for large $\vert n \vert $ the integrals $\bar{J}_n$ can be

1338: computed efficiently and accurately by truncating the sum in

1339: (\ref{eq:I5}). 

1340: Integrals $\bar{J}_n$ for different values of $n$ are related by the

1341: scaling equation (\ref{eq:H6}) which when used in (\ref{eq:I2}) gives

1342: the homogeneous linear scaling equations for $\bar{J}_n$:

1343: \beq

1344: \bar J_{n} 

1345: = \sum_{ll'}h_l h_{l'} \bar J_{2n-l-l'}. 

1346: \label{eq:I3}

1347: \eeq

1348: Equation (\ref{eq:I3}) can be used to calculate $\bar{J}_n$

1349: recursively using $\bar{J}_m$ for large $\vert m \vert $ as input.

1350: This recursion can be used to step up in negative $n$ until $n=-1$ and

1351: down in positive $n$ until $n=4K-1$.  This provides an efficient and

1352: accurate method for calculating all of the $\bar{J}_n$ for $n<0$ and

1353: $n>4K-2$.

1354: 

1355: The remaining values, $0 \leq n \leq 4K-2$, correspond to

1356: cases where the denominator of the singular integral (\ref{eq:I2}) 

1357: vanishes on the support of the integrand.

1358: 

1359: The scaling relations (\ref{eq:I3}) are still satisfied for these

1360: values of $n$, giving $4K-1$ equations relating the unknown $\bar{J}_0

1361: \cdots \bar{J}_{4K-2}$ to the known values of $\bar{J}_n$ for $n<0$

1362: and $n>4K-2$.  Unlike the equations for $I_{lmn}$, these equations

1363: cannot be linearly independent because they do not specify the

1364: treatment of the singular integral.  One more equation is needed.

1365:  

1366: The desired equation can be derived by observing that the integral $\bar{J}_n$

1367: can be expressed in terms of the autocorrelation function \cite{beylkin1}

1368: \cite{beylkin2}\cite{beylkin3} 

1369: $\Phi(x)$ of the scaling function as 

1370: \beq

1371: \bar J_{n} 

1372: = - \int_{-\infty}^{\infty} {\Phi (y) \over y-n -i0^+ } dy

1373: \label{eq:I5a}

1374: \eeq

1375: where  

1376: \beq

1377: \Phi(x) := \int^{\infty}_{-\infty} \phi(x-y) \phi (y) dy .

1378: \label{eq:I6}

1379: \eeq

1380: It follows from the properties 

1381: \beq

1382: \int \phi (x) dx =1 \qquad 1 = \sum_n \phi (x+n) 

1383: \label{eq:I7}

1384: \eeq

1385: of the scaling function that the autocorrelation function satisfies

1386: \beq

1387: \int \Phi (x) dx =1 \qquad 1 = \sum_n \Phi (x+n) 

1388: \label{eq:I8}

1389: \eeq

1390: and has support on $[0 , 4K-2]$.  The autocorrelation function  

1391: is plotted in Figure 3.

1392: 

1393: \begin{figure}

1394: \begin{center}

1395: \rotatebox{270}{\resizebox{2.9in}{!}{

1396: \includegraphics{fig3.ps}}

1397: }

1398: \end{center}

1399: \label{Fig:3}

1400: \caption{Daubechies' $K=3$ autocorrelation function.}

1401: \end{figure}

1402: 

1403: Using (\ref{eq:I8}) in (\ref{eq:I6}) 

1404: gives the additional linear constraint on the 

1405: integrals $\bar{J}_n$:

1406: \[

1407: - i\pi =

1408: - \int^m_{-m} { dx \over x - i 0^+ }=  

1409: \]

1410: \[

1411: - \sum_n \int^m_{-m} dx {  \Phi(x+n) \over x - i0^+ }=

1412: \]

1413: \beq  

1414: - \sum_n \int^{n+m}_{n-m} dx  { \Phi(x) \over x-n - i0 ^+ }  

1415: \label{eq:I9}

1416: \eeq

1417: which holds for any $m$.  Replacing $-i\pi$ on the left side of 

1418: equation (\ref{eq:I9}) by zero gives the principal value; by

1419: $+i0^+$ gives the limit on the other side of the real line.

1420: 

1421: If $m > 4K-2 $  equation (\ref{eq:I9}) can be expressed as

1422: \[

1423: - i\pi  =

1424: \sum_{n=-m}^{m} \bar{J}_n 

1425: \]

1426: \[

1427: +\sum_{n=m+1}^{m+4K-3}\int_{n-m}^{4K-2} {\Phi (x) \over n-x +i0^+} dx

1428: \]

1429: \beq

1430: +

1431: \sum_{n=-m+1}^{-m+4K-3} \int_{0}^{n+m} {\Phi (x) \over n-x+i0^+ } dx .

1432: \label{eq:I10}

1433: \eeq

1434: For $\vert n \vert >4K-2$ the boundary integrals 

1435: \beq

1436: \int_{n-m}^{4K-2} {\Phi (x) \over n-x+i0^+} dx =

1437: \int_{n-m}^{\infty} {\Phi (x) \over n-x+i0^+ } dx 

1438: \label{eq:I11}

1439: \eeq

1440: and

1441: \beq

1442: \int_{0}^{n+m} {\Phi (x) \over n-x+i0^+} dx =

1443: \int_{-\infty}^{n+m} {\Phi (x) \over n-x+i0^+ } dx

1444: \label{eq:I12}

1445: \eeq

1446: can be expanded in a convergent power series 

1447: in terms of partial moments of the autocorrelation 

1448: function 

1449: \beq

1450: \int_{n-m}^{4K-2} {\Phi (x) \over n-x+i0^+} dx =

1451: {1 \over n} \sum_{k=0}^{\infty} {1 \over n^k} 

1452: \int_{n-m}^{\infty} \Phi (x)x^k dx 

1453: \label{eq:I13}

1454: \eeq

1455: and

1456: \beq

1457: \int_{0}^{n+m} {\Phi (x) \over n-x+i0^)} dx =

1458: {1 \over n} \sum_{k=0}^{\infty} {1 \over n^k} 

1459: \int_{-\infty}^{n-m} \Phi (x)x^k dx 

1460: \label{eq:I14}

1461: \eeq

1462: The error after truncating the series in (\ref{eq:I13}) or (\ref{eq:I14})

1463: after $N$ terms is bounded by 

1464: \beq

1465: \left ( {4K-2 \over n}\right )^{N+1} {4K-2 \over n -4K+2}\Phi_{max}  

1466: \label{eq:I141}

1467: \eeq

1468: where $\Phi_{max} <1$ is the maximum value of the autocorrelation

1469: function.  It is easy to compute these quantities to machine accuracy.

1470: The partial moments of the autocorrelation function in

1471: (\ref{eq:I13}) and (\ref{eq:I14}), which are needed

1472: as input to (\ref{eq:I10}) can be computed analytically.  This

1473: calculation is discussed in the appendix.

1474: 

1475: Equations (\ref{eq:I3}) and (\ref{eq:I10}) can be solved for the

1476: $\bar{J}_n$ for $0 \leq n \leq 4K-2$ in terms of left side of

1477: (\ref{eq:I10}), the partial moments of the autocorrelation function,

1478: and the integrals for $\vert n\vert > 4K-2$.  The results of these

1479: calculations are the nine complex numbers in Table 5.  This gives

1480: values of $\bar{J}_m$ for all $m$.  The solution for principal value

1481: is given by the real values in table 5, while thc conjugate of the

1482: values in table gives the singular integral approaching the real line

1483: from the other side.

1484: 

1485: \begin{table} % [hbt]

1486: {\bf Table 5 - $\bar{J}_n$} \\[1.0ex]

1487: \begin{tabular}{ c c }

1488: %\firsthline

1489: \hline

1490: \hline

1491: m & J  \\ 

1492: \hline					    		      

1493: 0   &$-6.400535e-01 +i 0.000000e+00$   \\  

1494: 1   &$-1.570288e+00 -i 7.088321e-01$   \\   

1495: 2   &$\phantom{-}6.615596e-01 -i 2.966393e+00$   \\    

1496: 3   &$\phantom{-}1.719674e+00 +i 6.560028e-01$   \\    

1497: 4   &$\phantom{-}6.721642e-02 -i 1.554882e-01$   \\     

1498: 5   &$\phantom{-}3.595012e-01 +i 3.858342e-02$   \\    

1499: 6   &$\phantom{-}2.261977e-01 -i 5.023224e-03$   \\   

1500: 7   &$\phantom{-}1.853414e-01 -i 4.383938e-04$   \\    

1501: 8   &$\phantom{-}1.569998e-01 -i 3.586652e-06$   \\    

1502: 9   &$\phantom{-}1.357112e-01 -i 4.424016e-09$   \\    

1503: 10  &$\phantom{-}1.195044e-01 +i 0.000000e+00$   \\    

1504: %\lasthline

1505: \hline		       

1506: \hline

1507: \end{tabular}					 

1508: % \label{tabspec}

1509: \end{table}

1510: 

1511: The quantity that appears in the integral equation (\ref{eq:DR}) is 

1512: $J_{mn}(k)$.  In order to evaluate this quantity first note

1513: that it is symmetric in $m$ and $n$ so we can assume $m \geq n$.  

1514: For $n \geq 0$ we can express 

1515: $J_{mn}(k)$ in terms of $\bar{J}_{n}$;  

1516: \beq

1517: J_{mn}(k)=\bar{J}_{k-m-n} .

1518: \label{eq:I15}

1519: \eeq

1520: When either $m$ or $n$ is less than $-2K+2$ then

1521: \beq

1522: J_{mn}(k)=0

1523: \label{eq:I16}

1524: \eeq 

1525: The non-trivial values of $J_{mn}(k)$  correspond to $m$ non-negative 

1526: and $-2K+2 \leq n \leq -1$, and both $-2K+2 \leq n,m \leq -1$.  This still

1527: includes an infinite number of integrals because $k$ can take on any

1528: value.

1529: 

1530: We discuss the treatment of $m$ non-negative and $-2K+2 \leq m \leq

1531: -1$ separately.  When $m$ is non-negative the integral becomes

1532: \beq

1533: J_{mn} (k) = J_n (k-m)

1534: \label{eq:I17}

1535: \eeq 

1536: where 

1537: \beq J_n (m) := 

1538: \int_{0}^{\infty} dx \int_{-\infty}^{\infty}

1539: dy {\phi (x-n) \phi (y) \over m-x-y+i0^+}.

1540: \label{eq:I18}

1541: \eeq

1542: Because in this case $n$ is within $2K-2$ of zero, for large $\vert m \vert $ 

1543: this can be computed in terms of moments (\ref{eq:CU}) and partial 

1544: moments (\ref{eq:CV}) of the scaling function using the series method:

1545: \beq 

1546: J_n (m) =

1547: \sum_l {1 \over (m-n)^{l+1}} \sum_{k=0}^l \langle x^k \rangle_{[-n,2K-1]}

1548: \langle x^{l-k} \rangle.

1549: \label{eq:I19}

1550: \eeq

1551: The error made by keeping $N$ terms in the $l$ sum is bounded by

1552: \beq

1553: \left ( {2K-1 \over m-n}\right )^{N+1} 

1554: {(2K-1)^2 \over m-n-2K+1}(\phi_{max})^2  

1555: \eeq

1556: which can be made as small as desired by choosing a large enough $m$. 

1557: 

1558: Using (\ref{eq:H6}) in (\ref{eq:I18}) gives

1559: \beq

1560: J_n (m) = \sum_{l=0}^{2K-1} \sum_{l'=0}^{2K-1} h_l h_{l'} J_{2n+l} (2m-l') 

1561: \label{eq:I20}

1562: \eeq

1563: relations among these integrals for different values of $m$ and $n$.

1564: Equation (\ref{eq:I20}) can be used to recursively step down from large

1565: values of $\vert m \vert $ to $m=-1$ from below and $m=2K$ from above. 

1566: Some terms in this recursion will be complex because they involve 

1567: the integrals $\bar{J}_n$ for $1 \leq n \leq 4K-3$.

1568: 

1569: The values of $J_n(m)$ that cannot be computed directly from the

1570: moments or by using the recursion correspond $-2K+2 \leq n \leq -1$

1571: and $0 \leq m \leq 2K-1$.  These can be computed by treating

1572: (\ref{eq:I20}) as a system of linear equations for the unknown

1573: $J_n(m)$s.  This works because the terms in (\ref{eq:I20}) include

1574: some of the previously computed integrals.  The results of this

1575: calculation are shown in Table 6.

1576:  

1577: \begin{table} % [hbt]

1578: {\bf Table 6 - $J_{m}(n)$} \\[1.0ex]

1579: \begin{tabular}{ c c c }

1580: %\firsthline

1581: \hline

1582: \hline

1583: m & n & $J$ \\ 

1584: \hline					    		      

1585: -4 &  0 &$-5.270534e-05+i0.000000e-00$ \\         

1586: -4 &  1 &$\phantom{-}1.328492e-04 -i1.360295e-03$ \\   

1587: -4 &  2 &$\phantom{-}4.129155e-04 +i3.906821e-04$ \\   

1588: -4 &  3 &$-9.487772e-05 -i9.892161e-05$ \\   

1589: -4 &  4 &$\phantom{-}3.178448e-06-i1.800341e-06$  \\    

1590: -4 &  5 &$\phantom{-}1.039698e-07-i6.117942e-09$ \\   

1591: %-4 &  6 &$\phantom{-}6.581840e-05-i0.000000e-00$ \\   

1592: %-4 &  7 &$\phantom{-}5.517594e-05-i0.000000e-00$ \\                       

1593: -3 &  0 &$-4.625359e-03+i0.000000e-00$\\  

1594: -3 &  1 &$-2.620525e-03-i5.640861e-02$ \\ 

1595: -3 &  2 &$\phantom{-}2.569291e-02+i1.368533e-02$ \\ 

1596: -3 &  3 &$-2.507103e-04-i2.505784e-03$ \\ 

1597: -3 &  4 &$-1.189214e-03-i3.325919e-04$ \\ 

1598: -3 &  5 &$\phantom{-}8.403857e-05+i4.945118e-06$  \\

1599: %-3 &  6 &$2.802762e-03+i0.000000e-00$  \\  

1600: %-3 &  7 &$2.349877e-03+i0.000000e-00$ \\ 

1601: -2 &  0 &$\phantom{-}5.719523e-02+i0.000000e-00$ \\ 

1602: -2 &  1 &$\phantom{-}8.006177e-02+i3.624922e-01$ \\	       

1603: -2 &  2 &$-2.606313e-01-i7.778517e-02$ \\

1604: -2 &  3 &$\phantom{-}3.145142e-02+i2.488590e-02$\\				 

1605: -2 &  4 &$-1.188904e-02-i5.439550e-03$\\

1606: -2 &  5 &$-9.599595e-03-i4.332178e-04$\\

1607: %-2 &  6 &$-1.864109e-02-i3.603587e-06$ \\

1608: %-2 &  7 &$-1.564854e-02-i4.424016e-09$ \\

1609: -1 &  0 &$-2.730099e-01+i0.000000e-00$ \\ 

1610: -1 &  1 &$-4.302964e-01-i1.483101e+00$\\ 

1611: -1 &  2 &$\phantom{-}1.269047e+00+i2.936519e-01$\\ 

1612: -1 &  3 &$-2.565108e-01-i9.893945e-02$\\ 

1613: -1 &  4 &$\phantom{-}1.173431e-01+i4.010587e-02$\\ 

1614: -1 &  5 &$\phantom{-}4.476128e-02-i5.054775e-03$\\ 

1615: %-1 &  6 &$\phantom{-}7.609316e-02-i4.382921e-04$\\ 

1616: %-1 &  7 &$\phantom{-}6.457402e-02-i3.586652e-06$\\ 			

1617: %\lasthline

1618: \hline

1619: \hline		

1620: \end{tabular}	

1621: % \label{tabspec}	

1622: \end{table}	

1623: 

1624: What remains are the $J_{mn}(k)$ when both $m$ and $n$ fall between

1625: $-2K+2$ and $-1$.  In this case when $\vert k \vert $ is large,

1626: $J_{mn}(k)$ can be expressed in the form of a convergent power series

1627: in terms of moments and partial moments of the scaling function.	

1628: The scaling equations can be used to step up or down in $k$ until

1629: $k$ is between $0$ and $2K-2$; in addition they can also be used to 

1630: solve for cases when

1631: \beq

1632: m,n,k \in [-2K+2,-1] \times [-2K+2,-1] \times [0,2K-1].

1633: \label{eq:I21}

1634: \eeq

1635: In a normal application the value $k$ represents the on-shell

1636: energy.   It will be large if there are a lot of basis functions 

1637: with support on either side of the on-shell point.  While $J_{mn}(k)$ can

1638: be calculated at the points (\ref{eq:I21}) from the known values 

1639: using the scaling equation (\ref{eq:I20}), these points 

1640: do not arise in most applications.

1641: 

1642: This completes the computation of the singular integrals that appear in 

1643: equation (\ref{eq:DR}).

1644: 

1645: \section{Conclusion} 

1646: 

1647: In this paper we introduced a method for applying wavelet numerical

1648: analysis to solve the relativistic three-body problem.  The method

1649: starts by making variable changes in the relativistic 

1650: Faddeev-Lovelace equations so the moving scattering singularity has 

1651: simple scaling properties.

1652: 

1653: The next step is to project the equation in the transformed variables

1654: on a finite resolution subspace of the three-body Hilbert space.  The

1655: matrix representation of the integral equation in this approximation

1656: space is easily computed by evaluating the driving terms and smooth

1657: part of the kernel at the one-point quadrature points.  Additional

1658: integrals involving the singular part of the kernel over the basis

1659: functions are needed to compute the full kernel.  These integrals can

1660: be calculated either exactly or with precisely controlled errors using

1661: the scaling equation (\ref{eq:CA}) and normalization condition

1662: (\ref{eq:CB}).  Method for computing all of the required integrals are

1663: discussed in detail in section IV and the appendix.  Explicit values

1664: of most of the needed integrals are computed and appear in Tables 3-6.  

1665: The physics input 

1666: is in the driving term and smooth part of the kernel.  The integrals 

1667: over the singular part of the kernel are independent of the 

1668: dynamics.  They can be computed from the scaling coefficients

1669: by solving a small system of linear equations.

1670:  

1671: The resulting system of equations in the high resolution basis, while

1672: easy to compute, is large.  The wavelet transform is used to transform

1673: matrix elements in the high-resolution scaling basis to matrix

1674: elements in a basis consisting of low resolution scaling functions and

1675: wavelet basis functions with resolutions that fall between the

1676: high-resolution and low resolution basis.  The transformation to this

1677: new basis take $O(N)$ steps, which is faster than a fast Fourier

1678: transform.  In the new basis the kernel can naturally be expressed as

1679: the sum of a sparse matrix and a small matrix.  The key approximation

1680: is to replace the small part of the kernel by zero.  The size of the

1681: error made in this approximation can be controlled by changing the

1682: threshold size for discarding matrix elements.

1683: 

1684: The sparse matrix can be solved using sparse matrix techniques.  In

1685: reference \cite{kessler04} this was done by first conditioning the

1686: matrix and then using the complex bi-conjugate gradient method.

1687: The resulting solution can be transformed back to the scaling basis 

1688: using the inverse wavelet transform.  The approximation is 

1689: improved if the resulting solution is substituted back in the 

1690: original equation \cite{Sloan}.  The step has the added benefit that

1691: the basis functions never have to be calculated.

1692: 				   

1693: The key result that was needed to calculate integrals associated with

1694: the moving singularities is the observation by Beylkin \cite{beylkin1}

1695: \cite{beylkin2}\cite{beylkin3} and collaborators that integrals of

1696: scaling functions over moving singularities can be expressed as

1697: integrals of the autocorrelation function of the scaling function over

1698: a fixed singularity.  This leads to a practical and stable method for

1699: computing the integrals.  The methods do not require subtractions or

1700: careful choices of quadrature points; for the Daubechies' $K=3$ basis

1701: they are reduced to solving a system of eleven linear equations.  The

1702: required properties of the autocorrelation function are derived in the

1703: appendix.

1704: 

1705: The research in references \cite{kessler03} and \cite{kessler04}

1706: demonstrated that the wavelet method led to sparse matrix

1707: approximations resulting negligible errors.  The structure of the

1708: kernel in the relativistic three-body case indicates that the wavelet

1709: method will lead to accurate sparse matrix approximations to the

1710: relativistic Faddeev-Lovelace equations.

1711: 

1712: The increase in efficiency in this method is due to the saving in

1713: computational effort in going from solving a large dense set of linear

1714: equations to an approximately equivalent equations with a sparse

1715: matrix.  The wavelet method will lead to a significant savings in

1716: computational effort for a large system.

1717: 

1718: Our conclusion is that wavelet numerical analysis can be used to 

1719: accurately approximate the relativistic Faddeev Lovelace equations 

1720: by a linear system of equations with a sparse kernel matrix. 

1721: 

1722: \begin{acknowledgments}

1723: This work supported in part by the Office of Science of the U.S. 

1724: Department of Energy, under contract DE-FG02-86ER40286.  The authors 

1725: acknowledge discussions with Fritz Keinert and Gerald Payne 

1726: that contributed materially to this work.

1727: \end{acknowledgments}

1728: 

1729: \appendix

1730: %\section{Appendix}

1731: \section{} 

1732: %{Autocorrelation function of the scaling function}

1733: 

1734: The autocorrelation function of the scaling function is defined by 

1735: \beq

1736: \Phi(x) = \int^{\infty}_{-\infty} \phi(x-y) \phi (y) dy .

1737: \label{eq:K1}

1738: \eeq

1739: Because of the support of the scaling function is $[0,2K-1]$, the 

1740: autocorrelation function has support $[0,4K-2]$.

1741: 

1742: Using the scaling equation (\ref{eq:H6}) for the scaling function in

1743: the definition (\ref{eq:K1}) of the autocorrelation function leads to 

1744: the scaling

1745: equation for the autocorrelation function:

1746: \beq

1747: \Phi (x) = 

1748:  \sum_l \sum_{l'} h_l h_{l'} \Phi (2x -l'-l).

1749: \label{eq:K2}

1750: \eeq

1751: If we define 

1752: \beq

1753: a_l = {1 \over \sqrt{2}} \sum_{l'=0}^{min(l,2K-1)} h_{l-l'} h_{l'} 

1754: \qquad 0 \leq l \leq 4K-2

1755: \label{eq:K3}

1756: \eeq

1757: equation (\ref{eq:K2}) can be put in the same form as (\ref{eq:CA}):

1758: \beq

1759: D \Phi (x) = 

1760: \sum_{l=0}^{4K-2}  a_l T^l \Phi (x).

1761: \label{eq:K4}

1762: \eeq

1763: The scaling coefficients $a_k$ for the Daubechies' $K=3$ 

1764: autocorrelation function are given in Table 7. 

1765: \begin{center}

1766: \begin{table} % [hbt]

1767: {\bf Table 7: Daubechies' $K=3$ Autocorrelation Scaling Coefficients } \\[1.0ex]

1768: \begin{tabular}{ c c }

1769: \hline

1770: \hline

1771: % $h_l$ & $K=3$   \\

1772: %\hline					      		      

1773: $a_0$ &$\phantom{-}7.825529e-02$ \\

1774: $a_1$ &$\phantom{-}3.796160e-01$ \\

1775: $a_2$ &$\phantom{-}6.767361e-01$  \\

1776: $a_3$ &$\phantom{-}4.612557e-01$   \\

1777: $a_4$ &$-4.471656e-02$ \\

1778: $a_5$ &$-1.687321e-01$  \\

1779: $a_6$ &$-2.481571e-03$  \\

1780: $a_7$ &$\phantom{-}3.922363e-02$   \\

1781: $a_8$ &$-1.563883e-03$  \\

1782: $a_9$ &$-4.256471e-03$  \\

1783: $a_{10}$ &$\phantom{-}8.774429e-04$ \\

1784: \hline

1785: \hline

1786: \end{tabular}

1787: % \label{tabspec}

1788: \end{table}

1789: \end{center}

1790: \begin{center}

1791: \begin{table} % [hbt]

1792: {\bf Table 8: Daubechies' $K=3$ Autocorrelation Moments } \\[1.0ex]

1793: \begin{tabular}{ c c }

1794: \hline

1795: \hline

1796: % $\langle x^n \rangle_{\Phi}$ & $K=3$   \\  

1797: % \hline					     		      

1798: $\langle x^0 \rangle_{\Phi}$ &$1.000000e+00$ \\

1799: $\langle x^1 \rangle_{\Phi}$ &$1.634802e+00$ \\

1800: $\langle x^2 \rangle_{\Phi}$ &$2.672579e+00$\\

1801: $\langle x^3 \rangle_{\Phi}$ &$4.167773e+00$\\

1802: $\langle x^4 \rangle_{\Phi}$ &$5.825913e+00$\\

1803: $\langle x^5 \rangle_{\Phi}$ &$6.817542e+00$\\

1804: $\langle x^6 \rangle_{\Phi}$ &$8.807917e+00$\\

1805: $\langle x^7 \rangle_{\Phi}$ &$4.055470e+01$\\

1806: $\langle x^8 \rangle_{\Phi}$ &$2.899550e+02$\\

1807: $\langle x^9 \rangle_{\Phi}$ &$1.695851e+03$\\

1808: $\langle x^{10} \rangle_{\Phi}$ &$8.321402e+03$\\

1809: \hline

1810: \hline

1811: \end{tabular}

1812: % \label{tabspec}

1813: \end{table}

1814: \end{center}

1815: The normalization condition (\ref{eq:CA}) of the scaling function can be used

1816: in the definition (\ref{eq:K1}) of the autocorrelation function 

1817: to derive the normalization condition:

1818: \beq

1819: \int \Phi (x) dx =1 .

1820: \label{eq:K11}

1821: \eeq

1822: 

1823: The scaling equation (\ref{eq:K2}) and the normalization 

1824: condition (\ref{eq:K11}) can be used calculate moments and 

1825: partial moments of the autocorrelation function.

1826: To calculate the moments of 

1827: the autocorrelation function use

1828: \beq

1829: \langle x^k \rangle_{\Phi} = \int \Phi (x) x^k dx,

1830: \eeq

1831: \beq

1832: \langle x^k \rangle_{\Phi} = {1 \over 2^{k+1/2}} \sum_l a_l  

1833: \sum_{n=0}^k {k! \over n! (k-n)!} l^{n-k}  \langle x^n \rangle_{\Phi} .

1834: \eeq

1835: Moving the $n=k$ term to the left side of the equation gives

1836: recursion relation

1837: \beq

1838: \langle x^k \rangle_{\Phi} := 

1839: {1 \over 2^k - 1}

1840: {1 \over \sqrt{2} }\sum_l a_l  

1841: \sum_{n=1}^k {k! \over n! (k-n)!} l^{n}  \langle x^{k-n} \rangle_{\Phi} .

1842: \eeq

1843: The recursion is started using the the normalization condition

1844: (\ref{eq:K11}).  The lowest moments are tabulated in Table 8.

1845: 

1846: The partial moments of the autocorrelation function satisfy the 

1847: scaling equation 

1848: \[

1849: \langle x^k \rangle_{\Phi, [m,\infty]}  := \int_m^{\infty}  \Phi (x) x^k dx =

1850: \]

1851: \beq

1852: \sum_l a_l \sum_{n=0}^k {\sqrt{2} \over 2^{k+1}} 

1853: {k! \over n! (k-n)!} l^m

1854: \langle x^{k-m} \rangle_{\Phi,[2m-l,\infty]}.

1855: \eeq

1856: When $m \geq 4K-2$ these partial moments become ordinary moments while when 

1857: $m\leq 0$ they vanish. This gives us a linear system for partial moments

1858: in terms of the full moments and lower partial moments.  These

1859: equations can be solved recursively. Partial moments 

1860: corresponding to more general intervals can be computed by subtraction:

1861: \beq

1862: \langle x^{k} \rangle_{\Phi,[m,n]}=

1863: \langle x^{k} \rangle_{\Phi,[m,\infty]} - \langle x^{k} \rangle_{\Phi,[n,\infty]} .

1864: \eeq

1865:  

1866: 

1867: \begin{thebibliography}{99}

1868: 

1869: \bibitem{kessler03} B. M. Kessler, G. L. Payne, W. N. Polyzou,

1870: Few-Body Systems, {\bf 33},1(2003), nucl-th/0211016. 

1871: 

1872: \bibitem{kessler04} B. M. Kessler, G. L. Payne, W. N. Polyzou, 

1873: Phys. Rev. C{\bf 70},034003(2004), nucl-th/0406079.

1874: 

1875: \bibitem{jpeg} See http:$//$www.jpeg.org.

1876: 

1877: \bibitem{deSwart}

1878: V. G. J. Stoks, R. A. M. Klomp, C. P. F. Terheggen, J. J. de Swart,

1879: Phys. Rev. C{\bf 49},2950(1994).

1880: 

1881: \bibitem{v18}

1882: R. B. Wiringa, V. G. J. Stoks, R. Schiavilla, Phys. Rev. C{\bf 51},38(1995),

1883: nucl-th/9408016.

1884: 

1885: \bibitem{cdbonn}

1886: R. Machleit, (2000), nucl-th/0006014

1887: 

1888: \bibitem{lightnuc}

1889: Steven C. Pieper, R. B. Wiringa, Ann. Rev. Nucl. Part. Sci. {\bf 51},53(2001),

1890: nucl-th/0103005.

1891: 

1892: \bibitem{walter} H. Witala, J. Golak, W. Gl\"ockle, and H. Kamada, Phys. Rev. 

1893: C{\bf 71},054001(2005).

1894: 

1895: \bibitem{wp91} B. D. Keister and W. N. Polyzou in 

1896: {\it Advances in Nuclear Physics}

1897: Volume 20, Ed. J. W. Negele and E.W. Vogt ( Plenum Press, New York, 1991). 

1898: 

1899: \bibitem{wp02}

1900: W. N. Polyzou

1901: J. Math. Phys. {\bf 43},6024(2002), nucl-th/0201013.

1902: 

1903: \bibitem{fuda}

1904: Michael G. Fuda, Hamoud Alharbi,

1905: Phys. Rev. C{\bf 68},064002(2003).

1906: 

1907: \bibitem{wp03} W. N. Polyzou,

1908: Phys. Rev. C{\bf 68},015202(2003), nucl-th/0302023.

1909: 

1910: %\bibitem{walter2}

1911: %H. Witala, J. Golak, W. Glockle, H. Kamada,

1912: %nucl-th/0412063

1913: 

1914: \bibitem{fritz65} F. Coester, Helv. Phys. Acta, {\bf 38},7(1965).

1915: 

1916: \bibitem{Tjon} R. A. Malfliet and J. A. Tjon, Nucl. Phys. {\bf A27},161(1969).

1917: 

1918: \bibitem{Payne} G. L. Payne, J. L. Friar, B. F. Gibson, and I. R. Afnan,

1919: Phys. Rev. C{\bf 22}, 823(1980).

1920: 

1921: 

1922: \bibitem{Daubechies} Ingrid Daubechies, Comm. on Pure and Applied Mathematics

1923: Vol. {\bf XLI}, 909-996(1988). 

1924: 

1925: \bibitem{Daubechies2} Ingrid Daubechies,{\it Ten Lecture on Wavelets} 

1926: (SIAM, Philadelphia, PA, 1992) 

1927: 

1928: \bibitem{Kaiser} G. Kaiser, {\it  A Friendly Guide to Wavelets} 

1929: (Birkh\"auser, Boston, 1994). 

1930: 

1931: \bibitem{Resnik} H. L. Resnikoff and R. O. Wells, {\it Wavelet Analysis: The Scalable 

1932: Structure of Information} (Springer-Verlag, New York, 1998).

1933: 

1934: \bibitem{Strang} G. Strang,  SIAM Review, {\bf 31} 4,614(1989).

1935: 

1936: \bibitem{jorgensen} O. Bratelli and P. Jorgensen, {\it Wavelets Through a 

1937: Looking Glass, The World of the Spectrum} (Birkh\"auser. Boston, 2002). 

1938: 

1939: \bibitem{waverev} B. M. Kessler, G. L. Payne, W. N. Polyzou

1940: Wavelet Notes, nucl-th/0305025.

1941: 

1942: \bibitem{numrec} W. H. Press, S. A. Teukolsky, W. T. Vettering, 

1943: B. P. Flannery, {\it Numerical Recipes in C} (Cambridge University Press, 

1944: Cambridge, 1992).

1945: 

1946: \bibitem{golub} G. H. Golub, C. F. Van Loan, {\it Matrix Computations},

1947: (Johns Hopkins University Press, Baltimore, 1996).  

1948: 

1949: \bibitem{Sloan} I. Sloan, Math. Comp. {\bf 30},758(1976).

1950: 

1951: \bibitem{Shann1} W.-C. Shann, {\it Quadrature rules needed in

1952: Galerkin-wavelets methods, Proceedings for the 1993 annual meeting of

1953: Chinese Mathematics Association}(Chiao-Tung Univ, Dec., 1993),

1954: http://www.math.ncu.edu.tw/~shann/Math/pre.html

1955: 

1956: \bibitem{Shann2} W.-C. Shann and J.-C. Yan, {Quadratures involving 

1957: polynomials and Daubechies'

1958: wavelets. Technical Report 9301} (Department of Mathematics, National Central 

1959: University 1993), 

1960: http://www.math.ncu.edu.tw/~shann/Math/pre.html.

1961: 

1962: \bibitem{Sweldens} W. Sweldens and R. Piessens, 

1963: SIAM J. Numer. Anal., {\bf 31},1240(1994).

1964: 

1965: \bibitem{beylkin1} G. Beylkin,

1966: % "On the representation of operators in bases of compactly 

1967: %supported wavelets," 

1968: SIAM Journal on Numerical Analysis, {\bf 29},6,1716(December, 1992) 

1969: 

1970: \bibitem{beylkin2} G. Beylkin and N. Saito,

1971: {\it`` Wavelets, their autocorrelation functions, and 

1972: multiresolution representation of signals''},

1973: D.P.Casasent (Ed.), Proc. SPIE: Intelligent Robots and Computer Vision 

1974: XI: Biological, Neural Net, and 3D Methods, Vol. {\bf 1826}, SPIE,39(1992). 

1975: 

1976: %moments and partial moments:

1977: 

1978: \bibitem{beylkin3} N. Saito, G. Beylkin, 

1979: %"Multiresolution Representations using the Auto-Correlation 

1980: %Functions of Compactly Supported Wavelets 

1981: %", 

1982: IEEE Transactions on Signal Processing, {\bf 41},12,3584(1993). 

1983: 

1984: 

1985: 

1986: \end{thebibliography}

1987: \end{document} 

1988: 

1989: % xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

1990: 

1991: 

1992: 

1993: \bibitem{Belkin}

1994: 

1995: \bibitem{haar} A. Haar: Zur Theorie der orthogonalen Funktionen-Systeme:

1996: Math. Ann. 69 ,331(1910) 

1997: 

1998: \bibitem{Malfliet} R. A. Malfliet, J. A. Tjon: Nucl. Phys. {\bf A127},161(1969)

1999: 

2000: \bibitem{fbi} Barbara Burke Hubbard: {\it The World According To Wavelets}.

2001: Wellesly, MA:  A. K. Peters. 1996  

2002: 

2003: %Autocorrelation function:

2004: 

2005: 

2006:               		   

2007: