Put
and take the branch cut . On , choose the analytic branch of a square root whose upper boundary value is
Its lower boundary value is . This fixes the integrand to be at as required.
For , start at and use any path to lying above the cut; path deformations within that region do not alter the integral by the Cauchy integral theorem. For , start in the same way, continue counterclockwise around the branch point from the upper bank to the lower bank, and then continue to through the lower half-plane. This second prescription is the continuation obtained as increases through .
Again put . Then
The linearized equation is therefore
whose sole characteristic exponent is and is independent of . By delay-independent stability from an undelayed linearization,
Put . Retaining terms linear in gives
The exponential ansatz gives the characteristic equation of a delay differential equation
At its root is , and the remaining delay roots lie far in the left half-plane, so the equilibrium is stable for sufficiently small .
A stability change can first occur when . Separating real and imaginary parts gives
For the first positive crossing, and . Thus
All positive-frequency crossings have , so there is no earlier imaginary-axis crossing. Implicit differentiation of
gives, with ,
so the conjugate pair crosses into the right half-plane as increases. Therefore the stability threshold for delayed quadratic crowding is
Let be the undecidable set denoted in the question. The language satisfies the pumping lemma for regular languages with pumping length one. For any nonempty , write with , its first symbol, and the remaining suffix.
If , then for every . Otherwise for some . If the chosen first symbol lies in , pumping it preserves the same final suffix . If , then : pumping down gives , while every positive pump gives and all but its last can be absorbed into . Thus every sufficiently long word has a valid pumping decomposition.
Nevertheless, if were regular language, closure under intersection would make
regular. A finite automaton deciding this unary language would decide whether by running it on , contradicting the halting problem. Therefore
This is a nonregular language satisfying the pumping lemma.
No. The procedure exposes a square-root oracle for the Rabin cryptosystem. The verifier chooses , sends , and receives another square root . If
then the factorization from distinct square roots modulo a semiprime gives
For a product of two odd primes, a square normally has four roots, and a returned root lies outside the pair with probability about . Repeating chosen-square challenges therefore factors with overwhelming probability. The attacker can then compute square roots and impersonate Alice. This is the chosen-square attack on Rabin authentication, so the proposed protocol is insecure.
In Diffie-Hellman key exchange, Alice and Bob publicly agree on a cyclic group in which the discrete logarithm problem is believed hard. Alice chooses a secret and sends ; Bob chooses a secret and sends . They independently compute
Thus
is their shared key. A passive eavesdropper sees but is believed unable to compute efficiently; this is the computational Diffie--Hellman assumption. The basic protocol does not authenticate the participants and is therefore vulnerable to a man-in-the-middle attack unless the exchanged values are authenticated.
Insert the Fourier series
into the rectangle rule. The finite geometric sum obeys
Consequently the quadrature value is
whereas
Thus the exact Periodic N-point rectangle-rule error is
By the Fourier coefficient decay of an analytic periodic function, there are constants and such that
It follows that
Therefore
which is exponential, and hence spectral, convergence.
Expand the unknown in Fourier modes:
By Termwise differentiation of a Fourier series,
Also,
Therefore the coefficient of on the left-hand side is
The right-hand side has coefficients
because the coefficient of each of is and the constant coefficient is one. Hence the Fourier spectral system for a cosine-modulated second derivative is
Its coefficient array is an infinite tridiagonal matrix.
For a spectral truncation, retain the modes , set
and impose the displayed coefficient equation for every . This gives an explicit -dimensional tridiagonal system. The resulting finite Fourier series automatically satisfies the periodic boundary conditions.
The obstacle and wave pattern are stationary, so . With
the dispersion relation becomes
Hence , so , and
Differentiating the dispersion relation with respect to the wavevector gives
where the zero-frequency relation
was used. Its first component is always negative, so the ray angle lies in
Moreover,
Put . The magnitude of the slope relative to the negative -axis is
Its derivative is
so its global maximum occurs at and equals
Therefore all group-velocity rays lie in the stationary square-root-dispersion wake
a wedge of semi-angle extending in the negative -direction.
In a homogeneous, time-independent medium, and . Therefore and are constant along each ray. The group velocity is consequently constant, and
so every ray is a straight line.
For , let denote distance along a ray from the origin and let
The phase equation gives
Both vectors on the right are constant along the ray, so
The final formula in the question denotes the physical phase simply by , giving its stated expression.
The physical rapid phase is
Define the local wavevector, angular frequency, and group velocity by
The equality of mixed partial derivatives gives the phase-compatibility equations
A ray is defined to move with the local group velocity:
Differentiate the local dispersion relation
with respect to . Along a ray,
The last two terms cancel because is a gradient. Similarly,
Finally,
Thus the Hamiltonian ray-tracing equations are
Let the sphere have radius ; set for the unit sphere implicit in the question. Since
one finds
On , the no-slip boundary condition requires for every surface normal. The coefficient of
must vanish, while the coefficient of must equal one:
Solving,
For a unit sphere,
Substitution reproduces the standard translating sphere in Stokes flow.
Let be the Stokes flow and let be any other admissible incompressible flow with the same no-slip boundary condition on the sphere and the same decay at infinity. Put
Then and on the sphere. The viscous dissipation satisfies
For the Stokes stress
incompressibility of gives
The divergence theorem, the homogeneous boundary data, decay at infinity, and give
Therefore
This proves the Minimum-dissipation theorem for Stokes flow.
For the constant density ,
The definition of then gives
Substitution in the Tolman–Oppenheimer–Volkoff equation yields
The minus sign follows both from the stated TOV equation and from the outward decrease of pressure; a version of the requested intermediate formula without that sign is a typographical error.
Set
Separating variables gives
Since
integration and the surface condition give
Writing
one obtains the pressure of the Interior Schwarzschild metric:
In particular, the central pressure of a constant-density relativistic star is
It diverges when
or equivalently
This is the limiting equality case of Buchdahl's theorem.
Use the geodesic Lagrangian
where here the overdot on a coordinate means differentiation with respect to the affine parameter. Applying the Euler-Lagrange equation to each coordinate and comparing with the geodesic equation
determines the Christoffel symbols. To display derivatives of the metric coefficients unambiguously, write , , and similarly for . The nonzero symbols, together with those obtained by symmetry in the two lower indices, are
This is the Christoffel symbols of a diagonal spherical spacetime metric.

There are unlisted articles, also show them or only show them.