[논문 리뷰] A developed new algorithm for evaluating Adomian polynomials

Mustapha Azreg‐Aïnou|ArXiv.org|2009. 06. 01.

Fuzzy Systems and OptimizationMathematics참고 문헌 8인용 수 19

한 줄 요약

이 논문은 광범위한 계산 복잡도를 줄이기 위해 하위첨수의 차이에만 의존하는 감소 다항식(RPs)을 정의함으로써 아도미안 다항식(APs)을 평가하는 데 새로운 알고리즘을 제안한다. 이는 체계적이고 압축적이며 효율적인 계산을 가능하게 하며, 수동 계산을 단순화하고 매우 최적화된 Mathematica 프로그램을 도출한다. $ A_{10} $까지의 일반형이 명시적으로 유도되어 아도미안 분해 방법에서의 계산 복잡도를 크게 감소시킨다.

ABSTRACT

Adomian polynomials (AP's) are expressed in terms of new objects called reduced polynomials (RP's). These new objects, which carry two subscripts, are independent of the form of the nonlinear operator. Apart from the well-known two properties of AP's, curiously enough no further properties are discussed in the literature. We derive and discuss in full detail the properties of the RP's and AP's. We focus on the case where the nonlinear operator depends on one variable and construct the most general analytical expressions of the RP's for small values of the difference of their subscripts. It is shown that each RP depends on a number of functions equal to the difference of its subscripts plus one. These new properties lead to implement a dramatically simple and compact Mathematica program for the derivation of individual RP's and AP's in their general forms and provide useful hints for elegant hand calculations of AP's. Application of the program is considered.

연구 동기 및 목표

• 비선형 미분 및 적분 방정식을 해결할 때 주요 성능 저하 요인이 되는 아도미안 분해 방법(ADM)에서 아도미안 다항식(APs) 평가의 계산 복잡도를 해결하기 위함.
• 비선형 연산자에 독립적이며 하위첨수의 차이에만 의존하는 새로운 유형의 대상인 감소 다항식(RPs)을 도입하기 위함.
• 하위첨수의 차이가 작은 경우에 대해 감소 다항식(RPs)의 일반 해석적 표현을 유도하여, 각 RPs가 $ m-k+1 $개의 함수에 의존함을 드러내기 위함. 여기서 $ m $과 $ k $는 하위첨수이다.
• 일반형태의 개별 RPs와 APs를 계산하기 위한 단순하고 압축적이며 효율적인 Mathematica 프로그램을 개발하기 위함.
• 기존 문헌에 발표되지 않은 $ A_5 $부터 $ A_{10} $까지의 명시적 해석적 표현을 제공하여, ADM의 분석적 및 계산적 응용에서의 유용성을 높이기 위함.

제안 방법

• 논문은 비선형 연산자 $ N $에 독립적이며 하위첨수의 차이 $ m-k $에만 의존하는 감소 다항식(RPs), 표기로는 $ Z_{m,k} $를 정의한다.
• 하위첨수의 차이가 $ m-k $일 때, $ k > 1 $이면 $ Z_{m,k} $는 $ m-k+1 $개의 함수 $ (u_1, u_2, ..., u_{m-k+1}) $에 의존하며, $ Z_{m,1} $은 오직 $ u_m $에만 의존한다.
• 아도미안 다항식 $ A_m $은 각 항이 $ Z_{m,k} $와 비선형 함수 $ F $의 $ k $차 미분 $ F^{(k)}(u_0) $의 곱인 $ k $에 대한 합으로 분해되며, 즉 $ A_m = igoplus_{k=1}^m Z_{m,k} F^{(k)}(u_0) $이다.
• 하위첨수의 차이가 작은 경우에 대해 $ Z_{m,k} $의 일반 표현을 유도하여, APs의 체계적 구성이 가능하도록 한다.
• 유도된 성질을 바탕으로 한 Mathematica 프로그램을 구현하여 기호 형태로 RPs와 APs를 자동 생성할 수 있도록 한다.
• 문헌에서 확보된 바가 없는 $ A_5 $부터 $ A_{10} $까지의 첫 번째 명시적 일반형을 유도하고 제시함으로써 방법의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 아도미안 분해 방법에서의 계산 부담을 줄이기 위해 아도미안 다항식의 평가를 어떻게 체계화하고 단순화할 수 있는가?
• RQ2 감소 다항식(RPs)의 내재된 구조적 특성은 $ u_1, u_2, ..., u_m $의 구성요소에 대한 의존성에 어떻게 영향을 미치는가?
• RQ3 하위첨수의 차이가 작은 경우에 대해 감소 다항식(RPs)의 일반 해석적 표현을 유도할 수 있으며, 이는 $ u_i $ 구성요소에 대해 어떤 기능적 의존성을 가지는가?
• RQ4 새로운 RP 기반 알고리즘이 얼마나 압축적이고 효율적인 기호 계산 프로그램으로 구현될 수 있는가?
• RQ5 아도미안 다항식 $ A_5 $부터 $ A_{10} $까지의 명시적 일반형은 무엇이며, 기존 문헌과 비교해보면 어떠한가?

주요 결과

• 감소 다항식 $ Z_{m,k} $는 $ k > 1 $일 때 정확히 $ m-k+1 $개의 함수 $ (u_1, ..., u_{m-k+1}) $에 의존하며, $ Z_{m,1} $은 오직 $ u_m $에만 의존한다. 이는 명확한 구조적 패턴을 드러낸다.
• $ A_m $의 일반형은 $ m $개의 항의 합으로 표현되며, 각 항은 $ Z_{m,k} $와 $ F^{(k)}(u_0) $의 곱이다. 이는 연산자 독립적 부분과 연산자 의존적 부분을 분리한다.
• $ A_5 $부터 $ A_{10} $까지의 유도된 표현은 문헌에 발표된 바가 없는 첫 번째 완전하고 명시적이며 일반적인 형태의 다항식으로, 중요한 격차를 메운다.
• 이 알고리즘은 RPs와 APs를 계산하기 위한 극도로 단순화되고 압축된 Mathematica 프로그램을 가능하게 하여 코드 복잡도와 실행 시간을 크게 감소시킨다.
• 이 방법은 아름다운 수동 계산을 위한 명확하고 체계적인 단서를 제공하여 수동 유도에 필요한 노력과 시간을 크게 줄여준다.
• 이 방법은 단일 변수에 의존하는 임의의 비선형 연산자에 일반적으로 적용 가능하므로, 비선형 과학 및 공학 분야의 다양한 응용 분야에서 널리 유용하다.