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

7
votes
0answers
727 views

Functions whose derivative is the inverse of that function

Everyone knows that there are at least three functions whose derivative is the function itself, namely $e^x, \ 0$ and $-e^{x}$. ( are there more?) I was drawing some polynomials and their ...
4
votes
0answers
41 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
163 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
62 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
71 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
80 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
317 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
82 views

Inverse of a sub-matrix

I have a multivariate Gaussian distribution with known $\mu$ and $\Sigma$. I want to evaluate it given a vector $x$. However, some of the attributes of this vector may be unknown, in which case I want ...
3
votes
0answers
49 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
121 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
65 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. ...
2
votes
0answers
82 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
44 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
29 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
41 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
23 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
44 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
60 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
36 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
67 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
38 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
93 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
50 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
191 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
153 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
148 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
434 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
496 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
325 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
501 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
65 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
14 views

Optimization that involves inverse operation.

$\newcommand{\diag}{\operatorname{diag}}$ I have the following optimization problem: \begin{align} \mathop{\arg\min}_\beta & \frac{1}{2} a' [ M + \diag( \beta ) \otimes I_d ]^{-1} a + ...
1
vote
0answers
17 views

Can we describe an original and inverse equation with one function?

Let us say we have two real values, 1 and x. I want to determine the absolute value of the difference or their sum between 1 and x without specifying whether I am dealing with 1 - x or 1 + x For ...
1
vote
0answers
44 views

How to solve the following equality

Is it possible to solve the following equation analytically for $\beta$: $$y'(A+\beta B)^{-1}y = \alpha,$$ where $A$ and $B$ are both positive-semidefinite and symmetric matrices (essentially, some ...
1
vote
0answers
31 views

Inverse of the sum of two orthogonal projections

I am trying to find out, if there is a formula for finding the inverse of the sum of two orthogonal projections. So basically my questions is: If $\left[\mathbf{A},\mathbf{B}\right]$ is full rank, ...
1
vote
0answers
31 views

Pseudo-inverse of an underdetermined Toeplitz matrix

I have an undetermined Toeplitz matrix (more columns than rows). For example: \begin{equation*} T = \begin{pmatrix} 1 & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 0 ...
1
vote
0answers
49 views

Example of sets $A$ and $B$ and functions $F$ and $G$ such that $F: A \rightarrow B, G: B \rightarrow A, G \circ F = I_{A}$, and $G \neq F^{-1}$

Give an example of sets $A$ and $B$ and functions $F$ and $G$ such that $F: A \rightarrow B, G: B \rightarrow A, G \circ F = I_{A}$, and $G \neq F^{-1}$ I was thinking maybe $F$ can be a function ...
1
vote
0answers
40 views

How to calculate the inverse of the line integeral.

Let $f$ be a polynomial function, $$ f(x) = a_0 + a_1 x + ... + a_d x^d $$ where $a_0$, $a_1$, ..., $a_d$ are parameters and usually $d \le 6$. Let $g$ be the line integral of $f$, $$ g(x) = ...
1
vote
0answers
60 views

Can I find the Pseudoinverse (Moore-Penrose inverse) just by knowing the one-sided inverses of a matrix?

Consider a matrix such as $B = \begin{bmatrix} 1 & 0 & 2 \\ 0 & 1 & 1 \end{bmatrix}$. I know how to compute the right inverses (or in the case of $m\geq n$ the left inverses) and ...
1
vote
0answers
156 views

Calculus inverse tangent line

Question is: Let $ f(x)=(1/2)x^3+6x+4 $ and let $y=f^{-1}(x)$ be the inverse function of f. Determine the x-coordinates of the two points on the graph of the inverse function where the tangent line ...
1
vote
0answers
186 views

Analytical pseudo inverse of rank deficient matrix by QR decomposition

Given an overdetermined real linear system $Ax = b$, with $m$ equations, $n$ variables, and some unknown elements in both $A$ and $b$. I need to know what constraints must be imposed on those unknown ...
1
vote
0answers
44 views

A question about unital Algebra over a Field

Let $F$ be a field and $(K,\bullet)$ be a unital $F$-algebra. For each $v \in K$ let $S(v)$ be the set of all $a \in F$ satisfying the condition that $v -a.1_K $ does not have an inverse with respect ...
1
vote
0answers
55 views

Looking for examples where $f(z)=\operatorname{inv} \int_{0}^{z} g(z)\, dz$ with $f(z)$ entire and $g(z)$ not meromorphic.

I'm looking for examples where $f(z)=\operatorname{inv}\int_{0}^{z} g(z) \, dz$ with $f(z)$ entire and $g(z)$ not meromorphic. For clarity, by $\operatorname{inv}$, I mean the functional inverse. ...
1
vote
0answers
41 views

Finding the inverse of $y = x\ln\left(\frac m{1-x}+1\right)$ where $0<x<1$ and $m > 0$

Find the inverse of $y = x\ln\left(\frac{m}{1-x}+1\right)$ where $0<x<1$ and $m > 0$. [Thanks for editing my question] :) Thanks,
1
vote
0answers
36 views

Getting an inverse function

I have a cubic function $N_3(x) = a x^3 + b x^2 + c x + d$ which guaranteed is non-negative in each point on interval $x \in [0,1]$. I building an other function $N_4(x) = \int_0^x{N_3(t)dt}$. Sure ...
1
vote
0answers
129 views

Sherman-Morrison inverse formula

I've read a paper in which the authors said that they use the "Sherman-Morrison inverse formula". While I know the Sherman-Morrison formula, I couldn't find anything about the inverse of said formula. ...
1
vote
0answers
83 views

General solution for $M^{\circ -1 }(y)=x $ when $g(x)e^{f(x) }=y$

Reading this question $e^{C/x }-1=D/(x + a) $, i found my self completely unable to do anything. This is much more hard for me than my easy exercises about Lambert $W$-function. So I probably need ...
1
vote
0answers
66 views

Inverse fourier transform involving exponentials

I would like to calculate the inverse fourier transform of: $$\hat{f}(k)=\exp(-a k^2+ikv)\cdot \frac{\sinh(m\sqrt{(b+ck^2+ikf)^2-d})}{\sqrt{(b+ck^2+ikf)^2-d}}$$ Any clue? Thanks!
1
vote
0answers
208 views

quadratic form of trace_inverse of symmetric positive definite matrix

I have the following problem: I need to implement a program that doesn't accept the matrix quadratic form $B^T\times B$ but it accepts the scalar quadratic form instead. Actually I need to find a ...