Carl Love

Carl Love

28070 Reputation

25 Badges

13 years, 31 days
Himself
Wayland, Massachusetts, United States
My name was formerly Carl Devore.

MaplePrimes Activity


These are answers submitted by Carl Love

It is only slow if you try to display the results in the Standard GUI. There is no reason to display 17550 3x3 listlists. Just end your statement with a colon rather than a semicolon (to suppress display) and the allstructs will run in 0.1 seconds.

There are very small discontinuities in the piecewise function due to roundoff errors during its creation. The solution is to create the piecewise function at a higher Digits setting than is used during the fsolve. For example, setting Digits:= 20 before defining the function and then changing to Digits:= 15 before doing the fsolve works.

What have you tried?? The obvious thing to try is factor, which will tell you immediately that the polynomial can't be factored.

Several other points:

  • The polynomial isn't huge by Maple standards.
  • I don't think that you know what it means to know something a priori. It means to know something because it has been proven in the mathematical (or pure logic) sense of proof. That seems to be precisely what you don't have in this case. To know something by experience or by observation is to know it a posteriori.
  • There's no need to attempt a partial factorization in this case. The command factor will tell you in a blink of an eye that the polynomial can't be factored at all.
  • Please post your expressions with explicit multiplication signs--- * ---so that they can be copy-and-pasted directly into Maple.

In Maple 18, if you omit the boundary conditions (Venkat's suggestion) and cancel the extraneous exponential factor in the first ODE, then dsolve will return a solution. In the worksheet below, the single line of 1-D input is my addition to cancel the factor. 

Note that dsolve's solution is explicit although at first glance it may seem implicit.


restart

n := 0:

ode1 := diff(exp(-beta*theta(y))*(diff(u(y), y)), y) = 0;

-beta*(diff(theta(y), y))*exp(-beta*theta(y))*(diff(u(y), y))+exp(-beta*theta(y))*(diff(diff(u(y), y), y)) = 0

ode1:= simplify(ode1*exp(beta*theta(y)));

-(diff(u(y), y))*(diff(theta(y), y))*beta+diff(diff(u(y), y), y) = 0

ode2 := diff((1+theta(y))^n*(diff(theta(y), y)), y)+Br*exp(-beta*theta(y))*(diff(u(y), y))^2 = 0;

diff(diff(theta(y), y), y)+Br*exp(-beta*theta(y))*(diff(u(y), y))^2 = 0

sol := dsolve([ode1, ode2])

[{theta(y) = ln(1+tan((1/2)*(_C2*beta)^(1/2)*(_C3+y)*2^(1/2))^2)/beta+_C4}, {u(y) = Int((-Br*exp(-beta*theta(y))*(diff(diff(theta(y), y), y)))^(1/2)/(Br*exp(-beta*theta(y))), y)+_C1, u(y) = Int(-(-Br*exp(-beta*theta(y))*(diff(diff(theta(y), y), y)))^(1/2)/(Br*exp(-beta*theta(y))), y)+_C1}]


Download Parallel_flow.mw

 

It's all about the order of evaluation. One way around the problem is to exploit the "special evaluation rules" of seq by simply replacing eval with seq:

seq(g(x), n= 3);

You could just as well use add or mul. These will work in Maple versions older than eval[recurse].

member(4, A);

 

Suppose that your list of equations is copied from Matlab as a single string, which I'll call MS (Matlab String), like this

MS:= "C_p_e = C_state/C_c;
C_p_f = I_state/I_i;
R_p_e = R_r*C_p_f;
I_p_e = (Se_p_e-R_p_e)-C_p_e;
";

The presence of newline characters in the string is insigificant---Maple ignores them. The semicolons, however, are necessary. Then do

eq:= parse~(StringTools:-Split(MS, ";"));

Now eq is a list of all the equations, so eq[1] is C_p_e = C_state/C_c, etc. You just need to use subs once, on all of eq. It's more efficient than calling allsubs repeatedly.

eq_a:= subs(
     C_p_e=fs(t), C_p_f=v(t), R_p_e=fd(t), I_p_e=fm(t), C_c=1/k, I_i=m, 
     R_r=c, Se_p_e=fe(t), I_state=int(fm(t),t), C_state=int(v(t),t),
     eq
);

The solutions are not necessarily real in your example. If the solutions were necessarily real, you could use syntax almost identical to the Mathematica:

a:= INTERVAL(2..4):
b:= INTERVAL(10..11):
c:= INTERVAL(1..3):
evalr~([solve(a*x^2+b*x+c)]);

If you want to do complex range arithmetic with your original example, you could do this:

a:= INTERVAL(2,0,4,0):
b:= INTERVAL(1,0,3,0):
c:= INTERVAL(1,0,3,0):
evalrC~([solve(a*x^2+b*x+c)]);

However, the results are not perfect, because they are in floating point. Note how a complex interval is specified with four numbers. See ?evalrC and ?evalr.

simplify(x1=a-y1-d*y2, {a-y2-d*y1= x2, 1-d^2= b, a-a*d= c});

Note that the three substitution equations must be written with the expressions on the left and the single variables on the right.

Don't use map when applying expand or simplify to a single expression. Use map to distribute these operations over a Matrix, but not on an single entry extracted from a Matrix.

There are also "tutors" for this in the Student package, but I think that it's instructive to see the components of a plot command.

 

restart:

 

Your first question: Plotting a function and one of its tangent lines.

f:= x-> 2*cos(x)-x^2:  a:= 2:  r:= 3:

 

Here I use a columnar layout to emphasize the parallelism between the plot components and their attributes.

plot(
                 [f(x),  D(f)(a)*(x-a)+f(a), [[a,f(a)]]], x= a-r..a+r,
      style=     [line,  line,               point     ],
      color=     [red,   blue,               green     ],
      linestyle= [solid, dot,                solid     ],
      symbolsize= 16, symbol= solidcircle,
      gridlines= false
);

Your second question: Plotting a rational function, its derivative, vertical asymptotes, and critical points.

f:= x-> (x^3-10*x^2-2*x+1)/(4*x^3+5*x+1);

proc (x) options operator, arrow; (x^3-10*x^2-2*x+1)/(4*x^3+5*x+1) end proc

Find the vertical asymptotes as the zeros of the denominator.

VA:= fsolve(denom(f(x))=0);

-.194145720502372

Find the critical points as the zeros of the numerator of the derivative.

CP:= fsolve(numer(D(f)(x))=0);

-1.47480661500595, 1.14215480870403

Get the horizontal domain, including all x-values of interest)...

