A controvérsia sobre a origem do cálculo fracionário não é meramente cronológica, mas epistemológica e conceitual: trata-se de definir o que constitui, de fato, a “primeira formulação” de uma derivada de ordem não inteira, ou simplesmente ter citado a possibilidade.
A controvérsia não é sobre quem veio primeiro, mas sobre o que conta como definição.
No documento 163 da coletânea
https://leibniz.uni-goettingen.de/files/pdf/Leibniz-Edition-III-6.pdf,
temos uma carta de L’Hospital para Leibniz, datada de setembro de 1695 (p. 503). Ele encerra a carta e, em seguida, acrescenta:
P.S. “Acabo de receber neste momento a honra de vossa carta…”
Isso sugere que ele recebeu uma nova carta de Leibniz enquanto finalizava a sua (esta carta me parece que não foi preservada!) e, então, adicionou uma explicação sobre somas de diferenças (derivações), referindo-se a Bernoulli. Em determinado momento, aparece a frase:
“La somme n’estant qu’une difference negative on peut demander que c’est, qu’une difference dont l’exposant est un nombre rompu; on le peut exprimer per seriem infinitam, sed quid est in Geometria?”
Ao final da carta, encontra-se o trecho:
“Há razões para crer que um dia se extrairão consequências muito úteis desses paradoxos, pois dificilmente há paradoxos sem utilidade”,
que é amplamente citado. Não seria este o verdadeiro registro histórico ao qual todos se referem?
A carta de Bernoulli à qual se faz referência (fevereiro de 1695) corresponde ao documento 102 (p. 308). Ao examiná-la, observa-se que ele afirma:
“onde é preciso notar que (e) pode ser um número não inteiro, mas (m) (expoente da diferença) deve ser sempre inteiro, a menos que alguém queira, à maneira das potências metafísicas (ou logaritmos), imaginar também não sei que diferenças (ou somas) ‘metafísicas’” (início da p. 313).
Este episódio clássico das cartas de Leibniz é, em geral, usado para atribuir à troca de correspondência entre Leibniz e Bernoulli (fev. 1695) ou entre Leibniz e L’Hospital (set. 1695) o nascimento do cálculo fracionário. No entanto, segundo parece aos matemáticos, Leibniz trata isso como uma curiosidade formal, sem definição rigorosa. Portanto: não há teoria; não há operador bem definido; trata-se de uma antecipação heurística.
Pode-se dizer que Leibniz introduz o problema, mas não o resolve.
Muitos textos clássicos atribuem a Riemann (em conjunto com Liouville) a fundação do cálculo fracionário, via a chamada derivada de Riemann–Liouville. Podemos citar a referência
https://www.numdam.org/item/RHM_1997__3_1_49_0/
L’élaboration par Riemann d’une définition de la dérivation d’ordre non entier
[Riemann’s work on defining the concept of a fractional calculus]
Dugowson, Stéphane idref
Revue d’histoire des mathématiques, Volume 3 (1997) no. 1, pp. 49-97
No livro de memórias Versuch einer allgemeinen Auffassung der Integration und Differentiation
[https://www.cambridge.org/core/books/abs/bernard-riemanns-gesammelte-mathematische-werke-und-wissenschaftlicher-nachlass/versuch-einer-allgemeinen-auffassung-der-integration-und-differentiation-1847/89CF0B1B969208AE3F4BD5CBD78C443C
XIX – Versuch einer allgemeinen Auffassung der Integration und Differentiation. (1847.)
Published online by Cambridge University Press: 05 October 2014],
Riemann dedicou-se a uma derivação de ordem incompleta.
O objetivo de Riemann é claramente declarado no início de seu artigo: generalizar a diferenciação para ordens não inteiras. Ao contrário de Liouville, para quem tal generalização respondia à necessidade de uma ferramenta adaptada para resolver equações provenientes da física, Riemann considera esse problema em si mesmo: nenhuma aplicação, mesmo puramente matemática, é evocada. Além disso, na época em que escreveu seu artigo, Riemann desconhecia que outros matemáticos também haviam analisado a questão.
Nessa obra, Riemann busca não apenas estender a derivação a ordens não inteiras, um objetivo que ele acreditava ter sido o primeiro a estabelecer para si mesmo, mas também pretende contribuir, por meio dessa generalização, para demonstrar a utilidade das séries divergentes.
Contudo, essa atribuição também é problemática, já que a formalização operacional não aparece de modo sistemático em sua obra.
Henri Laurent afirma que a primeira ideia de calcular derivadas com índices arbitrários remonta a Leibniz; mas é a Liouville que devemos a demonstração de todo o potencial que poderia ser derivado dessa generalização do cálculo diferencial, podendo ele ser considerado o verdadeiro criador da nova teoria. Em 1874, o Sr. Letnikov propôs uma nova definição de derivadas com índices fracionários, à qual não há qualquer crítica a ser feita. Aqui há uma teoria funcional real, com uso explícito de limites em $-\infty$.
Paul Lévy, em 1923, afirma que Riemann introduziu na análise uma operação funcional que generaliza a diferenciação, e que pode ser chamada de diferenciação de ordem não inteira. Em suas memórias, Paul Lévy corrigiu essa atribuição a Riemann da paternidade das derivadas de ordem não inteira, citando a teoria de Liouville, especificando imediatamente que a construção essencial já estava em Liouville. Destaca ainda que a formulação com limite inferior em $-\infty$ é conceitualmente mais fundamental. Nesse sentido, o nascimento do cálculo fracionário é em 1874.
A divergência decorre de três critérios distintos de “origem”:
(i) Origem formal (notacional):Leibniz
(ii) Origem operacional (definição funcional): Liouville
(iii) Origem sistemática (integração em teoria matemática mais ampla): Riemann
