Abel Equation
The Abel equation, named after Niels Henrik Abel, is a type of functional equation of the form :f(h(x)) = h(x + 1) or :\alpha(f(x)) = \alpha(x)+1. The forms are equivalent when is invertible. or control the iteration of . Equivalence The second equation can be written :\alpha^(\alpha(f(x))) = \alpha^(\alpha(x)+1)\, . Taking , the equation can be written ::f(\alpha^(y)) = \alpha^(y+1)\, . For a known function , a problem is to solve the functional equation for the function , possibly satisfying additional requirements, such as . The change of variables , for a real parameter , brings Abel's equation into the celebrated Schröder's equation, . The further change into Böttcher's equation, . The Abel equation is a special case of (and easily generalizes to) the translation equation, :\omega( \omega(x,u),v)=\omega(x,u+v) ~, e.g., for \omega(x,1) = f(x), :\omega(x,u) = \alpha^(\alpha(x)+u). (Observe .) The Abel function further provides the canonical coor ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Abel Equation Of The First Kind
In mathematics, an Abel equation of the first kind, named after Niels Henrik Abel, is any ordinary differential equation that is cubic in the unknown function. In other words, it is an equation of the form :y'=f_3(x)y^3+f_2(x)y^2+f_1(x)y+f_0(x) \, where f_3(x)\neq 0. Properties If f_3(x)=0 and f_0(x)=0, or f_2(x)=0 and f_0(x)=0, the equation reduces to a Bernoulli equation, while if f_3(x) = 0 the equation reduces to a Riccati equation. Solution The substitution y=\dfrac brings the Abel equation of the first kind to the Abel equation of the second kind, of the form :uu'=-f_0(x)u^3-f_1(x)u^2-f_2(x)u-f_3(x). \, The substitution : \begin \xi & = \int f_3(x)E^2~dx, \\ ptu & = \left(y+\dfrac\right)E^, \\ ptE & = \exp\left(\int\left(f_1(x)-\frac\right)~dx\right) \end brings the Abel equation of the first kind to the canonical form In mathematics and computer science, a canonical, normal, or standard form of a mathematical object is a standard way of presenting that obj ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Tetration
In mathematics, tetration (or hyper-4) is an operation (mathematics), operation based on iterated, or repeated, exponentiation. There is no standard mathematical notation, notation for tetration, though Knuth's up arrow notation \uparrow \uparrow and the left-exponent ^b are common. Under the definition as repeated exponentiation, means , where ' copies of ' are iterated via exponentiation, right-to-left, i.e. the application of exponentiation n-1 times. ' is called the "height" of the function, while ' is called the "base," analogous to exponentiation. It would be read as "the th tetration of ". For example, 2 tetrated to 4 (or the fourth tetration of 2) is =2^=2^=2^=65536. It is the next hyperoperation after exponentiation, but before pentation. The word was coined by Reuben Louis Goodstein from tetra- (four) and iterated function, iteration. Tetration is also defined recursively as : := \begin 1 &\textn=0, \\ a^ &\textn>0, \end allowing for the holomorphic function, hol ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Iterated Function
In mathematics, an iterated function is a function that is obtained by composing another function with itself two or several times. The process of repeatedly applying the same function is called iteration. In this process, starting from some initial object, the result of applying a given function is fed again into the function as input, and this process is repeated. For example, on the image on the right: : Iterated functions are studied in computer science, fractals, dynamical systems, mathematics and renormalization group physics. Definition The formal definition of an iterated function on a set ''X'' follows. Let be a set and be a function. Defining as the ''n''-th iterate of , where ''n'' is a non-negative integer, by: f^0 ~ \stackrel ~ \operatorname_X and f^ ~ \stackrel ~ f \circ f^, where is the identity function on and denotes function composition. This notation has been traced to and John Frederick William Herschel in 1813. Herschel credited ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Infinite Compositions Of Analytic Functions
In mathematics, infinite Function composition, compositions of analytic functions (ICAF) offer alternative formulations of Generalized continued fraction, analytic continued fractions, series (mathematics), series, product (mathematics), products and other infinite expansions, and the theory evolving from such compositions may shed light on the convergence (mathematics), convergence/divergence of these expansions. Some functions can actually be expanded directly as infinite compositions. In addition, it is possible to use ICAF to evaluate solutions of fixed point (mathematics), fixed point equations involving infinite expansions. Complex dynamics offers another venue for iterated function system, iteration of systems of functions rather than a single function. For infinite compositions of a ''single function'' see Iterated function. For compositions of a finite number of functions, useful in fractal theory, see Iterated function system. Although the title of this article specifies ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Functional Equation
In mathematics, a functional equation is, in the broadest meaning, an equation in which one or several functions appear as unknowns. So, differential equations and integral equations are functional equations. However, a more restricted meaning is often used, where a ''functional equation'' is an equation that relates several values of the same function. For example, the logarithm functions are essentially characterized by the ''logarithmic functional equation'' \log(xy)=\log(x) + \log(y). If the domain of the unknown function is supposed to be the natural numbers, the function is generally viewed as a sequence, and, in this case, a functional equation (in the narrower meaning) is called a recurrence relation. Thus the term ''functional equation'' is used mainly for real functions and complex functions. Moreover a smoothness condition is often assumed for the solutions, since without such a condition, most functional equations have very irregular solutions. For example, the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Classification Of Fatou Components
In mathematics, Fatou components are connected component (analysis), components of the Fatou set. They were named after Pierre Fatou. Rational case If f is a rational function :f = \frac defined in the extended complex plane, and if it is a nonlinear function (degree > 1) : d(f) = \max(\deg(P),\, \deg(Q))\geq 2, then for a periodic connected component (analysis), component U of the Fatou set, exactly one of the following holds: # U contains an attracting periodic point # U is parabolic # U is a Siegel disc: a simply connected Fatou component on which ''f''(''z'') is analytically conjugate to a Euclidean rotation of the unit disc onto itself by an irrational rotation angle. # U is a Herman ring: a double connected Fatou component (an Annulus (mathematics), annulus) on which ''f''(''z'') is analytically conjugate to a Euclidean rotation of a round annulus, again by an irrational rotation angle. File:Julia-set_N_z3-1.png, Julia set (white) and Fatou set (dark red/green/blue) fo ... [...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 ''a_n'' represents the coefficient of the ''n''th term and ''c'' is a constant called the ''center'' of the series. 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, the center ''c'' is equal to zero, for instance for 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. The partial sums of a power series are polynomials, the partial sums of the Taylor series of an analytic function are a sequence of converging polynomial approximations to the function at the center, and a converging power series can be seen as a kind of generalized polynom ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Asymptotic Expansion
In mathematics, an asymptotic expansion, asymptotic series or Poincaré expansion (after Henri Poincaré) is a formal series of functions which has the property that truncating the series after a finite number of terms provides an approximation to a given function as the argument of the function tends towards a particular, often infinite, point. Investigations by revealed that the divergent part of an asymptotic expansion is latently meaningful, i.e. contains information about the exact value of the expanded function. The theory of asymptotic series was created by Poincaré (and independently by Stieltjes) in 1886. The most common type of asymptotic expansion is a power series in either positive or negative powers. Methods of generating such expansions include the Euler–Maclaurin summation formula and integral transforms such as the Laplace and Mellin transforms. Repeated integration by parts will often lead to an asymptotic expansion. Since a '' convergent'' Taylor s ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Critical Point (mathematics)
In mathematics, a critical point is the argument of a function where the function derivative is zero (or undefined, as specified below). The value of the function at a critical point is a . More specifically, when dealing with functions of a real variable, a critical point is a point in the domain of the function where the function derivative is equal to zero (also known as a ''stationary point'') or where the function is not differentiable. Similarly, when dealing with complex variables, a critical point is a point in the function's domain where its derivative is equal to zero (or the function is not ''holomorphic''). Likewise, for a function of several real variables, a critical point is a value in its domain where the gradient norm is equal to zero (or undefined). This sort of definition extends to differentiable maps between and a critical point being, in this case, a point where the rank of the Jacobian matrix is not maximal. It extends further to differentiable ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fixed Point (mathematics)
In mathematics, a fixed point (sometimes shortened to fixpoint), also known as an invariant point, is a value that does not change under a given transformation (mathematics), transformation. Specifically, for function (mathematics), functions, a fixed point is an element that is mapped to itself by the function. Any set of fixed points of a transformation is also an invariant set. Fixed point of a function Formally, is a fixed point of a function if belongs to both the domain of a function, domain and the codomain of , and . In particular, cannot have any fixed point if its domain is disjoint from its codomain. If is defined on the real numbers, it corresponds, in graphical terms, to a curve in the Euclidean plane, and each fixed-point corresponds to an intersection of the curve with the line , cf. picture. For example, if is defined on the real numbers by f(x) = x^2 - 3 x + 4, then 2 is a fixed point of , because . Not all functions have fixed points: for example, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Analytic Function
In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex analytic functions exhibit properties that do not generally hold for real analytic functions. A function is analytic if and only if for every x_0 in its domain, its Taylor series about x_0 converges to the function in some neighborhood of x_0 . This is stronger than merely being infinitely differentiable at x_0 , and therefore having a well-defined Taylor series; the Fabius function provides an example of a function that is infinitely differentiable but not analytic. Definitions Formally, a function f is ''real analytic'' on an open set D in the real line if for any x_0\in D one can write f(x) = \sum_^\infty a_ \left( x-x_0 \right)^ = a_0 + a_1 (x-x_0) + a_2 (x-x_0)^2 + \cdots in which the coefficients a_0, a_1, \dots a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
If And Only If
In logic and related fields such as mathematics and philosophy, "if and only if" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either both statements are true or both are false. The connective is biconditional (a statement of material equivalence), and can be likened to the standard material conditional ("only if", equal to "if ... then") combined with its reverse ("if"); hence the name. The result is that the truth of either one of the connected statements requires the truth of the other (i.e. either both statements are true, or both are false), though it is controversial whether the connective thus defined is properly rendered by the English "if and only if"—with its pre-existing meaning. For example, ''P if and only if Q'' means that ''P'' is true whenever ''Q'' is true, and the only case in which ''P'' is true is if ''Q'' is also true, whereas in the case of ''P if Q ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |