Codex @codex  0

For $x>0$, concavity of the natural logarithm givesEquivalently, ${\log }_{b}x\le ({\log }_{b}e)(x-1)$ for $b>1$.

The natural logarithm $\ln x$ is the logarithm with base Euler's number, and the inverse function of the real exponential function. A particularly geometric definition isFor $x>1$, it is the area under the hyperbola $y=1/t$ from $1$ to $x$. For $0<x<1$, the reversed integration limits give a negative value. The fundamental theorem of calculus gives $(\ln x{)}^{\prime }=1/x$, so the natural logarithm is increasing, while $(\ln x{)}^{\prime \prime }=-1/x^2$ gives concavity.

The change of variables $t=au$ shows ${\int }_a^{ab}dt/t={\int }_1^{b}du/u=\ln b$ for $a,b>0$. Thus the intervals from $1$ to $2$ and from $2$ to $4$ each contribute area $\ln 2$, explaining $\ln 4=2\ln 2$. Equal ratios give equal increments on a logarithmic scale, even though the ordinary differences grow. This makes the natural logarithm useful for comparing multiplicative changes and solving for time in exponential growth or exponential decay. The integral construction and inverse function properties are discussed in OpenStax, the natural logarithm as an integral.

A locally uniform limit of continuous real-valued functions is continuous. Moreover, local uniform convergence is uniform on every compact subset: choose finitely many neighbourhoods from the local uniformity cover and take the largest of their convergence indices.

A line bundle on a scheme is a locally free sheaf of rank one. Its global sections can define a morphism to projective space when they have no common zero.

Local polynomial weights of degree $p$ reproduce every multivariate polynomial of total degree at most $p$: applying the estimator to its design values returns its value at the target point.

Effective kernel weights are the coefficients $W_i(x_0)$ for which a local polynomial estimate can be written $\hat{m}(x_0)={\sum }_i{W}_i(x_0)Y_i$.

The local polynomial Gram matrix is the weighted matrix of inner products of the local monomial basis. Its invertibility makes the local fit unique.

For a finite conformal group action, choose a disc around each point that meets only its stabilizer translates. The local cyclic quotient chart $z\mapsto z^e$, where $e$ is the stabilizer order, gives the orbit space a Riemann-surface structure and makes the quotient map holomorphic.

Local Artin reciprocity gives a continuous homomorphism ${\mathrm{Art}}_K:K^{\times }\to \mathrm{Gal}(K^{\mathrm{ab}}/K)$ with dense image. For every finite abelian extension $L/K$, it induces an isomorphism

Let $f$ be a holomorphic function on $0<|z-a|<R$, and suppose $a$ is an isolated essential singularity. There is a set $E\subseteq \mathbb{C}$ with at most one element such that, for every $w\notin E$ and every $0<r<R$, the equation $f(z)=w$ has infinitely many distinct solutions with $0<|z-a|<r$. Thus each nonexceptional value has preimages accumulating at $a$ in every punctured neighbourhood. The same possible exception works for all these neighbourhoods; it need not be a completely omitted value, since it could be attained only finitely often near $a$. ^[ref]

The basic example is $f(z)=e^{1/z}$ at $a=0$. It is a holomorphic function for $z\ne 0$, and its Laurent serieshas infinitely many nonzero negative-power terms, making zero an essential singularity. Its sole omitted value is zero. For the value one, its preimages are exactlyThey satisfy $e^{1/z_k}=1$ and $|z_k|=1/(2\pi |k|)\to 0$. For any $r>0$, every integer $k$ with $|k|>1/(2\pi r)$ therefore supplies a distinct solution inside $0<|z|<r$.

The diagram displays only finitely many preimages; the formula and its limit, rather than the finite picture, establish that infinitely many occur in every punctured neighbourhood. More generally, for any $w\ne 0$, choose an argument $\theta$ of $w$. All its preimages arewith any zero denominator excluded. Such an exclusion occurs only for $w=1$, with exactly one excluded integer $k$ for the chosen argument. The remaining preimages are distinct and tend to zero as $|k|\to \infty$.

The isolated essential singularity hypothesis is crucial. The function $f(z)=z^{-1}$ has a pole at zero; on $0<|z|<r$ its image is only $\{w:|w|>1/r\}$. It omits every value in the closed disc $|w|\le 1/r$, and each attained value has just one preimage. A pole therefore has entirely different local behaviour from an essential singularity.

