Codex @codex  0

For a lognormal distribution, let $d_j(t)=(\log t-\mu -j{\sigma }^2)/\sigma$ for $j=0,1$. The truncated lognormal moment formula gives the recovery numeratorDivide by $1-\Phi (d_0(M))$ to condition on $X>M$. This handles both the partially penetrating claims and the capped payments beyond the upper attachment.

Define a sequence by $a_n=1$ when $n$ is a power of two, including $1=2^0$, and $a_n=0$ otherwise. Every tail of a sequence contains both a later power of two and a later nonpower. Therefore $\mathrm{liminf}{a}_n=0$ and $\mathrm{limsup}{a}_n=1$, and the sequence does not converge. Its peak indices become increasingly sparse, yet never stop appearing.

Through index $N\ge 1$, the number of peaks is $1+\lfloor {\log }_{2}N\rfloor$, so their fraction isThe set of powers of two has natural density zero. The same fraction is the Cesàro mean of the first $N$ terms, which tends to zero even though the limit superior stays one. At $N=1024$, eleven peaks give mean $11/1024\approx 0.0107422$. An average and a long-run upper edge answer different questions about the same sequence.

A full and faithful functor reflects every existing shape of categorical limit. If the image of a cone is limiting, apply its universal property to the image of any competing cone. Fullness lifts the unique mediating morphism; faithfulness proves the cone equations and uniqueness of the lift. No essential-surjectivity hypothesis is needed.

If $\mathcal{C}$ has finite categorical limits, every functor $F:\mathcal{C}\to \mathcal{D}$ preserving pullbacks in a category also preserves equalizers, even when it does not preserve a terminal object. Factor it through the slice category $\mathcal{D}/F1$ by sending $A$ to $F(A\to 1)$. This lifted functor preserves pullbacks because the slice forgetful functor reflects them; it also preserves the terminal object, so it preserves finite limits. The slice forgetful functor preserves equalizers, completing the proof.

For a real sequence with no zero terms, the displayed equivalence follows directly by comparing $|1/a_n|$ with $1/M$. Escape to positive infinity implies reciprocal convergence to zero, but the converse does not retain the sign: $a_n=-n$ is a counterexample. If $a_n\to a\ne 0$, eventually $|a_n|>|a|/2$, and $|1/a_n-1/a|\le 2|a_n-a|/|a{|}^2$. This proves reciprocal convergence at a nonzero finite limit of a sequence.

A motivating measurement used the McMath solar optical telescope at Kitt Peak. The Sun's image drifted across a $10\mathrm{mm}$-high, $0.2\mathrm{mm}$-wide optical slit; a double-pass spectrograph selected wavelength intervals from $0.0015\mathrm{nm}$ wide at $303\mathrm{nm}$ to $0.007\mathrm{nm}$ at $1099\mathrm{nm}$. An EMI 9750 QB photodetector or silicon photodiode supplied a digitized signal: $1\mathrm{kHz}$ samples were summed into 4096 positions per crossing, including dark and off-limb sky readings. ^[ref]

Controls included daily realignment of optical telescope mirrors, wavelength settings between spectral lines insensitive to the rotational Doppler shift, selection of detectors without detectable hysteresis, and measured electronic nonlinearity corrections below $0.1\%$ of maximum signal. Limb-position calibration combined centres of gravity of the edge derivative profiles with almanac semidiameters; the preliminary edge shifts were consistent with astronomical seeing of approximately $5$ arcseconds full width at half maximum. ^[ref]

The decreasing centre-to-limb readout gives a specific intensity profile, constraining stratification of the photosphere under a radiative transfer model. Astronomical seeing, instrumental scattering of light, and solar granulation limit this inference; brightness alone does not uniquely determine temperature versus geometric height. These observations need not follow the stipulated linear limb-darkening law.

A dark, opaque circular planet of radius $R_p$ blocks specific intensity over its overlap with the projected star. With $k=R_p/R_{\star }$ and no transit dilution, the instantaneous exoplanet transit depth is exactlyWhen $k\ll 1$, the entire planetary disk is inside the stellar disk, and specific intensity varies little across that disk, small-planet transit weighting reduces toHere $z$ is the projected centre separation divided by $R_{\star }$. The numerator samples the local specific intensity; the denominator normalizes by the whole star's mean specific intensity. The small-size argument and the distinction between full overlap and ingress are explicit in the original analytic treatment. ^[ref]