(a,b):= (min,max)(VA,CP);

-1.47480661500595, 1.14215480870403

...and stretch it a little.

HR:= a-.3*(b-a) .. b+.3*(b-a):

 

And the same for the vertical range.

(a,b):= (min,max)(f~([CP]))[];  YR:= a-.3*(b-a) .. b+.3*(b-a);

-1.01333055349349, 1.09390932026410

-1.64550251562077 .. 1.72608128239138

plots:-display([
     #Use option discont for plots with vertical asymptotes:
     plot([f(x), D(f)(x)], x= HR, discont, legend= ["f", "f '"]),
     #Use parametric plots for vertical lines:
     map(va-> plot([va, t, t= YR], color= red, linestyle= dash), [VA])[],
     map(cp-> plot([[cp,f(cp)]], style= point, color= green), [CP])[]
     ],
     view= [DEFAULT, YR], gridlines= false,
     symbol= solidcircle, symbolsize= 16
);

 

 

Download RatFuncPlot.mw

 

In the future, you should show what you tried. Here's how to plot it.

f:= x-> 2*cos(x)-x^2:  a:= 2:  r:= 3:
plot([f(x), D(f)(a)*(x-a)+f(a)], x= a-r..a+r, color= [red,blue], linestyle= [solid,dot]);

I hope that you can generalize it from there.

Here's a solution for an arbitrary number of dancers, using evenly spaced points on the unit circle as the starting points. The ODEs are essentially the same as in my solution above. I decided to form the dependent variable names with indexing (x[1]x[2]y[1], etc.) rather than with cat and ||. I also changed the indexing from 0..n-1 to 1..n. The brevity of the code shows Maple's great power at forming and working with a repetitive set of ODEs.

restart:
SpiralDance:= proc(n::posint)
local
     k, K:= k= 1..n, x, y, V_k:= [x[k],y[k]], v,
     eqns:= seq(((D+(X->X))(v[k]) = v[1+irem(k,n)]) $ K, v= [x,y]),
     ics:= op~([(V_k =~ [cos,sin](-2*k*Pi/n)) $ K])[],
     t, Sol:= dsolve({eqns(t),ics(0)}, numeric)
;
     plots:-odeplot(Sol, [V_k(t) $ K], thickness= 3, axes= none, gridlines= false)
end proc:

SpiralDance(5);

 

The breakpoint command in Maple is stopat. See ?stopat.

Your transform is (x,y)-> [x-y]. This says "take a point (x,y) on the graph and replace it with the single number x-y." That makes no sense: You need to replace points with points---pairs of numbers---not with single numbers.

I also encourage you to replace PLOT with plots:-display

First 254 255 256 257 258 259 260 Last Page 256 of 395