베레진 적분

펠릭스 베레진의 이름을 딴 **베레진 적분**(, 헤르만 그라스만의 이름을 따서 **그라스만 적분**이라고도 함)은 그라스만 수(외대수의 원소) 함수에 대한 적분을 정의하는 방법이다. 르베그 적분의 의미에서 적분이 아니다. "적분"이라는 단어가 사용되는 이유는 베레진 적분은 르베그 적분과 유사한 특성을 갖고 있고 페르미온의 역사에 대한 합으로 사용되는 물리학의 경로 적분을 확장하기 때문이다.

## 정의
\Lambda^n를 반교환수 \theta_{1},\dots,\theta_{n} 들의 복소 다항식들의 외대수하고 하자.(생성원들의 순서 \theta_1,\dots,\theta_n가 고정되어 있으며 외대수의 방향을 정의한다.)

### 일변수
그라스만 변수 \theta = \theta_1 하나에 대한 *베레진 적분은* 선형 범함수

: \int [af(\theta)+bg(\theta)] \, d\theta = a\int f(\theta) \, d\theta + b\int g(\theta) \, d\theta, \quad a,b \in \C

로 정의된다. 여기서

: \int \theta \, d\theta = 1, \qquad \int \, d\theta = 0 

로 정의해서

: \int \frac\partial{\partial\theta}f(\theta)\,d\theta = 0.

이 성립하도록 한다. 이러한 성질은 적분을 유일하게 정의하고 다음을 의미한다.

: \int (a\theta+b)\, d\theta = a, \quad a,b \in \C. 

f(\theta)=a\theta + b 는 가장 일반적인 \theta 변수 함수이다. 그라스만 변수의 제곱은 0이 되기 때문에 f(\theta)는 1차를 넘어서는 0이 아닌 항을 가질 수 없다.

### 다변수
\Lambda^{n}위의 *베레진 적분은* 모든 f\in\Lambda^n에 대해 다음 성질들

: \int_{\Lambda^n}\theta_{n}\cdots\theta_{1}\,\mathrm{d}\theta=1,
: \int_{\Lambda^n}\frac{\partial f}{\partial\theta_{i}}\,\mathrm{d}\theta=0,\ i=1,\dots,n

을 가진 유일한 선형 범함수 \int_{\Lambda^{n} }\cdot\textrm{d}\theta로 정의된다.  여기서 \partial/\partial\theta_{i}는 왼쪽 또는 오른쪽 편도함수를 의미한다. 이러한 성질은 적분을 유일하게 정의한다.

문헌에는 다양한 관례가 존재한다. 일부 저자는 대신

: \int_{\Lambda^n}\theta_{1}\cdots\theta_{n}\,\mathrm{d}\theta:=1.

로 정의한다. 공식

: \int_{\Lambda^n}f(\theta) \, \mathrm{d}\theta=\int_{\Lambda^1}\left( \cdots \int_{\Lambda^1}\left(\int_{\Lambda^1}f(\theta) \, \mathrm{d}\theta_{1}\right) \, \mathrm{d}\theta_2 \cdots \right)\mathrm{d}\theta_n

은 푸비니 법칙을 표현한다. 오른쪽에는 단항식 f=g(\theta')\theta_{1}의 내부 적분은 g( \theta')로 설정되어 있다. 여기서 \theta'=\left(\theta_{2},\ldots,\theta_{n}\right)이다. f=g (\theta')의 적분은 사라진다. \theta_{2}과 그 이후의 변수들에 대한 적분은 비슷한 방법으로 계산된다.

### 그라스만 변수 변환
\theta_{i}=\theta_{i}\left(\xi_{1},\ldots,\xi_{n}\right),\ i=1,\ldots,n,를 어떤 반대칭 변수 \xi_{1},\ldots,\xi_{n} 홀수 다항식리하 하자. 야코비 행렬은 행렬

