Asymptotic Admissibility and Horizon Geometry in the Implicit Biparametric Deformator System

1. Introduction

Implicit analytic systems arise naturally throughout mathematics whenever the governing state variable cannot be isolated explicitly from the defining relation. While classical analysis often focuses on the existence and uniqueness of local solutions, considerably less attention has been devoted to the problem of selecting distinguished analytic branches when multiple complex continuations are theoretically available.

The difficulty becomes particularly pronounced in systems containing fractional powers, transcendental forcing terms, or competing nonlinear transport mechanisms. In such settings, local continuation alone is insufficient to identify which branch carries the meaningful geometric structure of the underlying model. The resulting ambiguity may lead to branch collisions, continuation breakdowns, incompatible asymptotic behaviors, or loss of geometric invariants under complex extension.

The present work addresses this problem through the introduction of a branch-selection principle that we call asymptotic admissibility. Rather than attempting to classify every possible complex continuation, the framework isolates a distinguished analytic branch through a collection of global asymptotic constraints. The philosophy is that meaningful continuations should not merely satisfy the governing equation locally; they should also preserve the global asymptotic architecture from which the system originates. Our analysis is carried out within the setting of the Implicit Biparametric Deformator System (IBDS).

The objective of the present paper is to study the geometry of this implicit system directly. We show that the system behaves as a structured geometric transition between two competing asymptotic regimes: a nonlinear dissipation horizon associated with the dominance of the fractional deformation term, and a linear transport horizon generated by the transport component.

2. The Implicit Biparametric Deformator System and Admissibility

Definition 1

(The Implicit Biparametric Deformator System). Let $\mathcal{P}=(0,1]\times [0,\infty )$ denote the parameter space where $(\alpha ,\beta )\in \mathcal{P}$. Following the functional foundations and structural identity properties established in [1,2] for deformation geometry and localized operators, alongside classical pullback operator frameworks [3] and structured variational convergence analysis [4,5], the Implicit Biparametric Deformator System is defined as the coupled geometric system $({\varphi }_{(\alpha ,\beta )},R)$ mapping the real coordinate track $v\in \mathbb{R}$ onto the bounded interval $(0,1)$ via the simultaneous relation:

$$F(R,v;\alpha ,\beta )=R^{\alpha }+\beta R-e^v=0,{\varphi }_{(\alpha ,\beta )}\left(v\right)={\displaystyle \frac{R}{1+R}}.$$

(1)

The operator ${\varphi }_{(\alpha ,\beta )}$ acts as a geometric compactification mechanism, compactly mapping the unbounded, implicitly defined manifold branch $R\in (0,\infty )$ onto the bounded spatial domain.

2.1. Existence and Uniqueness of the Positive Real Spine

We first identify the distinguished real branch from which all admissible continuations originate.

Proposition 1

(Positive Real Spine). For every real value $v\in \mathbb{R}$, the equation $R^{\alpha }+\beta R=e^v$ possesses a unique positive real solution $R\left(v\right)\in (0,\infty )$.

Proof. 

Consider the mapping $F\left(R\right)$ from Definition 1 evaluated on the positive real line. Since $F^{\prime }\left(R\right)=\alpha R^{\alpha -1}+\beta >0$, F is strictly increasing, mapping $(0,\infty )$ bijectively onto $(0,\infty )$. Since $e^v>0$, there exists a unique positive real solution $R\left(v\right)$. □

2.2. Fundamental Asymptotic Spine Regimes

The implicit system exhibits two asymptotic regimes corresponding to the limits $v\to -\infty$ and $v\to +\infty$.

Lemma 1

(Left Spine Asymptotics). Along the positive real spine,

$$R\left(v\right)\sim e^{v/\alpha }(v\to -\infty ).$$

Proof. 

As $v\to -\infty$ we have $e^v\to 0$, implying $R\left(v\right)\to 0$. Since $0<\alpha \le 1$, $\beta R/R^{\alpha }=\beta R^{1-\alpha }\to 0$. Thus the nonlinear term dominates: $R^{\alpha }+\beta R\sim R^{\alpha }$, yielding $R\left(v\right)\sim e^{v/\alpha }$. □

Lemma 2

(Right Spine Asymptotics). Along the positive real spine, if $\beta >0$,

$$R\left(v\right)\sim {\displaystyle \frac{e^v}{\beta }}(v\to +\infty ).$$

Proof. 

