3

I'm trying to solve this Cauchy problem:

$$ u_x^2 + u_y^2 = u \\ u(x,0) = x^2+1$$

Here's what I've tried so far:

Letting $p(r,s) = u_x$, $q(r,s) = u_y$ and $z(r,s) = u$, we have:

$$ F = p^2 + q^2 - z = 0 $$

and thus:

$$ \begin{align} \frac{dx}{ds} &= F_p = 2p \\ \frac{dy}{ds} &= F_q = 2q \\ \frac{dz}{ds} &= pF_p + qF_q = 2p^2 + 2q^2 = 2z\\ \frac{dp}{ds} &= -F_x -pF_z = -(0) -p(-1) = p \\ \frac{dq}{ds} &= -F_y -qF_z = -(0) -q(-1) = q \\ \end{align}$$

Also, $\Gamma(r,0) = r^2 +1 $, and

$$ \begin{align} (r^2+1)' &= \phi_1 \cdot (r)' + \phi_2 \cdot (0)' \\ \implies 2r &= \phi_1 \end{align}$$

so that:

$$ \begin{align} (2r)^2 + \phi_2^2 &= r^2+1 \\ \implies 4r^2 + \phi_2^2 &= r^2+1 \\ \implies \phi_2^2 &= -3r^2 + 1 \\ \implies \phi_2 &= \pm \sqrt{ -3r^2 +1 } \end{align} $$

Which leads to:

$$ \begin{align} p &= e^s 2r \\ q &= e^s \sqrt{ -3r^2 +1 } \\ \implies x &= 4e^s r - 3r \\ \text{and } y & = 2e^s \cdot ( \pm \sqrt{ -3r^2 +1 } ) \mp \sqrt{ -3r^2 +1 }\end{align} $$

And I'm pretty sure by now it's gone way off the rails, because I can't solve for for $s$ and $r$ in terms of $x$ and $y$, but I can't figure out where I went wrong.

Could anybody please shed some light?

mlaci
  • 251
  • Similar to https://math.stackexchange.com/questions/1033906 – doraemonpaul May 16 '17 at 03:21
  • 1
    Are you sure your PDE and initial condition is correct? – Matthew Cassell May 16 '17 at 14:33
  • An initial condition like $u = 1 + \frac{x^2}{4}$ would make it so much easier. Then taking an ansatz on the form $u = a + bx + cy + dxy + ex^2 + fy^2$ would work. In this case it does not. – Winther May 16 '17 at 23:40
  • @mlaci : The difficulty appears just after the calculus of $p$ and $q$ (about where you stopped). The solving involves a four degree polynomial equation. See an explanation in my answer. – JJacquelin May 17 '17 at 10:02
  • @doraemonpaul , Very similar, indeed! I had found that one using Google, but this problem was presented in the midst of other ones that were supposed to be solved using the method I started with above, so I figured the $x^2+1$ would have made a difference, and that I had just made a mistake somewhere in using the method. – mlaci May 18 '17 at 01:51
  • @Mattos , I wrote it as is presented in the problem sheet that I got, I'll have to ask my professor if something went wrong there. – mlaci May 18 '17 at 01:54
  • @Winther , That's good to know (for future reference). Thank you! – mlaci May 18 '17 at 01:54

3 Answers3

3

Obviously, the main difficulty comes from the boundary condition $u(x,0)=x^2+1$ because it involves to solve a polynomial equation leading to huge formula. Even if the solving is theoretically possible, one have to merely accept a result on implicit form.

To make more clear where the difficulty arises, we will avoid the profusion of symbols introduced into the usual method of characteristics, but in following the same approach in fact. $$u_x^2+u_y^2=u \quad;\quad u(x,0)=x^2+1$$ First change of function :$\quad u=v^2\quad\begin{cases}u_x=2vv_x \\ u_y=2vv_y\end{cases}\quad\to\quad v_x^2+v_y^2=\frac{1}{4}\quad;\quad v(x,0)=\sqrt{x^2+1}$

$$v_y=\sqrt{\frac{1}{4}-v_x^2} \quad\to\quad v_{xy}=\frac{v_xv_{xx}}{\sqrt{\frac{1}{4}-v_x^2}}$$ Second change of function : $\quad w=v_x\quad\to\quad w_{y}=\frac{ww_{x}}{\sqrt{\frac{1}{4}-w^2}}$ $$\sqrt{\frac{1}{4}-w^2}\:w_y-2w\:w_x=0 \quad;\quad w(x,0)=v_x(x,0)=\frac{x}{\sqrt{x^2+1}}$$

