Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How can we check by direct differentiation that the formula $u(x, t) = \varphi(z)$, where $z$ is given implicitly by $x − z = ta(\varphi(z))$, does indeed provide a solution of the PDE $u_t + a(u)u_x = 0$?

So here's my intuition:

find value of $z$ from $x − z = ta(\varphi(z))$, by isolating it and then substitute; I only can think of characteristics, but really can't see about the a(u)

share|improve this question
    
I added some TeX for you here ;) –  Nikita Evseev Oct 15 '12 at 7:44
    
Thanks for your help –  Buddy Holly Oct 15 '12 at 7:50
    
Could you calculate $z_x$ and $z_t$? –  Nikita Evseev Oct 15 '12 at 7:53

2 Answers 2

up vote 1 down vote accepted

I'll just continue with nikita2's solution. To find $u_x$, different the implicit equation for $z$ with respect to $x$:

\begin{align*} 1 - z_x & = ta'(\varphi(z))\varphi'(z)z_x \\ z_x & = \frac{1}{1 + ta'(\varphi(z))\varphi'(z)} \end{align*}

Substitute into $u_x = \varphi'(z)z_x$ and $u_t = \varphi'(z)z_t$ to get $u_t + a(u)u_x = 0$.

share|improve this answer

Ok, first of all $u_t = \varphi'(z)z_t$,

then differentiate the equation $x − z = ta(\varphi(z))$ and have

$-z_t=a(\varphi(z)) + ta'(\varphi(z))\varphi'(z)z_t$

Thus $z_t = -a(\varphi(z))/(ta'(\varphi(z))\varphi'(z)+1)$.

Doing the same to find $u_x = \varphi'(z)z_x$ you will obtain the aim.

share|improve this answer
    
So does that mean that I can change everywhere with "t" put an x and the same entire proof argument followed through? –  Buddy Holly Oct 15 '12 at 19:31
    
And when I tried it, I just got a mess with the a expression. I still don't see what to do –  Buddy Holly Oct 16 '12 at 4:08

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.