As $v\to +\infty$, $R\left(v\right)\to \infty$. Since $R^{\alpha }/R=R^{\alpha -1}\to 0$, the linear transport term dominates: $R^{\alpha }+\beta R\sim \beta R$, yielding $R\left(v\right)\sim {\displaystyle \frac{e^v}{\beta }}$. □

2.3. Asymptotic Admissibility Defined

Definition 2

(Asymptotically Admissible Branch). A branch $R\left(\zeta \right)$ satisfying equation (1) extended over the complex plane is calledasymptotically admissibleif:

1.

$R\left(\zeta \right)$ matches the unique positive real spine $R\left(v\right)$ when $Im\left(\zeta \right)=0$;

2.

$R\left(\zeta \right)$ satisfies the uniform left-horizon balance $R\left(\zeta \right)\sim e^{\zeta /\alpha }$ as $Re\left(\zeta \right)\to -\infty$;

3.

$R\left(\zeta \right)$ satisfies the uniform right-horizon balance $R\left(\zeta \right)\sim {\displaystyle \frac{e^{\zeta }}{\beta }}$ as $Re\left(\zeta \right)\to +\infty$ whenever $\beta >0$.

3. Rigorous Global Continuation and Topological Mapping

We define the horizontal strip domain $S_{\pi /2}=\left\{\zeta =v+iw:\left|w\right|<{\displaystyle \frac{\pi }{2}}\right\}$.

3.1. Univalence of the Structural Operator

To secure the geometric arguments unconditionally, we prove that the forward mapping function is globally injective on the open right half-plane ${\mathbb{H}}_{+}=\{R\in \mathbb{C}:Re\left(R\right)>0\}$.

Theorem 1

(Global Univalence Theorem). The function $F\left(R\right)=R^{\alpha }+\beta R$ is globally univalent on the open right half-plane ${\mathbb{H}}_{+}$ for all $\alpha \in (0,1]$ and $\beta \ge 0$.

Proof. 

Let $R_1,R_2\in {\mathbb{H}}_{+}$ such that $R_1\ne R_2$. Since ${\mathbb{H}}_{+}$ is a convex domain, the linear path $\gamma \left(t\right)=R_1+t(R_2-R_1)$ lies entirely within ${\mathbb{H}}_{+}$ for all $t\in [0,1]$. By the fundamental theorem of calculus along paths, we have:

$$F\left(R_2\right)-F\left(R_1\right)=(R_2-R_1){\int }_0^1{F}^{\prime }\left(\gamma \left(t\right)\right)dt.$$

The complex derivative is given by $F^{\prime }\left(z\right)=\alpha z^{\alpha -1}+\beta$. For any $z\in {\mathbb{H}}_{+}$, its argument satisfies $|arg(z\left)\right|<\pi /2$. Because $\alpha \in (0,1]$, the exponent scaling yields:

$$|arg\left(z^{\alpha -1}\right)|=(1-\alpha )|arg\left(z\right)|<(1-\alpha ){\displaystyle \frac{\pi }{2}}\le {\displaystyle \frac{\pi }{2}}.$$

This geometric restriction implies that $Re\left(z^{\alpha -1}\right)>0$ for all $z\in {\mathbb{H}}_{+}$. Given that $\alpha >0$ and Red $\beta \ge 0$, the real part of the derivative satisfies:

$$Re\left(F^{\prime }\left(z\right)\right)=\alpha Re\left(z^{\alpha -1}\right)+\beta >0.$$

Because $Re\left(F^{\prime }\left(z\right)\right)>0$ everywhere on ${\mathbb{H}}_{+}$, the real part of the path integral ${\int }_0^1{F}^{\prime }\left(\gamma \left(t\right)\right)dt$ is strictly positive, forcing the integral to be non-zero. Consequently, $F\left(R_2\right)-F\left(R_1\right)\ne 0$, establishing strict global injectivity (univalence). □

3.2. Sectorial Argument Tracking and Right-Half-Plane Containment

Theorem 2

(Strict Right-Half-Plane Containment). Let $R\left(\zeta \right)$ be the analytic solution satisfying (1). Then $R\left(\zeta \right)\in {\mathbb{H}}_{+}$ for all $\zeta \in S_{\pi /2}$.

Proof. 

