Abel equation

Last updated

The Abel equation, named after Niels Henrik Abel, is a type of functional equation of the form

Contents

or

.

The forms are equivalent when α is invertible. h or α control the iteration of f.

Equivalence

The second equation can be written

Taking x = α−1(y), the equation can be written

For a known function f(x) , a problem is to solve the functional equation for the function α−1h, possibly satisfying additional requirements, such as α−1(0) = 1.

The change of variables sα(x) = Ψ(x), for a real parameter s, brings Abel's equation into the celebrated Schröder's equation, Ψ(f(x)) = s Ψ(x) .

The further change F(x) = exp(sα(x)) into Böttcher's equation, F(f(x)) = F(x)s.

The Abel equation is a special case of (and easily generalizes to) the translation equation, [1]

e.g., for ,

.    (Observe ω(x,0) = x.)

The Abel function α(x) further provides the canonical coordinate for Lie advective flows (one parameter Lie groups).

History

Initially, the equation in the more general form [2] [3] was reported. Even in the case of a single variable, the equation is non-trivial, and admits special analysis. [4] [5] [6]

In the case of a linear transfer function, the solution is expressible compactly. [7]

Special cases

The equation of tetration is a special case of Abel's equation, with f = exp.

In the case of an integer argument, the equation encodes a recurrent procedure, e.g.,

and so on,

Solutions

The Abel equation has at least one solution on if and only if for all and all , , where , is the function f iterated n times. [8]

Analytic solutions (Fatou coordinates) can be approximated by asymptotic expansion of a function defined by power series in the sectors around a parabolic fixed point. [9] The analytic solution is unique up to a constant. [10]

See also

Related Research Articles

<span class="mw-page-title-main">Quantum harmonic oscillator</span> Important, well-understood quantum mechanical model

The quantum harmonic oscillator is the quantum-mechanical analog of the classical harmonic oscillator. Because an arbitrary smooth potential can usually be approximated as a harmonic potential at the vicinity of a stable equilibrium point, it is one of the most important model systems in quantum mechanics. Furthermore, it is one of the few quantum-mechanical systems for which an exact, analytical solution is known.

In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of Lp-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense to make the space complete, i.e. a Banach space. Intuitively, a Sobolev space is a space of functions possessing sufficiently many derivatives for some application domain, such as partial differential equations, and equipped with a norm that measures both the size and regularity of a function.

A stochastic differential equation (SDE) is a differential equation in which one or more of the terms is a stochastic process, resulting in a solution which is also a stochastic process. SDEs have many applications throughout pure mathematics and are used to model various behaviours of stochastic models such as stock prices, random growth models or physical systems that are subjected to thermal fluctuations.

<span class="mw-page-title-main">Iterated function</span> Result of repeatedly applying a mathematical function

In mathematics, an iterated function is a function X → X which is obtained by composing another function f : X → X with itself a certain number of 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 in the function as input, and this process is repeated. For example on the image on the right:

In mathematics, a hyperbolic partial differential equation of order is a partial differential equation (PDE) that, roughly speaking, has a well-posed initial value problem for the first derivatives. More precisely, the Cauchy problem can be locally solved for arbitrary initial data along any non-characteristic hypersurface. Many of the equations of mechanics are hyperbolic, and so the study of hyperbolic equations is of substantial contemporary interest. The model hyperbolic equation is the wave equation. In one spatial dimension, this is

<span class="mw-page-title-main">Differentiable manifold</span> Manifold upon which it is possible to perform calculus

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

In mathematics, a change of variables is a basic technique used to simplify problems in which the original variables are replaced with functions of other variables. The intent is that when expressed in new variables, the problem may become simpler, or equivalent to a better understood problem.

In mathematics, the Gateaux differential or Gateaux derivative is a generalization of the concept of directional derivative in differential calculus. Named after René Gateaux, a French mathematician who died at age 25 in World War I, it is defined for functions between locally convex topological vector spaces such as Banach spaces. Like the Fréchet derivative on a Banach space, the Gateaux differential is often used to formalize the functional derivative commonly used in the calculus of variations and physics.

<span class="mw-page-title-main">Flow (mathematics)</span> Motion of particles in a fluid

In mathematics, a flow formalizes the idea of the motion of particles in a fluid. Flows are ubiquitous in science, including engineering and physics. The notion of flow is basic to the study of ordinary differential equations. Informally, a flow may be viewed as a continuous motion of points over time. More formally, a flow is a group action of the real numbers on a set.

In mathematics, a real or complex-valued function f on d-dimensional Euclidean space satisfies a Hölder condition, or is Hölder continuous, when there are real constants C ≥ 0, α > 0, such that

<span class="mw-page-title-main">Schröder's equation</span> Equation for fixed point of functional composition

Schröder's equation, named after Ernst Schröder, is a functional equation with one independent variable: given the function h, find the function Ψ such that

