|
Bernoulli Umbra
In Umbral calculus, Bernoulli umbra B_- is an umbra, a formal symbol, defined by the relation \operatornameB_-^n=B^-_n, where \operatorname is the index-lowering operator, also known as evaluation operator and B^-_n are Bernoulli numbers, called ''moments'' of the umbra. A similar umbra, defined as \operatornameB_+^n=B^+_n, where B^+_1=1/2 is also often used and sometimes called Bernoulli umbra as well. They are related by equality B_+=B_-+1. Along with the Euler umbra, Bernoulli umbra is one of the most important umbras. In Levi-Civita field, Bernoulli umbras can be represented by elements with power series B_-= \varepsilon^ -\frac-\frac+\frac-\frac+\dotsb and B_+= \varepsilon^ +\frac-\frac+\frac-\frac+\dotsb, with lowering index operator corresponding to taking the coefficient of 1=\varepsilon^0 of the power series. The numerators of the terms are given in OEIS A118050 and the denominators are in OEIS A118051. Since the coefficients of \varepsilon^ are non-zero, the both are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Umbral Calculus
In mathematics before the 1970s, the term umbral calculus referred to the surprising similarity between seemingly unrelated polynomial equations and certain "shadowy" techniques used to "prove" them. These techniques were introduced by John Blissard and are sometimes called Blissard's symbolic method. They are often attributed to Édouard Lucas (or James Joseph Sylvester), who used the technique extensively. Short history In the 1930s and 1940s, Eric Temple Bell attempted to set the umbral calculus on a rigorous footing. In the 1970s, Steven Roman, Gian-Carlo Rota, and others developed the umbral calculus by means of linear functionals on spaces of polynomials. Currently, ''umbral calculus'' refers to the study of Sheffer sequences, including polynomial sequences of binomial type and Appell sequences, but may encompass systematic correspondence techniques of the calculus of finite differences. The 19th-century umbral calculus The method is a notational procedure used for der ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Umbra (mathematics)
The umbra, penumbra and antumbra are three distinct parts of a shadow, created by any light source after impinging on an opaque object. Assuming no diffraction, for a collimated beam (such as a point source) of light, only the umbra is cast. These names are most often used for the shadows cast by celestial bodies, though they are sometimes used to describe levels, such as in sunspots. Umbra The umbra (Latin for "shadow") is the innermost and darkest part of a shadow, where the light source is completely blocked by the occluding body. An observer within the umbra experiences a total eclipse. The umbra of a round body occluding a round light source forms a right circular cone. When viewed from the cone's apex, the two bodies appear the same size. The distance from the Moon to the apex of its umbra is roughly equal to that between the Moon and Earth: . Since Earth's diameter is 3.7 times the Moon's, its umbra extends correspondingly farther: roughly . Penumbra The penu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bernoulli Numbers
In mathematics, the Bernoulli numbers are a sequence of rational numbers which occur frequently in analysis. The Bernoulli numbers appear in (and can be defined by) the Taylor series expansions of the tangent and hyperbolic tangent functions, in Faulhaber's formula for the sum of ''m''-th powers of the first ''n'' positive integers, in the Euler–Maclaurin formula, and in expressions for certain values of the Riemann zeta function. The values of the first 20 Bernoulli numbers are given in the adjacent table. Two conventions are used in the literature, denoted here by B^_n and B^_n; they differ only for , where B^_1=-1/2 and B^_1=+1/2. For every odd , . For every even , is negative if is divisible by 4 and positive otherwise. The Bernoulli numbers are special values of the Bernoulli polynomials B_n(x), with B^_n=B_n(0) and B^+_n=B_n(1). The Bernoulli numbers were discovered around the same time by the Swiss mathematician Jacob Bernoulli, after whom they are named, and i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euler Umbra
Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in many other branches of mathematics such as analytic number theory, complex analysis, and infinitesimal calculus. He introduced much of modern mathematical terminology and Mathematical notation, notation, including the notion of a function (mathematics), mathematical function. He is also known for his work in mechanics, fluid dynamics, optics, astronomy and music theory. Euler is held to be one of the greatest mathematicians in history and the greatest of the 18th century. A statement attributed to Pierre-Simon Laplace expresses Euler's influence on mathematics: "Read Euler, read Euler, he is the master of us all." Carl Friedrich Gauss remarked: "The study of Euler's works will remain the best school for the different fields of mathematics, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Levi-Civita Field
In mathematics, the Levi-Civita field, named after Tullio Levi-Civita, is a non-Archimedean ordered field; i.e., a system of numbers containing infinite and infinitesimal quantities. Each member a can be constructed as a formal series of the form : a = \sum_ a_q\varepsilon^q , where a_q are real numbers, \mathbb is the set of rational numbers, and \varepsilon is to be interpreted as a positive infinitesimal. The support of a, i.e., the set of indices of the nonvanishing coefficients \, must be a left-finite set: for any member of \mathbb, there are only finitely many members of the set less than it; this restriction is necessary in order to make multiplication and division well defined and unique. The ordering is defined according to the dictionary ordering of the list of coefficients, which is equivalent to the assumption that \varepsilon is an infinitesimal. The real numbers are embedded in this field as series in which all of the coefficients vanish except a_0. Examples * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Power Series
In mathematics, a power series (in one variable) is an infinite series of the form \sum_^\infty a_n \left(x - c\right)^n = a_0 + a_1 (x - c) + a_2 (x - c)^2 + \dots where ''an'' represents the coefficient of the ''n''th term and ''c'' is a constant. Power series are useful in mathematical analysis, where they arise as Taylor series of infinitely differentiable functions. In fact, Borel's theorem implies that every power series is the Taylor series of some smooth function. In many situations, ''c'' (the ''center'' of the series) is equal to zero, for instance when considering a Maclaurin series. In such cases, the power series takes the simpler form \sum_^\infty a_n x^n = a_0 + a_1 x + a_2 x^2 + \dots. Beyond their role in mathematical analysis, power series also occur in combinatorics as generating functions (a kind of formal power series) and in electronic engineering (under the name of the Z-transform). The familiar decimal notation for real numbers can also be viewe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hardy Field
In mathematics, a Hardy field is a field consisting of germs of real-valued functions at infinity that are closed under differentiation. They are named after the English mathematician G. H. Hardy. Definition Initially at least, Hardy fields were defined in terms of germs of real functions at infinity. Specifically we consider a collection ''H'' of functions that are defined for all large real numbers, that is functions ''f'' that map (''u'',∞) to the real numbers R, forsome real number ''u'' depending on ''f''. Here and in the rest of the article we say a function has a property " eventually" if it has the property for all sufficiently large ''x'', so for example we say a function ''f'' in ''H'' is ''eventually zero'' if there is some real number ''U'' such that ''f''(''x'') = 0 for all ''x'' ≥ ''U''. We can form an equivalence relation on ''H'' by saying ''f'' is equivalent to ''g'' if and only if ''f'' − ''g'' is eventually zero. T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Germ (mathematics)
In mathematics, the notion of a germ of an object in/on a topological space is an equivalence class of that object and others of the same kind that captures their shared local properties. In particular, the objects in question are mostly functions (or maps) and subsets. In specific implementations of this idea, the functions or subsets in question will have some property, such as being analytic or smooth, but in general this is not needed (the functions in question need not even be continuous); it is however necessary that the space on/in which the object is defined is a topological space, in order that the word ''local'' has some meaning. Name The name is derived from '' cereal germ'' in a continuation of the sheaf metaphor, as a germ is (locally) the "heart" of a function, as it is for a grain. Formal definition Basic definition Given a point ''x'' of a topological space ''X'', and two maps f, g: X \to Y (where ''Y'' is any set), then f and g define the same germ at '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Digamma Function
In mathematics, the digamma function is defined as the logarithmic derivative of the gamma function: :\psi(x)=\frac\ln\big(\Gamma(x)\big)=\frac\sim\ln-\frac. It is the first of the polygamma functions. It is strictly increasing and strictly concave on (0,\infty). The digamma function is often denoted as \psi_0(x), \psi^(x) or (the uppercase form of the archaic Greek consonant digamma meaning double-gamma). Relation to harmonic numbers The gamma function obeys the equation :\Gamma(z+1)=z\Gamma(z). \, Taking the derivative with respect to gives: :\Gamma'(z+1)=z\Gamma'(z)+\Gamma(z) \, Dividing by or the equivalent gives: :\frac=\frac+\frac or: :\psi(z+1)=\psi(z)+\frac Since the harmonic numbers are defined for positive integers as :H_n=\sum_^n \frac 1 k, the digamma function is related to them by :\psi(n)=H_-\gamma, where and is the Euler–Mascheroni constant. For half-integer arguments the digamma function takes the values : \psi \left(n+\tfrac1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bernoulli Polynomials
In mathematics, the Bernoulli polynomials, named after Jacob Bernoulli, combine the Bernoulli numbers and binomial coefficients. They are used for series expansion of functions, and with the Euler–MacLaurin formula. These polynomials occur in the study of many special functions and, in particular, the Riemann zeta function and the Hurwitz zeta function. They are an Appell sequence (i.e. a Sheffer sequence for the ordinary derivative operator). For the Bernoulli polynomials, the number of crossings of the ''x''-axis in the unit interval does not go up with the degree. In the limit of large degree, they approach, when appropriately scaled, the sine and cosine functions. A similar set of polynomials, based on a generating function, is the family of Euler polynomials. Representations The Bernoulli polynomials ''B''''n'' can be defined by a generating function. They also admit a variety of derived representations. Generating functions The generating function for the Bernoul ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hurwitz Zeta Function
In mathematics, the Hurwitz zeta function is one of the many zeta functions. It is formally defined for complex variables with and by :\zeta(s,a) = \sum_^\infty \frac. This series is absolutely convergent for the given values of and and can be extended to a meromorphic function defined for all . The Riemann zeta function is . The Hurwitz zeta function is named after Adolf Hurwitz, who introduced it in 1882. Integral representation The Hurwitz zeta function has an integral representation :\zeta(s,a) = \frac \int_0^\infty \frac dx for \operatorname(s)>1 and \operatorname(a)>0. (This integral can be viewed as a Mellin transform.) The formula can be obtained, roughly, by writing :\zeta(s,a)\Gamma(s) = \sum_^\infty \frac \int_0^\infty x^s e^ \frac = \sum_^\infty \int_0^\infty y^s e^ \frac and then interchanging the sum and integral. The integral representation above can be converted to a contour integral representation :\zeta(s,a) = -\Gamma(1-s)\frac \int_C \frac dz w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
