Выбрать главу

En 1861, Riemann signale qu’une

fonction continue au sens de Cauchy n’est pas toujours dérivable et, en 1872, Karl Weierstrass (1815-1897) donne un exemple d’une fonction continue qui n’est dérivable en aucun point. Pour downloadModeText.vue.download 34 sur 561

La Grande Encyclopédie Larousse - Vol. 2

571

les fonctions de la variable complexe, Cauchy astreint ses « fonctions monogènes » à avoir une dérivée bien définie en chaque point non singulier (1846).

Ses études sur les « intégrales définies prises entre des limites imaginaires »

(1825) lui permettent de développer en série entière toute fonction holomorphe (1831). L’importance de ces travaux théoriques est sentie davantage grâce à l’introduction de nouvelles fonctions, les fonctions elliptiques. À la fondation

du calcul infinitésimal, les seules fonctions connues (avant même l’invention du mot) sont les fonctions algébriques, où la variable x et la fonction y sont liées par une équation « algébrique »

P(x, y) = 0 (P étant un polynôme), les fonctions trigonométriques directes et inverses, les fonctions logarithmique et exponentielle. Les techniques nouvelles amènent l’apparition d’autres fonctions. Nées des travaux de Jacques Bernoulli, de Giulio Cesare Fagnano dei Toschi (1682-1766), d’Euler, de Lagrange, etc., sur la rectification des arcs de coniques ou de lemniscates, les fonctions elliptiques sont étudiées dès 1797 par Carl Friedrich Gauss (1777-1855) ; mais il ne fait rien connaître de ses travaux. Adrien Marie Le Gendre (1752-1833) cultive pendant quarante années cette branche de l’analyse. Il publie l’ensemble de ses travaux entre 1825 et 1832. À la même époque, se plaçant délibérément dans le domaine complexe, les jeunes Niels Abel (1802-1829) et Carl Jacobi (1804-1851) découvrent l’inversion des intégrales elliptiques et la double périodicité des fonctions inverses, celles que l’on appelle depuis les fonctions elliptiques. Leur étude fut approfondie par Joseph Liouville (1809-1882), Arthur Cayley (1821-1895), Karl Weierstrass (1815-1897), Charles Hermite (1822-1901). Elles fournissent à Henri Poincaré (1854-1912) et à Felix Klein (1849-1925) le modèle des fonctions fuchsiennes ou automorphes. À côté des fonctions elliptiques figurent les fonctions abéliennes et les fonctions algébriques dans le domaine complexe, étudiées particulièrement par Victor Puiseux (1820-1883) et par Riemann.

La théorie générale des fonctions analytiques de la variable complexe a enfin en Weierstrass son grand théoricien.

Quant aux fonctions de la variable réelle, elles trouvent leur fondement dans la théorie des ensembles de Cantor, et sont l’objet de prédilection de l’école française de Camille Jordan (1838-1922), de René Baire (1874-1932), d’Émile Borel (1871-1956) et de Henri Lebesgue (1875-1941). Avec Vito Volterra (1860-1940), on peut dire que le XIXe s. est « le siècle de la théorie des fonctions ».

Intégrales définies

Si les géomètres de la première moitié du XVIIe s. utilisent dans la méthode des indivisibles des sommations d’élé-

ments infiniment petits, Newton et Leibniz s’écartent de ces méthodes, donnent la primauté au calcul diffé-

rentiel et font du calcul intégral l’inversion de celui-ci. En langage plus actuel, ils recherchent la primitive d’une fonction, ou l’intégrale indéfinie, les deux mots ayant le même sens.

Avec Cauchy, on revient, dès 1823, aux conceptions anciennes. Celui-ci définit comme la limite de

l’expression

S = (x1 – x0)f(x0) +...+ (X – xn–1) f(xn–1),

la fonction f(x) étant continue — au sens actuel — entre x0 et X,

x0 < x1 < x2 < ... < xn–1 < X,

et les différences x1 – x0, etc., tendant vers zéro. Cette définition de l’inté-

