Error, (in is/internal) too many levels of recursi...

Error, (in is/internal) too many levels of recursion

I get the error above when attempting to solve for the roots of partial derivative.  My results are below:

Despite the the simplifications MAPLE generated above MAPLE does not recognize the expressions as being equivalent.  So set the following for the Fourier coeffs:

 (1)

The Fourier series can now be expressed as a 1 sided series employing both the Sum vs sum vs add commands for comparison:

 (2)

 (3)

 Error, (in is/internal) too many levels of recursion

 Error, (in is/internal) too many levels of recursion

How I can pdsolve this partial fractional equatio...

How I can pdsolve this partial fractional  equation?

###The Riemann–Liouville fractional integral   is written in a convolution-form as:

#where (...) represents the Gamma function

 (1)

 (2)

Piecewise Definition of a Green's Function for a F...

I have just begun to study Green's functions and made some initial progress on a problem, but now need Maple to make further progress.  Apologies, I have written up the equations in LaTeX form rather than Maple, as my Maple has gotten very rusty.

$\frac{d^4y}{dx^4}=f(x) y(0)=y'(0)=0, y(1)=y'(1)=0$

I showed that the Green function $G(x,u)$ for this equation satisfies a condition

$\lim_{\epsilon\to0}\bigg[\frac{\partial^3G}{\partial x^3}\bigg]_{x=u-\epsilon}^{u+\epsilon}=1$

and showed that there is continuity of the Green's function and its first and second partial derivatives with respect to $x$ at $x=u$.  The next step is to show that this function has a piecewise definition such that

