In three-dimensional Euclidean space, spherical inversion together with the displayed weight maps harmonic functions to harmonic functions on the inverted domain. The Laplacian satisfies $\Delta K_{a}u(\mathbf{x})=(a/r{)}^5(\Delta u)(a^2\mathbf{x}/r^2)$. The formula is for $r>0$; a new singularity may occur at the origin.

Away from the origin, a dipole potential $(d\cdot x)/|x{|}^3$ is harmonic. Its gradient is angularly nonuniform, decays as $r^{-3}$, and has zero spherical mean because $⟨n\otimes n⟩=I/3$. That cancellation distinguishes a self-dipole field from the regular incident field that excites a small inclusion.

For the upper half-space $H^{d+1}={\mathbb{R}}^d\times (0,\infty )$, this is the space of harmonic functions with finite norm $\Vert u{\Vert }_{h^1}={\sup }_{t>0}{\int }_{{\mathbb{R}}^d}|u(x,t)|dx$. It differs from an analytic Hardy space: no holomorphic function condition is imposed, and its boundary object can be a singular finite Borel measure.

A harmonic function on one side of a hyperplane that is continuous up to an open portion of the hyperplane and zero there extends harmonically by odd reflection. One local proof takes a ball centered on the boundary and assigns odd continuous boundary data on its sphere. The Poisson integral on the ball is odd, so it vanishes on the equatorial disk. Uniqueness by the maximum principle for harmonic functions identifies it with the original function on the half-ball. Thus the odd extension is harmonic near each boundary point. A globally bounded zero-boundary harmonic function on a half-space is consequently zero by the Liouville theorem for harmonic functions.

A vector field in Euclidean space is componentwise harmonic when each Cartesian component is a harmonic function, equivalently its componentwise Laplacian vanishes. Constant and linear vector fields are examples, as are constant linear combinations of derivatives of $1/r$ away from the origin in three dimensions. Such fields supply the vector potentials in the Papkovich–Neuber representation. Componentwise harmonicity does not by itself require zero divergence or zero curl.

If a finite complex Borel measure $\mu$ on the circle has Fourier coefficients $\hat{\mu }(n)=0$ for all $n<0$, then it is absolutely continuous with respect to arc length. The reflected Fourier convention gives the equivalent theorem with positive coefficients vanishing. The Poisson integral on the unit disk is analytic because of the one-sided Fourier spectrum. Subharmonic comparison for its square root and an $L^2$ maximal estimate produce an integrable radial maximum. This maximum dominates the weak-star boundary measure, forcing absolute continuity of measures. The same proof on the real line says that a finite measure with Fourier transform of a finite measure supported in $[0,\infty )$ has a Lebesgue density.

This Hardy space consists of bounded holomorphic functions on the unit disc, with norm $\Vert f{\Vert }_{\infty }={\sup }_{z\in \mathbb{D}}|f(z)|$. Its almost-everywhere boundary realization follows from the Fatou theorem for bounded holomorphic functions.

This Hardy space consists of holomorphic functions with $\Vert f{\Vert }_1={\sup }_{r<1}{\int }_{\partial \mathbb{D}}|f(r\xi )|dm(\xi )<\infty$, where $m$ is normalized angular measure. The H1 non-tangential maximal inequality on the disk controls their approach to the boundary, and the Carleson embedding theorem on the disk characterizes measures against which all these functions remain integrable.

In a circle-method problem of scale $n$, major arcs are neighborhoods of reduced rational points $a/q$ with small denominator, where the relevant exponential sum is approximated using distribution in residue classes. For the three-prime problem one may take $q\le (\log n{)}^B$ and $|\theta -a/q|\le (\log n{)}^B/n$, with suitably fixed $B$.

Minor arcs are the complement of the specified major arcs. They contribute an error only when a suitable pointwise or mean-value cancellation estimate is proved; their name does not imply that their measure is small.

A singular series assembles the local congruence densities in an additive counting asymptotic. For three prime summands it is ${\sum }_{q\ge 1}\mu (q)c_q(n)/\phi (q{)}^3$, with Ramanujan sum $c_q(n)$. Its Euler product vanishes for even $n$ and has a uniform positive lower bound for odd $n$. Different additive problems have different local factors, so this is a specific instance rather than a universal formula.

Every sufficiently large odd integer is a sum of three primes, with repetitions allowed. The weighted count is asymptotic to $\mathfrak{S}(n)n^2/2$. Siegel–Walfisz theorem controls the major arcs, and Type I/II estimates for the prime exponential sum make the minor arcs negligible. Removing prime-power contributions gives genuine prime representations. This is the sufficiently-large theorem, not by itself a proof for every small odd integer.

