English

A Unified Substitution Method for Integration

General Mathematics 2026-05-26 v3

Abstract

We present a branch-consistent framework for integrals involving quadratic radicals by expressing exponentials of principal inverse trigonometric functions in algebraic form. Two identities for e±icos1(y)e^{\pm i\cos^{-1}(y)} and e±isec1(y)e^{\pm i\sec^{-1}(y)} on principal branches yield five explicit substitution templates that map common radicals and half-angle composites to rational functions of a single parameter. The resulting differentials are independent of the sign choice once the branches are fixed, reducing domain bookkeeping across circular and hyperbolic regimes. We recover Euler's first and second substitutions from these transforms up to trivial reparametrizations and provide worked examples; in particular, the classical Weierstrass substitution is obtained as a direct corollary of Transform 5. A binomial-difference identity streamlines back-substitution terms such as tntnt^n - t^{-n}. A CAS benchmark of 100 integrals indicates improved predictability and reduced expression swell relative to general-purpose integration routines.

Keywords

Cite

@article{arxiv.2505.03754,
  title  = {A Unified Substitution Method for Integration},
  author = {Emmanuel Antonio José García},
  journal= {arXiv preprint arXiv:2505.03754},
  year   = {2026}
}

Comments

24 pages. Revised version: corrected the limiting behavior of Euler's second parameter at X=0, fixed the Transform remark references from Examples 7/5 to Examples 6/4, and made minor presentation updates. Main results unchanged

R2 v1 2026-06-28T23:23:22.152Z