Here is planar Lebesgue measure. For a Borel set , polar coordinates give
The pushforward is therefore locally finite and atomless. By the mapping theorem for Poisson point processes, is a homogeneous Poisson process on with constant intensity . This is the two-dimensional radial volume transform of a homogeneous Poisson point process.
Put . The variable is the th arrival time of that rate- Poisson process, hence has the gamma distribution with shape and rate :
Since and , the change-of-variables formula for a probability density gives the Kth-nearest-neighbour distance in a homogeneous Poisson point process
In polar coordinates,
With the change of radial coordinate , the detection functional becomes
It is therefore times ordinary path length in the -plane. The shortest path is the line segment from to , so
Returning to gives the logarithmic spiral
Its minimum detection probability is
The functional depends only on the geometric path and not its parametrization, so tiptoeing and running give the same probability.
For the improved sensor, omit the irrelevant positive factor and use the Lagrangian
The coordinate is cyclic, so its conjugate momentum is conserved. Equivalently,
is constant. Because has no explicit time dependence, the associated conservation of energy gives the constant
Multiplying by and using gives the required equation
Uniform area density in the unit disk is . The polar coordinates Jacobian gives the joint density
Thus the coordinates are independent and the uniform random point in a disk has
For independent points , the area of triangle is
Now
Independence therefore gives
Conditioned on , the probability that lies inside is its area divided by the disk area . Hence
Four points in general position fail to form a convex quadrilateral exactly when one lies inside the triangle formed by the other three. Each of lies inside the triangle formed by and the other two with probability , and these three events are disjoint. The remaining possibility is that lies inside . By origin in a triangle of three radial random points, this has probability . Therefore
Let
Then
Using polar coordinates on the first quadrant,
Since , the Gaussian integral is
In polar coordinates, the circle is , the line is , and is . The inequalities select
The surface height is
Thus the required volume is
The method of images replaces the earthed plane by an image charge at . The two Coulomb potentials cancel at , so uniqueness for the Dirichlet problem makes the resulting field the physical field in . With and ,
and
The electric multipole expansion from part (a) gives, for ,
Thus the leading field is that of an electric dipole.
On the plane,
Taking the plane normal to be and using polar coordinates,
With the outward normal of the region , the sign is reversed. This is consistent with Gauss's law: all electric flux from the real charge terminates on the grounded conductor.
The electrostatic boundary condition gives the induced surface charge density
and its integral is
In the plane , the field lines leave the positive charge, meet the conductor normally, and are the right-half-plane portions of the field lines joining the real charge to its negative image.
In polar coordinates, set
away from the origin, assigning any value at the origin. This is unbounded as . It belongs to because
Moreover
and hence
Thus but , exhibiting the failure of first-order Sobolev embedding into Linfinity in two dimensions.
Take the punctured complex plane
and
In polar coordinates, , so
Thus is harmonic on .
If for a holomorphic function , the calculation from part (a) would give
The integral of a derivative around a closed curve is zero, whereas the residue theorem gives
This contradiction proves that no such exists. It is precisely the log modulus has no global harmonic conjugate on the punctured plane obstruction.
Since , the cone has the parametrization
Its coordinate derivatives satisfy
so its first fundamental form is
On a sufficiently narrow angular patch, define
and map the cone to the plane point with polar coordinates . The Euclidean metric pulls back as
The map is therefore a local isometry from a circular cone to the plane, proving that is locally isometric to the Euclidean plane.
Use the convention
The Riemann-Lebesgue lemma states that if , then is continuous and
Continuity follows from the dominated convergence theorem, since and the integrands are dominated by .
For the decay, first take . Choose a coordinate for which . Integration by parts gives
and hence
Since is dense in , choose with . The elementary Fourier bound gives
so the decay for implies the decay for .
The Parseval identity says that for , with their Fourier transforms defined by the Plancherel theorem,
In particular,
For the given radial function, as ,
while as ,
Using polar coordinates, local integrability of is therefore determined by
and integrability at infinity by
The assumptions and imply both and . The Riemann--Lebesgue lemma and the direct estimate give , while Parseval gives . Finally, for every ,
Thus
The classical canonical partition function uses one phase-space cell per state. In polar coordinates,
Equivalently, using ,
This is the particle in a finite two-dimensional harmonic trap partition function.
In the flat-spacetime limit , the orbit equation is the harmonic oscillator equation
Its general solution is . The conditions , hence , at and set . Choosing at closest approach fixes , so
This is a straight line at perpendicular distance from the origin in polar coordinates.
Plane polar coordinates Created 2026-09-24 Updated 2026-09-24
Plane polar coordinates describe a point by its radial distance and polar angle .
Semilatus rectum 2026-10-07
The distance from a focus to a conic section along a line perpendicular to its symmetry axis. In focus-centred polar coordinates, an ellipse may be written , where is its eccentricity of a conic.
The planar system , has polar coordinates , . Every nonzero orbit approaches the clockwise unit-circle limit cycle, of period . For ,
Interior orbits approach the origin backward in time, but exterior orbits have backward finite-time blow-up of an ordinary differential equation at . Thus forward convergence to a limit cycle does not imply existence for all negative times.