PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] second order ordinary differential equation (Topic)

A second order ordinary differential equation $F(x,\,y,\,\frac{dy}{dx},\,\frac{d^2y}{dx^2}) = 0$ can often be written in the form

$\displaystyle \frac{d^2y}{dx^2} \;=\; f\left(x,\,y,\,\frac{dy}{dx}\right).$ (1)

By its general solution one means a function $x \mapsto y = y(x)$ which is at least on an interval twice differentiable and satisfies $$ y''(x) \;\equiv\; f(x,\,y(x),\,y'(x)) $$ By setting $\frac{dy}{dx} := z$ , one has $\frac{d^2y}{dx^2} = \frac{dz}{dx}$ , and the equation (1) reads $\frac{dz}{dx} = f(x,\,y,\,z)$ . It is easy to see that solving (1) is equivalent with solving the system of simultaneous first order differential equations
\begin{align*}\begin{cases}\frac{dy}{dx} = z,\\ \frac{dz}{dx} = f(x,\,y,\,z), \end{cases}\end{align*} (2)

the so-called normal system of (1).

The system (2) is a special case of the general normal system of second order, which has the form

\begin{align*}\begin{cases}\frac{dy}{dx} = \varphi(x,\,y,\,z),\\ \frac{dz}{dx} = \psi(x,\,y,\,z), \end{cases}\end{align*} (3)

where $y$ and $z$ are unknown functions of the variable $x$ . The existence theorem of the solution
\begin{align*}\begin{cases}y = y(x),\\ z = z(x) \end{cases}\end{align*} (4)

is as follows; cf. the Picard-Lindelöf theorem.

Theorem. If the functions $\varphi$ and $\psi$ are continuous and have continuous partial derivatives with respect to $y$ and $z$ in a neighbourhood of a point $(x_0,\,y_0,\,z_0)$ , then the normal system (3) has one and (as long as $|x\!-\!x_0|$ does not exceed a certain bound) only one solution (4) which satisfies the initial conditions $y(x_0) = y_0,\;\, z(x_0) = z_0$ . The functions (4) are continuously differentiable in a neighbourhood of $x_0$ .

Bibliography

1
E. LINDELÖF: Differentiali- ja integralilasku III 1. Mercatorin Kirjapaino Osakeyhtiö, Helsinki (1935).




"second order ordinary differential equation" is owned by pahio.
(view preamble | get metadata)

View style:

Also defines:  normal system, normal system of second order

This object's parent.

Attachments:
ODE types solvable by two quadratures (Topic) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: continuously differentiable, initial conditions, point, neighbourhood, partial derivatives, continuous, theorem, solution, existence theorem, variable, differential equations, easy to see, equation, twice differentiable, interval, function, general solution
There are 4 references to this entry.

This is version 2 of second order ordinary differential equation, born on 2008-12-07, modified 2008-12-08.
Object id is 11322, canonical name is SecondOrderOrdinaryDifferentialEquation.
Accessed 958 times total.

Classification:
AMS MSC34A05 (Ordinary differential equations :: General theory :: Explicit solutions and reductions)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)