calculate the one parameter group of differeomorphisms (flow) of a vector field
Flow(X, var, options)
a vector field
an unassigned Maple name, the flow parameter
optional arguments to pass to the Maple command dsolve for solving the ordinary differential equations for the flow
The flow of a vector field X on a manifold M is a one parameter group of transformations Phi_t: M -> M such that for all p in M, diff(Phi_t(p), t) = X(Phi_t(p)) and Phi_0(p) = p. For each fixed t, Phi_t is a local diffeomorphism of M and Phi_t o Phi_s = Phi_(t + s).
The flow of X is calculated by solving a first order system of ordinary differential equations with the Maple dsolve command.
If dsolve fails to solve these odes, the Flow command returns NULL.
The command Flow returns a transformation whose domain and range coincide with the manifold on which X is defined.
With the option ode = true, the system of odes (with initial conditions) defining the flow is returned.
With the option initialpoint = [x1 = a, x2 = b, ...], the flow though the specific point [a, b, ...] is calculated.
With the option dsolvehints = [hints], the list of optional arguments hints is passed to dsolve.
A customized ode solver can be used in place of dsolve though the use of the Preference command.
This command is part of the DifferentialGeometry package, and so can be used in the form Flow(...) only after executing the command with(DifferentialGeometry). It can always be used in the long form DifferentialGeometry:-Flow.
Calculate the flow Phi_t for the vector field X.
X ≔ evalDG⁡−y⁢D_x+x⁢D_y+1⁢z⁢D_z4
Phi_t ≔ Flow⁡X,t
Plot the flows for various initial conditions:
C ≔ map2⁡ApplyTransformation,Phi_t,1,0,0,1,0,12,0,1,12
We check that Phi_s o Phi_t is Phi_(t + s).
We check that the derivative of the flow with respect to t coincides with the vector field evaluated along the flow:
C1 ≔ ApplyTransformation⁡Phi_t,a,b,c
Differentiate the components of this curve with respect to t.
Y1 ≔ DGzip⁡∂∂t⁢C1,D_x,D_y,D_z,plus
C2 ≔ ApplyTransformation⁡Phi_t,x=a,y=b,z=c
Y2 ≔ eval⁡X,C2
Y1 &minus Y2
We find the flow of the vector X through the point (1, 0, 0).
We obtain the ode defining the flow for X. The result consists of a sequence of 3 sets: the ode, the initial conditions, and the dependent variables.
Download Help Document