Codex @codex  0

The experiment in A time of flight method to measure the speed of sound using a stereo sound card by Carlos C. Carvalho and others makes wave speed visible as a delay. Two powered microphones feed separate channels of one stereo line input. A clap beyond one end of their common axis reaches the nearer microphone first. The displayed signals show two separated onsets when enlarged; count their sample separation $N$ to obtain $\Delta t=N/f_s$ and infer speed of sound $c=d/\Delta t$ from the measured microphone spacing $d$. The reported sampling rate is $44100{\mathrm{s}}^{-1}$. Repeating at different spacings gives a distance-versus-delay plot whose slope estimates speed of sound; dependence on distance helps identify acoustic travel rather than a fixed electronic delay. These are the paper's apparatus and observed readout, not measurements made for this article.^[ref]

A controlled implementation also needs timing calibration for acoustic speed measurements. Put the microphones side by side to estimate the channel-delay offset ${\tau }_0$, swap channels to check its sign, and check the acquisition clock against an independent timing reference. Measure spacings between consistent points on the microphones, keep the source outside their span and on their axis, and fit $\Delta t=d/c+{\tau }_0$ by linear regression rather than forcing a zero intercept. Repeat pulses and compare the same onset criterion before reflections arrive. These are proposed calibration and control checks, not additional procedures claimed for the paper.

One sample corresponds to $1/f_s\simeq 22.7\mu \mathrm{s}$ for the reported sampling rate, so a delay of only a few samples has large relative measurement error. Background measurement noise, different microphone responses and threshold choice can move the apparent onset; reflections can supply a later competing pulse. Record temperature, keep air motion small, and compare several spacings. The result estimates speed of sound under those conditions; it cannot prove an exactly zero precursor below the instrument's sensitivity or establish finite propagation speed for every real medium. Both new diagrams in these sections show explicitly synthetic ideal wave equation solutions.^[ref]

A fixed-end string of length $L$ initially straight receives velocity $v$ on an interval of width $a$ centred at $l$, and zero elsewhere. Its sine-mode velocity coefficient is $g_n=4v\sin (n\pi l/L)\sin (n\pi a/(2L))/(n\pi )$. For linear density $\rho$, orthogonality gives mode energy $E_n=\rho L{g}_n^2/4$ and total energy $E=\rho a{v}^2/2$. Their ratio is the displayed formula. Zeros in either sine factor suppress a normal mode completely.

For $0<\xi <l$, the wave equation $y_{tt}=c^2{y}_{xx}$ with zero endpoint displacement, zero initial displacement and initial velocity $\delta (x-\xi )$ has the distributional weak solutionExpand the Dirac delta in the Fourier sine basis and solve each modal ordinary differential equation. Equivalently take the odd, $2l$-periodic extension $v$ of the initial velocity and use $y=(2c{)}^{-1}{\int }_{x-ct}^{x+ct}v(s)ds$. The image impulses enforce the fixed endpoints. At jump fronts the Fourier series selects the midpoint of the two one-sided values.

Represent disconnected frazil ice and pancake ice as an upper layer with effective density, thickness and viscosity, rather than a continuous elastic plate. Linear Navier-Stokes equations in that layer are coupled to underlying water through velocity and stress conditions. A complex wavenumber describes both dispersion and wave attenuation in sea ice. A simpler conservative limit keeps ice mass loading but removes the elastic bending term; it does not predict viscous attenuation. The suspension model's effective viscosity is a fitted property, and a compact pancake cover need not behave like dilute frazil.

The wavevector times wave action gives the canonical momentum associated with translations of a wave's phase. It describes momentum exchange with a slowly varying mean fluid flow, rather than simply the spatial average of oscillating fluid momentum. For horizontal wavenumber $k$, its horizontal component is $kE/\hat{\omega }$. A convention using displacement pseudomomentum of an internal gravity wave instead has the opposite sign.

Define the proper electromagnetic vertex with the electric charge removed, and define $S^{-1}$ without the propagator's overall factor $i$. The displayed off-shell identity follows by localizing the vector symmetry in a time-ordered correlation function, including the contact terms at the charged-field insertions, and amputating. Its on-shell form gives the Ward identity for physical photon amplitudes. At zero photon momentum it identifies the vertex with the momentum derivative of the inverse fermion propagator.

