Existence and uniqueness theorems for formal power series solutions of analytic differential systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Existence and uniqueness theorems for formal power series solutions of analytic differential systems

Full text

Pdf (909 KB)

Source

International Conference on Symbolic and Algebraic Computation archive
Proceedings of the 1999 international symposium on Symbolic and algebraic computation table of contents

Vancouver, British Columbia, Canada

Pages: 105 - 112

Year of Publication: 1999

ISBN:1-58113-073-2

Authors

C. J. Rust	Centre for Experimental and Constructive Mathematics, Simon fraser University, Burnaby, B.C. Canada, V5A 1S6
G. J. Reid	Centre for Experimental and Constructive Mathematics, Simon fraser University, Burnaby, B.C. Canada, V5A 1S6
A. D. Wittkopf	Centre for Experimental and Constructive Mathematics, Simon fraser University, Burnaby, B.C. Canada, V5A 1S6

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
SIGNUM: ACM Special Interest Group on Numerical Mathematics

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 23, Citation Count: 8

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/309831.309875 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Thomas Becker , Volker Weispfenning , Heinz Kredel, Gro¨bner bases: a computational approach to commutative algebra, Springer-Verlag, London, 1993
	2	Bc)UJ,I~:R, F. Sonic improvements of a lemnla of rosenfeld. Prel)rint, 1998.
	3	F. Boulier , D. Lazard , F. Ollivier , M. Petitot, Representation for the radical of a finitely generated differential ideal, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, p.158-166, July 10-12, 1995, Montreal, Quebec, Canada [doi>10.1145/220346.220367]
	4	BII.E.NAN. K.. C.AMPBELI,. S., AND PETZOI,D, L. Numerical Solutions of Initial-Value Problems in Differential-Algebraic Equations. Elsevier, 1989.
	5	C, bARKSON, l?., A.~t) M:ANSI.'IE.LD, E. On a shallow water wave equation. Nonlinearity 7 (1994), 975-1000.
	6	E. MANSFIE.I,I): G. R., .XNO CLAr~KSON. P. Nonclassical re(ht(:tio~lS of a 3+l-c~lbic nonlinear schr6dinger system. Comp. Phys. Comm. 115 (1998), in press.
	7	HEItEMAN. \~. Review of symbolic software h)r the comput~tion of Lie symmetries of differential equations. EuTvmath Bull. 1 (1994), 45-79.
	8	Evelyne Hubert, The general solution of an ordinary differential equation, Proceedings of the 1996 international symposium on Symbolic and algebraic computation, p.189-195, July 24-26, 1996, Zurich, Switzerland [doi>10.1145/236869.237073]
	9	H(BE.ffI', E. Etude Alg~fbraique et Algorith, mique des Singularitds des Equations Diffdrentielles hnplicites. PttD thesis: Institut National Polyt, e(:hnique Grenoble, 1997.
	10	KOL(_:{IIS, E. Differential Algebra and Algebraic Groups. Academic Press, 1973.
	11	K()VALEVSKAVA, S. Zur theorie (ler partiellen differentialgleichungen. ,1. Reine Agnew. Math. 80 (1875), 1-32.
	12	MA.XSF{E},D, E. Differential GrSbneT" Bases. PhD thesis, Univ. of Sydney, 1991.
	13	Toshinori Oaku, Algorithms for finding the structure of solutions of a system of linear partial differential equations, Proceedings of the international symposium on Symbolic and algebraic computation, p.216-223, July 20-22, 1994, Oxford, United Kingdom [doi>10.1145/190347.190420]
	14	R.EID. G. Algorithms for reducing a systeln of PDEs to standard form, determining the dime~sion of its sohltion space and ca.lculating its Taylor series solution. Eurvpean J. of Appl. Math.. 2 (1991), 293-318.
	15	R.EII). G., WJJ"rKOPF, A.. A..',:{) B()UI,TON, A. Reductio~l of systems of nonlinear partial dit-t~rential equat.ions t() simplified involut.ivc forms. European ,1. of Appl. Math. 7 (1996), 635 666.
	16	{{.IQUIER., C,. Les syst}'.mes d'dquations aux ddrivdes partielles. Gauthier-\"ilh(rs, 1910.
	17	I~.OSENFELI), A. Spe(:ializa.tions in differential algebra. Trans. of the Amcr. Math. Soc. 90 (1959), 394-407.
	18	R us:,'. C. Ranking,~ of Derivative.s for Elimination Algorithms and Formal Solvability of Analytic Partial Dif ferential Equations. PhD thesis, Univ. Chicago. 1.998. www-address: www.cecm.sfu, ca/- rust.
	19	C. J. Rust , G. J. Reid, Rankings of partial derivatives, Proceedings of the 1997 international symposium on Symbolic and algebraic computation, p.9-16, July 21-23, 1997, Kihei, Maui, Hawaii, United States [doi>10.1145/258726.258737]
	20	SCHWARZ, F. An algorithm fi)r determining the size. of synlmetry gr()ttps. Computing 49 (1992), 95-115.
	21	Sb;IDENBERG. A. An elimination theory ibr differential algebra. Univ. California Publ. Math,. (N.S.) (1956). 31-38.

CITED BY 8

	Greg Reid , Chris Smith , Jan Verschelde, Geometric completion of differential systems using numeric-symbolic continuation, ACM SIGSAM Bulletin, v.36 n.2, p.1-17, June 2002
	Gregory J. Reid , Allan D. Wittkopf, Determination of maximal symmetry groups of classes of differential equations, Proceedings of the 2000 international symposium on Symbolic and algebraic computation, p.272-280, July 2000, St. Andrews, Scotland
	François Lemaire, An orderly linear PDE system with analytic initial conditions with a non-analytic solution, Journal of Symbolic Computation, v.35 n.5, p.487-498, May 2003
	Johannes Grabmeier , Erich Kaltofen , Volker Weispfenning, Cited References, Computer algebra handbook, Springer-Verlag New York, Inc., New York, NY, 2003
	E. Hubert , N. Le Roux, Computing power series solutions of a nonlinear PDE system, Proceedings of the 2003 international symposium on Symbolic and algebraic computation, p.148-155, August 03-06, 2003, Philadelphia, PA, USA
	F. Aroca , J. Cano , F. Jung, Power series solutions for non-linear PDE's, Proceedings of the 2003 international symposium on Symbolic and algebraic computation, p.15-22, August 03-06, 2003, Philadelphia, PA, USA
	Evelyne Hubert, Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases, Proceedings of the 2004 international symposium on Symbolic and algebraic computation, p.191-198, July 04-07, 2004, Santander, Spain
	Wenyuan Wu , Greg Reid, Symbolic-numeric computation of implicit riquier bases for PDE, Proceedings of the 2007 international symposium on Symbolic and algebraic computation, July 29-August 01, 2007, Waterloo, Ontario, Canada