Source author record

F. M. S. Lima

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.HO math-ph math.CA math.MP physics.class-ph physics.ed-ph

Catalog footprint

Research overview

10works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

A simpler proof of a Katsurada's theorem and rapidly converging series for $ζ{(2n+1)}$ and $β{(2n)}$

In a recent work on Euler-type formulae for even Dirichlet beta values, i.e. $β{(2n)}$ , I have derived an exact closed-form expression for a class of zeta series. From this result, I have conjectured closed-form summations for two families of zeta series. Here in this work, I begin by using a known formula by Wilton to prove those conjectures. As example of applications, some special cases are explored, yielding rapidly converging series representations for the Apéry constant, $ζ(3)$ , and the Catalan constant, $G = β(2)$ . Interestingly, our series for $\,ζ(3)\,$ converges faster than that used by Apéry in his irrationality proof (1978). Also, our series for $\,G\,$ converges faster than a celebrated one discovered by Ramanujan (1915). At last, I present a simpler, more direct proof for a recent theorem by Katsurada which generalizes the above results.

preprint2014arXiv

On the possible exceptions for the transcendence of the log-gamma function at rational entries

In a recent work [JNT \textbf{129}, 2154 (2009)], Gun and co-workers have claimed that the number $\,\log{Γ(x)} + \log{Γ(1-x)}\,$ , $x$ being a rational number between $0$ and $1$ , is transcendental with at most \emph{one} possible exception, but the proof presented there in that work is \emph{incorrect}. Here in this paper, I point out the mistake they committed and I present a theorem that establishes the transcendence of those numbers with at most \emph{two} possible exceptions. As a consequence, I make use of the reflection property of this function to establish a criteria for the transcendence of $\,\logπ$ , a number whose irrationality is not proved yet. This has an interesting consequence for the transcendence of the product $\,π\cdot e$ , another number whose irrationality remains unproven.

preprint2012arXiv

A shortcut for evaluating some log integrals from products and limits

In this short paper, I introduce an elementary method for exactly evaluating the definite integrals $\, \int_0^π{\ln{(\sinθ)}\,dθ}$ , $\int_0^{π/2}{\ln{(\sinθ)}\,dθ}$ , $\int_0^{π/2}{\ln{(\cosθ)}\,dθ}$ , and $\int_0^{π/2}{\ln{(\tanθ)}\,dθ} \,$ in finite terms. The method consists in to manipulate the sums obtained from the logarithm of certain products of trigonometric functions at rational multiples of $π$ , putting them in the form of Riemann sums. As this method does not involve any search for primitives, it represents a good alternative to more involved integration techniques. As a bonus, I show how to apply the method for easily evaluating $\,\int_0^1{\ln{Γ(x)} \, d x}$ .

preprint2012arXiv

Approximate expressions for mathematical constants from PSLQ algorithm: a simple approach and a case study

In this note, I present a simple PSLQ code for finding null linear combinations, with the best rational coefficients, of mathematical constants, within some prescribed precision. As an example, I explore approximate expressions for the Apéry's constant $\,ζ{(3)} = \sum_{n\ge1}{\,1/n^3}$ , an irrational number to which no exact, finite closed-form expression is known. % For this, I choose a suitable search basis composed by numbers which seem to be closely related to $\,ζ{(3)}$ , namely $\,π$ , $\,\ln{2}\,$ , $\,\ln{(1+\sqrt{2}\,)}$ , and $G$ (the Catalan's constant). On taking into account a suitable search basis, I have found a simple expression for $\,ζ{(3)}\,$ accurate to 21 decimal places, which is triply more accurate than the best previous one. As the short \emph{Maple} $^\mathrm{TM}$ code presented here can be easily adapted to study other constants, I decided to supply it to encourage the readers to conduct their own computational experiments, as well as to adopt it in projects of numerical analysis, number theory, or linear algebra.

preprint2012arXiv

Some transcendental functions with an empty exceptional set

A transcendental function usually returns transcendental values at algebraic points. The (algebraic) exceptions form the so-called \emph{exceptional set}, as for instance the unitary set $\{0\}$ for the function $f(z) = e^z \,$ , according to the Hermite-Lindemann theorem. In this note, we give some explicit examples of transcendental entire functions whose exceptional set are empty.

preprint2012arXiv

Using known zeta-series to derive the Dancs-He series for $\,\ln{2}\,$ and $\,ζ{(2\,n+1)}$

In a recent work, Dancs and He found new `Euler-type' formulas for $\,\ln{2}\,$ and $\,ζ{(2\,n+1)}$ , $\,n\,$ being a positive integer, each containing a series that apparently can not be evaluated in closed form, distinctly from $\,ζ{(2\,n)}$ , for which the Euler's formula allows us to write it as a rational multiple of $\,π^{2n}$ . There in that work, however, the formulas are derived through certain series manipulations, by following Tsumura's strategy, which makes it \emph{curious} --- in the words of those authors themselves --- the appearance of the numbers $\,\ln{2}\,$ and $\,ζ{(2\,n+1)}$ . In this short paper, I show how some known zeta-series can be used to derive the Dancs-He series in an alternative manner.

preprint2011arXiv

An Euler-type formula for $β(2n)$ and closed-form expressions for a class of zeta series

In a recent work, Dancs and He found an Euler-type formula for $\,ζ{(2\,n+1)}$ , $\,n\,$ being a positive integer, which contains a series they could not reduce to a finite closed-form. This open problem reveals a greater complexity in comparison to $ζ(2n)$ , which is a rational multiple of $π^{2n}$ . For the Dirichlet beta function, the things are `inverse': $β(2n+1)$ is a rational multiple of $π^{2n+1}$ and no closed-form expression is known for $β(2n)$ . Here in this work, I modify the Dancs-He approach in order to derive an Euler-type formula for $\,β{(2n)}$ , including $\,β{(2)} = G$ , the Catalan's constant. I also convert the resulting series into zeta series, which yields new exact closed-form expressions for a class of zeta series involving $\,β{(2n)}$ and a finite number of odd zeta values. A closed-form expression for a certain zeta series is also conjectured.

