Integral Geometry and Algebraic Structures for Tensor Valuations

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "Integral Geometry and Algebraic Structures for Tensor Valuations"

Transcription

1 Itegral Geometry ad Algebraic Structures for Tesor Valuatios Adreas Berig ad Daiel Hug Abstract I this survey, we cosider various itegral geometric formulas for tesorvalued valuatios that have bee obtaied by differet methods. Furthermore we explai i a iformal way recetly itroduced algebraic structures o the space of traslatio ivariat, smooth tesor valuatios, icludig covolutio, product, Poicaré duality ad Aleser-Fourier trasform, ad their relatio to iematic formulas for tesor valuatios. I particular, we describe how the algebraic viewpoit leads to ew itersectioal iematic formulas ad substatially simplified Crofto formulas for traslatio ivariat tesor valuatios. We also highlight the coectio to geeral itegral geometric formulas for area measures. 1 Itroductio A importat part of itegral geometry is devoted to the ivestigatio of itegrals (mea values of the form ϕ(k gl µ(dg, G where K, L R are sets from a suitable itersectio stable class of sets, G is a group actig o R ad thus o its subsets, µ is a Haar measure o G, ad ϕ is a fuctioal with values i some vector space W. Commo choices for W are the reals or the space of siged Rado measures. Istead of the itersectio, Miowsi additio is aother atural choice for a set operatio which has bee studied. The priciple aim the is to express such itegrals by meas of basic geometric fuctioals of K Adreas Berig Istitut für Mathemati, Goethe-Uiversität Frafurt, Robert-Mayer-Str. 10, Frafurt, Germay, Daiel Hug Karlsruhe Istitute of Techology (KIT, Departmet of Mathematics, D-7618 Karlsruhe, Germay, 59

2 60 Adreas Berig ad Daiel Hug ad L. Depedig o the specific framewor, such as the class of sets or the type of fuctioal uder cosideratio, differet methods have bee developed to establish itegral geometric formulas, ragig from classical covexity, differetial geometry, geometric measure theory to the theory of valuatios. The iterplay betwee the theory of valuatios ad itegral geometry, although a classical topic i covexity, has bee expaded ad deepeed cosiderably i recet years. I the preset survey, we explore the itegral geometry of tesor-valued fuctioals. This study suggests ad requires geeralizatios i the theory of valuatios which are of idepedet iterest. Therefore, we describe how some algebraic operatios ow for smooth traslatio ivariat scalar-valued valuatios (product, covolutio, Aleser-Fourier trasform ca be exteded to smooth traslatio ivariat tesor-valued valuatios. Although these extesios are straightforward to defie, they ecode various itegral geometric formulas for tesor valuatios, lie Crofto-type formulas, rotatio sum formulas (also called additive iematic formulas ad itersectioal iematic formulas. Eve i the easiest case of traslatio ivariat ad O(-covariat tesor valuatios, explicit formulas are hard to obtai by classical methods. With the preset algebraic approach, we are able to simplify the costats i Crofto-type formulas for tesor valuatios, ad to formulate a ew type of itersectioal iematic formulas for tesor valuatios. For the latter we show how such formulas ca be explicitly calculated i the O(-covariat case. As a importat byproduct, we compute the Aleser-Fourier trasform o a certai class of smooth valuatios, called spherical valuatios. This result is of idepedet iterest ad is the techical heart of the computatio of the product of tesor valuatios. Tesor Valuatios The preset chapter is based o the geeral itroductio to valuatios i Chap. 1 ad o the descriptio ad structural aalysis of tesor valuatios cotaied i Chap.. The algebraic framewor for the ivestigatio of scalar valuatios, which has already proved to be very useful i itegral geometry, is outlied i Chap. 4. I these chapters relevat bacgroud iformatio is provided, icludig refereces to previous wor, motivatio ad hits to applicatios. The latter are also discussed i other parts of this volume, especially i Chaps. 10, 1 ad 13. Let us fix our otatio ad recall some basic structural facts. We will write V for a fiite-dimesioal real vector space. Sometimes we fix a Euclidea structure o V, which allows us to idetify V with Euclidea space R. The space of compact covex sets (icludig the empty set is deoted by K (V (or K if V = R. The vector space of traslatio ivariat, cotiuous scalar valuatios is deoted by Val(V (or simply by Val if the vector space V is clear from the cotext. The smooth valuatios i Val(V costitute a importat subspace for which we write Val (V ; see Defiitio 4.5 ad Remar??, Defiitio 5.5 ad Propositio 5.8, ad Sectio 6.3. There is a atural decompositio of Val(V (ad the also of Val (V

3 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 61 ito subspaces of differet parity ad differet degrees of homogeeity, hece if V has dimesio, ad similarly Val(V = Val ε m(v, m=0 ε=± Val (V = m=0 ε=± Val ε, m (V ; see Sects. 1.4, 4.1 ad Theorem 5.1. Our mai focus will be o valuatios with values i the space of symmetric tesors of a give ra p N 0, for which we write Sym p R or simply Sym p if the uderlyig vector space is clear from the cotext (resp., Sym p V i case of a geeral vector space V. Here we deviate from the otatio T p used i Chaps. 1 ad. The spaces of symmetric tesors of differet ras ca be combied to form a graded algebra i the usual way. By a tesor valuatio we mea a valuatio o K (V with values i the vector space of tesors of a fixed ra, say Sym p (V. For the space of traslatio ivariat, cotiuous tesor valuatios with values i Sym p (V we write TVal p (V ; cf. the otatio i Chapters 4, 6 ad Defiitio This vector space ca be idetified with Val(V Sym p (V (or Val Sym p, for short. If we restrict to smooth tesor valuatios, we add the superscript, that is TVal p, (V. It is clear that McMulle s decompositio exteds to tesor valuatios, hece TVal p (V = m=0 ε=± TVal p,ε m (V, if dim(v =. The correspodig decompositio is also available for smooth tesorvalued valuatios or valuatios covariat (or ivariat with respect to a compact subgroup G of the orthogoal group which acts trasitively o the uit sphere. The vector spaces of tesor valuatios satisfyig a additioal covariace coditio with respect to such a group G is fiite-dimesioal ad cosists of smooth valuatios oly (cf. Example 4.6 ad Theorem I the followig, we will oly cosider rotatio covariat valuatios (see Chapter..1 Examples of Tesor Valuatios I the followig, we maily cosider traslatio ivariat tesor valuatios. However, we start with recallig geeral Miowsi tesors, which are traslatio covariat but ot ecessarily traslatio ivariat. For Miowsi tesors, ad hece for all isometry covariat cotiuous tesor valuatios, we first state a geeral Crofto

4 6 Adreas Berig ad Daiel Hug formula. The maor part of this cotributio is the devoted to traslatio ivariat, rotatio covariat, cotiuous tesor valuatios. I this framewor, we explai how algebraic structures ca be itroduced ad how they are related to Crofto formulas as well as to additive ad itersectioal iematic formulas. Crofto formulas for tesor-valued curvature measures are the subect of Chap.??. For {0,..., 1} ad K K, let Λ 0 (K,,..., Λ 1 (K, deote the support measures associated with K (see Sect They are Borel measures o Σ := R S 1 which are cocetrated o the ormal budle c K of K. Let κ deote the volume of the uit ball ad ω = κ the volume of its boudary, the uit sphere. Usig the support measures, we recall from Sects. 1.3 or.1 that the Miowsi tesors are defied by Φ r,s 1 (K := r!s! ω ω +s for {0,..., 1} ad r, s N 0, ad Φ r,0 (K := 1 x r dx. r! K Σ xr u s Λ (K, d(x, u, I additio, we defie Φ r,s := 0 for all other choices of idices. Clearly, the tesor valuatios Φ 0,s ad Φ 0,0, which are obtaied by choosig r = 0, are traslatio ivariat. However, these are ot the oly traslatio ivariat examples, sice e.g., for {1,..., }, also satisfies Φ1,1 1 (K + t = Φ1,1 1 (K for all K K ad t R. Further examples of cotiuous, isometry covariat tesor valuatios are obtaied by multiplyig the Miowsi tesors with powers of the metric tesor Q ad by taig liear combiatios. As show by Aleser [1, ], o other examples exist (see also Theorem.5. I the followig, we write Φ 1,1 1 Φ s (K : = Φ0,s (K = 1 ω s! ω us Λ (K, d(x, u +s Σ ( 1 1 = ω +s s! us S (K, du, S 1 for {0,..., 1}, where we used the th area measure S (K, of K, a Borel measure o S 1 defied by S (K, := κ ( Λ (K, R. I additio, we defie Φ 0 := V ad Φ s := 0 for s > 0. The ormalizatio is such that Φ 0 = V, for {0,..., }, where V is the th itrisic volume. Clearly, the tesor valuatios Q i Φ s, for {0,..., } ad i, s N 0, are cotiuous, traslatio ivariat, O(-covariat, homogeeous of degree ad have tesor ra i + s. We have Φ s 0 for s 0, ad Φ0 s (K is idepedet of K. Hece, we usually

5 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 63 exclude these trivial cases. Apart from these, Aleser showed that for each fixed {1,..., 1} the valuatios Q i Φ s, i, s N 0, i + s = p, s 1, form a basis of the vector space of all cotiuous, traslatio ivariat, O(-covariat tesor valuatios of ra p which are homogeeous of degree. The fact that these valuatios spa the correspodig vector space is implied by [1, Prop. 4.9] (ad [], the proof is based i particular o basic represetatio theory. A result of Weil [17, Thm. 3.5] states that differeces of area measure of order, for ay fixed {1,..., d 1}, are dese i the vector space of differeces of fiite, cetered Borel measures o the uit sphere. From this the asserted liear idepedece of the tesor valuatios ca be iferred. We also refer to Sect. 6.5 where the preset case is discussed as a example of a very geeral represetatio theoretic theorem. The situatio for geeral tesor valuatios (which are ot ecessarily traslatio ivariat is more complicated. As explaied i Chap., the valuatios Q i Φ r,s spa the correspodig vector space, but there exist liear depedeces betwee these fuctioals. Although all liear relatios are ow ad the dimesio of the correspodig vector space (for fixed ra ad degree of homogeeity has bee determied, the situatio here is ot perfectly uderstood. I the followig, it will ofte (but ot always be sufficiet to eglect the metric tesor powers Q i ad ust cosider the tesor valuatios Φ s, sice the metric tesor commutes with the algebraic operatios to be cosidered.. Itegral Geometric Formulas Let A(,, for {0,..., }, deote the affie Grassmaia of -flats i R, ad let µ deote the motio ivariat measure o A(, ormalized as i [13, 14]. The Crofto formulas to be discussed below relate the itegral mea Φ r,s (K E µ (de A(, of the tesor valuatio Φ r,s (K E of the itersectio of K with flats E A(, to tesor valuatios of K. Guessig from the scalar case, oe would expect that oly tesor valuatios of the form Q i Φ r,s + (K are required. It turs out, however, that for geeral r the situatio is more ivolved. The followig Crofto formulas for Miowsi tesors have bee established i [7]. Sice Φ r,s (K E = 0 if <, we oly have to cosider the cases where. We start with the basic case =, i which the Crofto formula has a particularly simple form. Theorem.1. For K K, r, s N 0 ad 0 1,

6 64 Adreas Berig ad Daiel Hug α Φ r,s,,s (K E µ Q s Φ r,0 (K, if s is eve, (de = A(, 0, if s is odd, where 1 Γ ( ( α,,s := (4π s ( s Γ +s! Γ ( ( +s Γ. This result essetially follows from Fubii s theorem, combied with a relatio due to McMulle, which coects the Miowsi tesors of K E ad the Miowsi tesors of K E, defied with respect to the flat E as the ambiet space (see (4 for a precise statemet. The mai case < is cosidered i the ext theorem. Theorem.. Let K K ad,, r, s N 0 with 0 < 1. The Φ r,s (K E µ (de A(, = s χ (1,,,s,z Qz Φ r,s z z=0 + (K + s 1 z=0 χ (,,,s,z Qz s z 1 ( πlφ r+s z l,l + s+z+l (K QΦr+s z l,l + s+z+l (K, (1 l=0 where χ (1,,,s,z ad χ(,,,s,z are explicitly ow costats. The costats χ (1,,,s,z ad χ(,,,s,z oly deped o the idicated lower idices. It is remarable that they are idepedet of r. Moreover, the right-had side of this Crofto formula also ivolves other tesor valuatios tha Φ r,s + (K. For istace, i the special case where = 3, =, = 0, r = 1 ad s =, Theorem. yields that Φ 1, 0 (K E µ (de = 1 3 Φ1, 1 (K + 1 4π QΦ1,0 1 (K Φ,1 0 (K. A(3, It ca be show that it is ot possible to write Φ,1 0 as a liear combiatio of Φ 1, 1 ad QΦ 1,0 1, which are the oly other Miowsi tesors of ra 3 ad homogeeity degree. The explicit expressios obtaied for the costats χ (1,,,s,z ad χ(,,,s,z i [7] require a multiple (five-fold summatio over products ad ratios of biomial coefficiets ad Gamma fuctios. Some progress which ca be made i simplifyig this represetatio is described i Chap.??. Sice the tesor valuatios o the right-had side of the Crofto formula (1 are ot liearly idepedet, the specific represetatio is ot uique. Usig the liear relatio due to McMulle, the result ca also be expressed i the form

7 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 65 Φ r,s (K E µ (de A(, = s χ (1,,,s,z Qz Φ r,s z z=0 l s z + (K + s 1 z=0 χ (,,,s,z Qz ( QΦ r+s z l,l + s+z+l (K πlφr+s z l,l + s+z+l (K with the same costats as before. From ( we ow deduce the Crofto formula for the traslatio ivariat tesor valuatios Φ s. For r = 0, the sum l s z o the right-had side of ( is o-zero oly if l = s z. Therefore, after some idex shift (ad discussio of the boudary cases z = 0 ad z = s, we obtai for <, where A(, s Φ s (K E µ (de = χ (,,,s,z Qz Φ+ s z (K (3 z=0 χ (,,,s,z = χ(1,,,s,z + χ(,,,s,z 1 π(s zχ(,,,s,z. Sice the right-had side of (3 is uiquely determied by the left-had side ad the tesor valuatios o the right-had side are liearly idepedet, the costat χ (,,,s,z is uiquely determied. Usig the expressio which is obtaied for χ(,,,s,z from the costats χ (1,,,s,z ad χ(,,,s,z provided i [7], it seems to be a formidable tas to get a reasoably simple expressio for this costat. If =, the Theorem.1 shows that (3 remais true if we defie χ,,,s, s := α,,s if s is eve, ad as zero i all other cases. As we will see, the approach of algebraic itegral geometry to (3 will reveal that χ (,,,s,z has ideed a surprisigly simple expressio. To compare the algebraic approach with the oe used i [7], ad exteded to tesorial curvature measures i Chap.??, we poit out that the result of Theorem. is complemeted by ad i fact is based o a itrisic Crofto formula, where the tesor valuatio Φ r,s (K E is replaced by Φ r,s,e (K E. The latter is the tesor valuatio of the itersectio K E, determied with respect to E as the ambiet space but cosidered as a tesor i R (see Sectio?? or [7] for a explicit defiitio. The two tesors are coected by the relatio Φ r,s Q(E (K E = m m 0 (4π m m! Φr,s m,e (K E, (4 due to McMulle [11, Theorem 5.1] (see also [7], where Q(E is the metric tesor of the liear subspace orthogoal to the directio space of E but agai cosidered as a tesor i R, that is, Q(E = e e, where e +1,..., e is a orthoormal basis of E. Note that for s = 0 we get Φ r,0 (K E = Φ r,0,e (K E, sice the (

8 66 Adreas Berig ad Daiel Hug itrisic volumes ad the suitably ormalized curvature measures are idepedet of the ambiet space. The itrisic Crofto formula for Φ r,s,e (K E µ (de A(, has the same structure as the extrisic Crofto formula stated i Theorem., but the costats are differet. Apart from reducig the umber of summatios required for determiig the costats, progress i uderstadig the structure of these (itrisic ad extrisic itegral geometric formulas ca be made by localizig the Miowsi tesors. This is the topic of Chapter??. Crofto ad itersectioal iematic formulas for Miowsi tesors Φ r,s with s = 0 are special cases of correspodig (more geeral itegral geometric formulas for curvature measures. For example, we have ad A(, Φ r,0 (K E µ (de = a Φ r,0 + (K (5 Φ r,0 (K gm µ(dg = G a Φ r,0 + (KV (M, (6 = where G is the Euclidea motio group, µ is the suitably ormalized Haar measure ad the (simple costats a are ow explicitly. Therefore, we focus o the case s 0 (ad r = 0 i the followig. A close coectio betwee Crofto formulas ad itersectioal iematic formulas follows from Hadwiger s geeral itegral geometric theorem (see [14, Theorem 5.1.]. It states that for ay cotiuous valuatio ϕ o the space of covex bodies ad for all K, M K, we have G ϕ(k gm µ(dg = ϕ(k E µ (dev (M. (7 =0 A(, Hece, if a Crofto formula for the fuctioal ϕ is available, the a itersectioal iematic formula is a immediate cosequece. This statemet icludes also tesorvalued fuctioals, sice (7 ca be applied coordiate-wise. I particular, this shows that (6 ca be obtaied from (5. I the same way, Theorem. ad the special case show i (3 imply iematic formulas for itersectios of covex bodies, oe fixed the other movig. Thus, for istace, we obtai G Φ s (K gm µ(dg = s z=0 = χ (,,,s,z Qz Φ s z + (KV (M. (8 These results are related to ad i fact ispired geeral itegral geometric formulas for area measures (see [10]. The startig poit is a local versio of Hadwiger s geeral itegral geometric theorem for measure-valued valuatios. To state it, let

9 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 67 M + (S 1 be the coe of o-egative measures i the vector space M (S 1 of fiite Borel measures o the uit sphere. Theorem.3. Let ϕ : K M + (S 1 be a cotiuous ad additive mappig with ϕ(/0, = 0 (the zero measure. The, for K, M K ad Borel sets A S 1, G ϕ(k gm, A µ(dg = =0 [T, ϕ(k, ](AV (M, (9 with (the Crofto operator T, : M + (S 1 M + (S 1 give by T, ϕ(k, := A(, ϕ(k E, µ (de, = 0,...,. We wat to apply this result to area measures of covex bodies, hece we eed a Crofto formula for area measures. The statemet of such a Crofto formula is based o Fourier operators I p, for p { 1, 0, 1,..., }, which act o C fuctios o S 1. For f C (S 1, let f p be the extesio of f to R \ {0} which is homogeeous of degree + p, ad let ˆf p be the distributioal Fourier trasform of f p. For 0 < p <, the restrictio I p ( f of ˆf p to the uit sphere is agai a smooth fuctio. Let Hs deote the space of spherical harmoics of degree s. Recall that a spherical harmoic of degree s is the restrictio to the uit sphere of a homogeeous polyomial p of degree s o R which satisfies p = 0 (ad hece is called harmoic, where is the Laplace operator. We refer to [13] for more iformatio o spherical harmoics. Sice I p itertwies the group actio of SO(, we have I p ( f s = λ s (, p f s for f s Hs ad some λ s (, p C. It is ow that Γ ( s+p λ s (, p = π p i s Γ ( s+ p Note that λ s (, p is purely imagiary if s is odd, ad real if s is eve. See [10] for a summary of the mai properties of this Fourier operator ad [9, 8] for a detailed expositio. Usig the coectio to mea sectio bodies (see [8] ad the Fourier operators I p, the followig Crofto formula for area measures has bee established i [10, Theorem 3.1]. Theorem.4. Let 1 < ad K K. The S (K E, µ (de = a(,, I I S + ( K, (10 with A(, a(,, := π (+/ ( +. Γ ( +1 Γ ( Γ ( +1 Γ (. Let I be the reflectio operator (I f (u = f ( u, u S 1, for a fuctio f o the uit sphere. The operator T,, := a(,, I I I, for 1 <, ad

10 68 Adreas Berig ad Daiel Hug the idetity operator T,, act as liear operators o M (S 1 ad ca be used to express (10 i the form S (K E, µ (de = T,, S + (K,. (11 A(, This is also true for = < if we defie ( 1 1 ω T,, S (K, := V (Kσ, where σ is spherical Lebesgue measure. Combiig equatios (9 ad (11, we obtai a iematic formula for area measures. Usig agai the operator T,,, it ca be stated i the form G S (K gm, A µ(dg = = ω [T,, S + (K, ](AV (M, for = 1,..., 1. Sice the Fourier operators act as multiplier operators o spherical harmoics, it follows that Theorem.4 ca be rewritte i the form A(, s(u S (K E, du µ (de S 1 = a s (,, f s(u S + (K, du, S 1 (1 where f s H s ad a s (s,, := a(,, b s (,, with ( ( Γ s+ b s (,, := π Γ s+. Γ Γ ( s+ ( s+ + I additio to Crofto ad itersectioal iematic formulas, there is aother classical type of itegral geometric formula. Sice they ivolve rotatios ad Miowsi sums of covex bodies, it is ustified to call them rotatio sum formulas. Let SO( deote the group of rotatios ad let ν deote the Haar probability measure o this group. A geeral form of such a formula ca agai be stated for area measures. Let K, M K be covex bodies ad let α, β S 1 be Borel sets. The [13, Theorem 4.4.6] ca be writte i the form 1 α(u1 β (ρ 1 u S (K + ρm, du ν(dρ SO( S 1 = 1 ( ω S (K, αs (M, β. (13 =0 More geerally, by the iversio ivariace of the Haar measure ν, by basic measure theoretic extesio argumets, ad by a applicatio of (13 to the coordiate

11 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 69 fuctios of a arbitrary cotiuous fuctio f : S 1 S 1 Sym s 1 Sym s, for give s 1, s N 0, we obtai f (u, ρu S (K + ρ 1 M, du ν(dρ SO( S 1 = 1 ( ω =0 f (u, v ( S (K, S (M, (d(u, v. (S 1 To simplify costats, we defie Choosig f (u, v = u s 1 v s, we thus get SO( ad hece SO( φ s (K := S 1 us S (K, du. (14 (id s 1 ρ s φ s 1+s (K + ρ 1 M ν(dρ = SO( = 1 ω =0 us 1 (ρu s S (K + ρ 1 M, du ν(dρ S 1 ( (S 1 us 1 v s ( S (K, S (M, (d(u, v, (15 (id s 1 ρ s φ s 1+s (K + ρ 1 M ν(dρ = 1 ω =0 ( φ s 1 (K φ s (M. Up to the differet ormalizatio, this is the additive iematic formula for tesor valuatios stated i [6, Theorem 5]. I particular, SO( φ s (K + ρm ν(dρ = 1 ω =0 ( φ s (KS (M, where S i (M := S i (M, S 1 ( = κ 1Vi i i (M. I the followig sectio, we develop basic algebraic structures for tesor valuatios ad provide applicatios to itegral geometry. From this approach, we will obtai a Crofto formula for the tesor valuatios Φ s, but also for aother set of tesor valuatios, deoted by Ψ s, for which the Crofto formula has diagoal form. Moreover, we will study more geeral itersectioal iematic formulas tha the oe cosidered i (8 ad describe the coectio betwee itersectioal ad additive iematic formulas. I the course of our aalysis, we determie Aleser s Fourier operator for spherical valuatios, that is, valuatios obtaied by itegratio of a spherical harmoic (or, more geerally, ay smooth spherical fuctio agaist a area measure.

12 70 Adreas Berig ad Daiel Hug 3 Algebraic Structures o Tesor Valuatios Recall that Val = Val(R deotes the Baach space of traslatio ivariat cotiuous valuatios o V = R, ad Val = Val (R is the dese subspace of smooth valuatios; see Chapters 4 ad 5 for more iformatio. I this sectio, we first discuss the extesio of basic operatios ad trasformatios from scalar valuatios to tesor-valued valuatios. The scalar case is described i Chap. 4. I the followig, we usually wor i Euclidea space R with the Lebesgue measure ad the volume fuctioal V o covex bodies. Sice some of the results are also stated i ivariat terms, we write vol for a volume measure o V, that is, a choice of a traslatio ivariat locally fiite Haar measure o a -dimesioal vector space V. Of course, i case V = R we always use V as a specific choice of the restrictio of a volume measure vol to K (the correspodig choice is made for V = R R. 3.1 Product Existece ad uiqueess of the product of smooth valuatios is provided by the followig result; see also Sect. 4. for the more geeral costructio of a exterior product betwee smooth scalar-valued valuatios o possibly differet vector spaces. Propositio.5. Let φ 1, φ Val be smooth valuatios o R give by φ i (K = vol(k + A i, K K, where A 1, A K are smooth covex bodies with positive Gauss curvature at every boudary poit. Let : R R R be the diagoal embeddig. The φ 1 φ (K := vol( K + A 1 A, K K, exteds by cotiuity ad biliearity to a product o Val. The product is compatible with the degree of a valuatio (i.e., if φ i has degree i, the φ 1 φ has degree 1 + if 1 +, ad more geerally with the actio of the group GL(. We ca exted the product compoet-wise from smooth scalar-valued valuatios to smooth tesor-valued valuatios. To see this, let V be a fiite-dimesioal vector space, V = R say, ad s 1, s N 0. Let Φ i TVal s i, (V for i = 1,. Let w 1,..., w m be a basis of Sym s 1V, ad let u 1,..., u l be a basis of Sym s V. The there are φ i, ψ Val (V, i {1,..., m} ad {1,..., l}, such that Φ 1 (K = m i=1 φ i (Kw i ad Φ (K = l ψ (Ku =1

13 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 71 for K K (V. Now we would lie to defie (omittig the obvious rages of the idices (Φ 1 Φ (K := (φ i ψ (Kw i u. i, The dot o the right-had side is the product of the smooth valuatios φ i, ψ, ad w i u Sym s 1+s V deotes the symmetric tesor product of the symmetric tesors w i Sym s 1V ad u Sym s V. Let us verify that this defiitio is idepedet of the chose bases. For this, let w i = c i w with some ivertible matrix (c i, ad let u i = e i u with a ivertible matrix (e i. If Φ 1 (K = φ i (Kw i = φ i (Kw i, i i the a compariso of coefficiets yields that φ i = c i φ, where (c i deotes the matrix iverse. Similarly, from Φ (K = i ψ (Ku i = ψ i (Ku i, i we coclude that ψ i = e i ψ, where (e i deotes the matrix iverse. Therefore, we have ( (φ i ψ w iu = c a1i φ a1 e b 1 ψ b1 c ia w a e b u b i, i,,b 1,b a 1,b 1 a,b ( = c a1i c ia e b 1 e b (φ a1 ψ b1 w a u b a 1,a,b 1,b i, = (φ a ψ a w a u b, a,b }{{} =δ a 1 a δ b 1 b which proves the asserted idepedece of the represetatio. Thus, recallig that TVal s m(v deotes the vector space of traslatio ivariat cotiuous valuatios o K (V which are homogeeous of degree m ad tae values i the vector space Sym s V of symmetric tesors of ra s over V, ad that TValm s, (V is the subspace cosistig of the smooth elemets of this vector space, we have Φ 1 Φ TVal s 1+s, +l (V, + l, for Φ 1 TVal s 1, (V, Φ TVal s, l (V ad, l {0,..., }. A similar descriptio ad similar argumets ca be give for the operatios cosidered i the followig subsectios.

14 7 Adreas Berig ad Daiel Hug 3. Covolutio Similarly as for the product of valuatios, a explicit defiitio of the covolutio of two valuatios is give oly for a suitable subclass of valuatios (cf. Sect Propositio.6. Let φ 1, φ Val be smooth valuatios o R give by φ i (K = vol(k + A i, where A 1, A are smooth covex bodies with positive Gauss curvature at every boudary poit. The φ 1 φ (K := vol(k + A 1 + A, exteds by cotiuity ad biliearity to a product (which is called covolutio o Val. Writte i ivariat terms, the covolutio is a biliear map Val (V Des(V Val (V Des(V Val (V Des(V, where Des(V is the oe-dimesioal space of traslatio ivariat, locally fiite complex-valued Haar measures (Lebesgue measures, see Sect. 4.3 o the dual space V. It is compatible with the actio of the group GL( ad with the codegree of a valuatio (i.e., if φ i has degree i, the φ 1 φ has degree 1 + if 1 +. The covolutio ca be exteded compoet-wise to a covolutio o the space of traslatio ivariat smooth tesor valuatios. Hece we have Φ 1 Φ TVal s 1+s, +l (V, + l, for Φ 1 TVal s 1, (V, Φ TVal s, l (V ad, l {0,..., }. This is aalogous to the defiitio ad computatio i the previous subsectio. 3.3 Aleser-Fourier Trasform Aleser itroduced a operatio o smooth valuatios, ow called Aleser-Fourier trasform (cf. Sect It is a map F : Val (R Val (R which reverses the degree of homogeeity, that is, F : Val (R Val (R, ad which trasforms product ito covolutio of smooth valuatios, more precisely, we have F(φ 1 φ = F(φ 1 F(φ. (16

15 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 73 O valuatios which are smooth ad eve, the Aleser-Fourier trasform ca easily be described i terms of Klai fuctios as follows. Let φ Val,+ (R (the space of smooth ad eve valuatios which are homogeeous of degree. The the restrictio of φ to a -dimesioal subspace E is a multiple Kl φ (E of the volume, ad the resultig fuctio (Klai fuctio Kl φ determies φ. The Kl Fφ (E = Kl φ (E for every ( -dimesioal subspace E. As a example (ad cosequece of the relatio to Klai fuctios, the itrisic volumes satisfy F(V = V, (17 where V 0,...,V deote the itrisic volumes o K. The descriptio i the odd case is more ivolved ad it is preferable to describe it i ivariat terms (i.e., without referrig to a Euclidea structure. Let V be a -dimesioal real vector space. The F : Val (V Val (V Des(V, where Des deotes the oe-dimesioal space of desities (Lebesgue measures. This map commutes with the actio of GL(V o both sides. Applyig it twice (ad usig the idetificatio Des(V Des(V = C, it satisfies the Placherel type formula (F φ(k = φ( K. Worig agai o Euclidea space V = R, we ca exted the Aleser-Fourier trasform compoet-wise to a map F : TVal s, TVal s, such that F : TVal s, TVal s,. It is ot a easy tas to determie the Fourier trasform of valuatios other tha the itrisic volumes. 3.4 Example: Itrisic Volumes As a example, let us compute the Aleser product of itrisic volumes V 0,...,V i R. We complemet the defiitio of the itrisic volumes by V l := 0 for l < 0. Let vol = V deote the volume measure o K. Recall Steier s formula (1.16 which states that vol(k + rb = i=0 V i (Kκ i r i, r 0.

16 74 Adreas Berig ad Daiel Hug Now we fix r 0 ad s 0 ad defie the smooth valuatios φ 1 (K := vol(k + rb ad φ (K := vol(k + sb. The φ 1 φ (K = vol(k + rb + sb = vol(k + (r + sb = hece φ 1 φ = =0 ( i + V i κ i+ r i s. i, =0 i V (Kκ (r + s, O the other had, sice φ 1 = i=0 V iκ i r i ad φ = i=0 V iκ i s i, we obtai φ 1 φ = V i V κ i κ r i s. i, =0 Now we compare the coefficiet of r i s i these equatios ad get ( i + V i κ i+ = V i V κ i κ. i Writig i istead of i ad istead of, we obtai [ ] i V i V = V i i+, (18 where we used the flag coefficiet [ ] ( κ :=, κ κ {0,..., }. Taig Aleser-Fourier trasform o both sides yields [ ] i + V i V = V i i+. (19 The computatio of covolutio ad product of tesor valuatios follows the same scheme: first oe computes the covolutio of tesor valuatios, which ca be cosidered easier. The oe applies the Aleser-Fourier trasform to obtai the product. However, i the tesor-valued case it is much harder to write dow the Aleser-Fourier trasform i a explicit way. This step is the techical heart of our approach.

17 Itegral Geometry ad Algebraic Structures for Tesor Valuatios Poicaré Duality The product of smooth traslatio ivariat valuatios as well as the covolutio both satisfy a versio of Poicaré duality, which moreover are idetical up to a sig. To state this more precisely, recall that the vector spaces Val = Val (R, {0, }, are oe-dimesioal ad spaed by the Euler-characteristic χ = V 0 ad the volume fuctioal V = vol, that is, Val 0 = R χ ad Val = R vol. We deote by φ 0, φ R the compoet of φ Val of degree 0 ad, respectively. Propositio.7. The pairigs ad are perfect, that is, the iduced maps Val Val R, (φ 1, φ (φ 1 φ, Val Val R, (φ 1, φ (φ 1 φ 0, pd m, pd c : Val Val, are iective with dese image. Moreover, { pd pd c = m o Val +. pd m o Val. To illustrate this propositio ad to highlight the differece betwee the two pairigs, let us compute them o a easy example. Let φ i (K := vol(k + A i, where A i, i {1, }, are smooth covex bodies with positive Gauss curvature. The φ 1 φ (K = vol(k + A 1 + A, ad hece (φ 1 φ 0 = vol(a 1 + A. O the other had, φ 1 φ (K = vol ( K + A 1 A. Usig Fubii s theorem, oe rewrites this as φ 1 φ (K = φ ((x A 1 K dx. R Taig for K a large ball reveals that (φ 1 φ = φ ( A 1 = vol(a A 1. If A 1 = A 1, the φ 1 is eve ad both pairigs agree ideed. The extesio of Poicaré duality to tesor-valued valuatios is postpoed to Sect. 4.1 where it is required for the descriptio of the relatio betwee additive ad itersectioal iematic formulas for tesor valuatios. 3.6 Explicit Computatios i the O(-Equivariat Case I this subsectio, we outlie the explicit computatio of product, covolutio ad Aleser-Fourier trasform i the O(-equivariat case. Depedig o the situatio,

18 76 Adreas Berig ad Daiel Hug we will either use the basis cosistig of the tesor valuatios Q i Φ s i or the basis cosistig of the tesor valuatios Q i Ψ s i. The latter are defied i the followig propositio. Propositio.8. The followig statemets hold. (i For 0 < ad s 1, defie s := Φs + ( 1 Γ ( +s Γ ( + s 1 =1 (4π!Γ ( +s Γ ( + s Φ s 1Q Ψ s ad let Ψ 0 := Φ 0. The Ψ s is the trace free part of Φs. I particular, Ψ s Φs mod Q. (ii For 0 < ad s 1, Φ s s ca be writte i terms of Ψ as Φ s = Ψ s + s =1 Γ ( +s Γ ( + s (4π!Γ ( +s Γ ( + s Ψ s Q. The iversio which is eeded to derive (ii from (i ca be accomplished with the help of Zeilberger s algorithm. The first ad easier step i the explicit calculatios of algebraic structures for tesor valuatios is to compute the covolutio of two tesor valuatios. Sice Φ s is smooth (i.e., each compoet is a smooth valuatio, we may write Φ s (K = ω,s, c(k where ω,s is a smooth ( 1-form o the sphere budle R S 1 with values i Sym s R. Next, for valuatios represeted by differetial forms, there is a easy formula for the covolutio, which ivolves oly some liear ad biliear operatios (a id of Hodge star ad a wedge product. The resultig formula states that, for, l with + l ad s 1, s 1, we have ( ( l ω s1 + ω s + l l ( ( l s1 + s Φ s 1 Φ s l = ω s 1 +s + l s 1 (s1 1(s 1 1 s 1 s Φ s 1+s +l, or, usig the ormalizatio (14 which is more coveiet for this purpose, φ s 1 φ s l = ( +l ( +l (s 1 1(s 1 φ s 1+s 1 s 1 s +l. The computatio of the Aleser-Fourier trasform of tesor valuatios is the mai step ad will be explaied i the ext subsectio. For 0 ad s 1, the result is

19 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 77 F(Ψ s = is Ψ s, s F(Φ s = ( 1 is =0 (4π! Q Φ s. Fially, the product of two tesor valuatios ca be computed oce the covolutio ad the Aleser-Fourier trasform are ow, see (16. The result is a bit more ivolved tha the formulas for covolutio ad Aleser-Fourier trasform. The reaso is that the formula for the covolutio is best described i terms of the tesor valuatios Φ s, while the descriptio of the Aleser-Fourier trasform has a simpler expressio for the Ψ s. After some algebraic maipulatios (which mae use of Zeilberger s algorithm, we arrive at Φ s 1 Φ s l = l + l ( + l ( 1 a m ( a m s 1 +s a=0 ( m 1 a mi{m, (4π a!( s 1 } a m=0 ( s1 + s m s 1 i a s 1 +s 1 ωs1 +s m++l i ω s1 i+ω s m+i+l (s 1 i 1(s m + i 1 1 s 1 s + m i=max{0,m s } Q a Φ s 1+s a +l. (0 Here 0, l with + l ad s 1, s 1. It seems that there is o simple closed expressio for the ier sum. 3.7 Tesor Valuatios Versus Scalar-Valued Valuatios The iterplay betwee tesor valuatios ad scalar-valued valuatios will be essetial i the computatio of the Aleser-Fourier trasform. We therefore explai this ow is some more detail. We first eed some facts from represetatio theory. It is well-ow that equivalece classes of complex irreducible (fiite-dimesioal represetatios of SO( are idexed by their highest weights. The possible highest weights are tuples (λ 1, λ,..., λ of itegers such that 1. λ 1 λ... λ 0 if is odd,. λ 1 λ... λ 0 if is eve. Give λ = (λ 1,..., λ satisfyig this coditio, we will deote the correspodig equivalece class of represetatios by Γ λ. The decompositio of the SO(-module Val has recetly bee obtaied i [3]. Theorem.9 ([3]. There is a isomorphism of SO(-modules

20 78 Adreas Berig ad Daiel Hug Val = Γ λ, where λ rages over all highest weights such that λ, λ i 1 for all i ad λ i = 0 for i > mi{, }. I particular, these decompositios are multiplicity-free. Let Γ be a irreducible represetatio of SO( ad Γ its dual. The space of - homogeeous SO(-equivariat Γ -valued valuatios (i.e., maps Φ : K Γ such that Φ(gK = gφ(k for all g SO( is (Val Γ SO( = Hom SO( (Γ, Val. By Theorem.9, Γ appears i the decompositio of Val precisely if Γ appears, ad i this case the multiplicity is 1. By Schur s lemma it follows that dim(val Γ SO( = 1 i this case. Let us costruct the (uique up to scale equivariat Γ -valued valuatio explicitly. Deote by Val (Γ the Γ -isotypical summad, which is isomorphic to Γ sice Val is multiplicity free. Let φ 1,..., φ m be a basis of Val (Γ. These elemets play two differet roles: first we ca loo at them as valuatios, i.e., elemets of Val. Secod, we may thi of φ 1,..., φ m as basis of the irreducible represetatio Γ. The actio of SO( o this basis is give by gφ i = c i (gφ, where (c i (g i, is a matrix depedig o g. The map g (c i (g i, is a homomorphism of Lie groups SO( GL(m. Let φ1,..., φ m be the dual basis of Γ. The gφ i = (c i (g t φ = λ c i (g 1 φ, Usig the double role played by the φ i metioed above, we set Φ(K := φ i (Kφi Γ. (1 i We claim that Φ is a O(-equivariat valuatio with values i Γ. Ideed, we compute

21 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 79 Φ(gK = φ i (gkφi i = (g 1 φ i (Kφi i = c i (g 1 φ (Kφi i, = φ (K c i (g 1 φi i = φ (Kgφ = g(φ(k. Coversely, we ow start with a equivariat Γ -valued cotiuous traslatio ivariat valuatio Φ of degree. Let w 1,..., w m be a basis of Γ. The we may loo at the compoets of Φ, i.e., we decompose Φ(K = φ i (Kw i i with φ i Val. Let the actio of SO( o Γ be give by We have Φ(gK = i g(φ(k = gw i = a i (gw. φ i (gkw i = (g 1 φ i (Kw i, i φ (Kgw = φ (Ka i (gw i. i, Comparig coefficiets yields g 1 φ i = a i (gφ, or gφ i = a i (g 1 φ. This shows that the subspace of Val spaed by φ 1,..., φ m is isomorphic to Γ. I summary, we have show the followig fact. Each SO(-irreducible represetatio Γ appearig i the decompositio of Val correspods to the (uique up to scale Γ -valued cotiuous traslatio ivariat valuatio Φ from (1. Coversely, the coefficiets of a Γ -valued cotiuous traslatio ivariat valuatio spa a subspace of Val isomorphic to Γ. Let us ow discuss the special case of symmetric tesor valuatios. The SO(- represetatio space Sym s is (i geeral ot irreducible. Ideed, the trace map tr : Sym s Sym s commutes with SO(, hece its erel is a ivariat subspace.

22 80 Adreas Berig ad Daiel Hug This subspace turs out to be the irreducible represetatio Γ (s,0,...,0 ad ca be idetified with the space Hs of spherical harmoics of degree s. Sice the trace map is oto, we get the followig decompositio. Sym s = Hs. Istead of studyig Sym s -valued valuatios, we ca therefore study Hs -valued valuatios. For s 1 ad 1 1, the represetatio Hs appears i Val with multiplicity 1. Sice Hs is self-dual, the costructio setched above yields i the special case Γ := Hs a uique (up to scale Hs -valued equivariat cotiuous traslatio ivariat valuatio homogeeous of degree, which we deoted by Ψ s. 3.8 The Aleser-Fourier Trasform As we have see i the previous subsectio, the study of (symmetric tesor valuatios ad the study of the H s -isotypical summad of Val are equivalet. For the computatio of the Aleser-Fourier trasform, it is easier to wor with scalarvalued valuatios. Let us first defie a particular class of valuatios, called spherical valuatios. Let f be a smooth fuctio o S 1. For {0,..., 1}, we defie a valuatio µ, f Val (R by ( 1 1 µ, f (K := ω S 1 f (y S (K, dy. Such valuatios are called spherical (see also the recet preprit [15]. Here the ormalizatio is chose such that for f 1 we have µ, f = V, {0,..., 1}. By Subsectio 3.7, the compoets of a SO(-equivariat tesor valuatio are spherical. Sice the Aleser-Fourier trasform of such a tesor valuatio is defied compoet-wise, it suffices to compute the Aleser-Fourier trasform of spherical valuatios. I this subsectio, we setch this (rather ivolved computatio. The first ad easy observatio is that, by Schur s lemma, there exist costats c,,s C which oly deped o,, s such that F(µ, f = c,,s µ, f, f H s. ( The multipliers c,,s of the Aleser-Fourier trasform ca be computed i the eve case (i.e., if s is eve by looig at Klai fuctios. I the odd case, there seems to be o easy way to compute them. We adapt ideas from [1], where the multipliers of the α-cosie trasform were computed, to our situatio. The mai poit is that the Aleser-Fourier trasform is ot oly a SO(-equivariat operator, but (if writte i itrisic terms is equivariat uder the larger group GL(. Usig elemets from

23 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 81 the Lie algebra gl( allows us to pass from oe irreducible SO(-represetatio to aother ad to obtai a recursive formula for the costats c,,s, which states that c,,s+ c,,s = + s + s. (3 This step requires extesive computatios usig differetial forms, ad we refer to [6] for the details. Next, oe ca use iductio over s,, to prove that c,,s = i s Γ ( ( Γ s+. Γ ( Γ ( s+ More precisely, i the eve case, we may use as iductio start the case s = 0, which correspods to itrisic volumes, whose Aleser-Fourier trasform is ow by (17. I the odd case, we use as iductio start s = 3. I order to compute c,,3, we use a special case of a Crofto formula from [7] (see also Chap. to compute the quotiets c,+1,3 c. This fixes all costats up to a scalig which may deped o.,,3 More precisely, c,,s = ε i s Γ ( ( Γ s+ Γ ( Γ ( s+, (4 where ε depeds oly o. Usig fuctorial properties of the Aleser-Fourier trasform, we fid that ε is idepedet of. I the two-dimesioal case, however, there is a very explicit descriptio of the Aleser-Fourier trasform (see also Example 4.14 (4 which fially allows us to deduce that ε = 1 for all. A alterative approach to determiig the costats c,,s is to prove idepedetly a Crofto formula for the tesor valuatios Ψ s, via the Crofto formula for area measures, as described before (see also Remar 4.6 i [10]. This poit of view suggests to relate the Fourier operator for spherical valuatios to the Fourier operators for spherical fuctios via the relatio F( µ, f = (π d µ d,i f, for f C (S d 1, where ( d 1 µ, f (K = (π f (u S (K, du, S d 1 is ust a reormalizatio of µ, f (K.

24 8 Adreas Berig ad Daiel Hug 4 Kiematic Formulas I this sectio, we first describe the iterplay betwee algebraic structures ad iematic formulas i geeral (i.e., for tesor valuatios which are equivariat uder a group G actig trasitively o the uit sphere. The we will specialize to the O(-covariat case. 4.1 Relatio Betwee Kiematic Formulas ad Algebraic Structures Let G be a subgroup of O( which acts trasitively o the uit sphere. The the space TVal s,g (V of G-covariat, traslatio ivariat cotiuous Sym s (V -valued valuatios is fiite-dimesioal. Next we defie two itegral geometric operators. We start with the oe for rotatio sum formulas. Let Φ TVal s 1+s,G (V. We defie a bivaluatio with values i the tesor product Sym s 1 V Sym s V by a G s 1,s (Φ(K, L := (id s 1 g s Φ(K + g 1 L ν(dg G for K, L K (V, where G is edowed with the Haar probability measure ν (see [16]. (This otatio is cosistet with the case V = R ad G = O(. Let Φ 1,..., Φ m1 be a basis of TVal s1,g (V, ad let Ψ 1,...,Ψ m be a basis of TVal s,g (V. Arguig as i the classical Hadwiger argumet (cf. [16, Theorem 4.3], it ca be see that there are costats c Φ i such that a G s 1,s (Φ(K, L = c Φ i Φ i (K Ψ (L i, for K, L K (V. The additive iematic operator is the map a G s 1,s : TVal s 1+s,G (V TVal s1,g (V TVal s,g (V Φ c Φ i Φ i Ψ, i, which is idepedet of the choice of the bases. I view of itersectioal iematic formulas, we defie a bivaluatio with values i Sym s 1 V Sym s V by s G 1,s (Φ(K, L := (id s 1 g s Φ(K ḡ 1 L µ(dḡ Ḡ for K, L K (V, where Ḡ is the group geerated by G ad the traslatio group of V, edowed with the product measure µ of ν ad a traslatio ivariat Haar

25 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 83 measure o V, ad where g is the rotatioal part of ḡ. (Agai this otatio is cosistet with the special case where Ḡ = G is the motio group, G = O( ad µ is the motio ivariat Haar measure with its usual ormalizatio as a product measure. Choosig bases ad arguig as above, we fid s G 1,s (Φ(K, L = di Φ Φ i (K Ψ (L (5 i, for K, L K (V. Of course, the costats d Φ i deped o the chose bases ad o Φ, but the operator, called itersectioal iematic operator, s G 1,s : TVal s 1+s,G (V TVal s1,g (V TVal s,g (V Φ di Φ Φ i Ψ, i, is idepedet of these choices. I the followig, we explai the coectio betwee these operators ad the provide explicit examples. For this we first lift the Poicaré duality maps to tesor-valued valuatios. Let V be a Euclidea vector space with scalar product,. For s r we defie the cotractio map by cotr : V s V r V (r s, (v 1... v s, w 1... w r v 1, w 1 v, w... v s, w s w s+1 w r, ad liearity. This map restricts to a map cotr : Sym s V Sym r V Sym r s V. I particular, if r = s, the map Sym s V Sym s V R is the usual scalar product o Sym s V, which will also be deoted by,. The trace map tr : Sym s V Sym s V is defied by restrictio of the map V s V (s, v 1... v s v 1, v v 3... v s, for s. The scalar product o Sym s V iduces a isomorphism q s : Sym s V (Sym s V ad we set pd s c : TVals, = Val Sym s V pd c qs (Val (Sym s V = (TVal s,, pd s m : TVals, = Val Sym s V pd m qs (Val (Sym s V = (TVal s,. From Propositio.7 it follows easily that Fially, we write pd s m = ( 1s pd s c. (6 m, c : TVal s 1, (V TVal s, (V TVal s 1+s, (V

26 84 Adreas Berig ad Daiel Hug for the maps correspodig to the product ad the covolutio. Moreover, we write m G, c G for the restrictios of these maps to the correspodig spaces of G-covariat tesor valuatios. Theorem.10. Let G be a compact subgroup of O( actig trasitively o the uit sphere. The the diagram TVal s 1+s,G a G s 1,s TVal s 1,G TVal s,g pd s 1 +s c pd s 1 c pd s c ( TVal s 1 +s,g c G ( TVal s 1,G ( TVal s,g F F F ( TVal s 1 +s,g m G ( TVal s 1,G ( TVal s,g pd s 1 +s m TVal s 1+s,G G s 1,s pd s 1 m pd s m TVal s 1,G TVal s,g commutes ad ecodes the relatios betwee product, covolutio, Aleser-Fourier trasform, itersectioal ad additive iematic formulas. This diagram allows us to express the additive iematic operator i terms of the itersectioal iematic operator, ad vice versa, with the Fourier trasform as the li betwee these operators. Corollary.11. Itersectioal ad additive iematic formulas are related by the Aleser-Fourier trasform i the followig way: a G = ( F 1 F 1 G F, or equivaletly G = (F F a G F 1. This follows by looig at the outer square i Theorem.10, by carefully taig ito accout the sigs comig from (6. 4. Some Explicit Examples of Kiematic Formulas We start with a descriptio of a Crofto formula for tesor valuatios. Combiig the coectio betwee Crofto formulas ad the product of valuatios (see [4, ( ad (16] ad the explicit formulas for the product of tesor valuatios give i (0, we obtai

27 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 85 A(, l = Φ s (K E µ l(de = [ l ] 1 ( + l l + l a [ ] 1 ( Φ s l Φ0 l (K s m=0( 1 a m( a m 1 (4π a a! a=0,a s 1 ωs m++l ω s m+ ω l Q a Φ s a +l. After simplificatio of the ier sum by meas of Zeilberger s algorithm, we obtai the Crofto formula i the Φ-basis which was obtaied i [6]. Theorem.1. If, l 0 with + l ad s N 0, the A(, l Φ s (K E µ l(de = [ l ] 1 ( + l l ( + l s =0 Γ ( l + Γ ( +s 1 Γ ( +l+s (4π! Q Φ s +l (K. The result is also true i the cases, l {0, }, if the right-had side is iterpreted properly; see the commets after [6, Theorem 3]. The same is true for the ext result. Comparig the trace-free part of this formula (or by iversio, we deduce the Crofto formula for the Ψ-basis, i which the result has a particularly coveiet form. Corollary.13. If, l 0 ad + l, the A(, l Ψ s (K E µ l(de = ω s++l ω s+ ω l ( + l l + l [ ] 1 Ψ s l +l (K. Alteratively, as observed i [10], Corollary.13 ca be deduced from (1, ad the Theorem.1 ca be obtaied as a cosequece. Thus, havig ow a coveiet Crofto formula for tesor valuatios, we deduce from Hadwiger s geeral itegral geometric theorem a itersectioal iematic formula i the Ψ-basis. Theorem.14. Let K, M K ad {0,..., }. The G Ψ s (K gm µ(dg = = ω s+ ω s+ κ ( [ ] 1 1 Ψ s 1 (KV + (M. Let us ow prove some more refied itersectioal iematic formulas. I priciple, we could also use Corollary.11 to fid the itersectioal iematic formulas oce we ow the additive formulas. The problem is that (15 oly gives us the value of a s1,s o the basis elemet φ s 1+s, but ot o multiples of such basis elemets with

28 86 Adreas Berig ad Daiel Hug powers of the metric tesors. However, such terms appear aturally i the Fourier trasform. We therefore use Theorem.10 with V = R ad G = O(, more precisely the lower square i the diagram. I (0 we have computed the product of two tesor valuatios. For fixed (small ras s 1, s, the formula simplifies ad ca be evaluated i a closed form. For istace, if 1, l with + l ad s 1 = s = 3, we get Φ 3 ( + 1(l + 1Γ ( +l+1 Φ3 l = π 5 ( + l + 4( + l + ( + lγ ( ( Γ l ( 3Φ+l 6 π3 + 8QΦ+l 4 π Q Φ+l π Q3 Φ+l 0. (7 Let us ext wor out the vertical arrows i the diagram of Theorem.10, that is, the Poicaré duality pd m. Agai, this is a computatio ivolvig differetial forms. The result (see [6, Corollary 5.3] is pd s m (Φs, Φs = 1 s ( ( 1s π s s! ( 4 Γ ( ( +s Γ +s Γ ( + 1. (8 We ow explai how to compute the itersectioal iematic formula O( 3,3 with this owledge. Sice Φ 1 m 0, it is clear that there is a formula of the form O( 3,3 (Φ6 i = a,i, Φ 3 Φ3 l +l=+i with some costats a,i, which remai to be determied. Fix, l with + l = + i. Usig (8, we fid pd 3 m Φ3, Φ3 = 1 ( ( 7π 3 Γ ( ( +3 Γ +3 Γ ( + 1, ad therefore pd 3 m Φ3 l, Φ3 l = 1 7π 3 ( l l( l Γ ( l+3 (pd 3 m pd3 m O( 3,3 (Φ6 i, Φ 3 Φ3 l ( 1 = a,i, ( 7π 3 Γ ( π 3 ( l ( Γ l+3 Γ ( + 1, Γ ( +3 Γ ( + 1 l( l Γ ( l+3 ( Γ l+3 Γ ( + 1.

29 Itegral Geometry ad Algebraic Structures for Tesor Valuatios 87 O the other had, by (7 ad (8, m O( pd6 m (Φ6 i, Φ 3 Φ3 l = pd6 m (Φ6 i, Φ 3 Φ3 l ( + 1( l + 1Γ ( i+1 = π 5 ( i + 4( i + ( iγ ( ( l Γ pd 6 m (Φ6 i, 3Φ iπ QΦ iπ 4 Q Φ iπ Q3 Φ i 0 1 ( 1(i 1Γ ( +1 (i + 1(i 1(i 3 = π 5 Γ ( ( i+1 Γ ( Γ i. From this, the explicit value of a,i, give i the theorem follows. Comparig these expressios, we fid that (i + 1(i 1(i 3 a,i, = 40Γ ( ( +1 Γ i+1 Γ ( ( Γ l ( + 1(l + 1. We summarize the result i the followig theorem. Theorem.15. Let K, M K ad i {0,..., 1}. The G (id 3 g 3 Φ 6 i (K g 1 M µ(dg (i + 1(i 1(i 3 = 40Γ ( ( +1 Γ i+1 +l=+i Γ ( Γ ( l ( + 1(l + 1 Φ3 (K Φ3 l (M. The same techique ca be applied to all bidegrees, but it seems hard to fid a closed formula which is valid simultaeously i all cases. Refereces 1. Aleser, S., Cotiuous rotatio ivariat valuatios o covex sets. A. of Math. 149 (1999, Aleser, S., Descriptio of cotiuous isometry covariat valuatios o covex sets. Geom. Dedicata 74 (1999, Aleser, S., Berig, A., Schuster, F., Harmoic aalysis of traslatio ivariat valuatios. Geom. Fuct. Aal. 1 (011, Berig, A., Algebraic itegral geometry. I: Global differetial geometry. Spriger Proc. Math. 17, Spriger, Berli (01, arxiv: Berig, A., Fu., J.H.G., Covolutio of covex valuatios. Geom. Dedicata, 13 (006, Berig, A., Hug, D., Kiematic formulas for tesor valuatios. J. Reie Agew. Math. (to appear, arxiv: Hug, D., Scheider, R., Schuster, R., Itegral geometry of tesor valuatios. Adv. i Appl. Math., 41 (008,

TENSOR PRODUCTS AND PARTIAL TRACES

TENSOR PRODUCTS AND PARTIAL TRACES Lecture 2 TENSOR PRODUCTS AND PARTIAL TRACES Stéphae ATTAL Abstract This lecture cocers special aspects of Operator Theory which are of much use i Quatum Mechaics, i particular i the theory of Quatum Ope

More information

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

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

CALCULATING FIBONACCI VECTORS

CALCULATING FIBONACCI VECTORS THE GENERALIZED BINET FORMULA FOR CALCULATING FIBONACCI VECTORS Stuart D Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithacaedu ad Dai Novak Departmet

More information

CALCULATION OF FIBONACCI VECTORS

CALCULATION OF FIBONACCI VECTORS CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College

More information

Lecture 3 The Lebesgue Integral

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

Singular Continuous Measures by Michael Pejic 5/14/10

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

Complex Analysis Spring 2001 Homework I Solution

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

Chapter 3 Inner Product Spaces. Hilbert Spaces

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

Chapter 3. Strong convergence. 3.1 Definition of almost sure convergence

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

Dirichlet s Theorem on Arithmetic Progressions

Dirichlet s Theorem on Arithmetic Progressions Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty

More information

Sequences of Definite Integrals, Factorials and Double Factorials

Sequences of Definite Integrals, Factorials and Double Factorials 47 6 Joural of Iteger Sequeces, Vol. 8 (5), Article 5.4.6 Sequeces of Defiite Itegrals, Factorials ad Double Factorials Thierry Daa-Picard Departmet of Applied Mathematics Jerusalem College of Techology

More information

A brief introduction to linear algebra

A brief introduction to linear algebra CHAPTER 6 A brief itroductio to liear algebra 1. Vector spaces ad liear maps I what follows, fix K 2{Q, R, C}. More geerally, K ca be ay field. 1.1. Vector spaces. Motivated by our ituitio of addig ad

More information

Infinite Sequences and Series

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

a for a 1 1 matrix. a b a b 2 2 matrix: We define det ad bc 3 3 matrix: We define a a a a a a a a a a a a a a a a a a

a for a 1 1 matrix. a b a b 2 2 matrix: We define det ad bc 3 3 matrix: We define a a a a a a a a a a a a a a a a a a Math S-b Lecture # Notes This wee is all about determiats We ll discuss how to defie them, how to calculate them, lear the allimportat property ow as multiliearity, ad show that a square matrix A is ivertible

More information

Physics 324, Fall Dirac Notation. These notes were produced by David Kaplan for Phys. 324 in Autumn 2001.

Physics 324, Fall Dirac Notation. These notes were produced by David Kaplan for Phys. 324 in Autumn 2001. Physics 324, Fall 2002 Dirac Notatio These otes were produced by David Kapla for Phys. 324 i Autum 2001. 1 Vectors 1.1 Ier product Recall from liear algebra: we ca represet a vector V as a colum vector;

More information

Abstract Vector Spaces. Abstract Vector Spaces

Abstract Vector Spaces. Abstract Vector Spaces Astract Vector Spaces The process of astractio is critical i egieerig! Physical Device Data Storage Vector Space MRI machie Optical receiver 0 0 1 0 1 0 0 1 Icreasig astractio 6.1 Astract Vector Spaces

More information

Several properties of new ellipsoids

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

A Proof of Birkhoff s Ergodic Theorem

A Proof of Birkhoff s Ergodic Theorem A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed

More information

Machine Learning Theory Tübingen University, WS 2016/2017 Lecture 11

Machine Learning Theory Tübingen University, WS 2016/2017 Lecture 11 Machie Learig Theory Tübige Uiversity, WS 06/07 Lecture Tolstikhi Ilya Abstract We will itroduce the otio of reproducig kerels ad associated Reproducig Kerel Hilbert Spaces (RKHS). We will cosider couple

More information

The Choquet Integral with Respect to Fuzzy-Valued Set Functions

The Choquet Integral with Respect to Fuzzy-Valued Set Functions The Choquet Itegral with Respect to Fuzzy-Valued Set Fuctios Weiwei Zhag Abstract The Choquet itegral with respect to real-valued oadditive set fuctios, such as siged efficiecy measures, has bee used i

More information

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play. Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers

More information

K. Grill Institut für Statistik und Wahrscheinlichkeitstheorie, TU Wien, Austria

K. Grill Institut für Statistik und Wahrscheinlichkeitstheorie, TU Wien, Austria MARKOV PROCESSES K. Grill Istitut für Statistik ud Wahrscheilichkeitstheorie, TU Wie, Austria Keywords: Markov process, Markov chai, Markov property, stoppig times, strog Markov property, trasitio matrix,

More information

PAijpam.eu ON TENSOR PRODUCT DECOMPOSITION

PAijpam.eu ON TENSOR PRODUCT DECOMPOSITION Iteratioal Joural of Pure ad Applied Mathematics Volume 103 No 3 2015, 537-545 ISSN: 1311-8080 (prited versio); ISSN: 1314-3395 (o-lie versio) url: http://wwwijpameu doi: http://dxdoiorg/1012732/ijpamv103i314

More information

a for a 1 1 matrix. a b a b 2 2 matrix: We define det ad bc 3 3 matrix: We define a a a a a a a a a a a a a a a a a a

a for a 1 1 matrix. a b a b 2 2 matrix: We define det ad bc 3 3 matrix: We define a a a a a a a a a a a a a a a a a a Math E-2b Lecture #8 Notes This week is all about determiats. We ll discuss how to defie them, how to calculate them, lear the allimportat property kow as multiliearity, ad show that a square matrix A

More information

Math 2784 (or 2794W) University of Connecticut

Math 2784 (or 2794W) University of Connecticut ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really

More information

An analog of the arithmetic triangle obtained by replacing the products by the least common multiples

An analog of the arithmetic triangle obtained by replacing the products by the least common multiples arxiv:10021383v2 [mathnt] 9 Feb 2010 A aalog of the arithmetic triagle obtaied by replacig the products by the least commo multiples Bair FARHI bairfarhi@gmailcom MSC: 11A05 Keywords: Al-Karaji s triagle;

More information

Subject: Differential Equations & Mathematical Modeling-III

Subject: Differential Equations & Mathematical Modeling-III Power Series Solutios of Differetial Equatios about Sigular poits Subject: Differetial Equatios & Mathematical Modelig-III Lesso: Power series solutios of differetial equatios about Sigular poits Lesso

More information

On the Linear Complexity of Feedback Registers

On the Linear Complexity of Feedback Registers O the Liear Complexity of Feedback Registers A. H. Cha M. Goresky A. Klapper Northeaster Uiversity Abstract I this paper, we study sequeces geerated by arbitrary feedback registers (ot ecessarily feedback

More information

Law of the sum of Bernoulli random variables

Law of the sum of Bernoulli random variables Law of the sum of Beroulli radom variables Nicolas Chevallier Uiversité de Haute Alsace, 4, rue des frères Lumière 68093 Mulhouse icolas.chevallier@uha.fr December 006 Abstract Let be the set of all possible

More information

TEACHER CERTIFICATION STUDY GUIDE

TEACHER CERTIFICATION STUDY GUIDE COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra

More information

Bernoulli numbers and the Euler-Maclaurin summation formula

Bernoulli numbers and the Euler-Maclaurin summation formula Physics 6A Witer 006 Beroulli umbers ad the Euler-Maclauri summatio formula I this ote, I shall motivate the origi of the Euler-Maclauri summatio formula. I will also explai why the coefficiets o the right

More information

Introduction to Optimization Techniques

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

LECTURE 11: POSTNIKOV AND WHITEHEAD TOWERS

LECTURE 11: POSTNIKOV AND WHITEHEAD TOWERS LECTURE 11: POSTNIKOV AND WHITEHEAD TOWERS I the previous sectio we used the techique of adjoiig cells i order to costruct CW approximatios for arbitrary spaces Here we will see that the same techique

More information

, then cv V. Differential Equations Elements of Lineaer Algebra Name: Consider the differential equation. and y2 cos( kx)

, then cv V. Differential Equations Elements of Lineaer Algebra Name: Consider the differential equation. and y2 cos( kx) Cosider the differetial equatio y '' k y 0 has particular solutios y1 si( kx) ad y cos( kx) I geeral, ay liear combiatio of y1 ad y, cy 1 1 cy where c1, c is also a solutio to the equatio above The reaso

More information

Lesson 10: Limits and Continuity

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

Homework 2. Show that if h is a bounded sesquilinear form on the Hilbert spaces X and Y, then h has the representation

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

Sequences, Series, and All That

Sequences, Series, and All That Chapter Te Sequeces, Series, ad All That. Itroductio Suppose we wat to compute a approximatio of the umber e by usig the Taylor polyomial p for f ( x) = e x at a =. This polyomial is easily see to be 3

More information

Solution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1

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

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 5: SINGULARITIES.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 5: SINGULARITIES. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 5: SINGULARITIES. ANDREW SALCH 1. The Jacobia criterio for osigularity. You have probably oticed by ow that some poits o varieties are smooth i a sese somethig

More information

Commutativity in Permutation Groups

Commutativity in Permutation Groups Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are

More information

A PROOF OF THE TWIN PRIME CONJECTURE AND OTHER POSSIBLE APPLICATIONS

A PROOF OF THE TWIN PRIME CONJECTURE AND OTHER POSSIBLE APPLICATIONS A PROOF OF THE TWI PRIME COJECTURE AD OTHER POSSIBLE APPLICATIOS by PAUL S. BRUCKMA 38 Frot Street, #3 aaimo, BC V9R B8 (Caada) e-mail : pbruckma@hotmail.com ABSTRACT : A elemetary proof of the Twi Prime

More information

Frequency Response of FIR Filters

Frequency Response of FIR Filters EEL335: Discrete-Time Sigals ad Systems. Itroductio I this set of otes, we itroduce the idea of the frequecy respose of LTI systems, ad focus specifically o the frequecy respose of FIR filters.. Steady-state

More information

Ma 530 Infinite Series I

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

Seunghee Ye Ma 8: Week 5 Oct 28

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

De la Vallée Poussin Summability, the Combinatorial Sum 2n 1

De la Vallée Poussin Summability, the Combinatorial Sum 2n 1 J o u r a l of Mathematics ad Applicatios JMA No 40, pp 5-20 (2017 De la Vallée Poussi Summability, the Combiatorial Sum 1 ( 2 ad the de la Vallée Poussi Meas Expasio Ziad S. Ali Abstract: I this paper

More information

SOLVED EXAMPLES

SOLVED EXAMPLES Prelimiaries Chapter PELIMINAIES Cocept of Divisibility: A o-zero iteger t is said to be a divisor of a iteger s if there is a iteger u such that s tu I this case we write t s (i) 6 as ca be writte as

More information

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

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

CHAPTER 5. Theory and Solution Using Matrix Techniques

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

6.867 Machine learning, lecture 7 (Jaakkola) 1

6.867 Machine learning, lecture 7 (Jaakkola) 1 6.867 Machie learig, lecture 7 (Jaakkola) 1 Lecture topics: Kerel form of liear regressio Kerels, examples, costructio, properties Liear regressio ad kerels Cosider a slightly simpler model where we omit

More information

Session 5. (1) Principal component analysis and Karhunen-Loève transformation

Session 5. (1) Principal component analysis and Karhunen-Loève transformation 200 Autum semester Patter Iformatio Processig Topic 2 Image compressio by orthogoal trasformatio Sessio 5 () Pricipal compoet aalysis ad Karhue-Loève trasformatio Topic 2 of this course explais the image

More information

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

Once we have a sequence of numbers, the next thing to do is to sum them up. Given a sequence (a n ) n=1

Once we have a sequence of numbers, the next thing to do is to sum them up. Given a sequence (a n ) n=1 . Ifiite Series Oce we have a sequece of umbers, the ext thig to do is to sum them up. Give a sequece a be a sequece: ca we give a sesible meaig to the followig expressio? a = a a a a While summig ifiitely

More information

Solutions to home assignments (sketches)

Solutions to home assignments (sketches) Matematiska Istitutioe Peter Kumli 26th May 2004 TMA401 Fuctioal Aalysis MAN670 Applied Fuctioal Aalysis 4th quarter 2003/2004 All documet cocerig the course ca be foud o the course home page: http://www.math.chalmers.se/math/grudutb/cth/tma401/

More information

Math 4400/6400 Homework #7 solutions

Math 4400/6400 Homework #7 solutions MATH 4400 problems. Math 4400/6400 Homewor #7 solutios 1. Let p be a prime umber. Show that the order of 1 + p modulo p 2 is exactly p. Hit: Expad (1 + p) p by the biomial theorem, ad recall from MATH

More information

Summary: CORRELATION & LINEAR REGRESSION. GC. Students are advised to refer to lecture notes for the GC operations to obtain scatter diagram.

Summary: CORRELATION & LINEAR REGRESSION. GC. Students are advised to refer to lecture notes for the GC operations to obtain scatter diagram. Key Cocepts: 1) Sketchig of scatter diagram The scatter diagram of bivariate (i.e. cotaiig two variables) data ca be easily obtaied usig GC. Studets are advised to refer to lecture otes for the GC operatios

More information

Character rigidity for lattices and commensurators I after Creutz-Peterson

Character rigidity for lattices and commensurators I after Creutz-Peterson Character rigidity for lattices ad commesurators I after Creutz-Peterso Talk C3 for the Arbeitsgemeischaft o Superridigity held i MFO Oberwolfach, 31st March - 4th April 2014 1 Sve Raum 1 Itroductio The

More information

Introduction to Optimization Techniques. How to Solve Equations

Introduction to Optimization Techniques. How to Solve Equations Itroductio to Optimizatio Techiques How to Solve Equatios Iterative Methods of Optimizatio Iterative methods of optimizatio Solutio of the oliear equatios resultig form a optimizatio problem is usually

More information

6. Kalman filter implementation for linear algebraic equations. Karhunen-Loeve decomposition

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

Ellipsoid Method for Linear Programming made simple

Ellipsoid Method for Linear Programming made simple Ellipsoid Method for Liear Programmig made simple Sajeev Saxea Dept. of Computer Sciece ad Egieerig, Idia Istitute of Techology, Kapur, INDIA-08 06 December 3, 07 Abstract I this paper, ellipsoid method

More information

The standard deviation of the mean

The standard deviation of the mean Physics 6C Fall 20 The stadard deviatio of the mea These otes provide some clarificatio o the distictio betwee the stadard deviatio ad the stadard deviatio of the mea.. The sample mea ad variace Cosider

More information

Support vector machine revisited

Support vector machine revisited 6.867 Machie learig, lecture 8 (Jaakkola) 1 Lecture topics: Support vector machie ad kerels Kerel optimizatio, selectio Support vector machie revisited Our task here is to first tur the support vector

More information

w (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ.

w (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ. 2 5. Weighted umber of late jobs 5.1. Release dates ad due dates: maximimizig the weight of o-time jobs Oce we add release dates, miimizig the umber of late jobs becomes a sigificatly harder problem. For

More information

FUNDAMENTALS OF REAL ANALYSIS by

FUNDAMENTALS OF REAL ANALYSIS by FUNDAMENTALS OF REAL ANALYSIS by Doğa Çömez Backgroud: All of Math 450/1 material. Namely: basic set theory, relatios ad PMI, structure of N, Z, Q ad R, basic properties of (cotiuous ad differetiable)

More information

MAT1026 Calculus II Basic Convergence Tests for Series

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

Basic Sets. Functions. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4. (e) 2 S.

Basic Sets. Functions. MTH299 - Examples. Example 1. Let S = {1, {2, 3}, 4}. Indicate whether each statement is true or false. (a) S = 4. (e) 2 S. Basic Sets Example 1. Let S = {1, {2, 3}, 4}. Idicate whether each statemet is true or false. (a) S = 4 (b) {1} S (c) {2, 3} S (d) {1, 4} S (e) 2 S. (f) S = {1, 4, {2, 3}} (g) S Example 2. Compute the

More information

Recurrence Relations

Recurrence Relations Recurrece Relatios Aalysis of recursive algorithms, such as: it factorial (it ) { if (==0) retur ; else retur ( * factorial(-)); } Let t be the umber of multiplicatios eeded to calculate factorial(). The

More information

Complex Numbers Solutions

Complex Numbers Solutions Complex Numbers Solutios Joseph Zoller February 7, 06 Solutios. (009 AIME I Problem ) There is a complex umber with imagiary part 64 ad a positive iteger such that Fid. [Solutio: 697] 4i + + 4i. 4i 4i

More information

Comparison Study of Series Approximation. and Convergence between Chebyshev. and Legendre Series

Comparison Study of Series Approximation. and Convergence between Chebyshev. and Legendre Series Applied Mathematical Scieces, Vol. 7, 03, o. 6, 3-337 HIKARI Ltd, www.m-hikari.com http://d.doi.org/0.988/ams.03.3430 Compariso Study of Series Approimatio ad Covergece betwee Chebyshev ad Legedre Series

More information

Zeros of Polynomials

Zeros of Polynomials Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree

More information

A Simplified Binet Formula for k-generalized Fibonacci Numbers

A Simplified Binet Formula for k-generalized Fibonacci Numbers A Simplified Biet Formula for k-geeralized Fiboacci Numbers Gregory P. B. Dresde Departmet of Mathematics Washigto ad Lee Uiversity Lexigto, VA 440 dresdeg@wlu.edu Zhaohui Du Shaghai, Chia zhao.hui.du@gmail.com

More information

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as

More information

ON THE EXISTENCE OF E 0 -SEMIGROUPS

ON THE EXISTENCE OF E 0 -SEMIGROUPS O HE EXISECE OF E -SEMIGROUPS WILLIAM ARVESO Abstract. Product systems are the classifyig structures for semigroups of edomorphisms of B(H), i that two E -semigroups are cocycle cojugate iff their product

More information

Series III. Chapter Alternating Series

Series III. Chapter Alternating Series Chapter 9 Series III With the exceptio of the Null Sequece Test, all the tests for series covergece ad divergece that we have cosidered so far have dealt oly with series of oegative terms. Series with

More information

Chapter 6 Principles of Data Reduction

Chapter 6 Principles of Data Reduction Chapter 6 for BST 695: Special Topics i Statistical Theory. Kui Zhag, 0 Chapter 6 Priciples of Data Reductio Sectio 6. Itroductio Goal: To summarize or reduce the data X, X,, X to get iformatio about a

More information

SEQUENCES AND SERIES

SEQUENCES AND SERIES 9 SEQUENCES AND SERIES INTRODUCTION Sequeces have may importat applicatios i several spheres of huma activities Whe a collectio of objects is arraged i a defiite order such that it has a idetified first

More information

IP Reference guide for integer programming formulations.

IP Reference guide for integer programming formulations. IP Referece guide for iteger programmig formulatios. by James B. Orli for 15.053 ad 15.058 This documet is iteded as a compact (or relatively compact) guide to the formulatio of iteger programs. For more

More information

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4. 11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although

More information

The Random Walk For Dummies

The Random Walk For Dummies The Radom Walk For Dummies Richard A Mote Abstract We look at the priciples goverig the oe-dimesioal discrete radom walk First we review five basic cocepts of probability theory The we cosider the Beroulli

More information

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca Idia J Pure Appl Math 45): 75-89 February 204 c Idia Natioal Sciece Academy A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS Mircea Merca Departmet of Mathematics Uiversity

More information

ALMOST-SCHUR LEMMA CAMILLO DE LELLIS AND PETER M. TOPPING

ALMOST-SCHUR LEMMA CAMILLO DE LELLIS AND PETER M. TOPPING ALOST-SCHU LEA CAILLO DE LELLIS AND PETE. TOPPING. Itroductio Schur s lemma states that every Eistei maifold of dimesio 3 has costat scalar curvature. Here, g) is defied to be Eistei if its traceless icci

More information

A Block Cipher Using Linear Congruences

A Block Cipher Using Linear Congruences Joural of Computer Sciece 3 (7): 556-560, 2007 ISSN 1549-3636 2007 Sciece Publicatios A Block Cipher Usig Liear Cogrueces 1 V.U.K. Sastry ad 2 V. Jaaki 1 Academic Affairs, Sreeidhi Istitute of Sciece &

More information

Lecture 4 Conformal Mapping and Green s Theorem. 1. Let s try to solve the following problem by separation of variables

Lecture 4 Conformal Mapping and Green s Theorem. 1. Let s try to solve the following problem by separation of variables Lecture 4 Coformal Mappig ad Gree s Theorem Today s topics. Solvig electrostatic problems cotiued. Why separatio of variables does t always work 3. Coformal mappig 4. Gree s theorem The failure of separatio

More information

In algebra one spends much time finding common denominators and thus simplifying rational expressions. For example:

In algebra one spends much time finding common denominators and thus simplifying rational expressions. For example: 74 The Method of Partial Fractios I algebra oe speds much time fidig commo deomiators ad thus simplifyig ratioal epressios For eample: + + + 6 5 + = + = = + + + + + ( )( ) 5 It may the seem odd to be watig

More information

Expression for Restricted Partition Function through Bernoulli Polynomials

Expression for Restricted Partition Function through Bernoulli Polynomials Expressio for Restricted Partitio Fuctio through Beroulli Polyomials Boris Y. Rubistei Departmet of Mathematics, Uiversity of Califoria, Davis, Oe Shields Dr., Davis, CA 9566, U.S.A. February 28, 2005

More information

Dimension-free PAC-Bayesian bounds for the estimation of the mean of a random vector

Dimension-free PAC-Bayesian bounds for the estimation of the mean of a random vector Dimesio-free PAC-Bayesia bouds for the estimatio of the mea of a radom vector Olivier Catoi CREST CNRS UMR 9194 Uiversité Paris Saclay olivier.catoi@esae.fr Ilaria Giulii Laboratoire de Probabilités et

More information

Properties and Hypothesis Testing

Properties and Hypothesis Testing Chapter 3 Properties ad Hypothesis Testig 3.1 Types of data The regressio techiques developed i previous chapters ca be applied to three differet kids of data. 1. Cross-sectioal data. 2. Time series data.

More information

ANOTHER GENERALIZED FIBONACCI SEQUENCE 1. INTRODUCTION

ANOTHER GENERALIZED FIBONACCI SEQUENCE 1. INTRODUCTION ANOTHER GENERALIZED FIBONACCI SEQUENCE MARCELLUS E. WADDILL A N D LOUIS SACKS Wake Forest College, Wisto Salem, N. C., ad Uiversity of ittsburgh, ittsburgh, a. 1. INTRODUCTION Recet issues of umerous periodicals

More information

Problems from 9th edition of Probability and Statistical Inference by Hogg, Tanis and Zimmerman:

Problems from 9th edition of Probability and Statistical Inference by Hogg, Tanis and Zimmerman: Math 224 Fall 2017 Homework 4 Drew Armstrog Problems from 9th editio of Probability ad Statistical Iferece by Hogg, Tais ad Zimmerma: Sectio 2.3, Exercises 16(a,d),18. Sectio 2.4, Exercises 13, 14. Sectio

More information

Lecture 6 Chi Square Distribution (χ 2 ) and Least Squares Fitting

Lecture 6 Chi Square Distribution (χ 2 ) and Least Squares Fitting Lecture 6 Chi Square Distributio (χ ) ad Least Squares Fittig Chi Square Distributio (χ ) Suppose: We have a set of measuremets {x 1, x, x }. We kow the true value of each x i (x t1, x t, x t ). We would

More information

Large holes in quasi-random graphs

Large holes in quasi-random graphs Large holes i quasi-radom graphs Joaa Polcy Departmet of Discrete Mathematics Adam Mickiewicz Uiversity Pozań, Polad joaska@amuedupl Submitted: Nov 23, 2006; Accepted: Apr 10, 2008; Published: Apr 18,

More information

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163

More information

A MODIFIED BERNOULLI NUMBER. D. Zagier

A MODIFIED BERNOULLI NUMBER. D. Zagier A MODIFIED BERNOULLI NUMBER D. Zagier The classical Beroulli umbers B, defied by the geeratig fuctio x e x = = B x!, ( have may famous ad beautiful properties, icludig the followig three: (i B = for odd

More information

4.1 Data processing inequality

4.1 Data processing inequality ECE598: Iformatio-theoretic methods i high-dimesioal statistics Sprig 206 Lecture 4: Total variatio/iequalities betwee f-divergeces Lecturer: Yihog Wu Scribe: Matthew Tsao, Feb 8, 206 [Ed. Mar 22] Recall

More information

Discrete Orthogonal Moment Features Using Chebyshev Polynomials

Discrete Orthogonal Moment Features Using Chebyshev Polynomials Discrete Orthogoal Momet Features Usig Chebyshev Polyomials R. Mukuda, 1 S.H.Og ad P.A. Lee 3 1 Faculty of Iformatio Sciece ad Techology, Multimedia Uiversity 75450 Malacca, Malaysia. Istitute of Mathematical

More information

Bernoulli, Ramanujan, Toeplitz e le matrici triangolari

Bernoulli, Ramanujan, Toeplitz e le matrici triangolari Due Giori di Algebra Lieare Numerica www.dima.uige.it/ dibeede/gg/home.html Geova, 6 7 Febbraio Beroulli, Ramauja, Toeplitz e le matrici triagolari Carmie Di Fiore, Fracesco Tudisco, Paolo Zellii Speaker:

More information

This is an introductory course in Analysis of Variance and Design of Experiments.

This is an introductory course in Analysis of Variance and Design of Experiments. 1 Notes for M 384E, Wedesday, Jauary 21, 2009 (Please ote: I will ot pass out hard-copy class otes i future classes. If there are writte class otes, they will be posted o the web by the ight before class

More information

The Arakawa-Kaneko Zeta Function

The Arakawa-Kaneko Zeta Function The Arakawa-Kaeko Zeta Fuctio Marc-Atoie Coppo ad Berard Cadelpergher Nice Sophia Atipolis Uiversity Laboratoire Jea Alexadre Dieudoé Parc Valrose F-0608 Nice Cedex 2 FRANCE Marc-Atoie.COPPO@uice.fr Berard.CANDELPERGHER@uice.fr

More information

Hyperreal Structures Arising From An Infinite Base Logarithm

Hyperreal Structures Arising From An Infinite Base Logarithm Hyperreal Structures Arisig From A Ifiite Base Logarithm by Eric Legyel Copyright 996 Abstract This paper presets ew cocepts i the use of ifiite ad ifiitesimal umbers i real aalysis The theory is based

More information

An alternative proof of a theorem of Aldous. concerning convergence in distribution for martingales.

An alternative proof of a theorem of Aldous. concerning convergence in distribution for martingales. A alterative proof of a theorem of Aldous cocerig covergece i distributio for martigales. Maurizio Pratelli Dipartimeto di Matematica, Uiversità di Pisa. Via Buoarroti 2. I-56127 Pisa, Italy e-mail: pratelli@dm.uipi.it

More information

REVISION SHEET FP1 (MEI) ALGEBRA. Identities In mathematics, an identity is a statement which is true for all values of the variables it contains.

REVISION SHEET FP1 (MEI) ALGEBRA. Identities In mathematics, an identity is a statement which is true for all values of the variables it contains. the Further Mathematics etwork wwwfmetworkorguk V 07 The mai ideas are: Idetities REVISION SHEET FP (MEI) ALGEBRA Before the exam you should kow: If a expressio is a idetity the it is true for all values

More information