: D=\left\{ \frac{\partial\theta_{i}}{\partial\xi_{j}},\ i,j=1, \ldots, n\right\}

이다. 여기서 \partial /\partial\xi_{j} *오른쪽 편도함수을* 나타낸다( \partial(\theta_1\theta_2) /\partial\theta_2 = \theta_1, \; \partial(\theta_1\theta_2) /\partial\theta_1 = -\theta_2 ). 좌표 변환 공식은 다음과 같다.

: \int f(\theta) \, \mathrm{d}\theta=\int f(\theta( \xi))(\det D)^{-1} \, \mathrm{d}\xi.

## 짝수 변수와 홀수 변수 적분하기

### 정의
이제   실 가환변수 x=x_{1},\ldots,x_{m}의 함수들과 반교환 변수 \theta_{1},\ldots,\theta_{n}들의 함수들의 대수 \Lambda^{m\mid n}를 고려하자. (이를 (m|n)차원 자유 초대수라고 한다. ). 직관적으로 함수 f=f(x,\theta) \in\Lambda^{m\mid n}는 m 짝수(보손, 교환) 변수와 n 홀수(페르미온, 반교환) 변수의 함수이다. 보다 공식적으로는 원소 f=f(x,\theta) \in\Lambda^{m\mid n}는 열린 집합 X\subset\R^{m}에서는 변하는 인수 x의 \Lambda^{n} 대수의 값 함수이다. 이 함수가 연속적이고 콤팩트 집합 K\subset\R^{m}의 여집합에서는 사라진다고 하자. 그러면  베레진 적분은 다음과 같다.

: \int_{\Lambda^{m\mid n}} f(x,\theta) \, \mathrm{d}\theta \, \mathrm{d}x=\int_{\R^m} \, \mathrm{d}x \int_{\Lambda^n} f(x,\theta) \, \mathrm{d}\theta.

### 짝수 변수와 홀수 변수의 변환
좌표 변환을 다음과 같이 해보자. x_i=x_i (y,\xi),\ i=1,\ldots,m;\ \theta_j=\theta_j (y,\xi),j=1,\ldots, n, 여기서 x_i는 짝수이고 \theta_j들은 짝수 변수 y에 따라 바뀌는 \xi의 홀수 다항식이다. 이 변환의 야코비 행렬은 블록 형식을 갖는다.

: \mathrm{J}=\frac{\partial(x,\theta)}{\partial (y,\xi)}= \begin{pmatrix} A & B\\ C & D\end{pmatrix},

여기서 각 짝수 도함수 \partial/\partial y_{j}들은 대수 \Lambda^{m\mid n}의 모든 원소와 가환이다. 홀수 도함수는 짝수 원소와 가환이고 홀수 원소와 반교환 한다. 대각선 블록의 성분A=\partial x/\partial y와 D=\partial\theta/\partial\xi은 짝수이고 대각선을 벗어난 블록의 성분 B=\partial x/\partial \xi,\ C=\partial\theta/\partial y들은 홀수 함수들이다. 여기서 \partial /\partial\xi_{j}는 다시 오른쪽 *도함수를* 의미한다.

이제 행렬 \mathrm{J}의 베레지니안 (또는 *초행렬식*)이 필요하다. 이는 \det D가 \Lambda^{m\mid n}에서 역행렬이 존재할 때 짝수 함수

: \operatorname{Ber} \mathrm{J} =\det\left( A-BD^{-1}C\right) \det D^{-1}

이다. 실함수 x_i=x_i(y,0)가 \R^m의 열린 집합 X, Y 에 대해 역사상을 가지는 매끄러운 사상 F:Y\to X을 정의한다고 하자. 그리고 사상의 선형 부분 \xi\mapsto\theta=\theta(y,\xi)은 y\in Y 각각에 대해 역사상이 존재한다고 하자. 베레진 적분에 대한 일반 변환 법칙은 다음과 같다.

