A Basis for Polynomial Solutions to Systems of Linear Constant Coefficient PDE's
|
|
- Victoria Rogers
- 5 years ago
- Views:
Transcription
1 advances in mathematics 7, 5763 (996) article no A Basis for Polynomial Solutions to Systems of Linear Constant Coefficient PDE's Paul S. Pedersen Los Alamos National Laboratory, Mail Stop B265, Los Alamos, New Mexico Received January, 992 Let K represent either the real or the complex numbers. Let P k, k=, 2,..., r be constant coefficient (with coefficients from K) polynomials in n variables and let N M =[u(x)#k[x] M P k (x,..., x n ) u(x)=0; k=, 2,..., r] be the set of all polynomial solutions (of degree M) to this system of partial differential equations. We solve the problem of finding an easily computed basis for the vector space N M. To do this we use a certain associative, and commutative algebra (defined over K), namely K[;]=K[;, ; 2,..., ; n ] where [P k (;)=0 k=,..., r] and [; m ;m 2 2 }}};m n =0 m n +}}}+m n =M+]. Let the vector space K[;] M equal the span over K of [; m ;m 2 2 }}};m n n m +}}}+m n M]. We show how the expression M j=0 (x ; +}}}+x n ; n ) j j! can be used to find an easily computed basis for N M. 996 Academic Press, Inc. Introduction Let P k, k=, 2,..., r be polynomials in n variables (with coefficients from K) and let K[x] M represent the set of all polynomials of degree less than or equal M in x=(x, x 2,..., x n ) (throughout this paper K will represent either the complex or the real numbers). We will find an easily computed basis for the vector space N M = {u # K[x] M } P k\ x,..., x n+ u=0; k=, 2,..., r =. () As the introduction in [] points out, the problem of finding a basis for the vector space () is both natural and basic. [] also points out that little has been done in addressing the general problem. In that same paper a method is discussed for finding a basis for N M when [w # C n P k (w), k=,..., r] is smooth and irreducible. In [2] and [3] a method was Copyright 996 by Academic Press, Inc. All rights of reproduction in any form reserved.
2 58 paul s. pedersen developed for finding a basis in a large number of cases where the P k are of homogeneous order. In discussing a closely related question, Stiller and, in earlier work, Michelli established various facts regarding the dimension of N M when the P k are also of homogeneous order (see [4]). There have also been numerous publications discussing polynomial solutions for special cases of (). For example, much has been written about polynomial solutions to Laplace's equation in several variables (see any book discussing spherical harmonics; see e.g., []). The method presented in this paper extends the method appearing in [2] and [3] and is distinct from the methods presented by other authors. Furthermore, our method is simple and will give a basis for all cases of (). It is well know that the real and imaginary parts of polynomials in z=x +x 2 i form a basis for the set of all polynomial solutions to Laplace's equation ( 2 x 2 +2 x 2 2 ) u(x, x 2 )=0. We will be guided by the similarity between the algebraic relationship 2 +i 2 =0 (which relates the elements which form a basis for the complex number system) and the form of the 2 dimensional Laplacean operator. Specifically, to find all polynomial solutions in (), we use a finitely generated, commutative, and associative algebra K[;]=K[;, ; 2,..., ; n ] whose generators satisfy the system of algebraic equations and [P k (;)=0 k=, 2,..., r] [; m ;m 2 2 }}};m n n =0 m +}}}+m n =M+] (2) We show how the expression M j= (n i= x i ; i ) j j! can be used to find a basis for N M. Notation. We let N be the set of non-negative integers and we let C represent the complex numbers. A symbol w will generally represent the ordered n-tuple (w, w 2,..., w n ) and [w] will represent the set [w, w 2,..., w n ]. As is usual, K[w] will represent the set of all polynomials in w, w 2,..., w n. For M in N, K[w] M will equal the vector space spanned by all polynomials of degree M and K[w] M will equal the vector space spanned by all polynomials degree less than or equal M. We use the standard notation of letting w m represent w m w m 2 2 }}}wm n n where m= (m, m 2,..., m n )isinn n. For m in N n we define m =m +m 2 +}}}+m n and let N n =[m # M Nn m M], X m =x m xm 2 2 }}}xm n m n!m 2!}}}m n! and D m =D m }}}Dm n n =m +}}}+m n x m }}}xm n. Also, for m in n Zn &N n we set X m =0. So, for example, for any i, j in N n we have D i X j =X j&i.
3 bases 59 A Pairing of Vector Spaces General references for the material in this section are [5, pp. 628] and [6, p. 39] and [, p. 558]. The function (, ): C[x]_C[D] C defined by (f(x), P(D))=P (D) f(x) 0 (we apply the complex conjugate of the operator P(D) tof(x) and then evaluate the result at 0) is bilinear. Since D j X j = we see that (, ) is non-degenerate. Also since (X i, D j )=$ ij, [D j ] and [X j ] for j in N n are dual bases. Let C[D]*=Hom(C[D], C). Since (, ) is non-degenerate there is a linear isomorphism 8: C[D]*C[x] given by the following conditions: For 9 # C[D]* we have 8(9)=f (f,q)=9(q) for all Q # C[D]. Let P (D),..., P r (D) be polynomials in C[D] of any degrees. We extend this set of polynomials to P (D),..., P r (D),..., P v (D), by joining the elements of [D m m =M+]. Let J=(P (D),..., P v (D)) /C[D] (the ideal generated by P (D),..., P v (D)) and let J M =J & C[D] M. We also let N=[f(x)#C[x] (f(x), P i (D))=0 for i=, 2,..., v] and N M = N & C[x] M (it is easy to verify that this is the same N M that we defined in ()). J M and N M are, of course, vector spaces. The restriction (, ) M of (, ) to C[x] M _C[D] M is still bilinear and non-degenerate. Therefore 8=C[D]* M C[x] M is given by 8(9)=f (f,q) M = 9(Q) for all Q # C[D] M. Lemma. N M $J = M. Proof. Choose a basis Q (D),..., Q t (D) for C[D] M so that Q s+ (D),..., Q t (D) is a basis for J M. (3) Therefore N M =[f(x)#c[x] M (f(x), Q i (D)) M =0 for i=s+,..., t]. Let 9,..., 9 t # C[D]* M be dual to Q (D),..., Q t (D) which is to say that 9 i (Q j (D))=$ ij for all i, j such that i, jt. Set f i =8(9 i ) for i=,..., t. (4) Since the 9 i are linearly independent in C[D]* M the f i form a basis for C[x] M. Now (f i (x), Q j (D)) M =9 i (Q j (D))=$ ij implies that f (x),..., f s (x) forms a basis for C[x] M.
4 60 paul s. pedersen Lemma 2. Let z=z(d, M)= : m M Then 8(9)=f(x) if and only if (9)z=f(x). X m D m. (5) Proof. Let f(x)= m M a m X m #C[x] M. Then ( 9)z= m M X m 9(D m )= m M X m (f(x), D m ) M = m M X m ( p M a p X p, D m ) M =f(x). Corollary 3. For Q i (D) in (3), f i (x) in (4) and z in (5) we have t z= : i= f i (x)q i (D). (6) Proof. By a change of basis in (5) we can find h i (x) so that z= t h i= i(x)q i (D). Hence f j (x)=(9 j )z= t h i= i(x) 9 j (Q i (D))= h j (x). The point of Corollary 3 is that for any pair of dual bases [f i (x)] and [Q i (D)] we have (6). Theorem 4. Let ; i represent the class of x i in the residue class ring C[x,..., x n ](P (x,..., x n ),..., P v (x,..., x n )). Let C[D] M have basis [Q i (D) i=,..., t] where [Q i (;)=0 i=s+,..., t]. Then there exist f i (x) so that z(;, M)= s i= f i (x)q i (;) and [ f i (x) i=,..., s] forms a basis for N M. Proof. By definition of the ; i we have that P j (;)=0 for j=, 2,..., v, that Q j (;)=0 for j=s+,..., t and that Q (;),..., Q s (;) forms a basis for C[;] M. We apply vector space homomorphism C[x]C[D] C[x]C[;] (where D j ; j )toz(d,m) to get z(;, M)= t f i= i(x) Q i (;)= s f i= i(x)q i (;). The proof of Lemma shows that [f i (x) i=,..., s] forms a basis for N M. Remarks. () The preceeding arguments work if we are finding real solutions to a system of real coefficient PDE's. (2) There always exist subsets I of N n so that M [;m m#i] is a basis for C[;] M. (3) It is easy to verify that z(;, M)= n j=0 (M x i= i ; i ) j j!. (4) If J M =(P (D),..., P v (D)) contains then N M =[0] and there are no polynomial solutions.
5 bases 6 (5) If the P k (D), k=,..., r are of homogeneous order then N= N M=0 M and there is a basis of N consisting of homogeneous elements. We can find a basis for N M by finding a basis for C[;] M and rewriting ( n x i= i ; i ) M in terms of this basis. So if C[;] M has basis Q (;),..., Q s (;) then there exist f (x),..., f s (x) (homogeneous, degree M) so that ( n x i= i ; i ) M = s f i= i(x)q i (;) and we may conclude that f (x),..., f s (x) forms a basis for N M. Examples. () Let P(D)=( 2 x 2 +2 x 2 ). Let R[x 2,x 2 ] (P(D), D M+, D M D 2,..., D M+ 2 )$R[;, ; 2 ]. Therefore ; 2 +;2 2 =0 and it is not hard to verify that R[;] M has basis [; k, ;k& ; 2 0kM]. Now we can find f k, (x), f k,2 (x), k=0,,..., M so that z(;, M)= M f k=0 k,(x); k +f k,2(x); k& ; 2. Theorem 4 implies that f k, (x), f k,2 (x), k=0,,..., M form a basis for the set of all polynomial solutions to Laplace's equation having degree M. These solutions are in fact the same as the solutions one gets by finding the real and imaginary parts of the functions (x +x 2 i) k, k=0,..., M. If we use Remark 5 in this example, we have that R[;] M has basis [; M, ;M& ; 2 ]. We then get that (x ; + x 2 ; 2 ) M =f M, (x); M +f M,2(x); M& ; 2 and we may conclude that f M, (x) and f M,2 (x) form a basis for N M. (2) Let P(D)=( 2 x 2 &x 2) and let R[x 2,x 2](P(D), D 4, D 3 D 2,..., D 4 2 ) $R[;, ; 2 ] where ; 2 &; 2=0 and [; m =0 m =4]. Now R[;] 3 has basis, ;, ; 2, ; ; 2 and using this basis we have that z(;, 3)=+x ; +(x 2 +x 2 2); 2+(x x 2 +x 3 6); ; 2. We conclude that the four coefficients, x, (x 2 +x 2 2), (x x 2 +x 3 6) form a basis for all real polynomial solutions to the heat equation having degree 3. (3) Let P (D)= 2 x 2 +2 x x 2 3 and P 2 (D)=(x ) (x 2 )+(x )(x 3 )+(x 2 )(x 3 ). We will find a basis for the complex vector space N 3 by using Remark 5. To find these solutions we form the algebra C[;] generated by ; i, i=, 2, 3 where ; 2 +;2 2 +;2=0, 3 ; ; 2 +; ; 3 +; 2 ; 3 =0 and [; m =0 m =4]. Now C[;] 3 has basis ; 3, ; 2 ; 2, ; 2 ; 3, ; ; 2 2. We leave it to the reader to verify that these elements are indeed linearly independent in C[;] 3. The following table shows how the other elements of C[;] 3 can be written in terms of these elements. ; ; 2 3 =&;3 &; ; 2 2, ; ; 2 ; 3 =&; 2 ; 2&; 2 ; 3, ; 3 2 =&;3 &2;2 ; 2&; 2 ; 3&; ; 2 2, ;2 2 ; 3=; 2 ; 2+; 2 ; 3&; ; 2 2, ; 2 ; 2 3 =;3 +;2 ; 2+; 2 ; 3+; ; 2 2, ;3 3 =&;2 ; 2&2; 2 ; 3+; ; 2 2.
6 62 paul s. pedersen In ( 3 i= x i ; i ) 3 we replace the ; m by the appropriate linear combination of our basis elements as given in the table. Collecting terms we get 3 3 \ : x i ; i= i+ =(x 3 6&x x 2 3 2&x3 2 6+x 2x 2 3 2);3 +(x 2 x 2 2&x x 2 x 3 &x 3 23+x 2 2x 3 2+x 2 x 2 32&x 3 36); 2 ; 2 +(x 2 x 32&x x 2 x 3 &x x2x 2 32+x 2 x 2 3 2&x3 3 3);2; 3 +(x x 2 2&x 2 x 2 3 2&x3 2 6&x2x 2 32+x 2 x x36); 3 ; 2. 2 Theorem 4 tells us that these four coefficients of the basis elements form a basis for N 3. The Hilbert Characteristic Function If P (x,..., x n ),..., P r (x,..., x n ) are of homogeneous order, then J=(P (x,..., x n ),..., P r (x,..., x n )) is a homogeneous ideal and the number of linearly independent forms of degree M in the residue class ring C[x,..., x n ]J is designated /(J;M). The function / is called the Hilbert characteristic function of the ideal. A consequence of Lemma is that /(J; M)=dim N M. Other papers have noted that this equality holds for sufficiently large M (see [4]). As a corollary to this observation we have that dim N M is a polynomial in M for sufficiently large M (see, for example, [7, pp ]). Polynomial and C Solutions to Systems References [8, 9, and ] discuss the relationship between polynomial solutions and C solutions to systems of constant coefficient PDE's. [0] and [9] discuss how one may find a basis for the C solutions to the system [u # C P k (x,..., x n ) u=0; k=, 2,..., r] by using functions of the form Q(x)e n i=0 x ia i where [: # C n P k (:)=0, k=, 2,..., r] and where the Q(x) are certain unspecified polynomials. However this later work does not allow one to find a polynomial basis for the system. Acknowledgment The author thanks an anonymous referee who made suggestions that greatly simplified an earlier form of this paper.
7 bases 63 References. S. P. Smith, Polynomial solutions to constant coefficient differential equations, Trans. Amer. Math. Soc. 329, No. 2 (992), P. Pedersen, A function theory for finding all polynomial solutions to a linear constant coefficient PDE's of homogeneous order, J. Complex Variables 24 (993), P. Pedersen, Analytic solutions to a class of PDE's with constant coefficients, J. Differential Integral Equations 3, No. 4 (990), P. J. Stiller, Vector bundles on complex projective spaces and systems of partial differential equations, I, Trans. Amer. Math. Soc. 298, No. 2 (986), W. H. Greub, ``Linear Algebra,'' Springer-Verlag, New York, E. M. Stein and G. Weiss, ``Introduction to Fourier Analysis on Euclidean Spaces,'' Princeton Univ. Press, Princeton, NJ, O. Zariski and P. Samuel, ``Commutative Algebra, Vol. II,'' van Nostrand, New York, B. Malgrange, Existence et approximation des solutions des e quations de convolution, Ann. Inst. Fourier (Grenoble) 6 (955), F. Treves, ``Linear Partial Differential Operators,'' Gordon and Breach, New York, L. Ehrenpreis, A fundamental principle for systems of linear differential equations with constant coefficients, in ``Proceedings International Symposium on Linear Spaces, Jerusalem, 96,'' p. 6.. O. Kellogg, ``Foundations of Potential Theory,'' Verlag von Julius Springer, Berlin, 929. Printed in Belgium Uitgever: Academic Press, Inc. Verantwoordelijke uitgever voor Belgie : Hubert Van Maele Altenastraat 20, B-830 Sint-Kruis
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationHarmonic Polynomials and Dirichlet-Type Problems. 1. Derivatives of x 2 n
Harmonic Polynomials and Dirichlet-Type Problems Sheldon Axler and Wade Ramey 30 May 1995 Abstract. We take a new approach to harmonic polynomials via differentiation. Surprisingly powerful results about
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationSection III.6. Factorization in Polynomial Rings
III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics GROUP ACTIONS ON POLYNOMIAL AND POWER SERIES RINGS Peter Symonds Volume 195 No. 1 September 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 195, No. 1, 2000 GROUP ACTIONS ON POLYNOMIAL
More informationTIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH
TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure
More informationWEAK NULLSTELLENSATZ
WEAK NULLSTELLENSATZ YIFAN WU, wuyifan@umich.edu Abstract. We prove weak Nullstellensatz which states if a finitely generated k algebra is a field, then it is a finite algebraic field extension of k. We
More informationFactorization in Polynomial Rings
Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18. PIDs Definition 1 A principal ideal domain (PID) is an integral
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationDerivatives of Harmonic Bergman and Bloch Functions on the Ball
Journal of Mathematical Analysis and Applications 26, 1 123 (21) doi:1.16/jmaa.2.7438, available online at http://www.idealibrary.com on Derivatives of Harmonic ergman and loch Functions on the all oo
More informationMATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION
MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0
More informationSTABLY FREE MODULES KEITH CONRAD
STABLY FREE MODULES KEITH CONRAD 1. Introduction Let R be a commutative ring. When an R-module has a particular module-theoretic property after direct summing it with a finite free module, it is said to
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationPolynomialExponential Equations in Two Variables
journal of number theory 62, 428438 (1997) article no. NT972058 PolynomialExponential Equations in Two Variables Scott D. Ahlgren* Department of Mathematics, University of Colorado, Boulder, Campus Box
More informationS. Paul Smith and James J. Zhang
COMMUNICATIONS IN ALGEBRA, 25(7), 2243-2248 (1997) SELF-INJECTIVE CONNECTED ALGEBRAS S. Paul Smith and James J. Zhang Department of Mathematics, Box 354350, University of Washington, Seattle, WA 98195
More informationCOUNTING SEPARABLE POLYNOMIALS IN Z/n[x]
COUNTING SEPARABLE POLYNOMIALS IN Z/n[x] JASON K.C. POLAK Abstract. For a commutative ring R, a polynomial f R[x] is called separable if R[x]/f is a separable R-algebra. We derive formulae for the number
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05
More informationPolynomial Harmonic Decompositions
DOI: 10.1515/auom-2017-0002 An. Şt. Univ. Ovidius Constanţa Vol. 25(1),2017, 25 32 Polynomial Harmonic Decompositions Nicolae Anghel Abstract For real polynomials in two indeterminates a classical polynomial
More informationThe only global contact transformations of order two or more are point transformations
Journal of Lie Theory Volume 15 (2005) 135 143 c 2005 Heldermann Verlag The only global contact transformations of order two or more are point transformations Ricardo J. Alonso-Blanco and David Blázquez-Sanz
More informationIntegral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract
Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract Let F be a field, M n (F ) the algebra of n n matrices over F and
More informationMODEL THEORY OF PARTIAL DIFFERENTIAL FIELDS: FROM COMMUTING TO NONCOMMUTING DERIVATIONS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 MODEL THEORY OF PARTIAL DIFFERENTIAL FIELDS: FROM COMMUTING TO NONCOMMUTING DERIVATIONS MICHAEL
More informationAN INEQUALITY INVOLVING TIGHT CLOSURE AND PARAMETER IDEALS. Dedicated to the memory of Professor Nicolae Radu
AN INEQUALITY INVOLVING TIGHT CLOSURE AND PARAMETER IDEALS CĂTĂLIN CIUPERCĂ AND FLORIAN ENESCU Dedicated to the memory of Professor Nicolae Radu ABSTRACT. We establish an inequality involving colengths
More informationInjective semigroup-algebras
Injective semigroup-algebras J. J. Green June 5, 2002 Abstract Semigroups S for which the Banach algebra l (S) is injective are investigated and an application to the work of O. Yu. Aristov is described.
More informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS On self-intersection of singularity sets of fold maps. Tatsuro SHIMIZU.
RIMS-1895 On self-intersection of singularity sets of fold maps By Tatsuro SHIMIZU November 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan On self-intersection of singularity
More informationSearching for Multigrades
Searching for Multigrades Zarathustra Brady Mentor: Matthias Flach October 5, 009 Abstract An (n, k) multigrade is defined to be a pair of sets of n numbers that have equal sums, sums of squares, and so
More informationJanuary 2016 Qualifying Examination
January 2016 Qualifying Examination If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems, in principle,
More informationProblems on Minkowski sums of convex lattice polytopes
arxiv:08121418v1 [mathag] 8 Dec 2008 Problems on Minkowski sums of convex lattice polytopes Tadao Oda odatadao@mathtohokuacjp Abstract submitted at the Oberwolfach Conference Combinatorial Convexity and
More informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More informationA note on Samelson products in the exceptional Lie groups
A note on Samelson products in the exceptional Lie groups Hiroaki Hamanaka and Akira Kono October 23, 2008 1 Introduction Samelson products have been studied extensively for the classical groups ([5],
More informationLIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM
Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,
More informationMATH 196, SECTION 57 (VIPUL NAIK)
TAKE-HOME CLASS QUIZ: DUE MONDAY NOVEMBER 25: SUBSPACE, BASIS, DIMENSION, AND ABSTRACT SPACES: APPLICATIONS TO CALCULUS MATH 196, SECTION 57 (VIPUL NAIK) Your name (print clearly in capital letters): PLEASE
More informationA correction to Conducteur des Représentations du groupe linéaire
A correction to Conducteur des Représentations du groupe linéaire Hervé Jacquet December 5, 2011 Nadir Matringe has indicated to me that the paper Conducteur des Représentations du groupe linéaire ([JPSS81a],
More informationThe Graph Isomorphism Problem and the Module Isomorphism Problem. Harm Derksen
The Graph Isomorphism Problem and the Module Isomorphism Problem Harm Derksen Department of Mathematics Michigan Center for Integrative Research in Critical Care University of Michigan Partially supported
More informationManoj K. Keshari 1 and Satya Mandal 2.
K 0 of hypersurfaces defined by x 2 1 +... + x 2 n = ±1 Manoj K. Keshari 1 and Satya Mandal 2 1 Department of Mathematics, IIT Mumbai, Mumbai - 400076, India 2 Department of Mathematics, University of
More informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationMathematical Journal of Okayama University
Mathematical Journal of Okayama University Volume 48, Issue 1 2006 Article 1 JANUARY 2006 On Euclidean Algorithm Kaoru Motose Hirosaki University Copyright c 2006 by the authors. Mathematical Journal of
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More information50 Algebraic Extensions
50 Algebraic Extensions Let E/K be a field extension and let a E be algebraic over K. Then there is a nonzero polynomial f in K[x] such that f(a) = 0. Hence the subset A = {f K[x]: f(a) = 0} of K[x] does
More informationJames J. Madden LSU, Baton Rouge. Dedication: To the memory of Paul Conrad.
Equational classes of f-rings with unit: disconnected classes. James J. Madden LSU, Baton Rouge Dedication: To the memory of Paul Conrad. Abstract. This paper introduces several families of equational
More informationHILBERT FUNCTIONS. 1. Introduction
HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each
More informationSPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS
SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree
More informationHILBERT BASIS OF THE LIPMAN SEMIGROUP
Available at: http://publications.ictp.it IC/2010/061 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL
More informationA Tilt at TILFs. Rod Nillsen University of Wollongong. This talk is dedicated to Gary H. Meisters
A Tilt at TILFs Rod Nillsen University of Wollongong This talk is dedicated to Gary H. Meisters Abstract In this talk I will endeavour to give an overview of some aspects of the theory of Translation Invariant
More informationarxiv: v2 [math.ac] 25 Apr 2011
A FINITENESS CONDITION ON LOCAL COHOMOLOGY IN POSITIVE CHAACTEISTIC FLOIAN ENESCU arxiv:1101.4907v2 [math.ac] 25 Apr 2011 Abstract. In this paper we present a condition on a local Cohen-Macaulay F-injective
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationCYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138
CYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138 Abstract. We construct central extensions of the Lie algebra of differential operators
More informationg(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.
6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationChapter 2: Linear Independence and Bases
MATH20300: Linear Algebra 2 (2016 Chapter 2: Linear Independence and Bases 1 Linear Combinations and Spans Example 11 Consider the vector v (1, 1 R 2 What is the smallest subspace of (the real vector space
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationPrimary Decompositions of Powers of Ideals. Irena Swanson
Primary Decompositions of Powers of Ideals Irena Swanson 2 Department of Mathematics, University of Michigan Ann Arbor, Michigan 48109-1003, USA iswanson@math.lsa.umich.edu 1 Abstract Let R be a Noetherian
More informationarxiv: v1 [math.gr] 8 Nov 2008
SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra
More informationOn the Computation of the Adjoint Ideal of Curves with Ordinary Singularities
Applied Mathematical Sciences Vol. 8, 2014, no. 136, 6805-6812 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2014.49697 On the Computation of the Adjoint Ideal of Curves with Ordinary Singularities
More informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationarxiv: v1 [math.ra] 10 May 2013
ON FINITE-DIMENSIONAL SUBALGEBRAS OF DERIVATION ALGEBRAS arxiv:1305.2285v1 [math.ra] 10 May 2013 Abstract. Let K be a field, R be an associative and commutative K-algebra and L be a Lie algebra over K.
More informationTHE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE
JOURNAL OF COMMUTATIVE ALGEBRA Volume 8, Number 4, Winter 2016 THE CONE OF BETTI TABLES OVER THREE NON-COLLINEAR POINTS IN THE PLANE IULIA GHEORGHITA AND STEVEN V SAM ABSTRACT. We describe the cone of
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES
VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES BJORN POONEN Abstract. For any field k and integer g 2, we construct a hyperelliptic curve X over k of genus g such that #(Aut X) = 2. We
More informationTHE NUMBER OF MULTIPLICATIONS ON //-SPACES OF TYPE (3, 7)
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 50, July 1975 THE NUMBER OF MULTIPLICATIONS ON //-SPACES OF TYPE (3, 7) M. ARKOWITZ,1 C. P. MURLEY AND A. O. SHAR ABSTRACT. The technique of homotopy
More informationGeneric section of a hyperplane arrangement and twisted Hurewicz maps
arxiv:math/0605643v2 [math.gt] 26 Oct 2007 Generic section of a hyperplane arrangement and twisted Hurewicz maps Masahiko Yoshinaga Department of Mathematice, Graduate School of Science, Kobe University,
More informationComputing syzygies with Gröbner bases
Computing syzygies with Gröbner bases Steven V Sam July 2, 2008 1 Motivation. The aim of this article is to motivate the inclusion of Gröbner bases in algebraic geometry via the computation of syzygies.
More informationBoundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals
Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals Kazuhiko Kurano Meiji University 1 Introduction On a smooth projective variety, we can define the intersection number for a given
More informationMathematical Olympiad Training Polynomials
Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,
More informationTHE REGULAR ELEMENT PROPERTY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 126, Number 7, July 1998, Pages 2123 2129 S 0002-9939(98)04257-9 THE REGULAR ELEMENT PROPERTY FRED RICHMAN (Communicated by Wolmer V. Vasconcelos)
More informationCONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP
CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat
More informationMULTIPLICATIVE FIBRE MAPS
MULTIPLICATIVE FIBRE MAPS BY LARRY SMITH 1 Communicated by John Milnor, January 9, 1967 In this note we shall outline a result concerning the cohomology of a multiplicative fibre map. To fix our notation
More informationDifference Equations for Multiple Charlier and Meixner Polynomials 1
Difference Equations for Multiple Charlier and Meixner Polynomials 1 WALTER VAN ASSCHE Department of Mathematics Katholieke Universiteit Leuven B-3001 Leuven, Belgium E-mail: walter@wis.kuleuven.ac.be
More informationREVISITED OSAMU FUJINO. Abstract. The main purpose of this paper is to make C n,n 1, which is the main theorem of [Ka1], more accessible.
C n,n 1 REVISITED OSAMU FUJINO Abstract. The main purpose of this paper is to make C n,n 1, which is the main theorem of [Ka1], more accessible. 1. Introduction In spite of its importance, the proof of
More informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 31, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Symbolic Adjunction of Roots When dealing with subfields of C it is easy to
More informationarxiv: v1 [math.ac] 7 Feb 2009
MIXED MULTIPLICITIES OF MULTI-GRADED ALGEBRAS OVER NOETHERIAN LOCAL RINGS arxiv:0902.1240v1 [math.ac] 7 Feb 2009 Duong Quoc Viet and Truong Thi Hong Thanh Department of Mathematics, Hanoi University of
More informationSome examples of two-dimensional regular rings
Bull. Math. Soc. Sci. Math. Roumanie Tome 57(105) No. 3, 2014, 271 277 Some examples of two-dimensional regular rings by 1 Tiberiu Dumitrescu and 2 Cristodor Ionescu Abstract Let B be a ring and A = B[X,
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationRINGS: SUMMARY OF MATERIAL
RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered
More informationDOES XY 2 = Z 2 IMPLY X IS A SQUARE?
DOES XY 2 = Z 2 IMPLY X IS A SQUARE? JACK S. CALCUT 1. Introduction Ordinary integers have the property that if the product of a number and a square is a square, then the number itself is a square. That
More informationCOMPLEX PARALLISABLE MANIFOLDS
COMPLEX PARALLISABLE MANIFOLDS HSIEN-CHUNG WANG 1. Introduction. Let If be a complex manifold of 2ra dimension. It will be called complex parallisable if there exist, over M, n holomorphic vector fields
More informationSOME INEQUALITIES FOR THE EUCLIDEAN OPERATOR RADIUS OF TWO OPERATORS IN HILBERT SPACES
SOME INEQUALITIES FOR THE EUCLIDEAN OPERATOR RADIUS OF TWO OPERATORS IN HILBERT SPACES SEVER S DRAGOMIR Abstract Some sharp bounds for the Euclidean operator radius of two bounded linear operators in Hilbert
More informationAn Introduction to Supersingular Elliptic Curves and Supersingular Primes
An Introduction to Supersingular Elliptic Curves and Supersingular Primes Anh Huynh Abstract In this article, we introduce supersingular elliptic curves over a finite field and relevant concepts, such
More informationProblem 1A. Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1. (Hint: 1. Solution: The volume is 1. Problem 2A.
Problem 1A Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1 (Hint: 1 1 (something)dz) Solution: The volume is 1 1 4xydz where x = y = 1 z 2 This integral has value 16/3 Problem 2A Let f(x)
More informationPolynomials. Chapter 4
Chapter 4 Polynomials In this Chapter we shall see that everything we did with integers in the last Chapter we can also do with polynomials. Fix a field F (e.g. F = Q, R, C or Z/(p) for a prime p). Notation
More informationQuadratic Forms. Marco Schlichting Notes by Florian Bouyer. January 16, 2012
Quadratic Forms Marco Schlichting Notes by Florian Bouyer January 16, 2012 In this course every ring is commutative with unit. Every module is a left module. Definition 1. Let R be a (commutative) ring
More informationSolutions of exercise sheet 6
D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1
More informationAPPLICATIONS OF LOCAL COHOMOLOGY
APPLICATIONS OF LOCAL COHOMOLOGY TAKUMI MURAYAMA Abstract. Local cohomology was discovered in the 960s as a tool to study sheaves and their cohomology in algebraic geometry, but have since seen wide use
More informationMath 4320 Final Exam
Math 4320 Final Exam 2:00pm 4:30pm, Friday 18th May 2012 Symmetry, as wide or as narrow as you may define its meaning, is one idea by which man through the ages has tried to comprehend and create order,
More informationName: MAT 444 Test 4 Instructor: Helene Barcelo April 19, 2004
MAT 444 Test 4 Instructor: Helene Barcelo April 19, 004 Name: You can take up to hours for completing this exam. Close book, notes and calculator. Do not use your own scratch paper. Write each solution
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationThe Hilbert-Mumford Criterion
The Hilbert-Mumford Criterion Klaus Pommerening Johannes-Gutenberg-Universität Mainz, Germany January 1987 Last change: April 4, 2017 The notions of stability and related notions apply for actions of algebraic
More informationarxiv:alg-geom/ v1 21 Mar 1996
AN INTERSECTION NUMBER FOR THE PUNCTUAL HILBERT SCHEME OF A SURFACE arxiv:alg-geom/960305v 2 Mar 996 GEIR ELLINGSRUD AND STEIN ARILD STRØMME. Introduction Let S be a smooth projective surface over an algebraically
More informationGROUP DUALITY AND ISOMORPHISMS OF FOURIER AND FOURIER-STIELTJES ALGEBRAS FROM A W*-ALGEBRA POINT OF VIEW
GROUP DUALITY AND ISOMORPHISMS OF FOURIER AND FOURIER-STIELTJES ALGEBRAS FROM A W*-ALGEBRA POINT OF VIEW BY MARTIN E. WALTER 1 Communicated by Irving Glicksberg, March 20, 1970 0. Introduction. In this
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationArithmetic Analogues of Derivations
JOURNAL OF ALGEBRA 198, 9099 1997 ARTICLE NO. JA977177 Arithmetic Analogues of Derivations Alexandru Buium Department of Math and Statistics, Uniersity of New Mexico, Albuquerque, New Mexico 87131 Communicated
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More informationCanonical systems of basic invariants for unitary reflection groups
Canonical systems of basic invariants for unitary reflection groups Norihiro Nakashima, Hiroaki Terao and Shuhei Tsujie Abstract It has been known that there exists a canonical system for every finite
More informationA CHARACTERIZATION OF LOCALLY FINITE VARIETIES THAT SATISFY A NONTRIVIAL CONGRUENCE IDENTITY
A CHARACTERIZATION OF LOCALLY FINITE VARIETIES THAT SATISFY A NONTRIVIAL CONGRUENCE IDENTITY KEITH A. KEARNES Abstract. We show that a locally finite variety satisfies a nontrivial congruence identity
More informationSharp estimates for a class of hyperbolic pseudo-differential equations
Results in Math., 41 (2002), 361-368. Sharp estimates for a class of hyperbolic pseudo-differential equations Michael Ruzhansky Abstract In this paper we consider the Cauchy problem for a class of hyperbolic
More informationSpherically Symmetric Logistic Distribution
Journal of Multivariate Analysis 7, 2226 (999) Article ID jmva.999.826, available online at httpwww.idealibrary.com on Spherically Symmetric Logistic Distribution Nikolai A. Volodin The Australian Council
More informationarxiv: v1 [math.ac] 24 Feb 2010
ON THE DEPTH OF BLOW-UP INGS OF IDEALS OF MINIMAL MIXED MULTIPLICITY arxiv:1002.4466v1 [math.ac] 24 Feb 2010 CLAE D CUZ Abstract. We show that if (,m) is a Cohen-Macaulay local ring and I is an ideal of
More informationPrimitive sets in a lattice
Primitive sets in a lattice Spyros. S. Magliveras Department of Mathematical Sciences Florida Atlantic University Boca Raton, FL 33431, U.S.A spyros@fau.unl.edu Tran van Trung Institute for Experimental
More information