An order-$k$ B-spline is supported on $[t_i,t_{i+k}]$. Below this interval its truncated-power knot data agree with a degree-$k-1$ polynomial, annihilated by the order-$k$ divided difference; above it all data vanish. Therefore its ordinary or mixed Gram matrix has entries zero when $|i-j|\ge k$. The half-bandwidth is $k-1$, and for strictly increasing knots this bound is sharp.

With vanishing surface pressure/mass density and regular admissible displacements, integration by parts makes the axisymmetric adiabatic displacement operator symmetric in the mass density-weighted inner product. Completing the pressure square gives the displayed energy form. Nonnegative form for every admissible displacement excludes exponentially growing axisymmetric adiabatic modes in the Cowling approximation. A negative trial Rayleigh quotient proves negative spectrum by the Rayleigh-Ritz variational principle. Nonnegative stratification and epicyclic coefficients give a simple sufficient stability condition.

A centered model $X_t={\varphi }_{\nu }{X}_{t-1}+{\sigma }_{\nu }{\epsilon }_t$, with $\nu =t\mathrm{mod}S$, has season-dependent coefficients and white noise innovations. In the nondegenerate case, the causal stability condition is $|{\prod }_{\nu =1}^S{\varphi }_{\nu }|<1$. Individual coefficients can exceed one in modulus while the product remains stable. Its second-order law is a periodically correlated process.

An autoregressive polynomial with a root at one gives a unit-root model. The basic example $X_t=X_{t-1}+{\epsilon }_t$ is a random walk, whose variance grows with time when the increments have positive variance. Differencing removes this root and recovers its white noise increments.

A weakly stationary process satisfying an autoregressive model can depend on future driving white noise. For $X_t=\varphi X_{t-1}+{\epsilon }_t$ with $|\varphi |>1$, the convergent in the sense of mean-square convergence solution is $X_t=-{\sum }_{j\ge 1}{\varphi }^{-j}{\epsilon }_{t+j}$. Its autocovariance is ${\sigma }^2{\varphi }^{-|h|}/({\varphi }^2-1)$. This is different from a causal time series.

A causal time series satisfying $\Phi (B)X_t={\epsilon }_t$ with nondegenerate white noise has a square-summable present-and-past filter. The identity $\Phi (z)\Psi (z)=1$ excludes roots inside the unit disk; a pole of $1/\Phi$ on its boundary also prevents square summability. Thus all roots of $\Phi$ lie strictly outside the unit circle.

The autoregressive polynomial is $\Phi (z)=1-{\sum }_{j=1}^p{\varphi }_j{z}^j$. Substituting the backshift operator gives the autoregressive filter. Zeros outside the unit disk give the causality root criterion for an autoregressive model; zeros on the unit circle obstruct a nondegenerate stationary innovation-driven solution.

With two fixed initial states and iid N(0,1) errors, the parameter likelihood is the product of conditional transition densities. For $X_0=X_1=0$, it is proportional to $\exp [-\frac{1}{2}{\sum }_{t=0}^{n-2}(x_{t+2}-a{x}_{t+1}-b{x}_t{)}^2]$. The initial observation is a point mass and the first nonzero observation has a parameter-independent likelihood term.

For a finite-dimensional quiver representation $X$ over an algebraically closed field $k$, fix a Krull-Schmidt decomposition $X={⨁}_a{M}_a^{\oplus m_a}$ with pairwise nonisomorphic indecomposable modules. Acting by scalar matrices on the multiplicity spaces embeds $L={\prod }_a{\mathrm{GL}}_{m_a}(k)$ into ${\mathrm{Aut}}_Q(X)$. It splits reduction modulo the Jacobson radical $J=J({\mathrm{End}}_Q(X))$, givingThe subgroup $1+J$ is closed, normal and unipotent, because $J$ is a nilpotent ideal. This explicit section works in every characteristic. The algebraically closed field assumption ensures that the residue division rings of the indecomposable endomorphism rings are $k$; without it this particular product of split general linear groups need not be the quotient.

A group multiplier automaton accepts exactly the padded convolutions of words $u\otimes v$ with $u,v\in L$ and $\overline{u}x=\overline{v}$. The case $x=\epsilon$ recognizes equality in the group, rather than equality of literal words over an alphabet.

A private-value auction gives each bidder its own value for receiving an item; the value is determined by its own type rather than by another bidder's information. An independent private values model also assumes independence between types.

