For questions about symbolic computation, as opposed to numerical computations.

learn more… | top users | synonyms

2
votes
2answers
89 views

How to deduce the Ramanujan's summation of this series?

I have already asked a similar question about Ramanujan's summation in general but received no good answers. Now I am interested in this exact series: $$\sum _{n\ge1}^\Re (24 n + 12 n^2)$$
1
vote
1answer
72 views

How to convert a rational parametric plane curve into implicit form?

This problem is generated from another Green's theorem related question of mine. And here is a forward of the same problem in math.stackexchange. The original equation of the plane curve is not in ...
4
votes
0answers
91 views

Simplest identity that cannot be proved by FullSimplify [closed]

Apparently, FullSimplify is not able to prove all true identities, but usually it does pretty well when it comes to elementary functions. I'd like to know what are ...
10
votes
5answers
2k views

How to get exact roots of this polynomial?

The equation $$ 64x^7 -112x^5 -8x^4 +56x^3 +8x^2 -7x - 1 = 0 $$ has seven solutions $x = 1$, $x = -\dfrac{1}{2}$ and $x = \cos \dfrac{2n\pi}{11}$, where $n$ runs from $1$ to $5$. With ...
0
votes
0answers
57 views

How to accelerate Simplify and Series? [closed]

A recent project of mine requires a lot of symbolic calculations in Mathematica and is very time consuming. By experiments I have found that the most time consuming parts are: ...
1
vote
1answer
59 views

Recurrence relation for multivariate polynomials

I am trying to define a function which recursively computes a polynomial associated to every binary string: ComputePoly[s_]:=(** Recurse on the string s**) For ...
0
votes
3answers
71 views

Identify a scalar, a list

I have a symbolic scalar m2 and a symbolic list (representing a 3x3 matrix) A. I want a function which does something like: ...
1
vote
2answers
209 views

Symbolic integral with distributions

Why is Integrate[ HeavisideTheta[1 - x^2] DiracDelta[1 - x^2] , {x, 0, 1} ] (*0*) It should be HeavisideTheta[0]?
10
votes
1answer
323 views

Is it possible to implement symbolic sub matrices?

The accepted answer in the question Symbolic matrices in Mathematica with unknown dimensions provides a functionality to create symbolic matrices which behave pretty much as the name suggests. ...
3
votes
2answers
126 views

Symbolic multiplicative partitions

Let $p_n\#\equiv\prod_{k=1}^{n}p_k$ (primorial): p[n_] := Times @@ Prime[Range[n]] then the multiplicative partitions of $p_{1,2,3,4}\#$ are $$ \{\{2\}\},$$$$ ...
9
votes
1answer
155 views

When to use GenerateConditions -> True

Many functions, usuallly those involving integration, take a GenerateConditions option which often defaults to False, or at ...
3
votes
1answer
109 views

Strange integration

Bug introduced in 9.0 or earlier and fixed in 10.1 Note: Beginning with V10.1, this integral returns unevaluated but without error messages. I tried to evaluate this line ...
1
vote
1answer
89 views

Factor terms by kets

I have an expression that contains several kets with numerical factors. I would like to retrieve the individual kets and store each individually as a list element. The expression is as follows: ...
20
votes
1answer
541 views

Incorrect result from Integrate

Bug introduced in 8.0 and fixed in 10.0 I attempted to calculate the following integral: ...
1
vote
2answers
141 views

Solve a symbolic underdetermined Linear System

Dear StackExchange Community, I'm trying to solve an indeterminate linear system of equations, with $n+1$ variables and $n$ equations; therefore, I need to express all $n$ other variables a function ...
5
votes
3answers
182 views

How to simplify symbolic expressions with KroneckerProduct

Having $X,Y$ being symbols for matrices, I was wondering if there is a way to simplify expressions like KroneckerProduct[X, X] + KroneckerProduct[-X, X] to ...
4
votes
0answers
44 views

How to take the second derivative of a complicated function using limits [closed]

I have a very complicated function of one variable consisting of exponential and error functions combined in various ways. Mathematica can't take the derivative of this function in the usual way ...
4
votes
1answer
192 views