preprint2011arXiv

New definite integrals and a two-term dilogarithm identity

Among the several proofs known for $\sum_{n=1}^\infty{1/n^2} = {π^2/6}$ , the one by Beukers, Calabi, and Kolk involves the evaluation of $\,\int_0^1 {\int_0^1{1/(1-x^2 y^2) \, dx} \, dy}$ . It starts by showing that this double integral is equivalent to $\frac34 \sum_{n=1}^\infty{1/n^2}$ , and then a non-trivial \emph{trigonometric} change of variables is applied which transforms that integral into $\,{\int \int}_T \: 1 \; du \, dv$ , where $T$ is a triangular domain whose area is simply ${π^2/8}$ . Here in this note, I introduce a hyperbolic version of this change of variables and, by applying it to the above integral, I find exact closed-form expressions for $\int_0^\infty{[\sinh^{-1}{(\cosh{u})}-u] d u}$ , $\,\int_α^\infty{[u-\cosh^{-1}{(\sinh{u})}] d u}$ , and $\,\int_{\,α/2}^\infty{\ln{(\tanh{u})} \: d u}$ , where $α= \sinh^{-1}(1)$ . From the latter integral, I also derive a two-term dilogarithm identity.

preprint2011arXiv

Using surface integrals for checking the Archimedes' law of buoyancy

A mathematical derivation of the force exerted by an \emph{inhomogeneous} (i.e., compressible) fluid on the surface of an \emph{arbitrarily-shaped} body immersed in it is not found in literature, which may be attributed to our trust on Archimedes' law of buoyancy. However, this law, also known as Archimedes' principle (AP), does not yield the force observed when the body is in contact to the container walls, as is more evident in the case of a block immersed in a liquid and in contact to the bottom, in which a \emph{downward} force that \emph{increases with depth} is observed. In this work, by taking into account the surface integral of the pressure force exerted by a fluid over the surface of a body, the general validity of AP is checked. For a body fully surrounded by a fluid, homogeneous or not, a gradient version of the divergence theorem applies, yielding a volume integral that simplifies to an upward force which agrees to the force predicted by AP, as long as the fluid density is a \emph{continuous function of depth}. For the bottom case, this approach yields a downward force that increases with depth, which contrasts to AP but is in agreement to experiments. It also yields a formula for this force which shows that it increases with the area of contact.

preprint2006arXiv

Motion of falling object

A simple setup was assembled to study the motion of an object while it falls. The setup was used to determine the instantaneous velocity, terminal velocity and acceleration due to gravity. Also, since the whole project was done within $20 it can easily be popularized.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

F. M. S. Lima

Research overview

Is this your work?

10 publications

A simpler proof of a Katsurada's theorem and rapidly converging series for $ζ{(2n+1)}$ and $β{(2n)}$

On the possible exceptions for the transcendence of the log-gamma function at rational entries

A shortcut for evaluating some log integrals from products and limits

Approximate expressions for mathematical constants from PSLQ algorithm: a simple approach and a case study

Some transcendental functions with an empty exceptional set

Using known zeta-series to derive the Dancs-He series for $\,\ln{2}\,$ and $\,ζ{(2\,n+1)}$

An Euler-type formula for $β(2n)$ and closed-form expressions for a class of zeta series

New definite integrals and a two-term dilogarithm identity

Using surface integrals for checking the Archimedes' law of buoyancy

Motion of falling object

See the researcher in context

Building this map preview

F. M. S. Lima

Research overview

Is this your work?

10 publications

A simpler proof of a Katsurada's theorem and rapidly converging series for ζ(2n+1)ζ{(2n+1)}ζ(2n+1) and β(2n)β{(2n)}β(2n)

On the possible exceptions for the transcendence of the log-gamma function at rational entries

A shortcut for evaluating some log integrals from products and limits

Approximate expressions for mathematical constants from PSLQ algorithm: a simple approach and a case study

Some transcendental functions with an empty exceptional set

Using known zeta-series to derive the Dancs-He series for ln⁡2 \,\ln{2}\,ln2 and ζ(2 n+1)\,ζ{(2\,n+1)}ζ(2n+1)

An Euler-type formula for β(2n)β(2n)β(2n) and closed-form expressions for a class of zeta series

New definite integrals and a two-term dilogarithm identity

Using surface integrals for checking the Archimedes' law of buoyancy

Motion of falling object

See the researcher in context

Building this map preview

A simpler proof of a Katsurada's theorem and rapidly converging series for $ζ{(2n+1)}$ and $β{(2n)}$

Using known zeta-series to derive the Dancs-He series for $\,\ln{2}\,$ and $\,ζ{(2\,n+1)}$

An Euler-type formula for $β(2n)$ and closed-form expressions for a class of zeta series