Main Page | Report this Page
 
   
Science Forum Index  »  Math - Numerical Analysis Forum  »  euler without d/dt? time-independent conservation law.
Page 1 of 1    
Author Message
Phil Scadden
Posted: Thu Mar 01, 2007 10:47 pm
Guest
Looking to solve time-independent conservation law.
[f(u)]_x + [g(u)]_y =0

with initial condtions u(x_0(t),y_0(t))=u_0

and boundary conditions u(x_0),y) and u(x,y_0)

There is plenty on time-dependent or on special cases where various things
are constant and allow

analytical solution but would appreciate pointers on how to code this system
of PDEs.
DP
Posted: Fri Mar 02, 2007 4:11 am
Guest
Phil Scadden wrote:
Quote:
Looking to solve time-independent conservation law.
[f(u)]_x + [g(u)]_y =0

with initial condtions u(x_0(t),y_0(t))=u_0

and boundary conditions u(x_0),y) and u(x,y_0)

There is plenty on time-dependent or on special cases where various things
are constant and allow

analytical solution but would appreciate pointers on how to code this system
of PDEs.

The time-dependent methods apply when you consider for example x as the time
and y as a space coordinate.
Helmut Jarausch
Posted: Fri Mar 02, 2007 8:19 am
Guest
Phil Scadden wrote:
Quote:
Looking to solve time-independent conservation law.
[f(u)]_x + [g(u)]_y =0

with initial condtions u(x_0(t),y_0(t))=u_0

and boundary conditions u(x_0),y) and u(x,y_0)

snip

let's rewrite your equation to
(*) fp(u)*u_x + gp(u)*u_y=0 where fp(u) is the derivate of f at u(x,y).

Now make the ansatz (characteristic) y= y(x), then

