Codex @codex  0

Invariance gives $dh(v_s)=dh(D{\varphi }_t{v}_s)$ for a stable direction. Boundedness of $dh$ and exponential contraction make this zero; negative time does the same for unstable directions. Also $dh(F)=0$. The Anosov splitting spans the tangent bundle, so $dh=0$ and the function is constant on each connected component. This proof does not need an ergodicity hypothesis.

Let a nonsingular smooth flow on a closed manifold $N$ be generated by $F$. Suppose a continuous nondegenerate indefinite quadratic form $Q$ on the transverse vector bundle $TN/\mathbb{R}F$ has constant signature, is differentiable along the linearized flow, and has continuous positive-definite derivative there. Then the flow is an Anosov flow.^[ref]

Here differentiating the form means differentiating $Q_{{\Phi }_{t}x}(D{\Phi }_{t}v)$. Compactness gives constants $M,c>0$ such that $|Q(v)|\le M\Vert v{\Vert }^2$ and $\dot{Q}(v)\ge c\Vert v{\Vert }^2$. On the positive cone,so the form increases at least exponentially. Negative cones supply the analogous backward-time estimate. Strict cone invariance produces uniformly expanding and contracting transverse bundles; the full splitting also contains the neutral flow direction.

For a geodesic flow on a compact negatively curved surface, a transverse Jacobi field has scalar coordinates satisfying $\dot{y}=z$ and $\dot{z}=-K(t)y$, with Gaussian curvature $K\le -\kappa <0$. The indefinite form $Q(y,z)=yz$ obeysfor every nonzero transverse vector. This directly verifies the criterion. The quotient by $F$ is essential: $D{\Phi }_{t}F=F\circ {\Phi }_t$ gives the neutral direction that cannot satisfy this strict transverse positivity. The estimates concern the form; constructing the invariant bundles is the additional cone argument, rather than an assertion that every positive-cone vector has monotonically growing norm.

The right annihilator of a subset $X$ of a ring is the right ideal of elements killed on the left by every member of $X$. Its sidedness matters for a noncommutative ring.

For a Gaussian kernel $K{q}_{\parallel }^2+L{q}_{\perp }^4+t$, keeping both gradient coefficients fixed gives $q_{\parallel }^{\prime }=b{q}_{\parallel }$ and $q_{\perp }^{\prime }=b^{1/2}{q}_{\perp }$. The volume rescales by $b^{(d+1)/2}$. Fourier-field normalization is $m^{\prime }(q^{\prime })=m(q)/b^{(d+5)/4}$; the real-space normalization instead divides by $b^{(3-d)/4}$. The thermal coefficient scales by $b^2$ and the uniform source by $b^{(d+5)/4}$. Thus ${\xi }_{\parallel }\sim t^{-1/2}$, ${\xi }_{\perp }\sim t^{-1/4}$ and the formal Gaussian free-energy powers are $\alpha =(7-d)/4$, $\Delta =(d+5)/8$.

For a flat universe with a single constant equation-of-state parameter $w>-1$, $H(z)=H_0(1+z{)}^{\alpha }$. Its angular diameter distance is $H_0^{-1}[(1+z{)}^{-\alpha }-(1+z{)}^{-1}]/(1-\alpha )$, with logarithmic limit $H_0^{-1}\log (1+z)/(1+z)$ at $\alpha =1$. Differentiation gives the displayed unique maximum, interpreted as $z_m=e-1$ at $\alpha =1$. The distance vanishes at both endpoints $z=0$ and $z\to \infty$. As $w\downarrow -1$, the maximum moves to infinite cosmological redshift.

Every algebra character of the analytic Wiener algebra is evaluation at a unique point $z$ of the closed unit disk. Indeed, for $u(w)=w$, continuity and multiplicativity give $z=\varphi (u)$, $|z|\le \Vert u\Vert =1$ and $\varphi (f)={\sum }_{n\ge 0}{a}_n{z}^n$. Conversely, this formula defines a continuous algebra character for every such $z$. The evaluation correspondence is a homeomorphism for the Gelfand topology, since the power series are uniformly convergent on the closed unit disk.

A boundary of a domain of a holomorphic function is natural if the function has no analytic continuation through any of its points. For $f(z)={\sum }_{n\ge 1}{z}^{2^n}$, each root of unity of order a power of two is a singular boundary point: along $z=r\zeta$ all sufficiently late terms equal $r^{2^n}$ and their sum tends to infinity as $r\uparrow 1$. These roots are dense on the unit circle, so no boundary arc admits analytic continuation.

