在SymPy中如何设置函数的符号反函数？

分两种适用场景处理：

• 如果你需要的是无具体表达式的抽象反函数（适用于通用积分微分方程求解场景）：
  单独定义反函数的符号对象，手动绑定反函数的恒等规则即可使用，示例如下：

  from sympy import *
  x, y = symbols('x y')
  # 定义原函数f、反函数finv的抽象符号
  f = Function('f')
  finv = Function('finv')
  
  # 声明反函数的核心恒等规则，后续运算时代入即可
  inv_identity = [
      (finv(f(x)), x),
      (f(finv(y)), y)
  ]
  
  # 使用示例：化简带反函数的表达式
  test_expr = f(finv(y + 1)) + finv(f(x ** 2))
  res = test_expr.subs(inv_identity)
  print(res)  # 输出：x**2 + y + 1
  

  如果需要适配微分、积分运算，还可以把反函数的导数、积分公式作为补充规则加入列表，比如反函数导数规则finv(y).diff(y) = 1/f(x).diff(x).subs(x, finv(y))。
• 如果你需要的是有具体表达式的函数的符号反函数：
  可以直接通过解方程的方式获取反函数的具体表达式，示例如下：

  from sympy import *
  x, y = symbols('x y')
  # 原函数为具体表达式f(x) = 2x + 3
  f = 2 * x + 3
  # 解方程y = f(x)求x，得到反函数表达式
  finv_expr = solve(Eq(y, f), x)[0]
  print(finv_expr)  # 输出：(y - 3)/2
  

  对于SymPy内置的数学函数，也可以直接调用inverse()方法获取对应反函数，比如sin.inverse()返回asin，exp.inverse()返回log。

你之前遇到的两个问题的原因：

1. Function提供的inverse方法对抽象函数默认返回乘法逆元，是因为抽象函数没有绑定具体的运算逻辑，SymPy无法识别其函数反演规则，只有内置的具体函数才会返回函数反函数。
2. 调用solve(Eq(y, f(x)))报错，是因为f是无具体表达式的抽象函数，SymPy没有通用算法可以求解任意抽象函数的反函数，因此抛出NotImplementedError。

内容的提问来源于stack exchange，提问作者Galen