APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS
|
|
- Jade Bruce
- 6 years ago
- Views:
Transcription
1 APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS 1. Itroductio Let C be a bouded, covex subset of. Thus, by defiitio, with every two poits i the set, the lie segmet coectig these two poits is also cotaied i the set. A good way is to thik of covex sets as the itersectio of a family of closed half spaces. Ideed C = {H : C H, H closed half space} =: C H. Evidetly, C C H because C H is the itersectio of closed sets all of them cotaiig C. To see that C = C H assume otherwise, i.e., assume there exists a C H but a / C. Sice C is closed ad covex we kow, by the Hah Baach theorem, that there exists a plae that separates C from a. I other words there is a closed half space that cotais C but ot a. Thus, a / C H cotrary to our assumptio. I order to avoid degeerate sets, we shall assume that the set is closed ad its ope iterior is ot empty. Ay covex set is Borel measurable ad hece has a volume. Cosider the set of all closed ellpsoids E that are subsets of C. Sice the iterior of C is ot empty the set C cotais at least oe such ellipsoid. ecall that ellipsoid are give as the set of all x so that (x b), A(x b) 1. Here, A is a positive defiite matrix, b is the ceter of the ellipsoid ad, deotes the stadard Euclidea ier product. We ca write this expressio i a alterative way by usig the orthoormal set of eigevectors of A, e j as a basis ad obtai (x b), e j 1. (1) λ 2 j Note that λ j is precisely the legth of the j-th semi-axis of the ellipsoid. Thus, the coditio that E is a subset of C meas that ay x that satisfies (1) is also i C. The volume of the ellipsoid ca be readily calculated to be vol(e) = S 1 λ j, where S 1 is the surface area of the Euclidea uit sphere. Or expressed i terms of the matrix A vol(e) = S 1 det(a 1/2 ) = S 1 (det(a)) 1/2. Amog those ellipsoids cotaied i C, there exists oe of largest volume. Sice, C is bouded, it is a subset of a large ball B of radius ad ellipsoid which is a subset of C is also a subset of B. From this we see that the set D := {(A, b) : (x b), A(x b) 1 implies x C} Date: April 24,
2 2 APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS is a bouded subset of (+3) 2. Moreover, the complemet of D i (+3) 2 is ope. Ay ellipsoid that has a o-empty itersectio with the the complemet of C ca be perturbed i ay directio without losig that property. Thus, the set D is compact ad sice the volume is a cotiuous fuctio, there exists a ellipsoid of largest volume. With these prelimiaries we ca ow formulate the volume ratio problem for covex sets. Poblem 1.1. Amog all covex sets C fid the oe that maximizes the volume ratio vol(c) vol(e(c)) where E(C) is the ellipsoid cotaied i C with largest volume. Ituitively, the set C should be rather slim i order to keep the volume of the ellipsoid small but at the same time makes large cotributios to the volume that is ot covered by the ellipsoid. By shiftig coordiates, we may assume that the ellipsoid of maximal volume has its ceter at the origi. It is a stadard result from liear algebra that ay symmetric matrix A ca be writte i the form A = S T S. Thus, by mappig C oto the covex set {Sx : x C} we may assume that the ellipsoid of maximal volume is i fact a ball, ad sice scalig does ot chage the volume ratio we may assume that the set C has the Euclidea ball as its ellipsoid of maximal volume. I these terms, the aswer to the above problem ca be stated very simply as Theorem 1.2 (Keith Ball). Amog all covex bodies whose ellipsoid of maximal volume is the Euclidea ball, the maximum of the volume ratio is attaied by the simplex, i.e., regular triagle i two dimesios, tetrahedro i three dimesios, etc. We shall ot prove this theorem, but istead solve this problem for symmetric covex sets. ecall, that a covex set C is symmetric with respect to the origi if with x C we also have that x C. Now we ca formulate a correspodig theorem. Theorem 1.3 (Keith Ball). Amog all symmetric covex bodies whose ellipsoid of maximal volume is the Euclidea ball, the maximum of the volume ratio is attaied by the cube. The proof will proceed via Brascamp-Lieb iequalities, bit first we have to characterize the largest ellipsoid. Discuss Examples via pictures 2. Fritz Joh s Theorem We have see that i ay covex set a ellipsoid of largest volume exists. The followig theorem of Fritz Joh is a characterizatio of it. Theorem 2.1. Assume that the uit ball is the a ellipsoid of largest volume of a covex set C. The there exist touchig (or cotact) poits u j, j = 1,..., m < ad positive umbers c j, j = 1,..., m so that c j u j = 0 (2) ad c j u j u j = I. (3)
3 APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS 3 Coversely, if the uit ball touches a covex set i poits u j, j = 1,..., m for which there exist positive umbers c j, j = 1,..., m so that both (2) ad (3) hold, the the uit ball is the ellipsoid of largest volume cotaied i C. Explai meaig via pictures emark 2.2. Note by takig the trace we lear that c j = ad hece I ca be writte as a covex combiatio of rak oe projectios of the form u j u j where u j is a cotact poit. There ca be a ifiite set of cotact poit, e.g., take for C the uit disk. Thus, i priciple oe might thik that m may be ifiity. I our applicatio, however, we will see that m ca be chose to be fiite. Note that the cotact poits i (2) ad i (3) may ot be uique. emark 2.3. Joh s theorem implies that if the Euclidea uit ball is the ellipsoid of maximal volume, the the set C is cotaied i the Euclidea ball cetered at the origi with radius. To see this we observe that C is a subset of the closed half space u i, x = 1 for i = 1,..., m. Hece x 2 = c j u j, x 2 c j =. j Proof. We follow here very closely Keith Ball. Here is a first observatio. Cosider the uit ball ad deform it slightly ito a ellipsoid. This amouts to cosider the quadratic form I + δh where H is a symmetric matrix, ad δ is some small umber. Likewise, the ceter of the ball will be also shifted ad hece we cosider the quadratic form Expadig i δ we get Q δ (x, x); = (x + δ 2 h), [I + δh](x + δ h). (4) 2 Q δ (x, x) = x, x + δ [ h, x + x, Hx ] + O(δ 2 ). (5) The term proportioal to δ ca be writte as [ ] Tr H T (x x, x). where H = (H, h). Note that for ay two ( + 1) matrices A, B Tr [ A T B ] is a ier product ad hece turs the ( + 1) matrices ito a ier product space. Cosider the set of matrices (u u, u)
4 4 APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS where u is a cotact poit. Now we cosider the set of all covex combiatio ad take the closure if ecessary. I this way we get a closed covex set G of ( + 1) matrices. I fact, this set is bouded, sice for aym = (A, a) G x, Ax j x, u j 2 x 2 p j = x 2, ad x, a x p j = x, for all x. Thus, G is a compact covex set. We wat to show that the matrix ( ) I, 0 is i this covex( set. Suppose ) ot, the there exists a liear fuctioal o the space of matrices that separates I, 0 from G. That is, there exists a matrix H = (H, h) with H T = H ad a costat κ such that [ ( )] Tr H T I, 0 > κ (6) ad [ ] Tr H T M κ ε < κ for all M G. Sice all matrices i M are of the form (A, b) where A has trace oe, we ca replace (H, h) by ( H 1 Tr(H), h) ad the above two iequalities are replaced by [ ( )] Tr H T I, 0 = 0 (7) ad [ ] Tr H T M ε < 0 Now cosider the ellipsoid defied i (4). For ay cotact poit u we have usig (5) [ ] Q δ (u, u) = 1 + δtr H T (u u, u) + O(δ 2 ) 1 δε + O(δ 2 ) > 1 (8) for δ small, egative. Thus, the cotact poits are outside the ew ellipsoid. Sice the boudary C is a compact set ad the fuctio x Q δ (x, x) is cotiuous, we fid that the ellipsoid defied be Q δ (x, x) 1 is a set strictly cotaied i C for δ sufficietly small. Now, the volume of the ellipsoid is S 1 det (I + δh) = S 1 1/2 (1 + δµ j) 1/2 where µ j are the eigevalues of H. The umbers 1 + δµ j > 0, j = 1,..., ad j µ j = 0. By the arithmetic-geometric mea iequality ( (1 + δµ j ) (1 + δµ ) j) = 1
5 APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS 5 with equality oly if all the umbers 1 + δµ j are the same. Sice the trace of H vaishes, this is the case if all the µ j s vaish ad hece H is the zero matrix. Thus, if H is ot the zero matrix, we are doe. So we assume that it is the zero matrix. I this case, the ew ellipsoid is the Euclidea ball traslated by δ h ad strictly cotaied i C. Makig the radius slightly 2 larger we still have ( a ball ) i C with a larger volume, which is a cotradictio ad proves the claim that I, 0 G. By Caratheodory s theorem there exist at most dimesio of uderlyig space +1 poits, i.e., (u j u j, u j ), j = 1,..., m ad umbers p j > 0, p j = 1 with such that m ( ) I, 0 = ( + 3) p j (u j u j, u j ). This proves the hard part of Joh s theorem. Now we show the uiqueess of the ellipsoid. Let E be he ellipsoid of largest volume, E = {x : (x a), A(x a) 1} for some vector a C ad some positive defiite matrix A. The plae P i give by u i, x = 1 maybe touches E but certaily does ot cut it. Thus, we kow that for some 0 < b i 1 the plae u i, x = b i touches E at some poit x i, i.e., ad u i, x i = b i (x i a), A(x i a) = 1. Hece u i must be proportioal to the gradiet of x, Ax at that poit ad therefore u i = A(x i a) A(x i a). Sice x i is o the boudary of the ellipsoid we have that Hece, Now, b i = u i, x i = u i, (x i a) + u i, a = (x i a), A(x i a) A(x i a) u i, A 1/2 u i = A(x i a), A 1/2 (x i a) A(x i a) 2 + u i, a = 1 A(x i a) = b i u i, a. 1 A(x i a) + u i, a A(x i a) A 1/2 (x i a) A(x i a) 2 = 1 A(x i a) = b i u i, a
6 6 APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS ad usig (2) ad (3) we lear that or TrA 1/2 = j c j u i, A 1 u i TrA 1/2 c j (b i u i, a ) 1. If we deote the eigevalues of A 1/2 by µ j, j = 1,...,, the volume of E is proprtioal to ( ) TrA 1/2 µ j 1. j Thus, sice E is, by defiitio the ellipsoid i C of maximal volume, j µ j = 1 ad all the eigevalues must be equal to 1. Hece A = I what we had to show. 3. Brascamp-Lieb Iequality i the versio of Keith Ball Cosider for ay give vectors a j, j = 1,..., m the expressio m f j( a j, x )dx m f j pj. I order that the maximizatio problem makes ay sese, we eed to have that 1 =. p j Now the supremum over all fuctios f j might be fiite or ot. I ay case it was show by Brascamp ad Lieb i the seveties that it suffices to optimize the ratio over Gaussia fuctios, i.e., fuctios of the form f j (x) = e s jx 2. While this simplifies the maximizatio problem greatly, the determiatio of the umbers s j is a formidable o-liear problem ad depeds very much o the vectors a j. For geeral vectors, othig is kow about the costat, except whe it is fiite. It was observed by Keith Ball that the Brascamp-Lieb result greatly simplifies if the vectors a j satisfy the Fritz Joh coditio. I order to be i agreemet with the otatio i the previous sectio we shall deote these vectors by u j ad assume that there exist positive costats c j so that c j u j u j = I. ecall, by takig the trace i above matrices, that c j =.
7 APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS 7 Theorem 3.1 (Brascamp-Lieb, Keith Ball). If the vectors u j, j = 1,..., m satisfy the Fritz Joh coditio the for o-egative fuctio f j, j = 1,..., m ( f j ( u j, x ) c j dx f j (x)dx). (9) The costat oe is sharp. emark 3.2. The cases of equality are istructive. Pick f j (x) = e x2, j = 1,..., m the we see that the left side is e c j u j,x 2 dx = dx while the right side is ( e x2 dx ) P m c j = e x 2 e x 2 If m = ad the vectors u j form a orthoormal basis, ad c j = 1, j = 1,...,, the there is equality for ay collectio of f j s. Proof. We will prove this theorem usig the heatkerel method developed by Carle-Lieb-Loss, as well as Beett-Carbery-Christ-Tao. It suffices to show the iequality for ice fuctios, o-egative, with compact support. The fudametal solutio of the heat equatio, the heat kerel, u t = u i is give by G(x y, t) = (4πt) 2 e x y 2 /4t dx. Now we apply the heat kerel to the fuctios f j ( u j, x ) ad ote that G(x y, t)f j ( u j, y )dy = f j ( u j, x, t), i.e., it is a fuctio of the variable u j, x oly. The fuctio f j (y, t) is give by f(y, t) = (4πt) 1 2 e (y z)2 /4t f j (z)dz. Obviously, f(y, t)dy = f(y)dy, i.e., it does ot chage with time. Thus, if we replace i (9) the fuctios f j ( ) by the fuctios f j (, t) the right side of the iequality does ot chage. We shall show that the left side icreases with t ad compute the limit. For t > 0 it is obvious that the fuctios f j ( u j, x, t) are smooth fuctios of their variables. Moreover, sice the f ( ) are o-egative, the fuctios f j (, t) are strictly positive for t > 0. Hece we may calculate d dx dt
8 8 APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS = c k k=1 j k dxf c k 1 k ( u k, x, t) (f k ( u k, x, t)) Next we itegrate by parts. There are o boudary terms, sice the fuctios all decay fast at ifiity. Please ote, that c k 1 may coceivably be egative, however, the combiatio f c k 1 k ( u k, x, t) (f k ( u k, x, t) still has fast decay at ifiity. Hece we get that = k,l=1,k l = + k=1 c k c l j k d dt dx [ m c k f j ( u j, x, t) c j dxf c k 1 k ( u k, x, t) j k,l c k (1 c k ) k=1 f c k 1 k j k ] (f k ( u k, x, t)) ( u k, x, t)f c l 1 ( u l, x, t)f k( u k, x, t)f l( u l, x, t)u k u l l f c k 2 k ( u k, x, t)f k( u k, x, t) 2 u k 2. As metioed before, for t > 0 the fuctios f j (, t) are all strictly positive ad it is coveiet to write f j (y, t) = e αj(y,t) ad dx = dµ(t). I this otatio, = d dt [ m α k( u k, x, t) 2 c k u k 2 k=1 dx ] α k( u k, x, t)α l( u l, x, t)c k c l u k u l dµ(t). (10) k,l=1 Now we shall show that the expressio i [ ] is oegative which amouts to showig that the symmetric matrix with elemets ci δ i,j c i u i u j c j = c i [ δi,j c i u i u j ] defies a o-egative quadratic form. This follows, oce we show that the symmetric matrix with elemets ci u i u j has eigevalues less tha oe. Let (y 1,..., y m ) be a eigevector. Thus ( m ) ci u i u j y j = λy i i = 1,..., m. (11) i=1 We may assume that the vector i x := u j y j 0 i=1
9 APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS 9 for otherwise λ = 0. Multiplyig (11) by c i u i ad summig over i yields c i u i u i x = λx i=1 ad sice m i=1 c iu i u i = I, λ = 1. hece the eigevalues are zero or oe ad the expressio (10) is o-egative. Thus the left side of (9) is a o decreasig fuctio alog the heat flow, while the right side stays of (9) stays put. Now we calculate lim dx. t A simple calculatio yields 1 dx = (4πt) 2 ad by scalig x 4πtx, = e π x 2 ( P m e c j u j,x 2 4t ( e π u j,x z t e z2 4t fj (z)dz) dx e u j,x z 2t e z2 4t fj (z)dz) dx A simple domiated covergece argumet shows that the limit as t is give by ( ( ) e π x 2 f j (z)dz) dx = f j (z)dz which proves the iequality. The proof of Theorem 1.3 is ow straightforward. We may assume that the set C has a Joh ellipsoid that is the Euclidea uit ball. Hece the set C is a subset of the set C H geerated by the itersectio of the half spaces u j, x 1, where u j are the vectors give i Fritz Joh s theorem. Sice we u j, u j is also amog those vectors we kow that C H is the give by the itersectio of the slabs The volume of this set is give by vol(c H ) = 1 u i, x 1. χ( u i, x )dx where χ is the characteristic fuctio of the iterval [ 1, 1]. By Theorem 3.1 we have that vol(c H ) = χ( u i, x ) c jdx ( χ(z)dz) c j = 2 P m c j = 2. Hece, vol(c) vol(e) 2 vol(b )
10 10 APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS where B, the uit ball, is the ellipsoid of largest volume cotaied i the cube of side legth 2.
Math Solutions to homework 6
Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there
More informationMath 451: Euclidean and Non-Euclidean Geometry MWF 3pm, Gasson 204 Homework 3 Solutions
Math 451: Euclidea ad No-Euclidea Geometry MWF 3pm, Gasso 204 Homework 3 Solutios Exercises from 1.4 ad 1.5 of the otes: 4.3, 4.10, 4.12, 4.14, 4.15, 5.3, 5.4, 5.5 Exercise 4.3. Explai why Hp, q) = {x
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationBrief Review of Functions of Several Variables
Brief Review of Fuctios of Several Variables Differetiatio Differetiatio Recall, a fuctio f : R R is differetiable at x R if ( ) ( ) lim f x f x 0 exists df ( x) Whe this limit exists we call it or f(
More informationb i u x i U a i j u x i u x j
M ath 5 2 7 Fall 2 0 0 9 L ecture 1 9 N ov. 1 6, 2 0 0 9 ) S ecod- Order Elliptic Equatios: Weak S olutios 1. Defiitios. I this ad the followig two lectures we will study the boudary value problem Here
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More informationPAPER : IIT-JAM 2010
MATHEMATICS-MA (CODE A) Q.-Q.5: Oly oe optio is correct for each questio. Each questio carries (+6) marks for correct aswer ad ( ) marks for icorrect aswer.. Which of the followig coditios does NOT esure
More informationAlgebra of Least Squares
October 19, 2018 Algebra of Least Squares Geometry of Least Squares Recall that out data is like a table [Y X] where Y collects observatios o the depedet variable Y ad X collects observatios o the k-dimesioal
More informationMath 220B Final Exam Solutions March 18, 2002
Math 0B Fial Exam Solutios March 18, 00 1. (1 poits) (a) (6 poits) Fid the Gree s fuctio for the tilted half-plae {(x 1, x ) R : x 1 + x > 0}. For x (x 1, x ), y (y 1, y ), express your Gree s fuctio G(x,
More informationUniversity of Colorado Denver Dept. Math. & Stat. Sciences Applied Analysis Preliminary Exam 13 January 2012, 10:00 am 2:00 pm. Good luck!
Uiversity of Colorado Dever Dept. Math. & Stat. Scieces Applied Aalysis Prelimiary Exam 13 Jauary 01, 10:00 am :00 pm Name: The proctor will let you read the followig coditios before the exam begis, ad
More informationSequences and Series of Functions
Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges
More information6.3 Testing Series With Positive Terms
6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial
More informationDefinition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.
4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More informationGeometry of LS. LECTURE 3 GEOMETRY OF LS, PROPERTIES OF σ 2, PARTITIONED REGRESSION, GOODNESS OF FIT
OCTOBER 7, 2016 LECTURE 3 GEOMETRY OF LS, PROPERTIES OF σ 2, PARTITIONED REGRESSION, GOODNESS OF FIT Geometry of LS We ca thik of y ad the colums of X as members of the -dimesioal Euclidea space R Oe ca
More informationLesson 10: Limits and Continuity
www.scimsacademy.com Lesso 10: Limits ad Cotiuity SCIMS Academy 1 Limit of a fuctio The cocept of limit of a fuctio is cetral to all other cocepts i calculus (like cotiuity, derivative, defiite itegrals
More informationINEQUALITIES BJORN POONEN
INEQUALITIES BJORN POONEN 1 The AM-GM iequality The most basic arithmetic mea-geometric mea (AM-GM) iequality states simply that if x ad y are oegative real umbers, the (x + y)/2 xy, with equality if ad
More informationMcGill University Math 354: Honors Analysis 3 Fall 2012 Solutions to selected problems
McGill Uiversity Math 354: Hoors Aalysis 3 Fall 212 Assigmet 3 Solutios to selected problems Problem 1. Lipschitz fuctios. Let Lip K be the set of all fuctios cotiuous fuctios o [, 1] satisfyig a Lipschitz
More informationSingular Continuous Measures by Michael Pejic 5/14/10
Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable
More informationHomework 2. Show that if h is a bounded sesquilinear form on the Hilbert spaces X and Y, then h has the representation
omework 2 1 Let X ad Y be ilbert spaces over C The a sesquiliear form h o X Y is a mappig h : X Y C such that for all x 1, x 2, x X, y 1, y 2, y Y ad all scalars α, β C we have (a) h(x 1 + x 2, y) h(x
More informationReal Numbers R ) - LUB(B) may or may not belong to B. (Ex; B= { y: y = 1 x, - Note that A B LUB( A) LUB( B)
Real Numbers The least upper boud - Let B be ay subset of R B is bouded above if there is a k R such that x k for all x B - A real umber, k R is a uique least upper boud of B, ie k = LUB(B), if () k is
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationIntegrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number
MATH 532 Itegrable Fuctios Dr. Neal, WKU We ow shall defie what it meas for a measurable fuctio to be itegrable, show that all itegral properties of simple fuctios still hold, ad the give some coditios
More informationCHAPTER 5. Theory and Solution Using Matrix Techniques
A SERIES OF CLASS NOTES FOR 2005-2006 TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS DE CLASS NOTES 3 A COLLECTION OF HANDOUTS ON SYSTEMS OF ORDINARY DIFFERENTIAL
More informationLecture 3 The Lebesgue Integral
Lecture 3: The Lebesgue Itegral 1 of 14 Course: Theory of Probability I Term: Fall 2013 Istructor: Gorda Zitkovic Lecture 3 The Lebesgue Itegral The costructio of the itegral Uless expressly specified
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
More informationRecitation 4: Lagrange Multipliers and Integration
Math 1c TA: Padraic Bartlett Recitatio 4: Lagrage Multipliers ad Itegratio Week 4 Caltech 211 1 Radom Questio Hey! So, this radom questio is pretty tightly tied to today s lecture ad the cocept of cotet
More informationIntroduction to Optimization Techniques
Itroductio to Optimizatio Techiques Basic Cocepts of Aalysis - Real Aalysis, Fuctioal Aalysis 1 Basic Cocepts of Aalysis Liear Vector Spaces Defiitio: A vector space X is a set of elemets called vectors
More informationMath 113, Calculus II Winter 2007 Final Exam Solutions
Math, Calculus II Witer 7 Fial Exam Solutios (5 poits) Use the limit defiitio of the defiite itegral ad the sum formulas to compute x x + dx The check your aswer usig the Evaluatio Theorem Solutio: I this
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationMa 530 Infinite Series I
Ma 50 Ifiite Series I Please ote that i additio to the material below this lecture icorporated material from the Visual Calculus web site. The material o sequeces is at Visual Sequeces. (To use this li
More informationProblem Cosider the curve give parametrically as x = si t ad y = + cos t for» t» ß: (a) Describe the path this traverses: Where does it start (whe t =
Mathematics Summer Wilso Fial Exam August 8, ANSWERS Problem 1 (a) Fid the solutio to y +x y = e x x that satisfies y() = 5 : This is already i the form we used for a first order liear differetial equatio,
More information5.1. The Rayleigh s quotient. Definition 49. Let A = A be a self-adjoint matrix. quotient is the function. R(x) = x,ax, for x = 0.
40 RODICA D. COSTIN 5. The Rayleigh s priciple ad the i priciple for the eigevalues of a self-adjoit matrix Eigevalues of self-adjoit matrices are easy to calculate. This sectio shows how this is doe usig
More informationLecture 19. sup y 1,..., yn B d n
STAT 06A: Polyomials of adom Variables Lecture date: Nov Lecture 19 Grothedieck s Iequality Scribe: Be Hough The scribes are based o a guest lecture by ya O Doell. I this lecture we prove Grothedieck s
More informationMachine Learning for Data Science (CS 4786)
Machie Learig for Data Sciece CS 4786) Lecture & 3: Pricipal Compoet Aalysis The text i black outlies high level ideas. The text i blue provides simple mathematical details to derive or get to the algorithm
More informationChapter 6 Infinite Series
Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat
More informationPRACTICE FINAL/STUDY GUIDE SOLUTIONS
Last edited December 9, 03 at 4:33pm) Feel free to sed me ay feedback, icludig commets, typos, ad mathematical errors Problem Give the precise meaig of the followig statemets i) a f) L ii) a + f) L iii)
More informations = and t = with C ij = A i B j F. (i) Note that cs = M and so ca i µ(a i ) I E (cs) = = c a i µ(a i ) = ci E (s). (ii) Note that s + t = M and so
3 From the otes we see that the parts of Theorem 4. that cocer us are: Let s ad t be two simple o-egative F-measurable fuctios o X, F, µ ad E, F F. The i I E cs ci E s for all c R, ii I E s + t I E s +
More informationMa 4121: Introduction to Lebesgue Integration Solutions to Homework Assignment 5
Ma 42: Itroductio to Lebesgue Itegratio Solutios to Homework Assigmet 5 Prof. Wickerhauser Due Thursday, April th, 23 Please retur your solutios to the istructor by the ed of class o the due date. You
More informationPRELIM PROBLEM SOLUTIONS
PRELIM PROBLEM SOLUTIONS THE GRAD STUDENTS + KEN Cotets. Complex Aalysis Practice Problems 2. 2. Real Aalysis Practice Problems 2. 4 3. Algebra Practice Problems 2. 8. Complex Aalysis Practice Problems
More informationAn Extremal Property of the Regular Simplex
Covex Geometric Aalysis MSRI Publicatios Volume 34, 1998 A Extremal Property of the Regular Simplex MICHAEL SCHMUCKENSCHLÄGER Abstract. If C is a covex body i R such that the ellipsoid of miimal volume
More informationHomework Set #3 - Solutions
EE 15 - Applicatios of Covex Optimizatio i Sigal Processig ad Commuicatios Dr. Adre Tkaceko JPL Third Term 11-1 Homework Set #3 - Solutios 1. a) Note that x is closer to x tha to x l i the Euclidea orm
More informationNBHM QUESTION 2007 Section 1 : Algebra Q1. Let G be a group of order n. Which of the following conditions imply that G is abelian?
NBHM QUESTION 7 NBHM QUESTION 7 NBHM QUESTION 7 Sectio : Algebra Q Let G be a group of order Which of the followig coditios imply that G is abelia? 5 36 Q Which of the followig subgroups are ecesarily
More information2 Banach spaces and Hilbert spaces
2 Baach spaces ad Hilbert spaces Tryig to do aalysis i the ratioal umbers is difficult for example cosider the set {x Q : x 2 2}. This set is o-empty ad bouded above but does ot have a least upper boud
More informationMath 220A Fall 2007 Homework #2. Will Garner A
Math 0A Fall 007 Homewor # Will Garer Pg 3 #: Show that {cis : a o-egative iteger} is dese i T = {z œ : z = }. For which values of q is {cis(q): a o-egative iteger} dese i T? To show that {cis : a o-egative
More informationApply change-of-basis formula to rewrite x as a linear combination of eigenvectors v j.
Eigevalue-Eigevector Istructor: Nam Su Wag eigemcd Ay vector i real Euclidea space of dimesio ca be uiquely epressed as a liear combiatio of liearly idepedet vectors (ie, basis) g j, j,,, α g α g α g α
More informationMeasure and Measurable Functions
3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies
More informationlim za n n = z lim a n n.
Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More informationn 3 ln n n ln n is convergent by p-series for p = 2 > 1. n2 Therefore we can apply Limit Comparison Test to determine lutely convergent.
06 微甲 0-04 06-0 班期中考解答和評分標準. ( poits) Determie whether the series is absolutely coverget, coditioally coverget, or diverget. Please state the tests which you use. (a) ( poits) (b) ( poits) (c) ( poits)
More informationSequences and Limits
Chapter Sequeces ad Limits Let { a } be a sequece of real or complex umbers A ecessary ad sufficiet coditio for the sequece to coverge is that for ay ɛ > 0 there exists a iteger N > 0 such that a p a q
More information( ) (( ) ) ANSWERS TO EXERCISES IN APPENDIX B. Section B.1 VECTORS AND SETS. Exercise B.1-1: Convex sets. are convex, , hence. and. (a) Let.
Joh Riley 8 Jue 03 ANSWERS TO EXERCISES IN APPENDIX B Sectio B VECTORS AND SETS Exercise B-: Covex sets (a) Let 0 x, x X, X, hece 0 x, x X ad 0 x, x X Sice X ad X are covex, x X ad x X The x X X, which
More informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics ad Egieerig Lecture otes Sergei V. Shabaov Departmet of Mathematics, Uiversity of Florida, Gaiesville, FL 326 USA CHAPTER The theory of covergece. Numerical sequeces..
More informationThe Growth of Functions. Theoretical Supplement
The Growth of Fuctios Theoretical Supplemet The Triagle Iequality The triagle iequality is a algebraic tool that is ofte useful i maipulatig absolute values of fuctios. The triagle iequality says that
More information1 Introduction. 1.1 Notation and Terminology
1 Itroductio You have already leared some cocepts of calculus such as limit of a sequece, limit, cotiuity, derivative, ad itegral of a fuctio etc. Real Aalysis studies them more rigorously usig a laguage
More informationMATH 10550, EXAM 3 SOLUTIONS
MATH 155, EXAM 3 SOLUTIONS 1. I fidig a approximate solutio to the equatio x 3 +x 4 = usig Newto s method with iitial approximatio x 1 = 1, what is x? Solutio. Recall that x +1 = x f(x ) f (x ). Hece,
More informationDefinitions and Theorems. where x are the decision variables. c, b, and a are constant coefficients.
Defiitios ad Theorems Remember the scalar form of the liear programmig problem, Miimize, Subject to, f(x) = c i x i a 1i x i = b 1 a mi x i = b m x i 0 i = 1,2,, where x are the decisio variables. c, b,
More informationChapter 3. Strong convergence. 3.1 Definition of almost sure convergence
Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i
More informationIt is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.
MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied
More information1 lim. f(x) sin(nx)dx = 0. n sin(nx)dx
Problem A. Calculate ta(.) to 4 decimal places. Solutio: The power series for si(x)/ cos(x) is x + x 3 /3 + (2/5)x 5 +. Puttig x =. gives ta(.) =.3. Problem 2A. Let f : R R be a cotiuous fuctio. Show that
More informationSolution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1
Solutio Sagchul Lee October 7, 017 1 Solutios of Homework 1 Problem 1.1 Let Ω,F,P) be a probability space. Show that if {A : N} F such that A := lim A exists, the PA) = lim PA ). Proof. Usig the cotiuity
More informationMATH 31B: MIDTERM 2 REVIEW
MATH 3B: MIDTERM REVIEW JOE HUGHES. Evaluate x (x ) (x 3).. Partial Fractios Solutio: The umerator has degree less tha the deomiator, so we ca use partial fractios. Write x (x ) (x 3) = A x + A (x ) +
More information10-701/ Machine Learning Mid-term Exam Solution
0-70/5-78 Machie Learig Mid-term Exam Solutio Your Name: Your Adrew ID: True or False (Give oe setece explaatio) (20%). (F) For a cotiuous radom variable x ad its probability distributio fuctio p(x), it
More information8. Applications To Linear Differential Equations
8. Applicatios To Liear Differetial Equatios 8.. Itroductio 8.. Review Of Results Cocerig Liear Differetial Equatios Of First Ad Secod Orders 8.3. Eercises 8.4. Liear Differetial Equatios Of Order N 8.5.
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
More informationSolutions to HW Assignment 1
Solutios to HW: 1 Course: Theory of Probability II Page: 1 of 6 Uiversity of Texas at Austi Solutios to HW Assigmet 1 Problem 1.1. Let Ω, F, {F } 0, P) be a filtered probability space ad T a stoppig time.
More informationChapter 3 Inner Product Spaces. Hilbert Spaces
Chapter 3 Ier Product Spaces. Hilbert Spaces 3. Ier Product Spaces. Hilbert Spaces 3.- Defiitio. A ier product space is a vector space X with a ier product defied o X. A Hilbert space is a complete ier
More informationSimple Polygons of Maximum Perimeter Contained in a Unit Disk
Discrete Comput Geom (009) 1: 08 15 DOI 10.1007/s005-008-9093-7 Simple Polygos of Maximum Perimeter Cotaied i a Uit Disk Charles Audet Pierre Hase Frédéric Messie Received: 18 September 007 / Revised:
More informationMathematical Foundations -1- Sets and Sequences. Sets and Sequences
Mathematical Foudatios -1- Sets ad Sequeces Sets ad Sequeces Methods of proof 2 Sets ad vectors 13 Plaes ad hyperplaes 18 Liearly idepedet vectors, vector spaces 2 Covex combiatios of vectors 21 eighborhoods,
More informationAnalytic Continuation
Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for
More informationLecture 3 : Random variables and their distributions
Lecture 3 : Radom variables ad their distributios 3.1 Radom variables Let (Ω, F) ad (S, S) be two measurable spaces. A map X : Ω S is measurable or a radom variable (deoted r.v.) if X 1 (A) {ω : X(ω) A}
More informationPart A, for both Section 200 and Section 501
Istructios Please write your solutios o your ow paper. These problems should be treated as essay questios. A problem that says give a example or determie requires a supportig explaatio. I all problems,
More informationMAS111 Convergence and Continuity
MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece
More informationMa 530 Introduction to Power Series
Ma 530 Itroductio to Power Series Please ote that there is material o power series at Visual Calculus. Some of this material was used as part of the presetatio of the topics that follow. What is a Power
More informationFundamental Theorem of Algebra. Yvonne Lai March 2010
Fudametal Theorem of Algebra Yvoe Lai March 010 We prove the Fudametal Theorem of Algebra: Fudametal Theorem of Algebra. Let f be a o-costat polyomial with real coefficiets. The f has at least oe complex
More informationMath 155 (Lecture 3)
Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,
More informationIntroduction to Functional Analysis
MIT OpeCourseWare http://ocw.mit.edu 18.10 Itroductio to Fuctioal Aalysis Sprig 009 For iformatio about citig these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. LECTURE OTES FOR 18.10,
More informationTheorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover.
Compactess Defiitio 1. A cover or a coverig of a topological space X is a family C of subsets of X whose uio is X. A subcover of a cover C is a subfamily of C which is a cover of X. A ope cover of X is
More informationLecture Outline. 2 Separating Hyperplanes. 3 Banach Mazur Distance An Algorithmist s Toolkit October 22, 2009
18.409 A Algorithist s Toolkit October, 009 Lecture 1 Lecturer: Joatha Keler Scribes: Alex Levi (009) 1 Outlie Today we ll go over soe of the details fro last class ad ake precise ay details that were
More informationMachine Learning for Data Science (CS 4786)
Machie Learig for Data Sciece CS 4786) Lecture 9: Pricipal Compoet Aalysis The text i black outlies mai ideas to retai from the lecture. The text i blue give a deeper uderstadig of how we derive or get
More informationANSWERS TO MIDTERM EXAM # 2
MATH 03, FALL 003 ANSWERS TO MIDTERM EXAM # PENN STATE UNIVERSITY Problem 1 (18 pts). State ad prove the Itermediate Value Theorem. Solutio See class otes or Theorem 5.6.1 from our textbook. Problem (18
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More information2.4 Sequences, Sequences of Sets
72 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.4 Sequeces, Sequeces of Sets 2.4.1 Sequeces Defiitio 2.4.1 (sequece Let S R. 1. A sequece i S is a fuctio f : K S where K = { N : 0 for some 0 N}. 2. For each
More informationMinimal surface area position of a convex body is not always an M-position
Miimal surface area positio of a covex body is ot always a M-positio Christos Saroglou Abstract Milma proved that there exists a absolute costat C > 0 such that, for every covex body i R there exists a
More informationChapter 7 Isoperimetric problem
Chapter 7 Isoperimetric problem Recall that the isoperimetric problem (see the itroductio its coectio with ido s proble) is oe of the most classical problem of a shape optimizatio. It ca be formulated
More informationChapter 1. Complex Numbers. Dr. Pulak Sahoo
Chapter 1 Complex Numbers BY Dr. Pulak Sahoo Assistat Professor Departmet of Mathematics Uiversity Of Kalyai West Begal, Idia E-mail : sahoopulak1@gmail.com 1 Module-2: Stereographic Projectio 1 Euler
More informationSeveral properties of new ellipsoids
Appl. Math. Mech. -Egl. Ed. 008 9(7):967 973 DOI 10.1007/s10483-008-0716-y c Shaghai Uiversity ad Spriger-Verlag 008 Applied Mathematics ad Mechaics (Eglish Editio) Several properties of ew ellipsoids
More informationEnumerative & Asymptotic Combinatorics
C50 Eumerative & Asymptotic Combiatorics Stirlig ad Lagrage Sprig 2003 This sectio of the otes cotais proofs of Stirlig s formula ad the Lagrage Iversio Formula. Stirlig s formula Theorem 1 (Stirlig s
More information4x 2. (n+1) x 3 n+1. = lim. 4x 2 n+1 n3 n. n 4x 2 = lim = 3
Exam Problems (x. Give the series (, fid the values of x for which this power series coverges. Also =0 state clearly what the radius of covergece is. We start by settig up the Ratio Test: x ( x x ( x x
More information6. Kalman filter implementation for linear algebraic equations. Karhunen-Loeve decomposition
6. Kalma filter implemetatio for liear algebraic equatios. Karhue-Loeve decompositio 6.1. Solvable liear algebraic systems. Probabilistic iterpretatio. Let A be a quadratic matrix (ot obligatory osigular.
More informationRegn. No. North Delhi : 33-35, Mall Road, G.T.B. Nagar (Opp. Metro Gate No. 3), Delhi-09, Ph: ,
. Sectio-A cotais 30 Multiple Choice Questios (MCQ). Each questio has 4 choices (a), (b), (c) ad (d), for its aswer, out of which ONLY ONE is correct. From Q. to Q.0 carries Marks ad Q. to Q.30 carries
More informationTR/46 OCTOBER THE ZEROS OF PARTIAL SUMS OF A MACLAURIN EXPANSION A. TALBOT
TR/46 OCTOBER 974 THE ZEROS OF PARTIAL SUMS OF A MACLAURIN EXPANSION by A. TALBOT .. Itroductio. A problem i approximatio theory o which I have recetly worked [] required for its solutio a proof that the
More information1 1 2 = show that: over variables x and y. [2 marks] Write down necessary conditions involving first and second-order partial derivatives for ( x0, y
Questio (a) A square matrix A= A is called positive defiite if the quadratic form waw > 0 for every o-zero vector w [Note: Here (.) deotes the traspose of a matrix or a vector]. Let 0 A = 0 = show that:
More informationMIDTERM 3 CALCULUS 2. Monday, December 3, :15 PM to 6:45 PM. Name PRACTICE EXAM SOLUTIONS
MIDTERM 3 CALCULUS MATH 300 FALL 08 Moday, December 3, 08 5:5 PM to 6:45 PM Name PRACTICE EXAM S Please aswer all of the questios, ad show your work. You must explai your aswers to get credit. You will
More informationINFINITE SEQUENCES AND SERIES
INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES I geeral, it is difficult to fid the exact sum of a series. We were able to accomplish this for geometric series ad the series /[(+)]. This is
More informationComplex Analysis Spring 2001 Homework I Solution
Complex Aalysis Sprig 2001 Homework I Solutio 1. Coway, Chapter 1, sectio 3, problem 3. Describe the set of poits satisfyig the equatio z a z + a = 2c, where c > 0 ad a R. To begi, we see from the triagle
More informationBoundaries and the James theorem
Boudaries ad the James theorem L. Vesely 1. Itroductio The followig theorem is importat ad well kow. All spaces cosidered here are real ormed or Baach spaces. Give a ormed space X, we deote by B X ad S
More informationA NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS
Acta Math. Hugar., 2007 DOI: 10.1007/s10474-007-7013-6 A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS L. L. STACHÓ ad L. I. SZABÓ Bolyai Istitute, Uiversity of Szeged, Aradi vértaúk tere 1, H-6720
More informationMA131 - Analysis 1. Workbook 3 Sequences II
MA3 - Aalysis Workbook 3 Sequeces II Autum 2004 Cotets 2.8 Coverget Sequeces........................ 2.9 Algebra of Limits......................... 2 2.0 Further Useful Results........................
More information