For the normalized second-order equation, is an ordinary point if both coefficient functions and are holomorphic near . If it is singular but and are holomorphic there, it is a regular singular point. Thus may have at most a simple pole and at most a double pole.
The distinction tells us which local series method is justified. At an ordinary point, two independent solutions are represented by ordinary Taylor series. At a regular singular point, the Frobenius method uses ; the indicial equation determines the exponents, and logarithmic terms may appear in a second solution. Singularities worse than these are irregular and need not have this Frobenius form.
A complex function is holomorphic at a point if it is complex differentiable throughout some open neighbourhood of that point. Writing and , a convenient sufficient and necessary criterion under continuously differentiable real components is the Cauchy-Riemann equations
They must hold throughout an open neighbourhood, rather than at an isolated point. Merely having partial derivatives that satisfy these equalities at one point is not enough without an appropriate differentiability hypothesis. For the composition , holomorphy of and on the relevant open sets suffices; the additional condition is needed when using a local inverse conformal map, not for holomorphy of the composition itself.
Use the full matrix in the original PDF; the transcription has dropped its middle column. For either matrix, the three-dimensional characteristic polynomial is . Both have zero trace and zero determinant, while and . Consequently
For , a useful check is
for every value of . Thus is a nonzero nilpotent matrix for all ; for example its second column never vanishes. By the preceding result, .
For , the three eigenvalues are distinct and real, so their eigenvectors are linearly independent. An explicit eigenbasis is
With , and . Hence .
A repeated root of the characteristic polynomial alone would not settle diagonalizability; for it is the nonzero nilpotence that completes the argument.
Taking determinants of gives , so is singular and has the eigenvalue zero. More strongly, if with , then , so every eigenvalue is zero.
If the nilpotent matrix were diagonalizable, write . Then , hence each diagonal entry of has zero th power and is zero. Thus and . Conversely the zero matrix is diagonal. Therefore
The conclusion is valid over and also over .
A square matrix is diagonalizable over a specified scalar field if an invertible matrix exists such that
Equivalently, the underlying vector space has a basis of eigenvectors of : those basis vectors are the columns of , and their eigenvalues are the diagonal entries of . Here the field is unless specified otherwise.
Let be the real orthogonal matrix. If for a nonzero complex eigenvector, then preservation of the complex Euclidean norm gives
so . Its characteristic polynomial has real coefficients, hence nonreal eigenvalues occur in conjugate pairs. Such a pair is , and the remaining real eigenvalue is or .
If all three eigenvalues are real, each is ; two have the same sign and can be paired as with or . Thus in every case the spectrum has the form
Their product shows that .
The inverse is assumed to exist. First,
By matrix commutation with an inverse, multiplying on both sides by gives
An equivalent calculation writes , so both products equal . No convergent infinite matrix series is needed.
At , the two continuous triangles overlap near zero. Their amplitudes add, giving a central plateau. Explicitly, write for the continuous part of :
There are also the two carrier Dirac delta lines . The last panel of the preceding figure shows this spectrum and the retained central portion. The prescribed strict cutoff removes the carriers and keeps
The values of the ordinary function at individual endpoints do not affect its inverse transform. To handle the carrier lines, one must additionally assign zero filter gain to those lines, as the carrier-rejecting prescription indicates. A discontinuous mask has no canonical product with a Dirac delta at its discontinuity; a different physical boundary gain would leave a corresponding multiple of .
The retained spectrum is real and even. Its inverse Fourier transform is
Integrating the linear factors yields
The removable value is , obtained either by expansion or by integrating . Because the carrier frequency is below the message bandwidth, this is Fourier filtering of overlapping amplitude-modulation sidebands; the usual picture of two isolated bands in single-sideband modulation does not apply without that qualification.
A direct way to avoid the singular transform of is to invert a triangular function. Evenness gives
At the limit is , so there is no singularity in the original signal. Thus
Alternatively, the hint uses the Hadamard finite-part reciprocal-power distribution, whose distributional Fourier transform is ; combining its three translates gives , the same triangle. Treating as an ordinary integrable function would be invalid.
The message spectrum has height at zero, vanishing at . For , the modulated continuous spectrum consists of disjoint triangles of height , centred at , each with half-width one. In addition there is a Dirac delta carrier line of weight at each centre. These lines have specified area, not a finite height; arrows mark them schematically.
Figure 1.
Triangular message spectrum, separated sidebands, and overlapping sidebands with the prescribed carrier-rejecting filter
. Details.
Use the Fourier transform convention
Since in distribution theory, the carrier has transform
The modulation property of the Fourier transform translates the message spectrum to the two carrier frequencies. Therefore
The first term represents the unmodulated carrier wave; the other terms are the amplitude modulation sidebands.
The left-hand value at the junction is
The right-hand value is
Thus the piecewise Green function solution is continuous, with
Its derivative is continuous as well: both one-sided values equal . Only the second derivative jumps, consistently with the step in the forcing and the absence of a Dirac delta source.
Away from , the homogeneous equation has solutions . A basis adapted to the two boundary conditions is at the origin and at infinity. Their Wronskian is . The Green function must be continuous at , while integration of across the source gives
These conditions give the Dirichlet half-line Green function for minus d2 plus 1:
where and . The second term is the image that enforces ; both terms decay as .
For the finite forcing interval, . When , split the integral at :
When , the entire source interval lies to the left, giving the Dirichlet half-line response to uniform interval forcing
This solution is unique: a homogeneous difference satisfying the origin condition is proportional to , which cannot decay at infinity unless its coefficient is zero.
With the specified ratios, the two factors in the modal amplitude become and . Hence a normal mode is unexcited precisely when one of these factors is zero:
That includes all multiples of five or fourteen, with multiples of seventy counted once. The mode is not a fixed-end string mode.
Assume the struck interval lies within the string, so . The initially stationary straight string has . Write its initial velocity as a Fourier sine series . Then
Thus . Immediately after the strike all the energy is kinetic energy:
The orthogonality integral assigns energy to mode . Since the ideal modes evolve independently, their total kinetic-plus-elastic energies remain constant. Therefore the modal energy of a localized velocity impulse on a string gives
The centre factor selects modes having significant motion at the impact location; the width factor accounts for cancellation across the finite hammer footprint. Parseval's identity ensures . The velocity discontinuities are understood in the mean-square sense and do not alter the energy integrals.

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