Hàm theta

Hàm theta gốc của Jacobi Bản mẫu:Math với Bản mẫu:Math và với nome Bản mẫu:Math Quy ước là (theo Mathematica): $\begin{array}{cc}{\theta }_1(u;q)& =2q^{\frac{1}{4}}\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n{q}^{n(n+1)}\sin (2n+1)u\\ & =\sum _{n=-\mathrm{\infty }}^{n=\mathrm{\infty }}(-1{)}^{n-\frac{1}{2}}{q}^{{(n+\frac{1}{2})}^2}{e}^{(2n+1)iu}\end{array}$

Trong toán học, các hàm theta là các hàm đặc biệt của một số biến số phức. Chúng rất quan trọng trong nhiều lĩnh vực, bao gồm các lý thuyết về đa tạp Abel và không gian mô đun, và các dạng thức bậc hai. Các hàm này cũng đã được áp dụng cho lý thuyết soliton. Khi được khái quát thành một hàm đại số Grassmann, chúng cũng xuất hiện trong lý thuyết trường lượng tử.

Dạng phổ biến nhất của hàm theta là trường hợp xảy ra trong lý thuyết về các hàm elip. Đối với một trong các biến phức (thường được gọi là Bản mẫu:Mvar), hàm theta có một thuộc tính biểu thị hành vi của nó đối với việc thêm một khoảng thời gian của các hàm elip liên quan, biến nó thành hàm giả tuần hoàn. Trong lý thuyết trừu tượng, điều này xuất phát từ một điều kiện gồm một tập hợp các đường trên một không gian topo.

Hàm Jacobi theta

Jacobi theta 1

Jacobi theta 2

Jacobi theta 3

Jacobi theta 4

Có một số hàm liên quan chặt chẽ được gọi là các hàm Jacobi theta, và nhiều hệ thống ký hiệu khác nhau và không tương thích cho chúng. Một hàm Jacobi theta (đặt theo tên của nhà toán học Carl Gustav Jakob Jacobi) là một hàm được định nghĩa cho hai biến phức Bản mẫu:Mvar và Bản mẫu:Mvar, với Bản mẫu:Mvar có thể là bất kỳ số phức nào và Bản mẫu:Mvar là tỷ lệ một nửa thời gian, giới hạn trong một nửa mặt phẳng trên, điều này có nghĩa là số phức này có phần ảo là dương. Nó có công thức như sau

$\begin{array}{cc}\vartheta (z;\tau )& =\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}\exp (\pi i{n}^2\tau +2\pi inz)\\ & =1+2\sum _{n=1}^{\mathrm{\infty }}{\left(e^{\pi i\tau }\right)}^{n^2}\cos (2\pi nz)\\ & =\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{q}^{n^2}{\eta }^n\end{array}$

Trong đó Bản mẫu:Math là nome và Bản mẫu:Math. Nó là một dạng thức Jacobi. Nếu Bản mẫu:Mvar là cố định, điều này sẽ trở thành một chuỗi Fourier cho một hàm toàn bộ theo chu kỳ của với chu kỳ bằng c 1; trong trường hợp này, hàm theta thỏa mãgiá trị đơn vịnh

$\vartheta (z+1;\tau )=\vartheta (z;\tau ).$

Hàm này cũng lặp lại định kỳ đối với Bản mẫu:Mvar là bán thời gian của mình, nó thỏa mãn phương trình hàm

$\vartheta (z+a+b\tau ;\tau )=\exp (-\pi i{b}^2\tau -2\pi ibz)\vartheta (z;\tau )$

trong đó Bản mẫu:Mvar và Bản mẫu:Mvar là số nguyên.