Codex @codex  0

Let ${\pi }_{\Lambda }:\mathbb{C}\to \mathbb{C}/\Lambda$ and ${\pi }_{{\Lambda }^{\prime }}:\mathbb{C}\to \mathbb{C}/{\Lambda }^{\prime }$ be the universal covering maps of two one-dimensional complex tori. Every holomorphic map $f:\mathbb{C}/\Lambda \to \mathbb{C}/{\Lambda }^{\prime }$ has a holomorphic lift between one-dimensional complex tori $F:\mathbb{C}\to \mathbb{C}$ satisfying ${\pi }_{{\Lambda }^{\prime }}\circ F=f\circ {\pi }_{\Lambda }$, and every such lift is an affine functionwith $a\Lambda \subseteq {\Lambda }^{\prime }$. Indeed, for $\lambda \in \Lambda$, the continuous function $F(z+\lambda )-F(z)$ takes values in the discrete set ${\Lambda }^{\prime }$ and is therefore constant. Hence $F^{\prime }$ is $\Lambda$-periodic. It is bounded on a compact fundamental parallelogram and therefore on the complex plane, so the Liouville theorem makes $F^{\prime }$ constant. If $f$ preserves the identity and the lift is chosen with $F(0)=0$, then $b=0$ and the lift is a linear map.

German self-announcement in Göttingische gelehrte Anzeigen. The digital transcription reproduces the argument about terminology, Gaussian integers and the complex plane. Its concluding discussion is the source of the wording quoted in the exam; this is distinct from the Latin memoir printed in 1832.

Online source: www.textgridrep.de/browse/4bjd5.0

For $L=D_t^2+2k{D}_t+k^2+{\omega }^2$, with $k>0$ and $\omega >0$, the causal Green function is $G(t)=H(t)e^{-kt}\sin (\omega t)/\omega$, where $H$ is the Heaviside step function. It satisfies $LG=\delta (t)$: it is continuous at zero, with a unit jump in its first derivative. Its smooth positive-time kernel $g$ obeys $g(0)=0,g^{\prime }(0)=1$. The zero-frequency limit is $H(t)t{e}^{-kt}$. Shifting $G$ gives the zero-initial-data response to a delayed Dirac delta function.

With the Fourier transform convention $\hat{f}(\xi )=\int f(t)e^{-i\xi t}dt$, the transformed equation gives $\hat{G}(\xi )=[k^2+{\omega }^2-{\xi }^2+2ik\xi {]}^{-1}$. Its poles $\xi =ik\pm \omega$ lie in the upper half of the complex plane. Inverting by contour integration therefore gives zero for negative time and an exponentially damped oscillation for positive time.

The center of a circle or sphere is the unique point $\mathbf{c}$ at the fixed positive radius $R$ from every point of that circle or sphere. In Cartesian coordinates, its equation is $|\mathbf{x}-\mathbf{c}{|}^2=R^2$. In the complex plane, a circle has equation $|z-c{|}^2=R^2$; completing the square identifies $c$ as its center. For example, $|z+b{|}^2=R^2$ has center $-b$.

The characteristic function of a real random variable $X$ isIt determines the probability distribution of $X$.

Here $t\in \mathbb{R}$ and $i^2=-1$. By Euler's formula, its real part and imaginary part are $\mathbb{E}[\cos (tX)]$ and $\mathbb{E}[\sin (tX)]$. The complex exponential has absolute value one, so this expected value exists for every real random variable, even without finite absolute moments. Moreover,The bound uses the triangle inequality for a vector-valued integral; the last identity is complex conjugate symmetry.^[ref] Consequently the real part is an even function and the imaginary part is an odd function.

For a discrete probability distribution with values $x_j$ and probabilities $p_j$, the characteristic function is ${\sum }_j{p}_j{e}^{it{x}_j}$: a weighted average of points on the unit circle in the complex plane. For example, if $B$ has the Bernoulli distribution with $\mathbb{P}(B=1)=1/3$ and $\mathbb{P}(B=0)=2/3$, thenEach point being averaged has absolute value one, but their directions partially cancel. At $t=\pi$, the same average is $1/3$; at $t=2\pi$, it returns to one. The characteristic function is thus neither a probability density function nor a probability mass function: its argument is a frequency parameter, and its values can be complex numbers. This Bernoulli distribution has no probability density function with respect to Lebesgue measure, yet its characteristic function is defined at every frequency.

