Varadhan's lemmaIn mathematics, Varadhan's lemma is a result from the large deviations theory named after S. R. Srinivasa Varadhan. The result gives information on the asymptotic distribution of a statistic φ(Zε) of a family of random variables Zε as ε becomes small in terms of a rate function for the variables. Let X be a regular topological space; let (Zε)ε>0 be a family of random variables taking values in X; let με be the law (probability measure) of Zε. Suppose that (με)ε>0 satisfies the large deviation principle with good rate function I : X → [0, +∞].
Dual normIn functional analysis, the dual norm is a measure of size for a continuous linear function defined on a normed vector space. Let be a normed vector space with norm and let denote its continuous dual space. The dual norm of a continuous linear functional belonging to is the non-negative real number defined by any of the following equivalent formulas: where and denote the supremum and infimum, respectively.
Équation différentielle stochastiqueUne équation différentielle stochastique (EDS) est une généralisation de la notion d'équation différentielle prenant en compte un terme de bruit blanc. Les EDS permettent de modéliser des trajectoires aléatoires, tels des cours de bourse ou les mouvements de particules soumises à des phénomènes de diffusion. Elles permettent aussi de traiter théoriquement ou numériquement des problèmes issus de la théorie des équations aux dérivées partielles.
Théorème de Cauchy-HadamardEn mathématiques, le théorème de Cauchy–Hadamard est un résultat d'analyse complexe qui décrit le rayon de convergence d'une série entière. Il a été publié en 1821 par Cauchy mais est resté relativement méconnu jusqu'à sa redécouverte par Hadamard, qui le publia une première fois en 1888 puis l'inclut, en 1892, dans sa thèse. En particulier, si la suite (a) est non bornée alors R = 0 – c'est-à-dire que la série diverge partout ailleurs qu'en 0 – et si cette suite converge vers 0 alors R = +∞ – c'est-à-dire que la série converge sur le plan complexe tout entier.
FonctionnelleIn mathematics, a functional (as a noun) is a certain type of function. The exact definition of the term varies depending on the subfield (and sometimes even the author). In linear algebra, it is synonymous with linear forms, which are linear mappings from a vector space into its field of scalars (that is, they are elements of the dual space ) In functional analysis and related fields, it refers more generally to a mapping from a space into the field of real or complex numbers.
Shift theoremIn mathematics, the (exponential) shift theorem is a theorem about polynomial differential operators (D-operators) and exponential functions. It permits one to eliminate, in certain cases, the exponential from under the D-operators. The theorem states that, if P(D) is a polynomial D-operator, then, for any sufficiently differentiable function y, To prove the result, proceed by induction. Note that only the special case needs to be proved, since the general result then follows by linearity of D-operators.
Théorème de Hahn-BanachEn mathématiques, et plus particulièrement en analyse et en géométrie, le théorème de Hahn-Banach, dû aux deux mathématiciens Hans Hahn et Stefan Banach, est un théorème d'existence de prolongements de formes linéaires satisfaisant à certaines conditions. En permettant de prouver abstraitement l'existence de nombreuses fonctions continues, c'est un outil fondamental de l'analyse fonctionnelle. Par son interprétation géométrique en termes d'hyperplans évitant un convexe fixé, il joue également un rôle primordial dans l'étude de la géométrie des convexes, et au-delà en analyse convexe.
Interpolation bicubiquevignette|Illustration de l'interpolation bicubique sur un ensemble de données aléatoires En mathématiques, l'interpolation bicubique est une extension de l'interpolation cubique pour interpoler un ensemble de points distribués sur une grille régulière bidimensionnelle. La surface interpolée est plus lisse que les surfaces correspondantes obtenues par interpolation bilinéaire ou par sélection du plus proche voisin. L'interpolation bicubique peut être accomplie en utilisant soit des polynômes de Lagrange, soit des splines cubiques, soit un algorithme de convolution cubique.
Midpoint methodIn numerical analysis, a branch of applied mathematics, the midpoint method is a one-step method for numerically solving the differential equation, The explicit midpoint method is given by the formula the implicit midpoint method by for Here, is the step size — a small positive number, and is the computed approximate value of The explicit midpoint method is sometimes also known as the modified Euler method, the implicit method is the most simple collocation method, and, applied to Hamiltonian dynamics, a sy
SmoothnessIn mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain, called differentiability class. At the very minimum, a function could be considered smooth if it is differentiable everywhere (hence continuous). At the other end, it might also possess derivatives of all orders in its domain, in which case it is said to be infinitely differentiable and referred to as a C-infinity function (or function).