The complex conjugate is . From the complex sine and cosine identities,
Divide these expressions and multiply by the complex conjugate of the denominator. Its squared modulus is . The numerator simplifies using and the double-angle formulas. Thus
These expressions apply except at the poles , with integer , where the original tangent function is undefined.
Write . Its coordinates are , , so . For the given positive range of , this traces a segment of the first-quadrant hyperbola, moving rightward and downward:
The complex conjugate is . It is the reflection in the real axis, tracing in the fourth quadrant, rightward and upward:
Neither trajectory crosses either axis, because and remain nonzero. The left panel of the figure marks the endpoints and directions.
Figure 1.
Trajectories under complex conjugation, squaring and fourth powers, with endpoints and axis crossings
. Details.
Write and use the complex conjugate . Then
Thus the real part is stretched by a factor of two while the imaginary part is unchanged. If , substitution into the circle equation gives
This is an ellipse with centre , horizontal semiaxis and vertical semiaxis . It is the second panel in the figure in part (b).
With and , direct multiplication gives . Taking the complex conjugate yields
A counterclockwise rotation through about the origin in the complex plane sends to . By part (a), and because the complex conjugate of is ,
Thus is invariant under the common rotation.
Using the complex conjugate, . The locus is therefore the straight line
In the complex plane, the quantity is the signed scalar projection of in the direction . Thus the straight line is perpendicular to and passes through . This description uses no separation of into real coordinates.
The characteristic equation of the reduced homogeneous linear differential equation is . Its polynomial roots change type with the sign of , giving
For , the zero polynomial root is repeated, so the second independent solution is . For , the polynomial roots are the complex conjugate pair , and the displayed sine and cosine give a real basis of solutions. The constants are arbitrary real numbers. In every case reconstructs the corresponding general solution of the coupled system.
For any Hermitian matrix , the scalar is real because its complex conjugate equals . Applying this to in part (a) gives
These are the real and imaginary quadratic forms associated with the numerical range of .
For sufficiently rapidly decaying functions, substitute the inverse Fourier transform of and interchange the integrals:
The bracketed integral is the complex conjugate of . This is Parseval's identity for the chosen normalization. One may first prove it for Schwartz functions, where the interchanges are justified, and then extend it to by the Plancherel theorem.
A Hermitian matrix satisfies , where denotes the conjugate transpose. For a nonzero eigenvector with , the scalar equals its own complex conjugate, and
Thus every Hermitian eigenvalue is real.
A unitary matrix satisfies . If , preservation of the squared norm gives
Since , . These statements concern complex eigenvectors, even when the matrix entries happen to be real.
The chain rule gives
To make the directions explicit, set and . Multiplying by the complex conjugate of the denominator gives the logarithmic flow in a sine-mapped half-strip:
In the open strip . The vertical component is negative near the lower left wall where , and positive above that curve. On the bottom the flow is rightward. On the right wall it is upward, whereas on the left wall it points downward below and upward above . The field is tangent to the boundaries except at the source and vanishes at the two bottom corners. At large , , so it tends to a uniform upward field .
Near , , showing a radial boundary source. The streamlines are the curves ; the figure shows their orientation without reusing the exam's graphics.
Figure 1.
Radial flow in the upper half-plane and its image in a vertical half-strip
. Details.
Split the inverse transform into the intervals and , and in each case pair the positive-frequency integral with its complex conjugate at negative frequency. The low-frequency pair becomes
since and the decaying spatial factor is real. In the high-frequency positive half, replace by . The negative half is again its conjugate. Combining the two pieces gives
Every integrand satisfies the massive wave equation because . Linearity, and taking the real part, preserve the equation whenever differentiation under the integrals is justified, or distributionally under the corresponding spectral assumptions. The construction is exactly the real bounded Fourier modes of the Klein-Gordon equation decomposition.
The displayed expression uses ordinary spectral amplitudes. If distributions supported at are admitted, a further bounded threshold contribution , independent of , is possible. It is not a missing propagating or evanescent branch of the open frequency intervals.
First take a Schwartz function, so that Fourier inversion and the exchange of integrals are justified. Inserting the inverse transform of the complex conjugate gives
For , approximate it by Schwartz functions in both norms. The identity just proved makes their transforms a Cauchy sequence in L2 space, while convergence in L1 space makes the transforms converge uniformly to the defining transform of . Thus the two transform limits agree, and passing to the norms proves the finite Parseval identity. This is the normalization of the Plancherel theorem appropriate to the paper.
There is a qualification to the printed hypothesis: absolute integrability alone does not guarantee a finite square integral. For instance on and zero elsewhere belongs to but not . For an function of this kind the transform is not in either, by L2 density from a square-integrable Fourier transform, so both sides are infinite if the identity is interpreted in that extended sense. The finite equality requires square integrability as well.
The direction is fixed, giving the eigenvalue one. The planar block has characteristic polynomial
Thus the full list of eigenvalues is
The last two are real precisely when , so all three are real exactly for . At even multiples of the matrix is the identity and every vector is fixed. At odd multiples it is a half-turn: the axial eigenvalue remains , while the whole perpendicular plane has eigenvalue .
For other angles, the only real eigenvector direction is the rotation axis; the perpendicular plane is rotated rather than preserving an individual real direction. Its complex eigenvectors can be taken as and for and , respectively. These represent the two complex conjugate planar eigenvalues.
Let be a Hermitian matrix and with . The scalar equals its own complex conjugate, because
Since and the squared norm is positive, .
Now take and . The inner product satisfies
Subtracting gives . Thus distinct eigenvalues imply , proving orthogonality of the corresponding eigenvectors. Within a degenerate eigenspace, an orthonormal basis may be chosen, but arbitrary distinct vectors in that same eigenspace need not be orthogonal.