Jacobi Theta Function
   HOME



picture info

Jacobi Theta Function
In mathematics, theta functions are special functions of several complex variables. They show up in many topics, including Abelian varieties, moduli spaces, quadratic forms, and solitons. Theta functions are parametrized by points in a tube domain inside a complex Lagrangian Grassmannian, namely the Siegel upper half space. The most common form of theta function is that occurring in the theory of elliptic functions. With respect to one of the complex variables (conventionally called ), a theta function has a property expressing its behavior with respect to the addition of a period of the associated elliptic functions, making it a quasiperiodic function. In the abstract theory this quasiperiodicity comes from the cohomology class of a line bundle on a complex torus, a condition of descent. One interpretation of theta functions when dealing with the heat equation is that "a theta function is a special function that describes the evolution of temperature on a segment domain su ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Complex Logarithm
In mathematics, a complex logarithm is a generalization of the natural logarithm to nonzero complex numbers. The term refers to one of the following, which are strongly related: * A complex logarithm of a nonzero complex number z, defined to be any complex number w for which e^w = z.Ahlfors, Section 3.4.Sarason, Section IV.9. Such a number w is denoted by \log z. If z is given in polar form as z = re^, where r and \theta are real numbers with r>0, then \ln r + i \theta is one logarithm of z, and all the complex logarithms of z are exactly the numbers of the form \ln r + i\left(\theta + 2\pi k\right) for integers k. These logarithms are equally spaced along a vertical line in the complex plane. * A complex-valued function \log \colon U \to \mathbb, defined on some subset U of the set \mathbb^* of nonzero complex numbers, satisfying e^ = z for all z in U. Such complex logarithm functions are analogous to the real logarithm function \ln \colon \mathbb_ \to \mathbb, which is t ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Complex Theta Animated2
Complex commonly refers to: * Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe ** Complex system, a system composed of many components which may interact with each other * Complex (psychology), a core pattern of emotions etc. in the personal unconscious organized around a common theme such as power or status Complex may also refer to: Arts, entertainment and media * Complex (English band), formed in 1968, and their 1971 album ''Complex'' * Complex (band), a Japanese rock band * ''Complex'' (album), by Montaigne, 2019, and its title track * ''Complex'' (EP), by Rifle Sport, 1985 * "Complex" (song), by Gary Numan, 1979 * "Complex", a song by Katie Gregson-MacLeod, 2022 * "Complex" a song by Be'O and Zico, 2022 * Complex Networks, publisher of the now-only-online magazine ''Complex'' Biology * Protein–ligand complex, a complex of a protein bound with a ligand * Exosome complex, a multi-protei ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Liouville's Theorem (complex Analysis)
In complex analysis, Liouville's theorem, named after Joseph Liouville (although the theorem was first proven by Cauchy in 1844), states that every bounded entire function must be constant. That is, every holomorphic function f for which there exists a positive number M such that , f(z), \leq M for all z\in\Complex is constant. Equivalently, non-constant holomorphic functions on \Complex have unbounded images. The theorem is considerably improved by Picard's little theorem, which says that every entire function whose image omits two or more complex numbers must be constant. Statement Liouville's theorem: Every holomorphic function f:\mathbb C \to \mathbb C for which there exists a positive number M such that , f(z), \leq M for all z\in\Complex is constant. More succinctly, Liouville's theorem states that every bounded entire function must be constant. Proof This important theorem has several proofs. A standard analytical proof uses the fact that holomorphic functi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Completing The Square
In elementary algebra, completing the square is a technique for converting a quadratic polynomial of the form to the form for some values of and . In terms of a new quantity , this expression is a quadratic polynomial with no linear term. By subsequently isolating and taking the square root, a quadratic problem can be reduced to a linear problem. The name ''completing the square'' comes from a geometrical picture in which represents an unknown length. Then the quantity represents the area of a square of side and the quantity represents the area of a pair of Congruence (geometry), congruent rectangles with sides and . To this square and pair of rectangles one more square is added, of side length . This crucial step ''completes'' a larger square of side length . Completing the square is the oldest method of solving general quadratic equations, used in Old Babylonian Empire, Old Babylonian clay tablets dating from 1800–1600 BCE, and is still taught in elementary algebra c ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Entire Function
In complex analysis, an entire function, also called an integral function, is a complex-valued function that is holomorphic on the whole complex plane. Typical examples of entire functions are polynomials and the exponential function, and any finite sums, products and compositions of these, such as the trigonometric functions sine and cosine and their hyperbolic counterparts sinh and cosh, as well as derivatives and integrals of entire functions such as the error function. If an entire function f(z) has a root at w, then f(z)/(z-w), taking the limit value at w, is an entire function. On the other hand, the natural logarithm, the reciprocal function, and the square root are all not entire functions, nor can they be continued analytically to an entire function. A transcendental entire function is an entire function that is not a polynomial. Just as meromorphic functions can be viewed as a generalization of rational fractions, entire functions can be viewed as a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Fourier Series
A Fourier series () is an Series expansion, expansion of a periodic function into a sum of trigonometric functions. The Fourier series is an example of a trigonometric series. By expressing a function as a sum of sines and cosines, many problems involving the function become easier to analyze because trigonometric functions are well understood. For example, Fourier series were first used by Joseph Fourier to find solutions to the heat equation. This application is possible because the derivatives of trigonometric functions fall into simple patterns. Fourier series cannot be used to approximate arbitrary functions, because most functions have infinitely many terms in their Fourier series, and the series do not always Convergent series, converge. Well-behaved functions, for example Smoothness, smooth functions, have Fourier series that converge to the original function. The coefficients of the Fourier series are determined by integrals of the function multiplied by trigonometric func ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Jacobi Form
In mathematics, a Jacobi form is an automorphic form on the Jacobi group, which is the semidirect product of the symplectic group Sp(n;R) and the Heisenberg group H^_R. The theory was first systematically studied by . Definition A Jacobi form of level 1, weight ''k'' and index ''m'' is a function \phi(\tau,z) of two complex variables (with τ in the upper half plane) such that *\phi\left(\frac,\frac\right) = (c\tau+d)^ke^\phi(\tau,z)\text\in \mathrm_2(\mathbb) *\phi(\tau,z+\lambda\tau+\mu) = e^\phi(\tau,z) for all integers λ, μ. *\phi has a Fourier expansion :: \phi(\tau,z) = \sum_ \sum_ C(n,r)e^. Examples Examples in two variables include Jacobi theta functions, the Weierstrass ℘ function, and Fourier–Jacobi coefficients of Siegel modular form In mathematics, Siegel modular forms are a major type of automorphic form. These generalize conventional ''elliptic'' modular forms which are closely related to elliptic curves. The complex manifolds constructed in th ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Nome (mathematics)
In mathematics, specifically the theory of elliptic functions, the nome is a special function that belongs to the non-elementary functions. This function is of great importance in the description of the elliptic functions, especially in the description of the modular identity of the Jacobi theta function, the Hermite elliptic transcendents and the Weber modular functions, that are used for solving equations of higher degrees. Definition The nome function is given by :q =\mathrm^ =\mathrm^ =\mathrm^ \, where K and iK' are the quarter periods, and \omega_1 and \omega_2 are the fundamental pair of periods, and \tau=\frac=\frac is the half-period ratio. The nome can be taken to be a function of any one of these quantities; conversely, any one of these quantities can be taken as functions of the nome. Each of them uniquely determines the others when 0. That is, when 0, the mappings between these various symbols are both 1-to-1 and onto, and so can be ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Upper Half-plane
In mathematics, the upper half-plane, is the set of points in the Cartesian plane with The lower half-plane is the set of points with instead. Arbitrary oriented half-planes can be obtained via a planar rotation. Half-planes are an example of two-dimensional half-space. A half-plane can be split in two quadrants. Affine geometry The affine transformations of the upper half-plane include # shifts (x,y)\mapsto (x+c,y), c\in\mathbb, and # dilations (x,y)\mapsto (\lambda x,\lambda y), \lambda > 0. Proposition: Let and be semicircles in the upper half-plane with centers on the boundary. Then there is an affine mapping that takes A to B. :Proof: First shift the center of to Then take \lambda=(\text\ B)/(\text\ A) and dilate. Then shift to the center of Inversive geometry Definition: \mathcal := \left\ . can be recognized as the circle of radius centered at and as the polar plot of \rho(\theta) = \cos \theta. Proposition: in and are collinear points. In ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Half-period Ratio
In mathematics, the half-period ratio τ of an elliptic function is the ratio :\tau = \frac of the two half-periods \frac and \frac of the elliptic function, where the elliptic function is defined in such a way that :\Im(\tau) > 0 is in the upper half-plane. Quite often in the literature, ω1 and ω2 are defined to be the periods of an elliptic function rather than its half-periods. Regardless of the choice of notation, the ratio ω2/ω1 of periods is identical to the ratio (ω2/2)/(ω1/2) of half-periods. Hence, the period ratio is the same as the "half-period ratio". Note that the half-period ratio can be thought of as a simple number, namely, one of the parameters to elliptic functions, or it can be thought of as a function itself, because the half periods can be given in terms of the elliptic modulus or in terms of the nome. See the pages on quarter period and elliptic integrals for additional definitions and relations on the arguments and parameters to ellip ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]