Positive Solutions for a System of Fractional Integral Boundary Value Problems of Riemann–Liouville Type Involving Semipositone Nonlinearities

oleh: Youzheng Ding, Jiafa Xu, Zhengqing Fu

Format: Article
Diterbitkan: MDPI AG 2019-10-01

Deskripsi

In this work by the index of fixed point and matrix theory, we discuss the positive solutions for the system of Riemann&#8722;Liouville type fractional boundary value problems <disp-formula> <math display="block"> <semantics> <mrow> <msubsup> <mi>D</mi> <mrow> <mn>0</mn> <mo>+</mo> </mrow> <mi>&#945;</mi> </msubsup> <mi>u</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>+</mo> <msub> <mi>f</mi> <mn>1</mn> </msub> <mrow> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>u</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>,</mo> <mi>v</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>,</mo> <mi>w</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mi>t</mi> <mo>&#8712;</mo> <mrow> <mo>(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>)</mo> </mrow> <mo>,</mo> </mrow> </semantics> </math> </disp-formula> <disp-formula> <math display="block"> <semantics> <mrow> <msubsup> <mi>D</mi> <mrow> <mn>0</mn> <mo>+</mo> </mrow> <mi>&#945;</mi> </msubsup> <mi>v</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>+</mo> <msub> <mi>f</mi> <mn>2</mn> </msub> <mrow> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>u</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>,</mo> <mi>v</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>,</mo> <mi>w</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mi>t</mi> <mo>&#8712;</mo> <mrow> <mo>(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>)</mo> </mrow> <mo>,</mo> </mrow> </semantics> </math> </disp-formula> <disp-formula> <math display="block"> <semantics> <mrow> <msubsup> <mi>D</mi> <mrow> <mn>0</mn> <mo>+</mo> </mrow> <mi>&#945;</mi> </msubsup> <mi>w</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>+</mo> <msub> <mi>f</mi> <mn>3</mn> </msub> <mrow> <mo>(</mo> <mi>t</mi> <mo>,</mo> <mi>u</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>,</mo> <mi>v</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>,</mo> <mi>w</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mi>t</mi> <mo>&#8712;</mo> <mrow> <mo>(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>)</mo> </mrow> <mo>,</mo> </mrow> </semantics> </math> </disp-formula> <disp-formula> <math display="block"> <semantics> <mrow> <mi>u</mi> <mrow> <mo>(</mo> <mn>0</mn> <mo>)</mo> </mrow> <mo>=</mo> <msup> <mi>u</mi> <mo>&#8242;</mo> </msup> <mrow> <mo>(</mo> <mn>0</mn> <mo>)</mo> </mrow> <mo>=</mo> <mo>⋯</mo> <mo>=</mo> <msup> <mi>u</mi> <mrow> <mo>(</mo> <mi>n</mi> <mo>&#8722;</mo> <mn>2</mn> <mo>)</mo> </mrow> </msup> <mrow> <mo>(</mo> <mn>0</mn> <mo>)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mo>,</mo> <msubsup> <mi>D</mi> <mrow> <mn>0</mn> <mo>+</mo> </mrow> <mi>p</mi> </msubsup> <msub> <mrow> <mi>u</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>|</mo> </mrow> <mrow> <mi>t</mi> <mo>=</mo> <mn>1</mn> </mrow> </msub> <mo>=</mo> <msubsup> <mo>&#8747;</mo> <mn>0</mn> <mn>1</mn> </msubsup> <mi>h</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <msubsup> <mi>D</mi> <mrow> <mn>0</mn> <mo>+</mo> </mrow> <mi>q</mi> </msubsup> <mi>u</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mi>d</mi> <mi>t</mi> <mo>,</mo> </mrow> </semantics> </math> </disp-formula> <disp-formula> <math display="block"> <semantics> <mrow> <mi>v</mi> <mrow> <mo>(</mo> <mn>0</mn> <mo>)</mo> </mrow> <mo>=</mo> <msup> <mi>v</mi> <mo>&#8242;</mo> </msup> <mrow> <mo>(</mo> <mn>0</mn> <mo>)</mo> </mrow> <mo>=</mo> <mo>⋯</mo> <mo>=</mo> <msup> <mi>v</mi> <mrow> <mo>(</mo> <mi>n</mi> <mo>&#8722;</mo> <mn>2</mn> <mo>)</mo> </mrow> </msup> <mrow> <mo>(</mo> <mn>0</mn> <mo>)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mo>,</mo> <msubsup> <mi>D</mi> <mrow> <mn>0</mn> <mo>+</mo> </mrow> <mi>p</mi> </msubsup> <msub> <mrow> <mi>v</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>|</mo> </mrow> <mrow> <mi>t</mi> <mo>=</mo> <mn>1</mn> </mrow> </msub> <mo>=</mo> <msubsup> <mo>&#8747;</mo> <mn>0</mn> <mn>1</mn> </msubsup> <mi>h</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <msubsup> <mi>D</mi> <mrow> <mn>0</mn> <mo>+</mo> </mrow> <mi>q</mi> </msubsup> <mi>v</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mi>d</mi> <mi>t</mi> <mo>,</mo> </mrow> </semantics> </math> </disp-formula> <disp-formula> <math display="block"> <semantics> <mrow> <mi>w</mi> <mrow> <mo>(</mo> <mn>0</mn> <mo>)</mo> </mrow> <mo>=</mo> <msup> <mi>w</mi> <mo>&#8242;</mo> </msup> <mrow> <mo>(</mo> <mn>0</mn> <mo>)</mo> </mrow> <mo>=</mo> <mo>⋯</mo> <mo>=</mo> <msup> <mi>w</mi> <mrow> <mo>(</mo> <mi>n</mi> <mo>&#8722;</mo> <mn>2</mn> <mo>)</mo> </mrow> </msup> <mrow> <mo>(</mo> <mn>0</mn> <mo>)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mo>,</mo> <msubsup> <mi>D</mi> <mrow> <mn>0</mn> <mo>+</mo> </mrow> <mi>p</mi> </msubsup> <msub> <mrow> <mi>w</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mo>|</mo> </mrow> <mrow> <mi>t</mi> <mo>=</mo> <mn>1</mn> </mrow> </msub> <mo>=</mo> <msubsup> <mo>&#8747;</mo> <mn>0</mn> <mn>1</mn> </msubsup> <mi>h</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <msubsup> <mi>D</mi> <mrow> <mn>0</mn> <mo>+</mo> </mrow> <mi>q</mi> </msubsup> <mi>w</mi> <mrow> <mo>(</mo> <mi>t</mi> <mo>)</mo> </mrow> <mi>d</mi> <mi>t</mi> <mo>,</mo> </mrow> </semantics> </math> </disp-formula> where <inline-formula> <math display="inline"> <semantics> <mrow> <mi>&#945;</mi> <mo>&#8712;</mo> <mo>(</mo> <mi>n</mi> <mo>&#8722;</mo> <mn>1</mn> <mo>,</mo> <mi>n</mi> <mo>]</mo> </mrow> </semantics> </math> </inline-formula> with <inline-formula> <math display="inline"> <semantics> <mrow> <mi>n</mi> <mo>&#8712;</mo> <mi mathvariant="double-struck">N</mi> </mrow> </semantics> </math> </inline-formula>, <inline-formula> <math display="inline"> <semantics> <mrow> <mi>n</mi> <mo>&#8805;</mo> <mn>3</mn> </mrow> </semantics> </math> </inline-formula>, <inline-formula> <math display="inline"> <semantics> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>&#8712;</mo> <mi mathvariant="double-struck">R</mi> </mrow> </semantics> </math> </inline-formula> with <inline-formula> <math display="inline"> <semantics> <mrow> <mi>p</mi> <mo>&#8712;</mo> <mo>[</mo> <mn>1</mn> <mo>,</mo> <mi>n</mi> <mo>&#8722;</mo> <mn>2</mn> <mo>]</mo> </mrow> </semantics> </math> </inline-formula>, <inline-formula> <math display="inline"> <semantics> <mrow> <mi>q</mi> <mo>&#8712;</mo> <mo>[</mo> <mn>0</mn> <mo>,</mo> <mi>p</mi> <mo>]</mo> </mrow> </semantics> </math> </inline-formula>, <inline-formula> <math display="inline"> <semantics> <msubsup> <mi>D</mi> <mrow> <mn>0</mn> <mo>+</mo> </mrow> <mi>&#945;</mi> </msubsup> </semantics> </math> </inline-formula> is the <inline-formula> <math display="inline"> <semantics> <mi>&#945;</mi> </semantics> </math> </inline-formula> order Riemann&#8722;Liouville type fractional derivative, and <inline-formula> <math display="inline"> <semantics> <mrow> <msub> <mi>f</mi> <mi>i</mi> </msub> <mrow> <mo>(</mo> <mi>i</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> <mo>)</mo> </mrow> <mo>&#8712;</mo> <mi>C</mi> <mrow> <mo>(</mo> <mrow> <mo>[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>]</mo> </mrow> <mo>&#215;</mo> <msup> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msup> <mo>&#215;</mo> <msup> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msup> <mo>&#215;</mo> <msup> <mi mathvariant="double-struck">R</mi> <mo>+</mo> </msup> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo>)</mo> </mrow> </mrow> </semantics> </math> </inline-formula> are semipositone nonlinearities.