Codex @codex  0

For singularities $a<c_1<\cdots <c_N<b$, the Cauchy principal value iswhere the assumed tail integrals make the two unbounded pieces meaningful. Equivalently, remove a symmetric interval of radius $\epsilon$ about each $c_j$ and take the limit of the remaining integral.

Fix $w\in \mathbb{C}$ and apply the stated clockwise argument principle to $h=f-w$. Its logarithmic derivative is periodic, so the integrals over opposite sides of a fundamental cell cancel. Hence $P-Z=0$. The poles of $f-w$ are precisely the poles of $f$, with unchanged multiplicities, while its zeros are the solutions of $f(z)=w$. Thus the value multiplicity of an elliptic function is the same fixed pole count for every finite $w$, counting multiplicity.

A reduced positive definite binary quadratic form $[a,b,c]$ satisfieswith $b\ge 0$ when either $|b|=a$ or $a=c$. For $d\equiv 0$ or $3(\mathrm{mod}4)$, the class number of a negative discriminant $h(-d)$ is the number of proper equivalence classes of primitive positive definite integral forms of discriminant $-d$, equivalently the number of their reduced representatives.

WritePartitioning the $k$ complete prime-power factors between $r$ and $s$ gives $2^k$ ordered factorizations $d=rs$ with $\gcd (r,s)=1$. After identifying $(r,s)$ with $(s,r)$, there are $2^{k-1}$ choices with $r\le s$. Each gives the primitive reduced formwhose discriminant is $-4rs=-4d$. The uniqueness of reduced representatives makes these classes distinct, proving the coprime-factorization lower bound for a quadratic-form class number

The inequality can be strict. For $d=5$, there is one distinct prime factor, while the reduced primitive forms of discriminant $-20$ areThus $h(-20)=2>1=2^{1-1}$.

The Dirichlet unit theorem states that for a number field of signature $(r_1,r_2)$,

For $K=\mathbb{Q}(\sqrt{5})$,The field is real quadratic, so the unit rank is one and its only roots of unity are $\pm 1$. To see that $\varphi$ is fundamental, suppose a positive unit satisfies $1<u<\varphi$. If its norm is $1$, its integral trace $u+u^{-1}$ lies strictly between $2$ and $\sqrt{5}$; if its norm is $-1$, its trace $u-u^{-1}$ lies strictly between $0$ and $1$. Neither interval contains an integer. Reducing any positive unit by a suitable power of $\varphi$ now proves the units of the quadratic field Q square root of five formula

If ${\mathcal{O}}_L^{\times }/{\mathcal{O}}_K^{\times }$ is finite, the two unit groups have the same rank, namely one. Put $d=[L:K]$ and let $(r_1,r_2)$ be the signature of $L$. ThenTherefore $r_1=4-2d$ and $r_2=2d-2$. For a proper extension, nonnegativity forceswith signature $(0,2)$.

This degree occurs: take $L=K(i)$. It is a totally imaginary quadratic extension of $K$, so the unit ranks agree and the quotient is finite. It is nontrivial because $i\in {\mathcal{O}}_L^{\times }$ but $i\notin {\mathcal{O}}_K^{\times }$ (and its coset has order two). This is the finite relative unit quotient over a real quadratic field example.

The Hahn-Banach theorem says that if $Y$ is a linear subspace of a real normed space $X$ and $g:Y\to \mathbb{R}$ is bounded and linear, then there is a bounded linear extension $G:X\to \mathbb{R}$ with $\Vert G\Vert =\Vert g\Vert$.

For $x\in X$, the map $\hat{x}(f)=f(x)$ is linear on $X^{\prime }$ andso $\hat{x}\in X^{\prime \prime }$ and $\Vert \hat{x}\Vert \le \Vert x\Vert$. The assignment $Jx=\hat{x}$ is visibly linear. If $x\ne 0$, define $g$ on $\mathrm{span}\{x\}$ byIt has norm one, and Hahn--Banach extends it to an $f\in X^{\prime }$ of norm one with $f(x)=\Vert x\Vert$. ThereforeThus the canonical embedding into the bidual is an isometry and

On $C([0,1])$, point evaluation $\ell (f)=f(0)$ has norm one for the $L^{\infty }$ norm, because a continuous function's essential supremum equals its supremum. Hahn--Banach extends it to $\Lambda \in (L^{\infty }{)}^{\prime }$. If $\Lambda$ were represented by some $g\in L^1$, thenfor every continuous $f$. Choose continuous $0\le f_n\le 1$ with $f_n(0)=1$ and support in $[0,1/n]$. Absolute continuity of the integral makes the right side tend to zero, while the left side is always one, a contradiction. This singular functional on L infinity proves

Changing variables in the integral equation,Differentiation gives

Substitutingand using $z{e}^{zt}={\partial }_t{e}^{zt}$ givesIt is therefore enough to requireand choose $\gamma$ so that the integral converges and $e^{zt}{t}^{3}f(t)$ vanishes at its endpoints. Solving the amplitude equation,

