[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference rusure::math

Title:Mathematics at DEC
Moderator:RUSURE::EDP
Created:Mon Feb 03 1986
Last Modified:Fri Jun 06 1997
Last Successful Update:Fri Jun 06 1997
Number of topics:2083
Total number of notes:14613

1336.0. "General Way to Find Three Unknowns?" by ENTOP4::DELPHIA (Toonces - The Driving Cat!) Sun Nov 11 1990 23:19

    Hi,
    
    	I am currently taking Differential Equations in school. My problem
    is I cannot find or remember the specifics of a technique we are
    incorporating to find inverse Laplace Transforms. I understand the
    concept of finding the Laplace Transform but an algebraic technique
    is used to break up the problem into componant pieces that I saw
    in Calc II and pre-calc but never got into. Below is an example.
    Could someone explain this in greater detail and for more of a general
    use? 
    
    Thanks - Mike Delphia
    
    			     1
    Evaluate L^(-1) {  ---------------- }
			(S-1)(S+2)(S+4)

    
    	    1		     A         B         C
    -----------------  =  ------- + ------- + -------
     (S-1)(S+2)(S+4)       (S-1)     (S+2)     (S+4)
    
    			   A(S+2)(S+4) + B(S-1)(S+4) + C(S-1)(S+2)
    		       =  -----------------------------------------
    				     (S-1)(S+2)(S+4)

    	"Since the numerators are identical,we must have"
    
    		1 = A(S+2)(S+4) + B(S-1)(S+4) + C(S-1)(S+2)

    
    (then the book says)
    
    	"By comparing coeffiecients of powers s on both sides of the
    equality,we know that the last equation is equivalent to a system
    of three equations in the three unknowns A,B and C. However you
    might recall the following shortcut(this is what I want explained
    - MD) for determining these unknowns. If we set  S=1,S=-2 and S=-4,
    the zeros of the common denominator (S-1)(S+2)(S+4),we obtain,in
    turn,"
    
    		1 = A(3)(5)	A = 1/15
    		1 = B(-3)(2)    B = -1/6
    		1 = C(-5)(-2)   C = 1/10
    
    Hence we can write

    	    1		    1/15     -1/6      1/10
    -----------------  =  ------- + ------- + -------
     (S-1)(S+2)(S+4)       (S-1)     (S+2)     (S+4)

    
    The rest is just pluging into formulas for inverse transforms.
T.RTitleUserPersonal
Name
DateLines
1336.1ALLVAX::JROTHIt's a bush recording...Mon Nov 12 1990 10:0424
    Let F(s) be your origional fraction with a partial fraction expansion

    	         1              A       B       C
    F(s) =  --------------- = ----- + ----- + -----
	    (s-1)(s+2)(s+4)   (s-1)   (s+2)   (s+4)


    Consider the limit of (s-1)F(s) as s -> 1

    	             1              (s-1)     (s-1)
    (s-1)F(s) =  ---------- = A + B ----- + C -----
	         (s+2)(s+4)         (s+2)     (s+4)

    This knocks off the B and C terms, leaving only the constant A, so
    we find

	A = 1/((1+2)(1+4)) = 1/15

    If there is a repeated pole, then it can be handled by taking
    derivatives.

    This can also be justified by a contour integral.

    - Jim
1336.2Simple ElementsSHIRE::ALAINDAlain Debecker @GEO DTN 821-4912Mon Nov 12 1990 10:2764
Easy,

It is an old trick used to avoid listing of all the rational fraction in
catalog  of functions.  It is possible to write any rational fraction 
-- i.e ratio of polynomials -- as a sum of fraction in which the 
denominator is of degree at most 1.  Furthermore those fraction can be 
taken of the type 1/(x-a).  If a transformation is linear -- such as 
integral, derivative, and many other -- it is possible to deal with all 
the rational fraction using only the case of x^n, the case 1/(x-a), and 
some simple computaion rules.  Usefull for the editor.


Take the fraction P(x)/Q(x) where P(x) and Q(x) are polynomials.  The first
step is eliminate high degrees of P. A division provides two polynomials S(x)
and R(x) such that P = S*Q + R, and deg(R)<deg(Q).  Therefore write

	P/Q = (S*Q+R)/Q = S + R/Q, with deg(R)<deg(Q)

The next step is to factorise Q(x).  Working in the complex plane will gives 
you  Q(x) = (x-x1)(x-x2)...(x-xq),  where x1,x2,...xq are the roots of Q(x).  
Then you can consider arbitrary numbers a,b,...c and compute 

	a/(x-x1) + b/(x-x2)+ ...+ c/(x-xq)

It happend that this quantity -- which is a rational fraction that it would
be of few interest to write in the general case, but is usually simple to 
compute on practical applications -- can take any value of the form R/Q as
above.  Thus it is allways possible to write a fraction in the form:

(*)	P/Q = (S*Q+R)/Q = S + a/(x-x1) + b/(x-x2)+ ...+ c/(x-xq)

To compute the practical values of a,b,..c start from the result and finds 
the values of a,b,...c.  Reduce (*) to the same denominator.  The denominator
is simply  (x-x1)(x-x2)...(x-xq) = Q(x).  And the numerator will look like

    a(x-x2)...(x-xq) + b(x-x1)...(x-xq) + ... + c(x-x1)(x-x2)..(x-x[q-1])

Which is "easy" to compute and gives a polynomial in x whose coefficients
depend on a,b,..c.  This polynomial must be equal to S(x).  Therefore the 
coefficients of the two polynomials must be equal.  This gives a system of 
equations in a,b,..c that will determine the values of a,b,..c.  Note that 
the system is linear -- which is NOT by chance.


Well, to tell the true, things are not so simple.  The above system is not
solvable in the case where Q(x) has multiplie roots.  If, for example, x1 
is a double root we get 

	a/(x-x1) + b/(x-x1) = (a+b)/(x-x1)

and loose a degree of freedom.  Rather consider

	a/(x-x1) + b/(x-x1)^2 = (ax+(b-a*x1))/(x-x1)^2

Or more generaly

	a/(x-x1) + b/(x-x1)^2 + ... + c/(x-x1)^m

if x1 is a root of multiplicity m.



Did I answer the question?
			    Alain
1336.3OopppssssSHIRE::ALAINDAlain Debecker @GEO DTN 821-4912Mon Nov 12 1990 13:0714
Sorry, I think I answered the wong question.

Let restart from the moment you have to find a,b,..c from the equation:

a(x-x2)...(x-xq) + b(x-x1)...(x-xq) + ... + c(x-x1)(x-x2)..(x-x[q-1]) = R(x),

where x1,x2,..xq are the roots of Q(x)=(x-x1)(x-x2)...(x-xq).
The products in the above sum are the product of q-1 of the factors (x-xi).
Exactlyone is missing.  Therefore, putting x=xi will zero all but one of 
the terms.  Doing this q times, once for each xi, will provide:

	a = R(x1), b = R(x2),... c = R(xq)

Goodie, goodie.  Unless you have silly multiple roots.