(**) d/dx (u(x,y(x))= u_x + u_y*yp where yp= d/dx y .
Assume we can divide (*) by fp(u), then we get by plugging (*)
into (**) :

d/dx (u(x,y(x))= (-gp(u)/fp(u) + yp) * u_y = (**)

Now, if we solve the ODE yp(x)= gp(u(x,y(x))) / fp(u(x,y(x)),
then (***) = 0, or u(x,y(x)) = constant.

I.e., along the so-called characteristic curve (x,y(x))
the solution u is constant,
Now you can take a bunch of characteristic curves, each having
a different initial value ( y(x_0) ), the value of u(x_0,y(x_0))
is transported constantly along the characteristic curve.

If fp(u) should become zero, you have to switch to a characteristic
curve of the form (x(y),y) which can be computing similarly.


--
Helmut Jarausch

Lehrstuhl fuer Numerische Mathematik
RWTH - Aachen University
D 52056 Aachen, Germany
Phil Scadden
Posted: Sun Mar 04, 2007 11:33 pm
Guest
Quote:
let's rewrite your equation to
(*) fp(u)*u_x + gp(u)*u_y=0 where fp(u) is the derivate of f at
u(x,y).

Now make the ansatz (characteristic) y= y(x), then

(**) d/dx (u(x,y(x))= u_x + u_y*yp where yp= d/dx y .
Assume we can divide (*) by fp(u), then we get by plugging (*)
into (**) :

d/dx (u(x,y(x))= (-gp(u)/fp(u) + yp) * u_y = (**)

Now, if we solve the ODE yp(x)= gp(u(x,y(x))) / fp(u(x,y(x)),
then (***) = 0, or u(x,y(x)) = constant.

I.e., along the so-called characteristic curve (x,y(x))
the solution u is constant,

Thanks very much for taking the time to comment.
The method of characteristics works well for a system of 2 PDEs and 2
unknown functions where it is easy to identify the so called Riemann
Invariants but what if you have 4 of each? This is this issue that
struggling with here.
Lane Straatman
Posted: Mon Mar 05, 2007 2:49 am
Guest
"Helmut Jarausch" <jarausch@igpm.rwth-aachen.de> wrote in message
news:54qj34F2237qnU1@mid.dfncis.de...
Quote:
Phil Scadden wrote:
Looking to solve time-independent conservation law.
[f(u)]_x + [g(u)]_y =0

with initial condtions u(x_0(t),y_0(t))=u_0

and boundary conditions u(x_0),y) and u(x,y_0)

snip
let's rewrite your equation to
(*) fp(u)*u_x + gp(u)*u_y=0 where fp(u) is the derivate of f at
u(x,y).

Now make the ansatz (characteristic) y= y(x), then

(**) d/dx (u(x,y(x))= u_x + u_y*yp where yp= d/dx y .
I'm having trouble with the notation. Can you describe further what you

mean with "characteristic?" "Ansatz" makes more sense.

'u_x' I think wants to be "u sub x" but I can't divine what 'u_y*yp' might
be. Gruss, LS
Helmut Jarausch
Posted: Mon Mar 05, 2007 8:05 am
Guest
Phil Scadden wrote:
Quote:
let's rewrite your equation to
(*) fp(u)*u_x + gp(u)*u_y=0 where fp(u) is the derivate of f at
u(x,y).
Now make the ansatz (characteristic) y= y(x), then

(**) d/dx (u(x,y(x))= u_x + u_y*yp where yp= d/dx y .
Assume we can divide (*) by fp(u), then we get by plugging (*)
into (**) :

d/dx (u(x,y(x))= (-gp(u)/fp(u) + yp) * u_y = (**)

Now, if we solve the ODE yp(x)= gp(u(x,y(x))) / fp(u(x,y(x)),
then (***) = 0, or u(x,y(x)) = constant.

I.e., along the so-called characteristic curve (x,y(x))
the solution u is constant,

Thanks very much for taking the time to comment.
The method of characteristics works well for a system of 2 PDEs and 2
unknown functions where it is easy to identify the so called Riemann
Invariants but what if you have 4 of each? This is this issue that
struggling with here.


This wasn't clear from your original post.
Yes, for systems and more than 1 space dimension,
it gets very much harder.

You might have to study e.g. Randall Leveque's book
"Finite Volume Methods for Hyperbolic Problems",
Cambridge Univ. Press 2002.
He has authored the CLAWPACK software package, see
http://www.amath.washington.eud/~claw

Helmut.


--
Helmut Jarausch

Lehrstuhl fuer Numerische Mathematik
RWTH - Aachen University
D 52056 Aachen, Germany
Helmut Jarausch
Posted: Mon Mar 05, 2007 8:11 am
Guest
Lane Straatman wrote:
Quote:
"Helmut Jarausch" <jarausch@igpm.rwth-aachen.de> wrote in message
news:54qj34F2237qnU1@mid.dfncis.de...
Phil Scadden wrote:
Looking to solve time-independent conservation law.
[f(u)]_x + [g(u)]_y =0

with initial condtions u(x_0(t),y_0(t))=u_0

and boundary conditions u(x_0),y) and u(x,y_0)

snip
let's rewrite your equation to
(*) fp(u)*u_x + gp(u)*u_y=0 where fp(u) is the derivate of f at
u(x,y).

Now make the ansatz (characteristic) y= y(x), then

(**) d/dx (u(x,y(x))= u_x + u_y*yp where yp= d/dx y .
I'm having trouble with the notation. Can you describe further what you
mean with "characteristic?" "Ansatz" makes more sense.

Characteristic curves (that's a technical term) are curves on which the
solution is constant or given by the solution of an ordinary differential
equation.

Quote:

'u_x' I think wants to be "u sub x" but I can't divine what 'u_y*yp' might
be. Gruss, LS

u_x and u_y denote the partial derivative w.r.t. x (y, resp.).
The characteristic curve is assumed to have the form (x,y(x)); here yp is
an abbreviation for the derivative of that y(x) w.r.t. x (x being a scalar
variable).

Quote:




--
Helmut Jarausch

Lehrstuhl fuer Numerische Mathematik
RWTH - Aachen University
D 52056 Aachen, Germany
Lane Straatman
Posted: Mon Mar 05, 2007 7:36 pm
Guest
"Helmut Jarausch" <jarausch@skynet.be> wrote in message
news:45ec08d8$0$2937$ba620e4c@news.skynet.be...
Quote:
Lane Straatman wrote:
"Helmut Jarausch" <jarausch@igpm.rwth-aachen.de> wrote in message
news:54qj34F2237qnU1@mid.dfncis.de...
Phil Scadden wrote:
Looking to solve time-independent conservation law.
[f(u)]_x + [g(u)]_y =0

with initial condtions u(x_0(t),y_0(t))=u_0

and boundary conditions u(x_0),y) and u(x,y_0)

snip
let's rewrite your equation to
(*) fp(u)*u_x + gp(u)*u_y=0 where fp(u) is the derivate of f at
u(x,y).

Now make the ansatz (characteristic) y= y(x), then

(**) d/dx (u(x,y(x))= u_x + u_y*yp where yp= d/dx y .
I'm having trouble with the notation. Can you describe further what you
mean with "characteristic?" "Ansatz" makes more sense.

Characteristic curves (that's a technical term) are curves on which the
solution is constant or given by the solution of an ordinary differential
equation.
Gosh, I'm looking at my text from school that covered diff EQ. It calls the

characteristic eqn the same thing as the auxilliary eqn, which is algebraic
expression whose solution gives one good guesses for solns.


Quote:
'u_x' I think wants to be "u sub x" but I can't divine what 'u_y*yp'
might be. Gruss, LS

u_x and u_y denote the partial derivative w.r.t. x (y, resp.).
The characteristic curve is assumed to have the form (x,y(x)); here yp is
an abbreviation for the derivative of that y(x) w.r.t. x (x being a scalar
variable).
Warum hiesse denn "characteristic" "Ansatz?" LS
Lane Straatman
Posted: Tue Mar 06, 2007 5:23 pm
Guest
"Helmut Jarausch" <jarausch@skynet.be> wrote in message
news:45edbdf9$0$2938$ba620e4c@news.skynet.be...
Quote:
Lane Straatman wrote:
Warum hiesse denn "characteristic" "Ansatz?"

The German word "ansatz" means here we try to find curves on which the
solution is constant or given by an ODE. What comes out are curves
which are well-known as characteristic curves or stream-lines.
I'm missing something here, but I don't want to beat it into the ground.

Would not the above be equivalent with separability?

I've set a goal to calculate Bessel functions in fortran, which means that
I'm going to want to post something with derivatives. The notation you had
going for this problem looked like it was pretty standard for usenet. Would
I be consistent with your notation if I wrote:
x^2 * y'' + x * y' + (x^2 - p^2) * y = 0
--
LS
Helmut Jarausch
Posted: Wed Mar 07, 2007 10:53 am
Guest
Lane Straatman wrote:
Quote:
"Helmut Jarausch" <jarausch@skynet.be> wrote in message
news:45edbdf9$0$2938$ba620e4c@news.skynet.be...
Lane Straatman wrote:
Warum hiesse denn "characteristic" "Ansatz?"
The German word "ansatz" means here we try to find curves on which the
solution is constant or given by an ODE. What comes out are curves
which are well-known as characteristic curves or stream-lines.
I'm missing something here, but I don't want to beat it into the ground.
Would not the above be equivalent with separability?

I've set a goal to calculate Bessel functions in fortran, which means that
I'm going to want to post something with derivatives. The notation you had
going for this problem looked like it was pretty standard for usenet. Would
I be consistent with your notation if I wrote:
x^2 * y'' + x * y' + (x^2 - p^2) * y = 0

I have no idea where this comes from. The characteristic curves are
given by a first(!) order ODE (with varying initial conditions)

Perhaps we continue this discussion on private email.
Helmut.



--
Helmut Jarausch

Lehrstuhl fuer Numerische Mathematik
RWTH - Aachen University
D 52056 Aachen, Germany
 
Page 1 of 1       All times are GMT - 5 Hours
The time now is Fri Dec 05, 2008 2:07 am