=head1 SYNOPSIS use PerlGSL::DiffEq; #Differential Equation(s) sub eqn { #initial conditions returned if called without parameters unless (@_) { return (0,1); } my ($t, @y) = @_; #example: y''(t)==-y(t) my @derivs = ( $y[1], # y'[0] = y[1] -$y[0], # y'[1] = - y[0] ); return @derivs; } $sine = ode_solver(\&eqn, [0, 2*3.14, 100]); =head1 DESCRIPTION This module provides a Perl-ish interface to the Gnu Scientific Library's (L) ODEIV2 library, (L). This library is the new ordinary differential equation solver as of GSL version 1.15. =head2 NAMESPACE This module used to be named L, a name I never liked. After writing interfaces to GSL's integration libraries I decided to unite the modules under a common namespace L. This namespace/distribution contains modular interfaces to the GSL. Read more in the documentation for L. =head2 INTERFACE STABILITY This module is in an beta state. It needs more tests and the ability to configure more of the options that the GSL library allows. Currently this module leans on the fact that GSL has an extensive test suite. While the author has put some thought into the interface it may change in the future as the above mentioned functionality is added or as bugs appear. Bug reports are encouraged! Also, as of version 0.06, support for including a Jacobian of the system has been added, including the step types that this allows, however this functionality is almost totally untested. Until some of the stiff/extreme test cases can be ported from GSL the author is not certain the the functionality has been properly implemented. Sadly C pass even when not properly implemented, which is unnerving. I. =head1 EXPORTED FUNCTIONS =head2 ode_solver This is the main function of the module. $solution = ode_solver( $diffeq_code_ref, $t_range) or $solution = ode_solver( $diffeq_code_ref, $t_range, $opts_hashref) or $solution = ode_solver( [$diffeq_code_ref, $jacobian_code_ref], $t_range, $opts_hashref) Before detailing how to call C, lets see how to construct the differential equation system. =head3 the differential equation system The differential equation system is defined in a code reference (in the example C<$diffeq_code_ref>). This code reference (or anonymous subroutine) must have a specific construction: =over 4 =item * If called without arguments (i.e. C<< $diffeq_code_ref->() >>) it should return the initial conditions for the system, the number of initial values returned will set the number of differential equations. =item * When called with arguments, the first argument will be time (or the independent parameter) and the rest will be the function values in the same order as the initial conditions. The returns in this case should be the values of the derivatives of the function values. If one or more of the returned values are not numbers (as determined by L C), the solver will immediately return all calculations up until (and not including) this step, accompanied by a warning. This may be done intentionally to exit the solve routine earlier than the end time specified in the second argument. =item * Please note that as with other differential equation solvers, any higher order differential equations must be converted into systems of first order differential equations. =back Optionally the system may be further described with a code reference which defines the Jacobian of the system (in the example C<$jacobian_code_ref>). Again, this code reference has a specific construction. The arguments will be passed in exactly the same way as for the equations code reference (though it will not be called without arguments). The returns should be two array references. =over 4 =item * The first is the Jacobian matrix formed as an array reference containing array references. It should be square where each dimension is equal to the number of differential equations. Each "row" contains the derivatives of the related differential equations with respect to each dependant parameter, respectively. [ [ d(dy[0]/dt)/d(y[0]), d(dy[0]/dt)/d(y[1]), ... ], [ d(dy[1]/dt)/d(y[0]), d(dy[1]/dt)/d(y[1]), ... ], ... [ ..., d(dy[n]/dt)/d(y[n])], ] =item * The second returned array reference contains the derivatives of the differential equations with respect to the independant parameter. [ d(dy[0]/dt)/dt, ..., d(dy[n]/dt)/dt ] =back The Jacobian code reference is only needed for certain step types, those step types whose names end in C<_j>. =head3 required arguments C requires two arguments, they are as follows: =head4 first argument The first argument may be either a code reference or an array reference containing one or two code references. In the single code reference form this represents the differential equation system, constructed as described above. In the array reference form, the first argument must be the differential equation system code reference, but now optionally a code reference for the Jacobian of the system may be supplied as the second item. =head4 second argument The second argument, C<$t_range>, specifies the time values that are used for the calculation. This may be used one of two ways: =over 4 =item * An array reference containing numbers specifying start time, finish time, and number of steps. =item * A scalar number specifying finish time. In this case the start time will be zero and 100 steps will be used. =back =head3 optional argument (the options hash reference) The third argument, C<$opts_hashref>, is a hash reference containing other options. They are as follows: =over 4 =item * C specifies the step type to be used. The default is C. The available step types can be found using the exportable function L. Those step types whose name ends in C<_j> require the Jacobian. =item * C the initial "h" step used by the solver. Defaults to C<1e-6>. =item * C the maximum "h" step allowed to the adaptive step size solver. Set to zero to use the default value specified the GSL, this is the default behavior if unspecified. Note: the module will croak if C is set greater than C, however if C is not specified and the default would violate this relation, C will be set to C implicitly. =item * Error scaling options. These all refer to the adaptive step size contoller which is well documented in the L. =over 4 =item * C and C the allowable error levels (absolute and relative respectively) used in the system. Defaults are C<1e-6> and C<0.0> respectively. =item * C and C set the scaling factors for the function value and the function derivative respectively. While these may be used directly, these can be set using the shorthand ... =item * C, a shorthand for setting the above option. The available values may be C meaning C<{a_y = 1, a_dydt = 0}> (which is the default), or C meaning C<{a_y = 0, a_dydt = 1}>. Note that setting the above scaling factors will override the corresponding field in this shorthand. =back =back =head3 return The return is an array reference of array references. Each inner array reference will contain the time and function value of each function in order as above. This format allows easy loading into L if so desired: $pdl = pdl($solution); of course one may recover one column by simple use of a C: @solution_t_vals = map { $_->[0] } @$solution; @solution_y1_vals = map { $_->[1] } @$solution; ... For a usage example see the L for a sine function given by C. =head1 EXPORTABLE FUNCTIONS =head2 get_step_types Returns the available step types which may be specified in the L function's options hashref. Note that those step types whose name end in C<_j> require the Jacobian. =head2 get_gsl_version A simple function taking no arguments and returning the version number of the GSL library as specified in C. This was originally used for dependency checking but now remains simply for the interested user. =head1 FUTURE GOALS On systems with PDL installed, I would like to include some mechanism which will store the numerical data in a piddle directly, saving the overhead of creating an SV for each of the pieces of data generated. I envision this happening as transparently as possible when PDL is available. This will probably take some experimentation to get it right. =head1 SEE ALSO =over 4 =item L =item L =item L =item L =item L, L =back =head1 SOURCE REPOSITORY L =head1 AUTHOR Joel Berger, Ejoel.a.berger@gmail.comE =head1 COPYRIGHT AND LICENSE Copyright (C) 2012 by Joel Berger This library is free software; you can redistribute it and/or modify it under the same terms as Perl itself. The GSL is licensed under the terms of the GNU General Public License (GPL)