My GSoC work had been on and off, and I’m nowhere near the required 40 hours for the past one week, due to various reasons. However this is a report of what I had accomplished during the past week.
The lie group solver for solving Ordinary Differential Equations of the first order, requires as one of the steps, (the major actually, in fact the first six weeks of my project) to solve the following Partial Differential Equation for and where . It is pretty strange (atleast I find it) that solving a first order ODE requires solving a much complicated Partial Differential Equation , having two functions in two variables. However that is how things are, and as for how this PDE helps in solving a first order ODE, my blog posts would slowly lead up to that, much like how seemingly unrelated events lead to an awesome climax in a Hollywood thriller flick.
For now the focus remains on solving the huge PDE that I had mentioned. It looks almost impossible to do so at first sight. However an intelligent method to solve it, would be to guess solutions for and and substitute it back in the PDE and check how much it simplifies (almost like how I used to ‘intelligently’ guess solutions to my Organic Chemistry objective examinations).
The first heuristic and the easiest (according to Maple) involves assuming one of and to be zero and the other to be a function of or . This gives us four possibilities
I would explain how the first case works and the remaining would be self-inferred. Putting as 0 and as , the PDE reduces to . Clearly to solve for easily, should be a function of for the ODE to be solved easily , since is dependent on . The same logic applies to the other four assumptions. I also wrote a small function called checkinfosol that checks if the infinitesimals actually satisfy the PDE. Works fine for now!. On a side note, I just began working on the second heuristic and it seems that they are getting more challenging and I cannot afford to slack any more.
For those who are interested in the source-code, https://github.com/sympy/sympy/pull/2143 .
P.S : Sorry, my posts are getting really TL;DR. Too much of this and I’ll consider renaming my blog TL;DR