DOCSLIB.ORG

Integration of Jacobi and Weighted Bernstein Polynomials Using Bases Transformations

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Integration of Jacobi and Weighted Bernstein Polynomials Using Bases Transformations COMPUTATIONAL METHODS IN APPLIED MATHEMATICS, Vol.7(2007), No.3, pp.221–226 °c 2007 Institute of Mathematics of the National Academy of Sciences of Belarus INTEGRATION OF JACOBI AND WEIGHTED BERNSTEIN POLYNOMIALS USING BASES TRANSFORMATIONS ABEDALLAH RABABAH1 Abstract — This paper presents methods to compute integrals of the Jacobi poly- nomials by the representation in terms of the Bernstein — B´ezierbasis. We do this because the integration of the Bernstein — B´ezierform simply corresponds to applying the de Casteljau algorithm in an easy way. Formulas for the definite integral of the weighted Bernstein polynomials are also presented. Bases transformations are used. In this paper, the methods of integration enable us to gain from the properties of the Jacobi and Bernstein bases. 2000 Mathematics Subject Classification: 33C45, 41A58, 41A10. Keywords: Bernstein polynomials, Jacobi polynomials, basis transformation, integra- tion. 1. Introduction The Bernstein polynomials are symmetric, and the Bernstein basis form is known to be optimally stable. These properties and others make the Bernstein polynomials important for the development of B´eziercurves and surfaces in Computer-Aided Geometric Design. The Bernstein — B´eziercurves and surfaces have become the standard in the Computer-Aided Geometric Design context. They enjoy elegant geometric properties. For more, (see [3,5]). The Jacobi polynomials present excellent properties in the theory of approximation of functions. Thus they are usually used in several fields of mathematics, applied science, and engineering. And, consequently, formulas for their integrals are needed. Thus we need to get the integrals of the Jacobi polynomials in terms of the Bernstein — B´ezierform and vice versa. Moreover, recently the Jacobi polynomials have become very important in CAGD, for example, in the field of degree elevation and reduction, (see [8,9] and the references therein). It is thus necessary to have final results in terms of the Bernstein basis. Usually, different CAD systems use different base. We need to integrate the Jacobi polynomials in Bernstein oriented system and vice versa. In this paper, we discuss the issue of finding the integral of a polynomial written in the form of the Jacobi or weighted Bernstein basis. Simple and efficient methods for evaluating these integrals are presented. In the forthcoming we use the following symbols and notations. The factorial and gamma functions of n are n! = Γ(n + 1). The combinatorial function is defined by µ ¶ n n! = , ν = 0, 1, . , n. ν ν!(n − ν)! 1Department of Mathematics and Statistics, Jordan University of Science and Technology, Irbid 22110, Jordan. E-mail: [email protected] 222 Abedallah Rababah 2. Preliminaries In this section, we introduce the de Casteljau algorithm, the Bernstein polynomials, the Jacobi polynomials, and the bases transformations between them. The de Casteljau algorithm is a simple and powerful tool in the field of CAGD, ( see [2]). This algorithm is used to generate a polynomial bn(u) of degree n. In the following steps, we present the de Casteljau algorithm: ∗ Given n + 1 points b0, b1, . , bn of the control polygon and a parameter value u , we set 0 ∗ bµ(u ) = bµ, µ = 0, 1, . , n, and for µ = 0, 1, . , n − ν, ν = 1, . , n we set ν ∗ ∗ ν−1 ∗ ∗ ν−1 ∗ bµ(u ) = (1 − u )bµ (u ) + u bµ+1(u ). n ∗ n ∗ Then b0 (u ) is a point on the polynomial curve b (u) associated with the parameter u . ν ∗ The intermediate points bµ(u ) are usually written in a triangular array, called the de Casteljau scheme. The de Casteljau algorithm produces a curve in the form Xn n n d b (u) = bµBµ (u), u ∈ [0, 1], bµ ∈ R , µ=0 where µ ¶ n Bn(u) = (1 − u)n−µuµ, µ = 0, 1, . , n, (2.1) µ µ are the Bernstein polynomials of degree n on [0, 1]. These curves are called the Bernstein- B´eziercurves. (α,β) The Jacobi polynomials Pν (x), α, β > −1, are orthogonal on [−1, 1] with respect to the weight function (see [10,11]) w(x) = (1 − x)α(1 + x)β, α, β > −1. For the sake of symmetry behavior, they are traditionally defined on [−1, 1]. However for our purposes in this paper, it is appropriate to shift them into [0, 1] to be orthogonal with respect to the weight function w(u) = (1 − u)αuβ, α, β > −1. (2.2) Now, we give the bases transformations between the Bernstein and the Jacobi bases. Given a polynomial Qn(u) of degree n on [0, 1] in terms of the Jacobi polynomials and the Bernstein polynomials by Xn Xn (α,β) n Qn(u) = cνPν (u) = bµBµ (u). (2.3) ν=0 µ=0 Let us introduce the vectors: t t (α,β) (α,β) (α,β) cn = [c0, c1, . , cn], Jn = [P0 (u),P1 (u),...,Pn (u)], t t n n n bn = [b0, b1, . , bn], Bn = [B0 (u),B1 (u),...,Bn (u)]. Integration of Jacobi and weighted Bernstein polynomials using bases transformations 223 Then Qn(u) can be written in the following vector-form: t t Qn(u) = cn Jn = bn Bn. There exists an invertible transformation matrix Mn of dimension n + 1 which satisfies bn = Mn cn. (2.4) It is shown in [4] and [6] that the Legendre — Bernstein and Chebyshev — Bernstein bases transformations are well conditioned, respectively. 3. Integration of Jacobi polynomials In this section, we consider a polynomial Qn(u) given in terms of the Jacobi polynomials Xn (α,β) t Qn(u) = cνPν (u) = cn Jn. (3.1) ν=0 Our first goal is to find a representation for the indefinite integral Zt Qn(u)du, 0 6 t 6 1, 0 of Qn(u) by applying the de Casteljau algorithm. Let us seek the expression for Qn(u) in terms of the Bernstein basis as follows: Xn n t Qn(u) = bµBµ (u) = bn Bn. µ=0 The entries of the matrix of transformation Mn are given (see [7]) for µ, ν = 0, 1, . , n, min(µ,ν) µ ¶µ ¶µ ¶ 1 X n − ν ν + α ν + β M = µ ¶ (−1)ν−i . (3.2) µν n µ − i i ν − i i=max(0,µ+ν−n) µ n Pn n The integral of a B´eziercurve b (u) = µ=0 bµBµ (u) is given by (see chapter 5 in [3]) Zt t Xn bn(u)du = bµ(t), 0 6 t 6 1. n + 1 0 0 µ=0 µ The values of b0 (t) are generated by the de Casteljau algorithm. This discussion leads to the formula of the integral in the following theorem. Theorem 3.1. The indefinite integral of the Jacobi polynomial in (3.1) is given in terms of the de Casteljau algorithm by the formula Zt t Xn Q (u)du = bµ(t), 0 6 t 6 1, (3.3) n n + 1 0 0 µ=0 µ where bn is given by (2.4) and b0 (t), µ = 0, 1, . , n are given by the de Casteljau algorithm. 224 Abedallah Rababah Since the integrals of the Bernstein polynomials are given by Z1 1 Bn(u)du = , 0 6 µ 6 n. µ n + 1 0 Thus the integral of Qn(u) in (3.1) over [0, 1] is given by the following formula: Z1 1 Xn Q (u)du = b . (3.4) n n + 1 µ 0 µ=0 Since the Legendre polynomials, Pν(u), i. e., for α = β = 0, satisfy Z1 Pν(u)du = 0, ν 6= 0. 0 Thus we get in particular for the integral of the Legendre polynomials, Z1 1 Xn c = Q (u)du = b . (3.5) 0 n n + 1 µ 0 µ=0 This means that the coefficient c0 of the Legendre polynomial is the average of the coefficients of the corresponding polynomial in the Bernstein form. We consider the polynomial Qn(u) in the Jacobi form. Our second goal is to find a representation for the indefinite integral of Qn(u) in terms of the Bernstein polynomials. This can be calculated as follows: Z Z µ Xn ¶ Z Xn Xn Z (α,β) n n Qn(u)du = cνPν (u) du = ( bµBµ (u)) du = bµ Bµ (u) du. (3.6) ν=0 µ=0 µ=0 The indefinite integral of the Bernstein polynomials, up to constant addition, are given by (see chapter 2 in [1]) Z µ −1 X Bn(u)du = Bn+1(u), µ = 0, 1, . , n. (3.7) µ n + 1 ν ν=0 From this it follows that Z Xn ∗ n+1 Qn(u)du = bµBµ (u), µ=0 where −1 Xn b∗ = b , µ = 0, 1, . , n. µ n + 1 ν ν=µ This is summarized in the following theorem. Integration of Jacobi and weighted Bernstein polynomials using bases transformations 225 Theorem 3.2. The indefinite integral of the Jacobi polynomial (3.1) is given in terms of the Bernstein polynomials by the formula Z Xn ∗ n+1 Qn(u)du = bµBµ (u), (3.8) µ=0 where −1 Xn b∗ = b , µ = 0, 1, . , n, µ n + 1 ν ν=µ and bn is given by (2.4). 4. Integration of weighted Bernstein polynomials In this section, we consider the function Qn,w(u) which is the product of the weight function w(u) = (1 − u)αuβ by the Bernstein polynomials in the form Xn α β n t Qn,w(u) = bµ(1 − u) u Bµ (u) = w(u) bn Bn. (4.1) µ=0 R 1 We want to find the definite integral of Qn,w(u): 0 Qn,w(u)du. We seek the expression for Qn,w(u) in terms of the Jacobi basis Xn α β (α,β) t Qn,w(u) = cν(1 − u) u Pν (u) = w(u) cn Jn.
Load more

