[논문 리뷰] On the Ulam Type Stability of Nonlinear Volterra Integral Equations

Süleyman Öğrekçi, Yasemin Başçı외 1명|arXiv (Cornell University)|2021. 05. 25.

Functional Equations Stability Results인용 수 1

한 줄 요약

이 논문은 고정점 대체 방법을 사용하여 비선형 볼테라 적분방정식에 대한 향상된 하이어스-울람 및 하이어스-울람-라시아 안정성 결과를 수립한다. 일반화된 거리 함수와 지수 가중 함수를 도입함으로써, 이전에 요구되었던 제약 조건인 KL < 1 및 ∫ϕ(s)ds ≤ Kϕ(t)를 제거하여, 립시츠 상수 L > 1인 경우에도 적용 가능한 더 넓은 범주로 안정성 정리를 확장한다.

ABSTRACT

In this paper, we examine the Hyers-Ulam and Hyers-Ulam-Rassias stability of solutions of a general class of nonlinear Volterra integral equations. By using a fixed point alternative and improving a technique commonly used in similar problems, we extend and improve some well-known results on this problem. We also provide some examples visualizing the improvement of the results mentioned.

연구 동기 및 목표

• 기존 제약 조건을 초월하여 비선형 볼테라 적분방정식에 대한 하이어스-울람 및 하이어스-울람-라시아 안정성 결과를 확장하는 것.
• 이전 안정성 정리에서 요구되었던 제약 조건인 KL < 1 및 ∫ϕ(s)ds ≤ Kϕ(t)를 제거하는 것.
• 이전 정리에서 다룰 수 없었던 립시츠 상수 L > 1인 경우에도 안정성 결과를 일반화하는 것.
• 일관된 프레임워크를 제공하기 위해 일반화된 거리 함수와 지수 가중 함수를 사용하여 안정성 분석을 향상시키는 것.

제안 방법

• d(g1, g2) ≤ C이면 |g1(t) - g2(t)|e^{-η(t−t₀)} ≤ Cϕ(t)를 모든 t에 대해 만족하는 일반화된 거리 공간 (X, d)를 정의한다.
• 고정점 대체 정리(정리 2.2)를 (Θy)(t) = ∫ₜ₀ᵗ f(t,s,y(s))ds로 정의된 엄격 수축 연산자 Θ에 적용한다.
• 성장률을 통제하고 수렴성을 보장하기 위해 η > L인 지수 가중 요소 e^{η(t−t₀)}를 사용한다.
• 모든 η > L에 대해 유효한 부등식 |y(t) - y₀(t)| ≤ ϕ(t)e^{ηr}/(1 - L/η)를 통해 안정성을 확립한다.
• 연산자 Θ가 계수 L/η < 1을 가진 엄격 수축 연산자임을 증명한다.
• 고정점 정리를 적용하여 오차 한계를 만족하는 해 y₀의 존재성과 유일성을 증명한다.

실험 결과

연구 질문

• RQ1 볼테라 적분방정식에 대해 ∫ϕ(s)ds ≤ Kϕ(t) 및 KL < 1 조건을 요구하지 않고도 하이어스-울람-라시아 안정성을 확립할 수 있는가?
• RQ2 립시츠 상수 L > 1인 경우에도 고정점 접근법을 통해 하이어스-울람 안정성을 달성할 수 있는가?
• RQ3 지수 가중 함수 e^{η(t−t₀)}의 선택이 고전적 방법에 비해 안정성 추정치를 어떻게 향상시키는가?
• RQ4 고정점 대체 방법을 비정수 핵 함수와 일반적인 ϕ(t) 경계를 가진 볼테라 방정식에 어떻게 적용할 수 있는가?
• RQ5 ϕ(t)와 립시츠 상수 L에 대한 근사 오차의 정량적 경계는 무엇인가?

주요 결과

• 논문은 이전 결과에서 필수였던 조건 ∫ₐᵗ ϕ(s)ds ≤ Kϕ(t)를 요구하지 않고도 볼테라 적분방정식에 대한 하이어스-울람-라시아 안정성을 확립한다.
• 저자들은 모든 립시츠 상수 L > 0에 대해 하이어스-울람 안정성을 증명하며, Lr ≥ 1인 경우에도 작동하며, 이는 이전 정리(예: [25]의 정리 3.1)가 무효화되는 경우를 포함한다.
• 오차 경계는 |y(t) - y₀(t)| ≤ ϕ(t)e^{ηr}/(1 - L/η)로 명시적으로 주어지며, 이는 이전 결과보다 더 강한 가정을 요구하지 않는다.
• 일정 오차 ε에 대해 경계는 |y(t) - y₀(t)| ≤ εe^{ηr}/(1 - L/η)로 주어지며, 모든 η > L에 대해 유효하여 L > 1인 경우에도 안정성을 보여준다.
• 이 방법은 볼테라 방정식의 제1종 및 제2종 모두에 일반적으로 적용 가능하며, 정리 2.4 및 2.7에서 이를 보여준다.
• 예시를 통해 이전 정리가 실패하는 경우(예: KL > 1 또는 Lr > 1)에도 새로운 결과가 적용됨을 확인하여 실용적 향상을 입증한다.