Pfaffian function

Pfaffian function

In mathematics, the Pfaffian functions are a certain class of functions introduced by Askold Georgevich Khovanskiǐ in the 1970s. They are named after German mathematician Johann Pfaff.

Contents

Basic definition

Some functions, when differentiated, give a result which can be written in terms of the original function. Perhaps the simplest example is the exponential function, f(x) = ex. If we differentiate this function we get ex again, that is


f^\prime(x)=f(x).

Another example of a function like this is the reciprocal function, g(x) = 1/x. If we differentiate this function we will see that


g^\prime(x)=-g(x)^2.

Other functions may not have the above property, but their derivative may be written in terms of functions like those above. For example if we take the function h(x) = exlog(x) then we see


h^\prime(x)=e^x\log x+x^{-1}e^x=h(x)+f(x)g(x).

Functions like these form the links in a so-called Pfaffian chain. Such a chain is a sequence of functions, say f1, f2, f3, etc., with the property that if we differentiate any of the functions in this chain then the result can be written in terms of the function itself and all the functions preceding it in the chain (specifically as a polynomial in those functions and the variables involved). So with the functions above we have that f, g, h is a Pfaffian chain.

A Pfaffian function is then just a polynomial in the functions appearing in a Pfaffian chain and the function argument. So with the Pfaffian chain just mentioned, functions such as F(x) = x3f(x)2 − 2g(x)h(x) are Pfaffian.

Rigorous definition

Let U be an open domain in Rn. A Pfaffian chain of order r ≥ 0 and degree α ≥ 1 in U is a sequence of real analytic functions f1,…, fr in U satisfying differential equations


\frac{\partial f_{i}}{\partial x_j}=P_{i,j}(\boldsymbol{x},f_{1}(\boldsymbol{x}),\ldots,f_{i}(\boldsymbol{x}))

for i = 1,…,r where Pi,j ∈ R[x1,...,xn,y1,...,yi] are polynomials of degree ≤ α. A function f on U is called a Pfaffian function of order r and degree (α,β) if


f(\boldsymbol{x})=P(\boldsymbol{x},f_{1}(\boldsymbol{x}),\ldots,f_{r}(\boldsymbol{x})),\,

where P ∈ R[x1,...,xn,y1,...,yr] is a polynomial of degree at most β ≥ 1. The numbers r, α, and β are collectively known as the format of the Pfaffian function, and give a useful measure of its complexity.

Examples

  • The most trivial examples of Pfaffian functions are the polynomials in R[X]. Such a function will be a polynomial in a Pfaffian chain of order r = 0, that is the chain with no functions. Such a function will have α = 0 and β equal to the degree of the polynomial.
  • Perhaps the simplest nontrivial Pfaffian function is f(x) = ex. This is Pfaffian with order r = 1 and α = β = 1 due to the equation f ′ = f.
  • Inductively, one may define f1(x) = exp(x) and fm+1(x) = exp(fm(x)) for 1 ≤ m < r. Then fm′ = f1f2···fm. So this is a Pfaffian chain of order r and degree α = r.
  • All of the algebraic functions are Pfaffian on suitable domains as are the hyperbolic functions. The trigonometric functions on bounded intervals are Pfaffian, but they must be formed indirectly. For example, the function cos(x) is a polynomial in the Pfaffian chain tan(x/2), cos2(x/2) on the interval (−π,π).

In model theory

Consider the structure R = (R,+,−,·,<,0,1), the ordered field of real numbers. In the 1960s Andrei Gabrielov proved that the structure obtained by starting with R and adding a function symbol for every analytic function restricted to the unit box [0,1]m is model complete.[2] That is, any set definable in this structure Ran was just the projection of some higher dimensional set defined by identities and inequalities involving these restricted analytic functions.

In the 1990s, Alex Wilkie showed that one has the same result if instead of adding every analytic function, one just adds the exponential function to R to get the ordered real field with exponentiation, Rexp, a result known as Wilkie's theorem.[3] Wilkie then tackled the question of which finite sets of functions could be added to R to get this result. It turned out that adding any Pfaffian chain restricted to the box [0,1]m would give the same result. In particular one may add all Pfaffian functions to R to get the structure RPfaff as an intermediate result between Gabrielov's result and Wilkie's theorem. Since the exponential function is a Pfaffian chain by itself, the result on exponentiation can be viewed as a special case of this latter result.[4]

This result of Wilkie's proved that the structure RPfaff is an o-minimal structure.

Noetherian functions

The equations above that define a Pfaffian chain are said to satisfy a triangular condition, since the derivative of each successive function in the chain is a polynomial in one extra variable. Thus if they are written out in turn a triangular shape appears:

\begin{align}f_1^\prime &= P_1(x,f_1)\\
f_2^\prime &= P_2(x,f_1,f_2)\\
f_3^\prime &= P_3(x,f_1,f_2,f_3),\end{align}

