Inversion is the process of creating the opposite. Familiar examples include multiplicative inverse $2 \mapsto 1/2$, inverting functions $f(x) \mapsto f^{-1}(x)$, matrix inverse $M \mapsto M^{-1}$ etc. Please include an additional subject tag such as (linear-algebra) or (arithmetic) to help clarify ...

learn more… | top users | synonyms

5
votes
0answers
68 views

Eigenvectors of difference of inverse matrices

I have two matrices $A$ and $B$, symmetric and positive semi-definite (in fact, they are covariance matrices), and I am interested in computing the eigenvectors of the matrix $A^{-1}-B^{-1}$. From ...
5
votes
0answers
191 views

Inversion of elliptic integral

I have an equation of the type $$ p=\int_0^b\sqrt{\left(a^2-x^2\right)\left(b^2-x^2\right)}dx, $$ in which $a$ and $b$ (with $a>b>0$) are (known) functions of some parameter $H$ (such that it is ...
4
votes
0answers
46 views

Is there always a smooth variant of a homoeomorphism between smooth manifolds?

Let $M$ and $N$ be smooth homeomorphic manifolds. Let $h:M\rightarrow N$ a homeomorphism. Does there exist $r:M\rightarrow N$ that is still a homeomorphism and additionaly smooth? Can it be chosen ...
4
votes
0answers
70 views

Is the inverse of any elementary function asymptotic to some elementary function?

Is the functional inverse of any elementary function asymptotic to some elementary function ? For instance Lambert's $W(z)$ is asymptotic to $ln(z)$. See ...
4
votes
0answers
79 views

Explicit quasi-inverse of Künneth-isomorphism?

With $A_X$ the complex of $\mathbb{R}$-differential forms on $X$, the Künneth theorem states that \begin{align*} A_X \otimes A_Y &\to A_{X \times Y}, \\ (\omega,\eta) &\mapsto {\rm ...
3
votes
0answers
64 views

Inverse of $x^2+\log^2\cos x$

I'm looking for the inverse of $$f(x)=x^2+(\log\cos x)^2$$ Where $f$ is defined from $[0,\pi/2)$ It dosen't have to be closed form, a sum, an integral or some special functions would be of interest ...
3
votes
0answers
50 views

The inverse of a transpose matrix to “cancel” the transpose?

When it comes to solving and equation containing matrices I don't always understand some of the rules involved. In particular, I am trying to figure out the derivation of the Gauss-Newton algorithm. ...
3
votes
0answers
75 views

Is this a field of study?

Is there a name for an equation that takes the following form? $$F(f(x),f^{-1}(x),x)=0$$ A nice example being $$f(x)-f^{-1}(x)=0$$ because the solutions of this equation are their own inverses. ...
3
votes
0answers
185 views

Inverse of identity plus scalar multiple of matrix

Given the matrix $M = ( I + \alpha D P )$, where $I$ is the nxn identity, $D$ is nxn symmetric and invertible, $P$ is nxn symmetric but not always invertible, and $\alpha$ is a scalar, is there a ...
3
votes
0answers
842 views

Left inverse iff injective; right inverse iff surjective

For a function $f:A\to B$, the function $g:B\to A$ is called: a left inverse for $f$ if $g\circ f$ is the identity on $A$ (i.e., $g\circ f = {\rm id}_A$); and a right inverse for $f$ if ...
3
votes
0answers
47 views

Finding the number of the real roots of $a^x=g(x)$ where $g(x)$ is the inverse function of $f(x)=a^x$

Question : Let $a$ be a constant which satisfies $0\lt a\lt 1$. Letting $g(x)$ be the inverse function of $f(x)=a^x$, then find the number $N$ of the real roots of $f(x)=g(x)$. Motivation : This is ...
3
votes
0answers
59 views

Equation between the two branches of the lambert w function

Is there an equation connecting the two branches $W_0(y)$ and $W_{-1}(y)$ of the Lambert W function for $y \in (-\tfrac 1e,0)$? For example the two square roots $r_1(y)$ and $r_2(y)$ of the equation ...
3
votes
0answers
127 views

Sparse matrix inverse multiplied by sparse matrices

I have the equation $\bf E = Y D^{-1} Y^\top$. $\bf D$ is a potentially large sparse $m \times m$ matrix, and $\bf Y$ is a sparse $n \times m$ matrix, where $n \ll m$. Is there a particularly ...
2
votes
0answers
40 views

Determining $f^{-1}(3)$ without knowing $f^{-1}(x)$ but given $f(1)=3$ and $f'(x)>0$.

I have a continuous function $f(x)$ and I want to find $f^{-1}(3)$, but I can't find $f^{-1}$ directly. I know that $f(1)=3$ and $f'(x)>0$ for all x. Because the function is continuous and always ...
2
votes
0answers
119 views

Derivative of the Inverse Cumulative Distribution Function for the Standard Normal Distribution

As the title says, I am trying to find the derivative of the inverse cumulative distribution function for the standard normal distribution. I have this figured out for one particular case, but there ...
2
votes
0answers
51 views

Self-inverse matrices with integers with pairwise different absolut values.

Let A be a self-inverse matrix ($A=A^{-1}$) with integer values such that no two integers have the same absolut value. Let M be the maximum of the absolut values (maximum-norm) of A. Which M is the ...
2
votes
0answers
46 views

matrix inverse and limit

I would like to get a better understanding of limits and matrix inverses, specifically the relationship between: $\lim_{k\rightarrow \infty}(\mathbf{A}^{-1})$ and $(\lim_{k\rightarrow ...
2
votes
0answers
580 views

Proof of Vandermonde Matrix Inverse Formula

I'm working through Exercise 40 from section 1.2.3 of Knuth's The Art of Computer Programming volume 1, but am finding myself unable to produce a rigorous proof, and the one here is suspect and not ...
2
votes
0answers
74 views

Is the pseudoinverse of a singular, lower triangular matrix itself lower triangular?

Suppose $L\in\mathbb{R}^{n\times n}$ is a singular, lower triangular matrix. Is its psuedoinverse, $L^\dagger\in\mathbb{n\times n}$, also lower triangular? I have already proved by induction that the ...
2
votes
0answers
40 views

Error bounds in representing a vector using a truncated Moore-Penrose biorthogonal basis

I was reading and trying to reproduce the results in the arXiv preprint of Periodic Gabor Functions with Biorthogonal Exchange: A Highly Accurate and Efficient Method for Signal Compression by Asaf ...
2
votes
0answers
45 views

Integrating inverse functions

I'm trying to integrate the following: $$\int_0^1 \left[\frac{c}{(1+c^{-1}(\tilde{b}))}\right]dc$$ If it helps ...
2
votes
0answers
25 views

probability subspaces that make entropy function equal to a constant value

Given the entropy fucntion: $$ H = -\sum_i^n p(i) \ln(p(i))\,.$$ where $p(i)$ are probabilities and $n=4$, I would like to know all the points in the probability space that make $H = k$, being $k$ a ...
2
votes
0answers
53 views

Taking the (pseudo)inverse of a monoid operation.

Let $M$ be a monoid with binary operation $f : M \times M \to M$. I'm interested in functions $g : M \to M\times M$ that obey the property: $$ f(g(m)) = m $$ I want to understand what all of the ...
2
votes
0answers
89 views

Continuous function that is invertible in one argument---is its inverse continuous in both arguments?

Suppose that $f: \mathbb{R}^{2} \rightarrow \mathbb{R}$ is a continuous function and that it is invertible in its second argument, i.e. for every $x \in \mathbb{R}$, $f(x,\cdot)$ is invertible with ...
2
votes
0answers
48 views

Ultrametric matrices and their inverse

A non-negative square matrix $A$ is ultrametric iff: $A(i,i)>\{A(i,k),A(k,i)\}\forall k,i$ $A(i,j)\geq\min\{A(i,k),A(k,j)\}\forall i,j,k$ It is well-known that the inverse of non-negative ...
2
votes
0answers
88 views

Question about the Miller Theorem on inverse of sum of two matrices.

The following is a well known theorem on the inverse of $(A+B)$. (Link to the paper: http://www.jstor.org/stable/2690437) Theorem. Let $A$ and $A+B$ be nonsingular matrices, and let $B$ have rank ...
2
votes
0answers
45 views

Inverses of two argument functions with respect to one argument

Consider a function $f : A \times B \to C$ and two inverses, each with respect to one argument; i.e. $g$ and $h$ defined such that $f(x,y)=z \iff g(y,z)=x \iff h(z,x)=y$. A simple example is addition: ...
2
votes
0answers
117 views

Modular Inverse over some given finite field. Which method is more efficient?

I'm trying to do division in some given finite field (let's say mod p). I have 2 Python methods here that are currently doing that, but I'm not sure which is better or if 1 or both is simply wrong. ...
2
votes
0answers
56 views

About the functional inverse of integrals and infinite products.

It seems $\cos(x)$ and $\sin(x)$ are the only entire functions, that are the functional inverse of an integral of some elementary function $f(x)$ , such that they have a simple infinite product ...
2
votes
0answers
264 views

Proving invertibility of matrices using banachs lemma

I'm studying for finals and trying to understand how you can possibly use banach's lemma for anything worthwhile, more particularly we have a bunch of sample questions that say it can be used to prove ...
2
votes
0answers
157 views

Optimization problem about large matrices

I'd like to solve the following optimization problem: Find non-negative scalar $a$, $b$, $c$ to minimize $\| (D-(aA+bB+cC+D^{-1})^{-1})y\|^2+2\operatorname{trace}((aA+bB+cC+D^{-1})^{-1})$ where ...
2
votes
0answers
186 views

Low-rank approximation to the Graph Laplacian matrix of a regular grid.

As mentioned in the title, does anybody know any methods of efficient low-rank approximation $LL^T$ to the Graph Laplacian matrix $A$ corresponding to a square lattice? (except PCA)
2
votes
0answers
575 views

Inverse Jacobian matrix of spherical coordinates

I found inverse transformation from spherical coordinates to cartesian coordinates (on $x>0$, $y>0$ and $z>0$). I have $$ r = w_1(x,y,z) = \sqrt{x^2+y^2+z^2} $$ $$ \theta = w_2(x,y,z) = ...
2
votes
0answers
709 views

How to calculate the submatrix inverse with prior knowledge of matrix inverse?

Given $A\in \mathbb{N}^{n\times n}$, then $A(\mathcal{I})$ is defined by first deleting the those columns with index in $\mathcal{I}$ and then extracting the first $n-|\mathcal{I}|$ rows. Note that ...
2
votes
0answers
357 views

Multivariable Inverse Function problem

Consider the system of equations $$\left\{\begin{align*} &x^5 v^2 + 2y^3 u = 3\\ &3yu - xu v^3 = 2\;. \end{align*}\right.$$ Show that near the point $(x,y,u,v) = (1,1,1,1)$, this system ...
2
votes
0answers
640 views

inverse of a covariance matrix 3x3

I have 2 pixels with size 1x3 called $A$ and $B$ and I have to compute the following equation: $$ A^T *(\Sigma+ I_3*\lambda)^{-1}*B $$ where $\Sigma$ is the covariance matrix (3x3) between vectors ...
1
vote
0answers
29 views

Finding the inverse of an integral

I'm looking for a computational approach here, since I don't think there is a closed-form solution. I have the following: $$ s(x) = \rho + \int_{\rho}^{x} \sqrt{ 1 + (\alpha \cos t - k)^2 } \, dt $$ ...
1
vote
0answers
24 views

What's the algebraic definition of the inverse of a function?

I have a function $f(x)$, using the logic it's relatively easy to formally define what the inverse should be like, relatively to domain and codomain elements, especially using the surjective and ...
1
vote
0answers
13 views

Speed of pseudo-inverse (with possibly ill-conditioned matrices)

I am computing the pseudo-inverse of several matrices of identical size $m \times n$ . However, computation (e.g. with the LAPACK pinv) seems to be much slower in some cases (5 to 10 times slower). ...
1
vote
0answers
14 views

matrix in normal coordinates

Writing the matrix $ \begin{pmatrix} -\frac{k}{\gamma} & \frac{k}{\gamma}&0&0&0&\cdots&0&0&0&0 \\ \frac{k}{\gamma} &-2\frac{k}{\gamma}& ...
1
vote
0answers
24 views

Definition of inverse binomial distribution

I am trying to succinctly define the inverse binomial distribution. Not the normal approximation, but the real thing, which will be discrete. So far I have this: $F^{-1}(\alpha;N,p) = k,\ \ s.t.\ \ ...
1
vote
0answers
42 views

What is the inverse kernel to this integral transform

What is the associated inverse kernel to the integral transform $T$ defined by \begin{align*} (Tf)(u) & = \int_{-\infty}^{0} \hat{f}(s)\exp((2i\pi+c)us)\ ds + \int_{0}^{+\infty} ...
1
vote
0answers
22 views

Calculating the left pseudoinverse of a Matrix whose columns are Probablity Mass Functions

I have a matrix $A_{m\times n}$, where $A_j$ , a column of $A$ represents a probability mass function, and so the sum over the column is 1. This is true for all the columns of A, i.e. $\forall j \in ...
1
vote
0answers
32 views

Formal inverse of a matrix ressembling Fourier's matrix

What is the formal inverse of a square $N\times N$ matrix $A$ with entries $A_{ij}=a^{(i-1)(j-1)}$? When $a$ is the $N$th root of unity (i.e. $a=\exp(2 \pi i/N)$), then $A$ is the Fourier matrix and ...
1
vote
0answers
45 views

Which (approximative) methods are there to compute the inverse of a complicated function?

I have a complicated function $f(x)$ for which I want to compute the inverse $f^{-1}$ over a certain range $R(f): a \leq f(x) \leq b$. The only way to find the inverse I can think of is power series ...
1
vote
0answers
66 views

Find a multiplicative inverse of an element in a field

Suppose we have an element $\sigma=p+qa\rho+rd\rho^{-1}\in K$ where $K=\mathbb{Q}(\rho)$ where $[K:\mathbb{Q}]=3$ I want to find a multiplicative inverse of $\sigma$ i .e ...
1
vote
0answers
52 views

Is there an efficient method to find all the self-inverse matrices with integers in a given range?

Given n and a range, for example [-10,10], is there an efficient method to find all nxn-matrices A with integers in the given range, which are self-inverse, that means the equation $A=A^{-1}$ holds ...
1
vote
0answers
84 views

inverse of Vandermonde's Matrix without using determinants

I want to show, that the Vandermonde's Matrix ...
1
vote
0answers
160 views

Operator norm of the inverse

If I made no mistake, one can calculate the operator norm of the inverse of any given (invertible) operator $A: V\rightarrow V$ via: \begin{align}\|A^{-1}\| & = ...
1
vote
0answers
35 views

Finding the inverse of trig functions

I'm supposed to find the inverse of $$f(x) = \cos(x)+x$$ I usually just substitute $x$ for $y$ and then re-arrange. What do I do in this scenario?