The two terms in the preceding formula are the real part and imaginary part. Their squared sum is the squared complex modulus:
Here follows directly from the exponential function definitions. The hyperbolic sine modulus identity therefore yields
Equality holds exactly when , that is, when is an integer multiple of . The lower bound is uniform in , which will control whole vertical sides of the contour rather than just their endpoints.
The equation requires . Write , with real . Comparing real parts and imaginary parts using part (b)(i) gives
If , the second equality would require , impossible because . Thus , forcing and
Now , so . The hyperbolic cosine is even and is a strictly increasing function on , hence . Conversely, substituting these values gives , so every value found does satisfy the original equation. Therefore the complete set is
Use the upper half-disc of radius , with a clockwise semicircular indentation of radius above zero. The integrand is holomorphic inside that indented contour, so its total integral is zero. On the large arc,
because , and . Its integral has modulus at most and vanishes as .
On the small clockwise arc, , so the integral tends to . Therefore the remaining real-axis integral satisfies
The imaginary part is even and is an ordinary absolutely convergent integral: near zero its integrand tends to , and at infinity it is . Taking imaginary parts gives
The complex integral needs the Cauchy principal value because its real part has a singularity; the requested sine-product integral does not. This sine-product integral with inverse-square weight is an application of the upper-half-plane indentation rule.
Write . For real and , the denominator cannot vanish: if its zero is real, and if then . Taking the imaginary part after multiplying by gives
Thus . Also
so it is conformal. Cross-multiplication shows that implies , proving injectivity.
The inverse Möbius transformation is
Its coefficients are real and its determinant is again , so the same imaginary part identity shows that it maps into . Therefore every has a preimage in , proving surjectivity. Hence maps one-to-one and onto itself.
Choose each factor with its argument between zero and in the upper half-plane. On an interval between consecutive real prevertices, each factor has a constant boundary argument, so has constant argument and the image is a straight side. Crossing from left to right decreases by , hence increases by , giving the prescribed exterior turn. Locally,
so an upper half-disc maps to angle , the required interior angle. The overall constant rotates and scales the polygon; integration adds translation. For a general prescribed polygon, the prevertex positions must also satisfy the side-length conditions: the derivative formula fixes angles but arbitrary choices do not fix arbitrary side lengths.
For the slit domain, the slit tip has interior angle , so its exterior parameter is . The two vertices at infinity give the factors at , leading to proportional to . Integrating and imposing the tip value gives
The square root is the principal one: for , never lies on the nonpositive real axis. Thus . Boundary points map to the two banks of the slit, with at the tip; the outside intervals map to the imaginary axis. The derivative is nonzero in the open half-plane. Conversely each point of the slit domain determines exactly one root of with positive imaginary part, proving bijectivity.
The Möbius map takes the upper half-plane to itself, so its principal argument lies in . The imaginary part of its analytic logarithm is harmonic, equals on and zero on the other real intervals. Thus
It lies between zero and one and has the required boundary limits away from the two discontinuities. Pulling this harmonic function back by the inverse conformal map yields
This specifies all branches and remains bounded even as tends to either end at infinity.
To exhibit nonuniqueness without the growth restriction, put
This is harmonic in the domain. On its boundary the corresponding is real and the rational expression is real, except at , which represent infinity. At , representing , the expression tends to zero. Thus has zero finite boundary data. It is nonzero, since for its value is , and it is unbounded as approaches either pole non-tangentially. Therefore gives distinct solutions with the same finite boundary data when boundedness at infinity is removed.
Figure 1.
Prevertices, the slit domain, and the bounded harmonic boundary values
. Details.
A uniform horizontal velocity potential in the upper -plane is a real constant times . Since , choose
up to an additive constant. Its complex velocity is
As this tends to one, giving physical velocity . As , and , giving zero velocity far down the channel. The imaginary part of is constant on the real -axis, so the physical boundary is a streamline and the impermeability condition holds. The usual complex velocity convention is .
On the fluid free boundary write , with : the lip has and the downstream limit has . Then
Substitution into the relation from part (ii) gives
The surface lies on the top of the velocity potential strip, so its logarithm has imaginary part , giving
Finally , and therefore
The source's typeset is interpreted as , as the derivation requires.
For electrical resistance in a parallel circuit with inductance , add electrical admittances and invert:
Conjugate impedance matching to the series RC impedance requires
It is possible at a finite positive angular frequency exactly when , in which case
The expression for follows by substituting this into the real part of . If , no such finite matching angular frequency exists. Under literal equality, both passive inductive configurations fail by the sign of their imaginary parts.
Use the phasor convention and interpret impedance matching as conjugate matching for the maximum power transfer theorem. The load electrical impedance of the series circuit is
For , the condition equates the real parts and imaginary parts:
These formulas require , and a passive realization with , evaluated at the matching angular frequency; if depend on , the equation for is implicit.
There is a convention ambiguity in the word “matched”. Literal equality , as required for equal bridge arms in part (b), instead gives and , requiring . The inductive cases below use conjugate matching; literal equality is impossible for either passive inductive configuration at a finite positive angular frequency because its electrical reactance is positive while that of the series RC impedance is negative.
Let the source's top terminal have voltage phasor and its bottom terminal zero. Denote the left and right junctions by and . The two left resistors are equal, so at balance . Zero electric current through the ammeter requires , and therefore equal upper and lower right-arm electrical impedances:
Write . Separating real parts and imaginary parts gives
The second equation implies . Subtract to obtain
A finite balance with positive components requires , and then . This equal-ratio RC bridge uses equality of arm electrical impedances, independent of the conjugate-matching convention in part (a).
Detector convention. The stated negligible-electrical impedance ammeter is an ideal short circuit, whose actual terminal voltage is zero at every angular frequency. The nontrivial bridge output usually intended is the open-circuit junction difference, obtained with the detector removed or replaced by a high-input impedance voltmeter. Define its polarity by
For a detector of finite electrical impedance , its terminal voltage is instead
Here is the Thévenin equivalent electrical impedance, found by shorting the ideal source. This exhibits why the ideal-ammeter limit has zero terminal voltage even when the bridge is unbalanced.
The free electron model replaces the microscopic ionic potential and interacting electronic motion by independent mobile electrons in a uniform neutralizing background, with approximately parabolic dispersion . Its quantum version fills states according to Fermi-Dirac statistics and the Pauli exclusion principle. Scattering is represented by a momentum relaxation time , rather than derived from the model's ideal free trajectories. This model explains a Fermi energy much larger than room-temperature thermal energy, an electronic heat capacity proportional to temperature at low temperature, and a Drude electrical conductivity. With appropriate scattering assumptions it also yields the Wiedemann-Franz law. It cannot by itself explain band gaps, detailed band anisotropy, strong correlations, or the microscopic temperature dependence of .
The inertial term is mass times the rate of change of mean drift velocity. The electric force is , taking the printed as the signed electron charge, and describes loss of directed momentum to scattering. electrons retain large microscopic velocities; this damping is of their mean directed motion. In a steady DC field,
Both charge factors are negative for electrons, so the conductivity is positive. If instead denotes a positive charge magnitude, the force and current equations each require a minus sign and give the same result.
For AC response choose physical fields as real parts of phasors proportional to . Substitution gives
Thus
The real part decreases from to zero. The imaginary part starts at zero, reaches at , and falls as . The real part falls as at high frequency. With an convention, only the sign of the imaginary part changes. Positive gives positive cycle-averaged dissipation .
Figure 1.
Drude conductivity and the dispersion and density of states of a monatomic harmonic chain
. Details.
The supplied DC conductivity determines the transport time:
Inertia matters when , giving , or . Quoting the former number as hertz would introduce an erroneous factor of .
For a cold, unmagnetized, collisionless plasma, take an equilibrium electron density , electrons of mass and charge , and approximately stationary ions. Use fields proportional to . The electron displacement satisfies
Its electric polarization is , hence the cold collisionless plasma dielectric response
The negative susceptibility arises from the inertial electron response, rather than a restoring force binding an electron to a particular atom.
A transverse electromagnetic wave then obeys
For , the plasma supports propagation, with refractive index . The phase velocity is greater than , while the group velocity is ; their product is , and no superluminal signal is implied. Below the plasma frequency, the bulk wavenumber is imaginary and the field is evanescent. A sufficiently thick plasma largely reflects such radiation in the lossless model.
Including an electron momentum-relaxation rate replaces the denominator by :
Its imaginary part describes absorption with the stated time convention. Finite electron temperature also produces plasma screening of slowly varying electrostatic fields, with . That spatial, longitudinal screening problem is distinct from simply taking in the cold transverse-wave formula. Magnetic bias, ion motion and kinetic resonances require more general dielectric responses.
Distributed circuit model. A transmission line must be treated as a distributed system when its propagation time is appreciable compared with the signal timescale. Divide a uniform two-conductor line into elements of length . Each has series resistance and inductance , and shunt electrical conductance and capacitance . The primes denote quantities per unit length, with units , , and , respectively.
Kirchhoff's voltage and current laws give the Telegrapher's equations:
For a lossless line, , differentiation gives and the same wave equation for . The propagation speed and characteristic impedance are
A general lossless signal has and . Thus characteristic impedance is the voltage/current ratio of one travelling wave, not simply the resistance of the wires. It can be real even when the line dissipates no energy, because energy is carried away by propagation.
For sinusoidal quantities with convention , the general lossy-line formulas are
Choose the square-root branches for forward attenuation and positive forward power. The real part of is attenuation per unit length; its imaginary part is the phase wavenumber. For small losses, attenuation is approximately , using the lossless real in this estimate.
Fields and geometry. Two separated conductors support a transverse electromagnetic mode, with electric and magnetic fields transverse to the propagation axis. For a homogeneous dielectric and negligible conductor penetration, both examples below have and hence . The distributed circuit model follows from the field energy and charges in each slice.
For a coaxial cable with inner radius and inner surface of the outer conductor at , Gauss's law and Ampère's law give
The electric field is radial and the magnetic field circles the axis. Integration of voltage and field energy gives
The equal and opposite return current on the outer conductor confines the ideal external field to the annulus.
For wide parallel plates of width separated by , neglect fringing. The electric field crosses the gap, , while the magnetic field lies in the gap parallel to the plates and perpendicular to propagation, . Therefore
For a forward wave, points along the line. Integrating this Poynting vector over either cross-section gives instantaneous power . For complex peak amplitudes, average power is , or for a single forward wave on a lossless line. The conductors guide an energy flux predominantly in the dielectric between them.
Figure 1.
Electric and magnetic fields in coaxial and parallel-plate transmission lines
. Original transverse cross-sections for a forward TEM wave. Blue arrows show the electric field and orange arrows the magnetic field strength. Dots denote current out of the page and crosses current into it. Parallel-plate edge fields and coaxial conductor penetration are neglected. Details.
Terminations and reflection. At a load , require . If and are the incident and reflected voltage amplitudes there, the total current is . Thus
A matched load, , absorbs the incident power with no reflection. An open circuit has , a current node and a doubled voltage at the end. A short circuit has , a voltage node and a doubled current there. A purely reactive load on a lossless line has and accepts no average power. For real , the reflected power fraction is and the accepted fraction is .
Incident and reflected waves produce a standing-wave pattern with voltage standing wave ratio . The input impedance of a lossless length is
This gives for a short and for an open. A quarter-wave section gives , enabling impedance transformation. After a source launches a pulse, a distant termination affects it only after the reflected pulse returns; the return time is . Real conductor resistance, dielectric loss and departures from a TEM field profile limit the ideal model at high frequency.
The original diagram has a series circuit containing and , in parallel with ; it is not three separate parallel components. The electrical admittance is therefore
For , voltage and current are in phase when the imaginary part of vanishes. Excluding the zero-frequency solution, division by gives
A nonzero lossy parallel coil resonance exists only if . With , and ,
For zero electrical resistance, the ideal parallel inductor-capacitor cancellation occurs at
The fractional reduction relative to the zero-resistance coil is
At exactly and , , so finite applied voltage draws zero net current in the ideal model. The quoted frequency is the limiting parallel-resonance value; the phase of an exactly zero current is undefined.
Let denote buoyancy in a stably stratified Boussinesq approximation. Geostrophic balance and hydrostatic balance imply the thermal wind relation . Consequently the specified vertical shear requires
For northern-hemisphere and , the mean potential temperature decreases northward and increases upward: , . The corresponding mean isentropes slope upward toward the north, with . Stable potential-temperature stratification does not require the actual temperature to increase upward; the dry adiabatic lapse also enters that comparison.
In the rigid-lid constant-shear baroclinic model, perturbation quasi-geostrophic potential vorticity is
The mean interior potential-vorticity gradient vanishes on this constant-, constant-, linear-shear basic state. Linear advection of that perturbation therefore becomes , the supplied interior equation. It retains slow balanced motion and omits friction, planetary-vorticity gradients and nonlinear disturbance advection.
Substitution of gives
A possible branch has zero interior perturbation potential vorticity, so
Both supplied applications have , so this equals the source's expression. For an unstable mode the nonzero imaginary part of the phase speed prevents a real critical level ; for real speeds the displayed solution remains a valid zero-interior-PV branch away from, and smoothly through, any critical level. Taking the real part gives the physical disturbance.
The rigid lids enforce . Linearized adiabatic buoyancy conservation is
Use the geostrophic conventions and . At a lid this gives , hence
These are the no-normal-flow condition expressed through boundary buoyancy advection, not conditions of zero horizontal velocity. Boundary temperature anomalies can interact even though this solution has no interior perturbation PV, allowing baroclinic instability to extract mean available potential energy.
In the Lorentz oscillator model, each participating bound electron is displaced by an applied electric field against a restoring force. The model replaces complicated interband transitions by a driven damped harmonic oscillator. If is the electron displacement along the field and the electron charge is , its equation of motion is
Here describes binding and describes loss of coherent motion. For , the complex amplitude is
The induced electric dipole moment is , so the electric polarization amplitude for number density is
Using gives
The paper's is this dimensionless relative permittivity, rather than the absolute permittivity . Independent classes of bound electrons contribute additive susceptibilities, usually with different resonance frequencies and optical oscillator strengths.
Writing separates the response into
At zero frequency the real part is and the imaginary part vanishes. Near resonance the imaginary part has a positive photon absorption peak and the real part changes rapidly, passing through at . Above resonance the real part can become negative when damping is sufficiently weak; at very high frequency it approaches from below while the imaginary part tends to zero. Finite damping removes the undamped divergence.
For a nonmagnetic material take the passive square-root branch , with . A plane wave then has an intensity attenuation coefficient . Thus the imaginary permittivity expresses dissipation, whereas the actual photon absorption coefficient is determined by the imaginary refractive index. The normal-incidence power reflectance is
A large refractive-index mismatch produces wave reflection even without loss. In the undamped model between and , so the field is evanescent and wave reflection is total in a semi-infinite sample. With damping the response includes both wave reflection and photon absorption; a peak in the imaginary permittivity should not simply be identified with a reflectance peak.
To infer the short-wavelength background from , assume weak photon absorption and take the physical semiconductor branch . Then
so
This is an estimate of the valence-electron background in a frequency window above the doped-carrier response and below the effective bound-electron resonance. One reflectance value alone does not determine both parts of a complex dielectric constant. Even for real , a reciprocal-index branch gives the same ; the ordinary background index greater than unity selects the branch used here.
Using the supplied conventional cubic lattice parameter, the participating valence-electron number density is
Using for the stipulated free-electron comparison gives
An angular frequency “in eV” means its quantum energy , not . No doped-carrier effective mass should be inserted into this valence-electron count.
The low-frequency limit of the bound-electron contribution obeys
Consequently
This effective resonance is much larger than the quoted band gap. There is no contradiction: the single oscillator has been assigned the strength of all sixteen participating valence electrons per conventional cell, whereas the band gap is only the lowest interband excitation threshold. A real spectrum distributes optical oscillator strength over many transitions. Equating the oscillator resonance to the lowest threshold would misrepresent the assumed background response. Here “low frequency” means low relative to ; the static response of the doped conducting sample also contains its free carriers.
The additional mobile carriers in doped indium antimonide contribute a Drude frequency response, obtained by setting their restoring frequency to zero. At infrared frequencies well below the effective valence resonance, the sum is approximately
At the shorter wavelengths the carrier term is small and approaches the background value. As wavelength increases, the negative free-carrier contribution lowers the real permittivity towards unity. For weak damping, refractive-index matching to vacuum gives the Drude-Lorentz reflectivity minimum at
This minimum is near , not its zero. At the slightly lower screened plasma frequency , the real permittivity crosses zero; at longer wavelengths it becomes negative and the material becomes strongly reflective. Finite damping prevents a perfectly vanishing minimum and rounds the edge. At still lower frequency the large conducting response also drives towards unity.
Figure 2.
Illustrative Drude-Lorentz reflectivity minimum: increasing carrier density shifts the minimum to shorter wavelengths
. Details.
For fixed carrier effective mass and background permittivity, and . The observed shift of the minimum towards shorter wavelength as doping increases is therefore the expected free-carrier trend. The figure is an original model illustration, not a digitization or quantitative fit of the supplied curves; the carrier effective mass, damping and their density dependence have not been specified.
Set . The real part and imaginary part of the complex permittivity are
For positive frequency the loss part is nonnegative. The real part starts at , rises below resonance, falls steeply through the resonance region, and approaches one from below at high frequency. The imaginary part is a positive absorption peak near , tending to zero on both sides.
For a nonmagnetic medium write its complex refractive index as , with and optical extinction coefficient . In a transparent region with and ,
The real part controls phase velocity and optical dispersion; the loss part controls wave absorption and the cycle-averaged dissipated power density . Weak damping gives a narrow line but does not make wave absorption weak at its centre. The transparent-medium approximation applies away from the line.
Figure 1.
Single-resonance, multiple-resonance and free-electron optical responses
. Original dimensionless model plots. The first row shows one bound-electron resonance, the second shows three, and the third shows the Drude permittivity and its normal-incidence reflectance. Finite damping is retained; these are illustrative calculations, not material measurements. Details.
For the Schrödinger equation with a real scalar potential and no vector potential, the probability current is
Together with the probability density , it satisfies the continuity equation . Substituting gives
A complex wavefunction requires both its real and imaginary parts in the sketch. Choosing the irrelevant constant phase so that is real, they are and , while the probability density is horizontal. It is the spatial phase gradient of a Schrodinger wavefunction that determines the sign of the probability current. In particular, and have the same real part but opposite probability currents, so the slope of the real part cannot determine the direction.
A nonzero plane wave on the whole real line is not square integrable. The displayed density is understood with box normalization, generalized normalization, or as a local description of a broad wave packet; it does not define a normalized probability distribution on the whole line.
Figure 1. . The plotted example has positive wavevector. Reversing the wavevector reverses the imaginary part and the probability current while preserving the real part and the probability density. Details.
Parametrize the positively oriented unit circle by . Then and , so
Equating the real part and imaginary part with gives
Taking the difference of the two bank integrals at gives
The are real and convergent. Comparing real and imaginary parts proves . Independently, changes the sign of each odd logarithmic moment and preserves the measure, so every odd vanishes.