[논문 리뷰] A Gronwall inequality and the Cauchy-type problem by means of $ψ$-Hilfer operator

J. Vanterler da C. Sousa, E. Capelas de Oliveira|arXiv (Cornell University)|2017. 09. 12.

Nonlinear Differential Equations Analysis인용 수 12

한 줄 요약

이 논문은 ψ-분수적 적분을 사용하여 일반화된 그론발레 부등식을 도입하며, 이는 ψ-힐러 분수적 도함수를 포함하는 카우치 유형 문제의 해의 존재성, 유일성 및 연속적 의존성 연구에 응용된다. 주요 기여는 새로운 부등식을 통한 자료 의존성의 엄밀한 분석으로, 고전적 결과를 더 넓은 범주로 확장한다.

ABSTRACT

In this paper, we propose a generalized Gronwall inequality through the fractional integral with respect to another function. The Cauchy-type problem for a nonlinear differential equation involving the $ψ$-Hilfer fractional derivative and the existence and uniqueness of solutions are discussed. Finally, through generalized Gronwall inequality, we prove the continuous dependence of data on the Cauchy-type problem.

연구 동기 및 목표

• 고전적 그론발레 부등식을 ψ-힐러 연산자를 포함하는 분수적 미분방정식으로 일반화하기.
• ψ-힐러 분수적 도함수에 의해 지배되는 카우치 유형 문제에 대한 해의 존재성과 유일성 설정하기.
• 일반화된 부등식을 사용하여 초기 자료에 대한 해의 연속적 의존성 분석하기.
• ψ-힐러 연산자를 통해 기존의 분수적 도함수 프레임워크를 통합하고 일반화하기.

제안 방법

• 증가하는 함수 ψ에 대한 ψ-분수적 적분을 사용하여 일반화된 그론발레 부등식 유도하기.
• 다양한 분수적 도함수를 통합하는 프레임워크로 ψ-힐러 분수적 도함수 정의하기.
• ψ-힐러 도함수 성질을 활용하여 카우치 유형 문제를 등가의 볼테라 적분방정식으로 변환하기.
• 일반화된 그론발레 부등식을 적용하여 초기 자료 및 파rameter에 대한 해의 연속적 의존성 증명하기.
• 함수의 정규성과 적분 가능성을 보장하기 위해 가중 함수 공간 C_{γ,ψ}[a,b] 및 C_{1−γ,ψ}[a,b] 사용하기.
• 반복 근사 및 급수 전개 기법을 활용하여 해의 차이를 초기 변화량에 대해 유계화하기.

실험 결과

연구 질문

• RQ1 어떻게 고전적 그론발레 부등식을 다른 함수 ψ에 대한 분수적 도함수를 수용하도록 일반화할 수 있는가?
• RQ2 ψ-힐러 분수적 도함수를 포함하는 카우치 유형 문제는 어떤 조건에서 유일한 해를 갖는가?
• RQ3 ψ-힐러 분수적 도함수를 포함하는 카우치 유형 문제의 해는 초기 자료 및 파rameter에 대해 어떻게 연속적으로 의존하는가?
• RQ4 일반화된 그론발레 부등식을 사용하여 초기 조건의 변화에 대한 해의 안정성을 정량적으로 평가할 수 있는가?

주요 결과

• ψ-분수적 적분을 사용하여 새로운 일반화된 그론발레 부등식이 확립되었으며, 이는 고전적 결과를 더 넓은 범주로 확장한다.
• ψ-힐러 분수적 도함수를 포함하는 카우치 유형 문제는 볼테라 적분방정식과 등가임이 입증되었으며, 해 분석이 가능해졌다.
• 비선형 항에 대한 표준 리프시츠 조건 하에서 해의 존재성과 유일성이 증명되었다.
• 일반화된 그론발레 부등식을 통해 초기 자료에 대한 해의 연속적 의존성이 엄밀히 입증되었다.
• 해의 차이는 미타그레플레르 함수를 포함하는 급수로 유계화된다: |y_m(x) - y_m*(x)| ≤ |ε|(ψ(x)−ψ(a))^{γ−1} E_{α,γ}(A(ψ(x)−ψ(a))^α).
• 해의 변동에 대한 유계는 안정성과 초기 자료에 대한 정량적 의존성을 확인하며, 명시적인 ε 및 함수 ψ에 대한 의존성이 드러난다.