Group Abstract Group Abstract

Message Boards Message Boards

0
|
7.8K Views
|
2 Replies
|
1 Total Like
View groups...
Share
Share this post:

Solve the following integrals with assumptions?

Posted 6 years ago

Hi everyone,

I have come across this difficult integral today:

int1=Integrate[Sqrt[1 - s^2]/(x - s), {s, -1, 1}, 
 Assumptions -> {-1 < x < 1}]

It's the x derivative of the following function int2, which numerical integration indicates to be finite and continuous (but the numerical integration have some issues too, as shown): int1=dint2/dx

I have also tried to do numerical integration of the original integral, but the result is weird: enter image description here

I know adding "GenerateConditions->False" will help MMA to give an output:

Integrate[Sqrt[1 - s^2]/(x - s), {s, -1, 1}, 
 Assumptions -> {-1 < x < 1}, GenerateConditions -> False]

Gives output Pi x. But since I arbitrarily removed the conditions checking in MMA so I am not sure if this is the proper way doing it.

Is there any better way to evaluate either int1 or int2 in Mathematica?

Thanks in advance!

POSTED BY: Ox Clouding
2 Replies
Posted 6 years ago
POSTED BY: Ox Clouding

Here are smaller examples eliciting the behavior.

(* In[48]:=*) Integrate[Log[x - s], {s, 0, 1}, Assumptions -> 0 < x < 1]

(* Out[48]= -1 - I \[Pi] (-1 + x) - (-1 + x) Log[1 - x] + x Log[x] *)

(* In[49]:= *)Integrate[D[Log[x - s], x], {s, 0, 1}, 
 Assumptions -> 0 < x < 1]

(* During evaluation of In[49]:= Integrate::idiv: Integral of 1/(-s+x) does not converge on {0,1}.

Out[49]= Integrate[1/(-s + x), {s, 0, 1}, Assumptions -> 0 < x < 1] *)

Both are behaving correctly What they show, in essence, is that a function's antiderivative can behave better than the function..

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