compute F, the solution to Nabla(F) = G, as a line integral when the partial derivatives of F are given
line_int(DF, X, check, simp_proc)
list of partial derivatives to be used when computing the line integral
integration variables list to be used when computing the line integral
check whether DF is a total derivative before further computations
any simplification procedure to be applied to all integrands before evaluating the integrals
The line_int command computes the solution to the equation ∇⁡F=G as a line integral when the partial derivatives of F are given as a list DF. For example, if DF=[Fx,Fy,...], where Fx,... are partial derivatives of F with respect to x,.., then line_int([Fx, Fy,...], [x,y,...]) will return F up to an additive constant.
For a line integral to make sense (return an answer which is correct), DF must be a total derivative. By default, line_int does not check whether DF is true or false. It is, however, possible to force line_int to check DF before doing any further computations, by including the word check in the calling sequence as the third or fourth argument.
By default line_int does not apply any simplification to the integrands before evaluating the line integral. However, in many cases (especially if the dimension of the line integral is greater than 2), it may be convenient to simplify the integrand before performing each integration: Enter a simplification procedure as the third or fourth argument of the command.
This function is part of the DEtools package, and so it can be used in the form line_int(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[line_int](..).
This example uses three variables.
vars ≔ x,y,z
eq ≔ F⁡op⁡vars
DF ≔ map2⁡diff,eq,vars
Here is an example of the most general line integral of two variables.
eq ≔ line_int⁡Fx⁡x,y,Fy⁡x,y,x,y
This example uses the optional check argument. Let's introduce a 'false' total derivative.
DF ≔ y2,2⁢x2⁢y
The extra argument check forces the command to verify the integrability conditions; an error message is returned when DF is not a total derivative.
Error, (in `ODEtools/line_int`) The given first argument, [y^2, 2*x^2*y], is not a total derivative
Download Help Document