Lecture 24: Observability and Constructibility
|
|
- Margery Parsons
- 5 years ago
- Views:
Transcription
1 ectue 24: Obsevability ad Costuctibility 7 Obsevability ad Costuctibility Motivatio: State feedback laws deped o a kowledge of the cuet state. I some systems, xt () ca be measued diectly, e.g., positio ad velocity of a automobile. Howeve, it is ofte difficult o eve impossible to measue all state vaiables diectly, e.g., the iteal tempeatues ad pessues of a chemical pocess. It is theefoe desiable to estimate the cuet state fom the kowledge of the histoy of iputs ad outputs of the system ove some fiite iteval. A device which accomplishes estimates of the state is called a obseve, ad this leads to the cocepts of obsevability ad costuctibility, which ae coceed with detemiig whethe a estimate of the state ca be costucted whe iput-output histoies ae kow. O the othe had, if measuemets of u(), y() ae cotamiated by oise, the the best we ca do is to estimate xt () appoximately, by ivokig filtes which achieve the best appoximatio as measued by some objective fuctio, e.g., the Kalma filte. Obsevability: Obsevability is coceed with the ability of detemiig the peset state xt ( fom kowledge of peset ad futue system output yt () ad iput ut (), t [ t, t. ut () yt () xt () =? S t t 2 t t 2 Costuctibility: Costuctibility is coceed with the ability of detemiig the peset state xt () fom kowledge of peset ad past system output yt () ad iput ut (), t [ t, t. Clealy, this is moe iteestig tha obsevability. ut () xt () =? S yt () t t t 2 t t t /9
2 It will be show that obsevability always imply costuctibilty, wheeas costuctibility implies obsevability oly whe the state tasitio matix of the system is osigula. 7. Discete Time Ivaiat Case Coside the system goveed by the diffeetial system x( j+ = Ax( j) + Bu( j), x( ) = x y( j) = Cx( j) + Du( j) (7. whee x () = x is the iitial state. We ae iteested i uiquely detemiig the iitial state x () = x fom peset ad futue system iput ad output (obsevability poblem.) The output of the system is j j j ( i+ i= y( j) = x + Bu( i) + Du( j), j >. (7.2) Rewite (7.2) as follows: j j ( i+ y ( j): = y( j) Bu( i) + Du( j), j > i=. (7.3) y (): = y () Du () Thus, ( ) j y j = x, j >. (7.4) ad this equatio ca be solved by fist computig y ( j), ad ivetig y () C y ( + = x k y ( + k Y k Ok (7.5) o, Y = O x, Y R, O R (7.6) ( k + p ( k + p k k k k Clealy, the system is obsevable if the solutio x of (7.5) is uique, i.e., if it is the oly iitial state that, togethe with the give iput-output histoies ca geeate the obseved output histoy. Now, (7.6) has a uique solutio x N { Ok} = {} θ ak{ O k} =. 24-2/9
3 Defiitio: Obsevability Matix The liea time-ivaiat system (7. is said to be obsevable if the obsevability opeato i (7.4) which defies a matix O has full colum ak, whee O C : =, (7.7) ak O =. e.g., { } Remak: Note that by the CHT, N { O} = N { O k}, k, but N { O} N { O k}, k <. Theefoe, i geeal oe has to obseve the output i steps. Hece, (7.6) educes to p Y = O x, Y R, O R (7.8) p Fo the system to be obsevable, the cotollability matix must have full colum ak, i.e., it must be oe-to-oe. A state x is called uobsevable if O x = θ, ad N { O } is called the uobsevable space. Examples: x( j+ = Ax( j), x(0) = x y( j) = Cx( j) 0 0, 0 (a) A= C = [ ] C 0 Obsevability matix, ak { } 2 detemied fom 2 output measuemets (hee the system has o iput.) O 2 = = O 2 =, theefoe y(0) C x(0) 0 x(0) y( = x2(0) = x2(0) x (0) y(0) y( y(0) x2 (0) = 0 = y( y( x ca be uiquely 24-3/9
4 0, 0 (b) A= C = [ ] O C 0 2 = =, ak 2 = 0 O, theefoe the system is ot obsevable. 0 N O 2 = :α α R, such states ae uobsevable. Obsevability matix { } Sice { } 7.2 Cotiuous-Time Case Coside the TV system: xt () = At () xt () + Btut () (), xt ( ) = x yt () = Ctxt () () + Dtut () () (7.9) whee xt () R, ut () R m, yt () R p, ad ABCD,,, have piecewise cotiuous eties Special Case Obsevability Coside fist the special case of estimatig the state xt ( fom obsevig the output o the iteval [ t, t whe ut () = 0. The estictio of the zeo-iput espose y() to [ t, t 2 ], deoted as y () is called the tail of the output. The obseve equatio elates the state to the tail: y () t = C() t Φ(, t t ) x, t [ t, t ] (7.0) 2 Thus, the obsevability opeato, which maps states at t = t ito tails, is the opeato defied by: : R [ t, t ] ( ) 2 2 x () t = C() t Φ(, t t ) x (7. The opeato fom of (7.0) is: x = y (7.2) Defiitio: Complete Obsevability The system ( A(), C() ) is completely obsevable (C.O.) o [ t, t if the obsevability opeato is oe-to-oe, i.e., if x is completely detemied by the tail y. 24-4/9
5 7.2.2 Geeal Obsevability Defiitio: Complete Obsevability The system ( A(), B(), C(), D() ) is completely obsevable (C.O.) o [ t, t if, give the histoy of u(), y() o [ t, t, x() is completely detemied. The output equatio is: yt () = Ct () Φ (, tt) x + Ct () Φ(, tτ) B( τ) u( τ) dτ t t ( ) = Ct () Φ (, tt x + Ct () u () t + Dtut () () y ( t) (tail) yu () t (foced) (7.3) The geeal obseve equatio is y = y y = x (7.4) : u which elates states ad tails, as i the special case. Notes: (a) The effect of past ( t < t ) iput o futue ( t > t ) output ca be summaized by eithe xt ( o the tail afte t. (b) The state acts as a "tag" o the tail by uiquely detemiig it. The covese is ot geeally tue as a tail may have bee poduced by may states xt ( fo a system that is ot completely obsevable. (c) The poblem of C.O., e.g., give u(), y() o [ t, t, fid x() ca be educed to the poblem of fidig the iitial state xt ( fom peset ad futue iput ad output because xs () =Φ(, st x, s [ t,] t. Moeove, the costuctibility poblem of estimatig the cuet state xt (), t [ t, t fom peset ad past iput ad output yields the solutio of the C.O. poblem via xs () =Φ (,)(), tsxt s [ t,] t. Clealy, costuctibility ad C.O. ae equivalet fo cotiuous-time TV systems, but ot ecessaily fo discete-time systems because the state tasitio matix is ot always ivetible. (d) The C.O. coditio that is oe-to-oe is equivalet to the statemet that { } = { θ} { } { θ} N. If N, the the dimesio of the state space is highe tha is eeded to detemie futue behavio, ad thee is edudacy. The coditio { } = { θ} N suggests the followig equivalet defiitio of complete obsevability. Defiitio: Uobsevable State 24-5/9
6 I a liea system, the state x is uobsevable at time t if the zeo-iput espose (tail) of the system is zeo fo t t. That is, a state is uobsevable if it is ozeo ad it poduces a zeo tail. Defiitio: Uobsevable Subspace t The uobsevable subspace at time t, R, is Defiitio: Complete Obsevability (alteative) The system (7.9) is completely obsevable at O { } t R : = R : is uobsevable at. (7.5) O x x t t t if = { θ} R. O 7.3 Obsevability ad the Stuctue of the Obsevability Opeato The discete-time case is staightfowad as Equatio (7.8) is a fiite-dimesioal vecto equatio i which is a tall matix, as depicted below. y x D { } = R N{ } θ R{ } C{ } = l [, k] θ 2 N{ } R { } 24-6/9
7 The obsevability equatio does ot have a solutio if y R{ }, i.e., whe the measued output is oisy. I this case, we ca set up the poblem of miimizig y x ove the possible iitial state vectos (moe o this late.) The cotiuous-time case has the followig stuctue diagam: D { } = R N{ } θ C{ } = [ t, t ] 2 2 N{ } θ R{ } R { } The above emak holds i the cotiuous-time case as well: The obsevability equatio does ot have a solutio if y R{ }, but y x ca be miimized. 7.4 The Optimal Obseve Poblem i 2 Suppose the obseved tail y outside the { } + v is cotamiated by a oise v. The, the obseved tail may be R, i which case the obsevability equatio x = y + v has o solutio. Defiitio: Obseve Poblem Suppose the system [ A(), B(), C(), D() ] is C.O. o [, ] ( ) 2 t, t 2 t t 2. Fid x to miimize the om x y + v, (7.6) i.e., we ae iteested i computig x which poduces the tail x that best appoximates y + v. Note that, it is the iput-output behavio athe tha the state that fially mattes to us, ad theefoe we measue the quality of appoximatio by how fa the tail x is fom the obseved y + v (athe tha ty to miimize the distace betwee the tue ad estimated states i the state-space R.) Theoem: 24-7/9
8 Suppose the system [ A(), B(), C(), D() ] is C.O. o [ t, t ] o the iteval [, ] Poof: 2 mi ( ) 2 t, t 2 x y + v x R 2. The the miimizatio poblem, (7.7) t t has the uique solutio ( x ) = ( ) ( y + v) By the stuctue diagam, [ t, t ] Thus, y 2 2 opt ca be decomposed ito a sum of two othogoal subspaces: [ t, t ] = ( ) ( ) R N v ca be decomposed ito compoets lyig i these same subspaces By the Pojectio Theoem y ( R) N R ( ) N ( ) y + v= y + v + v, v R, v N (7.8) + vr is the uique vecto i R( ) closest to y + v. Sice y + vr R( ), thee exists ( x ) R such that ( x ) opt = y opt + vr be two solutios sice is assumed to be oe-to-oe, ad hece ( x ) is uique. opt The,. Thee caot ( x ) = ( y + v ) opt R ( R) ( y v) = y + v + v = + N, (7.9) ad sice is ivetible (assumig that the system is C.O.), we have: ( x ) = ( ) ( y + v). (7.20) opt Remaks: (a) The expessio ( ) defies the pseudoivese of ay oe-to-oe opeato. 24-8/9
9 (b) The oise compoet v N ( ) R ( ) N is filteed out by the obseve, but the compoet v R caot be distiguished fom the tue tail ad emais as a eo i the estimate of the tue tail Evaluatio of the Pseudoivese Recall that: : R 2[ t, t. (7.2 x () t = C() t Φ(, t t ) x ( ) The adjoit : 2[ t, t R is obtaied as: t2 = Φ t y: ( τ, t ) C ( τ) y( τ) dτ (7.22) Defiitio: Backwad Obsevability Gammia The backwad obsevability Gammia is defied as: t2 2 = = Φ Φ t Nt (, t): ( τ, t) C( τ) C( τ) ( τ, t) dτ (7.23) The optimal obseve (o ecostuctio) law is give by: t2 ( ) = (, ) Φ (, ) ( )( ( ) + ( )) x N t t τ t C τ y τ v τ dτ. (7.24) opt 2 t whee y (): t = y() t yu () t (7.25) measued output zeo-state espose 24-9/9
( ) 1 Comparison Functions. α is strictly increasing since ( r) ( r ) α = for any positive real number c. = 0. It is said to belong to
Compaiso Fuctios I this lesso, we study stability popeties of the oautoomous system = f t, x The difficulty is that ay solutio of this system statig at x( t ) depeds o both t ad t = x Thee ae thee special
More informationRange Symmetric Matrices in Minkowski Space
BULLETIN of the Bull. alaysia ath. Sc. Soc. (Secod Seies) 3 (000) 45-5 LYSIN THETICL SCIENCES SOCIETY Rae Symmetic atices i ikowski Space.R. EENKSHI Depatmet of athematics, amalai Uivesity, amalaiaa 608
More informationBy the end of this section you will be able to prove the Chinese Remainder Theorem apply this theorem to solve simultaneous linear congruences
Chapte : Theoy of Modula Aithmetic 8 Sectio D Chiese Remaide Theoem By the ed of this sectio you will be able to pove the Chiese Remaide Theoem apply this theoem to solve simultaeous liea cogueces The
More informationMATH /19: problems for supervision in week 08 SOLUTIONS
MATH10101 2018/19: poblems fo supevisio i week 08 Q1. Let A be a set. SOLUTIONS (i Pove that the fuctio c: P(A P(A, defied by c(x A \ X, is bijective. (ii Let ow A be fiite, A. Use (i to show that fo each
More informationUsing Difference Equations to Generalize Results for Periodic Nested Radicals
Usig Diffeece Equatios to Geealize Results fo Peiodic Nested Radicals Chis Lyd Uivesity of Rhode Islad, Depatmet of Mathematics South Kigsto, Rhode Islad 2 2 2 2 2 2 2 π = + + +... Vieta (593) 2 2 2 =
More informationComplementary Dual Subfield Linear Codes Over Finite Fields
1 Complemetay Dual Subfield Liea Codes Ove Fiite Fields Kiagai Booiyoma ad Somphog Jitma,1 Depatmet of Mathematics, Faculty of Sciece, Silpao Uivesity, Naho Pathom 73000, hailad e-mail : ai_b_555@hotmail.com
More informationConditional Convergence of Infinite Products
Coditioal Covegece of Ifiite Poducts William F. Tech Ameica Mathematical Mothly 106 1999), 646-651 I this aticle we evisit the classical subject of ifiite poducts. Fo stadad defiitios ad theoems o this
More informationBINOMIAL THEOREM An expression consisting of two terms, connected by + or sign is called a
BINOMIAL THEOREM hapte 8 8. Oveview: 8.. A epessio cosistig of two tems, coected by + o sig is called a biomial epessio. Fo eample, + a, y,,7 4 5y, etc., ae all biomial epessios. 8.. Biomial theoem If
More informationCHAPTER 5 : SERIES. 5.2 The Sum of a Series Sum of Power of n Positive Integers Sum of Series of Partial Fraction Difference Method
CHAPTER 5 : SERIES 5.1 Seies 5. The Sum of a Seies 5..1 Sum of Powe of Positive Iteges 5.. Sum of Seies of Patial Factio 5..3 Diffeece Method 5.3 Test of covegece 5.3.1 Divegece Test 5.3. Itegal Test 5.3.3
More informationBINOMIAL THEOREM NCERT An expression consisting of two terms, connected by + or sign is called a
8. Oveview: 8.. A epessio cosistig of two tems, coected by + o sig is called a biomial epessio. Fo eample, + a, y,,7 4, etc., ae all biomial 5y epessios. 8.. Biomial theoem BINOMIAL THEOREM If a ad b ae
More informationMinimal order perfect functional observers for singular linear systems
Miimal ode efect fuctioal obseves fo sigula liea systems Tadeusz aczoek Istitute of Cotol Idustial lectoics Wasaw Uivesity of Techology, -66 Waszawa, oszykowa 75, POLAND Abstact. A ew method fo desigig
More informationKEY. Math 334 Midterm II Fall 2007 section 004 Instructor: Scott Glasgow
KEY Math 334 Midtem II Fall 7 sectio 4 Istucto: Scott Glasgow Please do NOT wite o this exam. No cedit will be give fo such wok. Rathe wite i a blue book, o o you ow pape, pefeably egieeig pape. Wite you
More informationMultivector Functions
I: J. Math. Aal. ad Appl., ol. 24, No. 3, c Academic Pess (968) 467 473. Multivecto Fuctios David Hestees I a pevious pape [], the fudametals of diffeetial ad itegal calculus o Euclidea -space wee expessed
More informationTHE ANALYTIC LARGE SIEVE
THE ANALYTIC LAGE SIEVE 1. The aalytic lage sieve I the last lectue we saw how to apply the aalytic lage sieve to deive a aithmetic fomulatio of the lage sieve, which we applied to the poblem of boudig
More informationMinimization of the quadratic test function
Miimizatio of the quadatic test fuctio A quadatic fom is a scala quadatic fuctio of a vecto with the fom f ( ) A b c with b R A R whee A is assumed to be SPD ad c is a scala costat Note: A symmetic mati
More informationMath 166 Week-in-Review - S. Nite 11/10/2012 Page 1 of 5 WIR #9 = 1+ r eff. , where r. is the effective interest rate, r is the annual
Math 66 Week-i-Review - S. Nite // Page of Week i Review #9 (F-F.4, 4.-4.4,.-.) Simple Iteest I = Pt, whee I is the iteest, P is the picipal, is the iteest ate, ad t is the time i yeas. P( + t), whee A
More informationTHE ANALYSIS OF SOME MODELS FOR CLAIM PROCESSING IN INSURANCE COMPANIES
Please cite this atle as: Mhal Matalyck Tacaa Romaiuk The aalysis of some models fo claim pocessig i isuace compaies Scietif Reseach of the Istitute of Mathemats ad Compute Sciece 004 Volume 3 Issue pages
More informationUsing Counting Techniques to Determine Probabilities
Kowledge ticle: obability ad Statistics Usig outig Techiques to Detemie obabilities Tee Diagams ad the Fudametal outig iciple impotat aspect of pobability theoy is the ability to detemie the total umbe
More informationFIXED POINT AND HYERS-ULAM-RASSIAS STABILITY OF A QUADRATIC FUNCTIONAL EQUATION IN BANACH SPACES
IJRRAS 6 () July 0 www.apapess.com/volumes/vol6issue/ijrras_6.pdf FIXED POINT AND HYERS-UAM-RASSIAS STABIITY OF A QUADRATIC FUNCTIONA EQUATION IN BANACH SPACES E. Movahedia Behbaha Khatam Al-Abia Uivesity
More informationCounting Functions and Subsets
CHAPTER 1 Coutig Fuctios ad Subsets This chapte of the otes is based o Chapte 12 of PJE See PJE p144 Hee ad below, the efeeces to the PJEccles book ae give as PJE The goal of this shot chapte is to itoduce
More informationMATH Midterm Solutions
MATH 2113 - Midtem Solutios Febuay 18 1. A bag of mables cotais 4 which ae ed, 4 which ae blue ad 4 which ae gee. a How may mables must be chose fom the bag to guaatee that thee ae the same colou? We ca
More informationGreatest term (numerically) in the expansion of (1 + x) Method 1 Let T
BINOMIAL THEOREM_SYNOPSIS Geatest tem (umeically) i the epasio of ( + ) Method Let T ( The th tem) be the geatest tem. Fid T, T, T fom the give epasio. Put T T T ad. Th will give a iequality fom whee value
More informationAdvanced Physical Geodesy
Supplemetal Notes Review of g Tems i Moitz s Aalytic Cotiuatio Method. Advaced hysical Geodesy GS887 Chistophe Jekeli Geodetic Sciece The Ohio State Uivesity 5 South Oval Mall Columbus, OH 4 7 The followig
More information= y and Normed Linear Spaces
304-50 LINER SYSTEMS Lectue 8: Solutos to = ad Nomed Lea Spaces 73 Fdg N To fd N, we eed to chaacteze all solutos to = 0 Recall that ow opeatos peseve N, so that = 0 = 0 We ca solve = 0 ecusvel backwads
More informationOn a Problem of Littlewood
Ž. JOURAL OF MATHEMATICAL AALYSIS AD APPLICATIOS 199, 403 408 1996 ARTICLE O. 0149 O a Poblem of Littlewood Host Alze Mosbache Stasse 10, 51545 Waldbol, Gemay Submitted by J. L. Bee Received May 19, 1995
More informationLecture 6: October 16, 2017
Ifomatio ad Codig Theoy Autum 207 Lectue: Madhu Tulsiai Lectue 6: Octobe 6, 207 The Method of Types Fo this lectue, we will take U to be a fiite uivese U, ad use x (x, x 2,..., x to deote a sequece of
More informationMATH 10550, EXAM 3 SOLUTIONS
MATH 155, EXAM 3 SOLUTIONS 1. I fidig a approximate solutio to the equatio x 3 +x 4 = usig Newto s method with iitial approximatio x 1 = 1, what is x? Solutio. Recall that x +1 = x f(x ) f (x ). Hece,
More informationTechnical Report: Bessel Filter Analysis
Sasa Mahmoodi 1 Techical Repot: Bessel Filte Aalysis 1 School of Electoics ad Compute Sciece, Buildig 1, Southampto Uivesity, Southampto, S17 1BJ, UK, Email: sm3@ecs.soto.ac.uk I this techical epot, we
More information= 5! 3! 2! = 5! 3! (5 3)!. In general, the number of different groups of r items out of n items (when the order is ignored) is given by n!
0 Combiatoial Aalysis Copyight by Deiz Kalı 4 Combiatios Questio 4 What is the diffeece betwee the followig questio i How may 3-lette wods ca you wite usig the lettes A, B, C, D, E ii How may 3-elemet
More informationA note on random minimum length spanning trees
A ote o adom miimum legth spaig tees Ala Fieze Miklós Ruszikó Lubos Thoma Depatmet of Mathematical Scieces Caegie Mello Uivesity Pittsbugh PA15213, USA ala@adom.math.cmu.edu, usziko@luta.sztaki.hu, thoma@qwes.math.cmu.edu
More informationOn ARMA(1,q) models with bounded and periodically correlated solutions
Reseach Repot HSC/03/3 O ARMA(,q) models with bouded ad peiodically coelated solutios Aleksade Weo,2 ad Agieszka Wy oma ska,2 Hugo Steihaus Cete, Woc aw Uivesity of Techology 2 Istitute of Mathematics,
More informationOn composite conformal mapping of an annulus to a plane with two holes
O composite cofomal mappig of a aulus to a plae with two holes Mila Batista (July 07) Abstact I the aticle we coside the composite cofomal map which maps aulus to ifiite egio with symmetic hole ad ealy
More informationInverse Matrix. A meaning that matrix B is an inverse of matrix A.
Iverse Matrix Two square matrices A ad B of dimesios are called iverses to oe aother if the followig holds, AB BA I (11) The otio is dual but we ofte write 1 B A meaig that matrix B is a iverse of matrix
More informationChapter 2 Sampling distribution
[ 05 STAT] Chapte Samplig distibutio. The Paamete ad the Statistic Whe we have collected the data, we have a whole set of umbes o desciptios witte dow o a pape o stoed o a compute file. We ty to summaize
More informationAuchmuty High School Mathematics Department Sequences & Series Notes Teacher Version
equeces ad eies Auchmuty High chool Mathematics Depatmet equeces & eies Notes Teache Vesio A sequece takes the fom,,7,0,, while 7 0 is a seies. Thee ae two types of sequece/seies aithmetic ad geometic.
More information2012 GCE A Level H2 Maths Solution Paper Let x,
GCE A Level H Maths Solutio Pape. Let, y ad z be the cost of a ticet fo ude yeas, betwee ad 5 yeas, ad ove 5 yeas categoies espectively. 9 + y + 4z =. 7 + 5y + z = 8. + 4y + 5z = 58.5 Fo ude, ticet costs
More informationMath 7409 Homework 2 Fall from which we can calculate the cycle index of the action of S 5 on pairs of vertices as
Math 7409 Hoewok 2 Fall 2010 1. Eueate the equivalece classes of siple gaphs o 5 vetices by usig the patte ivetoy as a guide. The cycle idex of S 5 actig o 5 vetices is 1 x 5 120 1 10 x 3 1 x 2 15 x 1
More informationAlgebra of Least Squares
October 19, 2018 Algebra of Least Squares Geometry of Least Squares Recall that out data is like a table [Y X] where Y collects observatios o the depedet variable Y ad X collects observatios o the k-dimesioal
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More informationElectron states in a periodic potential. Assume the electrons do not interact with each other. Solve the single electron Schrodinger equation: KJ =
Electo states i a peiodic potetial Assume the electos do ot iteact with each othe Solve the sigle electo Schodige equatio: 2 F h 2 + I U ( ) Ψ( ) EΨ( ). 2m HG KJ = whee U(+R)=U(), R is ay Bavais lattice
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationLecture 7: October 18, 2017
Iformatio ad Codig Theory Autum 207 Lecturer: Madhur Tulsiai Lecture 7: October 8, 207 Biary hypothesis testig I this lecture, we apply the tools developed i the past few lectures to uderstad the problem
More informationMATH10212 Linear Algebra B Proof Problems
MATH22 Liear Algebra Proof Problems 5 Jue 26 Each problem requests a proof of a simple statemet Problems placed lower i the list may use the results of previous oes Matrices ermiats If a b R the matrix
More informationDefinition 1.2 An algebra A is called a division algebra if every nonzero element a has a multiplicative inverse b ; that is, ab = ba = 1.
1 Semisimple igs ad modules The mateial i these otes is based upo the teatmets i S Lag, Algeba, Thid Editio, chaptes 17 ad 18 ; J-P See, Liea epesetatios of fiite goups ad N Jacobso, Basic Algeba, II Sectio
More informationSVD ( ) Linear Algebra for. A bit of repetition. Lecture: 8. Let s try the factorization. Is there a generalization? = Q2Λ2Q (spectral theorem!
Liea Algeba fo Wieless Commuicatios Lectue: 8 Sigula Value Decompositio SVD Ove Edfos Depatmet of Electical ad Ifomatio echology Lud Uivesity it 00-04-06 Ove Edfos A bit of epetitio A vey useful matix
More informationMatrix Algebra 2.3 CHARACTERIZATIONS OF INVERTIBLE MATRICES Pearson Education, Inc.
2 Matrix Algebra 2.3 CHARACTERIZATIONS OF INVERTIBLE MATRICES 2012 Pearso Educatio, Ic. Theorem 8: Let A be a square matrix. The the followig statemets are equivalet. That is, for a give A, the statemets
More informationON EUCLID S AND EULER S PROOF THAT THE NUMBER OF PRIMES IS INFINITE AND SOME APPLICATIONS
Joual of Pue ad Alied Mathematics: Advaces ad Alicatios Volume 0 Numbe 03 Pages 5-58 ON EUCLID S AND EULER S PROOF THAT THE NUMBER OF PRIMES IS INFINITE AND SOME APPLICATIONS ALI H HAKAMI Deatmet of Mathematics
More informationPRACTICE FINAL/STUDY GUIDE SOLUTIONS
Last edited December 9, 03 at 4:33pm) Feel free to sed me ay feedback, icludig commets, typos, ad mathematical errors Problem Give the precise meaig of the followig statemets i) a f) L ii) a + f) L iii)
More informationEinstein Classes, Unit No. 102, 103, Vardhman Ring Road Plaza, Vikas Puri Extn., Outer Ring Road New Delhi , Ph. : ,
MB BINOMIAL THEOREM Biomial Epessio : A algebaic epessio which cotais two dissimila tems is called biomial epessio Fo eample :,,, etc / ( ) Statemet of Biomial theoem : If, R ad N, the : ( + ) = a b +
More informationConsider unordered sample of size r. This sample can be used to make r! Ordered samples (r! permutations). unordered sample
Uodeed Samples without Replacemet oside populatio of elemets a a... a. y uodeed aagemet of elemets is called a uodeed sample of size. Two uodeed samples ae diffeet oly if oe cotais a elemet ot cotaied
More informationModels of network routing and congestion control
Models of etok outig ad cogestio cotol Fak Kelly, Cambidge statslabcamacuk/~fak/tlks/amhesthtml Uivesity of Massachusetts mhest, Mach 26, 28 Ed-to-ed cogestio cotol sedes eceives Sedes lea though feedback
More informationSOME ARITHMETIC PROPERTIES OF OVERPARTITION K -TUPLES
#A17 INTEGERS 9 2009), 181-190 SOME ARITHMETIC PROPERTIES OF OVERPARTITION K -TUPLES Deick M. Keiste Depatmet of Mathematics, Pe State Uivesity, Uivesity Pak, PA 16802 dmk5075@psu.edu James A. Selles Depatmet
More informationLecture 10: Bounded Linear Operators and Orthogonality in Hilbert Spaces
Lecture : Bouded Liear Operators ad Orthogoality i Hilbert Spaces 34 Bouded Liear Operator Let ( X, ), ( Y, ) i i be ored liear vector spaces ad { } X Y The, T is said to be bouded if a real uber c such
More information6.3 Testing Series With Positive Terms
6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial
More informationIterative Techniques for Solving Ax b -(3.8). Assume that the system has a unique solution. Let x be the solution. Then x A 1 b.
Iterative Techiques for Solvig Ax b -(8) Cosider solvig liear systems of them form: Ax b where A a ij, x x i, b b i Assume that the system has a uique solutio Let x be the solutio The x A b Jacobi ad Gauss-Seidel
More informationProgression. CATsyllabus.com. CATsyllabus.com. Sequence & Series. Arithmetic Progression (A.P.) n th term of an A.P.
Pogessio Sequece & Seies A set of umbes whose domai is a eal umbe is called a SEQUENCE ad sum of the sequece is called a SERIES. If a, a, a, a 4,., a, is a sequece, the the expessio a + a + a + a 4 + a
More informationMatrix Algebra 2.2 THE INVERSE OF A MATRIX Pearson Education, Inc.
2 Matrix Algebra 2.2 THE INVERSE OF A MATRIX MATRIX OPERATIONS A matrix A is said to be ivertible if there is a matrix C such that CA = I ad AC = I where, the idetity matrix. I = I I this case, C is a
More informationLecture 2: Stress. 1. Forces Surface Forces and Body Forces
Lectue : Stess Geophysicists study pheomea such as seismicity, plate tectoics, ad the slow flow of ocks ad mieals called ceep. Oe way they study these pheomea is by ivestigatig the defomatio ad flow of
More informationCHAPTER 5. Theory and Solution Using Matrix Techniques
A SERIES OF CLASS NOTES FOR 2005-2006 TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS DE CLASS NOTES 3 A COLLECTION OF HANDOUTS ON SYSTEMS OF ORDINARY DIFFERENTIAL
More informationEXAMPLES. Leader in CBSE Coaching. Solutions of BINOMIAL THEOREM A.V.T.E. by AVTE (avte.in) Class XI
avtei EXAMPLES Solutios of AVTE by AVTE (avtei) lass XI Leade i BSE oachig 1 avtei SHORT ANSWER TYPE 1 Fid the th tem i the epasio of 1 We have T 1 1 1 1 1 1 1 1 1 1 Epad the followig (1 + ) 4 Put 1 y
More informationTime-Domain Representations of LTI Systems
2.1 Itroductio Objectives: 1. Impulse resposes of LTI systems 2. Liear costat-coefficiets differetial or differece equatios of LTI systems 3. Bloc diagram represetatios of LTI systems 4. State-variable
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More informationGeneralized Semi- Markov Processes (GSMP)
Geeralized Semi- Markov Processes (GSMP) Summary Some Defiitios Markov ad Semi-Markov Processes The Poisso Process Properties of the Poisso Process Iterarrival times Memoryless property ad the residual
More information12.6 Sequential LMMSE Estimation
12.6 Sequetial LMMSE Estimatio Same kid if settig as fo Sequetial LS Fied umbe of paametes (but hee they ae modeled as adom) Iceasig umbe of data samples Data Model: [ H[ θ + w[ (+1) 1 p 1 [ [[0] [] ukow
More informationLinear regression. Daniel Hsu (COMS 4771) (y i x T i β)2 2πσ. 2 2σ 2. 1 n. (x T i β y i ) 2. 1 ˆβ arg min. β R n d
Liear regressio Daiel Hsu (COMS 477) Maximum likelihood estimatio Oe of the simplest liear regressio models is the followig: (X, Y ),..., (X, Y ), (X, Y ) are iid radom pairs takig values i R d R, ad Y
More informationA Generalization of the Deutsch-Jozsa Algorithm to Multi-Valued Quantum Logic
A Geealizatio of the Deutsch-Jozsa Algoithm to Multi-Valued Quatum Logic Yale Fa The Catli Gabel School 885 SW Baes Road Potlad, OR 975-6599, USA yalefa@gmail.com Abstact We geealize the biay Deutsch-Jozsa
More informationMath 113 Exam 3 Practice
Math Exam Practice Exam 4 will cover.-., 0. ad 0.. Note that eve though. was tested i exam, questios from that sectios may also be o this exam. For practice problems o., refer to the last review. This
More informationELEMENTARY AND COMPOUND EVENTS PROBABILITY
Euopea Joual of Basic ad Applied Scieces Vol. 5 No., 08 ELEMENTARY AND COMPOUND EVENTS PROBABILITY William W.S. Che Depatmet of Statistics The Geoge Washigto Uivesity Washigto D.C. 003 E-mail: williamwsche@gmail.com
More informationChapter 4. Fourier Series
Chapter 4. Fourier Series At this poit we are ready to ow cosider the caoical equatios. Cosider, for eample the heat equatio u t = u, < (4.) subject to u(, ) = si, u(, t) = u(, t) =. (4.) Here,
More informationFinite q-identities related to well-known theorems of Euler and Gauss. Johann Cigler
Fiite -idetities elated to well-ow theoems of Eule ad Gauss Joha Cigle Faultät fü Mathemati Uivesität Wie A-9 Wie, Nodbegstaße 5 email: oha.cigle@uivie.ac.at Abstact We give geealizatios of a fiite vesio
More informationGeneralized k-normal Matrices
Iteatioal Joual of Computatioal Sciece ad Mathematics ISSN 0974-389 Volume 3, Numbe 4 (0), pp 4-40 Iteatioal Reseach Publicatio House http://wwwiphousecom Geealized k-omal Matices S Kishamoothy ad R Subash
More informationZeros 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 informationModelling rheological cone-plate test conditions
ANNUAL TRANSACTIONS OF THE NORDIC RHEOLOGY SOCIETY, VOL. 16, 28 Modellig heological coe-plate test coditios Reida Bafod Schülle 1 ad Calos Salas-Bigas 2 1 Depatmet of Chemisty, Biotechology ad Food Sciece,
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More informationMa 530 Introduction to Power Series
Ma 530 Itroductio to Power Series Please ote that there is material o power series at Visual Calculus. Some of this material was used as part of the presetatio of the topics that follow. What is a Power
More informationThe picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled
1 Lecture : Area Area ad distace traveled Approximatig area by rectagles Summatio The area uder a parabola 1.1 Area ad distace Suppose we have the followig iformatio about the velocity of a particle, how
More informationEVALUATION OF SUMS INVOLVING GAUSSIAN q-binomial COEFFICIENTS WITH RATIONAL WEIGHT FUNCTIONS
EVALUATION OF SUMS INVOLVING GAUSSIAN -BINOMIAL COEFFICIENTS WITH RATIONAL WEIGHT FUNCTIONS EMRAH KILIÇ AND HELMUT PRODINGER Abstact We coside sums of the Gaussia -biomial coefficiets with a paametic atioal
More information(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 informationRandom Models. Tusheng Zhang. February 14, 2013
Radom Models Tusheg Zhag February 14, 013 1 Radom Walks Let me describe the model. Radom walks are used to describe the motio of a movig particle (object). Suppose that a particle (object) moves alog the
More informationAppendix: The Laplace Transform
Appedix: The Laplace Trasform The Laplace trasform is a powerful method that ca be used to solve differetial equatio, ad other mathematical problems. Its stregth lies i the fact that it allows the trasformatio
More informationOther quantum algorithms
Chapte 3 Othe uatum agoithms 3. Quick emide of Gove s agoithm We peset hee a uick emide of Gove s agoithm. Iput: a fuctio f : {0,}! {0,}. Goa: fid x such that f (x) =. Seach pobem We have a uatum access
More informationThe Pigeonhole Principle 3.4 Binomial Coefficients
Discete M athematic Chapte 3: Coutig 3. The Pigeohole Piciple 3.4 Biomial Coefficiets D Patic Cha School of Compute Sciece ad Egieeig South Chia Uivesity of Techology Ageda Ch 3. The Pigeohole Piciple
More informationEmpirical Process Theory and Oracle Inequalities
Stat 928: Statistical Learig Theory Lecture: 10 Empirical Process Theory ad Oracle Iequalities Istructor: Sham Kakade 1 Risk vs Risk See Lecture 0 for a discussio o termiology. 2 The Uio Boud / Boferoi
More informationL8b - Laplacians in a circle
L8b - Laplacias i a cicle Rev //04 `Give you evidece,' the Kig epeated agily, `o I'll have you executed, whethe you'e evous o ot.' `I'm a poo ma, you Majesty,' the Hatte bega, i a temblig voice, `--ad
More informationLESSON 15: COMPOUND INTEREST
High School: Expoeial Fuctios LESSON 15: COMPOUND INTEREST 1. You have see this fomula fo compoud ieest. Paamete P is the picipal amou (the moey you stat with). Paamete is the ieest ate pe yea expessed
More informationsin(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 informationChapter 2. Periodic points of toral. automorphisms. 2.1 General introduction
Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad
More informationECE-S352 Introduction to Digital Signal Processing Lecture 3A Direct Solution of Difference Equations
ECE-S352 Itroductio to Digital Sigal Processig Lecture 3A Direct Solutio of Differece Equatios Discrete Time Systems Described by Differece Equatios Uit impulse (sample) respose h() of a DT system allows
More informationUNIT 2 DIFFERENT APPROACHES TO PROBABILITY THEORY
UNIT 2 DIFFERENT APPROACHES TO PROBABILITY THEORY Structure 2.1 Itroductio Objectives 2.2 Relative Frequecy Approach ad Statistical Probability 2. Problems Based o Relative Frequecy 2.4 Subjective Approach
More informationMIDTERM 3 CALCULUS 2. Monday, December 3, :15 PM to 6:45 PM. Name PRACTICE EXAM SOLUTIONS
MIDTERM 3 CALCULUS MATH 300 FALL 08 Moday, December 3, 08 5:5 PM to 6:45 PM Name PRACTICE EXAM S Please aswer all of the questios, ad show your work. You must explai your aswers to get credit. You will
More information5.1 Review of Singular Value Decomposition (SVD)
MGMT 69000: Topics i High-dimesioal Data Aalysis Falll 06 Lecture 5: Spectral Clusterig: Overview (cotd) ad Aalysis Lecturer: Jiamig Xu Scribe: Adarsh Barik, Taotao He, September 3, 06 Outlie Review of
More informationLecture 23: Minimal sufficiency
Lecture 23: Miimal sufficiecy Maximal reductio without loss of iformatio There are may sufficiet statistics for a give problem. I fact, X (the whole data set) is sufficiet. If T is a sufficiet statistic
More informationPhysics 324, Fall Dirac Notation. These notes were produced by David Kaplan for Phys. 324 in Autumn 2001.
Physics 324, Fall 2002 Dirac Notatio These otes were produced by David Kapla for Phys. 324 i Autum 2001. 1 Vectors 1.1 Ier product Recall from liear algebra: we ca represet a vector V as a colum vector;
More informationState Space Representation
Optimal Cotrol, Guidace ad Estimatio Lecture 2 Overview of SS Approach ad Matrix heory Prof. Radhakat Padhi Dept. of Aerospace Egieerig Idia Istitute of Sciece - Bagalore State Space Represetatio Prof.
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationA two-sided Iterative Method for Solving
NTERNATONAL JOURNAL OF MATHEMATCS AND COMPUTERS N SMULATON Volume 9 0 A two-sided teative Method fo Solvig * A Noliea Matix Equatio X= AX A Saa'a A Zaea Abstact A efficiet ad umeical algoithm is suggested
More informationEDEXCEL NATIONAL CERTIFICATE UNIT 28 FURTHER MATHEMATICS FOR TECHNICIANS OUTCOME 2- ALGEBRAIC TECHNIQUES TUTORIAL 1 - PROGRESSIONS
EDEXCEL NATIONAL CERTIFICATE UNIT 8 FURTHER MATHEMATICS FOR TECHNICIANS OUTCOME - ALGEBRAIC TECHNIQUES TUTORIAL - PROGRESSIONS CONTENTS Be able to apply algebaic techiques Aithmetic pogessio (AP): fist
More informationLECTURE 8: ORTHOGONALITY (CHAPTER 5 IN THE BOOK)
LECTURE 8: ORTHOGONALITY (CHAPTER 5 IN THE BOOK) Everythig marked by is ot required by the course syllabus I this lecture, all vector spaces is over the real umber R. All vectors i R is viewed as a colum
More informationDifferent kinds of Mathematical Induction
Differet ids of Mathematical Iductio () Mathematical Iductio Give A N, [ A (a A a A)] A N () (First) Priciple of Mathematical Iductio Let P() be a propositio (ope setece), if we put A { : N p() is true}
More informationECE534, Spring 2018: Final Exam
ECE534, Srig 2018: Fial Exam Problem 1 Let X N (0, 1) ad Y N (0, 1) be ideedet radom variables. variables V = X + Y ad W = X 2Y. Defie the radom (a) Are V, W joitly Gaussia? Justify your aswer. (b) Comute
More information