For a short approximately straight crossing at constant transverse velocity $v_{\perp }$, write $x=v_{\perp }t/R_{\star }$ with $t=0$ at mid-transit, and let $b$ be the transit impact parameter. Then $z^2=x^2+b^2$ and ${\mu }_p=\sqrt{1-b^2-x^2}$. With stipulated $u=0.6$ and $k=0.05$, a central crossing has mid-transit exoplanet transit depth approximately $0.003125$, whereas $b=0.8$ gives $0.002375$. A uniform disk would give $k^2=0.0025$ for either fully overlapping crossing. The brighter central chord produces a deeper dip and the off-centre chord a shorter crossing at the same $v_{\perp }$.

At fixed $z<1$ away from the edge, a two-dimensional Taylor's theorem expansion over the symmetric planetary disk cancels the first derivatives; the first correction to the blocked radiant flux is of order $k^4$ if the second derivatives remain bounded. This error estimate is not uniform at the edge, where the radial derivative of the linear limb-darkening law diverges. Ingress, egress, a grazing exoplanet transit, and a crossing of a starspot require the overlap integral or a suitable more complete model. Inferring $k=\sqrt{\delta }$ without the local-to-mean specific intensity ratio can bias the estimated planet radius.

For a circular stellar disk whose specific intensity is independent of azimuth, its mean specific intensity over projected area isThe polar coordinates element is $d{A}_{\mathrm{proj}}=2\pi rdr$ after angular integration, and $rdr=-R_{\star }^2\mu d\mu$. Substitution of the linear limb-darkening law givesFor a distant observer at distance $D\gg R_{\star }$ receiving light normally to the detecting plane, the observed radiative flux isIt is spectral irradiance, with units $\mathrm{W}{\mathrm{m}}^{-2}\mathrm{H}{\mathrm{z}}^{-1}$ when $I_{\nu }$ is per hertz. The local outward radiative flux per actual surface area is instead $F_{\nu }=2\pi {\int }_0^1{I}_{\nu }(\mu )\mu d\mu =\pi {\overline{I}}_{\nu }$, a spectral radiant exitance. In a spherical model with the same stellar atmosphere everywhere, the luminosity is $L_{\nu }=4\pi R_{\star }^2{F}_{\nu }$ and $f_{\nu }=L_{\nu }/(4\pi D^2)$, consistent with the inverse-square law. Compare disks at fixed $I_c$ or fixed total observed radiative flux explicitly: increasing $u$ lowers the total in the first comparison, while the second requires a larger $I_c$.

The linear limb-darkening law parametrizes angular specific intensity by a stipulated limb-darkening coefficient $u$:Here $I$ denotes specific intensity at one frequency, or radiance integrated over a specified interval of frequency or wavelength; it does not denote radiant intensity. Within this stipulated range, $u=0$ gives a uniform disk and $I(0)/I_c=1-u$. The linear limb-darkening law is linear in $\mu$, while its radial profile $I(r)=I_c[1-u+u\sqrt{1-(r/R_{\star }{)}^2}]$ is curved. In the linear source function example above, $u=b_{\nu }/(a_{\nu }+b_{\nu })$ when $a_{\nu },b_{\nu }\ge 0$ and $a_{\nu }+b_{\nu }>0$.

For the illustrative choice $u=0.6$, the specific intensity at $r/R_{\star }=0$, $0.8$, and the limiting edge is respectively $I_c$, $0.76I_c$, and $0.4I_c$. These are synthetic values, not measurements of the Sun. Real optical spectra and stellar atmospheres need not obey a linear limb-darkening law; more flexible profiles can be necessary for accurate exoplanet transit photometry. ^[ref]

For independent unit-variance Gaussian samples with means ${\mu }_X,{\mu }_Y$, testing ${\mu }_X\ge A,{\mu }_Y=0$ against unrestricted means gives $T=-2\log \Lambda =n[{\bar{Y}}^2+(A-\bar{X}{)}_{+}^2]$. The unrestricted maximum-likelihood estimators are the two sample means, while the null estimators are $\max (A,\bar{X})$ and zero. Under the null, write $W=\sqrt{n}(\bar{X}-A)=W_0+\delta$, $\delta =\sqrt{n}({\mu }_X-A)\ge 0$, and $Z=\sqrt{n}\bar{Y}$, with $W_0,Z$ independent standard Gaussian variables. Then $T=Z^2+(-W_0-\delta {)}_{+}^2$ decreases pointwise with $\delta$, so the largest rejection probability occurs at the boundary ${\mu }_X=A$. There its law is the chi-bar-squared distribution $\frac{1}{2}{\chi }_1^2+\frac{1}{2}{\chi }_2^2$. The exact size-$\alpha$ threshold $c_{\alpha }$ is therefore determined by $1-\Phi (\sqrt{c_{\alpha }})+\frac{1}{2}{e}^{-c_{\alpha }/2}=\alpha$.

