Questions on manipulating complicated expressions and making them look simpler using Simplify, FullSimplify and Reduce.

learn more… | top users | synonyms (3)

3
votes
1answer
113 views

How to control cancellations with Simplify functions?

FullSimplify only simplifies the result of the following calculation halfway, leaving a lot of $e^{x^2/v}$ and $e^{m^2/v}$ terms that could have been cancelled: ...
3
votes
2answers
159 views

How to simplify exponents of the form $\exp\left(i\frac{2\pi}{N}(N+1)\right)$ inside a function

I'm really annoyed with Mathematica and I need your help. I defined a discrete Fourier-Transformation(I use II instead of N, because Mathematica wont let me-.-): ...
3
votes
2answers
245 views

How can Mathematica help me to find a real radical expression for roots of this polynomial?‎

The polynomial $P(x)=x^‎‏4‏‎-‎‏4‏x^‎‏2‏‎-‎‏2‏x+‎‏1$‏‎ has ‎‏4‏‎ real roots (this can be clearly checked by plotting). But solving $P(x)=‎‏0‏‎$, using ...
3
votes
2answers
158 views

Exploiting a relation among constants

Say I have two arbitrary real constants $p,q$ that satisfy $p^2+q^2=1$. Is there any way to easily declare this relation in Mathematica? Edit More specifically I have this (among others) expression: ...
3
votes
1answer
367 views

Simplify doesn't simplify HypergeometricPFQ with exact arguments

Consider a series: $$\sum_{t=0}^\infty \frac{8^{-11-2t}(22+4t)!}{t!(11+t)!(11+2t)!(32+t)}$$ ...
3
votes
2answers
98 views

Detecting operator Set in Assumptions

Here is a typical issue: Simplify[x + y, x = y] produces 2 True. Is there a way to detect operator ...
3
votes
2answers
351 views

integral, explicit form

