Home

To trace the orbit of the lemniscate defined where the real part of tanh(ln(1+x^2)) vanishes, we can use the iteration function:

$$z_{n+1} = z_n - \frac{\operatorname{Re}\left(\tanh\left(\ln\left(1+z_n^2\right)\right)\right)}{\operatorname{Re}\left(\dfrac{d}{dz}\tanh\left(\ln\left(1+z_n^2\right)\right)\right)}$$

where $z_n$ is the $n$th iterate of the orbit. We start with an initial value $z_0$ in the region where the real part of tanh(ln(1+x^2)) vanishes, and we iterate the function until convergence to the desired accuracy.

This iteration function is derived from the Newton-Raphson method, which is a root-finding algorithm that can be used to find the zeros of a function. In this case, we are looking for the zeros of the real part of tanh(ln(1+x^2)), which correspond to the lemniscate curve.

The denominator of the iteration function corresponds to the derivative of the real part of tanh(ln(1+x^2)), which is given by:

$$\operatorname{Re}\left(\dfrac{d}{dz}\tanh\left(\ln\left(1+z^2\right)\right)\right) = \dfrac{4z}{(1+z^2)^2}\operatorname{sech}^2\left(\ln\left(1+z^2\right)\right).$$

To calculate the derivative of the imaginary part of $\tanh(\ln(1+x^2))$, we can first express it as:

$$\begin{aligned} \operatorname{Im}[\tanh(\ln(1+x^2))] &= \operatorname{Im}\left[\frac{e^{\ln(1+x^2)}-e^{-\ln(1+x^2)}}{e^{\ln(1+x^2)}+e^{-\ln(1+x^2)}}\right] \ &= \operatorname{Im}\left[\frac{(1+x^2)-(1-x^2)}{(1+x^2)+(1-x^2)}\right] \ &= \frac{2x^2}{1+x^4}. \end{aligned}$$

Using this expression, we can calculate the derivative of the imaginary part with respect to $x$ as:

$$\begin{aligned} \frac{d}{dx}\left(\frac{2x^2}{1+x^4}\right) &= \frac{(1+x^4)(4x)-(2x^2)(4x^3)}{(1+x^4)^2} \ &= \frac{4x(1-x^6)}{(1+x^4)^2}. \end{aligned}$$

Therefore, the derivative of the imaginary part of $\tanh(\ln(1+x^2))$ with respect to $x$ is $\frac{4x(1-x^6)}{(1+x^4)^2}$.

Using this iteration function, we can trace the orbit of the lemniscate curve and study its geometry and properties.

We can verify the expression for the derivative of the imaginary part of $\tanh(\ln(1+x^2))$ using indefinite integration by integrating the expression for the derivative with respect to $x$.

Starting with the expression:

$$\frac{d}{dx}\left(\frac{2x^2}{1+x^4}\right) = \frac{4x(1-x^6)}{(1+x^4)^2},$$

we can integrate both sides with respect to $x$ to obtain:

$$\begin{aligned} \int\frac{d}{dx}\left(\frac{2x^2}{1+x^4}\right)dx &= \int\frac{4x(1-x^6)}{(1+x^4)^2}dx \ \frac{2x^2}{1+x^4} &= \int\frac{4x(1-x^6)}{(1+x^4)^2}dx. \end{aligned}$$

To evaluate the integral on the right-hand side, we can use the substitution $u = x^2$, $du = 2x dx$, to obtain:

$$\begin{aligned} \int\frac{4x(1-x^6)}{(1+x^4)^2}dx &= \int\frac{2u(1-u^3)}{(1+u^2)^2}du \ &= \int\frac{2u}{(1+u^2)^2}du - \int\frac{2u^4}{(1+u^2)^2}du. \end{aligned}$$

The first integral on the right-hand side can be evaluated using the substitution $v = 1+u^2$, $dv = 2u du$, to obtain:

$$\int\frac{2u}{(1+u^2)^2}du = -\frac{1}{1+u^2} + C_1 = -\frac{1}{1+x^4} + C_1,$$

where $C_1$ is an integration constant.

The second integral on the right-hand side can be evaluated using the substitution $w = 1+u^2$, $dw = 2u du$, to obtain:

$$\int\frac{2u^4}{(1+u^2)^2}du = \int\frac{w^2-1}{2w^3}dw = -\frac{1}{4}\ln|w| + \frac{3}{8}\int\frac{1}{w}dw = -\frac{1}{4}\ln|1+u^2| + \frac{3}{8}\ln|1+u^2| + C_2,$$

where $C_2$ is another integration constant.

Substituting these results back into the equation, we obtain:

$$\frac{2x^2}{1+x^4} = -\frac{1}{1+x^4} -\frac{1}{4}\ln|1+x^4| + \frac{3}{8}\ln|1+x^4| + C,$$

where $C = C_1 + C_2$ is the overall integration constant.

Simplifying this expression, we get:

$$\frac{2x^2}{1+x^4} = -\frac{1}{2}\ln|1+x^4| + C,$$

where $C$ is the new integration constant.

Therefore, we have verified the expression for the derivative of the imaginary part of $\tanh(\ln(1+x^2))$ using