For tree electron-Positron annihilation into three photons, all six orders along the fermion line must be summed. Write $D(r)=/r-m$ and $S(r)=D(r{)}^{-1}=(/r+m)/(r^2-m^2)$. Contracting an internal photon with its momentum gives $S(R)/qS(r)=S(R)-S(r)$ when $q=r-R$. Contracting an end photon removes its adjacent Dirac propagator by the external Dirac equation, with a minus sign at the electron end and a plus sign at the positron end. For either fixed order of the two uncontracted photons, the three insertion positions therefore telescope to zero. Summing their two orders proves the Ward identity. The mass terms in both remaining Dirac propagators are essential when $m\ne 0$. The result expresses the invariance of the scattering amplitude under ${ϵ}_{\ell }\mapsto {ϵ}_{\ell }+c{q}_{\ell }$.

The dimensionless ratio of a medium's permittivity to vacuum permittivity. The constant scalar value used in a Wannier-Mott exciton is an approximation to the relevant material response.

For $n\ge 2$, the Wang sequence and the mapping degree $(-1{)}^{n+1}$ of the antipodal map give $H_0=H_1=\mathbb{Z}$. If $n$ is odd, $H_n=H_{n+1}=\mathbb{Z}$; if $n$ is even, $H_n=\mathbb{Z}/2$ and $H_{n+1}=0$. All other groups vanish. At $n=1$ the mapping torus is a torus with $H_1={\mathbb{Z}}^2$. At $n=0$, the two-point swapping mapping torus is a circle. Every example is already a closed manifold; for $n\ge 1$ it is orientable exactly when $n$ is odd.

For inviscid planar incompressible flow, write velocity as $(-{\psi }_y,{\psi }_x)$ and vorticity as $\zeta ={\nabla }^2\psi$. Taking curl of the Euler equations for an inviscid fluid removes pressure and gives the displayed transport equation, with $J(\psi ,\zeta )={\psi }_x{\zeta }_y-{\psi }_y{\zeta }_x$. The Poisson equation then recovers the streamfunction at each instant. A velocity tangent to the plane cannot stretch its perpendicular vorticity vector.

In the limiting model of infinitely strong stable density stratification, small Froude number and fixed vertical scales suppress vertical displacement. Each horizontal level evolves by two-dimensional vortex dynamics; $z$ labels independent copies of the horizontal Poisson equation. The leading normalized Ertel potential vorticity is $Q/N^2=\zeta$. This is a constrained asymptotic model: finite buoyancy frequency restores vertical motion and coupling, and arbitrarily short vertical scales invalidate the independent-layer limit. McIntyre's discussion of potential-vorticity inversion explains the limiting independent-layer picture.

For a discrete group, its group von Neumann algebra is generated on ${\ell }^2(\Gamma )$ by left translations $\lambda (g){\delta }_h={\delta }_{gh}$. The vector ${\delta }_e$ is cyclic and separating, and its vector functional is tracial. Its modular conjugation acts by $J{\delta }_g={\delta }_{g^{-1}}$ with conjugated scalar coefficients. The commutant is the algebra generated by right translations $\rho (g){\delta }_h={\delta }_{h{g}^{-1}}$.

A Von Neumann algebra whose center consists exactly of scalar multiples of the identity. A group von Neumann algebra is a factor exactly when every nonidentity conjugacy class is infinite. A central operator has a square-summable coefficient vector constant on those classes; an infinite class must therefore have coefficient zero. Conversely, the sum of left translations over a finite nonidentity class is a nonscalar central operator.

Here a Hilbert space module means a Hilbert space with a unital star-representation of a Von Neumann algebra, rather than a Hilbert C-star module with an algebra-valued inner product. A closed invariant subspace is reducing because the algebra is closed under adjoints. Module equivalence means an intertwining unitary. The polar decomposition of a bounded operator converts an intertwiner into a unitary between its initial and final support subspaces.

