With , , , substitute into the matrix equations. The equations reduce to and , with the latter repeated. Taking gives the complete null space
The two independent rows impose two constraints on three unknowns, leaving exactly one free parameter. This also includes the zero solution at .
Collecting the coefficients gives the coefficient matrix
A square homogeneous linear system has a nonzero solution precisely when its matrix is a singular matrix. Expanding the determinant down the first column,
Hence the necessary and sufficient condition is or or . A zero determinant gives a nontrivial kernel of a linear map; otherwise multiplication by the matrix inverse would force the zero solution.
Multiply the two displayed equations by and subtract the one with indices reversed. The product terms combine into the Lagrange identity for a Sturm-Liouville operator:
Integrating from zero to infinity gives
All factors are polynomials. The endpoint term at zero vanishes because of the factor , and the one at infinity vanishes because the exponential function dominates every polynomial. Therefore, if ,
The integral is absolutely convergent. This is orthogonality in the weighted inner product with weight ; the boundary cancellation is the self-adjoint mechanism behind the Laguerre differential operator on polynomials.
Differentiating gives . Applying the Leibniz rule times to this identity gives
Only two terms survive on each side because the multiplying factors are linear. Rearranging yields . Since , the next two derivatives are and . Substituting and cancelling gives
This is deriving the Laguerre equation from Rodrigues' formula, exhibiting as an eigenfunction of the Laguerre differential operator on polynomials.
Apply the Leibniz rule to the th derivative in Rodrigues' formula. If derivatives fall on and on , the corresponding term is . Cancelling the prefactor gives
The leading coefficient is nonzero, so this is a polynomial of degree exactly . In particular, the requested coefficients in are
These are the ordinary Laguerre polynomials, with normalization .
Simplify the real component to . Thus is the unit circle with excluded from the mapping's domain. Its upper semicircle has and its lower semicircle has ; the point maps to . Inside the disk, , so the principal arctangent is unambiguous. Setting gives
The Laplace equation follows from (b). Approaching an open upper boundary arc makes the ratio tend to , giving ; the lower arc gives . This solution is in terms of the harmonic measure of a semicircle in a disk .
The boundary data jump at , so no path-independent continuous boundary value can be imposed at those two junctions. The displayed bounded harmonic function is the solution with the specified limits on the open arcs; those endpoint discontinuities are part of the idealized capacitor geometry.
Figure 1.
Harmonic ray contours in the right half-plane and the potential in a disk with opposite semicircle boundary values
. Details.
Let . Direct partial differentiation, away from , gives
These are the Cauchy-Riemann equations. Equivalently, with , the analytic mapping is , the inverse Cayley transform between the half-plane and disk.
The supplied harmonicity result can also be checked by the multivariable chain rule. The Cauchy-Riemann equations imply , , and . Hence
This is conformal invariance of harmonicity for the given mapping.
Put . In the right half-plane,
The last two cancel, so . The possible singular point lies outside the open domain .
For , a level curve of value has . These are rays from the origin, restricted to the right half-plane. For positive , the values increase with angle from on the lower boundary to on the upper boundary. If , the function is identically zero. The left panel of the figure in (c) shows these ray-shaped level curves.
The projection onto the - plane is the disk . In polar coordinates, the height is and the polar area element is . The volume is therefore
The radial factor here is required because this integral is being constructed from the geometric volume, unlike the already specified integral in (a).
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 integrand separates into a radial and an angular factor, so
The differential printed in the PDF is already . No further polar Jacobian is to be inserted into this given iterated integral.
The lazy choice weights are and , in ratio three to one. Normalizing gives . Let denote selection of the first question and let . Its conditional expected value, divided by , is
so . If the overall lazy fraction is , the law of total probability gives . Bayes' theorem then gives
Solving yields . The observed mean is conditioned on the chosen question, so it cannot be equated directly to the unconditional mean over all students.
Temporarily label the individual pieces. A random placement is a uniform injection of thirty-two distinct pieces into sixty-four squares, giving equally likely outcomes. For a colour-matching placement, the black pieces have available injections, and independently the white pieces have the same number within their disjoint set of squares. Therefore
Here . Treating same-colour pieces as indistinguishable gives the same probability, because the common within-colour labeling factors cancel. The two colour choices in the favourable count occupy disjoint square sets; no independence assumption about unrestricted placements is required.
For small , the binomial series gives the uniform expansion . Since , integration yields
Also , so the familiar symmetric approximation is equivalent to this order. This is the first correction in the ellipse perimeter expansion near a circle; the two approximate formulas need not agree at order .
Differentiating the parametrization gives and . Thus the arc length element is
All four quadrants give the same contribution. Consequently the ellipse perimeter is
The final factor is the complete elliptic integral of the second kind, evaluated at the eccentricity of a conic .
Use the integration by substitution , with . On this interval , so it cancels the positive denominator square root. The transformed integral is
Its integrand is even. Therefore the answer in the PDF's modulus-amplitude convention for the elliptic integral of the second kind is
The modulus is , not the squared parameter .
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.
First solve for the velocity components. The integrating factor gives
Integrating once more and imposing the initial position gives
These formulas describe projectile motion with linear drag. Differentiation checks both second-order differential equations and both initial velocities. At large positive time, the horizontal velocity tends to zero and the vertical velocity tends to the terminal value .

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