Questions tagged [assumptions]

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

54 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
12
votes
0answers
361 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 ...
7
votes
0answers
211 views

What is a “generic case”?

Introduction With this question I am coming back to a long-standing issue I have with Mma's concept of a "generically correct" result. The basic idea seems to be, vaguely, that if a result is true in ...
7
votes
0answers
105 views

Need explanation on strange behavior of Simplify under given assumption

This is quite surprising to me. Simplify[a == b, {a == {1}, b == {1}}] a == b does not evaluate the equality, while ...
5
votes
0answers
121 views

Integrate under assumptions

I am trying to solve the following integral: $$\int_0^\infty u^{\sigma-1} \exp\left[-c u^\sigma\right] \mathrm{d}u$$ under the assumptions $\sigma \in (0,1)$ and $c>0$. I know the result is $$\...
5
votes
0answers
88 views

External and internal Assumptions on `PiecewiseExpand` and `Mod`

After this question I'm intrigued about the different behaviors depending where and how the assumptions are given. ...
5
votes
0answers
75 views

SumConvergence fails in version 10

SumConvergence[(-1)^(n + 1) ((Cos[n^2] + Sin[n + 2])/7^n), n] Mathematica fails to provide a result (true/false) but wolfram alpha works. What should I do ? It ...
5
votes
0answers
165 views

Why does setting $Assumptions make my Fourier transforms slow?

Consider these Fourier transforms ...
5
votes
0answers
191 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): ...
4
votes
0answers
99 views

Trigonometric integral with assumptions fails

Consider the following integral Assuming[Element[{n, m}, Integers] && n >= 0, Integrate[Cos[ϕ]^n Exp[I ϕ m], {ϕ, 0, 2 π}]] ...
4
votes
0answers
119 views

Why isn't Mathematica listening to my assumptions?

I'm trying to simplify the expression ωplus := 1/2 c (I f V + Sqrt[4 k^2 - f (f + 8 I k) V^2]) so that I can get it in the form $a+i b$. I am using the global ...
4
votes
0answers
183 views

Multiple Constrained Sum

I need to perform a multiple summation, that obeys some conditions. This arises in the study of a statistical physics model. q=Exp[-β]. I would like to ask if ...
4
votes
0answers
165 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 ...
3
votes
0answers
73 views

List vs. && in Assumptions

When one gives values to the $Assumptions variable, it seems to not matter whether you separate the conditions with && or just give is a list of the ...
3
votes
0answers
367 views

How to simplify exponentials into hyperbolic functions

I have a function of real exponentials and I'd like to simplify it using hyperbolic functions. How can I tell mathematica to use $e^x +e^{-x}=2\cosh(x)$ when simplifying? (and obviusly the $\sinh$ ...
3
votes
0answers
41 views

Evaluating inequality involving powers

I want to evaluate an inequality of the form $x^a > x$ under the assumptions $x > 1$ and $a > 1$. I expect this inequality to be true, but ...
2
votes
0answers
50 views

How to express continuity assumption for Integrate?

I am wondering if it is possible, and how if so, to express function continuity in the assumptions for the definite form of Integrate. First of all, while ...
2
votes
0answers
83 views

Fourier Cos coefficient vs Integrate vs common sense

I was trying to find out what the (discrete) Fourier transformation of the following function is $$ f(\nu, u) = \frac{\sinh \nu}{\cosh \nu - \cos u} $$ So at first, I tried to evaluate a fancy MMA ...
2
votes
0answers
94 views

Error computing sum “Infinite expression 1/0 encountered”

I am trying to calculate a symbolic sum.The expression is defined as follows: ...
2
votes
0answers
326 views

Piecewise functions Integration with symbol

I want to integrate one piecewise functions as following, ...
2
votes
0answers
136 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 <...
2
votes
0answers
538 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
846 views

I can't solve this set of equations

I am having trouble solving a set of equations using Mathematica 8. I do not get any errors, but I don't get any solutions either. My parameters and variables are real and non-negative. ...
1
vote
0answers
47 views

Different integral results within equivalent conditions

I input 3 functions as following, ...
1
vote
0answers
53 views

ConditionalExpression still resulting from Assuming a Module's local variables