For a probability density function $f$, the same definition becomes ${\phi }_X(t)={\int }_{\mathbb{R}}{e}^{itx}f(x)dx$, the Fourier transform with the displayed sign convention. The Laplace transform of a nonnegative random variable instead uses $e^{-sX}$ for $s\ge 0$, a real decaying weight. For the Bernoulli distribution above, it is $2/3+e^{-s}/3$; neither transform is the probability density function. The uniqueness theorem for characteristic functions explains why the oscillating averages still retain the entire probability law, while the characteristic function of a sum of independent variables turns combining laws into multiplication. These two properties make the representation useful even when directly computing a sum's probability distribution is cumbersome.

Column orthogonality of the CKM matrix gives three complex numbersDrawing these as successive vectors in the complex plane produces a closed triangle. Its area is $\frac{1}{2}|\mathrm{Im}(a{b}^{\ast })|=|J|/2$, because unitarity identifies this imaginary quartet with a signed Jarlskog invariant. A nonzero area therefore detects physical CP violation for nondegenerate quark masses.

For a worked example, choose the exact parametrization of the CKM matrix with $s_{12}=1/4$, $s_{23}=1/10$, $s_{13}=1/100$ and $\delta =\pi /3$. These are illustrative choices, not fitted quark mixing parameters. They give $J\simeq 2.085597\times 10^{-4}$. The unscaled triangle has area approximately $1.042799\times 10^{-4}$.

Divide the closure relation by $-b$, assuming $b\ne 0$, and define the complex numberThe normalized triangle has vertices $0,1,z$, with $z\simeq 0.195376+0.335788i$ for these choices. Dividing each side by $|b|$ divides area by $|b{|}^2$: its area is $|J|/(2|V_{cd}{V}_{cb}^{\ast }{|}^2)=|\bar{\eta }|/2$, approximately $0.167894$. The familiar normalized picture therefore does not itself have area $|J|/2$.

Under quantum field rephasings, $a,b,c$ all acquire the same phase, so the original triangle merely rotates and $z$ stays fixed. Ratios and angles can thus compare quark mixing measurements without dependence on field conventions. If the Jarlskog invariant vanishes, the triangle collapses; additional quark mass degeneracies require extra care in interpreting the converse.

For real $A,C$ and complex $B$, if $A\ne 0$, completing the square gives $|z+B/A{|}^2=(|B{|}^2-AC)/A^2$. A positive right side gives a circle; zero gives a single point; a negative value gives the empty set. If $A=0$ and $B\ne 0$, the equation is the straight line $2\mathrm{Re}(\overline{B}z)+C=0$. If $A=B=0$, it describes the whole complex plane when $C=0$, and the empty set otherwise. Thus unrestricted coefficients require both the single-point and whole-plane degeneracies.

A compact group is a topological group whose underlying topological space is a compact Hausdorff space. The circle group is a compact group: the unit circle is a closed bounded subset of the complex plane, so the Heine-Borel theorem gives compactness. The additive group $(\mathbb{R},+)$ is a locally compact group and a Hausdorff space, but is not a compact group: the open cover $\{(-n,n):n\ge 1\}$ has no finite subcover. A finite group with the discrete topology is another compact group; compactness does not require a smooth manifold structure.

The great advantage of a compact group is that one can average over every element without choosing a preferred origin. Precisely, every locally compact group that is a Hausdorff space admits a nonzero left Haar measure $\mu$, a regular Borel measure finite on compact sets, unique up to a positive scalar. Left invariance means $\mu (gA)=\mu (A)$ for every Borel set $A$ and every $g\in G$. There is also a right Haar measure; in general left and right Haar measures can differ. On a compact group, $0<\mu (G)<\infty$, and normalizing to $\mu (G)=1$ gives a unique regular Borel probability measure invariant under both left and right translation. See Tornier, Haar Measures, Theorem 2.2 for existence and uniqueness, and Ram's notes on left and right Haar measure for the distinction.

