{{Short description|Type of mathematical function}} {{distinguish|Pfaffian|Pfaffian system}} In mathematics, '''Pfaffian functions''' are a certain class of functions whose derivative can be written in terms of the original function. They were originally introduced by Askold Khovanskii in the 1970s, but are named after German mathematician Johann Pfaff.

==Motivation== 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, <math>f(x)=e^x</math>. If we differentiate this function, we get <math>e^x</math> again; that is,

:<math>f'(x) = e^x = f(x).</math>

Another example is the reciprocal function, <math>g(x)=1/x</math>. Differentiating this function, we see that

:<math>g^\prime(x) = \frac{-1}{x^2} = -g(x)^2.</math>

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 <math>h(x)=e^x\log x</math>, we have that

:<math>h^\prime(x) = e^x\log x+x^{-1}e^x = h(x)+f(x)g(x).</math>

Functions like these form the links in a so-called '''Pfaffian chain'''. Such a chain is a sequence of functions <math>f_1,f_2,\dots</math> 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). Thus, with the functions above, we have that <math>f,g,h</math> 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 <math>F(x)=x^3f(x)^2-2g(x)h(x)</math> are Pfaffian.

==Formal definition==

Let <math>U</math> be an open domain in <math>\R^n</math>. A '''Pfaffian chain''' of order <math>r\geq 0</math> and degree <math>\alpha\geq 1</math> in <math>U</math> is a sequence of real analytic functions <math>f_1,\dots,f_r</math> in <math>U</math> satisfying differential equations

:<math>\frac{\partial f_{i}}{\partial x_j}=P_{i,j}(\boldsymbol{x},f_{1}(\boldsymbol{x}),\ldots,f_{i}(\boldsymbol{x}))</math>

for <math>i=1,\dots,r</math>, where <math>P_{i,j}\in\R[x_1,\dots,x_n,y_1,\dots,y_i]</math> are polynomials of degree less than or equal to <math>\alpha</math>. A function <math>f</math> on <math>U</math> is called a '''Pfaffian function''' of order <math>r</math> and degree <math>(\alpha,\beta)</math> if

:<math>f(\boldsymbol{x})=P(\boldsymbol{x},f_{1}(\boldsymbol{x}),\ldots,f_{r}(\boldsymbol{x})),\,</math>

where <math>P\in\R[x_1,\dots,x_n,y_1,\dots,y_r]</math> is a polynomial of degree <math>\beta\geq 1</math>. The numbers <math>r</math>, <math>\alpha</math>, and <math>\beta</math> are collectively known as the format of the Pfaffian function, and give a useful measure of its complexity.

As an example, let us return to the functions from the previous section. Set <math>U=(0,\infty)\subseteq\R</math>, and let <math>f_1(x)=e^x</math>, <math>f_2(x)=1/x</math>, and <math>f_3(x)=e^x\log x</math>. These are all real analytic functions in <math>U</math> satisfying the differential equations

:<math>f_1'(x)=P_1(x,f_1(x)),\quad f_2'(x)=P_2(x,f_1(x),f_2(x)),\quad f'_3(x)=P_3(x,f_1(x),f_2(x),f_3(x)),</math>

where

:<math>P_1(x,y_1)=y_1,\quad P_2(x,y_1,y_2)=-y_2^2,\quad P_3(x,y_1,y_2,y_3)=y_1y_2+y_3</math>

are all real polynomials of degree less than or equal to <math>2</math>. Thus <math>f_1,f_2,f_3</math> is a Pfaffian chain of order <math>r=3</math> and degree <math>\alpha=2</math> in <math>U</math>. Furthermore, <math>f_3'</math> is a Pfaffian function of order <math>3</math> and degree <math>(2,\deg P_3)=(2,1)</math>.

==Examples==

* The most trivial examples of Pfaffian functions are the polynomial functions. Such a function will be a polynomial <math>p</math> in a Pfaffian chain of order <math>r=0</math>; that is, the chain with no functions. Such a function will have <math>\alpha=0</math> and <math>\beta=\deg p</math>. * Perhaps the simplest nontrivial Pfaffian function is <math>f(x)=e^x</math>. This is Pfaffian with order <math>r=1</math> and <math>\alpha=\beta=1</math> due to the differential equation <math>f'=f</math>. * Recursively, one may define <math>f_1(x)=\exp(x)</math> and <math>f_{m+1}(x) = \exp(f_m(x))</math> for <math>1\leq m<r</math>. Then <math>{f_m}^\prime=f_1, f_2 \cdots f_m</math>. So this is a Pfaffian chain of order <math>r</math> and degree <math>\alpha=r</math>. * All of algebraic functions are Pfaffian on suitable domains, as are hyperbolic functions. Trigonometric functions on bounded intervals are Pfaffian, but they must be formed indirectly. For example, the function <math>\cos(x)</math> is a polynomial in the Pfaffian chain <math>\tan(x/2),\cos^2(x/2)</math> on the interval <math>(-\pi,\pi)</math>. * In fact, all elementary functions and Liouvillian functions are Pfaffian.{{refn|group=note|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.}}

