Generalized Fano and non-fano networks
|
|
- Emil Dustin McDonald
- 5 years ago
- Views:
Transcription
1 Generlized Fno nd non-fno networks Nildri Ds nd Brijesh Kumr Ri Deprtment of Electronics nd Electricl Engineering Indin Institute of Technology Guwhti, Guwhti, Assm, Indi Emil: {d.nildri, rxiv: v [cs.it] 9 Sep 26 Abstrct It is known tht the Fno network hs vector liner solution if nd only if the chrcteristic of the finite field is 2; nd the non-fno network hs vector liner solution if nd only if the chrcteristic of the finite field is not 2. Using these properties of Fno nd non-fno networks it hs been shown tht liner network coding is insufficient. In this pper we generlize the properties of Fno nd non-fno networks. Specificlly, by dding more nodes nd edges to the Fno network, we construct network which hs vector liner solution for ny vector dimension if nd only if the chrcteristic of the finite field belongs to n rbitrry given set of primes {p, p 2,..., p l }. Similrly, by dding more nodes nd edges to the non-fno network, we construct network which hs vector liner solution for ny vector dimension if nd only if the chrcteristic of the finite field does not belong to n rbitrry given set of primes {p, p 2,..., p l }. I. INTRODUCTION Network coding refers to dt trnsmission scheme whereby insted of treting dt symbols s commodity, the intermedite nodes forwrd dt which re functions of incoming dt symbols. By using such trnsmission scheme it hs been shown tht the min-cut upper bound on the cpcity of multicst networks cn be chieved []. Liner network coding refers to the network coding scheme where ll the nodes re restricted to compute only liner functions. More precisely, in liner network coding, the dt symbols generted by the sources re ssumed to belong to finite field sy F q, nd nodes trnsmit F q -liner combintion of the dt symbols it receives. It is known tht the liner coding cpcity of network cn be dependent on the chrcteristic of the finite field [2]. In [2] Dougherty et l. constructed network, nmed s the Fno network, which hs sclr liner solution over ny finite field of chrcteristic 2, but hs no vector liner solution for ny vector dimension over ny finite field of odd chrcteristic. By dding more nodes nd edges to the sme network we show tht for ny set of prime numbers {p, p 2,..., p l }, the resulting network hs sclr liner solution if the chrcteristic belong to the given set of primes) vector liner solution for ny vector dimension if nd only if the chrcteristic of the finite field belong to the given set. Along with the Fno network, Dougherty et l. lso presented the non-fno network in [3] which hs sclr liner solution if the chrcteristic of the finite field is ny prime number other thn 2, but hs not vector liner solution for ny vector dimension if the chrcteristic of the finite field is 2. We use the sme network s sub-network to construct network which for ny given set of prime numbers {p, p 2,..., p l } hs vector liner solution if nd only if the chrcteristic of the finite field does not belong to the given set. Both of the Fno nd the non-fno networks hve been constructed from the Fno nd non-fno mtroid respectively. Considering the equivlence between mtroids nd liner network coding presented in [3] nd [4], our results lso show tht from the Fno nd non-fno mtroid itself, mtroids cn be constructed which re representble if nd only if the chrcteristic of the finite field belong to some rbitrry finite or co-finite set of primes. A combintion of the Fno nd non- Fno network hs been used in [2] to show tht liner network coding is insufficient. The chievble rte region for the Fno nd non-fno networks were described in reference [5]. It is to be noted tht in references [6] nd [7] it hs been lredy shown tht for ny set of prime numbers {p, p 2,..., p l }, there exists network which hs vector liner solution for ny vector dimension if nd only if the chrcteristic of the finite field belong to the given set. The uthors first proved the results for sum-networks, nd then showed tht for every sum-network there exists liner solvbly equivlent multiple-unicst network. Similrly, for ny set of prime numbers {p, p 2,..., p l }, they constructed sum-network which hs vector liner solution if nd only if the chrcteristic of the finite field does not belong to the given set. Invoking the sme liner equivlence between multipleunicst networks nd sum-networks they showed the sme properties hold for multiple-unicst networks. However, to the best of our knowledge this is the first time it is shown tht the Fno-network nd the non-fno network itself cn be used s sub-network to construct network hving the sme properties with n dded desirbility tht these networks re simpler s they hve less number of sources, terminls, nodes nd edges. The orgniztion of the pper is s follows. In Section II we reproduce the stndrd definition of vector liner network coding. In Section III, we present the generlized Fno network, nd in the following section, Section IV, we present the generlized non-fno network. We conclude the pper in Section V. II. PRELIMINARIES We represent network by grph GV, E). Some of the nodes re considered s sources nd some s terminls. It is ssumed tht the sources hve no incoming edges nd the terminls hve no outgoing edges. The set of sources is denoted by S; nd the set of terminls is denoted by T. Every
2 b c b c u u 2 u 3 u 4 u u 2 u 3 u 4 u 5 u 7 u 6 u 8 e u 5 u 7 u 6 u 8 e u 9 u 9 u 0 u 0 Fig.. solution. u u 2 u 3 c b ) The Fno network u u 2 u 3 u4 c b c b) A modified Fno network A modified Fno network which hs n l-dimensionl vector liner solution if nd only if the Fno network hs n l-dimensionl vector liner source genertes n i.i.d. rndom process uniformly distributed over finite lphbet. In liner network coding this lphbet is ssumed to be finite field F q. Any source process is independent of ll other source processes. The source process generted by source s S is denoted by X s. Ech terminl is required to retrieve the rndom process generted t some source. The symbol crried by n edge e is denoted by Y e. A node v V is clled n intermedite node if it is neither source node nor terminl node. Inv) denotes the set of edges e such tht hede) = v. Outv) denotes the set of edges e such tht tile) = v. The i th edge between nodes v nd v 2 is denoted by v, v 2, i). In cse there is only one edge between v nd v 2, we denote it by v, v 2 ). A k-dimensionl vector liner network coding is defined s follows. If e Outs) for ny s S, then Y e = A s,e X s where Y e, X s F k q nd A s,e F k k q. For ny intermedite node v, if e Outv) nd Inv) = {e, e 2,..., e n }, then Y e = A e,vy e + A e2,vy e2 + + A en,vy en, where Y e, Y e, Y e2,..., Y en F k q nd A ei,v F k k q for i n. Ech terminl t T cn compute block of k symbols from source s Y t = A e,ty e + A e2,ty e2 + + A en,ty en where Int) = {e, e 2,..., e n }, Y e, Y e2,..., Y en F k q nd A ei,t F k k q for i n. If ll terminls, by obeying the bove restrictions, cn compute block of k symbols from their respective sources in k usges of the network, then the network is sid to hve k- dimensionl vector liner solution, or nlogously, the network is sid to be vector linerly solvble for k vector dimensions. In k-dimensionl vector liner solution, k is clled s the vector dimension. When the network hs n -dimensionl vector liner solution the network is sid to be sclr linerly solvble. The mtrices indicted bove by A,b where nd b is either node or n edge re clled s locl coding mtrices. III. GENERALIZED FANO NETWORK In this section, for ny set of prime numbers {p, p 2,..., p l }, network is constructed, by dding more nodes nd edges to the Fno network, which hs vector liner solution for ny messge dimension if nd only if the chrcteristic of the finite field belong to the set {p, p 2,..., p l }. The Fno network shown in [2] ws constructed using n lgorithm given in [3] tht tkes the Fno mtroid s n input. Considering tht there is no unique lgorithm to construct network from mtroid, nd lso tht the construction lgorithm given in [3] itself leves the scope of dding more terminls, we hve found tht modified Fno network which will be shown to be liner solvbly equivlent to the Fno network) to be the one which is the specil cse of the generlized Fno network constructed in this pper.towrds this end, we present modified Fno network which hs n l-dimensionl vector liner solution if nd only if the Fno network hs n l-dimensionl vector liner solution. The Fno network reproduced from [2] is shown in Fig. nd the modified Fno network is shown in Fig. b. Ech of these two networks hs three sources which generte the rndom processes, b nd c respectively. The nodes t the bottom re the terminl nodes. Ech terminl demnds one of the source processes from, b nd c s
3 indicted in the figures. To note tht the modified Fno network is constructed by dding two edges nd one terminl to the Fno network. Lemm. The network shown in Fig. b hs n l-dimensionl vector liner solution if nd only if the Fno network hs n l-dimensionl vector liner solution. Proof: We first show tht if the Fno network hs n l-dimensionl vector liner solution then the modified Fno network lso hs n l-dimensionl vector liner solution. Here we give the proof for the sclr liner solution, i.e., we prove tht if the Fno network hs sclr liner solution then the modified Fno network lso hs sclr liner solution. Sy Y e = αb+βc. It we cn show tht β 0, then upon receiving b from the direct edge, node u 4 in the modified Fno network cn compute c. Sy β = 0. Since c is computed t u, nd u 2, u 4 ) disconnects the source tht genertes c nd node u, the coefficient multiplying c in Y u2,u 4) cnnot be zero. Hence if β = 0, it mens Y u2,u 4) hs been multiplied by zero, nd Y e = 0. Then, from u 6, u 8 ) solely, must be retrieved by u 2. And hence the coefficient of b nd c in Y u6,u 8) is zero. So b must be retrieved t node u 2 from u 5, u 7 ) solely, nd this indictes tht the coefficient of c in Y u5,u 7) is zero. Therefore, node u cnnot compute c which is contrdiction. So, β 0. The proof for l-dimensionl vector liner solution cn be done in similr wy by tking β s l l mtrix nd showing tht mtrix β hs to be full rnk mtrix. The converse tht if the modified Fno network hs n l-dimensionl vector liner solution then the Fno network lso hs n l-dimensionl vector liner solution is immedite becuse the Fno network is sub- network of the modified Fno network. We now present the generlized Fno network in Fig. 2. The top nodes re sources, nd the sources generte the rndom processes,,,..., b p nd c respectively. The locl coding mtrices in the network re shown longside the edges in cpitl letters. To mintin the clenliness of the figure, some of the direct edges hve been depicted by edge without til node long with the nottion of the source process it is connected to. The prmeter q which determines the number of nodes nd edges in the network cn tke ny integer vlue greter thn or equl to two. Note tht the network shown in Fig 2 reduces to the modified Fno network shown in Fig. b for q = 2. Lemm 2. The network shown in Fig. 2 hs vector liner solution for ny vector dimension if nd only if the chrcteristic of the finite field divides q. Proof: We first show tht the network in Fig. 2 hs vector liner solution only if the chrcteristic of the finite field divides q. Sy, the network hs k dimensionl vector liner solution. Y u,u 3 = D + A i b i ) Y u2,u 4 = B i b i + D 2 c 2) Y u5,u 7 = M e 3 + M 2 e 24 = M D + M A i + M 2 B i )b i + M 2 D 2 c 3) Y u6,u 8 = M 3 e 3 + D 3 c = M 3 D + M 3 A i b i + D 3 c 4) Y ei = W i e 24 + = W i B i b i + U ji b j for i q W i B j + U ji )b j + W i D 2 c 5) Y u9,u 0 = M 4 e 5,7 + M 5 e 6,8 = M 4 M D + M 5 M 3 D ) + M 4 M A i + M 2 B i ) + M 5 M 3 A i )b i + M 4 M 2 D 2 + M 5 D 3 )c 6) Since t computes c, for i q, we hve: Q M D + D 4 = 0 7) Q M A i + M 2 B i ) = 0 8) Q M 2 D 2 = I 9) Since t i for 2 i q computes b i, for i, j q nd j i, we hve: K i M 4 M D + M 5 M 3 D ) = 0 0) K i M 4 M A i + M 2 B i ) + M 5 M 3 A i ) = I ) K i M 4 M A j + M 2 B j ) + M 5 M 3 A j ) + J ji = 0 2) K i M 4 M 2 D 2 + M 5 D 3 ) = 0 3) Since t q+ retrieves, for i q, we hve: Q 2 M 3 D = I 4) Q 2 M 3 A i + R i W i B i + R j W j B i + U ij ) = 0 5) Q 2 D 3 + R i W i D 2 = 0 6) Since t q++i for i q demnds c, for i, j q nd j i, we hve: V i W i B i + E i = 0 7) V i W i B j + U ji ) = 0 8) V i W i D 2 = I 9) From eqution 9), we know tht Q is invertible. Hence from eqution 8), we hve for i q : M A i + M 2 B i = 0 20) From eqution ), we know tht K i is invertible for i q. Hence from 0), we hve, M 4 M D + M 5 M 3 D = 0 2)
4 b c A A 2 B D B 2 D2 A B u u 2 u 3 u 4 W M M3 M 2 D 3 W W 2 b 3 b 3 U 2 U 3 b U 2 U32 b U ) U2) b q 2 u 5 u 6 U ) U )2 U q 2)) e e 2 e u 7 u 8 M 4 M 5 u 9 D 4 Q u 0 K K 2 K Q 2 R R 2 R b 3 J 2 J 3 b b3 J 2 J 32 b J ) J 2) b q 2 V V 2 V b b J ) J )2 Jq 2)) E E 2 E t t 2 t 3 t q t tq+ q+2 t q+3 t 2q c b c c c Fig. 2. Generlized Fno network: for ny integer q 2, the network is vector linerly solvble for ny vector dimension if nd only if the chrcteristic of the finite field divides q It cn be seen from eqution 4) tht D is lso invertible. Hence from eqution 2), M 4 M + M 5 M 3 = 0 22) Substituting eqution 20) in eqution ), we hve for i q : K i M 5 M 3 A i = I 23) Also from eqution 3), we hve: M 4 M 2 D 2 + M 5 D 3 = 0 24) From eqution 9), it cn be seen tht V i is invertible for i q. Hence, from eqution 8) for i, j q nd j i, W i B j + U ji = 0 25) Substituting eqution 25) in eqution 5) for i q : Q 2 M 3 A i + R i W i B i = 0 26) Since D 2 is invertible becuse of eqution 9), from eqution 6) we hve: 2 + R i W i = 0 27) Note tht since from eqution 23), M 3 A i is invertible nd from eqution 4), Q 2 is invertible, R i W i B i in eqution 26) invertible, nd hence B i nd A i must be invertible for i q. Also note tht M 2 in eqution 9) is invertible. Hence, from eqution 20), M is invertible. Also from eqution 23) M 5 is invertible. Substituting R i W i from eqution 26) in eqution 27) we hve: Q 2 M 3 A i B i = 0 28) Q 2 M 3 A i B i = 0 29)
5 2 + Q 2 M 3 M M 2) = 0 [ from 20)] 30) Q M 3 M )M 2 = 0 3) Q 2 M 5 M 4M 2 = 0 [ from 22)] 32) Q D 3 D ) = 0 [ from 24)] 33) 2 = 0 34) q) 2 = 0 35) Since Q 2, D 3 nd D 2 re ll full rnk mtrices, it must be tht q = 0. Now note tht over ny finite field of certin chrcteristic, q is zero if nd only if the chrcteristic divides q. We now show tht the network hs sclr liner solution over chrcteristic which divides q. Consider the following messges to be crried by the edges. p Y u,u 3 = + b i Y u2,u 4 = b i + c Y u5,u 7 = Y u,u 3 Y u2,u 4 = c Y u6,u 8 = Y u,u 3 c = + b i c for i q : Y ei = b i + c Y u9,u 0 = Y u6,u 8 Y u5,u 7 = Now, we show tht the terminls cn decode their desired rndom vribles s follows. At terminl t, with the opertion Y u5,u 7, rndom vrible c cn be determined. For i q, the terminl t +i decodes b i s m m= b m p j=,j m b j = b i. Since ll opertions re over the finite field of chrcteristic which divides q, terminl t q+ decodes s Y u6,u 8 p Y e i = qc =. For i q, the terminl t q++i performs the opertion Y ei b i to derive c. Theorem 3. For ny set of prime numbers {p, p 2,..., p l }, there exists network, constructed by dding more nodes nd edges to the Fno network, which hs vector liner solution if nd only if the chrcteristic of the finite field belongs to the given set. Proof: The network in Fig. 2 constructed for q = p r.pr pr l l, where r, r 2,..., r l Z + is such network. b i IV. GENERALIZED NON-FANO NETWORK In this section, for ny set of prime numbers {p, p 2,..., p l }, we dd more nodes nd edges to the non-fno network, to construct network which hs vector liner solution for ny vector dimension if only if the chrcteristic of the finite field does not belong to the given set. For this purpose, we first construct modified non-fno network, shown in Fig. 3b, which is liner solvbly equivlent to the non-fno network shown in [3] nd reproduced here in Fig 3. The nodes t the top which hve no incoming edges re the sources, nd they not lbelled to reduce clumsiness. The source process generted by source node is indicted bove the node. For ny terminl, the source processes demnded by the terminl re indicted below the terminl. Lemm 4. The modified non-fno network in Fig. 3b hs n l-dimensionl vector liner solution if nd only if the network in Fig. 3 hs n l-dimensionl vector liner solution. Proof: As the terminl t 4 in the modified non-fno network hs demnds which is subset of wht t 4 demnds in the non-fno network, it is self-evident tht if the non-fno network hs n l-dimensionl vector liner solution then the modified non-fno network too hs n l-dimensionl vector liner solution. We now show tht if the modified non-fno network hs sclr liner solution then the non-fno network too hs sclr liner solution. Assume sclr liner solution of modified non-fno network. It cn be seen tht if the coefficient of in Y e is non-zero then cn be retrieved from Y e by the node t 4 in Fig. 3b s it lredy knows. If however, the coefficient of in Y e hd been zero, then the coefficient of in Y e hd lso to be zero, s Y e cnnot be multiplied by zero t node t 2 since t 2 needs to use the informtion in Y e to compute. However, if the coefficient of in Y e is zero, then the node t 3 in Fig. 3b won t be ble to compute. Similr rgument cn be used to derive tht the coefficient of in Y e 2 is non-zero. And hence the node t 4 in Fig. 3b cn compute ll of, nd. The proof for l-dimensionl vector liner solution cn be done in similr wy. We now present the generlized non-fno network in Fig. IV. The source nodes re not lbelled in the figure for the ske of clenliness in the digrm.,,,..., b q re the rndom processes generted by the sources. Note tht for i q, there exists no pth between tile i ) nd the source tht genertes messge b i. Here lso, the prmeter q cn tke ny integer vlue greter thn or equl to two. It cn be verified tht the network shown in Fig. 3b reduces to the modified non-fno network shown in Fig. 3b for q = 2. Lemm 5. The network shown in Fig. IV hs vector liner solution for ny vector dimension if nd only if the chrcteristic of the finite field does not divide q. Proof: We first list the messges crried over by the
6 00 e e e 2 e b e e e 2 e b t t 2 t 3 t 4,, t t 2 t 3 t 4 ) The non-fno network b) A modified non-fno network Fig. 3. A modified non-fno network which hs n l-dimensionl vector liner solution if nd only if the Fno network hs n l-dimensionl vector liner solution. b q D q D 2 D M C C q C 2 B 2 B 2 A B q A2 B q2 B q A q B 2q e e e 2 e q e b M 2 M U 2 U R K K R K 2 2 q R q 0 b q U q M 4 t t 2 t 3 t q+ t q+2 Fig. 4. Generlized non-fno network: for ny integer q 2, the network is vector linerly solvble for ny vector dimension if nd only if the chrcteristic of the finite field does not divide q.
7 edges. Y e = M + C i b i for i q: Y ei = A i + Y eb = D i b i B ji b j Since, node t computes, for i q we hve: M 2 M = I 36) M 2 C i + M 3 D i = 0 37) Since, node t i+ for i q computes b i, for i, j q, j i we hve: K i M + R i A i = 0 38) K i C i = I 39) K i C j + R i B ji = 0 40) Since, node t q+2 computes, for i q we hve, U i A i = I 4) U j B ij ) + M4 D i = 0 42) Since, from eqution 39), for i q, C i is invertible, nd M 2 is invertible from eqution 36), M 3 D i for i q is invertible from eqution 37), nd hence M 3 is invertible. Also, since both of K i nd C i re invertible for i q becuse of eqution 39), R i nd B ji for i, j q, j i re invertible from eqution 40). Moreover, note tht M is invertible from eqution 36). Now substituting eqution 37) in eqution 42) we get for i q: U j B ij ) M4 M 3 M 2C i = 0 U j R ) j K j C i M4 M3 M 2C i = 0 [from 40] U j A j M C ) i M4 M3 M 2C i = 0 [from 38] U j A j M 2 C i ) M4 M 3 M 2C i = 0 [from 36] U j A j M 4 M3 ) M2 C i = 0 I Ui A i M 4 M3 ) M2 C i = 0 [from 4] I U i A i M 4 M3 = 0 U i A i + M 4 M3 = I U i A i = I M 4 M3 43) Now, substituting eqution 43) in eqution 4) we get: I M 4 M3 ) = I qi qm 4 M 3 = I qm 4 M 3 = q )I 44) Now, if the chrcteristic of the finite field divides q, then q = 0, nd eqution 44) results into 0 = I, which is contrdiction. We now show tht the network in Fig. IV hs sclr liner solution if the chrcteristic of the finite field is does not divides q. Note tht n element in finite field hs n inverse if nd only if the chrcteristics of the finite field does not divide tht element. Consider the following messges to be trnsmitted by the edges: Y e = + b i for i q : Y ei = + Y eb = b i We now show tht the terminls cn compute their respective demnds. The terminl t computes s Y e Y eb =. For i q, the terminl t +i decodes b i by the opertion Y e Y ei. At terminl t q+2, since q hs n inverse in the finite field, q q Y e i q )Y eb ) =. Theorem 6. For ny set of prime numbers {p, p 2,..., p l }, there exists network, constructed by dding more nodes nd edges to the non-fno network, which hs vector liner solution if nd only if the chrcteristic of the finite field does not belong to the given set. Proof: The network in Fig. IV constructed for q = p r.pr pr l l, where r, r 2,..., r l Z + is such network. V. CONCLUSION The Fno nd non-fno networks hve been used in the literture to show the insufficiency of liner network coding. In this pper, we hve first constructed network, nmed s the generlized Fno network, which for ny set of primes {p, p 2,..., p l }, hs vector liner solution if nd only if the chrcteristic of the finite field belongs to {p, p 2,..., p l }. This network reduces to the known Fno network s specil cse. We hve then constructed network which for ny set of primes {p, p 2,..., p l }, hs vector liner solution if nd only if the chrcteristic of the finite field does not belong to {p, p 2,..., p l }. This network reduces to the non-fno network s specil cse. REFERENCES [] S. R. Li, R. W. Yeung, nd N. Ci, Liner network coding, IEEE Trnsctions on Informtion Theory, b j
8 [2] R. Dougherty, C. Freiling, nd K. Zeger, Insufficiency of liner coding in network informtion flow, IEEE Trnsctions on Informtion Theory, [3] R. Dougherty, C. Freiling, nd K. Zeger, Networks, mtroids, nd nonshnnon informtion inequlities, IEEE Trnsctions on Informtion Theory, [4] A. Kim nd M. Médrd, Sclr-liner solvbility of mtroidl networks ssocited with representble mtroids, Proc. 6th Int. Symposium on Turbo Codes nd Itertive Informtion Processing ISTC), 20. [5] R. Dougherty, C. Freiling, nd K. Zeger, Achievble Rte Regions for Network Coding, IEEE Trnsctions on Informtion Theory, 25. [6] B. K. Ri, B. K. Dey, nd A. Krndikr, Some results on communicting the sum of sources over network, NetCod, [7] B. K. Ri nd B. K. Dey, On Network Coding for Sum-Networks, IEEE Trnsctions on Informtion Theory, 22.
Linear Network Codes and Systems of Polynomial Equations
1 Liner Network Codes nd Systems of Polynomil Equtions Rndll Dougherty, Chris Freiling, nd Kenneth Zeger (Submitted to ISIT 2008) Abstrct If β nd γ re nonnegtive integers nd F is field, then polynomil
More informationBases for Vector Spaces
Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything
More informationQuadratic Forms. Quadratic Forms
Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte
More informationChapter 3 MATRIX. In this chapter: 3.1 MATRIX NOTATION AND TERMINOLOGY
Chpter 3 MTRIX In this chpter: Definition nd terms Specil Mtrices Mtrix Opertion: Trnspose, Equlity, Sum, Difference, Sclr Multipliction, Mtrix Multipliction, Determinnt, Inverse ppliction of Mtrix in
More informationChapter 14. Matrix Representations of Linear Transformations
Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn
More informationARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac
REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b
More informationMatrices and Determinants
Nme Chpter 8 Mtrices nd Determinnts Section 8.1 Mtrices nd Systems of Equtions Objective: In this lesson you lerned how to use mtrices, Gussin elimintion, nd Guss-Jordn elimintion to solve systems of liner
More informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More informationLecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations.
Lecture 3 3 Solving liner equtions In this lecture we will discuss lgorithms for solving systems of liner equtions Multiplictive identity Let us restrict ourselves to considering squre mtrices since one
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk bout solving systems of liner equtions. These re problems tht give couple of equtions with couple of unknowns, like: 6 2 3 7 4
More informationMatrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24
Mtrix lger Mtrix ddition, Sclr Multipliction nd rnsposition Mtrix lger Section.. Mtrix ddition, Sclr Multipliction nd rnsposition rectngulr rry of numers is clled mtrix ( the plurl is mtrices ) nd the
More informationN 0 completions on partial matrices
N 0 completions on prtil mtrices C. Jordán C. Mendes Arújo Jun R. Torregros Instituto de Mtemátic Multidisciplinr / Centro de Mtemátic Universidd Politécnic de Vlenci / Universidde do Minho Cmino de Ver
More informationLesson 1: Quadratic Equations
Lesson 1: Qudrtic Equtions Qudrtic Eqution: The qudrtic eqution in form is. In this section, we will review 4 methods of qudrtic equtions, nd when it is most to use ech method. 1. 3.. 4. Method 1: Fctoring
More informationSCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics
SCHOOL OF ENGINEERING & BUIL ENVIRONMEN Mthemtics An Introduction to Mtrices Definition of Mtri Size of Mtri Rows nd Columns of Mtri Mtri Addition Sclr Multipliction of Mtri Mtri Multipliction 7 rnspose
More informationThe Algebra (al-jabr) of Matrices
Section : Mtri lgebr nd Clculus Wshkewicz College of Engineering he lgebr (l-jbr) of Mtrices lgebr s brnch of mthemtics is much broder thn elementry lgebr ll of us studied in our high school dys. In sense
More informationElements of Matrix Algebra
Elements of Mtrix Algebr Klus Neusser Kurt Schmidheiny September 30, 2015 Contents 1 Definitions 2 2 Mtrix opertions 3 3 Rnk of Mtrix 5 4 Specil Functions of Qudrtic Mtrices 6 4.1 Trce of Mtrix.........................
More informationChapter 4 Contravariance, Covariance, and Spacetime Diagrams
Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More informationNumerical Linear Algebra Assignment 008
Numericl Liner Algebr Assignment 008 Nguyen Qun B Hong Students t Fculty of Mth nd Computer Science, Ho Chi Minh University of Science, Vietnm emil. nguyenqunbhong@gmil.com blog. http://hongnguyenqunb.wordpress.com
More information4 7x =250; 5 3x =500; Read section 3.3, 3.4 Announcements: Bell Ringer: Use your calculator to solve
Dte: 3/14/13 Objective: SWBAT pply properties of exponentil functions nd will pply properties of rithms. Bell Ringer: Use your clcultor to solve 4 7x =250; 5 3x =500; HW Requests: Properties of Log Equtions
More informationSUMMER KNOWHOW STUDY AND LEARNING CENTRE
SUMMER KNOWHOW STUDY AND LEARNING CENTRE Indices & Logrithms 2 Contents Indices.2 Frctionl Indices.4 Logrithms 6 Exponentil equtions. Simplifying Surds 13 Opertions on Surds..16 Scientific Nottion..18
More informationState space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies
Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response
More informationGeometric Sequences. Geometric Sequence a sequence whose consecutive terms have a common ratio.
Geometric Sequences Geometric Sequence sequence whose consecutive terms hve common rtio. Geometric Sequence A sequence is geometric if the rtios of consecutive terms re the sme. 2 3 4... 2 3 The number
More informationRiemann Sums and Riemann Integrals
Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct
More informationA Matrix Algebra Primer
A Mtrix Algebr Primer Mtrices, Vectors nd Sclr Multipliction he mtrix, D, represents dt orgnized into rows nd columns where the rows represent one vrible, e.g. time, nd the columns represent second vrible,
More informationLecture 3. Limits of Functions and Continuity
Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live
More informationFrobenius numbers of generalized Fibonacci semigroups
Frobenius numbers of generlized Fiboncci semigroups Gretchen L. Mtthews 1 Deprtment of Mthemticl Sciences, Clemson University, Clemson, SC 29634-0975, USA gmtthe@clemson.edu Received:, Accepted:, Published:
More informationHW3, Math 307. CSUF. Spring 2007.
HW, Mth 7. CSUF. Spring 7. Nsser M. Abbsi Spring 7 Compiled on November 5, 8 t 8:8m public Contents Section.6, problem Section.6, problem Section.6, problem 5 Section.6, problem 7 6 5 Section.6, problem
More informationRead section 3.3, 3.4 Announcements:
Dte: 3/1/13 Objective: SWBAT pply properties of exponentil functions nd will pply properties of rithms. Bell Ringer: 1. f x = 3x 6, find the inverse, f 1 x., Using your grphing clcultor, Grph 1. f x,f
More informationa a a a a a a a a a a a a a a a a a a a a a a a In this section, we introduce a general formula for computing determinants.
Section 9 The Lplce Expnsion In the lst section, we defined the determinnt of (3 3) mtrix A 12 to be 22 12 21 22 2231 22 12 21. In this section, we introduce generl formul for computing determinnts. Rewriting
More informationDuality # Second iteration for HW problem. Recall our LP example problem we have been working on, in equality form, is given below.
Dulity #. Second itertion for HW problem Recll our LP emple problem we hve been working on, in equlity form, is given below.,,,, 8 m F which, when written in slightly different form, is 8 F Recll tht we
More informationPavel Rytí. November 22, 2011 Discrete Math Seminar - Simon Fraser University
Geometric representtions of liner codes Pvel Rytí Deprtment of Applied Mthemtics Chrles University in Prgue Advisor: Mrtin Loebl November, 011 Discrete Mth Seminr - Simon Frser University Bckground Liner
More informationECON 331 Lecture Notes: Ch 4 and Ch 5
Mtrix Algebr ECON 33 Lecture Notes: Ch 4 nd Ch 5. Gives us shorthnd wy of writing lrge system of equtions.. Allows us to test for the existnce of solutions to simultneous systems. 3. Allows us to solve
More informationp-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationRiemann Sums and Riemann Integrals
Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 2013 Outline 1 Riemnn Sums 2 Riemnn Integrls 3 Properties
More informationNon-Deterministic Finite Automata. Fall 2018 Costas Busch - RPI 1
Non-Deterministic Finite Automt Fll 2018 Costs Busch - RPI 1 Nondeterministic Finite Automton (NFA) Alphbet ={} q q2 1 q 0 q 3 Fll 2018 Costs Busch - RPI 2 Nondeterministic Finite Automton (NFA) Alphbet
More informationHere we study square linear systems and properties of their coefficient matrices as they relate to the solution set of the linear system.
Section 24 Nonsingulr Liner Systems Here we study squre liner systems nd properties of their coefficient mtrices s they relte to the solution set of the liner system Let A be n n Then we know from previous
More informationMath 4310 Solutions to homework 1 Due 9/1/16
Mth 4310 Solutions to homework 1 Due 9/1/16 1. Use the Eucliden lgorithm to find the following gretest common divisors. () gcd(252, 180) = 36 (b) gcd(513, 187) = 1 (c) gcd(7684, 4148) = 68 252 = 180 1
More informationChapter 3. Vector Spaces
3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce
More informationElementary Linear Algebra
Elementry Liner Algebr Anton & Rorres, 1 th Edition Lecture Set 5 Chpter 4: Prt II Generl Vector Spces 163 คณ ตศาสตร ว ศวกรรม 3 สาขาว ชาว ศวกรรมคอมพ วเตอร ป การศ กษา 1/2555 163 คณตศาสตรวศวกรรม 3 สาขาวชาวศวกรรมคอมพวเตอร
More informationSeptember 13 Homework Solutions
College of Engineering nd Computer Science Mechnicl Engineering Deprtment Mechnicl Engineering 5A Seminr in Engineering Anlysis Fll Ticket: 5966 Instructor: Lrry Cretto Septemer Homework Solutions. Are
More informationBefore we can begin Ch. 3 on Radicals, we need to be familiar with perfect squares, cubes, etc. Try and do as many as you can without a calculator!!!
Nme: Algebr II Honors Pre-Chpter Homework Before we cn begin Ch on Rdicls, we need to be fmilir with perfect squres, cubes, etc Try nd do s mny s you cn without clcultor!!! n The nth root of n n Be ble
More informationAlgebra Of Matrices & Determinants
lgebr Of Mtrices & Determinnts Importnt erms Definitions & Formule 0 Mtrix - bsic introduction: mtrix hving m rows nd n columns is clled mtrix of order m n (red s m b n mtrix) nd mtrix of order lso in
More informationRecitation 3: More Applications of the Derivative
Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech
More information20 MATHEMATICS POLYNOMIALS
0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of
More informationW. We shall do so one by one, starting with I 1, and we shall do it greedily, trying
Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More informationSpanning tree congestion of some product graphs
Spnning tree congestion of some product grphs Hiu-Fi Lw Mthemticl Institute Oxford University 4-9 St Giles Oxford, OX1 3LB, United Kingdom e-mil: lwh@mths.ox.c.uk nd Mikhil I. Ostrovskii Deprtment of Mthemtics
More informationNew data structures to reduce data size and search time
New dt structures to reduce dt size nd serch time Tsuneo Kuwbr Deprtment of Informtion Sciences, Fculty of Science, Kngw University, Hirtsuk-shi, Jpn FIT2018 1D-1, No2, pp1-4 Copyright (c)2018 by The Institute
More informationMTH 5102 Linear Algebra Practice Exam 1 - Solutions Feb. 9, 2016
Nme (Lst nme, First nme): MTH 502 Liner Algebr Prctice Exm - Solutions Feb 9, 206 Exm Instructions: You hve hour & 0 minutes to complete the exm There re totl of 6 problems You must show your work Prtil
More information(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer
Divisibility In this note we introduce the notion of divisibility for two integers nd b then we discuss the division lgorithm. First we give forml definition nd note some properties of the division opertion.
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1
MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further
More informationChapter 2. Vectors. 2.1 Vectors Scalars and Vectors
Chpter 2 Vectors 2.1 Vectors 2.1.1 Sclrs nd Vectors A vector is quntity hving both mgnitude nd direction. Emples of vector quntities re velocity, force nd position. One cn represent vector in n-dimensionl
More information1 Linear Least Squares
Lest Squres Pge 1 1 Liner Lest Squres I will try to be consistent in nottion, with n being the number of dt points, nd m < n being the number of prmeters in model function. We re interested in solving
More informationLet S be a numerical semigroup generated by a generalized arithmetic sequence,
Abstrct We give closed form for the ctenry degree of ny element in numericl monoid generted by generlized rithmetic sequence in embedding dimension three. While it is known in generl tht the lrgest nd
More informationModule 6: LINEAR TRANSFORMATIONS
Module 6: LINEAR TRANSFORMATIONS. Trnsformtions nd mtrices Trnsformtions re generliztions of functions. A vector x in some set S n is mpped into m nother vector y T( x). A trnsformtion is liner if, for
More informationThe Islamic University of Gaza Faculty of Engineering Civil Engineering Department. Numerical Analysis ECIV Chapter 11
The Islmic University of Gz Fculty of Engineering Civil Engineering Deprtment Numericl Anlysis ECIV 6 Chpter Specil Mtrices nd Guss-Siedel Associte Prof Mzen Abultyef Civil Engineering Deprtment, The Islmic
More informationIntroduction To Matrices MCV 4UI Assignment #1
Introduction To Mtrices MCV UI Assignment # INTRODUCTION: A mtrix plurl: mtrices) is rectngulr rry of numbers rrnged in rows nd columns Exmples: ) b) c) [ ] d) Ech number ppering in the rry is sid to be
More informationChapter 1: Fundamentals
Chpter 1: Fundmentls 1.1 Rel Numbers Types of Rel Numbers: Nturl Numbers: {1, 2, 3,...}; These re the counting numbers. Integers: {... 3, 2, 1, 0, 1, 2, 3,...}; These re ll the nturl numbers, their negtives,
More informationThings to Memorize: A Partial List. January 27, 2017
Things to Memorize: A Prtil List Jnury 27, 2017 Chpter 2 Vectors - Bsic Fcts A vector hs mgnitude (lso clled size/length/norm) nd direction. It does not hve fixed position, so the sme vector cn e moved
More informationJournal of Inequalities in Pure and Applied Mathematics
Journl o Inequlities in Pure nd Applied Mthemtics http://jipm.vu.edu.u/ Volume 6, Issue 4, Article 6, 2005 MROMORPHIC UNCTION THAT SHARS ON SMALL UNCTION WITH ITS DRIVATIV QINCAI ZHAN SCHOOL O INORMATION
More information7.2 The Definite Integral
7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where
More informationODE: Existence and Uniqueness of a Solution
Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =
More informationVariational Techniques for Sturm-Liouville Eigenvalue Problems
Vritionl Techniques for Sturm-Liouville Eigenvlue Problems Vlerie Cormni Deprtment of Mthemtics nd Sttistics University of Nebrsk, Lincoln Lincoln, NE 68588 Emil: vcormni@mth.unl.edu Rolf Ryhm Deprtment
More informationA Criterion on Existence and Uniqueness of Behavior in Electric Circuit
Institute Institute of of Advnced Advnced Engineering Engineering nd nd Science Science Interntionl Journl of Electricl nd Computer Engineering (IJECE) Vol 6, No 4, August 2016, pp 1529 1533 ISSN: 2088-8708,
More informationMultivariate problems and matrix algebra
University of Ferrr Stefno Bonnini Multivrite problems nd mtrix lgebr Multivrite problems Multivrite sttisticl nlysis dels with dt contining observtions on two or more chrcteristics (vribles) ech mesured
More informationELE B7 Power System Engineering. Unbalanced Fault Analysis
Power System Engineering Unblnced Fult Anlysis Anlysis of Unblnced Systems Except for the blnced three-phse fult, fults result in n unblnced system. The most common types of fults re single lineground
More informationInfinite Geometric Series
Infinite Geometric Series Finite Geometric Series ( finite SUM) Let 0 < r < 1, nd let n be positive integer. Consider the finite sum It turns out there is simple lgebric expression tht is equivlent to
More informationChapter 6 Notes, Larson/Hostetler 3e
Contents 6. Antiderivtives nd the Rules of Integrtion.......................... 6. Are nd the Definite Integrl.................................. 6.. Are............................................ 6. Reimnn
More informationConvex Sets and Functions
B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line
More informationDIRECT CURRENT CIRCUITS
DRECT CURRENT CUTS ELECTRC POWER Consider the circuit shown in the Figure where bttery is connected to resistor R. A positive chrge dq will gin potentil energy s it moves from point to point b through
More informationWe partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.
Mth 255 - Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn
More informationSection 14.3 Arc Length and Curvature
Section 4.3 Arc Length nd Curvture Clculus on Curves in Spce In this section, we ly the foundtions for describing the movement of n object in spce.. Vector Function Bsics In Clc, formul for rc length in
More informationReview of Riemann Integral
1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.
More informationAnalytical Methods Exam: Preparatory Exercises
Anlyticl Methods Exm: Preprtory Exercises Question. Wht does it men tht (X, F, µ) is mesure spce? Show tht µ is monotone, tht is: if E F re mesurble sets then µ(e) µ(f). Question. Discuss if ech of the
More informationAQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system
Complex Numbers Section 1: Introduction to Complex Numbers Notes nd Exmples These notes contin subsections on The number system Adding nd subtrcting complex numbers Multiplying complex numbers Complex
More information1 Probability Density Functions
Lis Yn CS 9 Continuous Distributions Lecture Notes #9 July 6, 28 Bsed on chpter by Chris Piech So fr, ll rndom vribles we hve seen hve been discrete. In ll the cses we hve seen in CS 9, this ment tht our
More informationMath Lecture 23
Mth 8 - Lecture 3 Dyln Zwick Fll 3 In our lst lecture we delt with solutions to the system: x = Ax where A is n n n mtrix with n distinct eigenvlues. As promised, tody we will del with the question of
More informationConvergence of Fourier Series and Fejer s Theorem. Lee Ricketson
Convergence of Fourier Series nd Fejer s Theorem Lee Ricketson My, 006 Abstrct This pper will ddress the Fourier Series of functions with rbitrry period. We will derive forms of the Dirichlet nd Fejer
More informationAutomata and Languages
Automt nd Lnguges Prof. Mohmed Hmd Softwre Engineering Lb. The University of Aizu Jpn Grmmr Regulr Grmmr Context-free Grmmr Context-sensitive Grmmr Regulr Lnguges Context Free Lnguges Context Sensitive
More informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More informationIntroduction to Group Theory
Introduction to Group Theory Let G be n rbitrry set of elements, typiclly denoted s, b, c,, tht is, let G = {, b, c, }. A binry opertion in G is rule tht ssocites with ech ordered pir (,b) of elements
More informationMORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)
MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give
More informationNumerical integration
2 Numericl integrtion This is pge i Printer: Opque this 2. Introduction Numericl integrtion is problem tht is prt of mny problems in the economics nd econometrics literture. The orgniztion of this chpter
More informationIdentify graphs of linear inequalities on a number line.
COMPETENCY 1.0 KNOWLEDGE OF ALGEBRA SKILL 1.1 Identify grphs of liner inequlities on number line. - When grphing first-degree eqution, solve for the vrible. The grph of this solution will be single point
More informationPresentation Problems 5
Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).
More informationOn the free product of ordered groups
rxiv:703.0578v [mth.gr] 6 Mr 207 On the free product of ordered groups A. A. Vinogrdov One of the fundmentl questions of the theory of ordered groups is wht bstrct groups re orderble. E. P. Shimbirev [2]
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationCHAPTER 2d. MATRICES
CHPTER d. MTRICES University of Bhrin Deprtment of Civil nd rch. Engineering CEG -Numericl Methods in Civil Engineering Deprtment of Civil Engineering University of Bhrin Every squre mtrix hs ssocited
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationChapter 2. Determinants
Chpter Determinnts The Determinnt Function Recll tht the X mtrix A c b d is invertible if d-bc0. The expression d-bc occurs so frequently tht it hs nme; it is clled the determinnt of the mtrix A nd is
More informationPre-Session Review. Part 1: Basic Algebra; Linear Functions and Graphs
Pre-Session Review Prt 1: Bsic Algebr; Liner Functions nd Grphs A. Generl Review nd Introduction to Algebr Hierrchy of Arithmetic Opertions Opertions in ny expression re performed in the following order:
More informationMatrices. Elementary Matrix Theory. Definition of a Matrix. Matrix Elements:
Mtrices Elementry Mtrix Theory It is often desirble to use mtrix nottion to simplify complex mthemticl expressions. The simplifying mtrix nottion usully mkes the equtions much esier to hndle nd mnipulte.
More informationJim Lambers MAT 169 Fall Semester Lecture 4 Notes
Jim Lmbers MAT 169 Fll Semester 2009-10 Lecture 4 Notes These notes correspond to Section 8.2 in the text. Series Wht is Series? An infinte series, usully referred to simply s series, is n sum of ll of
More informationBernoulli Numbers Jeff Morton
Bernoulli Numbers Jeff Morton. We re interested in the opertor e t k d k t k, which is to sy k tk. Applying this to some function f E to get e t f d k k tk d k f f + d k k tk dk f, we note tht since f
More informationDecomposition of terms in Lucas sequences
Journl of Logic & Anlysis 1:4 009 1 3 ISSN 1759-9008 1 Decomposition of terms in Lucs sequences ABDELMADJID BOUDAOUD Let P, Q be non-zero integers such tht D = P 4Q is different from zero. The sequences
More informationTHE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem
More informationConsequently, the temperature must be the same at each point in the cross section at x. Let:
HW 2 Comments: L1-3. Derive the het eqution for n inhomogeneous rod where the therml coefficients used in the derivtion of the het eqution for homogeneous rod now become functions of position x in the
More information