Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Q&A

Comments on matrix inverse of $I + A$ where $A$ is skew-symmetric

Parent

matrix inverse of $I + A$ where $A$ is skew-symmetric

+2
−0

I am looking for a formula or result for $$(I + A)^{-1}$$ where $I$ is the identity matrix and $A$ is skew-symmetric ($A^T = -A$). I have spent a lot of time looking online and through various sources but can't find anything.

History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.
Why should this post be closed?

0 comment threads

Post
+2
−0

I found a solution for the case I am considering, which is when $A$ is a $3{\times}3$ cross product matrix of vector $a \in \mathbb{R}^3$: $$A = \begin{bmatrix} 0 & -a_3 & a_2 \\ a_3 & 0 & -a_1 \\ -a_2 & a_1 & 0 \end{bmatrix}, ~~~~~ a = \begin{bmatrix} a_1 \\ a_2 \\ a_3 \end{bmatrix} .$$ Using the explicit equation for the inverse of a $3{\times}3$ matrix, the inverse can be derived as: $$( I + A )^{-1} = \frac{1}{1+\|a\|^2} ((1 + \|a\|^2)I - A + A^2) .$$ I'm not sure if this can be extended to more general cases.

History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.

1 comment thread

Extending to larger matrices (3 comments)
Extending to larger matrices
Peter Taylor‭ wrote 9 months ago

This can be rephrased as $$(A+I)^{-1} = \frac{(1 + a_{01}^2 + a_{02}^2 + a_{12}^2)I - A + A^2}{|A+I|}$$ where $|A+I| = 1 + a_{01}^2 + a_{02}^2 + a_{12}^2$. For $4\times 4$ and $5\times 5$ it generalises respectively to $$-\frac{(1 + a_{01}^2 + a_{02}^2 + a_{03}^2 + a_{12}^2 + a_{13}^2 + a_{23}^2)(A - I) - A^2 + A^3}{|A+I|}$$ and $$\frac{(1 + a_{01}^2 + a_{02}^2 + a_{03}^2 + a_{04}^2 + a_{12}^2 + a_{13}^2 + a_{14}^2 + a_{23}^2 + a_{24}^2 + a_{34}^2)A(A-I) - A^3 + A^4}{|A+I|}$$ but the obvious extensions don't work for $6\times 6$, and Sage is running out of memory when trying to calculate an exact solution.

Trevor‭ wrote 9 months ago · edited 9 months ago

Thanks for this. I tested it out in Python and verified the 4x4 equation. But I think the 5x5 equation should have the identity matrix added to it: $$\frac{(1 + a_{01}^2 + a_{02}^2 + a_{03}^2 + a_{04}^2 + a_{12}^2 + a_{13}^2 + a_{14}^2 + a_{23}^2 + a_{24}^2 + a_{34}^2)A(A-I) - A^3 + A^4}{| A + I |} + I$$

Peter Taylor‭ wrote 9 months ago

Yes, you're right. I don't think I've kept all of my previous Sage code so I can't try to figure out where I made the mistake, but that does open up some other ideas for extensions to $6 \times 6$.