Difference between revisions of "Flow equation for a differential operator"
(→Definition) |
|||
Line 3: | Line 3: | ||
==Definition== | ==Definition== | ||
− | === | + | ===Definition for Euclidean space=== |
− | |||
− | + | Suppose <math>F</math> is a [[differential operator]] on <math>\R^n</math> that is, <math>F</math> takes as input a (sufficiently many times differentiable) function from <math>\R^n</math> to <math>\R</math> and outputs another function from <math>\R^n</math> to <math>\R</math>. | |
+ | |||
+ | The flow equation for <math>F</math> is described as follows: | ||
<math>\frac{\partial u}{\partial t} = F(u)</math> | <math>\frac{\partial u}{\partial t} = F(u)</math> | ||
Line 16: | Line 17: | ||
* <math>F(u)</math> on the right side actually means <math>F(y)</math> where <math>y</math> is the map sending <math>x</math> to <math>u(x,t)</math> (that is, <math>y</math> is the map <math>u</math> at a fixed time) | * <math>F(u)</math> on the right side actually means <math>F(y)</math> where <math>y</math> is the map sending <math>x</math> to <math>u(x,t)</math> (that is, <math>y</math> is the map <math>u</math> at a fixed time) | ||
− | + | The solution curves for this (in the space of all possible functions <math>y</math> define the flow of the differential equation). | |
===Definition for a differential manifold=== | ===Definition for a differential manifold=== | ||
− | + | Suppose <math>F</math> is a [[differential operator]] on a [[differential manifold]] <math>M</math> that is, <math>F</math> takes as input a (sufficiently many times differentiable) function from <math>M</math> to <math>\R</math> and outputs another function from <math>M</math> to <math>\R</math>. | |
The flow equation becomes: | The flow equation becomes: |
Revision as of 02:55, 8 April 2007
This article defines the notion of flow for a scalar differential equation, viz a differential equation with one real variable. For the more general notion, refer flow for a vector differential equation
Contents
Definition
Definition for Euclidean space
Suppose is a differential operator on that is, takes as input a (sufficiently many times differentiable) function from to and outputs another function from to .
The flow equation for is described as follows:
Here:
- , called the time parameter, and , called the space parameter, are the two independent variables
- is the dependent variable, written as
- on the right side actually means where is the map sending to (that is, is the map at a fixed time)
The solution curves for this (in the space of all possible functions define the flow of the differential equation).
Definition for a differential manifold
Suppose is a differential operator on a differential manifold that is, takes as input a (sufficiently many times differentiable) function from to and outputs another function from to .
The flow equation becomes:
Here:
- , called the time parameter, and , called the space parameter, are the two independent variables
- is the dependent variable, written as
- on the right side actually means where is the map sending to (that is, is the map at a fixed time)
Fixed points and trajectories
Fixed points are solutions of the original equation
A point is a fixed point of the flow if and only if it solves the original equation . This tells us the following thing:
If the limits of the flow are well-defined at or ,, then the limiting points are fixed points of the flow, hence they are solutions for
Trajectories of the flow
To understand the flow, we can look at the trajectory at each point. Note that by the way the flow is defined, the trajectory is invariant under time-translation of the original differential equation.
The trajectories at a point could be of the following types:
- They could be defined over . This phenomenon is called short-time existence of the solution.
- They could be defined over . This phenomenon is called global existence of the solution.
Further, those that satisfy global existence, could satisfy any of the following:
- There exists a limiting point at , which is hence a solution to the original differential equation
- Fill this in later