# Ordinary Differential Equations/Structure of Differential Equations

Differential equations are all made up of certain components, without which they would not be differential equations. In working with a differential equation, we usually have the objective of *solving* the differential equation. A solution in this context is a new function with all the derivatives gone. If this is impossible, we go for a numerical solution.

## Contents

## Differential Equations[edit]

The first and most basic example of a differential equation is the one we are already familar with from calculus. That is

In this case we know how to solve for y (eliminate the derivative) by integrating *f*. So we know that

Recall from the fundamental theorem of calculus that is an anti-derivative for *f*(*x*) for any choice of *a*. Notice that there is an arbitrary constant *c* and so we get a family of solutions, one for each choice of *c*. Often in the study in the book we will encounter *initial value problems*. These are problems where we are asked to find a solution to an ordinary differential equation that passes through some initial point (*x*_{0}, *y*_{0}), where *x*_{0} is the independent and *y*_{0} the dependent variable. To find which solution passes through this point, one simply plugs *x*_{0} into the equation for *x* and *y*_{0} in for *y*(*x*_{0}). This allows us to make a specfic choice for *c* which normally would be arbitrary.

If we substitute this choice for *c* into the expression for *y* we find that:

Notice this is really a statement of the fundamental theorem calculus.

- Definition

An *n*-th order ordinary differential equation is an equation of the form

Where *F* is a function of *n* + 2 variables that is not constant with respect to its first variable.