grale, qui rejoint au fond les conceptions d’Archimède, se révèle particulièrement féconde. Étendue par Cauchy à certains cas de discontinuité, elle l’est plus encore, en 1854, par Riemann. En 1875, Gaston Darboux (1842-1917) donne à la théorie de l’« intégrale de Riemann » son aspect à peu près définitif. Mais Thomas-Jan Stieltjes (1856-1894), en 1894, et Henri Lebesgue, en 1902, donnent deux extensions de la notion d’intégrale définie. L’intégrale de Lebesgue s’appuie sur la mesure des ensembles de points, théorie due à Georg Cantor, Camille Jordan, Émile Borel et Henri Lebesgue.

Les séries

Les mathématiciens du XVIIIe s. font un grand usage des séries, particulièrement des séries entières, et Lagrange, dans sa Théorie des fonctions analytiques (1797), en fait même le fondement de toute l’analyse. Cependant, on se fie totalement à la puissance de l’algorithme, sans se préoccuper suffisamment des conditions de convergence. Cela ne va pas sans créer des difficultés : Les séries divergentes sont diaboliques, et c’est une honte d’oser bâtir sur elles une démonstration, écrit Abel en 1826. La réaction se mani-

feste dès 1812 avec Gauss, puis avec Cauchy. Ce dernier définit avec pré-

cision la convergence des séries et en établit les critères généraux ainsi que les critères plus restreints dits « de d’Alembert » (utilisés par celui-ci en 1768 dans un cas particulier), et « de Cauchy » (1821). Mais ce sont surtout les « suites de Cauchy » qui seront capitales pour le développement ultérieur des mathématiques. Pour les séries à termes de signes quelconques ou complexes, Cauchy montre que, si la série des modules converge, la série proposée converge aussi. C’est la « convergence absolue ». Dirichlet établit en 1837 que la somme d’une série absolument convergente ne dé-

pend pas de l’ordre des termes, tandis que, en 1866, Riemann prouve que si une série à termes réels converge, sans être absolument convergente, on peut, par la seule modification de l’ordre des termes, faire prendre à sa somme toute valeur arbitrairement choisie. Les recherches de Cauchy sur les séries géné-

rales sont une préparation méthodique à l’étude des séries entières. Mais, en ce domaine, son exposé est sujet, en 1821, à quelques faiblesses. Pour y obvier, sir George Gabriel Stokes (1819-1903), Ludwig Philipp von Seidel (1821-1896) et Dirichlet créent vers 1840 la notion de convergence uniforme.

Tout le XIXe s. fera des séries entières convergentes un des fondements de l’analyse et, en particulier, dans le domaine complexe, Weierstrass, comme d’ailleurs Charles Méray en France, définit une fonction par un développement en série entière au voisinage d’un point régulier, la déterminant ensuite de proche en proche par son prolongement analytique. Cependant, à la fin du siècle, certains analystes s’attaquent aux séries divergentes, qu’Abel avait voulu bannir des mathématiques, et obtiennent quelques succès.

Le calcul des variations

Sous ce terme, avancé par Euler en 1766, on entend l’étude des extré-

mums, de certaines intégrales. On peut faire remonter ce calcul à la démonstration de la loi de réfraction de la lu-mière, donnée par Fermat à la fin de sa vie et fondée sur le principe du chemin

minimal. Leibniz et les frères Bernoulli résolvent plusieurs problèmes analogues, et Euler systématise en 1744 les techniques de résolution. Les principes de minimum de travail, ou de minimum d’action, prennent une importance de plus en plus grande en physique et en mécanique avec Leibniz et Pierre-Louis Moreau de Maupertuis (1698-1759). Lagrange fonde dès 1756 le nouveau calcul sur une base purement analytique. Sa méthode ne permettant pas de distinguer les maximums des minimums, Legendre énonce en 1788

un critère dont la démonstration n’est rendue rigoureuse que par Jacobi en 1836. Le XIXe s. consacre de nombreux travaux à cette branche de l’analyse, qui fait actuellement partie de l’analyse fonctionnelle, selon l’expression de Jacques Hadamard (1865-1963).

Équations différentielles