For a finite group $G$, normalized Haar measure assigns each element mass $1/|G|$, so integration is simply $|G{|}^{-1}{\sum }_{g\in G}f(g)$. For the circle group, the corresponding integral is uniform angle averaging, computed below. On $(\mathbb{R},+)$, Lebesgue measure is a Haar measure, but its total mass is infinite: no positive scalar multiple makes it a probability measure. Thus the existence of Haar measure does not make every topological group a compact group.

Historically, Alfréd Haar introduced the general invariant-measure construction in Der Massbegriff in der Theorie der kontinuierlichen Gruppen, Annals of Mathematics 34 (1933), pp. 147-169. This bibliographic identification is also recorded in André Weil's archived seminar notes, Mesure de Haar, reference Haa33. The conceptual step is to let group symmetry itself determine the weights used in integration, rather than relying on coordinates in an ambient Euclidean space.

Complex analysis studies functions of a complex number, especially holomorphic functions. Its distinctive feature is that a single complex derivative controls variation in every direction of the complex plane. The map $f(z)=z^2$ gives a first picture: straight coordinate lines become curved, yet small perpendicular arrows remain perpendicular wherever $f^{\prime }(z)\ne 0$.

The bottom panels show displacements rather than absolute positions. Multiplication by $f^{\prime }(1+i)=2+2i$ predicts the image of each small arrow; the exact image differs by $h^2$. The origin is exceptional because $f^{\prime }(0)=0$. This distinction between local conformal maps and a critical point is central: complex differentiability imposes strong geometric structure, without making every holomorphic function globally one-to-one.

The remarkable next step is that holomorphic functions are determined inside a circle by their values on its boundary. Precisely, let $R>0$, let $D=\{z:|z-a|<R\}$, and suppose $f$ is a holomorphic function on an open set containing the closed disc $\overline{D}$. Orient its boundary counterclockwise. The Cauchy integral formula states that, for every $w\in D$,The contour integral combines boundary values with a kernel depending on the requested interior point. It is a reconstruction formula, not merely a trick for evaluating an integral. The hypothesis about the closed disc ensures that all boundary values and the contour integral are well defined. ^[ref]

At the centre, substituting $z=a+R{e}^{i\theta }$ cancels the denominator against $dz=iR{e}^{i\theta }d\theta$:Thus the centre value is the angular average of the boundary values. For the polynomial $f(z)=z^2$, $a=1+i$ and $R=1/2$, expand the boundary data asBoth oscillating terms have zero average, leaving $f(a)=2i$. Away from the centre the weights change: on the unit circle,With $f(z)=z^2$ and $w=1/2$, expanding the denominator as a geometric series leaves only its second-power term after integration, giving $f(1/2)=1/4$. This also explains how the Cauchy integral formula recovers an entire Taylor series from boundary data.

When a holomorphic function has isolated singularities, a different boundary calculation detects their residues. Suppose $\Gamma$ is a counterclockwise simple closed contour and $f$ is holomorphic on a neighbourhood of it and its interior except at finitely many interior isolated singularities $a_j$. The residue theorem givesA residue is the coefficient of $(z-a_j{)}^{-1}$ in the Laurent series. A short proof idea is to deform the contour to small circles around the isolated singularities using the Cauchy integral theorem. Integrating the Laurent series on each circle kills every power except $-1$. ^[ref]

Here is how a complex pole determines a real improper integral. Set $g(z)=1/(1+z^2)$ and use the contour consisting of the segment from $-R$ to $R$, followed by the upper semicircle $A_R$, with $R>1$. Only the simple pole $i$ lies inside, andThe arc must actually disappear. On $A_R$, the reverse triangle inequality gives $|1+z^2|\ge R^2-1$, and its length is $\pi R$, soThe real integrand is bounded by $x^{-2}$ for $|x|\ge 1$, so both tails converge separately. Taking the limit therefore proves the ordinary improper integralFor example, at $R=10$ the real segment contributes $2\arctan (10)\approx 2.942255$, and the arc contributes $0.199337$, below the bound $10\pi /99\approx 0.317333$. The usefulness of the residue theorem is that the same strategy works for many rational functions whose real antiderivatives are cumbersome: find the enclosed poles, compute their residues, and control the connecting arc. ^[ref]

