# Is $f(a+b\epsilon)=f(a)+b\epsilon f'(a)$ true for non-analytic smooth functions of dual argument

Does $f(a+b\epsilon)=f(a)+b\epsilon f'(a)$ remain true for non-analytic smooth functions of dual number argument?
Where $\epsilon^2=0$, $\epsilon \neq 0$ and $a,b \in \mathbb R$. I found proofs based only on Taylor series. That means it is okay to use the formula for argument values where function is analytic (in real numbers). But what about other cases?

1. Does a proof of $f(a+b\epsilon)=f(a)+b\epsilon f'(a)$ for non-analytic smooth functions exist?

2. What about dual values $b\epsilon g(a)$ that correspond to argument $a$ where function is non-analytic?

• This sounds really cool -- do you have a reference for where one can learn about non-standard complex analysis like the above? (hypercomplex numbers) I only know of textbooks about non-standard analysis for the reals. Jun 18, 2016 at 12:52
• Sorry I meant $a$ and $b$ are real numbers. I thought that use of hypercomplex numbers in analysis is non-standard analysis. I am correcting that. Jun 18, 2016 at 13:00

• I am interested in smooth non-analytic $\mathbb R \to \mathbb R$ functions constructed from analytic ones by addition, subtraction, multiplication, division and composition. Jun 18, 2016 at 16:03