I want to estimate the ratio of integrals: $$ \frac{\int \frac{4 a T^3}{\frac{4 a T^4}{3}+\Lambda_1 \left(\frac{4}{T^3}+1\right)}}{\int \frac{4 a T^3}{\frac{4 a T^4}{3}+\Lambda_0 ...
3
votes
1answer
134 views

How could I expand the formula in terms of $X_{i}^{2}$ and $X_{i}X_{j}$ using Mathematica?

I have the following formula, where $X_{i}$, $i=1,2,...,n$ are variables: $F_{1}(X)$=$\frac{1}{n}\sum\limits_{k=1}^{n}\left ( ...
3
votes
1answer
203 views

Strange behavior of Reduce with a cubic equation

This equation: $(\frac{-a}{x})^2=\sqrt{\frac{1}{x}}$ at $a > 0$ and $x > 0$ has a clear solution $x=a^{4/3}$, doesn't it? However, ...
3
votes
1answer
984 views

How to get rid of all complex numbers and functions?

For almost esthetical reasons, I always have been fascinated by infinite sums of series and I always wonder if theyhave a closed form. A couple of days ago, I found on MSE a question related to the ...
3
votes
1answer
397 views

How to implement Condition programmatically?

I am writing my own symbolic functions with custom symbolic properties. So often I wish to introduce some automatic simplifications or evaluations, which return the same head as it's argument. This ...
3
votes
1answer
369 views

What's the correct method to simplify exponentials?

I have a sum of exponentials that I'd like to simplify. The issue is when I use Simplify, Mathematica loves to factor out one exponential factor. See below: $$e^{-i ...
3
votes
3answers
104 views

Simplification behaviour of subscript expression: is this correct?

Why does the code (Mathematica version 10.0.2.0, Linux x86-64): Subscript[Subscript[S,i],j] Subscript[Subscript[S,i],j] // Simplify output the expression: ...
3
votes
2answers
113 views

Show Factorial instead of Gamma in the result of RSolve

Now I wanted to solve for a recurring function with RSolve. Here's how I tried: ...
3
votes
2answers
59 views

To simplify an expression further

I have solved the following Eq to get hz: ...
3
votes
1answer
44 views

Simplifying nested KroneckerProducts

Any suggestion how to bring a nested KroneckerProduct form into just one? I mean some how converting ...
3
votes
1answer
109 views

Simplify a huge expression with limited memory

I would like to perform some analytical sums such as the following ...
3
votes
1answer
81 views

Merge Roots of Polynomial

How can I make mathematica "merge" solutions of a polynomial by using $\pm$ instead of listing the two solutions fully with only one sign difference? In particular, I am looking to "compactify" the ...
3
votes
1answer
140 views

Write Integer powers as products

I need to wirte all occasions of (a+b)^3,Ftp^2, Sin[th]^2, ...etc as (a+b)*(a+b)*(a+b), Ftp*Ftp, Sin[th]*Sin[th], ...etc ...
3
votes
1answer
127 views

How to get a more compact form of this probability calculation?

Inspired by the probability calculation here, I am trying to solve a little general one: $$\mathbb{P} (\sum_{i=1}^{m-1} A_i + \sum_{i=1}^{m} S_i < L < \sum_{i=1}^{m} A_i + \sum_{i=1}^{m+1} ...
3
votes
2answers
184 views

Mathematica not recognising closed forms as specific values

I have a Mathematica program that outputs a piecewise function, and some parts of the expression are not being recognised as specific numbers when using ...
3
votes
1answer
112 views

How to make Mathematica Simplify?

Let us define r1 = 1;r2 = 2; and ...
3
votes
1answer
298 views

Simplify equations with pattern assumptions

When simplifying an expression using Simplify[expr, assumptions], the assumptions has to be explicit. Is it possible to simplify an expression with pattern ...
3
votes
1answer
108 views

Check that a relational expression is true for all complex numbers

How can I use Mathematica to check if a statement like $$\left| \frac{\sqrt{1+2z}-2}{2z-3} \right| \le 1$$ is true for all complex numbers $z$? Also, how can I use Mathematica to check such a ...
3
votes
1answer
932 views

Simplifying an ArcTan expression

The expression $\tan ^{-1}\left(\frac{\sqrt{L^2 \sin ^2(\theta )}}{\sqrt{L^2 \cos ^2(\theta )}}\right)$ can be simplified to $\theta$. After some attempts I got the following to do the job. ...
3
votes
3answers
365 views

Mathematica not able to confirm its own solution to differential equation

I type the following into Mathematica: DSolve[q''[x] + 2 x/(x^2 - 1) q'[x] - 4*q[x]/(x^2 - 1) == 0, q[x], x] It gives me the result ...
3
votes
1answer
92 views

Simplifying a complicated expression (with no variables)

I am trying to obtain some exact analytical results without resorting to numerical approximations, and I ended up with a pretty huge expression that Mathematica is really struggling with. It has no ...
3
votes
1answer
32 views

Numerator not recognized

Here is a set of simple equations ...
3
votes
1answer
65 views

How to prevent extraction of constants from radical sign?

To me, the expression Sqrt[2]Sqrt[x] is more complex than Sqrt[2x]. But even if I merely input the latter, I get the former as ...
3
votes
1answer
56 views

Why doesn't a real variable's conjugate evaluate to itself?

I have this code (it's just a snippet to exemplify my issue): Assuming[Element[a, Reals],Conjugate[a]] Which results in the output: ...
3
votes
1answer
78 views

Simplifying an expression with complex variables

The other day I was trying to simplify the following expression of $w \in \mathbb{C}$ and $|w| < 1$: $$f(w) = \left|\frac{2}{(\frac{w+1}{1-w}+1)^2}\right|^{-\Delta} \cdot \frac{1}{\left|{\rm ...
3
votes
1answer
52 views

How to get Mathematica to make further simplifications to conditional expressions than it has already made?

I have the following Mathematica result under the assumption that {ax, bx, px, ay, by, py} \[Element] Reals, and after refinement by ...
3
votes
2answers
80 views

Is there a function for “flattening out” and setting to 0 an expression?

For example if I have some complicated expression (all variables are positive integers) but I want to multiply everything out so there are no denominators and then rearrange so that it is equal to 0, ...
3
votes
2answers
350 views

How to enforce mathematica to analytically evaluate roots?

I am interested in simplifying expressions involving HeavisideTheta. A simple example could be: HeavisideTheta[1 + x - x^2 + x^3] The best I can achieve is with ...
3
votes
1answer
223 views

FullSimplify ratio of two gamma functions

I have the following input m = 2; Gamma[n + m]/Gamma[n + 1]; FullSimplify[%] It gives me 1+n For ...
3
votes
1answer
52 views

Add rational linear expressions

I want to set work for my 17 year old calculus students and have access to Mathematica 7. I aim to create a worksheet with rational expressions which they will then decompose into partial fractions. ...
3
votes
4answers
207 views

How do I prevent exponents from being expanded when displaying text

I have a power of 2 in a list, and I want it to show as $2^{31}$ (2 with exponent 31), not 2147483648. I've tried this: ...
3
votes
1answer
338 views

How to simplify to form without imaginary unit

I have an integral that I compute with Mathematica and as a result I get a seemingly complex expression (i.e. the expression contains the imaginary unit, $i$, at some places). However, if I try to ...
3
votes
2answers
631 views

Expanding Matrix Expressions

I want Mathematica to recognize that A.(-B.C)+A.B.C = 0 Yet FullSimplify and the like leaves the expression as it is. How do I get around this?
3
votes
1answer
635 views

Nested Sums to multiple sum

I would like to automatically "move nested sums to the left". I mean, just take out of an expression all the summations and go from a nested Sum to a multiple sum. Something like starting with: ...
3
votes
1answer
155 views

Separate variables in equation

I need to know is there a way to separate the desired variables in the equation at one side of the equality. For instance, the following equation ...
3
votes
1answer
137 views

Factor fraction, where variable occurring in both, numerator and denominator, only appears once

I have an expression like $$\frac{1+a^2+2 a \cos\left(p\right)}{\left(1+b^2\right)z-1-a^2-2 \left(a+b z\right)\cos\left(p\right)}\text{.}\tag{1}$$ Is there a combination of Mathematica functions to ...
3
votes
1answer
186 views

Why do I get Floor and Ceiling in my output despite my assumptions

I am trying to simplify the following expression. ...
3
votes
1answer
206 views

Simplify product of square roots

What assumption is needed to make both outputs equal to Sqrt[P^2]/2 ...
3
votes
2answers
66 views

Simplify with assumption of unknown function [duplicate]

I have an unknown multivariate function entry[x,y,z], which is positive. Then how to get FALSE and entry[1,2,3] in the following evaluations? ...
3
votes
1answer
83 views

Integrate[] does not work when the function has an antiderivative function

This function (1 + (1 + 1/(2*Sqrt[x]))/(2*Sqrt[Sqrt[x] + x]))/(2*Sqrt[x + Sqrt[Sqrt[x] + x]]) has the antiderivative function, since ...
3
votes
1answer
139 views

Do not understand expression returned by FullSimplify

Why Mathematica returns (sec x)^2? (Tan[x]^2 + 1 - Sec[x]^2)/(Sin[x]^2 + Cos[x]^2 - 1) // FullSimplify Sec[x]^2 Because ...
3
votes
0answers
67 views

Can Mathematica reliably determine the equality of any two constructible numbers?

A constructible number is any number which can be expressed with only natural numbers and the operators $+$, $-$, $\times$, $/$, $\sqrt{}$ (square root only). Is Mathematica's ...
3
votes
0answers
78 views

How to force Series[] to compute expansions by considering non commutative multiplication?

I wish to compute the Taylor series expansion of the following iteration method $x_{k+1}=x_k-f'(x_k)^{-1}f(x_k)$ up to four terms of error ($e_k=x_k-\alpha$). When this is a scalar iteration, I very ...