For an ordinary file under the POSIX rules used here, successful unlink("a") removes the named directory entry and decreases the hard link count. An existing open file description still refers to the same file; removing a name does not detach an already open file descriptor. When the final hard link disappears, the contents remain available through open references until those references close. This distinction is between the lifetime of a name and the lifetime of the underlying file. ^[ref]

Start with names a and b for inode 42 and one file descriptor 3 referring to one open file description. Let $L$ count hard links and $O$ count live open file descriptions for this file. Assume successful operations, no additional references, and no memory-mapped file. The stages areAfter the first removal, b still works. After the second, neither name works, but a read through the existing file descriptor can still obtain all six bytes if its open file description's current position is at the beginning. The final close releases the last open reference, allowing the inode and its file data blocks to be reclaimed. Freed storage is reusable; this does not promise that old bytes are securely erased. ^[ref]

The reasoning is bookkeeping rather than a long proof: each successful removal subtracts one from $L$ and leaves $O$ unchanged; closing the only file descriptor in this example releases the sole open file description. Storage is reclaimable only at the last stage. $O$ is a teaching count, not a count of file descriptors or an asserted internal inode field: several file descriptors can share one open file description, and other references such as a memory-mapped file require additional lifetime accounting. The diagrams are abstract models, not operations on actual user files.

For the Cartesian convention $\hat{f}(\mathbf{q})={\int }_{{\mathbb{R}}^2}f(\mathbf{r})e^{-i\mathbf{q}\cdot \mathbf{r}}d\mathbf{r}$, an isotropic function has $\hat{f}(\nu )=2\pi {\int }_0^{\infty }f(r)J_0(\nu r)rdr$. Its inverse is $f(r)=(2\pi {)}^{-1}{\int }_0^{\infty }\hat{f}(\nu )J_0(\nu r)\nu d\nu$. The self-reciprocal Hankel transform instead uses $F_H=\hat{f}/(2\pi )$. In particular $f(0)=\int F_H(\nu )\nu d\nu$. Mixing these spectral conventions changes attenuation coefficients by $2\pi$.

For the Fourier transform convention $C(\mathbf{s})=\int \Phi (\mathbf{\kappa })e^{i\mathbf{\kappa }\cdot \mathbf{s}}{d}^2\kappa /(2\pi {)}^2$, angular integration of an isotropic power spectrum gives the displayed Hankel transform. A purely radial Hankel transform without the prefactor corresponds to defining its spectrum as $\Phi /(2\pi )$.

The Hamming bound packs disjoint balls of radius approximately $\delta n/2$. Taking logarithms and using the Hamming ball volume exponent gives the bound for $0\le \delta \le 1$.

// Target: algebra.bigb

The autonomous planar system $\dot{x}=y-2y^3$, $\dot{y}=-x$ preserves $K$. Its origin is a center equilibrium and $(0,\pm 1/\sqrt{2})$ are saddle equilibria. The level $K=1/4$ is $x=\pm (y^2-1/2)$: its two inner arcs are heteroclinic orbits enclosing periodic motion, while its outer branches connect saddles to escaping trajectories. Since $|\dot{y}|\sim y^2$ on escaping levels, infinity is reached in finite time. Adding $\alpha x/2$ to $\dot{x}$ gives $\dot{K}=\alpha x^2$, so positive $\alpha$ produces outward crossing of central levels and breaks the equal-energy heteroclinic connections.

A near-resonant drive selects a transition and, in an appropriate rotating frame and rotating-wave approximation, controls a two-level effective Quantum Hamiltonian. If $H_{\mathrm{eff}}=\Omega (t){\sigma }_x/2$ with fixed axis, then $U(T)=\exp [-i{\sigma }_x{\int }_0^T\Omega (t)dt/2]$. Pulse area fixes the rotation angle; drive phase chooses a transverse axis. Selectivity and neglect of rapidly oscillating terms require the appropriate detuning and drive-strength regime.

Design a slowly varying Quantum Hamiltonian path whose relevant initial eigenstate connects to a desired final eigenstate. Under the gap and slowness hypotheses of the quantum adiabatic theorem, the state follows that instantaneous eigenstate up to phase. The path, spectral gap and duration all matter; a level crossing or excessive speed can spoil the intended state transfer.

Fast prescribed pulses change the frame in which the system evolves during successive intervals. To leading order over a short control cycle, the effective Quantum Hamiltonian is the duration-weighted mean of these conjugated generators. The Baker--Campbell--Hausdorff formula supplies commutator corrections. Symmetrizing the cycle can cancel unwanted interactions or retain a desired one. The approximation requires control cycles short compared with the relevant dynamical timescales and a suitable account of finite pulse duration.