: 
\begin{align}
& \int_{\Lambda^{m\mid n}}f(x,\theta) \, \mathrm{d}\theta \, \mathrm{d}x = \int_{\Lambda^{m\mid n}} f(x(y,\xi),\theta (y,\xi)) \varepsilon \operatorname{Ber} \mathrm{J} \, \mathrm{d} \xi \, \mathrm{d}y \\[6pt]
= {} &\int_{\Lambda^{m\mid n}} f (x(y,\xi),\theta (y,\xi)) \varepsilon \frac{\det\left(A-BD^{-1}C\right)}{\det D} \, \mathrm{d}\xi \, \mathrm{d}y,
\end{align}


여기서 \varepsilon=\mathrm{sgn}(\det\partial x(y,0)/\partial y )는 사상 F의 방향을 나타내는 기호이다.  중첩 f(x(y,\xi),\theta(y,\xi))은 함수 x_{i}(y,\xi)가 \xi에 독립적일 때 명백하게 정의된다. 일반적인 경우에는 x_{i}(y,\xi) =x_{i}(y,0)+\delta_{i},과 같이 쓴다.  여기서 \delta_{i}, i=1,\ldots,m는 심지어는 \Lambda^{m\mid n}의 멱영원들이다. 그리고

: f(x(y,\xi),\theta) =f(x(y,0),\theta) +\sum_i\frac{\partial f}{\partial x_{i}}(x(y,0),\theta) \delta_{i}+\frac{1}{2} \sum_{i,j} \frac{\partial^{2}f}{\partial x_i \, \partial x_j}(x(y,0),\theta) \delta_i\delta_j+ \cdots,

라 둔다. 여기서 테일러 급수는 유한하다.

## 유용한 공식
가우스 적분에 대한 다음 공식은 양자장론의 경로 적분 공식화에 자주 사용된다. 복소 n \times n 행렬 A에 대해,

* \int \exp\left[-\theta^TA\eta\right] \,d\theta\,d\eta = \det A 

복소 반대칭 n \times n 행렬 M과  (\mathrm{Pf}\, M)^2 = \det M이 성립하는 M의 파피안 \mathrm{Pf}\, M에 대해

* \int \exp\left[- \tfrac{1}{2} \theta^T M \theta\right] \,d\theta = \begin{cases} \mathrm{Pf}\, M & n \mbox{ even} \\ 0 & n \mbox{ odd} \end{cases} 

.

위의 공식에서 표기법  d \theta = d\theta_1\cdots \, d\theta_n 이 사용되었다. 이러한 공식에서 다른 유용한 공식이 나온다(의 부록 A 참조). :

* \int \exp\left[\theta^TA\eta +\theta^T J + K^T \eta \right] \,d\eta_1\,d\theta_1\dots d\eta_n d\theta_n = \det A \,\,\exp[-K^T A^{-1} J ] 

여기서  A는 n \times n  가역 행렬이다. 이러한 적분은 모두 분할 함수의 형태라는 점에 유의하라.

## 역사
교환 및 반교환 변수와의 적분에 대한 수학적 이론은 펠릭스 베레진에 의해 창안되고 개발되었다. 1956년 David John Candlin 이 몇 가지 중요한 초기 통찰력을 제시했다. 물리학자 Khalatnikov (그의 논문에는 실수가 포함되어 있음), Matthews 및 Salam, 및 Martin을 포함한 다른 저자들이 이러한 발전에 기여했다.

## 같이 보기
* 초다양체
* 베레진 행렬식

## 각주

## 더 읽어보기
* Theodore Voronov: *Geometric integration theory on Supermanifolds*, Harwood Academic 출판사,
* Berezin, Felix Alexandrovich: I*ntroduction to Superanalysis*, Springer 네덜란드,

분류:적분학
분류:수리물리학
분류:미분 형식
분류:다중선형대수학
분류:초대칭
분류:양자장론