==In model theory==

Consider the structure <math>\R=(\R,+,-,\cdot,<,0,1)</math>, the ordered field of real numbers. Andrei Gabrielov proved that the structure obtained by starting with <math>\R</math> and adding a function symbol for every analytic function restricted to the unit box <math>[0,1]^m</math> is model complete.{{sfnp|Gabrielov|1968}} That is, any set definable in this structure <math>\R_{\textrm{an}}</math> was just the projection of some higher-dimensional set defined by identities and inequalities involving these restricted analytic functions.

Alex Wilkie showed that one has the same result if instead of adding every restricted analytic function, one just adds the ''unrestricted'' exponential function to <math>\R</math> to get the ordered real field with exponentiation, <math>\R_{\textrm{exp}}</math>, a result known as Wilkie's theorem.{{sfnp|Wilkie|1996}} Wilkie also tackled the question of which finite sets of analytic functions could be added to <math>\R</math> to get a model-completeness result. It turned out that adding any Pfaffian chain restricted to the box <math>[0,1]^m</math> would give the same result. In particular one may add ''all'' Pfaffian functions to <math>\R</math> to get the structure <math>\R_{\textrm{Pfaff}}</math> as a variant of Gabrielov's result. The result on exponentiation is not a special case of this result (even though exp is a Pfaffian chain by itself), as it applies to the unrestricted exponential function.

Closely related to model-completeness are the results on o-minimality: the above result of Wilkie's proved that the structure <math>\R_{\textrm{Pfaff}}</math> is an o-minimal structure, whereas van den Dries and Miller{{sfnp|van den Dries|Miller|1994}} proved that the structure <math>\R_{\textrm{an},\textrm{exp}}</math> combining restricted analytic functions and the unrestricted exponential function is o-minimal.

==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: :<math>\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}</math> 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'''.{{sfnp|Gabrielov|Vorobjov|2004}} So, for example, a Noetherian chain of order three is composed of three functions <math>f_1,f_2,f_3</math>, satisfying the equations :<math>\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}</math> The name stems from the fact that the ring generated by the functions in such a chain is Noetherian.{{sfnp|Tougeron|1991}}

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: for example, if we take <math>f_1(x)=\sin(x)</math> and <math>f_2(x)=\cos(x)</math> then we have the equations :<math>\begin{align}f_1^\prime(x) &= f_2(x)\\ f_2^\prime(x) &= -f_1(x),\end{align}</math> and these hold for all real numbers, so <math>f_1,f_2</math> is a Noetherian chain on all of <math>\R</math>. But there is no polynomial <math>P(x,y)</math> such that the derivative of <math>\sin(x)</math> can be written as <math>P(x,\sin(x))</math>, and so this chain is not Pfaffian.

==Notes== {{reflist|group=note}} {{reflist}}

==References== {{refbegin}}

* {{cite journal |last1=van den Dries |first1=Lou |last2=Miller |first2=Chris |title=On the real exponential field with restricted analytic functions |journal=Israel Journal of Mathematics |volume=85 |pages=19–56 |year=1994 |doi=10.1007/BF02758635}}

* {{cite journal |last=Gabrielov |first=A. M. |author-link=Andrei Gabrielov |title=Projections of semi-analytic sets |journal=Functional Analysis and Its Applications |volume=2 |issue=4 |pages=282–291 |year=1968 |doi=10.1007/BF01075680}}

* {{cite book |last1=Gabrielov |first1=Andrei |author1-link=Andrei Gabrielov |last2=Vorobjov |first2=Nicolai |editor1-last=Ilyashenko |editor1-first=Yulij |editor2-last=Rousseau |editor2-first=Christiane |title=Normal Forms, Bifurcations and Finiteness Problems in Differential Equations |year=2004 |publisher=Springer Dordrecht |isbn=978-1-4020-1928-9 |chapter=Complexity of computations with Pfaffian and Noetherian functions |series=NATO Science Series II: Mathematics, Physics and Chemistry |volume=137 |pages=211–250}}

* {{cite book |last=Khovanskii |first=A.G. |author-link=Askold Khovanskii |title=Fewnomials |zbl=0728.12002 |series=Translations of Mathematical Monographs |volume=88 |location=Providence |publisher=American Mathematical Society |year=1991 |isbn=0-8218-4547-0}}

* {{cite journal |last=Tougeron |first=Jean-Claude |title=Algèbres analytiques topologiquement nœthériennes. Théorie de Khovanskii |journal=Annales de l'Institut Fourier |year=1991 |volume=41 |issue=4 |pages=823–840 |doi=10.5802/aif.1275 |zbl=0786.32011}}

* {{cite journal |last=Wilkie |first=A. J. |author-link=Alex Wilkie |title=Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function |journal=Journal of the American Mathematical Society |volume=9 |issue=4 |year=1996 |pages=1051–1094 |jstor=2152916}}

{{refend}} {{DEFAULTSORT:Pfaffian Function}} Category:Functions and mappings Category:Types of functions