1
$\begingroup$

Working on an algebra of divergent integrals I came to the following relation: If $\tau=\int_0^\infty dx$ then

$$\ln (\tau+a)=\int_{0}^\infty \psi'(x+1/2+a)dx$$

and this directly gives the following relation (for finite $z$):

$$\frac1\pi\ln \left(\frac{\tau +\frac{z}{\pi }}{\tau -\frac{z}{\pi }}\right)=\tan z$$

I wonder what interesting consequences there could be of such connection between trigonometric and inverse trigonometric (logarithmic) functions?

P.S. If I did all the manipulations correctly, this gives the following relation:

$$\tan z=\frac2\pi\operatorname{arctanh} \frac{z}{\tau\pi}$$

$\endgroup$
6
  • 2
    $\begingroup$ For the record, $\frac{i}{2}\ln\left(\frac{i+z}{i-z}\right)=\tan^{-1}(z)$. $\endgroup$
    – Wojowu
    Commented Nov 7, 2019 at 20:31
  • $\begingroup$ @Wojowu yes, but the connection between logarithm and inverse trigonometric functions is quite expected. In this case we have connection between logarinthm and trigonometric function (not inverse). $\endgroup$
    – Anixx
    Commented Nov 7, 2019 at 20:32
  • $\begingroup$ Just a short comment regarding the choice of tag. The tag (abstract-algebra) is deprecated on MO, see the tag-info. And it is recommended to use one of the top-level tags: See: Why are MO tags formatted as they are? and Frequently asked questions about tagging on MathOverflow. $\endgroup$ Commented Nov 7, 2019 at 20:52
  • $\begingroup$ @Martin Sleziak I changed the tagging but I am not sure it is optimal currently anyway. $\endgroup$
    – Anixx
    Commented Nov 7, 2019 at 20:55
  • $\begingroup$ What is $\psi$? $\endgroup$
    – Wojowu
    Commented Nov 7, 2019 at 21:07

1 Answer 1

0
$\begingroup$

[This could be a very long comment, if they were allowed]

I think your manipulations may have gone awry somewhere. So your $\tau$ is an infinity that grows like $\Omega(x)$ as $x\to\infty$. One way to approach things would be to replace $\tau$ with $\lim_{x\to\infty}x$ everywhere, argue 'continuity', and pull it out front.

You ought to obtain the exact same results with using an infinitesimal $\epsilon$ for $\frac{1}{\tau}$. But that doesn't seem to work either.

You might be better off starting with simpler identities, based on some written-up formalism that you can point to. There is quite a lot of mathematics on infinities and infinitesimals, done in a variety of formalisms, that works. You just have not given us enough information to help you.

$\endgroup$
12
  • $\begingroup$ Of couse there can (and most probably are) the mistakes, but this is not one. $\tau$ is not "infinity", it is a value of a divergent integral. There are many infinite values there in this approach. Yes, one can write $\operatorname{gen} \lim_{x\to\infty}x=\tau$, and this would be correct given that generalized limit is not normal limit but rather the integral of derivative. Writing this like a normal limit is wrong. $\endgroup$
    – Anixx
    Commented Nov 8, 2019 at 22:34
  • 1
    $\begingroup$ I did say "an infinity", not "infinity". I've done work (unpublished) on formalisms for divergent integrals too. Without details, it's really hard to give you a better answer. In my paragraph "I think ..." I made a guess, and it could be wrong. We won't be able to help unless you tell us more about what $\tau$ really means. $\endgroup$ Commented Nov 8, 2019 at 22:37
  • $\begingroup$ Oh, I just realized that you did not see the link to the post where this is explained. Here is it: mathoverflow.net/questions/115743/an-algebra-of-integrals/… Also look at the table of those extended numbers representing the integrals in various forms: extended.fandom.com/wiki/Extended_Wiki#Some_extended_numbers $\endgroup$
    – Anixx
    Commented Nov 8, 2019 at 22:41
  • $\begingroup$ Ok, I'll that carefully and come back. But maybe not be immediately. I might also delete my answer if it becomes clear that it (my answer) is useless. $\endgroup$ Commented Nov 8, 2019 at 22:59
  • 1
    $\begingroup$ Do indeed contact me by email - I'm a quick Google away. I think implementing some of this in a CAS would be a lot of fun. $\endgroup$ Commented Nov 10, 2019 at 22:03

Not the answer you're looking for? Browse other questions tagged .