BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

F. M. S. Lima

F. M. S. Lima contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.HOmath-phmath.CAmath.MPphysics.class-phphysics.ed-ph

Trust snapshot

Quick read

Trust 21 - Emerging
10works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access