For a non-dividend-paying stock and nonnegative deterministic interest, the European call lower bound is $C_E\ge S-XB$, where $B\le 1$ is the zero-coupon bond price. This is at least the in-the-money exercise payoff $S-X$; the call also preserves the possibility of avoiding payment of the strike. Positive interest makes the comparison strict when exercise would have positive payoff. At zero interest there can be indifference, and with negative interest the statement can fail: a deterministic stock $S_u=S_0{e}^{ru}$ with $r<0$ can give a larger payoff by immediate exercise.

For a single known cash dividend at $t_1$, nonnegative interest excludes exercise strictly before the last cum-dividend opportunity. Immediately before the dividend, continuation has lower bound $S_{t_1-}-D-XB(t_1,T)$, whereas positive immediate exercise pays $S_{t_1-}-X$. The displayed inequality makes continuation strictly better. With no further dividends, it therefore excludes all early exercise. If the inequality fails, exercise just before the dividend may be worthwhile, but is not automatically optimal because remaining option time value also matters.

A finite nonempty vertex set in an amenable graph is a Følner set with tolerance $\epsilon$ if its external boundary has size at most $\epsilon$ times its volume. A graph Følner sequence consists of such sets with tolerances tending to zero. For a bounded-degree graph, every fixed-thickness boundary layer also has negligible relative volume along this sequence.

An alternating trilinear form is a scalar-valued map, linear in three arguments, which vanishes whenever two arguments agree. In characteristic zero, interchanging two arguments negates its value, while cyclic permutation preserves it. For a symmetric bilinear form $B$ on a Lie algebra, the tensor $B([x,y],z)$ is alternating exactly when $B$ is an invariant bilinear form on a Lie algebra.

A connected finite hypergraph of three-element supports, with a three-cycle on each support, generates the full alternating group. To merge a new triple meeting an old alternating support in two letters, conjugate over unordered pairs of old letters. For one-letter overlap compare $(abc)$ and $(a^{\prime }bc)$: their quotient is $(ab{a}^{\prime })$, reducing to two two-letter-overlap steps.

Except in degree six, the $3$-cycles are characterized among order-three elements by the largest centralizer. Their cyclic subgroups correspond to three-element supports. Two different such subgroups commute exactly for disjoint supports; with one common point their generator products have order five, and with two common points those products have order two or three. Thus an automorphism induces an automorphism of $J(n,3)$. The maximal cliques of a Johnson graph reconstruct a permutation of the points. After undoing that permutation, an automorphism fixes every cyclic $3$-subgroup. Product orders force its choices of generator inversion to be consistent on the connected graph, and inversion of every $3$-cycle would reverse a noncommuting product. Hence it fixes all $3$-cycles, which generate $A_n$.

Every maximal proper subgroup normalizes one of its minimal normal subgroups. As $A_5$ has no proper nonabelian simple subgroup, that subgroup is elementary abelian. Its possible types are $C_2,C_2^2,C_3,C_5$. Their normalizers have orders $4,12,6,10$ respectively. The order-four normalizer lies in an order-twelve point stabilizer; the other three types are maximal and each forms a single conjugacy class. There are five, six and ten maximal subgroups of orders twelve, ten and six, respectively.

For an optically thick alpha disk dominated by gas pressure, vertical hydrostatic equilibrium gives $H\propto T^{1/2}/\Omega$ and $\rho \propto \Sigma \Omega T^{-1/2}$. The specified opacity therefore scales as $\kappa \propto {\Sigma }^{-3/2}{\Omega }^{-3/2}{T}^2$. Viscous heating scales as $Q^{+}\propto \alpha \Sigma T\Omega$, while radiative diffusion gives $Q^{-}\propto T^4/(\kappa \Sigma )\propto {\Sigma }^{1/2}{\Omega }^{3/2}{T}^2$. Their balance gives $T\propto \alpha {\Sigma }^{1/2}{\Omega }^{-1/2}$, hence $\nu \propto {\alpha }^2{\Sigma }^{1/2}{\Omega }^{-3/2}$. Fixed $\alpha$ and Keplerian rotation yield the displayed law.