For a risk-neutral single-parameter bidder with incentive-compatible type reports, interim utility satisfies $u^{\prime }(\theta )=G(\theta )$ wherever the winning probability is continuous. Consequently expected payment is determined by allocation probabilities and the utility of the lowest type. The common normalization $u(0)=0$ must be justified, not obtained from allocation alone.

Each bidder submits one private bid; the highest bidder wins and pays its own bid, while losers pay nothing. A multi-unit version can award one item to each of the highest bidders, each paying its own bid. In a monotone symmetric equilibrium, a bidder can imitate another type's bid when checking incentive constraints.

In a standard all-pay auction, every player pays its bid or effort cost, and the highest bid receives the prize. With a value $v_i$, unit effort cost, and winning probability $x_i(b)$, player $i$ has quasilinear utility $v_i{x}_i(b)-b_i$. Equal highest bids require an explicit tie rule.

With well strength $\lambda$ and spacing $a$, negative-energy Bloch states obey $\tanh y\le 2y/(\lambda a)\le \coth y$, where $y=\kappa a/2$. There is one negative band: it reaches zero when $\lambda a\le 2$ and is separated from zero when $\lambda a>2$.

For known attenuation $a(x)$ and a scalar source $f(x)$ in the plane, start with the directional transport equation $(\mathbf{\theta }\cdot \nabla +a)\psi =f$. Introduce a complex spectral parameter $k$ and Wirtinger derivatives ${\partial }_z=({\partial }_{x_1}-i{\partial }_{x_2})/2$, ${\partial }_{\bar{z}}=({\partial }_{x_1}+i{\partial }_{x_2})/2$:At $k=e^{i\theta }$ this is the original directional derivative $\cos \theta {\partial }_{x_1}+\sin \theta {\partial }_{x_2}$. Away from the unit circle, its fundamental solution supplies analytic spectral families. Choosing $h_k$ with $L_k{h}_k=a$ turns $(L_k+a){\psi }_k=f$ into $L_k(e^{h_k}{\psi }_k)=e^{h_k}f$, removing attenuation by an integrating factor.^[ref]

The boundary values from inside and outside the unit circle have a jump determined by directed attenuated Radon transform data and transverse Hilbert transforms. A normalized Riemann-Hilbert problem reconstructs the spectral family. In the exterior normalization ${\psi }_k={\psi }_{-1}/k+O(k^{-2})$, substituting into the transformed equation gives $f={\partial }_z{\psi }_{-1}$. Thus the desired source is recovered from a spectral coefficient, rather than from a direct angular average.

This construction assumes sufficient regularity and decay, known attenuation and the required directed angular measurements. General angle-dependent sources have a different identifiable content; partial angular data require additional hypotheses. The projection formula for inverse attenuated Radon transform makes one full-data normalization explicit.

For a thin hydrostatic isothermal atmosphere, $\Delta D\simeq 2R_p{N}_{H}H/R_{\star }^2$ and $H=k_{B}T/(\mu m_{u}g)$. Hence $T\simeq \mu m_{u}g\Delta D{R}_{\star }^2/(2k_B{R}_p{N}_H)$. A measured exoplanet transmission spectrum amplitude constrains $N_{H}H$, so gravity, mean molecular mass and the number $N_H$ of sampled atmospheric scale heights are additional inputs. In a clear fixed-composition model, $N_H\simeq \log ({\kappa }_{\mathrm{band}}/{\kappa }_{\mathrm{cont}})$; clouds or abundance gradients can change it.

For $P_0>0$, $\alpha \ne 0$, $T\ge T_0$ and physical $T>0$, the atmospheric pressure-temperature profile $P=P_0\exp (\alpha \sqrt{T-T_0})$ is equivalent toThe branch restriction is essential: squaring does not create a second physical branch. Its temperature gradient is $dT/d\log P=2\sqrt{T-T_0}/\alpha$. Thus, in hydrostatic equilibrium, $\alpha <0$ gives an atmospheric thermal inversion, while $\alpha >0$ gives outward cooling. At $T=T_0$ the inverse branch has zero derivative; $\alpha =0$ gives constant pressure and cannot describe a nontrivial hydrostatic vertical interval.

The lower part of a planetary atmosphere where temperature generally decreases outward and convection can carry intrinsic or surface heat. Its upper boundary is a tropopause. Stellar irradiation, composition gradients and clouds affect the extent of this region; pressure alone does not universally identify it.

The exosphere is the dilute outer atmospheric region in which a particle can travel a substantial distance without a collision. Its lower boundary, the exobase, is near equality of the mean free path and the local atmospheric scale height. Escaping and gravitationally bound trajectories can coexist.