Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

what is solution of y''* y'-y(x)^n=0 ?

19 views
Skip to first unread message

Dr Huang

unread,
Dec 10, 2021, 11:12:20 PM12/10/21
to
what is solution of y''* y'-y(x)^n=0 ?
wolfram solution is wrong ? There are bugs in many software such as WolframAlpha. Wish wolfram fix the bugs. You can copy equation and paste into MathHand.com, click the ODE button to solve, then click the test button to test its solution.

over 500 bugs in
DrHuang.com/index/bugs

Nasser M. Abbasi

unread,
Dec 11, 2021, 2:48:41 AM12/11/21
to
This can be solved by transformation on the dependent variable using v(y)=y'(x).

It results in a first order ode in v(y). The solution is then found,
then a new first order ode in y(x) now result which is solved again.
Both are separable.

But the integrals are tricky to do . I used Maple for the integrations.

Here is my solution which Maple's verifies. (there are 3 solutions)

https://12000.org/tmp/121121/foo2.pdf

https://12000.org/tmp/121121/foo2.htm

Maple 2021.2 gives these 3 solutions (Maple can't integrate the separable odes)

Intat(1/(-1/2/(1+n)*((3*_a^(1+n)-_C1)*(1+n)^2)^(1/3)-1/2*I*3^(1/2)/(1+n)*((3*_a
^(1+n)-_C1)*(1+n)^2)^(1/3)),_a = y(x))-x-_C2 = 0, Intat(1/(-1/2/(1+n)*((3*_a^(1
+n)-_C1)*(1+n)^2)^(1/3)+1/2*I*3^(1/2)/(1+n)*((3*_a^(1+n)-_C1)*(1+n)^2)^(1/3)),
_a = y(x))-x-_C2 = 0, Intat((1+n)/((3*_a^(1+n)-_C1)*(1+n)^2)^(1/3),_a = y(x))-x
-_C2 = 0

Mathematica 13 can integrate the separable odes' and gives these solutions
in terms of Hypergeometric functions

{{y[x]->InverseFunction[-(((-1/3)^(1/3)*(1+n)^(1/3)*Hypergeometric2F1
[1/3,(1+n)^(-1),1+(1+n)^(-1),-(#1^(1+n)/((1+n)*C[1]))]*#1
*(1+#1^(1+n)/((1+n)*C[1]))^(1/3))/((1+n)*C[1]+#1^(1+n))^(1/3))&]
[x+C[2]]},{y[x]->InverseFunction[((1+n)^(1/3)*Hypergeometric2F1
[1/3,(1+n)^(-1),1+(1+n)^(-1),-(#1^(1+n)/((1+n)*C[1]))]*#1*(1+
#1^(1+n)/((1+n)*C[1]))^(1/3))/(3^(1/3)*((1+n)*C[1]+#1^(1+n))^(1/3))&]
[x+C[2]]},{y[x]->InverseFunction[((-1)^(2/3)*(1+n)^(1/3)
*Hypergeometric2F1[1/3,(1+n)^(-1),1+(1+n)^(-1),-(#1^(1+n)/((1+n)*C[1]))]
*#1*(1+#1^(1+n)/((1+n)*C[1]))^(1/3))/(3^(1/3)*((1+n)*C[1]+#1^(1+n))^(1/3))&][x+C[2]]}}


--Nasser

Dr Huang

unread,
Mar 10, 2022, 7:06:28 PM3/10/22
to
thanks,t hey are too complicated. input your ODE into mathHand.com, click the ODE button to solve, then the test button to test its solution. or click the link:
http://server.drhuang.com/input/?guess=ODE%28y%27%27*+y%27-y%5En%29&inp=y%27%27*+y%27-y%5En&lang=null
0 new messages