Classification of Differential Equations—Wolfram L...

秋風掃落葉噫 2022-07-09 發(fā)布于湖南

展開全文

While differential equations have three basic types—ordinary (ODEs), partial (PDEs), or differential-algebraic (DAEs), they can be further described by attributes such as order, linearity, and degree. The solution method used by DSolve and the nature of the solutions depend heavily on the class of equation being solved.

The order of a differential equation is the order of the highest derivative in the equation.

This is a first-order ODE because its highest derivative is of order 1:

Copy to clipboard.

In[72]:=72

https:///xid/05y6jzz3qyhilc54r92bheb-o7v

Direct link to example

Out[72]=72

Here is the general solution to a fourth-order ODE:

Copy to clipboard.

In[73]:=73

https:///xid/05y6jzz3qyhilc54r92bheb-uw2

Direct link to example

Out[73]=73

A differential equation is linear if the equation is of the first degree in and its derivatives, and if the coefficients are functions of the independent variable.

This is a nonlinear second-order ODE that represents the motion of a circular pendulum. It is nonlinear because Sin[y[x]] is not a linear function of y[x]. The Solve::ifun warning message appears because Solve uses JacobiAmplitude (the inverse of EllipticF) to find an expression for y[x]:

Copy to clipboard.

In[74]:=74

https:///xid/05y6jzz3qyhilc54r92bheb-g1l

Direct link to example

Out[74]=74

This plots the solutions. The discontinuity in the graphs at

results from the choice of inverse functions used by Solve:

Copy to clipboard.

In[75]:=75

https:///xid/05y6jzz3qyhilc54r92bheb-jon

Direct link to example

Out[75]=75

It should be noted that sometimes the solutions to fairly simple nonlinear equations are only available in implicit form. In these cases, DSolve returns an unevaluated Solve object.

This nonlinear differential equation only has an implicit solution. The Solve::tdep messages can be ignored; they appear because Solve cannot find an explicit expression for y[x] because non-algebraic functions (ArcTan and Log) are involved:

Copy to clipboard.

In[76]:=76

https:///xid/05y6jzz3qyhilc54r92bheb-p6q

Direct link to example

Out[76]=76

When the coefficients of a linear ODE do not depend on , the ODE is said to have constant coefficients.

This is an ODE with constant coefficients:

Copy to clipboard.

In[77]:=77

https:///xid/05y6jzz3qyhilc54r92bheb-yot

Direct link to example

Out[78]=78

The previous equation is also homogeneous: all terms contain or derivatives of and its right-hand side is zero. Adding a function of the independent variable makes the equation inhomogeneous. The general solution to an inhomogeneous equation with constant coefficients is obtained by adding a particular integral to the solution to the corresponding homogeneous equation.

Here, x² is added to the right-hand side of the previous equation, making the new equation inhomogeneous. The general solution to this new equation is the sum of the previous solution and a particular integral:

Copy to clipboard.

In[79]:=79

https:///xid/05y6jzz3qyhilc54r92bheb-yd2

Direct link to example

Out[79]=79

When the coefficients of an ODE depend on , the ODE is said to have variable coefficients. Since equations with variable coefficients that are rational functions of have singularities that are easily classified, there are sophisticated algorithms available for solving them.

The coefficients of this equation are rational functions of

Copy to clipboard.

In[9]:=9

https:///xid/05y6jzz3qyhilc54r92bheb-ey3

Direct link to example

Out[9]=9

There is a close relationship between functions and differential equations. Starting with a function of almost any type, it is possible to construct a differential equation satisfied by that function. Conversely, any differential equation gives rise to one or more functions, in the form of solutions to that equation. In fact, many special functions from classical analysis have their origins in the solution of differential equations. Mathieu functions are one such class of special functions. Mathieu was interested in studying the vibrations of elliptical membranes. The eigenfunctions for the wave equation that describes this motion are given by products of Mathieu functions.

This linear second-order ODE with rational coefficients has a general solution given by Mathieu functions:

Copy to clipboard.

In[80]:=80

https:///xid/05y6jzz3qyhilc54r92bheb-ssq

Direct link to example

Out[80]=80

The presence of ArcCos[t] in the previous solution suggests that the equation can be given a simpler form using trigonometric functions. This is the form in which these equations were introduced by Mathieu in 1868:

Copy to clipboard.

In[81]:=81

https:///xid/05y6jzz3qyhilc54r92bheb-sb2

Direct link to example

Out[81]=81

This plots the surface for a particular product of solutions to this equation:

Copy to clipboard.

In[52]:=52

https:///xid/05y6jzz3qyhilc54r92bheb-uoe

Direct link to example

Out[52]=52

The degree of a differential equation is the highest power of the highest-order derivative in the equation.

This is a first-order ODE of degree 2:

Copy to clipboard.

In[53]:=53

https:///xid/05y6jzz3qyhilc54r92bheb-or4

Direct link to example

Out[53]=53

The higher degree leads to non-uniqueness of the solution:

Copy to clipboard.

In[54]:=54

https:///xid/05y6jzz3qyhilc54r92bheb-e4x

Direct link to example

Out[54]=54

The examples in this tutorial have focused on the classification of ODEs. The classification of PDEs is similar but more involved. PDEs can also be classified by linearity or nonlinearity, order, degree, and constant or variable coefficients. More important is the classification that identifies a PDE as hyperbolic, parabolic, or elliptic. These classifications are discussed in further detail in 'Second-Order PDEs'.