1. Contributions

1.1. Infinite Series and Calculus

The Kerala school has made a number of contributions to the fields of infinite series and calculus. These include the following (infinite) geometric series:

The Kerala school made intuitive use of mathematical induction, though the inductive hypothesis was not yet formulated or employed in proofs.^[2] They used this to discover a semi-rigorous proof of the result:

for large n.

They applied ideas from (what was to become) differential and integral calculus to obtain (Taylor–Maclaurin) infinite series for [math]\displaystyle{ \sin x }[/math], [math]\displaystyle{ \cos x }[/math], and [math]\displaystyle{ \arctan x }[/math].^[3] The Tantrasangraha-vakhya gives the series in verse, which when translated to mathematical notation, can be written as:^[2]

where, for [math]\displaystyle{ r = 1, }[/math] the series reduce to the standard power series for these trigonometric functions, for example:

(The Kerala school did not use the "factorial" symbolism.)

The Kerala school made use of the rectification (computation of length) of the arc of a circle to give a proof of these results. (The later method of Leibniz, using quadrature (i.e. computation of area under the arc of the circle), was not yet developed.)^[2] They also made use of the series expansion of [math]\displaystyle{ \arctan x }[/math] to obtain an infinite series expression (later known as Gregory series) for [math]\displaystyle{ \pi }[/math]:^[2]

Their rational approximation of the error for the finite sum of their series are of particular interest. For example, the error, [math]\displaystyle{ f_i(n+1) }[/math], (for n odd, and i = 1, 2, 3) for the series:

They manipulated the terms, using the partial fraction expansion of :[math]\displaystyle{ \frac{1}{n^3-n} }[/math] to obtain a more rapidly converging series for [math]\displaystyle{ \pi }[/math]:^[2]

They used the improved series to derive a rational expression,^[2] [math]\displaystyle{ 104348/33215 }[/math] for [math]\displaystyle{ \pi }[/math] correct up to nine decimal places, i.e. [math]\displaystyle{ 3.141592653 }[/math]. They made use of an intuitive notion of a limit to compute these results.^[2] The Kerala school mathematicians also gave a semi-rigorous method of differentiation of some trigonometric functions,^[4] though the notion of a function, or of exponential or logarithmic functions, was not yet formulated.

1.2. Recognition

In 1825 John Warren published a memoir on the division of time in southern India,^[5] called the Kala Sankalita, which briefly mentions the discovery of infinite series by Kerala astronomers.

The works of the Kerala school were first written up for the Western world by Englishman C. M. Whish in 1835. According to Whish, the Kerala mathematicians had "laid the foundation for a complete system of fluxions" and these works abounded "with fluxional forms and series to be found in no work of foreign countries".^[6] However, Whish's results were almost completely neglected, until over a century later, when the discoveries of the Kerala school were investigated again by C. T. Rajagopal and his associates. Their work includes commentaries on the proofs of the arctan series in Yuktibhasa given in two papers,^[7][8] a commentary on the Yuktibhasa's proof of the sine and cosine series^[9] and two papers that provide the Sanskrit verses of the Tantrasangrahavakhya for the series for arctan, sin, and cosine (with English translation and commentary).^[10][11]

In 1952 Otto Neugebauer wrote on Tamil astronomy.^[12]

In 1972 K. V. Sarma published his A History of the Kerala School of Hindu Astronomy which described features of the School such as the continuity of knowledge transmission from the 13th to the 17th century: Govinda Bhattathiri to Parameshvara to Damodara to Nilakantha Somayaji to Jyesthadeva to Acyuta Pisarati. Transmission from teacher to pupil conserved knowledge in "a practical, demonstrative discipline like astronomy at a time when there was not a proliferation of printed books and public schools."

In 1994 it was argued that the heliocentric model had been adopted about 1500 A.D. in Kerala.^[13]

2. Possibility of Transmission of Kerala School Results to Europe

A. K. Bag suggested in 1979 that knowledge of these results might have been transmitted to Europe through the trade route from Kerala by traders and Jesuit missionaries.^[14] Kerala was in continuous contact with China and Arabia, and Europe. The suggestion of some communication routes and a chronology by some scholars^[15][16] could make such a transmission a possibility; however, there is no direct evidence by way of relevant manuscripts that such a transmission took place.^[16] According to David Bressoud, "there is no evidence that the Indian work of series was known beyond India, or even outside of Kerala, until the nineteenth century".^[3][17] V.J. Katz notes some of the ideas of the Kerala school have similarities to the work of 11th-century Iraqi scholar Ibn al-Haytham,^[4] suggesting a possible transmission of ideas from Islamic mathematics to Kerala.^[18]

Both Arab and Indian scholars made discoveries before the 17th century that are now considered a part of calculus.^[4] According to V.J. Katz, they were yet to "combine many differing ideas under the two unifying themes of the derivative and the integral, show the connection between the two, and turn calculus into the great problem-solving tool we have today", like Newton and Leibniz.^[4] The intellectual careers of both Newton and Leibniz are well-documented and there is no indication of their work not being their own;^[4] however, it is not known with certainty whether the immediate predecessors of Newton and Leibniz, "including, in particular, Fermat and Roberval, learned of some of the ideas of the Islamic and Indian mathematicians through sources of which we are not now aware".^[4] This is an active area of current research, especially in the manuscript collections of Spain and Maghreb, research that is now being pursued, among other places, at the Centre national de la recherche scientifique in Paris.^[4]