The phrase "a theoretical proof of" is correct and usable in written English.
It can be used when discussing a proof that is based on theoretical concepts or principles rather than empirical evidence.
Example: "The researchers presented a theoretical proof of the conjecture, demonstrating its validity under certain conditions."
Alternatives: "a theoretical demonstration of" or "a theoretical validation of".
A theoretical proof of the system convergence is provided.
A theoretical proof of DPS convergence in sliding mode is given.
The aim of this paper is to compare the performance of the existing binomial trees in aspect of the convergence rates, which are usually used to measure precisely how fast the approximate values converge to the exact one, and to give a theoretical proof of the convergence rates for the interpolation binomial trees which are based on a model that excludes the arbitrage possibilities.
In this paper, we provide a theoretical proof of the fact that the only unitals contained in the 2- 28,4,5) Hölz design are Hermitian and Ree unitals (as was previously proven by a computer search by Tonchev, [V.D. Tonchev, Unitals in the Hölz design on 28 points, Geom. Dedicata 38 (3) (1991) 357 363]).
Although the research provides only a theoretical proof of concept, experts see a bright future for solar-sail satellites.
To understand the search behavior of the proposed CSO, a theoretical proof of convergence is also provided.
A theoretical proof for the unique solvability of the CCD system for solving the 1D convection-diffusion equation with variable convection coefficients subject to the periodic boundary conditions is given in this paper.
For such low value of α (i.e. below α=0.5), we do not have any theoretical proof of convergence.
A theoretical proof is given for the occurrence of Marotto's chaotic behavior, if the magnitudes of the interconnection coefficients are large enough and at least one of the activation functions has two simple real roots.
A theoretical proof is provided to reveal the applicability and limitations of this new method.