$G=\frac{1}{6}x^2(1-u)^2(3u - 2ux -x$ for x between the range 0 and u and such that

\[G(x,u)=\frac{1}{6}u^2(1-x^2)(3x - 2xu - u) for x between u and 1

I am not entirely sure how to do this with pen and paper, so I have reason to believe that it could be a done a lot more easily with Maple, if someone could give some pointers that would be much appreciated.

Only plot integer points...

Hi, i want to plot a function say R(t,n),

plot(R(t), t = 500 .. 50000) how can specify the t can only take intger value in the range of [500, 50000]?

I am looking for something like :plot(R(t), t = 500 .. 50000, assume=integer)

perturbation theorie...

Hi all, I am having the follwing DE:

restart:
(diff(z(x), x, x))-z(x) - cos(2*x)/(1+delta*z(x)) = 0:

With initial conditions: z(-pi/4)=z(pi/4)=0 and |delta|<<1

I showed by hand by using perturbation theory the second order approximation. The hint was: you can use Maple to check your answer.

Is there somebody who can help me with this?

Inconsistent results...

I have been attempting to resolve a particular problem to which I have posted a number of questions in the past.  In my attempts I have stumbled onto a number of command syntax issues & inconsistent result outputs.  Each time I try to post questions that appear to me to be separate questions even though it pertains to the same problem.  On numerous occasions a website moderator has deleted my questions unilaterally because the moderator has the opinion the question is identical to a previous question.

Deleting my questions instead of placing them into a previous thread without a response impedes my progress.  I am going to repost this inconsistent output, ONCE again!  If it is directly related to another thread then notify me of the response somehow instead of simply deleting the question.

The following inconsistency as far as I can tell is not explained in any of my previous questions.  I have a series that represents a particular waveform.  The series representation gives a definitive output.  However, when attempting generate the series of the derivative of this waveform (Q3 & Q4), which does exist (Q1 & Q2), MAPLE chokes on that representation & simply continues to evaluate for days & weeks without generating an output.  Why is this?  If anyone gets a definitive result please post it so that I might be able to reproduce the results.

inconsistent_results.mw

Bifurcation Procedure for the Rossler Attractor...

Hi,

I'm currently studying the Rossler Attractor, which is the following system:

.

I have found the points of equilibrium of the system.

But now I need to draw bifurcation diagrams: one for varying a, one for varying b, and one for varying c.

Debuging bizare behaviour in odeplot...

I have a relatively complicated ODE that i am plotting. One of the variables in particular (B[2211], purple line in the graph) should under go an exponential-like decay to zero, but instead flies off into negative territory  (see graph below) despite having a very simple equation:

problem variable rate of change= -problem variable*constant +linear combination of variables that  are always posotive.

My intuition is that this is because i have somehow used the odeplot tool wrong - possibly due to a problem with stepsizes.

Here is a MWE i've made:

aa_problem_MWE.mw

How to generate a polynomial Maple?...

Let say I want to generate polynomail with unknown coefficients of variable (x,y,z,t,s) of 3-th order (NOT RANDOM ONE!).

Compact alternative...

Hey!

The more "nodes, compartments, ..." I define the longer my formula (see below) gets. The formula posted below is written for a starting situation of 9 nodes (i,j,k,l,m,p,q,r,s). The problem that I have is that, besides running out of letters to chose from, the formula is getting to long and is not clear anymore (losing the overview). So I'm looking for a way to write it shorter, especially for the bold parts I assume there must be a better way.

B is a 9x9 matrix, n[0]:=1, N:=9

for i in n[0] do for j to N do for k to N do for l to N do for m to N do for o to N do for q to N do for r to N do for s to N do

if B(i, j) = 1 and B(j, k) = 1 and B(k, l) = 1 and B(l, m) = 1 and B(m, o) = 1 and B(o, q) = 1 and B(q, r) = 1 and B(r, s) = 1 and i <> j and i <> k and i <> l and i <> m and i <> o and i <> q and i <> r and i <> s and j <> k and j <> l and j <> m and j <> o and j <> q and j <> r and j <> s and k <> l and k <> m and k <> o and k <> q and k <> r and k <> s and l <> m and l <> o and l <> q and l <> r and l <> s and m <> o and m <> q and m <> r and m <> s and o <> q and o <> r and o <> s and q <> r and q <> s and r <> s

then P[loss, i, j, k, l, m, o, q, r, s] := P[loss, i, j, k, l, m, o, q, r]*P[fw, r, s]*P[suppr, i, j, k, l, m, o, q, r]*P[fo, s] else P[loss, i, j, k, l, m, o, q, r] := 0 end if; if P[loss, i, j, k, l, m, o, q, r] <> 0 then print(subs(I = i, J = j, K = k, L = l, M = m, O = o, Q = q, R = r, 'P[loss, I, J, K, L, M, O, Q, R]') = P[loss, i, j, k, l, m, o, q, r]) end if end do end do end do end do end do end do end do end do end do

I tried i<>j<>k<>l<>m<>o<>p<>q<>r<>s but that does't work

P.S.: Do you always have to specify something after ELSE using the IF loop? Actually I just don't want maple to do anything if the conditions are not met but since I then cannot print only the solutions I want (the ones for which the conditions are met) I always end up specifying something after else.

Thanks!!

Tensor Product of Quantum State Spaces

by: Maple

This is about the recent implementation of tensor products of quantum state spaces in the Physics package, in connection with an exchange with the Physics of Information Lab of the University of Waterloo. As usual this development is available to everybody from the Maplesoft R&D Physics webpage. This is the last update for Maple 2017. The updates for Maple 2018, starting with this same material, will begin being distributed through the MapleCloud next week.

Tensor Product of Quantum State Spaces

Basic ideas and design

Suppose  and  are quantum operators and  are, respectively, their eigenkets. The following works since the introduction of the Physics package in Maple

 >
 >
 >
 (1)
 >
 (2)
 >
 (3)

where on the left-hand sides the product operator * is used as a sort of inert form (it has all the correct mathematical properties but does not perform the contraction) of the dot product operator ., used on the right-hand sides.

Suppose now that  and  act on different, disjointed, Hilbert spaces.

1) To represent that, a new keyword in Setup , is introduced, to indicate which spaces are disjointed, say as in .  We want this notation to pop up at some point as  where the indexation indicates all the operators acting on that Hilbert space. The disjointedspaces keyword has for synonyms disjointedhilbertspaces and hilbertspaces. The display  is not yet implemented.

NOTE: noncommutative quantum operators acting on disjointed spaces commute between themselves, so after setting  - for instance - , automatically,  become quantum operators satisfying (see comment (ii) on page 156 of ref. [1])

2) Product of Kets and Bras (KK, BB, KB and BK) where K and B belong to disjointed spaces, are understood as tensor products satisfying, for instance with disjointed spaces  and ,

