해석학 에서 멜린 변환 (Mellin變換, 영어 : Mellin transform )은 양의 실수선 위의 함수에 대하여 정의되는 적분 변환 의 일종이다.[1] 푸리에 변환 에 지수 함수 를 합성한 것이다. 이에 따라, 푸리에 변환이나 라플라스 변환 이 평행 이동에 대하여 호환되는 것에 반해, 멜린 변환은 확대 변환에 대하여 호환된다. 원래 함수의 0 또는 무한대에서의 점근적 급수의 계수는 멜린 변환의 극점 의 계수로 주어진다.
K
∈
{
R
,
C
}
{\displaystyle \mathbb {K} \in \{\mathbb {R} ,\mathbb {C} \}}
라고 하자. 양의 실수선 (
R
+
=
(
0
,
∞
)
{\displaystyle \mathbb {R} ^{+}=(0,\infty )}
) 위에 정의된 실수 값 함수
f
∈
L
1
(
R
+
;
K
)
{\displaystyle f\in \operatorname {L} ^{1}(\mathbb {R} ^{+};\mathbb {K} )}
f
:
(
0
,
∞
)
→
K
{\displaystyle f\colon (0,\infty )\to \mathbb {K} }
가 주어졌다고 하자. (
L
1
{\displaystyle \operatorname {L} ^{1}}
은 1차 르베그 공간 , 즉 절댓값 적분 가능 함수 공간이다.)
M
f
{\displaystyle {\mathcal {M}}f}
의 정의역 은 위 적분이 수렴하는 복소수
s
∈
C
{\displaystyle s\in \mathbb {C} }
들의 집합이다.
그렇다면,
f
{\displaystyle f}
의 멜린 변환 은 (만약 존재한다면) 다음과 같은 적분 변환 이다.
M
f
(
s
)
=
∫
0
∞
x
s
f
(
x
)
d
x
x
{\displaystyle {\mathcal {M}}f(s)=\int _{0}^{\infty }x^{s}f(x)\,{\frac {\mathrm {d} x}{x}}}
확장된 멜린 변환
편집
만약 위와 같은 멜린 변환이 수렴하지 않더라도, 일부 경우 멜린 변환을 다음과 같이 정의할 수 있다.[1] :§1
우선, 함수
f
∈
L
1
(
R
+
;
C
)
{\displaystyle f\in \operatorname {L} ^{1}(\mathbb {R} ^{+};\mathbb {C} )}
가 0 근처에서 점근적 급수
f
(
x
)
∼
∑
i
=
0
∞
a
i
x
α
i
(
ln
x
)
m
i
{\displaystyle f(x)\sim \sum _{i=0}^{\infty }a_{i}x^{\alpha _{i}}(\ln x)^{m_{i}}}
를 갖는다고 하자. (이 급수는 점근적 급수이다. 즉, 수렴할 필요는 없다.) 여기서
α
i
∈
C
{\displaystyle \alpha _{i}\in \mathbb {C} }
는
ℜ
α
0
≤
ℜ
α
1
≤
ℜ
α
2
≤
⋯
{\displaystyle \Re \alpha _{0}\leq \Re \alpha _{1}\leq \Re \alpha _{2}\leq \cdots }
sup
i
=
0
∞
ℜ
α
i
=
∞
{\displaystyle \sup _{i=0}^{\infty }\Re \alpha _{i}=\infty }
를 만족시키는 복소수열 이며,
m
i
∈
N
{\displaystyle m_{i}\in \mathbb {N} }
는 자연수 (음이 아닌 정수)의 수열 이다.
그렇다면, 임의의
0
<
T
<
∞
{\displaystyle 0<T<\infty }
에 대하여 "부분 멜린 변환"
M
f
(
s
)
=
∫
0
T
x
s
f
(
x
)
d
x
x
{\displaystyle {\mathcal {M}}f(s)=\int _{0}^{T}x^{s}f(x)\,{\frac {\mathrm {d} x}{x}}}
는 해석적 연속 을 가하면 복소평면 위의 유리형 함수 이며, 그 극점 들은
−
α
i
{\displaystyle -\alpha _{i}}
에 위치하며, 극점 근처에서의 로랑 급수 는 다음과 같다.
M
f
(
s
)
=
(
−
1
)
m
i
m
i
!
a
i
(
s
+
α
i
)
m
i
+
1
+
O
(
(
s
+
α
i
)
−
m
i
)
{\displaystyle {\mathcal {M}}f(s)={\frac {(-1)^{m_{i}}m_{i}!a_{i}}{(s+\alpha _{i})^{m_{i}+1}}}+{\mathcal {O}}\left((s+\alpha _{i})^{-m_{i}}\right)}
마찬가지로,
f
{\displaystyle f}
가 무한대 근처에서 점근적 급수
f
(
x
)
∼
∑
i
=
0
∞
b
i
x
β
i
(
ln
x
)
n
i
{\displaystyle f(x)\sim \sum _{i=0}^{\infty }b_{i}x^{\beta _{i}}(\ln x)^{n_{i}}}
를 갖는다고 하자. 여기서
β
i
∈
C
{\displaystyle \beta _{i}\in \mathbb {C} }
는
ℜ
β
0
≥
ℜ
β
1
≥
ℜ
β
2
≥
⋯
{\displaystyle \Re \beta _{0}\geq \Re \beta _{1}\geq \Re \beta _{2}\geq \cdots }
inf
i
=
0
∞
ℜ
β
i
=
−
∞
{\displaystyle \inf _{i=0}^{\infty }\Re \beta _{i}=-\infty }
를 만족시키는 복소수열 이며,
n
i
∈
N
{\displaystyle n_{i}\in \mathbb {N} }
는 자연수 (음이 아닌 정수)의 수열 이다. 그렇다면, 임의의
0
<
T
<
∞
{\displaystyle 0<T<\infty }
에 대하여 "부분 멜린 변환"
M
f
(
s
)
=
∫
T
∞
x
s
f
(
x
)
d
x
x
{\displaystyle {\mathcal {M}}f(s)=\int _{T}^{\infty }x^{s}f(x)\,{\frac {\mathrm {d} x}{x}}}
는 해석적 연속 을 가하면 복소평면 위의 유리형 함수 이며, 그 극점 들은
−
β
i
{\displaystyle -\beta _{i}}
에 위치하며, 극점 근처에서의 로랑 급수 는 다음과 같다.
M
f
(
s
)
=
−
(
−
1
)
n
i
n
i
!
b
i
(
s
+
β
i
)
n
i
+
1
+
O
(
(
s
+
β
i
)
−
n
i
)
{\displaystyle {\mathcal {M}}f(s)=-{\frac {(-1)^{n_{i}}n_{i}!b_{i}}{(s+\beta _{i})^{n_{i}+1}}}+{\mathcal {O}}\left((s+\beta _{i})^{-n_{i}}\right)}
이에 따라, 임의의
0
<
T
<
∞
{\displaystyle 0<T<\infty }
에 대하여 (일반화) 멜린 변환을 위와 같은 두 "부분 멜린 변환"의 해석적 연속 의 합인 유리형 함수 로 정의할 수 있으며, 이는
0
<
T
<
∞
{\displaystyle 0<T<\infty }
의 선택에 의존하지 않는다.
이러한 꼴의 함수에 대하여, 기본대는
(
α
0
,
β
0
)
{\displaystyle (\alpha _{0},\beta _{0})}
이다. 특히
β
>
α
0
{\displaystyle \beta >\alpha _{0}}
일 수 있는데, 이 경우 고전적 멜린 변환은 정의되지 않는다.
임의의
f
∈
L
1
(
(
0
,
∞
)
;
K
)
{\displaystyle f\in \operatorname {L} ^{1}((0,\infty );\mathbb {K} )}
에 대하여,
M
f
{\displaystyle {\mathcal {M}}f}
의 정의역은 다음과 같은 꼴이다.
(
a
,
b
)
+
i
R
⊆
M
f
⊆
[
a
,
b
]
+
i
R
(
a
,
b
∈
R
)
{\displaystyle (a,b)+\mathrm {i} \mathbb {R} \subseteq {\mathcal {M}}f\subseteq [a,b]+\mathrm {i} \mathbb {R} \qquad (a,b\in \mathbb {R} )}
즉, 경계에서의 영집합 을 제외하면 나머지는
(
a
,
b
)
+
i
R
{\displaystyle (a,b)+\mathrm {i} \mathbb {R} }
꼴의, 복소평면 의 띠이다. 이를
f
{\displaystyle f}
의 기본대 (基本帶, 영어 : fundamental strip )라고 한다.
특히, 임의의
f
∈
L
2
(
(
0
,
∞
)
;
K
)
{\displaystyle f\in \operatorname {L} ^{2}((0,\infty );\mathbb {K} )}
에 대하여,
f
{\displaystyle f}
의 기본대는 항상
1
/
2
+
i
R
{\displaystyle 1/2+\mathrm {i} \mathbb {R} }
를 포함한다.
임의의 두 실수
α
,
β
{\displaystyle \alpha ,\beta }
에 대하여, 만약 함수
f
∈
L
1
(
R
+
;
K
)
{\displaystyle f\in \operatorname {L} ^{1}(\mathbb {R} ^{+};\mathbb {K} )}
가
f
∈
O
(
x
−
α
)
(
x
→
0
+
)
{\displaystyle f\in \operatorname {O} (x^{-\alpha })\qquad (x\to 0^{+})}
f
∈
O
(
x
−
β
)
(
x
→
+
∞
)
{\displaystyle f\in \operatorname {O} (x^{-\beta })\qquad (x\to +\infty )}
와 같은 점근적 성질을 갖는다면, 열린구간
(
α
,
β
)
⊆
R
{\displaystyle (\alpha ,\beta )\subseteq \mathbb {R} }
는
f
{\displaystyle f}
의 기본대에 속한다.
멜린 역변환
편집
멜린 변환은 다음과 같은 역을 갖는다.
M
−
1
F
(
x
)
=
1
2
π
i
∫
c
−
i
∞
c
+
i
∞
x
−
s
F
(
s
)
d
s
{\displaystyle {\mathcal {M}}^{-1}F(x)={\frac {1}{2\mathrm {\pi } i}}\int _{c-\mathrm {i} \infty }^{c+\mathrm {i} \infty }x^{-s}F(s)\,\mathrm {d} s}
여기서
c
∈
R
{\displaystyle c\in \mathbb {R} }
는 임의의 상수이며,
x
−
s
{\displaystyle x^{-s}}
는 주분지(영어 : principal branch )를 사용한다.
특히, 만약
f
∈
L
2
(
(
0
,
∞
)
;
K
)
{\displaystyle f\in \operatorname {L} ^{2}((0,\infty );\mathbb {K} )}
일 경우, 항상
c
=
1
/
2
{\displaystyle c=1/2}
로 잡을 수 있다.
연산과의 호환
편집
멜린 변환은 다음 성질들을 만족시킨다.[1] :§1, (2)
M
(
x
↦
f
(
α
x
)
)
:
s
↦
α
−
s
M
f
(
s
)
{\displaystyle {\mathcal {M}}(x\mapsto f(\alpha x))\colon s\mapsto \alpha ^{-s}{\mathcal {M}}f(s)}
M
(
x
↦
x
α
f
(
x
)
)
:
s
↦
M
f
(
s
+
α
)
{\displaystyle {\mathcal {M}}(x\mapsto x^{\alpha }f(x))\colon s\mapsto {\mathcal {M}}f(s+\alpha )}
M
(
x
↦
f
(
x
α
)
)
:
s
↦
α
−
s
M
f
(
s
/
α
)
{\displaystyle {\mathcal {M}}(x\mapsto f(x^{\alpha }))\colon s\mapsto \alpha ^{-s}{\mathcal {M}}f(s/\alpha )}
M
(
x
↦
f
(
1
/
x
)
)
:
s
↦
M
f
(
−
s
)
{\displaystyle {\mathcal {M}}(x\mapsto f(1/x))\colon s\mapsto {\mathcal {M}}f(-s)}
M
(
x
↦
d
f
(
x
)
/
d
x
)
:
s
↦
(
1
−
s
)
M
f
(
s
−
1
)
{\displaystyle {\mathcal {M}}(x\mapsto \mathrm {d} f(x)/\mathrm {d} x)\colon s\mapsto (1-s){\mathcal {M}}f(s-1)}
유니터리성
편집
복소수 힐베르트 공간
L
2
(
R
+
;
C
)
{\displaystyle \operatorname {L} ^{2}(\mathbb {R} ^{+};\mathbb {C} )}
에서, 다음을 정의하자.
M
~
f
(
s
)
=
1
2
π
M
f
(
s
+
i
s
)
{\displaystyle {\tilde {\mathcal {M}}}f(s)={\frac {1}{\sqrt {2\pi }}}{\mathcal {M}}f(s+\mathrm {i} s)}
M
~
−
1
F
(
x
)
=
1
2
π
∫
−
∞
∞
x
−
1
/
2
−
i
s
F
(
s
)
d
s
{\displaystyle {\tilde {\mathcal {M}}}^{-1}F(x)={\frac {1}{\sqrt {2\pi }}}\int _{-\infty }^{\infty }x^{-1/2-\mathrm {i} s}F(s)\;\mathrm {d} s}
그렇다면,
M
~
:
L
2
(
R
+
;
C
)
→
L
2
(
R
;
C
)
{\displaystyle {\tilde {\mathcal {M}}}\colon \operatorname {L} ^{2}(\mathbb {R} ^{+};\mathbb {C} )\to \operatorname {L} ^{2}(\mathbb {R} ;\mathbb {C} )}
는 두 복소수 힐베르트 공간 사이의 유니터리 변환 (=등거리 복소수 선형 변환 )을 정의한다.
다른 변환과의 관계
편집
적절한 조건 아래, 멜린 변환은 다음과 같이 푸리에 변환 (
F
{\displaystyle {\mathcal {F}}}
)으로 표현된다.
M
f
(
s
)
=
F
[
f
∘
exp
]
(
−
i
s
)
{\displaystyle {\mathcal {M}}f(s)={\mathcal {F}}[f\circ \exp ](-\mathrm {i} s)}
F
f
(
s
)
=
M
[
f
∘
(
−
ln
)
]
(
i
s
)
{\displaystyle {\mathcal {F}}f(s)={\mathcal {M}}[f\circ (-\ln )](\mathrm {i} s)}
마찬가지로, 양쪽 라플라스 변환
B
{\displaystyle {\mathcal {B}}}
와의 관계는 다음과 같다.
B
f
(
s
)
=
M
[
f
∘
(
−
ln
)
]
(
s
)
{\displaystyle {\mathcal {B}}f(s)={\mathcal {M}}[f\circ (-\ln )](s)}
M
f
(
s
)
=
B
[
x
↦
f
(
exp
(
−
x
)
)
]
(
s
)
{\displaystyle {\mathcal {M}}f(s)={\mathcal {B}}[x\mapsto f(\exp(-x))](s)}
수론 에서 자주 등장하는 함수
f
(
x
)
=
[
x
>
1
]
x
a
{\displaystyle f(x)=[x>1]x^{a}}
를 생각하자. (
[
⋯
]
{\displaystyle [\cdots ]}
는 아이버슨 괄호 , 즉 괄호 속의 명제가 참이면 1, 거짓이면 0이다.)
그 멜린 변환은 다음과 같다.
M
f
(
s
)
=
−
1
s
+
a
(
ℜ
(
s
+
a
)
<
0
)
{\displaystyle {\mathcal {M}}f(s)=-{\frac {1}{s+a}}\qquad (\Re (s+a)<0)}
지수 함수 → 감마 함수
편집
함수
f
:
x
↦
exp
(
−
x
)
{\displaystyle f\colon x\mapsto \exp(-x)}
의 멜린 변환은 다음과 같이 감마 함수 이다.
M
f
(
s
)
=
∫
0
∞
x
s
−
1
exp
(
−
x
)
d
x
=
Γ
(
s
)
{\displaystyle {\mathcal {M}}f(s)=\int _{0}^{\infty }x^{s-1}\exp(-x)dx=\Gamma (s)}
위 적분이 수렴하는
s
∈
C
{\displaystyle s\in \mathbb {C} }
의 값, 즉 멜린 변환의 정의역은 다음과 같다.
dom
(
M
f
)
=
(
[
0
,
∞
)
+
i
R
)
∖
{
0
}
{\displaystyle \operatorname {dom} ({\mathcal {M}}f)=([0,\infty )+\mathrm {i} \mathbb {R} )\setminus \{0\}}
특히,
x
↦
exp
(
−
x
)
{\displaystyle x\mapsto \exp(-x)}
의 멜린 변환의 기본띠는
R
+
+
i
R
{\displaystyle \mathbb {R} ^{+}+\mathrm {i} \mathbb {R} }
이다.
그 역변환인 적분
M
−
1
Γ
(
x
)
=
1
2
π
i
∫
c
−
i
∞
c
+
i
∞
x
−
s
Γ
(
s
)
d
s
{\displaystyle {\mathcal {M}}^{-1}\Gamma (x)={\frac {1}{2\mathrm {\pi } \mathrm {i} }}\int _{c-\mathrm {i} \infty }^{c+\mathrm {i} \infty }x^{-s}\Gamma (s)\,\mathrm {d} s}
을 카앵-멜린 적분 (영어 : Cahen–Mellin integral )이라고 한다.
세타 함수 → 리만 제타 함수
편집
야코비 세타 함수
θ
(
x
)
{\displaystyle \theta (x)}
의 멜린 변환은 리만 제타 함수 이다.
M
θ
(
s
)
=
∫
0
∞
x
s
−
1
θ
(
x
)
d
x
=
ζ
(
s
)
{\displaystyle {\mathcal {M}}\theta (s)=\int _{0}^{\infty }x^{s-1}\theta (x)\;\mathrm {d} x=\zeta (s)}
베르누이 수
편집
베르누이 수 의 생성 함수
f
(
x
)
=
∑
i
=
0
∞
B
i
x
i
−
1
i
!
=
1
exp
(
x
)
−
1
{\displaystyle f(x)=\sum _{i=0}^{\infty }{\frac {B_{i}x^{i-1}}{i!}}={\frac {1}{\exp(x)-1}}}
의 멜린 변환은 다음과 같다.
M
f
(
s
)
=
Γ
(
s
)
ζ
(
s
)
{\displaystyle {\mathcal {M}}f(s)=\Gamma (s)\zeta (s)}
여기서
Γ
{\displaystyle \Gamma }
는 감마 함수 이며
ζ
{\displaystyle \zeta }
는 리만 제타 함수 이다. 이에 따라, 감마 함수 의 극점을 통해 리만 제타 함수 의 음의 정수에서의 값이
ζ
(
−
n
)
=
(
−
1
)
n
B
n
+
1
n
+
1
(
n
∈
N
)
{\displaystyle \zeta (-n)=(-1)^{n}{\frac {B_{n+1}}{n+1}}\qquad (n\in \mathbb {N} )}
임을 알 수 있다.
핀란드 의 수학자 로베르트 얄마르 멜린(스웨덴어 : Robert Hjalmar Mellin , 1854~1933)이 도입하였다.[2] [3] 이후 외젠 카앵(프랑스어 : Eugène Cahen , 1865~1941)이 그 이론을 개량하였다.
양자장론 에서, 분배 함수 의 멜린 변환은 1고리 진공 진폭(영어 : one-loop vacuum amplitude )이라고 한다. 즉, 해밀토니언 연산자
H
{\displaystyle H}
에 대하여,
tr
(
H
−
s
)
{\displaystyle \operatorname {tr} (H^{-s})}
를 생각하자. 이는
s
=
1
{\displaystyle s=1}
일 때 그린 함수 =전파 인자 이다. 이는 다음과 같이 분배 함수
Z
(
β
)
=
tr
(
−
β
H
)
{\displaystyle Z(\beta )=\operatorname {tr} (-\beta H)}
의 멜린 변환으로 얻어진다.
tr
(
H
−
s
)
=
∫
0
∞
tr
(
−
β
H
)
d
β
{\displaystyle \operatorname {tr} (H^{-s})=\int _{0}^{\infty }\operatorname {tr} (-\beta H)\;\mathrm {d} \beta }
여기서
β
{\displaystyle \beta }
는 (분배 함수 의 관점에서) 온도의 역수이다.
이 사실은 파인먼 도형 에 대응된 적분을 계산하는 데 매우 중요한 역할을 한다. 이 경우, 1고리 진공 진폭
tr
(
H
−
s
)
{\displaystyle \operatorname {tr} (H^{-s})}
을 계산하려면 이를 위와 같은 꼴의 멜린 변환으로 나타내는데, 이 경우 등장하는 보조 변수
β
{\displaystyle \beta }
를 슈윙거 매개 변수 (영어 : Schwinger parameter )라고 한다. 이는 양자장론을 일종의 시그마 모형 으로 간주하였을 때, 입자의 세계선 의 시간( 의
i
{\displaystyle \mathrm {i} }
배 --> 윅 회전 영어 : Wick rotation )에 해당한다.
연산자의 제타 함수
편집
보다 일반적으로, 콤팩트 매끄러운 다양체
M
{\displaystyle M}
위의 복소수 매끄러운 벡터 다발
E
{\displaystyle E}
위의 라플라스형 연산자
H
{\displaystyle H}
의 열핵
K
(
t
,
−
,
−
)
∈
Γ
∞
(
(
E
⊗
|
Λ
M
|
1
/
2
)
⊠
(
E
∗
⊗
|
Λ
M
|
1
/
2
)
(
t
∈
R
+
)
{\displaystyle K(t,-,-)\in \Gamma ^{\infty }((E\otimes |\Lambda M|^{1/2})\boxtimes (E^{*}\otimes |\Lambda M|^{1/2})\qquad (t\in \mathbb {R} ^{+})}
를 생각하자. 이 경우, 임의의 함수
f
∈
C
∞
(
M
;
R
)
{\displaystyle f\in {\mathcal {C}}^{\infty }(M;\mathbb {R} )}
에 대하여, 힐베르트 공간
H
=
L
2
(
M
;
E
)
{\displaystyle {\mathcal {H}}=\operatorname {L} ^{2}(M;E)}
에서의 대각합
tr
(
f
exp
(
−
t
H
)
)
{\displaystyle \operatorname {tr} \left(f\exp(-tH)\right)}
을 정의할 수 있다. 이제 이것의
t
{\displaystyle t}
에 대한 멜린 변환을 취하자.
Γ
(
s
)
ζ
D
(
s
;
f
)
=
∫
0
∞
t
s
tr
(
f
exp
(
−
t
H
)
)
d
t
t
{\displaystyle \Gamma (s)\zeta _{D}(s;f)=\int _{0}^{\infty }t^{s}\operatorname {tr} \left(f\exp(-tH)\right)\,{\frac {\mathrm {d} t}{t}}}
(편의상 감마 함수 인자
Γ
(
s
)
{\displaystyle \Gamma (s)}
를 삽입하였다.) 이 경우,
ζ
D
(
s
;
f
)
{\displaystyle \zeta _{D}(s;f)}
는 (적절한 해석적 연속 을 가하면) 라플라스형 연산자
H
{\displaystyle H}
의 제타 함수 (영어 : zeta function )라고 한다. 제타 함수의 특이점들은 라플라스형 연산자 에 대한 다양한 정보들을 담고 있다.[4] :§2.2
멜린 변환은 또한 조합론 에서도 자주 등장한다.[5]
참고 문헌
편집
외부 링크
편집