Historically, Cauchy's 1825 memoir on integrals with imaginary limits develops complex contour integration and its use in transforming and evaluating definite integrals. The opening sections define complex path integrals, discuss changing the path, and examine what happens near singular points. These are recognizable ancestors of the modern link between holomorphic functions, contours and residues. ^[ref]

The complex conjugate of $z=x+iy$ is $\overline{z}=x-iy$. It keeps the real part and negates the imaginary part. In the complex plane, this is a reflection across the horizontal axis. Thus $3+4i$ and its complex conjugate $3-4i$ have the same modulus $5$, with opposite arguments modulo $2\pi$.

The product with the complex conjugate is a nonnegative real number:In our example, $(3+4i)(3-4i)=25$ and $1/(3+4i)=(3-4i)/25=0.12-0.16i$. Its modulus is $1/5$. Geometrically, taking the multiplicative inverse reverses the argument and reciprocates the modulus; the reflected direction alone is only part of the operation.

Applying the complex conjugate twice returns the starting point. Moreover, a complex number equals its own complex conjugate exactly when its imaginary part is zero. The horizontal axis is therefore characterized algebraically by $z=\overline{z}$.

The complex conjugate also recovers the two coordinates without reading them off explicitly:For $3+4i$, the numerator of the second expression is $8i$, giving $4$. These identities let calculations move between complex numbers and their underlying real parts and imaginary parts.

For the quadratic polynomial $p(x)=2x^2-6x+5$, the discriminant is $(-6{)}^2-4(2)(5)=-4$, so its roots of a polynomial are the complex conjugatesTheir sum is $3=-(-6)/2$, and their product is $(9+1)/4=5/2$, matching the constant coefficient divided by the leading coefficient. More revealingly, $r_{+}{r}_{-}=r_{+}\overline{r_{+}}=|r_{+}{|}^2$: the product is the square of a complex modulus. Coefficients in the real numbers therefore need not imply polynomial roots in the real numbers.

For any polynomial with coefficients in the real numbers, $p(\overline{z})=\overline{p(z)}$. Thus a nonreal root of a polynomial brings its complex conjugate along with the same multiplicity of a root. This follows by applying complex conjugation to the polynomial expression and its factors. It explains why sums of complex conjugate terms can produce coefficients in the real numbers.

The extension of the cosine to the complex plane is $\cos z=(e^{iz}+e^{-iz})/2$. Splitting the complex exponential function into its real part and imaginary part gives the displayed formula in terms of hyperbolic cosine and hyperbolic sine.

A complex-valued function is complex differentiable at $z_0$ ifexists. The same limit must hold for every approach, including curved paths. Equivalently,The error divided by $|h|$ tends to zero. Thus the derivative is a single complex multiplier, not an arbitrary real linear map of the plane. If the real coordinate map is differentiable, complex differentiability is equivalent to its satisfying the Cauchy-Riemann equations at that point.

The simplest failure is complex conjugation, $f(z)=\overline{z}$. At every $z_0$ its increment quotient is $\overline{h}/h$. For real $h=t\ne 0$ it is $1$, while for $h=it$ it is $-1$. More generally, $h=t{e}^{i\theta }$ gives $e^{-2i\theta }$. Although complex conjugation is a smooth real reflection and has every real directional derivative, these incompatible quotients rule out a complex derivative everywhere.

Agreement on two axes is necessary, but does not by itself establish a limit over the whole complex plane. The Cauchy-Riemann equations need the real differentiability condition above, or a sufficient regularity condition such as continuous partial derivatives near the point. There is a second distinction: $f(z)=|z{|}^2$ has complex derivative zero at zero because its quotient there is $\overline{h}\to 0$, but its Cauchy-Riemann equations fail at every nonzero point. It is complex differentiable at zero without being a holomorphic function on any neighbourhood of zero.

Integration of a function along a path in the complex plane, expressed through a contour integral.

A complex integration contour is an oriented piecewise continuously differentiable curve in the complex plane. For a parametrization $\gamma (s)$, its contour integral is ${\int }_{\Gamma }f(z)dz=\int f(\gamma (s)){\gamma }^{\prime }(s)ds$. Reversing orientation changes the sign. Unbounded contours require a convergent improper or explicitly regularized limit.

