An Algebraic-Operator Construction of the Half-Derivative on a Graded Monomial Space. Part I: Recurrence, Double Factorials, the Wallis Product, and Normalization

수학 속의 "반 걸음"의 미스터리

당신이 길을 따라 걷고 있고, 한 걸음을 내디딜 때마다 정확히 1미터씩 앞으로 나아간다고 상상해 보십시오. 수학의 세계에서 이것은 무언가가 얼마나 빠르게 변하는지를 측정하는 도구인 '미분'과 같습니다. 단순한 곡선이 있다면, 미분을 취하는 것은 그 곡선의 기울기를 알려줍니다. 미분을 다시 한 번 수행하면 '이계도함수'를 얻게 되며, 이는 그 기울기가 어떻게 변하는지를 알려줍니다. 이것은 매우 질서 정연한 체계입니다. 한 걸음을 내디디면 새로운 숫자를 얻고, 두 걸음을 내디디면 또 다른 숫자를 얻습니다.

하지만 만약 당신이 "반 걸음"을 걷고 싶다면 어떨까요? 만약 당신이 시작 지점과 다음 전체 걸음 사이의 정확히 중간 지점에 멈출 수 있다면 어떨까요? 이 질문은 수 세기 동안 수학자들을 괴롭혀 왔습니다. 이것은 '분수 미적분학(fractional calculus)'이라 불리는 분야에 속하며, 이 분야는 "함수를 더 작은, 정수가 아닌 조각으로 나눌 수 있는가?"라고 묻습니다. 음악 플레이어가 보통 노래를 통째로 건너뛰지만, 누군가 정확히 노래의 절반만 재생하는 버튼을 발명하고 싶어 하는 상황을 생각해 보십시오. 문제는 까다로운데, 음악과 달리 수학적 연산은 항상 깔끔하게 나누어지지 않기 때문입니다. 만약 당신이 "반 걸음"을 두 번 취한다면, 반드시 한 번의 전체 걸음을 취했을 때와 똑같은 지점에 도착해야 합니다. 만약 그렇지 않다면 수학은 무너집니다. 이 논문은 바로 그 퍼즐, 즉 숫자의 세계에서 완벽한 "반 걸음"을 떼는 기계를 어떻게 만드는지에 대해 깊이 파고듭니다.

반 미분의 대수적 퍼즐

다비트 카파나제(Davit Kapanadze)의 논문은 일반적인 미적분학의 복잡한 적분이나 대부분의 수학자가 의존하는 특수 함수 같은 무거운 도구를 사용하는 대신, 처음부터 "반 미분" 기계를 구축함으로써 이 퍼즐을 해결합니다. 대신 그는 이 문제를 거대한 대수적 퍼즐처럼 다루며, '단항식(monomials)'이라 불리는 특정 숫자 군에 집중합니다. 단항식을 곡선의 구성 요소(예를 들어 $x, x^2, x^3$, 그리고 $x^{1/2}$나 $x^{3/2}$ 같은 이상한 것들)라고 생각할 수 있습니다.

저자는 간단한 규칙에서 시작합니다. 만약 이 신비로운 "반 미분" 연산자를 두 번 적용한다면, 그것은 반드시 일반적인 전체 미분과 똑같이 작동해야 합니다. 만약 $x^2$에서 시작하여 반 걸음을 가고, 다시 또 다른 반 걸음을 간다면, 당신은 $x^2$의 전체 미분을 한 결과와 동일한 결과에 도달해야 합니다. 이 규칙을 따르도록 수학을 강제함으로써, 저자는 숨겨진 패턴을 발견합니다. 항에 곱해지는 숫자들(계수들)은 무작위가 아닙니다. 그것들은 엄격한 리듬을 따릅니다. 첫 번째 단계와 두 번째 단계의 숫자를 계산해 보면, 그것들은 하나의 사슬처럼 연결됩니다.

이 사슬은 "더블 팩토리얼(double factorials)"이라 불리는 것으로 이어집니다. 일반적인 팩토리얼이 1까지의 모든 숫자를 곱하는 것이라면(예: $5 \times 4 \times 3 \times 2 \times 1$), 더블 팩토리얼은 숫자를 하나씩 건너뛰며 곱합니다(예: $5 \times 3 \times 1$). 논문은 이 "반 걸음" 계수들이 전적으로 이러한 건너뛰는 숫자 패턴들로 구성되어 있음을 보여줍니다. 이는 마치 반 걸음의 비밀 코드가 홀수와 짝수를 배열하는 특정한 방식임을 찾아내는 것과 같습니다.

