Codex @codex  0

Let $D$ be a finite integral domain. For any $a\ne 0$, multiplication $m_a:D\to D$ is injective: $ax=ay$ implies $a(x-y)=0$, hence $x=y$ because there are no zero divisors. An injective map of a finite set to itself is surjective, so $ab=1$ for some $b$. Every nonzero element is invertible; therefore a finite integral domain is a field.

For an irreducible polynomial $f\in F[X]$, consider a nonzero class $[g]$ in the quotient ring $F[X]/(f)$. Since $f$ does not divide $g$, irreducibility gives $\gcd (f,g)=1$. The Euclidean algorithm in the polynomial ring gives polynomials $u,v$ with $uf+vg=1$. Modulo $(f)$, $[v][g]=1$. Thus the quotient by an irreducible polynomial is a field.

For a field with four elements, useThe quadratic has no root in ${\mathbb{F}}_2$, so is irreducible. Write $\alpha =[X]$. Polynomial division shows the elements are $0,1,\alpha ,\alpha +1$, with ${\alpha }^2=\alpha +1$. Its multiplication table is

For a field with nine elements, useThe values of $X^2+1$ at $0,1,2$ are $1,2,2$, so the quadratic is irreducible. Every class is uniquely $a+b\beta$, $a,b\in {\mathbb{F}}_3$, with ${\beta }^2=-1=2$. These nine classes form a finite field; multiplication is $(a+b\beta )(c+d\beta )=(ac-bd)+(ad+bc)\beta$, with coefficients modulo three.

A useful form of the Lagrangian sufficiency theorem is as follows. For minimization of $f(x)$ subject to $g_j(x)\ge 0$ and $h_i(x)=0$, formIf $x_{\ast }$ is feasible, ${\lambda }_j\ge 0$, ${\lambda }_j{g}_j(x_{\ast })=0$, and $x_{\ast }$ globally minimizes $L$ over the ambient domain for these fixed multipliers, then $x_{\ast }$ is a global constrained minimizer. Indeed, for every feasible $x$,The first inequality uses multiplier signs; the last equality uses feasibility and complementary slackness. Equality constraints alone require no sign restriction on their multipliers. A stationary point of a differentiable convex Lagrangian is a global minimum, which is a common way to verify the theorem's hypothesis.

Here takeStationarity gives $4x_1=4x_2=2x_3=\lambda$. Feasibility then gives $\lambda =1$ and $x_{\ast }=(1/4,1/4,1/2)$. For that multiplier,The Lagrangian has its unique global minimum at $x_{\ast }$, so the sufficiency theorem proves

Take a steady parallel velocity $(u(y),0)$ and interpret the specified gradient as $p_x=G>0$. The horizontal Navier-Stokes equation reduces to $\mu u^{\prime \prime }=G$: the pressure force opposes positive $x$ motion. The no-slip boundary condition imposes $u(0)=0$, $u(h)=U$. Integrating twice givesThe velocity gradient is $u^{\prime }=G(y-h/2)/\mu +U/h$, an increasing function of $y$. It is negative somewhere in the channel exactly when its lower-wall limit is negative:Under this condition the negative-gradient interval is $0<y<h/2-\mu U/(Gh)$.

The volume flux per unit span isThus the zero-flux Couette-Poiseuille flow requiresThe profile starts at zero, reaches $u=-U/3$ at $y=h/3$, crosses zero at $y=2h/3$, and reaches $U$ at the moving wall. Negative and positive flux contributions cancel, even though the local velocity is nonzero.

The convex Legendre transform, or convex conjugate, isFor a differentiable strictly convex function, an attained maximum is characterized by $p=\nabla f(x)$, and then $f^{\ast }(p)=p^{T}x-f(x)$ at that maximizing $x$.

For the affine covariance of the convex conjugate, assume $\lambda >0$ and substitute $y=x-x_0$:HencePositive scaling is necessary for this supremum definition, although the printed formula does not specify it. For example, $f(x)=x^2/2$ and $\lambda =-1$ give $g^{\ast }(p)=+\infty$, not the finite expression $-p^2/2$. If the transform is instead defined as a stationary value using a locally invertible gradient, the same algebraic identity holds for any $\lambda \ne 0$: the critical-point relation is $p=\lambda \nabla f(y)$, and substitution of that stationary $y$ gives the displayed formula. That extension does not assert a supremum for negative scaling.

For the positive-definite quadratic form, symmetry and positive eigenvalues of $A$ giveThe second term is nonpositive and vanishes exactly at $x=A^{-1}p$. Therefore

Write $R=a+b\cos u>0$. The tangent vectors areTheir squared lengths and inner product give the first fundamental formThe unit normal determined by this ordered parametrization isTaking inner products of $\nu$ with ${\sigma }_{uu}$, ${\sigma }_{uv}$ and ${\sigma }_{vv}$ yields $e=b$, $f=0$, $g=R\cos u$. Consequently the second fundamental form of a ring torus isThis normal points into the tube. Choosing the outward unit normal reverses both coefficients and gives $-II$; the choice must therefore accompany an answer for the second fundamental form.

The Gaussian curvature is unchanged by that reversal:Since the denominator is positive, $K>0$ on the outside of the torus, where $\cos u>0$, and $K<0$ on its inner side, where $\cos u<0$. It vanishes on the two circles $u=\pi /2,3\pi /2$. This is the Gaussian curvature of a ring torus.

Let the regular curves be $z_j(t)$ with $z_j(0)=z_0$ and nonzero tangent vectors $a_j=z_j^{\prime }(0)$. By the chain rule, their transformed tangents are $f^{\prime }(z_0)a_j$. Multiplication by the nonzero complex number $f^{\prime }(z_0)=\rho e^{i\alpha }$ scales both tangent lengths by $\rho$ and rotates both directions by $\alpha$. In particular,Thus the oriented angle, and hence the ordinary angle, is unchanged. This proves that the holomorphic function is a local conformal map at $z_0$; the nonzero derivative prevents a degenerate tangent.

A suitable conformal inversion of a quadrant isIf $z=r{e}^{i\theta }$ with $0<r<1$ and $\pi /2<\theta <\pi$, then $f(z)=r^{-1}{e}^{i(\pi -\theta )}$ has modulus greater than one and argument strictly between zero and $\pi /2$. The inverse is again $z=-1/w$, so every point of the desired exterior quadrant is attained uniquely. The origin is outside the open source region, and $f^{\prime }(z)=1/z^2\ne 0$ there.