Convergence absolueEn mathématiques, une série numérique réelle ou complexe converge absolument si, par définition, la série des valeurs absolues (ou des modules) est convergente. Cette définition peut être étendue aux séries à valeurs dans un espace vectoriel normé et complet, soit un espace de Banach. Dans tous ces contextes, cette condition est suffisante pour assurer la convergence de la série elle-même. Par analogie, l'intégrale d'une fonction à valeurs réelles ou complexes converge absolument si, par définition, l'intégrale de la valeur absolue (ou du module) de la fonction est convergente (fonction dans L1).
Test de convergenceEn mathématiques, les tests de convergence sont des méthodes de test de la convergence, de la convergence absolue ou de la divergence d'une série . Appliqués aux séries entières, ils donnent des moyens de déterminer leur rayon de convergence. Pour que la série converge, il est nécessaire que . Par conséquent, si cette limite est indéfinie ou non nulle, alors la série diverge. La condition n'est pas suffisante, et, si la limite des termes est nulle, on ne peut rien conclure. Toute série absolument convergente converge.
Série de DirichletEn mathématiques, une série de Dirichlet est une série f(s) de fonctions définies sur l'ensemble C des nombres complexes, et associée à une suite (a) de nombres complexes de l'une des deux façons suivantes : Ici, la suite (λ) est réelle, positive, strictement croissante et non bornée. Le domaine de convergence absolue d'une série de Dirichlet est soit un demi-plan ouvert de C, limité par une droite dont tous les points ont même abscisse, soit l'ensemble vide, soit C tout entier. Le domaine de convergence simple est de même nature.
Fonction arithmétiqueEn théorie des nombres, une fonction arithmétique f est une application définie sur l'ensemble des entiers strictement positifs et à valeurs dans l'ensemble des nombres complexes. En d'autres termes, une fonction arithmétique n'est rien d'autre qu'une suite de nombres complexes, indexée par N*. Les fonctions arithmétiques les plus étudiées sont les fonctions additives et les fonctions multiplicatives. Une opération importante sur les fonctions arithmétiques est le produit de convolution de Dirichlet.
Fonction multiplicativeEn arithmétique, une fonction multiplicative est une fonction arithmétique f : N* → C vérifiant les deux conditions suivantes : f(1) = 1 ; pour tous entiers a et b > 0 premiers entre eux, on a : f (ab) = f(a)f(b). Une fonction complètement multiplicative est une fonction arithmétique g vérifiant : g(1) = 1 ; pour tous entiers a et b > 0, on a : g(ab) = g(a)g(b). Ces dénominations peuvent varier d'un ouvrage à un autre : fonction faiblement multiplicative pour fonction multiplicative, fonction multiplicative ou totalement multiplicative pour fonction complètement multiplicative.
Fonction complètement multiplicativeEn théorie des nombres, les fonctions définies sur l'ensemble des entiers naturels non nuls et qui respectent les produits sont appelées fonctions complètement multiplicatives ou fonctions totalement multiplicatives. Elles font partie des fonctions multiplicatives, qui ne respectent que les produits de nombres premiers entre eux. En dehors de la théorie des nombres, le terme « fonction multiplicative » est souvent considéré comme synonyme de « fonction complètement multiplicative » tel que défini dans cet article.
Produit eulérienEn mathématiques, et plus précisément en théorie analytique des nombres, un produit eulérien est un développement en produit infini, indexé par les nombres premiers. Il permet de mesurer la répartition des nombres premiers et est intimement lié à la fonction zêta de Riemann. Il est nommé en l'honneur du mathématicien suisse Leonhard Euler. Euler cherche à évaluer la répartition des nombres premiers p = 2, p = 3, ....
Convolution de DirichletEn mathématiques, la convolution de Dirichlet, encore appelée produit de convolution de Dirichlet ou produit de Dirichlet est une loi de composition interne définie sur l'ensemble des fonctions arithmétiques, c'est-à-dire des fonctions définies sur les entiers strictement positifs et à valeurs dans les nombres complexes. Cette loi de convolution est utilisée en arithmétique, aussi bien algébrique qu'analytique. On la trouve aussi pour résoudre des questions de dénombrement.
Produit de WallisEn mathématiques, le produit de Wallis, ou formule de Wallis, est une expression de la moitié de la constante π sous la forme d'un produit infini, énoncée en 1656 par John Wallis, dans son ouvrage Arithmetica infinitorum. Ce produit peut s'écrire sous la forme : soit, de façon plus condensée : ou encore : Une formulation équivalente est : On peut démontrer cette égalité à l'aide des intégrales de Wallis.
Produit infiniEn mathématiques, étant donné une suite de nombres complexes , on définit le produit infini de la suite comme la limite, si elle existe, des produits partiels quand N tend vers l'infini ; De même qu'une série utilise la lettre Σ, un produit infini utilise la lettre grecque Π (pi majuscule) : Dans le cas où tous les termes de la suite sont non nuls, on dit que le produit infini, noté , converge quand la suite des produits partiels converge vers une limite non nulle ; sinon, on dit que le produit infini diverg
Rayon de convergenceLe rayon de convergence d'une série entière est le nombre réel positif ou +∞ égal à la borne supérieure de l'ensemble des modules des nombres complexes où la série converge (au sens classique de la convergence simple): Si R est le rayon de convergence d'une série entière, alors la série est absolument convergente sur le disque ouvert D(0, R) de centre 0 et de rayon R. Ce disque est appelé disque de convergence. Cette convergence absolue entraine ce qui est parfois qualifié de convergence inconditionnelle : la valeur de la somme en tout point de ce disque ne dépend pas de l'ordre des termes.
Caractère de DirichletEn mathématiques, et plus précisément en arithmétique modulaire, un caractère de Dirichlet est une fonction particulière sur un ensemble de classes de congruences sur les entiers et à valeurs complexes. Elle a été utilisée par Dirichlet pour la démonstration de son théorème de la progression arithmétique. Dans cet article, n désigne un entier strictement positif et U le groupe des unités (Z/nZ) de l'anneau Z/nZ. Dans le corps C des nombres complexes, le conjugué d'un nombre c est noté .
Intégrale de DirichletL'intégrale de Dirichlet est l'intégrale de la fonction sinus cardinal sur la demi-droite des réels positifs Il s'agit d'une intégrale impropre semi-convergente, c'est-à-dire qu'elle n'est pas absolument convergente () mais existe et est finie. On considère la fonctionEn 0, sa limite à droite vaut 1, donc f est prolongeable en une application continue sur [0, +∞[, si bien qu'elle est intégrable sur [0, a] pour tout a > 0.Mais elle n'est pas intégrable en +∞, c'est-à-dire que.
Fonction de MöbiusEn mathématiques, la fonction de Möbius désigne généralement une fonction multiplicative particulière, définie sur les entiers strictement positifs et à valeurs dans l'ensemble {–1, 0, 1}. Elle intervient dans la formule d'inversion de Möbius. Elle est utilisée dans des branches différentes des mathématiques. Vue sous un angle élémentaire, la fonction de Möbius permet certains calculs de dénombrement, en particulier pour l'étude des p-groupes ou en théorie des graphes.
Fonction additive (arithmétique)En théorie des nombres, une fonction additive f est une fonction arithmétique (donc définie sur l'ensemble des entiers strictement positifs à valeurs dans l'ensemble des nombres complexes ) telle que : pour tous entiers a et b > 0 premiers entre eux, f(ab) = f(a) + f(b) (en particulier, f(1) = 0). On dit que f est (une fonction additive) réelle si elle est uniquement à valeurs dans l'ensemble des nombres réels . Une fonction arithmétique f est dite complètement additive lorsque : Pour tous entiers a et b > 0, f(ab) = f(a) + f(b), même si a et b ne sont pas premiers entre eux.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Méthodes de calcul d'intégrales de contourEn analyse complexe, lintégration de contour est une technique de calcul d'intégrale le long de chemins sur le plan complexe L'intégration de contour est fortement liée au calculs de résidus, une méthode de calcul utilisée pour évaluer des intégrales curvilignes sur l'axe des réelles, que les outils de la théorie de l'intégration ne permettent pas de calculer par une simple analyse réelle Les méthodes d'intégration de contour incluent : l'intégration directe d'une fonction à valeurs complexes le long d'une c
Leonhard EulerLeonhard Euler (), né le à Bâle (Suisse) et mort le à Saint-Pétersbourg (Empire russe), est un mathématicien et physicien suisse, qui passa la plus grande partie de sa vie dans l'Empire russe et en Allemagne. Il était notamment membre de l'Académie royale des sciences de Prusse à Berlin. Euler fit d'importantes découvertes dans des domaines aussi variés que le calcul infinitésimal et la théorie des graphes. Il introduisit également une grande partie de la terminologie et de la notation des mathématiques modernes, en particulier pour l'analyse mathématique, comme la notion de fonction mathématique.
Intégrale curviligneEn géométrie différentielle, l'intégrale curviligne est une intégrale où la fonction à intégrer est évaluée sur une courbe Γ. Il y a deux types d'intégrales curvilignes, selon que la fonction est à valeurs réelles ou à valeurs dans les formes linéaires. Le second type (qui peut se reformuler en termes de circulation d'un champ de vecteurs) a comme cas particulier les intégrales que l'on considère en analyse complexe. Dans cet article, Γ est un arc orienté dans R, rectifiable c'est-à-dire paramétré par une fonction continue à variation bornée t ↦ γ(t), avec t ∈ [a, b].
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