하지만 함정이 있습니다. 수학은 저자에게 숫자들이 서로 어떻게 관계되어 있는지는 정확히 알려주지만, 하나의 숫자를 공중에 띄워 놓습니다. 바로 "정규화 상수(normalization constant)"입니다. 이것을 볼륨 조절기라고 생각해 보십시오. 저자는 왼쪽 스피커와 오른쪽 스피커가 올바른 소리를 만들기 위해 어떻게 균형을 맞춰야 하는지는 정확히 알지만, 전체 시스템의 전체 볼륨은 여전히 선택의 문제입니다. 수학은 이렇게 말합니다. "만약 당신이 첫 번째 반 걸음의 볼륨을 높인다면, 두 번째 반 걸음의 볼륨은 정확히 같은 양만큼 낮추어야 서로 상쇄될 것이다." 이는 최종 결과(전체 미분)는 설정값에 상관없이 항상 정확하지만, "반 걸음" 자체는 설정에 따라 다르게 보일 수 있음을 의미합니다.

이를 해결하기 위해, 저자는 $\pi$(파이)에 서서히 접근하는 분수들의 무한 곱인 "월리스 곱(Wallis product)"이라는 유명한 수학적 패턴을 살펴봅니다. 논문은 반 걸음 공식의 숫자 비율이 자연스럽게 이 월리스 패턴을 형성한다는 것을 보여줍니다. 월리스 곱이 저자에게 볼륨 조절기를 정확히 어떤 값으로 해야 하는지 알려주지는 않지만, 단서는 제공합니다. 자신의 결과를 잘 알려진 고전적 공식(리만-리우빌 미분)과 비교함으로써, 저자는 볼륨 조절기를 $1/\sqrt{\pi}$라는 특정 값으로 설정하기로 결정합니다.

이 조절기가 설정되면, 논문은 최종적이고 깔끔한 공식을 드러냅니다. 임의의 $x$의 거듭제곱에 대해, 이제 반 미분은 정밀하게 계산 가능한 숫자가 됩니다. 예를 들어, $x$의 반 미분은 $\frac{2}{\sqrt{\pi}}x^{1/2}$이고, $x^2$의 반 미분은 $\frac{8}{3\sqrt{\pi}}x^{3/2}$입니다. 이 공식을 두 번 적용하면, 표준 미분을 완벽하게 재현합니다.

이 논문은 자신이 무엇을 하지 않았는지를 매우 주의 깊게 명시합니다. 저자는 우주의 모든 가능한 함수에 작동하는 보편적인 도구를 만든 것이 아닙니다. 또한 "적분 커널"(곡선 아래의 면적을 사용하여 반 걸음을 계산하는 방법)이나 복잡한 경계 조건을 처리하는 방법을 찾은 것도 아닙니다. 또한 열이 어떻게 퍼지는지나 고무줄이 시간이 지남에 따라 어떻게 늘어나는지와 같은 실제 물리 문제에 이 연산자가 작동하는지 증명하지도 않았습니다. 저자는 이러한 것들이 미해결 과제임을 명시적으로 밝힙니다. 결과는 엄격하게 특정 수학적 구성 요소들에 대한 대수적 구축입니다.

결론적으로, 이 논문은 일반적인 무거운 미적분 도구를 사용할 필요 없이 오직 대수와 합성의 논리만을 사용하여 "반 미분"을 구축할 수 있음을 증명합니다. 그것은 숫자들이 더블 팩토리얼과 $\pi$를 포함하는 아름답고 리드미컬한 패턴을 따른다는 것을 보여줍니다. 그러나 저자는 이 특정 "반 걸음" 기계가 실제 세상의 무질서하고 복잡한 문제들에 사용하기에 적합한 것인지는 아직 알 수 없다고 경고합니다. 이 대수적 열쇠가 물리학과 공학의 자물쇠에 맞는지 확인하기 위해 미래의 탐험가들을 위한 문은 열려 있습니다.