On irrationality measure $\arctg\frac{1}{2}$

An evaluation of irrationality measure for various transcendental numbers is one of the field in diophantine approximation theory.
Starting with the works of Е. Borel at the end of 19th century, were developed both general methods of evaluation
for classes of some functions values and specialized approaches for estimating peculiar numbers.
Diverse methods particularly were practiced for the investigating of arithmetic properties of the function $$\arctg x$$ values.

For getting evaluation on irrationality measure of $$\arctg x $$ values many authors regarded them as particular case of Gauss hypergeometric function.
One of the first such kind of papers was the article of M. Huttner 1987, who proved a generalized theorem
about estimation on irrationality measure of the Gauss hypergeometric function values $$F_2^1\left(1,\frac{1}{k},1+\frac{1}{k}|\varepsilon x^k\right), k\in\mathbb N, k\geq 2, \varepsilon=\pm 1.$$
A big role in progress of theme have been played by works of A. Heimonen, T. Matala"=aho, K. V\"{a}\"{a}n\"{a}nen,
in which was also constructed a method for evaluation on irrationality measure of the Gauss hypergeometric function values of the form $$F_2^1\left(1,\frac{1}{2},1+\frac{1}{2}|z\right), k\in \mathbb N, k\geq 2,$$
including $$F_2^1\left(1,\frac{1}{2},\frac{3}{2}|-z^2\right)=\frac {1}{z}\arctg z.$$ The approach considered by them had used approximation of the Gauss hypergeometric function by Jacobi type polynomials and
gave a lot of concrete results.

Last decades for evaluation of various numbers were broadly spreading methods, which used symmetric on some changes of variable integrals.
Originally, integral qualitatively using the property of symmetry was applied by V.Kh.Salikhov, who used it to got the new estimate for $$\ln 3.$$
A little later V. Kh. Salikhov had applied similar symmetrized complex integral for obtaining new evaluation of $$\pi.$$
In that work he put to use classical equality $$\frac{\pi}{4}=\arctg \frac{1}{2}+\arctg \frac{1}{3}.$$
The same method, i.e. complex symmetrized integral was used by E. B. Tomashevskaya, who had estimated values of $$\arctg \frac{1}{n}, n\in\mathbb N, n>2$$
and some of previous results for such numbers were improved by her. Later on E. B. Tomashevskaya had elaborated analogical integral for estimation of $$\arctg\frac{1}{2},$$
which one had allowed to prove the best result until now $$\mu(\arctg \frac{1}{2})\leq 11.7116....$$

In 2014 K. Wu and L. Vang improved the result of V. Kh. Salikhov for $$\ln 3,$$ applying a new type integral construction, which also had used a property of symmetry.
In present paper we took the idea of K. Wu and L. Vang and applied it to the integral of E. B. Tomashevskaya. It allowed us to improve arithmetic properties of integral
and obtain better result for extent of irrationality $$\arctg\frac{1}{2}.$$

1. Huttner, M., 1987, “Irrationalit´ e de certaines int´ egrales hyperg´ eom´ etriques “,J. Number Theory, vol. 26, pp. 166-178.

2. Heimonen, A., Matala-aho, T., Väänänen, K., 1993, “On irrationality measures of the values of Gauss hypergeometric function “, 1993, Manuscripta Math., vol. 81, pp. 183-202.

3. Heimonen, A., Matala-aho, T., Väänänen, K., 1994, “An application of Jacobi type polynomials to irrationality measures “, Bull.Austral. Math. Soc., vol. 50, no 2, pp. 225-243.

4. Salikhov, V.Kh., 2007, “On the irrationality measures of ln3“,Doklady Mathematics, vol. 417, no 6, pp. 753-755.

5. Salnikova, E. S., 2008, “Diophantine approximations of log2 and other logarithms“,Mathematical Notes, vol.83,no.3, pp. 428-438.

6. Bashmakova M.G., 2010, “Approximation of values of the Gauss hypergeometric function by rational fractions“,Mathematical Notes, vol. 88, no. 6, pp. 785-797.

7. Salikhov, V.Kh., 2008,“ On the irrationality measures of π“, Russian Mathematical Surveys vol. 63, no. 3, pp. 163-164.

8. Tomashevskaya E. B., 2007, “On the irrationality measure of the number log5 + π/2 and some other numbers“, Chebyshevskii sbornik, vol. 8, no.2, pp. 97-108.

9. Tomashevskaya E. B., 2009, “Diophantine approximations of a values of some analytic functions“, Dissertation., Bryansk State technical University, 99 pp.

10. Wu, Q., Wang, L., 2014, “On the irrationality measure of log3“, Journal of number theory., no. 142, pp. 264-273.

11. Marcovecchio, R., 2009, “The Rhin-Viola method for ln2 “,Acta Aritm., vol. 139.2, pp. 147-184.

12. Androsenko, V. A., Salikhov, V. Kh.,2015, “Symmetrized version of the Markovecchio integral in the theory of Diophantine approximations“,Mathematical Notes, vol.97, no.4, pp. 483-492.

13. Androsenko, V. A., 2015.,“Irrationality measure of the number $\frqc{\pi}{\sqrt3}$ “,Izvestiya: Mathematics, vol. 79, no. 1, pp. 3-20.

14. Hata, M., 1992, “Irrationality measures of the values of hypergeometric functions “, Acta Arith., vol. LX, pp. 335-347.

15. Wu, Q., 2002, “On the linear independence measure of logarithms of rational numbers“,Math. Of computation., vol. 72, no. 242, pp. 901-911.