Talk:Primitive of Exponential of a x by Sine of b x/Proof 3

Why do you say that Primitive of Exponential of a x is only defined on the real domain? I do not see any domain specification. --kc_kennylau (talk) 05:25, 30 October 2016 (EDT)

If you look at the proof, and follow the chain of proof through to the definition of an integral as an anti-derivative, you will see that it rests solely on the definition of differentiation on the real domain.

There is a considerable amount of basic work that is needed in the field of complex analysis. I started laying the groundwork some years ago, but got stuck on the topological underpinning, and after having put much of that together I never returned to the complex analysis page.

There has been much accomplished since by various $\mathsf{Pr} \infty \mathsf{fWiki}$ workers, but the definition of the complex derivative has never been applied to the existing proofs of results in differential calculus, all of which remain defined solely in the real number line. --prime mover (talk) 05:38, 30 October 2016 (EDT)

I shall endeavour to add some results of complex differentiation then. --kc_kennylau (talk) 06:46, 30 October 2016 (EDT)

Please do, your efforts will be highly welcome. --prime mover (talk) 08:02, 30 October 2016 (EDT)