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.
By Newton's second law, the central force obeys
Differentiating the cross product gives
since the acceleration is parallel to . Hence is constant. Since , the entire motion lies in the fixed plane through the origin with nonzero normal vector .
Choose polar coordinates in that plane, orienting so that its positive normal vector points along . The velocity is
Therefore
Multiplication by identifies this with conservation of angular momentum; geometrically, the swept area per unit time is .
Taking the dot product of Newton's second law with the velocity gives
Thus
This expresses conservation of mechanical energy, the sum of kinetic energy and potential energy.
Finally, for and a prime denoting a derivative with respect to , the chain rule gives
Substitution into the conserved energy yields
The annulus is in polar coordinates. Their Jacobian determinant supplies , so
Start with the solid between the elliptic paraboloid and the upper plane . Its projection is the disk
since their vertical separation is . The second lower bound, , removes the part between the elliptic paraboloid and this lower plane wherever
Call this second disk . Its centre is distance from the centre of , and
because . Thus lies wholly inside . In particular the lower plane never exceeds the upper plane on , so the subtraction describes exactly the requested solid.
Figure 1.
Nested projections of the upper and lower planar faces in Question 3(c)
. The blue disk has centre and radius ; the orange disk has centre and radius . Over the lower plane replaces the elliptic paraboloid as the bottom of the solid. Details.
The nested-disk subtraction for paraboloid volumes therefore gives a difference of two double integrals:
Translate polar coordinates to the centre of each disk. A general integral of this form is
Using and gives
Use source polar coordinates , on the semicircular disk, with and . Its surface area element is , and the separation from is . Thus
This Newtonian gravitational potential is half that of the full disk because the separation is independent of the polar angle. At large it approaches , with the correct total mass.
The cardioid has reflection symmetry about the axis because . It passes through at , through at , and has a cusp at the origin when . These points and the following sketch show its orientation.
Figure 1.
The cardioid and unit circle, with the three regions between them shaded
. Details.
Using the polar coordinates formula for arc length,
The absolute value changes sign at , so
Write . In polar coordinates, Newton's second law per unit mass gives the radial and transverse equations of motion
The transverse equation implies
This is conservation of angular momentum per unit mass. For the nonradial trajectory in the next part, choose orientation so . With and primes denoting derivatives with respect to , the chain rule gives
Substituting into the radial equation yields , hence
The change of independent variable requires ; a purely radial trajectory instead has constant .
Choose the first orthonormal basis vector to be . If is not parallel to , choose along ; otherwise choose any unit vector orthogonal to . Complete to an orthonormal basis with . The matrix with rows is an orthogonal matrix, and expressing the three unit vectors in this basis gives
The last two components of have polar coordinates of the displayed form; we may choose . If they vanish, is arbitrary.
An orthogonal transformation preserves dot products. Taking dot products with , and then using the unit Euclidean norms, gives
The remaining dot product gives
An orthogonal matrix has determinant , so it preserves the absolute scalar triple product. In the new coordinates this scalar triple product is . Consequently
Taking the nonnegative square root proves
No division by or was used, so the proof includes parallel vectors. Equivalently, the expression under the square root is the Gram determinant of the three unit vectors.
Use the polar radius as the parameter of the Archimedean spiral. Its angle in polar coordinates is . The radial and angular contributions to its arc length are orthogonal, so
There is no need to evaluate this integral. The simple bounds imply
The squeeze theorem therefore gives the scaled length of an Archimedean spiral:
Geometrically, the radial contribution becomes negligible after multiplying the arc length by ; the remaining contribution is the area under the function graph on .
The triangle is . In polar coordinates this becomes
because the outer side is . The vector field and the Jacobian determinant give
Evaluate the double integral component by component:
Consequently,
The origin causes no ambiguity in this double integral: the continuous extension from part (a) is bounded there, and changing a value at a single point does not change the integral.
Write . Differentiating the angular momentum and applying Newton's second law gives
The central force contributes no torque, because it is parallel to . The angular momentum direction is fixed whenever it is nonzero; the motion is consequently planar. In the plane's polar coordinates, , so
For the mechanical energy, use the chain rule, Newton's second law, and :
Thus
For a trajectory on a time interval, both and are each a constant of motion precisely when or the velocity vanishes throughout that interval. Under the stated strictly attractive central force at a regular point , a permanently stationary trajectory is impossible by Newton's second law. For the stated attractive motion, both are conserved if and only if . An isolated instant of zero speed only makes the derivatives vanish at that instant. A radial trajectory has even with quadratic drag, but its mechanical energy still decreases whenever it moves.
With , a gives constant , and the polar coordinates basis satisfies , . Also . Differentiating the proposed Laplace-Runge-Lenz vector therefore gives
For this to vanish for arbitrary , including nonzero , the central force must satisfy
Attraction requires . The condition “for any value of ” matters: with alone, the Laplace-Runge-Lenz vector is constant on each radial ray for any central force, so that special case would not determine the force law.