분수계산과 그 응용 적분미분 방정식의 해법

본 논문은 1996년 CISM 강연을 기반으로, 리만‑루빅(Riemann‑Liouville) 체계에서 분수 적분·미분 연산자를 정의하고, 라플라스 변환을 활용해 선형 분수 적분·미분 방정식의 해법을 체계적으로 제시한다. 1. **역사적 배경 및 기본 정의** 저자는 17세기 Leibniz의 질문에서 시작해, 19·20세기 수많은 수학자들의 공헌을 언급하며 분수 미적분이 오래된 동시에 현대적인 연구 분야임을 강조한다. 이후 카우치(Cauchy) 공식으로부터 시작해, 적분 차수를 실수 α>0 로 일반화한 분수 적분 연산자 J^α를 정의한다. J^α는 감마 함수와 베타 함수를 이용한 컨볼루션 형태이며, 라플라스 변환에서는 Φ_α(t)=t^{α‑1}/Γ(α)와의 컨볼루션으로 s^{‑α}에 대응한다. 2. **분수 적분 연산자의 성질** J^α J^β = J^{α+β}라는 반군집 구조와, 멱함수에 대한 작용 J^α t^γ = Γ(γ+1)/Γ(γ+1+α)·t^{γ+α}를 도출한다. 이러한 성질은 정수 차수 적분과 완전히 일치하며, 연산자의 선형성 및 연속성을 보장한다. 3. **분수 미분 연산자 정의** 두 가지 주요 정의가 소개된다. - **Riemann‑Liouville 미분 D^α**: D^α f(t) = D^m J^{m‑α} f(t) (m‑1<α≤m) 로 정의되며, 이는 J^α의 왼쪽 역연산자이다. 이 정의는 상수 함수에 대해 D^α 1 = t^{‑α}/Γ(1‑α)와 같이 0이 아닌 값을 갖는다. - **Caputo 미분 D_*^α**: D_*^α f(t) = J^{m‑α} D^m f(t) 로 정의되어, 초기값이 함수와 그 정수 차수 도함수의 값만 필요하게 만든다. 특히 D_*^α 1 = 0 으로, 물리적 초기조건을 다루기에 편리하다. 4. **라플라스 변환 규칙** - Riemann‑Liouville 미분: D^α f(t) ↔ s^α F(s) – Σ_{k=0}^{m‑1} s^{m‑1‑k} J^{m‑α} f^{(k)}(0⁺). - Caputo 미분: D_*^α f(t) ↔ s^α F(s) – Σ_{k=0}^{m‑1} s^{α‑1‑k} f^{(k)}(0⁺). 두 식 모두 라플라스 변환을 통해 초기값을 명시적으로 포함시키며, 선형 방정식의 해를 라플라스 영역에서 직접 구하고 역변환을 수행할 수 있게 한다. 5. **아벨형 적분 방정식** - **제1종**: J^α y(t) = f(t). 라플라스 변환 후 y(t) = Φ_α * f(t) 로 표현되며, 역변환은 직접적인 컨볼루션 형태이다. - **제2종**: y(t) – λ J^α y(t) = f(t). 라플라스 변환을 적용하면 Y(s) = F(s) / (1 – λ s^{‑α}) 가 되고, 역변환 결과는 미텔레프 함수 E_{α,β}(λ t^α) 로 나타난다. 6. **분수 차수의 완화·진동 방정식** - **완화 방정식**: D_*^α y(t) = –λ y(t). 라플라스 변환 후 Y(s) = s^{α‑1} / (s^α + λ) 이며, 역변환은 E_α(–λ t^α) 로 주어져 전통적인 지수 감쇠가 미텔레프 함수로 일반화됨을 보여준다. - **진동 방정식**: D_*^{2α} y(t) + λ y(t) = 0. 라플라스 변환 결과 Y(s) = s^{2α‑1} / (s^{2α} + λ) 로, 해는 E_{2α}(–λ t^{2α}) 로 표현된다. 이는 분수 차수에서의 진동이 일반화된 감쇠·진동 형태를 갖는다는 물리적 의미를 제공한다. 7. **미텔레프 함수와 부록** 논문의 부록에서는 미텔레프 함수 E_{α,β}(z) = Σ_{k=0}^∞ z^k / Γ(αk+β) 의 정의, 수렴 영역, 특수 경우(α=1 → 지수 함수, β=1 → 일반화된 지수) 등을 정리한다. 또한 라플라스 역변환 표와 몇 가지 유용한 항등식이 제공되어, 독자가 실제 계산에 바로 적용할 수 있도록 돕는다. 8. **결론 및 전망** 저자는 라플라스 변환을 활용한 분수 연산자의 취급법이 복잡한 일반론적 논의 없이도 실용적인 문제 해결에 충분함을 강조한다. 특히 물리·공학 분야에서 비정상적인 확산, 점탄성, 전기·기계 시스템 등에서 나타나는 비정수 차수 현상을 모델링할 때, 미텔레프 함수가 핵심 해석 도구가 된다. 향후 연구 방향으로는 비선형 분수 방정식, 다변수 시스템, 수치 해석 기법과의 연계가 제시된다.