Represent any $R\in {\mathbb{H}}_{+}$ as $R=r{e}^{i\theta }$ where $\theta \in (-\pi /2,\pi /2)$. Then $F\left(R\right)=r^{\alpha }{e}^{i\alpha \theta }+\beta r{e}^{i\theta }$. Analyzing individual vector arguments reveals that $|arg(F\left(R\right)\left)\right|<\left|\theta \right|<\pi /2$. This yields the strict sectorial inclusion $F\left({\mathbb{H}}_{+}\right)\subset \Omega$, where $\Omega =\{z\in \mathbb{C}:|argz|<\pi /2\}$.

To establish the reverse inclusion $\Omega \subset F\left({\mathbb{H}}_{+}\right)$, we observe that $F\left(R\right)$ is analytic and non-constant on ${\mathbb{H}}_{+}$. By the Open Mapping Theorem, $F\left({\mathbb{H}}_{+}\right)$ is an open subset of $\Omega$. We trace the boundary mapping on $\partial {\mathbb{H}}_{+}=\{iy:y\in \mathbb{R}\setminus \left\{0\right\}\}$. For $R=\left|y\right|e^{i\pi /2}$, $arg\left(F\right(R\left)\right)\in (\alpha \pi /2,\pi /2)$, and for $R=\left|y\right|e^{-i\pi /2}$, $arg\left(F\right(R\left)\right)\in (-\pi /2,-\alpha \pi /2)$. Thus, the boundary map $F(\partial {\mathbb{H}}_{+})$ is entirely disjoint from the open interior of $\Omega$, implying that no boundary crossings occur. Because $F\left({\mathbb{H}}_{+}\right)$ is an open, connected set containing the positive real ray $(0,\infty )$ (the image of the real spine), it cannot possess an interior boundary inside $\Omega$. Thus, $F\left({\mathbb{H}}_{+}\right)=\Omega$ exactly. Since the strip image satisfies $exp\left(S_{\pi /2}\right)=\Omega =F\left({\mathbb{H}}_{+}\right)$, the globally univalent inverse $R\left(\zeta \right)=F^{-1}\left(e^{\zeta }\right)$ maps $S_{\pi /2}$ strictly inside ${\mathbb{H}}_{+}$. □

3.3. Derivative Localization Theorem

Theorem 3

(Derivative Localization). The defining function satisfies ${\displaystyle \frac{\partial G}{\partial R}}\ne 0$ at all points along the admissible continuation branch for $\zeta \in S_{\pi /2}$.

Proof. 

If $\beta =0$, then ${\displaystyle \frac{\partial G}{\partial R}}=\alpha R^{\alpha -1}$, which is non-zero everywhere for finite $R\in {\mathbb{H}}_{+}$. If $\beta >0$, setting ${\displaystyle \frac{\partial G}{\partial R}}=\alpha R^{\alpha -1}+\beta =0$ requires $R^{1-\alpha }=-{\displaystyle \frac{\alpha }{\beta }}$. Because $-{\displaystyle \frac{\alpha }{\beta }}<0$, this requires $arg\left(R^{1-\alpha }\right)=\pi (mod2\pi )$, meaning the derivative can only vanish on the external rays $arg\left(R\right)={\displaystyle \frac{\pi }{1-\alpha }}(mod{\displaystyle \frac{2\pi }{1-\alpha }})$. For any $\alpha \in (0,1]$, these rays never intersect the open right half-plane ${\mathbb{H}}_{+}$. By Theorem 2, the branch is entirely contained within ${\mathbb{H}}_{+}$, so it never encounters a derivative singularity. □

3.4. Absence of Finite Singularities and Global Monodromy

Theorem 4

(Global Rigid Continuation). The admissible branch extends uniquely as an analytic function throughout the entire strip $S_{\pi /2}$.

Proof. 

By Theorem 3, ${\displaystyle \frac{\partial G}{\partial R}}\ne 0$, ensuring local analytic continuation via the Implicit Function Theorem. To apply the Monodromy Theorem globally on the simply connected strip $S_{\pi /2}$, we must rule out algebraic explosions or boundary contact for finite values of $\zeta$.