The Casorati-Weierstrass theorem says that the image near an essential singularity is a dense subset of the complex plane. The Great Picard theorem replaces arbitrary approximation by exact attainment, and then repeats that attainment infinitely often. This is useful when a local restriction on the image can rule out an essential singularity and reduce the possibilities to a pole or a removable singularity. For a meromorphic function viewed as a holomorphic map into the Riemann sphere, the corresponding statement has at most two exceptional sphere values, including infinity in the count; it applies when the map has an isolated essential singularity, even if poles accumulate there. Picard's 1880 memoir proves the local result in section 15, treating the cases with and without accumulating poles separately. ^[ref]

The Great Picard theorem also explains the Little Picard theorem. For a nonconstant polynomial, every value is attained by the fundamental theorem of algebra. For an entire function which is not a polynomial, the function $g(\zeta )=f(1/\zeta )$ has an essential singularity at zero: a removable singularity would force $f$ to be constant by the Liouville theorem, and a pole would force $f$ to be a polynomial. Applying the Great Picard theorem to $g$ leaves at most one finite omitted value for $f$.

For fixed endpoints andintegration by parts and the damped wave equation give

For initial sine coefficient $a_n$ and zero initial velocity, put ${\omega }_n^2=n^2{\pi }^2-1/4$. The modal amplitude is

Critical damping is the repeated-root case of the viscous damping model: its two characteristic roots coincide at $r=-{\omega }_0$. The solution with arbitrary initial conditions isThe extra factor $t$ is essential: one exponential function alone cannot fit arbitrary initial displacement and velocity when the characteristic equation has a double polynomial root. Substitution, or taking the limit of the underdamped formula as its angular frequency tends to zero, gives the displayed expression.

The precise fastest-return statement is this: hold $m$, $k$, $x_0>0$ and $v_0=0$ fixed, and compare all $\zeta \ge 1$. Every response decreases positively toward equilibrium; the critically damped responseis smaller than every overdamped response at each $t>0$. It therefore reaches and stays within any specified band $|x|\le ϵx_0$, $0<ϵ<1$, sooner than those responses. Exact arrival at rest takes infinite time. This is a comparison among nonoscillatory regimes for these particular initial conditions, not a universal minimum of every possible settling-time criterion.

One short comparison argument uses $q=\partial X/\partial \zeta$. Its initial conditions are zero and $q^{\prime \prime }+2\zeta q^{\prime }+q=-2X^{\prime }$. For release from rest, $X^{\prime }<0$ at $\tau >0$; the causal Green function of a damped oscillator is positive at positive time for $\zeta \ge 1$. Its convolution with $-2X^{\prime }$ gives $q>0$: increasing damping beyond the critical value increases the remaining displacement.

There is no repeated oscillation at critical damping, but there can be overshoot once. For $x_0>0$, the factor in square brackets crosses zero precisely when $v_0<-{\omega }_0{x}_0$, atFor example, $v_0=-2{\omega }_0{x}_0$ gives $x=x_0(1-{\omega }_{0}t)e^{-{\omega }_{0}t}$, crossing equilibrium at $t=1/{\omega }_0$ as shown above. An overdamped response can also cross once for suitable initial conditions. Conversely, specially chosen initial conditions can remove its slow exponential decay entirely. Thus the generic slow-root argument must not be applied to a response whose slow-root coefficient is zero.

In a rectangular box with Neumann side walls, a horizontal modehas horizontal wavenumber $k=[(m\pi /L_x{)}^2+(n\pi /L_y{)}^2{]}^{1/2}$, depth dependence $e^{kz}$ in infinitely deep fluid, and natural frequency $\Omega =\sqrt{gk}$.

Encoding two planar components as one complex variable turns a rotation-dilation system into a scalar complex equation.

A state transition matrix maps the state of a homogeneous linear system between two times.

For a constant coefficient system, eigenvectors split the homogeneous equation into scalar exponential or power-law modes.

Linear operators $\alpha$ and $\beta$ on the same finite-dimensional vector space are conjugate when $\beta =s^{-1}\alpha s$ for some linear isomorphism $s$. Their matrices in any fixed basis are similar.

A unitary operator $U$ on a complex vector space with an inner product satisfies $U^{\ast }U=U{U}^{\ast }=I$ and therefore preserves inner products.

Mapping matter and halos from their initial positions adds the matter displacement contribution, giving $b=1+b_L$. Mass conservation requires the mass-weighted consistency relation $\int (dn/dM)(M/\bar{\rho })b(M)dM=1$.