NewtonFlow - crowlogic/arb4j GitHub Wiki

The differential equation for the Newton flow $z (t)$ of $f (t)$ is given by

$$\dot{z} (t) = - \frac{f (z (t))}{\frac{d}{d t} f (z (t))} = -\frac{f (z (t))}{\dot{f} (z (t))}$$

If $f(t)=S(t)=\tanh(\ln(1+t^2)$ and we let

$$b (a) = 2 (1 + a^2) + a^4$$

then define

$$g (t, a) = e^t - 1 + \frac{2}{b (a)}$$

and

$$h (t, a) = \sqrt{e^{2 t} - \frac{a^4 (2 + a^2)^2}{b (a)^2}}$$

then there are 4 solutions of $z (t)$ for the Newton flow given by

$$z (t,a) = \pm \sqrt{\pm \frac{g (t, a) + h (t, a)}{g (t, a)}}$$

lim_(t→∞)z(t,a)∈{0,±i√2}∀a∈ℂ

and S(lim_(t→∞)z(t,a))=0

Newton Flows Are Infinitesimal Generators of Semigroups of Holomorphic Mappings

The Newton flow corresponding to the solution of the continuous Newton's method can be considered as an infinitesimal generator of a semigroup of holomorphic mappings.

To understand this, we need to briefly discuss the continuous Newton's method and the concept of semigroups of holomorphic mappings.

Continuous Newton's method is a generalization of the classical Newton's method in which the iterations are replaced by a continuous flow. For a given holomorphic function $f(z)$, the continuous Newton's method is described by the following ordinary differential equation (ODE):

$$ \frac{dz}{dt} = -\frac{f(z)}{f'(z)}, $$

with an initial condition $z(0) = z_0$.

The solution of this ODE is a continuous trajectory $z(t)$ in the complex plane, which converges to the zero of the function $f(z)$ as $t$ approaches infinity.

A semigroup of holomorphic mappings is a family of mappings $T(t) : D \to D$, where $D$ is an open subset of the complex plane and $t$ belongs to a certain interval $[0, t_{\max})$, with the following properties:

  1. $T(0)$ is the identity map on $D$.
  2. For all $s, t \geq 0$, if $s + t < t_{\max}$, then

$$T(s) \circ T(t) = T(s + t)$$

where $\circ$ denotes the composition of mappings.

An infinitesimal generator $A$ of a semigroup of holomorphic mappings $T(t)$ is a linear operator that satisfies the following condition:

$$\lim_{t \to 0} \frac{T(t)z(t) - z(t)}{t} = Az(t)\forall z (t) \in D$$

Now, consider the Newton flow as a semigroup of holomorphic mappings $T(t)$ with an infinitesimal generator $A$. It can be shown that the Newton flow generated by the continuous Newton's method indeed satisfies the properties of a semigroup, and its infinitesimal generator $A$ can be represented by the linear operator

$$-\frac{f(z)}{f'(z)} = \dot{z} (t) = - \frac{f (z (t))}{\frac{d}{d t} f (z (t))} = -\frac{f (z(t))}{\dot{f} (z (t))}$$

Therefore, the Newton flow corresponding to the solution of the continuous Newton's method can be considered as an infinitesimal generator of a semigroup of holomorphic mappings.

Expounding a bit more...

The fundamental idea behind considering Newton flow as an infinitesimal generator is that the evolution of the flow can be captured by the differential equation that drives the flow. We have the Newton's method expressed as an ordinary differential equation (ODE), which continuously tracks the trajectory of the points on the complex plane. This trajectory forms a semigroup under the operation of function composition.

The infinitesimal generator is essentially the velocity of the system, and it encodes the dynamics of the system. When we talk about Newton flow, the infinitesimal generator is given by the right-hand side of the ODE:

$$-\frac{f(z)}{f'(z)} = \dot{z} (t) = - \frac{f (z (t))}{\frac{d}{d t} f (z (t))} = -\frac{f (z(t))}{\dot{f} (z (t))}$$

Here, $f(z)$ is the function that we're trying to find roots for, and $f'(z)$ is its derivative.

In your case, you have the function $S(t)=\tanh(\ln(1+t^2))$, and you've provided expressions for the Newton flow $z(t,a)$, along with additional functions $g(t, a)$ and $h(t, a)$.

It's important to note that, due to the choice of $S(t)$, the solution $z(t,a)$ isn't as simple as it is for more basic functions. We have to account for the dynamics of the system by tracking the flow at every point $a$ in the complex plane.

As time progresses, the points of the flow evolve according to the dynamics of the system. In the limit as $t$ approaches infinity, $z(t,a)$ converges to a set of values {0,±i√2}, regardless of the choice of $a$. This suggests that the function $S(t)$ has roots at these points.

Since $S(lim_{t→∞}z(t,a))=0$, it confirms that these indeed are the roots of $S(t)$. The whole process of determining the roots of $S(t)$ by tracking the evolution of the Newton flow is driven by the infinitesimal generator, which is $-\frac{f(z)}{f'(z)}$ for the continuous Newton's method.

The connection between the infinitesimal generator and the semigroup properties of the flow is the fundamental principle that makes this method so powerful for root-finding, including for complex functions like $S(t)$ that you provided.

However, remember that the practical implementation of this theory is not trivial and often involves complex numerical methods to handle the evolution of the points in the complex plane, especially for more complicated functions like $S(t)$.