Orthonormal sampling functions
|
|
- Juliana Mathews
- 5 years ago
- Views:
Transcription
1 Appl. Comput. Hrmon. Anl. (006) Letter to the Editor Orthonorml smpling functions N. Kiblinger,,, W.R. Mdych b Fculty of Mthemtics, University of Vienn, Nordbergstrße 5, 090 Vienn, Austri b Deprtment of Mthemtics, University of Connecticut, Storrs, CT , USA Avilble online 7 April 006 Communicted by Chrles K. Chui on 5 November 005 Abstrct We investigte functions φ(x) whose trnsltes {φ(x k)}, wherek runs through the integer lttice Z, provide system of orthonorml smpling functions. The crdinl sine, whose importnt role in the smpling theory of bndlimited functions is well documented, is the clssic exmple. For the bndlimited cse we provide complete chrcteriztion of such functions φ nd give exmples with rpid decy including construction which is symmetric. We lso nlyze the generl cse of rbitrry smpling rte, >0, which leds to some unexpected observtions. 006 Elsevier Inc. All rights reserved. Keywords: Shift-orthonorml; Smpling function; Interpoltion; Crdinl sine; Shift-invrint spce; Wvelets; Multiresolution nlysis; Scling function. Introduction We introduce the relevnt notions for our study by strting from bsic model for encoding discrete-time dt into continuous-time functions. It is stndrd technique in the frmework of shift-invrint systems. Given genertor function φ in the spce L (R) of squre-integrble functions, the dt of complex numbers c k is trnsformed into function f on R by the synthesis mpping (c k ) f(x)= c k φ(x k), x R. It is well known if φ is the crdinl sine, sin πx sinc(x) = πx, x R, then the encoding hs the following useful fetures: * Corresponding uthor. E-mil ddresses: norbert.kiblinger@univie.c.t (N. Kiblinger), mdych@uconn.edu (W.R. Mdych). The first uthor ws supported by the Austrin Science Fund FWF grnt P /$ see front mtter 006 Elsevier Inc. All rights reserved. doi:0.06/j.ch
2 N. Kiblinger, W.R. Mdych / Appl. Comput. Hrmon. Anl. (006) (i) The synthesis mpping is n isometry from l (Z) into L (R). (ii) The dt cn be reconstructed in convenient wy by smpling f ( f(k) ). (iii) The rnge of the synthesis mpping consists of bndlimited functions, i.e., functions with compctly supported Fourier trnsform. These properties correspond to the following conditions on the genertor φ L (R). Byδ k,0 we denote the Kronecker delt. (i) φ is shift-orthonorml, i.e., φ(x)φ(x k)dx = δ k,0, k Z. (ii) φ is smpling function (fundmentl function of interpoltion, crdinl function), i.e., it is continuous nd φ(k)= δ k,0, k Z. (iii) φ is bndlimited. The crdinl sine is in mny wys the prototypicl genertor. However, the poor decy properties of the sinc re often disdvntgeous. One of our objectives, inspired by query posed by H.G. Feichtinger, is to obtin genertors with better decy, thus providing functions tht my replce the sinc-function in vrious pplictions. It turns out tht constrints on the bndwidth impose limittions to such properties s rpid decy or symmetry. These limittions together with wht is possible re summrized in Section s Theorem. Section lso contins chrcteriztion of clss of bndlimited shift-orthonorml smpling functions together with exmples tht indicte wht is possible regrding decy. The cse of more generl smpling rtes, i.e., replcing the integer lttice Z by scled lttice Z with some positive number other thn one, is usully delt with by simply scling the genertor; but not without introducing n dditionl normlizing fctor. Thus the existence nd nture of genertors φ which re both Z-smpling nd Z-shift-orthonorml with ny given different from one is not immeditely trnsprent. See the introductory prgrphs of Section 3. Nevertheless we cn give complete description of the sitution in this generl cse, see Theorem in Section 3. Section 4 is devoted to the proof of this theorem, which requires severl technicl lemms. The conditions (i), (ii), (iii) on function φ rise nturlly in wvelet nd smpling theory, for exmple see [5,6] for reltively recently published texts on these subjects which lso contin further references. Indeed, genertors of shift-invrint systems, wvelets, nd scling functions with combintions of these fetures hve been nlyzed to some extent in the literture, see, e.g., [ 4,7 0]. Some of our observtions re direct consequences of estblished mchinery while others my hve been noted erlier. In the text we indicte which observtions, to our knowledge, hve been recorded by other uthors nd provide explicit references.. Shift-orthonorml smpling functions It is useful to study the notions introduced bove in the Fourier domin. We use the following normliztion of the Fourier trnsform, for integrble φ, ˆφ(ξ) = φ(x)e πiξx dx, ξ R. As is well known, for exmple see [5, Lemm 7.5], function φ L (R) is shift-orthonorml if nd only if ˆφ(ξ k) = for.e. ξ R. ()
3 406 N. Kiblinger, W.R. Mdych / Appl. Comput. Hrmon. Anl. (006) A function φ L (R) with integrble Fourier trnsform is smpling function if nd only if ˆφ(ξ k) = for.e. ξ R. () We note tht the ssumption tht ˆφ be integrble is lwys stisfied for bndlimited φ L (R). Our first min result is the following clssifiction, including the exmples below, for bndlimited shift-orthonorml smpling functions. A continuous function φ is sid to hve rpid decy if lim x x N φ(x)= 0 for ll N =,,... Theorem. Suppose φ L (R) is shift-orthonorml smpling function such tht [ supp ˆφ Ω, Ω ], Ω >0. (i) Ω<. No such function exists. (ii) Ω =. The sinc-function is the unique exmple. (iii) <Ω 3. There exist rel-vlued exmples with rpid decy. If φ is integrble it cnnot be symmetric. (iv) Ω>3. There exist symmetric rel-vlued exmples with rpid decy. We note tht Theorem cn be viewed s the specil cse = of Theorem, which is formulted in Section 3 nd proved in Section 4. The detils of the generl result re rther involved while those for the specil cse re quite trnsprent s indicted below. Proof. Items (i) nd (ii) re direct consequences of chrcteriztions () nd (). Note tht we use the Fourier trnsform normlized in such wy tht sinc = [ /,/]. (iii) The existence is verified by Exmple. The impliction in the second sttement is shown s follows. Suppose there exists such function φ which is symmetric. Since φ is integrble, ˆφ is continuous nd we conclude tht ˆφ ( ± 3 ) = 0. Thus, by (), () the complex numbers λ = ˆφ ( ) nd λ = ˆφ ( ) stisfy λ + λ = nd λ + λ =. Next, φ is symmetric, hence so is ˆφ nd, therefore, λ := λ = λ. Hence, λ = λ =, which is impossible. Contrdiction. (iv) The existence is verified by Exmple. Bndlimited shift-orthonorml smpling functions with bndwidth constrint supp ˆφ [, ] re completely chrcterized in terms of their Fourier trnsform by the following lemm. The result is reformultion of [6, Lemm 0.5]. Lemm. Let 0 ε / nd suppose tht φ L (R) nd supp ˆφ [ ε, + ε]. (i) Then φ is smpling function if nd only if, ξ ε, ˆφ(ξ) = ± u( ξ ± ), ξ ± <ε, 0, ξ + ε, for some squre-integrble function u : [ ε, ε] C. (ii) A smpling function φ so chrcterized is in ddition shift-orthonorml if nd only if u stisfies u(ξ) =, for ll ξ [ ε, ε]. Proof. Both (i) nd (ii) follow from the fct tht ˆφ enjoys reltions () nd (). For exmple, if φ is smpling function then () implies ˆφ ( r + ) + ˆφ ( r ) = for.e. 0 <r<ε. We conclude tht ˆφ ( r ± ) = ± u for some u = u(r) C. If in ddition φ is shift-orthonorml, then by () there lso holds ˆφ ( r + ) ( + ˆφ r ) =. Thus + u + u = which is equivlent to u =.
4 N. Kiblinger, W.R. Mdych / Appl. Comput. Hrmon. Anl. (006) We stte two cses where Lemm yields n explicit form of φ. First,foru(ξ) = ξ/ε ± i (ξ/ε), we obtin the integrble rel-vlued shift-orthonorml smpling functions ( sin πεx φ(x)= ± π ) sin πx πεx J (πεx), x R, (3) πx where J denotes the Bessel function of the first kind of order one. The decy is φ(x)= O( x 3/ ),s x. Using u(ξ) = sin(πξ/ε) ± i cos(πξ/ε) yields the integrble rel-vlued shift-orthonorml smpling function cos πεx sin πx φ(x)= = π ( 4εx πx sinc εx ) sinc(x), x R. (4) Its decy is better thn the previous exmple, φ(x) = O( x ),s x. This exmple ws first obtined in the wvelet context [4, Exmple.3], lso discussed in [6, pp. 5, 38] nd [7,0]. In fct, for ε 6, (3) nd (4) re scling functions, i.e., they stisfy the dydic refinement eqution of wvelet theory: ( ) x φ = c k φ(x k), x R, with [ c k = φ(k/). Indeed we note tht Lemm implies, if shift-orthonorml smpling function φ stisfies supp ˆφ 3, ] 3, then φ is refinble. With suitble u we cn improve the smoothness of ˆφ nd thus the decy properties of φ. To this end, observe tht u cn lwys be written ( ) ( ) π π u(ξ) = e πiνε(ξ)/ = sin ν ε(ξ) + i cos ν ε(ξ), ξ [ ε, ε], where ν ε (ξ) = ν(ξ/ε), for some mesurble function ν : [, ] R. By clever choice of ν we cn hve tht ˆφ is C, so tht φ is of rpid decy. The next lemm describes the function ν tht we will use in Exmple. Lemm. Define ν : [, ] [, ] by { ( ( tnh tn π ξ )), <ξ<, ν(ξ) = ±, ξ =±. Then ν is C on [, ] nd ν (k) (±) = 0 for k =,,... Proof. Note tht ll derivtives of tnh(ξ) vnish t infinity s cn be seen by writing tnh(ξ) = ( exp( ξ))/( + exp( ξ)) nd using L Hospitl s rule. Thus the derivtives of ν t ξ =± re obtined by elementry clculus, in the sme wy s one shows tht ll the derivtives of exp( / ξ ) re zero t zero. By mking use of Lemm we construct bndlimited shift-orthonorml smpling function φ tht hs rpid decy. Exmple. Given 0 <ε, define φ L (R) by, ξ ε, ˆφ(ξ) = ± sin( ( )) π ν ε ξ ± ± i cos ( ( )) π ν ε ξ ±, ξ ± <ε, 0, ξ + ε, where ν(ξ) = tnh ( tn ( π ξ )) nd ν ε (ξ) = ν(ξ/ε). Then φ is rel-vlued shift-orthonorml smpling function with rpid decy such tht supp ˆφ = [ ε, + ε]. While the construction of this exmple does not give rise to n elementry formul in time domin, the function φ cn be redily implemented by the given formul in the Fourier domin. The specific cse of φ in Exmple with ε = 0. is illustrted in Fig.. Note the lck of symmetry in this function.
5 408 N. Kiblinger, W.R. Mdych / Appl. Comput. Hrmon. Anl. (006) Fig.. A bndlimited shift-orthonorml smpling function with rpid decy (Exmple with ε = 0.). Fig.. A symmetric bndlimited shift-orthonorml smpling function with rpid decy (Exmple with ε = 0.). It cn be deduced from Lemm tht shift-orthonorml smpling function φ with supp ˆφ [, ] cnnot be symmetric when ˆφ is continuous, indeed, item (iii) of Theorem implies tht this is true for bndwidths s lrge s 3. However, in (iv) we stte tht symmetric exmples with rpid decy do exist if the bndwidth is llowed to increse further. The next exmple verifies this observtion. Exmple. Given 0 <ε, define φ L (R) by, ξ ε, cos( ( )) αν ε ξ ± ± 3 sin( ( )) αν ε ξ ±, ξ ± <ε, ˆφ(ξ) = 0, ξ ± ε, cos( ( )) αν ε ξ ± 3, ξ ± 3 <ε, 0, ξ 3 + ε, where α = rccos 3, ν(ξ) = tnh ( tn ( π ξ )) nd ν ε (ξ) = ν ( ξ ε ). Then φ is symmetric rel-vlued shift-orthonorml smpling function with rpid decy such tht supp ˆφ [ 3 ε, 3 + ε]. This exmple is one of the min results of our nlysis. By Theorem (iii) it cnnot be improved in terms of smller bndwidth. The specific cse with ε = 0. is illustrted in Fig.. Remrk. A shift-orthonorml smpling function φ which enjoys the property tht ˆφ(ξ) = in neighborhood of the origin lso stisfies ˆφ(ξ) = 0 in neighborhood of the nonzero integers. If φ decys rpidly these properties imply tht φ stisfies severl fetures tht re importnt in pproximtion theory. For exmple, φ reproduces lgebric polynomils of ny order, tht is, for ll N = 0,,,..., x N = k N φ(x k), x R. (5) In prticulr, both Exmples nd stisfy this property. 3. Generl shift prmeters Let >0 nd φ L (R).
6 N. Kiblinger, W.R. Mdych / Appl. Comput. Hrmon. Anl. (006) (i) φ is Z-shift-orthonorml if φ(x)φ(x k)dx = δ k,0, k Z. (ii) φ is n Z-smpling function if it is continuous nd φ(k)= δ k,0, k Z. As is well known, ech of these notions cn be relted to the corresponding specil cse = by diltion: φ(x) is shift-orthonorml / φ(x/) is Z-shift-orthonorml, φ(x) is smpling function φ(x/) is n Z-smpling function. Note tht the bove diltions do not led directly to functions φ which re both Z-shift-orthonorml nd Z-smpling functions when. While the fctor of / my seem like minor inconvenience it does rise the interesting question of whether this fctor is indeed necessry, tht is, whether there exist functions φ which re both shift-orthonorml nd smpling functions when. Surprisingly the nswer to this question is yes, see Theorem below, but the development is not quite s slick s in the specil cse =, see Section 4. Our interest in this question ws prompted by the rticle [9]. We stte the chrcteriztions in the Fourier domin for the cse of generl >0. A function φ L (R) is Z-shift-orthonorml if nd only if ( ˆφ ξ k ) = for.e. ξ R. (6) A function φ L (R) with integrble Fourier trnsform is n Z-smpling function if nd only if ( ˆφ ξ k ) = for.e. ξ R. We formulte our min result for this generl setting of rbitrry shift-prmeters >0, clssifiction of bndlimited Z-shift-orthonorml Z-smpling functions in terms of the bndwidth. By we denote the lest integer greter thn or equl to. (7) Theorem. Given >0,let { for <, N = for, { 3 for <, nd M = for. Suppose φ L (R) is n Z-shift-orthonorml Z-smpling function such tht [ supp ˆφ Ω, Ω ], Ω >0. (i) Ω<N/. No such function exists. (ii) Ω = N/. There exist symmetric rel-vlued exmples. The function is unique if nd only if is n integer, where φ = sinc. There do not exist integrble exmples. (iii) N/ <Ω M/. There exist rel-vlued exmples with rpid decy. If φ is integrble it cnnot be symmetric. (iv) Ω>M/. There exist symmetric rel-vlued exmples with rpid decy. Remrk. The cse (iii) is void for, since in this cse M nd N coincide. We illustrte (ii) by constructing n exmple, for generl >0.
7 40 N. Kiblinger, W.R. Mdych / Appl. Comput. Hrmon. Anl. (006) Exmple 3. Given >0, let n = mx(, ), nd define φ L (R) by n + n ( ) n n, ξ n, ˆφ (ξ) = n n n ( ) n, n < ξ n, 0, ξ > n. Then φ is symmetric rel-vlued Z-shift-orthonorml Z-smpling function such tht supp ˆφ [ N, N ] with N s in Theorem (ii). Indeed, for we hve supp ˆφ = [ n, n ], while = yields supp ˆφ = [, ]. We note, when is n integer, then φ = sinc. We lso mention tht φ sinc in L (R), s. 4. Preliminry lemms nd proof of Theorem We provide the lemms used below for proving Theorem. The first is result tht llows us to nlyze bndlimited Z-shift-orthonorml Z-smpling functions by investigting clsses of vectors in C n.given>0 nd n N, we define Sn Cn by } n n Sn {λ = C n : λ k = λ k =. k= k= Lemm 3. Let >0. Given bndlimited function φ L (R), with supp ˆφ [ n ε, n ] + ε, n N, 0 ε<, we define v ξ C n nd w ξ C n+,forξ R,by ( ( v ξ = ˆφ n ) ( + ξ, ˆφ n 3 ) ( )) n + ξ,..., ˆφ + ξ nd ( w ξ = ˆφ ( n ) ( + ξ, ˆφ n ) ( )) n + ξ,..., ˆφ + ξ, respectively. Then φ is n Z-shift-orthonorml Z-smpling function if nd only if [ v ξ Sn for.e. ξ + ε, ] ε nd w ξ Sn+ for.e. ξ ( ε, ε). The equivlence follows from (6) nd (7). We omit the detils. In the sequel we nlyze properties of the set S n. Lemm 4. Given >0 nd n =,,..., the following hold: (i) Let <n.ifn =, then Sn =.Ifn =, 3,..., then S n is the (n )-sphere in Cn with center p = ( n,..., n) C n nd rdius r = ( n), oriented long the hyperplne through p tht is orthogonl to the position vector of p. (ii) For = n, we hve Sn ={(,...,) Cn }. (iii) For >n, we hve Sn =. Proof. (i), (ii), (iii) Cse I: n. The eqution n k= λ k = defines the (n )-hyperplne in C n through p nd orthogonl to the position vector of p. The eqution n k= λ k = defines the (n )-sphere of rdius R = round the origin in C n.thesetsn is thus the intersection of the hyperplne with this sphere, it yields the (n )- sphere described in the lemm. The rdius r is obtined by r + p = R. Finlly, we identify the cses = n, where the sphere degenertes to single point, nd >n, where the intersection is empty.
8 N. Kiblinger, W.R. Mdych / Appl. Comput. Hrmon. Anl. (006) Cse II: n =. While S ={}, we hve for ny other tht S =. For esy referencing, we summrize when Sn is non-empty. Lemm 5. (i) Let <. Then Sn if nd only if n. (ii) Let. Then Sn if nd only if n. We will need to know when S n contins symmetric vectors. A vector v Cn is clled symmetric if (v,v,...,v n ) = (v n,v n,...,v ). Lemm 6. (i) Let <,. Then Sn contins symmetric vector if nd only if n 3. (ii) Let =. Then Sn contins symmetric vector if nd only if n = or n 3. (iii) Let. Then Sn contins symmetric vector if nd only if n. Proof. (i) Cse I: n =. Then Sn = by Lemm 5. Cse II: n =. Suppose there exists symmetric vector v = (λ, λ) S. Then λ S/. However, since, we hve by Lemm 5 tht S / =. Contrdiction. Cse III: n 3. Then Sn contins, for exmple, the symmetric vector v = (λ,μ,...,μ,λ)defined by λ = ( n n ± ) nd μ = ( n n n ). n n n (ii) For n =, we hve S ={}. For n =,see(i),cseii. For n 3, see (i), Cse III. (iii) For n<, Sn = by Lemm 5. For n =,wehvesn ={(,...,)} by Lemm 4. For n>, see (i), Cse III. Lemm 7. Let >0 nd n =,,..., be such tht Sn. Then S n contins Hermiten vector, i.e., vector v of the form (v,v,...,v n ) = ( v n, v n,..., v ). Proof. We only need to consider the cse n = nd <, since for ll other cses we find by inspecting the proof of Lemm 6 tht Sn indeed contins rel-vlued symmetric vectors, such re Hermiten in prticulr. For n = nd <, let s = ( ) (. Then not just the rel-vlued vector + s, s) belongs to S but lso the complex vector v = ( + is, is), which is Hermiten. Proof of Theorem. First, note tht the numbers N nd M re defined in such wy tht N = min { n N: Sn } nd (8) M = min { n N: both Sn nd S n+ contin symmetric vectors} ; (9) s cn be verified by Lemm 5 nd Lemm 6, respectively. (i) Suppose such φ exists. By Lemm 3 there exist vectors v = v ξ for.e. ξ [ + ε, ε], tht belong to SN. Since ˆφ is supported on subset of [ N,N ] of smller mesure, we hve tht t lest one (in fct, mny) v ξ hs zero component. This implies tht the vector of length N obtined by removing the zero entry of v ξ belongs to SN. However, S N is empty by (8). Contrdiction. (ii) A. Existence: By (8) SN is non-empty. Therefore, Lemm 3 with ε = 0 provides vlid construction of such function φ. B. Uniqueness: In view of item A bove, uniqueness holds if nd only if SN consists of single vector. By Lemm 4 this is the cse if nd only if = N is n integer.
9 4 N. Kiblinger, W.R. Mdych / Appl. Comput. Hrmon. Anl. (006) C. Non-integrbility: Cse I: If =, then N = nd the sttement follows since the only smpling function φ L (R) with supp ˆφ [, ] is the crdinl sine (Theorem (ii)). Cse II: If, then we hve N. Suppose there exists such function φ with continuous ˆφ. By Lemm 3 the vector ( ( v := ˆφ N ) (, ˆφ N ) ( )) N,..., ˆφ C N belongs to SN+. The continuity of ˆφ nd the constrint on its support imply ˆφ ( ± N ) = 0. Tht is, the first nd lst entries of v vnish. Thus we conclude tht the vector of length N tht is left when deleting these two entries belongs to SN. However, by (8) S N is empty. Contrdiction. (iii) A. Existence: Since SN, there exists v S N. We note tht the ugmented vectors w = (v, 0) C N+ nd w = (0,v) C N+ belong to SN+. According to Lemm 4 S N+ is lwys connected set, hence we find continuous mpping w : [ ε, ε] SN+ such tht w( ε) = w nd w(ε) = w. Now define φ with supp ˆφ [ N ε, N + ε] by ( ˆφ ( N ) ( + ξ, ˆφ N ) ( )) N + ξ,..., ˆφ + ξ = w(ξ) for ξ ( ε, ε) nd ( ( ˆφ N ) ( + ξ, ˆφ N 3 ) ( )) [ N + ξ,..., ˆφ + ξ v for ξ + ε, ] ε. Then by Lemm 3 we hve tht φ is Z-shift-orthonorml nd Z-smpling. By Lemm 7 we cn ssume tht v is Hermiten vector see Lemm 7 for this notion nd construct w in such wy tht w( ξ)= w(ξ). From this property we obtin tht ˆφ stisfies ˆφ( ξ)= ˆφ(ξ), ξ R, nd hence φ is rel-vlued. Without further detils, we finlly note tht by choosing w ppropritely we lso obtin tht ˆφ is not just continuous but indeed C function. B. Non-symmetry if integrble: Suppose there exists such function φ which is symmetric. Cse I: If >, then M = nd we hve tht ˆφ cnnot be continuous. Contrdiction. Cse II: If <, then M = 3. Therefore, since ˆφ is continuous we hve ˆφ ( ± 3 ) = 0. Hence, since φ is symmetric we hve tht ˆφ is symmetric nd we obtin λ := ˆφ ( ) = ˆφ ( ). Then from Lemm 3 we obtin tht (λ, λ) S, i.e., S contins symmetric vector, in contrdiction to Lemm 6(ii). Cse III: If =, then M =. Therefore, since ˆφ is continuous we hve ˆφ ( ± ) = 0. Hence, λ := ˆφ(0) stisfies λ S or λ = λ =, which is impossible. Contrdiction. (iv) A. Existence: Such function is constructed s described bove with the following dditionl properties. First, the vector v is chosen to be symmetric. Second, the function w is chosen to be symmetric function. This is possible by letting w(0) = w 0, where w 0 is symmetric vector in SN. Note tht the proof of (iii)-a provides construction. References [] T.N.T. Goodmn, C.A. Micchelli, Orthonorml crdinl functions, in: C.K. Chui, L.B. Montefusco, L. Puccio (Eds.), Wvelets: Theory, Algorithms, nd Applictions, Acdemic Press, Sn Diego, 994, pp [] G. Gripenberg, On subdivision interpoltion schemes, SIAM J. Mth. Anl. 7 () (996) [3] R.M. Lewis, Crdinl interpolting multiresolutions, J. Approx. Theory 76 () (994) [4] Y. Liu, G.G. Wlter, A clss of bnd-limited crdinl wvelets, Adv. Mth. (Chin) 6 (6) (997) [5] D.F. Wlnut, An Introduction to Wvelet Anlysis, Birkhäuser, Boston, MA, 00. [6] G.G. Wlter, X. Shen, Wvelets nd Other Orthogonl Systems, second ed., Chpmn & Hll/CRC, Boc Rton, FL, 00. [7] G.G. Wlter, J. Zhng, Orthonorml wvelets with simple closed-form expressions, IEEE Trns. Signl Process. 46 (8) (998) [8] X.-G. Xi, Z. Zhng, On smpling theorem, wvelets, nd wvelet trnsforms, IEEE Trns. Signl Process. 4 () (993) [9] A.I. Zyed, B-splines nd orthonorml sets in Pley Wiener spce, in: W.O. Bry, Č.V. Stnojević (Eds.), Anlysis of Divergence, Birkhäuser, Boston, MA, 999, pp [0] A.I. Zyed, G.G. Wlter, Wvelets in closed forms, in: L. Debnth (Ed.), Wvelet Trnsforms nd Time Frequency Signl Anlysis, Birkhäuser, Boston, MA, 00, pp. 43.
ORTHONORMAL SAMPLING FUNCTIONS
ORTHONORMAL SAMPLING FUNCTIONS N. KAIBLINGER AND W. R. MADYCH Abstract. We investigate functions φ(x) whose translates {φ(x k)}, where k runs through the integer lattice Z, provide a system of orthonormal
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More information1 The Lagrange interpolation formula
Notes on Qudrture 1 The Lgrnge interpoltion formul We briefly recll the Lgrnge interpoltion formul. The strting point is collection of N + 1 rel points (x 0, y 0 ), (x 1, y 1 ),..., (x N, y N ), with x
More informationReview of Riemann Integral
1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.
More informationS. S. Dragomir. 2, we have the inequality. b a
Bull Koren Mth Soc 005 No pp 3 30 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Abstrct Compnions of Ostrowski s integrl ineulity for bsolutely
More informationMath 1B, lecture 4: Error bounds for numerical methods
Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the
More informationW. We shall do so one by one, starting with I 1, and we shall do it greedily, trying
Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)
More informationTHE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem
More informationarxiv:math/ v2 [math.ho] 16 Dec 2003
rxiv:mth/0312293v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ 07070 jbi2@njit.edu Februry 1, 2008 Abstrct In this pper,
More informationA PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES
INROADS Rel Anlysis Exchnge Vol. 26(1), 2000/2001, pp. 381 390 Constntin Volintiru, Deprtment of Mthemtics, University of Buchrest, Buchrest, Romni. e-mil: cosv@mt.cs.unibuc.ro A PROOF OF THE FUNDAMENTAL
More informationA Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions
Interntionl Journl of Mthemticl Anlysis Vol. 8, 2014, no. 50, 2451-2460 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.49294 A Convergence Theorem for the Improper Riemnn Integrl of Bnch
More informationLecture 19: Continuous Least Squares Approximation
Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for
More informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More informationUNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3
UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,
More informationA REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007
A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus
More informationThe final exam will take place on Friday May 11th from 8am 11am in Evans room 60.
Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23
More informationKRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION
Fixed Point Theory, 13(2012), No. 1, 285-291 http://www.mth.ubbcluj.ro/ nodecj/sfptcj.html KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION FULI WANG AND FENG WANG School of Mthemtics nd
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationEuler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )
Euler, Iochimescu nd the trpezium rule G.J.O. Jmeson (Mth. Gzette 96 (0), 36 4) The following results were estblished in recent Gzette rticle [, Theorems, 3, 4]. Given > 0 nd 0 < s
More informationChapter 4 Contravariance, Covariance, and Spacetime Diagrams
Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz
More informationA BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int
A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE HANS RINGSTRÖM. Questions nd exmples In the study of Fourier series, severl questions rise nturlly, such s: () (2) re there conditions on c n, n Z, which ensure
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1
MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further
More informationS. S. Dragomir. 1. Introduction. In [1], Guessab and Schmeisser have proved among others, the following companion of Ostrowski s inequality:
FACTA UNIVERSITATIS NIŠ) Ser Mth Inform 9 00) 6 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Dedicted to Prof G Mstroinni for his 65th birthdy
More informationMORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)
MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give
More informationMath 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008
Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of
More information8 Laplace s Method and Local Limit Theorems
8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved
More information13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS
33 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS As simple ppliction of the results we hve obtined on lgebric extensions, nd in prticulr on the multiplictivity of extension degrees, we cn nswer (in
More informationarxiv: v1 [math.ra] 1 Nov 2014
CLASSIFICATION OF COMPLEX CYCLIC LEIBNIZ ALGEBRAS DANIEL SCOFIELD AND S MCKAY SULLIVAN rxiv:14110170v1 [mthra] 1 Nov 2014 Abstrct Since Leibniz lgebrs were introduced by Lody s generliztion of Lie lgebrs,
More informationBest Approximation in the 2-norm
Jim Lmbers MAT 77 Fll Semester 1-11 Lecture 1 Notes These notes correspond to Sections 9. nd 9.3 in the text. Best Approximtion in the -norm Suppose tht we wish to obtin function f n (x) tht is liner combintion
More informationJournal of Inequalities in Pure and Applied Mathematics
Journl of Inequlities in Pure nd Applied Mthemtics GENERALIZATIONS OF THE TRAPEZOID INEQUALITIES BASED ON A NEW MEAN VALUE THEOREM FOR THE REMAINDER IN TAYLOR S FORMULA volume 7, issue 3, rticle 90, 006.
More informationDecomposition of terms in Lucas sequences
Journl of Logic & Anlysis 1:4 009 1 3 ISSN 1759-9008 1 Decomposition of terms in Lucs sequences ABDELMADJID BOUDAOUD Let P, Q be non-zero integers such tht D = P 4Q is different from zero. The sequences
More informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
More informationContinuous Random Variables
STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 217 Néhémy Lim Continuous Rndom Vribles Nottion. The indictor function of set S is rel-vlued function defined by : { 1 if x S 1 S (x) if x S Suppose tht
More informationON THE C-INTEGRAL BENEDETTO BONGIORNO
ON THE C-INTEGRAL BENEDETTO BONGIORNO Let F : [, b] R be differentible function nd let f be its derivtive. The problem of recovering F from f is clled problem of primitives. In 1912, the problem of primitives
More informationDiscrete Least-squares Approximations
Discrete Lest-squres Approximtions Given set of dt points (x, y ), (x, y ),, (x m, y m ), norml nd useful prctice in mny pplictions in sttistics, engineering nd other pplied sciences is to construct curve
More informationDefinite integral. Mathematics FRDIS MENDELU
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the
More informationSemigroup of generalized inverses of matrices
Semigroup of generlized inverses of mtrices Hnif Zekroui nd Sid Guedjib Abstrct. The pper is divided into two principl prts. In the first one, we give the set of generlized inverses of mtrix A structure
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More informationTRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS
TRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS S.S. DRAGOMIR AND A. SOFO Abstrct. In this pper by utilising result given by Fink we obtin some new results relting to the trpezoidl inequlity
More informationProperties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives
Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn
More informationMath 554 Integration
Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we
More informationThe Riemann-Lebesgue Lemma
Physics 215 Winter 218 The Riemnn-Lebesgue Lemm The Riemnn Lebesgue Lemm is one of the most importnt results of Fourier nlysis nd symptotic nlysis. It hs mny physics pplictions, especilly in studies of
More informationDefinite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function
More informationApplicable Analysis and Discrete Mathematics available online at
Applicble Anlysis nd Discrete Mthemtics vilble online t http://pefmth.etf.rs Appl. Anl. Discrete Mth. 4 (2010), 23 31. doi:10.2298/aadm100201012k NUMERICAL ANALYSIS MEETS NUMBER THEORY: USING ROOTFINDING
More informationf(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all
3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the
More informationAdvanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015
Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n
More informationCMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature
CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy
More informationSOME PROPERTIES OF CHEBYSHEV SYSTEMS
SOME PROPERTIES OF CHEBYSHEV SYSTEMS RICHARD A. ZALIK Abstrct. We study Chebyshev systems defined on n intervl, whose constituent functions re either complex or rel vlued, nd focus on problems tht my hve
More informationUnit #9 : Definite Integral Properties; Fundamental Theorem of Calculus
Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl
More informationZero-Sum Magic Graphs and Their Null Sets
Zero-Sum Mgic Grphs nd Their Null Sets Ebrhim Slehi Deprtment of Mthemticl Sciences University of Nevd Ls Vegs Ls Vegs, NV 89154-4020. ebrhim.slehi@unlv.edu Abstrct For ny h N, grph G = (V, E) is sid to
More informationg i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f
1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where
More informationSelf-similarity and symmetries of Pascal s triangles and simplices mod p
Sn Jose Stte University SJSU ScholrWorks Fculty Publictions Mthemtics nd Sttistics Februry 2004 Self-similrity nd symmetries of Pscl s tringles nd simplices mod p Richrd P. Kubelk Sn Jose Stte University,
More informationStuff You Need to Know From Calculus
Stuff You Need to Know From Clculus For the first time in the semester, the stuff we re doing is finlly going to look like clculus (with vector slnt, of course). This mens tht in order to succeed, you
More informationP 3 (x) = f(0) + f (0)x + f (0) 2. x 2 + f (0) . In the problem set, you are asked to show, in general, the n th order term is a n = f (n) (0)
1 Tylor polynomils In Section 3.5, we discussed how to pproximte function f(x) round point in terms of its first derivtive f (x) evluted t, tht is using the liner pproximtion f() + f ()(x ). We clled this
More informationCLOSED EXPRESSIONS FOR COEFFICIENTS IN WEIGHTED NEWTON-COTES QUADRATURES
Filomt 27:4 (2013) 649 658 DOI 10.2298/FIL1304649M Published by Fculty of Sciences nd Mthemtics University of Niš Serbi Avilble t: http://www.pmf.ni.c.rs/filomt CLOSED EXPRESSIONS FOR COEFFICIENTS IN WEIGHTED
More informationChapter 5 : Continuous Random Variables
STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 216 Néhémy Lim Chpter 5 : Continuous Rndom Vribles Nottions. N {, 1, 2,...}, set of nturl numbers (i.e. ll nonnegtive integers); N {1, 2,...}, set of ll
More information63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1
3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =
More informationENGI 9420 Lecture Notes 7 - Fourier Series Page 7.01
ENGI 940 ecture Notes 7 - Fourier Series Pge 7.0 7. Fourier Series nd Fourier Trnsforms Fourier series hve multiple purposes, including the provision of series solutions to some liner prtil differentil
More informationBest Approximation. Chapter The General Case
Chpter 4 Best Approximtion 4.1 The Generl Cse In the previous chpter, we hve seen how n interpolting polynomil cn be used s n pproximtion to given function. We now wnt to find the best pproximtion to given
More informationQuadratic Forms. Quadratic Forms
Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte
More informationJim Lambers MAT 169 Fall Semester Lecture 4 Notes
Jim Lmbers MAT 169 Fll Semester 2009-10 Lecture 4 Notes These notes correspond to Section 8.2 in the text. Series Wht is Series? An infinte series, usully referred to simply s series, is n sum of ll of
More informationAn optimal 3-point quadrature formula of closed type and error bounds
Revist Colombin de Mtemátics Volumen 8), págins 9- An optiml 3-point qudrture formul of closed type nd error bounds Un fórmul de cudrtur óptim de 3 puntos de tipo cerrdo y error de fronter Nend Ujević,
More informationPositive Solutions of Operator Equations on Half-Line
Int. Journl of Mth. Anlysis, Vol. 3, 29, no. 5, 211-22 Positive Solutions of Opertor Equtions on Hlf-Line Bohe Wng 1 School of Mthemtics Shndong Administrtion Institute Jinn, 2514, P.R. Chin sdusuh@163.com
More informationSummary of Elementary Calculus
Summry of Elementry Clculus Notes by Wlter Noll (1971) 1 The rel numbers The set of rel numbers is denoted by R. The set R is often visulized geometriclly s number-line nd its elements re often referred
More information1 The Riemann Integral
The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re
More information1.9 C 2 inner variations
46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for
More informationFUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (
FUNDAMNTALS OF RAL ANALYSIS by Doğn Çömez III. MASURABL FUNCTIONS AND LBSGU INTGRAL III.. Mesurble functions Hving the Lebesgue mesure define, in this chpter, we will identify the collection of functions
More informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
More information1 1D heat and wave equations on a finite interval
1 1D het nd wve equtions on finite intervl In this section we consider generl method of seprtion of vribles nd its pplictions to solving het eqution nd wve eqution on finite intervl ( 1, 2. Since by trnsltion
More informationFourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )
Fourier series. Preliminry mteril on inner products. Suppose V is vector spce over C nd (, ) is Hermitin inner product on V. This mens, by definition, tht (, ) : V V C nd tht the following four conditions
More informationMath 270A: Numerical Linear Algebra
Mth 70A: Numericl Liner Algebr Instructor: Michel Holst Fll Qurter 014 Homework Assignment #3 Due Give to TA t lest few dys before finl if you wnt feedbck. Exercise 3.1. (The Bsic Liner Method for Liner
More informationMath& 152 Section Integration by Parts
Mth& 5 Section 7. - Integrtion by Prts Integrtion by prts is rule tht trnsforms the integrl of the product of two functions into other (idelly simpler) integrls. Recll from Clculus I tht given two differentible
More informationNOTES ON HILBERT SPACE
NOTES ON HILBERT SPACE 1 DEFINITION: by Prof C-I Tn Deprtment of Physics Brown University A Hilbert spce is n inner product spce which, s metric spce, is complete We will not present n exhustive mthemticl
More informationIntegrals along Curves.
Integrls long Curves. 1. Pth integrls. Let : [, b] R n be continuous function nd let be the imge ([, b]) of. We refer to both nd s curve. If we need to distinguish between the two we cll the function the
More informationII. Integration and Cauchy s Theorem
MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.
More informationOrthogonal Polynomials
Mth 4401 Gussin Qudrture Pge 1 Orthogonl Polynomils Orthogonl polynomils rise from series solutions to differentil equtions, lthough they cn be rrived t in vriety of different mnners. Orthogonl polynomils
More informationWell Centered Spherical Quadrangles
Beiträge zur Algebr und Geometrie Contributions to Algebr nd Geometry Volume 44 (003), No, 539-549 Well Centered Sphericl Qudrngles An M d Azevedo Bred 1 Altino F Sntos Deprtment of Mthemtics, University
More information11 An introduction to Riemann Integration
11 An introduction to Riemnn Integrtion The PROOFS of the stndrd lemms nd theorems concerning the Riemnn Integrl re NEB, nd you will not be sked to reproduce proofs of these in full in the exmintion in
More informationConservation Law. Chapter Goal. 5.2 Theory
Chpter 5 Conservtion Lw 5.1 Gol Our long term gol is to understnd how mny mthemticl models re derived. We study how certin quntity chnges with time in given region (sptil domin). We first derive the very
More informationChirps on finite cyclic groups
Chirps on finite cyclic groups Peter G. Cszz nd Mtthew Fickus b Deprtment of Mthemtics, University of Missouri, Columbi, Missouri 652, USA; b Deprtment of Mthemtics nd Sttistics, Air Force Institute of
More informationAMATH 731: Applied Functional Analysis Fall Some basics of integral equations
AMATH 731: Applied Functionl Anlysis Fll 2009 1 Introduction Some bsics of integrl equtions An integrl eqution is n eqution in which the unknown function u(t) ppers under n integrl sign, e.g., K(t, s)u(s)
More information7.2 The Definite Integral
7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where
More informationUNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE
UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE 1. Pointwise Convergence of Sequence Let E be set nd Y be metric spce. Consider functions f n : E Y for n = 1, 2,.... We sy tht the sequence
More informationN 0 completions on partial matrices
N 0 completions on prtil mtrices C. Jordán C. Mendes Arújo Jun R. Torregros Instituto de Mtemátic Multidisciplinr / Centro de Mtemátic Universidd Politécnic de Vlenci / Universidde do Minho Cmino de Ver
More informationWHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) =
WHEN IS A FUNCTION NOT FLAT? YIFEI PAN AND MEI WANG Abstrct. In this pper we prove unique continution property for vector vlued functions of one vrible stisfying certin differentil inequlity. Key words:
More information221B Lecture Notes WKB Method
Clssicl Limit B Lecture Notes WKB Method Hmilton Jcobi Eqution We strt from the Schrödinger eqution for single prticle in potentil i h t ψ x, t = [ ] h m + V x ψ x, t. We cn rewrite this eqution by using
More informationGENERALIZED ABSTRACTED MEAN VALUES
GENERALIZED ABSTRACTED MEAN VALUES FENG QI Abstrct. In this rticle, the uthor introduces the generlized bstrcted men vlues which etend the concepts of most mens with two vribles, nd reserches their bsic
More informationIntegral points on the rational curve
Integrl points on the rtionl curve y x bx c x ;, b, c integers. Konstntine Zeltor Mthemtics University of Wisconsin - Mrinette 750 W. Byshore Street Mrinette, WI 5443-453 Also: Konstntine Zeltor P.O. Box
More informationName Solutions to Test 3 November 8, 2017
Nme Solutions to Test 3 November 8, 07 This test consists of three prts. Plese note tht in prts II nd III, you cn skip one question of those offered. Some possibly useful formuls cn be found below. Brrier
More informationAnalytical Methods Exam: Preparatory Exercises
Anlyticl Methods Exm: Preprtory Exercises Question. Wht does it men tht (X, F, µ) is mesure spce? Show tht µ is monotone, tht is: if E F re mesurble sets then µ(e) µ(f). Question. Discuss if ech of the
More informationOrthogonal Polynomials and Least-Squares Approximations to Functions
Chpter Orthogonl Polynomils nd Lest-Squres Approximtions to Functions **4/5/3 ET. Discrete Lest-Squres Approximtions Given set of dt points (x,y ), (x,y ),..., (x m,y m ), norml nd useful prctice in mny
More informationHilbert Spaces. Chapter Inner product spaces
Chpter 4 Hilbert Spces 4.1 Inner product spces In the following we will discuss both complex nd rel vector spces. With L denoting either R or C we recll tht vector spce over L is set E equipped with ddition,
More informationTHE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p
THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS PETE L CLARK Circ 1870, Zolotrev observed tht the Legendre symbol ( p ) cn be interpreted s the sign of multipliction by viewed s permuttion of the set Z/pZ
More informationImproper Integrals, and Differential Equations
Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted
More informationNote 16. Stokes theorem Differential Geometry, 2005
Note 16. Stokes theorem ifferentil Geometry, 2005 Stokes theorem is the centrl result in the theory of integrtion on mnifolds. It gives the reltion between exterior differentition (see Note 14) nd integrtion
More informationEntrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim
1. Let n be positive integers. ntrnce xm, Rel Anlysis September 1, 29 Solve exctly 6 out of the 8 problems. Sketch the grph of the function f(x): f(x) = lim e x2n. Compute the following nd justify your
More information