Technical Summary: The Ultra-Radical: Analytic Continuation, Branching, and Stability of the Principal Branch

1. Problem Statement

The paper addresses the fundamental challenge of solving the algebrao-transcendental equation:
$$y^a = 1 + axy^b$$
where $a, b \in \mathbb{C}$ and $a \neq b$. The solution, termed the ultra-radical ($\sqrt[a;b]{x}$), is a multi-valued function with an infinite number of branches (for irrational/complex exponents) or a finite number (for rational exponents).

The core difficulties identified are:

1. Convergence Limits: The standard power series representation (Master series) of the ultra-radical has a finite radius of convergence $R$. For $|x| \ge R$, the series diverges, rendering standard series expansions useless for large arguments.
2. Branch Selection Ambiguity: When performing analytic continuation beyond $R$, multiple conjugate series representations exist. Determining which conjugate series corresponds to a specific branch $n$ of the original function has historically relied on heuristic searches or trial-and-error, lacking a deterministic criterion.
3. Structural Instability: In physical systems where parameters $a$ and $b$ vary continuously (e.g., variable-exponent equations in nonlinear media), most branches of the ultra-radical exhibit oscillatory divergence or lose their identity. Only the principal branch ($n=0$) demonstrates structural stability, yet identifying it algorithmically among infinitely many numerical roots is non-trivial for standard iterative methods.

2. Methodology

The author proposes a unified framework based on the Master-J method, which integrates power series expansion, analytic continuation, and geometric branch selection.

2.1 The Master Series

The solution is expressed via a multi-parameter power series, the Master series $M(m; a; b; x)$:
$$M(m; a; b; x) = m + x + \sum_{\ell=2}^{\infty} \frac{x^\ell}{\ell!} \prod_{\gamma=1}^{\ell-1} (m - a\gamma + b\ell)$$
For the ultra-radical, the solution is $y = M(1; a; b; x)$ within the convergence radius $|x| < R$. The radius is given by:
$$R = \frac{|1 - a/b|^{b/a}}{|b - a|}$$

2.2 Analytic Continuation via Conjugate Series

For $|x| \ge R$, the paper introduces a method of analytic continuation using conjugate Master series. The original equation is transformed into three canonical forms (labeled AB, BC, and CA) by dividing the equation by different powers of $y$. Each form yields a Master series with different parameters $(\alpha, \beta)$ and a new argument $Z$.

• Inside $R$: The original series (AB form) is used.
• Outside $R$: The solution is represented by one of two conjugate series (BC or CA forms), depending on the branch index.

2.3 The Geometric Criterion for Branch Selection

The paper's central methodological contribution is a deterministic geometric criterion that selects the correct conjugate series for any branch $n$.

• The Riemann surface of the ultra-radical is partitioned into sectors on the imaginary axis of the argument's phase.
• For a given branch $n$, the "sector center" is calculated as $L(n) = \text{Im}(bf(n))$.
• The criterion dictates that the correct conjugate series (either the $h$-series or $k$-series) is the one whose associated sector center falls within the sector $[L(n) - \pi b/a, L(n) + \pi b/a]$ defined by the original branch.
• This eliminates heuristic search, guaranteeing continuous analytic continuation across the convergence boundary $|x|=R$.

2.4 The Merge Operation

To handle equations with more than two terms (e.g., $py^a = q + x_1 y^{b_1} + x_2 y^{b_2} + \dots$), the paper defines a merge operation ($@$). This operation combines multiple Master series into a single composite structure, allowing the framework to solve algebraic equations with an arbitrary number of terms by merging the solutions of their constituent trinomial parts.

3. Key Results

3.1 Stability of the Principal Branch

The paper demonstrates that only the principal branch ($n=0$) remains structurally stable and continuous as parameters $a$ and $b$ vary smoothly.

• As $a \to 0$, the principal branch converges to the solution of the exponential equation $y = e^{xy^b}$.
• As $b \to 0$, it converges to the binomial root $(1+ax)^{1/a}$.
• Non-principal branches ($n \neq 0$) exhibit oscillatory divergence in these limits and lose their distinct identity. This makes the principal branch the unique candidate for applications involving variable exponents.

3.2 The Ultralogarithm

The theory introduces a logarithmic counterpart, the ultralogarithm (or $b$-logarithm), defined as $u = M(0; a; b; x)$. It satisfies the relation $y = e^u$. The paper establishes that the ultralogarithm is a non-degenerate canonical function that generalizes the natural logarithm and provides a simplified algebraic structure for differential properties (e.g., the derivative of the $b$-logarithm depends only on the function value and parameter $b$, not explicitly on $x$).

3.3 Generalization to Hypergeometric Functions

The paper establishes a correspondence between the Master series and classical hypergeometric functions ($_pF_q$). It introduces the Hyper-Master concept, showing that hypergeometric functions are degenerate cases of the Master series where parameters take specific values. The Master-J framework generalizes these classical functions to non-linear, multi-term equations.

3.4 Physical Applications

The framework is applied to derive analytical solutions for:

• Gas Dynamics: Stationary flow in a gravitational field, reducing the energy conservation law to a trinomial equation solvable by the ultra-radical.
• Plasma Physics: Ion-acoustic waves, where the mathematical structure is isomorphic to the gas dynamics case.
• Nonlinear Electrical Circuits: Circuits with power-law nonlinearities ($U = \alpha I^k$), where the method handles fractional/irrational exponents and ensures branch continuity under thermal drift (variable $k$).

3.5 Integral and Differential Properties

Closed-form expressions for the derivative and indefinite integral of the ultra-radical are derived. The integral is obtained via the method of integration of the inverse function, yielding explicit formulas for pseudopotentials in nonlinear wave problems.

4. Significance and Claims

The paper claims the following significance for the Master-J framework:

1. Deterministic Continuity: It provides the first deterministic algorithm for analytic continuation of the ultra-radical that guarantees branch continuity across the radius of convergence without heuristic search.
2. Structural Identification: It uniquely identifies the principal branch as the only structurally stable solution for variable-parameter systems, offering a rigorous alternative to iterative methods (Newton, Halley) which lack inherent mechanisms to distinguish the principal branch from other numerical roots.
3. Unified Formalism: It unifies the solution of algebraic, transcendental, and multi-term equations under a single series representation (Master series) and a single geometric selection criterion.
4. Computational Native Object: The paper posits that the ultra-radical is a "computationally native object." Its rigorous description was historically inaccessible due to the combinatorial complexity of deriving coefficients and transformations manually. The framework leverages modern symbolic computation (Maple, Python) to realize a unified theory that extends the work of Lambert, Euler, and Bring.
5. Extension of Classical Analysis: By introducing the Hyper-Master, the work claims to establish a precise link between non-linear algebraic solutions and the classical theory of hypergeometric functions, suggesting that ultra-radicals and hypergeometric functions are particular manifestations of a single algebraic structure.

The paper concludes that while iterative methods remain valuable for simple cases, the Master-J framework offers a necessary alternative for problems requiring branch continuity, handling of complex/fractional exponents, and analytical insight into systems with variable parameters.