I have a memoizing, recursive function whose MWE looks like this (the two fake inputs/ICs are from 'K' and 'Bfun2', the latter just a quick way to check the results coming out of the Residue.: ...
1
vote
0answers
40 views

How to define a variable $x$ such that $Abs[x]<1$ and use this globally without having to re-write it again and again?

I am writing a code or a calculation of a very complicated function and my main variable is $x$ such that $-1<x<1$. This assumption has to simplify my final answer a lot, but since the final ...
1
vote
0answers
94 views

Finding the limit of an expression correctly

I have an algebraic curve given by ...
1
vote
0answers
40 views

Assigning domains of variables automatically

I want to find a feasible solution for mixed integer linear program. The first $t$ variables in the system are integers and other are reals. The problem is that the no. of variables is more than ...
1
vote
0answers
354 views

Assumptions aren't working in this sum

I have a sum that should be real: FullSimplify@Sum[1/(α n^4 + β), {n, 1, ∞}, Assumptions -> α > 0 && β > 0] But the result have involved even ...
1
vote
0answers
242 views

Assumptions don't work as expected in FourierTransform

The 2D rectangular function and its Fourier Transform is $$ g_{in}(x,\,y) = rect(\frac{x}{x0}) \, rect(\frac{y}{y0}) \quad \xrightarrow{\mathscr{F}} \quad G_{in}(u,v) = x0 \, y0 \, sinc(\pi u x0) \, ...
1
vote
0answers
415 views

How can I force the assumption that a symbol is a vector of n zeros

Using $Assumptions = Element[n, Integers] && Element[a, Vectors[n, Reals]] I can assume that a is a n-dimensional vector of Reals. How can I assume that ...
1
vote
0answers
323 views

Using assumptions when calling Simplify from Collect

I am quite new to Mathematica, so please be patient ;) I have a very long equation that I have to sort for powers of a variable called e and that I want to ...
1
vote
0answers
118 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
31 views

Solving an integral using assumptions

I am trying to solve the integral Integrate[(Sin(theta))/sqrt((r^2) + (s^2) - 2 rs(cos(theta))), {theta, 0, pi}] with assumptions that ...
0
votes
0answers
25 views

Vanishing with the derivative terms in perturbation theory

Following the question in here, now I would like to make the terms with derivatives to vanish. To shortly explain, given a variable decomposed as follows: $a(t,r) = a(r) + \delta a(t,r)$ in my long ...
0
votes
0answers
31 views

Simplifying a sum

The expression I'm trying to do something with is Sum[1/(a!(s-a)!)b^(-(2a+1)/2) Sqrt[\[Pi]](2a)!/(4^a (a)!)Pochhammer[-a,k],{a,k,s}] where ...
0
votes
0answers
58 views

Simplify with my own assumption to a^2+b^2=C^2

I am trying to use an assumption to simplify as a^2+b^2=C: ...
0
votes
0answers
35 views

FullSimplify does not simplify at all

I have some problems simplifying things with FullSimplify. Suppose a matrix ...
0
votes
0answers
23 views

Problem with integrating special function under assumption

i found different results when integrating a special function (see below), depending where i place my assumption (x > 0, x0 > 0). The problem is that the two solutions are not compatible. In fact, if ...
0
votes
0answers
28 views

`Minimize` not working for general case

I'm trying to perform a minimization for an arbitrary natural number. If I enter a specific number, Mathematica performs the correct minimization. Am I specifying k ...
0
votes
0answers
93 views

Bug in Integrate with Assumptions?

I encountered behaviour I wasn't expecting with Integrate and thought I'd ask here before reporting a bug in case I'm just missing something obvious. A simple example is the following: Computing <...
0
votes
0answers
41 views

Not getting a solution to my maximization problem

I want to solve the following problem: For $0.5<q<1$, $q<r<1$, $0\leq n$, $0\leq n_1<=\lfloor{n/2}\rfloor$, and $n_1,n\in\mathbb{N}$ calculate $\arg max_{n_1} S(q,r,n,n_1) $ as a ...
0
votes
0answers
61 views

I assume that a parameter is real and positive, but Mathematica still assigns a phase to it

If I run this line of code Assuming[{Element[a, Reals], a > 0}, TrigToExp[ComplexExpand[Sqrt[a]]]] I get ...
0
votes
0answers
31 views

$Assumptions not taken in account

Consider the following code : ...
0
votes
0answers
74 views

Positive integers instead of integers ($\mathbb{Z}$) in assumption

I can use Integers to represent integers. How to represent positive integers? I can define ...
0
votes
0answers
76 views

Global assumptions

in the following code I evaluate a determinant of a matrix and then solve for one variable (kx). I get three solutions, but the solution kx=0 is in my opinion wrong. This one can see when one plugs kx=...
0
votes
0answers
40 views

How to test consistency of two assertions without hacking

Suppose I have a set of assumptions assum = x ∈ Reals && y ∈ Reals and I want to test an assertion like ...
0
votes
0answers
56 views

how can I solve this sum?

how can I solve this sum? Sum[1/(x[p]-x[q]),{p,1,l},p\[NotEqual]q] I tried these codes but not workin' ...
0
votes
0answers
101 views

Mathematica ignores my assumption when solving a qudratic equation

I try to solve the inequality $r-3t_0-2\sqrt{2 rt_0}<0$ with assumption that $0\leq r\leq 2t_0$. First, by observation, we can clearly see that if $r=0$, then clearly, this inequality holds. Then I ...
0
votes
0answers
51 views

Using Refine function and take real part of a symbolic expression

I am trying to take the real part of the a complex expression using Refine function. However, the result doesn't come out as expected. The final result still ...
0
votes
0answers
144 views

Integral of a step function ,

I am trying to integrate a step function given in a book, but it doesn't work. ...