New approach to solutions of a class of singular fractional q-differential problem via quantum calculus

Abstract

Abstract In the present article, by using the fixed point technique and the Arzelà–Ascoli theorem on cones, we wish to investigate the existence of solutions for a non-linear problems regular and singular fractional q -differential equation $$ \bigl({}^{c}D_{q}^{\alpha }f\bigr) (t) = w \bigl(t, f(t), f'(t), \bigl({}^{c}D_{q}^{ \beta }f \bigr) (t) \bigr), $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mo>(</mml:mo><mml:msup><mml:mrow/><mml:mi>c</mml:mi></mml:msup><mml:msubsup><mml:mi>D</mml:mi><mml:mi>q</mml:mi><mml:mi>α</mml:mi></mml:msubsup><mml:mi>f</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mi>w</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>,</mml:mo><mml:mi>f</mml:mi><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo><mml:mo>,</mml:mo><mml:msup><mml:mi>f</mml:mi><mml:mo>′</mml:mo></mml:msup><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo><mml:mo>,</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:msup><mml:mrow/><mml:mi>c</mml:mi></mml:msup><mml:msubsup><mml:mi>D</mml:mi><mml:mi>q</mml:mi><mml:mi>β</mml:mi></mml:msubsup><mml:mi>f</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo><mml:mo>)</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:math> under the conditions $f(0) = c_{1} f(1)$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>f</mml:mi><mml:mo>(</mml:mo><mml:mn>0</mml:mn><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:msub><mml:mi>c</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mi>f</mml:mi><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:math> , $f'(0)= c_{2} ({}^{c}D_{q} ^{\beta } f) (1)$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msup><mml:mi>f</mml:mi><mml:mo>′</mml:mo></mml:msup><mml:mo>(</mml:mo><mml:mn>0</mml:mn><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:msub><mml:mi>c</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>(</mml:mo><mml:msup><mml:mrow/><mml:mi>c</mml:mi></mml:msup><mml:msubsup><mml:mi>D</mml:mi><mml:mi>q</mml:mi><mml:mi>β</mml:mi></mml:msubsup><mml:mi>f</mml:mi><mml:mo>)</mml:mo><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:math> and $f''(0) = f'''(0) = \cdots =f^{(n-1)}(0) = 0$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msup><mml:mi>f</mml:mi><mml:mo>″</mml:mo></mml:msup><mml:mo>(</mml:mo><mml:mn>0</mml:mn><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:msup><mml:mi>f</mml:mi><mml:mo>‴</mml:mo></mml:msup><mml:mo>(</mml:mo><mml:mn>0</mml:mn><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mo>⋯</mml:mo><mml:mo>=</mml:mo><mml:msup><mml:mi>f</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>n</mml:mi><mml:mo>−</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>(</mml:mo><mml:mn>0</mml:mn><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math> , where $\alpha \in (n-1, n)$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>α</mml:mi><mml:mo>∈</mml:mo><mml:mo>(</mml:mo><mml:mi>n</mml:mi><mml:mo>−</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mi>n</mml:mi><mml:mo>)</mml:mo></mml:math> with $n\geq 3$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>n</mml:mi><mml:mo>≥</mml:mo><mml:mn>3</mml:mn></mml:math> , $\beta , q \in J=(0,1)$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>β</mml:mi><mml:mo>,</mml:mo><mml:mi>q</mml:mi><mml:mo>∈</mml:mo><mml:mi>J</mml:mi><mml:mo>=</mml:mo><mml:mo>(</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:math> , $c_{1} \in J$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msub><mml:mi>c</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>∈</mml:mo><mml:mi>J</mml:mi></mml:math> , $c_{2} \in (0, \varGamma _{q} (2- \beta ))$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msub><mml:mi>c</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>∈</mml:mo><mml:mo>(</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:msub><mml:mi>Γ</mml:mi><mml:mi>q</mml:mi></mml:msub><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mo>−</mml:mo><mml:mi>β</mml:mi><mml:mo>)</mml:mo><mml:mo>)</mml:mo></mml:math> , the function w is $L^{\kappa }$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msup><mml:mi>L</mml:mi><mml:mi>κ</mml:mi></mml:msup></mml:math> -Carathéodory, $w(t, x_{1}, x_{2}, x_{3})$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>w</mml:mi><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>x</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>x</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>x</mml:mi><mml:mn>3</mml:mn></mml:msub><mml:mo>)</mml:mo></mml:math> and may be singular and ${}^{c}D_{q}^{\alpha }$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mmultiscripts><mml:mi>D</mml:mi><mml:mi>q</mml:mi><mml:mi>α</mml:mi><mml:mprescripts/><mml:none/><mml:mi>c</mml:mi></mml:mmultiscripts></mml:math> the fractional Caputo type q -derivative. Of course, here we applied the definitions of the fractional q -derivative of Riemann–Liouville and Caputo type by presenting some examples with tables and algorithms; we will illustrate our results, too.

Topics & Concepts