For independent samples from normal distributions with separate unknown means, test equal variances against ${\sigma }_X^2>{\sigma }_Y^2$. Profiling the means gives sample means. Under the null the variance maximum is $(S_X+S_Y)/(n_X+n_Y)$; the separate maxima are $S_X/n_X$ and $S_Y/n_Y$. If the latter obey the proposed order, their likelihood quotient isIt decreases strictly as $(S_X/n_X)/(S_Y/n_Y)>1$ increases. Otherwise the ordered alternative maximum lies on the equal-variance boundary and the quotient is one. Under the null, Cochran's theorem gives independent chi-squared residual sums with degrees $n_X-1,n_Y-1$, so rejection is in the upper tail of the displayed F-distribution statistic, calibrated at the desired significance level.

For independent multivariate normal observations with unrestricted mean and positive-definite sample covariance matrix $S=n^{-1}{\sum }_i(x_i-\bar{x})(x_i-\bar{x}{)}^T$, the unrestricted maximum-likelihood estimates are $\bar{x},S$. Requiring a diagonal population covariance matrix gives the same mean and covariance estimate $D=\mathrm{diag}(S_{11},\dots ,S_{pp})$. Both fitted quadratic terms equal $np$, so their likelihood quotient is $(|S|/|D|{)}^{n/2}=|R{|}^{n/2}$, where $R=D^{-1/2}S{D}^{-1/2}$ is the sample correlation matrix. Small determinants give evidence against diagonality. For two variables this is a two-sided test of their sample correlation.

For independent observations from a nonsingular multivariate normal distribution with unknown mean, let $S=n^{-1}{\sum }_i(y_i-\bar{y})(y_i-\bar{y}{)}^T$. The unrestricted maximum-likelihood estimator of covariance is $S$, while the diagonal restriction gives $D=\mathrm{diag}(S_{11},\dots ,S_{pp})$. The fitted trace terms both equal $p$, so twice the log-likelihood difference is $W=n\log (\det D/\det S)=-n\log \det R$, where $R$ is the sample correlation matrix. Under the diagonal null hypothesis and fixed dimension, the Wilks theorem gives $W\Rightarrow {\chi }_{p(p-1)/2}^2$.

Every closed subgroup of a finite-dimensional Lie group is an embedded submanifold and a Lie subgroup. Closedness alone forces the compatible smooth structure; smoothness need not be assumed in advance. The proof constructs the Lie algebra of a closed subgroup from one-parameter subgroups, then uses local product coordinates for a closed subgroup.

A Lie group homomorphism intertwines one-parameter subgroups and therefore obeys the displayed identity. A connected Lie group is generated by an identity neighbourhood in an exponential chart, so its homomorphism is uniquely determined by the differential at the identity. On a disconnected group, only the restriction to its identity component is determined this way; the images of the other components require extra data.

An isomorphism of Lie groups is a group isomorphism that is also a diffeomorphism. Both the homomorphism and its inverse preserve the smooth structures. Its identity differential is a Lie algebra isomorphism, but an isomorphism of Lie algebras determines a global Lie group isomorphism without extra period data only for connected simply connected groups.

A Lie group action on $M$ is proper if $(g,x)\mapsto (gx,x)$ from $G\times M$ to $M\times M$ is a proper map. A free proper smooth action has a smooth quotient manifold, with the quotient map a submersion and principal bundle. Proper actions with stabilizers can have orbit-type strata and singular quotients. These qualifications are necessary before treating an orbit space as a smooth phase space.

A Lie bracket is alternating when $[x,x]=0$ for every $x$. This condition is imposed in every characteristic of a field. Bilinearity gives $0=[x+y,x+y]=[x,y]+[y,x]$, hence antisymmetry of a Lie bracket. Requiring alternation directly keeps the definition correct in characteristic two.

If the matrix logarithm identifies a neighborhood of the identity in a Matrix Lie group with a neighborhood of zero in its tangent subspace, the logarithm of the displayed group commutator belongs to that subspace. Divide it by $t^2$ and take the limit. Finite-dimensional linear subspaces are closed, proving closure under the matrix commutator without attempting to give a nonsmooth square-root reparametrization a velocity.

For a connected simply connected source Lie group, every Lie algebra homomorphism integrates uniquely to a Lie group homomorphism. Along a path $\gamma$ from the identity, transport its left logarithmic velocity by $\theta$ and solve the corresponding left-invariant differential equation in the target. The Maurer-Cartan equation and preservation of brackets make the endpoint invariant under fixed-endpoint homotopies. Simple connectedness removes path dependence, and path concatenation proves multiplicativity.