and so on. If this triangularity condition is relaxed so that the derivative of each function in the chain is a polynomial in all the other functions in the chain, then the chain of functions is known as a Noetherian chain, and a function constructed as a polynomial in this chain is called a Noetherian function.[5] So, for example, a Noetherian chain of order three is composed of three functions f1, f2, f3, satisfying the equations

\begin{align}f_1^\prime &= P_1(x,f_1,f_2,f_3)\\
f_2^\prime &= P_2(x,f_1,f_2,f_3)\\
f_3^\prime &= P_3(x,f_1,f_2,f_3).\end{align}

The name stems from the fact that the ring generated by the functions in such a chain is Noetherian.[6]

Any Pfaffian chain is also a Noetherian chain; the extra variables in each polynomial are simply redundant in this case. But not every Noetherian chain is Pfaffian. If we take f1(x) = sin(x) and f2(x) = cos(x) then we have the equations

\begin{align}f_1^\prime(x)&=f_2(x)\\
f_2^\prime(x)&=-f_1(x),\end{align}

and these hold for all real numbers x, so f1,f2 is a Noetherian chain on all of R. But there is no polynomial P(x,y) such that the derivative of sin(x) can be written as P(x,sin(x)), and so this chain is not Pfaffian.

Notes

  1. ^ Liouville functions are essentially all the real analytic functions obtainable from the elementary functions by applying the usual arithmetic operations, exponentiation, and integration. They are unrelated to Liouville's function in number theory.
  2. ^ A. Gabrielov, "Projections of semi-analytic sets", Functional Anal. Appl. 2 (1968), pp.282–291.
  3. ^ A.J. Wilkie, "Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential functions", J. Amer. Math. Soc. 9 (1996), pp. 1051–1094.
  4. ^ Wilkie's theorem is actually stronger than this special case. The special case would still require the exponential function to be restricted to the closed interval [0,1]. Wilkie proved that this is unnecessary in the case of the exponential function, and one may define it as usual on all of R.
  5. ^ Andrei Gabrielov, Nicolai Vorobjov (2004). "Complexity of computations with Pfaffian and Noetherian functions". In Yulij Ilyashenko, Christiane Rousseau. Normal Forms, Bifurcations and Finiteness Problems in Differential Equations. Kluwer Academic Publishers. ISBN 1-4020-1928-9. 
  6. ^ J.C. Tougeron, "Algèbres analytiques topologiquement nœthériennes, Théorie de Hovanskii", Ann. Inst. Fourier 41 (1991), pp.823–840.

References

  • Khovanskii, A. G. (1991), Fewnomials, Princeton, NJ: Princeton University Press, ISBN 0821845470 .

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Pfaffian — In mathematics, the determinant of a skew symmetric matrix can always be written as the square of a polynomial in the matrix entries. This polynomial is called the Pfaffian of the matrix. The Pfaffian is nonvanishing only for 2 n times; 2 n skew… …   Wikipedia

  • Exponential function — The natural exponential function y = ex In mathematics, the exponential function is the function ex, where e is the number (approximately 2.718281828) such that the function ex is its own derivative …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • Pfaff (surname) — The surname Pfaff may refer to: * Alfred Pfaff, German football player * Anita Bose Pfaff, economist * Chris Pfaff, American television actor * Eva Pfaff, German tennis player * Ferenc Pfaff, Hungarian architect * Florian Pfaff, German pacifist… …   Wikipedia

  • Tutte polynomial — This article is about the Tutte polynomial of a graph. For the Tutte polynomial of a matroid, see Matroid. The polynomial x4 + x3 + x2y is the Tutte polynomial of the Bull graph. The red line shows the intersection with the plane …   Wikipedia

  • Frobenius theorem (differential topology) — In mathematics, Frobenius theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an overdetermined system of first order homogeneous linear partial differential equations. In modern geometric terms …   Wikipedia

  • Affine connection — An affine connection on the sphere rolls the affine tangent plane from one point to another. As it does so, the point of contact traces out a curve in the plane: the development. In the branch of mathematics called differential geometry, an… …   Wikipedia

  • o-minimal theory — In mathematical logic, and more specifically in model theory, an infinite structure (M,<,...) which is totally ordered by < is called an o minimal structure if and only if every definable subset X ⊂ M (with parameters taken from… …   Wikipedia

  • Determinant — This article is about determinants in mathematics. For determinants in epidemiology, see Risk factor. In linear algebra, the determinant is a value associated with a square matrix. It can be computed from the entries of the matrix by a specific… …   Wikipedia

  • Domino tiling — of a square A domino tiling of a region in the Euclidean plane is a tessellation of the region by dominos, shapes formed by the union of two unit squares meeting edge to edge. Equivalently, it is a matching in the grid graph formed by placing a… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”