Group Abstract Group Abstract

Message Boards Message Boards

0
|
9.2K Views
|
5 Replies
|
3 Total Likes
View groups...
Share
Share this post:

DSolve returns with integration symbol, how to solve it? Thanks!

POSTED BY: Jiujiang Wang
5 Replies

Thanks, Sean Clarke.

I will try other methods/functions to solve my equation.

Thanks again!

POSTED BY: Jiujiang Wang
  1. Use double equal signs "==" instead of single equal "=" when expressing equality. Single equal is assignment "=". See the documentation on "Set" (http://reference.wolfram.com/language/ref/Equal.html) and "Equal" (http://reference.wolfram.com/language/ref/Equal.html) for more information.

  2. K[2] is the dummy variable of integration. It can't be equal to 0. Take a look at this example:

    DSolve[y'[x] == f[x], y, x]

    {{y -> Function[{x}, C[1] + Integrate[f[K[1]], {K[1], 1, x}]]}}

K[1] here can't be equal to 0. It wouldn't make any sense for the integral. http://mathworld.wolfram.com/DummyVariable.html

POSTED BY: Sean Clarke

I used "texp" as the full result with the integration part, and used this clause: tfexp = FullSimplify[texp, Assumptions -> K[2] = 0],

But , it returns with : Question of FullSimplify and Assumption

I will check what is the problem.

Thanks!

POSTED BY: Jiujiang Wang

Thanks, Sean Clarke. I really did not see the details of DSolve. And I am not so familiar with the software.

The equation should be evaluatable because I can use every single part of the complicated equations for explicit solution.

I will try the FullSimplify and Assumption you provided.

Thanks again!

POSTED BY: Jiujiang Wang

From the documentation on DSolve:

Solutions given by DSolve sometimes include integrals that cannot be carried out explicitly by Integrate. Variables K[1], K[2], ... are used in such integrals.

Here's a simple example which produces output with an integral:

DSolve[y'[x] == f[x], y, x]

{{y -> Function[{x}, C[1] + Integrate[f[K[1]], {K[1], 1, x}]]}}

There's no way to just get rid of the integral. It has to exist in this output.

Do you believe that the integral it gives should be evaluatable? If so, what is the integral? Maybe the integral is evaluatable under some kind of assumption like "C[1] is a positive real number". If that's the case, you might be able to use FullSimplify and Assumptions to get your answer. If not, then the Integral is an inherent part of the symbolic solution.

POSTED BY: Sean Clarke
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard