I emailed my adviser…at least I think she’s my adviser. I had an adviser, but was later given her as an adviser, then she went on sabbatical and was reassigned to my original adviser, but now he’s on sabbatical, so I’m not 100% sure. Regardless, she’s someone of mathematical authority who tells me what I do and I subsequently obey.
After failing my qual on financial mathematics I decided to change some things in my life. One of them is actually being proactive and begin preparing for my qual on Partial Differntial Equations (PDEs) in four months.Her advice was “be sure to solve any problem in Applied Partial Differential Equations” by Ockendon, Howison, Lacey, and Movchan. Which is doable if I can solve two a day. Well, that was one piece, the others were take different quals.
Quasi-linear PDEs are the second worst type of PDEs after and nonlinear PDEs. Or to phrase it positively, the third best type of PDEs after linear PDEs and semi-linear PDEs.
Life is already complex, so we restrict ourselves to a function of two variables . Anymore variables doesn’t provide additional insight, any less and it is not a PDE and this isn’t a post about how I loathe Ordinary Differential Equations (ODEs).
Suppose our function satisfies the PDE . We can graph and get a surface laying in three dimensional space. We can rewrite our PDE as an inner product of two vectors .
is the normal vector to the surface , which means is in the tangent plane of at any specific point.
Our plan of attack is introducing a “time” parameter to construct a curve that will satisfy our PDE and consequently trace a path on the solution surface of . This approach allows us to convert our PDE into a system of ODEs, which makes life simpler.
Thus we need to solve . We can’t fully solve a system of ODEs without specifying initial conditions or starting point. As we change the initial conditions we produce different curves. We add a second parameter to vary our starting points so we have a family of curves that when collected produces the two-dimensional surface of . So at time we let . Our choice of will be determined by the boundary/initial condition of our original PDE.
Ockendon, Howison, Lacey, and Movchan’s give a cute problem. They try to model the process of proof-reading a textbook. They construct a family of functions which represent the probability after time spent proof-reading, there are still errors in the draft. Then they construct the function , and the resulting generating function satisfies the PDE . We now need to set an initial or boundary condition. If the book contains errors, they set the initial condition where is between 0 and 1.
If you’re having difficulties interpretation is confusing, it’s okay. I actually emailed Lacey trying to understand the intuition of and he replied the important part are the family of functions , and the generating function is actually obscure. Besides, this isn’t a post about quantifying the editorial process, but about how to solve a certain class of PDEs.
We’ve already introduced a lot, and now have used in two completely different ways. So let’s rewrite their example PDE as to be consistent with the notation in the exposition. This is actually a pleasant introduction to the method of characteristics. This PDE is actually not just semi-linear but entirely linear (it’d be strictly semi-linear if the right-hand side was a function instead of 0 (and then in the case we would then again get a linear PDE)), which is a nicer class to deal with than quasi-linear PDEs, and nonlinear PDEs are just big “fuck you”s. Our system of ODEs are . Our initial condition hints that are initial conditions should probably be . I’m not going to do all the algebra for you.
Let’s solve. , so (our constant of integration is actually a function of since our curve depends on the value of starting point parameter ), and , since we have . , , since we have . Now for the non-trivial ODE. , or . Thus . By assumption is between 0 and 1, so (I originally skipped this nuance and got the completely wrong answer), hence . Plugging in we have . Therefore . I’m not going to do all the algebra for you.
Sometimes life isn’t simple and we can’t solve for and explicitly in terms of and , and we just have to plot the characteristic lines but thankfully we can arrive at an explicit solution. We have and , and thus . I’m not going to do all the algebra for you.
Part 2 will cover a quasi-linear PDE with an explicit solution, while Part 3 will cover a quasi-linear PDE with a non-explicit solution expressed parametrically.
As always, all corrections and suggestions are welcomed.
EDITED: Rephrased a paragraph at the suggestion of Andrew Lacey.