problem Problem 5(a)

Internal problem ID [12247]
Internal ﬁle name [OUTPUT/10900_Thursday_September_28_2023_01_08_25_AM_66455539/index.tex]

Book: APPLIED DIFFERENTIAL EQUATIONS The Primary Course by Vladimir A. Dobrushkin. CRC Press 2015
Section: Chapter 4, Second and Higher Order Linear Diﬀerential Equations. Problems page 221
Problem number: Problem 5(a).
ODE order: 2.
ODE degree: 1.

\[ \boxed {\left (x -3\right ) y^{\prime \prime }+\ln \left (x \right ) y=x^{2}} \] With initial conditions \begin {align*} [y \left (1\right ) = 1, y^{\prime }\left (1\right ) = 2] \end {align*}

2.27.1 Existence and uniqueness analysis

This is a linear ODE. In canonical form it is written as \begin {align*} y^{\prime \prime } + p(x)y^{\prime } + q(x) y &= F \end {align*}

Where here \begin {align*} p(x) &=0\\ q(x) &=\frac {\ln \left (x \right )}{x -3}\\ F &=\frac {x^{2}}{x -3} \end {align*}

Hence the ode is \begin {align*} y^{\prime \prime }+\frac {\ln \left (x \right ) y}{x -3} = \frac {x^{2}}{x -3} \end {align*}

Maple trace

`Methods for second order ODEs: 
--- Trying classification methods --- 
trying a quadrature 
trying high order exact linear fully integrable 
trying differential order: 2; linear nonhomogeneous with symmetry [0,1] 
trying a double symmetry of the form [xi=0, eta=F(x)] 
trying symmetries linear in x and y(x) 
-> Try solving first the homogeneous part of the ODE 
   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 simpler 
      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 a symmetry of the form [xi=0, eta=F(x)] 
         trying 2nd order exact linear 
         trying symmetries linear in x and y(x) 
         trying to convert to a linear ODE with constant coefficients 
   <- unable to find a useful change of variables 
      trying symmetries linear in x and y(x) 
      trying to convert to a linear ODE with constant coefficients 
      trying to convert to an ODE of Bessel type 
      -> trying reduction of order to Riccati 
         trying Riccati sub-methods: 
            trying Riccati_symmetries 
            -> trying a symmetry pattern of the form [F(x)*G(y), 0] 
            -> trying a symmetry pattern of the form [0, F(x)*G(y)] 
            -> trying a symmetry pattern of the form [F(x),G(x)*y+H(x)] 
--- Trying Lie symmetry methods, 2nd order --- 
`, `-> Computing symmetries using: way = 3 
`, `-> Computing symmetries using: way = 5`

2.27 problem Problem 5(a)

2.27.1 Existence and uniqueness analysis