HENSTOCK-KURZWEIL FOURIER TRANSFORMS
|
|
- Todd Reeves
- 5 years ago
- Views:
Transcription
1 Illinois Journl of Mthemtics Volume 46, Number 4, Winter 2002, Pges S HENSTOCK-KURZWEIL FOURIER TRANSFORMS ERIK TALVILA Abstrct. The Fourier trnsform is considered s Henstock Kurzweil integrl. Sufficient conditions re given for the existence of the Fourier trnsform nd necessry nd sufficient conditions re given for it to be continuous. The Riemnn Lebesgue lemm fils: Henstock Kurzweil Fourier trnsforms cn hve rbitrrily lrge point-wise growth. Convolution nd inversion theorems re estblished. An ppendix gives sufficient conditions for interchnging repeted Henstock Kurzweil integrls nd gives n estimte on the integrl of product. 1. Introduction If f : R R then its Fourier trnsform t s R is defined s f(s) = e isx f(x) dx. The inverse trnsform is fˇ(s) = (2π) 1 eisx f(x) dx. In this pper we consider Fourier trnsforms s Henstock Kurzweil integrls. This is n integrl equivlent to the Denjoy nd Perron integrls but with definition in terms of Riemnn sums. We let HK A be the Henstock Kurzweil integrble functions over set A R, dropping the subscript when A = R. (The symbol llows set equlity.) Then HK properly contins the union of L 1 nd the Cuchy-Lebesgue integrble functions (i.e., improper Lebesgue integrls). The min points of HK integrtion tht we use cn be found in [1] nd [10]. Severl of our results depend on being ble to reverse the order of repeted integrls. In the Lebesgue theory this is usully justified with Fubini s Theorem. For HK integrls, necessry nd sufficient conditions were given in [12]. Lemm 25 in the Appendix gives sufficient conditions tht re redily pplicble to the cses t hnd. Also in the Appendix re some conditions for convergence of rpidly oscilltory integrls (Lemm 23) nd n estimte of the integrl of product (Lemm 24). There is substntil body of theory relting to Fourier trnsforms when they re considered s Lebesgue integrls. Necessry nd sufficient for existence of f on R is tht f L 1. This is becuse the multipliers for L 1 re the Received Mrch 8, 2002; received in finl form November 1, Mthemtics Subject Clssifiction. 42A38, 26A39. Reserch prtilly supported by NSERC c 2002 University of Illinois
2 1208 ERIK TALVILA (essentilly) bounded mesurble functions nd e ±isx 1. The multipliers for HK re the functions of (essentilly) bounded vrition. As x e isx is not of bounded vrition, except for s = 0, we do not hve n elegnt existence theorem for HK Fourier integrls. Vrious existence conditions re given in Proposition 2. Exmple 3(f) gives function whose Fourier trnsform diverges on countble set. For L 1 convergence, f is uniformly continuous with limit 0 t infinity (the Riemnn Lebesgue lemm). We show below (Exmple 3(e)) tht the Riemnn Lebesgue lemm fils drmticlly in HK: f cn hve rbitrrily lrge point-wise growth. And, f need not be continuous. Continuity of f is equivlent to qusi-uniform convergence (Theorem 5). Some sufficient conditions for continuity of f pper in Proposition 6. Although f need not be continuous, when it exists t the endpoints of compct intervl, it exists lmost everywhere on tht intervl nd is integrble over tht intervl; see Proposition 7. As in the L 1 theory, we hve linerity, symmetry, conjugtion, trnsltion, modultion, diltion, etc.; see formuls (2) (9) in [5, p. 117] nd [2, p. 9]. We drw ttention to the differentition of Fourier trnsforms (Proposition 8) nd trnsforms of derivtives (Proposition 9). One of the most importnt properties of Fourier trnsforms is their interction with convolutions. Propositions 10, 11, 13, 14 nd 15 contin vrious results on existence of convolutions; estimtes using the vrition, L 1 norm nd Alexiewicz norm; nd the trnsform nd inverse trnsform of convolutions. Proposition 16 gives Prsevl reltion. An inversion theorem is obtined using summbility kernel (Theorem 18). A uniqueness theorem follows s corollry. The pper concludes with n exmple of function f for which f exists on R but fˇ exists nowhere. As Henstock Kurzweil integrls llow conditionl convergence, they mke n idel setting for the Fourier trnsform. We remrk tht mny of the Fourier integrls ppering in tbles such s [5] diverge s Lebesgue integrls but converge s improper Riemnn integrls. Thus, they exist s HK integrls. We use the following nottion. Let A R nd f be rel-vlued function on A. The functions of bounded vrition over A re denoted BV A nd the vrition of function f over set A is V A f. We sy set is in BV if its chrcteristic function is in BV. All our results re stted for rel-vlued functions but the extension to complex-vlued functions is immedite. Note tht for complex-vlued functions, the vrition of the rel prt nd the vrition of the imginry prt re dded. The Alexiewicz norm of f HK A is f A = sup I A f, the supremum being tken over ll intervls I A. I For ech of these definitions, the lbel A is omitted when A = R or it is obvious which set is A. Wheres indefinite Lebesgue integrls re bsolutely continuous (AC), indefinite Henstock Kurzweil integrls re ACG ; see [9] for the definition of ACG nd the relted spce AC. Finlly, convergence theorem tht we use throughout is:
3 HENSTOCK-KURZWEIL FOURIER TRANSFORMS 1209 Theorem 1. Let f nd g n (n N) be rel-vlued functions on [, b]. If f HK, Vg n M for ll n N, nd g n g s n then fg n fg s n. The theorem holds for [, b] R, where R = R {± } is the extended rel line. For proof see [11]. 2. Bsic properties We first tckle the problem of existence. If f : R R then f exists s Lebesgue integrl on R if nd only if f L 1. This follows from the fct tht e ±isx 1 for ll s, x R nd the multipliers for L 1 re the bounded mesurble functions. No such simple necessry nd sufficient conditions re known for existence of HK Fourier integrls. However, we do hve the following results. Proposition 2. Let f :R R. () In order for f to exist t some s R it is necessry tht f HK loc. (b) If f HK loc then f exists on R if f is integrble in neighbourhood of infinity or if f is of bounded vrition in neighbourhood of infinity with limit 0 t infinity. (c) Let f HK. Define F 1 (x) = x f nd F 2(x) = x f. Then f exists t s R if nd only if both the integrls e isx F 0 1 (x) dx nd 0 e isx F 2 (x) dx exist. Proof. () For ech s R, the function x e isx is of bounded vrition on ny compct intervl. (b) This follows from the Chrtier Dirichlet convergence test; see [1]. (c) Let T>0. Integrte by prts to obtin T 0 e isx f(x) dx = F 1 (0) F 1 (T )e ist is T 0 e isx F 1 (x) dx. Since F 1 is continuous with limit 0 t infinity, e isx f(x) dx exists if nd 0 only if e isx F 0 1 (x) dx exists. The other prt of the proof is similr. Although F 1 is continuous with limit 0 t infinity, it need not be of bounded vrition. So, f HK does not imply the existence of f; see Exmple 3(c) below. Notice tht prt (b) (with HK loc replced by L 1 loc ) nd prt (c) re flse for L 1 convergence of f. Titchmrsh [15] gives severl sufficient conditions for existence of conditionlly convergent Fourier integrls ( ). However, these ll require tht f L 1 loc.
4 1210 ERIK TALVILA When f L 1 nd s, h R, f(s+h) = e i(s+h)x f(x) dx. By dominted convergence this tends to f(s) s s h. So, f is uniformly continuous on R. When f exists in HK in neighbourhood of s, the function x e isx f(x) is in HK but the fctor e ihx is not of bounded vrition on R except for h = 0. In generl we cnnot tke the limit h 0 under the integrl sign nd f need not be continuous. And, for f L 1 nd s 0, the chnge of vribles x x + π/s gives f(s) = (1/2) e isx [f(x) f(x + π/s)] dx. Writing f y (x) =f(x + y) for x, y R, we hve f(s) (1/2) f f π/s 1. Continuity of f in the L 1 norm now yields the Riemnn Lebesgue lemm: f(s) 0 s s. It is true tht if f HK then f is continuous in the Alexiewicz norm [14]. However, since the vrition of x e isx is not uniformly bounded s s, existence of f does not let us conclude tht f tends to 0 t infinity. The following exmples show some of the differences between L 1 nd HK Fourier trnsforms. Exmple 3. The trnsforms () (d) pper in [5]. Convergence in () is by Lemm 23, (b) is similr, fter integrting by prts, nd (c) nd (f) re Frullni integrls. () If f(x) = sgn(x) x 1/2 then f is not in HK or in ny L p spce (1 p ) nd yet f(s) = 2π sgn(s) s 1/2 for s 0. Notice tht, even though f is odd, f does not exist t 0 since HK convergence does not llow principl vlue integrls. (b) Let g(x) =e ix2. Then ĝ(s) = πe i(π s2 )/4. In this exmple, ĝ is not of bounded vrition t infinity, nor does ĝ tend to 0 t infinity, nor is ĝ uniformly continuous on R. The sme cn of course be sid for g. (c) Let h(x) = sin(x)/ x. Then ĥ(s) =i log (s )/(s + ) for s. (d) Let k(x) =x/(x 2 + 1). Then k(s) = iπ sgn(s)e s for s 0. Note tht k does not exist t 0, even though its principl vlue is 0. (e) Fourier trnsforms in HK cn hve rbitrrily lrge point-wise growth. Given ny sequence { n } of positive rel numbers, there is continuous function f on R such tht f exists on R nd f(n) n for ll n 1 [13]. (f) Let { n } nd {b n } be sequences in R. Define f(x) = n=1 n sin(bnx) x for x 0 nd f(0) = 0. Assume tht n > 0, n < nd n b n <. Then f is continuous on R, except t the origin, where it hs finite jump discontinuity. Suppose s is not in the closure of { b n,b n } n N. Then (1) (2) (3) f(s) = = i = i n n=1 e isx sin(b n x) dx x n (cos [(s + b n )x] cos [(s b n )x]) dx x n=1 0 n log s b n s + b n. n=1
5 HENSTOCK-KURZWEIL FOURIER TRANSFORMS 1211 The reversl of summtion nd integrtion in (1) is justified using Corollry 7 in [12]. Hence, f exists on R, except perhps on the closure of { b n,b n } n N. Note tht f(0) = 0. We will now show f diverges t ech b k with k b k 0. Let T 1,T 2 > 0 nd consider T2 (4) (5) T 1 e ib kx n=1 n sin(b n x) dx x T2 = n e ibkx sin(b n x) dx n=1 T 1 x T2 sin [(b k + b n )x] sin [(b k b n )x] = n T 1 2 n=1 i sin(b k x) sin(b n x) dx x. In (4), convergence of n b n permits reversl of summtion nd integrtion. The rel prt of (5) converges for ll k 1, uniformly for T 1,T 2 0. Hence, the rel prt of f exists on R. The kth summnd of the imginry prt of (5) is T2 k sin 2 (b k x) dx T 1 x = k T2 b k T 1 b k sin 2 x dx x. This diverges s T 1,T 2. Hence, f(b k ) does not exist. If { b n,b n } n N hs no limit points then we hve n exmple of function whose Fourier trnsform exists everywhere except on countble set. Now suppose s { b n,b n } n N but s is limit point of { b n,b n } n N. As noticed bove, the rel prt of f(s) exists. And, 1 sin(sx) sin(b n x) dx x 2 s. 1 So, f(s) exists if nd only if lim T n=1 T n (cos [(s + b n )x] cos [(s b n )x]) dx x 1 exists. Suppose s 0 nd T>1. If s b n T>1nd s b n < 1 then T cos( s b n x) dx s bn T 1 x = cos x dx (6) s b n x 1 = cos x dx s bn T x + cos x dx x s b n log (1/ s b n )+c. 1
6 1212 ERIK TALVILA The constnt c is equl to the supremum of t cos x dx/x over t>1. When 1 s b n T 1, we hve T cos( s b n x) dx s bn T x = cos x dx x 1 log T s b n log (1/ s b n ). The cse for s + b n T is similr. It follows tht the condition (7) n log s b n s + b n < n=1 is sufficient for existence of f(s). If 1/T < s b n < 1 then, s in (6), Therefore, T 1 1/T < s b n <1 cos( s b n x) dx x cos(1) log (1/ s b n ) c. T n cos( s b n x) dx x 1 1/T < s b n <1 n [cos(1) log (1/ s b n ) c]. Let T. Then condition (7) is lso necessry for existence of f(s). Hence, it is possible for f to exist t finite number of limit points of { b n,b n } n N. Finlly, enumerte the rtionl numbers in [0, 1] by b 1 =0,b 2 =1/1,b 3 = 1/2,b 4 =1/3,b 5 =2/3,b 6 =3/3,b 7 =1/4, etc. Let A m > 0 be such tht mam <. Put 1 = 0 nd define n = A m for the m consecutive vlues of n such tht b n = l/m for some 1 l m. Let s [ 1, 1] \ Q nd let s be the distnce to the nerest rtionl number. Then n log s b n s + b n = m A m log s l/m s + l/m log(2/ s) ma m. n=1 m=1 l=1 m=1 This furnishes n exmple of function whose Fourier trnsform exists on R except for the rtionl numbers in [ 1, 1]. Exmples 3(), (c), (d) nd (f) show tht f need not be continuous. However, continuity of f is equivlent to qusi-uniform continuity. Definition 4 (Qusi-uniform continuity). Let f : R 2 R. If F (x) := f(x, y) dy exists in neighbourhood of x 0 R then F is qusi-uniformly
7 HENSTOCK-KURZWEIL FOURIER TRANSFORMS 1213 continuous t x 0 if for ll ɛ> 0 nd M>0there exist m = m(x 0, ɛ, M) M nd δ = δ(x 0, ɛ, M) > 0 such tht if x x 0 <δ then f(x, y) dy <ɛ. y >m This is modifiction of similr definition for series, originlly introduced by Dini; see [3, p. 140]. Theorem 5. Let f :R R. Then, f is continuous t s 0 R if nd only if f is qusi-uniformly continuous t s 0. Proof. For m > 0, let F m (s) = m m e isx f(x) dx. Let h R. Then, F m (s+h) F m (s) = m m [e ihx 1]e isx f(x) dx. Note tht either ssumption implies x e isx f(x) is in HK loc for ech s R. And, V [ m,m] [x e ihx 1] 4m h. Tking the limit h 0 inside the bove integrl now shows F m is continuous on R for ech m>0. Suppose f is qusi-uniformly continuous t s 0 R. Given ɛ> 0, tke M>0such tht x >t eis0x f(x) dx <ɛ for ll t>m. From qusi-uniform continuity, we hve m > M nd δ> 0. Then, for s s 0 <δ, [ e isx e is0x] f(x) dx x >m e isx f(x) dx + e is0x f(x) dx 2ɛ. x >m x >m It follows tht f is continuous t s 0. Suppose f is continuous t s 0 nd we re given ɛ> 0 nd M>0. Since f exists t s 0, there is N = N(s 0,ɛ) > 0 such tht x >m e is0x f(x) dx <ɛ whenever m > N. Continuity of f t s 0 implies the existence of ξ = ξ(s 0,ɛ) > 0 such tht f(s) f(s 0 ) <ɛ when s s 0 <ξ. And, F m is continuous on R. Hence, there exists η = η(s 0, ɛ, m) > 0 such tht when s s 0 <η we hve F m (s) F m (s 0 ) <ɛ. Let m = mx(m, N) nd δ = min(ξ, η). Then for s s 0 <δ we hve e isx f(x) dx x >m e is0x f(x) dx + f(s) f(s0 ) + F m (s) F m (s 0 ) < 3ɛ. x >m And, f is qusi-uniformly continuous t s 0.
8 1214 ERIK TALVILA We now present two sufficient conditions for Fourier trnsform to be continuous. The first is in the spirit of the Chrtier Dirichlet convergence test nd the second is in the spirit of the Abel convergence test. For simplicity, the results re stted for functions on [0, ). The generl cse follows esily. Proposition 6. Let g nd h be rel-vlued functions on [0, ) where g BV nd h HK loc. Define f = gh. () Suppose there re positive constnts M, δ nd K such tht, if s s 0 < δ nd M 1,M 2 >Mthen M 2 M 1 e isx h(x) dx <K. If g(x) 0 s x then f is continuous t s 0. (b) Let H s (x) = x 0 e ist f(t) dt. If ĥ is continuous t s 0 nd there re δ, K > 0 such tht for ll x>0 nd s s 0 <δ we hve H s (x) K then f is continuous t s 0. Proof. Write φ s (x) =e isx h(x). With no loss of generlity, g( ) = 0. For (), let s s 0 <δ nd M 1,M 2 >M. Using Lemm 24, M2 M2 e isx f(x) dx M 1 φ s (x) dx inf M 1 g + φ s [M1,M [M 2]V [M1,M 2]g 1,M 2] [ ] (8) K inf g + V [M, ]g [M 1,M 2] 0 s M. Therefore, f exists in neighbourhood of s0. Tking the limit M 2 in (8) shows tht f is qusi-uniformly continuous nd hence continuous. For (b), since g BV we hve lim x g(x) =c R. Writing f = h(g c)+ch we need only consider M φ s(g c) φ s [M, ) V [M, ) (g c). By our ssumption, φ s [M, ) 2K for s s 0 <δ. And, V [M, ) (g c) 0 s M. Although f need not be continuous, when it exists t the endpoints of compct intervl it is integrble over the intervl. Proposition 7. Let [, b] be compct intervl. If f exists t nd b then f exists lmost everywhere on (, b), f is integrble over (, b) nd f = i f(x)[e ibx e ix ] dx/x. Proof. The integrl I := i f(x) [ e ibx e ix] dx x exists since x f(x)e ibx /x nd x f(x)e ix /x re integrble over R \ ( 1, 1) nd x [ e ibx e ix] /x is of bounded vrition on [ 1, 1]. And, I = f(x)e ibx e i(s b)x ds dx = f(x)e isx dx ds = f.
9 HENSTOCK-KURZWEIL FOURIER TRANSFORMS 1215 Hence, f exists lmost everywhere on (, b) nd is integrble over (, b). Lemm 25() justifies the reversl of x nd s integrtion. The usul lgebric properties of linerity, symmetry, conjugtion, trnsltion, modultion, diltion, etc., fmilir from the L 1 theory, continue to hold for HK Fourier trnsforms; see formuls (2) (9) in [5, p. 117] nd [2, p. 9]. The proofs re elementry. There re lso differentition results nlogous to the L 1 cse (pges 117 nd 17, respectively, of the previous references). Proposition 8 (Frequency differentition). Suppose f exists on the compct intervl [α, β]. Define g(x) = xf(x) nd suppose g HK. Then ˆf = iĝ lmost everywhere on (α, β). In prticulr, ˆf (s) = iĝ(s) for d s ll s (α, β) such tht ds α ĝ = ĝ(s). Proof. The necessry nd sufficient condition tht llows differentition under the integrl, ˆf (s) = i e isx xf(x) dx, for lmost ll s (α, β) is tht (9) e isx xf(x) ds dx = e isx xf(x) dx ds for ll [, b] [α, β]; see [12, Theorem 4]. We hve g HK, e isx 1 nd V I [x e isx ] 2 I s for compct intervl I R. The left member of (9) is i[ f(b) f()]. Hence, by Lemm 25(), (9) holds, nd ˆf (s) = iĝ(s) for lmost ll s (α, β). Exmining the proof of [12, Theorem 4], we see tht we get equlity ˆf (s) = iĝ(s) when d s ds α ĝ = ĝ(s). There re similr results for n-fold differentition when the function x x n f(x) is in HK for positive integer n. Proposition 9 (Time differentition). () If f ACG (R) nd f(x) 0 s x then for ech s 0, both f(s) nd f (s) fil to exist or f (s) =is f(s). (b) Suppose f ACG (R) nd f, f HK. Then for ech s 0, either both f(s) nd f (s) fil to exist or f (s) =is f(s). Proof. () Let M 1,M 2 > 0. Integrte by prts to get M2 M 1 e isx f (x) dx = e ism2 f(m 2 ) e ism1 f( M 1 )+is M2 M 1 e isx f(x) dx. Now tke the limits M 1,M 2. (b) Consider x f = M f + f(m) f(x) for x, M R. Since f HK, the limits s x exist. Hence, f hs limit t infinity. But, f HK so this limit must be 0 nd we hve reduction to cse ().
10 1216 ERIK TALVILA 3. Convolution If f nd g re rel-vlued functions on R then their convolution is f g(x) = f(x t)g(t) dt. The following proposition gives the bsic properties of convolution. Proposition 10. Let f nd g be rel-vlued functions on R. Define f x : R R by f x (y) =f(x + y) for x, y R. For n intervl I =[α, β] R nd y R, define I y =[α y, β y]. () If f g exists t x R then f g(x) =g f(x). (b) If f HK, g BV nd h L 1 then (f g) h = f (g h) on R. (c) Let f HK. Suppose tht for ech compct intervl I R there re constnts K I nd M I such tht g h (z) K I for ll z I nd the function y h(y)v I y g is in L 1. If f (g h) exists t x R then (f g) h(x) =f (g h)(x). (d) (f g) x = f x g = f g x wherever ny one of these convolutions exists. (e) supp(f g) {x + y : x supp(f),y supp(g)}. Proof. For (), (d) nd (e), the L 1 proofs hold without chnge; see [6, Proposition 8.6]. To prove (b), write (f g) h(x) = = = f g(x y)h(y) dy = f (g h)(x). f(x y z)g(z) dz h(y) dy f(x z)g(z y)h(y) dy dz Lemm 25(b) llows us to chnge the order of y nd z integrtion. The proof of (c) is similr but now we use Lemm 25(). The next proposition gives some sufficient conditions for existence of the convolution nd some point-wise estimtes. Proposition 11. () Let f HK nd g BV. Then f g exists on R nd f g(x) f [inf g + Vg] for ll x R. (b) Let f HK loc nd g BV with the support of g in the compct intervl [, b]. Then f g exists on R nd f g(x) x x b f inf [,b] g + f [x,x b] V [,b] g.
11 HENSTOCK-KURZWEIL FOURIER TRANSFORMS 1217 Proof. () Using Lemm 24, f g(x) = f(x t)g(t) dt f inf g + f Vg f [inf g + Vg]. (b) Now, f g(x) = x x b f(x t)g(t) dt f inf g + f [x b,x ]V [,b] g. [,b] These conditions re sufficient but not necessry for existence of the convolution. Also, if f, g HK then f g need not exist t ny point. Exmple 12. () Let f(x) = log x sin(x) nd g(x) = x α, where 0 < α < 1. Then f nd g do not hve compct support nd re not in HK, BV or L p (1 p ). And yet f g exists on R. (b) Let f(x) = sin(x)/ x 1/2 nd g(x) = (sin(x) + cos(x))/ x 1/2. Then f, g HK but f g exists nowhere. When f HK nd g L 1 BV then f g exists on R nd we cn estimte it in the Alexiewicz norm. Proposition 13. Let f HK nd g L 1 BV. Then f g exists on R nd f g f g 1. Proof. Existence comes from Proposition 11. Let < b. Using Lemm 25(), we cn interchnge the repeted integrls, (10) (11) f g dx = = g(t) f(x t)g(t) dt dx f(x t) dx dt.
12 1218 ERIK TALVILA And, f g dx g 1 sup t R = g 1 sup t R f g 1. t t f(x t) dx f Under suitble conditions on f nd g, we hve the usul interctions between convolution nd Fourier trnsformtion nd inversion. Proposition 14. If f exists t s R nd g L 1 BV then f g(s) = f(s) ĝ(s). Proof. We hve f g(s) = = = f(s) ĝ(s). e isx [ e ist f(t) ][ e ist g(x t) ] dt dx e ist f(t) e is(x t) g(x t) dx dt The interchnge of integrls is vlidted by Lemm 25(), since ] V [,b] [t e is(x t) [ g(x t) dx = V [x b,x ] t e ist g(t) ] dx 2 s (b ) g 1 + 2(b )V g. Proposition 15. If f nd g re in HK loc such tht f exists lmost everywhere, ĝ L 1, s s ĝ(s) is in L 1 nd ĝˇ = g lmost everywhere then f g =( f ĝ)ˇ wherever f g exists. Proof. Let x R. Then ĝ(x t) exists for lmost ll t R. And, f g(x) = 1 2π = 1 2π =( f ĝ)ˇ(x). f(t) e isx ĝ(s) e is(x t) ĝ(s) ds dt e ist f(t) dt ds Suppose f exists t s 0. Then V I [t e is(x t) e is0t ĝ(s)] 2 ĝ(s) s s 0 I nd the reversl of s nd t integrtion order is by Lemm 25().
13 HENSTOCK-KURZWEIL FOURIER TRANSFORMS Inversion A well-known inversion theorem sttes tht if f nd fˇ re in L 1 then f = fˇ lmost everywhere. These re rther restrictive conditions s both f nd f must be continuous (lmost everywhere) nd vnish t infinity. In Exmple 3() nd (b), f is multiple of f nd ĝ is multiple of g so we certinly hve f = fˇ nd g = ĝˇ lmost everywhere nd yet none of these integrls exists in L 1. However, they do exist in HK. And, we hve similr inversion theorem in HK. First we need the following Prsevl reltion. Proposition 16. Let ψ nd φ be rel-vlued functions on R. Suppose ψ exists t some s 0 R. Suppose φ L 1 nd the function s sφ(s) is lso in L 1. If ψ φ exists, then ψ exists lmost everywhere nd ψ φ = ψφ. Proof. Let f(x) =ψ(x)e is0x nd g(x, y) =e i(s0 y)x φ(y). A simple computtion shows V [,b] g(,y)=o((b )yφ(y)) s y. The conditions of Lemm 25() re stisfied. Now we hve the inversion theorem. The proof uses the method of summbility kernels. Using Proposition 16, one inserts summbility kernel in the inversion integrl. There is prmeter z = x + iy tht is sent to x 0, yielding inversion t x 0. We cn ctully let z x 0 in the upper complex plne, provided the pproch is non-tngentil. This is nlogous to the Ftou theorem for boundry vlues of hrmonic functions. Define the upper hlf plne by Π + = {z = x + iy : x R, y > 0}. We identify Π + with R. For x 0 Π +, we sy z x 0 non-tngentilly in Π + if z Π + nd z x 0 such tht x x 0 /y C for some C>0. Definition 17 (Summbility kernel). A summbility kernel is function Θ:R R such tht Θ L 1 AC, Θ(0) = 1, s s Θ(s) is in L 1, Θ L 1 BV, Θ = 2π, s s Θ (s) is in L 1, nd x V [x, ) Θ nd x V(, x] Θ re O(1/x) s x. Theorem 18 (Inversion). Let f : R R such tht f exists lmost everywhere. Define F (x) = x x 0 f for x 0 R. If F (x 0 )=f(x 0 ) nd f = fˇ exists t x 0 then f(x 0 )= fˇ(x 0 ). If fˇ exists lmost everywhere then f = fˇ lmost everywhere. Proof. Let z = x + iy for x R nd y>0. Define φ z : R R by φ z (s) = Θ(ys)e isx, where Θ is summbility kernel. Then φ z (t) = Θ((t x)/y)/y.
14 1220 ERIK TALVILA And, (12) (13) 1 φ z (s) 2π f(s) ds = 1 2π = 1 2πy φ z (t)f(t) dt Θ((t x)/y)f(t) dt. The inversion theorem now follows, provided we cn prove the following: (I) The conditions of Proposition 16 re stisfied so tht (12) is vlid. (II) As z x 0 non-tngentilly in Π +, the left side of (12) becomes fˇ(x 0 ). (III) As z x 0 non-tngentilly in Π +, (13) becomes f(x 0 ). (I) In Proposition 16, let ψ = f nd φ = φ z. We hve existence of f t some s 0 R. And, φ z nd s sφ z (s) re in L 1 if nd only if Θ nd s s Θ(s) re in L 1. Since Θ L 1, φ z is continuous with limit 0 t infinity. So, if φ z is of bounded vrition t infinity, the integrl f φ z will exist. It suffices to hve Θ of bounded vrition t infinity. Proposition 16 now pplies. (II) Write the left side of (12) s (2π) 1 [ ] [ Θ(ys)e is(x x 0) isx0 e f(s)] ds. The function s e isx0 f(s) is in HK. And, we hve V [s Θ(ys)e is(x x0) ] 2V Θ + 2 Θ 1 x x 0 /y. So, for non-tngentil pproch, this function is of bounded vrition, uniformly s z x 0. This llows us to tke the limit inside the integrl on the left side of (12), yielding fˇ(x 0 ). (III) Let δ> 0. Write 1 ( ) t x (14) Θ f(t) dt y y = 1 ( t x Θ y y t x <δ ) f(t) dt + 1 Θ y t x >δ ( t x y ) f(t) dt. Consider the lst integrl in (14). There is s 0 R such tht t e is0t f(t) is in HK. Now, V [x+δ, ) [t 1 ( ) ] y Θ t x e is0t 2 y y V Θ+2 [δ/y, ) s 0 Θ 1. With our ssumptions on Θ, this lst expression is bounded s z x 0. And, when Θ L 1,Θ AC loc nd Θ L 1 then Θ(t) =o(1/t) s t [2, pge 20]. The sme pplies on the intervl (,x δ]. Hence, tking the limit z x 0 inside the integrl yields 0 for ech fixed δ> 0. Tret the first integrl on the right side of (14) s follows. Becuse 1 2πy x+δ x δ Θ((t x)/y) dt = 1 2π δ/y δ/y Θ(t) dt 1
15 HENSTOCK-KURZWEIL FOURIER TRANSFORMS 1221 s y 0 +, we cn ssume f(x 0 ) = 0 (otherwise replce f( ) with f( ) f(x 0 )). Let F (t) = t x 0 f. We hve F (x 0 )=f(x 0 ) = 0. And, Θ(s) =o(1/s) s s. Given ɛ > 0, we cn tke 0 < δ < 1 smll enough such tht F (x 0 + t) ɛ t nd Θ(1/t) ɛ t for ll 0 < t 2δ. Without loss of generlity, ssume x x 0. Tke z x 0 δ with x x 0 /y C for some constnt C>0. Integrte by prts, 1 x+δ ( ) t x (15) Θ f(t) dt y x δ y = 1 [ ( ) ( δ Θ F (x + δ) y y Θ δ ) ] F (x δ) J 1 J 2 J 3, y where J 1 = y 2 x 0 Θ ((t x)/y)f (t) dt, J x δ 2 = y 2 x x Θ 0 ((t x)/y)f (t) dt, J 3 = y 2 x+δ Θ ((t x)/y)f (t) dt. Note tht if 0 <y δ 2 then y/δ δ nd x x ± δ x 0 < 2δ so Θ(±δ/y)F (x ± δ) /y 2ɛ 2. Estimte J 1 by writing J 1 1 x0 ( ) y 2 (x 0 t) t x (16) Θ F (t) x δ y x 0 t dt ɛ (x0 x)/y (x 0 x yt) Θ (t) dt y δ/y 0 ɛc V Θ+ ɛ t Θ (t) dt. Similrly, (17) J 3 ɛc V Θ+ ɛ (18) For J 2 we hve J 2 1 y 0 0 sup F (t) x 0 t x ɛc V Θ. t Θ (t) dt. (x 0 x)/y Θ (t) dt Putting (16), (18) nd (17) into (15) now shows tht the first integrl on the right side of (14) goes to 0 s z x 0 non-tngentilly. This completes the proof of prt (III). Since F = f lmost everywhere, the proof of the theorem is now complete. Remrk 19. In plce of the condition t t Θ (t) is in L 1 we cn demnd tht Θ is incresing on (, 0) nd decresing on (0, ). The proof of (III) then follows with minor chnges. The condition tht Θ AC cn lso be wekened.
16 1222 ERIK TALVILA Remrk 20. The most commonly used summbility kernels re: Θ 1 (x) = (1 x )χ [ 1,1] (x) Θ1 (s) = [ sin(s/2) s/2 ] 2 Cesàro Fejér Θ 2 (x) =e x Θ2 (s) = 2 1+s 2 Abel Poisson Θ 3 (x) =e x2 Θ3 (s) = πe (s/2)2 Guss Weierstrss. The Abel nd Guss kernels re summbility kernels ccording to Definition 17, while the Cesàro kernel does not stisfy this definition. Corollry 21. Let f : R R. Then f =0lmost everywhere if nd only if f =0lmost everywhere. Proof. If f = 0 lmost everywhere then f = 0 on R. If f = 0 lmost everywhere then f exists lmost everywhere nd fˇ exists lmost everywhere. Therefore, by the Theorem, fˇ = f = 0, lmost everywhere. Note tht the inversion theorem pplies to Exmple 3()-(d). The condition tht fˇ exists lmost everywhere cnnot be dropped. The following exmple shows tht existence of f on R does not gurntee existence of fˇ t ny point in R. Exmple 22. Let f(x) =x α e ixν for x 0 nd f(x) = 0 for x<0. Using the method of Lemm 23 we see tht f exists on R for 1 < α < ν 1. And, (19) f(s) = 0 = s α+1 ν 1 x α e i[xν sx] dx 0 x α e ip[xν x] dx ( p = s ν/(ν 1)). Write φ(x) =x ν x. If ν> 1 then φ hs minimum t x 0 := ν 1/(ν 1). The method of sttionry phse [7] shows tht 2π f(s) ν(ν 1) eiπ/4 x α (ν 2)/2 0 e iφ(x0)sν/(ν 1) s 2α+2 ν 2(ν 1) s s. Let ν> 2. It now follows from Lemm 23 tht when ν/2 α< ν 1, f exists on R nd fˇ diverges t ech point of R. Note tht f HK but neither f nor f is in ny L p spce (1 p ). Lemm Appendix If γ> 0 nd δ R then: () 1 x δ dx exists in HK if nd only if γ + δ +1> 0. The integrl 0 eix γ exists in L 1 if nd only if δ> 1. (b) e ixγ x δ dx exists in HK if nd only if γ > δ +1. The integrl exists 1 in L 1 if nd only if δ< 1.
17 HENSTOCK-KURZWEIL FOURIER TRANSFORMS Proof. In (), integrte by prts to get e ix γ x δ dx = i [ ] e i γ lim γ eix x γ+δ+1 i(γ + δ + 1) x 0 + γ 1 0 e ix γ x γ+δ dx. The limit exists if nd only if γ + δ +1> 0, the lst integrl then converging bsolutely. Cse (b) is similr. For L 1 convergence, we simply tke the bsolute vlue of ech integrnd. Lemm 24. Let [, b] R nd let f HK [,b] nd g BV [,b]. Then fg f inf g + f [,b]v [,b] g. [,b] Proof. Given ɛ> 0, tke c [, b] such tht g(c) ɛ+inf [,b] g. Integrte by prts: fg = c = g(c) fg + c f fg c ( x ) f dg(x)+ c ( ) b f dg(x). x And, [ ] fg ɛ + inf g [,b] + sup c x b x [ ] ɛ + inf g [,b] f + sup x f V [,c]g x c f V [c,b]g f + f [,b]v [,b] g. This lemm is n extension of inequlities proved in [8] nd [4] (Theorem 45, pge 36). Chnging g on set of mesure 0, such s singleton, does not ffect the integrl of fg but cn mke the infimum of g equl to zero. However, this reduction in inf g is reflected by corresponding increse in Vg. This redundncy cn be eliminted by replcing g with its normlised version, i.e., for ech x [, b) replce g(x) with lim t x+ g(t) nd redefine g(b) = 0. Then the inequlity becomes b fg f [,b] V [,b] g. The following lemm on interchnge of iterted integrls is n extension of Theorem 57 on pge 58 of [4].
18 1224 ERIK TALVILA Lemm 25. Let f HK nd let g :R 2 R. Let M denote the mesurble subsets of R. For ech (A, B) BV M, define the iterted integrls I 1 (A, B) = f(x)g(x, y) dy dx, x A y B I 2 (A, B) = f(x)g(x, y) dx dy. y B x A () Assume tht for ech compct intervl I R there re constnts M I > 0 nd K I > 0 such tht R V Ig(,y) dy M I nd, for ll x I, g(x, ) 1 K I. If I 1 exists on R R then I 2 exists on BV M nd I 1 = I 2 on BV M. (b) Assume there exist M, G L 1 such tht, for lmost ll y R, Vg(,y) M(y) nd, for ll x R, g(x, y) G(y). Then I 1 = I 2 on BV M. Proof. () Let I be the open intervls in R. First prove I 1 = I 2 on I I. Fix (, b) nd (α, β) in I. For < < t <, define (20) H (t) =I 2 ((, t), (α, β)) = β t α f(x)g(x, y) dx dy. We will estblish the equlity of I 1 nd I 2 by ppeling to the necessry nd sufficient conditions for interchnging repeted integrls [12, Corollry 6]. For this, we need to show tht H is in ACG nd tht we cn differentite under the integrl sign in (20). Let F (x) = x f. Integrte by prts: β β (21) H (t) = [F (t) F ()] g(t, y) dy α α t [F (x) F ()] d 1 g(x, y)dy. The integrtor of the Riemnn Stieltjes integrl over x [, t] is denoted by d 1 g(x, y). Now, by Lemm 24, H (t) f [K [,b] + M [,b] ], nd I 2 (A, B) exists for ll A, B I with A bounded. We hve F ACG (R). So, there re E n R such tht R = E n nd F is AC on ech E n, i.e., for ech n 1, given ɛ> 0, there is δ> 0 such tht if (s i,t i ) re disjoint with s i,t i E n nd s i t i <δ then f (si,t i) <ɛ. Fix n 1 with E n, ɛ nd δ s bove. Suppose (σ i,τ i ) re disjoint with σ i,τ i E n nd σ i τ i <δ. With no loss of generlity, we my ssume E n is subset of compct intervl [c, d]. Then [ ] sup H (p) H (q) f [σi,τ i] K[c,d] + M [c,d]. [p,q] [σ i,τ i] It follows tht H ACG (R).
19 HENSTOCK-KURZWEIL FOURIER TRANSFORMS 1225 We now show tht we cn differentite under the integrl sign to compute H (t). Let 0 < h < 1 nd t R such tht F (t) =f(t). Then 1 t+h f(x)g(x, y) dx h t sup F (t + h) F (t) 0< h <1 h g(t, y) + sup 1 h f [t h,t+ h ]V [t 1,t+1] g(,y). 0< h <1 It now follows from dominted convergence tht H (t) =f(t) β g(t, y) dy α for lmost ll t R. And, by [12, Corollry 6], I 1 (A, B) =I 2 (A, B) for ll A, B I with A bounded. By ssumption, I 1 (R, R) exists. For R, β β f(x) g(x, y) dy dx = lim f(x) g(x, y) dy dx α t t t β = lim t α = lim H (t). t α f(x)g(x, y) dx dy Similrly, lim H (t) exists. Therefore, H is continuous on R nd hence t in ACG (R). It follows from [12, Corollry 6] tht I 1 (A, B) =I 2 (A, B) for ll A, B I. We hve equlity of I 1 nd I 2 on BV M upon replcing f with fχ A nd g(x, ) with g(x, )χ B where A BV nd B M. (b) This is similr to prt (), but now the conditions on g ensure the existence of I 2 on R R. As in (), H ACG (R). To show H is continuous on R, note tht β t α f(x)g(x, y) dx dy f ( G 1 + M 1 ) nd t lim t f(x)g(x, y) dx exists for lmost ll y R. Whence, lim t H (t) exists nd H is continuous on R. Using [12, Corollry 6], we now hve equlity of I 1 nd I 2 on R R nd hence on BV M. References [1] R.G. Brtle, A modern theory of integrtion, Americn Mthemticl Society, Providence, R.I., [2] J.J. Benedetto, Hrmonic nlysis nd pplictions, CRC Press, Boc Rton, [3] T.J.I A. Bromwich, An introduction to the theory of infinite series, McMilln, London, [4] V.G. Čelidze nd A.G. Džvršeǐšvili, The theory of the Denjoy integrl nd some pplictions, World Scientific, Singpore, [5] A. Erdélyi, Tbles of integrl trnsforms, vol. I, McGrw-Hill, New York, [6] G.B. Follnd, Rel nlysis, Wiley, New York, [7] F.W.J. Olver, Asymptotics nd specil functions, Acdemic Press, Sn Diego, [8] M. Riesz nd A.E. Livingston, A short proof of clssicl theorem in the theory of Fourier integrls, Amer. Mth. Monthly 62 (1955),
20 1226 ERIK TALVILA [9] S. Sks, Theory of the integrl, Monogrfie Mtemtyczne, Wrsw, [10] C. Swrtz, Introduction to guge integrls, World Scientific, Singpore, [11] E. Tlvil, Limits nd Henstock integrls of products, Rel Anl. Exchnge 25 (1999/00), [12], Necessry nd sufficient conditions for differentiting under the integrl sign, Amer. Mth. Monthly 108 (2001), [13], Rpidly growing Fourier integrls, Amer. Mth. Monthly 108 (2001), [14], Continuity in the Alexiewicz norm, to pper. [15] E.C. Titchmrsh, Introduction to the theory of Fourier integrls, Chelse, New York, Deprtment of Mthemticl nd Sttisticl Sciences, University of Albert, Edmonton AB, Cnd T6G 2E2 E-mil ddress:
Henstock/Kurzweil Fourier transforms. Erik Talvila 1
Preprint July 25, 2002 To pper in Illinois Journl of Mthemtics Henstock/Kurzweil Fourier trnsforms Erik Tlvil 1 Deprtment of Mthemticl nd Sttisticl Sciences University of Albert Edmonton AB Cnd T6G 2E2
More informationCzechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction
Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued
More informationHenstock Kurzweil Fourier transforms
Henstock Kurzweil Fourier trnsforms Erik Tlvil rxiv:mth/02205v [mth.ca] 7 Dec 2002 Deprtment of Mthemticl nd Sttisticl Sciences University of Albert Edmonton AB Cnd T6G 2E2 etlvil@mth.ulbert.c Abstrct:
More informationA product convergence theorem for Henstock Kurzweil integrals
A product convergence theorem for Henstock Kurzweil integrls Prsr Mohnty Erik Tlvil 1 Deprtment of Mthemticl nd Sttisticl Sciences University of Albert Edmonton AB Cnd T6G 2G1 pmohnty@mth.ulbert.c etlvil@mth.ulbert.c
More informationNecessary and Sufficient Conditions for Differentiating Under the Integral Sign
Necessry nd Sufficient Conditions for Differentiting Under the Integrl Sign Erik Tlvil 1. INTRODUCTION. When we hve n integrl tht depends on prmeter, sy F(x f (x, y dy, it is often importnt to know when
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 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 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 informationFundamental Theorem of Calculus for Lebesgue Integration
Fundmentl Theorem of Clculus for Lebesgue Integrtion J. J. Kolih The existing proofs of the Fundmentl theorem of clculus for Lebesgue integrtion typiclly rely either on the Vitli Crthéodory theorem on
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 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 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 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 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 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 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 information7.2 Riemann Integrable Functions
7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous
More informationSOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set
SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL 28 Nottion: N {, 2, 3,...}. (Tht is, N.. Let (X, M be mesurble spce with σ-finite positive mesure µ. Prove tht there is finite positive mesure ν on (X, M such
More informationMAA 4212 Improper Integrals
Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which
More informationThe Henstock-Kurzweil integral
fculteit Wiskunde en Ntuurwetenschppen The Henstock-Kurzweil integrl Bchelorthesis Mthemtics June 2014 Student: E. vn Dijk First supervisor: Dr. A.E. Sterk Second supervisor: Prof. dr. A. vn der Schft
More informationProperties of the Riemann Integral
Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University Februry 15, 2018 Outline 1 Some Infimum nd Supremum Properties 2
More informationarxiv: v1 [math.ca] 11 Jul 2011
rxiv:1107.1996v1 [mth.ca] 11 Jul 2011 Existence nd computtion of Riemnn Stieltjes integrls through Riemnn integrls July, 2011 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde
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 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 informationHomework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.
Homework 4 (1) If f R[, b], show tht f 3 R[, b]. If f + (x) = mx{f(x), 0}, is f + R[, b]? Justify your nswer. (2) Let f be continuous function on [, b] tht is strictly positive except finitely mny points
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 informationThe Banach algebra of functions of bounded variation and the pointwise Helly selection theorem
The Bnch lgebr of functions of bounded vrition nd the pointwise Helly selection theorem Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto Jnury, 015 1 BV [, b] Let < b. For f
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 informationMath 324 Course Notes: Brief description
Brief description These re notes for Mth 324, n introductory course in Mesure nd Integrtion. Students re dvised to go through ll sections in detil nd ttempt ll problems. These notes will be modified nd
More informationChapter 22. The Fundamental Theorem of Calculus
Version of 24.2.4 Chpter 22 The Fundmentl Theorem of Clculus In this chpter I ddress one of the most importnt properties of the Lebesgue integrl. Given n integrble function f : [,b] R, we cn form its indefinite
More informationConvergence of Fourier Series and Fejer s Theorem. Lee Ricketson
Convergence of Fourier Series nd Fejer s Theorem Lee Ricketson My, 006 Abstrct This pper will ddress the Fourier Series of functions with rbitrry period. We will derive forms of the Dirichlet nd Fejer
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 informationA HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction
Ttr Mt. Mth. Publ. 44 (29), 159 168 DOI: 1.2478/v1127-9-56-z t m Mthemticl Publictions A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES Miloslv Duchoň Peter Mličký ABSTRACT. We present Helly
More informationProf. Girardi, Math 703, Fall 2012 Homework Solutions: 1 8. Homework 1. in R, prove that. c k. sup. k n. sup. c k R = inf
Knpp, Chpter, Section, # 4, p. 78 Homework For ny two sequences { n } nd {b n} in R, prove tht lim sup ( n + b n ) lim sup n + lim sup b n, () provided the two terms on the right side re not + nd in some
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 informationDirichlet and Fresnel Integrals via Iterated Integration
VOL. 78, NO. 1, FEBRUARY 5 63 While not ll of the ssumptions of the model will be stisfied in every cse, nevertheless, this nlysis might be used to justify limiting the size of committees. Now, if we could
More informationSome estimates on the Hermite-Hadamard inequality through quasi-convex functions
Annls of University of Criov, Mth. Comp. Sci. Ser. Volume 3, 7, Pges 8 87 ISSN: 13-693 Some estimtes on the Hermite-Hdmrd inequlity through qusi-convex functions Dniel Alexndru Ion Abstrct. In this pper
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 informationODE: Existence and Uniqueness of a Solution
Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =
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 informationLecture 3. Limits of Functions and Continuity
Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live
More informationRegulated functions and the regulated integral
Regulted functions nd the regulted integrl Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics University of Toronto April 3 2014 1 Regulted functions nd step functions Let = [ b] nd let X be normed
More informationLAPLACE TRANSFORM USING THE HENSTOCK-KURZWEIL INTEGRAL
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 55, No. 1, 214, Pges 71 81 Published online: June 2, 214 LAPLACE TRANSFORM USING THE HENSTOCK-KURZWEIL INTEGRAL SALVADOR SÁNCHEZ-PERALES AND JESÚS F. TENORIO
More informationChapter 4. Lebesgue Integration
4.2. Lebesgue Integrtion 1 Chpter 4. Lebesgue Integrtion Section 4.2. Lebesgue Integrtion Note. Simple functions ply the sme role to Lebesgue integrls s step functions ply to Riemnn integrtion. Definition.
More informationAppendix to Notes 8 (a)
Appendix to Notes 8 () 13 Comprison of the Riemnn nd Lebesgue integrls. Recll Let f : [, b] R be bounded. Let D be prtition of [, b] such tht Let D = { = x 0 < x 1
More informationMapping the delta function and other Radon measures
Mpping the delt function nd other Rdon mesures Notes for Mth583A, Fll 2008 November 25, 2008 Rdon mesures Consider continuous function f on the rel line with sclr vlues. It is sid to hve bounded support
More informationDefinition of Continuity: The function f(x) is continuous at x = a if f(a) exists and lim
Mth 9 Course Summry/Study Guide Fll, 2005 [1] Limits Definition of Limit: We sy tht L is the limit of f(x) s x pproches if f(x) gets closer nd closer to L s x gets closer nd closer to. We write lim f(x)
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 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 information1. On some properties of definite integrals. We prove
This short collection of notes is intended to complement the textbook Anlisi Mtemtic 2 by Crl Mdern, published by Città Studi Editore, [M]. We refer to [M] for nottion nd the logicl stremline of the rguments.
More informationThe Riemann Integral
Deprtment of Mthemtics King Sud University 2017-2018 Tble of contents 1 Anti-derivtive Function nd Indefinite Integrls 2 3 4 5 Indefinite Integrls & Anti-derivtive Function Definition Let f : I R be function
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 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 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 informationFundamental Theorem of Calculus and Computations on Some Special Henstock-Kurzweil Integrals
Fundmentl Theorem of Clculus nd Computtions on Some Specil Henstock-Kurzweil Integrls Wei-Chi YANG wyng@rdford.edu Deprtment of Mthemtics nd Sttistics Rdford University Rdford, VA 24142 USA DING, Xiofeng
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 informationarxiv: v1 [math.ca] 7 Mar 2012
rxiv:1203.1462v1 [mth.ca] 7 Mr 2012 A simple proof of the Fundmentl Theorem of Clculus for the Lebesgue integrl Mrch, 2012 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde
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 61CM - Solutions to homework 9
Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ
More informationNOTES AND PROBLEMS: INTEGRATION THEORY
NOTES AND PROBLEMS: INTEGRATION THEORY SAMEER CHAVAN Abstrct. These re the lecture notes prepred for prticipnts of AFS-I to be conducted t Kumun University, Almor from 1st to 27th December, 2014. Contents
More informationLine Integrals. Partitioning the Curve. Estimating the Mass
Line Integrls Suppose we hve curve in the xy plne nd ssocite density δ(p ) = δ(x, y) t ech point on the curve. urves, of course, do not hve density or mss, but it my sometimes be convenient or useful to
More informationPhil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015
Problem 1 Let m denote the Lebesgue mesure restricted to the compct intervl [, b]. () Prove tht function f defined on the compct intervl [, b] is Lipschitz if nd only if there is constct c nd function
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 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 informationOverview of Calculus I
Overview of Clculus I Prof. Jim Swift Northern Arizon University There re three key concepts in clculus: The limit, the derivtive, nd the integrl. You need to understnd the definitions of these three things,
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 informationMATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals.
MATH 409 Advnced Clculus I Lecture 19: Riemnn sums. Properties of integrls. Drboux sums Let P = {x 0,x 1,...,x n } be prtition of n intervl [,b], where x 0 = < x 1 < < x n = b. Let f : [,b] R be bounded
More informationSTUDY GUIDE FOR BASIC EXAM
STUDY GUIDE FOR BASIC EXAM BRYON ARAGAM This is prtil list of theorems tht frequently show up on the bsic exm. In mny cses, you my be sked to directly prove one of these theorems or these vrints. There
More informationExam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1
Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution
More informationLECTURE. INTEGRATION AND ANTIDERIVATIVE.
ANALYSIS FOR HIGH SCHOOL TEACHERS LECTURE. INTEGRATION AND ANTIDERIVATIVE. ROTHSCHILD CAESARIA COURSE, 2015/6 1. Integrtion Historiclly, it ws the problem of computing res nd volumes, tht triggered development
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 informationLecture 1: Introduction to integration theory and bounded variation
Lecture 1: Introduction to integrtion theory nd bounded vrition Wht is this course bout? Integrtion theory. The first question you might hve is why there is nything you need to lern bout integrtion. You
More information1 i n x i x i 1. Note that kqk kp k. In addition, if P and Q are partition of [a, b], P Q is finer than both P and Q.
Chpter 6 Integrtion In this chpter we define the integrl. Intuitively, it should be the re under curve. Not surprisingly, fter mny exmples, counter exmples, exceptions, generliztions, the concept of the
More informationChapter 28. Fourier Series An Eigenvalue Problem.
Chpter 28 Fourier Series Every time I close my eyes The noise inside me mplifies I cn t escpe I relive every moment of the dy Every misstep I hve mde Finds wy it cn invde My every thought And this is why
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 informationMATH 174A: PROBLEM SET 5. Suggested Solution
MATH 174A: PROBLEM SET 5 Suggested Solution Problem 1. Suppose tht I [, b] is n intervl. Let f 1 b f() d for f C(I; R) (i.e. f is continuous rel-vlued function on I), nd let L 1 (I) denote the completion
More informationPresentation Problems 5
Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).
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 informationIntroduction to Real Analysis (Math 315) Martin Bohner
ntroduction to Rel Anlysis (Mth 315) Spring 2005 Lecture Notes Mrtin Bohner Author ddress: Version from April 20, 2005 Deprtment of Mthemtics nd Sttistics, University of Missouri Roll, Roll, Missouri 65409-0020
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 informationNotes on length and conformal metrics
Notes on length nd conforml metrics We recll how to mesure the Eucliden distnce of n rc in the plne. Let α : [, b] R 2 be smooth (C ) rc. Tht is α(t) (x(t), y(t)) where x(t) nd y(t) re smooth rel vlued
More informationThe presentation of a new type of quantum calculus
DOI.55/tmj-27-22 The presenttion of new type of quntum clculus Abdolli Nemty nd Mehdi Tourni b Deprtment of Mthemtics, University of Mzndrn, Bbolsr, Irn E-mil: nmty@umz.c.ir, mehdi.tourni@gmil.com b Abstrct
More informationNew Integral Inequalities for n-time Differentiable Functions with Applications for pdfs
Applied Mthemticl Sciences, Vol. 2, 2008, no. 8, 353-362 New Integrl Inequlities for n-time Differentible Functions with Applictions for pdfs Aristides I. Kechriniotis Technologicl Eductionl Institute
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 informationThe First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).
The Fundmentl Theorems of Clculus Mth 4, Section 0, Spring 009 We now know enough bout definite integrls to give precise formultions of the Fundmentl Theorems of Clculus. We will lso look t some bsic emples
More informationON A CONVEXITY PROPERTY. 1. Introduction Most general class of convex functions is defined by the inequality
Krgujevc Journl of Mthemtics Volume 40( (016, Pges 166 171. ON A CONVEXITY PROPERTY SLAVKO SIMIĆ Abstrct. In this rticle we proved n interesting property of the clss of continuous convex functions. This
More informationINTRODUCTION TO INTEGRATION
INTRODUCTION TO INTEGRATION 5.1 Ares nd Distnces Assume f(x) 0 on the intervl [, b]. Let A be the re under the grph of f(x). b We will obtin n pproximtion of A in the following three steps. STEP 1: Divide
More informationProblem Set 4: Solutions Math 201A: Fall 2016
Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be one-to-one, onto mp between metric spces X, Y. () If f is continuous nd X is compct, prove tht f is homeomorphism. Does this result remin true
More informationMath Calculus with Analytic Geometry II
orem of definite Mth 5.0 with Anlytic Geometry II Jnury 4, 0 orem of definite If < b then b f (x) dx = ( under f bove x-xis) ( bove f under x-xis) Exmple 8 0 3 9 x dx = π 3 4 = 9π 4 orem of definite Problem
More information38 Riemann sums and existence of the definite integral.
38 Riemnn sums nd existence of the definite integrl. In the clcultion of the re of the region X bounded by the grph of g(x) = x 2, the x-xis nd 0 x b, two sums ppered: ( n (k 1) 2) b 3 n 3 re(x) ( n These
More informationCalculus I-II Review Sheet
Clculus I-II Review Sheet 1 Definitions 1.1 Functions A function is f is incresing on n intervl if x y implies f(x) f(y), nd decresing if x y implies f(x) f(y). It is clled monotonic if it is either incresing
More informationThe Bochner Integral and the Weak Property (N)
Int. Journl of Mth. Anlysis, Vol. 8, 2014, no. 19, 901-906 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.4367 The Bochner Integrl nd the Wek Property (N) Besnik Bush Memetj University
More informationApproximation of functions belonging to the class L p (ω) β by linear operators
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 3, 9, Approximtion of functions belonging to the clss L p ω) β by liner opertors W lodzimierz Lenski nd Bogdn Szl Abstrct. We prove
More informationReview of basic calculus
Review of bsic clculus This brief review reclls some of the most importnt concepts, definitions, nd theorems from bsic clculus. It is not intended to tech bsic clculus from scrtch. If ny of the items below
More informationMA Handout 2: Notation and Background Concepts from Analysis
MA350059 Hndout 2: Nottion nd Bckground Concepts from Anlysis This hndout summrises some nottion we will use nd lso gives recp of some concepts from other units (MA20023: PDEs nd CM, MA20218: Anlysis 2A,
More informationMAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL
MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL DR. RITU AGARWAL MALVIYA NATIONAL INSTITUTE OF TECHNOLOGY, JAIPUR, INDIA-302017 Tble of Contents Contents Tble of Contents 1 1. Introduction 1 2. Prtition
More informationSTURM-LIOUVILLE BOUNDARY VALUE PROBLEMS
STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS Throughout, we let [, b] be bounded intervl in R. C 2 ([, b]) denotes the spce of functions with derivtives of second order continuous up to the endpoints. Cc 2
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 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 information