There are infinitely many solutions. Here we demonstrate only a small part of the x
- solution space in the complex plane.
Let's start from the begining. There are no real solutions:
From the first equation we see that $x=a$ where we introduced $\quad a = \exp(-1+x+y+z)$. Now we get from the second equation $y=a \exp(-x/2)$ and in turn from the first one we have $y=x \exp(-x/2) $. From the third equation we get $z=a\exp(-y/5)$. Next we can obtain an equation for x
$x$ by eliminating $y$ and $z$ i.e. it yields
$$x=e^{-1+x+x e^{-\frac{x}{2}} + x e^{-\frac{x}{5} e^{-\frac{x}{2}}}}$$
We need to restrict appropriately the complex domain since knowing properties of exponential functions we expect there are infinitely many solutions. Now we obtain two exact solutions for x
nearest zero in the complex plane:
Root
is a symbolic representation of exact solutions, see e.g. How do I work with Root objects?.
For example taking restriction Abs[z]<5Abs[x] < 370/100
after a few minutes I got 133102 complex solutions for x
. One can show that if x + I y
is a solution then x - I y
is a solution too (for x
and y
reals)
Let'sTo demonstrate the structure of the x
-solution space in a small part of the complex plane. Defining we define:
and we can catch a glimpse of multitude of solutions
sol = {ToRules@
Reduce[x ==
Exp[-1 + x (1 + Exp[-x/2] + Exp[-(x/5) Exp[-(x/2)]])] &&
Abs[x] < 370/100, x]};
Length[sol]
102
ContourPlot[{Re[f[x, y]] == 0, Im[f[x, y]] == 0},
{x, -43.17, -2.985}, {y, 0.465, 1.65},
PlotPoints -> 50,
ImageSize -> Large,
ContourStyle -> {Orange, Darker@Cyan},
MaxRecursionEpilog -> 2{Red, ImageSizePointSize[0.015], ->Point[ReIm[x Large]/. sol]]}]
Solutions are denoted by red points where orange ang blue curevescurves intersect. For a technical reason not all the intersection point are drawn.
{y -> 0.177717 - 0.466416 I, y -> 0.177717 + 0.466416 I}
{y -> 0.177717 - 0.466416 I, y -> 0.177717 + 0.466416 I}