In an orthonormal computational basis, the squared norm is the sum of the squared moduli of the coefficients:
Thus the vector is normalized and represents a pure state of a qubit. The imaginary part contributes positively to the squared modulus; squaring the coefficient without complex conjugation would give the wrong norm.
Use time dependence and assume the dopants supply mobile electrons per unit volume. The Drude model equation is
The free-carrier electric polarization is , so, after adding the bound-electron background,
Therefore
The symbol here is the background-screened plasma frequency; the unscreened carrier frequency is . For positive , the imaginary part of is positive in this time convention, consistent with absorption. Incomplete dopant ionization would replace the nominal doping density by the actual mobile carrier density.
The line vortex is mapped to
Its imaginary part is positive because lies in the fluid region. A conformal map preserves the circulation of the local line vortex, so its strength in the mapped complex plane is still .
Again proves Lebesgue integrability. Taking the imaginary part of the absolutely convergent complex integral in part i gives
Take the imaginary part of the eighth-power binomial expansion in De Moivre's theorem. With and ,
Substitute and collect powers:
Therefore the requested leading coefficient is
The other coefficients, if retained as an algebraic check, are . No division by or is needed, so the identity remains valid when either vanishes.
Set . The required sine sum is the imaginary part of a finite geometric series:
The denominator is . The numerator's imaginary part is
Dividing and multiplying numerator and denominator by proves
For real , , so there is no exceptional angle requiring a limiting interpretation. At the expression reduces to .
Rationalizing the denominator gives
Hence its real part, imaginary part, complex modulus, and principal argument are respectively
The quadrant matters: the real part is positive and the imaginary part negative. For the exponential expression, Euler's formula gives , so the same four quantities are
General complex arguments are obtained from each stated principal argument by adding , .
Take the imaginary part of De Moivre's theorem at exponent five. Writing and gives
For real , put . The equation becomes , so . The distinct sine values are , , and . To establish completeness over the complex numbers as well, factor the polynomial:
Thus all polynomial roots, including their multiplicities, are
The repeated sine values account for the double roots; there are no additional nonreal roots hidden by the trigonometric parametrization.
Squaring first is simpler than expanding the tenth powers. Since and , while , the requested Cartesian forms are
Thus the real part is zero in each case, and the imaginary parts are and . The results are complex conjugates, as also follows because the two inputs are complex conjugates and the fifth-power polynomial has real coefficients.
Put . The expression whose complex argument is constrained becomes
Its principal argument is exactly when its real part is zero and its imaginary part is strictly positive. Hence
The locus consists of the upper-right half of the upper hyperbola branch, with , and the lower-left half of the lower branch, with . The vertices are excluded because there and zero has no complex argument. The remaining halves have negative imaginary part and give argument , not . The right panel of the original illustration marks the excluded vertices with open circles.
Write with real . The complex hyperbolic sine is . Its zero real part requires . If , the magnitude of the imaginary part would be , which cannot equal . Therefore and . All solutions are
On the Argand diagram these are two interlaced arithmetic sequences on the imaginary axis; both repeat with imaginary period .
Figure 1.
All roots lie on the imaginary axis in two families repeating every
. Details.
Using the complex forcing method for a real differential equation, , a suitable complex forcing is . Solve and take its imaginary part. Writing reduces the equation to
A linear polynomial gives and . Thus
For a direct check, , while . Their sum is the required forcing. Adding gives the full real solution if needed.
By De Moivre's theorem, . Expanding the cube and equating its real part gives
The last form uses ; comparing the imaginary parts similarly gives the corresponding sine identity.
For a genuinely second-order linear ordinary differential equation, assume . Substituting the exponential function into the homogeneous linear differential equation gives . Oscillations arise precisely when its two roots of a polynomial have nonzero imaginary parts, namely
In that case, writing , the real complementary function is
Every nonzero such solution has an oscillatory factor; the oscillation may decay, grow, or keep constant amplitude according to the sign of . This is the oscillatory-root criterion for a real second-order equation; decay is not a prerequisite for oscillation.
For completeness, if and , only real exponential functions occur. If and , only is allowed. If all three coefficients vanish, every twice-differentiable function is allowed, including oscillatory ones; the second-order criterion does not apply to this degenerate identity.
The degree-five row of the wavevector selection rule for equivariant monomials in part (a) has two vectors other than . They correspond exactly to
The vector gives only regular fifth-order terms . Omitting those as required, and applying the same two square-symmetry generators, the truncated normal form of a dynamical system is
Here are real because rotation by acts by complex conjugation. These are equations for steady patterns, so all four complex right-hand sides must vanish; constancy of the two invariant angles alone would only establish a relative equilibrium and could allow translation drift.
Take a nonzero equal-magnitude state, , and set , , . Dividing each equation by its nonzero amplitude gives, in order,
Taking imaginary parts, adding and subtracting pairs, yields
Thus, unless , each invariant phase is zero or modulo . Equality of the real parts further gives
This identifies the equal-amplitude states of an eight-mode square pattern completely. For generic , the two nonzero phase types, with their amplitude equations, are
Representatives are respectively and . Spatial translations change individual phases but leave the indicated phase pair fixed. Reflection acts on the invariant angles as , and interchange of as . Thus the two rows are not equivalent under square symmetry and translations. Every positive root of the corresponding polynomial gives an amplitude branch of that type; if there is no positive root, that type is absent at those parameter values.
There are two coefficient degeneracies to include. When , the mixed pairs and are allowed and are equivalent under square symmetry. They form one additional phase type, with amplitude equation ; is a representative. When , all invariant phases are unrestricted, and the same cubic amplitude equation gives a continuous family modulo translations and the finite square-group action. Even if but , only the original two phase types remain: the equality of their amplitude equations does not remove the phase constraints. Finally, the all-zero state is always a separate steady state and has no defined polar phases.
The spatial reflection acts on the two complex amplitudes as , because the first spatial eigenfunction is even and the second is odd. The first equation must therefore be even in , and the second odd. For a nonresonant double Hopf bifurcation, the temporal phases give independent actions , in the cubic normal form of a dynamical system. A cubic monomial in the first equation must have net phase weight one and net phase weight zero. Only satisfy this; the second equation similarly has . Parametrizing the independent cross-saturation coefficients gives
All coefficients can be complex: their real parts determine amplitude growth and their imaginary parts frequency shifts. These are cubic truncations of a family of reduced vector fields on the four-real-dimensional extended centre manifold, with the two unfolding parameters entering .
The nonresonance assumption must be made explicit. Merely having does not imply this form: for , the quadratic terms in and in satisfy both temporal resonance and spatial parity. Thus the initial form is the generic nonresonant double-Hopf form, rather than a statement for every possible unequal frequency pair.
At the one-to-one reflection-symmetric one-to-one Hopf resonance, only the common temporal phase action remains. Cubic terms must then have total phase weight one. Spatial reflection retains, in the first equation, the three terms ; the second retains . Common phase covariance excludes all quadratic terms. The additional resonant terms are consequently and , with independent complex coefficients. This is the reflection-symmetric one-to-one Hopf resonance.
In the specified equal-coefficient specialization, put . A nonzero pure- periodic branch exists for and has
Its radial eigenvalue is , and its phase is neutral. For a transverse perturbation the linear equation is
Its time dependence can be removed exactly by . Using and gives
Writing , , yields the constant real stability matrix
Let . The transverse characteristic polynomial is
Both transverse eigenvalues have negative real part exactly when
These hold at because . Thus a sufficiently small pure branch is transversely stable; it is stable modulo its neutral temporal phase until one of the two inequalities fails. The secondary steady and Hopf thresholds of a resonant pure mode are derived in the two parts below. They refer to accessible points on the pure branch; in a multi-parameter problem may also vary, so a proposed parameter path must actually cross the corresponding surface.