수학에서 베버 모듈형 함수는 하인리히 마틴 베버가 연구한 [note 1]f, f, f 세12 함수의 계열이다.
정의
let =
nome) 여기서 τ은 상부 하프 평면의 요소다.
![{\displaystyle {\begin{aligned}{\mathfrak {f}}(\tau )&=q^{-{\frac {1}{24}}}\prod _{n>0}(1+q^{2n-1})=e^{-{\frac {\pi i}{24}}}{\frac {\eta {\big (}{\frac {\tau +1}{2}}{\big )}}{\eta (\tau )}}={\frac {\eta ^{2}(\tau )}{\eta {\big (}{\tfrac {\tau }{2}}{\big )}\eta (2\tau )}}\\{\mathfrak {f}}_{1}(\tau )&=q^{-{\frac {1}{24}}}\prod _{n>0}(1-q^{2n-1})={\frac {\eta {\big (}{\tfrac {\tau }{2}}{\big )}}{\eta (\tau )}}\\{\mathfrak {f}}_{2}(\tau )&={\sqrt {2}}\,q^{\frac {1}{12}}\prod _{n>0}(1+q^{2n})={\frac {{\sqrt {2}}\,\eta (2\tau )}{\eta (\tau )}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/518c7cee90d57b79cadb930936054cd1ec9354fa)
where
is the Dedekind eta function and
should be interpreted as
. Note the descriptions as
quotients immediately imply
![{\displaystyle {\mathfrak {f}}(\tau ){\mathfrak {f}}_{1}(\tau ){\mathfrak {f}}_{2}(\tau )={\sqrt {2}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/192d1c21299f22c26542375bc13130abc96590b6)
변환 τ → –1/τ f를 수정하고 f와1 f를2 교환한다.그래서 기초 f, f1, f를2 가진 3차원 복합 벡터 공간은 그룹 SL2(Z)에 의해 작용한다.
세타 함수와의 관계
자코비 세타 함수의 인수를 nome =
으로 하고 나서,
![{\displaystyle {\begin{aligned}{\mathfrak {f}}(\tau )^{2}&={\frac {\theta _{3}(q)}{\eta (\tau )}}\\{\mathfrak {f}}_{1}(\tau )^{2}&={\frac {\theta _{4}(q)}{\eta (\tau )}}\\{\mathfrak {f}}_{2}(\tau )^{2}&={\frac {\theta _{2}(q)}{\eta (\tau )}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fb38fe0a9d956afb2e7d8eb4bcdd177e11a1e4f)
잘 알려진 정체성을 이용해서
![{\displaystyle \theta _{2}(q)^{4}+\theta _{4}(q)^{4}=\theta _{3}(q)^{4}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79f879f529469cd838ae71886d0536bc3efdff45)
그러므로
![\mathfrak{f}_1(\tau)^8+\mathfrak{f}_2(\tau)^8 = \mathfrak{f}(\tau)^8](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d490a5adb40573546f6838fe6e5d0101ccf5561)
j-기능과의 관계
입방정식의 세 가지 뿌리는
![{\displaystyle j(\tau )={\frac {(x-16)^{3}}{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1472d3a564591fafb9a00c5e2239635b2c0aa00b)
where j(τ) is the j-function are given by
. Also, since,
![{\displaystyle j(\tau )=32{\frac {{\Big (}\theta _{2}(q)^{8}+\theta _{3}(q)^{8}+\theta _{4}(q)^{8}{\Big )}^{3}}{{\Big (}\theta _{2}(q)\theta _{3}(q)\theta _{4}(q){\Big )}^{8}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61940d5aa975c9dcbd99e16e14c754229c7681aa)
그럼
![j(\tau)=\left(\frac{\mathfrak{f}(\tau)^{16}+\mathfrak{f}_1(\tau)^{16}+\mathfrak{f}_2(\tau)^{16}}{2}\right)^3](https://wikimedia.org/api/rest_v1/media/math/render/svg/042df965d1bb2c85d41b5fd98963878a27a156f5)
참고 항목
참조
- Weber, Heinrich Martin (1981) [1898], Lehrbuch der Algebra (in German), vol. 3 (3rd ed.), New York: AMS Chelsea Publishing, ISBN 978-0-8218-2971-4
- Yui, Noriko; Zagier, Don (1997), "On the singular values of Weber modular functions", Mathematics of Computation, 66 (220): 1645–1662, doi:10.1090/S0025-5718-97-00854-5, MR 1415803
메모들
- ^ f, f1, f는2 (Wipedia 정의에 따르면) 모듈형 함수는 아니지만, 모든 모듈형 함수는 f, f1, f, f에서2 합리적인 함수가 된다.일부 저자들은 "모듈러 함수"의 비균등적 정의를 사용한다.