The local thermal stability of an accretion disk follows because, at fixed surface density and radius, cooling has logarithmic temperature slope two while heating has slope one. The viscous stability of an accretion disk follows from ${\partial }_{\Sigma }(\nu \Sigma )>0$ on the thermal-equilibrium branch. Both conclusions apply within this pressure, opacity and transport closure.

Let $\mathcal{R}=k/({\mu }_m{m}_p)$ and choose $h^6=3\alpha \kappa {\Sigma }^2{\mathcal{R}}^4/(16\sigma {\Omega }^5)$. Set $z=h\zeta$, $\rho =(\Sigma /h)D$, $p=\Sigma {\Omega }^{2}hP$, $T=({\Omega }^2{h}^2/\mathcal{R})\Theta$ and $F=\alpha \Sigma {\Omega }^3{h}^{2}Q$. Vertical hydrostatic equilibrium, viscous dissipation, radiative diffusion and the ideal gas law reduce to $P^{\prime }=-D\zeta$, $Q^{\prime }=9P/4$, ${\Theta }^{\prime }=-DQ/{\Theta }^3$, $P=D\Theta$. Midplane symmetry gives $Q(0)=0$; a regular radiative-zero surface has $P=\Theta =0$ at a universal ${\zeta }_s$, with $2{\int }_0^{{\zeta }_s}Dd\zeta =1$. All physical parameters have disappeared. Uniqueness of this normalized boundary-value problem makes every physical profile a rescaling of one dimensionless solution.

// Target: astrophysics.bigb

Let $\mathcal{R}=k/({\mu }_m{m}_H)$, take constant opacity $\kappa$, and prescribe the dynamic viscosity $\mu =\alpha p_g/\Omega =\alpha \mathcal{R}\rho T/\Omega$ in a Keplerian disk. The pressure supporting the disk may contain both gas pressure and radiation pressure. Combining viscous dissipation and radiative diffusion gives ${\partial }_m^2{T}^4+A\Omega T=0$ in the vertical mass coordinate of a disk, where $A=27\alpha \kappa \mathcal{R}/(16\sigma )$. Set $\zeta =2m/\Sigma$, $T=T_{\ast }t(\zeta )$ and $T_{\ast }^3=A\Omega {\Sigma }^2/4$. With a radiative-zero disk surface, $t$ satisfies $(t^4{)}^{\prime \prime }+t=0$, $t^{\prime }(0)=t(1)=0$. Writing $I_t={\int }_0^{1}td\zeta$, the density-weighted mean kinematic viscosity is $\bar{\nu }=\alpha \mathcal{R}{T}_{\ast }{I}_t/\Omega$, giving the displayed formula. This calculation does not assume gas-pressure domination: the closure depends on gas pressure while hydrostatic support can be mixed.

The three principal aqueous glycine forms differ by loss of one proton at each step:Call these glycine forms $G^{+}$, $G^0$ and $G^{-}$, respectively: a cation, a zwitterion and an anion, with net electric charges $+e$, $0$ and $-e$, where $e$ is the elementary charge. $G^0$ specifically denotes the zwitterion, not an uncharged amino/carboxyl drawing. The first dissociation removes the carboxyl proton; the second removes a proton from the positively charged nitrogen. The chemical equilibrium changes are reversible, not three permanently separate kinds of glycine. ^[ref]

For all calculations and both diagrams here, explicitly stipulate the pKa values $\mathrm{p}{K}_{a1}=2.35$ and $\mathrm{p}{K}_{a2}=9.78$. These are illustrative model inputs, not measurements from the glycine titration experiment or a claim of universal constants. Actual acid dissociation constants depend on temperature and on the convention used for thermodynamic activity; apparent concentration-based values also depend on ionic strength. For comparison, the inspected textbook tabulates $2.34$ and $9.60$ for glycine, which would give a different isoelectric point. ^[ref]

A proteinogenic amino acid is incorporated into proteins during translation. The conventional twenty include glycine, alanine, methionine and proline; they are a subset of amino acids, not a definition of the whole family. ^[ref]

A sequence converges completely to $X$ when ${\sum }_n\mathrm{Pr}(|X_n-X|>ϵ)<\infty$ for every $ϵ>0$. The first Borel-Cantelli lemma implies Almost sure convergence. For independent $X_n$, any limit in Probability is almost surely constant; the second Borel-Cantelli lemma then gives the converse from almost sure to complete convergence. independence is essential: $X_n=1_{\{U\le 1/n\}}$ for one uniform random variable $U$ converges almost surely to zero but its exceedance probabilities have a divergent sum.