Question Number 204417 by Frix last updated on 16/Feb/24
$$\mathrm{Solve}\:\mathrm{for}\:{z}\in\mathbb{C} \\ $$$$ \\ $$$$\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\mathrm{e}^{{z}} =\mathrm{ln}\:{z} \\ $$
Answered by mr W last updated on 17/Feb/24
$${say}\:{z}={re}^{\theta{i}} ={r}\left(\mathrm{cos}\:\theta+{i}\:\mathrm{sin}\:\theta\right) \\ $$$${with}\:{r},\:\theta\:\in\mathbb{R}\:{and}\:{r}\geqslant\mathrm{0}. \\ $$$${e}^{{r}\left(\mathrm{cos}\:\theta+{i}\:\mathrm{sin}\:\theta\right)} =\mathrm{ln}\:{r}+\theta{i} \\ $$$${e}^{{r}\mathrm{cos}\:\theta} {e}^{\left({r}\:\mathrm{sin}\:\theta\right){i}} =\mathrm{ln}\:{r}+\theta{i} \\ $$$${e}^{{r}\mathrm{cos}\:\theta} \left[\mathrm{cos}\:\left({r}\:\mathrm{sin}\:\theta\right)+{i}\:\mathrm{sin}\:\left({r}\:\mathrm{sin}\:\theta\right)\right]=\mathrm{ln}\:{r}+\theta{i} \\ $$$$\begin{cases}{{e}^{{r}\:\mathrm{cos}\:\theta} \mathrm{cos}\:\left({r}\:\mathrm{sin}\:\theta\right)=\mathrm{ln}\:{r}}\\{{e}^{{r}\:\mathrm{cos}\:\theta} \mathrm{sin}\:\left({r}\:\mathrm{sin}\:\theta\right)=\theta}\end{cases} \\ $$$${one}\:{of}\:{infinite}\:{solutions}\:{is}: \\ $$$$\theta\approx\pm\mathrm{1}.\mathrm{33724},\:{r}\approx\mathrm{1}.\mathrm{37456} \\ $$
Commented by Frix last updated on 17/Feb/24
$$\mathrm{I}\:\mathrm{think}\:\mathrm{there}\:\mathrm{are}\:\mathrm{only}\:\mathrm{2}\:\mathrm{solutions}. \\ $$$$\mathrm{The}\:\mathrm{problems}\:\mathrm{are}\:\mathrm{very}\:\mathrm{similar}: \\ $$$${x}^{{n}} ={c}\:\mathrm{versus}\:\sqrt[{{n}}]{{x}}={c} \\ $$$$\mathrm{e}^{{x}} ={a}+{b}\mathrm{i}\:\mathrm{versus}\:\mathrm{ln}\:{x}\:={a}+{b}\mathrm{i} \\ $$
Commented by mr W last updated on 17/Feb/24
Commented by Frix last updated on 18/Feb/24
$$\mathrm{Wolframalpha}\:\mathrm{gives}\:\mathrm{the}\:\mathrm{following}\:\mathrm{solutions}: \\ $$$${z}=\mathrm{ln}\:{z}\:\Rightarrow\:{z}=\mathrm{e}^{−{W}\left(−\mathrm{1}\right)} \vee{z}=\mathrm{e}^{−{W}_{−\mathrm{1}} \left(−\mathrm{1}\right)} \\ $$$$\:\:\:\:\:\left({z}\approx.\mathrm{318132}\pm\mathrm{1}.\mathrm{33724i}\right) \\ $$$$\mathrm{2}\:\mathrm{solutions} \\ $$$$ \\ $$$${z}=\mathrm{e}^{{z}} \:\Rightarrow\:{z}=−{W}_{{n}} \left(−\mathrm{1}\right);\:{n}\in\mathbb{Z} \\ $$$$\mathrm{infinitely}\:\mathrm{many}\:\mathrm{solutions} \\ $$$$ \\ $$$$\mathrm{e}^{{z}} =\mathrm{ln}\:{z}\:\Rightarrow\:{z}\approx.\mathrm{318132}\pm\mathrm{1}.\mathrm{33724i} \\ $$$$\mathrm{2}\:\mathrm{solutions} \\ $$
Commented by mr W last updated on 17/Feb/24
$${each}\:{of}\:{the}\:{intersection}\:{points}\:{from} \\ $$$${the}\:{green}\:{curves}\:{and}\:{the}\:{red}\:{curves} \\ $$$${represents}\:{a}\:{solution}. \\ $$$${e}.{g}.\:\:{z}=\mathrm{2}.\mathrm{4206}{e}^{\pm\mathrm{6}.\mathrm{9223}{i}} \\ $$
Answered by Frix last updated on 17/Feb/24
$$\mathrm{e}^{{a}} ={b}\:\Leftrightarrow\:{a}=\mathrm{ln}\:{b} \\ $$$$\mathrm{Let}\:{a}={b}={z} \\ $$$$\mathrm{e}^{{z}} ={z}\:\Leftrightarrow\:{z}=\mathrm{ln}\:{z}\:\Leftrightarrow\:\mathrm{e}^{{z}} =\mathrm{ln}\:{z} \\ $$$$\Rightarrow\:\mathrm{We}\:\mathrm{can}\:\mathrm{solve} \\ $$$$\mathrm{e}^{{z}} ={z}\:\mathrm{and}\:\mathrm{test}\:\mathrm{our}\:\mathrm{solutions} \\ $$$$ \\ $$$$\mathrm{e}^{{z}} ={z} \\ $$$${z}={a}+{b}\mathrm{i} \\ $$$$\mathrm{e}^{{a}} \left(\mathrm{cos}\:{b}\:+\mathrm{i}\:\mathrm{sin}\:{b}\right)={a}+{b}\mathrm{i} \\ $$$$\mathrm{sin}\:{b}\:={b}\mathrm{e}^{−{a}} \\ $$$$\mathrm{cos}\:{b}\:={a}\mathrm{e}^{−{a}} \\ $$$$\Rightarrow\:\mathrm{tan}\:{b}\:=\frac{{b}}{{a}}\:\Leftrightarrow\:{a}=\frac{{b}}{\mathrm{tan}\:{b}} \\ $$$$\mathrm{sin}\:{b}\:={b}\mathrm{e}^{−\frac{{b}}{\mathrm{tan}\:{b}}} \:\Leftrightarrow\:{b}−\mathrm{e}^{\frac{{b}}{\mathrm{tan}\:{b}}} \mathrm{sin}\:{b}\:=\mathrm{0} \\ $$$$ \\ $$$${b}_{\mathrm{1}} \approx\pm\mathrm{1}.\mathrm{33723570143}\:\Rightarrow\:{a}_{\mathrm{1}} \approx.\mathrm{318131505205} \\ $$$${z}_{\mathrm{1}} \approx.\mathrm{318131505205}\pm\mathrm{1}.\mathrm{33723570143i} \\ $$$${z}_{\mathrm{1}} \approx\mathrm{1}.\mathrm{37455701074e}^{\pm\mathrm{1}.\mathrm{33723570143i}} \\ $$$$\mathrm{Test} \\ $$$$\mathrm{e}^{{z}_{\mathrm{1}} } ={z}_{\mathrm{1}} \:\mathrm{true} \\ $$$$\mathrm{ln}\:{z}_{\mathrm{1}} ={z}_{\mathrm{1}} \:\mathrm{true} \\ $$$$ \\ $$$${b}_{\mathrm{2}} \approx\pm\mathrm{7}.\mathrm{58863117847}\:\Rightarrow\:{a}_{\mathrm{2}} \approx\mathrm{2}.\mathrm{06227772960} \\ $$$${z}_{\mathrm{2}} \approx\mathrm{2}.\mathrm{06227772960}\pm\mathrm{7}.\mathrm{58863117847i} \\ $$$${z}_{\mathrm{2}} \approx\mathrm{7}.\mathrm{86386117609e}^{\pm\mathrm{1}.\mathrm{30544587129i}} \\ $$$$\mathrm{Test} \\ $$$$\mathrm{e}^{{z}_{\mathrm{2}} } ={z}_{\mathrm{2}} \:\mathrm{true} \\ $$$$\mathrm{ln}\:{z}_{\mathrm{2}} \:\approx\mathrm{2}.\mathrm{06227772960}\pm\mathrm{1}.\mathrm{30544587129i}\:\neq\:{z}_{\mathrm{2}} \:\mathrm{false} \\ $$