3

My goal is to prove that

$$f(a) = \lim_{w \to 0} (1+aw)^{\frac{1}{w}} = e^a$$

without being too rigorous (just rigorous enough to convince myself that it really is true). Is the following method alright; or does it have flawed logic?

$$\frac{d}{da}f(a) = \frac{d}{da} (\lim_{w \to 0} (1+aw)^{\frac{1}{w}}) = \lim_{w \to 0} (\frac{d}{da} (1+aw)^{\frac{1}{w}})$$ $$= \lim_{w \to 0} (1+aw)^{\frac{1}{w} - 1}$$ $$ = \lim_{w \to 0} \frac{(1+aw)^{\frac{1}{w}}}{(1+aw)}$$ $$ = \frac{\lim_{w \to 0}(1+aw)^{\frac{1}{w}}}{\lim_{w \to 0}(1+aw)}$$ $$ = \lim_{w \to 0} (1+aw)^{\frac{1}{w}} = f(a)$$

Hence $\frac{d}{da}f(a) = f(a)$. Apart from the zero function, the only function that satisfies this property is $e^x$. Can we then conclude that $f(a) = e^x$?

QCD_IS_GOOD
  • 2,318
  • 1
  • 16
  • 35
  • If your question is whether from $f'=f$ and $f(0)=1$ we can conclude that $f=\exp$, the answer is yes. – Fimpellizzeri Feb 28 '17 at 07:57
  • If you feel confident about interchanging the order of the two limiting processes $\frac{d}{da}$ and $\displaystyle\lim_{w\to0}$ then it looks fine. Otherwise your second equality certainly requires justification. – NeedForHelp Feb 28 '17 at 07:59
  • You can not interchange order of differentiation and taking limits without any analysis. Moreover your approach still requires to solve a differential equation so it looks more like an overkill. – Paramanand Singh Feb 28 '17 at 12:29

1 Answers1

1

You can also prove it by substitution with $aw=t$ :
$$\lim_{t\to 0}(1+t)^\frac{a}{t}=\lim_{t\to0}\left((1+t)^\frac{1}{t}\right)^a=\left(\lim_{t\to0}(1+t)^\frac{1}{t}\right)^a=e^a$$

Plexus
  • 530