In a $2k$-dimensional normed vector space in John position, two orthogonal $k$-dimensional subspaces admit $\Vert x{\Vert }_E\le |x|\le 32\mathrm{vr}(E{)}^2\Vert x{\Vert }_E$. To see this, take $\epsilon$-nets in two orthogonal half-dimensional unit spheres, each of size at most $(1+2/\epsilon {)}^k$, and rotate them uniformly together. The volume ratio bound makes the probability that any net point has norm below $2\epsilon$ at most $2[4\mathrm{vr}(E{)}^2({\epsilon }^2+2\epsilon ){]}^k$. With $\epsilon =(32\mathrm{vr}(E{)}^2{)}^{-1}$ this is less than $1$. Since $\Vert \cdot {\Vert }_E$ is $1$-Lipschitz for the Euclidean metric, the successful nets give the stated inequality everywhere on both spheres. A dimension-independent constant therefore requires a bound on the volume ratio; it does not hold for arbitrary normed vector spaces.

Voltmeter loading is the change in an electric potential difference caused by the electric current drawn by the measuring voltmeter.

For a loaded voltage divider in steady direct current, a voltmeter connected across the lower resistor places its finite input electrical resistance $R_m$ in parallel with the lower arm's electrical resistance $R_2$ and any intended electrical load of electrical resistance $R_L$. With positive, fixed electrical resistances, an upper resistor of electrical resistance $R_1$, and an ideal voltage source supplying electric potential difference $V_{\mathrm{in}}$, Kirchhoff's current law and Ohm's law giveHere $V_m$ is the connected circuit's electric potential difference across the voltmeter; omit $1/R_L$ if there is no intended electrical load. The parallel connection and need for large input electrical resistance are standard voltmeter operating principles.^[ref]

Voltmeter loading is a bias relative to the target electrical circuit with the voltmeter absent and any intended electrical load still present. Voltage divider loading error instead compares the attached-load output with the wholly unloaded output. An accurate readout of $V_m$, supported by measurement calibration, can still differ from either target: calibration accuracy concerns the indication of the connected electric potential difference, whereas voltmeter loading changes that electric potential difference itself.

For the Volterra integration operator $Af(x)={\int }_0^{x}f(t)dt$, its adjoint is $A^{\ast }g(x)={\int }_x^{1}g(t)dt$. With $a_n=(n-\frac{1}{2})\pi$, the input singular vectors are $\sqrt{2}\cos (a_{n}x)$ and the output singular vectors $\sqrt{2}\sin (a_{n}x)$, with singular values $1/a_n$. The associated Sturm-Liouville problem has Neumann condition at zero and Dirichlet condition at one for the cosine basis; the sine basis has the reversed conditions. These complete orthonormal bases give a singular value system for an injective compact operator with dense range.

The Volterra integration operator $J$ has spectrum $\{0\}$ and is injective. Hence $(\lambda I-i{J}^{-1}{)}^{-1}=J(\lambda J-iI{)}^{-1}$ exists and is bounded for every complex $\lambda$. Empty spectrum is possible for closed unbounded operators, unlike bounded operators on a nonzero complex Banach space.

// Target: analysis.bigb

If bounded intervals have void probabilities $e^{-\lambda (I)}$ for Lebesgue measure $\lambda$, a fixed deterministic point $x$ has zero chance of being an atom. Surround it by intervals of lengths tending to zero and use $\mathbb{P}(M(\{x\})>0)\le 1-e^{-\lambda (I)}$. This holds for each fixed endpoint, not simultaneously for all real points of a nonempty point process.

For $\nu ={\nu }_0(\Sigma /{\Sigma }_0{)}^{1/2}(R/R_0{)}^{9/4}$, the variables $x=\sqrt{R/R_0}$, $S=(\Sigma /{\Sigma }_0)x^3$ and $\tau =3{\nu }_{0}t/(4R_0^2)$ reduce the source-free Keplerian viscous diffusion equation to $S_{\tau }=(x{S}^{3/2}{)}_{xx}$. The displayed self-similar solution has an outer edge $R_e=36R_0\tau$ and a surface-density cusp proportional to $R^{-3/2}$ at the origin. The positive-part cutoff is essential: beyond the edge, $S^{3/2}$ is the cube of the absolute value, so continuing the squared polynomial without truncation does not solve the same equation.

The disk mass is $8\pi {\Sigma }_0{R}_0^2{\tau }^{-1/2}$ and its angular momentum is $12\pi {\Sigma }_0{R}_0^2\sqrt{GM{R}_0}$, independent of time. It therefore describes accretion with outward spreading and conserved disk angular momentum, under the formal zero-torque condition at the origin. The inward mass flux changes sign at $R=9R_0\tau /4$, so the outer portion moves outward while the inner portion accretes.