The complex modulus of $z=x+iy$ is $|z|=\sqrt{x^2+y^2}=\sqrt{z\overline{z}}$. It is the Euclidean norm of $(x,y)$ in the complex plane, and satisfies $|zw|=|z||w|$ and the triangle inequality.

A complex number is $z=x+iy$, where $x,y$ are real numbers and the imaginary unit satisfies $i^2=-1$. The real part is $x$ and the imaginary part is $y$: for $3+4i$ they are $3$ and $4$, respectively. Equality requires both coordinates to agree. Thus the complex plane gives each complex number a concrete position, while ordinary addition and multiplication become geometric operations.

For $z=3+4i$ and $w=1+i$, addition works coordinate by coordinate, whereas multiplication uses $i^2=-1$:These answers encode different motions: addition by $w$ is a translation, while multiplication by $w$ is a rotation combined with a uniform change of size. Keeping these pictures distinct prevents a common beginner's confusion.

The complex numbers form a field: every nonzero $z$ has a multiplicative inverse, computable using its complex conjugate and modulus. They also supply the missing solutions of a quadratic equation such as $u^2+1=0$, namely $u=\pm i$. The surprising payoff is that extending arithmetic also makes Euclidean geometry easier to calculate. For a systematic introduction to these definitions, see Jeremy Orloff, MIT 18.04, topic 1, sections 1.3–1.5.

The complex plane identifies the complex number $x+iy$ with the point $(x,y)$ in Cartesian coordinates. The horizontal coordinate is its real part, the vertical coordinate its imaginary part. Arrows from zero identify the same points with vectors. Adding $1+i$ moves $3+4i$ to $4+5i$: every point undergoes the same translation.

Multiplication has a richer geometry. Multiplying by the imaginary unit sends $x+iy$ to $-y+ix$, a counterclockwise quarter-turn rotation. In particular $i(3+4i)=-4+3i$. Multiplying by $1+i$ rotates through $\pi /4$ and scales every Euclidean distance by $\sqrt{2}$. More generally, multiplication by $a+ib$ acts through the real matrixFor $a+ib\ne 0$, this preserves oriented angles between nonzero displacement vectors: every direction turns equally. Its determinant is $a^2+b^2>0$, while its common scale is $\sqrt{a^2+b^2}$. This is the elementary geometric reason complex numbers are so useful for conformal maps.

The name Argand plane recalls Jean-Robert Argand's geometric interpretation. In his 1813 article he explicitly reports publishing his Essai in 1806; the original article is available in Argand, Annales de mathématiques, volume 4, page 133. A ^[ref] preserves the essay and its geometric drawings. Reading these alongside a modern complex plane reveals how directions and lengths give arithmetic a visible meaning.

The sine function extends to an entire function on the complex plane by the displayed exponential formula. Substituting $z=x+iy$ and grouping the real and imaginary terms gives $\sin (x+iy)=\sin x\cosh y+i\cos x\sinh y$, for real $x,y$. Thus its values grow exponentially in imaginary directions, even though the real sine is bounded.

The damping ratio is the dimensionless ratio $b/b_{\mathrm{crit}}$. Substituting the exponential function $x=e^{rt}$ into the viscous damping model gives the characteristic equation and its characteristic roots:For $0<\zeta <1$, underdamping gives a pair of complex conjugate roots with negative real part. For $\zeta =1$, critical damping gives the repeated negative real root. For $\zeta >1$, overdamping gives two distinct negative real roots. At $\zeta =0$ the roots are purely imaginary and the harmonic oscillator is undamped; this boundary case has no energy loss. With $m,k>0$, negative $b$ would inject energy and lies outside the dissipative model.

The left panel locates $r/{\omega }_0$ in the complex plane; the imaginary part gives the damped angular frequency, while the negative real part gives the exponential decay rate. The right panel shows the positive rates $-\mathrm{Re}(r_{\pm })/{\omega }_0$. Beyond critical damping, one root moves toward zero, explaining slow late motion for generic initial conditions. The repeated-root solution also has a polynomial prefactor, so these rates alone do not describe its complete response.