Questions about the function Assuming[], the $Assumptions system variable, and the Assumptions option of functions such as Simplify[] and Integrate[].

learn more… | top users | synonyms

9
votes
1answer
191 views

Limit of sequence of functions behaving strange

I'm trying to determine the limit of the sequence of functions $$f_n(x)=\left(\frac{1}{\pi}\arctan(n x) + 1/2\right)^n. $$ I define ...
0
votes
1answer
194 views

DSolve will not apply assumption `m ∈ Integers`

I am trying to solve a linear second order ODE using DSolve which involves an arbitrary integer m. ...
18
votes
0answers
220 views

Are greek symbols causing different evaluation?

I've updated today to Mathematica 9.0.1.0 from version 8 and found something that absolutely confuses me. Let us define a piecewise function: ...
9
votes
0answers
197 views

Simplify and Sqrt, inconsistent behavior?

I have encountered some problems when using Simplify with expressions containing a square root and isolated a following test case ...
5
votes
0answers
115 views

Calculating a limit with a result that is discontinuous in the parameters

The following limit is left unevaluated (Edit: added the assumption that $\epsilon$ is real thanks to the comment below): ...
3
votes
0answers
110 views

Assuming monotonicity and concavity

I have an expression that I would like to evaluate: 2 phi''[1 + a (-1 + u[10])] phi'[q]^3 > phi''[q] phi'[q] phi'[1 + a (-1 + u[10])]^2 Is there any way of ...
2
votes
0answers
109 views

Computing a sum

I'm trying to make Mathematica compute this sum: Sum[(-1)^k (n - k)^2 Binomial[2 n, k], {k, 0, n}] As is, I get an awful formula: ...
2
votes
0answers
324 views

I can't solve this set of equations

I am having trouble solving a set of equations in mathematica. I do not get any errors, but i don't get any answers as well. I have some restrictions on my parameters and variables in the equations ...
1
vote
0answers
71 views

How does TensorReduce use assumptions?

I would like to use TensorReduce by assuming that certain patterns of functions are tensors. From documentation of TensorReduce: ...
0
votes
0answers
48 views

Getting long complex-valued integrals when simpler real-valued expressions exist

I have a long list of real-valued functions I'd like to integrate symbolically. For many of them, Mathematica gives me results with long complex-valued expressions involving weird functions such as ...
0
votes
0answers
24 views

Assumptions for simplifying a long equation

I'm having trouble combining assumptions with the execution of Simplify in a long equation. The idea is to separate imaginary and real parts of a complex equation. ...
0
votes
0answers
44 views

Making sense of output of Assuming/Refine

I have a conditional statement as output: ...
0
votes
0answers
60 views

Inconsistent behavior of Assuming[] in combination with Simplify[]

The following integral gives the correct result ...
0
votes
0answers
106 views

Solve differential equation with undetermined constants making the assumption that the constants are positive

I want to solve: eqn = D[f[w], {w,2}] + (3/2 c^2 k Exp[c w] - 9/4 c^2 k^2 Exp[2 c w]) f[w] + m^2 f[w] sol = DSolve[eqn == 0, f[w], w] with the assumption ...