MathGroup Archive 2008

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Adding assumptions to SOLVE

  • To: mathgroup at smc.vnet.net
  • Subject: [mg90920] Re: Adding assumptions to SOLVE
  • From: Jean-Marc Gulliet <jeanmarc.gulliet at gmail.com>
  • Date: Tue, 29 Jul 2008 06:10:38 -0400 (EDT)
  • Organization: The Open University, Milton Keynes, UK
  • References: <g6mauf$i27$1@smc.vnet.net>

Joe Hays wrote:

> Newbie question.
> 
> SOLVE documentation indicates I have to include assumptions to solve this (I
> thought) simple problem:
> 
> <snip>
> r[t] = {x[t] - L*Sin[q[t]], L*Cos[q[t]]};
> r'[t] = D[r[t], t];
> r''[t] = D[r'[t], t];
> 
> Eq1 =  Mc*x''[t] - u + N
> Eq2 = Mp*({1, 0}.r''[t]) - N
> Eq3 =  Mp*({0, 1}.r''[t]) - P + Mp*g
> Eq4 = J*q''[t] - P*L*Sin[q[t]] - N*L*Cos[q[t]]
> 
> Solve[{Eq1 == 0, Eq2 == 0, Eq3 == 0, Eq4 == 0}, {x''[t], q''[t]}]
> </snip>
> 
> My assumptions are:
> 
>    - N > 0
>    - P > 0
>    - g > 0
>    - L > 0
>    - Mc > 0
>    - Mp > 0
> 
> Yet, I can't figure out how to get Solve to return the sybolic equations for
> x''[t] and q''[t]. What am I missing?

I am dubitative by what you wrote, since:

     Solve[] mostly solve linear and polynomial equations and
             *cannot* handle inequalities.

     Reduce[] does handle inequalities as well as a larger range of
              functions than Solve[].

     Neither Solve[] nor Reduce[] will solve differential equations.

     However, *DSolve[]* is designed to solve differential equations.

Therefore, you should use DSolve[] to solve for x and q of t, then you 
can get their second derivative w.r.t t.

HTH,
-- Jean-Marc


  • Prev by Date: Re: How to produce variable substitution list?
  • Next by Date: Re: Method Option
  • Previous by thread: Adding assumptions to SOLVE
  • Next by thread: Re: Warning for use of 3D Graphics manipulation with notebook