[논문 리뷰] Volterra Equations of the First kind with Discontinuous Kernels in the Theory of Evolving Systems Control

Denis Sidorov|arXiv (Cornell University)|2011. 11. 25.

Differential Equations and Boundary Problems참고 문헌 8인용 수 13

한 줄 요약

이 논문은 변화하는 시스템 제어에서 흔히 나타나는 불연속적인 조각별로 스무스한 커널을 가진 제1종 볼테라 적분방정식을 해결하기 위한 구축적 방법을 개발한다. 존재성 정리들을 수립하고, 해에 대한 로그-거듭제곱 점근 전개를 제안하며, 계수들은 연속적인 근사법을 통해 결정되며 이는 [0, T]에서 균일 수렴한다. 이에 따라 불규칙한 경우에 임의의 상수를 포함하는 매개변수 가중 해의 가족을 구성할 수 있다.

ABSTRACT

The Volterra integral equations of the first kind with piecewise smooth kernel are considered. Such equations appear in the theory of optimal control of the evolving systems. The existence theorems are proved. The method for constructing approximations of parametric families of solutions of such equations is suggested. The parametric family of solutions is constructed in terms of a logarithmic-power asymptotics.

연구 동기 및 목표

• 변화하는 시스템 제어에서 불연속 커널을 가진 볼테라 적분방정식 제1종에 대한 체계적인 해법이 부족한 문제를 해결한다.
• 커널의 스무스성과 구조에 대한 조건 하에서 연속 해의 존재성을 수립한다.
• 로그-거듭제곱 점근 해석과 연속적 근사법을 사용하여 해를 근사하는 구축적 알고리즘을 개발한다.
• 불규칙한 경우에 나타나는 임의의 상수를 포함한 해의 구조를 규명한다.
• 연속적 반복을 통해 나머지 항의 수치적 근사를 위한 균일 수렴 프레임워크를 제공한다.

제안 방법

• 해를 로그-거듭제곱 점근 전개 형태로 표현한다: $ x(t) = ∑_{i=0}^{N} x_i(\ln t) t^i + t^N u(t) $, 여기서 $ x_i(\ln t) $ 는 $ \ln t $ 에 대한 다항식이다.
• 커널 $ K(t,s) $ 는 조각별로 스무스하며, 곡선 $ s = \alpha_i(t) $ 에서 불연속성을 가지며, $ \alpha_i'(t) < 1 $ 이다.
• 볼테라 방정식에서 유도된 동차 적분-함수 방정식에 대해 유계된 역연산자가 존재하도록 보장하는 조건 A 를 도입한다.
• 수렴성을 보장하기 위해 수정된 노름 $ ||u|| = \max_{t \in [0,T]} e^{-lt} |u(t)| $ 을 적용하여 연속적 근사 연산자 $ A $ 가 수축임을 증명한다.
• 차분방정식과 특성방정식을 사용하여 계수 $ x_i(\ln t) $ 의 구조를 결정하며, 루트 $ \lambda = 1 $ 의 중복도가 임의의 상수의 수를 결정한다.
• 초기값 $ u_0(t) = 0 $ 에서 시작하여 균일 수렴하는 연속적 반복을 통해 나머지 함수 $ u(t) $ 를 구성하며, 조건 A 하에 수렴이 보장된다.

실험 결과

연구 질문

• RQ1 불연속 커널을 가진 볼테라 적분방정식 제1종이 $ (0, T] $ 에서 연속 해를 갖는 조건은 무엇인가?
• RQ2 해가 $ t = 0 $ 근처에서 로그 특이성을 보일 경우, 매개변수 가중 해의 체계적 구성은 어떻게 이루어질 수 있는가?
• RQ3 관련 차분방정식의 특성방정식에서 루트 $ \lambda = 1 $ 의 중복도가 해에 포함된 임의의 상수의 수를 결정하는 데 어떤 역할을 하는가?
• RQ4 점근 전개의 나머지 항 $ u(t) $ 는 균일 수렴하는 반복적 방법으로 구성될 수 있는가?
• RQ5 커널 $ K(t,s) $ 의 구조, 특히 $ s = \alpha_i(t) $ 에서의 불연속성은 해의 가역성과 정규성에 어떤 영향을 미치는가?

주요 결과

• 조건 A 하에, 불연속 커널을 가진 볼테라 방정식 제1종의 해는 존재하며, $ x(t) = \sum_{i=0}^{N} x_i(\ln t) t^i + t^N u(t) $ 의 형태로 표현 가능하다. 여기서 $ x_i(\ln t) $ 는 $ \ln t $ 에 대한 다항식이다.
• 해에 포함된 임의의 상수의 수는 $ p = r_1 + \cdots + r_k $ 이며, 여기서 $ r_j $ 는 $ j $-번째 커널 세그먼트에 대응하는 $ j $-번째 특성방정식에서 루트 $ \lambda = 1 $ 의 중복도이다.
• 함수 $ u(t) $ 를 위한 연속적 근사 방법은 $ [0, T] $ 에서 균일 수렴하며, 지수 가중 노름 하에서 수축 성질에 의해 수렴이 보장된다.
• $ L(0) = 0 $ 이면 주요 항 $ x_0(\ln t) $ 에 $ \ln t $ 항이 포함되어 있어 $ \lim_{t \to 0^+} x(t) = \infty $ 임을 의미하며, 이는 로그 특이성을 나타낸다.
• 커널에 불연속성이 곡선 $ \alpha_i(t) $ 에서 $ \alpha_i'(t) < 1 $ 를 만족할 경우 일반화 가능하며, 미약한 스무스성 조건 하에서도 해의 구조는 유지된다.
• 해가 $ t = 0 $ 근처에서 유계가 아니더라도, 점근 전개를 통해 로그 특이성을 포착함으로써 연속 해의 구성이 가능해진다.