3
$\begingroup$

This is probably a trivial question. But I could not find an answer.

Given the explicit expression for ft in te assignment

ft = InverseFunction[f[#] &][t];

I would like to invert this, i.e. to get the function t[f[x]]. Of course I can copy the expression f[#]& and paste it into the right hand side of the assignment

t[x_] = f[#]& [x];

But I think there should be a valid Mathematica method to do the extraction.

The FullForm[] of ft shows a presumed List[] which, however, is a strange contruct which only lets me extract the argument t as its first element.

Example (I write it in Latex just to save space)

$ft = \text{InverseFunction}\left[-\frac{i \sqrt{\frac{2 \text{$\#$1}^2}{\sqrt{4 w+1}-1}+1} \sqrt{1-\frac{2 \text{$\#$1}^2}{\sqrt{4 w+1}+1}} F\left(i \sinh ^{-1}\left(\sqrt{2} \sqrt{\frac{1}{\sqrt{4 w+1}-1}} \text{$\#$1}\right)|\frac{1-\sqrt{4 w+1}}{\sqrt{4 w+1}+1}\right)}{2 \sqrt{\frac{1}{\sqrt{4 w+1}-1}} \sqrt{-\text{$\#$1}^4+\text{$\#$1}^2+w}}\&\right][t]$

I wish to extract the expression in square brackets.

Taking the compact solution 2 from the answer of xzczd we find

tx = ft[[0, 1]][x]

$-\frac{i \sqrt{\frac{2 x^2}{\sqrt{4 w+1}-1}+1} \sqrt{1-\frac{2 x^2}{\sqrt{4 w+1}+1}} F\left(i \sinh ^{-1}\left(\sqrt{2} \sqrt{\frac{1}{\sqrt{4 w+1}-1}} x\right)|\frac{1-\sqrt{4 w+1}}{\sqrt{4 w+1}+1}\right)}{2 \sqrt{\frac{1}{\sqrt{4 w+1}-1}} \sqrt{w-x^4+x^2}}$

$\endgroup$
6
  • $\begingroup$ Do you mean something like: t = InverseFunction@Head@ft, or t = InverseFunction@Function[t, #] &@ft, or t = ft[[0, 1]]? $\endgroup$
    – xzczd
    Commented Nov 17, 2015 at 11:21
  • $\begingroup$ Have you noticed what happens when you do InverseFunction[InverseFunction[f]]? $\endgroup$ Commented Nov 17, 2015 at 12:07
  • $\begingroup$ Well, actually your @name syntax is wrong, there shouldn't be any white spaces between @ and the name, or it won't trigger a notification :) $\endgroup$
    – xzczd
    Commented Nov 17, 2015 at 13:38
  • $\begingroup$ This question would be more clear if you gave a specific example and the expected result. $\endgroup$
    – george2079
    Commented Nov 17, 2015 at 15:49
  • $\begingroup$ @J. M.: Thanks, I have done this first, of course. But it is returned unevaluated, at least in my case of a complicated function f $\endgroup$ Commented Nov 17, 2015 at 16:56

1 Answer 1

4
$\begingroup$

OK, let me extend the comment into an answer. If ft still contains InverseFunction, your goal can be achieved by

(* Solution 1 *)
tf = First@Head@ft
(* Solution 2 *)
tf = ft[[0, 1]]
(* Solution 3 *)
tf = InverseFunction@Head@ft
(* Solution 4 *)
tf = InverseFunction@ft[[0]]
(* Solution 5 *)
tf = InverseFunction@Function[t, #] &@ft

Solution 5 should also work for the cases that ft no longer contains InverseFunction.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.