14
$\begingroup$

Here is one definition of a differential equation:

"An equation containing the derivatives of one or more dependent variables, with respect to one of more independent variables, is said to be a differential equation (DE)" (Zill - A First Course in Differential Equations)

Here is another:

"A differential equation is a relationship between a function of time & it's derivatives" (Braun - Differential equations and their applications)

Here is another:

"Equations in which the unknown function or the vector function appears under the sign of the derivative or the differential are called differential equations" (L. Elsgolts - Differential Equations & the Calculus of Variations)

Here is another:

"Let $f(x)$ define a function of $x$ on an interval $I: a < x < b$. By an ordinary differential equation we mean an equation involving $x$, the function $f(x)$ and one of more of it's derivatives" (Tenenbaum/Pollard - Ordinary Differential Equations)

Here is another:

"A differential equation is an equation that relates in a nontrivial way an unknown function & one or more of the derivatives or differentials of an unknown function with respect to one or more independent variables." (Ross - Differential Equations)

Here is another:

"A differential equation is an equation relating some function $f$ to one or more of it's derivatives." (Krantz - Differential equations demystified)

Now, you can see that while there is just some tiny variation between them, calling $f(x)$ the function instead of $f$ or calling it a function instead of an equation but generally they all hint at the same thing.

However:

"Let $U$ be an open domain of n-dimensional euclidean space, & let $v$ be a vector field in $U$. Then by the differential equation determined by the vector field $v$ is meant the equation $x' = v(x), x \in U$.

Differential equations are sometimes said to be equations containing unknown functions and their derivatives. This is false. For example, the equations $\frac{dx}{dt} = x(x(t))$ is not a differential equation." (Arnold - Ordinary Differential Equations)

This is quite different & the last comment basically says that all of the above definitions, in all of the standard textbooks, are in fact incorrect.

Would anyone care to expand upon this point if it is of interest as some of you might know about Arnold's book & perhaps be able to give some clearer examples than $\frac{dx}{dt} = x(x(t))$, I honestly can't even see how to make sense of $\frac{dx}{dt} = x(x(t))$. The more explicit (and with more detail) the better!

A second question I would really appreciate an answer to would be - is there any other book that takes the view of differential equations that Arnold does? I can't find any elementary book that starts by defining differential equations in the way Arnol'd does & then goes on to work in phase spaces etc... . Multiple references welcomed.

  • 6
    To be even more precise: a differential equation is a submanifold of a certain finite degree [jet bundle](http://en.wikipedia.org/wiki/Jet_bundle#Partial_differential_equations), with a solution being a section. But do you learn anything from it? Pedagogically it is often preferable to "lie" a little to get the intuition across, rather then losing the student from the get-go.2011-04-15
  • 2
    @Willie Wong: Arnold's comment is rather antagonistic, but I don't feel he is complaining about lack of precision in the literature so much as he is trying to give a different intuition. The idea that Arnold goes for is that a differential equation is a vector field. It's intuitively clear that a vector field has a flow, so he defers the proofs of existence/uniqueness. Certain parts of ODE theory become much more accessible this way (e.g. Lyapunov functions become much clearer).2011-04-17
  • 0
    @Sam: I completely agree. The point I was trying to make is that said intuition may not be sufficiently intuitive to students without the proper preparation. When students only think of functions on $\mathbb{R}^n$ as an assignment of a value to $n$-tuples, the introduction of geometry may just be a tiny bit more work than other authors are willing to go through.2011-04-17

3 Answers 3

8

"When I use a word," Humpty Dumpty said, in a rather a scornful tone, "it means just what I choose it to mean—neither more nor less."

I think Arnol'd is correct, but I think he is being unnecessarily confrontational about it. All the books on your list that I am familiar with nearly immediately jump to a more precise formulation that a differential equation is one of the two following things: \[ y^{(n)}(t) = F(t, y(t), y'(t), \dots, y^{(n-1)}(t) ), \] or \[ G(t, y(t), \dots, y^{(n)}(t)) = 0. \]

Here is another example of an equation that I would not want to call a differential equation: \[ y'(t) = y(t-1). \] This meets the heuristic definition, but fails to be of the form I specified above (or of the form Arnol'd considers).

I now see that Qiaochu has written nearly the same thing above.

btw, I think Arnold's book is fantastic, but should be complemented with a more standard treatment of ODE, if only so that you know what everyone else knows in addition to the topics Arnold focuses on.


EDIT: To answer the 2nd half of the question, I don't know of any books that are as geometric as Arnold. IMO, the big strength of his book is that he makes the geometric intuition jump out at the reader, and downplays the analytical side of things. This complements the more traditional books that focus on the analytical aspects (and on explicit solutions) and lose all the geometry.

Arnold has another book that is somewhat more advanced, Mathematical Methods of Classical Mechanics. I think it's another great book, though it's hard to read. He also has a book called Geometrical methods in the theory of ODE. This is also a more advanced book, so it is not one you want to look at yet.

A book that I found very compelling was Hirsch and Smale, Differential Equations, Dynamical Systems and Linear Algebra. It's more analytical than Arnold, but is more geometric than most.


