Skip to main content
SpringerLink
Log in

A symbolic computation method to decide the completeness of the solutions to the system of linear partial differential equations

  • Published:
Applied Mathematics and Mechanics Aims and scope Submit manuscript

Abstract

A symbolic computation method to decide whether the solutions to the system of linear partial differential equation is complele via using differential algebra and characteristic set is presented. This is a mechanization method, and it can be carried out on the computer in the Maple environment.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. ZHANG Hong-qing. A united theory on general solutions of elasticity equations[J].Dalian College Xuebao, 1978,18(3):23–47. (in Chinese)

    Google Scholar 

  2. ZHANG Hong-qing, WANG Zhen-yu. Completeness and approximateness of HU Hai-chang's solutions[J].Chinese Science Bulletin, 1985,30(5):342–344. (in Chinese)

    Google Scholar 

  3. WANG Min-zhong. About the completeness of HU Hai-chang's solutions[J].Applied Mathematics and Mechanics (English Edition), 1981,2(2):265–272.

    Article  Google Scholar 

  4. Ritt J F.Differential Algebra[M]. New York: Dover Publication Inc, 1950,57–140.

    Google Scholar 

  5. Kolchin E R.Differential Algebra and Algebraic Groups[M]. New York: Academic Press, 1973, 43–54.

    Google Scholar 

  6. WU Wen-tsun. On the foundation of algebraic differential geometry[R]. MM research preprints, 1989,3:1–29.

    Google Scholar 

  7. Rosenfeld A. Specialization in differential algebra[J].Trans Amer Math Soc, 1959,90(2):394–407.

    Article  MATH  MathSciNet  Google Scholar 

  8. Boulier F, Lazard D, Ollivier F, et al. Representation for the radical of a finitely generated differential ideal[A]. In: Levelt A Ed.ISSAC'95[C] Montrel, Canda: ACM Press, 1995, 158–166.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Applied Mathematics, Dalian University of Technology, 116024, Dalian, P R China

    Zhang Hong-qing Professor, Xie Fu-ding & Lu Bin

Authors
  1. Zhang Hong-qing Professor
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xie Fu-ding
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Lu Bin
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Contributed by ZHANG Hong-qing

Foundation items: the ‘973’ Project of China (G1998030600); the National Natural Science Foundation of China (10072013)

Biography: ZHANG Hong-qing (1936−)

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hong-qing, Z., Fu-ding, X. & Bin, L. A symbolic computation method to decide the completeness of the solutions to the system of linear partial differential equations. Appl Math Mech 23, 1134–1139 (2002). https://doi.org/10.1007/BF02437661

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02437661

Key words

CLC numbers

Search

Navigation