>>701
複素数には大小関係はないから、a>0 は無視するしかないが、
ここは Re(a)>0 だと好意的に解釈しておこう。

簡単に言うと、複素数において
　x^y = exp(log(x)*y)　(x≠0)
と定義されているのだから、0^a は未定義だ。

便宜上あるいは慣習として
　0^a = 0　(a>0)
という関数は存在するが、それは整数あるいは実数を定義域とする別の関数だ。
この関数を複素数へと拡張する時に
　0^a = 0　(Re(a)>0)
と思うのは構わないが、できれば但し書きを付けた方が良い。