定義域を含めた逆関数の計算

syms x y a b c;

f(x) = a*x^2+b*x+c;

g = finverse(f)

以下のように逆関数のコードを教えてもらったのですが、逆関数は定義域によって式が変わってくると思うのですが、ここに定義域を追加して式を絞ることは可能でしょうか。もしできればコードを追加していただけるとありがたいです。(x>=-2b/a)みたいなです。

Answer 1

[Akiko]

assume を使って仮定を設定することが可能です。

https://jp.mathworks.com/help/symbolic/sym.assume.html

syms t
% 仮定がない場合
finverse(1 - exp(t^(2/3)), t)　

Warning: Unable to find functional inverse.

 
ans =
 
Empty sym: 0-by-1
 

% 仮定がある場合
assume(t<0 & t> -1)
finverse(1 - exp(t^(2/3)),t)

ans =