A TheEis SUbni ttF.l f.r +hF r'^.',1+r' I Purdue University 'bv L1 ACXNOWI,EDGTIENTS r wiah to thank Professor research and for providing intEgral come an r! my nany of the ideas which have be- of thie theEls. I am grateful fo! has devoted to digcuEsion and reading of the the time he trrarruogr part R. E- Lynch for directing u . I would }ilie to thank ny alway8 understanding, Eonetlnee neglected, wife, though Kay. f,Qr hef suPport, both noral and financ ial. I acknowledge the fi,nangial aEsl-stance of the United StateE Government through a National F9l]owship, and Honel4rell. corPoration corporaLion FeltowshiP. Defense Education Act through a llone!4''e 11 rLtr Page v i : CIIAPTERI : CH3PTERII! 2.1 2.2 2.3 PREL fhe Differential The Difference Rel-ations B Diff,erence opera CHAETER III 1 XMRODUCT I APPROXIMAT PROBI,EM BOUNDARY-VAI,UE Dif,ferential r9...... and OF SO',I}TIONSOF A ., BESSET'SOPERATOR. 3.1 3.2 3.3 uatl.on ProDtem. rhe Pifferential a t i a n P r o b l e n . . . , ." . . ; the PJ.ff,erence E T t r 9 r naryEr9. Cruncation 3,4 Proof, that 3.5 An Error Bouiid.. CHASIER IV: 4.1 4,2 4. 3 4.4 4.5 L;" BESSEIJEI r... '. EXAC{ E A BES6EII DITFERENCE OP Properties of !h RePrggentation o Eiqenvaluee...., 17 l9 26 2A 30 ': Matrix Theory. A General Found f the coefficients of q. . . . '.. Typical Behavior Error Bounds €or i g e n v a l u eE E t l m a t i o n , . . ; . . . . . , . A n a I Y € i s o f t h e runcatlon Error for a class ratols...,.... of Difterence Dif ference Sche$e. Setf-Adjoint Errof, Bpund for CIIAPDEBv! 5.1 5,2 a l 4 o n o t o n eO P e l a t g r . . ; , . 16 39 40 IONS AND EIGENVAI.qESOP roR..,..........,,.,...,.... Eigenvqlues. . Exact Eigenfunctions and 60 J-V C H A P T E RV I : NUIIERICAL RESILTS..^.., 6.1 6,? Rate of Convergence...., ExFerlnental Rqsu.lts'... 6.3 Numerical Technique...., 64 65 ' 76 .t.9 h Table 1. o Errorg and Experinental f,or Exanple6.2.L,..... Rates of Convergenca ' " " i : " : " i i " ' 2. Errors and Experimental Rates of Convergence f , o r E x a m , p 6l e. 2 . 2 .. . . ; . . , j . . . , . . ' , . 3, Errors and Experlmental Rates of convergence 6.2.3.,......,....... fo! Exadple 73 vi Ph. D., Purdue University, tlersbern' Hgrbert l€wis. opof APproxination Besset'E Differential 1969. August, Operators erator of trraqtional order by Flnite'Diffelence Rob€ft E. Lynch. t{ajor Professort Problena are etudiEd uhose solutions Diff,erence €quation of ths solutions arq estinatea ' yalue. probrem fy = f(x) value probl$r Jy - fxlv thg Bessel op€rator L_- O < v < l. structad so that , y(o) = o, v(f) = A and the eigen- - O, y(1) . O, wh€re I is , y(o) of fractional diffeience thr6€-Point \p(k)ttr) boundary- of the ttto-Point oraler, i = -xt d" /dxt -xd/,t*+v" , op€rator3, - r+(klt*r), Lh, are con- k = 1,2,3, j = r, is a given eet of functions and ...,N, nlrere to(kl l;., xr=i/(N+l)' . For alifferential eguation boundary-value problens whose solutions behave llke . ax- + px"" BeEsel functlon ity), it as x - o (that is' like the i8 sho\"n that the operator constlucted by choosing g(k) - xv+I-l and t have trqncation error which i9 bounded, and the solution of the resutting difference eq- uation probleB and the solution of the differentr.al problem have discretization error which is o(h') eqqation as h - O. respect to tha ef,al differenqe sati6fy €i-genfUnctiorig oPerat9rs of t obf,lesp9nding to ). are Ehown to have coefficients the prescribed conditions, Sev- which' and for these, mln,lI-A, I ie sllown to be O(ha) Exact ieFreEentatioiri: of the eigenfunctions valueg of one of the diff,elence r] f\ operatols and eigen- are obtained in terms In this lnvolving single treat of Problems work rte approximate aolutions a Beesel dif,ferdntial regular €ingular the tlto-point (1 - Ia) point operator at x=o' boundary-value t, which has a rn Palticura!, ne Ploblem Cy(x) . f(x) ,xc(0,1) and the el,genvaluQ probtren we conelder.only pr9blerne fgr which there one Folutlan y euch that (r - 3 ! i9 one and anly 2 vrhele m is some potlllve solutiqna qf certain technigues ' O <m<l lees smqothness were assluted, If of ana1y9i9 wguld yield of convetrgence. We treat, amount of smooth- equatian problems as the dif,ference negh length h tends to zero. this 0(h2) convergence to y of we obtaii neEE of, the salution, . nudber. with a cortesPonding in palticula!, lower rate cases in 'rhich s o t h a t a l e r i v a t i v e s . o f y ( x ) a r e u n b o u n d e da s x ' fne e:tample of, Euch an gperator ls the BeEeel operator whj.ch !^'e tleat 0. in detail defined by of orde I (l--4) f ry(x) = -n-y"(x, - xy' (x) + v-y(x) l 6^e n < r' < l.! w e a P P r o x l m a t et h e s o l u t i o n In Chapter III to problen (1-I) with x defirred by (1-4), a=o in (I-Ib), Xn qhapier IV, we aFProxinate . (1-2) for J given b, (f-4) ' the eigenvalue and Prablem In both cases, the solutioo, Y, is of tbe forn (f-3) with nt=Y' we congider approxit$afione to the Eolution, y' af, a.problem Euch as (l-l) r\ obtained by finite-di ffelenqe aPproxiBatian nesh on an equalfy 1,... ii o p e r a t o r s , L , a l e s t u d i e d w h i c h ( in. mesh points. t at the interior , j = 1,"',t't, IJu. = f. l l (1-6a) u N + r= B ' (1-6b) w h e r e t j = I ( x r , , iE taken as an egtimate .4 ). 'ooi-nts x.7 , A qammonnethoC f,or abtaining vative tral ai each intellor Then if r B e s hp o i n t . v I/ !6 to !€place oPelator in thE Fecond-order differential divided difference. of, y€cr[0,1], Keller each de!i- t by a cen- Sv - Ly = O(h'?) (r91, p.?3i gave an exanple 9f guch a sshene aPpl{ed to the problem (1.-?a) (r-7p) -y"(x) + e(x) y'{x) + r(x) y(x} = f(x) y(a)=e ,a < x < b ,v(l)=F, ,dhere q . r , f a r e c g n t i n u o u E o n [ a , b ] a n d q i 5 p o s i t l v e t h e r e ' I t I F shgwn that irl for eucb a dJ.fference. operator L, the solu- t10n u sf tbe corrQFpanding diff,erence equatj-on problem is n l' u). - -v (.x . ) | r c n ' at each nesh point and fof i smaLl , \^there c is sone positive constant h sufficienlIv such that a1l j-nale- pendent of li, An oxaqpte o! ei.genvarue approxination raallar rfc1. nh (1-8a) l?1-l?qI for fha ^i^h was. considered by l an (p(x) y'(x))r - q(x) y(x) + trr(x) y(x) = O, a < x < b, , Y ( b )= o , Y(a) = o (1-8b) h ' h e r ep > O , p ' a n d q a r e c o n t i n u o u s , ! > O a n d q I O o n i a , b ] , lie proveC tlat, c'Ia,b], f^\ for with thq eigenvalueg of the dlfference flom leplacj.lng all differences, derivative8 in ej.genfunctionF (1-8a) by centlal eingqlu" order at eiqher (L4J) extended Kelle!'s in operator resulting oonverge to the eigenvalues of (r-8) Bulirgqh to th. the problem€ (f-8) result divided as h', h - O, for Froblen (l-g) case where q and r eaih have a pole of filst of the enalpoints. values of, t|tre dlfference ploblernr ioblen, conEtructed constructed verge to thdse of the dlfferential Under thg ahove conditions A tbree-Foint He proved ihat finite-di problen on q and r. ffarenqe the eigen- above, conas abov( aE (I-8) as h2, h - O. the eigenfunctions opgrator are L, which approxi- n a t e e a s e c q n d - o r d e rd + f f e r e n t i a r e p e r a i o r x o n ( o , 1 ) c e n a l s q ' be constructed p'-' tp'-', O"', in the folloning \iray. be a Eet of function8 i,rhich i.s linearly indepenalent on any set of three (0,1,). Let the functions points dLEtinct Then L is codstructad so that r , r ( k )( * . ) = s o ( k )( * . ) l!-ql l ,k = !,2,3 l for every mesh point in (O,I), x i = j h = j , Z ( t r i+ 1 ) . A c o n m o nc h o i c e o f t h e s e f u i c t i o n s !'or J of the form (Li7a), identical Allen exponential examplee. i" divideq ([!]) constructed a diffetence lkl the O"" He gave no proofs eqch derivative oFerator by use of and gave gome numerical of convelgence. One expects rapid eonvergence of, the solutian difference equation to the Bolution equal spaced nesh, provided the (,''-'. derivatives that the latte! over the interval of the of, the differential tion with operators conatructetl u"ing ,(k)1*; approxinateal well way is approxLmation. difference f,unqtion€ faf = *k-1, r(k)(*) the L obtained in this to the one obtained by replacing by a central = *k-r eguaon an sol-ution can be 6y Linear conbinations of For example, any function '^,ith thlee continuous can be epproxinated of lengtlt ?h by a qua4ratic (1-l) in and (1-2) witb !o order hs over an intelval polynoni-al. Fingular operqtors But for ploblems whose y are Eucn tna! 6 x - u- y € C ' [ 0 , 1 ] with 0 < v < 1, local polynomial apptoximaticn cannot be guaranteeal to be as good as orde! h3. as h goes to zero, quently, it solutions ical of the derivative near the singularity is doubtful that at x=O- probLens have such difference which cobverge as fast Conse- of a nurner- as h?, and results e x p e r i i n e n t f o r s u c h a c a s e a r e p l e s e n t e d i n E x a m p L e6 . 2 . 1 of Chapter VI. time, the use of a set of O'-' We consider; for the first which does apploximate eolutions y for which x-vycc"iO,t1, O < y < l, to orcler hs locaLly, the problen which results X. as 1n (1-4), from leplacj-ng the Bessel operato! in problen (1-l) (f!5) . *itn The function f in (l-la) The value A in (l-l-b) oper- by a finite-difference ator constructed. aE specified by (f-9) for k = 1,2,3. we consider In ctrapter III, o(k) (*) = *k*v-l is taken to saci.sfy is chosen to be zero in order to guarantee the boundedngss of the solutign. It in the ploof of Theorem 3-1, that the sofution of this is shown, differ- ence problem converges to the sol-ution qf the differential pf,obl"en with order of convelgence two fo! f sueh that - - - v - 2 -r r -L^ t r n , . i Lv,r.l. The Be€sel eigenvalue (1-4) and p(x) = x', functions L ,1..(I').) are problen (l-2) i{ith t defined by is considered in chapter IV. the eigenf,unction6 of this The Bessel proble'n so that y is of the form the solution y(x) =.E_ cr* x""^ k=0 (I-rO) In Section 4.3 we ohtain f,ixed eigenvalue a bound on the distance set of eigenvaluee of, gl0l three-point whoEe coeff,icients satiEfy .:+1^n arr.r given conditions. J and Lh ale conEislent, vergence of tbeir .eigenvalues , to in chapter xIIr to obtain values of the difference of eigenvalues one (1-2). L- fhe bound is .8. result This then one obtains of the difference con- / lhe rate of con- fufthernore vergence is the same as the orde! of consistency. j"s then applied l and the max-norm of th€ t!un- n if operatpr differeirce of I"- and the Begael operato! €hol^'ethat betvreen any probleB and the of the 8e€sel eigenvalue given ag a protluct of a canstant . ,O<x<1. This result operatorE discussed a rate of convelgence of the eigenequation oigenvalue rn pelticular, ploblem to the the pioblem lrhich results florn leplacing t.by Lh cbnstructed as in (1-9) with (k), p i ' - ' ( x ) = xk' -+' r - "l , k . L t 2 , 3 , i s s h o w nt o h a v e e i g e n v a l " u evsh i c h are convergent to any eigenvalue (l-2) of with order of con- yerqe4ce two. In Seetion 4.4r we conEider lhe approximation of the PeEsel operator. trl gt"(*) {, , = *", by a flnite-all Itl g"' fference tt') (x) = x''' oFerator l1l und 9'"'(x) as in arbitrary. (}-9), vith we Ehc{ 8 l 2 l that if = x' @\"'(x) v + 2, then the difference consistent operator vrith reEpect to a class of the eigenfunctions of all flon for any real ,l different and Bessel's v and operator are which incluiles of functions (1-2), r,rith order of consistency at least two. r?l For 9'-' chosen so that the resulting convelgence of the eigenvalues of the differ- is self-adjoint, ence opelator least dif€erence oPerator to thoge of (1-2) rtith two i3 shor,rnin section S o m er e s q l t s order of convergence at 4.5. ale availabLe ih the literature on exact representations of eigenfunctiong and eigenvalues of Bessel's difference operator of order zero. Parri8h ([6],[7]) value problen e\Jt - xr-L. dlfference Gelgen, Dressel, and constructed the exact solutions for the diffelence of the ei'gen- operatof, f,ormed by (l-9) v].th rhey sho\ted (16l) that the eigenvalues of the problen convergie to those of the differentiaL and that the eigenf,uncttons also converge (17:l), both with ratP ^F a^a\,afdon^^ , Another study of approximation of BesseLs oPerator of n o n - z e ! o o r d e ! b y f i n i t e - d i f , f el e n c e s i s g i v e n b y P e a r s o o ( : 1 l l ) " Ee has shor^rn,by consideration of the solutians tion i -1 xJ ", of the j-ntegral of the alj-fference equation, of the dif,ference equation converges to the solution representatLons that the sol-ui i ) f,omed by choosiog o"'(x) = of Bessel's eguation which is 9 bounded at the origin. he does Although the rate he tloes not detelnine of this We extend some of the above results tion. Prove converger l c e . on exact represenia- In Chapter V we PreEent rePresentations values and eigenfunctions considered in Chapters III /il c h o o s i n go " ' ( x ) The results , r ' i - ' l- , = x'' of the finite for diffelence the eiqenoPelator anat Iv r,thich is constfucte'l by ) = L,2,3. of Eo4€ nu![6rica1 experinents nunber o! the acheneg. qonstructad in ChaPter vI. convergencei ln ChaPter IV aPPlying a ale given l CHAPTER II PREI,IMINARIES In thiE chapter, problens equation we descrLbe the class of, diffelential to rrhlch our analysis alescribe the typical diff,erence the terns error, truncation can be applied, equation ploblem and deline consigtency, error diEcretization anal convergence, t We treat i., oetlnect l rnha niFFaranfir1 aibAr.f^- the Becond-order ordinary operato! diff,elential Dy ly(x) = n(x) y" (x) + q(r) y'(x) + r(x) y(x) o rrhere the coeffi.cient q(x) = @ kPlqkx--, eff,iciente regular k functionE o r(x) =*E.rnx" are euch. that Einqqlar point L on 0 5x 3 at the origin, and 1 lda :c<!1na operato! +hA xy(x) = f (x) ^r,idin boundary-value problen , x € ( 0 , l - ), flt6 J has a only singular point of J in [0,r']. 12-2al , K=2' K the differential We consider the two-point ! are of the r o r m p ' (x, = -:-p" x , ie +ha -^- 1l y(o) = A, (2-2bl we n@, tlescribe for Y(1) = B- the behavior of the solution the caae $trich we Etualy in the follorting For the case that the coefficient (2-2al of chaPters. pr is non-zero, direct of substitution v Z k v ( x ) = x Z c . x K=U lnto ( 2 - 2 a ) w i t h t t 0 yields ck for which this equatlons for the coef fi cients expanaion iE convelgent fhe value of v iB a root ( [14 ], p. 197) . of, the i n d i c i a I e q u a t i o n . Bhus, ? is given by I . r- v = i \ L - Pe fi r - 9r1e Pa' only the case that We treat with O <, sirlgular 4to P2 rtJ one of these values is between 0 and the seaond i9 negativg. anC l, tion 9rr I'or this case, lhe series < 1 iE zero at x = 0 analthe series tith at x = O. v < 0 is Hence, tbe uEe of a zero boundary cond!- at x = O excluqes singular Eolutions pf the llonageneous eguation. If the right has the forrn f(x) (2-2a) Eide of, the nonhg$ogeneous equation h c k = )t'kPoakr<" f,or sgme nonneltative real nunber n, anC +f ao I 0 and n I v. one easlly obtains the . general v s = ar< Y(X, lr cL* k=O of p,q.r and f ary condition zero if is + * k m g . zJ Dvra , k=O " (provided the coefficients ak With 0 < v < l, the enough aa kl'?). tend to zera rapidly val,ue of y(O) l i - bk can be exPre€seil in tenns of the where the coef,f,icientg coefficients n > O and bo if = B qan be satisfied y(1) 2 (2-2a) which i-5 bounded at x=O to be of solutibh L m=0. Tne bound- by ploper choice of the value of a. For Fa I 0 and the qPecial L mcv, the solution of the nontronogeneouEproblem (2-2a) has a logarithnic Eingulerity obtalng ' at x=0 if aolo. a bounded solutton the aperator + .fx"o, t of (2-1) one behave like Thus, vre lnclude ranges of values F?' rootE af the indiciiil and the ather, of the forn *t1po"**k ary condition as x - o. We incluale functionE m > y+2 when 0 <- v f l' the case m-/, the caEe ao=o. f,or aPPropriate real ane of, which is negative l?^2al only for O 3 v < L q1 and ro which yietd O < v < L. Hence, for (2-2) whose Eolutions We stualy Problens ax". * Bx"-' .) case that equatj.on v, satisfies f on the right 6ide of for vthich m = v +l er for which Eor euch Problens we uee the bgund- y(O) = A = O for the caEes that O < v < 1. 13 2.2 The Difference we limit our stuily to unifolrn Operator meshes on the l-nterval L O , I J w a t h n e' s n p o l n r a x 4J , x r= j h ) , j =0, . . . , t { + t ; h= I / ( N + I ) . . | | for any function either DI - , w h e r e t . or,l , the interval f defined on tbe donain lo,fl or the Eet of nesh is defLned by ll I nax lf(x, l. x€D- The dlifference I operatora L-, nhich we treat/ are of the form , j ' IJLur = a u -r + b.rul + c{u. . r . J J r . ) + L (2-4) wnere u;, J = v t J ' t . ! . r N" have Epgelfic i l, ls any sEt of reaL nunberg, and choices of the coefficlents of our choicep of coefficients alepends on the ne*t length 1,.'.,N, a,b,c a, b and c' Eacb in subsequent chapterg h. For a given rA as in (2'41 , we can take the Folution (if ii (?-54) exisEs) of L"or f(xJ) . J = 1,...,N, 14 u' ^ = A , u - - - . = B (z-)D, AI+I at mesh Points as an apProxinalion y(x) of (2-2). T h e solution if, the tridiagonal of B x N natrix, x = xr of the aolutign J (2-5) exists and is unique A, with elements = a - , a - . . K K.I,X = C " , K k = 2 , . . . , N , iE non-aingular. . Definition Diffelence feren 2.3 RelationE 2-1: O rator6 For a given €et g of f,unct ions in the alonaln of S, the truncat{on .9-:9,, 1, [r,rith respecd t o t I o f the opelators t anal L, i8 alef,inealby 12-61 7j (h r u) t 1u(x3l - Iu(xr), i = r , . . . , N ,u € t . Def,inition Fot a given set s of t? the oPerator8 t anal \ dq|ain flrlth 2'2. respect to 3l if o! f,unctions in the are s a i d t0 be consistent and I t n l l T ( h r u ,l l = u h'o ru(&. Consisteot Fchenes are said to have oraler of, I--eaet! [Eag! resPect to U], tf and only if , l l r ( n r u )l l - - o ( h P ) ash-0, u's' Definition 2-3: The aliacretization problems (2-2) anal (2-5) e.(h) Eu.J \^rhe!e u ie the Definition -..-:+ ls definetl by ,j = o,I'...,N+ 1, y(x.) J J solution 2-4; error, of (2-5) anil y is the solution of The solutions of probLems (2-2 ) aad (2-5) are Eaid to be ggryeIgglE lf and o n l y l f l i n l l e ( h )l l = o h'0 Convergent solutlons gL LeaEt E if are gaid to have order 9f, conve!qence and only if l l e ( h ) 1=1 o t n P ) , as h - 0. r-\ , CIIAPTFR TtrI APPRO)GMATTONOF SOIIIIIIONS OF A BOIINDARY-VAL9E In this chaPter we Etudy a trDrticular boundary- two-point : 2 -x" value problem ryith Bessel'e olt€rator l = :;t -x : + v'' ft f,inite- rn section 3.2, vre ghon that a cordnon,three-pqint differEnse apProxinqtion bas oraler of consletency Lesg than I two over a clasE of functione contalning the solution of the l^ r \ dif,ferenttal Equation problent in qontraEt, this sane differ- ence apProxinatlon diff,elential' used for problens in\ olving ngn-singurar operators yields order of conslstency two' ive a new. threE-point differ:l:e 6how in Section 3.3 that at' l€agt problen' is shoivn, in Section 3.4, wj,th the faqt ' arl have o!'ler {'' that the galution tlhe ll-near diff,erence to be nonotonic ' and this' t2l are coneiFtent i and {'' an't of consistency two over a cl"asg of f,unctions contalning of, ihe diiferential . I antl I2\ aPeratorr Ia-" with opelator togethdr order of consiqteney two (ges!!on 3'3), i's uged to Ehowthat the ali€cretiaatign errar lF arder h?' tle 11 In tanl.te ,o < x < I iv=t Y(r) = A y(o) = 0, (3-lb) where J ig the BesEel operator iy(x) (3-2) = -x'y"(x) defined bY . xy'(x) .+ YaY(x) for sone fixed , ln (0.1). Particular problenE which are of, intereEt, and for 14hlch one night ltish to attenPt aPproxination by finltedj.ff,erenceE,ale Be6ael'E Eguation ( 3 - 3 a) iy = xay ( 3-3b) y(o) = 0, y(l-) = A ,O<x<L qnal the BeEsel eigenvalue (3-4a) Jy = Ix-Y (3-4b) Y(0) - 0 anil lra want te include prqblen ,0 < x < L. , v ( 1 ): o these gFeclal eaEes in our analyeis, The solution of the nultiple (3-3). of function tk .rv (x) = xl L .tu(I{x) sideB of right ZR - ^ K=U of and the eigenfunqtiong the functionE , ' 'k E c^, x--' . .rr (3-4) are constant muLtiPles of (3-3a) anil (3-4a) are' in our analyEis to incluae we lrould lihe theref,ole, (3-4}' The the F!o- - v+2 anal x function ducts of an analytic }', of eigenvalues, all for I k I f( v+k+l ) 2 v + 2 k functions f of, the form f 1x) = *Y i a,.xk. k=O " ao I O, thEn.the Eolution of (3-ta) has a logaritlmic But if at x=0. Eingularlty Bence, we conei''ler only right sides f Euchthat*-Pf-Oasx-0. The generaL Ealution of bhe homogeneous equation n ly(x) - 0 v < + bx-v for any conatants a and b. 1.9 ax \^'ith a f aE ln l Fo! Prablen (3-t) (3-5) with ao = O and the boundary canditj'on Y ( o )= 0 , + f t h e s o l u t i o n Y ( x ) i s (3-7) glen direqi 11= !,13tt,.. v 9 . , k y(xl =x L cLrt k-o ^ gubstltutlon ,0 < x < 1r yieldB co arbitrary and ck = lk' +zv]r) \, The value of co is deteg$ined by the gqgond L9 boundary condition = e. y(1) The aerres (3-7) converges if, antl only. if, + 2l,rk) convergea. ,_E,a,_(k" K=I K Our analy6is appliee to problons (3-I) right Eide has the farrn 3 v+N s + S(x), *!1u**-''' f(x) = ,oh.r. ge*v+4c4to,rl, solution; that x-v-Agec4fo,rl. of the fanily we denote such a function &, that the aa an element 3 .,.L l v l v ( x ) = -K=U E - cK- x " ' ^ + c ( x ) , c ( x " " * c * : o , r - , o < x < r , ' 3.2 The Difference A conmon technique for to a differential a difference J is to replace alivided-difference then on a unifonn nesh (c.f. the difference and for J.., c1 = 63 = g. v ' Equation Problem obtaininE operator by standard O(h') (3-2), f, iB, W e n o t e t h a t \ T . , ( f lf o r a n y p o s i t + v e , v ' tives Fo! this *i^"**'+k + c(x) where cex"*c*lo,l]. (3-s) r= ie o s x < O. y, of tbe problen ha6 the f,orn y1*) = tion in which the chapte! operator, S-', I). approximaat} deriva- approximations to Fo! I defined by obtained in this way is - u i _ . rr u . . , u. , - 2u. + u.rr rrl r-r (3-9) {"u, = -x2l --J-=!----------J---Js I : - x. ri i+] }J n * I .., "jL h" 2h = (-j' +U) uj_l + \2)z + v"l u. * (-i" -':j) u5*t, t,zu _j. j=r..,.,ti. 20 y € r,\d h e re 3 ts . gi v enby ( 3- 8' l . F or s uc hay , : | .l . , (3-10) \-' , r{xrt = ry(xj, +h- t-i;y' -lxj, (t)-z.y + o(h-), v ^. v+I. Sinca y(x) behaveslike x' + 9(x''-) where xr , < t < x..,. I--r l+r then as h goes to zero and j remainE a9 x goea to zero, f i x a a l , w e n o t e t h a t y- ( o ) ( * , ) - 7 o ( n v - 4 ) - y ( 3 ) 1 x l. 1 = o ( r r v - 3 ) . "nd Therefore. tr'l L ' - ' v ( x - l = t -v ( x l. ) + oth- ) ,h-0, j fixed. Away fron zero, the derivativ. gs of y(x) are bounded, Eince 1r-r H e n c e , f o r a n y p o s i c i v e n w n b e rc i n y(x) is in c"(o,f). t 1 l (o,r), {"y(xr) By (3-ff), I and {" l 1 l order of consistency Eo Ehow that u€e th9 function j h-0, x. > c > 0. = ty(xj) + o(he) , are conEietent with reEpect to &, '.tith at leaEt v. the above order of consistency y(x) = "v. At th" firgt is exactly v, meEh Point, = r, 4'', 1g r . ( r ) *lv = l - 3 ^ z v - L + a + u ' l h Y . n Tbe value in the brackets non-zero. in the above expres6iotr j.s alwal's Since x- i8 a golution of the honageneous equation, 'j:j 2! ix' 'r r1l = 0. at j=l Hence, Ial-' x- is equal to the truncation n and so there exists at Least one function, for which the oraler of consistency for any function vttose selies For example, this te!m. positive In (4-l), y is also exactly includes a nuftiple of x-as a i€ true of y(x) = J,,1).:'x; for any v real tr. Chapter IVr we sho\ir that the eigenvalues replacing it oamely xv, y. Since the is exactly = x', is exactly v for y(x) order error the fo! the of a diffelence eigenvalue ploblem problem obtained pro- differentiaL operator blem by an approximating difference operator, with bounded by the order the eigenvalues consi€tency respect of (4-l) of the dif,ference to the eigenfunctions form .1, (tr-'?x) for some ),. the b!, in erro! eigenvalue converge to and diffelentialof (4-1), v{hen the operator of with which are all" o,f the difference operator used ( 1 ) is r,.)'', we hence have a bound O(h-). truncation vergence nurerical of error apparently the ej-genvalues experinents Ihe reason tbat order of consistency explains at \irith di.fference that the usual difference ..ra J fail least apploximation the relatl-veIy anal eigenfunctio!1s (see Chapter r,fl) This behavior VI of the sfolf con- obser!'eC in Example 6.2 .l) . to be consistent tr^ro, rtrhich is the to a non-si-ngular approximation is wirh order obtained operator, constructed in is such a way that where p(x) that at mesh pointa, is any quatlratic the values of l p ( x . ) , equals polynonial, {1)rt"rt i8, l,\*,o(x-) = Jp(x. ) to yietd One expects such apProxinationB soLutions which alo behave tike quadratic polynonial Poltrnomiatg loca1ly, on equally interpolation has local accuracy o(hs). cannot bs approxineted good estimates of since sPaced mesh But edlutions of the form (3-?) locally to o(h3) by quadlatic poly- nomiala near x=0, . In geneFat, a three-Foint difference constlqcteal to approximate a diff,erential oPerato! can be qperator I for r t l any given set of three functionE l T \ ' o"')' linear ly i F d e p e n d e n to n t h e € e t o f n e s h P o i n t s x , = j h , j = 1 , . . . , N +1, Eo lhat e Q \ , e p l I c R " rl = x e ( k ) t x r ) , j "n{e(t), = 1 , . . . . N ,k . Given three such functions. can obtain the coeff,icientE of the difference operatar, given by u. = cluj-r * SJoj * TJuJ*r by sgtving the system of equationE t J ' L t r . . t L \ l 1,2,3. 23 ( 3 - 1 2) ILl 1Ll lLl d . o ' ' ' ' ( x . - ) + 'EI - r p " " ( x - ) + y . r D ' " ' ( x . , , ) = l o ' . ' ' ( x . ) , k = 1 , 2 , 3 . I when the solution difference k = 1,2,3. is in class the system (3-L2) leduces in two unknowns. only two of the function" *', *"r, usealte conatruct. the aPproximatingoperator. and x"". This operator, . I y+k= x - " I- , lk I Note that when j = l, l)\ of a, we apploximate I by a operator constructed as above with o""(x) to a Fygten of three equations thiE point l l+r in order to approximate the solution In particular, (3-l) I r,thich r,re tilvestigate Hence, at *'*2 b" ""n . v We choosexin this chaPte!. We uEe the notation we ilenote lV f,,-'. (3-l3a ) L ( 2 ) u . = t 'h. {- * ' , * v + r , * " 2 J ' , ( 3 - 1 3 b) h I f,of any €et of nqnbers ,j = 2,...,N, l I u j] . ComPutation of the c o e f , f i c i e n t s b y s o l v i n g ( 3 - 1 2 ) g i v e s IJ\ (3-l4a) t?\ r t r - ' u , + ( 4 u + + ) [ q t - l { v u eJ / 3 ( 3-14b) 2,, -j . - 1 1--J-1Y 'j + 1' j = 2,...,N. -Ln teqns of x. = jh, this xi ..' . can be written ) xi ,r . |. ,. - - - ) , (-,n I ) u.. -j = --JL \ *, r ,'/ n l-I ^l " e ^ J - / xi l ,v -2u.+i::a;u., \ x.r1./ I J ' r - J+I r = 2,...,N. we define If thE olterator x bY y(x) = -14y"(x) - x(2v + I) y'(x) (3-15) then lxzy(x) = x'Xy(x) . each derivative If ,0 < x < L, lte aPProximate X by replacing by an O(h-) divided-di fference approxina- 'rre obtain R- given by !lon, ( 3-l6a) -u. _ + u. - \oi x.(2v+ tt( -Jffi) - = ( - J +j v + L J ) u , - t + 2 J r u , t ( - 1 " - j v - l j ) o j * r , j = , we note that for any eet ot real nunbere [u.i' Irt u I ,I jt- ' j - u , = j - Yrvr uJ . , f , o r j = 2 , . ' . , N . Hence we night exPect J Itl I{-' to be a good approxination a p p E e x i n a t i a nt o . x a n c t [ o , r ] . to on 3 since (h is a good 25 A6 We noted ot 4"", above, the = i-K u- : f=2,.. operators ,N. \h and h "(2 ) . r " re Iated f o o b t a i . n a n ope!ator ' for r t l rrhich tlriE correaPondenceholds even at j=1, we define Kl" {rl ( 3-15r) xi- 'u, = *i'oji)[r*'"lr] = tn, + I For three-point alif,ference equation ProblemE $ith values 9f u at the boundary Points an eqqivalent trialiagonal ing leNna nhich Ll 4) (u1 - u2)/3, j = 2 ,' . . , N ' r ( 2 ) u . = x n- ol . h ly natrix j=0 and j=N + f' Problem. given one has we plove the follo$'- we need in ctraPter V. The matricee A and C, equivaLent to the dif!L ," rrt and K;-', r e s p e c t i v e l y , a r e s j , n i l a r . li" f,erenceoperators *J x2 t l The matrix c is non-singular' and FII eigenvaLuaB of c have pos!ru9_1,!: itive real part. natrix D lE alefined by o = diag(1,2Y,...,NY), glen c - D-!AD, fhe natrix c ls irreducibly wblch can be Feen frpn (3-16), all a) of, its therefore, eigenvalues have lto8itive 1 " . 8 ,p . 2 3 ) . diagonaLly dominant, c i5 nonsj.ngqlar and real Part ([l:], fleorerr 3.3 Truncati.on Error Anal-vsis por X anal T,erhna3-2: ? Irl d,-' Si'r"n by (3-2) and (3-14) and u ( s s o t h a t u ( x ) = , - D ^ c , - x " + r+ c ( x ) , G(xv+4c4[O,I], K=U K r1-l?l ( (J t - o,1')l u(xr) = c1o(5Y+t) * (".*ltl {2)t ot*rl = (.s*!*r* *l*21o ( h ? ) , J Pfoof: ^f + F o r u ( x ) a s glven, * Y + 2 )o ( n 2 ) = 2,...,N. we have, by the cons !ructi.on Itl ?.r-' n 1r - oj')l u(xr)= (, - {2)r r*!^ .**f*k+ since f,xP+k 2 l v 2 - 1 v +k) ] r.,*k c ( x r) l anar,l2)x!+k= - k+v 3 t + r + 4 )G - 2 K ) w e h a v e & . n a l ( 2 ) o f G ( x t ) a r e b o t h o l h v + 4 1s i n c e c . * ' + 4 c 4 [ o , l ] ; End hence t.r - oj')l 't*, l. ril .*lv2 - l, + k)2lhv+k - *io "* $t'*rl tr-e*t nY+k+ o16Y+4; 1 : { - 2 v + I ) r r - - ' * .o j1ro, + t) + o(rrv+4). = c1h P+l v+I + (, c a l l + xlrz) o(n?) 21 Hence, (3-17) holds at j = l. Since K is conatructed n , defined by (3-r5), the derivatj-ves by replacing by the usual divideq-di fference app!ox- then inations, = ( , ,-( \ ) "t*r) $ j * l, ... * r r , 2 . , (t 3* r)l * ! n 2 ' , ( 4( 6) ) + o ( h 3 ) , "N, f o r x . - < t < x . . . a n d f,or any f,unction v(x) ( c 4 [ o , l : , I-r Jrr v(x) iq given by I in v(x) = x-Yu(x) - .nrtk + *-rct*) Jl , rf 0 <.x < l, w e n o t e t h a t u ( t ) ( * ) = ca + xg(x) ' f,or sonE function g in (a) c +[ 0 , 1 ] a n d. v ec [ 0 , r ] . Bhis followg 6ince c r x v + 4 c 4 1 ot ,l . we have l'!ar4 this ( - \) v ( x i ) = c , x . o ( h ' ) + x l . o( h ' ) , gince i;'s111 = l "'N.,(") "na l ) - L t , . . 1 L 1 . r.l2) xYv(x.) = x;\v(xj) fo! ac noted i,n Seoti0n 3 . 2 , w e hqve ($ _ r. (2) I u(xj) - x ! t r - r q tu t r r t =( " -. * .l ' * l * x . Yl * 2 1 2,...,N, ThlE ee$FleteE of l,enna 3-2, o(h1), Proof, that Ll2) is a I'{onotonic oeerator 3.4 linear A non-singulatr nonotonic since, if arbitraly u>O for Tg>O imPli.es that if operator T, iE said to be a nonotonic operator, A linear u in the donain of T' inverse t{hich has a Posltive operator Tu = v>O then u = !-tv and if T-'>0' is then T-1v>o, It !9g43.-!l: l)\ >o for {-'v j = 1 ', . . . , N a n d v o = Y - r.r, = C , N then v.>0 fb! j = 1,...,N' .) the natrix !g99!r.6inee that itE ' inverge lE poeitive Ehe natrix tonic. to a matrix which is ilreducibly dominant ( Lenrna 3-I)' diagonally I is sinirar r{2) operator A equivalent to the difference 4"' t" we show non-singula!' and therefole that t2\ L;-' is ncno- Al1 has colqmns wittr elements ukj = ttjk), 11.l w r r e r eu - ! K l, J = 1 , . . . , N , is tbe Eol\rtion Eo the Problen J (3-I8a) l ' ) o j *)' u j *) ( 3-l8b ) J=r,....w, N+.l 'r,.ru 6jk) = r ir j = r..na ojk) = 0 is j I k' since = 4'' ' {' ixy it = o ,rl ri'aB can8tlucted r,i" so that - v $x: o "na totto"" t h a t u . = * Y i " o n . s o l u t i o n o f ) f "Y, u = O. Futhesnorer x ll e a t i e f l e s t h e b o u n d a r y c o n d j ' t i c t ' l 29 rdc have that Therefore, u o = 0 . (k) = a xv. u' for j = 0,...,k, some conatant a. a function If f(x) mesh, then the pair i€ not ialentieally of function€ *!..ra by dlrect dlfference : i -U aubstitution *f -. r independent on the meBh. rf ) eguatlon which iE satisfied ) on the are l1nea!1.1, f(x.) xl f(x.) satiEfies l l n and slmplification, L,y = O, then - we obtain the following by f! v - \ 1 f . . ,+ 2 ) f . - ( j + v JJL congtant J l) f-., " = ( J - y - L ) ( f r - f r _ , ) + ( J + v + ! ) ( f .- f . . , ) = 0 , J J L J )TL j = 2;.'';N ( j + v + L ) f o r j : 2, end b<v<I, then s i n c e 0 < (j . . l+r samesign. teke f] AlEo, f. l - - f. have the l+t l f i€ a etrictly = l a n d f e = 2. inc a9q 9i nt - f . _ l and f, JUnCEl'On t monotone functj.on T h e n f i s a poBitl.ve, EhuE, nith thi€ f, I J - r U , C a n !e written a s lr.l u l-" l r(ilf' = |. I t j r r t [vb + e r J ] jsk J:k. strictly of j. Wa nongtone the general soLution ef To satisfy b = -cf--.. the boundary - - - _ _ - _ - - , . - rlll N+] r condition For both definitions N+I at j = k. we take requj-res c = that a.:.u of utT' - f"*r). " ] l(fr. = O, - , r. to be consiscenc (2 (k) r h e f a c t t h a t r i ' / d) 1 + vx + 4xl (fx - f:.*r) ]-'l wnicir [t'tv(t' fN*t > f,k. The coefficieot a is positive "ir". is equal to the product, c(f* - f**r), of rwo neg- is negative since it atj.ve nunlcers. Therefore. j > k, we have t 1 z) u).', = (jh)- c(f . - f"*r) J this wtlen > O. J conpleteE the proof o! Lerula 3-3, An Elror 3.5 We define the two-point I t t operator difference = tt*.1 {2) o. ( 3-I9b) uo - 0, I)l where Li-' show that "utr solution, y. of (3-19) cgnverges to the solution - The solutLon (3-1) with We f,irst af sj=2(jh)Y- (jn1v+r 0. (3-19) converges to the order of convergence at least define of Eolution is in g with cr ' y€5 and cl = 0. Proof: the In the proof of Theorem 3-l? we as O(h-) when the latter Theolen 3-l-: problem for = the sol-ution of ^,- e, boundary-value (3-14) . is aE ln Bound wir:.cir LE analogous t o ( 3 - 1 ) , b y 4-', (3-rea) (3-l) O for j = 1,...,k. uj*'t the nesh functj"on 9 by j = o,L,,,.,N-+1. 2 when that We note - r. t | ,r'l +(4v+ 4l (ih) L"'q.= " o , l " , : - r t z " ! ' - * 1 * r )= ( 2 v+ l ) ( i h ) v + r , j > 1 ' So g is a positive function on J = 1,.. ',N qrror, the qigcfetizati.on J t2\ r4'hich Tr;-' t o' "j e, rE ) = 0,1,..',N+ r' 6 . = y ( x . . )- u * ) for J of the problem fhen e iE the solution I n j = 1 ,' . . , t r Eo.0: . N * 1o o For canvenience, we drop the palanete!5 of, ? ' throughout th€ re- y' nainder of lh9 proof, Einc€ they are a!'ways h and FY Lirnrna3-2' we hav6r elnce c1 = 0' r. = 11" o1n'; ' We define s bY oJ t -ilt _L xr J iE 1,"',N' r. and theref,ore o. = o(he)' ) 7 vte note I that of e is also the solution - frf i * ,^, 1 ,n( z ' gl .= ol . j j= , r,...,N, e ^ = O , e - = 0 . N+I --J- w by w. r lloll sr -.r' wedef,ine ) fo! J /tr s i n c ex r + I 4 ' ' n j ^ J J j = .1,...,N, o,l'' ", --_I_ v+1 xi > l l o l l - o . > o J , j = 1 , . . . , N . Theaeforer by LenunE3-3, lte have lle define v by v, = lloll J 9, + er, we once again obtain ' J J 1 -- j9 + 1 . I i - ' v.i > 0 J = 1,..',N , and, by r.emna3-2, (3-zr) u . = l l ql l g . = e r > o J I t t, J J , j=1,.'.,N. 33 combining (3-20) and (3-21). we have: l ;' lurl'llole lloll llsll j= r,"',N' But since lloll i" orderh2 ana llvll is 2, tnen llell = o(h'?) is and the Froof cornPleted. we observe that y, of (3'1) is if -)x-z-v f(c4[O,I], of, the necessaly form for then the solution. Theorem 3-1 to apply' In tbis eiqenvalueB Qf the Beasel eigenvalue ,\ *,- r 4 1 ^\ ,, to the chapter r"e cbnE'iiter approxinatlons e ' ,( ^t i* 1 = - x € y " ( x ) *J PlobIem - x y ' ( x ) + r " y ( x ) = A x - y ( x )' 0 < x < I, (+-tE, .,ta' Y\tJ, = u, Ytr, = v' . We tahe as eqtirhateB gf eigenvalue8 I ot (4-1)' the eigen- . valueg, A, of i = 1,'.,,N, , (4-2b, uo-u , tlv,' =-, Where 1,* i'i a diff,erence I it-J, oPerator glven py L' hu . = . 4 . u . . + p . u . + 7 Jr uJ .' r, r , J J I I l"r j=1,""N get 9f valu9g q'P'7' for anv Eet cf nwlb€tF u., ana!gQmegiven si.nce the ei.genvalue we note that probtem (4-2) homogeneousbountlary condlitl-ong. the coefficients y,. can be set equal to zero. (4-2) tridiagonal -*-I x. r,,. rr natrix Problem Problem fpr the NxN A whose elenants rnat ie, if ot anil Tlren the eigenvalue to the eigenvalue ig equivalent has are the coeff,icients of A and u are an elgenvallre an'l cor- J ie€ponding eigenfunction of (4-2), then Au = A.l _ . t l The vector norrn I l. I l. defined bY n N l , l l "= ( .KD= r- zr: rIt used throughout thiE ohaFter. A natrix norm €ubordinate t h i g v e c t o r n o r n , i e , f,or any real g!4nnetric natrlx A, l l e l l " = l r ; a *| , where tr$ax a9 art eigenvalue of A wlth largest magnitude. We nQw Prove the follort'ing. Lenna 4*11 !'or any N x N Feal natrix '.t.i.'-|- A, if there exists |l matrix oefinite a Dosrllve . then the eigenvalues . .real nwber nL!rk t.l< D such that .N tlrll=f DAD _ I and any non-trivial N-vector symmeEllc I and tor A are rear' "f i3 any y. - 1r 3 IL.IP49i13rJ-&.J.-La llDYlle Proof: gince, the elqenvalueg vector r - bY hyPotheers, [ll.J ) is B = DAD of A are a1t real. lor any non-trivia I y, l|te €el (A - II) (DAD . y, l I ) . D y = ( B . AI) PY - eigenvalue o f A , t h e n (B - II) tf I s}4Nnetrlc, is lnv€rtible antl Dy ginae, hy hypotbeeis , ( t (B - II) - t- j.9 evnmetri'c, we have l l o v l l "t l l ( s - r r ) - ' l l " l l o rl ,l I < mar<-/i l-i-----i r \ rr--rr s lllr' ll" ./ mrnk l \ - ^ r I lor 1l . I A - I I are non-zero by and mi5 F u r t h e r m o r e ,s i n c e l l n v l l a K we obtain hypothesis, pvll" l l n r f l _ a=--TE'1-1" ll(pA?;',,rr) (4-4\ mi.nu I\- Il 't1frfl; = If proof y. any tr and any non-trivial holds for - Il of A, the rninU l\ I is an eigenvalue = o, so ( 4 - 4 ) Thie completes the of Lelruna4:-1' For any N x N leal Lemma4-2: matrixr tridiagonal A, for \rhich the product a]<,]<-tat-tiX is positj.ve, k = 2,-",N, natrix D such that olp-' is there exists a pogitive definite tri c. syrlune ror any n o n - s i n g u l a r N x N d i a g o n a l n a t r i x D , !I99!: \^'e have, since A the kth tliagonal elenent denoted by {, \.tith non-zero t h a t B = DAD-E: is tridiagonat 1s tridiagonal, with v-" given bY elenents -l< " k + t ,' k - -k+r,k ' dK" k = 1,...,N - If bt ,k= K+t K,K+L, Positive numbe! and take elenentE af D to be d, , (4-s) F* b1,1,g = a11,1t I, we choose dr to be an arbitraly the renaining ' bk,k*1 t:.,k v-t .k k= I,.'',N-r, 4K-f , . = ( : * ) ' d ' - , K+L'r then B is 4,2 . flnite ical We now examine differeRce in Chapter I1I, completes This s\4[netric. behavi.or aPProxinations (r) Li-' :r t2) and L: tr proof of Lenlnla 4-2' Coef,fiei-cnts of avLo lhe the of the coefficients to.lj, of namely, the two s t u d i e d operator difference For the note that the ratio j = 1,....N-1. n r.re ,r".q to obtain of, coef,ficientE, 5, 4r,r' aliagonal lhe aynnetrizing rtl lr-r-' , g i v e n b y ( 3 - 8 ) , D is natlix tl4 = . ' +, ' 3ri / 2 i' "j*i A s J { 6 ' t h i 6 r a t i o of polynomials + tends one: t2l The correEponding ratio for the operator Id-'; which is Yt j-l--Ll--| ( j = 2,..., d e f i n e t rb y ( 3 - I 4 ) , i s A l : = \ F1 = )I 2 Y + r j - ; - : r ' , Ae j a o, N"- l. i+l this ratio ators whieh we conaider.as ter l ia\ the ratio ale Euch that Y; --..)- 4.., wfrele I / I i \ l+r = l. lF €Oqe v r(J) , algo tends to one. All thc oper- aPProximatlgnE 9f I in thj's chaphas the f,orn 1 = J....,N : rr reaI nunber Bnd r ( x ) is a rational function qf the forn ( 4 - 5) (x + e').,. (x + as) r (x) * ( x + b r) . . , ( x + b " ) foF sone poEttive integer s and aone sets o f v a r u e s f aK" l , ;* 39 suctr that ak, bkt -2 fot k = 1...'.,S. [l*] night examine all we derive Euch operators, for operators the eigenvalue e€tination In order that we elror bounds on lthich satisfy such a condition. 4.3 ErroE Bgunda for Eiqenvalue Estimation discussed in the preceding l.-t /. i rl ;- .j = = ( f i , r ( i ) = \/ l : if vrhere alr,bk > -2 a\d L itive of the folln section. For any IJ- aE in !g@.31! opelatol6 for We now prove the following (4-2) which is such that s (j +aL) J r.nrri14i' some leal o' j=3,...,N, nunberr there exlst Pos- constants cl anal C a such that c1k2+!I 3 4 " ""t2*t 3l99lg: From k = 2,...,N, , d " ) i s as in ( 4 - 5 ) f o r A , t h e n a t r i x where D = diag aEEocialed with , l x. I - , and m ( 4 - s ) we have b.), K n K We can choose dr to be any positive it nunber and we choose to be q- ' 1 6^ L / 2 - l = /| a z: z ) : rL , - With thi6 choice, . r . then d! = 2' and hence k l4-7') 4* . = x " + - ., o 4 . r(j), ., k=2,...,N. B y a w e l l - k n o w n F r o p e r t y o f t h e g a n m af u n c t j , o n ( : I 4 - - , p . 2 3 1 ) , .(x+Ir=xr,(Xr,hence k -! -!r , tp + a,) = r(p +k + arl / t'la.\, and thug I (4-8) j!3 r(j) = ! rrr;r+ai) 1!riffiffif{t'ff l ' ( b i )= - ,!,fsi#r ,i,itti*ifi ' o ak, bk > -2, Since, by hypothesis, index I is sorne positive An inportant whj-ch follows fact constant the first K. from the theoly of the gammafunction, formula ([lO], fron Stirling's product L'ith p. 254-255r, Ls = i"-b(r*6.). +!++ r(l + D, l ' vfhere {6.1 is a Eequence of valueg which tends to zelo as ) j - o. k i!3 Applying (4-g), thiE to we have a-+.,.+ a - b.-...-b s r ( j ) = r q (r r "tt+o*), I n where 6. r O as k i t< t. If we combine this result with (4-7), we have a i = r o . z * t (*r o * ) , I{l!h a choj.ce of cr - K i[f(l k=2....,N. + 0k) and ce = K stP(I + 6k), the proof is conplete. LEnma 4 - 4 ! F o r y- l. = y- ( x . ) = J t f l * . ) , v I J any real poeitive that there exigta I = 1,...,N and nunber trf and D = diag (d1,.,',dR) a nonnegative leal such number m and Positive ; ' a ) numbers caand c{ such that csj^"5drrc.j"' , l=r,...,N, there existB aone positive con5tant K such that KN"''' fqr h . I / N+l sufficiently small, llOyll" . Furthermole, nrl",, for any vectqr rr, I lDwlla < crtl"" 'l lwl I, proof! we first examine llDylle. we frave N N N ' llDyllS= r.Pr9i vi . ,.&zzai ,i . vi { r.3rz: *,,lll"* ' ^ > ^?rNzcrZ[ qu! \,re nole that if we let N t ..4 kAt,/p ,k . N - .r, tha! is, the meshLbecone ama J.Ie I, u*n r ; " = l [ y ( x )] ' a x = r r , and It > 0 eince. by hypotheEiq, y is *r,(Ilx) and )\ > O so tnat ly(x)13 ie positive except at a finite nurher of Foints in | < x < L. Eenca, if we chooee.h small enough, then N yi b : klt. If h is ehoEen that snall, theo r.sczz t l 43 llovllB = "3(n/z)2tc*rl ,Az, vfl r' ' og(!)2t*rKoN2**l 'mererore, ' for l l D y l l ? : K!f- AI5o, we bave N N E, {"K wfK < ma:<. I lo1|'ll" = ,K=I 4'j( .k=IE- t( - N" wl lrl t"= K ","-..1 = a ? N 2 t * 1l l r , l l ? fhis cdnpletes the proof of Lerutla4-4 l.rhich hae n coeffLci.ent€ suqh that , i*u* ., rlE;/ , J - 3 ,' ' . , N , vrhere a,-,b,- > *2 and 4 ia sone real nunber r and for any K K eigenvalqe, (4-l) of I, and cqrreapondj.ng eigenfunction, a y(x), if ,t + ke(at- bk) : -2 and the veclor r is deflned by " i- = '| i ?1 t \ - t'l y(x.) then for h aufficientLy *i\l\- small, r l < c l l rIl , t J - L t , . . ' L ! t where c is soBe lroEitive .N are the eigenand [A_J;__, ',< K3I constant va1ue6 of the trialiagonal nagrLx A of coefficients "t h\. '1 Proof. By Lemm€4-2, we know that there exists a posA. we define the diagonal matrix D which sFuretrize6 itive y Dy veccor ,r y = (y(rr),..,.,yh)), y(x.) =,tu(I'x ). a-t, tnen, by f,ernrna I (4-e) nirI.r -lAK- trl 3 since f = 1a-tr1)v' ay Lennt 4 - ? 'F1r6ra avi e+ h^a.i +i rta g (a" - b. ) such that consEancgc1 and ca anal n - t + -K D=I-K K hrt - n+2 c ,. k " ' . - s d K : s cq k....- Bul by hyPolhesia, , k - 2,...,N m + 2 > 0 so that ne can apply Lenna 4 --1 to obtalD (4-10) l l o y l l " t r o t * h, llo"ll, . ." f,or aone conEtant I( and h sufficiently "t*L smal1. ll"ll, (4-9) and (4-I0) e ean conbine to obtain ni\l\- rl . ?l lrll =cllrll. lhis conpleteE of Ttreorern 4 - L . the proof 4-1 to the o_p e r a t o r L (n2 ) - We now appLy ftreoren Corollarv diegonEl natrix -i1, f,or any given f*!e eLgenualueE t n a l 1 = 1 o r c n e E r r - 4-1! A af coefficiente eigenvalue tr of of -* ii'' (4-l) are auch that, ) and for h suff,iciently snalI, min*lr1+l = 01rr')' Proofr We have ghown in Sectlorl 4 | 2 t h a t for the operator {2) . 7k-t ok /k-l\ \ k , / 2 v +' L 5tgl.I. k -y+ lt For thie caee, in gheorem 4-l we have AIeo, from leruna 3-2 = leex!+l+*f2) o(r,") , j = r , . . . N u11-y G-il2)l o t l l 6c,r u{f with cr=o, thi9 c6=q. BUt all f,orm, and further, Therefore. all eigenfunctione o f ( 4 - l ) eigenfunctionE are of are such that ' l7rl= J | ! ^ r" -1,,r l;'l-tr-\ i t 4 --r-- r| - ^rlz\ , ulx{, | = vtn, t 6 , l-r,-..,N' J and Theoren 4-1 imPlieg rnin ll -rl = o(ha). K' K ttlis cortrpletes the proof of, corollary 4-1. See ExanpLe 5i2.3 in ChaPte! VI for nurnerical resultg of using the operator eigenvalues of ta\ to obtain t{-' of the approxinations (4-l). 4.4 Analyeis of S_!re!,!g_3Ig9E_ for a CIa€8 of Difference Operator6 rn t.}}lg seclion, rre 3!udy t}|e behavior of the local ,v u +-,o(x) 2 r, truncatlon error of, I and an operator r,'^tx-,xfor I eome functian in A[0,1] with @(0)=0 and the edditional rt resttriction that the eet x-, ent on any set of three ^hAr'+^r (4-rt) ,. f*u *V42 n distinct 1 ie t L of independ- @(x) is linearly Points the in (0,1) . forrn 1 1 f x v , x v + 2 , o { x3) . , , = o r o i - 1 * F i u j * r j o j * l f,or any get of, real 7j raf*l tY \^t rtL2 x-'-, are deternined nunbers [u,] as in Section and coefficiehts 4., 3.2 by ehe equations /3j, The 5 {*Y,*Y+2.c{*) I [a*l . v ILtx I 'x v+2 I ,,. ,9(x, ilaxr J v uf+21 = 5;"*f * -Pxrv + 2.l" V + 2+ + Dx{ J co(xr)1 - staxl +ux!+2teo t1) i, j=2""N' for all a,b, c. I € t u ( x ) = J ( I ' x ) w i t h u ( 1 ) = 0 denote Eheoren 4 -2: en eigenfunction v of (4-1). t. of r, fx",t'-',o!x\ l|,-2i"1 .Iq J - If I ts auch that the coef,f,icient I gatisf,tee , j=2,.'.,N, for sotne IG indepenalent of h, tben for h sufficiently (4-L2l *5 sEall, (x)].rlu(x.) - o ( h F) , j = l 1 . . . , u : *'*'.e [o, [*', t r ! J Rernark3 The etpregsl-on -i $ I l is lbe truncation etrror ?J aE in Theoren 4 - L . Proofr i n il I since 5{xY.xY+2,,01u, ls tt e eame as trl u1 , by {-' 3 -2 I€mra I i tt"f*',*'*2,9 (x)).slu (x,) t5t*',*'*2,p (x)] -c)ur = xlo(rr')= 91i.,2nP1 , 7 elnce u{l witJl cr=o. trense (4-12) is true at j=L' 48 The coefficients 0. I and y. I of It [x- , x n' v+2 , 9 ( x ) , c a n be expressed in terrna of B- ag J L+2j ; ,- , r --':-:= (:J:) (r+l) -i JI a. i- 4 7 '8.+ 7 | I l-r j = 2,.'.,tr (4-r3) (v+r)il v. ' 1 = tJ-,tulL;?i F--) J+! L +f I If we uee Taylor'B and v (x- .) [treoren with about x=x., coef,f,lclentg, j = 2,...,N. remainder to expand v(x-,,) lrhere v(x) = x-v u(x), and use those $€ ablain T . l _v -2 us i, u, "' "i*' lru,-* - . ' ( 4 )( o l ] , j = 2 , . . . , r . r , "l["(a)(,i) | . € < n ( * J-T.+ , . where xj _1 x.l v(3)t*rl - p.o(a)1e1 We note that there exists a conslant K1 Euch that u'l l .2u+L * u: x. ) 1 - *1*vk724"2k|k'- k \-x " o *1 < v"-'K, I - f,'he hypothesiE of the theoren e - ^ _ - t !' 1 , | = :E121 2x.-. ' 2i'- l' I implies ^ | ,K^ 21' that K. " 2x' ano nence, h a l 1 - - . i + 'jI = + o- ( h . ) . 2x' x: give tvro reEulte fhese that Eide of (4-14) is O(h'). v'-'(x) = xo(l), side of (4-14) t6 o(ha). yield the firgl term on the light rhe hypothesiF and the fact that that the second tern on the right Thl6 conpleteB the proof, of, Theorem 4-2. Thls analysis b]' (3-I of,. t-fxv ,xv+z,9(x! n- )) as a slrecial t?\ For L'-', n incrudes r* h ',f theoren, of the former, u c6x--rc2x ', rL[x',x' t,! we expect that of the J in the operators (4-l) since neaf the singularity lhe eigenfunctions V+,-+O(x-u+/L -). -l , o ( x ) , 1[*',*v+z,o(x) vJ€ could have used those operatore clae€ do not approxinate equation. 1 -. 9. = 2a't form 1,,.[x",x"-*,@(x) ]. latler 19i.,.r, case r,fith the choice rp(x) = x' Instead of, using the clasE ofoperatot" in bhis (2) of (4-l) The trq.nqalion as well of the as those of the diffeleotial behave like error for opelators and J vrith regPect to any eigenfunction ] 50 fr u(x), (4-l-). of proving qan be found by the same proqedure used in rle obtain Theoren 4-2. h - ,41 an expression |/1\ ( 2 y + 1 )[ v ' - ' ( ? ) - v ' = ' ( f ) 1 J +'i analogous , j=2,...,N I quantities where all are as defl.ned f,ar (4-L41. If the aaEunpc:.on 'l 'B , - 2 J ' l < $ 1 , )=2,.,.,x, iE rqade as in Theoretn 4-2, vre find o, * t# o1, :- 4 X. X: 1 - Henoe, for ) j fixed, - 7 tha! oI. = * l o r r ) . - we have for l the flrst tern of F.n- a. i,, (u:l - :r' ul) + ?-} = *1-' o{n") , (1- ;+E) . ^ j , ^ : ) J - . , . . . , 1 1 . (4-15), to As h i 0, then t.. r faila Thefefore. j = 2,...,N, If j fixed, can be n o b e t t e r t h a n O ( h ) . o(ha), unless B. = 2i2, to be unifornly ) in which case p(x) = x ue constEuct the operator is any real - v12 l,-ix-, n x v+2 p1 , X J, wnere I fron y and. v + 2, we find nurnber diff,erent that yr, l e , - Z'i ' 1 . I a s s u m et h a t P - v i s a n i n t e g e r 'B ), i s s u c h t h a t t h e r e e x i s t E I G 6 u c h t h a t j = 2,...,t1. tf (trrositive or neg?tive, but different 'i-l i -dj / i" the forn ( iiI "t ' we have not shol'n lhat 3 4-I. f,unction r(x) i,-, we further r(j), in qeneral has the conditions is as in (a-6) r and | = r(x) :.1 then the ratj.o as i.s required in Theorem the above rational nece€aary for Theorem 4-1 or for what values of-P, to apply, from 2), if any, it (.X - bk): does not. If -2. then Theolem 4-1 appliee to rtr{x', *'*2, *P1 and, in particular, lrll = o(h'). Error 4.5 Bound f,or a Self-Adioint we now treat the special Difference Schene case of the operator .v \[x', v +- ,2 x' 9 ( x ) J , c o n a t r u c t e d e o a s t o m a k et h e t r i d i a g o n a l matrix of coefficj-ents Theoren 4-I ot I f. sy|Iut|etric, * j n to ttrig operator is applicable We Ehow ehat and that l lr l l = o ( h " ) . FirEt, opelator. .- we note tnat Fince it -I I x is a self-adjoint can be r^'ritten in the forn differential r t l t*t" t*' = ( - x u ' ( x ) ) ' + v" u ( x ) . . x Hence, it ia reasonable to aqauttrethat if g(x) is chosen so Y+2 that l - t v x'.-', elx) ] ie Betf-adjoinr (or equivarentry, \[x-. i so that the trLdiagonal natrix representing the finite-dif: v+2 f e r e n c e o-p e r a t o r i L - [ x - ,' x - ' - . o ( x ) J i s s ] m m e t r i c ) . t h e n x. 11 . l the reEulting op""ito. Irhich we denate by li "n{*',*'*2,r(*} is a gaod atrrproxfimtion (in eome aense) to X, 'do not ieternine the function g(x) whtch gives Ll, vre conslruc! lthe .finite-ilfference Echerne. fhe onerator f,fl given by I (4-L6l I i u , = d , u - , + 't l. u , + t - u , . . n I I l-r I I l+f j=1,...,N, , for any wtrEre the coeffieients ' eet ot nunbers [u,J; ) lernined by the relatlo4" P1" f(v + r) r . rt * -(llY {tr, . rl t4-L7to, =fr r3-r , u, --G'/t#j ,l, =(j$z 'j are ile- (2i -I) r \J+r./ (2j + r) (j - r) -. -4ja )-r . 5fif*+l (Yr!)/i \Y (2J + 1) \j+1./ . J = 2 . .' . , N ' Eheseare obiained bi firEt coqPqting aj in quch a way ag tO j, solved (see [S], p. 50) to grve (4-r8) ') = 4J(r, + l) t {rj]i'l-;-ij-Pil + r)T - , - . ]- *z'tr - L K-Z J j = 2..,.,N. From (4:J.7) and (4-18), i (4-Ie) P) = An expansion of ( 4 - 2o ) rdhete one can calculate j-r , .-2v +e+lrl* r=7n !. and into por\'er series gives I-lZ i' -r -l *d n"*t * *r, * k=-l less than sone posltlve Tbe value of, the quantily equal to the estinate j-2....,n. *g,*"" ti*rE-, 8 ' l. . 4 l v + r l fL t' ..'- 2 v lnrI is " . ,. , to x = j by nsanE of tlte trapezoid (4-20) !..2v _ - 2 v +-,/j-of, xfron rule j + t equsl subalivieione of 0 r x 5 J. J - real nunber K, for all in the braces in of the integral K. applied at each o t since the graph the integrand is concave utrxdatd. this bound on the value Jt/l2v estinate + 2) of the integral. [he value of thE sun in the braceE in equar to tne egtrnate is an upper ot tne rntegrar (4-20) i6 also - 2v+I ..Zv ot x tron /) - x = t to x = J - | by neana of the midpoint rule eacb of the J equal subdiviaions of \3xs j - \, the graph of, thg" integrand is concave ugrard, at Because thiE is a lower bound on the value of the integral. upper bound on the vbl,ue of, the quantity applied estimate. Hence, an in the braces in (4-20) i8 given by l-. L t . . 2v+2t" . . 2 V + Z " ,,,2v+21| \,,, -lv= = 2i v_+ 2 A conbination of thege last and (4-20) showg that two re€ult6 tbere are two c o n € l a n t s K r , Ke independent of j, 2 j a + K l s p. t 2jB + rh J - - t J t . . . such that . Thereforef . fheorern 4-2 appliee t o L - . Wa furlher lrhich inpliBs ( l r note that far ,* t r ' --:-ia.--l-l that lheorgn 4-2 aFplies l to L*. n = 3 ,, . . , N , T h u s , ve have rrre eioenvafuesf\if; k" = l coett!.clenEs of - I ot.- 14 ale -- ^f -"- ----- +h6 i,i^i- gucn tnaE, 3 (4=1) and for h sufficiently lor €nalI. n l r r -l A - I l = o ( h ? I . K I . K gEe chapter VL Exanple 6,2.4 {or aonq nune.lical !e- Eults of approxinatihg the eigenvaluee of (4-1) by repl.acing r Wl-!n lL . CHAP1IER V EXGENFUNCI XONS AND DIGEITVALUES A BESSEIJDIFFERENCEOPFRSSOR In thie chapter l'e again consider the Bessel dif- Irl ference operator n ti", and the Fessel ' which waa constructed operator g = .-x'aaldi? Eo that it . xd./dx + ve bave zelq truncalion egor for the functionE ^*' + btv+L+ "ry+2. we obtaln rdpresentatione , for the exEct a.hrcf arpitrary. a{genfunstionE 4nd eiEenvalues of the atifference problem j = r.....N. In Chapter Mt (5-l) was,Bltownthai a9 N - F, the eigenvalues of oonverge to the qigenvelues of the BeiEFI differentiEl. eigenvalue problem s y ( x ); \ x e y ( x ) , o < t r < 1 y ( a ) " 0 , y ( r )= 0 , l these lepresentationE, n are obtained by the sane technique onJ-y the casE y = 0. rreated recurrenqe of (5-1) relations for shgw that usJd by Boyer We show that it 0 < y < l. (l3l) follows th€ Leggndre functions that who fron soluliona conbinations of Propertiea 5.I The trialiagonal natrix genvectorg ldontical (5-1),hae the elgenvalues of (5-1) are reat and (0,4(N + 1)'). in the intervat , for of lhese functions. We first t are valid can be expanded in gerns of linear celtain l rlhich A, which hae eigenvalueB and ei- to the eigenvalueg and gigenfunctions non-zera soef,f,iclents . - - c -t r 9 '*,:< *k ' of the Eiqenvalueg of gj.ven by i v^ d , " u k , k * r = yn 7 katta h = 1,....N, txti,t< = ak+l '/ (k+1)'hE k = 1 , . . . , N- 1 , lt\ where Li-' r v r J - is of t h e f o r m o , ! 2 ) r r ,= Q . u , . + f . u . + y . u , . n I I l - 1 I I ) f L f r r . . , a , a, F, y, given by (3-14). W€ now 6how the folLowing. Theeren 5-l; :Ehe natrix & has eigenvatueswhiCb are all reelf positlve and boupdedqboveby 4(N + ll?. By Lenna 4-2, A is sinilar Proo{3 - r\ to a matrix slnilar real Dart- eigenvalues ttith rthich has all Therefore, to a real s}4runetric Br PositivE eigenvalues of A are real aII and Pos- itive. we let c ilenote the natrix n = dIaglL,2v ,. . . ,N") . given by D-IAD, whele C is the same lnatlix This natrix is the matllx lras analyzed ln t enma 3-1, slnce it r lr'l i e n t s o f : Ex -. Knt - ' , zero I of elenentB cr t (5-2) c. 3r irl r , r h e r eK " ' n that of coef,f,ib- is given by (3:f6). The non- C qre (r+l) L - , l;7(v+I) = "i,l=k '"J,j*r 5# . = J 3 2 , . . . , N- 1 . tN, t{-l = "N,N N lt v < \, the4 each !o!r sum, of c ie les6 than or egual toft= Hencef all eigenvalues *D, lc3,rl nt* + L)2, when o < v < \. of c qre no larger Nowwe consialer t < l, < 1. , j = tr...,N. than 4(N + l)2 ' The sturm sequence, ier]!=0,, fox the trlaliagonal rnatrix c is defined (t2)r p. 2o2l b; a) fo (+) = I f).(x) = (x - cr.r) fo(x) a I = r, '. The value f.-(x) is equal to detl-c N sinqe the elenelta of C are real the chanqeB numlcer of siqn the number of, eigenvalues now Ehow that so that there + II] and itq x = 4(N + t)'. p. 203) eigenvalues are lf I Di< r!,r F.n)-' q {uar are 1alger than x. are no sign changeE in - .N tfi J;' vhen x = 4 ( N + 1 ) ? , is an upper bounal on the spectrai thiE N-r. " and thus (-2r. 'ih l-hF gqFd E r 4 qrFn.F ErEs of C that rv\ raQius. "ttr' t h e s t u r n E e q u e n c ei s 12'vl fo =1rt.-*otr* n l we uge an induction 4 argument on j to prove that Stura geqqence does not change Eign. NoFe lhat L tfr"(,- vl > I n the above 60 For a given value qf j, putatlon 1 E|rrDDOEe I . -- qives of I - _ L - v /_ : J 'furr-h 6 L-A , J )-t I 1 l - t . , J o e, , l n l Y > Ii, hypo- Eherefole, that we have shown by inaluction > -?--_-:f I the f,act that and the E.econd fron - / fol,Iows from the induction inequality where the f,irst \ l !-. L/4 - ve \ /- t L.+ \ the€is a coln- fhen, - v t " I all Therefole, the eigenvalues Since A iE sinilar ' l ? of c a r e s m a l ' . | € ! E n a n + \ N + r , . to c, the Proof of, Eheoren 5*1 is coBplete. s and Eiqenfu 5.2 r.et nf ana Of, aenote the associated Legendre functions of degree r and order € of the f,lrst and second kinds, resPecij.vely. It is well-known ([12], p. 165) that any linea! combination, (s-3) e E S Yl = oP. + FQr ' of theee two functions EatlBfies I diff,erence eguation ( x ) + (' 2 r + l ) ( s - r - I ) Y' - r+-L -l We no!^, showr for difference fixed equation x antl E, that (5-4) for x v -r ( x ) - ( s + r ) (x) = 0. < x < L. the general of solution r = !0,!o + 1,..., is given (s - 3 ) . Another vell-kndwn . ( [ 12 ], p. 163) recurlence whtch is satisfied by any linear conbination relatj.on of Pa and Qs , Y- , as in (5.3), ie ( x e_ r ) * ! + i r-l _ , ( r + r )xYt -1 It follqrB frorn (5-5), that for any fixed 6. and x = x.' the pafr el (xo) ana.Of (xo) are linearry indepen4enton the set r = Fo,& + L,.';t EinCe if they wEre not' then (xo)ror k = 0,1,.;;i .tl;*. p"o*k('o) = aoro+k a. xf this were true, then by (5-5), -=* = !ii].if , "--*tfBut Eince r-o anC Qlo are both selutions of ihe sane secondarqer linear lronogenequsdiffelential equation on (-1,1), we : (x) = aAl (x) fo! all x in (-1,1). But r h e n h a v e r h a t pro ro this canlradLcts the f,ast tft.t elo and Qso are an independent seE o! Iunctl.ons x, the genelal adrr+ i ^h i o ltlEn solution ^i uah }\i' of the second-Order t <-? - rt rn f = 3-'t, {,") ' v]lrtc"',t f, linear s and diff,erence t 5 - . 1 , and make the i + rrl- i 6n- .plY, (cos@) J-'' ih fixed l I f w e s e t s - - y a n d r = qrrh.+ H e n c e , for to'x, regpect +ha l|i tfaF6h^a a^!rr+i^E ^ - v' 9 j-n (cost{J) = l (*) , = -i - s . ( s . ) l ' ( 5-4) obtain ri*, {.} * \1+ l/ -Yn, 2 cos(€- (s) - i-T n .t t r 2 ,. . . , N . (5-6) yield€ t4 (s-r) ol2)'.t*r =\t7 h tfe cao deternine that s.('!) sina f ) s, t ,") i€ the general sol- 2,,.,.N. one of tbe qr.bitrary conEtants l-n 63 (, ",, , v 4 :i'( (5-e) 3#(v : l-l s1 (&r)= ra. LTE Then, Is. ('!) ]'l-' (@) Sz {d) = .ini + I s,(.) satisfles I l=o s- (@)=0 ), I, r_(2 x. n Y + r) = l For 6 -( -' :t i S . ( d ) zJ 3 [atr,r*r)"g i n - (o,4(N+ l)'), t h e r e exist€ an (! in (o, ?) such that d = 4(N + l)' gina u Hence, sinqe by Theoren 5-1, a l l b f t h e eiqenvalues. AK of the - problen (5-l) lie in (o.4(N + l ) ' ) , (5-l) can be represented by fs,r,*rr!11 lhere a n y eigenfunction of s,(@) 1s dellneil J k = l,,.;,N, r by (5-B), one of the constantE is d.e- ternined hy (5-9), the other remaining albitrary, ek-2pin-r#11 and CIIAPTERVI NUI.{ERICAI. RESIJI,TS The nurnerical experinentg conducled in retation to this study cgnsiEted of, the estimation of the srnallest eigenvalue . and a corresponding eigenfunction to the finite-difference eigenvalue problen .l -6 - t_e- ,l l | T h, r- jr _ ,'i = 1,,..,N = .' _ / \j x _aju . , . ( 6 - I b u) o = o , u * , , = 0 , N'+ where h = (N + I)-t, for finite-dlfference wgre dissussed in ChEpters III and tv, the BeFsel operatqr x = -xa d'/dxt 6.1 operators which \, as approxlnations to - xd/dx + v2 . Rate of cqnverqence For each f inite-d j.f f erence opetrator, Lh , consialered, and for eaeh vaLue of, h-. - N + L t 4,a'L6,32,64,128, obtained agqurate estinates of the snallest and corre6ponding eigenf,unctloh, lh\ n"" we elgenvatue, , nornall-zed by \ , 65 thI ui*-i.r,r" = l, 1i6ted of (5-I). The eigenvalue error, which is in Tables I through 4, is conputed by l\ a rs rne square of the Emallest zero of .Iy(x), smal-lest eigenvalue of problen are found in The error [15]. (4-1). _ Il, rrrtrere \rhich is the ffre values of I used i-n the eigenfunction is taken EO DE - ujh)t"l,]l I iL ,oor,^**r) where c is a congtant chosen so tnat c,r, { ),},zz - t. ) cilr(I'x) I , 1 then i6 the nornalized eigenfunction of problen (4-l). ily(x) was calculated by surruningthe filst twenty terms of, its power sef,ies expanslon. In qrder to exarnine lhe rateE of convergence fo! eLgenvalqes anal edgenfunetLons; the erq)erinental vetrgence (ERC) waE conputed and tabulated. lhe rate of con_ thi.s nunber is defined by ERch = 1o9(e2h,/ebr/rq 2, wheFEeh i8 the error for 6 t1u"tt neeh s+ze h, This nunber is the power of h by whiqh the arrerE are approaching zero. conFuted frolo the errora I l. wlth rneehFize h and 2h. 66 Experimental 6.2 (..} with is the three-point the Beseel operator polynomials. ratic vector estination 5v/3, operato! t at the nesh points ll l using LJ-' which agrees for in the eigenvalue are listed quad- all anal eigen- in Table,1, fo! in Section 6.1 f,o! I values of v. Eee in Table I that with L.'^' , as defined bv clifference The errors values of h listed l r l The operator, Exanple 6.2.13 (3-9), Regults tlre ei.genvaluea are appalently order 2v and the eigenfunctionE fo\ 0 < P < 1,, with we converging appareflt order Fron the valueg in Table l. values and eigenfi4nctions the appear to converge with the eigenorder 2 rvhen ,, > 1. lhe dif,ference eigenvalue problen . - | v , v +-L, x r lJl .1 operator \l.x-;x- for v - v + ax' + bx"-,+ the f,inite-difference the three-point that iq, f,erence operator which egrees with vrhen applied of solving In Eabre 2 are the results SgPlg-!.3r-?.t the Bessel operator, to f,unctiong of the forn axv + bxv'I ! ! cx- at x,, j > 1, f,or v = L/4, I/2, lt = v - L,O,V + L/?, v + 3 for each val'ue of v. f,ron Eection 4.4, that the truncation error over a cla9s of, functj.ons which includes of, the differential there prabte$ tq be no better Tabtre 2, we gee that finite-dj.ft, at xr and 3/4 a\d we lecalL of, such a schene the eigenfunctigns is guaranteed by the analysis than o(hy) at ehe firsi lhe ohgerved rate Polnt' rn of converqeqce of bath ' t Table 1. Errors Example 6.2 .I. and Experihental eigenvalue N+L 8 Ib v=o.25. 32 64 r2a l6 z=0.33.. 32 ERC 6 , 4 E- I 4 4E -l 3 . i.B.bl I 32 64 12a 2.08-1 -0.41 o. 6 4 0.85 0. 94 o. 9 7 3.78-2 1. 9E-? L rE-2 L2A 5.08-2 3 . 7 8- 2 D-1.0 32 128 0.39 0.43 o,46 o. 5 2 I - 88-2 4'74 -0,82 0'54 1.00 1.r6 3,9E-3 U.5I J . -tti -J l,0s 7,OE-4 1 .r 0 A u-0.75 -o.1l a. 2 I 3 . 9 E- 2 o. 6 1 A4 l6 32 64 12B eigenfunction o,02 r.5E-l 1.0E-1 9.08-3 16 v=o,66., 32 0.30 0.50 0.53 0.53 eigenfunction error 9.5I'-2 a . 3 8- 2 4.0E-1 1"6 v=o.s eigenvalue Rates of Converqence for I l. 0E-2 2.79 L lE-4 4.99-4 0 ,7 1 l,6E-1 4.OE-2 1. 0E-2 2.58-3 6 , 3 8- 4 1 1 1,23 r,24 2 .'18-4 1 )4 2.Q0 I. 0E-3 r. 97 2.00 2.00 2.00 2.684 2.O2 . l I : ' Table I. 64. (co[t'd) s 16, v=L.s 32 64 L28 I Iti v=2.O @ 128 2.4D-1 6.-!!,-2 l.5E-2 , 3.88-3 e.4I"4 3 : 4 F- 1 8,4n-2 2.\E-2 5 . 3 8- 3 1.3E:3 2.O0 2.OO 2,OA 2.OO 2.00 ?.00 2.00 2.O0 2.OO 4.rE+ 2.10 2. O0 1-98 l.0E-4 r.99 1.99 9,7E-3 2,04 5. 9!-4 1.58-4 2.00 2.00 .l 69 the eigenvalues than order h', and the eigenfunctions brrt th-t better the rate of convergence does appear to increase as y is increased. the begt experfunental is considelably rate We note from Table 2, that of convelgence occurs when P = v + O.5. Exanple 6.2.3: inental In Table 3 we have the errors rateE of convergence for the difference problen (6+1) rfith I{^ = t -t*u ,*v*2,*ll, n n difference operator lrhen applied first !o functionE ne€h point point.s, v + 6, which agreeE with D - v+2 anal ax- + bx * the three-point the renaining "*F "t The operalor L.ixv,x in Section 4.4 as an app5elination tl,ro operators finite the Bessel operator, ar,d l t = v - 2 , 0 , L , v + fot each value of y, invegtigated eigenvalue l, of the form ax/ + bxP+2 at the v = I/4,L/2,3/4 for and exper- were noted to have truncation mesh v + 4, ,x J was to J, and the elror order h2. 3n Table 3, \re have apparent h2 convergence for both the eigenvalues and eigenfunctions & = I.5. problen In this in all cases except v = 0.5, case. the eigenfunctions are identical of the dif,ferential to thoae af the diff,erence the rBesh. Hence, the error given in Table 3 for problem on this case which grows aE h becomes s.nalleer, is only the round-off erroxr as one night The cases ln Table 3 where p = y + I rep- resent the expect. operator which we denote l)\ by Ii-' and which is given 70 n fable 2. Errols Example 6.2 .2. N+l 8 16 32 6 P=-O,75 4 I28 . v=o.25 a 16 v=t.2s 32 p= 0.0 64 . l2s and Exp€rinental elgenvalue eigenvalue eigenfunction eigenfunction error ERC errgr ERC 1.48-l L.46 t.6E-3 0.S5 4.3F..2 1.56 r.2E-3 0.3? 1.38'2 L.1g s. rE-4 r .2.6 3.48-3 I.8? l.7E-4 I.58 9.10-4 1,91 5.18-5 L.74 9:68-2 2.58-2 6.8E-3 1.,78-3 4.48-4 v=0,25 t6 1tr1.7s 64 1.sO 1.88 1.93 1,95 L,9',t 2.5E-4 2.4E-4 l.0E-4 3,38-s 9.7E-6 2.LO 2. I 7 3.0E-4 1.4E-I ' 3 2 6 4 113,25 , r.l!;-5 +.+f 0 .3 ? ^ ; ^ ! ,'78-4 g.La-4 4 .r F - 1 Y = 0 ,5 15 32 P=-0. 5 64 2.55 o.Os r.26 l.60 r.76 s.?E-4 I .9E-4 I n Rate of Convergencelfor l.?E-t t. au-a 0.14 L;at5 1.91 o.oo v=o.5 tFo. 0 r F o ,5 {|1" O l6 32 128 1.48-3 3,6D-4 32 64 9 ,39-2 1.98-2 4, 38- 3 1.0E-3. l?9 2,4F-4 2.Q',l 2,O4 2.02 3.48-4 L .28-4 0.83 1.49 9.88-6 0.00 2,27 2.L7 2.10 2.O9 6.48-4 2 ,28^4 5,68-5 ]. FE- 5 1.51 1.89 11 rable 2 (cont 'd) .eigenvalue N+I error .8 r.8E-L 16 32 64 1.2I 5.38-2 l.4E-2 3.78-3 9 .4E-4 8 v=O.75 15 32 u--0.25 64 r2a 1,4S.-1 3.28-2 7.78-3 1.98-3 4.78-.4 v=0.5 p-3.5 v = O . 75 f-0. o II 1.60 0.50 t.aD-J 2.O5 2.O2 32 ItaL,25 6 4 128 I v = 0 , 75 2.O2 5Z lo .l() 32 64 t2q I. J!I-I z. tE-z aRc 0.02 l. 8E-4 2.2A l.8E-3 .4F-4 .4 eigenfunction 2.r4 r.4E:-t 3 . O E - 2. 54 128 eigenfunction erfor 2,28-3 4.OE-4 L.2E-4 3.28-5 I 15 E u-0.75 eigenvalue ERC 1 2.rE-4 2.oL 2. 3E-1 r . 70 0.48-a I l.6E-2 4.rE-3 r,0E-3 1 , 95 l .. 6 8 0.45 2 .r e 6. 9E-3 l.7E-3 4.28-4 1',l 1 ,t 2 r.,69 r. atc 0.46 1,32 A't 3. 3E-4 1 q n '72 by (3-I ). w e h a v e , by Corollary sho$rn thaE its 4-I, vatues converge with those of the aliffelential order at least 2. of convergence perinental rates genfunctions of problem with In Table 4, $re have the errors Exanple 6.2.4 r of convelgence the operator the for L; eigen- and ex- eigenvalues and ei- , which lras discussed in s e c t i o n 4 . 5 ,- w n e r e r f i s t h e o pne r a t o r o f t h e f o r m L n- t . a v , v v + 2 , e 1 x \ ' 1, fot v = \, where g(x) is determined so that :t{ is se}f-adjoint, By coroll.ary 4-2. ne have that the eigen- L/3,f/2,2/3,3/4. values ential fable k-., 1 e of -iI{ converge with J problem with order of 4 this convergence eigenvaJ-ue I of c L- is n identical the is lrl I,.'-' n y = 0,5 and t! = I.5, that is, For all least to occur equation differtvo. .fo! probfem. the ln smallest when v=0,5, 6ame behaviol aa noted in Exanple 6.2,3 with errors the errors convergence at the , and hence we have the of, the eigenfunction ference and differential of observed diffelential to any eigenvafue the eigenfunctions of the dif,- operators in Table 4 are round-off are identical, errors for anil hence thi.s case, values of 1,,in Table 4 except u - 0.5, \^renote that the eigenfunqtion€ appear to be convelging lrith vergence 2 + 2v. l nuch faster served for otder of con- rate of convergence than ob- any of the ottler operators \i/hich were used. anal Exp€rl$ental Table 3. Errors Exanple 6.2.3, N+l 8 L6 v=O.25 ' 32 64 lt'=-L.75 128 v=O.25 ,tso.o I 16 32 64 L2a v = o. 2 5 P.r.o 32 54 128 eigenvalues error 3.08-2 5.6E-3 r.6E-3 3.98-4 9.88-5 6lgenvaluea elgenfunction xRc 2.44 2.18 2.06 2.OL 2.00 8.lE-2 2.OE-2 5.IE-3 1.38-3 3,28-4 1.93 1.98 2.OO 2.OO 2.OO 8.6E-2 2.28-2 5. 5A-3 1 .4E- 3 r.92 v40.25 s.4E-2 2.LE-2 5.3E-3 ll.L ,25 r. Jli- 5 3.34-4 2.OO 2.OO 2.OO r.93 r.98 2,00 2,00 2.00 1.4r v - O. 2 5 Ita4.25 v=O.25 l*6.2s t2a l6 32 64 128 Rates of, Cgnvergence for error 7 .58-4 r.5E-4 3,6E-5 8 , 7E - 6 2.04 2.OO 2.94 2.8E-5 6. 3E-6 1. 5E-5 2.38-5 2,O3 3.0E-7 1. 5E-3 3,0E-4 1. 8E-5 4,68-6 z.zE-L 2.20 2.OO 2.OO 3.6E-3 8.08-4 t.9E-4 2.00 2,O3 2.OO 3.00 r.93 r.99 2.00 2.00 2.OO 2.03 2.Ot L.4E-5 s.8E-3 2 .28-3 5. 5E-4 L.4E-4 5,4P-2 l.4E-2 3.48-3 8. 5E-4 eigenfunction ERC 2,4? 3.03 2,24 2.O4 2.r7 2.O3 2.Ol 2.00 74 Table 3. e = O. 5 ,l=-I. 5 've0.5 ,r=0.0 v=O.5 (cont 'd) N+l I 15 32 64 128 eigenvalu6 error 9.lt-2 2.28-2 5.5E-3 l.4E-3 3.4E-4 eigenvalue6 ERC a t6 32 64 l2s l.4E-1 3.48-2 .8.5A-3 2. tE-3 5.3E-4 ,1.95 1.99 2.OO 2.O0 2.OO 8 r. 8-r 1.96 1.99 2.00 2.OO 2.00 l.0B-4 r.98 3.0E-12 3. lE-12 3.3E-12 3.58-12 4.6E-L2 15 32 64 r2a 3.48-2 8. 5E-3 ?.lE-3 5.38-4 s 16 32 64 l2S 1.3E-t 3.28-2 7.98-3 2.08-3 s. oE-4 YrO.5 Q 15 32 6.78:..2 r,78-2 4.lE-3 lF4i 5 o+ J.. uu-J L2e 2.68-4 l=1. o v-O.5 P-I. 5 a v=4.5 16 t*6,5 32 64 r28 ? ill-l 8.18-2 2.Oa-2 5.0t-3 r.3E-3 eigenfunction eigenftrnction ERC ^ 4.3E.4 2.O4 2.OL 2.OO 2.00 1.99 2.00 2.OO 5.IE-6 -i z .40 ' 2.Os 2.O2 r. Jl;-o l. oE-4 2.2E=5 2.69 2.27 2.O7 5 .2E- I 2.00 2.26 l o ? -0.05 -0. 0.6 -0.09 L.97 2.AI 2, 00 2.00 2.00 4.rE-4 l,0E-4 2,58-5 6.48-5 2;O0 2.OO 2,5L 2,03 2.00 4. OE-3 9.7E-4 2.48-4 2.44 2.O2 2.00 2 .O 0 L 2.00 3.29 tl;-' z. !o Table 3. (cont'd) N+l I v=4.75 16 32 p=-L.25 64 L2S v=O.75 I 15 f=0.0 64 v=O.75 ,r=1. o0 v=O.'15 p=1.75 v = o . 75 I 15 eigenvalue eigenvalue error ERC 1.78-l 2.O2 4.38-2 2,OL t. rE-2 2.OO 2.78-3 2.OO 6.88-4 2,OO 2. rE-t 5.28-2 L,3E-2 3.3E-3 a.lE-4 2.OO 2.OO 2.OO 2.oE-r 5,oE-2 r.99 7.88-4 2.OO 2,OO 2.OO 64 r28 8 15 64 L2A I l5 't 'tE!- l 4.38-2 l.lE+2 2.78-3 l.2E-l 7. OE-3 1i=4.75 64 128 4.48-4 1*5.15 2.25 2.O3 2. 0 1 2.OO 2.33 2.O4 2.Ol 2. OO 2.00 2.48-3 32 2 .98-2 2.Or' 128 l. aE-3 2.OO 2,OO 6l 2,OO L.784 2.66 2.O4 2.49 2,L6 2.O4 a 2.00 2.OO 2,OO 2.00 2.OO 4.8E-1 eigenfunctj.on I. 9E-4 2.98-5 I v=O.'15 eigenfunction 2. 3E-6 ).lE-t L.4E-4 2,OO 2,00 2.OL 2,OO 2.00 2.OO 3.08-4 2.OO g,!ee .9.J---Nu!grfscf-L99 The technique useal to eEtinate the srnallest eigenvalue of, the N x N Matrix A asEoeiatetl with (6-l),. vaLue problen an initial associated corresponding guess for conputing y.!0) = .i.tzjn approxination, the eigenvector in this is described with rnt we chase Eection. of as an estinate eigenvalue- the snallest A )t(0) , ,uu" ^ad" py the eigenvalue, the Ray1ei.gh quotient, eigen- the diffelence is, that ldl r(0) = ll:j-j.-:11) (.,(ol .,(o) r .) \r An inproved estimate tained by Eolving the linear purpose, and hence stas used. Rayleigh quotient t l t of valueg succegsive = I(0)y(0)' l r ! y'-', until 1(N).nU St each etep of the above iterationr 90 that its vergence criterlon nitltlle on tht when N + I r^raslarger for this was then an improved estimate lA-----:--4--i the eigenvector component rtas unity. vrlte was nor!!a- fhe above con- ,a(t) tt4s alvJdys satisf:ed than 8, fFe fLtal <IO-' ' l r t n )I "tnl lized sin"u works well This estinate, to obtain , was then ob- The above Process was rePeated to ,. (n) , (n_I)r of the eLgenvalue, tr'-'. f ind systen Ay(I) Gauss elinination A iE alwayE tri.tliagonal. used in this yr^' of the elgenvector, lar t: - 2t ,rlr') an<l veclor 77 Table 4. Errors Exanpte 6.2.4. N+l g 16 v=O.25 32 64 . l2a . , eigenfunction errox l,2E-s 2.3E-6 4.28-7 7.sE-8 l-,3E-8 eigenfuction ERC 2.21 2.3'7 2.44 2.48 2.49 9.48-6 r.7B-5 2.aE-7 4. 5E-8 7. LE-g r.2E-r 3.2E-2 1.98 1.99 3 .O E - r 2 3.2E-12 32 ?. 9 8 - 3 2. O O 3.3E-12 -0. 05 I28 5.0E-4 2.OO 4.28-12 -0.32 8 t.7a-t t6 4.?E-2 v=0.666,:32 1.18-2 54 2.68-3 I28 6.68-4 t.9S 2.OO 2.oo 2.00 2,00 7.tE-6 7.88-7 8.3E-8 8,5E-9 8.7E-10 2.99 3.r8 3.24 3.27 3'30 1, 9E-l 4.8E-2 L.2s'2 3,0E-3 7,5A-4 1. 98 2.00 2.00 2.OO 2.OO 7,68-6 1.68-7 7.58-7 6.88-9 6.3E-10 3. 16 3.32 3.37 3,4L 3.43 I 16 v=0.75 32 64 128 . l''* eigenvalue ERC 1.95 L.g1 1.98 1.99 1,99 1,96 1.9S I.99 r.99 2 .OO v=0.5 ' eigenvalue error 7.48-2 L.SE-Z 4.78-3 r.2F-3 3.oE-4 g.o$-2 2,38-2 5.7E.-3 l.4E-3 3.58-4 . s 16 y+0.33...32 64 L2A ' 1 6I /-r and ExperimentaL RateE of Convelgence for 2,05 2.41 2.60 2.64 2.66 1 .0 3 -O.ll qrM gtuvdrqs svrrs.lluqurv etYerrvsrLv! rvraF.rasv rrix A natri ' It ehould be.noted that no knotrn result guaranlees the convergencaoftheaboveiterationschemef,orconputingthe eigenvalues and eigenvectors natriceg to 'rhlch slmunetric. it r.re have applieil casea considered), the value to which it the veclor I lr-, it' since ghe above process Ilowevsr ' if did in all of a given matrix A, for the they are all doeE qonverge one can easily verif,y non(and that convergieE is indeed an eigenval.ue End generated a cor'reEPonding eigenvector. gpection of the eigenvector revealE that aII when in- of itE comPo:lents are of the Earneeignr then the elgenvalue muat be hhe snallest one of A. Ihq above nunsrical at Purilue University. hr experinent was tun an the CDC 6500 BIBT,IOGRAP}IY BlBLIOGRAPITY '1. , ,.2, !, Allen, D. N. de G., "A suggested approach to finiteqf, differential alj-fference representation eluations. to iieternine temperature-diEtriwith an applicatl-on butlone near a Bliding contact, " Qualt. ,t. Mech, and Appl. Math., fE (1962), II-33. Berezin, 'Vol, II, I. S. and 4ridkov, N. P., "Computtng t4ethods, " Perganon Press, Oxford, I955. 3. Boyer,.R. H.r "Discrete BeEEel f,unction. " anal, Appl., 3 (1961), 509-s24, 4. Fulirech, R., rrExistenznach\deis und Approximation von Eigerwerten und Eigenfunktlonen nit Hil.fe Eines Diff,erenaenwerfahrens bei Singutlren sturn-LiouviLleE-i' chen Randwertaufgaben. " Arch, Rational !Gch, Anal., 9 ( _ r . 9 6) 2, I 1 1 - 1 2 0 . 5, Courant. R. anal Hilbert, D., "Methods of l.lathematical { Physlc€, Vol. I, Interaqience. New York, 1953i 6. Dressel, Gergen, 't. J., F. G., and Parrish, c. 8., ,'Bessel difference ay€tems of zero order,,' J. Uath. AnaI. AppI., t3 (1966), Io2-1I7 7. 'ExGergen, it. .t., Dressel, F. c., and Fafrigh, G.8., pansions for Bessel alifference systems of zero order, " J. Itlath. Anal. Appl,, 20 (L9671, 269-29a. 8. Henrici. P., "Elenents of Nurnerical Analysis," wiley and sons, New York, 1954. 9. Keller, g. 8., 'rNulerical l,lethoals for Tvro-Point BoundaryVaLue Problens, n Blaisalell, Walthan, I'lass., 1968. lI lii ,t, l.lsth. ,tohn lO. llilne-Thonson, I,. lrl., "The Calculus of Finite ferences, " Macmillan and Co., London, I933. 11. Pearson, C. E. "Integral representatj-on for solutions of Beagelrs dif,ference equation, " ,t. Math. and phys. r Dif,- e ^6l 0 ) , 2 e 7 - 2 9 2 . :a!69 (r l1d 9 24. i-., 12. Robin. L., "l'oncti.ona Fontions Spheroidales, Pari6, 1958. 13. VaFga, R. S., "Uatrix Iterative Analysis," Iiall, Englelraod CLif,fs, Ne\d ,tersey, 1962. 14, Whittaker, E. T. and WatEon, c. N., "A Course.of, Modern AnalyEis, " Canbridge University Press, 1927. 15. National Bureau of, Standalalg, 'Tables of, BeEaeL Funqtions of Fractional Order,', CoLwbia University press. Nev York, 1948. Spheriques de Legendre et cauthier-Vj.Ilars, " Tome If, I Pren!.!ce- l I V I'IA 1943. gchoot in 1961' He graduated from Troy High ceived a Bachelor UniverEily fron of ScLence degree j'n l4atbgnatics of Daygon in 1955 and a l'taster Purdlue Univerelty in vror'l< in Conputer science united StateF. 196?r after at Purdue ' lle refron of gcienqe ' tlle degFee !"hich he began doetoral He is a cilizen of the : .