Rouben Rostamian

MaplePrimes Activity


These are replies submitted by Rouben Rostamian

@TechnicalSupport Does that work for you on Linux?  It doesn't for me.

@dharr Here is what we get when we evaluate the series solution in LAD_Barenblatt.mw at x=0 and plot the result as a function of time:

subs(x=0, approx);

1-(75/4)*t+(28125/32)*t^2-(6328125/128)*t^3+(6169921875/2048)*t^4-(1573330078125/8192)*t^5+(825998291015625/65536)*t^6-(221249542236328125/262144)*t^7+(481217754364013671875/8388608)*t^8

plot(%, t=0..1);

We see that the series solution rises dramatically over time, while it's supposed to decrease to zero.

The non-differentiability of the solution does not seem to be the issue.  We get the same kind of incorrect behavior out of LAD if we replace the initial condition with the very well-behaved u(x,0)=exp(−x^2).

The remark in the Kybernetes article about the "consitency of boundary conditions" is not relevant here since we are not solving a boundary value problem; there are no boundaries as the spatial dimension is the entire x axis.

@WD0HHU The stop button does nothing in Maple 2025 and Maple 2025.1.  Until that issue is fixed, I am sticking with Maple 2024.

@lucaud Before executing reflect(display...), you need to load the plots and plottools packages, as in

with(plots):
with(plottools):

If that doesn't work, then upload your entire worksheet for further comments.  To upload the worksheet, "reply" to your own original post, and within the toolbar of the editor window that comes up, click on the big fat green arrow.

I have occasionally heard about Adomian's method but have not had the occasion to delve into it in any depth, and to be honest, I have harbored some doubts about the utility of it.

But I will definitely be a convert if it can produce anything resembling the correct solution in the case of the classical porous medium equation.  I tried your proc but did not get anything useful, although it is very well possible that I did not apply it correctly.

Here is the porous medium equation along with an exact solution.  You may be able to do somehing with it.

PS: Perhaps the method will have a better chance of success with the initial condition u(x,0)=exp(-x^2).  There is no symbolic solution then, but pdsolve,numeric shows that the solution qiuckly takes the shape of an expanding semi-ellipse similar to the one in the animation below.

Barenblatt's solution to the porous medium equation

restart;

The porous medium equation with cubic nonlinearity

pde := Diff(u(x,t),t) = Diff(u(x,t)^3, x ,x);

Diff(u(x, t), t) = Diff(u(x, t)^3, x, x)

An initial condition in the form of the upper half of an ellipse:

ic := u(x,0) = 75^(1/4)*sqrt(max(0, sqrt(3)/15 - x^2*sqrt(75)/12));

u(x, 0) = 75^(1/4)*max(0, (1/15)*3^(1/2)-(5/12)*x^2*3^(1/2))^(1/2)

Exact solution, due to Barenblatt (1952):

sol := u(x,t) = sqrt(max(0, sqrt(3)/15 - x^2/(12*sqrt(t + 1/75))))/(t + 1/75)^(1/4);

u(x, t) = max(0, (1/15)*3^(1/2)-(5/4)*x^2/(225*t+3)^(1/2))^(1/2)/(t+1/75)^(1/4)

At any time t, the graph of the solution is the upper half of an ellipse.

The area under the ellipse is a constant Pi/5 at all times.

plots:-animate(plot, [rhs(sol), x=-2..2, color=red, thickness=4], t=0..4);

 

Download pme.mw

 

@janhardo The code that you have posted is good.  It implements what I called an alternative approach in my yesterday's message.

@vv Before seeing Carl Love's solution, I would have completely agreed with you.  I am impressed by seeing dsolve's solution pointed out by Carl.

@mmcdara Thanks for your analysis which shows how to obtain an approximate solution by smoothing out the transition at the interface.  In the absence of an explicit symbolic solution, that would have been a good alternative.

@Carl Love That's excellent, and works beyond my expectations.  Thanks!

@vv The solution that I have provided is called a weak solution of the boundary value problem.  The definition is technical so I would not go through it here, but they are the main objects of study in the functional analytical approach to PDEs.  In the case of the ODE which is the subject of this post, the weak solution ensures that the temperature, u(x), and the flux, a(x)u'(x), are continuous across the interface at x=0.  The derivative u'(x) is understood in the sense of distributions, or more precisely, in the sense of Sobolev spaces. The continuity of the flux amounts to the statement of conservation of thermal energy at x=0.

An alternative "by hand" solution may be obtained by finding the general solutions of the ODE separately on the x<0 and x>0 regions, and then determining the resulting four arbitrary constants by applying the boundary conditions at x=−1 and x=+1, as well as the continuity of the temperature and flux at x=0.

@John May Thanks for looking into this and offering a workaround.

@Math-dashti There is some flexibility in selecting the initial conditions, but they are not quite arbitrary.

Begin with finding the det, tra, dsc, and eigenvalues as I have shown in the worksheet.  With the help of that information, and the table and Figure 2.3.7 that you have provided, determine which of the ten possible phase portraits corresponds to your case.

Let's say that you have determined that the phase portrait is the one at the top-left of Figure 2.3.7. Looking at that phase portrait, you should be able to tell which initial conditions to pick.  That's how I picked the initial conditions in my solution of Exercise 7.

I suggest that you apply this method to solve Exercises 6, 4, 1 (in that order!) before attempting the others.

@C_R Maple's plottools:-rotate makes it possible to rotate a 3D plot about a vector n by angle phi if the objective is merely to rotate a PLOT3D structure.  To find the equation of the rotated torus, however, as it was done in the example, it will help to have something like quaternion algebra.  Furthermore, we will need full-fledged support for quaternion algebra and calculus to formulate differential equations of motion of a rigid body.  I will be happy to see that become reality in Maple some day.

@rlewis  It's difficult to provide help in the absence of concrete data.  As dharr pointed out, you can help others to help you if you upload your maple worksheet.

In the browser, hit Reply to your original post.  In the editor window that comes up, click on the big fat green arrow and follow instructions to upload your worksheet.

@acer Thanks for confirming the issue.  It did test this on Maple 2024 before posting, but did not go further back.  I will file an SCR.

1 2 3 4 5 6 7 Last Page 2 of 99