In mathematics, the spectral theory of ordinary differential equations is the part of spectral theory concerned with the determination of the spectrum and eigenfunction expansion associated with a linear ordinary differential equation. In his dissertation, Hermann Weyl generalized the classical Sturm–Liouville theory on a finite closed interval to second order differential operators with singularities at the endpoints of the interval, possibly semi-infinite or infinite. Unlike the classical case, the spectrum may no longer consist of just a countable set of eigenvalues, but may also contain a continuous part. In this case the eigenfunction expansion involves an integral over the continuous part with respect to a spectral measure, given by the Titchmarsh–Kodaira formula. The theory was put in its final simplified form for singular differential equations of even degree by Kodaira and others, using von Neumann's spectral theorem. It has had important applications in quantum mechanics, operator theory and harmonic analysis on semisimple Lie groups.

In mathematics, and more precisely, in functional Analysis and PDEs, the Schauder estimates are a collection of results due to Juliusz Schauder concerning the regularity of solutions to linear, uniformly elliptic partial differential equations. The estimates say that when the equation has appropriately smooth terms and appropriately smooth solutions, then the Hölder norm of the solution can be controlled in terms of the Hölder norms for the coefficient and source terms. Since these estimates assume by hypothesis the existence of a solution, they are called a priori estimates.

In mathematics, a free boundary problem is a partial differential equation to be solved for both an unknown function and an unknown domain . The segment of the boundary of which is not known at the outset of the problem is the free boundary.

Böttcher's equation, named after Lucjan Böttcher, is the functional equation

In mathematics, Sobolev spaces for planar domains are one of the principal techniques used in the theory of partial differential equations for solving the Dirichlet and Neumann boundary value problems for the Laplacian in a bounded domain in the plane with smooth boundary. The methods use the theory of bounded operators on Hilbert space. They can be used to deduce regularity properties of solutions and to solve the corresponding eigenvalue problems.

In mathematics, differential forms on a Riemann surface are an important special case of the general theory of differential forms on smooth manifolds, distinguished by the fact that the conformal structure on the Riemann surface intrinsically defines a Hodge star operator on 1-forms without specifying a Riemannian metric. This allows the use of Hilbert space techniques for studying function theory on the Riemann surface and in particular for the construction of harmonic and holomorphic differentials with prescribed singularities. These methods were first used by Hilbert (1909) in his variational approach to the Dirichlet principle, making rigorous the arguments proposed by Riemann. Later Weyl (1940) found a direct approach using his method of orthogonal projection, a precursor of the modern theory of elliptic differential operators and Sobolev spaces. These techniques were originally applied to prove the uniformization theorem and its generalization to planar Riemann surfaces. Later they supplied the analytic foundations for the harmonic integrals of Hodge (1941). This article covers general results on differential forms on a Riemann surface that do not rely on any choice of Riemannian structure.

In mathematics and theoretical physics, and especially gauge theory, the deformed Hermitian Yang–Mills (dHYM) equation is a differential equation describing the equations of motion for a D-brane in the B-model of string theory. The equation was derived by Mariño-Minasian-Moore-Strominger in the case of Abelian gauge group, and by Leung–Yau–Zaslow using mirror symmetry from the corresponding equations of motion for D-branes in the A-model of string theory.

In mathematics, and especially differential geometry and mathematical physics, gauge theory is the general study of connections on vector bundles, principal bundles, and fibre bundles. Gauge theory in mathematics should not be confused with the closely related concept of a gauge theory in physics, which is a field theory which admits gauge symmetry. In mathematics theory means a mathematical theory, encapsulating the general study of a collection of concepts or phenomena, whereas in the physical sense a gauge theory is a mathematical model of some natural phenomenon.

Tau functions are an important ingredient in the modern mathematical theory of integrable systems, and have numerous applications in a variety of other domains. They were originally introduced by Ryogo Hirota in his direct method approach to soliton equations, based on expressing them in an equivalent bilinear form.

References

  1. Aczél, János, (1966): Lectures on Functional Equations and Their Applications, Academic Press, reprinted by Dover Publications, ISBN   0486445232 .
  2. Abel, N.H. (1826). "Untersuchung der Functionen zweier unabhängig veränderlichen Größen x und y, wie f(x, y), welche die Eigenschaft haben, ..." Journal für die reine und angewandte Mathematik . 1: 11–15.
  3. A. R. Schweitzer (1912). "Theorems on functional equations". Bull. Amer. Math. Soc. 19 (2): 51–106. doi: 10.1090/S0002-9904-1912-02281-4 .
  4. Korkine, A (1882). "Sur un problème d'interpolation", Bull Sci Math & Astron6(1) 228—242. online
  5. G. Belitskii; Yu. Lubish (1999). "The real-analytic solutions of the Abel functional equations" (PDF). Studia Mathematica . 134 (2): 135–141.
  6. Jitka Laitochová (2007). "Group iteration for Abel's functional equation". Nonlinear Analysis: Hybrid Systems. 1 (1): 95–102. doi:10.1016/j.nahs.2006.04.002.
  7. G. Belitskii; Yu. Lubish (1998). "The Abel equation and total solvability of linear functional equations" (PDF). Studia Mathematica . 127: 81–89.
  8. R. Tambs Lyche, Sur l'équation fonctionnelle d'Abel, University of Trondlyim, Norvege
  9. Dudko, Artem (2012). Dynamics of holomorphic maps: Resurgence of Fatou coordinates, and Poly-time computability of Julia sets Ph.D. Thesis
  10. Classifications of parabolic germs and fractal properties of orbits by Maja Resman, University of Zagreb, Croatia