|
|
| Line 1: |
Line 1: |
| In [[mathematics]], the '''Bernstein–Sato polynomial''' is a polynomial related to [[differential operator]]s, introduced independently by {{harvs|txt=yes|authorlink=Joseph Bernstein|last=Bernstein|year=1971}} and {{harvs|txt|author1-link=Mikio Sato|last=Sato|last2=Shintani|year1=1972|year2=1974}}, {{harvtxt|Sato|1990}}. It is also known as the '''b-function''', the '''b-polynomial''', and the '''Bernstein polynomial''', though it is not related to the [[Bernstein polynomial]]s used in [[approximation theory]]. It has applications to [[singularity theory]], [[monodromy theory]] and [[quantum field theory]].
| | Hi there, I am Felicidad Oquendo. He presently lives in Arizona and his parents reside nearby. Interviewing is what she does but quickly she'll be on her own. The preferred hobby for my kids and me is playing crochet and now I'm attempting to make cash with it.<br><br>Here is my web-site - [http://Www.Gamersyard.com/profile/neandrzeje gamersyard.com] |
| | |
| {{harvtxt|Coutinho|1995}} gives an elementary introduction, and {{harvtxt|Borel|1987}} and {{harvtxt|Kashiwara|2003}} give more advanced accounts.
| |
| | |
| ==Definition and properties==
| |
| | |
| If ''ƒ''(''x'') is a polynomial in several variables then there is a non-zero polynomial ''b''(''s'') and a differential operator ''P''(''s'') with polynomial coefficients such that
| |
| | |
| :<math>P(s)f(x)^{s+1} = b(s)f(x)^s. \, </math>
| |
| | |
| The Bernstein–Sato polynomial is the [[monic polynomial]] of smallest degree amongst such ''b''(''s''). Its existence can be shown using the notion of holonomic [[D-module]]s.
| |
| | |
| {{harvtxt|Kashiwara|1976}} proved that all roots of the Bernstein–Sato polynomial are negative [[rational number]]s.
| |
| | |
| The Bernstein–Sato polynomial can also be defined for products of powers of several polynomials {{harv|Sabbah|1987}}. In this case it is a product of linear factors with rational coefficients. | |
| | |
| {{harvs|txt| last1=Budur | first1=Nero | last2=Mustaţǎ | first2=Mircea | last3=Saito | first3=Morihiko | year=2006}} generalized the Bernstein–Sato polynomial to arbitrary varieties.
| |
| | |
| Note, that the Bernstein–Sato polynomial can be computed algorithmically. However, such computations are hard in general. There are implementations of related algorithms in computer algebra systems RISA/Asir, [[Macaulay2]] and [[SINGULAR]].
| |
| | |
| {{harvs|txt|first1=Daniel|last1=Andres | first2=Viktor|last2= Levandovskyy | first3 = Jorge |last3=Martín-Morales| year=2009}} presented algorithms to compute the Bernstein–Sato polynomial of an affine variety together with an implementation in the computer algebra system [[SINGULAR]].
| |
| | |
| {{harvtxt|Berkesch|Leykin|2010}} described some of the algorithms for computing Bernstein–Sato polynomials by computer.
| |
| | |
| == Examples ==
| |
| * If <math>f(x)=x_1^2+\cdots+x_n^2 \, </math> then
| |
| | |
| ::<math>\sum_{i=1}^n \partial_i^2 f(x)^{s+1} = 4(s+1)\left(s+\frac{n}{2}\right)f(x)^s</math>
| |
| | |
| :so the Bernstein–Sato polynomial is
| |
| | |
| ::<math>b(s)=(s+1)\left(s+\frac{n}{2}\right).</math>
| |
| | |
| * If <math> f(x)=x_1^{n_1}x_2^{n_2}\cdots x_r^{n_r}</math> then
| |
| | |
| ::<math>\prod_{j=1}^r\partial_{x_j}^{n_j}\quad f(x)^{s+1}
| |
| =\prod_{j=1}^r\prod_{i=1}^{n_j}(n_js+i)\quad f(x)^s</math>
| |
| | |
| :so
| |
| | |
| ::<math>b(s)=\prod_{j=1}^r\prod_{i=1}^{n_j}\left(s+\frac{i}{n_j}\right).</math>
| |
| | |
| * The Bernstein–Sato polynomial of ''x''<sup>2</sup> + ''y''<sup>3</sup> is
| |
| ::<math>(s+1)\left(s+\frac{5}{6}\right)\left(s+\frac{7}{6}\right).</math>
| |
| | |
| *If ''t''<sub>''ij''</sub> are ''n''<sup>2</sup> variables, then the Bernstein–Sato polynomial of det(''t''<sub>''ij''</sub>) is given by
| |
| ::<math>s(s+1)\cdots(s+n-1)</math>
| |
| :which follows from
| |
| ::<math>\Omega(\det(t_{ij})^s) = s(s+1)\cdots(s+n-1)\det(t_{ij})^{s-1}</math>
| |
| :where Ω is [[Cayley's omega process]], which in turn follows from the [[Capelli identity]].
| |
| | |
| == Applications ==
| |
| | |
| * If ''f''(''x'') is a non-negative polynomial then ''f''(''x'')<sup>''s''</sup>, initially defined for ''s'' with non-negative real part, can be [[analytic continuation|analytically continued]] to a [[meromorphic]] [[Distribution (mathematics)|distribution]]-valued function of ''s'' by repeatedly using the [[functional equation]]
| |
| | |
| ::<math>f(x)^s={1\over b(s)} P(s)f(x)^{s+1}.</math>
| |
| | |
| :It may have poles whenever ''b''(''s'' + ''n'') is zero for a non-negative integer ''n''.
| |
| | |
| * If ''f''(''x'') is a polynomial, not identically zero, then it has an inverse ''g'' that is a distribution; in other words, ''fg'' = 1 as distributions. (Warning: the inverse is not unique in general, because if ''f'' has zeros then there are distributions whose product with ''f'' is zero, and adding one of these to an inverse of ''f'' is another inverse of ''f''. The usual proof of uniqueness of inverses fails because the product of distributions is not always defined, and need not be associative even when it is defined.) If ''f''(''x'') is non-negative the inverse can be constructed using the Bernstein–Sato polynomial by taking the constant term of the [[Laurent expansion]] of ''f''(''x'')<sup>''s''</sup> at ''s'' = −1. For arbitrary ''f''(''x'') just take <math>\bar f(x)</math> times the inverse of <math>\bar f(x)f(x).</math>
| |
| | |
| * The [[Malgrange–Ehrenpreis theorem]] states that every [[differential operator]] with [[constant coefficients]] has a [[Green's function]]. By taking [[Fourier transform]]s this follows from the fact that every polynomial has a distributional inverse, which is proved in the paragraph above.
| |
| | |
| *{{harvtxt|Etingof|1999}} showed how to use the Bernstein polynomial to define [[dimensional regularization]] rigorously, in the massive Euclidean case.
| |
| | |
| * The Bernstein-Sato functional equation is used in computations of some of the more complex kinds of singular integrals occurring in [[quantum field theory]] {{harv|Tkachov|1997}}. Such computations are needed for precision measurements in elementary particle physics as practiced e.g. at [[CERN]] (see the papers citing {{harv|Tkachov|1997}}). However, the most interesting cases require a simple generalization of the Bernstein-Sato functional equation to the product of two polynomials <math>(f_1(x))^{s_1}(f_2(x))^{s_2}</math>, with ''x'' having 2-6 scalar components, and the pair of polynomials having orders 2 and 3. Unfortunately, a brute force determination of the corresponding differential operators <math>P(s_1,s_2)</math> and <math>b(s_1,s_2)</math> for such cases has so far proved prohibitively cumbersome. Devising ways to bypass the combinatorial explosion of the brute force algorithm would be of great value in such applications.
| |
| | |
| == References ==
| |
| *{{Citation | first1=Daniel|last1=Andres | first2=Viktor|last2= Levandovskyy | first3 = Jorge |last3=Martín-Morales| title=Principal Intersection and Bernstein-Sato Polynomial of an Affine Variety | arxiv=1002.3644 | doi=10.1145/1576702.1576735 | year=2009 | journal=Proc. ISSAC 2009 |publisher=[[Association for Computing Machinery]] | pages=231 }}
| |
| *{{Citation | first1=Christine|last1= Berkesch | first2=Anton|last2= Leykin | title=Algorithms for Bernstein-Sato polynomials and multiplier ideals | arxiv=1002.1475 | year=2010 | journal=Proc. ISSAC 2010}}
| |
| *{{citation|first=J. |last= Bernstein |title= Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients |journal=Functional Analysis and Its Applications |volume=5 |issue=2 |year= 1971 |doi = 10.1007/BF01076413 |pages =89–101 | mr = 0290097}}
| |
| *{{Citation | last1=Budur | first1=Nero | last2=Mustaţǎ | first2=Mircea | last3=Saito | first3=Morihiko | title=Bernstein-Sato polynomials of arbitrary varieties | doi=10.1112/S0010437X06002193 | mr = 2231202 | year=2006 | journal=Compositio Mathematica | volume=142 | issue=3 | pages=779–797}}
| |
| *{{citation|authorlink=Armand Borel|first=Armand|last=Borel|title=Algebraic D-Modules|series= Perspectives in Mathematics|volume= 2|publisher= [[Academic Press]]|publication-place= Boston, MA|year= 1987| isbn =0-12-117740-8}}
| |
| *{{citation|first=S. C.|last= Coutinho|title=A primer of algebraic D-modules |series=London Mathematical Society Student Texts| volume= 33|publisher= [[Cambridge University Press]], |publication-place=Cambridge|year= 1995| isbn =0-521-55908-1}}
| |
| *{{Citation | last1=Etingof | first1=Pavel | title=Quantum fields and strings: a course for mathematicians, Vol. 1,(Princeton, NJ, 1996/1997) | url=http://www.math.ias.edu/QFT/fall/ | publisher=Amer. Math. Soc. | location=Providence, R.I. | isbn=978-0-8218-2012-4 | mr=1701608 | year=1999 | chapter=Note on dimensional regularization | pages=597–607}}
| |
| *{{Citation | last1=Kashiwara | first1=Masaki | author1-link=Masaki Kashiwara | title=B-functions and holonomic systems. Rationality of roots of B-functions | doi=10.1007/BF01390168 | mr = 0430304 | year=1976 | journal=[[Inventiones Mathematicae]] | volume=38 | issue=1 | pages=33–53}}
| |
| *{{Citation | last1=Kashiwara | first1=Masaki | author1-link=Masaki Kashiwara | title=D-modules and microlocal calculus | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Translations of Mathematical Monographs | isbn=978-0-8218-2766-6 | mr = 1943036 | year=2003 | volume=217}}
| |
| *{{Citation | last1=Sabbah | first1=Claude | title=Proximité évanescente. I. La structure polaire d'un D-module | url=http://www.numdam.org/item?id=CM_1987__62_3_283_0 | mr = 901394 | year=1987 | journal=Compositio Mathematica | volume=62 | issue=3 | pages=283–328}}
| |
| *{{Citation | doi=10.1073/pnas.69.5.1081 | last1=Sato | first1=Mikio | last2=Shintani | first2=Takuro | title=On zeta functions associated with prehomogeneous vector spaces | jstor = 61638 | mr = 0296079 | year=1972 | journal=[[Proceedings of the National Academy of Sciences of the United States of America]] | volume=69 | pages=1081–1082 | issue=5}}
| |
| *{{Citation | doi=10.2307/1970844 | last1=Sato | first1=Mikio | last2=Shintani | first2=Takuro | title=On zeta functions associated with prehomogeneous vector spaces | jstor = 1970844 | mr = 0344230 | year=1974 | journal=[[Annals of Mathematics]] | series = Second Series | volume=100 | issue=1 | pages=131–170}}
| |
| *{{Citation | last1=Sato | first1=Mikio | title=Theory of prehomogeneous vector spaces (algebraic part)---the English translation of Sato's lecture from Shintani's note | origyear=1970 | url=http://projecteuclid.org/getRecord?id=euclid.nmj/1118782193 | mr = 1086566 | year=1990 | journal=Nagoya Mathematical Journal | volume=120 | pages=1–34}}
| |
| *{{Citation | last1=Tkachov | first1=Fyodor V. | title=Algebraic algorithms for multiloop calculations. The first 15 years. What's next? | arxiv=hep-ph/9609429 | doi=10.1016/S0168-9002(97)00110-1 | year=1997 | journal= Nucl. Instrum. Meth. A | volume=389 | pages=309–313}}
| |
| | |
| {{DEFAULTSORT:Bernstein-Sato polynomial}}
| |
| [[Category:Polynomials]]
| |
| [[Category:Differential operators]]
| |
Hi there, I am Felicidad Oquendo. He presently lives in Arizona and his parents reside nearby. Interviewing is what she does but quickly she'll be on her own. The preferred hobby for my kids and me is playing crochet and now I'm attempting to make cash with it.
Here is my web-site - gamersyard.com