while of course

 Details

3) All the operators of one disjointed space act transparently over operators, Bras and Kets of the other disjointed spaces, for example

and the same for the Dagger of this equation, that is

And this happens automatically. Hence, when we write the left-hand sides and press enter, they are automatically rewritten (returned) as the right-hand sides.

Regarding the display of Bras and Kets and their tensor products, two enhancements are happening:

 • A new Setup option hideketlabel makes all the labs in kets to be hidden when displaying Kets, Bras and Bracket(s), with the indices presented one level up, as if they were a sequence of labels, so instead of

(is displayed as)   .

 This is the notation used more frequently when working in quantum information. This hideketlabel option is already implemented, so entering Setup(hideketlabel = true) will result in Kets, Bras and Brackets displayed without the labels.
 • Tensor products formed with Bras and Kets that belong to disjointed spaces set as such using Setup are displayed with the symbol 5 in between, as in  instead of .
 Tensor product notation and the hideketlabel option
 The implementation of tensor products using * and .
 Basic exercising with the new functionality
 Related functionality already in place before these changes

Reference

[1] Cohen-Tannoudji, Diue, Laloe, Quantum Mechanics, Chapter 2, section F.

[2] Griffiths Robert B., Hilbert Space Quantum Mechanics, Quantum Computation and Quantum Information Theory Course, Physics Department, Carnegie Mellon University, 2014.

Edgardo S. Cheb-Terrab
Physics, Differential Equations and Mathematical Functions, Maplesoft

is it possible to solve this PDE In Maple 2018?...

Does any one know of a trick to make Maple solve this PDE using pdsolve?

restart;
pde:=diff(u(x,t),t)+diff(u(x,t),x)=0;
bc:=u(0,t)=0;
ic:=u(x,0)=x;
sol:=pdsolve({pde,ic,bc},u(x,t));

I have tried all HINTS and assumptions and Maple just returns () as solution.

Mathematica solve this as follows

ClearAll[u,x,t];
pde=D[u[x,t],t]+D[u[x,t],x]==0;
bc=u[0,t]==0;
ic=u[x,0]==x;
sol=DSolve[{pde,ic,bc},u[x,t],{x,t}]

Heavidside theta is basically a unit step function.

 >
 >
 >
 (1)
 >
 >
 >

 >
 >
 >
 (1)
 >
 >
 >

can pdsolve solve this basic heat PDE in 1D with t...

Maple 2018.

I am surprised Maple pdsolve can't solve this basic heat PDE. it is heat PDE on bar, with left end boundary condition being time dependent is only difference from basic heat PDE's on a bar.

May be a Maple expert can find a work around? I tried all the HINTS I know about.

restart;
#infolevel[pdsolve] := 3:
pde:=diff(u(x,t),t)=diff(u(x,t),x\$2);
bc:=u(0,t)=t,u(Pi,t)=0:
ic:=u(x,0)=0:
sol:=pdsolve([pde,bc,ic],u(x,t)) assuming t>0 and x>0;


I also hope this question of mine do not get deleted as well, like the question I posted last night asking why pdsolve ignores assumptions that showed number of examples, was deleted few hrs after I posted it.

If this question gets deleted, I will get the message that posts showing any problem in Maple software are not welcome here by Maplesoft and I will stop coming here.