Symbolic manipulation software and the study of differential equations

In this note we describe some of our experiences with symbolic manipulation software for the analysis of differential equations. We give several examples from our work on semilinear diffusion equations and from a bifurcation analysis of a nonlinear problem in combustion. 25 refs.

[1]  Lambertus A. Peletier,et al.  Uniqueness of non-negative solutions of semilinear equations in Rn , 1986 .

[2]  B. Gidas,et al.  Symmetry and related properties via the maximum principle , 1979 .

[3]  Man Kam Kwong,et al.  On the Kolodner-Coffman method for the uniqueness problem of Emden-Fowler BVP , 1990 .

[4]  Hans G. Kaper,et al.  Bifurcation of Pulsating and Spinning Reaction Fronts in Condensed Two-Phase Combustion , 1984 .

[5]  James Serrin,et al.  Uniqueness of positive radial solutions of Δu+f(u)=0 in ℝn , 1987 .

[6]  Haim Brezis,et al.  Positive Solutions of Nonlinear Elliptic Equations Involving Critical Sobolev Exponents Haim Brezis , 2022 .

[7]  J. Serrin,et al.  Nonexistence theorems for singular solutions of quasilinear partial differential equations , 1986 .

[8]  R. Nussbaum,et al.  Uniqueness and nonuniqueness for positive radial solutions of Δu+f(u,r)=0 , 1985 .

[9]  W. Ni,et al.  A counterexample to the nodal domain conjecture and a related semilinear equation , 1988 .

[10]  I. Kolodner,et al.  Heavy rotating string—a nonlinear eigenvalue problem , 1955 .

[11]  L. Peletier,et al.  Emden-Fowler equations involving critical exponents , 1986 .

[12]  M. Kwong.  Uniqueness of positive solutions of Δu−u+up=0 in Rn , 1989 .

[13]  C. V. Coffman.  On the positive solutions of boundary-value problems for a class of nonlinear differential equations☆ , 1967 .

[14]  M. Kwong,et al.  A non-oscillation theorem for the emden-fowler equation: Ground states for semilinear elliptic equations with critical exponents , 1988 .

[15]  Pierre-Louis Lions,et al.  Nonlinear scalar field equations, I existence of a ground state , 1983 .

[16]  R. Fowler.  FURTHER STUDIES OF EMDEN'S AND SIMILAR DIFFERENTIAL EQUATIONS , 1931 .