|
Sheffer Sequence
In mathematics, a Sheffer sequence or poweroid is a polynomial sequence, i.e., a sequence of polynomials in which the index of each polynomial equals its degree, satisfying conditions related to the umbral calculus in combinatorics. They are named for Isador M. Sheffer. Definition Fix a polynomial sequence (''p''''n''). Define a linear operator ''Q'' on polynomials in ''x'' by :Qp_n(x) = np_(x)\, . This determines ''Q'' on all polynomials. The polynomial sequence ''p''''n'' is a ''Sheffer sequence'' if the linear operator ''Q'' just defined is ''shift-equivariant''; such a ''Q'' is then a delta operator. Here, we define a linear operator ''Q'' on polynomials to be ''shift-equivariant'' if, whenever ''f''(''x'') = ''g''(''x'' + ''a'') = ''T''''a'' ''g''(''x'') is a "shift" of ''g''(''x''), then (''Qf'')(''x'') = (''Qg'')(''x'' + ''a''); i.e., ''Q'' commutes with every shift operator: ''T''''a''''Q'' = ''QT''''a''. Properties The set of all Sheffer sequences is a group un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normal Subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group G is normal in G if and only if gng^ \in N for all g \in G and n \in N. The usual notation for this relation is N \triangleleft G. Normal subgroups are important because they (and only they) can be used to construct quotient groups of the given group. Furthermore, the normal subgroups of G are precisely the kernels of group homomorphisms with domain G, which means that they can be used to internally classify those homomorphisms. Évariste Galois was the first to realize the importance of the existence of normal subgroups. Definitions A subgroup N of a group G is called a normal subgroup of G if it is invariant under conjugation; that is, the conjugation of an element of N by an element of G is always in N. The usual notation for this re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mahler Polynomials
In mathematics, the Mahler polynomials ''g''''n''(''x'') are polynomials introduced by in his work on the zeros of the incomplete gamma function. Mahler polynomials are given by the generating function :\displaystyle \sum g_n(x)t^n/n! = \exp(x(1+t-e^t)) Mahler polynomials can be given as the Sheffer sequence In mathematics, a Sheffer sequence or poweroid is a polynomial sequence, i.e., a sequence of polynomials in which the index of each polynomial equals its degree, satisfying conditions related to the umbral calculus in combinatorics. They are ... for the functional inverse of 1+''t''–''e''''t'' . The first few examples are :g_0=1; :g_1=0; :g_2=-x; :g_3=-x; :g_4=-x+3x^2; :g_5=-x+10x^2; :g_6=-x+25x^2-15x^3; :g_7=-x+56x^2-105x^3; :g_8=-x+119x^2-490x^3+105x^4; References * *{{Citation , last1=Roman , first1=Steven , title=The umbral calculus , url=https://books.google.com/books?id=JpHjkhFLfpgC , publisher=Academic Press Inc. arcourt Brace Jovanovich Publishers, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Laguerre Polynomials
In mathematics, the Laguerre polynomials, named after Edmond Laguerre (1834–1886), are solutions of Laguerre's equation: xy'' + (1 - x)y' + ny = 0 which is a second-order linear differential equation. This equation has nonsingular solutions only if is a non-negative integer. Sometimes the name Laguerre polynomials is used for solutions of xy'' + (\alpha + 1 - x)y' + ny = 0~. where is still a non-negative integer. Then they are also named generalized Laguerre polynomials, as will be done here (alternatively associated Laguerre polynomials or, rarely, Sonine polynomials, after their inventor Nikolay Yakovlevich Sonin). More generally, a Laguerre function is a solution when is not necessarily a non-negative integer. The Laguerre polynomials are also used for Gaussian quadrature to numerically compute integrals of the form \int_0^\infty f(x) e^ \, dx. These polynomials, usually denoted , , …, are a polynomial sequence which may be defined by the Rodrigues formula, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abel Polynomials
The Abel polynomials in mathematics form a polynomial sequence, the ''n''th term of which is of the form :p_n(x)=x(x-an)^. The sequence is named after Niels Henrik Abel (1802-1829), the Norwegian mathematician. This polynomial sequence is of binomial type: conversely, every polynomial sequence of binomial type may be obtained from the Abel sequence in the 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 Blis .... Examples For , the polynomials are :p_0(x)=1; :p_1(x)=x; :p_2(x)=-2x+x^2; :p_3(x)=9x-6x^2+x^3; :p_4(x)=-64x +48x^2-12x^3+x^4; For , the polynomials are :p_0(x)=1; :p_1(x)=x; :p_2(x)=-4x+x^2; :p_3(x)=36x-12x^2+x^3; :p_4(x)=-512x +192x^2-24x^3+x^4; :p_5(x)=10000x-4000x^2+600x^3-40x^4+x^5; :p_6(x)=-248832x+103680x^2-17280x^3+1440x^4-60x^5+x^6; References * Ext ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Recurrence Relation
In mathematics, a recurrence relation is an equation according to which the nth term of a sequence of numbers is equal to some combination of the previous terms. Often, only k previous terms of the sequence appear in the equation, for a parameter k that is independent of n; this number k is called the ''order'' of the relation. If the values of the first k numbers in the sequence have been given, the rest of the sequence can be calculated by repeatedly applying the equation. In ''linear recurrences'', the th term is equated to a linear function of the k previous terms. A famous example is the recurrence for the Fibonacci numbers, F_n=F_+F_ where the order k is two and the linear function merely adds the two previous terms. This example is a linear recurrence with constant coefficients, because the coefficients of the linear function (1 and 1) are constants that do not depend on n. For these recurrences, one can express the general term of the sequence as a closed-form expression o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generalized Appell Polynomials
In mathematics, a polynomial sequence \ has a generalized Appell representation if the generating function for the polynomials takes on a certain form: :K(z,w) = A(w)\Psi(zg(w)) = \sum_^\infty p_n(z) w^n where the generating function or kernel K(z,w) is composed of the series :A(w)= \sum_^\infty a_n w^n \quad with a_0 \ne 0 and :\Psi(t)= \sum_^\infty \Psi_n t^n \quad and all \Psi_n \ne 0 and :g(w)= \sum_^\infty g_n w^n \quad with g_1 \ne 0. Given the above, it is not hard to show that p_n(z) is a polynomial of degree n. Boas–Buck polynomials are a slightly more general class of polynomials. Special cases * The choice of g(w)=w gives the class of Brenke polynomials. * The choice of \Psi(t)=e^t results in the Sheffer sequence of polynomials, which include the general difference polynomials, such as the Newton polynomials. * The combined choice of g(w)=w and \Psi(t)=e^t gives the Appell sequence of polynomials. Explicit representation The generalized Appell polynomials ha ... [...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 viewed as an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Power Series
In mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial sums, etc.). A formal power series is a special kind of formal series, whose terms are of the form a x^n where x^n is the nth power of a variable x (n is a non-negative integer), and a is called the coefficient. Hence, power series can be viewed as a generalization of polynomials, where the number of terms is allowed to be infinite, with no requirements of convergence. Thus, the series may no longer represent a function of its variable, merely a formal sequence of coefficients, in contrast to a power series, which defines a function by taking numerical values for the variable within a radius of convergence. In a formal power series, the x^n are used only as position-holders for the coefficients, so that the coefficient of x^5 is the fifth ter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exponential Generating Function
In mathematics, a generating function is a way of encoding an infinite sequence of numbers () by treating them as the coefficients of a formal power series. This series is called the generating function of the sequence. Unlike an ordinary series, the ''formal'' power series is not required to converge: in fact, the generating function is not actually regarded as a function, and the "variable" remains an indeterminate. Generating functions were first introduced by Abraham de Moivre in 1730, in order to solve the general linear recurrence problem. One can generalize to formal power series in more than one indeterminate, to encode information about infinite multi-dimensional arrays of numbers. There are various types of generating functions, including ordinary generating functions, exponential generating functions, Lambert series, Bell series, and Dirichlet series; definitions and examples are given below. Every sequence in principle has a generating function of each type (excep ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monomial
In mathematics, a monomial is, roughly speaking, a polynomial which has only one term. Two definitions of a monomial may be encountered: # A monomial, also called power product, is a product of powers of variables with nonnegative integer exponents, or, in other words, a product of variables, possibly with repetitions. For example, x^2yz^3=xxyzzz is a monomial. The constant 1 is a monomial, being equal to the empty product and to x^0 for any variable x. If only a single variable x is considered, this means that a monomial is either 1 or a power x^n of x, with n a positive integer. If several variables are considered, say, x, y, z, then each can be given an exponent, so that any monomial is of the form x^a y^b z^c with a,b,c non-negative integers (taking note that any exponent 0 makes the corresponding factor equal to 1). # A monomial is a monomial in the first sense multiplied by a nonzero constant, called the coefficient of the monomial. A monomial in the first sense is a special c ... [...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 Bernoulli ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