How to do this complex integration on the real line?

$m, r$ are parameters in the following integral: Integrate[z Exp[I z r]/Sqrt[z^2 + m^2], {z, -∞, ∞}] How to do this integration directly? The result should be ...
20
votes
4answers
425 views

Negative probability?

Bug introduced in 9.0.1 and fixed in 10.0.2 I am trying to get the sum of the squares of seven random variables, all uniformly distributed. This is what I tried. ...
1
vote
1answer
117 views

How does one verify the derivative of $ f(x) = \sum^{K_2}_{k_2=1} c_{k_2} \exp\left(- \big(a^{(2)} - t^{(2)}_{k_2}\big)^2\right)$

I wanted to verify the derivative of the following equation: $$ f(x) = \sum^{K_2}_{k_2=1} c_{k_2} \exp\left(- \big(a^{(2)} - t^{(2)}_{k_2}\big)^2\right)$$ for that I wanted to write a symbolic ...
1
vote
0answers
55 views

How can I find the formal derivative of a polynomial w.r.t. to its coefficients [duplicate]

I want to define a function $f(x)$ as in $\quad \quad f(x) = \sum^{n}_{i=0} c_i x^i$ as a symbolic expression. Then I'd like to do operations on it. For example, take derivatives of it with respect ...
0
votes
0answers
43 views

Partial derivative of recursive exponential $f(x)=\sum^{K_2}_{k_2=1}c_{k_2}\exp(-z^{(2)}_{k2})$ w.r.t. the deepest parameter

I was trying to take the derivative of the following equation (which can be depicted nicely in a tree like structure, look at the end of question for diagram): $$f(x) = f([x_1, ..., x_{N_p}])= ...
2
votes
1answer
186 views

Check for holomorphy of a function

Given a (rather complicated) function H(z), what is the best approach to check symbolically whether it is holomorphic? What I tried is checking explicitly the ...
11
votes
2answers
358 views
1
vote
0answers
177 views

Calculate the power spectral density of a Markov chain

I would like to calculate the symbolic power spectral density of a two state Markov process with a symbolic transition matrix characterised by two parameters. I have tried the code below, but it ...
0
votes
1answer
41 views

Why can not the vector be transposed in integrating over a region? [duplicate]

Clear[x, A]; A = {{2, -1, 0}, {-1, 2, -1}, {0, -1, 1}}; Integrate[Exp[-x.A.{x}\[Transpose]/2], x \[Element] FullRegion[3]] This code raises an error ...
0
votes
1answer
63 views

Multivariate Equation solving [closed]

I have the following equation: r^(1 + Rho) - r^Rho (-1 + Mu) - z Rho == 0 I searched the list but I couldn't come up with a solution. Any help is appreciated. ...
2
votes
1answer
56 views

Dropping rational coefficients

I have a list of expressions (they all are exact numeric quantities, not containing any variables), some of them have integer or rationals coefficients, or complex coefficients with rational or ...
1
vote
1answer
49 views

How to apply Simplify only to elements of list that cause specific Warning

I have a set of replacement rules I use to analytically compute nested integrals of very long symbolic expressions since Integrate literally takes forever. To do ...
2
votes
0answers
50 views

Parallel evaluation of symbolic matrix eigenvalues

I'm trying to find eigenvalues of symbolic hermitian 40x40 block matrix. It is made from 20 2x2 matrices like this: ArrayFlatten[Table[M[m,n],{m,1,20},{n,1,20}]] ...
9
votes
1answer
167 views

Comparing exact expressions for equality — is it really OK if I get wrong answer?

Bug introduced in 7.0 or earlier and fixed in 10.2.0 I found an unexpected behavior (that I think of as a bug) in evaluation of the equality operator applied to mathematical functions with exact ...
14
votes
2answers
379 views

Symbolic area calculation for a parametric self-intersecting closed curve

The parametric equation of the curve is: $$\begin{cases} x &= -9 \sin (2 t)-5 \sin (3 t) \\[6pt] y & = 9 \cos (2 t)-5 \cos (3 t) \end{cases}\quad t\in[0,2\pi]$$ which can be easily ...
3
votes
0answers
32 views

