已知函数，函数是函数的反函数．
（1）求函数的解析式，并写出定义域；
（2） 设函数，试判断函数在区间上的单调性，并说明你的理由．