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
78 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
199 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
112 views

Inverse of $f(x) = xe^x-x$

I'm wondering if there is a way to obtain the inverse of the function $y=xe^x-x$. I am aware of the use of Lambert's W function in the inverse of $xe^x$ but as can be seen this is a different animal ...
4
votes
0answers
48 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
71 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
81 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
69 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
61 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
77 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
225 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
986 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
48 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
63 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
128 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
63 views

Fastest way to find modular multiplicative inverse

I am looking for a fast way to find the modular multiplicate inverse of an integer $a$ in mod $p$. I am mainly interested in ...
2
votes
0answers
41 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
167 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
55 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
54 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
690 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
88 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
41 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
46 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
26 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
56 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
93 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
58 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
100 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
46 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
120 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
287 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
159 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
594 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
764 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
366 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
672 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 ...
2
votes
0answers
407 views

Finding inverse of function without knowing function?

This question has a programming application, but I thought it would be more appropriate (and educational) to ask here first and get some basic understanding. So my use-case will refer to some ...
1
vote
0answers
19 views

Invertibility condition for $f:\mathbb{R}^2\to\mathbb{R}^2$ on the domain boundary

Assume a function $f:\mathbb{R}^2\to\mathbb{R}^2$ on a simply connected domain $D\subset\mathbb{R}^2$ with a smooth boundary $\partial D$. I am interested in the local invertibility of $f$ in a ...
1
vote
0answers
38 views

Inverse Relation of Irreflexive Property.

We are taking the inverse of relation to check that inverse of R is transitive, reflexive , symmetric and anti-symmetric to as it is on R (not inverse).. My question is that why we are not taking the ...
1
vote
0answers
34 views

Abscissa of absolute convergence of a Dirichlet series

I'd like some help to prove the following theorem : Let $\sum_{n \geq 1}\frac{f(n)}{n^s}$ and $\sum_{n \geq 1}\frac{g(n)}{n^s}$ be two Dirichlet series with respective abscissas of absolute ...
1
vote
0answers
20 views

Compute new inverse when old inverse and new and old matrix known

Say I have a matrix $M$ and know its inverse $M^{-1}$. Then every element changes so that $M'=M+(M'-M)$. Is there a fast way to find $M'^{-1}$ from this information? That is without computing the new ...
1
vote
0answers
33 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
26 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
15 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
16 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
29 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
48 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
24 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
34 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 ...