Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

A What is the identity?

  1. Mar 21, 2016 #1

    perplexabot

    User Avatar
    Gold Member

    Hey all. So I think I've been trying to figure this out longer than I should, that is why I am here now. I was reading an ieee paper and have been pondering a missing proof (the paper deems this proof too easy to show, literally... I must be really stupid or something). It is a simple question. How did they get from equation (21) to equation (49). I actually prefer hints rather than a definite answer, but of course anything is appreciated at this point.

    Here is equation (21):
    pic1.png


    And here is equation (49), along with some verbiage:
    pic2.png


    I have tried many things with no avail. I have also tried working backwards, starting from (49), I did get nice equations, but nothing that has gotten me from (21) to (49). I can post this nice equation I speak of, but I doubt it would help.

    If you are interested, here is a link to the paper I am reading.

    Thank you for your time.
     
  2. jcsd
  3. Mar 21, 2016 #2

    jedishrfu

    Staff: Mentor

    Did you notice 28 where it has a matrix multiplication? Doesn't that expand into 49 after some work?
     
  4. Mar 21, 2016 #3

    perplexabot

    User Avatar
    Gold Member

    I did see it. I tried going from 28 to 49 but I couldn't do it. Do you see how they substituted (20) into (28)? Once you do that you really have no room for changing things (at least not that I can see). I actually tried playing with different block inverse equations (wiki) and still couldn't get to (49). Do you believe (28) can be changed to (49)? I will give it a second look.

    Thank you for your reply and time.
     
  5. Mar 21, 2016 #4

    jedishrfu

    Staff: Mentor

    My suggestion was only a cursory glance at the paper.

    Rereading it a bit more they mention that 21 is a reclusive form and that they can rewrite it as 49 so now I don't think they show the derivation of 49 in the article.

    Do you have any other references to the Ricatti equation? You might be able to find a source with the derivation spelled out.
     
  6. Mar 21, 2016 #5

    jedishrfu

    Staff: Mentor

    When you compare 21 with 49 notice that the last three terms of 49 are very similar to 21 and so it looks like they have applied some algebra to eliminate the denominator of the 21 equation. Does that make sense?

    I was trying to see what they did by dropping common terms in both equations to see what's left.

    Perhaps @Mark44 or @HallsofIvy could comment here.
     
  7. Mar 21, 2016 #6

    perplexabot

    User Avatar
    Gold Member

    As per the (second) snippet shown in my initial post, they say they used simple algebraic manipulation! So I am assuming there exists a direct way of getting 49 from 21
    I do have some riccati equation sources. And some do have proofs, but these proofs are of how the discrete algebraic riccati equation comes to be in an application specific situation (such as the kalman filter).
     
  8. Mar 21, 2016 #7

    perplexabot

    User Avatar
    Gold Member

    I don't really see much in common. I can see that [itex]D_n^{22}[/itex] is in common. I can also see that [itex]D_n^{21}[/itex] and [itex]D_n^{12}[/itex] is premultiplied and postmultiplied to the rest of the terms. This makes me realize that whatever manipulation that was made, was made for [itex](J_n+D_n^{11})^{-1}
    [/itex]

    I have actually done the following earlier, since we are discussing something relevant, maybe it is worth showing. Here it goes:
    First, for ease of writing, let
    [itex]A = J_n[/itex] and [itex]B=D_n^{11}[/itex]
    So according to (21) and (49)
    [itex](A+B)^{-1} = -B^{-1}AB^{-1} + B^{-1}A(A+B)^{-1}AB^{-1}+B^{-1}[/itex] (call this equation 1)
    Doing a little bit of simple algebra on the above (premultiplying the above equation by [itex]B \ \ and \ \ A^{-1}[/itex]) we get:
    [itex]A^{-1}B(A+B)^{-1}-(A+B)^{-1}AB^{-1} = A^{-1}-B^{-1}[/itex] (call this equation 2)
    Going back to equation 1 and again doing a little bit of algebra (this time postmultiplying by [itex]B \ \ and \ \ A^{-1}[/itex]) we get:
    [itex]B^{-1}A(A+B)^{-1}-(A+B)^{-1}BA^{-1}=A^{-1}-B^{-1}[/itex] (call this equation 3)

    Then, for some reason I set equations 2 and 3 to each other, I get the following:
    [itex](A^{-1}B-B^{-1}A)(A+B)^{-1}=(A+B)^{-1}(AB^{-1}-BA^{-1})[/itex] (call this equation 4)
    or writing it as
    [itex](A^{-1}B-B^{-1}A)(A+B)^{-1}(AB^{-1}-BA^{-1})^{-1}=(A+B)^{-1}[/itex] (call this equation 5)

    This was the nice equation I was talking about. This is why I think an identity was involved. I don't believe this is of any help, but maybe someone has an idea?
     
    Last edited: Mar 21, 2016
  9. Mar 22, 2016 #8

    Mark44

    Staff: Mentor

    This is some pretty complicated stuff. I worked at getting from the first part of equ. 28 to the second part, and filled up four pages of notepaper without getting there. I'll take another look at it tomorrow, but it's getting late where I am, so I'm going to turn in.
     
  10. Mar 22, 2016 #9

    perplexabot

    User Avatar
    Gold Member

    First, I want to say thank you for your time and your much needed help.
    If you are talking about the two equality lines of (28) they used blockwise inverse identities:
    [itex]
    \begin{equation*}
    \begin{split}
    J_{n+1}&=D_n^{22}-\begin{bmatrix}0 & D_n^{21}\end{bmatrix}\begin{bmatrix}A_n & B_n\\ B_n^T &C_n+D_n^{11}\end{bmatrix}^{-1}\begin{bmatrix}0\\D_n^{12}\end{bmatrix}\\
    J_{n+1}&=D_n^{22}-\begin{bmatrix}0 & D_n^{21}\end{bmatrix}\begin{bmatrix}WC & WC\\ WC & (C_n + D_n^{11}-B_n^TA^{-1}B_n)^{-1}\end{bmatrix}\begin{bmatrix}0\\D_n^{12}\end{bmatrix}
    \end{split}
    \end{equation*}
    [/itex]
    Here, [itex]WC[/itex] stands for "who cares" since these blocks will be multiplied by zero and will disappear.

    Have you looked at my previous message/post? Maybe it can be put to use. Or maybe it is not needed.

    Thank you all. Have a good night.
     
    Last edited: Mar 22, 2016
  11. Mar 22, 2016 #10

    Mark44

    Staff: Mentor

    Yes, I got the same result for the (2, 2) entry of the matrix in the middle just above.
    I did this by calculating the block inverse of ##\begin{bmatrix} A_n & B_n \\ B_n^T & C_n + D_n^{11} \end{bmatrix}##
    Yeah, I took a look, but I can't say whether or not that work leads anywhere. I'll keep gnawing on this awhile.

    One thing bothers me that might be a typo. Right after eqn. 19 they say,
    It has to be comparison of (16) and (some other equation) that yields (20), maybe equ. 19?
     
  12. Mar 22, 2016 #11

    perplexabot

    User Avatar
    Gold Member

    Yes, I agree, that is most likely a typo. I believe they meant to say (15) and (19).

    I will also be playing with this in the mean time. Let's hope we get somewhere.
     
    Last edited: Mar 22, 2016
  13. Jul 18, 2016 #12

    perplexabot

    User Avatar
    Gold Member

    I know this post is kind of old but I think it may be worth posting the answer (yes, I found it!) for future reference. So excuse the necromancy : p

    My logic was correct here, what was manipulated was indeed [itex](J_n+D_n^{11})^{-1}[/itex]. And as this thread's title suggests, it is an Identity that was used! Which identity? The Woodbury matrix identity (aka, the matrix inversion lemma). I did expect this when I initially posted my question, but what I failed to see was the fact that the identity was used TWICE! Here it goes:

    Using the identity shown here where first we take the following: [itex]D_n^{11}=A[/itex], [itex]J_n=C[/itex] and [itex]U=V=I[/itex]. This gives:
    [itex](J_n+D_n^{11})^{-1} = D_n^{11} - (D_n^{11})^{-1}(J_n^{-1}+(D_n^{11})^{-1})^{-1}(D_n^{11})^{-1}[/itex]

    Then using that same identity again on [itex](J_n^{-1}+(D_n^{11})^{-1})^{-1}[/itex] where we take the following: [itex](D_n^{11})^{-1}=C[/itex], [itex]J_n^{-1}=A[/itex] and [itex]U=V=I[/itex]. This gives:
    [itex]
    \begin{equation}
    \begin{split}
    (J_n+D_n^{11})^{-1} &= D_n^{11} - (D_n^{11})^{-1}(J_n-J_n(J_n+D_n^{11})^{-1}J_n)(D_n^{11})^{-1} \\
    &= D_n^{11} - (D_n^{11})^{-1}J_n(D_n^{11})^{-1}-(D_n^{11})^{-1}J_n(J_n+D_n^{11})^{-1}J_n(D_n^{11})^{-1}
    \end{split}
    \end{equation}
    [/itex]
    Now plugging in that final expression for [itex](J_n+D_n^{11})^{-1}[/itex] back into equation (21), equation (49) is achieved : ) (equations (21) and (49) are shown in the original post)
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: What is the identity?
  1. Vector identity (Replies: 1)

  2. Additive Identity (Replies: 3)

  3. Determinant identity (Replies: 4)

  4. Tricky Identity (Replies: 2)

Loading...