OU blog

Personal Blogs

Valentin Fadeev

Going partial

Visible to anyone in the world
Edited by Valentin Fadeev, Friday, 18 Oct 2019, 07:52

Struggling through the early chapters of partial differential equations (from the all-time-classic Stepanov's book) I often run across the moves that are not really technically demanding, but the logic behind takes time to sink in.

One of them is the trick used to find a particular solution of the first order linear PDE satisfying initial condition:

f of x sub one comma x sub two comma full stop full stop full stop comma x sub n minus one comma x sub n super zero equals phi of x sub one comma x sub two comma full stop full stop full stop comma x sub n minus one

Here is an excercise: find the solution of the following equation

sum with, 3 , summands Square root of x times normal partial differential times f divided by normal partial differential times x plus Square root of y times normal partial differential times f divided by normal partial differential times x plus Square root of z times normal partial differential times f divided by normal partial differential times z equals zero

         satisfying the condition: f equals y minus z when x equals one

We start by writing out the associated system of ODEs:

equation sequence d times x divided by Square root of x equals d times y divided by Square root of y equals d times z divided by Square root of z

Use the first identity to find a "first integral" of the system:

equation left hand side d times x divided by Square root of x equals right hand side d times y divided by Square root of y

equation sequence psi sub one equals Square root of x minus Square root of y equals cap c sub one

Then equate the first and the third quotients to obtain the second "first integral":

equation left hand side d times x divided by Square root of x equals right hand side d times z divided by Square root of z

equation sequence psi sub two equals Square root of x minus Square root of z equals cap c sub two

Obviously there are no more independent first integrals

According to the theory, the general solution is given as an arbitrary function of these two integrals:

equation sequence f equals normal cap phi of psi sub one comma psi sub two equals normal cap phi of Square root of x minus Square root of y comma Square root of x minus Square root of z

Now we shall find the particular solution. Let x=1. Following the book, we introduce new functions psi one macron and psi two macron to which psi sub one and psi sub two turn when we set the value of x :

equation left hand side psi one macron equals right hand side one minus Square root of y

equation left hand side psi two macron equals right hand side one minus Square root of z

Now we solve these equations with respect to y and z :

y equals open one minus psi macron sub one close squared times open one close

z equals open one minus psi two macron close squared

And now comes the difficult part. In order to get the final result we need to substitute the above results in the expression of f replacing psi macron with psi :

equation sequence f equals y minus z equals open one minus psi sub one close squared minus open one minus psi sub two close squared equals psi sub one squared minus psi sub two squared plus two times open psi sub two minus psi sub one close

equation sequence f equals x minus two times Square root of x times y plus y minus x plus two times Square root of x times z minus z plus two times open Square root of y minus Square root of z close equals y minus z plus two times open Square root of x plus one close times open Square root of z minus Square root of y close

It took me some time to accept that I have to substitute psi which is a more general expression than  psi macron in the equation which was derived after giving x ist particular value.

Finally:

f equals y minus z plus two times open Square root of x plus one close times open Square root of z minus Square root of y close

The reasoning is clear, once it is explained.  psi sub one and psi sub two are both solutions, hence the function of them is also a solution. Then, if we let x equals one they turn to  psi one macron and psi two macron . Then by virtue of the equations (1) we get the variables y and z and consequently the expression of phi of y comma z as required.

In the book the whole argument is presented in the most general form. However, it takes several excercises and hours of thinking to get a hands-on experience with this method.

Permalink
Share post