What is the most general object that defines a solution to an ordinary differential equation? (I don't know enough to know if this question is specific enough. I am hoping the answer will be something like "a function", "a continuous function", "a piecewise continuous function" ... or something like this.)
What is the most general mathematical object that defines a solution to an ordinary differential equation?
-
0I always think of every solution to an ODE, (or PDE) as an integral. Of course this is itself just a function ;). – 2011-03-11
3 Answers
The object you are looking for is called a phase curve. For ODE $\frac{dy}{dx}=f(x)$ with $x$, we are looking for a solution of the form:
$y=y(t), x=x(t)$
The result is a graph on the $xy$ plane that pass the initial condition $y=y_{0}$, $x=x_{0}$. All of this are quite standard. The best literature on this is:
Differential Geometry: Manifolds, Curves, and Surfaces
And Ordinary Differential Equations, by V.I.Arnold.
It's rather meaningless to ask for a "most general mathematical object", since it carries an implicit prediction that no progress will be made in the future. Also, it is usually pretty easy to make useless generalizations of existing notions. Anyway, I'll offer a construction from Beilinson and Drinfeld's book Chiral algebras that may be sufficiently encompassing for your current needs.
Take an ODE F(x, y, y', \dots, y^{(n)}) = 0, where $F$ is some function (did you want it to be smooth?) in $n+2$ real variables. Ordinarily, a solution would be a function $y(x)$ that has $n$ derivatives (defined on some open interval $I$ of reals), such that at each point $x \in I$, the values of $y$ and its $n$ derivatives satisfy the equation.
If your equation lacks solutions in the above sense, you can work with a very formal notion of solution, that arises from manipulating algebras of differential operators. First, choose your favorite category of functions closed under multiplication and differentiation (e.g., polynomial, analytic, smooth...), and define three basic sheaves:
- $\mathscr{O}$ is the sheaf of functions on $\mathbb{R}$ in your category. To each open set, it assigns the ring of (polynomial, analytic, smooth...) functions on that set, and to each inclusion of open sets, it assigns the restriction homomorphism.
- $\mathscr{D}$ is the sheaf of linear differential operators. It is the unital $\mathscr{O}$-algebra generated by $\frac{d}{dx}$, with the usual relation satisfied by derivatives. Commutative $\mathscr{D}$-algebras are commutative $\mathscr{O}$-algebras with integrable connection, and $\mathscr{O}$ has a natural commutative $\mathscr{D}$-algebra structure.
- $\mathscr{P}$ is the sheaf of all finite order ordinary differential operators. It assigns to each open set $I \subset \mathbb{R}$ the commutative algebra of functions G(x, y, y',\dots) for $x \in I$ that depend on only finitely many derivatives of $y$,. Global sections of $\mathscr{P}$ form a space of functions on an infinite dimensional vector space that has coordinates labeled by $x$ and the derivatives of $y$ (which is viewed as a formal variable).
The operator $F$ defines an ideal in the commutative $\mathscr{D}$-algebra $\mathscr{P}$, and the quotient $A = \mathscr{P}/(F)$ is a commutative $\mathscr{D}$-algebra. Given a commutative $\mathscr{D}$-algebra $R$, an $R$-solution to your ODE is a $\mathscr{D}$-algebra map from $A$ to $R$. If $R = \mathscr{O}$ and $\mathscr{O}$ is the sheaf of smooth functions, then $R$-solutions are ordinary solutions. Even if the set of ordinary solutions is empty, you'll get a nonempty set of $A$-solutions.
(All links go to Wikipedia unless stated otherwise.) Elaborating on joriki's answer: The most general spaces where it does make sense to talk about differential equations are certain classes of topological vector spaces, it is for example rather straight forward to formulate the concept of a differential equation in Banach spaces. (Here the esolution to an equation is a mapping of topological vector spaces)
For differential equations in $\mathbb{R}^n$, the solutions themselves are elements of certain topological vector spaces.The most general topological vector spaces that are considered are AFAIK Sobolev spaces, these are function spaces such that each individual function is normable with respect to a prescribed $L^p$ norm, has generalized derivatives in the sense of distributions to the order that is necessary to formulate the weak formulation (see also the Azimuth wiki) of the equation one would like to solve, such that the generalized derivatives are again normable with respect to the $L^p$ norm. Some Sobolev spaces have similar characterizations like "all piecwise continuous function that..." which are a little bit more complicated than that, and differ from space to space, so I'd rather like to refer to the extensive literature instead of repeating that here :-(
-
0Along these lines, would distributions be more general than Sobolev spaces? – 2012-02-27