Suppose there exists a path $\gamma :[0,1]\to S_{\pi /2}$ such that $\left|R\right(\zeta \left)\right|\to \infty$ as $\zeta \to {\zeta }^{*}=\gamma \left(t^{*}\right)$ for a finite $t^{*}\in (0,1]$. Since $\alpha \le 1$, we have $|R^{\alpha }{+\beta R|\ge |R\left|\right(\beta -\left|R\right|}^{\alpha -1})$ for $\beta >0$ (and ${\left|R\right|}^{\alpha }\to \infty$ for $\beta =0$). As $\left|R\right|\to \infty$, $|R^{\alpha }+\beta R|\to \infty$. However, $|e^{\zeta }|$ remains bounded on the compact path $\gamma \left(\right[0,1\left]\right)$, yielding an immediate contradiction. Similarly, if $R\left(\zeta \right)\to 0$, then $e^{\zeta }\to 0$, which is impossible for finite $\zeta$. Thus, no singularities are reachable along any path in $S_{\pi /2}$. The Monodromy Theorem guarantees a unique, well-defined global analytic branch. □

4. Horizon Geometry and Asymptotic Classification

We formally define the left-horizon set ${\mathcal{H}}_{-}$ as the asymptotic limit $Re\left(\zeta \right)\to -\infty$ and the right-horizon set ${\mathcal{H}}_{+}$ as the asymptotic limit $Re\left(\zeta \right)\to +\infty$ within the domain $S_{\pi /2}$.

Theorem 5

(Uniform Horizon Transition). Let $R\left(\zeta \right)$ be the globally continued admissible branch on $S_{\pi /2}$. Then the asymptotic error terms satisfy:

$$\underset{{\mathcal{H}}_{-}}{lim}\left|{\displaystyle \frac{R\left(\zeta \right)}{e^{\zeta /\alpha }}}-1\right|=0\mathrm{and}\underset{{\mathcal{H}}_{+}}{lim}\left|{\displaystyle \frac{\beta R\left(\zeta \right)}{e^{\zeta }}}-1\right|=0(\mathrm{for}\beta >0),$$

uniformly with respect to $Im\left(\zeta \right)$ across the strip.

Proof. 

Let $\zeta =v+iw\in S_{\pi /2}$ so that $\left|w\right|<\pi /2$. For the left horizon ${\mathcal{H}}_{-}$, let $u\left(\zeta \right)=R\left(\zeta \right)e^{-\zeta /\alpha }$. Dividing the baseline relationship by $e^{\zeta }$ gives:

$$u{\left(\zeta \right)}^{\alpha }+\beta u\left(\zeta \right)e^{\zeta (1-1/\alpha )}=1.$$

Since $\alpha \in (0,1)$, the exponent $1-1/\alpha$ is strictly negative. As $v\to -\infty$, the structural term $|e^{\zeta (1-1/\alpha )}|=e^{v(1-1/\alpha )}\to 0$ uniformly across the strip independent of w. Applying the implicit function framework to $\Phi (u,ϵ)=u^{\alpha }+\beta uϵ-1=0$ at $ϵ=0$ leaves $u=1$, which proves that $R\left(\zeta \right)e^{-\zeta /\alpha }\to 1$ uniformly.

For the right horizon ${\mathcal{H}}_{+}$ when $\beta >0$, we select the scaling variable $w\left(\zeta \right)=\beta R\left(\zeta \right)e^{-\zeta }$. Dividing the baseline equation by $e^{\zeta }$ yields:

$$w\left(\zeta \right)+{\beta }^{1-\alpha }{e}^{\zeta (\alpha -1)}w{\left(\zeta \right)}^{\alpha }=1.$$

Since $\alpha -1<0$, as $v\to +\infty$, the coefficient $e^{v(\alpha -1)}\to 0$ uniformly across the channel width $\left|w\right|<\pi /2$. Tracking the limit parameters establishes $w\left(\zeta \right)\to 1$, completing the uniform verification. □

5. The Parameter-Separation Principle

Theorem 6

(Parameter-Separation Principle). Within the Implicit Biparametric Deformator System, parameters perform distinct geometric functions:

1.

The deformation parameter α acts as a geometric phase parameter, controlling the asymptotic scaling exponent ${\displaystyle \frac{1}{\alpha }}$ through the nonlinear dissipation horizon ${\mathcal{H}}_{-}$.

2.

The transport parameter β acts as an intensity parameter, regulating the amplitude ${\displaystyle \frac{1}{\beta }}$ through the linear transport horizon ${\mathcal{H}}_{+}$ without altering the continuation topology.

6. Conclusions

By establishing the global univalence of $F\left(R\right)$ on the right half-plane, implementing an explicit uniform exponential perturbation argument for both horizons, and verifying topological surjectivity over the open sector, the mathematical structure of the Implicit Biparametric Deformator System is placed on a rigorous analytical foundation.