EDIT 8 years later: Let me add a recommendation for Strogatz's Nonlinear dynamics and chaos. I think it's a beautiful book and wish I could go back in time and give it to my younger self.

  • 0
    By y'(t) = y(t - 1) do you mean y'(t) = yt - y or is y a function of (t - 1)? If y is a function of (t - 1) then I think it's not a diff eq because everything isn't just a function of t. If you mean yt - y then I don't know why it isn't a differential equation, looks like one to me - of the form y'(t) = F(t,y). In any case can you recommend any other books that approach this subject in a similar fashion to Arnold, I just like alternative viewpoints of the same material. It may be my naivety but none of the other books I quotes approach this subject in the way Arnol'd does. Thanks a lot.2011-04-15
  • 0
    @sponsoredwalk: yes, certainly y as a function of t-1 is meant (i.e. the composition of y with the function which sends t to t-1), not the pointwise product.2011-04-16
  • 0
    So why would one want to rule out x(x(t)) and y(t-1)?2011-04-16
  • 0
    Because in x(x(t)) what you're looking at is basically x(3), or x(16) etc... x is a function of some value (like 3, or 16) & not a function of an element of some domain (i.e. t). to be crystal clear, x(x(t)) = x(3) means the inside x(t) is 3, so x(t) = 3 → x(x(t)) = x(3). In y(t - 1) you see that y is a function of something other than t & it fails to meet the requirements of the definitions given. That's what I think anyway, could be wrong.2011-04-16
  • 0
    @sponsoredwalk, wildildildlife, yes, by y'(t) = y(t-1), I meant that y' evaluated at time t is asked to be equal to y evaluated at time (t-1).2011-04-17
  • 0
    @Simon, sponsoredwalk: what sponsoredwalk says is correct, but maybe doesn't tell you why we define a differential equation the way we do. I believe there are two main reasons we define this to be an ODE. First of all, this includes a huge number of examples that are useful (e.g. Newton's equations of motion, equations of geodesics on a surface, ...) Secondly, there is a unified theory governing all of these, so it's useful to lump them together. When convenient, we sometimes separate to special subclasses of differential equations (e.g. linear, autonomous).2011-04-17
  • 0
    The examples that fail to be ODE are fine equations to study, but they are much harder to get a handle on. I know very little about what's known for these kinds of equations. I don't know of any ODE book that is as orthogonal to the rest as Arnold's is. I think that's part of what makes it fantastic. Another book he has that is worth looking at is about classical mechanics. There is a book I like very much by Hirsch and Smale, called Differential Equations, Dynamical Systems and Linear Algebra. The new edition has Chaos in the title too, but I don't know it.2011-04-17
6

Arnold simply means that most books are not being precise. A slightly more precise version of the first few definitions is that a differential equation (in one variable) is an equation of the form $f(t, x, x', x'', ...) = 0$. This rules out Arnold's example.

  • 5
    Awww, you are not being *annoyingly precise*. `:-)`2011-04-15
  • 0
    Let me be annoying: what kind of function should $f$ exactly be allowed to be?2011-04-15
  • 0
    @wildildildlife: whatever kind is necessary for your application. It doesn't seem productive to me to place arbitrary constraints on $f$ ahead of time.2011-04-15
  • 0
    I don't know why this rules out Arnold's example though, can't you just form dx/dt - x(x(t)) = 0 i.e. f(t,x,x') = 0 ?2011-04-15
  • 0
    Hope that isn't a ridiculous question! :p Thanks.2011-04-15
  • 2
    @sponsoredwalk: what is $f$ in this situation? (The input into $f$ is not the entire function $x$ but only the number $x(t)$.)2011-04-15
  • 0
    Ah! That makes a lot of sense now, wasn't reading it right at all a moment ago! Thanks a lot the whole thing is cleared up.2011-04-15
5

When I was a student I was taught the following definition:

Let $N\in \mathbb{N}$, $U\subseteq \mathbb{R}^{N+2}$ and $F:U\to \mathbb{R}$.

Then the $N^{th}$ order ordinary differential equation (in implicit form) corresponding to $F$ is the problem of finding all the non-degenerate intervals $I\subseteq \mathbb{R}$ and all the functions $y:I\to \mathbb{R}$ such that the following hold:

  1. Each $I\subseteq \text{proj}_1 U$ (i.e. $I$ is a subset of the projection of $U$ onto the first coordinate direction);

  2. $\text{proj}_N u\neq 0$ for some $u\in U$ (so that the ODE is actually $N^{th}$ order); and,

  3. $(x,y(x),y^\prime (x), \ldots , y^{(N)}(x))\in U$ and $F(x,y(x),y^\prime (x),\ldots ,y^{(N)}(x))=0$ for each $x\in \text{int }I$.

This problem can be denoted for short as: $$F(x,y,y^\prime, \ldots ,y^{(N)})=0\; .$$

If the function $F$ is of the type: $$F(x,y_0,y_1,\ldots ,y_N)=f(x,y_0,y_1,\ldots ,y_{N-1})-y_N$$ then the differential equation is said to be in normal (or explicit) form and it can be denoted for short as: $$y^{(N)}=f(x,y,y^\prime ,\ldots,y^{(N-1)})\; .$$

What do you think about it?

  • 0
    Please answer the question asked of you.2017-05-13
  • 0
    Sorry? What do you mean?2017-05-19
  • 0
    The user is asking if all of the above definitions in their post are in fact incorrect and whether or not Arnold is incorrect in his book. All your post does is state what you learned of differential equations with no recognition of that question.2017-05-19
  • 0
    I see. You don't get the sense of my answer. Long story short, all the previously given definitions may be stated in a better form.2017-06-14
  • 0
    But that doesn't show whether or not they are all *correct*. The person asked if the definitions were *correct*. Restating them "in a better form" doesn't show whether they actually define differential equations or just define random unnamed equations.2017-06-14