FOR DIFFERENTIAL EQUATIONS OF FRACTIONAL ORDER
FOR DIFFERENTIAL EQUATIONS OF FRACTIONAL ORDER FOR DIFFERENTIAL EQUATIONS OF FRACTIONAL ORDER
44 T. S. Aleroev, H. T. Aleroeva, Ning-Ming Nie, and Yi-Fa Tangi.e. the operator A, inverse to the operator [ J + (χT ′ + εT ′′ )R(ζ, T ) ] −1,exists and equals to∑ [− (χT ′ + εT ′′ )R(ζ, T ) ] n,and for this a sufficient condition is the condition∥∥χT ′ + εT ′′ ‖ ≤ ‖R(ζ, T ) ∥ ∥.So, if the equality (∗) is fulfilled, then(∗)R(ζ, T ) [ J + (χT ′ + εT ′′ )R(ζ, T ) ] −1=∞∑ (= R(ζ, T ) − (χT ′ + εT ′′ )R(ζ, T ) ) p= R(ζ, χ, ε). (2.21)p=0Let λ be an eigenvalue of the operator T = T (0, 0) of multiplicity m = 1,Γ be a closed positively oriented contour contained in the resolvent set andcontaining only eigenvalues λ of T . Consider the projectorP (χ, ε) = − 12iπ∫ΓR(ζ, χ, ε).Assertion 2.1.dim P (χ, ε) = dim P (0, 0) = 1.Proof of Assertion 2.1 follows from Lemma 1.4.10 [16].Assertion 2.2. Let λ be an eigenvalue of the operator T (χ, ε) correspondingto the eigenvalue λ of the operator T . Thenλ(χ, ε) = tr ( T (χ, ε)P (χ, ε) ) = λ + tr ( T (χ, ε) − λ ) P (χ, ε).Proof of this assertion follows from the definition and fromtrP (χ, ε) = dim P (χ, ε) = 1.This formula gives a complete solution of the eigenvalues problem.Assertion 2.3.λ(χ, ε) = − 12iπ tr ∫Γ(ζ − λ)R(ζ, χ, ε) dζ. (2.22)In fact,(T (χ, ε) − λ)R(ζ, χ, ε) =(T (χ, ε) − ζ + ζ)R(ζ, χ, ε) == [ (T (χ, ε) − ζ) + (ζ − λ) ] R(ζ, χ, ε) = J + (ζ − λ)R(ζ, χ, ε).Integrating both parts of the last inequality over ζ, we obtain− 1 ∫R(ζ, χ, ε) dζ = − 1 ∫dζ − 1 ∫(ζ − λ)R(ζ, χ, ε) dζ.2iπ2iπ 2iπΓΓΓ
Boundary Value Problems for Differential Equations of Fractional Order 45As∫Assertion 2.3 is proved.ΓR(ζ, χ, ε) dζ = P (χ, ε),∫Γdζ = 0,Assertion 2.4. The following equality holdsλ(χ, ε) − λ = − 1 ∫log [ 1 + (χT ′ + εT ′′ ) ] R(ζ, T ) dζ.2iπΓProof. From the formula (2.22) we haveλ(χ, ε) − λ = − 1 ∫ ∞∑2iπ tr 1p (ζ − λ) d [− (χT ′ + εT ′′ )R(ζ, T ) ] pdζ.dζΓp=0Substitution of (2.21) instead of the resolvent R(ζ, χ, ε) gives usλ(χ, ε) − λ = − 1 ∫2iπ tr (ζ − λ)R(ζ, χ, ε) dζ =Γ= 1 ∫2iπΓlog (1 + [ (χT ′ + εT ′′ )R(ζ, T ) ] ) dζ.Until now we have considered various power series of χ and ε and did notspecify explicitly a condition of their convergence. Now we investigate suchconditions.The series (2.21) obviously converges if the equality∥∥(χT ′ + εT ′′ ) ∥ ∥ < 1holds and this condition takes place if|χ| < 1 (‖T ′ R(ζ, T )‖ ) , |ε| < 1 (‖T ′′ ‖R(ζ, T ) ) .22Denote by r 0 (χ) and r 1 (ε) the values of χ and ε, respectively for which wehave(‖T ′ R(ζ, T )‖ ) −1 (= 2|χ|, ‖T ′′ R(ζ, T )‖ ) −1= 2ε.Clearly the series (2.21) converges in regular intervals on ζ ∈ Γ if|χ| ≤ r 0 = minζ∈Γ r 0(ζ),|ε| < r 1 = minζ∈Γ r 1(ζ). (2.23)Hence it is clear that the radia of convergence r 0 and r 1 depend on thecontour Γ.□Assertion 2.5. Let ρ = maxζ∈Γ r 1|ζ − λ|. Then|λ(χ, ε) − λ| < β 2π .
- Page 4 and 5: 24 T. S. Aleroev, H. T. Aleroeva, N
- Page 8 and 9: 28 T. S. Aleroev, H. T. Aleroeva, N
- Page 10 and 11: 30 T. S. Aleroev, H. T. Aleroeva, N
- Page 12 and 13: 32 T. S. Aleroev, H. T. Aleroeva, N
- Page 14 and 15: 34 T. S. Aleroev, H. T. Aleroeva, N
- Page 16 and 17: 36 T. S. Aleroev, H. T. Aleroeva, N
- Page 18 and 19: 38 T. S. Aleroev, H. T. Aleroeva, N
- Page 20 and 21: CHAPTER 2The Sturm-Liouville Proble
- Page 22 and 23: 42 T. S. Aleroev, H. T. Aleroeva, N
- Page 26 and 27: 46 T. S. Aleroev, H. T. Aleroeva, N
- Page 28 and 29: 48 T. S. Aleroev, H. T. Aleroeva, N
- Page 30 and 31: 50 T. S. Aleroev, H. T. Aleroeva, N
- Page 32 and 33: 52 T. S. Aleroev, H. T. Aleroeva, N
- Page 34 and 35: 54 T. S. Aleroev, H. T. Aleroeva, N
- Page 36 and 37: 56 T. S. Aleroev, H. T. Aleroeva, N
- Page 38 and 39: 58 T. S. Aleroev, H. T. Aleroeva, N
- Page 40 and 41: 60 T. S. Aleroev, H. T. Aleroeva, N
- Page 42 and 43: 62 T. S. Aleroev, H. T. Aleroeva, N
- Page 44 and 45: 64 T. S. Aleroev, H. T. Aleroeva, N
- Page 46 and 47: CHAPTER 3Solving Two-Point Boundary
- Page 48 and 49: 68 T. S. Aleroev, H. T. Aleroeva, N
- Page 50 and 51: 70 T. S. Aleroev, H. T. Aleroeva, N
- Page 52 and 53: 72 T. S. Aleroev, H. T. Aleroeva, N
- Page 54 and 55: 74 T. S. Aleroev, H. T. Aleroeva, N
- Page 56 and 57: 76 T. S. Aleroev, H. T. Aleroeva, N
- Page 58 and 59: Since∣∣f(t, u 2 ) − f(t, u 1
- Page 60 and 61: agreement with the fact that (3.33)
- Page 62: 82 T. S. Aleroev, H. T. Aleroeva, N
44 T. S. Aleroev, H. T. Aleroeva, Ning-Ming Nie, and Yi-Fa Tangi.e. the operator A, inverse to the operator [ J + (χT ′ + εT ′′ )R(ζ, T ) ] −1,exists and equals to∑ [− (χT ′ + εT ′′ )R(ζ, T ) ] n,and for this a sufficient condition is the condition∥∥χT ′ + εT ′′ ‖ ≤ ‖R(ζ, T ) ∥ ∥.So, if the equality (∗) is fulfilled, then(∗)R(ζ, T ) [ J + (χT ′ + εT ′′ )R(ζ, T ) ] −1=∞∑ (= R(ζ, T ) − (χT ′ + εT ′′ )R(ζ, T ) ) p= R(ζ, χ, ε). (2.21)p=0Let λ be an eigenvalue of the operator T = T (0, 0) of multiplicity m = 1,Γ be a closed positively oriented contour contained in the resolvent set andcontaining only eigenvalues λ of T . Consider the projectorP (χ, ε) = − 12iπ∫ΓR(ζ, χ, ε).Assertion 2.1.dim P (χ, ε) = dim P (0, 0) = 1.Proof of Assertion 2.1 follows from Lemma 1.4.10 [16].Assertion 2.2. Let λ be an eigenvalue of the operator T (χ, ε) correspondingto the eigenvalue λ of the operator T . Thenλ(χ, ε) = tr ( T (χ, ε)P (χ, ε) ) = λ + tr ( T (χ, ε) − λ ) P (χ, ε).Proof of this assertion follows from the definition and fromtrP (χ, ε) = dim P (χ, ε) = 1.This formula gives a complete solution of the eigenvalues problem.Assertion 2.3.λ(χ, ε) = − 12iπ tr ∫Γ(ζ − λ)R(ζ, χ, ε) dζ. (2.22)In fact,(T (χ, ε) − λ)R(ζ, χ, ε) =(T (χ, ε) − ζ + ζ)R(ζ, χ, ε) == [ (T (χ, ε) − ζ) + (ζ − λ) ] R(ζ, χ, ε) = J + (ζ − λ)R(ζ, χ, ε).Integrating both parts of the last inequality over ζ, we obtain− 1 ∫R(ζ, χ, ε) dζ = − 1 ∫dζ − 1 ∫(ζ − λ)R(ζ, χ, ε) dζ.2iπ2iπ 2iπΓΓΓ