[논문 리뷰] Fourier Theory on the Complex Plane V: Arbitrary-Parity Real Functions, Singular Generalized Functions and Locally Non-Integrable Functions

Jorge L. deLyra|arXiv (Cornell University)|2015. 05. 09.

Nonlinear Dynamics and Pattern Formation참고 문헌 8인용 수 7

한 줄 요약

이 논문은 적분 가능한 실수 함수와 내부 해석 함수 사이의 대응을 일반화하여, 임의의 기수를 가진 실수 함수, 특이한 일반화된 함수(디랙 델타 함수 및 그 도함수 포함), 국소적으로 적분 불가능한 함수에 대해 복소 평면 위의 푸리에 이론을 일반화한다. 일반화된 함수를 나타내는 내부 해석 함수에 대한 재귀 관계를 도입하고, 적분-미분 체인을 사용하여 정상적, 특이적, 적분 불가능한 함수들을 하나의 분석적 프레임워크 안에서 통합한다.

ABSTRACT

A previously established correspondence between definite-parity real functions and inner analytic functions is generalized to real functions without definite parity properties. The set of inner analytic functions that corresponds to the set of all integrable real functions is then extended to include a set of singular "generalized functions" by the side of the integrable real functions. A general definition of these generalized functions is proposed and explored. The generalized functions are introduced loosely in the spirit of the Schwartz theory of distributions, and include the Dirac delta "function" and its derivatives of all orders. The inner analytic functions corresponding to this infinite set of singular real objects are given by means of a recursion relation. The set of inner analytic functions is then further extended to include a certain class of non-integrable real functions. The concept of integral-differential chains is used to help to integrate both the normal functions and the singular generalized functions seamlessly into a single structure. It does the same for the class of non-integrable real functions just mentioned. This extended set of generalized functions also includes arbitrary real linear combinations of all these real objects. An interesting connection with the Dirichlet problem on the unit disk is established and explored.

연구 동기 및 목표

• 정의된 기수를 가진 실수 함수와 내부 해석 함수 사이의 대응을 임의의 기수를 가진 실수 함수로 일반화한다.
• 적분 가능한 실수 함수의 집합을 디랙 델타 함수 및 그 도함수와 같은 특이한 일반화된 함수를 포함하도록 확장한다.
• 적분-미분 체인을 사용하여 정상적, 특이적, 적분 불가능한 실수 함수를 통합하는 단일 프레임워크를 정의한다.
• 일반화된 함수 프레임워크와 단위 원판 위의 딜레르클 문제 사이의 연결 고리를 수립한다.
• 디랙 델타 함수의 고차 도함수에 대응하는 내부 해석 함수를 계산하는 재귀 대수적 방법을 제공한다.

제안 방법

• 내부 해석 함수의 실수부와 허수부의 극한으로서 일반화된 함수를 정의하며, 열린 단위 원판 내부에서 단위 원으로의 극한으로서 정의한다.
• 로그 미분에서 유도된 재귀 관계를 사용하여 디랙 델타 함수 및 그 도함수에 대응하는 내부 해석 함수를 생성한다.
• 일반화된 함수의 내부 해석 함수를 매개변수화하는 다항식 $ P_n(\theta) $ 를 위한 미분 재귀 관계를 도입한다.
• 다항식의 계수를 계산하기 위해 이중 인덱스 대수적 재귀 $ A_{n,i} = (i+1)A_{n-1,i} + (n-i+1)A_{n-1,i-1} $ 를 적용한다.
• 적분-미분 체인을 활용하여 정상적 함수, 특이한 일반화된 함수, 적분 불가능한 함수를 하나의 구조 안에서 원활하게 통합한다.
• 모든 실수 함수를 짝수 및 홀수 부분으로 분해하여 임의의 기수 케이스를 다루며, 이전의 정의된 기수 결과를 확장한다.

실험 결과

연구 질문

• RQ1 실수 함수와 내부 해석 함수 사이의 대응을 정의된 기수를 초월하여 임의의 기수 함수로 어떻게 확장할 수 있는가?
• RQ2 디랙 델타 함수 및 그 도함수와 같은 특이한 일반화된 함수에 대응하는 내부 해석 함수의 구조는 무엇인가?
• RQ3 해석 continuation과 적분-미분 체인을 사용하여 정상적, 특이적, 적분 불가능한 실수 함수를 통합하는 단일 프레임워크를 구성할 수 있는가?
• RQ4 일반화된 함수의 내부 해석 함수를 매개변수화하는 다항식의 계수를 지배하는 재귀 관계는 무엇인가?
• RQ5 이 일반화된 푸리에 이론은 단위 원판 위의 딜레르클 문제와 어떻게 관련이 있는가?

주요 결과

• 디랙 델타 함수의 $ n $-번째 도함수에 대응하는 내부 해석 함수에 대한 재귀 관계가 수립된다: $ w_{\nu^{(n+1)\backprime}}(\theta) = \boldmath{\text{i}} \, \theta \, \frac{d}{d\theta} w_{\nu^{(n)\backprime}}(\theta) $.
• 일반화된 함수의 내부 해석 함수는 $ w_{\nu^{(n)\backprime}}(\theta) = \frac{\boldmath{i}^n}{\pi} \frac{\chi P_{n-1}(\chi)}{(\chi-1)^{n+1}} $ 로 표현되며, 여기서 $ P_{n-1} $ 은 차수 $ n-1 $ 의 다항식이다.
• 다항식 $ P_n(\chi) $ 의 계수 $ A_{n,i} $ 는 이중 인덱스 재귀 $ A_{n,i} = (i+1)A_{n-1,i} + (n-i+1)A_{n-1,i-1} $ 를 만족하며, $ A_{n,0} = A_{n,n} = 1 $ 이다.
• 일부 첫 번째 다항식들이 명시적으로 계산된다: $ P_0(\chi) = 1 $, $ P_1(\chi) = 1+\chi $, $ P_2(\chi) = 1+4\chi+\chi^2 $, $ P_3(\chi) = 1+11\chi+11\chi^2+\chi^3 $, $ P_4(\chi) = 1+26\chi+66\chi^2+26\chi^3+\chi^4 $.
• 이 프레임워크는 적분 가능한 함수, 특이한 일반화된 함수, 그리고 일정한 비적분 가능성 클래스를 가진 함수의 임의의 실수 선형 조합을 포함하며, 모두 적분-미분 체인을 통해 통합된다.
• 일반화된 함수 프레임워크와 단위 원판 위의 딜레르클 문제 사이에 명시적인 연결 고리가 수립되었으며, 이는 더 깊은 조화 분석적 함의를 시사한다.