Note that n can be interpreted as the degree of derivation and that is the first variable which in turn is itself a function of *x*. This definition can be a lot to swallow. It helps to take an example. Suppose *F*(*t*_{1}, *t*_{2}, *t*_{3})=*t*_{1}-cos(*t*_{3})*t*_{2}. Then F(y',y,x)=0 becomes

- .

Thus, by our definition above, *y*′=cos(*x*)*y* is a first order ordinary differential equation.

In general we will run into problems if some restrictions are not placed on the function *F*. For example, if we didn't require *F* to depend on its first variable, then we could have taken a function like *F*(*t*_{1}, *t*_{2}, *t*_{3})=1-cos(*t*_{3})*t*_{2} which is independent of its first variable. In which case *F*(y′, y, x) = 0 simply becomes 1 − cos(*x*)*y*=0 which involves no derivatives at all! It would be very odd indeed to call this a first order differential equation.

Specific examples of ordinary differential equations we are familiar with from calculus would be:

However, they can also involve the higher order derivatives of y with respect to x. For example:

is also an ordinary differential equation.

## Characteristics of Differential Equations[edit]

The **order** of a differential equation is the order of the highest derivative involved in the equation. Thus:

is a **second-order differential equation**, as the highest derivative is the second: *d*²*y*/*dx*².

The *degree* of a polynomial differential equation is the power to which the highest derivative is raised.

### Linear and Non-Linear Differential Equations[edit]

DEs fall into two major types: linear and non-linear.

**Linear** DEs are the simpler kind. A partial differential equation or an ordinary differential equation that has a degree of 1 and no higher degree is called **linear.**Thus,

is a linear DE.

**Non-Linear** DEs are much more complex, as they are any DEs that are not linear. For example,

are non-linear DEs.

Only a tiny proportion of non-linear DEs are solvable exactly - most have to be approximated.

### Homogeneous Differential Equations[edit]

A **homogeneous** DE is one in which only the terms involving *y* ( includes the derivatives of y ) are present in the equation. No terms involving the independent variables must be present in the equation. Therefore:

is homogeneous. If something is left over, then the DE is **non-homogeneous**, like this one:

A non-zero constant on the right-hand-side also implies a non-homogeneous DE - after all a constant is still a function.

Generally, if a DE can be written as:

where *a*_{n}(*x*), etc are functions of *x*, it is homogeneous. However, if it can only be written as

where *b*(*x*) is a function of *x*, it is non-homogeneous.

## Solutions of a Differential Equation[edit]

This article or section does not entirely cite its references or sources.You can help Wikibooks by introducing appropriate citations. |

A **solution** of this differential equation is any function y=f(x), which, when substituted into the above equation, satisfies the equation.

An equation of the form

with as arbitrary constants is called an *integral solution* of the differential equation if all functions y=f(x) that are solutions to the integral solution when are substituted for any values (with the possibility of restrictions) are solutions to the differential equation. Originally, James Bernoulli in 1689 used the term *integral* and Euler used the term *particular integral* in 1768. The word *solution* seems to have first appeared around 1774 by Lagrange, and through Poincaré this term has been established.

A third type of solution is called the **parametric solution** in the form

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle x=x(t,C_1,C_2,C_3,...,C_n)}**

and

with arbitrary constants **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle C_1,C_2,C_3,...,C_n}**
whenever all functions y=f(x) that make the second equation an identity are also solutions to the differential equation.

People have tried to define **general solutions** (formerly known as *complete integral* or *complete integral equations* due to Euler, these two terms now mean something different) to be integral solutions with arbitrary constants, and **singular solutions** to be integral solutions which are not contained in the general solution. However, these definitions have turned out to be contradictory, since it may be possible that given one general solution that excludes a singular solution, that another general solution may be found that includes the singular solution. Thus, the idea of **singular solutions** is contradictory and there is no good way to work with these terms.

Instead, we are going to define **general solutions** to be an integral solution that includes *all* solutions of the DE, and a **particular solution** to be any single solution or integral solution of the DE.

When solving a DE in the crude sense, we aim to find ways to solve equations in particular forms to solutions directly, or to reduce them to a more amenable form. Later, we will aim to solve a DE in a more general sense.

An *initial value problem* is a differential equation together with the *initial conditions* that the solution also satisfy the equations

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle y_1=f'(x_0)}****Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle y_2=f''(x_0)}**

...

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle y_n=f^{(n)}(x_0)}**

at a specific . If the **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): x_{0}**
are different, then it is called a *boundary value problem* with *boundary conditions.*

We first consider the simple case of the equation . This is easily solvable with the following theorem that you probably have already proved in Calculus:

## Relationship to other types of equation[edit]

The following types of equation are not normally encountered in a first course in differential equations but are included here to illustrate the range of problems where differential equations play a role.

It is possible to formulate equations where the function being sought is part of the integrand. Such equations are known as integral equations. It is a theorem in differential equations that states that virtually any differential equation can be reformulated as an integral equation. Integral equations are normally studied after differential equations have been mastered. In practice it is sometimes the case that the corresponding integral equation may be easier to solve than the original differential equation.

It is also possible to encounter equations which include both derivatives and integrals. These equations may or may not be convertible to either purely differential or integral equations.

Another related area is that of difference equations. These equations involve the formation of derivatives where the denominator is not an infinitely small quantity but one of finite size. Their methods of solution parallel those of differential equations. One major difference in their solutions is the role played by the exponential function in differential equations is often replaced by another value which may be complex.

Equations containing both difference and differential terms are not commonly encountered in practice. These may be difficult to solve in closed form.

Differential equations may be formulated for matrices as well as for real and complex numbers. Because matrix multiplication is not in general commutative while solving these equations careful attention to the order of the factors must be paid.

Additionally, fractional differential equations, which may be either ordinary or partial differential equations, also present some peculiarities and for this reason are also studied after a firm grounding in the more usual forms have been mastered.

Fractional differential equations are rarely mentioned in most text books so a brief note is included here. Typical ordinary differential equations involve integer power of derivatives while fractional differential equations involve any power. This class of equation has been studied almost as long as the other types of differential equation but other than the semi derivative equations - those involving powers of +/- 1/2 - methods for solving them in closed form are not known. Many examples of the diffusion equation - a commonly occurring partial differential equation in physics and chemistry - can be reformulated in terms of a semiderivative equation and solved immediately.

One reason for the difficulties encountered with this type of differential equation is because the range of potential solutions is much larger than those encountered elsewhere. Integer valued derivatives require a function to be differentiable: only functions of this type can be solutions to a typical differential equation. Fractional derivatives may be applied to completely discontinuous functions and some generalized functions. Methods for identifying these less well studied functions as solutions to fractional differential equations have yet to be developed systematically.

## Existence and Uniqueness theorems[edit]

As well as attempting to solve a new differential equation it is frequently worthwhile determining if a solution to the equation actually exists and if it does whether the solution is unique. The answers to these questions will be addressed in the section on the existence and uniqueness theorems that will be proved later.

Since most differential equations cannot be solved in closed form, numerical solutions are of great importance. While the existence theorems may seem to be rather esoteric to the beginner they are of considerable importance when attempting a numerical solution: in practice it is very helpful to know that a solution really does exist before trying to compute it.

Understanding when solutions exist and are unique often provides qualitative information about solutions. For example, the basic theorems about uniqueness state that for each initial condition, there is a unique solution. This immediately implies that two solutions can never intersect. If they did you could take the intersection point as the your initial data and the uniqueness theorem would imply the solutions are the same function. We will discuss more about qualitative behavior toward the second part of the text.