I have noticed some features available on the site Wolfram|Alpha which I am not managing to replicate. Two examples which come to mind are the following.
Given a function $f(x)$, I want to determine its Taylor series, and its radius of convergence also. For example, take $f(x)=\ln(1-x^2)$. On Wolfram|Alpha, I get the following output:
where I get the nice "converges when $|x|<1$" detail below. I know that I can obtain the series by running the command
Series[Log[1-x^2], {x,0,8}]
, but I don't know how to get the radius of convergence. The inbuilt commandSumConvergence
does not allow one to determine the radius, since the general term of the series must be known.Suppose we have a homogeneous system of linear equations represented by the matrix equation $\mathbf{Ax}=\mathbf0$, e.g. $$\underbrace{\begin{pmatrix} 3&2&1\\7&6&k\\k&4&3 \end{pmatrix}}_{\mathbf A}\begin{pmatrix} x\\y\\z\end{pmatrix}=\begin{pmatrix} 0\\0\\0\end{pmatrix}$$ Both the
Solve
andLinearSolve
commands give only the trivial solution $x=y=z=0$ as the solution to the system. But the website gives the interesting ones too:
There are a few other situations where I have found the site more useful than the application - but so far these two have been the most frustrating. Is there any way to achieve the two above in Mathematica without having to go online?
EDIT For 2, I attempted to use Reduce
by running the following code.
Reduce[{
{3, 2, 1},
{7, 6, k},
{k, 4, 3} } . {x,y,z} == {0, 0, 0}]]
but got the following (better, but still not as good) output:
(z == 0 && y == 0 && x == 0) || ((y == -2 z || y == -((5 z)/4)) && x == 1/3 (-2 y - z) && y != 0 && k == (10 (2 y + z))/(3 y))
Reduce
. $\endgroup$(z == 0 && y == 0 && x == 0) || ((y == -2 z || y == -((5 z)/4)) && x == 1/3 (-2 y - z) && y != 0 && k == (10 (2 y + z))/(3 y))
, but this is less informative (no $z\neq 0$, and no values of $k$ for which the solutions work). $\endgroup$f[x_] := Log[1 - x^2]; FunctionDomain[f[x], x]
for the region of definition? $\endgroup$With[{c = Simplify[SeriesCoefficient[Log[1 - x^2], {x, 0, n}], n > 0]}, FullSimplify[SumConvergence[c x^n, n]]]
for the first one. For the second one, this might help:mat = {{3, 2, 1}, {7, 6, k}, {k, 4, 3}}; MapAt[NullSpace, {k, mat} /. Solve[Det[mat] == 0, k], {All, 2}]
. $\endgroup$