Internal
problem
ID
[8437] Book
:
First
order
enumerated
odes Section
:
section
1 Problem
number
:
27 Date
solved
:
Tuesday, November 12, 2024 at 11:09:20 PM CAS
classification
:
[_Riccati]
`Methodsfor first order ODEs:---Trying classification methods ---tryinga quadraturetrying1st order lineartryingBernoullitryingseparabletryinginverse lineartryinghomogeneous types:tryingChinidifferentialorder: 1; looking for linear symmetriestryingexactLookingfor potential symmetriestryingRiccatitryingRiccati SpecialtryingRiccati sub-methods:trying Riccati_symmetriestrying Riccati to 2nd Order-> Calling odsolve with the ODE`, diff(diff(y(x), x), x) = -y(x)*sin(x), y(x)` *** Sublevel 2 ***Methods for second order ODEs:--- Trying classification methods ---trying a symmetry of the form [xi=0, eta=F(x)]checking if the LODE is missing y-> Heun: Equivalence to the GHE or one of its 4 confluent cases under a power @ Moebius-> trying a solution of the form r0(x) * Y + r1(x) * Y where Y = exp(int(r(x), dx)) * 2F1([a1, a2], [b1], f)-> Trying changes of variables to rationalize or make the ODE simplertrying a symmetry of the form [xi=0, eta=F(x)]checking if the LODE is missing y-> Trying an equivalence, under non-integer power transformations,to LODEs admitting Liouvillian solutions.-> Trying a Liouvillian solution using Kovacics algorithm<- No Liouvillian solutions exists-> Trying a solution in terms of special functions:-> Bessel-> elliptic-> Legendre-> Whittaker-> hyper3: Equivalence to 1F1 under a power @ Moebius-> hypergeometric-> heuristic approach-> hyper3: Equivalence to 2F1, 1F1 or 0F1 under a power @ Moebius-> Mathieu-> Equivalence to the rational form of Mathieu ODE under a power @ MoebiusEquivalence transformation and function parameters: {t = 1/2*t+1/2}, {kappa = -20, mu = -32}<- Equivalence to the rational form of Mathieu ODE successful<- Mathieu successful<- special function solution successfulChange of variables used:[x = arccos(t)]Linear ODE actually solved:(-t^2+1)^(1/2)*u(t)-t*diff(u(t),t)+(-t^2+1)*diff(diff(u(t),t),t) = 0<- change of variables successful<- Riccati to 2nd Order successful`