Choose the square root with , so the branch cut is the negative imaginary axis. The change of variable maps this sheet onto and gives . Writing the exponential function as , its phase becomes exactly quadratic:
The saddle point is therefore , or . On the descending line , , the phase is . Its image is the parabola
The contour runs from left to right, corresponding to decreasing from to . A contour deformation in the right half of the -plane moves the original indented contour to this line. The connecting tails vanish in the descending sectors, and no branch point or pole is crossed. Since , the Gaussian integral and the odd function give
Here the method of steepest descent actually gives an exact answer for , because the quadratic phase and linear transformed amplitude have no further even correction.
Figure 1.
Integration contours near a saddle and a pole
. The original upper indentation, the saddle contour, and the negative imaginary branch cut. The indentation is exaggerated for visibility. Details.
For a fixed pole away from the saddle point, the smooth amplitude there is . The simple-saddle contribution in steepest descent is
The residue theorem supplies an additional contribution precisely when the contour deformation crosses . The region swept above the original contour has positive orientation: the original contour from left to right followed by the reversed saddle contour encloses it counterclockwise. Consequently the original integral equals the saddle integral plus the pole contribution:
For , an upper-half-plane pole outside the indentation has , while a lower-half-plane pole has . The entire upper unit half-disk lies below the saddle parabola, so there is no further case inside that half-disk. With a fixed indentation radius , a pole inside the upper semicircle, , is also below the original contour and has ; real points in the indentation gap are excluded as well. Taking for a fixed nonzero pole gives the usual upper/lower classification. The pole contribution need not always dominate exponentially; its size depends on , so keeping both terms makes that dependence explicit.
A pole on the original contour requires a stated Cauchy principal value or an indentation prescription. A pole parameter on the negative imaginary branch cut still defines the integral: the contour stays on its fixed sheet, and only the denominator uses . Such a pole is not crossed, so only is needed and no value of must be chosen. The residue exponential above is evaluated only when . At the original indentation excludes the singular point, so no additional residue is crossed. These conventions matter before taking any limiting pole position.
A Newtonian reflector uses a concave primary generated by a parabola, followed by a flat secondary inclined at to the optical axis. Parallel marginal rays converge toward the primary focus; the secondary intercepts that converging beam and folds it sideways to an accessible focal plane.
The Newtonian reflector needs only one powered mirror, so it is relatively simple to fabricate and inexpensive. A parabolic primary has no on-axis spherical aberration. Its principal wide-field limitation is coma, accompanied by field curvature and off-axis astigmatism. The diagonal and its supports obstruct the entrance pupil and introduce diffraction; the tube is long compared with a folded two-powered-mirror design, and heavy instruments at the side focus can be awkward to support. These comments also answer the unheaded design-comparison clause on the next PDF page.
Parabolic primary → flat diagonal → side focus.
The value is twice the signed area of the triangle traversed in that order; it is positive for counterclockwise orientation. Choose points on the parabola
For , subtracting the first row in the determinant and factoring gives
Each of the three factors is positive, proving the required property for every integer .
For , the inverse parabolic polar coordinates give and . For , they give and . Thus the requested curves are the upper halves of the parabolas
The first parabola has vertex and opens to the left; the second parabola has vertex and opens to the right. Both pass through and are reflections of one another across the -axis.
Figure 1.
Parabolic coordinate curves and the two regions used in Question 1
. Details.
Assume . The velocity in polar coordinates is . Hence
Taking the dot product of the conserved Laplace-Runge-Lenz vector with gives
Consequently the polar equation of a conic is
Only angles for which the denominator is positive describe the physical trajectory. Its eccentricity is , giving an ellipse, parabola, or hyperbola when this ratio is respectively less than, equal to, or greater than .
If , the angle is undefined, but the same dot product identity gives the circular orbit . If , the trajectory is radial and the displayed division degenerates; for , and on a fixed ray, so the identity does not determine as a function of a varying angle.
The quadric surface is the unit sphere centered at the origin. Each section , for , is a circle of radius .
The quadric surface is a circular elliptic paraboloid, opening in the positive direction with vertex at the origin. Its horizontal sections are circles of radius , and its vertical sections through the axis are parabolas.
For , is unrestricted. If , both nonnegative terms must vanish, so the locus is the axis, a straight line. If , it is the plane , represented by the repeated factor . If , factorization gives
so the locus is two distinct planes, , meeting along the axis. These are degenerate quadrics, not ordinary curved cylinders.
Figure 1.
The sphere, elliptic paraboloid, and three degenerate quadric cases in Question 2(a)
. Details.
Expand . The Lagrange multiplier equations for are and , together with the constraint . The first two imply and . The value would make the latter equation inconsistent, so division is allowed:
Insert these into and multiply by . Simplification gives , hence
The gradient of the constraint is never zero, so the Lagrange multiplier condition is necessary at every constrained extremum. To establish a global minimum, parametrize the whole parabola by . The restricted function becomes
It is coercive: as , so it attains a global minimum. Moreover , making it strictly convex and ensuring that this minimum is unique. This proves more than the permitted assumption of one real multiplier root.
The level sets of are nested ellipses centered at the origin. In the rotated coordinates , , they have equation , with the longer axis along . The smallest one meeting the parabola is tangent to it at the unique minimizing point, approximately , where and .
Figure 1.
The smallest quadratic contour touching a parabolic constraint
. Original level-set plot. The highlighted ellipse is tangent to the parabola at the unique global minimum; larger quadratic contours intersect the constraint. Details.
The double-angle identity eliminates the parameter: . As increases from zero to , decreases from one to minus one. The positive area below this parabola is therefore
Equivalently, the parameter integral is . The leading minus sign corrects for traversal from right to left; the signed integral along that traversal would be negative.
Set . The gradient of never vanishes, so the Lagrange multiplier equations apply at a constrained stationary point. They are , , and . Eliminating gives
With , this becomes . The quadratic factor is , so the only real possibility is . Therefore
The level curve through this point is the ellipse , meeting the coordinate axes at and . Its tangent line at has slope , equal to the derivative of the constraint parabola there. The two curves are tangent.
Figure 1.
The smallest elliptical contour meeting the constraint is tangent at the minimum
. The highlighted contour is and the constraint is . Its four axis intercepts and the unique contact point are marked. Details.
The parabola touches this ellipse from outside; every other point on the constraint lies on a larger contour. An exact check of this geometric argument is
with equality only at . Thus the point is the unique constrained global minimum.
The point on the parabola is . Implicit differentiation gives , so the tangent line has slope one there. Its perpendicular normal line to a plane curve therefore has slope . The required line is
If , the first formula in (a) gives and
Substitute this and into :
For finite physical times , the domain is , valid for either sign of . If , the trajectory is vertical, , and in general no single-valued graph describes it. As a consistency check, the logarithmic expansion at fixed cancels the apparent terms and gives as , the drag-free parabola.
The intersections satisfy , or , so the bounded region has . Over that interval the parabola is above the line, and their height difference is . Thus its area is
Using upper minus lower ensures a positive geometric area.
The derivative of the parabola is , giving tangent line slope at . A normal line to a plane curve has the negative reciprocal slope, since its direction is orthogonal to a tangent vector. Hence
The point satisfies the equation, and the product of the two slopes is .
The parabola opens upward, with its minimum at and zeros at . The quartic graph is symmetric about the vertical axis, has its flat maximum at , and also has zeros at .
Their intersections solve , so the only real intersections are and . Between them, is the upper curve and the lower curve.
Figure 1.
The parabola, the inverted quartic, and the finite region between their intersections
. Details.
At an intersection, , so . Substitution into either parabola gives
The resulting linear equation for has only one solution, so this is the unique intersection.
At , the point on the parabola is and the tangent line has slope . The normal line to a plane curve therefore has slope . Its equation is
Thus the requested results are
The absolute value is nonnegative, so a real point must satisfy , or . On that interval the two branches are
They form a closed lens symmetric about both coordinate axes, meeting at and reaching . The parabolas outside the stated interval do not belong to the original locus.
Figure 1.
The absolute-value locus and its intersections with the horizontal line y = 1/2
. Details.
From , we have . Substitution into the original relation gives , so
These are real parabola branches, with either sign of allowed when the branch is real. For , differentiating gives and verifies both the relation and the slope. Use graph intervals with and , so the slope is finite and . The separate constant-slope case gives , also represented by the degenerate choice . Squaring has not imposed a sign on , so both real graph branches must be included.
For , the local minimum at the origin has . Its full level set is
The connected component containing the minimum is just the isolated origin. The same level also has the outer branches for ; these are different connected components, not curves approaching the origin.
Both saddle points have . Their common level set factors as
Its explicit equations are therefore
The two parabolas cross at each saddle, explaining the change of contour connectivity there. Each displayed equation can be restricted to the square of part (ii) if only that sketch window is wanted.