Orthonormal sampling functions

Size: px
Start display at page:

Download "Orthonormal sampling functions"

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 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 information

The Regulated and Riemann Integrals

The 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 information

New Expansion and Infinite Series

New 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 information

Review of Calculus, cont d

Review 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 information

Lecture 1. Functional series. Pointwise and uniform convergence.

Lecture 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 information

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Advanced 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 information

1 The Lagrange interpolation formula

1 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 information

Review of Riemann Integral

Review 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 information

S. S. Dragomir. 2, we have the inequality. b a

S. 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 information

Math 1B, lecture 4: Error bounds for numerical methods

Math 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 information

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

W. 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 information

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

THE 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 information

arxiv:math/ v2 [math.ho] 16 Dec 2003

arxiv: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 information

A PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES

A 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 information

A Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions

A 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 information

Lecture 19: Continuous Least Squares Approximation

Lecture 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 information

Theoretical foundations of Gaussian quadrature

Theoretical 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 information

UNIFORM 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 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 information

A 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. 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 information

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

The 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 information

KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION

KRASNOSEL 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 information

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

Lecture 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 information

Euler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )

Euler, 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 information

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams

Chapter 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 information

A 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. 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 information

MATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1

MATH34032: 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 information

S. S. Dragomir. 1. Introduction. In [1], Guessab and Schmeisser have proved among others, the following companion of Ostrowski s inequality:

S. 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 information

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)

MORE 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 information

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008

Math 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 information

8 Laplace s Method and Local Limit Theorems

8 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 information

13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS

13.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 information

arxiv: v1 [math.ra] 1 Nov 2014

arxiv: 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 information

Best Approximation in the 2-norm

Best 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 information

Journal of Inequalities in Pure and Applied Mathematics

Journal 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 information

Decomposition of terms in Lucas sequences

Decomposition 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 information

Riemann is the Mann! (But Lebesgue may besgue to differ.)

Riemann 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 information

Continuous Random Variables

Continuous 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 information

ON THE C-INTEGRAL BENEDETTO BONGIORNO

ON 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 information

Discrete Least-squares Approximations

Discrete 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 information

Definite integral. Mathematics FRDIS MENDELU

Definite 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 information

Semigroup of generalized inverses of matrices

Semigroup 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 information

Abstract inner product spaces

Abstract 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 information

TRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS

TRAPEZOIDAL 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 information

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Properties 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 information

Math 554 Integration

Math 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 information

The Riemann-Lebesgue Lemma

The 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 information

Definite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30

Definite 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 information

Applicable Analysis and Discrete Mathematics available online at

Applicable 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 information

f(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

f(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 information

Advanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015

Advanced 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 information

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature

CMDA 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 information

SOME PROPERTIES OF CHEBYSHEV SYSTEMS

SOME 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 information

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

Unit #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 information

Zero-Sum Magic Graphs and Their Null Sets

Zero-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 information

g i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f

g 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 information

Self-similarity and symmetries of Pascal s triangles and simplices mod p

Self-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 information

Stuff You Need to Know From Calculus

Stuff 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 information

P 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)

P 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 information

CLOSED EXPRESSIONS FOR COEFFICIENTS IN WEIGHTED NEWTON-COTES QUADRATURES

CLOSED 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 information

Chapter 5 : Continuous Random Variables

Chapter 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 information

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1

63. 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 information

ENGI 9420 Lecture Notes 7 - Fourier Series Page 7.01

ENGI 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 information

Best Approximation. Chapter The General Case

Best 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 information

Quadratic Forms. Quadratic Forms

Quadratic 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 information

Jim Lambers MAT 169 Fall Semester Lecture 4 Notes

Jim 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 information

An optimal 3-point quadrature formula of closed type and error bounds

An 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 information

Positive Solutions of Operator Equations on Half-Line

Positive 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 information

Summary of Elementary Calculus

Summary 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 information

1 The Riemann Integral

1 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 information

1.9 C 2 inner variations

1.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 information

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (

FUNDAMENTALS 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 information

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

Physics 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 information

1 1D heat and wave equations on a finite interval

1 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 information

Fourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )

Fourier 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 information

Math 270A: Numerical Linear Algebra

Math 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 information

Math& 152 Section Integration by Parts

Math& 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 information

NOTES ON HILBERT SPACE

NOTES 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 information

Integrals along Curves.

Integrals 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 information

II. Integration and Cauchy s Theorem

II. 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 information

Orthogonal Polynomials

Orthogonal 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 information

Well Centered Spherical Quadrangles

Well 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 information

11 An introduction to Riemann Integration

11 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 information

Conservation Law. Chapter Goal. 5.2 Theory

Conservation 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 information

Chirps on finite cyclic groups

Chirps 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 information

AMATH 731: Applied Functional Analysis Fall Some basics of integral equations

AMATH 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 information

7.2 The Definite Integral

7.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 information

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

UNIFORM 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 information

N 0 completions on partial matrices

N 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 information

WHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) =

WHEN 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 information

221B Lecture Notes WKB Method

221B 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 information

GENERALIZED ABSTRACTED MEAN VALUES

GENERALIZED 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 information

Integral points on the rational curve

Integral 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 information

Name Solutions to Test 3 November 8, 2017

Name 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 information

Analytical Methods Exam: Preparatory Exercises

Analytical 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 information

Orthogonal Polynomials and Least-Squares Approximations to Functions

Orthogonal 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 information

Hilbert Spaces. Chapter Inner product spaces

Hilbert 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 information

THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p

THE 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 information

Improper Integrals, and Differential Equations

Improper 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 information

Note 16. Stokes theorem Differential Geometry, 2005

Note 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 information

Entrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim

Entrance 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