On the properties of the two-sided Laplace transform and the Riemann hypothesis
|
|
- Amber Kelley
- 5 years ago
- Views:
Transcription
1 On the properties of the two-sie Lple trnsform n the Riemnn hypothesis Seong Won Ch, Ph.D. swh@gu.eu Astrt We will show interesting properties of two-sie Lple trnsform, minly of positive even funtions. Further, we will lso prove tht the Lguerre inequlities n generlize Lguerre inequlities re true n finlly, the Riemnn hypothesis is true. Remrk:. Introution We re using n z n, F (z), F (n) (z) n D z n s the ifferentil opertors n hoosing the most suitle nottion for the se. We will egin with the efinition of the two-sie Lple trnsform. The Lple trnsform of rel funtion f(t) is efine s: n the inverse trnsform is: where z = x + iy for x n y rel. F(z) = f(t) e zt t f(t) = x+i iπ F(z) e zt z x i () () If f(t) is even, then F( z) = F(z) n we n write F(z) = f(t) e zt t = f(t) e zt t = f(t) osh(zt) t From (3), we hve the power series expnsion of F(z), nmely = f(t) osh(zt) t (3) where n = (n)! F(z) = n z n = + z + 4 z 4 + (4) n= tn f(t)t. ote tht if f(t) is non-negtive, n is positive for ll n. F(z) n e seprte into the rel n imginry prt, nmely, F(z) = u(x, y) + iv(x, y). Sine z = x + iy, if f(t) is n even funtion, we hve Sine we re only eling with the two-sie Lple trnsform, the term two-sie will e omitte fterwr.
2 Therefore, F(z) = f(t) osh(xt) os(yt) t + i f(t) sinh(xt) sin(yt) t u(x, y) = f(t) osh(xt) os(yt) t (5) (6) v(x, y) = f(t) sinh(xt) sin(yt) t otie tht u(x, y) is n even funtion n v(x, y) is n o funtion for oth x n y, hene v(, y) = v(x, ) =. Therefore, we hve F(z) on the rel xis, enote F(x), n on the imginry xis, enote F(iy) s follows F(x) = f(t) osh(xt) t = u(x, ) (8) The funtion F(x) is inresing log-onvex n hs unique minimum t x =. F(iy) = f(t) os(yt) t = u(, y) Thus, F(iy) is rel if y is rel n ll erivtives of F(iy) re rel if f(t) is non-negtive n even n sine u(x, ) n u(, y) re even, we hve x u(x, ) x= = n Sine F(z) = u + v n F(z) = u + v, we hve (7) (9) u(, y) =. y y= F(x + iy) = F(x iy) = F( x + iy) = F( x iy) () F(x + iy) = F(x iy) = F( x + iy) = F( x iy) () The equlities () n () re vli if f(t) is even. Another efinition is y repling z to iz in (), hene we hve f(t) e izt t whih n e often seen in the literture. It n e otine n if f(t) is even, from (), we hve F(iz) = f(t) e izt t F(iz) = f(t) os(zt) t = f(t) os(zt) t ote tht F(iz) is only the rotte funtion of F(z) y π/, thus we get F(iz) from F(z) y swpping x n y if f(t) is even. This is lso vli for F(iz). () (3). The positive efiniteness n o-positive efiniteness ow, we onsier the Lple trnsform of f(t) whih is non-negtive s well s even, mening f( t) = f(t) n f(t) for ll t.
3 Definition : Rel-vlue positive efiniteness n o-positive efiniteness For rel θ, funtion φ(θ) is positive semi-efinite if n only if n k φ(θ n θ k ) for ny whih is non-zero positive integer, ny omplex vlue n n ny rel vlue θ n. The str * enotes the omplex onjugte. Similrly, funtion φ(θ) is o-positive semi-efinite if n only if n k φ(θ n + θ k ) n= k n= k Definition : Complex-vlue positive efiniteness n o-positive efiniteness A funtion φ(z) is omplex-vlue positive semi-efinite if n only if n k φ(z n z k ) for ny whih is non-zero positive integer, ny omplex vlue n n ny omplex vlue z n. Similrly, funtion φ(z) is o-positive semi-efinite if n only if n k φ(z n + z k ) For the ske of onveniene, we efine the ifferentil opertor D θ, thus D θ θ n φ(θ) = n n φ(θ). The positive semi-efinite n o-positive semi-efinite funtions hve mny properties. Some of them re: For the positive-efinite funtions: i. If φ(θ) is positive semi-efinite, then ( ) n D θ n φ(θ) is lso positive semi-efinite. ii. φ() n φ(θ) φ(). For the o-positive-efinite funtions: i. If φ(θ) is o-positive semi-efinite, then D θ n φ(θ) is lso o-positive semi-efinite. ii. φ(θ) n hene φ(). From the property of φ(θ), the rel-vlue o-positive semi-efinite funtions re rel when θ rel. The properties of omplex-vlue (o-)positive semi-efinite funtions re similr to of the relvlue ones. Oserving eq. (), F(z) is lerly omplex-vlue o-positive semi-efinite if f(t), sine k n k F(z n + z k ) = f(t) n k e (z n+z k)t t = f(t) n e z nt t. n= k n= Similrly, from (), it n e shown tht F(iz) is omplex-vlue positive semi-efinite when f(t). n= n= k k n= θ Theorem : Assuming f(t) is non-negtive, not neessrily even, F(z) is entire if F(z) hs no pole on the rel xis. Proof From (), we hve F(x + iy) = f(t) e xt e iyt t, whih is the Fourier trnsform of f(t) e xt. Sine f(t) e xt when f(t), For fixe x, F(x + iy) is positive semi-efinite for y y the Bohner s theorem. Hene F(x) F(x + iy) n if F(x) oes not hve ny pole, F(x + iy) oes not hve ny pole. Therefore F(z) is entire.
4 Theorem : Assuming f(t) is non-negtive, not neessrily even, F(iz) is entire if F(iz) hs no pole on the imginry xis. Proof Sine F(iz) is the rotte funtion of F(z) y π/, the proof is strightforwr from theorem. We showe tht F(x + iy) is positive semi-efinite for y. Aout x, however, F(x + iy) is generlly neither positive semi-efinite nor o-positive semi-efinite. Sine F(iy) n e negtive, F(x + iy) nnot e positive semi-efinite for x, n F(x + iy) is generlly omplex-vlue, hene F(x + iy) nnot e o-positive semi-efinite for x s well. But how re F(x + iy) n F(x + iy)? Sine they re non-negtive, they oul e positive semi-efinite or o-positive semi-efinite. Firstly, oserving of F(x) is neee, sine if F(x + iy) is (o-)positive semi-efinite for x, it must e (o-)positive semi-efinite t ny fixe y. Sine F(x) is speil se of F(x + iy) when y =, if F(x) is neither positive semi-efinite nor o-positive semi-efinite, F(x + iy) n F(x + iy) nnot e (o-)positive semi-efinite. From (), we hve F(x) = f(t) e xt t. This is not positive semi-efinite, ut it is o-positive semi-efinite if f(t). Therefore, F(x + iy) n F(x + iy) my e o-positive semi-efinite for x, if f(t) is non-negtive. Theorem 3: If f(t) is non-negtive n even, F(z) = F(re iθ ) on the irle entere t the origin hs mxim t x-xis, tht is, θ = n π. Moreover, F(iz) = F(ire iθ ) hs mxim t iy-xis. Proof Sine F(x + iy) is positive semi-efinite for y, F(x + iy) F(x) on the vertil line n hene, F(re iθ ) F[r os (θ)] n sine f(t) is non-negtive n even, F(x) hs unique minimum t x = n is inresing when x >, therefore F(re iθ ) hs mximum t θ =. Similrly, if x <, the mximum of F(re iθ ) is θ = π. F(iz) is positive semi-efinite for x on the horizontl line, n in the sme wy, we n prove tht F(ire iθ ) hs mxim t iy-xis. 3. The minim of F(z) If f(t) is even, from (8) we hve F(z) on the rel xis Let e hve f(t)t F(x) = f(t) osh (xt)t n efine G(x) = F(x)/ to normlize F(x), i.e. F() =.Therefore, we
5 where = f(t)t. G(x) = f(t) osh(xt) t Further, if f(t) is lso non-negtive, y the men-vlue theorem of integrtion, we hve (4) G(x) = osh[p(x)] f(t)t = osh[p(x)] (5) where P(x) is funtion epening on x n f(t) whih is rosh[g(x)]. By letting x z, we hve where P(z) = rosh[g(z)]. G(z) = osh[p(z)] (6) Sine osh (z) hs the glol minimum on the imginl xis of the horizontl line s well s on irle entere t the origin, osh [P(z)] hs, t lest, lol minim when P(z) is purely imginry. Sine P(z) = rosh[g(z)] = ln [G(z) + G (z) ], P(z) is purely imginry if G(z) + G(z) =. The Tylor series of ln [G(z) + G (z) ] is ln [G(z) + G (z) ] = i [ π (n + ) 4 n n= (n)! (n!) Gn+ (z)] (7) From (7), to e P(z) purely imginry, G(z) must e rel. Clerly, if P(z) is purely imginry, osh [P(z)] is rel, n therefore G(z) is rel. Sine F(z) = u(x, y) + iv(x, y), v(x, y) must e zero to e P(z) purely imginry. From the equtions G(z) = F(z)/ = u(x, y) + i v(x, y) n v(x, y) =, we hve u(x, y) G(z) + G (z) = + u (x, y) = (8) n fin out u(x, y) oring to (8). We will onsier three ses, i.e. u(x, y) <, u(x, y) > n u(x, y) <. Clerly, u(x, y)/ + u (x, y)/ > when u(x, y) < n u(x, y) >. In the se of u(x, y) <, sine u (x, y)/ <, we hve u(x, y)/ + u (x, y)/ = u(x, y)/ + i u (x, y)/ =. Hene the neessry onition to e F(z) minimum is v(x, y) = n u(x, y) <. However, they re only the neessry onition, not suffiient sine P(z) is series of z n therefore there n exist some points where v(x, y) = n u(x, y) <. Thus, we nee to nother onition, tht is, u(x, y) =. To sum up, F(z) is minimum (glol or lol) if n only if x v(x, y) =, u(x, y) < n x u(x, y) =. If oth u(x, y) n v(x, y) re zero, F(z) is not ifferentile ut sine F(z) is zero, it is glol minimum nywy.
6 ow, we will onsier F(z) on the imginry xis whih is F(iy). From (9), we hve F(iy) = u(, y) n therefore v(x, y) =. Moreover, sine F(z) is symmetri y iy-xis, x F(x + iy) x= = n lso F(iy), therefore F(iy) is t lest lol minimum for ll y on the horizontl line. Sine F(x + iy) hs lol minim t x =, F(x + iy) hs lso lol minim t x =. F(x + iy) is ifferentile y x even if F(x + iy) = unlike F(x + iy). Sine F(x + iy) hs lol minim t x =, its seon erivte t x = must e positive, i.e. D x F(x + iy) x= > where D x enotes x n sine F(x + iy) = u (x, y) + v (x, y), we hve D x F(x + iy) x= = u(, y) D x u(, y) + (D x u(, y)) + v(, y) D x v(, y) + (D x v(, y)) > (9) n v(, y) =, D x u(, y) =, thus we hve u(, y) D x u(, y) + (D x v(, y)) > () n sine D x v(, y) = D y u(, y), D x u(, y) = D y u(, y) n F(iy) = F(y) = u(, y) 3, we hve (D y F(y)) F(y) D y F(y) > () The inequlity () implies tht F(y) is log-onve, mening F (y) D y [ln(f(y))] <. Sine F(y) is log-onve, D y [ln(f(y))] = D yf(y) F(y) () n D y [ln(f(y))] = y [D yf(y) F(y) ] = F(y) D y F(y) (D y F(y)) F < (3) (y) Therefore, if F(y) hs zeros on iy-xis, D yf(y) is monotonilly eresing n F(y) hs unique F(y) extremum etween the two ontiguous zeros. 4. The o-positive efiniteness of F(x + iy) We hve shown tht F(x + iy) hs minim t x = ut it is unknow tht the minim re lol or glol on the horizontl line where y is fixe. We will show tht F(x + iy) is o-positive semiefinite for x. Theorem 4: Let Ψ(θ) = φ(θ, t)t, then Ψ(θ) is (o-)positive semi-efinite for θ if n only if φ(θ, t) is (o-)positive semi-efinite for θ for ll t. 3 Sine F(iy) is rel n ll the erivtives of F(iy) re lso rel, fterwr, we omit i from F(iy) unless neee. Hene F(y) refers to F(iy).
7 Proof The proof is strightforwr. If Ψ(θ) is positive semi-efinite, then n k Ψ(θ n θ k ) for ny ( ), n n θ n, n sine n= k n k Ψ(θ n θ k ) = n k φ(θ n θ k, t) t, to e n= k n k Ψ(θ n θ k ), n= k n k φ(θ n θ k, t) must e non-negtive for ll t. Hene φ(θ, t) must e positive semi-efinite for θ for ll t. The proof of o-positive efiniteness is sme. ote tht it oes not hol for the oule integrl. n= n= k k From () n z = x + iy, we hve F(x + iy) = f(t) e xt e iyt t whih is the Fourier trnsform of f(t) e xt. Hene y the Prsevl theorem, we hve Sine (f(t) e xt ) t = f (t) e xt t = F(x + iy) y π f (t) e xt t is lerly o-positive semi-efinite for x, (4) (5) F(x + iy) y must e lso o-positive semi-efinite for x, n therefore, F(x + iy) is o-positive semi-efinite for x for ll y y the theorem 4. However, F(x + iy) n F(x + iy) re only o-positive semi-efinite if F(x) is o-positive semi-efinite. Hene the neessry n suffiient onition to e F(x + iy) o-positive semiefinite is f(t) is non-negtive. Assuming f(t) is n even funtion, F(x + iy) = n= n (x + iy) n from (4) n we hve F(x + iy) = F(x + iy) F (x + iy) = ( n (x + iy) n ) ( n (x iy) n ) (6) n= n sine F(x + iy) hs only even powers of x, the power series expnsion of F(x + iy) is n= F(x + iy) = A n x n where A n epens on y n sine D x n F(x + iy) x=, A n is non-negtive for ll n. Sine F(x + iy) = F(x + iy) F(x iy), we hve n= (7) F(x + iy) = ( f(t) e xt e iyt t ) ( f(t) e xt e iyt t ) (8) n from (8) F(x + iy) = f(t ) f(t ) e x(t +t ) e iy(t t ) t t (9) By letting t = t + t n τ = t, we hve F(x + iy) = f(τ) f(t τ) e xt e iyτ e iy(t τ) τt (3)
8 whih n e written F(x + iy) = [ f(τ) f(t τ) e iyτ e iy(t τ) τ] e xt t (3) Letting τ τ, n ssuming f(t) is even, we hve or simply, where F(x + iy) = [ f(τ) f(t + τ) e iyτ e iy(t+τ) τ] e xt t (3) F(x + iy) = r y (t) e xt t (33) r y (t) = f(τ) f(t τ) e iyτ e iy(t τ) τ The onjugte of r y (t) = f(τ) f(t + τ) e iyτ e iy(t+τ) τ (34) r y (t) = f(τ) f(t + τ) e iyτ e iy(t+τ) τ n y letting τ τ t, n ssuming f(t) is even, we hve (35) r y (t) = f(τ t) f(τ) e iy(τ t) e iyτ τ = f(τ) f(t τ) e iyτ e iy(t τ) τ whih is the eqution (34), therefore, r y (t) is rel. Moreover, r y (t) is n even funtion whih n e esily prove. The funtion r y (t) is rel n even ut oes not hol the positivity, nmely, It n e negtive. The oeffiients A n in (7) n e esrie with the funtion r y (t), tht is, A n = (n)! tn r y (t) t (36) Sine A is F(iy), A n e zero, ut n A e lso zero? By twie ifferentiting F(x + iy) n letting x =, we get A, tht is A = D x F(x + iy) x= (37) We hve erive D x F(x + iy) x= in (9) n the result ws tht (D y F(y)) F(y) D y F(y) > in (). If A is zero, then it implies tht (D y F(y)) F(y) D y F(y) =, i.e. ( x F(y)) F(y) F(y) = (38) x The ifferentil eqution (38) is esily solvle y letting P(y) = y F(y) n we get F(y) = e y where the onstnts n re to e etermine y the initil onitions. Sine F(y) is n even
9 funtion, y F(y) y= = n F() = in (4). Thus, we get = n =, n therefore F(y) =, whih mens F(y) is onstnt. Sine F(y) = f(t) e iyt t =, f(t) = δ(t) where δ(t) enotes the Dir elt funtion. If f(t) = δ(t), F(z) is onstnt in the whole zplne. However, sine F(z) is ifferent from onstnt, A nnot e zero n it shoul e stritly positive. As result, A > n A n (n ), n hene, if y is fixe, F(x + iy) hs unique glol minimum t x = n monotonilly inresing when x >. Therefore, F(x + iy) n hve zeros only t x = if it hs ny. Sine x = r os (θ), F(x + iy) is o-positive semi-efinite for r os(θ). However, how is it when θ is fixe or r is fixe. Firstly, we onsier when θ is fixe ssuming os(θ) is non-zero. Sine θ is fixe, os(θ) is onstnt. Letting = os(θ), where is non-zero onstnt, n hene, x = r. Putting it to (7), we hve F(r + iy) = B n r n n= (39) where B n = A n n. Sine is non-zero, n >, n sine A >, B is stritly positive n other oeffiients B n re non-negtive. Thus, when θ is fixe, F(r + iy) ehves like F(x + iy), mening, it hs unique minimum t r = n monotonilly inresing when r >. Seonly, we will onsier the se when r is fixe n θ vries. It is the ehvior of F(x + iy) on irle entere t the origin. By hnging the vrile in the eq. (7), nmely, x = r os(θ), we hve where C n = A n r n. F(r os(θ) + iy) = C n os n (θ) (4) Assuming tht r is non-zero, then C is stritly positive n other oeffiients C n re nonnegtive. By ifferentiting eq. (4) y θ, we hve sin(θ) n C n os n (θ) = sin(θ) n C n os n (θ) n= Sine C is stritly positive n n C n os n (θ) is non-negtive when n, the slop is only epening on sin(θ). In the intervl of < θ < π/, sin(θ) is negtive n hene, the slop is negtive, therefore, F(θ + iy) is monotonilly eresing. In the intervl of π/ < θ < π, sin(θ) n the slop re positive n thus, F(θ + iy) is monotonilly inresing. ote tht the slop is zero when θ = n θ = π/. n= n= By the Pley-Wiener theorem, to e F(z) entire, f(t) must e eresing rpily n F(z) oes not hve ny poles on x-xis s mentione. Moreover, if F(z) hs zeros only on the iy-xis, tht is, F(z) hs only rel zeros, F(z) must e entire. We onlue with the theorem.
10 Theorem 5: If funtion f(t) is non-negtive n even n its two-sie Lple trnsform is enote y F(z), then F(x + iy) n F(x + iy) hve unique minimum t x = on the horizontl line when y is fixe n monotonilly inresing in the region of onvergene, n therefore, F(x + iy) n F(x + iy), n thus F(x + iy) n hve zeros only t x =, n sine F(iy) is rel when y is rel, F(x + iy) hve only rel zeros. Moreover, F(iz) hs zeros only on the x-xis n onsequently, only rel zeros, if f(t) is rpily eresing non-negtive even funtion. 5. The Lguerre inequlities n generlize Lguerre inequlities We hve shown tht the two-sie Lple trnsform of n even n non-negtive funtions hve only rel zeros. We will show tht the Lguerre inequlities n generlize Lguerre inequlities re true for the two-sie Lple trnsform of n even n non-negtive funtions. Theorem 6: The onvexity ) A funtion f(x) is onvex if n only if f (x) for ll x. ) The suffiient ut not neessry onition to e funtion f(x) stritly onvex is f (x) > for ll x. Theorem 7: The onvity ) A funtion f(x) is onve if n only if f (x) for ll x. ) The suffiient ut not neessry onition to e funtion f(x) stritly onve is f (x) < for ll x. Theorem 8: The log- onvexity n log-onvity A funtion f(x) is log-onvex if ln[f(x)] is onvex. Similrly, funtion f(x) is log-onve if ln[f(x)] is onve. ) A funtion f(x) is log-onvex, if f(λx + μx ) [f(x )] λ [f(x )] μ where λ, μ > n λ + μ =. ) A funtion f(x) is log-onve, if f(λx + μx ) [f(x )] λ [f(x )] μ where λ, μ > n λ + μ =. 3) If f(x) n g(x) re oth log-onvex, then f(x) g(x) is lso log-onvex. Similrly, if f(x) n g(x) re oth log-onve, then f(x) g(x) is lso log-onve. The neessry ut not suffiient onition to hve F(y) only rel zeros is tht F(y) n ll the erivtives of F(y) re log-onve, hene we hve the theorem. Theorem 9: The Lguerre inequlities F(y) elongs to the Lguerre-Póly lss if
11 where n =,, 3, n for ll y R. [F (n) (y)] F (n ) (y) F (n+) (y) (4) ote tht the theorem 9 is the neessry onitions, not suffiient. Theorem : Let e F(x) = f(t) e xt t where f(t) is non-negtive n x is rel, then F(x) is log-onvex. If f(t) is non-negtive, then t n f(t) is lso non-negtive. Consequently, (n) th erivtive of F(x), tht is, F (n) (x) = t n f(t) e xt t is lso log-onvex for n =,,, It n e esily prove using theorem 8 n the Höler inequlity. Sine F (n) (x) is log-onvex, we hve F (n) (x) F (n+) (x) [F (n+) (x)] (4) ote tht (n + ) th erivtive of F(x), tht is, F (n+) (x) = not log-onvex. t n+ f(t) e xt t is generlly Theorem : Let e F(x) = then we hve the inequlities: Proof Sine F (n+m) (x) = f(t) e xt t where f(t) is ontinuous non-negtive funtion n x is rel, [F (n+m) (x)] = ( [F (n+m) (x)] F (n) (x) F (m) (x) (43) t n+m f(t) e xt t, we hve t n+m f(t) e xt t By the Cuhy-Shwrz inequlity, we hve ) ( t n f(t) e xt t m f(t) e xt t) Hene, [F (n+m) (x)] F (n) (x) F (m) (x). = ( t n f(t) e xt t m f(t) e xt t) ( t n f(t) e xt t ) ( t m f(t) e xt t ) ow, we onsier the theorem (9) in the se of n =. Sine F(x) is log-onvex, n if f(t) is non-negtive n even, then we hve F(x) F (x) [F (x)] (44) F(x) = f(t) osh(xt) t F (x) = t f(t) sinh(xt) t
12 From eq. (9), we hve By letting x iy, we hve F (x) = t f(t) osh(xt) t F(iy) = f(t) os(yt) t F (iy) = t f(t) sin(yt) t F (iy) = t f(t) os(yt) t F(x) x=iy = f(t) os(yt) t = F(iy) F (x) x=iy = i t f(t) sin(yt) t = i F (iy) F (x) x=iy = t f(t) os(yt) t = F (iy) Therefore, y letting x iy, we get the inequlity (43) with the funtion of F(iy), tht is, From this inequlity, we hve (F(x) F (x) [F (x)] ) x=iy = F(iy) F (iy) [i F (iy)] More intuitively, the inequlity (44) is [F (iy)] F(iy) F (iy) (45) F(x) n y hnging the vrile x iy we hve n the inequlity (46) is x F(x) [ x F(x)] F(iy) (iy) F(iy) [ (iy) F(iy)] (46) (i) F(iy) y F(iy) (i) [ y F(iy)] = F(iy) y F(iy) + [ y F(iy)] n sine F(iy) n ll the erivtives of F(iy) re rel, we hve whih is the sme result in (45). [F (iy)] F(iy) F (iy)
13 Generlly, we get the theorem: Theorem : If F(x) oes not hve ny pole on the x-xis, tht is, F(z) is entire, n F(iy) is rel when y rel, then where n n m re non-negtive integer. Proof By hnging the vrile x to iy, we hve F (n) (x) F (m) (x) x=iy = (i) n+m F(n) (iy) F (m) (iy) (47) n m F(x) xn x m F(x) = n F(iy) x=iy (iy) n n therefore, eq. (47) is vli. In generl, if F (n) (x) F (m) (x) = n x n F(x) m F(x) xm m F(iy) = (iy) m (i) n n y n F(iy) m (i) m F(iy) ym then F (n k ) (x) F (m k ) (x) k= F (n k ) (x) F (m k ) (x) k= x=iy = (i) n F (n k ) (y) F (m k ) (y) (48) k+m k The inequlity oes not hnge sine we hve only hnge the vrile. k= The theorem is very useful, sine we n prove some inequlities on the x-xis more esily thn on the iy-xis. Theorem 3: We get the inequlity elow y pplying (47) to (4) 4 [F (n+) (y)] F (n) (y) F (n+) (y) (49) whih re the even terms of the Lguerre inequlities. Theorem 4: We get the inequlity elow y pplying eq. (47) to (43) 4 Sine F(iy) n ll the erivtives of F(iy) re rel when y is rel, for the ske of onveniene, i is omitte fterwr, i.e. F(y) mens F(iy).
14 [F (n+m) (y)] F (n) (y) F (m) (y) [F (n+m) (y)] F (n) (y) F (m) (y) when (n + m) is o when (n + m) is even (5) We shll show the o terms of the Lguerre inequlities, ut efore tht, we prove Höler inequlity for the oule integrl. Theorem 5: Höler inequlity for the oule integrl f(x, y) g (x, y)xy ( f(x, y) p xy) p ( g(x, y) q xy) q (5) where p, q > n p + q =. Proof We efine U(x, y) n V(x, y) suh tht n U(x, y) = V(x, y) = f(x, y) ( f(x, y) p xy g(x, y) ( g(x, y) q xy Sine U(x, y) n V(x, y), y Young s inequlity for prouts, we hve whih is ( f(x, y) p xy U(x, y) V(x, y) Up (x, y) p f(x, y) g(x, y) ) p ( g(x, y) q xy) + Vq (x, y) q q p ) q ) f(x, y) p + g(x, y) q p f(x, y) p xy q g(x, y) q xy Sine oth sies of the inequlity re non-negtive, the inequlity oes not hnge y integrting. By integrting twie, we hve ( f(x, y) p xy f(x, y) g(x, y) xy ) Sine + = we hve p q p ( g(x, y) q xy) f(x, y) g (x, y)xy ( f(x, y) p xy) q f(x, y) p xy p + g(x, y) q xy f(x, y) p xy q g(x, y) q xy p ( g(x, y) q xy) q Sine F(x) = f(t) osh(xt) t, y ifferentiting (n + ) times, we hve
15 n we n write (5) F (n+) (x) = t n+ f(t) sinh(xt) t (5) n sine F (n+) (x) = t n+ f(t) sinh(xt) t = x t n+ f(t) sinh(xt) t xt osh(xtτ) τ = sinh(xt) xt We hve F (n+) (x) = x t n+ f(t) osh(xtτ) tτ = x t n+ f(t) e xtτ tτ We efine P(x) suh tht P(x) = t n+ f(t) osh(xtτ) tτ = t n+ f(t) e xtτ tτ The purpose of hnging osh(xtτ) to e xtτ is to prove the log-onvexity of P(x) esily. Sine t n+ f(t) is even, the hnge is vli. Theorem 6: The funtion P(x), whih is efine s is log-onvex. P(x) = t n+ f(t) e xtτ tτ Proof t n+ f(t) e (λx +μx ) tτ tτ = t n+ f(t) e λxtτ e μx tτ tτ where λ + μ =. Sine f(t), we hve t n+ f(t) e λxtτ e μx tτ tτ = (t n+ f(t) e xtτ ) λ (t n+ f(t) e xtτ ) μ tτ By the Höler inequlity for the oule integrl (theorem 5), we hve whih is (t n+ f(t) e xtτ ) λ (t n+ f(t) e xtτ ) μ tτ ( t n+ f(t) e x tτ λ tτ) ( t n+ f(t) e x tτ μ tτ)
16 t n+ f(t) e (λx +μx ) tτ tτ This inequlity yiels ( t n+ f(t) e x tτ tτ) n y the theorem 9, P(x) is log-onvex. Sine P(x) is log-onvex, we hve From (9), we hve F(y) = where n =,,, Sine we hve n sine P(x) x=iy = P(y) = n from (5), we get thus, P(y) is log-onve. λ ( t n+ f(t) e x tτ tτ) P(λx + μx ) [P(x )] λ [P(x )] μ P(x) P (x) [P (x)] (5) f(t) os(yt) t n its (n + ) th erivtive is F (n+) (y) = ( ) n+ t n+ f(t) sin(yt) t os(xtτ) τ = sin(xt) xt F (n+) (y) = ( ) n+ y t n+ f(t) os(ytτ) tτ Letting g(y) = ( ) n+ y, we hve t n+ f(t) os(ytτ) tτ, we hve F (n+) (y) = ( ) n+ y P(y) [P (y)] P(y) P (y) [g (y)] g(x) g (x) = > n therefore, ( ) n+ y is log-onve. Sine oth ( ) n+ y n P(y) re log-onve, F (n+) (y) is log-onve. Thus, F (n) (y) is log-onve for ll non-negtive integer n. Consequently, the Lguerre inequlities re vli for ll n. Theorem 6: The generlize Lguerre inequlities We efine L n (y) s follows: μ n L n (y) = ( ) n n! ( )k ( n k ) F(k) (y) F (n k) (y) k= (53)
17 where n =,,, F(y) hs only rel zeros if n only if L n (y) for ll n. We return to eq. (33), whih is where n reform (55), so tht F(x + iy) = r y (t) e xt t (54) r y (t) = f(τ) f(t + τ) e iyτ e iy(t+τ) τ r y (t) = f(τ) e iyτ f(t + τ) e iy(t+τ) τ (55) (56) n y letting g(τ) = f(τ) e iyτ, r y (t) is the ross-orreltion funtion of g(τ) n g (τ) where g (τ) = f(τ) e iyτ. Let F(ω) e the Fourier trnsform of f(τ), then the Fourier trnsform of g(τ) is F(ω y) n the Fourier trnsform of g (τ) is F(ω + y). By the ross-orreltion theorem, we hve n sine F(y) is even, we hve r y (t) = π F(ω y) F(ω + y) eitω ω r y (t) = π F(y ω) F(y + ω) eitω ω whih is similr to the Wigner-Ville istriution funtion. By hnging vrile x = iθ, from (54), we hve (57) n F(iθ + iy) = π F(y ω) F(y + ω) eiωt e iθt ω t (58) F(y ω) F(y + ω) e iωt e iθt ω t = F(y ω) F(y ω) [ e iωt e iθt t] ω n thus, we hve e iωt e iθt t = π δ(θ ω) F(iθ + iy) = F(y ω) F(y + ω) δ(ω θ) ω n y omitting i for the onveniene, we hve, F(θ + y) = F(y θ) F(y + θ) (59) whih is the hrteristi eqution of F(x + iy) where x = iθ, hene, from (54)
18 F(θ + y) = r y (t) e iθt t (6) The n th moment of F(x + iy), whih is enote s M n, is efine s follows or M n (y) = t n r y (t) t (6) M n (y) = ( ) n D x n F(x + iy) x= (6) Another metho to get M n (y) is ifferentiting (6), tht is, M n (y) = ( i) n D θ n F(θ + y) θ= or y (59), M n (y) is D ( i) n θ n [F(θ y) F(θ + y)] θ= whih n e ompute using the Leiniz rule, tht is, M n (y) = ( i) n D θ n [F(y θ) F(y + θ)] θ= = n ( i) n ( )k ( n k ) F(k) (y) F (n k) (y) k= (63) However, sine r y (t) is n even funtion, M n (y) vnishes when n is o n we nee to ompute only for even n, hene, M n (y) = D θ n [F(y θ) F(y + θ)] θ= = ( ) n ( ) k ( n k ) F(k) (y) F (n k) (y) n we hve n k= (64) where L n (y) is efine in (53). F(x + iy) = (n)! M n(y) x n = L n (y) x n (65) n= If L n (y) for ll n, F(x + iy) hs unique minimum t x = when y is fixe n hene, F(y) hs only rel zeros. n= ow, we will prove the generlize Lguerre inequlities. In ft, F(y + θ) = F(iy + iθ) = F[i(y + θ)], i.e. this funtion lies on the iy-xis. F(y θ) is the sme. We will mp F(y θ) F(y + θ) on x-xis, i.e. F(x θ) F(x + θ), n we hve F(x θ) = f(t) e xt e θt t
19 n k F(x (θ n + θ k )) = f(t) e xt n k e (θ n+θ k )t t n= k = f(t) e xt n e θ nt n= n= t Therefore, F(x θ) is o-positive semi-efinite. In the sme wy, we n prove tht F(x + θ) is o-positive semi-efinite. Sine oth F(x θ) n F(x + θ) re o-positive semi-efinite, F(x θ) F(x + θ) is o-positive semi-efinite for θ. Sine F(x θ) F(x + θ) is o-positive semi-efinite for θ, D θ n [F(x θ) F(x + θ)] θ= n we hve n M n (x) = D n θ [F(x θ) F(x + θ)] θ= = ( ) k ( n k ) F(k) (x) F (n k) (x) (66) By letting x = iy, we hve n M n (iy) = D n θ [F(y θ) F(y + θ)] θ= = ( ) k ( n k ) (i) k F(k) (y) (i) n k F(n k) (y) whih implies n hene L n (y) for ll n. n k= k= M n (y) = ( ) n ( ) k ( n k ) F(k) (y) F (n k) (y) k= k The funtion F(iy) = f(t) os(yt) t = f(t) os(yt) t elongs to the Lguerre-Póly lss n hs only rel zeros if f(t) is non-negtive even funtion n rpily eresing so tht F(z) is entire where F(z) is efine s We n lso efine F(iz), tht is, F(z) = f(t) osh(zt) t F(iz) = f(t) os(zt) t whih is the fmous form in the literture euse of the Riemnn s ig-xi funtion Ξ(z), then F(x) efine s F(x) = f(t) os(xt) t elongs to the Lguerre-Póly lss n hs only rel zeros. Bsilly, the two efinitions re sme.
20 From eq. (4), y letting z = iy, we hve F(iy) = F(y) = ( ) n n y n = y + 4 y 4 6 y 6 + (67) n= where n n F(iy) hs only rel zeros. Sine the Lguerre inequlities hols for ny y, y letting y =, we hve [F (n) ()] F (n ) () F (n ) () (68) whih is lwys vli if the power expnsion of funtion hs the form of (67). We onsier it in two ses, tht is, when n is o n n is even. i. n is o: F (n) () = F (n ) () n F (n ) () hve the opposite sign n hene, F (n ) () F (n ) (). Therefore, the inequlities (68) re vli. ii. n is even: [F (n) ()] Both F (n ) () n F (n ) () re zero, thus the inequlities (68) re lso vli. Therefore, ll funtions whose power series expnsions hve the form of (66) hol the Lguerre inequlities t y =. However, not ll funtions whose power series expnsions hve the form of (67) hve only rel zeros, therefore, the Lguerre inequlities re the neessry onition, ut not suffiient to hve only rel zeros. By letting u = y in (67), we hve F(u) = ( ) n n u n = u + 4 u 6 u 3 + (69) n= whih lso hve only rel zeros when u >. By pplying (68), we hve n n (n + ) n n+ (7) The equlities hol if n only if F(z) = e αz where α >, whih is the two-sie Lple trnsform of f(t) = πα e t /4α. Therefore, if f(t) is Gussin, its two-sie Lple trnsform F(z) oes not hve ny zero. Hene, if f(t) = e φ(t) or sum of e φ(t) n its two-sie Lple trnsform is F(z), then F(z) hs only rel zeros if the orer of φ(t) is greter thn two. Further, if the orer of φ(t) is less thn two, the two-sie Lple trnsform of e φ(t) oes not hve only rel zeros. The Riemnn zet funtion (s) is efine 6. The Riemnn hypothesis where s = + iω. (s) = n s = + s + 3 s + n=
21 It is known tht the zeros of (s) re lote only on the strip < <. Riemnn onjeture tht ll the zeros of (s) re lote on the line =, so-lle Riemnn hypothesis. Using the Riemnn s funtionl eqution, n entire n symmetri funtion n e otine whih is lle the xi funtion ξ(s) where n ξ(s) = π s s(s )Γ ( s ) (s) (7) ξ(s) = ξ( s) hene ξ(s) is symmetri t = n the zeros of ξ(s) re lote t the sme position of (s), tht is, on the strip < <. If the Riemnn hypothesis is true, ll the zeros of ξ(s) re lote on the line =. It is well-known tht where ξ(s) = φ(t) e (s )t t (7) φ(t) = π n e πn e t (πn e 9 t 3e 5 t ) n= n it n e shown tht φ(t) > for ll t n n even funtion. (73) By letting z = s where z = x + iy, n φ(t) is even, we hve Φ(z) = φ(t) e zt t = φ(t) osh(zt) t (74) n sine Φ(z) is shifte funtion y of ξ(s), Φ(z) is entire n the zeros of Φ(z) shoul e lote on the strip < x <. From (66), we hve Φ(z) = π 4 π z (z 4 ) Γ (z + 4 ) (z + ) (75) whih is Riemnn s originl efinition of xi-funtion. We onsier the funtion φ(t) efine in (7). It is positive n even. Moreover, it is eresing very rpily (otherwise, ξ(s) n Φ(z) nnot e entire). Therefore, Φ(iy) elongs to the Lguerre- Póly lss n hs only rel zeros. It mens tht ll the zeros of Φ(z) re lote t x =, n hene, ll the zeros of ξ(s) n (s) re lote t =. Thus, the Riemnn hypothesis is true. From eq. (73), we hve n y letting t t, we hve Φ(iz) = φ(t) os(zt) t = φ(t) os(zt) t
22 Φ(iz) = 4 φ(t) os(zt) t (76) We efine (t) s (t) = π n e πn e t (πn e 9t 3e 5t ) n= then (t) = φ(t) n eq. (7) will e Φ(iz) = 8 (t) os(zt) t n y efining Ξ(z) = 8 Φ(iz/), we hve Ξ(z) = (t) os(zt) t (77) or simply, Ξ(z) = Φ(iz) (78) This funtion is lle the ig-xi or upper-se xi funtion n use to prove the Riemnn hypothesis n to fin the lotion of zeros in most litertures. Sine, (t) is positive even funtion n eresing rpily, Ξ(x) elongs to the Lguerre- Póly lss n hs only rel zeros, whih les tht the Riemnn hypothesis is true.
for all x in [a,b], then the area of the region bounded by the graphs of f and g and the vertical lines x = a and x = b is b [ ( ) ( )] A= f x g x dx
Applitions of Integrtion Are of Region Between Two Curves Ojetive: Fin the re of region etween two urves using integrtion. Fin the re of region etween interseting urves using integrtion. Desrie integrtion
More information6.5 Improper integrals
Eerpt from "Clulus" 3 AoPS In. www.rtofprolemsolving.om 6.5. IMPROPER INTEGRALS 6.5 Improper integrls As we ve seen, we use the definite integrl R f to ompute the re of the region under the grph of y =
More informationCS 491G Combinatorial Optimization Lecture Notes
CS 491G Comintoril Optimiztion Leture Notes Dvi Owen July 30, August 1 1 Mthings Figure 1: two possile mthings in simple grph. Definition 1 Given grph G = V, E, mthing is olletion of eges M suh tht e i,
More informationMid-Term Examination - Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours
Mi-Term Exmintion - Spring 0 Mthemtil Progrmming with Applitions to Eonomis Totl Sore: 5; Time: hours. Let G = (N, E) e irete grph. Define the inegree of vertex i N s the numer of eges tht re oming into
More informationF / x everywhere in some domain containing R. Then, + ). (10.4.1)
0.4 Green's theorem in the plne Double integrls over plne region my be trnsforme into line integrls over the bounry of the region n onversely. This is of prtil interest beuse it my simplify the evlution
More informationSections 5.3: Antiderivatives and the Fundamental Theorem of Calculus Theory:
Setions 5.3: Antierivtives n the Funmentl Theorem of Clulus Theory: Definition. Assume tht y = f(x) is ontinuous funtion on n intervl I. We ll funtion F (x), x I, to be n ntierivtive of f(x) if F (x) =
More information5.4, 6.1, 6.2 Handout. As we ve discussed, the integral is in some way the opposite of taking a derivative. The exact relationship
5.4, 6.1, 6.2 Hnout As we ve iscusse, the integrl is in some wy the opposite of tking erivtive. The exct reltionship is given by the Funmentl Theorem of Clculus: The Funmentl Theorem of Clculus: If f is
More informationNumbers and indices. 1.1 Fractions. GCSE C Example 1. Handy hint. Key point
GCSE C Emple 7 Work out 9 Give your nswer in its simplest form Numers n inies Reiprote mens invert or turn upsie own The reiprol of is 9 9 Mke sure you only invert the frtion you re iviing y 7 You multiply
More informationNow we must transform the original model so we can use the new parameters. = S max. Recruits
MODEL FOR VARIABLE RECRUITMENT (ontinue) Alterntive Prmeteriztions of the pwner-reruit Moels We n write ny moel in numerous ifferent ut equivlent forms. Uner ertin irumstnes it is onvenient to work with
More informationLecture 1 - Introduction and Basic Facts about PDEs
* 18.15 - Introdution to PDEs, Fll 004 Prof. Gigliol Stffilni Leture 1 - Introdution nd Bsi Fts bout PDEs The Content of the Course Definition of Prtil Differentil Eqution (PDE) Liner PDEs VVVVVVVVVVVVVVVVVVVV
More informationFactorising FACTORISING.
Ftorising FACTORISING www.mthletis.om.u Ftorising FACTORISING Ftorising is the opposite of expning. It is the proess of putting expressions into rkets rther thn expning them out. In this setion you will
More informationIntroduction to Complex Variables Class Notes Instructor: Louis Block
Introuction to omplex Vribles lss Notes Instructor: Louis Block Definition 1. (n remrk) We consier the complex plne consisting of ll z = (x, y) = x + iy, where x n y re rel. We write x = Rez (the rel prt
More informationQUADRATIC EQUATION. Contents
QUADRATIC EQUATION Contents Topi Pge No. Theory 0-04 Exerise - 05-09 Exerise - 09-3 Exerise - 3 4-5 Exerise - 4 6 Answer Key 7-8 Syllus Qudrti equtions with rel oeffiients, reltions etween roots nd oeffiients,
More informationDIFFERENCE BETWEEN TWO RIEMANN-STIELTJES INTEGRAL MEANS
Krgujev Journl of Mthemtis Volume 38() (204), Pges 35 49. DIFFERENCE BETWEEN TWO RIEMANN-STIELTJES INTEGRAL MEANS MOHAMMAD W. ALOMARI Abstrt. In this pper, severl bouns for the ifferene between two Riemn-
More informationu(t)dt + i a f(t)dt f(t) dt b f(t) dt (2) With this preliminary step in place, we are ready to define integration on a general curve in C.
Lecture 4 Complex Integrtion MATH-GA 2451.001 Complex Vriles 1 Construction 1.1 Integrting complex function over curve in C A nturl wy to construct the integrl of complex function over curve in the complex
More informationMATH 122, Final Exam
MATH, Finl Exm Winter Nme: Setion: You must show ll of your work on the exm pper, legily n in etil, to reeive reit. A formul sheet is tthe.. (7 pts eh) Evlute the following integrls. () 3x + x x Solution.
More informationT b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions.
Rel Vribles, Fll 2014 Problem set 5 Solution suggestions Exerise 1. Let f be bsolutely ontinuous on [, b] Show tht nd T b (f) P b (f) f (x) dx [f ] +. Conlude tht if f is in AC then it is the differene
More informationSection 2.3. Matrix Inverses
Mtri lger Mtri nverses Setion.. Mtri nverses hree si opertions on mtries, ition, multiplition, n sutrtion, re nlogues for mtries of the sme opertions for numers. n this setion we introue the mtri nlogue
More informationQUADRATIC EQUATION EXERCISE - 01 CHECK YOUR GRASP
QUADRATIC EQUATION EXERCISE - 0 CHECK YOUR GRASP. Sine sum of oeffiients 0. Hint : It's one root is nd other root is 8 nd 5 5. tn other root 9. q 4p 0 q p q p, q 4 p,,, 4 Hene 7 vlues of (p, q) 7 equtions
More informationMATH 409 Advanced Calculus I Lecture 22: Improper Riemann integrals.
MATH 409 Advned Clulus I Leture 22: Improper Riemnn integrls. Improper Riemnn integrl If funtion f : [,b] R is integrble on [,b], then the funtion F(x) = x f(t)dt is well defined nd ontinuous on [,b].
More informationAP Calculus AB Unit 4 Assessment
Clss: Dte: 0-04 AP Clulus AB Unit 4 Assessment Multiple Choie Identify the hoie tht best ompletes the sttement or nswers the question. A lultor my NOT be used on this prt of the exm. (6 minutes). The slope
More informationCalculus Cheat Sheet. Integrals Definitions. where F( x ) is an anti-derivative of f ( x ). Fundamental Theorem of Calculus. dx = f x dx g x dx
Clulus Chet Sheet Integrls Definitions Definite Integrl: Suppose f ( ) is ontinuous Anti-Derivtive : An nti-derivtive of f ( ) on [, ]. Divide [, ] into n suintervls of is funtion, F( ), suh tht F = f.
More informationThe Riemann-Stieltjes Integral
Chpter 6 The Riemnn-Stieltjes Integrl 6.1. Definition nd Eistene of the Integrl Definition 6.1. Let, b R nd < b. ( A prtition P of intervl [, b] is finite set of points P = { 0, 1,..., n } suh tht = 0
More informationIntroduction to Olympiad Inequalities
Introdution to Olympid Inequlities Edutionl Studies Progrm HSSP Msshusetts Institute of Tehnology Snj Simonovikj Spring 207 Contents Wrm up nd Am-Gm inequlity 2. Elementry inequlities......................
More informationOn the Bilateral Laplace Transform of the positive even functions and proof of the Riemann Hypothesis. Seong Won Cha Ph.D.
On the Bilateral Laplace Transform of the positive even functions and proof of the Riemann Hypothesis Seong Won Cha Ph.D. Seongwon.cha@gmail.com Remark This is not an official paper, rather a brief report.
More informationA Primer on Continuous-time Economic Dynamics
Eonomis 205A Fll 2008 K Kletzer A Primer on Continuous-time Eonomi Dnmis A Liner Differentil Eqution Sstems (i) Simplest se We egin with the simple liner first-orer ifferentil eqution The generl solution
More informationSurds and Indices. Surds and Indices. Curriculum Ready ACMNA: 233,
Surs n Inies Surs n Inies Curriulum Rey ACMNA:, 6 www.mthletis.om Surs SURDS & & Inies INDICES Inies n surs re very losely relte. A numer uner (squre root sign) is lle sur if the squre root n t e simplifie.
More informationChapter Five - Eigenvalues, Eigenfunctions, and All That
Chpter Five - Eigenvlues, Eigenfunctions, n All Tht The prtil ifferentil eqution methos escrie in the previous chpter is specil cse of more generl setting in which we hve n eqution of the form L 1 xux,tl
More informationLecture 6: Coding theory
Leture 6: Coing theory Biology 429 Crl Bergstrom Ferury 4, 2008 Soures: This leture loosely follows Cover n Thoms Chpter 5 n Yeung Chpter 3. As usul, some of the text n equtions re tken iretly from those
More informationExam 1 Formula Sheet. du a2 u du = arcsin + C du a 2 + u 2 du = du u u 2 a 2 du =
[rsin(u)] = u x [ros(u)] = u x u [rtn(u)] = + x [rot(u)] = u + x [rse(u)] = u x x [rs(u)] = u x x Exm Formul Sheet tn(u) u = ln os(u) + C ot(u) u = ln sin(u) + C se(u) u = ln se(u) + tn(u) + C s(u) u =
More informationIf we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as
Y. D. Chong (26) MH28: Complex Methos for the Sciences 2. Integrls If we hve function f(x) which is well-efine for some x, its integrl over those two vlues is efine s N ( ) f(x) = lim x f(x n ) where x
More informationPolynomials and Division Theory
Higher Checklist (Unit ) Higher Checklist (Unit ) Polynomils nd Division Theory Skill Achieved? Know tht polynomil (expression) is of the form: n x + n x n + n x n + + n x + x + 0 where the i R re the
More informationInequalities of Olympiad Caliber. RSME Olympiad Committee BARCELONA TECH
Ineulities of Olymid Clier José Luis Díz-Brrero RSME Olymid Committee BARCELONA TECH José Luis Díz-Brrero RSME Olymi Committee UPC BARCELONA TECH jose.luis.diz@u.edu Bsi fts to rove ineulities Herefter,
More informationMore Properties of the Riemann Integral
More Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologil Sienes nd Deprtment of Mthemtil Sienes Clemson University Februry 15, 2018 Outline More Riemnn Integrl Properties The Fundmentl
More informationINTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable
INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd
More informationFor a, b, c, d positive if a b and. ac bd. Reciprocal relations for a and b positive. If a > b then a ab > b. then
Slrs-7.2-ADV-.7 Improper Definite Integrls 27.. D.dox Pge of Improper Definite Integrls Before we strt the min topi we present relevnt lger nd it review. See Appendix J for more lger review. Inequlities:
More informationI 3 2 = I I 4 = 2A
ECE 210 Eletril Ciruit Anlysis University of llinois t Chigo 2.13 We re ske to use KCL to fin urrents 1 4. The key point in pplying KCL in this prolem is to strt with noe where only one of the urrents
More informationUniversity of Sioux Falls. MAT204/205 Calculus I/II
University of Sioux Flls MAT204/205 Clulus I/II Conepts ddressed: Clulus Textook: Thoms Clulus, 11 th ed., Weir, Hss, Giordno 1. Use stndrd differentition nd integrtion tehniques. Differentition tehniques
More information22: Union Find. CS 473u - Algorithms - Spring April 14, We want to maintain a collection of sets, under the operations of:
22: Union Fin CS 473u - Algorithms - Spring 2005 April 14, 2005 1 Union-Fin We wnt to mintin olletion of sets, uner the opertions of: 1. MkeSet(x) - rete set tht ontins the single element x. 2. Fin(x)
More informationNecessary and sucient conditions for some two. Abstract. Further we show that the necessary conditions for the existence of an OD(44 s 1 s 2 )
Neessry n suient onitions for some two vrile orthogonl esigns in orer 44 C. Koukouvinos, M. Mitrouli y, n Jennifer Seerry z Deite to Professor Anne Penfol Street Astrt We give new lgorithm whih llows us
More informationOverview of Calculus
Overview of Clculus June 6, 2016 1 Limits Clculus begins with the notion of limit. In symbols, lim f(x) = L x c In wors, however close you emn tht the function f evlute t x, f(x), to be to the limit L
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1. 1 [(y ) 2 + yy + y 2 ] dx,
MATH3403: Green s Funtions, Integrl Equtions nd the Clulus of Vritions 1 Exmples 5 Qu.1 Show tht the extreml funtion of the funtionl I[y] = 1 0 [(y ) + yy + y ] dx, where y(0) = 0 nd y(1) = 1, is y(x)
More informationSIMPLE NONLINEAR GRAPHS
S i m p l e N o n l i n e r G r p h s SIMPLE NONLINEAR GRAPHS www.mthletis.om.u Simple SIMPLE Nonliner NONLINEAR Grphs GRAPHS Liner equtions hve the form = m+ where the power of (n ) is lws. The re lle
More informationp-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationEigenvectors and Eigenvalues
MTB 050 1 ORIGIN 1 Eigenvets n Eigenvlues This wksheet esries the lger use to lulte "prinipl" "hrteristi" iretions lle Eigenvets n the "prinipl" "hrteristi" vlues lle Eigenvlues ssoite with these iretions.
More informationSturm-Liouville Theory
LECTURE 1 Sturm-Liouville Theory In the two preceing lectures I emonstrte the utility of Fourier series in solving PDE/BVPs. As we ll now see, Fourier series re just the tip of the iceerg of the theory
More informationSolutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!
Solutions for HW9 Exerise 28. () Drw C 6, W 6 K 6, n K 5,3. C 6 : W 6 : K 6 : K 5,3 : () Whih of the following re iprtite? Justify your nswer. Biprtite: put the re verties in V 1 n the lk in V 2. Biprtite:
More informationCARLETON UNIVERSITY. 1.0 Problems and Most Solutions, Sect B, 2005
RLETON UNIVERSIT eprtment of Eletronis ELE 2607 Swithing iruits erury 28, 05; 0 pm.0 Prolems n Most Solutions, Set, 2005 Jn. 2, #8 n #0; Simplify, Prove Prolem. #8 Simplify + + + Reue to four letters (literls).
More informationThe area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O
1 Section 5. The Definite Integrl Suppose tht function f is continuous nd positive over n intervl [, ]. y = f(x) x The re under the grph of f nd ove the x-xis etween nd is denoted y f(x) dx nd clled the
More information( ) { } [ ] { } [ ) { } ( ] { }
Mth 65 Prelulus Review Properties of Inequlities 1. > nd > >. > + > +. > nd > 0 > 4. > nd < 0 < Asolute Vlue, if 0, if < 0 Properties of Asolute Vlue > 0 1. < < > or
More informationAP CALCULUS Test #6: Unit #6 Basic Integration and Applications
AP CALCULUS Test #6: Unit #6 Bsi Integrtion nd Applitions A GRAPHING CALCULATOR IS REQUIRED FOR SOME PROBLEMS OR PARTS OF PROBLEMS IN THIS PART OF THE EXAMINATION. () The ext numeril vlue of the orret
More informationMath 211A Homework. Edward Burkard. = tan (2x + z)
Mth A Homework Ewr Burkr Eercises 5-C Eercise 8 Show tht the utonomous system: 5 Plne Autonomous Systems = e sin 3y + sin cos + e z, y = sin ( + 3y, z = tn ( + z hs n unstble criticl point t = y = z =
More informationf a L Most reasonable functions are continuous, as seen in the following theorem:
Limits Suppose f : R R. To sy lim f(x) = L x mens tht s x gets closer n closer to, then f(x) gets closer n closer to L. This suggests tht the grph of f looks like one of the following three pictures: f
More informationMathematics. Area under Curve.
Mthemtics Are under Curve www.testprepkrt.com Tle of Content 1. Introduction.. Procedure of Curve Sketching. 3. Sketching of Some common Curves. 4. Are of Bounded Regions. 5. Sign convention for finding
More informationCourse 2BA1 Supplement concerning Integration by Parts
Course 2BA1 Supplement concerning Integrtion by Prts Dvi R. Wilkins Copyright c Dvi R. Wilkins 22 3 The Rule for Integrtion by Prts Let u n v be continuously ifferentible rel-vlue functions on the intervl
More informationMA10207B: ANALYSIS SECOND SEMESTER OUTLINE NOTES
MA10207B: ANALYSIS SECOND SEMESTER OUTLINE NOTES CHARLIE COLLIER UNIVERSITY OF BATH These notes hve been typeset by Chrlie Collier nd re bsed on the leture notes by Adrin Hill nd Thoms Cottrell. These
More informationMath Fall 2006 Sample problems for the final exam: Solutions
Mth 42-5 Fll 26 Smple problems for the finl exm: Solutions Any problem my be ltered or replced by different one! Some possibly useful informtion Prsevl s equlity for the complex form of the Fourier series
More informationLecture 8: Abstract Algebra
Mth 94 Professor: Pri Brtlett Leture 8: Astrt Alger Week 8 UCSB 2015 This is the eighth week of the Mthemtis Sujet Test GRE prep ourse; here, we run very rough-n-tumle review of strt lger! As lwys, this
More informationDiscrete Structures Lecture 11
Introdution Good morning. In this setion we study funtions. A funtion is mpping from one set to nother set or, perhps, from one set to itself. We study the properties of funtions. A mpping my not e funtion.
More informationSection 4.4. Green s Theorem
The Clulus of Funtions of Severl Vriles Setion 4.4 Green s Theorem Green s theorem is n exmple from fmily of theorems whih onnet line integrls (nd their higher-dimensionl nlogues) with the definite integrls
More informationReview of Gaussian Quadrature method
Review of Gussin Qudrture method Nsser M. Asi Spring 006 compiled on Sundy Decemer 1, 017 t 09:1 PM 1 The prolem To find numericl vlue for the integrl of rel vlued function of rel vrile over specific rnge
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 information4.5 THE FUNDAMENTAL THEOREM OF CALCULUS
4.5 The Funmentl Theorem of Clculus Contemporry Clculus 4.5 THE FUNDAMENTAL THEOREM OF CALCULUS This section contins the most importnt n most use theorem of clculus, THE Funmentl Theorem of Clculus. Discovere
More informationSEMI-EXCIRCLE OF QUADRILATERAL
JP Journl of Mthemtil Sienes Volume 5, Issue &, 05, Pges - 05 Ishn Pulishing House This pper is ville online t http://wwwiphsiom SEMI-EXCIRCLE OF QUADRILATERAL MASHADI, SRI GEMAWATI, HASRIATI AND HESY
More informationSOME INTEGRAL INEQUALITIES FOR HARMONICALLY CONVEX STOCHASTIC PROCESSES ON THE CO-ORDINATES
Avne Mth Moels & Applitions Vol3 No 8 pp63-75 SOME INTEGRAL INEQUALITIES FOR HARMONICALLY CONVE STOCHASTIC PROCESSES ON THE CO-ORDINATES Nurgül Okur * Imt Işn Yusuf Ust 3 3 Giresun University Deprtment
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 informationQUADRATIC EQUATIONS OBJECTIVE PROBLEMS
QUADRATIC EQUATIONS OBJECTIVE PROBLEMS +. The solution of the eqution will e (), () 0,, 5, 5. The roots of the given eqution ( p q) ( q r) ( r p) 0 + + re p q r p (), r p p q, q r p q (), (d), q r p q.
More informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More 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 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 informationON THE INEQUALITY OF THE DIFFERENCE OF TWO INTEGRAL MEANS AND APPLICATIONS FOR PDFs
ON THE INEQUALITY OF THE DIFFERENCE OF TWO INTEGRAL MEANS AND APPLICATIONS FOR PDFs A.I. KECHRINIOTIS AND N.D. ASSIMAKIS Deprtment of Eletronis Tehnologil Edutionl Institute of Lmi, Greee EMil: {kehrin,
More informationAP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals
AP Clulus BC Chpter 8: Integrtion Tehniques, L Hopitl s Rule nd Improper Integrls 8. Bsi Integrtion Rules In this setion we will review vrious integrtion strtegies. Strtegies: I. Seprte the integrnd into
More informationAPPENDIX. Precalculus Review D.1. Real Numbers and the Real Number Line
APPENDIX D Preclculus Review APPENDIX D.1 Rel Numers n the Rel Numer Line Rel Numers n the Rel Numer Line Orer n Inequlities Asolute Vlue n Distnce Rel Numers n the Rel Numer Line Rel numers cn e represente
More informationPart 4. Integration (with Proofs)
Prt 4. Integrtion (with Proofs) 4.1 Definition Definition A prtition P of [, b] is finite set of points {x 0, x 1,..., x n } with = x 0 < x 1
More informationx dx does exist, what does the answer look like? What does the answer to
Review Guie or MAT Finl Em Prt II. Mony Decemer th 8:.m. 9:5.m. (or the 8:3.m. clss) :.m. :5.m. (or the :3.m. clss) Prt is worth 5% o your Finl Em gre. NO CALCULATORS re llowe on this portion o the Finl
More information(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.
Chpter 7: The Riemnn Integrl When the derivtive is introdued, it is not hrd to see tht the it of the differene quotient should be equl to the slope of the tngent line, or when the horizontl xis is time
More informationExam 1 Study Guide. Differentiation and Anti-differentiation Rules from Calculus I
Exm Stuy Guie Mth 26 - Clulus II, Fll 205 The following is list of importnt onepts from eh setion tht will be teste on exm. This is not omplete list of the mteril tht you shoul know for the ourse, but
More informationProportions: A ratio is the quotient of two numbers. For example, 2 3
Proportions: rtio is the quotient of two numers. For exmple, 2 3 is rtio of 2 n 3. n equlity of two rtios is proportion. For exmple, 3 7 = 15 is proportion. 45 If two sets of numers (none of whih is 0)
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 informationMCH T 111 Handout Triangle Review Page 1 of 3
Hnout Tringle Review Pge of 3 In the stuy of sttis, it is importnt tht you e le to solve lgeri equtions n tringle prolems using trigonometry. The following is review of trigonometry sis. Right Tringle:
More informationCalculus AB. For a function f(x), the derivative would be f '(
lculus AB Derivtive Formuls Derivtive Nottion: For function f(), the derivtive would e f '( ) Leiniz's Nottion: For the derivtive of y in terms of, we write d For the second derivtive using Leiniz's Nottion:
More information2.4 Linear Inequalities and Interval Notation
.4 Liner Inequlities nd Intervl Nottion We wnt to solve equtions tht hve n inequlity symol insted of n equl sign. There re four inequlity symols tht we will look t: Less thn , Less thn or
More information10 Vector Integral Calculus
Vector Integrl lculus Vector integrl clculus extends integrls s known from clculus to integrls over curves ("line integrls"), surfces ("surfce integrls") nd solids ("volume integrls"). These integrls hve
More informationES.181A Topic 8 Notes Jeremy Orloff
ES.8A Topic 8 Notes Jeremy Orloff 8 Integrtion: u-substitution, trig-substitution 8. Integrtion techniques Only prctice will mke perfect. These techniques re importnt, but not the intellectul hert of the
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More informationINTEGRALS. Chapter Introduction
INTEGRALS 87 hpter 7 INTEGRALS Just s mountineer clims mountin ecuse it is there, so goo mthemtics stuent stuies new mteril ecuse it is there. JAMES B. BRISTOL 7. Introuction Differentil lculus is centre
More information18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106
8. Problem Set Due Wenesy, Ot., t : p.m. in - Problem Mony / Consier the eight vetors 5, 5, 5,..., () List ll of the one-element, linerly epenent sets forme from these. (b) Wht re the two-element, linerly
More informationProject 6: Minigoals Towards Simplifying and Rewriting Expressions
MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy
More information2. There are an infinite number of possible triangles, all similar, with three given angles whose sum is 180.
SECTION 8-1 11 CHAPTER 8 Setion 8 1. There re n infinite numer of possile tringles, ll similr, with three given ngles whose sum is 180. 4. If two ngles α nd β of tringle re known, the third ngle n e found
More informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
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 informationSection 6.1 Definite Integral
Section 6.1 Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot e determined
More information50 AMC Lectures Problem Book 2 (36) Substitution Method
0 AMC Letures Prolem Book Sustitution Metho PROBLEMS Prolem : Solve for rel : 9 + 99 + 9 = Prolem : Solve for rel : 0 9 8 8 Prolem : Show tht if 8 Prolem : Show tht + + if rel numers,, n stisf + + = Prolem
More informationNotes on the Eigenfunction Method for solving differential equations
Notes on the Eigenfunction Metho for solving ifferentil equtions Reminer: Wereconsieringtheinfinite-imensionlHilbertspceL 2 ([, b] of ll squre-integrble functions over the intervl [, b] (ie, b f(x 2
More informationPosition Analysis: Review (Chapter 2) Objective: Given the geometry of a mechanism and the input motion, find the output motion
Position Anlysis: Review (Chpter Ojetive: Given the geometry of mehnism n the input motion, fin the output motion Grphil pproh Algeri position nlysis Exmple of grphil nlysis of linges, four r linge. Given
More informationLecture 2: Cayley Graphs
Mth 137B Professor: Pri Brtlett Leture 2: Cyley Grphs Week 3 UCSB 2014 (Relevnt soure mteril: Setion VIII.1 of Bollos s Moern Grph Theory; 3.7 of Gosil n Royle s Algeri Grph Theory; vrious ppers I ve re
More informationMAT 403 NOTES 4. f + f =
MAT 403 NOTES 4 1. Fundmentl Theorem o Clulus We will proo more generl version o the FTC thn the textook. But just like the textook, we strt with the ollowing proposition. Let R[, ] e the set o Riemnn
More information( ) Same as above but m = f x = f x - symmetric to y-axis. find where f ( x) Relative: Find where f ( x) x a + lim exists ( lim f exists.
AP Clculus Finl Review Sheet solutions When you see the words This is wht you think of doing Find the zeros Set function =, fctor or use qudrtic eqution if qudrtic, grph to find zeros on clcultor Find
More information(9) P (x)u + Q(x)u + R(x)u =0
STURM-LIOUVILLE THEORY 7 2. Second order liner ordinry differentil equtions 2.1. Recll some sic results. A second order liner ordinry differentil eqution (ODE) hs the form (9) P (x)u + Q(x)u + R(x)u =0
More informationAlgebra 2 Semester 1 Practice Final
Alger 2 Semester Prtie Finl Multiple Choie Ientify the hoie tht est ompletes the sttement or nswers the question. To whih set of numers oes the numer elong?. 2 5 integers rtionl numers irrtionl numers
More information