Analytical Fourier Transforms with convolution rule [closed]

The task is the following, how to extend Mathematica's FourierTransform command in order to be able to analytically deal with non-linear differential equations. To do so it should be able to deal with ...
1
vote
1answer
134 views

How to speed up an optimization with very long symbolic expressions?

I have 8 very long symbolic expressions (each having around 200,000 summands) - Simplify will run forever, so that is unfortunately not an option. Each of those ...
2
votes
2answers
127 views

MaxValue of a periodic function

I want to find the maximum of a periodic function on the interval [-Pi,Pi]. What I tried is the following: ...
6
votes
1answer
159 views

Defining a function implicitly and calculating its derivatives

I'm interested in using Mathematica's symbolic manipulation to obtain, for a particular function $f$, derivatives of arbitrary order evaluated at zero. Normally I'd use the ...
14
votes
3answers
401 views

Solve a trig equation system

Background of the problem In the same plane, P is a fixed point, A,B,C are moving point, PA=a, PB=b, PC=c, find the maximize perimeter of △ABC. let ∠BPC=A, ∠CPA=B, ∠APB=2*Pi-A-B, then the ...
32
votes
1answer
648 views

How to augment the realm of functions Mathematica thinks it knows how to integrate symbolically

My question involves extending the functionality of Integrate over specific integrals in the most generic manner. Specifically, is it possible to "hack into" ...
0
votes
1answer
76 views

Symbolic matrix calculation [closed]

I have question about a matrix calculation like $\mathbf{b}^{t}\,\Sigma\,\mathbf{b}$, where $\Sigma$ is a 7 by 7 matrix, and $\mathbf{b}$ is vector of 7 elements, and each element in the vector ...
1
vote
0answers
103 views

Summing the probability distribution to 1 to convince myself

I have worked out a probability distribution and want to check its sum which is necessarily 1. First we write $$ r \triangleq \frac{(2 \lambda + \mu)^2}{2(\mu + \lambda)^2}, \quad s \triangleq ...
1
vote
1answer
143 views

Handling minus signs in mathematica

I am doing symbolic manipulations in Mathematica where expressions like $(-1)^{1/3}\left(-\log z \right)^{2/3}+\log z^{2/3}$ We see that clearly this expression is zero. But Mathematica does not ...
0
votes
1answer
59 views

How to order a polynomial in descending powers of x? [duplicate]

This should be very simple, even silly If I ask this mathematica Expand [(x + 1) (x + 2) (x + 3)] Mathematica delivers me well ...
4
votes
0answers
96 views

Symbolic integration of elliptic functions

Is there some clever way to integrate products of elliptic functions $\wp(z;g_2,g_3)$ or $\zeta(z;g_2,g_3)$ in Mathematica? Mathematica seems to be able to integrate functions like ...
16
votes
1answer
471 views

How to represent a continuous monotonic phase of Airy functions?

Note: In this question I am concerned only with real-valued variables and functions. DLMF, §9.8 Airy Functions, Modulus and Phase, formula $9.8.4$ defines the phase of Airy functions: ...
7
votes
4answers
242 views

How do I invoke the default complexity function?

Documentation on ComplexityFunction says: With the default setting ComplexityFunction->Automatic, forms are ranked ...
3
votes
0answers
71 views

Symbolically Minimizing a Max function

I'm having a tough time with seemingly simple symbolic Minimization/Maximization in Mathematica. I would like to use the Maximize function to work on some unknown random variables and so use min/max ...
21
votes
2answers
287 views

Backslide of Limit

A friend of mine showed me this example: Limit[Sum[Sin[Pi*k/n]/(n + 1/k), {k, 1, n}], n -> Infinity] This sample calculates well in v8.0.4: but not in ...
1
vote
0answers
48 views

Analogue of Maple's `identify` command in Mathematica [duplicate]

In Maple there is a useful command identify that tries to find a closed form expression based on its numeric approximation. As far as I know there is no built-in ...
11
votes
1answer
770 views