Recommended publications
  • Linearizations of Matrix Polynomials in Bernstein Basis Mackey, D. Steven
    Linearizations of Matrix Polynomials in Bernstein Basis Mackey, D. Steven and Perovic, Vasilije 2014 MIMS EPrint: 2014.29 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester Reports available from: http://eprints.maths.manchester.ac.uk/ And by contacting: The MIMS Secretary School of Mathematics The University of Manchester Manchester, M13 9PL, UK ISSN 1749-9097 Linearizations of Matrix Polynomials in Bernstein Basis D. Steven Mackey∗ Vasilije Perovi´c∗ June 6, 2014 Abstract We discuss matrix polynomials expressed in a Bernstein basis, and the associated polynomial eigenvalue problems. Using M¨obius transformations of matrix polynomials, large new families of strong linearizations are generated. We also investigate matrix polynomials that are structured with respect to a Bernstein basis, together with their associated spectral symmetries. The results in this paper apply equally well to scalar polynomials, and include the development of new companion pencils for polynomials expressed in a Bernstein basis. Key words. matrix polynomial, Bernstein polynomials, M¨obiustransformation, eigenvalue, partial multiplicity sequence, spectral symmetry, companion pencil, strong linearization, structured linearization. AMS subject classification. 1 Introduction The now-classical scalar Bernstein polynomials were first used in [4] to provide a construc- tive proof of the Weierstrass approximation theorem, but since then have found numerous applications in computer-aided geometric design [5, 16, 18], interpolation and least squares problems [14, 33, 34], and statistical computing [35]. For additional applications of Bern- stein polynomials, as well as for more on the historical development and current research trends related to Bernstein polynomials, see [17, 20] and the references therein. This paper focuses on matrix polynomials expressed in Bernstein basis, and the associ- ated polynomial eigenvalue problems.
    [Show full text]
  • Some New Results Concerning the Classical Bernstein Cubature Formula
    S S symmetry Article Some New Results Concerning the Classical Bernstein Cubature Formula Dan Micl˘au¸s Department of Mathematics and Computer Science, Technical University of Cluj-Napoca, North University Center at Baia Mare, Victoriei 76, 430122 Baia Mare, Romania; [email protected] or [email protected] Abstract: In this article, we present a solution to the approximation problem of the volume obtained by the integration of a bivariate function on any finite interval [a, b] × [c, d], as well as on any symmetrical finite interval [−a, a] × [−a, a] when a double integral cannot be computed exactly. The approximation of various double integrals is done by cubature formulas. We propose a cubature formula constructed on the base of the classical bivariate Bernstein operator. As a valuable tool to approximate any volume resulted by integration of a bivariate function, we use the classical Bernstein cubature formula. Numerical examples are given to increase the validity of the theoretical aspects. Keywords: Bernstein operator; quadrature formula; cubature formula; upper bound estimation MSC: 41A36; 41A80; 65D32 1. Introduction Citation: Micl˘au¸s,D. Some New Let N be the set of positive integers and N0 = N [ f0g. Recent studies concerning the Results Concerning the Classical classical Bernstein operators associated with any real-valued function F : [a, b] ! R, where Bernstein Cubature Formula. a, b are two real and finite numbers, such that a < b can be found in a series of research Symmetry 2021, 13, 1068. https:// papers, see [1–12], which shows that there is sustained interest in the study of the classical doi.org/10.3390/sym13061068 linear positive operators.
    [Show full text]
  • Intersection Homology D-Modules and Bernstein Polynomials Associated with a Complete Intersection Tristan Torrelli
    Intersection homology D-Modules and Bernstein polynomials associated with a complete intersection Tristan Torrelli To cite this version: Tristan Torrelli. Intersection homology D-Modules and Bernstein polynomials associated with a com- plete intersection. 2007. hal-00171039v1 HAL Id: hal-00171039 https://hal.archives-ouvertes.fr/hal-00171039v1 Preprint submitted on 11 Sep 2007 (v1), last revised 25 May 2008 (v2) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Intersection homology D-Module and Bernstein polynomials associated with a complete intersection Tristan Torrelli1 Abstract. Let X be a complex analytic manifold. Given a closed subspace Y ⊂ X of pure codimension p ≥ 1, we consider the sheaf of local algebraic p p cohomology H[Y ](OX ), and L(Y,X) ⊂ H[Y ](OX ) the intersection homology DX -Module of Brylinski-Kashiwara. We give here an algebraic characteriza- p tion of the spaces Y such that L(Y,X) coincides with H[Y ](OX ), in terms of Bernstein-Sato functional equations. 1 Introduction Let X be a complex analytic manifold of dimension n ≥ 2, OX be the sheaf of holomorphic functions on X and DX the sheaf of differential operators with holomorphic coefficients.
    [Show full text]
  • Sato Polynomial Versus Cohomology of the Milnor fiber for Generic Hyperplane Arrangements
    Compositio Math. 141 (2005) 121–145 DOI: 10.1112/S0010437X04001149 Bernstein–Sato polynomial versus cohomology of the Milnor fiber for generic hyperplane arrangements Uli Walther Abstract Let Q ∈ C[x1,...,xn] be a homogeneous polynomial of degree k>0. We establish a connection between the Bernstein–Sato polynomial bQ(s) and the degrees of the generators for the top cohomology of the associated Milnor fiber. In particular, the integer uQ = max{i ∈ Z : bQ(−(i + n)/k)=0} bounds the top degree (as differential form) of the n−1 −1 C elements in HDR (Q (1), ). The link is provided by the relative de Rham complex and D-module algorithms for computing integration functors. As an application we determine the Bernstein–Sato polynomial bQ(s)ofageneric k central arrangement Q = i=1 Hi of hyperplanes. In turn, we obtain information about the cohomology of the Milnor fiber of such arrangements related to results of Orlik and Randell who investigated the monodromy. We also introduce certain subschemes of the arrangement determined by the roots of bQ(s). They appear to correspond to iterated singular loci. 1. Introduction Let f be a non-constant polynomial in n variables. In the 1960s, Sato and co-workers introduced a-, b-andc-functions associated with a prehomogeneous vector space [SKKO80, SS72]. The existence of b-functions associated with all polynomials and germs of holomorphic functions was later established in [Ber72, Bj¨o74]. The simplest interesting case of a b-function is the case of the quadratic form f(x1,...,xn)= n 2 s i=1 xi .Lets be a new variable and denote by f the germ of the complex power of f(x).
    [Show full text]
  • Vybrané Vlastnosti Bernsteinovej–Bézierovej Bázy
    Fakulta matematiky, fyzikzy a informatiky Univerzity Komenskeho´ Bratislava Vybran´evlastnosti Bernsteinovej–B´ezierovej b´azy Diplomov´apr´aca Tom´aˇsLack´o 2006 Vybran´evlastnosti Bernsteinovej–B´ezierovej b´azy DIPLOMOVA´ PRACA´ Tom´aˇsLack´o UNIVERZITA KOMENSKEHO´ V BRATISLAVE FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY KATEDRA ALGEBRY, GEOMETRIE A DIDAKTIKY MATEMATIKY ˇstudijn´yodbor: INFORMATIKA ˇskoliteˇl: RNDr. Pavel Chalmoviansk´y,PhD. BRATISLAVA 2006 Chosen properties of the Bernstein–B´ezierbasis DIPLOMA WORK Tom´aˇsLack´o COMENIUS UNIVERSITY IN BRATISLAVA FACULTY OF MATHEMATICS, PHYSICS AND INFORMATICS DEPARTMENT OF ALGEBRA, GEOMETRY AND DIDACTICS OF MATHEMATICS field of study: INFORMATICS adviser: RNDr. Pavel Chalmoviansk´y,PhD. BRATISLAVA 2006 Zadanie N´azov pr´ace: Vybran´evlastnosti Bernsteinovej-B´ezierovej b´azy Cieˇl pr´ace: St´udiumaˇ opis z´akladn´ych vlastnost´ıBernsteinovej-B´ezierovej b´azy v s´uvislostis prienikmi kriviek a plˆoch. Tematick´ezaradenie: poˇc´ıtaˇcov´agrafika a geometrick´emodelovanie Cestn´evyhl´asenieˇ Cestneˇ vyhlasujem, ˇzediplomov´u pr´acusom vypracoval samostatne, iba s pouˇzit´ımuvedenej literat´ury. V Bratislave, j´ul2006 . Tom´aˇsLack´o Abstrakt T´atopr´aca opisuje vybran´evlastnosti Bernsteinovej b´azypolyn´omovv s´uvislosti s prienikmi parametrick´ycha algebraick´ychkriviek. S´uuveden´ez´akladn´evlastnosti a spojenia medzi monomi´alnou,Bernsteinovou a ˇsk´alovanouBernsteinovou b´azou. Uk´aˇzesa, ˇzeBernsteinov´ab´azam´av porovnan´ıs in´ymib´azaminajv¨aˇcˇsiunumerick´u stabilitu. Definuje sa rezultant, spolu s v´ykladomkonˇstrukˇcn´ychmet´oda vlastnost´ı rˆoznychformul´aci´ırezultantu pomocou mat´ıc. Okrem zn´amejSylvestrovej matice sa odvod´ı matica niˇzˇsiehor´adupre Bernsteinove polyn´omypriamo v tejto b´aze, vych´adzaj´uczo sprievodnej matice jedn´ehoz polyn´omov.
    [Show full text]
  • On the Explicit Representation of Orthonormal Bernstein Polynomials
    On the explicit representation of orthonormal Bernstein Polynomials Michael A. Bellucci∗ Department of Chemical Engineering, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, U.S.A. Abstract In this work we present an explicit representation of the orthonormal Bernstein polynomials and demonstrate that they can be generated from a linear combination of non-orthonormal Bernstein polynomials. In addition, we report a set of n Sturm-Liouville eigenvalue equa- tions, where each of the n eigenvalue equations have the orthonormal Bernstein polynomials of degree n as their solution set. We also show that each of the n Sturm-Liouville operators are naturally self-adjoint. While the orthonormal Bernstein polynomials can be used in a variety of different applications, we demonstrate the utility of these polynomials here by using them in a generalized Fourier series to approximate curves and surfaces. Using the orthonormal Bernstein polynomial basis, we show that highly accurate approximations to curves and surfaces can be obtained by using small sized basis sets. Finally, we demonstrate how the orthonormal Bernstein polynomials can be used to find the set of control points of B´ezier curves or B´ezier surfaces that best approximate a function. Keywords: Orthogonal Bernstein polynomial, Orthonormal Bernstein polynomial, B´ezier curve, B´ezier surface, Sturm-Liouville equation, function approximation 1. Introduction Bernstein polynomials are of great practical importance in the field of computer aided- geometric design as well as numerous other fields of mathematics because of their many 1–7 arXiv:1404.2293v2 [math.CA] 10 Apr 2014 useful properties. Perhaps the best known practical use of Bernstein polynomials is in the definition of B´ezier curves and B´ezier surfaces, which are parametric curves and surfaces that use a Bernstein polynomial basis set in their representation.
    [Show full text]
  • Use of Bernstein Polynomials in Numerical Solutions of Volterra Integral Equations
    Applied Mathematical Sciences, Vol. 2, 2008, no. 36, 1773 - 1787 Use of Bernstein Polynomials in Numerical Solutions of Volterra Integral Equations Subhra Bhattacharya Department of Mathematics Jadavpur University, Kolkata 700 032, India B. N. Mandal1 Physics and Applied Mathematics Unit Indian Statistical Institute 203, B.T. Road, Kolkata 700 108, India Abstract In this paper the Bernstein polynomials are used to approximate the solutions of linear Volterra integral equations. Both second and first kind integral equations, with regular, as well as weakly singular kernels, have been considered. Keywords: Volterra integral equation; Abel’s integral equation; Bernstein polynomials 1. Introduction Bernstein polynomials have been recently used for the solution of some lin- ear and non-linear differential equations, both partial and ordinary, by Bhatta and Bhatti [1] and Bhatti and Bracken [2]. Also these have been used to solve some classes of inegral equations of both first and second kinds, by Mandal and Bhattacharya [3]. These were further used to solve a Cauchy singular integro-differential equation by Bhattacharya and Mandal [4]. In this paper we have developed a very simple method to solve Volterra integral equations of both first and second kinds and having regular as well as weakly singular kernels, using Bernstein polynomials. Bernstein polynomials can be defined on some interval [a, b]by, n (x − a)i(b − x)n−i Bi,n(x)= ,i=0, 1, 2,...,n. (1.1) i (b − a)n 1Corresponding author. e-mail: [email protected] 1774 S. Bhattacharya and B. N. Mandal n These polynomials form a partition of unity, that is i=0 Bi,n(x) = 1, and can be used for approximating any function continuous in [a, b].
    [Show full text]
  • Intersection Homology D-Module and Bernstein Polynomials Associated with a Complete Intersection
    Publ. RIMS, Kyoto Univ. 45 (2009), 645–660 Intersection Homology D-Module and Bernstein Polynomials Associated with a Complete Intersection By Tristan Torrelli∗ Abstract Let X be a complex analytic manifold. Given a closed subspace Y ⊂ X of pure p codimension p ≥ 1, we consider the sheaf of local algebraic cohomology H[Y ](OX ), and p L(Y,X) ⊂ H[Y ](OX ) the intersection homology DX -Module of Brylinski-Kashiwara. We give here an algebraic characterization of the spaces Y such that L(Y,X) coincides p with H[Y ](OX ), in terms of Bernstein-Sato functional equations. §1. Introduction Let X be a complex analytic manifold of dimension n ≥ 2, OX be the sheaf of holomorphic functions on X and DX the sheaf of differential operators with holomorphic coefficients. At a point x ∈ X, we identify the stalk OX,x (resp. DX,x) with the ring O = C{x1,...,xn} (resp. D = O∂/∂x1,...,∂/∂xn). Given a closed subspace Y ⊂ X of pure codimension p ≥ 1, we denote p by H[Y ](OX ) the sheaf of local algebraic cohomology with support in Y .Let p L(Y,X) ⊂ H[Y ](OX ) be the intersection homology DX -Module of Brylinski- p Kashiwara ([6]). This is the smallest DX -submodule of H[Y ](OX )whichcoin- p cides with H[Y ](OX )atthegenericpointsofY ([6], [3]). Communicated by M. Kashiwara. Received November 9, 2007. Revised June 25, 2008. 2000 Mathematics Subject Classification(s): 32S40, 32C38, 32C40, 32C25, 14B05. Key words: intersection holomology D-modules, local algebraic cohomology group, com- plete intersections, Bernstein-Sato functional equations.
    [Show full text]
  • D-Modules and Bernstein-Sato Polynomials
    D-modules and Bernstein-Sato polynomials. M. Granger Universit´ed'Angers, LAREMA, UMR 6093 du CNRS 2 Bd Lavoisier 49045 Angers France Meeting of GDR singularit´es:Hodge ideals and mixed Hodge modules 1-5 avril 2019 Angers (France) Preliminary version. 1 Introduction to functional equations. Let us consider a ring R equal to K[X1; ··· ;Xn] where K is a field of characteristic zero, n or to K[X1; ··· ;Xn]a ⊂ K(X1; ··· ;Xn), the set of algebraic function regular at a 2 K , n or to the set O = Cfx1; ··· ; xng of convergent power series at the origin of C , or more generally O = OX;p, or to the ring K[[X1; ··· ;Xn]]. We consider the ring DR of of finite order linear differential operators with coefficients in R. One can also replace R by the ring O of holomorphic functions defined on a open n subset U ⊂ C , and consider again a ring of operators D(U). However the next theorem is valid only on D(U 0), for relatively compact stein open set U 0 ⊂ U. Theorem 1.1 Given any f 2 R, there exists a non zero polynomial e(s) and a differential operator P (s) 2 DR[s] polynomial in the indeterminate s such that P (s)f s+1 = e(s)f s (1) The set of polynomials e(s) for which an equation of the type (1) exists is clearly an ideal Bf of C(s), which is principal since C[s] is a principal domain. The Bernstein-Sato polynomial of f is by definition the monic generator of this ideal denoted bf (s) or simply b(s): Bf = C[s] · bf (s) Even if this definition is essentially punctual we shall systematically work with the sheaves OX and DX on a smooth algebraic variety or an analytic manifold.
    [Show full text]
  • D-Modules and Cohomology of Varieties
    D-modules and Cohomology of Varieties Uli Walther In this chapter we introduce the reader to some ideas from the world of differential operators. We show how to use these concepts in conjunction with Macaulay 2 to obtain new information about polynomials and their algebraic varieties. Gr¨obnerbases over polynomial rings have been used for many years in computational algebra, and the other chapters in this book bear witness to this fact. In the mid-eighties some important steps were made in the theory of Gr¨obnerbases in non-commutative rings, notably in rings of differential operators. This chapter is about some of the applications of this theory to problems in commutative algebra and algebraic geometry. Our interest in rings of differential operators and D-modules stems from the fact that some very interesting objects in algebraic geometry and com- mutative algebra have a finite module structure over an appropriate ring of differential operators. The prime example is the ring of regular functions on the complement of an affine hypersurface. A more general object is the Cechˇ complex associated to a set of polynomials, and its cohomology, the local co- homology modules of the variety defined by the vanishing of the polynomials. More advanced topics are restriction functors and de Rham cohomology. With these goals in mind, we shall study applications of Gr¨obnerbases theory in the simplest ring of differential operators, the Weyl algebra, and de- velop algorithms that compute various invariants associated to a polynomial f. These include the Bernstein-Sato polynomial bf (s), the set of differential operators J(f s) which annihilate the germ of the function f s (where s is a new variable), and the ring of regular functions on the complement of the variety of f.
    [Show full text]
  • An Improved ADI-DQM Based on Bernstein Polynomial for Solving Two-Dimensional Convection-Diffusion Equations
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by International Institute for Science, Technology and Education (IISTE): E-Journals Mathematical Theory and Modeling www.iiste.org ISSN 2224-5804 (Paper) ISSN 2225-0522(Online) Vol 3, No.12, 2013 An improved ADI-DQM based on Bernstein polynomial for solving two-dimensional convection-diffusion equations A.S.J. Al- Saif 1 and Firas Amer Al-Saadawi 2 1Department Mathematics, Education College for pure science, Basrah University, Basrah, Iraq 2Directorate of Education in Basrah, Basrah, Iraq E-mail:[email protected], [email protected] Abstract In this article, we presented an improved formulations based on Bernstein polynomial in calculate the weighting coefficients of DQM and alternating direction implicit-differential quadrature method (ADI- DQM) that is presented by (Al-Saif and Al-Kanani (2012-2013)), for solving convection-diffusion equations with appropriate initial and boundary conditions. Using the exact same proof for stability analysis as in (Al-Saif and Al-Kanani 2012-2013), the new scheme has reasonable stability. The improved ADI-DQM is then tested by numerical examples. Results show that the convergence of the new scheme is faster and the solutions are much more accurate than those obtained in literature. Keywords: Differential quadrature method, Convection-diffusion, Bernstein polynomial, ADI, Accuracy. 1- Introduction The convection-diffusion equations are widely used in various fields such as petroleum reservoir simulation, subsurface contaminant remediation, heat conduction, shock waves, acoustic waves, gas dynamics, elasticity [2,13,16]. The studies conducted for solving the convection-diffusion equations in the last half century are still in an active area of research to develop some better numerical methods to approximate its solution.
    [Show full text]
  • D-MODULES on SMOOTH ALGEBRAIC VARIETIES 1. Differential Operators on the Variety X Let K = C Denote the Field of Complex Number
    D-MODULES ON SMOOTH ALGEBRAIC VARIETIES EIVIND ERIKSEN Abstract. We consider algebraic varieties X de¯ned over C which are smooth, a±ne and irreducible. We study the ring D = D(X) of C-linear di®erential operators on X, and we explain Bernstein's theory of holonomic D-modules in this case. This is a generalization of Bernstein's original work, which covers the case when X is a±ne n-space and D is the n'th Weyl algebra. I shall follow the approach to this generalized theory given in chapter 3 of BjÄork[1]. 1. Differential operators on the variety X Let k = C denote the ¯eld of complex numbers. We consider an a±ne algebraic variety X ⊆ Cn such that X is smooth and irreducible. We denote by A = A(X) the a±ne coordinate ring of X, so A is a commutative k-algebra of ¯nite type and an integral domain. In particular, A is a Notherian ring. Let k(X) denote the quotient ¯eld of the integral domain A. Since A is of ¯nite type over k, it is clear that k ⊆ k(X) is a ¯eld extension of ¯nite degree of transcendence. We denote by d = dim(X) the degree of transcendence of this ¯eld extension. This is the classically de¯ned dimension of the variety X. It is clear that A is a regular Noetherian ring of pure dimension d. That is, the local Noetherian ring Am is a regular ring of dimension d for all maximal ideals m ⊆ A. So clearly, the Krull dimension dim A = d, and we have 0 · d · n with ² d = n if and only if X = Cn, ² d = 0 if and only if X is reduced to a single point.
    [Show full text]