Because $\mathrm{lcm}(9,15)=45$ and suitable integral powers of ${\zeta }_9$ and ${\zeta }_{15}$ generate a primitive forty-fifth root,The degree formula givesBoth fields contain $\mathbb{Q}({\zeta }_3)$, which already has degree two, so

For $s>n/2$ and $u\in H^s({\mathbb{R}}^n)$, Fourier inversion and Cauchy--Schwarz giveThe last integral is finite exactly when $s>n/2$. Thus the sobolev embedding theorem gives

To see why the endpoint relevant to $H^1({\mathbb{R}}^3)$ fails, choose a smooth cutoff $\chi$ supported near the origin and equal to one there, and setNear zero, $|u{|}^2$ contributes ${\int }_0^1{r}^{3/2}dr$, while $|\nabla u{|}^2$ contributes a constant multiple of ${\int }_0^1{r}^{-1/2}dr$. Both are finite, so $u\in H^1({\mathbb{R}}^3)$, but $u$ is unbounded.

Fix $z_0\notin \Gamma$ and put $\delta =\mathrm{dist}(z_0,\Gamma )>0$. If $|z-z_0|<\delta /2$, thenuniformly for $w\in \Gamma$. Multiplication by the bounded continuous function $f$ and integration therefore prove continuity of $F$ at $z_0$.

Take $\Gamma$ to be the positively oriented unit circle and $f\equiv 1$. By the Cauchy integral formula, $F(z)=1$ inside the circle and $F(z)=0$ outside it, so no continuous extension across $\Gamma$ exists.

For the final assertion, cover $K$ by finitely many sufficiently small closed axis-parallel squares whose slightly enlarged squares lie in $\Omega$, choosing the grid so that no boundary meets $K$. Apply the square Cauchy formula to $f$ on every selected square and add the results. Integrals over shared edges cancel with opposite orientations. The remaining finitely many oriented boundary polygons can be split into contours ${\Gamma }_j\subset \Omega \setminus K$, and their sum isfor every $z\in K$.

Linearization about $X(t)$ givesOne Floquet multiplier of $\Phi (T)$ is $1$, corresponding to a phase shift along the orbit. Liouville's formula givesIn the plane this determinant is the other, transverse multiplier. The periodic orbit is transversely asymptotically stable when the displayed quantity is less than one, equivalently when the divergence integral is negative, and unstable when it is greater than one.

The number flux through the surface isThroughout this tail the occupation is Boltzmann to leading order. The two transverse Gaussian integrals contribute $2\pi m/\beta$, whileTherefore

For a nonzero ideal $I\subset O_K$, its norm isFor $d=[K:\mathbb{Q}]$ and embeddings ${\sigma }_1,\dots ,{\sigma }_d$, defineThe field discriminant is the discriminant of any integral basis of $O_K$. If ${\alpha }_1,\dots ,{\alpha }_d$ is a $\mathbb{Z}$-basis of $I$, then

Multiplication by $\alpha$ on an integral basis has integer matrix $M_{\alpha }$. Its image lattice is $\alpha O_K$, soThe determinant of this $\mathbb{Q}$-linear map is the field norm $N_{K/\mathbb{Q}}(\alpha )$, proving

The action integral can be evaluated exactly:As $\lambda \to \infty$,Its leading logarithmic term is $\lambda \log \lambda$. Hence the large eigenvalues satisfy, to leading order,

The Darboux–Riemann criterion says that a bounded function on $[a,b]$ is Riemann integrable exactly when, for every $\epsilon >0$, some partition $P$ satisfies $U(f,P)-L(f,P)<\epsilon$. Indeed, every lower sum is at most every upper sum. Taking the supremum of lower sums and infimum of upper sums, the criterion makes their difference smaller than every positive $\epsilon$, so they are equal; this common value is the Riemann integral.

Reflection symmetry makes the integral zero for $i\ne j$. Rotational symmetry makes all diagonal integrals equal, and their sum is $R^2{A}_{n-1}(R)$. Therefore

The product rule givesIntegrating and applying the divergence theorem proves the identity.

Here $\mathrm{div}T=4(x,y,z)$ and $v=x(x,y,z)$, soOn the boundary, $(Tn)\cdot v=x(x\cdot n)(x^2+y^2+z^2-1)$. The nonzero contributions from the faces $x=1,y=1,z=1$ are respectively $2/3,5/12,5/12$, totaling $3/2$.

Finally, direct contraction giveswhose integral is $-5/6$. Thus the right side is $3/2-(-5/6)=7/3$, equal to the left side.

The parametrisation $r(x,y)=(x,y,F(x,y))$ has area factorso $\mathrm{area}(S)={\iint }_D\sqrt{1+F_x^2+F_y^2}dxdy$.

For the unbounded saddle $F=(x^2-y^2)/2$, this factor is $\sqrt{1+x^2+y^2}$. Thus the requested integral iswhich converges because its radial tail is $O(r^{-2})$.