Integral Geometry and Algebraic Structures for Tensor Valuations

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

In the preceding Chapters, the mathematical ideas underpinning the quantum theory have been

In the preceding Chapters, the mathematical ideas underpinning the quantum theory have been Chapter Matrix Represetatios of State Vectors ad Operators I the precedig Chapters, the mathematical ideas uderpiig the quatum theory have bee developed i a fairly geeral (though, admittedly, ot a mathematically

More information

Definitions and Theorems. where x are the decision variables. c, b, and a are constant coefficients.

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

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

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

(b) What is the probability that a particle reaches the upper boundary n before the lower boundary m?

(b) What is the probability that a particle reaches the upper boundary n before the lower boundary m? MATH 529 The Boudary Problem The drukard s walk (or boudary problem) is oe of the most famous problems i the theory of radom walks. Oe versio of the problem is described as follows: Suppose a particle

More information

JOHN S DECOMPOSITION OF THE IDENTITY IN THE NON-CONVEX CASE. Jesus Bastero* and Miguel Romance**

JOHN S DECOMPOSITION OF THE IDENTITY IN THE NON-CONVEX CASE. Jesus Bastero* and Miguel Romance** JOHN S DECOMPOSITION OF THE IDENTITY IN THE NON-CONVEX CASE Jesus Bastero* ad Miguel Romace** Abstract We prove a extesio of the classical Joh s Theorem, that characterices the ellipsoid of maximal volume

More information

Expected Norms of Zero-One Polynomials

Expected Norms of Zero-One Polynomials DRAFT: Caad. Math. Bull. July 4, 08 :5 File: borwei80 pp. Page Sheet of Caad. Math. Bull. Vol. XX (Y, ZZZZ pp. 0 0 Expected Norms of Zero-Oe Polyomials Peter Borwei, Kwok-Kwog Stephe Choi, ad Idris Mercer

More information

4.1 Sigma Notation and Riemann Sums

4.1 Sigma Notation and Riemann Sums 0 the itegral. Sigma Notatio ad Riema Sums Oe strategy for calculatig the area of a regio is to cut the regio ito simple shapes, calculate the area of each simple shape, ad the add these smaller areas

More information

FIXED POINTS OF n-valued MULTIMAPS OF THE CIRCLE

FIXED POINTS OF n-valued MULTIMAPS OF THE CIRCLE FIXED POINTS OF -VALUED MULTIMAPS OF THE CIRCLE Robert F. Brow Departmet of Mathematics Uiversity of Califoria Los Ageles, CA 90095-1555 e-mail: rfb@math.ucla.edu November 15, 2005 Abstract A multifuctio

More information

A COUNTABLE SPACE WITH AN UNCOUNTABLE FUNDAMENTAL GROUP

A COUNTABLE SPACE WITH AN UNCOUNTABLE FUNDAMENTAL GROUP A COUNTABLE SPACE WITH AN UNCOUNTABLE FUNDAMENTAL GROUP JEREMY BRAZAS AND LUIS MATOS Abstract. Traditioal examples of spaces that have ucoutable fudametal group (such as the Hawaiia earrig space) are path-coected

More information

SOLVING LINEAR RECURSIONS OVER ALL FIELDS

SOLVING LINEAR RECURSIONS OVER ALL FIELDS SOLVING LINEAR RECURSIONS OVER ALL FIELDS KEITH CONRAD 1. Itroductio A sequece {a } = a 0, a 1, a,... i a field K satisfies a liear recursio if there are c 1,..., c d K such that 1.1 a = c 1 a 1 + c a

More information

MATHEMATICS: CONCEPTS, AND FOUNDATION Vol. I - Complex Analytic Geometry - Tatsuo SUWA

MATHEMATICS: CONCEPTS, AND FOUNDATION Vol. I - Complex Analytic Geometry - Tatsuo SUWA MATHEMATICS: CNCEPTS, AND FUNDATIN Vol I - Complex Aalytic Geometry - Tatsuo SUWA CMPLEX ANALYTIC GEMETRY Tatsuo SUWA Departmet of Iformatio Egieerig, Niigata Uiversity, Japa Keywords: holomorphic fuctio,

More information

APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS

APPLICATION OF YOUNG S INEQUALITY TO VOLUMES OF CONVEX SETS 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

More information

Gamma Distribution and Gamma Approximation

Gamma Distribution and Gamma Approximation Gamma Distributio ad Gamma Approimatio Xiaomig Zeg a Fuhua (Frak Cheg b a Xiame Uiversity, Xiame 365, Chia mzeg@jigia.mu.edu.c b Uiversity of Ketucky, Leigto, Ketucky 456-46, USA cheg@cs.uky.edu Abstract

More information

A RANK STATISTIC FOR NON-PARAMETRIC K-SAMPLE AND CHANGE POINT PROBLEMS

A RANK STATISTIC FOR NON-PARAMETRIC K-SAMPLE AND CHANGE POINT PROBLEMS J. Japa Statist. Soc. Vol. 41 No. 1 2011 67 73 A RANK STATISTIC FOR NON-PARAMETRIC K-SAMPLE AND CHANGE POINT PROBLEMS Yoichi Nishiyama* We cosider k-sample ad chage poit problems for idepedet data i a

More information

1 Hash tables. 1.1 Implementation

1 Hash tables. 1.1 Implementation Lecture 8 Hash Tables, Uiversal Hash Fuctios, Balls ad Bis Scribes: Luke Johsto, Moses Charikar, G. Valiat Date: Oct 18, 2017 Adapted From Virgiia Williams lecture otes 1 Hash tables A hash table is a

More information

Fundamental Concepts: Surfaces and Curves

Fundamental Concepts: Surfaces and Curves UNDAMENTAL CONCEPTS: SURACES AND CURVES CHAPTER udametal Cocepts: Surfaces ad Curves. INTRODUCTION This chapter describes two geometrical objects, vi., surfaces ad curves because the pla a ver importat

More information

ROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS. 1. Introduction

ROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS. 1. Introduction t m Mathematical Publicatios DOI: 10.1515/tmmp-2016-0033 Tatra Mt. Math. Publ. 67 (2016, 93 98 ROTATION-EQUIVALENCE CLASSES OF BINARY VECTORS Otokar Grošek Viliam Hromada ABSTRACT. I this paper we study

More information

Rademacher Complexity

Rademacher Complexity EECS 598: Statistical Learig Theory, Witer 204 Topic 0 Rademacher Complexity Lecturer: Clayto Scott Scribe: Ya Deg, Kevi Moo Disclaimer: These otes have ot bee subjected to the usual scrutiy reserved for

More information

MAS111 Convergence and Continuity

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

The Ratio Test. THEOREM 9.17 Ratio Test Let a n be a series with nonzero terms. 1. a. n converges absolutely if lim. n 1

The Ratio Test. THEOREM 9.17 Ratio Test Let a n be a series with nonzero terms. 1. a. n converges absolutely if lim. n 1 460_0906.qxd //04 :8 PM Page 69 SECTION 9.6 The Ratio ad Root Tests 69 Sectio 9.6 EXPLORATION Writig a Series Oe of the followig coditios guaratees that a series will diverge, two coditios guaratee that

More information

The Gamma function Michael Taylor. Abstract. This material is excerpted from 18 and Appendix J of [T].

The Gamma function Michael Taylor. Abstract. This material is excerpted from 18 and Appendix J of [T]. The Gamma fuctio Michael Taylor Abstract. This material is excerpted from 8 ad Appedix J of [T]. The Gamma fuctio has bee previewed i 5.7 5.8, arisig i the computatio of a atural Laplace trasform: 8. ft

More information

Signal Processing in Mechatronics. Lecture 3, Convolution, Fourier Series and Fourier Transform

Signal Processing in Mechatronics. Lecture 3, Convolution, Fourier Series and Fourier Transform Sigal Processig i Mechatroics Summer semester, 1 Lecture 3, Covolutio, Fourier Series ad Fourier rasform Dr. Zhu K.P. AIS, UM 1 1. Covolutio Covolutio Descriptio of LI Systems he mai premise is that the

More information

AN INTRODUCTION TO SPECTRAL GRAPH THEORY

AN INTRODUCTION TO SPECTRAL GRAPH THEORY AN INTRODUCTION TO SPECTRAL GRAPH THEORY JIAQI JIANG Abstract. Spectral graph theory is the study of properties of the Laplacia matrix or adjacecy matrix associated with a graph. I this paper, we focus

More information

Regression with an Evaporating Logarithmic Trend

Regression with an Evaporating Logarithmic Trend Regressio with a Evaporatig Logarithmic Tred Peter C. B. Phillips Cowles Foudatio, Yale Uiversity, Uiversity of Aucklad & Uiversity of York ad Yixiao Su Departmet of Ecoomics Yale Uiversity October 5,

More information

Probabilistic and Average Linear Widths in L -Norm with Respect to r-fold Wiener Measure

Probabilistic and Average Linear Widths in L -Norm with Respect to r-fold Wiener Measure joural of approximatio theory 84, 3140 (1996) Article No. 0003 Probabilistic ad Average Liear Widths i L -Norm with Respect to r-fold Wieer Measure V. E. Maiorov Departmet of Mathematics, Techio, Haifa,

More information

Concavity of weighted arithmetic means with applications

Concavity of weighted arithmetic means with applications Arch. Math. 69 (1997) 120±126 0003-889X/97/020120-07 $ 2.90/0 Birkhäuser Verlag, Basel, 1997 Archiv der Mathematik Cocavity of weighted arithmetic meas with applicatios By ARKADY BERENSTEIN ad ALEK VAINSHTEIN*)

More information

Math 140A Elementary Analysis Homework Questions 1

Math 140A Elementary Analysis Homework Questions 1 Math 14A Elemetary Aalysis Homewor Questios 1 1 Itroductio 1.1 The Set N of Natural Numbers 1 Prove that 1 2 2 2 2 1 ( 1(2 1 for all atural umbers. 2 Prove that 3 11 (8 5 4 2 for all N. 4 (a Guess a formula

More information

Introduction to Machine Learning DIS10

Introduction to Machine Learning DIS10 CS 189 Fall 017 Itroductio to Machie Learig DIS10 1 Fu with Lagrage Multipliers (a) Miimize the fuctio such that f (x,y) = x + y x + y = 3. Solutio: The Lagragia is: L(x,y,λ) = x + y + λ(x + y 3) Takig

More information

1. By using truth tables prove that, for all statements P and Q, the statement

1. By using truth tables prove that, for all statements P and Q, the statement Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3

More information

Fourier Series and the Wave Equation

Fourier Series and the Wave Equation Fourier Series ad the Wave Equatio We start with the oe-dimesioal wave equatio u u =, x u(, t) = u(, t) =, ux (,) = f( x), u ( x,) = This represets a vibratig strig, where u is the displacemet of the strig

More information

sin(n) + 2 cos(2n) n 3/2 3 sin(n) 2cos(2n) n 3/2 a n =

sin(n) + 2 cos(2n) n 3/2 3 sin(n) 2cos(2n) n 3/2 a n = 60. Ratio ad root tests 60.1. Absolutely coverget series. Defiitio 13. (Absolute covergece) A series a is called absolutely coverget if the series of absolute values a is coverget. The absolute covergece

More information

On Orlicz N-frames. 1 Introduction. Renu Chugh 1,, Shashank Goel 2

On Orlicz N-frames. 1 Introduction. Renu Chugh 1,, Shashank Goel 2 Joural of Advaced Research i Pure Mathematics Olie ISSN: 1943-2380 Vol. 3, Issue. 1, 2010, pp. 104-110 doi: 10.5373/jarpm.473.061810 O Orlicz N-frames Reu Chugh 1,, Shashak Goel 2 1 Departmet of Mathematics,

More information

17 Phonons and conduction electrons in solids (Hiroshi Matsuoka)

17 Phonons and conduction electrons in solids (Hiroshi Matsuoka) 7 Phoos ad coductio electros i solids Hiroshi Matsuoa I this chapter we will discuss a miimal microscopic model for phoos i a solid ad a miimal microscopic model for coductio electros i a simple metal.

More information

Analysis of Algorithms. Introduction. Contents

Analysis of Algorithms. Introduction. Contents Itroductio The focus of this module is mathematical aspects of algorithms. Our mai focus is aalysis of algorithms, which meas evaluatig efficiecy of algorithms by aalytical ad mathematical methods. We

More information

Fourier series and the δ 2 process

Fourier series and the δ 2 process Fourier series ad the δ process Eyuel Abebe* Jameso Graber* Charles N. Moore Worcester Polytechic Istitute Washigto ad Lee Uiversity Kasas State Uiversity Worcester, MA 0609 Lexigto, VA 4450 Mahatta, KS

More information

PHY4905: Nearly-Free Electron Model (NFE)

PHY4905: Nearly-Free Electron Model (NFE) PHY4905: Nearly-Free Electro Model (NFE) D. L. Maslov Departmet of Physics, Uiversity of Florida (Dated: Jauary 12, 2011) 1 I. REMINDER: QUANTUM MECHANICAL PERTURBATION THEORY A. No-degeerate eigestates

More information

Hashing and Amortization

Hashing and Amortization Lecture Hashig ad Amortizatio Supplemetal readig i CLRS: Chapter ; Chapter 7 itro; Sectio 7.. Arrays ad Hashig Arrays are very useful. The items i a array are statically addressed, so that isertig, deletig,

More information

Math 475, Problem Set #12: Answers

Math 475, Problem Set #12: Answers Math 475, Problem Set #12: Aswers A. Chapter 8, problem 12, parts (b) ad (d). (b) S # (, 2) = 2 2, sice, from amog the 2 ways of puttig elemets ito 2 distiguishable boxes, exactly 2 of them result i oe

More information

Topics in Probability Theory and Stochastic Processes Steven R. Dunbar. Stirling s Formula Derived from the Gamma Function

Topics in Probability Theory and Stochastic Processes Steven R. Dunbar. Stirling s Formula Derived from the Gamma Function Steve R. Dubar Departmet of Mathematics 23 Avery Hall Uiversity of Nebraska-Licol Licol, NE 68588-3 http://www.math.ul.edu Voice: 42-472-373 Fax: 42-472-8466 Topics i Probability Theory ad Stochastic Processes

More information

Q-BINOMIALS AND THE GREATEST COMMON DIVISOR. Keith R. Slavin 8474 SW Chevy Place, Beaverton, Oregon 97008, USA.

Q-BINOMIALS AND THE GREATEST COMMON DIVISOR. Keith R. Slavin 8474 SW Chevy Place, Beaverton, Oregon 97008, USA. INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 2008, #A05 Q-BINOMIALS AND THE GREATEST COMMON DIVISOR Keith R. Slavi 8474 SW Chevy Place, Beaverto, Orego 97008, USA slavi@dsl-oly.et Received:

More information

Løsningsførslag i 4M

Løsningsførslag i 4M Norges tekisk aturviteskapelige uiversitet Istitutt for matematiske fag Side 1 av 6 Løsigsførslag i 4M Oppgave 1 a) A sketch of the graph of the give f o the iterval [ 3, 3) is as follows: The Fourier

More information

Analysis of the Expected Number of Bit Comparisons Required by Quickselect

Analysis of the Expected Number of Bit Comparisons Required by Quickselect Aalysis of the Expected Number of Bit Comparisos Required by Quickselect James Alle Fill Takéhiko Nakama Abstract Whe algorithms for sortig ad searchig are applied to keys that are represeted as bit strigs,

More information

IT is well known that Brouwer s fixed point theorem can

IT is well known that Brouwer s fixed point theorem can IAENG Iteratioal Joural of Applied Mathematics, 4:, IJAM_4 0 Costructive Proof of Brouwer s Fixed Poit Theorem for Sequetially Locally No-costat ad Uiformly Sequetially Cotiuous Fuctios Yasuhito Taaka,

More information

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary

More information

On a general q-identity

On a general q-identity O a geeral -idetity Aimi Xu Istitute of Mathematics Zheiag Wali Uiversity Nigbo 3500, Chia xuaimi009@hotmailcom; xuaimi@zwueduc Submitted: Dec 2, 203; Accepted: Apr 24, 204; Published: May 9, 204 Mathematics

More information

.-SIMILAR BASES. P(Xn)} E % i. MOTIVATION. -base, similar sequences, -similar sequences, normal and symmetric sequence spaces.

.-SIMILAR BASES. P(Xn)} E % i. MOTIVATION. -base, similar sequences, -similar sequences, normal and symmetric sequence spaces. Iterat. J. Math. & Math. Sci. Vol. i0 No. 2 (1987) 227-232 227.-SIMILAR BASES MANJUL GUPTA ad P.K. KAMTHAN Departmet of Mathematics Idia Istitute of Techology Kapur, 208016 INDIA (Received May I, 1986)

More information

CS / MCS 401 Homework 3 grader solutions

CS / MCS 401 Homework 3 grader solutions CS / MCS 401 Homework 3 grader solutios assigmet due July 6, 016 writte by Jāis Lazovskis maximum poits: 33 Some questios from CLRS. Questios marked with a asterisk were ot graded. 1 Use the defiitio of

More information

Numerical Methods in Fourier Series Applications

Numerical Methods in Fourier Series Applications Numerical Methods i Fourier Series Applicatios Recall that the basic relatios i usig the Trigoometric Fourier Series represetatio were give by f ( x) a o ( a x cos b x si ) () where the Fourier coefficiets

More information

MTH Assignment 1 : Real Numbers, Sequences

MTH Assignment 1 : Real Numbers, Sequences MTH -26 Assigmet : Real Numbers, Sequeces. Fid the supremum of the set { m m+ : N, m Z}. 2. Let A be a o-empty subset of R ad α R. Show that α = supa if ad oly if α is ot a upper boud of A but α + is a

More information

Factors of alternating sums of products of binomial and q-binomial coefficients

Factors of alternating sums of products of binomial and q-binomial coefficients ACTA ARITHMETICA 1271 (2007 Factors of alteratig sums of products of biomial ad q-biomial coefficiets by Victor J W Guo (Shaghai Frédéric Jouhet (Lyo ad Jiag Zeg (Lyo 1 Itroductio I 1998 Cali [4 proved

More information

Poisson s remarkable calculation - a method or a trick?

Poisson s remarkable calculation - a method or a trick? Poisso s remarkable calculatio - a method or a trick? Deis Bell 1 Departmet of Mathematics, Uiversity of North Florida 1 UNF Drive, Jacksoville, FL 34, U. S. A. email: dbell@uf.edu The Gaussia fuctio e

More information

Quadratic Transformations of Hypergeometric Function and Series with Harmonic Numbers

Quadratic Transformations of Hypergeometric Function and Series with Harmonic Numbers Quadratic Trasformatios of Hypergeometric Fuctio ad Series with Harmoic Numbers Marti Nicholso I this brief ote, we show how to apply Kummer s ad other quadratic trasformatio formulas for Gauss ad geeralized

More information