A Criterion on Existence and Uniqueness of Behavior in Electric Circuit
|
|
- Noah Stevens
- 5 years ago
- Views:
Transcription
1 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 ISSN: , DOI: /ijecev6i A Criterion on Existence nd Uniqueness of Behvior in Electric Circuit Tkuy Hirt *, Eko Setiwn *, Kzuy Ymguchi **, nd Ichijo Hodk *** * Interdisciplinry Grdute School of Agriculture nd Engineering, University of Miyzki ** Deprtment of Control Engineering, Ntionl Institute of Technology Nr College *** Deprtment of Environmentl Robotics, Fculty of Engineering, University of Miyzki Article Info Article history: Received Feb 5, 2016 Revised My 22, 2016 Accepted Jun 8, 2016 Keyword: behvior of electric circuit switching circuit circuit nlysis ABSTRACT Behvior of electric circuits cn be observed by solving circuit equtions symboliclly s well s numericlly In generl, symbolic computtion for circuits with certin number of circuit elements needs much more time thn numericl computtion It is resonble to check the existence nd uniqueness of the solution to circuit equtions beforehnd in order to void computtion for the cse of no solution Indeed, some circuits hve no solution; in tht cse, one should notice it nd void to wit meningless computtion This pper proposes new theorem to check whether given circuit equtions hve solution nd their voltges nd currents of ll circuit elements re uniquely determined or not The theorem is suitble for developing computer lgorithm nd helps quick symbolic computtion for electric circuits Copyright c 2016 Institute of Advnced Engineering nd Science All rights reserved Corresponding Author: Ichijo Hodk Deprtment of Environmentl Robotics, Fculty of Engineering, University of Miyzki 1-1, Gkuen Kibndi Nishi, Miyzki, , Jpn hijhodk@ccmiyzki-ucjp 1 INTRODUCTION Any simultion of behvior of n ctul circuit is bsed on modelling of the circuit with ideliztion The modelling is crucil step of nlysis nd design; it depicts the ctul circuit s circuit digrm, determines working point, nd linerizes chrcteristics of electric components in the ctul circuit with working frequency Behvior of the ctul circuit is represented by solution to circuit equtions derived from the circuit digrm nd the fundmentl lws such s Kirchhoff s lws, Ohm s lw, nd the electric chrcteristics of inductor nd cpcitor SPICE1, defcto stndrd circuit simultor, simultes nd plots the behvior by numericl clcultion Tht is, we there ssume existence nd uniqueness of behvior We lso ssume them if we mesure behvior of n ctul circuit Hence, modelling process should not scrifice existence nd uniqueness of behvior; voltges nd currents t components in the ctul circuit or in the simultion model should be single-vlued functions defined on ll time Some studies ddress circuit digrms which hve lost existence nd uniqueness of behvior For exmple, some of inductor currents nd cpcitor voltges in the circuit digrm re not eligible for member of stte vribles2-5 This cn be trnslted into problem to find spnning tree in the circuit by grph theory3-5 However, little is known bout direct procedure to check given circuit digrm In this pper, we propose quick criterion to check whether solution to liner circuit equtions exists nd is uniquely determined or not The criterion enbles us to vlidte complicted circuits such s switching circuit with computers, nd thus drw proper circuit digrm - digrm which hs existence nd uniqueness of behvior - with help of computers Notice tht the criterion is written in symbolic eqution Tht mens our result would be fundmentl result to contribute the field of symbolic clcultion67 of electric circuits Journl Homepge: w w w i i e e s s j j o u r r n l l c c o m
2 1530 ISSN: LAWS OF ELECTRIC CIRCUITS AND CIRCUIT EQUATIONS For given circuit digrm, circuit equtions re defined by the fundmentl lws, Kirchhoff s voltge lw(kvl), Kirchhoff s current lw(kcl), Ohm s lw, nd the electric chrcteristics of inductor nd cpcitor, where ll vribles in the lws nd the chrcteristics re ssumed to be single-vlued functions of time t In generl, we hve Aw + By + Cz = 0 (1) H(x(t) x(t 0 )) = t t 0 z 1 (p)dp (2) where, A, B, C, nd H re constnt mtrices whose entries re determined by the lws nd the chrcteristics of electric circuit nd resistnce of resistors, x = il, u = vv i I, w = u, y : the vector of node voltges, z x 1 = vl, z = i V v I v R i R z 1 v S i S, (3) nd v V, v I,, v L, v R, nd v S re voltges of voltge sources, current sources, cpcitors, inductors, resistors nd switches, nd i V, i I,, i L, i R, nd i S re currents of voltge sources, current sources, cpcitors, inductors, resistors nd switches, nd v N is potentil of nodes, respectively This pper ssumes tht ll the vribles re Riemnn integrble, nd thus the nottion in the eqution (2) is Riemnn integrl (for definition of integrl, see eg 8) N1 N0 N2 N3 Figure 1 A boost converter - CCM (S1: ON, S2: OFF) Exmple Figure 1 nd 2 represent so-clled continuous conduction mode (CCM) nd discontinuous conduction mode (DCM) of boost converter 9, respectively Circuit equtions of the circuit digrm in Figure 1 re represented IJECE Vol 6, No 4, August 2016:
3 IJECE ISSN: in the form (1) nd (2), where A = 0 1 0, B = 0, C = 1 0 0, (4) R H = L 0, x = 0 C il, z 1 = vl, w = v V i L, y = v N1 v N3 v N0 v N2, nd z = i V v R i R v L v S1 i S1 v S2 i S2 (5) N1 N0 N2 N3 Figure 2 A boost converter - DCM (S1: OFF, S2: OFF) Circuit equtions of Figure 2 re represented in the form (1) nd (2), where A = 0 1 0, B = 0, C = R (6) A Criterion on Existence nd Uniqueness of Behvior in Electric Circuit (Tkuy Hirt)
4 1532 ISSN: nd the other nottions re lredy defined s (5) The vrible v L cnnot be uniquely determined on the lgebric circuit equtions (6) of Figure 2 for ny v V, i L, nd, which is understood by looking t the circuit digrm We will propose theorem to cpture the bove sitution by rnk clcultions of mtrices A, B nd C in the lgebric eqution (1) 3 THE EXISTENCE AND UNIQUENESS OF SOLUTION OF ALGEBRAIC CIRCUIT EQUATIONS If for ny w, solution (y, z) to the lgebric circuit eqution (1) of circuit exists nd z is unique, then the circuit is sid to be proper in this pper A circuit is sid to be improper if it is not proper Theorem 1 A circuit is proper if nd only if the coefficient mtrices of its lgebric eqution in the form (1) stisfy rnk A B C = rnk B C = rnk B + m where m is the number of column of the mtrix C The proof of Theorem 1 is given in the ppendix A Rnk clcultion in Theorem 1 is performed on generl purpose symbolic computtion system widely used This helps us check whether circuit is proper or not, even if it is lrge nd complicted, nd then difficult to check by hnd Exmple (A proper circuit) We recll the circuit in Figure 1 nd obtin for (4) Therefore the circuit is proper by Theorem 1 rnk A B C = 12, rnk B C = 12, rnk B = 3, m = 9 Exmple (An improper circuit) We recll the circuit in Figure 2 nd obtin rnk A B C = 12, rnk B C = 11, rnk B = 3, m = 9 for (6) Therefore the circuit is improper by Theorem 1 The whole behvior of proper circuit is given by Corollry 1 in the ppendix A 4 CONCLUSION Behvior of n ctul electric circuit, set of voltges nd currents of ll circuit components, is ssumed to be expressed s single-vlued function defined on ll time, in generl Designers depict the ctul circuit s schemtic digrm to simulte behvior of the ctul circuit Creful designers model the circuit s digrm with decision of including prsitic elements or not nd reflect working point nd working frequency of the circuit on the digrm They write circuit equtions equivlent to the digrm, nd then, solve the equtions to simulte behvior of the ctul circuit However, existence nd uniqueness which re ssumed to behvior of the ctul circuit re not necessrily inherited to the solution becuse the digrm nd the equtions re reduction of the ctul circuit This pper hs proposed criterion for the existence nd uniqueness to be gurnteed The proposed criterion is expressed s equlity between rnks of coefficient mtrices in the circuit equtions Effective nd quick clcultion of mtrix rnk is vilble in generl purpose symbolic computing tools Therefore our result contributes to the field of symbolic computtion of electric circuits A LEMMA, COROLLARY AND PROOF Corollry 1 If circuit is proper, the equtions (1) nd (2) re uniquely solved s: z = K 1 x + K 2 u (7) x(t) = e F (t t0) x(t 0 ) + e F t t t 0 e F p Gu(p)dp (8) Proof 1 We immeditely obtin the expression (7) by Theorem 1 This includes z 1 = K 11 x + K 21 u Notice tht the mtrix H is block-digonl whose blocks hve cpcitnces C s nd self or mutul inductnces (L s nd M s respectively) in their entries nd is invertible If we put F = H 1 K 11 nd G = H 1 K 21 nd pply integrtion by prts8 with mtrix exponentil function, we hve (8) We remrk tht the solution (8) is obtined without ssuming x(t) to be differentible IJECE Vol 6, No 4, August 2016:
5 IJECE ISSN: Lemm 1 Let B nd C be mtrices with common number of rows The eqution By + Cz = 0 hs solution z for ny y if nd only if rnk B C = rnk C Proof 2 (only if) There is mtrix Z such tht B = CZ Then B C = CZ C = CZ U m, where U m is n identity mtrix rnk B C = rnk C, becuse Z U m is row full rnk (if) Since rnk B C = rnk C nd Im B C Im C, Im B C = Im C Hence Im B Im B C = Im C This mens tht for every fixed y, there is z such tht By + Cz = 0 Proof 3 (For Theorem 1) (only if) By the ssumption nd Lemm 1, rnk A B C = rnk B C Let w = 0 The solution spce Q of the y1 y2 eqution (1) is Q = kerb C Let Q nd y z 2 ker B Since Q, z = 0 Hence, dim(kerb C) = dim(ker B) By rnk-nullity theorem, we obtin rnk B C = rnk B + m y (if) Let Q(w) = { Aw+By+Cz = 0} By Lemm 1, for every fixed w, Q(w) φ Since rnk B C rnk B+ z rnk C nd rnk C m in generl, rnk B C = rnk B + m follows m = rnk B C rnk B rnk C m So, rnk C = m = rnk B C rnk B (9) Use generl equlity rnk B C = rnk B + rnk C dim(im B Im C)10 nd (9) show dim(im B Im C) = 0 (10) y1 y2 Let nd Q(w) Then By z 1 z 1 + Cz 1 = By 2 + Cz 2 By (10), C(z 1 z 2 ) = 0 The first equlity in (9) 2 implies z 1 = z 2 REFERENCES 1 L W Ngel nd D O Pederson, SPICE (Simultion Progrm with Integrted Circuit Emphsis), Memorndum No ERLM382 Electronic Reserch Lbortory, T Bshkow, The A Mtrix, New Network Description, IRE Trnsctions on Circuit Theory, Vol 4, No 3, pp , E S Kuh nd RA Rohrer, The Stte-Vrible Approch to Network Anlysis, Proceedings of the IEEE, Vol 53, No 7, pp , R A Rohrer, Circuit Theory: An Introduction to the Stte Vrible Approch, McGrw-Hill, D A Clhn, Computer-Aided Network Design, Revised Edition, McGrw-Hill, A Luchett, S Mnetti, nd A Retti, SAPWIN- symbolic simultor s support in electricl engineering eduction, IEEE Trnsctions on Eduction, Vol 44, No 2, T Hirt, K Ymguchi, nd I Hodk, A Symbolic Eqution Modeler for Electric Circuits, ACM Communictions in Computer Algebr, Vol 49, No 3, Issue 193, K Knopp, Theory nd Appliction of Infinite Series, Blckie, R W Erickson nd D Mksimović, Fundmentls of Power Electronics, Second Edition, Kluwer, P Lncster nd M Tismenetsky, The Theory of Mtrices, Second Edition, Acdemic Press, 1985 A Criterion on Existence nd Uniqueness of Behvior in Electric Circuit (Tkuy Hirt)
Advanced 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 informationThe Riemann-Lebesgue Lemma
Physics 215 Winter 218 The Riemnn-Lebesgue Lemm The Riemnn Lebesgue Lemm is one of the most importnt results of Fourier nlysis nd symptotic nlysis. It hs mny physics pplictions, especilly in studies of
More informationMAA 4212 Improper Integrals
Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which
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 informationGeneralized Fano and non-fano networks
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, bkri}@iitg.ernet.in
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 informationAdvanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015
Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n
More informationImproper Integrals, and Differential Equations
Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted
More information11 An introduction to Riemann Integration
11 An introduction to Riemnn Integrtion The PROOFS of the stndrd lemms nd theorems concerning the Riemnn Integrl re NEB, nd you will not be sked to reproduce proofs of these in full in the exmintion in
More information1. On some properties of definite integrals. We prove
This short collection of notes is intended to complement the textbook Anlisi Mtemtic 2 by Crl Mdern, published by Città Studi Editore, [M]. We refer to [M] for nottion nd the logicl stremline of the rguments.
More informationCzechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction
Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued
More informationJournal of Inequalities in Pure and Applied Mathematics
Journl of Inequlities in Pure nd Applied Mthemtics GENERALIZATIONS OF THE TRAPEZOID INEQUALITIES BASED ON A NEW MEAN VALUE THEOREM FOR THE REMAINDER IN TAYLOR S FORMULA volume 7, issue 3, rticle 90, 006.
More informationMath& 152 Section Integration by Parts
Mth& 5 Section 7. - Integrtion by Prts Integrtion by prts is rule tht trnsforms the integrl of the product of two functions into other (idelly simpler) integrls. Recll from Clculus I tht given two differentible
More information63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1
3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =
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 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 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 informationKeywords : Generalized Ostrowski s inequality, generalized midpoint inequality, Taylor s formula.
Generliztions of the Ostrowski s inequlity K. S. Anstsiou Aristides I. Kechriniotis B. A. Kotsos Technologicl Eductionl Institute T.E.I.) of Lmi 3rd Km. O.N.R. Lmi-Athens Lmi 3500 Greece Abstrct Using
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 informationCHAPTER 4a. ROOTS OF EQUATIONS
CHAPTER 4. ROOTS OF EQUATIONS A. J. Clrk School o Engineering Deprtment o Civil nd Environmentl Engineering by Dr. Ibrhim A. Asskk Spring 00 ENCE 03 - Computtion Methods in Civil Engineering II Deprtment
More informationarxiv:math/ v2 [math.ho] 16 Dec 2003
rxiv:mth/0312293v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ 07070 jbi2@njit.edu Februry 1, 2008 Abstrct In this pper,
More information1.2. Linear Variable Coefficient Equations. y + b "! = a y + b " Remark: The case b = 0 and a non-constant can be solved with the same idea as above.
1 12 Liner Vrible Coefficient Equtions Section Objective(s): Review: Constnt Coefficient Equtions Solving Vrible Coefficient Equtions The Integrting Fctor Method The Bernoulli Eqution 121 Review: Constnt
More informationHomework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.
Homework 4 (1) If f R[, b], show tht f 3 R[, b]. If f + (x) = mx{f(x), 0}, is f + R[, b]? Justify your nswer. (2) Let f be continuous function on [, b] tht is strictly positive except finitely mny points
More informationf(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all
3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the
More informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More information7.2 Riemann Integrable Functions
7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous
More informationContents. Outline. Structured Rank Matrices Lecture 2: The theorem Proofs Examples related to structured ranks References. Structure Transport
Contents Structured Rnk Mtrices Lecture 2: Mrc Vn Brel nd Rf Vndebril Dept. of Computer Science, K.U.Leuven, Belgium Chemnitz, Germny, 26-30 September 2011 1 Exmples relted to structured rnks 2 2 / 26
More informationWeek 10: Line Integrals
Week 10: Line Integrls Introduction In this finl week we return to prmetrised curves nd consider integrtion long such curves. We lredy sw this in Week 2 when we integrted long curve to find its length.
More informationSection 6.1 INTRO to LAPLACE TRANSFORMS
Section 6. INTRO to LAPLACE TRANSFORMS Key terms: Improper Integrl; diverge, converge A A f(t)dt lim f(t)dt Piecewise Continuous Function; jump discontinuity Function of Exponentil Order Lplce Trnsform
More informationChapter 6. Riemann Integral
Introduction to Riemnn integrl Chpter 6. Riemnn Integrl Won-Kwng Prk Deprtment of Mthemtics, The College of Nturl Sciences Kookmin University Second semester, 2015 1 / 41 Introduction to Riemnn integrl
More informationChapter 4. Lebesgue Integration
4.2. Lebesgue Integrtion 1 Chpter 4. Lebesgue Integrtion Section 4.2. Lebesgue Integrtion Note. Simple functions ply the sme role to Lebesgue integrls s step functions ply to Riemnn integrtion. Definition.
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 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 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 information1 The Lagrange interpolation formula
Notes on Qudrture 1 The Lgrnge interpoltion formul We briefly recll the Lgrnge interpoltion formul. The strting point is collection of N + 1 rel points (x 0, y 0 ), (x 1, y 1 ),..., (x N, y N ), with x
More informationBest Approximation in the 2-norm
Jim Lmbers MAT 77 Fll Semester 1-11 Lecture 1 Notes These notes correspond to Sections 9. nd 9.3 in the text. Best Approximtion in the -norm Suppose tht we wish to obtin function f n (x) tht is liner combintion
More information1.1. Linear Constant Coefficient Equations. Remark: A differential equation is an equation
1 1.1. Liner Constnt Coefficient Equtions Section Objective(s): Overview of Differentil Equtions. Liner Differentil Equtions. Solving Liner Differentil Equtions. The Initil Vlue Problem. 1.1.1. Overview
More informationPath product and inverse M-matrices
Electronic Journl of Liner Algebr Volume 22 Volume 22 (2011) Article 42 2011 Pth product nd inverse M-mtrices Yn Zhu Cheng-Yi Zhng Jun Liu Follow this nd dditionl works t: http://repository.uwyo.edu/el
More informationA Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions
Interntionl Journl of Mthemticl Anlysis Vol. 8, 2014, no. 50, 2451-2460 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.49294 A Convergence Theorem for the Improper Riemnn Integrl of Bnch
More informationWHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) =
WHEN IS A FUNCTION NOT FLAT? YIFEI PAN AND MEI WANG Abstrct. In this pper we prove unique continution property for vector vlued functions of one vrible stisfying certin differentil inequlity. Key words:
More informationLecture 14: Quadrature
Lecture 14: Qudrture This lecture is concerned with the evlution of integrls fx)dx 1) over finite intervl [, b] The integrnd fx) is ssumed to be rel-vlues nd smooth The pproximtion of n integrl by numericl
More informationImproved Results on Stability of Time-delay Systems using Wirtinger-based Inequality
Preprints of the 9th World Congress he Interntionl Federtion of Automtic Control Improved Results on Stbility of ime-dely Systems using Wirtinger-bsed Inequlity e H. Lee Ju H. Prk H.Y. Jung O.M. Kwon S.M.
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 informationf(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral
Improper Integrls Every time tht we hve evluted definite integrl such s f(x) dx, we hve mde two implicit ssumptions bout the integrl:. The intervl [, b] is finite, nd. f(x) is continuous on [, b]. If one
More informationOrdinary differential equations
Ordinry differentil equtions Introduction to Synthetic Biology E Nvrro A Montgud P Fernndez de Cordob JF Urchueguí Overview Introduction-Modelling Bsic concepts to understnd n ODE. Description nd properties
More informationThe Fundamental Theorem of Calculus. The Total Change Theorem and the Area Under a Curve.
Clculus Li Vs The Fundmentl Theorem of Clculus. The Totl Chnge Theorem nd the Are Under Curve. Recll the following fct from Clculus course. If continuous function f(x) represents the rte of chnge of F
More informationReview on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones.
Mth 20B Integrl Clculus Lecture Review on Integrtion (Secs. 5. - 5.3) Remrks on the course. Slide Review: Sec. 5.-5.3 Origins of Clculus. Riemnn Sums. New functions from old ones. A mthemticl description
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 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 informationDefinite integral. Mathematics FRDIS MENDELU
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the
More informationResearch Article On Existence and Uniqueness of Solutions of a Nonlinear Integral Equation
Journl of Applied Mthemtics Volume 2011, Article ID 743923, 7 pges doi:10.1155/2011/743923 Reserch Article On Existence nd Uniqueness of Solutions of Nonliner Integrl Eqution M. Eshghi Gordji, 1 H. Bghni,
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 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 informationLecture 1: Introduction to integration theory and bounded variation
Lecture 1: Introduction to integrtion theory nd bounded vrition Wht is this course bout? Integrtion theory. The first question you might hve is why there is nything you need to lern bout integrtion. You
More informationDefinite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function
More informationA BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int
A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE HANS RINGSTRÖM. Questions nd exmples In the study of Fourier series, severl questions rise nturlly, such s: () (2) re there conditions on c n, n Z, which ensure
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 information7 - Continuous random variables
7-1 Continuous rndom vribles S. Lll, Stnford 2011.01.25.01 7 - Continuous rndom vribles Continuous rndom vribles The cumultive distribution function The uniform rndom vrible Gussin rndom vribles The Gussin
More informationSolution to Fredholm Fuzzy Integral Equations with Degenerate Kernel
Int. J. Contemp. Mth. Sciences, Vol. 6, 2011, no. 11, 535-543 Solution to Fredholm Fuzzy Integrl Equtions with Degenerte Kernel M. M. Shmivnd, A. Shhsvrn nd S. M. Tri Fculty of Science, Islmic Azd University
More information1.9 C 2 inner variations
46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for
More informationThe First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).
The Fundmentl Theorems of Clculus Mth 4, Section 0, Spring 009 We now know enough bout definite integrls to give precise formultions of the Fundmentl Theorems of Clculus. We will lso look t some bsic emples
More informationOverview. Before beginning this module, you should be able to: After completing this module, you should be able to:
Module.: Differentil Equtions for First Order Electricl Circuits evision: My 26, 2007 Produced in coopertion with www.digilentinc.com Overview This module provides brief review of time domin nlysis of
More informationMath 113 Fall Final Exam Review. 2. Applications of Integration Chapter 6 including sections and section 6.8
Mth 3 Fll 0 The scope of the finl exm will include: Finl Exm Review. Integrls Chpter 5 including sections 5. 5.7, 5.0. Applictions of Integrtion Chpter 6 including sections 6. 6.5 nd section 6.8 3. Infinite
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 informationMA Handout 2: Notation and Background Concepts from Analysis
MA350059 Hndout 2: Nottion nd Bckground Concepts from Anlysis This hndout summrises some nottion we will use nd lso gives recp of some concepts from other units (MA20023: PDEs nd CM, MA20218: Anlysis 2A,
More informationNew Integral Inequalities for n-time Differentiable Functions with Applications for pdfs
Applied Mthemticl Sciences, Vol. 2, 2008, no. 8, 353-362 New Integrl Inequlities for n-time Differentible Functions with Applictions for pdfs Aristides I. Kechriniotis Technologicl Eductionl Institute
More informationThe Riemann Integral
Deprtment of Mthemtics King Sud University 2017-2018 Tble of contents 1 Anti-derivtive Function nd Indefinite Integrls 2 3 4 5 Indefinite Integrls & Anti-derivtive Function Definition Let f : I R be function
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 informationS. S. Dragomir. 2, we have the inequality. b a
Bull Koren Mth Soc 005 No pp 3 30 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Abstrct Compnions of Ostrowski s integrl ineulity for bsolutely
More informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
More informationResearch Article Moment Inequalities and Complete Moment Convergence
Hindwi Publishing Corportion Journl of Inequlities nd Applictions Volume 2009, Article ID 271265, 14 pges doi:10.1155/2009/271265 Reserch Article Moment Inequlities nd Complete Moment Convergence Soo Hk
More information5.7 Improper Integrals
458 pplictions of definite integrls 5.7 Improper Integrls In Section 5.4, we computed the work required to lift pylod of mss m from the surfce of moon of mss nd rdius R to height H bove the surfce of 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 informationUNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE
UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE 1. Pointwise Convergence of Sequence Let E be set nd Y be metric spce. Consider functions f n : E Y for n = 1, 2,.... We sy tht the sequence
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 informationLecture notes. Fundamental inequalities: techniques and applications
Lecture notes Fundmentl inequlities: techniques nd pplictions Mnh Hong Duong Mthemtics Institute, University of Wrwick Emil: m.h.duong@wrwick.c.uk Februry 8, 207 2 Abstrct Inequlities re ubiquitous in
More informationREPRESENTATION THEORY OF PSL 2 (q)
REPRESENTATION THEORY OF PSL (q) YAQIAO LI Following re notes from book [1]. The im is to show the qusirndomness of PSL (q), i.e., the group hs no low dimensionl representtion. 1. Representtion Theory
More informationarxiv: v1 [math.ca] 11 Jul 2011
rxiv:1107.1996v1 [mth.ca] 11 Jul 2011 Existence nd computtion of Riemnn Stieltjes integrls through Riemnn integrls July, 2011 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde
More informationAN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS. I. Fedotov and S. S. Dragomir
RGMIA Reserch Report Collection, Vol., No., 999 http://sci.vu.edu.u/ rgmi AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS I. Fedotov nd S. S. Drgomir Astrct. An
More informationUnit #9 : Definite Integral Properties; Fundamental Theorem of Calculus
Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl
More informationExam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1
Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution
More information1 The Riemann Integral
The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re
More informationImproper Integrals. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics
Improper Integrls MATH 2, Clculus II J. Robert Buchnn Deprtment of Mthemtics Spring 28 Definite Integrls Theorem (Fundmentl Theorem of Clculus (Prt I)) If f is continuous on [, b] then b f (x) dx = [F(x)]
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 informationPhysics 202, Lecture 10. Basic Circuit Components
Physics 202, Lecture 10 Tody s Topics DC Circuits (Chpter 26) Circuit components Kirchhoff s Rules RC Circuits Bsic Circuit Components Component del ttery, emf Resistor Relistic Bttery (del) wire Cpcitor
More informationIntegrals along Curves.
Integrls long Curves. 1. Pth integrls. Let : [, b] R n be continuous function nd let be the imge ([, b]) of. We refer to both nd s curve. If we need to distinguish between the two we cll the function the
More informationLECTURE. INTEGRATION AND ANTIDERIVATIVE.
ANALYSIS FOR HIGH SCHOOL TEACHERS LECTURE. INTEGRATION AND ANTIDERIVATIVE. ROTHSCHILD CAESARIA COURSE, 2015/6 1. Integrtion Historiclly, it ws the problem of computing res nd volumes, tht triggered development
More informationQUADRATURE is an old-fashioned word that refers to
World Acdemy of Science Engineering nd Technology Interntionl Journl of Mthemticl nd Computtionl Sciences Vol:5 No:7 011 A New Qudrture Rule Derived from Spline Interpoltion with Error Anlysis Hdi Tghvfrd
More informationLecture 19: Continuous Least Squares Approximation
Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for
More informationOn Stability of Nonlinear Slowly Time-Varying and Switched Systems
2018 IEEE Conference on Decision nd Control CDC) Mimi Bech, FL, USA, Dec. 17-19, 2018 On Stbility of Nonliner Slowly Time-Vrying nd Switched Systems Xiobin Go, Dniel Liberzon, nd Tmer Bşr Abstrct In this
More informationCHAPTER 4 MULTIPLE INTEGRALS
CHAPTE 4 MULTIPLE INTEGAL The objects of this chpter re five-fold. They re: (1 Discuss when sclr-vlued functions f cn be integrted over closed rectngulr boxes in n ; simply put, f is integrble over iff
More informationPredict Global Earth Temperature using Linier Regression
Predict Globl Erth Temperture using Linier Regression Edwin Swndi Sijbt (23516012) Progrm Studi Mgister Informtik Sekolh Teknik Elektro dn Informtik ITB Jl. Gnesh 10 Bndung 40132, Indonesi 23516012@std.stei.itb.c.id
More information(4.1) D r v(t) ω(t, v(t))
1.4. Differentil inequlities. Let D r denote the right hnd derivtive of function. If ω(t, u) is sclr function of the sclrs t, u in some open connected set Ω, we sy tht function v(t), t < b, is solution
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 informationSome estimates on the Hermite-Hadamard inequality through quasi-convex functions
Annls of University of Criov, Mth. Comp. Sci. Ser. Volume 3, 7, Pges 8 87 ISSN: 13-693 Some estimtes on the Hermite-Hdmrd inequlity through qusi-convex functions Dniel Alexndru Ion Abstrct. In this pper
More informationFundamental Theorem of Calculus and Computations on Some Special Henstock-Kurzweil Integrals
Fundmentl Theorem of Clculus nd Computtions on Some Specil Henstock-Kurzweil Integrls Wei-Chi YANG wyng@rdford.edu Deprtment of Mthemtics nd Sttistics Rdford University Rdford, VA 24142 USA DING, Xiofeng
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 informationIN GAUSSIAN INTEGERS X 3 + Y 3 = Z 3 HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A2 IN GAUSSIAN INTEGERS X + Y = Z HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH Elis Lmpkis Lmpropoulou (Term), Kiprissi, T.K: 24500,
More informationChapter 5 : Continuous Random Variables
STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 216 Néhémy Lim Chpter 5 : Continuous Rndom Vribles Nottions. N {, 1, 2,...}, set of nturl numbers (i.e. ll nonnegtive integers); N {1, 2,...}, set of ll
More informationSTEP FUNCTIONS, DELTA FUNCTIONS, AND THE VARIATION OF PARAMETERS FORMULA. 0 if t < 0, 1 if t > 0.
STEP FUNCTIONS, DELTA FUNCTIONS, AND THE VARIATION OF PARAMETERS FORMULA STEPHEN SCHECTER. The unit step function nd piecewise continuous functions The Heviside unit step function u(t) is given by if t
More information