How is the Method of Characteristics used to solve a differential equation?

[BrainHurts]

Homework Statement

Use the method of characteristics to solve the problem:

[itex]-xu_x + yu_y = 2xyu[/itex] and [itex]u(x,x)=x[/itex]

Homework Equations

The Attempt at a Solution

let x=x(t), y=y(t), u=u(x(t),y(t))

so

[itex] \frac{du}{dt} = \frac{∂u}{∂x} \frac{dx}{dt} + \frac{∂u}{∂y} \frac{dy}{dt} [/itex]

and

[itex]\frac{dx}{dt} = -x[/itex], [itex]\frac{dy}{dt}=y[/itex], [itex]\frac{du}{dt}=2xyu[/itex]

so solving these differential equations I get

[itex]x=e^-t[/itex] , [itex]y=e^t[/itex], and [itex] u= Ae^{2t}[/itex]

so do are the solutions just the following?

x(t) = e^-t
y(t) = e^t

and not sure what to do with u.

 

[christoff]

To start, you haven't used the initial condition. Remember when you solve the characteristic equations (eg. the [itex]dx/dt=-x[/itex]), these need initial conditions. In fact, the way you've written out your solutions for x and y, you seem to be assuming [itex]x(0)=1=y(0)[/itex], which is not what you have.

Do you know how to convert the initial condition [itex]u(x,x)=x[/itex] into a set of initial conditions for your characteristics? If you don't, let me know and I'll explain. If you do, then do it and solve the characteristic equations again. Let me know how it goes.

 

[BrainHurts]

Oh could you please explain that part on the initial condition? I don't know what you mean by converting the initial condition to a set of initial conditions for my characteristics.

 

[christoff]

Without going into a full explanation on why the method works, what you typically do is: if your initial condition is written in the form [itex]u(x,x)=g(x)[/itex], then your initial conditions for your characteristics become [tex]x(0)=x_0\\
y(0)=x_0\\
u(0)=g(x_0).[/tex] Sometimes the initial condition might look different. For example, if you had the initial condition [itex]u(5,y)=g(y)[/itex], then your initial condition would be[tex]x(0)=5\\
y(0)=y_0\\
u(0)=g(y_0).[/tex] Essentially, you parameterize the initial curve. In the case where you have [itex]n[/itex] independent variables, so [itex]u=u(x_1,\cdots,x_n)[/itex], you would parameterize the initial curve using at most [itex]n-1[/itex] parameters. Here, we had n=2, and I denoted the parameter by [itex]x_0[/itex]. We had the initial curve [itex]u(x,x)=x[/itex], so the "x" coordinate is represented by [itex]x_0[/itex], the "y" coordinate is also represented by [itex]x_0[/itex], as is the "u" coordinate. This curve is actually just a line in [itex]\mathbb{R}^3[/itex]; we can write it as [itex]\{(x,y,u)\in\mathbb{R}^3 : x=y=u\}[/itex].

For example, we could look at an initial curve in a system with three independent variables, but now the curve would (in general) be represented with up to two parameters. eg: if we had [itex]u(x,x,z)=3z-\log(x^2)[/itex], the we could parameterize this by [itex]x_0,z_0[/itex] and we would get[tex]x(0)=x_0\\
y(0)=x_0\\
z(0)=z_0\\
u(0)=3z_0-\log(x_0^2).[/tex] Do you understand the procedure?

If you want to understand how/why this works, then any decent PDE textbook with an emphasis on explicitly solving PDEs should cover this. There are also numerous resources online.

 

[BrainHurts]

Ok first I want to thank you Christoff for helping me out

But just to make sure if I understand the procedure let's see

[itex] -xu_x + yu_y = 2xyu[/itex] and [itex]u(x,x)=x[/itex]

so x=x(t), y=y(t), u=u(x(t), y(t))

so [itex]\frac{du}{dt} = \frac{∂u}{∂x} \frac{dx}{dt} + \frac{∂u}{∂y} \frac{dy}{dt} [/itex]

and we have the given 3 diff eqs.

[itex]\frac{dx}{dt}=-x[/itex] (1)

[itex]\frac{dy}{dt}=y[/itex] (2)

[itex]\frac{du}{dt}=2xyu[/itex] (3)

solving (1) and applying initial conditions I get

[itex] x(t) = x_oe^{-t} [/itex]

Similarly [itex] y(t) = x_oe^t [/itex]

and lastly solving 3

[itex]\frac{du(t)}{dt} = 2xyu [/itex] plugging in solutions from (1) and (2) we get

[itex]\frac{du}{u} = 2xydt \Rightarrow \frac{du}{u} = 2(x_oe^{-t})(x_oe^t)dt = 2x^{2}_{o}dt[/itex]

and applying initial conditions we have that [itex]u(t) = x_oe^{2x^{2}_{o}t}[/itex]

 

[christoff]

Yes, you're on the right track. Now, you have obtained [itex]u(t)=x_0e^{2x_0^2t}[/itex]. This solution is not explicitly a function of [itex]x[/itex] and [itex]y[/itex]; it is a function of the parameter [itex]x_0[/itex] and the variable [itex]t[/itex]. In the end, we want to get rid of the [itex]t[/itex]'s and [itex]x_0[/itex]'s and to somehow re-introduce the variables [itex]x,y[/itex].

We know that [itex]x=x_0e^{-t}[/itex], and so [itex]x_0=xe^t[/itex]. Also, [itex]y=x_0e^t[/itex], so that [itex]x_0=ye^{-t}[/itex]. Using these two together, we can obtain a very nice expression for [itex]x_0^2[/itex] that doesn't introduce any more [itex]t[/itex]'s into our solution; namely[tex]x_0^2=x_0 x_0=xe^t ye^{-t} = xy.[/tex] In this way, we can get rid of the parameter [itex]x_0[/itex] from our expression for [itex]u[/itex], and we arrive at[tex]u(t;x,y)=x_0e^{2x_0^2t}=xe^te^{2xyt}=xe^t(e^t)^{2xy}.[/tex] Now, we need to get rid of the [itex]t[/itex], but without bringing the parameter [itex]x_0[/itex] back in. Can you manipulate the equations [itex]x=x_0e^{-t}[/itex] and [itex]y=x_0e^t[/itex] to obtain [itex]t=t(x,y)[/itex] which is independent of the parameter [itex]x_0[/itex]? Equivalently, write [itex]e^t=G(x,y)[/itex] for some function [itex]G[/itex] which doesn't depend on [itex]x_0[/itex].

 

[BrainHurts]

ok after all is said and done, I hope the algebra is right, but going off what you said, I have that

[itex] u(t; x,y) = x\sqrt{\frac{y}{x}}(\frac{y}{x})^{xy}[/itex]

just to double check I took [itex]\frac{y}{x}=e^{2t}[/itex] and it follows that [itex]e^{t}=\sqrt{\frac{y}{x}}[/itex]

so plugging that all in I got u, and I think that's the answer.

 

[christoff]

That's exactly what I got in the end. I plugged that function into Maple and checked the partial derivatives; it is definitely the solution. One final thing of course: since your solution doesn't depend on [itex]t[/itex], you can drop the dependence on it and safely write [tex]u(x,y)=x\sqrt{\frac{y}{x}}\left(\frac{y}{x}\right)^{xy}.[/tex]

 

[BrainHurts]

Thanks so much! They need to add like a "buy this person a beer" tab somewhere on this website! I would have bought quite a few :).