This is a first order PDE. The set of characteristic ODEs is : $\quad \frac{dy}{\sqrt{\frac{1}{4}-w^2}}=\frac{dx}{-2w}=\frac{dw}{0}$

First family of characteristic curves, coming from $dw=0 \quad\to\quad w=c_1$

Second family of characteristic curves, from $\frac{dy}{\sqrt{\frac{1}{4}-c_1^2}}=\frac{dx}{-2c_1} \quad\to\quad 2c_1y+\sqrt{\frac{1}{4}-c_1^2}x=c_2$

The general solution can be presented on various forms :$\begin{cases} \Phi\left(w\:,\: 2wy+\sqrt{\frac{1}{4}-w^2}\:x\right)=0\\ w=f\left(2wy+\sqrt{\frac{1}{4}-w^2}\:x\right)\\ 2wy+\sqrt{\frac{1}{4}-w^2}\:x=F(w)\end{cases}$

where $\Phi$ , $f$ , $F$ are any differentiable functions. Any one of these functions has to be determined according to the boundary condition.

$$w(x,0)=\frac{x}{\sqrt{x^2+1}}\quad\to\quad 2\frac{x}{\sqrt{x^2+1}}0+\sqrt{\frac{1}{4}-\left(\frac{x}{\sqrt{x^2+1}}\right)^2}\:x=F\left(\frac{x}{\sqrt{x^2+1}}\right)$$

Let $t=\frac{x}{\sqrt{x^2+1}} \quad\to\quad x=\frac{t}{\sqrt{1-t^2}} \quad\to\quad \sqrt{\frac{1}{4}-t^2}\:\frac{t}{\sqrt{1-t^2}} =F\left(t\right)$

Now, the function $F$ is determined. We put it into the above general solution :

$$2wy+\sqrt{\frac{1}{4}-w^2}\:x=\sqrt{\frac{1}{4}-w^2}\:\frac{w}{\sqrt{1-w^2}}$$

$$\frac{4}{\sqrt{1-4w^2}}\:y+\frac{x}{w}=\frac{1}{\sqrt{1-w^2}}$$

Solving this equation for $w$ leads to $\quad w(x,y)$

In fact, this is a four degree polynomial equation. One can solve it analytically, but this involves huge formulas. That is the hitch.

So, we let $w$ on the implicit form of the above equation and, from it, we consider that $w(x,y)$ is known.

$w=\frac{u_x}{2\sqrt{u}}\quad\to\quad \int \frac{u_x}{2\sqrt{u}}=\sqrt{u}=\int w(x,y)dx$ $$u(x,y)=\left(\int w(x,y)dx \right)^2$$

JJacquelin
  • 68,401
  • 4
  • 40
  • 91
  • Thank you very much for that very detailed answer! Although I think that this wasn't what the teacher had in mind (I could be wrong), I was able to follow almost everything you did, so I'm very grateful. Just two questions though: 1) When you write $\Phi\left(w:,: 2c_1y+\sqrt{\frac{1}{4}-w^2}:x\right)=0$ and $w=\frac{u_x}{\sqrt{u}}\quad\to\quad \int \frac{u_x}{\sqrt{u}}=2\sqrt{u}=\int w(x,y)dx$, is this $c_1$ is not equal to $w$ in this instance? 2) When you write $w=\frac{u_x}{\sqrt{u}}$, should there not be a 2 in the denominator in the right-hand side? – mlaci May 18 '17 at 02:13
  • Oh, sorry, third question:
    1. It's possible to write the equations in the first question only because both $w$ and that whole $2c_1 y + ...x$ equal constants, right? Or would it be possible regardless?
    – mlaci May 18 '17 at 02:13
  • 1
  • $w$ is not equal to $c_1$ in general. $w=c_1$ only on the characteristics curves. 2) You are right, it's a typo, now corrected. 3) The two family of characteristic curves define two surfaces which intersection gives a specific value for $c_1$ and $c_2$ , that is one of the characteristic curves. In return, to each arbitrary relationship of the general solution corresponds a particular characteristic curve (with a particular couple $c_1,c_2$) on which the PDE is satisfied.
  • – JJacquelin May 18 '17 at 07:10
  • 1
    For examples, see : https://www.math.ualberta.ca/~xinweiyu/436.A1.12f/PDE_Meth_Characteristics.pdf – JJacquelin May 18 '17 at 07:18
  • Once again, thank you very much! – mlaci May 19 '17 at 00:40